3114 25 0.4990 9.6466 ((23 . 6) (24 . 7) (27 . 9) (28 . 10)) 51 0.4994 8.4015 ((25 . 1) (27 . 3) (28 . 4) (29 . 6)) 62 0.4998 6.0967 ((23 . 10) (24 . 12) (25 . 13) (27 . 15)) 64 0.4191 12.9198 ((21 . 2) (22 . 3) (24 . 6) (29 . 9)) 77 0.4995 7.8620 ((24 . 7) (25 . 8) (27 . 10) (28 . 12)) 91 0.4989 9.7011 ((22 . 19) (24 . 21) (27 . 23) (28 . 25)) 96 0.4986 10.4613 ((22 . 1) (24 . 3) (27 . 4) (28 . 7)) 129 0.4995 8.2079 ((22 . 2) (23 . 3) (24 . 5) (29 . 12)) 136 0.1661 10.8524 ((24 . 3) (25 . 5) (27 . 6) (29 . 8)) 150 0.4997 6.7962 ((22 . 19) (23 . 20) (25 . 23) (29 . 25)) 153 0.4988 10.1040 ((22 . 8) (23 . 9) (24 . 10) (25 . 12)) 157 0.4998 6.5528 ((22 . 9) (23 . 11) (25 . 16) (29 . 18)) 162 0.4993 8.6575 ((24 . 17) (25 . 18) (27 . 19) (29 . 22)) 169 0.4993 8.8098 ((22 . 3) (23 . 4) (24 . 5) (25 . 7)) 177 0.4990 9.5540 ((22 . 1) (23 . 2) (25 . 4) (29 . 7)) 198 0.4972 12.4478 ((22 . 4) (23 . 5) (25 . 7) (29 . 12)) 233 0.4996 7.4899 ((23 . 1) (24 . 2) (25 . 3) (29 . 8)) 300 0.4994 8.5066 ((22 . 6) (23 . 8) (25 . 9) (28 . 11)) 305 0.4992 9.1885 ((21 . 17) (22 . 18) (23 . 19) (25 . 21)) 307 0.4989 9.8874 ((23 . 3) (25 . 7) (27 . 8) (29 . 9)) 315 0.4998 5.9876 ((23 . 4) (24 . 5) (25 . 6) (29 . 10)) 340 0.4202 8.0300 ((22 . 1) (25 . 2) (27 . 5) (29 . 9)) 350 0.6236 7.8539 ((22 . 1) (23 . 4) (24 . 5) (25 . 7) (27 . 9)) 360 0.4998 6.4827 ((23 . 5) (24 . 6) (25 . 7) (29 . 12)) 361 0.1662 7.7138 ((22 . 4) (27 . 7) (28 . 8) (29 . 10)) 365 0.4999 5.7068 ((22 . 2) (23 . 3) (24 . 4) (25 . 6)) 367 0.4995 8.2246 ((22 . 42) (23 . 43) (24 . 44) (29 . 48)) 372 0.4989 9.8152 ((22 . 7) (24 . 11) (25 . 10) (29 . 14)) 387 0.4992 8.9195 ((22 . 7) (23 . 8) (24 . 9) (25 . 10)) 405 0.4999 5.2561 ((22 . 35) (23 . 37) (24 . 38) (25 . 39)) 420 0.4997 6.9556 ((23 . 1) (24 . 2) (25 . 3) (29 . 5)) 442 0.4992 8.9813 ((23 . 14) (27 . 16) (28 . 18) (29 . 19)) 472 0.0999 12.6784 ((23 . 20) (24 . 21) (25 . 22) (27 . 23)) 495 0.4992 9.0626 ((22 . 7) (23 . 8) (24 . 9) (25 . 11)) 541 0.4998 6.5044 ((23 . 2) (24 . 3) (25 . 5) (27 . 6)) 543 0.4991 9.2153 ((24 . 5) (25 . 6) (27 . 7) (29 . 10)) 561 0.6235 7.9982 ((22 . 1) (24 . 3) (25 . 4) (27 . 5) (29 . 6)) 584 0.2462 8.8952 ((21 . 28) (24 . 31) (25 . 32) (27 . 33)) 587 0.4995 7.9083 ((21 . 9) (23 . 10) (24 . 11) (29 . 15)) 619 0.4995 8.0760 ((21 . 4) (24 . 7) (25 . 8) (27 . 10)) 624 0.4998 6.6274 ((23 . 9) (25 . 11) (27 . 12) (29 . 15)) 635 0.4991 9.4571 ((23 . 13) (24 . 14) (25 . 15) (29 . 18)) 672 0.4997 7.3579 ((22 . 18) (23 . 20) (25 . 21) (29 . 26)) 678 0.4974 12.1594 ((22 . 22) (24 . 24) (27 . 27) (28 . 28)) 683 0.4997 6.8796 ((23 . 1) (24 . 2) (25 . 3) (29 . 6)) 729 0.4198 10.7694 ((21 . 5) (25 . 9) (27 . 12) (29 . 13)) 735 0.4989 9.9236 ((22 . 33) (23 . 36) (24 . 37) (25 . 39)) 765 0.4988 10.1098 ((22 . 7) (23 . 10) (24 . 12) (29 . 19)) 796 0.4998 5.9701 ((22 . 3) (24 . 5) (25 . 6) (27 . 7)) 801 0.4999 5.6742 ((22 . 1) (23 . 2) (24 . 4) (25 . 5)) 812 0.2909 10.5310 ((21 . 5) (23 . 8) (27 . 12) (29 . 13)) 818 0.4993 8.8680 ((22 . 1) (23 . 2) (25 . 12) (29 . 16)) 819 0.4995 8.1434 ((24 . 2) (25 . 3) (27 . 4) (29 . 5)) 834 0.4963 13.3710 ((21 . 33) (22 . 32) (27 . 37) (28 . 38)) 861 0.4993 8.6148 ((22 . 12) (24 . 15) (25 . 16) (29 . 19)) 901 0.2908 11.8931 ((23 . 15) (27 . 18) (28 . 19) (29 . 20)) 904 0.3670 8.3875 ((24 . 2) (25 . 3) (27 . 4) (29 . 6)) 913 0.3669 9.6877 ((22 . 16) (23 . 17) (25 . 20) (27 . 21)) 928 0.4996 7.6542 ((23 . 12) (25 . 14) (27 . 15) (29 . 18)) 937 0.4998 6.0044 ((22 . 1) (24 . 4) (25 . 5) (27 . 6)) 943 0.2909 10.6310 ((21 . 8) (22 . 9) (27 . 13) (29 . 15)) 945 0.4192 12.4653 ((22 . 17) (24 . 19) (28 . 23) (29 . 22)) 949 0.4999 5.2199 ((22 . 27) (24 . 30) (25 . 32) (27 . 33)) 960 0.2462 11.4352 ((21 . 1) (22 . 2) (28 . 7) (29 . 8)) 980 0.4996 7.5478 ((23 . 3) (25 . 5) (27 . 6) (29 . 9)) 1007 0.4989 9.8488 ((22 . 11) (24 . 13) (25 . 14) (27 . 15)) 1043 0.4989 9.7450 ((21 . 10) (24 . 12) (25 . 14) (27 . 16)) 1082 0.4983 10.8721 ((23 . 1) (24 . 3) (25 . 4) (27 . 5)) 1084 0.2462 11.3304 ((21 . 8) (23 . 11) (24 . 12) (29 . 18)) 1167 0.4998 6.7475 ((23 . 20) (24 . 21) (25 . 22) (27 . 24)) 1169 0.4991 9.3978 ((22 . 29) (24 . 31) (25 . 32) (29 . 37)) 1195 0.1987 10.5469 ((21 . 2) (23 . 4) (24 . 5) (25 . 6)) 1201 0.4202 8.0342 ((22 . 14) (23 . 16) (24 . 18) (27 . 19)) 1204 0.3668 10.4774 ((21 . 5) (25 . 12) (27 . 13) (28 . 15)) 1211 0.4999 5.2818 ((23 . 8) (24 . 9) (25 . 10) (29 . 14)) 1217 0.4990 9.4677 ((23 . 3) (24 . 5) (25 . 7) (29 . 12)) 1224 0.4996 7.6670 ((23 . 6) (24 . 7) (25 . 9) (28 . 11)) 1233 0.2461 14.3691 ((21 . 17) (23 . 20) (25 . 22) (29 . 24)) 1267 0.4990 9.4696 ((21 . 31) (22 . 33) (24 . 36) (25 . 38)) 1294 0.4997 7.1517 ((22 . 41) (23 . 43) (24 . 44) (25 . 46)) 1301 0.4198 10.6752 ((25 . 1) (27 . 2) (28 . 3) (29 . 5)) 1324 0.4983 11.0265 ((22 . 1) (23 . 2) (24 . 3) (25 . 4)) 1345 0.6219 9.6069 ((22 . 12) (23 . 13) (24 . 14) (25 . 16) (28 . 17)) 1366 0.5000 4.0039 ((23 . 20) (24 . 21) (25 . 22) (28 . 25)) 1388 0.4997 7.0279 ((22 . 1) (24 . 4) (25 . 5) (29 . 8)) 1410 0.4993 8.8212 ((22 . 19) (23 . 21) (24 . 22) (29 . 26)) 1425 0.4996 7.8361 ((22 . 4) (23 . 6) (24 . 8) (25 . 10)) 1435 0.4997 7.1993 ((21 . 2) (22 . 3) (25 . 5) (28 . 7)) 1451 0.0999 9.9553 ((23 . 3) (24 . 4) (25 . 5) (29 . 8)) 1464 0.1662 9.2466 ((22 . 7) (25 . 10) (27 . 12) (29 . 14)) 1472 0.4984 10.7418 ((24 . 8) (25 . 7) (27 . 10) (28 . 11)) 1476 0.4995 8.1772 ((23 . 9) (25 . 11) (27 . 13) (29 . 15)) 1481 0.4988 10.0734 ((24 . 1) (25 . 2) (27 . 3) (29 . 4)) 1501 0.4995 8.2090 ((23 . 2) (24 . 3) (25 . 4) (29 . 8)) 1508 0.4199 10.2289 ((25 . 2) (27 . 3) (28 . 4) (29 . 5)) 1513 0.4178 15.1494 ((21 . 2) (25 . 6) (28 . 9) (29 . 11)) 1577 0.4993 8.6347 ((23 . 3) (24 . 4) (25 . 5) (29 . 10)) 1604 0.4994 8.2866 ((23 . 10) (25 . 12) (27 . 13) (28 . 14)) 1622 0.1987 9.4652 ((21 . 22) (22 . 23) (23 . 24) (24 . 25)) 1624 0.4997 7.2672 ((22 . 4) (23 . 5) (24 . 6) (25 . 7)) 1643 0.4999 5.1292 ((22 . 16) (23 . 17) (24 . 18) (25 . 20)) 1644 0.4990 9.5675 ((22 . 46) (23 . 47) (24 . 48) (25 . 49)) 1690 0.4998 6.2307 ((23 . 16) (24 . 18) (25 . 19) (28 . 23)) 1731 0.4980 11.4152 ((21 . 3) (25 . 8) (27 . 9) (28 . 10)) 1736 0.4994 8.4351 ((22 . 3) (24 . 5) (27 . 6) (28 . 8)) 1738 0.4984 10.7608 ((21 . 14) (22 . 17) (23 . 18) (24 . 19)) 1747 0.6244 6.3708 ((22 . 4) (23 . 5) (24 . 6) (25 . 7) (29 . 52)) 1756 0.2909 10.7683 ((22 . 22) (24 . 25) (25 . 26) (29 . 31)) 1759 0.4999 5.7571 ((22 . 8) (23 . 9) (24 . 10) (25 . 11)) 1761 0.4981 11.2906 ((21 . 13) (23 . 16) (25 . 19) (29 . 20)) 1763 0.4994 8.4630 ((24 . 9) (25 . 10) (27 . 11) (28 . 12)) 1776 0.4197 11.0209 ((25 . 9) (27 . 10) (28 . 11) (29 . 12)) 1778 0.6229 8.6857 ((22 . 2) (23 . 3) (24 . 4) (25 . 5) (29 . 8)) 1793 0.2462 11.3774 ((21 . 6) (23 . 8) (25 . 10) (29 . 12)) 1805 0.4991 9.3620 ((22 . 3) (24 . 7) (25 . 8) (29 . 11)) 1817 0.4994 8.3537 ((22 . 14) (23 . 15) (24 . 16) (25 . 18)) 1867 0.4997 7.2933 ((22 . 1) (24 . 3) (25 . 6) (28 . 8)) 1894 0.4991 9.4005 ((22 . 22) (23 . 23) (24 . 25) (25 . 26)) 1896 0.4999 5.7600 ((23 . 23) (24 . 25) (25 . 26) (28 . 30)) 1897 0.5144 5.2352 ((22 . 32) (23 . 34) (24 . 39) (25 . 40) (28 . 45)) 1908 0.3668 10.3055 ((23 . 7) (25 . 10) (28 . 14) (29 . 15)) 1909 0.4985 10.5254 ((23 . 25) (25 . 29) (27 . 30) (29 . 31)) 1913 0.4997 7.2739 ((22 . 25) (23 . 26) (25 . 28) (28 . 31)) 1944 0.4995 7.9861 ((23 . 9) (25 . 13) (27 . 14) (29 . 16)) 1957 0.4993 8.7975 ((23 . 13) (25 . 15) (27 . 16) (29 . 17)) 1961 0.2909 10.7591 ((22 . 14) (24 . 16) (27 . 18) (29 . 20)) 1967 0.2910 7.5417 ((22 . 7) (25 . 10) (27 . 11) (28 . 12)) 1972 0.4995 8.0473 ((22 . 16) (25 . 18) (28 . 21) (29 . 24)) 1995 0.4998 6.2568 ((23 . 2) (24 . 3) (25 . 7) (29 . 11)) 2003 0.4993 8.9116 ((22 . 5) (24 . 8) (25 . 9) (29 . 12)) 2006 0.4996 7.3696 ((23 . 21) (24 . 22) (25 . 24) (27 . 27)) 2045 0.2462 8.0031 ((21 . 2) (22 . 3) (25 . 7) (28 . 9)) 2054 0.4187 13.6331 ((22 . 2) (27 . 10) (28 . 11) (29 . 13)) 2063 0.4999 5.2595 ((22 . 45) (23 . 47) (24 . 48) (25 . 49)) 2065 0.4997 7.2417 ((22 . 18) (24 . 22) (25 . 23) (29 . 27)) 2067 0.4986 10.3613 ((24 . 54) (25 . 55) (27 . 58) (29 . 60)) 2072 0.4991 9.2161 ((24 . 6) (25 . 7) (27 . 8) (28 . 9)) 2081 0.4998 6.7595 ((23 . 20) (24 . 21) (25 . 23) (27 . 24)) 2083 0.1497 7.1468 ((22 . 1) (23 . 2) (25 . 4) (28 . 8)) 2097 0.4203 7.0457 ((21 . 5) (22 . 6) (23 . 7) (29 . 14)) 2114 0.2910 5.5191 ((23 . 29) (24 . 32) (25 . 34) (27 . 35)) 2116 0.4999 5.6284 ((22 . 2) (23 . 3) (24 . 4) (25 . 5)) 2117 0.4998 6.4829 ((22 . 11) (23 . 12) (25 . 14) (28 . 19)) 2118 0.2459 17.8475 ((21 . 5) (27 . 8) (28 . 9) (29 . 11)) 2122 0.4992 9.1568 ((23 . 6) (25 . 8) (27 . 9) (29 . 12)) 2166 0.4202 8.4239 ((21 . 4) (24 . 7) (25 . 8) (28 . 10)) 2179 0.4982 11.1641 ((21 . 1) (23 . 4) (25 . 5) (29 . 10)) 2196 0.4997 7.0809 ((22 . 14) (23 . 15) (24 . 16) (25 . 17)) 2203 0.4194 11.9045 ((21 . 1) (24 . 6) (27 . 8) (29 . 10)) 2205 0.4999 5.8634 ((23 . 21) (24 . 22) (25 . 23) (27 . 25)) 2209 0.4989 9.7572 ((23 . 5) (24 . 6) (27 . 8) (29 . 9)) 2243 0.4998 6.1597 ((23 . 51) (24 . 52) (25 . 53) (29 . 56)) 2244 0.5000 4.0836 ((22 . 76) (23 . 77) (24 . 78) (25 . 79)) 2249 0.2907 14.3137 ((21 . 12) (25 . 18) (27 . 19) (29 . 23)) 2269 0.4991 9.2980 ((22 . 7) (23 . 8) (25 . 10) (29 . 12)) 2279 0.4988 10.0234 ((21 . 10) (22 . 11) (27 . 15) (29 . 22)) 2298 0.4997 7.3069 ((23 . 8) (25 . 10) (27 . 11) (29 . 15)) 2314 0.4979 11.5305 ((23 . 2) (24 . 3) (25 . 4) (29 . 8)) 2340 0.4978 11.7302 ((22 . 9) (24 . 11) (27 . 12) (28 . 15)) 2344 0.4999 4.7823 ((22 . 10) (24 . 13) (27 . 16) (28 . 17)) 2364 0.4999 5.8194 ((23 . 7) (25 . 9) (27 . 10) (28 . 11)) 2389 0.5511 9.5195 ((21 . 3) (23 . 5) (24 . 6) (25 . 7) (29 . 11)) 2408 0.6238 7.6343 ((22 . 40) (23 . 41) (24 . 42) (25 . 45) (29 . 47)) 2409 0.4996 7.8340 ((21 . 2) (23 . 5) (24 . 6) (29 . 9)) 2423 0.4994 8.5481 ((22 . 14) (24 . 16) (25 . 17) (27 . 18)) 2440 0.4997 6.9233 ((23 . 6) (24 . 7) (25 . 8) (27 . 10)) 2447 0.4997 6.9028 ((22 . 15) (24 . 18) (27 . 20) (28 . 22)) 2462 0.4970 12.6548 ((21 . 3) (24 . 6) (25 . 7) (29 . 11)) 2510 0.4979 11.4818 ((23 . 3) (25 . 5) (27 . 6) (29 . 7)) 2525 0.2462 12.0300 ((23 . 45) (25 . 47) (28 . 49) (29 . 50)) 2529 0.4998 6.0737 ((22 . 1) (24 . 3) (25 . 5) (28 . 7)) 2533 0.2462 10.1715 ((25 . 13) (27 . 14) (28 . 16) (29 . 18)) 2551 0.4987 10.2337 ((22 . 9) (24 . 11) (25 . 12) (29 . 14)) 2556 0.4998 6.3063 ((23 . 11) (25 . 13) (27 . 14) (28 . 15)) 2557 0.3668 10.8241 ((21 . 3) (24 . 6) (25 . 7) (27 . 8)) 2561 0.4999 5.5895 ((22 . 6) (23 . 7) (24 . 8) (25 . 9)) 2595 0.3663 13.3941 ((21 . 1) (23 . 4) (27 . 7) (29 . 9)) 2619 0.4199 10.3270 ((22 . 2) (23 . 3) (27 . 6) (29 . 7)) 2650 0.4999 5.4586 ((22 . 5) (23 . 6) (24 . 7) (25 . 8)) 2658 0.3671 6.6566 ((22 . 1) (25 . 3) (27 . 4) (28 . 5)) 2675 0.4996 7.4737 ((23 . 3) (24 . 4) (25 . 5) (29 . 10)) 2682 0.4991 9.2015 ((23 . 12) (24 . 13) (27 . 16) (29 . 19)) 2696 0.4955 14.0530 ((21 . 32) (24 . 35) (25 . 36) (29 . 39)) 2731 0.4998 6.2545 ((22 . 1) (24 . 4) (25 . 5) (27 . 6)) 2733 0.4999 5.4811 ((23 . 2) (24 . 4) (27 . 7) (28 . 9)) 2821 0.4981 11.1900 ((21 . 1) (22 . 2) (23 . 3) (29 . 11)) 2830 0.4992 8.9610 ((23 . 13) (25 . 15) (27 . 16) (29 . 17)) 2834 0.1987 11.6078 ((21 . 3) (22 . 5) (23 . 6) (25 . 8)) 2840 0.4997 7.0329 ((21 . 1) (22 . 6) (25 . 9) (27 . 10)) 2867 0.4202 8.1237 ((24 . 9) (27 . 10) (28 . 11) (29 . 12)) 2879 0.4999 4.5985 ((22 . 54) (23 . 56) (24 . 57) (25 . 58)) 2886 0.6219 9.6708 ((22 . 35) (23 . 37) (24 . 38) (25 . 39) (29 . 43)) 2929 0.4999 5.3533 ((22 . 36) (24 . 39) (25 . 40) (27 . 41)) 2947 0.4998 6.4798 ((23 . 2) (24 . 3) (25 . 4) (29 . 6)) 2966 0.4998 6.5569 ((23 . 1) (24 . 3) (25 . 4) (27 . 5)) 2990 0.4975 12.0686 ((22 . 9) (23 . 12) (25 . 14) (29 . 16)) 3019 0.2462 10.6737 ((22 . 9) (23 . 10) (24 . 11) (27 . 13)) 3034 0.4989 9.7495 ((23 . 5) (25 . 7) (27 . 8) (29 . 9)) 3041 0.4998 6.2366 ((22 . 30) (24 . 32) (25 . 33) (27 . 34)) 3055 0.4995 7.9973 ((21 . 21) (23 . 23) (24 . 24) (25 . 25)) 3063 0.4997 6.9865 ((22 . 37) (23 . 38) (24 . 39) (25 . 41)) 3070 0.2910 8.6593 ((21 . 32) (22 . 33) (24 . 35) (25 . 36)) 3084 0.4995 8.2121 ((23 . 5) (25 . 7) (27 . 8) (29 . 11)) 3102 0.4971 12.5792 ((22 . 69) (23 . 70) (24 . 71) (25 . 72)) 3103 0.4997 7.0689 ((23 . 1) (24 . 2) (25 . 3) (28 . 6)) 3114 1.0000 0.0000 ((21 . 21) (22 . 22) (23 . 23) (24 . 24) (25 . 25) (27 . 27) (28 . 28) (29 . 29)) 3127 0.4993 8.6785 ((23 . 8) (25 . 11) (27 . 12) (29 . 13)) 3147 0.4998 6.1403 ((23 . 2) (24 . 3) (25 . 4) (29 . 8)) 3176 0.4985 10.6475 ((24 . 26) (25 . 27) (27 . 30) (28 . 31)) 3187 0.4955 14.0320 ((21 . 3) (24 . 5) (25 . 6) (29 . 9)) 3190 0.4996 7.6351 ((23 . 3) (25 . 6) (27 . 7) (29 . 11)) 3197 0.4987 10.2946 ((23 . 21) (25 . 24) (27 . 25) (29 . 26)) 3200 0.1987 12.9894 ((21 . 1) (27 . 7) (28 . 8) (29 . 9)) 3212 0.4998 6.5999 ((23 . 2) (24 . 3) (25 . 5) (27 . 7)) 3222 0.4987 10.2142 ((23 . 6) (24 . 7) (25 . 8) (29 . 14)) 3256 0.4998 6.4298 ((22 . 19) (23 . 20) (24 . 21) (28 . 27)) 3261 0.1662 9.6516 ((22 . 2) (23 . 3) (27 . 5) (29 . 7)) 3286 0.4999 5.8382 ((23 . 4) (24 . 5) (27 . 6) (28 . 8)) 3289 0.5144 5.5967 ((22 . 27) (23 . 30) (24 . 31) (25 . 25) (27 . 28)) 3297 0.3661 14.0467 ((21 . 5) (22 . 7) (25 . 8) (29 . 11)) 3334 0.3669 9.6073 ((21 . 1) (25 . 5) (27 . 7) (29 . 10)) 3344 0.4988 10.0937 ((22 . 18) (23 . 19) (24 . 21) (29 . 24)) 3358 0.4992 9.0466 ((23 . 2) (25 . 4) (27 . 5) (29 . 8)) 3362 0.4996 7.8107 ((22 . 6) (24 . 8) (25 . 10) (28 . 12)) 3366 0.3669 8.9582 ((21 . 22) (22 . 23) (25 . 27) (29 . 29)) 3391 0.2461 13.2177 ((21 . 6) (22 . 8) (24 . 10) (28 . 14)) 3410 0.3668 10.3653 ((23 . 21) (25 . 24) (28 . 27) (29 . 28)) 3446 0.4968 12.8508 ((21 . 5) (22 . 6) (27 . 10) (28 . 11)) 3472 0.4995 8.0744 ((22 . 4) (23 . 5) (24 . 6) (25 . 8)) 3481 0.4991 9.2936 ((23 . 8) (25 . 10) (27 . 11) (29 . 12)) 3489 0.4995 7.9184 ((22 . 1) (23 . 2) (24 . 3) (29 . 10)) 3495 0.4575 11.5890 ((23 . 1) (24 . 2) (25 . 3) (28 . 6) (29 . 7)) 3533 0.4987 10.3096 ((22 . 1) (23 . 3) (25 . 5) (29 . 10)) 3538 0.4996 7.6591 ((22 . 23) (23 . 24) (24 . 25) (25 . 26)) 3548 0.4998 6.5128 ((23 . 8) (24 . 9) (25 . 10) (27 . 11)) 3561 0.2907 13.3960 ((25 . 22) (27 . 23) (28 . 25) (29 . 26)) 3585 0.4999 5.3291 ((22 . 8) (23 . 11) (24 . 12) (25 . 13)) 3625 0.4992 8.9467 ((23 . 2) (24 . 3) (25 . 5) (29 . 7)) 3626 0.4998 6.2665 ((22 . 3) (23 . 6) (24 . 8) (25 . 11)) 3628 0.4202 8.0681 ((21 . 3) (23 . 6) (25 . 8) (29 . 12)) 3651 0.4983 10.8936 ((23 . 3) (25 . 5) (27 . 7) (29 . 8)) 3658 0.2910 6.8148 ((22 . 5) (24 . 7) (25 . 8) (28 . 10)) 3659 0.1332 8.5791 ((22 . 9) (24 . 12) (25 . 13) (27 . 14)) 3661 0.3670 6.9857 ((24 . 11) (25 . 12) (27 . 13) (28 . 14)) 3688 0.4997 7.3001 ((21 . 27) (23 . 29) (24 . 30) (27 . 33)) 3697 0.1987 7.5282 ((24 . 6) (25 . 7) (28 . 9) (29 . 10)) 3703 0.4990 9.5028 ((22 . 1) (23 . 2) (24 . 3) (25 . 4)) 3732 0.4995 8.1860 ((22 . 7) (24 . 9) (25 . 11) (28 . 13)) 3733 0.4989 9.8211 ((23 . 3) (25 . 6) (27 . 7) (29 . 8)) 3740 0.4998 6.1328 ((22 . 2) (23 . 3) (24 . 4) (29 . 7)) 3741 0.4994 8.4288 ((22 . 25) (23 . 26) (25 . 28) (29 . 35)) 3776 0.3662 13.9125 ((25 . 15) (27 . 16) (28 . 18) (29 . 19)) 3778 0.4998 6.6213 ((23 . 2) (24 . 3) (25 . 4) (29 . 6)) 3787 0.4949 14.5013 ((22 . 23) (27 . 26) (28 . 28) (29 . 29)) 3790 0.4999 5.3864 ((22 . 37) (23 . 38) (24 . 39) (25 . 40)) 3807 0.4996 7.5238 ((24 . 46) (25 . 47) (27 . 48) (28 . 49)) 3817 0.4979 11.6055 ((21 . 7) (24 . 9) (25 . 10) (27 . 12)) 3829 0.4199 10.0694 ((25 . 9) (27 . 10) (28 . 11) (29 . 12)) 3849 0.1662 8.7332 ((22 . 1) (23 . 2) (24 . 3) (27 . 4)) 3853 0.4991 9.3577 ((23 . 6) (25 . 8) (27 . 9) (29 . 12)) 3870 0.3669 9.9381 ((23 . 8) (25 . 10) (27 . 11) (29 . 13)) 3933 0.4996 7.6069 ((23 . 3) (24 . 5) (25 . 6) (29 . 11)) 3938 0.4987 10.1838 ((24 . 2) (25 . 4) (27 . 5) (29 . 9)) 3942 0.1987 8.0870 ((25 . 2) (27 . 4) (28 . 5) (29 . 9)) 3986 0.3671 6.5409 ((21 . 26) (22 . 27) (24 . 28) (25 . 29)) 3990 0.4990 9.5710 ((22 . 16) (24 . 18) (25 . 20) (28 . 21)) 4005 0.4995 8.0452 ((21 . 26) (23 . 29) (24 . 30) (29 . 36)) 4009 0.4993 8.6855 ((21 . 11) (23 . 13) (27 . 17) (28 . 18)) 4019 0.4997 6.7832 ((22 . 42) (23 . 43) (24 . 44) (25 . 45)) 4034 0.4998 6.0532 ((24 . 5) (25 . 6) (27 . 7) (28 . 8)) 4062 0.4996 7.5551 ((24 . 48) (25 . 49) (27 . 51) (28 . 52)) 4082 0.4995 8.2127 ((22 . 6) (23 . 7) (24 . 8) (25 . 10)) 4087 0.1987 10.9235 ((21 . 1) (24 . 6) (25 . 5) (29 . 8)) 4112 0.2909 10.5487 ((24 . 1) (25 . 2) (28 . 7) (29 . 6)) 4115 0.3664 12.8068 ((23 . 1) (25 . 5) (28 . 9) (29 . 10)) 4140 0.0999 5.6741 ((22 . 21) (24 . 23) (25 . 22) (28 . 26)) 4151 0.4996 7.7727 ((23 . 5) (25 . 7) (27 . 8) (29 . 12)) 4154 0.4998 6.7645 ((23 . 51) (24 . 52) (25 . 53) (29 . 57)) 4177 0.4991 9.2044 ((24 . 1) (25 . 2) (27 . 4) (29 . 7)) 4192 0.1995 9.0089 ((21 . 8) (23 . 10) (24 . 19) (27 . 14) (29 . 23)) 4204 0.4997 7.0389 ((21 . 9) (22 . 11) (24 . 14) (25 . 15)) 4209 0.2462 12.1424 ((23 . 1) (25 . 2) (28 . 6) (29 . 7)) 4210 0.4991 9.2587 ((22 . 5) (23 . 6) (25 . 8) (29 . 10)) 4226 0.4996 7.4218 ((23 . 1) (25 . 4) (27 . 5) (29 . 9)) 4232 0.3669 9.5495 ((22 . 2) (23 . 3) (24 . 4) (28 . 7)) 4236 0.1987 6.9731 ((22 . 5) (24 . 6) (25 . 7) (28 . 11)) 4246 0.3670 7.9879 ((22 . 2) (24 . 6) (25 . 7) (28 . 10)) 4254 0.4997 7.2448 ((21 . 8) (22 . 9) (23 . 11) (29 . 18)) 4255 0.6235 7.9596 ((22 . 21) (24 . 23) (25 . 24) (27 . 25) (29 . 26)) 4265 0.4998 6.2447 ((23 . 24) (25 . 26) (27 . 27) (28 . 28)) 4266 0.2462 10.3006 ((25 . 8) (27 . 9) (28 . 10) (29 . 11)) 4274 0.1987 8.6595 ((21 . 36) (22 . 38) (24 . 40) (25 . 41)) 4275 0.4992 9.1562 ((22 . 23) (24 . 25) (25 . 27) (28 . 29)) 4281 0.4993 8.7999 ((23 . 3) (24 . 4) (25 . 5) (29 . 10)) 4284 0.1332 10.1725 ((21 . 5) (22 . 6) (25 . 9) (27 . 11)) 4299 0.4992 9.0823 ((22 . 14) (24 . 16) (25 . 19) (29 . 22)) 4301 0.6238 7.5463 ((22 . 3) (23 . 4) (24 . 6) (25 . 9) (29 . 10)) 4332 0.4201 8.9764 ((24 . 2) (25 . 4) (28 . 8) (29 . 9)) 4338 0.2906 14.6519 ((21 . 4) (22 . 2) (25 . 6) (29 . 11)) 4352 0.4991 9.3648 ((23 . 9) (24 . 10) (27 . 12) (28 . 13)) 4359 0.6239 7.4289 ((22 . 7) (23 . 8) (24 . 9) (25 . 10) (29 . 13)) 4380 0.4999 5.4556 ((22 . 29) (23 . 30) (24 . 31) (25 . 32)) 4383 0.4995 8.2123 ((22 . 14) (23 . 15) (24 . 16) (29 . 21)) 4386 0.4984 10.7205 ((22 . 18) (23 . 19) (25 . 21) (27 . 23)) 4388 0.4986 10.4328 ((22 . 1) (24 . 3) (27 . 4) (29 . 6)) 4398 0.3670 8.3833 ((21 . 1) (23 . 4) (25 . 6) (29 . 10)) 4405 0.4961 13.5070 ((21 . 14) (24 . 18) (25 . 19) (29 . 22)) 4408 0.4999 5.0239 ((23 . 2) (24 . 3) (25 . 4) (27 . 5)) 4415 0.2484 9.7148 ((22 . 1) (24 . 3) (25 . 4) (28 . 5) (29 . 9)) 4419 0.4995 8.0257 ((23 . 7) (24 . 8) (25 . 9) (28 . 11)) 4470 0.4992 9.0309 ((24 . 19) (25 . 20) (27 . 22) (28 . 23)) 4492 0.4999 5.6871 ((23 . 2) (24 . 3) (25 . 4) (27 . 6)) 4497 0.4997 7.1978 ((22 . 23) (23 . 24) (24 . 25) (25 . 26)) 4502 0.4994 8.2505 ((23 . 9) (24 . 10) (25 . 11) (29 . 17)) 4503 0.1987 9.0135 ((22 . 3) (23 . 4) (24 . 6) (25 . 7)) 4504 0.4994 8.4192 ((23 . 13) (25 . 15) (27 . 16) (29 . 19)) 4505 0.3667 11.0959 ((22 . 25) (25 . 30) (28 . 31) (29 . 34)) 4538 0.4995 7.8634 ((22 . 30) (23 . 31) (24 . 32) (29 . 38)) 4551 0.1987 9.2295 ((24 . 1) (25 . 2) (28 . 7) (29 . 8)) 4560 0.4988 9.9727 ((23 . 6) (25 . 8) (27 . 10) (29 . 13)) 4561 0.4991 9.2202 ((22 . 5) (24 . 7) (25 . 9) (28 . 11)) 4562 0.4992 8.9629 ((22 . 25) (23 . 27) (25 . 29) (27 . 30)) 4563 0.1497 13.1709 ((23 . 28) (27 . 32) (28 . 33) (29 . 34)) 4577 0.4999 5.7175 ((23 . 28) (24 . 29) (25 . 30) (29 . 34)) 4588 0.4990 9.6811 ((23 . 1) (25 . 3) (27 . 4) (29 . 7)) 4589 0.1987 10.7762 ((22 . 19) (24 . 22) (25 . 23) (29 . 27)) 4607 0.4999 4.7923 ((23 . 3) (24 . 4) (27 . 8) (28 . 9)) 4621 0.4993 8.6455 ((22 . 4) (24 . 7) (25 . 8) (29 . 11)) 4630 0.4993 8.7167 ((23 . 20) (24 . 21) (25 . 23) (29 . 28)) 4648 0.4993 8.8073 ((24 . 1) (25 . 2) (27 . 3) (28 . 7)) 4653 0.4998 6.2627 ((23 . 5) (24 . 6) (25 . 7) (29 . 9)) 4665 0.4999 5.8570 ((22 . 13) (24 . 11) (25 . 12) (29 . 14)) 4668 0.4976 12.0015 ((23 . 3) (25 . 5) (27 . 8) (29 . 9)) 4669 0.4997 7.1545 ((22 . 12) (23 . 13) (25 . 17) (29 . 19)) 4671 0.4998 6.3688 ((22 . 11) (23 . 12) (25 . 15) (27 . 16)) 4674 0.4989 9.7885 ((24 . 1) (25 . 2) (27 . 4) (29 . 6)) 4713 0.4994 8.5532 ((22 . 5) (24 . 7) (25 . 8) (27 . 10)) 4715 0.2462 10.3698 ((25 . 3) (27 . 4) (28 . 5) (29 . 6)) 4857 0.4991 9.3659 ((24 . 9) (25 . 11) (28 . 12) (29 . 13)) 4886 0.4970 12.6595 ((21 . 30) (22 . 31) (25 . 32) (27 . 33)) 4889 0.4998 6.4745 ((23 . 2) (24 . 3) (25 . 4) (29 . 6)) 4907 0.1987 8.4785 ((22 . 4) (24 . 7) (25 . 8) (27 . 10)) 4914 0.4997 7.0383 ((23 . 6) (24 . 7) (25 . 8) (29 . 12)) 4921 0.4983 10.9505 ((24 . 8) (25 . 9) (27 . 11) (29 . 12)) 4929 0.4994 8.2892 ((22 . 26) (23 . 28) (25 . 29) (29 . 33)) 4932 0.4997 6.7896 ((23 . 4) (24 . 5) (25 . 6) (29 . 8)) 4940 0.4992 9.1574 ((22 . 3) (23 . 4) (24 . 6) (25 . 7)) 4944 0.2462 8.8466 ((21 . 13) (22 . 14) (23 . 15) (24 . 16)) 4961 0.4979 11.5193 ((23 . 12) (25 . 14) (28 . 16) (29 . 17)) 4978 0.4981 11.2955 ((24 . 22) (25 . 24) (28 . 26) (29 . 28)) 4982 0.2459 17.3861 ((22 . 8) (25 . 12) (28 . 15) (29 . 14)) 4992 0.1987 8.4106 ((22 . 1) (23 . 2) (24 . 3) (27 . 4)) 4998 0.4195 11.6773 ((21 . 15) (24 . 19) (27 . 21) (28 . 22)) 5029 0.3663 13.1352 ((24 . 1) (25 . 2) (28 . 5) (29 . 6)) 5036 0.6244 6.4419 ((22 . 5) (23 . 6) (24 . 7) (25 . 8) (29 . 10)) 5038 0.3664 12.8042 ((24 . 9) (25 . 10) (28 . 13) (29 . 15)) 5039 0.4983 10.9685 ((21 . 37) (22 . 39) (24 . 41) (29 . 45)) 5044 0.3670 8.1699 ((21 . 2) (22 . 3) (25 . 8) (28 . 11)) 5046 0.4990 9.5206 ((21 . 4) (23 . 7) (24 . 8) (25 . 10)) 5053 0.4994 8.3059 ((23 . 11) (24 . 12) (27 . 14) (29 . 15)) 5065 0.4997 7.1198 ((22 . 7) (24 . 9) (25 . 10) (28 . 12)) 5068 0.4985 10.5773 ((23 . 7) (25 . 10) (27 . 11) (29 . 15)) 5069 0.5000 4.3253 ((23 . 17) (24 . 18) (25 . 19) (27 . 20)) 5073 0.4995 8.2337 ((23 . 34) (25 . 36) (27 . 38) (29 . 39)) 5080 0.1987 10.6871 ((23 . 2) (24 . 3) (27 . 6) (28 . 7)) 5083 0.4988 9.9648 ((24 . 2) (25 . 5) (27 . 4) (29 . 9)) 5101 0.4202 8.0371 ((25 . 18) (27 . 19) (28 . 20) (29 . 23)) 5103 0.4996 7.7274 ((22 . 2) (24 . 4) (27 . 5) (28 . 7)) 5132 0.4999 5.5797 ((22 . 26) (24 . 28) (27 . 32) (28 . 33)) 5134 0.4200 9.5346 ((22 . 10) (27 . 15) (28 . 16) (29 . 17)) 5145 0.4985 10.5890 ((22 . 3) (24 . 5) (27 . 9) (28 . 11)) 5176 0.4998 6.4032 ((22 . 84) (23 . 86) (24 . 87) (25 . 88)) 5183 0.4998 6.3156 ((23 . 35) (24 . 36) (25 . 37) (28 . 39)) 5192 0.3666 11.5840 ((22 . 3) (24 . 5) (27 . 7) (29 . 9)) 5199 0.2907 13.7819 ((21 . 7) (22 . 8) (25 . 9) (29 . 10)) 5209 0.4998 6.0458 ((22 . 7) (23 . 8) (24 . 9) (25 . 10)) 5215 0.3663 13.3266 ((21 . 10) (22 . 11) (23 . 12) (29 . 16)) 5223 0.4997 6.7794 ((23 . 3) (25 . 6) (27 . 7) (29 . 10)) 5231 0.4992 9.0513 ((24 . 8) (25 . 12) (28 . 15) (29 . 14)) 5266 0.1497 6.5735 ((22 . 10) (24 . 13) (25 . 15) (28 . 16)) 5278 0.6241 7.1410 ((22 . 6) (23 . 7) (24 . 8) (25 . 9) (29 . 12)) 5307 0.2908 12.1096 ((21 . 51) (23 . 53) (25 . 55) (29 . 58)) 5312 0.4989 9.8573 ((22 . 1) (24 . 3) (25 . 4) (29 . 7)) 5323 0.4985 10.5751 ((21 . 10) (22 . 11) (27 . 15) (28 . 16)) 5324 0.4997 7.3473 ((23 . 10) (25 . 12) (27 . 13) (29 . 15)) 5344 0.4994 8.4018 ((23 . 1) (24 . 2) (25 . 3) (29 . 7)) 5345 0.6220 9.5374 ((22 . 8) (23 . 12) (24 . 13) (25 . 14) (29 . 18)) 5368 0.4999 5.2137 ((22 . 14) (23 . 15) (24 . 16) (25 . 17)) 5378 0.4972 12.4268 ((21 . 8) (22 . 9) (27 . 13) (29 . 16)) 5411 0.4991 9.3492 ((22 . 3) (24 . 6) (25 . 8) (27 . 9)) 5414 0.6227 8.9858 ((22 . 14) (23 . 15) (24 . 16) (25 . 18) (29 . 22)) 5418 0.4995 8.1362 ((24 . 2) (25 . 3) (27 . 4) (29 . 8)) 5433 0.4995 8.2461 ((23 . 7) (24 . 8) (25 . 10) (29 . 16)) 5479 0.4997 7.0416 ((22 . 54) (23 . 55) (24 . 56) (29 . 62)) 5487 0.4920 16.2760 ((21 . 4) (23 . 7) (27 . 10) (28 . 12)) 5489 0.4999 5.6653 ((22 . 9) (23 . 10) (24 . 11) (25 . 12)) 5500 0.4992 9.0307 ((23 . 1) (24 . 2) (25 . 3) (29 . 12)) 5501 0.4986 10.3947 ((22 . 16) (23 . 17) (24 . 20) (28 . 22)) 5525 0.4982 11.0859 ((24 . 8) (25 . 7) (27 . 10) (28 . 11)) 5535 0.4994 8.5366 ((22 . 8) (23 . 9) (24 . 10) (25 . 11)) 5540 0.2461 13.8422 ((21 . 14) (23 . 16) (25 . 18) (27 . 21)) 5557 0.3665 12.5551 ((24 . 1) (25 . 2) (28 . 5) (29 . 6)) 5560 0.4993 8.7926 ((24 . 11) (25 . 13) (27 . 14) (29 . 15)) 5562 0.4979 11.5932 ((23 . 6) (24 . 7) (27 . 10) (28 . 12)) 5567 0.4997 7.2776 ((22 . 6) (23 . 8) (27 . 16) (29 . 19)) 5594 0.2909 9.5302 ((22 . 4) (24 . 6) (27 . 8) (29 . 12)) 5600 0.6238 7.5889 ((22 . 3) (24 . 5) (25 . 6) (27 . 7) (29 . 9)) 5601 0.4993 8.7997 ((23 . 3) (25 . 5) (27 . 6) (29 . 8)) 5638 0.4997 7.0108 ((23 . 7) (24 . 8) (25 . 9) (27 . 12)) 5640 0.4999 4.8669 ((23 . 6) (24 . 7) (25 . 8) (29 . 12)) 5644 0.4967 13.0011 ((21 . 4) (23 . 8) (25 . 10) (29 . 14)) 5656 0.3668 10.1532 ((24 . 2) (25 . 3) (27 . 4) (29 . 5)) 5700 0.4953 14.1397 ((21 . 4) (24 . 6) (25 . 8) (29 . 11)) 5701 0.4964 13.2832 ((22 . 8) (24 . 11) (27 . 13) (29 . 14)) 5703 0.4992 8.9166 ((22 . 2) (24 . 5) (25 . 6) (29 . 8)) 5711 0.5141 7.3989 ((21 . 37) (22 . 38) (23 . 39) (25 . 42) (29 . 46)) 5713 0.4998 6.0153 ((22 . 5) (23 . 6) (24 . 7) (25 . 8)) 5718 0.4998 6.4228 ((22 . 16) (23 . 17) (24 . 18) (25 . 21)) 5731 0.4995 8.0571 ((22 . 2) (24 . 5) (25 . 7) (29 . 10)) 5746 0.4998 6.1968 ((22 . 6) (23 . 7) (24 . 9) (25 . 10)) 5749 0.4988 9.9946 ((22 . 3) (23 . 4) (24 . 5) (25 . 6)) 5761 0.7484 6.4993 ((22 . 28) (23 . 30) (24 . 31) (25 . 32) (27 . 34) (29 . 36)) 5771 0.3664 12.7890 ((21 . 13) (25 . 17) (27 . 19) (29 . 21)) 5782 0.4999 5.5268 ((23 . 24) (24 . 26) (25 . 27) (27 . 28)) 5794 0.4989 9.9196 ((24 . 18) (25 . 19) (27 . 22) (29 . 23)) 5809 0.4965 13.1015 ((21 . 9) (23 . 12) (25 . 14) (28 . 16)) 5822 0.4999 5.5326 ((22 . 1) (23 . 2) (25 . 4) (27 . 5)) 5827 0.4999 5.6015 ((23 . 3) (24 . 4) (25 . 5) (29 . 11)) 5830 0.4998 6.4399 ((22 . 2) (24 . 7) (25 . 8) (27 . 9)) 5847 0.5137 8.8648 ((22 . 3) (23 . 12) (24 . 13) (25 . 17) (29 . 18)) 5861 0.4999 5.4036 ((22 . 10) (23 . 11) (24 . 12) (25 . 15)) 5865 0.4997 7.0566 ((22 . 4) (23 . 5) (25 . 7) (28 . 8)) 5888 0.6241 7.0734 ((22 . 3) (23 . 4) (24 . 5) (25 . 6) (29 . 30)) 5896 0.4992 9.1285 ((24 . 28) (25 . 29) (27 . 30) (28 . 32)) 5913 0.4994 8.5359 ((23 . 5) (24 . 6) (25 . 7) (27 . 8)) 5914 0.2462 9.6480 ((22 . 2) (23 . 5) (24 . 6) (27 . 7)) 5922 0.4984 10.7055 ((22 . 9) (23 . 10) (24 . 11) (25 . 13)) 5930 0.4997 7.2636 ((23 . 2) (25 . 4) (27 . 5) (28 . 6)) 5939 0.4996 7.4363 ((22 . 6) (24 . 8) (25 . 9) (28 . 13)) 5945 0.4998 6.6391 ((21 . 2) (22 . 3) (27 . 6) (29 . 9)) 5949 0.2910 7.7864 ((22 . 9) (24 . 12) (25 . 14) (27 . 15)) 5955 0.4990 9.6964 ((24 . 16) (25 . 17) (27 . 18) (28 . 19)) 6011 0.4993 8.6144 ((21 . 4) (23 . 7) (24 . 8) (25 . 9)) 6022 0.4993 8.6474 ((22 . 2) (24 . 4) (25 . 5) (29 . 9)) 6029 0.4998 6.5606 ((23 . 17) (24 . 18) (25 . 19) (27 . 20)) 6041 0.4996 7.7066 ((22 . 10) (24 . 12) (25 . 13) (29 . 15)) 6046 0.3670 6.8017 ((24 . 2) (25 . 3) (27 . 1) (29 . 6)) 6061 0.4203 7.5407 ((21 . 15) (24 . 17) (25 . 20) (28 . 22)) 6074 0.4993 8.6611 ((23 . 4) (25 . 6) (27 . 7) (29 . 11)) 6075 0.4988 10.1237 ((25 . 20) (27 . 22) (28 . 23) (29 . 24)) 6079 0.1987 11.3010 ((24 . 6) (25 . 7) (28 . 10) (29 . 11)) 6089 0.4199 10.3742 ((21 . 5) (25 . 12) (27 . 13) (28 . 15)) 6094 0.4202 8.5705 ((24 . 2) (25 . 3) (28 . 6) (29 . 7)) 6099 0.6228 8.7957 ((22 . 9) (23 . 10) (24 . 11) (25 . 13) (27 . 15)) 6123 0.4992 9.1244 ((23 . 3) (24 . 4) (25 . 5) (27 . 7)) 6142 0.4997 7.1271 ((22 . 3) (23 . 4) (24 . 5) (25 . 6)) 6167 0.2909 9.5679 ((23 . 17) (24 . 20) (25 . 21) (27 . 22)) 6173 0.4997 7.0857 ((22 . 3) (23 . 4) (24 . 5) (29 . 12)) 6191 0.4988 9.9389 ((24 . 3) (25 . 4) (27 . 5) (29 . 9)) 6192 0.4992 9.1372 ((23 . 1) (25 . 3) (27 . 4) (29 . 5)) 6215 0.8496 5.6516 ((22 . 17) (23 . 18) (24 . 19) (25 . 20) (27 . 22) (28 . 23) (29 . 24)) 6225 0.2909 9.0483 ((21 . 8) (24 . 10) (27 . 11) (29 . 13)) 6228 0.4997 6.9481 ((22 . 9) (24 . 11) (25 . 12) (29 . 15)) 6234 0.4994 8.3632 ((22 . 6) (24 . 9) (25 . 10) (29 . 15)) 6238 0.4998 6.5169 ((22 . 3) (23 . 4) (24 . 5) (29 . 9)) 6243 0.4979 11.5207 ((22 . 2) (23 . 3) (25 . 6) (29 . 10)) 6251 0.4992 9.1842 ((23 . 8) (25 . 10) (27 . 11) (29 . 15)) 6258 0.4997 7.2680 ((23 . 9) (25 . 10) (27 . 11) (29 . 13)) 6261 0.4982 11.1413 ((24 . 21) (25 . 22) (27 . 23) (28 . 24)) 6266 0.1987 11.7634 ((23 . 5) (25 . 6) (28 . 9) (29 . 10)) 6270 0.6243 6.5730 ((22 . 15) (24 . 17) (25 . 18) (27 . 19) (29 . 20)) 6271 0.4998 6.2652 ((21 . 3) (22 . 4) (24 . 7) (25 . 8)) 6273 0.4992 8.9739 ((24 . 1) (25 . 2) (27 . 5) (29 . 6)) 6294 0.4499 14.5386 ((21 . 6) (24 . 9) (27 . 12) (29 . 14)) 6306 0.4998 6.0530 ((22 . 15) (23 . 16) (25 . 17) (27 . 18)) 6309 0.4986 10.4967 ((22 . 17) (23 . 18) (24 . 20) (29 . 25)) 6326 0.4950 14.3654 ((21 . 6) (23 . 9) (24 . 10) (29 . 13)) 6338 0.4999 5.1918 ((22 . 2) (23 . 4) (24 . 5) (25 . 7)) 6344 0.4998 6.0699 ((22 . 7) (23 . 8) (27 . 10) (28 . 11)) 6345 0.1497 9.1826 ((22 . 4) (24 . 7) (27 . 8) (28 . 9)) 6355 0.2907 14.1898 ((21 . 11) (22 . 12) (25 . 15) (27 . 16)) 6356 0.4989 9.9096 ((23 . 4) (25 . 6) (27 . 8) (29 . 11)) 6369 0.4995 7.8781 ((23 . 20) (25 . 22) (27 . 23) (29 . 26)) 6376 0.5500 10.8516 ((23 . 17) (25 . 19) (27 . 20) (28 . 23) (29 . 24)) 6399 0.4999 4.7647 ((22 . 28) (23 . 29) (24 . 30) (25 . 31)) 6403 0.4998 6.1970 ((22 . 13) (23 . 14) (24 . 15) (28 . 18)) 6434 0.2462 8.7711 ((22 . 3) (24 . 5) (27 . 6) (28 . 7)) 6462 0.4998 6.6721 ((22 . 20) (24 . 22) (25 . 24) (28 . 26)) 6498 0.4999 4.9994 ((23 . 1) (24 . 2) (25 . 3) (27 . 5)) 6520 0.4996 7.6904 ((22 . 13) (23 . 14) (24 . 15) (25 . 16)) 6540 0.6234 8.1875 ((22 . 17) (23 . 18) (24 . 19) (25 . 20) (29 . 22)) 6548 0.4198 10.6907 ((22 . 5) (24 . 7) (27 . 10) (29 . 12)) 6553 0.4995 8.0783 ((23 . 15) (25 . 17) (27 . 19) (29 . 22)) 6555 0.4994 8.3111 ((22 . 17) (23 . 19) (24 . 20) (29 . 24)) 6561 0.4204 6.4025 ((21 . 8) (22 . 9) (23 . 10) (27 . 11)) 6573 0.1497 8.6559 ((23 . 21) (24 . 22) (25 . 23) (29 . 25)) 6584 0.2910 6.7163 ((21 . 3) (23 . 6) (24 . 7) (25 . 8)) 6585 0.4996 7.6483 ((22 . 8) (24 . 10) (25 . 11) (29 . 14)) 6587 0.4996 7.7446 ((22 . 31) (24 . 33) (25 . 34) (27 . 35)) 6598 0.4998 6.7006 ((22 . 27) (23 . 28) (24 . 29) (25 . 30)) 6635 0.1987 11.1847 ((24 . 1) (27 . 3) (28 . 6) (29 . 7)) END