1124 25 0.4994 8.5657 ((9 . 2) (11 . 5) (15 . 10) (16 . 12)) 77 0.4990 9.6957 ((9 . 10) (10 . 12) (11 . 16) (13 . 17)) 91 0.4988 9.9450 ((8 . 20) (9 . 22) (11 . 27) (14 . 30)) 136 0.2460 15.6331 ((11 . 2) (13 . 4) (15 . 6) (16 . 9)) 147 0.1497 14.1228 ((8 . 1) (10 . 2) (11 . 3) (15 . 7)) 157 0.1662 9.7171 ((10 . 12) (13 . 17) (15 . 21) (16 . 22)) 207 0.3665 12.3086 ((8 . 6) (10 . 10) (11 . 12) (13 . 14)) 259 0.4987 10.2250 ((11 . 5) (13 . 6) (15 . 7) (16 . 8)) 293 0.4989 9.7422 ((8 . 1) (9 . 2) (10 . 3) (11 . 4)) 307 0.2461 13.1749 ((11 . 2) (13 . 6) (15 . 8) (16 . 10)) 317 0.4993 8.6719 ((8 . 7) (9 . 8) (10 . 9) (11 . 10)) 329 0.4198 10.4647 ((10 . 1) (11 . 3) (15 . 7) (16 . 8)) 351 0.4997 7.0869 ((8 . 1) (10 . 4) (11 . 5) (14 . 7)) 361 0.3668 10.6673 ((8 . 5) (10 . 6) (11 . 9) (15 . 13)) 472 0.4199 10.4162 ((10 . 23) (11 . 24) (13 . 28) (14 . 29)) 495 0.2908 11.9046 ((8 . 4) (9 . 6) (11 . 10) (13 . 12)) 553 0.6119 13.9577 ((8 . 7) (9 . 9) (10 . 10) (11 . 14) (16 . 20)) 609 0.2908 12.4160 ((9 . 2) (10 . 4) (11 . 5) (13 . 7)) 624 0.4934 15.4498 ((9 . 19) (10 . 21) (11 . 23) (15 . 25)) 635 0.1661 12.2555 ((10 . 7) (11 . 11) (13 . 12) (16 . 17)) 678 0.4997 6.8921 ((8 . 27) (10 . 33) (15 . 36) (16 . 38)) 782 0.4988 10.0151 ((9 . 3) (10 . 4) (11 . 6) (15 . 10)) 792 0.6247 5.1413 ((9 . 8) (10 . 10) (11 . 11) (13 . 13) (16 . 20)) 834 0.4989 9.8373 ((8 . 36) (10 . 39) (13 . 43) (14 . 44)) 901 0.4978 11.6567 ((9 . 10) (10 . 11) (11 . 14) (15 . 18)) 945 0.2462 12.1313 ((11 . 20) (13 . 21) (15 . 23) (16 . 24)) 960 0.4955 14.0221 ((9 . 25) (10 . 26) (15 . 31) (16 . 32)) 978 0.4993 8.8171 ((9 . 8) (10 . 11) (11 . 12) (14 . 15)) 1007 0.3668 10.4746 ((9 . 1) (10 . 2) (11 . 5) (13 . 6)) 1034 0.1987 10.4204 ((10 . 23) (11 . 24) (15 . 27) (16 . 31)) 1043 0.4997 7.1844 ((8 . 5) (10 . 7) (15 . 15) (16 . 16)) 1082 0.4999 5.6294 ((9 . 11) (11 . 14) (13 . 17) (14 . 18)) 1084 0.4989 9.7024 ((8 . 4) (9 . 5) (10 . 6) (13 . 15)) 1124 1.0000 0.0000 ((8 . 8) (9 . 9) (10 . 10) (11 . 11) (13 . 13) (14 . 14) (15 . 15) (16 . 16)) 1165 0.4995 8.0734 ((9 . 13) (10 . 14) (11 . 16) (16 . 20)) 1167 0.4994 8.2817 ((9 . 19) (13 . 24) (14 . 25) (15 . 26)) 1201 0.3654 16.2146 ((11 . 5) (13 . 8) (15 . 10) (16 . 13)) 1204 0.4986 10.4944 ((8 . 21) (10 . 26) (15 . 32) (16 . 33)) 1210 0.4991 9.3486 ((8 . 4) (9 . 5) (10 . 6) (11 . 7)) 1267 0.4992 9.1943 ((8 . 7) (9 . 8) (11 . 14) (14 . 16)) 1268 0.4982 11.1780 ((8 . 19) (9 . 20) (10 . 21) (15 . 28)) 1301 0.4200 9.7700 ((11 . 2) (13 . 3) (15 . 6) (16 . 7)) 1345 0.2462 10.0065 ((8 . 6) (10 . 8) (13 . 11) (16 . 17)) 1388 0.3665 12.5672 ((10 . 3) (13 . 6) (14 . 7) (16 . 10)) 1395 0.4197 10.8980 ((10 . 1) (11 . 2) (13 . 3) (15 . 4)) 1415 0.3664 12.6647 ((13 . 1) (14 . 2) (15 . 3) (16 . 4)) 1447 0.4990 9.6658 ((9 . 2) (13 . 6) (14 . 8) (15 . 10)) 1470 0.4999 5.7022 ((8 . 4) (9 . 14) (10 . 15) (11 . 16)) 1472 0.4984 10.7483 ((9 . 9) (11 . 11) (13 . 12) (15 . 13)) 1476 0.3668 10.5926 ((10 . 13) (11 . 16) (13 . 17) (14 . 19)) 1497 0.4987 10.2327 ((8 . 19) (10 . 22) (11 . 24) (13 . 25)) 1591 0.1987 7.5923 ((8 . 10) (10 . 12) (15 . 17) (16 . 18)) 1604 0.3669 8.9035 ((8 . 9) (10 . 11) (11 . 13) (15 . 16)) 1690 0.4994 8.2572 ((8 . 26) (9 . 27) (10 . 28) (11 . 29)) 1724 0.4994 8.3956 ((9 . 1) (10 . 4) (11 . 5) (15 . 8)) 1736 0.4984 10.7257 ((8 . 6) (9 . 8) (10 . 9) (11 . 11)) 1738 0.1987 11.9646 ((10 . 10) (13 . 15) (14 . 16) (16 . 20)) 1761 0.4976 11.9198 ((8 . 8) (9 . 10) (11 . 14) (14 . 18)) 1763 0.4989 9.7020 ((8 . 2) (10 . 4) (15 . 11) (16 . 12)) 1778 0.2907 13.6477 ((10 . 6) (14 . 10) (15 . 11) (16 . 13)) 1793 0.1497 10.6086 ((8 . 7) (9 . 9) (14 . 15) (15 . 16)) 1796 0.4988 10.1000 ((11 . 4) (13 . 5) (15 . 6) (16 . 7)) 1896 0.4992 8.9538 ((8 . 2) (9 . 4) (13 . 10) (16 . 13)) 1897 0.4989 9.7573 ((10 . 38) (13 . 44) (14 . 45) (15 . 48)) 1908 0.3668 10.6249 ((8 . 5) (11 . 8) (13 . 9) (16 . 16)) 1909 0.4996 7.6873 ((9 . 26) (11 . 30) (13 . 32) (14 . 33)) 1944 0.4976 11.9914 ((8 . 6) (9 . 8) (11 . 12) (16 . 20)) 1957 0.4979 11.5333 ((8 . 10) (9 . 12) (14 . 18) (16 . 20)) 1987 0.8746 3.8658 ((8 . 8) (9 . 9) (10 . 10) (11 . 11) (13 . 13) (14 . 14) (15 . 15)) 1992 0.4995 8.0592 ((11 . 5) (13 . 8) (14 . 10) (16 . 13)) 2048 0.4991 9.2968 ((8 . 2) (9 . 3) (13 . 10) (14 . 12)) 2054 0.2909 9.9063 ((8 . 7) (9 . 9) (11 . 15) (13 . 16)) 2081 0.3663 13.5251 ((8 . 11) (10 . 13) (11 . 15) (13 . 16)) 2094 0.1661 11.2346 ((10 . 1) (11 . 2) (13 . 3) (14 . 4)) 2114 0.4960 13.5953 ((9 . 30) (10 . 33) (11 . 37) (14 . 39)) 2117 0.4982 11.0639 ((8 . 13) (9 . 19) (10 . 21) (13 . 26)) 2118 0.3665 12.3920 ((9 . 2) (11 . 6) (14 . 8) (15 . 9)) 2122 0.4977 11.8604 ((8 . 7) (11 . 11) (13 . 13) (16 . 19)) 2179 0.4997 7.1059 ((10 . 12) (13 . 16) (14 . 18) (16 . 19)) 2233 0.4990 9.4889 ((11 . 6) (13 . 7) (15 . 8) (16 . 9)) 2248 0.2462 12.0000 ((10 . 17) (11 . 20) (15 . 23) (16 . 26)) 2249 0.3668 10.4199 ((8 . 3) (10 . 8) (11 . 10) (16 . 14)) 2269 0.2909 10.6167 ((8 . 1) (10 . 2) (15 . 9) (16 . 11)) 2295 0.1987 12.9227 ((9 . 3) (10 . 4) (11 . 6) (15 . 7)) 2298 0.4987 10.1472 ((10 . 2) (11 . 5) (14 . 7) (15 . 9)) 2342 0.7482 6.7015 ((9 . 5) (10 . 6) (11 . 7) (13 . 8) (14 . 9) (16 . 13)) 2344 0.4999 5.5302 ((9 . 8) (10 . 9) (11 . 15) (14 . 17)) 2364 0.3668 10.0116 ((9 . 6) (10 . 8) (11 . 10) (13 . 11)) 2443 0.4995 7.8550 ((8 . 6) (9 . 7) (11 . 9) (13 . 10)) 2447 0.3669 9.8668 ((8 . 32) (10 . 34) (11 . 35) (15 . 39)) 2465 0.4197 11.1648 ((10 . 3) (11 . 5) (15 . 7) (16 . 8)) 2510 0.2909 9.0214 ((8 . 18) (9 . 22) (11 . 26) (13 . 28)) 2525 0.4967 12.9770 ((8 . 37) (10 . 39) (13 . 44) (15 . 46)) 2533 0.1987 10.7286 ((8 . 5) (10 . 7) (15 . 16) (16 . 17)) 2544 0.4999 5.4587 ((11 . 18) (13 . 20) (14 . 21) (15 . 24)) 2557 0.2462 12.3113 ((10 . 1) (11 . 4) (13 . 5) (15 . 8)) 2591 0.3660 14.5621 ((10 . 34) (11 . 36) (13 . 37) (15 . 38)) 2627 0.4999 5.4713 ((8 . 54) (9 . 55) (10 . 56) (11 . 57)) 2634 0.4993 8.8245 ((8 . 1) (9 . 2) (10 . 3) (11 . 5)) 2658 0.4200 9.6419 ((10 . 4) (13 . 7) (14 . 6) (16 . 9)) 2703 0.2909 11.1397 ((8 . 1) (9 . 2) (11 . 5) (13 . 6)) 2753 0.4993 8.6779 ((8 . 1) (9 . 2) (10 . 3) (11 . 6)) 2804 0.3669 9.4461 ((9 . 26) (10 . 27) (13 . 35) (16 . 37)) 2821 0.4971 12.5234 ((10 . 6) (11 . 10) (15 . 12) (16 . 14)) 2834 0.4911 16.7063 ((9 . 2) (11 . 7) (15 . 10) (16 . 11)) 2842 0.4992 8.9765 ((10 . 3) (11 . 6) (13 . 7) (15 . 8)) 2950 0.4989 9.8897 ((8 . 7) (10 . 8) (13 . 12) (15 . 13)) 2990 0.4991 9.3460 ((9 . 10) (11 . 13) (15 . 17) (16 . 18)) 3014 0.4996 7.4581 ((9 . 14) (10 . 15) (13 . 17) (15 . 18)) 3019 0.2462 9.3756 ((9 . 8) (11 . 12) (13 . 13) (15 . 15)) 3034 0.4994 8.4011 ((10 . 6) (13 . 8) (15 . 13) (16 . 15)) 3041 0.4991 9.2182 ((8 . 13) (11 . 17) (13 . 19) (14 . 20)) 3070 0.1332 7.5436 ((9 . 30) (10 . 31) (11 . 34) (13 . 37)) 3190 0.4984 10.8331 ((9 . 2) (10 . 4) (14 . 10) (15 . 12)) 3197 0.4986 10.4325 ((10 . 20) (11 . 22) (13 . 23) (15 . 25)) 3202 0.4972 12.4524 ((11 . 3) (13 . 4) (15 . 5) (16 . 6)) 3212 0.4946 14.6887 ((10 . 1) (13 . 7) (14 . 6) (16 . 10)) 3300 0.3668 10.3695 ((11 . 9) (13 . 10) (15 . 11) (16 . 12)) 3322 0.4982 11.1183 ((8 . 4) (9 . 6) (10 . 8) (11 . 10)) 3362 0.4983 10.9664 ((8 . 3) (9 . 5) (10 . 7) (14 . 12)) 3391 0.3668 10.3639 ((8 . 5) (10 . 7) (15 . 15) (16 . 16)) 3415 0.4997 7.3445 ((8 . 21) (9 . 22) (10 . 23) (11 . 24)) 3446 0.4987 10.3108 ((8 . 3) (9 . 4) (15 . 10) (16 . 11)) 3470 0.4989 9.8628 ((11 . 15) (13 . 16) (15 . 17) (16 . 18)) 3495 0.4992 9.0343 ((8 . 5) (9 . 6) (10 . 9) (11 . 10)) 3496 0.1987 13.7362 ((8 . 20) (9 . 21) (14 . 26) (15 . 27)) 3561 0.4984 10.8035 ((8 . 23) (9 . 25) (10 . 27) (11 . 29)) 3585 0.4196 11.3682 ((10 . 15) (11 . 17) (14 . 19) (15 . 21)) 3613 0.6230 8.6153 ((8 . 28) (10 . 30) (11 . 31) (13 . 32) (14 . 38)) 3628 0.1987 12.5750 ((8 . 7) (11 . 11) (13 . 13) (16 . 16)) 3651 0.3668 10.8065 ((8 . 4) (11 . 10) (15 . 15) (16 . 19)) 3658 0.4979 11.5857 ((8 . 14) (9 . 15) (10 . 16) (11 . 19)) 3661 0.4999 5.8157 ((8 . 6) (9 . 9) (10 . 10) (13 . 14)) 3663 0.1497 9.8251 ((11 . 3) (13 . 4) (14 . 6) (16 . 7)) 3732 0.4194 12.1794 ((10 . 4) (11 . 6) (14 . 8) (16 . 10)) 3733 0.3667 11.1600 ((11 . 2) (13 . 5) (15 . 7) (16 . 9)) 3787 0.4994 8.5488 ((9 . 8) (10 . 10) (11 . 11) (13 . 14)) 3817 0.4995 8.0793 ((8 . 12) (9 . 13) (10 . 14) (13 . 17)) 3829 0.4983 10.9792 ((9 . 3) (10 . 4) (11 . 7) (15 . 11)) 3830 0.2909 10.4895 ((13 . 2) (14 . 3) (15 . 4) (16 . 5)) 3831 0.3668 10.3209 ((8 . 1) (10 . 4) (11 . 7) (15 . 11)) 3853 0.4202 7.9842 ((10 . 11) (13 . 16) (15 . 19) (16 . 20)) 3938 0.3670 7.3911 ((8 . 1) (9 . 3) (13 . 12) (15 . 16)) 3968 0.1987 10.9243 ((10 . 2) (13 . 4) (15 . 7) (16 . 8)) 4009 0.4987 10.1568 ((8 . 8) (9 . 10) (11 . 16) (13 . 17)) 4011 0.4980 11.3508 ((8 . 1) (10 . 2) (11 . 5) (14 . 6)) 4030 0.4998 6.6857 ((8 . 15) (9 . 16) (10 . 17) (11 . 19)) 4034 0.2908 12.3887 ((8 . 1) (10 . 3) (11 . 7) (14 . 8)) 4037 0.3668 10.0271 ((10 . 4) (11 . 5) (13 . 6) (14 . 7)) 4062 0.2909 9.1599 ((8 . 40) (9 . 44) (15 . 52) (16 . 53)) 4067 0.2909 10.1827 ((8 . 11) (13 . 17) (14 . 19) (16 . 21)) 4077 0.6219 9.6020 ((8 . 4) (9 . 5) (10 . 6) (11 . 9) (15 . 12)) 4082 0.2461 14.0723 ((10 . 1) (11 . 3) (13 . 4) (16 . 9)) 4115 0.4198 10.8709 ((9 . 12) (13 . 16) (14 . 18) (15 . 20)) 4134 0.4995 8.0565 ((9 . 25) (10 . 26) (11 . 27) (13 . 28)) 4151 0.1987 7.1416 ((8 . 4) (10 . 8) (15 . 14) (16 . 16)) 4190 0.1986 17.6296 ((11 . 2) (13 . 4) (15 . 6) (16 . 7)) 4195 0.4999 5.1631 ((9 . 2) (10 . 3) (11 . 4) (13 . 5)) 4216 0.4996 7.4062 ((10 . 10) (11 . 13) (13 . 14) (15 . 15)) 4226 0.3668 10.1305 ((9 . 2) (11 . 5) (14 . 10) (16 . 13)) 4242 0.2909 9.0046 ((10 . 1) (11 . 3) (14 . 5) (15 . 6)) 4254 0.4987 10.2869 ((10 . 7) (11 . 10) (13 . 12) (16 . 16)) 4261 0.6250 2.3093 ((8 . 11) (9 . 12) (10 . 14) (11 . 15) (13 . 17)) 4265 0.4985 10.6634 ((10 . 22) (13 . 25) (14 . 27) (16 . 30)) 4266 0.4963 13.3091 ((8 . 7) (11 . 14) (13 . 17) (15 . 18)) 4281 0.1987 9.2302 ((11 . 6) (13 . 7) (15 . 9) (16 . 11)) 4326 0.1987 10.6283 ((10 . 5) (11 . 8) (15 . 14) (16 . 16)) 4352 0.4997 6.9391 ((8 . 1) (9 . 2) (10 . 4) (13 . 7)) 4386 0.4504 13.9508 ((10 . 11) (11 . 13) (13 . 15) (15 . 17)) 4408 0.4968 12.8202 ((8 . 10) (10 . 19) (13 . 22) (15 . 24)) 4470 0.4994 8.4559 ((9 . 15) (11 . 17) (15 . 22) (16 . 23)) 4492 0.3666 11.7264 ((8 . 9) (10 . 12) (11 . 14) (16 . 22)) 4495 0.3664 13.0255 ((10 . 5) (11 . 7) (14 . 9) (16 . 12)) 4504 0.2461 12.7251 ((8 . 1) (10 . 2) (13 . 10) (16 . 12)) 4516 0.2462 10.1152 ((10 . 3) (11 . 5) (13 . 7) (15 . 9)) 4538 0.4196 11.2637 ((9 . 27) (10 . 29) (13 . 36) (15 . 39)) 4563 0.4998 6.5195 ((8 . 30) (9 . 32) (10 . 33) (14 . 37)) 4579 0.4994 8.4569 ((9 . 6) (10 . 7) (11 . 11) (16 . 16)) 4607 0.4989 9.7711 ((9 . 22) (10 . 23) (11 . 28) (15 . 29)) 4621 0.1987 10.8351 ((10 . 1) (11 . 2) (13 . 5) (16 . 10)) 4669 0.1987 11.3387 ((9 . 16) (10 . 18) (14 . 22) (15 . 23)) 4671 0.1987 14.1945 ((8 . 5) (10 . 9) (11 . 10) (16 . 16)) 4678 0.1987 6.6422 ((11 . 3) (13 . 5) (15 . 7) (16 . 8)) 4699 0.6248 4.9993 ((8 . 8) (10 . 10) (11 . 11) (13 . 12) (14 . 13)) 4715 0.4992 9.0820 ((8 . 2) (14 . 11) (15 . 13) (16 . 14)) 4716 0.4991 9.2860 ((9 . 4) (10 . 5) (13 . 9) (14 . 10)) 4731 0.4200 9.7193 ((9 . 12) (11 . 16) (13 . 17) (16 . 20)) 4764 0.4191 12.7779 ((10 . 1) (11 . 2) (13 . 4) (14 . 5)) 4783 0.4965 13.1556 ((8 . 3) (10 . 6) (11 . 7) (15 . 10)) 4817 0.6246 5.8818 ((9 . 6) (10 . 7) (11 . 9) (13 . 11) (14 . 12)) 4886 0.2907 14.2963 ((8 . 3) (9 . 6) (11 . 8) (15 . 13)) 4888 0.4979 11.5097 ((10 . 18) (11 . 19) (14 . 23) (15 . 24)) 4889 0.4991 9.3537 ((10 . 19) (11 . 21) (13 . 23) (14 . 24)) 4961 0.4982 11.0626 ((8 . 8) (9 . 11) (11 . 16) (13 . 18)) 4963 0.4989 9.8583 ((9 . 2) (10 . 3) (15 . 8) (16 . 9)) 4978 0.4980 11.3710 ((8 . 26) (10 . 27) (11 . 29) (14 . 31)) 4982 0.2907 13.2977 ((10 . 11) (11 . 13) (13 . 15) (15 . 19)) 4998 0.4173 15.8703 ((10 . 16) (11 . 17) (13 . 21) (15 . 24)) 5000 0.4997 6.8828 ((8 . 33) (9 . 34) (10 . 35) (11 . 36)) 5016 0.4997 7.1330 ((8 . 5) (10 . 6) (11 . 8) (14 . 10)) 5039 0.4986 10.4559 ((10 . 35) (11 . 36) (14 . 38) (15 . 40)) 5053 0.3666 11.6461 ((8 . 7) (11 . 13) (13 . 14) (16 . 17)) 5068 0.2908 12.4354 ((8 . 19) (10 . 25) (11 . 26) (13 . 27)) 5073 0.4529 7.9864 ((11 . 33) (13 . 35) (14 . 37) (16 . 40)) 5080 0.4995 7.9455 ((8 . 6) (9 . 7) (10 . 8) (13 . 14)) 5092 0.4982 11.1514 ((8 . 1) (9 . 2) (10 . 4) (15 . 9)) 5101 0.4524 10.0585 ((10 . 17) (11 . 19) (13 . 20) (15 . 24)) 5103 0.4982 11.1158 ((8 . 8) (10 . 11) (11 . 12) (15 . 14)) 5132 0.4993 8.7763 ((8 . 19) (9 . 21) (11 . 24) (14 . 27)) 5134 0.4994 8.5463 ((8 . 1) (10 . 5) (15 . 11) (16 . 12)) 5145 0.1987 10.9960 ((10 . 4) (11 . 7) (13 . 9) (15 . 11)) 5192 0.4996 7.8292 ((8 . 4) (10 . 6) (15 . 13) (16 . 15)) 5212 0.4997 7.0933 ((9 . 14) (10 . 15) (13 . 17) (15 . 18)) 5223 0.4963 13.3389 ((10 . 11) (11 . 13) (15 . 18) (16 . 19)) 5266 0.2909 10.3511 ((9 . 9) (10 . 11) (11 . 12) (15 . 16)) 5285 0.4527 8.7154 ((10 . 1) (11 . 2) (13 . 4) (15 . 6)) 5318 0.4986 10.3769 ((11 . 14) (13 . 16) (15 . 17) (16 . 20)) 5323 0.4997 7.0089 ((13 . 13) (14 . 14) (15 . 15) (16 . 16)) 5442 0.4994 8.5838 ((9 . 36) (10 . 37) (11 . 39) (13 . 40)) 5487 0.3666 11.6412 ((9 . 1) (11 . 8) (14 . 10) (16 . 12)) 5501 0.4996 7.6730 ((8 . 26) (9 . 28) (10 . 29) (11 . 32)) 5525 0.4202 8.1691 ((9 . 3) (13 . 10) (15 . 11) (16 . 12)) 5560 0.4983 10.9054 ((8 . 3) (11 . 7) (13 . 8) (14 . 10)) 5562 0.4987 10.2148 ((8 . 5) (10 . 9) (13 . 13) (14 . 15)) 5594 0.3670 6.8438 ((9 . 2) (11 . 5) (13 . 7) (14 . 8)) 5648 0.4999 4.5417 ((8 . 5) (9 . 6) (10 . 7) (11 . 8)) 5656 0.4993 8.7242 ((9 . 15) (11 . 20) (15 . 25) (16 . 26)) 5689 0.4997 6.9636 ((8 . 9) (9 . 10) (10 . 11) (13 . 14)) 5702 0.4981 11.3187 ((8 . 8) (10 . 10) (11 . 12) (15 . 14)) 5746 0.4961 13.5349 ((8 . 1) (10 . 4) (11 . 5) (15 . 12)) 5770 0.4993 8.7146 ((8 . 10) (11 . 19) (13 . 21) (15 . 22)) 5771 0.4172 15.9952 ((10 . 2) (11 . 6) (13 . 7) (14 . 8)) 5782 0.4987 10.1880 ((9 . 28) (11 . 33) (15 . 36) (16 . 38)) 5795 0.3661 13.9530 ((8 . 5) (10 . 7) (13 . 12) (15 . 14)) 5809 0.3665 12.6284 ((10 . 4) (11 . 6) (15 . 10) (16 . 11)) 5827 0.1987 6.1062 ((8 . 12) (13 . 18) (15 . 20) (16 . 21)) 5904 0.4195 11.8743 ((11 . 3) (13 . 5) (14 . 6) (15 . 8)) 5913 0.2908 11.7892 ((11 . 8) (13 . 11) (14 . 12) (16 . 14)) 5939 0.4980 11.4518 ((10 . 5) (13 . 12) (15 . 13) (16 . 15)) 5945 0.4511 13.0281 ((8 . 22) (13 . 30) (14 . 31) (16 . 34)) 5949 0.4989 9.8078 ((9 . 15) (11 . 19) (13 . 20) (14 . 21)) 5955 0.4994 8.3418 ((9 . 10) (11 . 13) (15 . 18) (16 . 19)) 5967 0.4993 8.8052 ((10 . 2) (13 . 6) (14 . 8) (15 . 10)) 6000 0.4194 12.0007 ((11 . 3) (13 . 5) (15 . 6) (16 . 7)) 6029 0.4978 11.6892 ((8 . 32) (10 . 36) (11 . 38) (13 . 39)) 6033 0.6248 5.0543 ((9 . 2) (10 . 3) (11 . 4) (13 . 6) (14 . 7)) 6079 0.4201 9.0215 ((11 . 10) (14 . 12) (15 . 14) (16 . 15)) 6087 0.3659 14.7242 ((8 . 2) (11 . 7) (13 . 9) (15 . 11)) 6089 0.2909 9.1379 ((8 . 2) (10 . 4) (11 . 6) (16 . 15)) 6169 0.4981 11.3158 ((8 . 8) (9 . 9) (10 . 10) (13 . 12)) 6192 0.4975 12.0704 ((8 . 4) (10 . 7) (13 . 12) (15 . 15)) 6228 0.4969 12.7866 ((9 . 8) (10 . 10) (15 . 17) (16 . 18)) 6243 0.4974 12.1495 ((8 . 7) (9 . 9) (10 . 11) (13 . 13)) 6261 0.4993 8.7811 ((10 . 10) (11 . 14) (13 . 15) (14 . 17)) 6266 0.4975 12.1187 ((8 . 1) (9 . 2) (14 . 9) (15 . 12)) 6268 0.4995 7.9953 ((9 . 8) (10 . 9) (13 . 13) (14 . 14)) 6294 0.4978 11.7008 ((8 . 12) (9 . 15) (11 . 21) (14 . 24)) 6329 0.4993 8.6058 ((8 . 6) (13 . 11) (15 . 13) (16 . 15)) 6344 0.4984 10.8182 ((9 . 2) (10 . 5) (15 . 9) (16 . 10)) 6348 0.4991 9.2745 ((8 . 2) (10 . 5) (13 . 8) (16 . 13)) 6356 0.4985 10.6640 ((8 . 12) (9 . 14) (10 . 16) (11 . 17)) 6359 0.4995 7.8451 ((9 . 1) (10 . 2) (11 . 4) (16 . 8)) 6369 0.4994 8.4398 ((10 . 21) (11 . 23) (14 . 25) (16 . 27)) 6384 0.4980 11.3663 ((8 . 1) (11 . 5) (13 . 6) (15 . 7)) 6391 0.4193 12.2552 ((8 . 2) (9 . 4) (13 . 7) (15 . 9)) 6392 0.4985 10.6593 ((9 . 2) (11 . 6) (14 . 8) (16 . 10)) 6434 0.2462 10.4503 ((8 . 1) (14 . 7) (15 . 8) (16 . 9)) 6462 0.4987 10.2868 ((8 . 15) (9 . 17) (11 . 19) (13 . 21)) 6498 0.4985 10.5783 ((9 . 18) (14 . 26) (15 . 27) (16 . 28)) 6506 0.4986 10.5062 ((8 . 16) (9 . 17) (10 . 18) (14 . 22)) 6520 0.4987 10.2789 ((8 . 11) (11 . 18) (15 . 22) (16 . 23)) 6536 0.4999 4.5802 ((9 . 27) (10 . 28) (11 . 29) (13 . 30)) 6548 0.4927 15.8808 ((10 . 4) (11 . 6) (15 . 10) (16 . 14)) 6578 0.4963 13.3382 ((9 . 33) (10 . 36) (11 . 39) (14 . 41)) 6585 0.4988 9.9494 ((8 . 3) (9 . 4) (11 . 7) (16 . 12)) 6586 0.2462 10.4316 ((10 . 16) (11 . 17) (13 . 19) (16 . 23)) 6605 0.2910 6.6361 ((13 . 1) (14 . 2) (15 . 3) (16 . 4)) 6613 0.1987 11.4364 ((8 . 15) (10 . 19) (11 . 23) (15 . 25)) 6622 0.4995 7.8776 ((9 . 2) (10 . 4) (15 . 10) (16 . 11)) 6635 0.2910 8.6468 ((11 . 2) (13 . 3) (14 . 6) (16 . 9)) END