4929 51 0.9957 5.8228 ((26 . 1) (28 . 2) (29 . 6) (31 . 7) (32 . 10) (33 . 11) (34 . 13) (35 . 14)) 62 0.4998 6.4399 ((31 . 10) (32 . 12) (33 . 13) (35 . 16)) 64 0.4999 4.7443 ((28 . 10) (31 . 13) (32 . 14) (33 . 15)) 77 0.4996 7.6262 ((29 . 7) (31 . 8) (34 . 13) (35 . 15)) 91 0.4993 8.6669 ((28 . 16) (29 . 19) (31 . 21) (35 . 28)) 129 0.6246 5.7145 ((28 . 1) (29 . 2) (31 . 3) (33 . 8) (35 . 12)) 136 0.4998 6.6682 ((28 . 3) (31 . 5) (32 . 7) (33 . 8)) 150 0.2910 7.7124 ((26 . 19) (28 . 20) (29 . 23) (33 . 25)) 153 0.9953 5.9520 ((26 . 1) (28 . 5) (29 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10) (35 . 12)) 157 0.4998 6.2795 ((28 . 9) (29 . 11) (32 . 14) (34 . 16)) 161 0.4999 5.7509 ((31 . 3) (32 . 4) (33 . 6) (35 . 9)) 162 0.4998 6.3079 ((28 . 15) (29 . 17) (31 . 18) (33 . 22)) 169 0.9985 4.4548 ((26 . 1) (28 . 3) (29 . 4) (31 . 5) (32 . 7) (33 . 8) (34 . 9) (35 . 10)) 177 0.6246 5.7464 ((26 . 1) (29 . 4) (31 . 5) (33 . 7) (34 . 8)) 191 0.4998 6.1630 ((29 . 6) (31 . 7) (32 . 8) (33 . 9)) 198 0.4197 11.0699 ((26 . 4) (31 . 9) (32 . 10) (34 . 15)) 207 0.4989 9.9217 ((28 . 8) (32 . 13) (34 . 15) (35 . 18)) 233 0.4999 5.8721 ((28 . 1) (29 . 2) (31 . 3) (33 . 5)) 300 0.4989 9.8768 ((29 . 6) (31 . 8) (33 . 9) (34 . 10)) 305 0.4996 7.5845 ((31 . 16) (33 . 19) (34 . 21) (35 . 22)) 307 0.4997 7.2551 ((28 . 1) (31 . 3) (33 . 7) (35 . 9)) 315 0.4997 6.9841 ((26 . 3) (28 . 5) (29 . 6) (32 . 9)) 350 0.6237 7.7558 ((28 . 1) (29 . 2) (31 . 5) (32 . 7) (34 . 10)) 360 0.6238 7.5386 ((28 . 3) (29 . 5) (31 . 6) (32 . 7) (33 . 8)) 365 0.7492 5.4809 ((28 . 1) (29 . 2) (31 . 3) (32 . 4) (33 . 6) (34 . 8)) 367 0.7483 6.5861 ((26 . 38) (29 . 42) (31 . 43) (32 . 44) (34 . 47) (35 . 48)) 372 0.4999 5.8065 ((28 . 1) (31 . 6) (32 . 7) (33 . 8)) 387 0.7498 4.0093 ((28 . 7) (29 . 8) (31 . 9) (32 . 10) (33 . 11) (34 . 12)) 405 0.4997 7.3406 ((31 . 37) (32 . 38) (33 . 39) (34 . 40)) 417 0.4993 8.8151 ((26 . 1) (28 . 2) (29 . 5) (34 . 9)) 420 0.7486 6.3030 ((26 . 1) (28 . 2) (29 . 3) (31 . 4) (32 . 5) (35 . 12)) 433 0.6218 9.6786 ((26 . 1) (31 . 5) (32 . 6) (33 . 7) (35 . 9)) 442 0.4994 8.4392 ((26 . 12) (29 . 14) (34 . 19) (35 . 21)) 460 0.4998 6.1945 ((26 . 1) (31 . 6) (32 . 7) (33 . 8)) 472 0.1497 15.3193 ((26 . 22) (31 . 25) (32 . 27) (34 . 31)) 491 0.4998 6.6581 ((26 . 1) (31 . 6) (34 . 8) (35 . 10)) 495 0.6236 7.8359 ((26 . 1) (29 . 5) (32 . 7) (33 . 8) (35 . 11)) 541 0.4996 7.8134 ((26 . 5) (32 . 11) (34 . 14) (35 . 16)) 543 0.9973 5.1471 ((26 . 1) (28 . 2) (29 . 5) (31 . 6) (32 . 8) (33 . 10) (34 . 15) (35 . 16)) 561 0.4991 9.2510 ((29 . 1) (31 . 3) (32 . 4) (34 . 6)) 584 0.4989 9.8811 ((29 . 3) (31 . 4) (32 . 5) (35 . 10)) 587 0.6243 6.6213 ((29 . 2) (31 . 3) (32 . 4) (33 . 6) (34 . 8)) 609 0.4995 8.0007 ((26 . 1) (29 . 3) (32 . 6) (34 . 8)) 619 0.6228 8.8244 ((31 . 7) (32 . 8) (33 . 9) (34 . 11) (35 . 12)) 624 0.4998 6.3645 ((26 . 11) (29 . 13) (32 . 15) (33 . 16)) 635 0.4995 8.2104 ((29 . 13) (31 . 14) (32 . 15) (34 . 18)) 672 0.4195 11.6829 ((29 . 16) (32 . 18) (34 . 22) (35 . 23)) 678 0.1987 10.9781 ((26 . 22) (28 . 24) (29 . 26) (33 . 29)) 719 0.4998 6.4253 ((28 . 22) (29 . 25) (31 . 27) (33 . 30)) 729 0.6195 11.1407 ((26 . 9) (29 . 13) (32 . 15) (34 . 17) (35 . 20)) 735 0.6243 6.6876 ((28 . 29) (29 . 31) (32 . 33) (33 . 36) (35 . 39)) 740 0.3671 6.2022 ((28 . 2) (29 . 3) (31 . 5) (32 . 6)) 765 0.8690 7.4647 ((26 . 3) (28 . 7) (29 . 9) (31 . 12) (33 . 17) (34 . 19) (35 . 20)) 767 0.4994 8.5576 ((26 . 3) (29 . 8) (31 . 10) (32 . 11)) 795 0.4999 5.5400 ((26 . 1) (29 . 3) (32 . 5) (33 . 6)) 801 0.4993 8.8932 ((29 . 1) (31 . 2) (32 . 4) (33 . 6)) 812 0.3669 9.2716 ((29 . 5) (32 . 8) (33 . 9) (35 . 13)) 818 0.4998 6.4009 ((26 . 7) (29 . 12) (32 . 14) (33 . 16)) 819 0.4997 7.2159 ((26 . 5) (31 . 8) (32 . 9) (33 . 10)) 824 0.2462 7.1431 ((28 . 45) (31 . 49) (32 . 50) (33 . 53)) 861 0.4999 5.2528 ((28 . 12) (31 . 15) (32 . 16) (34 . 19)) 901 0.4994 8.3279 ((28 . 12) (31 . 15) (33 . 17) (35 . 20)) 904 0.2462 8.4259 ((28 . 2) (29 . 3) (32 . 6) (33 . 7)) 928 0.4998 6.6472 ((28 . 10) (31 . 12) (33 . 14) (35 . 16)) 943 0.4995 8.0782 ((26 . 1) (31 . 4) (33 . 6) (35 . 9)) 945 0.4994 8.4602 ((26 . 12) (29 . 17) (32 . 19) (34 . 22)) 960 0.4997 7.0217 ((26 . 4) (31 . 8) (32 . 9) (34 . 12)) 978 0.1497 8.8264 ((26 . 4) (28 . 6) (33 . 10) (35 . 13)) 980 0.2909 11.5413 ((28 . 1) (29 . 3) (32 . 5) (35 . 9)) 1007 0.6232 8.3830 ((26 . 8) (28 . 9) (29 . 12) (31 . 13) (32 . 14)) 1008 0.7491 5.5536 ((26 . 3) (28 . 5) (29 . 8) (33 . 13) (34 . 15) (35 . 16)) 1034 0.4945 14.7635 ((29 . 20) (31 . 21) (32 . 22) (35 . 26)) 1043 0.6235 7.9841 ((26 . 6) (29 . 10) (32 . 12) (33 . 14) (34 . 17)) 1082 0.4997 6.9128 ((26 . 4) (31 . 8) (32 . 9) (34 . 12)) 1084 0.4992 8.9575 ((28 . 3) (32 . 8) (33 . 10) (35 . 17)) 1165 0.4996 7.6364 ((31 . 2) (32 . 3) (33 . 4) (34 . 7)) 1167 0.4997 6.8731 ((31 . 20) (32 . 21) (33 . 22) (35 . 27)) 1169 0.6218 9.7208 ((29 . 29) (31 . 30) (32 . 31) (33 . 32) (34 . 35)) 1195 0.4998 6.1065 ((28 . 2) (29 . 4) (31 . 5) (32 . 6)) 1201 0.4998 5.9739 ((26 . 4) (29 . 7) (32 . 9) (33 . 11)) 1211 0.6246 5.6083 ((26 . 5) (31 . 9) (32 . 10) (33 . 11) (35 . 15)) 1217 0.5000 3.8661 ((29 . 3) (31 . 5) (32 . 7) (33 . 9)) 1224 0.6248 5.0031 ((28 . 3) (29 . 5) (33 . 6) (34 . 7) (35 . 9)) 1233 0.4997 6.8806 ((28 . 11) (29 . 14) (32 . 17) (34 . 20)) 1267 0.4988 9.9865 ((29 . 13) (31 . 15) (34 . 19) (35 . 21)) 1294 0.6248 5.1196 ((28 . 39) (29 . 40) (31 . 41) (33 . 44) (34 . 46)) 1345 0.4998 6.5776 ((29 . 7) (32 . 9) (34 . 12) (35 . 13)) 1366 0.6240 7.1618 ((29 . 12) (32 . 14) (33 . 15) (34 . 16) (35 . 17)) 1388 0.4987 10.2423 ((26 . 1) (29 . 4) (31 . 5) (33 . 8)) 1410 0.4997 7.3126 ((29 . 22) (31 . 23) (32 . 25) (33 . 26)) 1425 0.7474 7.3027 ((26 . 2) (28 . 4) (29 . 6) (31 . 8) (32 . 10) (33 . 12)) 1447 0.4992 9.0561 ((26 . 1) (29 . 3) (32 . 5) (34 . 7)) 1451 0.4998 6.3838 ((28 . 1) (31 . 3) (32 . 4) (33 . 5)) 1464 0.1332 6.9906 ((26 . 8) (28 . 10) (31 . 13) (32 . 14)) 1476 0.4986 10.4779 ((26 . 11) (28 . 14) (31 . 18) (34 . 20)) 1481 0.4997 7.1909 ((26 . 1) (28 . 2) (31 . 4) (32 . 5)) 1501 0.4998 6.4779 ((28 . 1) (29 . 2) (31 . 3) (32 . 4)) 1513 0.4996 7.3721 ((26 . 11) (29 . 13) (31 . 15) (34 . 18)) 1514 0.4998 6.5496 ((29 . 1) (32 . 3) (33 . 4) (35 . 6)) 1577 0.4967 12.9750 ((29 . 3) (31 . 4) (32 . 5) (33 . 6)) 1604 0.4997 6.7796 ((28 . 3) (31 . 7) (33 . 10) (35 . 12)) 1622 0.4999 4.6945 ((28 . 18) (31 . 20) (33 . 22) (34 . 23)) 1624 0.2910 7.5342 ((26 . 2) (31 . 7) (32 . 8) (33 . 9)) 1643 0.7348 11.5371 ((26 . 10) (28 . 11) (31 . 15) (32 . 16) (33 . 17) (35 . 20)) 1644 0.6230 8.6162 ((26 . 43) (28 . 44) (31 . 49) (32 . 50) (33 . 51)) 1665 0.4989 9.8360 ((28 . 4) (29 . 6) (32 . 8) (34 . 10)) 1690 0.4997 7.2229 ((26 . 14) (28 . 16) (32 . 21) (35 . 25)) 1692 0.4524 10.0847 ((28 . 1) (32 . 5) (33 . 7) (35 . 8)) 1731 0.4978 11.6509 ((26 . 3) (29 . 6) (32 . 8) (35 . 12)) 1736 0.4997 6.8742 ((28 . 1) (31 . 3) (33 . 5) (35 . 7)) 1738 0.2910 7.7969 ((26 . 13) (29 . 18) (33 . 21) (34 . 24)) 1747 0.6240 7.1740 ((28 . 19) (32 . 24) (33 . 25) (34 . 27) (35 . 28)) 1756 0.4998 6.4285 ((32 . 21) (33 . 23) (34 . 25) (35 . 27)) 1759 0.7485 6.3800 ((26 . 1) (28 . 2) (29 . 4) (31 . 5) (32 . 6) (35 . 13)) 1761 0.4999 4.6360 ((26 . 13) (29 . 16) (32 . 19) (33 . 20)) 1763 0.4998 6.6917 ((26 . 7) (28 . 9) (29 . 10) (33 . 13)) 1776 0.4997 7.2715 ((26 . 7) (29 . 12) (32 . 14) (35 . 20)) 1777 0.4991 9.2682 ((26 . 37) (29 . 43) (31 . 45) (32 . 47)) 1778 0.4998 6.1767 ((28 . 1) (29 . 2) (31 . 3) (32 . 4)) 1793 0.4998 5.9702 ((26 . 4) (29 . 6) (32 . 8) (34 . 10)) 1805 0.6246 5.5761 ((31 . 2) (32 . 3) (33 . 4) (34 . 7) (35 . 9)) 1808 0.6248 5.0821 ((28 . 5) (29 . 6) (31 . 8) (32 . 9) (33 . 10)) 1817 0.4996 7.3960 ((31 . 13) (32 . 14) (33 . 15) (34 . 18)) 1867 0.4996 7.7707 ((26 . 1) (29 . 3) (31 . 6) (32 . 7)) 1894 0.4980 11.4647 ((26 . 18) (29 . 22) (31 . 23) (33 . 26)) 1896 0.4203 7.2559 ((29 . 23) (31 . 24) (32 . 26) (33 . 27)) 1897 0.4999 4.9412 ((28 . 32) (29 . 34) (33 . 39) (34 . 40)) 1908 0.4999 5.2458 ((26 . 7) (29 . 10) (32 . 15) (34 . 17)) 1909 0.4998 6.5214 ((28 . 31) (31 . 34) (33 . 37) (35 . 39)) 1913 0.6221 9.4699 ((26 . 10) (28 . 12) (29 . 16) (31 . 18) (34 . 22)) 1944 0.4998 6.3180 ((26 . 5) (29 . 7) (32 . 9) (34 . 13)) 1957 0.4997 6.7796 ((28 . 11) (31 . 13) (33 . 15) (35 . 17)) 1961 0.4999 4.9387 ((31 . 14) (32 . 15) (33 . 16) (35 . 19)) 1967 0.4996 7.5248 ((26 . 1) (28 . 3) (31 . 7) (35 . 13)) 1972 0.4996 7.3893 ((28 . 18) (31 . 20) (33 . 24) (35 . 27)) 1995 0.4999 5.7935 ((28 . 1) (32 . 7) (33 . 8) (35 . 12)) 2003 0.6236 7.8691 ((28 . 4) (32 . 8) (33 . 9) (34 . 10) (35 . 12)) 2006 0.7421 9.7383 ((26 . 9) (31 . 12) (32 . 13) (33 . 14) (34 . 15) (35 . 16)) 2045 0.3665 12.1724 ((29 . 1) (31 . 2) (34 . 7) (35 . 8)) 2048 0.2910 5.9607 ((26 . 1) (29 . 4) (32 . 6) (35 . 13)) 2063 0.4999 5.7804 ((29 . 43) (31 . 44) (32 . 45) (34 . 50)) 2065 0.4998 6.6368 ((26 . 16) (28 . 17) (31 . 22) (32 . 23)) 2067 0.4998 6.1414 ((29 . 54) (31 . 55) (32 . 57) (33 . 60)) 2072 0.4999 5.6313 ((28 . 1) (32 . 4) (33 . 6) (34 . 7)) 2081 0.4999 5.9229 ((28 . 19) (29 . 20) (31 . 21) (32 . 23)) 2083 0.4993 8.7902 ((29 . 1) (31 . 2) (33 . 4) (35 . 7)) 2097 0.4984 10.7385 ((26 . 5) (28 . 7) (33 . 14) (34 . 18)) 2114 0.4997 7.1533 ((28 . 29) (29 . 32) (31 . 34) (32 . 36)) 2116 0.9987 4.2852 ((26 . 1) (28 . 5) (29 . 6) (31 . 7) (32 . 8) (33 . 10) (34 . 11) (35 . 12)) 2117 0.4997 7.1284 ((31 . 4) (32 . 5) (33 . 6) (35 . 9)) 2118 0.1987 11.6269 ((29 . 1) (32 . 4) (33 . 5) (35 . 7)) 2122 0.4981 11.2306 ((26 . 6) (29 . 10) (32 . 12) (35 . 17)) 2166 0.4997 6.9407 ((26 . 12) (31 . 15) (32 . 16) (33 . 17)) 2179 0.4997 6.9608 ((28 . 7) (29 . 9) (31 . 10) (33 . 13)) 2196 0.6218 9.6994 ((28 . 10) (29 . 13) (31 . 14) (32 . 15) (34 . 19)) 2203 0.4999 5.5307 ((29 . 1) (32 . 5) (33 . 7) (35 . 10)) 2205 0.6246 5.6436 ((29 . 17) (31 . 18) (33 . 22) (34 . 23) (35 . 26)) 2209 0.4998 6.2672 ((31 . 5) (32 . 6) (33 . 7) (35 . 9)) 2243 0.6242 6.8638 ((26 . 54) (28 . 55) (31 . 60) (34 . 65) (35 . 67)) 2244 0.6243 6.6638 ((26 . 70) (28 . 71) (29 . 74) (31 . 75) (32 . 76)) 2249 0.4996 7.7731 ((26 . 7) (29 . 11) (32 . 12) (34 . 16)) 2269 0.4996 7.8209 ((31 . 6) (32 . 7) (33 . 8) (35 . 10)) 2279 0.4998 6.5669 ((26 . 11) (29 . 19) (31 . 20) (33 . 22)) 2298 0.4996 7.6329 ((26 . 6) (29 . 10) (32 . 12) (34 . 15)) 2308 0.4997 7.3204 ((26 . 5) (28 . 6) (31 . 8) (33 . 11)) 2314 0.9981 4.7533 ((26 . 2) (28 . 3) (29 . 4) (31 . 7) (32 . 8) (33 . 11) (34 . 13) (35 . 18)) 2340 0.4998 6.4764 ((28 . 9) (31 . 11) (32 . 13) (33 . 14)) 2344 0.4997 6.8855 ((26 . 6) (28 . 7) (31 . 11) (33 . 14)) 2364 0.4998 6.0109 ((26 . 12) (29 . 18) (31 . 19) (32 . 20)) 2381 0.4998 6.6276 ((29 . 3) (31 . 4) (32 . 5) (33 . 6)) 2389 0.6241 7.0810 ((28 . 3) (29 . 5) (31 . 6) (32 . 7) (33 . 8)) 2408 0.9995 3.3141 ((26 . 34) (28 . 39) (29 . 40) (31 . 41) (32 . 42) (33 . 45) (34 . 46) (35 . 47)) 2409 0.4993 8.8729 ((28 . 2) (29 . 5) (31 . 6) (33 . 8)) 2422 0.4996 7.3873 ((29 . 1) (32 . 4) (33 . 7) (34 . 9)) 2423 0.6237 7.6851 ((31 . 20) (32 . 21) (33 . 22) (34 . 25) (35 . 26)) 2440 0.4998 6.3851 ((26 . 4) (29 . 7) (31 . 8) (32 . 9)) 2447 0.4997 7.1102 ((28 . 13) (31 . 15) (33 . 18) (35 . 21)) 2462 0.4997 7.2517 ((31 . 6) (32 . 7) (34 . 11) (35 . 12)) 2510 0.4995 7.9442 ((29 . 17) (31 . 19) (33 . 23) (35 . 25)) 2525 0.4995 8.1371 ((26 . 41) (29 . 45) (32 . 47) (33 . 48)) 2529 0.4998 6.3742 ((28 . 1) (31 . 3) (32 . 5) (33 . 6)) 2533 0.4998 6.6970 ((28 . 4) (31 . 6) (34 . 9) (35 . 13)) 2561 0.4999 5.8329 ((29 . 6) (31 . 7) (32 . 8) (33 . 9)) 2595 0.4998 6.6300 ((28 . 1) (31 . 4) (34 . 6) (35 . 9)) 2619 0.1987 10.2314 ((26 . 2) (28 . 3) (29 . 5) (33 . 7)) 2650 0.4998 6.6405 ((29 . 5) (31 . 6) (32 . 7) (33 . 8)) 2675 0.6217 9.8016 ((28 . 1) (29 . 3) (32 . 5) (33 . 8) (34 . 10)) 2682 0.1987 9.3457 ((29 . 11) (31 . 12) (32 . 13) (33 . 15)) 2696 0.7489 5.9634 ((29 . 31) (31 . 32) (32 . 34) (33 . 35) (34 . 36) (35 . 38)) 2733 0.4987 10.2107 ((26 . 1) (28 . 2) (32 . 8) (34 . 11)) 2755 0.2910 7.5374 ((26 . 5) (29 . 6) (32 . 8) (33 . 10)) 2773 0.4995 7.8624 ((26 . 2) (28 . 3) (31 . 5) (32 . 6)) 2783 0.4999 5.2670 ((28 . 6) (29 . 7) (31 . 8) (33 . 12)) 2804 0.4998 6.4127 ((26 . 34) (28 . 36) (32 . 38) (33 . 39)) 2821 0.4996 7.6560 ((29 . 1) (31 . 2) (32 . 3) (33 . 5)) 2830 0.4997 6.9249 ((28 . 11) (31 . 13) (33 . 15) (35 . 17)) 2834 0.4984 10.7769 ((26 . 1) (29 . 6) (32 . 8) (33 . 9)) 2840 0.6237 7.8095 ((28 . 5) (29 . 6) (32 . 8) (33 . 9) (34 . 11)) 2842 0.4987 10.1563 ((26 . 1) (29 . 4) (32 . 5) (35 . 9)) 2867 0.2462 8.8365 ((26 . 2) (33 . 8) (34 . 9) (35 . 12)) 2879 0.6240 7.1667 ((26 . 51) (29 . 56) (31 . 57) (32 . 58) (33 . 59)) 2886 0.9996 3.2453 ((26 . 30) (28 . 35) (29 . 37) (31 . 38) (32 . 39) (33 . 41) (34 . 43) (35 . 44)) 2940 0.4998 6.6536 ((26 . 1) (29 . 4) (31 . 5) (32 . 6)) 2947 0.4998 6.7245 ((31 . 2) (32 . 3) (33 . 4) (35 . 6)) 2966 0.6233 8.2695 ((26 . 1) (29 . 4) (32 . 8) (33 . 9) (34 . 11)) 2990 0.4998 6.1340 ((26 . 9) (31 . 14) (32 . 15) (33 . 16)) 2999 0.4998 5.9603 ((26 . 2) (29 . 4) (32 . 6) (33 . 7)) 3019 0.4998 6.2812 ((31 . 9) (32 . 10) (33 . 11) (35 . 14)) 3034 0.4998 6.6044 ((28 . 1) (31 . 5) (33 . 7) (35 . 9)) 3041 0.4998 6.2256 ((26 . 16) (29 . 18) (32 . 22) (33 . 24)) 3055 0.6245 6.0180 ((28 . 11) (31 . 15) (32 . 16) (33 . 17) (35 . 21)) 3063 0.6235 7.9903 ((31 . 37) (32 . 38) (33 . 39) (34 . 41) (35 . 42)) 3084 0.4997 6.8972 ((28 . 3) (31 . 5) (33 . 7) (35 . 9)) 3102 0.6241 7.0656 ((26 . 65) (28 . 67) (29 . 68) (31 . 69) (32 . 70)) 3103 0.4998 6.4353 ((28 . 1) (29 . 2) (31 . 3) (32 . 5)) 3114 0.4994 8.2892 ((26 . 22) (28 . 23) (29 . 25) (33 . 29)) 3127 0.3667 11.3757 ((26 . 4) (28 . 6) (29 . 8) (33 . 13)) 3147 0.6247 5.5519 ((26 . 2) (29 . 6) (31 . 7) (32 . 8) (33 . 11)) 3187 0.7490 5.7700 ((29 . 2) (31 . 3) (32 . 4) (33 . 5) (34 . 6) (35 . 7)) 3190 0.4997 7.0083 ((28 . 1) (31 . 3) (33 . 6) (35 . 9)) 3197 0.4995 7.9091 ((26 . 19) (29 . 21) (32 . 24) (34 . 26)) 3200 0.4201 8.9957 ((26 . 4) (31 . 9) (32 . 11) (35 . 15)) 3212 0.4996 7.4067 ((32 . 2) (33 . 3) (34 . 5) (35 . 9)) 3222 0.4996 7.6637 ((26 . 6) (28 . 7) (31 . 10) (35 . 16)) 3256 0.6246 5.5808 ((29 . 19) (31 . 20) (33 . 25) (34 . 26) (35 . 28)) 3261 0.5000 3.6690 ((29 . 1) (31 . 2) (32 . 3) (35 . 6)) 3286 0.4997 6.9734 ((29 . 3) (31 . 4) (32 . 5) (34 . 7)) 3289 0.1987 8.3237 ((28 . 25) (31 . 29) (32 . 30) (33 . 31)) 3297 0.9984 4.5283 ((26 . 1) (28 . 5) (29 . 7) (31 . 8) (32 . 9) (33 . 11) (34 . 12) (35 . 13)) 3322 0.4997 7.3584 ((29 . 1) (31 . 3) (32 . 5) (34 . 7)) 3334 0.4984 10.8516 ((26 . 1) (29 . 5) (31 . 6) (34 . 10)) 3339 0.4996 7.7538 ((26 . 17) (28 . 19) (29 . 21) (31 . 22)) 3344 0.8014 6.9358 ((26 . 18) (28 . 19) (29 . 21) (31 . 22) (33 . 24) (34 . 26) (35 . 27)) 3358 0.4978 11.7447 ((26 . 7) (29 . 10) (32 . 12) (35 . 16)) 3362 0.4997 7.2273 ((26 . 6) (29 . 8) (31 . 10) (32 . 11)) 3366 0.4999 5.2905 ((26 . 22) (28 . 24) (29 . 26) (31 . 27)) 3391 0.4995 7.9659 ((26 . 4) (29 . 8) (32 . 10) (34 . 13)) 3410 0.4997 6.7817 ((28 . 21) (31 . 24) (33 . 28) (35 . 30)) 3418 0.4999 5.8105 ((28 . 2) (29 . 5) (31 . 6) (32 . 7)) 3472 0.5137 8.9045 ((29 . 5) (31 . 6) (32 . 8) (34 . 11) (35 . 12)) 3481 0.4999 5.7834 ((26 . 2) (29 . 4) (31 . 7) (32 . 8)) 3489 0.4997 6.8902 ((26 . 1) (33 . 10) (34 . 12) (35 . 14)) 3495 0.6215 9.9245 ((29 . 1) (31 . 2) (32 . 3) (34 . 7) (35 . 8)) 3533 0.4192 12.6852 ((32 . 1) (33 . 3) (34 . 5) (35 . 7)) 3537 0.4991 9.1995 ((28 . 2) (31 . 7) (34 . 9) (35 . 10)) 3538 0.4999 5.7595 ((28 . 23) (29 . 24) (31 . 25) (32 . 26)) 3548 0.6238 7.5727 ((28 . 2) (29 . 3) (31 . 4) (32 . 5) (33 . 6)) 3549 0.4996 7.4270 ((26 . 1) (28 . 3) (29 . 5) (33 . 8)) 3561 0.4998 6.0075 ((26 . 26) (29 . 28) (31 . 30) (32 . 31)) 3570 0.4999 5.5085 ((28 . 4) (29 . 7) (31 . 8) (33 . 10)) 3585 0.6228 8.7903 ((26 . 6) (29 . 8) (32 . 12) (33 . 13) (34 . 14)) 3625 0.4997 7.1143 ((31 . 1) (32 . 2) (34 . 5) (35 . 6)) 3626 0.5000 4.1046 ((29 . 3) (31 . 6) (32 . 8) (33 . 11)) 3628 0.6236 7.8313 ((28 . 6) (31 . 8) (32 . 9) (33 . 10) (35 . 12)) 3651 0.4997 7.1936 ((26 . 3) (32 . 8) (33 . 9) (34 . 11)) 3658 0.4999 5.2478 ((28 . 1) (31 . 5) (32 . 6) (33 . 7)) 3659 0.4199 10.3739 ((28 . 5) (31 . 8) (32 . 9) (33 . 10)) 3661 0.4998 6.6069 ((28 . 7) (29 . 8) (31 . 11) (32 . 12)) 3688 0.4991 9.3270 ((29 . 26) (31 . 27) (32 . 28) (33 . 29)) 3697 0.4976 11.9962 ((26 . 1) (32 . 6) (33 . 7) (35 . 10)) 3703 0.4999 4.6478 ((29 . 1) (31 . 2) (32 . 3) (35 . 6)) 3732 0.4996 7.3987 ((26 . 7) (29 . 9) (31 . 11) (32 . 12)) 3733 0.4997 6.9466 ((28 . 1) (31 . 3) (33 . 6) (35 . 8)) 3740 0.6241 6.9675 ((26 . 4) (28 . 5) (29 . 6) (31 . 7) (32 . 9)) 3741 0.6245 6.1374 ((26 . 23) (29 . 25) (31 . 26) (32 . 27) (33 . 28)) 3776 0.4996 7.7853 ((28 . 15) (31 . 17) (33 . 21) (35 . 24)) 3778 0.4997 6.9072 ((31 . 2) (32 . 3) (33 . 4) (35 . 6)) 3787 0.4995 7.9023 ((26 . 29) (29 . 31) (31 . 33) (32 . 35)) 3790 0.7467 7.8174 ((28 . 21) (29 . 22) (31 . 24) (32 . 25) (33 . 26) (35 . 30)) 3807 0.4996 7.5469 ((26 . 43) (28 . 46) (29 . 47) (32 . 50)) 3810 0.4999 4.9692 ((28 . 4) (31 . 9) (32 . 10) (33 . 11)) 3817 0.4999 5.5745 ((28 . 1) (31 . 5) (33 . 7) (35 . 9)) 3818 0.4996 7.4773 ((26 . 20) (29 . 23) (34 . 28) (35 . 29)) 3831 0.4998 6.6271 ((26 . 3) (29 . 5) (31 . 6) (33 . 9)) 3847 0.4999 5.1401 ((29 . 9) (33 . 13) (34 . 16) (35 . 17)) 3856 0.4998 5.9712 ((32 . 6) (33 . 7) (34 . 9) (35 . 10)) 3870 0.4985 10.5428 ((26 . 3) (29 . 5) (33 . 8) (35 . 10)) 3933 0.3670 7.9768 ((28 . 5) (31 . 9) (32 . 11) (33 . 14)) 3938 0.4997 7.2601 ((28 . 2) (29 . 4) (31 . 8) (32 . 9)) 3968 0.4990 9.4783 ((26 . 3) (29 . 5) (32 . 9) (33 . 11)) 3986 0.4989 9.7605 ((28 . 4) (33 . 9) (34 . 13) (35 . 15)) 3990 0.4995 8.0235 ((26 . 18) (29 . 20) (32 . 22) (34 . 26)) 4005 0.4997 7.2210 ((31 . 8) (32 . 9) (33 . 12) (34 . 14)) 4009 0.4977 11.8031 ((28 . 11) (29 . 13) (31 . 15) (35 . 21)) 4019 0.9988 4.1880 ((26 . 34) (28 . 39) (29 . 42) (31 . 43) (32 . 44) (33 . 46) (34 . 50) (35 . 51)) 4034 0.4999 5.3616 ((31 . 9) (32 . 10) (33 . 11) (34 . 13)) 4067 0.4997 6.8137 ((26 . 16) (29 . 20) (32 . 22) (34 . 24)) 4082 0.6230 8.6669 ((31 . 5) (32 . 6) (33 . 7) (34 . 8) (35 . 10)) 4087 0.6246 5.8217 ((29 . 3) (31 . 5) (32 . 6) (33 . 7) (34 . 8)) 4112 0.5000 4.1021 ((31 . 1) (32 . 2) (33 . 3) (34 . 6)) 4115 0.4977 11.8283 ((28 . 1) (31 . 5) (33 . 8) (34 . 10)) 4151 0.4990 9.5781 ((26 . 5) (28 . 7) (29 . 9) (34 . 15)) 4154 0.4997 7.0700 ((28 . 51) (29 . 52) (31 . 53) (33 . 57)) 4177 0.4996 7.5542 ((28 . 1) (32 . 7) (33 . 8) (34 . 9)) 4194 0.4999 5.8272 ((26 . 1) (29 . 5) (31 . 6) (32 . 7)) 4204 0.4997 7.0414 ((29 . 3) (31 . 5) (33 . 9) (35 . 11)) 4209 0.4998 6.5126 ((29 . 1) (31 . 2) (32 . 4) (35 . 10)) 4210 0.4999 5.4404 ((31 . 4) (32 . 5) (33 . 6) (35 . 8)) 4226 0.6227 8.9456 ((26 . 1) (29 . 6) (31 . 8) (32 . 9) (34 . 12)) 4232 0.6242 6.8020 ((26 . 1) (28 . 2) (29 . 3) (33 . 5) (35 . 8)) 4236 0.4998 6.6805 ((29 . 5) (31 . 6) (32 . 7) (33 . 10)) 4246 0.4991 9.2160 ((28 . 2) (31 . 5) (32 . 6) (33 . 8)) 4254 0.4997 7.0920 ((28 . 9) (29 . 11) (32 . 13) (34 . 18)) 4255 0.2910 8.7580 ((31 . 21) (32 . 23) (33 . 24) (35 . 26)) 4257 0.4995 7.9765 ((26 . 3) (29 . 7) (31 . 9) (32 . 10)) 4265 0.4995 7.8643 ((29 . 21) (31 . 23) (33 . 26) (35 . 29)) 4266 0.4993 8.7413 ((26 . 4) (29 . 6) (32 . 8) (34 . 12)) 4275 0.4999 5.5207 ((26 . 21) (29 . 25) (31 . 27) (32 . 28)) 4281 0.4998 6.4751 ((29 . 3) (31 . 4) (32 . 5) (34 . 8)) 4284 0.4997 7.0569 ((26 . 1) (28 . 4) (29 . 6) (33 . 9)) 4299 0.4998 6.4814 ((28 . 6) (31 . 9) (33 . 11) (35 . 14)) 4301 0.6627 5.9059 ((26 . 1) (28 . 2) (29 . 3) (31 . 4) (32 . 6) (33 . 8) (34 . 9) (35 . 10)) 4326 0.4985 10.6389 ((28 . 10) (31 . 15) (33 . 17) (34 . 19)) 4332 0.1332 8.6429 ((31 . 2) (32 . 4) (34 . 6) (35 . 9)) 4338 0.4997 6.7715 ((26 . 4) (29 . 6) (31 . 7) (34 . 11)) 4359 0.6249 4.5044 ((26 . 3) (29 . 7) (31 . 8) (32 . 9) (33 . 10)) 4380 0.4998 6.7211 ((28 . 1) (29 . 2) (31 . 3) (32 . 4)) 4383 0.6247 5.5551 ((26 . 14) (28 . 15) (29 . 16) (31 . 17) (32 . 18)) 4386 0.4975 12.0737 ((29 . 16) (33 . 18) (34 . 19) (35 . 21)) 4388 0.4999 5.1948 ((26 . 1) (29 . 3) (32 . 5) (33 . 6)) 4398 0.4997 6.8924 ((29 . 4) (32 . 6) (33 . 7) (34 . 8)) 4405 0.4995 7.8753 ((29 . 14) (32 . 18) (33 . 19) (35 . 21)) 4408 0.4997 6.9252 ((26 . 1) (28 . 3) (29 . 4) (32 . 6)) 4415 0.4999 5.6372 ((29 . 1) (32 . 3) (33 . 4) (35 . 9)) 4419 0.4996 7.8347 ((29 . 6) (31 . 8) (32 . 9) (33 . 10)) 4470 0.6217 9.7709 ((26 . 14) (29 . 18) (31 . 19) (32 . 20) (35 . 25)) 4491 0.4996 7.6779 ((28 . 1) (31 . 5) (32 . 6) (34 . 8)) 4492 0.4998 6.5014 ((31 . 4) (32 . 5) (33 . 7) (34 . 8)) 4495 0.4976 11.9602 ((26 . 2) (29 . 6) (32 . 8) (34 . 10)) 4497 0.9945 6.1808 ((26 . 18) (28 . 23) (29 . 24) (31 . 25) (32 . 26) (33 . 27) (34 . 28) (35 . 30)) 4502 0.4998 6.4537 ((28 . 9) (31 . 11) (33 . 14) (35 . 17)) 4503 0.4999 4.7385 ((28 . 3) (29 . 4) (33 . 9) (34 . 10)) 4504 0.4998 6.0155 ((28 . 4) (31 . 6) (32 . 8) (35 . 13)) 4505 0.4987 10.2586 ((29 . 25) (31 . 26) (33 . 28) (35 . 30)) 4538 0.4992 9.1168 ((26 . 30) (28 . 31) (29 . 34) (32 . 37)) 4551 0.4997 7.0339 ((29 . 1) (31 . 2) (33 . 4) (35 . 8)) 4560 0.1987 10.9789 ((26 . 1) (28 . 2) (32 . 6) (34 . 8)) 4561 0.4999 5.7534 ((26 . 5) (29 . 9) (32 . 12) (34 . 16)) 4562 0.2910 5.8216 ((26 . 22) (29 . 25) (31 . 27) (32 . 29)) 4563 0.4996 7.5999 ((28 . 26) (31 . 28) (33 . 31) (35 . 34)) 4577 0.6196 11.1109 ((26 . 39) (28 . 41) (29 . 42) (31 . 43) (34 . 48)) 4588 0.4993 8.6604 ((28 . 1) (31 . 3) (33 . 7) (35 . 11)) 4589 0.4994 8.5395 ((28 . 18) (31 . 19) (32 . 22) (33 . 23)) 4621 0.4996 7.7386 ((32 . 6) (33 . 8) (34 . 9) (35 . 11)) 4630 0.4997 6.9230 ((26 . 34) (28 . 36) (29 . 38) (32 . 41)) 4648 0.4996 7.4437 ((31 . 1) (32 . 2) (34 . 5) (35 . 8)) 4653 0.4996 7.5719 ((29 . 1) (31 . 3) (32 . 4) (34 . 7)) 4668 0.4998 6.6597 ((26 . 3) (29 . 7) (32 . 9) (34 . 11)) 4669 0.4997 7.2948 ((26 . 15) (29 . 17) (32 . 19) (34 . 21)) 4671 0.4998 6.3459 ((28 . 2) (31 . 4) (33 . 6) (35 . 7)) 4674 0.4992 9.1597 ((26 . 2) (29 . 7) (31 . 8) (32 . 9)) 4678 0.4992 8.9837 ((26 . 6) (31 . 11) (34 . 14) (35 . 16)) 4713 0.3670 7.9203 ((31 . 6) (32 . 7) (33 . 8) (34 . 9)) 4731 0.4996 7.7720 ((26 . 18) (29 . 22) (31 . 23) (32 . 24)) 4734 0.4202 8.0404 ((29 . 2) (32 . 6) (33 . 7) (34 . 8)) 4857 0.4998 6.7451 ((31 . 2) (32 . 3) (34 . 5) (35 . 9)) 4886 0.4997 7.2450 ((26 . 24) (31 . 29) (32 . 30) (33 . 31)) 4888 0.4976 11.8844 ((29 . 9) (33 . 12) (34 . 14) (35 . 15)) 4889 0.4997 6.9362 ((28 . 2) (29 . 3) (31 . 4) (33 . 6)) 4907 0.4998 6.2983 ((29 . 3) (31 . 4) (32 . 5) (33 . 8)) 4914 0.4998 6.6274 ((26 . 6) (29 . 10) (31 . 11) (32 . 12)) 4921 0.6242 6.7576 ((29 . 8) (31 . 9) (33 . 12) (34 . 14) (35 . 15)) 4929 1.0000 0.0000 ((26 . 26) (28 . 28) (29 . 29) (31 . 31) (32 . 32) (33 . 33) (34 . 34) (35 . 35)) 4932 0.4989 9.7471 ((26 . 4) (28 . 5) (29 . 6) (32 . 8)) 4940 0.4996 7.6590 ((26 . 6) (28 . 7) (29 . 8) (31 . 9)) 4944 0.4996 7.4640 ((28 . 11) (32 . 13) (33 . 14) (34 . 15)) 4961 0.3670 7.3631 ((31 . 14) (32 . 15) (33 . 17) (35 . 20)) 4978 0.5142 7.0644 ((26 . 18) (29 . 21) (31 . 22) (32 . 24) (33 . 25)) 4982 0.4988 9.9873 ((28 . 6) (31 . 9) (32 . 10) (34 . 14)) 4992 0.4998 6.2013 ((31 . 1) (32 . 2) (33 . 3) (35 . 6)) 4998 0.4912 16.6791 ((26 . 15) (29 . 20) (33 . 23) (35 . 25)) 5029 0.4996 7.4578 ((29 . 2) (31 . 4) (33 . 8) (35 . 10)) 5036 0.9969 5.3494 ((26 . 1) (28 . 4) (29 . 5) (31 . 6) (32 . 7) (33 . 8) (34 . 9) (35 . 10)) 5038 0.6247 5.4741 ((29 . 10) (31 . 14) (32 . 15) (33 . 16) (34 . 18)) 5039 0.4996 7.4853 ((29 . 37) (32 . 41) (34 . 44) (35 . 45)) 5046 0.4997 7.2648 ((32 . 1) (33 . 3) (34 . 4) (35 . 7)) 5053 0.4991 9.2069 ((29 . 5) (31 . 6) (34 . 9) (35 . 10)) 5065 0.4997 7.2083 ((26 . 3) (29 . 7) (31 . 8) (32 . 9)) 5068 0.4995 7.8629 ((31 . 2) (33 . 4) (34 . 7) (35 . 10)) 5069 0.4999 4.9921 ((28 . 15) (31 . 17) (32 . 18) (33 . 19)) 5073 0.4999 5.5686 ((26 . 36) (29 . 39) (32 . 42) (34 . 44)) 5083 0.2462 7.1184 ((28 . 2) (29 . 5) (31 . 6) (32 . 8)) 5101 0.4997 7.1694 ((28 . 15) (31 . 18) (34 . 23) (35 . 25)) 5103 0.4996 7.5372 ((29 . 2) (31 . 4) (33 . 6) (35 . 9)) 5121 0.4992 9.1910 ((26 . 19) (28 . 21) (32 . 25) (33 . 26)) 5132 0.4994 8.5415 ((28 . 16) (31 . 18) (33 . 20) (35 . 22)) 5134 0.1987 10.0728 ((29 . 10) (32 . 13) (33 . 14) (34 . 17)) 5145 0.2910 6.4587 ((28 . 3) (29 . 5) (33 . 8) (34 . 10)) 5167 0.4998 6.6078 ((28 . 1) (31 . 3) (32 . 4) (35 . 9)) 5176 0.4998 6.3809 ((28 . 84) (29 . 86) (31 . 87) (35 . 91)) 5183 0.4999 5.6425 ((29 . 35) (31 . 36) (32 . 37) (33 . 38)) 5199 0.4998 6.6125 ((28 . 4) (29 . 7) (34 . 9) (35 . 10)) 5209 0.4996 7.5308 ((31 . 7) (32 . 8) (33 . 9) (34 . 10)) 5215 0.6233 8.3414 ((31 . 9) (32 . 10) (33 . 11) (34 . 12) (35 . 15)) 5223 0.4981 11.3095 ((26 . 6) (29 . 10) (34 . 15) (35 . 17)) 5231 0.4998 6.3550 ((28 . 8) (29 . 12) (31 . 13) (32 . 14)) 5266 0.4994 8.3501 ((26 . 4) (29 . 8) (34 . 13) (35 . 15)) 5278 0.8728 5.7788 ((26 . 2) (28 . 5) (29 . 6) (31 . 7) (32 . 8) (33 . 9) (34 . 10)) 5307 0.4999 5.6770 ((26 . 51) (29 . 55) (31 . 57) (32 . 58)) 5312 0.6248 4.5215 ((29 . 2) (31 . 3) (32 . 4) (33 . 5) (34 . 7)) 5324 0.4998 6.0850 ((26 . 12) (29 . 14) (32 . 15) (33 . 16)) 5344 0.6247 5.4785 ((26 . 1) (28 . 2) (32 . 7) (33 . 8) (34 . 9)) 5345 0.6243 6.6628 ((26 . 8) (28 . 9) (29 . 13) (31 . 14) (32 . 15)) 5368 0.6248 5.0048 ((26 . 12) (29 . 16) (31 . 17) (32 . 18) (33 . 19)) 5378 0.4998 6.1855 ((26 . 9) (32 . 15) (33 . 16) (35 . 21)) 5414 0.6245 5.9770 ((28 . 14) (29 . 15) (31 . 16) (32 . 18) (33 . 19)) 5418 0.4998 6.2150 ((28 . 1) (29 . 2) (31 . 3) (32 . 5)) 5421 0.4997 6.8080 ((31 . 1) (32 . 2) (33 . 3) (34 . 5)) 5433 0.4985 10.6467 ((29 . 5) (31 . 7) (34 . 14) (35 . 16)) 5479 0.6249 3.4615 ((28 . 34) (29 . 35) (31 . 36) (33 . 40) (34 . 41)) 5487 0.4996 7.6896 ((29 . 4) (31 . 7) (33 . 9) (35 . 11)) 5489 0.6247 5.2377 ((26 . 5) (28 . 6) (31 . 9) (32 . 10) (34 . 14)) 5500 0.4995 8.0199 ((28 . 1) (29 . 2) (31 . 3) (35 . 12)) 5535 0.4998 6.2821 ((28 . 4) (31 . 8) (33 . 10) (34 . 12)) 5540 0.5521 7.3891 ((26 . 4) (29 . 6) (32 . 14) (33 . 16) (35 . 18)) 5557 0.6221 9.4742 ((28 . 1) (29 . 2) (31 . 3) (32 . 4) (34 . 6)) 5560 0.4998 6.7201 ((26 . 13) (29 . 15) (32 . 17) (34 . 20)) 5562 0.4998 6.7594 ((26 . 7) (29 . 11) (32 . 14) (34 . 17)) 5567 0.4998 6.2712 ((28 . 15) (31 . 17) (32 . 18) (33 . 19)) 5594 0.4998 6.3795 ((28 . 1) (31 . 4) (33 . 6) (35 . 9)) 5600 0.4996 7.8127 ((28 . 3) (31 . 5) (32 . 6) (34 . 9)) 5601 0.4994 8.2505 ((26 . 1) (29 . 5) (32 . 7) (34 . 10)) 5638 0.4998 6.3606 ((31 . 7) (32 . 8) (33 . 9) (35 . 13)) 5640 0.6247 5.4876 ((26 . 1) (29 . 6) (31 . 7) (32 . 8) (33 . 9)) 5644 0.6239 7.3699 ((26 . 1) (28 . 3) (29 . 4) (31 . 8) (35 . 14)) 5656 0.4999 5.3567 ((26 . 16) (29 . 21) (31 . 23) (32 . 24)) 5700 0.6245 5.9952 ((29 . 3) (31 . 4) (33 . 6) (34 . 8) (35 . 9)) 5701 0.4998 6.3364 ((31 . 4) (32 . 5) (33 . 6) (35 . 8)) 5703 0.4996 7.5016 ((28 . 1) (33 . 6) (34 . 7) (35 . 8)) 5711 0.6242 6.9375 ((26 . 36) (28 . 37) (31 . 42) (32 . 43) (35 . 47)) 5713 0.6247 5.4886 ((26 . 11) (28 . 13) (31 . 18) (32 . 19) (33 . 20)) 5718 0.6225 9.0835 ((28 . 14) (29 . 16) (32 . 18) (33 . 21) (34 . 23)) 5731 0.4998 6.1222 ((28 . 2) (32 . 7) (33 . 9) (34 . 10)) 5746 0.6245 6.0213 ((26 . 3) (29 . 6) (31 . 7) (32 . 8) (33 . 10)) 5749 0.4996 7.8138 ((28 . 3) (29 . 4) (31 . 5) (32 . 6)) 5761 0.6247 5.2288 ((29 . 28) (31 . 30) (32 . 31) (33 . 32) (35 . 36)) 5770 0.4996 7.4539 ((26 . 1) (31 . 6) (33 . 9) (34 . 12)) 5771 0.4977 11.7555 ((26 . 9) (32 . 17) (34 . 20) (35 . 21)) 5782 0.6214 9.9758 ((28 . 18) (29 . 21) (31 . 22) (33 . 24) (34 . 26)) 5794 0.6247 5.2546 ((26 . 16) (28 . 19) (31 . 23) (32 . 24) (33 . 25)) 5809 0.4998 6.2192 ((26 . 9) (29 . 12) (32 . 14) (33 . 15)) 5822 0.4979 11.5425 ((26 . 2) (29 . 6) (31 . 8) (33 . 9)) 5827 0.4998 6.6401 ((31 . 3) (32 . 4) (33 . 5) (35 . 11)) 5830 0.9975 5.0450 ((26 . 1) (28 . 3) (29 . 7) (31 . 8) (32 . 10) (33 . 13) (34 . 17) (35 . 18)) 5847 0.4997 6.9107 ((26 . 13) (29 . 17) (31 . 18) (32 . 20)) 5861 0.6247 5.3934 ((26 . 10) (29 . 15) (31 . 16) (32 . 17) (34 . 20)) 5865 0.4999 5.2764 ((31 . 1) (32 . 2) (33 . 5) (35 . 7)) 5878 0.4202 8.1033 ((29 . 25) (31 . 26) (32 . 28) (33 . 30)) 5888 0.6248 4.5113 ((26 . 5) (29 . 9) (31 . 10) (32 . 11) (33 . 12)) 5896 0.4998 6.2612 ((29 . 26) (32 . 28) (33 . 29) (35 . 31)) 5904 0.3669 9.5880 ((26 . 4) (29 . 7) (32 . 9) (33 . 11)) 5913 0.4996 7.4346 ((26 . 15) (28 . 17) (29 . 20) (31 . 22)) 5922 0.7491 5.6041 ((29 . 6) (31 . 8) (32 . 9) (33 . 10) (34 . 11) (35 . 13)) 5930 0.4994 8.2828 ((26 . 4) (29 . 7) (31 . 9) (32 . 10)) 5939 0.4998 6.5215 ((26 . 2) (29 . 4) (31 . 6) (32 . 8)) 5945 0.4984 10.7066 ((26 . 23) (29 . 26) (32 . 28) (35 . 32)) 5949 0.2462 8.4308 ((29 . 9) (31 . 10) (32 . 12) (34 . 14)) 5955 0.4987 10.2035 ((28 . 1) (31 . 3) (32 . 4) (35 . 9)) 5977 0.4998 6.4044 ((26 . 1) (29 . 3) (32 . 5) (33 . 6)) 6000 0.1987 8.5336 ((31 . 14) (32 . 15) (33 . 17) (35 . 21)) 6011 0.6247 5.1290 ((29 . 4) (31 . 7) (32 . 8) (34 . 10) (35 . 11)) 6022 0.6242 6.9179 ((29 . 2) (31 . 4) (32 . 5) (34 . 8) (35 . 9)) 6029 0.4998 6.3565 ((26 . 5) (28 . 6) (31 . 10) (32 . 11)) 6041 0.6249 4.3143 ((28 . 8) (31 . 10) (32 . 11) (33 . 12) (34 . 15)) 6046 0.4997 7.2266 ((28 . 2) (29 . 3) (31 . 5) (32 . 6)) 6061 0.4998 6.3660 ((26 . 14) (31 . 17) (33 . 20) (34 . 21)) 6074 0.4999 5.5634 ((26 . 6) (29 . 8) (32 . 11) (34 . 13)) 6075 0.4996 7.8369 ((28 . 17) (31 . 21) (33 . 24) (35 . 27)) 6079 0.6242 6.9458 ((26 . 1) (29 . 6) (31 . 7) (32 . 8) (33 . 9)) 6094 0.6229 8.7245 ((31 . 2) (32 . 3) (33 . 5) (34 . 7) (35 . 10)) 6099 0.7428 9.4845 ((26 . 28) (29 . 30) (31 . 31) (33 . 33) (34 . 34) (35 . 35)) 6123 0.2910 6.6649 ((28 . 1) (29 . 3) (31 . 4) (32 . 5)) 6142 0.6245 5.9545 ((26 . 8) (29 . 10) (31 . 11) (32 . 12) (34 . 14)) 6148 0.1661 11.8261 ((31 . 32) (33 . 34) (34 . 36) (35 . 37)) 6167 0.4995 8.2198 ((26 . 14) (28 . 17) (29 . 20) (31 . 21)) 6173 0.5142 7.0997 ((26 . 5) (28 . 7) (29 . 8) (31 . 9) (32 . 11)) 6191 0.4990 9.6750 ((26 . 6) (29 . 10) (31 . 12) (32 . 13)) 6192 0.4988 9.9615 ((26 . 5) (31 . 10) (32 . 11) (33 . 13)) 6215 0.6247 5.2745 ((29 . 17) (31 . 18) (32 . 19) (33 . 20) (35 . 24)) 6225 0.4995 8.1782 ((28 . 3) (29 . 4) (31 . 5) (35 . 10)) 6228 0.4986 10.4220 ((26 . 1) (29 . 5) (32 . 7) (34 . 9)) 6234 0.4999 5.9054 ((28 . 7) (29 . 9) (31 . 10) (32 . 13)) 6238 0.6218 9.6910 ((31 . 3) (32 . 4) (33 . 5) (34 . 7) (35 . 8)) 6243 0.4996 7.5891 ((26 . 2) (28 . 6) (31 . 8) (33 . 10)) 6251 0.3670 7.8071 ((28 . 10) (33 . 15) (34 . 17) (35 . 19)) 6258 0.4993 8.6446 ((28 . 7) (29 . 9) (32 . 10) (34 . 12)) 6261 0.4996 7.7042 ((28 . 1) (31 . 3) (34 . 9) (35 . 11)) 6266 0.4994 8.2863 ((28 . 3) (29 . 5) (32 . 6) (34 . 8)) 6270 0.4999 4.9893 ((29 . 15) (32 . 17) (33 . 18) (35 . 20)) 6271 0.4995 8.0644 ((26 . 4) (28 . 5) (29 . 7) (34 . 12)) 6273 0.2910 6.9988 ((26 . 2) (28 . 4) (31 . 6) (32 . 7)) 6294 0.4983 10.9673 ((29 . 9) (31 . 11) (33 . 14) (35 . 16)) 6306 0.4994 8.2970 ((26 . 15) (28 . 16) (31 . 19) (32 . 21)) 6309 0.4999 5.7922 ((28 . 17) (31 . 20) (34 . 25) (35 . 27)) 6311 0.4998 6.5213 ((28 . 5) (29 . 9) (34 . 13) (35 . 14)) 6326 0.4998 6.4281 ((31 . 6) (32 . 7) (33 . 10) (34 . 11)) 6338 0.6247 5.3905 ((29 . 1) (31 . 2) (33 . 5) (34 . 7) (35 . 8)) 6344 0.4999 5.9193 ((28 . 12) (29 . 13) (32 . 17) (33 . 18)) 6345 0.4988 9.9298 ((29 . 4) (31 . 5) (33 . 6) (34 . 7)) 6355 0.4989 9.8509 ((29 . 4) (31 . 6) (32 . 7) (35 . 11)) 6356 0.4997 7.3088 ((26 . 4) (29 . 9) (32 . 11) (34 . 13)) 6369 0.4988 9.9892 ((29 . 3) (31 . 5) (32 . 6) (33 . 7)) 6376 0.4997 6.9053 ((26 . 21) (29 . 26) (31 . 27) (32 . 28)) 6392 0.2909 9.5959 ((28 . 1) (29 . 3) (33 . 7) (35 . 9)) 6399 0.6246 5.8622 ((28 . 24) (29 . 26) (31 . 27) (32 . 28) (33 . 29)) 6403 0.6242 6.8936 ((28 . 1) (29 . 2) (31 . 3) (32 . 4) (33 . 5)) 6434 0.4999 5.8118 ((28 . 2) (29 . 3) (31 . 4) (32 . 5)) 6462 0.4998 6.1288 ((26 . 18) (29 . 20) (32 . 22) (33 . 24)) 6498 0.4980 11.3919 ((26 . 16) (28 . 19) (29 . 21) (35 . 29)) 6520 0.6242 6.9433 ((26 . 10) (29 . 13) (31 . 14) (32 . 15) (33 . 16)) 6539 0.4998 6.0858 ((29 . 2) (32 . 4) (33 . 5) (35 . 8)) 6540 0.8731 5.6021 ((28 . 16) (29 . 17) (31 . 18) (32 . 19) (33 . 20) (34 . 21) (35 . 22)) 6548 0.6220 9.5488 ((26 . 5) (29 . 7) (32 . 9) (33 . 12) (34 . 13)) 6553 0.4998 6.5204 ((26 . 17) (29 . 22) (31 . 24) (32 . 25)) 6555 0.8765 5.1711 ((26 . 13) (28 . 19) (29 . 20) (31 . 22) (32 . 23) (33 . 24) (34 . 25) (35 . 26)) 6561 0.4996 7.6443 ((26 . 3) (29 . 9) (31 . 10) (34 . 12)) 6573 0.2910 5.6150 ((29 . 22) (31 . 23) (32 . 24) (33 . 25)) 6578 0.4999 5.3899 ((29 . 32) (31 . 34) (32 . 37) (33 . 38)) 6584 0.4999 5.5264 ((26 . 2) (31 . 7) (32 . 8) (33 . 9)) 6585 0.6230 8.6083 ((26 . 2) (29 . 6) (32 . 8) (34 . 10) (35 . 11)) 6587 0.0999 7.5680 ((28 . 29) (29 . 31) (31 . 33) (32 . 34)) 6598 0.6243 6.6726 ((28 . 3) (31 . 5) (32 . 6) (33 . 7) (35 . 10)) 6613 0.6229 8.7659 ((26 . 24) (29 . 27) (31 . 28) (34 . 32) (35 . 34)) 6635 0.2909 9.5194 ((26 . 1) (28 . 4) (29 . 5) (32 . 7)) END