4134 25 0.3995 10.8111 ((25 . 2) (31 . 9) (32 . 10) (33 . 12)) 77 0.3668 10.0238 ((25 . 10) (26 . 12) (30 . 17) (31 . 16)) 91 0.3997 9.1489 ((23 . 20) (26 . 22) (27 . 25) (28 . 30)) 147 0.3997 9.4393 ((23 . 5) (24 . 6) (25 . 8) (26 . 9)) 155 0.1654 9.4822 ((23 . 1) (26 . 5) (27 . 6) (28 . 7)) 157 0.3668 10.2543 ((25 . 2) (30 . 10) (31 . 12) (32 . 13)) 207 0.3820 10.1406 ((23 . 10) (24 . 11) (26 . 14) (27 . 16)) 259 0.3999 7.6686 ((23 . 1) (24 . 2) (25 . 5) (28 . 7)) 293 0.3361 10.6375 ((28 . 1) (30 . 2) (31 . 3) (33 . 5)) 300 0.3991 12.3301 ((24 . 4) (25 . 5) (30 . 11) (31 . 12)) 305 0.3994 11.0818 ((25 . 10) (27 . 14) (31 . 20) (33 . 25)) 307 0.3668 10.0459 ((24 . 2) (26 . 6) (27 . 8) (28 . 10)) 317 0.4975 12.0127 ((25 . 1) (26 . 2) (31 . 7) (32 . 9) (33 . 10)) 329 0.3820 10.2521 ((24 . 1) (25 . 3) (28 . 7) (31 . 8)) 351 0.3998 8.7526 ((25 . 1) (26 . 2) (30 . 5) (31 . 6)) 361 0.3999 6.1324 ((24 . 3) (31 . 5) (32 . 6) (33 . 7)) 433 0.2412 11.8868 ((23 . 2) (24 . 3) (25 . 4) (27 . 8)) 442 0.3993 11.5662 ((24 . 9) (30 . 15) (31 . 17) (32 . 18)) 472 0.3957 18.2910 ((24 . 23) (25 . 24) (28 . 29) (30 . 33)) 543 0.3358 13.4028 ((23 . 3) (25 . 9) (26 . 13) (27 . 14)) 553 0.3999 6.8010 ((23 . 1) (25 . 3) (26 . 4) (27 . 5)) 584 0.3997 9.7031 ((23 . 1) (25 . 2) (27 . 6) (32 . 12)) 609 0.3993 11.4303 ((25 . 2) (26 . 4) (27 . 5) (30 . 7)) 619 0.1969 16.8026 ((23 . 5) (25 . 10) (28 . 14) (31 . 17)) 624 0.3997 9.4863 ((25 . 6) (26 . 8) (30 . 12) (31 . 14)) 635 0.3989 12.9863 ((25 . 2) (28 . 7) (30 . 9) (31 . 11)) 672 0.3996 9.7346 ((26 . 2) (31 . 8) (32 . 9) (33 . 12)) 678 0.3997 9.7136 ((25 . 23) (31 . 30) (32 . 32) (33 . 36)) 729 0.3358 13.4804 ((23 . 3) (25 . 6) (26 . 8) (30 . 14)) 782 0.3663 13.4483 ((24 . 4) (26 . 7) (30 . 11) (31 . 12)) 792 0.3993 11.4584 ((26 . 10) (27 . 11) (28 . 13) (32 . 16)) 818 0.3670 8.1400 ((24 . 3) (25 . 5) (27 . 9) (28 . 11)) 834 0.3997 9.6577 ((25 . 34) (26 . 35) (30 . 40) (32 . 43)) 901 0.3995 10.3925 ((23 . 2) (26 . 6) (30 . 10) (32 . 14)) 943 0.1987 8.3346 ((24 . 3) (25 . 5) (26 . 7) (30 . 10) (32 . 13)) 945 0.3974 16.0751 ((25 . 13) (27 . 18) (30 . 21) (33 . 25)) 960 0.3996 9.8337 ((25 . 20) (27 . 24) (28 . 25) (32 . 30)) 978 0.3821 9.4564 ((26 . 5) (30 . 11) (31 . 12) (33 . 15)) 1005 0.3363 7.6940 ((30 . 3) (31 . 4) (32 . 5) (33 . 6)) 1034 0.3990 12.5972 ((24 . 23) (25 . 24) (28 . 27) (32 . 36)) 1043 0.3359 13.2282 ((24 . 5) (26 . 9) (31 . 15) (32 . 16)) 1082 0.3993 11.7073 ((25 . 17) (26 . 20) (28 . 21) (32 . 25)) 1124 0.3998 8.0565 ((25 . 9) (26 . 10) (27 . 11) (28 . 13)) 1165 0.3983 14.4684 ((24 . 5) (25 . 6) (26 . 9) (33 . 17)) 1201 0.3984 14.1486 ((24 . 5) (26 . 8) (28 . 13) (32 . 19)) 1204 0.3997 9.4648 ((25 . 21) (31 . 30) (32 . 32) (33 . 33)) 1210 0.3998 8.0342 ((25 . 1) (26 . 2) (27 . 3) (28 . 4)) 1224 0.3662 13.7105 ((23 . 1) (24 . 2) (31 . 11) (32 . 13)) 1267 0.3993 11.3827 ((24 . 5) (25 . 6) (26 . 8) (33 . 18)) 1268 0.3998 8.5621 ((24 . 12) (25 . 15) (26 . 16) (32 . 21)) 1301 0.3997 9.0651 ((24 . 2) (25 . 3) (26 . 6) (28 . 7)) 1345 0.3986 13.8668 ((25 . 8) (27 . 11) (31 . 15) (32 . 17)) 1388 0.3994 11.1301 ((24 . 2) (28 . 7) (30 . 10) (31 . 11)) 1415 0.3992 11.9749 ((25 . 1) (26 . 2) (28 . 5) (31 . 6)) 1447 0.3987 13.6347 ((23 . 4) (25 . 8) (26 . 10) (27 . 13)) 1470 0.3998 8.1984 ((25 . 14) (26 . 15) (27 . 16) (28 . 17)) 1472 0.3982 14.6272 ((25 . 1) (30 . 5) (31 . 9) (32 . 10)) 1476 0.3996 10.1677 ((25 . 10) (27 . 13) (30 . 17) (32 . 19)) 1497 0.4710 10.0439 ((23 . 11) (26 . 16) (27 . 17) (31 . 21) (32 . 23)) 1508 0.3999 6.4799 ((23 . 1) (24 . 3) (25 . 4) (26 . 6)) 1513 0.3668 10.4920 ((24 . 7) (25 . 9) (26 . 12) (28 . 14)) 1591 0.3998 8.3425 ((23 . 3) (25 . 5) (30 . 10) (32 . 12)) 1595 0.1970 9.3255 ((30 . 3) (31 . 4) (32 . 6) (33 . 9)) 1604 0.3997 9.3781 ((26 . 6) (31 . 13) (32 . 14) (33 . 16)) 1643 0.3651 16.8750 ((26 . 19) (27 . 21) (32 . 29) (33 . 35)) 1690 0.3670 8.0097 ((23 . 7) (25 . 12) (31 . 22) (32 . 23)) 1724 0.3996 9.8670 ((25 . 1) (26 . 3) (27 . 6) (28 . 7)) 1731 0.3985 13.9671 ((26 . 1) (30 . 5) (32 . 9) (33 . 10)) 1736 0.1970 11.0921 ((23 . 2) (26 . 6) (27 . 8) (28 . 9)) 1738 0.3987 13.6529 ((23 . 5) (25 . 10) (27 . 16) (32 . 25)) 1761 0.3659 14.7749 ((26 . 6) (28 . 8) (31 . 10) (33 . 14)) 1763 0.1970 9.0201 ((23 . 4) (24 . 6) (25 . 8) (27 . 12)) 1776 0.3356 14.8075 ((25 . 6) (27 . 11) (30 . 13) (33 . 21)) 1793 0.3999 6.0618 ((24 . 7) (31 . 15) (32 . 16) (33 . 18)) 1796 0.3998 8.6971 ((23 . 1) (24 . 2) (25 . 4) (28 . 6)) 1894 0.3984 14.3618 ((23 . 15) (24 . 16) (27 . 24) (31 . 30)) 1896 0.3820 10.6035 ((25 . 4) (28 . 10) (31 . 13) (32 . 15)) 1897 0.3970 16.7934 ((23 . 37) (24 . 38) (27 . 44) (30 . 48)) 1908 0.3983 14.5477 ((25 . 16) (28 . 20) (30 . 21) (31 . 22)) 1909 0.3992 11.7962 ((23 . 23) (24 . 24) (25 . 26) (28 . 32)) 1944 0.3985 14.0254 ((24 . 12) (25 . 14) (28 . 20) (32 . 25)) 1957 0.3363 8.4597 ((26 . 2) (28 . 4) (32 . 10) (33 . 12)) 1967 0.3996 9.9379 ((26 . 4) (28 . 6) (31 . 9) (32 . 12)) 1987 0.3998 8.5482 ((23 . 8) (24 . 10) (26 . 12) (27 . 13)) 2048 0.2412 11.0657 ((23 . 2) (26 . 5) (31 . 14) (32 . 15)) 2054 0.3661 14.2167 ((26 . 4) (30 . 9) (31 . 10) (33 . 16)) 2067 0.3989 12.8303 ((24 . 48) (25 . 49) (26 . 52) (33 . 64)) 2081 0.3989 12.9465 ((25 . 11) (26 . 13) (27 . 14) (28 . 15)) 2094 0.3668 10.0184 ((23 . 1) (26 . 4) (27 . 6) (28 . 7)) 2097 0.2800 10.5101 ((24 . 2) (28 . 10) (32 . 19) (33 . 20)) 2117 0.3988 13.3010 ((25 . 19) (26 . 21) (27 . 24) (28 . 26)) 2118 0.3994 11.2224 ((25 . 2) (31 . 8) (32 . 9) (33 . 10)) 2122 0.3998 8.0029 ((23 . 11) (26 . 19) (27 . 20) (28 . 21)) 2166 0.3644 18.1513 ((24 . 10) (27 . 14) (31 . 18) (32 . 22)) 2179 0.3662 13.7022 ((26 . 12) (30 . 16) (31 . 18) (32 . 21)) 2233 0.4822 7.5878 ((25 . 2) (26 . 5) (30 . 7) (31 . 8) (32 . 9)) 2248 0.3661 14.0538 ((27 . 17) (30 . 20) (31 . 23) (33 . 26)) 2249 0.3998 8.7124 ((26 . 8) (27 . 10) (31 . 14) (33 . 19)) 2269 0.3997 9.6476 ((25 . 1) (26 . 2) (27 . 4) (33 . 11)) 2279 0.3820 10.7012 ((23 . 1) (26 . 6) (30 . 14) (31 . 15)) 2295 0.3976 15.8180 ((23 . 1) (24 . 2) (26 . 5) (31 . 7)) 2298 0.2413 8.6464 ((23 . 7) (24 . 9) (25 . 11) (26 . 14)) 2308 0.3994 10.9120 ((23 . 3) (26 . 7) (31 . 12) (32 . 14)) 2340 0.3661 14.1394 ((28 . 8) (31 . 10) (32 . 12) (33 . 15)) 2342 0.3998 7.9748 ((25 . 7) (26 . 8) (27 . 9) (28 . 10)) 2344 0.3997 9.4096 ((23 . 5) (27 . 15) (32 . 22) (33 . 23)) 2364 0.3997 9.5041 ((24 . 1) (25 . 2) (26 . 8) (28 . 11)) 2443 0.4994 8.2945 ((25 . 3) (26 . 4) (27 . 5) (28 . 6) (32 . 9)) 2447 0.3990 12.6828 ((25 . 2) (26 . 4) (31 . 9) (33 . 14)) 2465 0.3664 12.8051 ((28 . 3) (30 . 4) (32 . 7) (33 . 8)) 2510 0.3988 13.3733 ((25 . 18) (30 . 24) (32 . 29) (33 . 30)) 2525 0.3995 10.5294 ((23 . 42) (24 . 44) (25 . 46) (27 . 49)) 2533 0.3667 11.1195 ((25 . 2) (28 . 11) (31 . 14) (32 . 16)) 2544 0.1970 9.9292 ((30 . 18) (31 . 19) (32 . 21) (33 . 24)) 2551 0.3669 9.6781 ((24 . 2) (27 . 5) (28 . 6) (31 . 8)) 2552 0.3994 11.0923 ((24 . 2) (25 . 4) (26 . 6) (27 . 7)) 2591 0.1654 16.3709 ((23 . 34) (25 . 37) (27 . 39) (28 . 40)) 2627 0.3992 12.1112 ((25 . 54) (26 . 56) (27 . 57) (31 . 59)) 2634 0.3994 11.0574 ((25 . 2) (27 . 5) (30 . 7) (31 . 8)) 2658 0.3995 10.8024 ((24 . 4) (25 . 6) (26 . 8) (28 . 11)) 2682 0.3969 16.8504 ((23 . 2) (28 . 8) (30 . 10) (32 . 16)) 2703 0.3669 9.0151 ((30 . 2) (31 . 3) (32 . 4) (33 . 6)) 2733 0.3993 11.5783 ((23 . 5) (25 . 9) (26 . 12) (28 . 13)) 2753 0.3360 12.5219 ((24 . 4) (25 . 6) (26 . 7) (28 . 10)) 2834 0.3988 13.3108 ((24 . 7) (26 . 10) (28 . 11) (31 . 15)) 2840 0.3362 9.4022 ((24 . 2) (25 . 3) (26 . 7) (28 . 10)) 2842 0.3361 11.3290 ((25 . 7) (26 . 8) (28 . 10) (31 . 13)) 2947 0.3993 11.5394 ((23 . 8) (24 . 9) (27 . 16) (31 . 19)) 2950 0.3816 12.7190 ((23 . 7) (24 . 8) (26 . 11) (27 . 12)) 2990 0.3669 9.5200 ((24 . 8) (25 . 10) (30 . 17) (32 . 21)) 3014 0.3995 10.4785 ((25 . 12) (26 . 14) (30 . 16) (31 . 17)) 3019 0.2411 15.2229 ((24 . 12) (25 . 15) (28 . 18) (33 . 24)) 3034 0.3997 9.0241 ((25 . 6) (30 . 11) (31 . 13) (32 . 15)) 3041 0.3991 12.4330 ((23 . 7) (25 . 10) (26 . 11) (30 . 15)) 3084 0.1654 16.6673 ((23 . 14) (24 . 16) (26 . 20) (31 . 25)) 3127 0.3995 10.8828 ((24 . 5) (26 . 9) (31 . 16) (32 . 18)) 3176 0.3987 13.4268 ((24 . 32) (25 . 33) (26 . 34) (33 . 39)) 3190 0.1493 11.3040 ((24 . 2) (25 . 4) (30 . 10) (31 . 12)) 3197 0.3999 6.9484 ((25 . 11) (27 . 15) (32 . 20) (33 . 22)) 3200 0.1970 11.5575 ((23 . 2) (24 . 5) (25 . 7) (26 . 8)) 3202 0.3987 13.5797 ((23 . 3) (24 . 4) (25 . 5) (33 . 15)) 3222 0.2412 13.6468 ((23 . 2) (24 . 5) (28 . 13) (33 . 23)) 3286 0.3994 11.3359 ((23 . 2) (26 . 6) (27 . 8) (32 . 15)) 3300 0.3999 7.1725 ((27 . 3) (30 . 9) (31 . 10) (32 . 11)) 3310 0.2800 10.0228 ((23 . 1) (25 . 4) (26 . 5) (30 . 7)) 3334 0.3993 11.3867 ((25 . 2) (31 . 11) (32 . 12) (33 . 13)) 3339 0.3996 10.0363 ((27 . 1) (28 . 2) (32 . 8) (33 . 10)) 3358 0.3667 11.1691 ((26 . 3) (27 . 5) (30 . 9) (32 . 11)) 3391 0.3668 10.0796 ((24 . 1) (25 . 2) (26 . 3) (28 . 7)) 3415 0.3996 10.0188 ((25 . 18) (26 . 20) (28 . 21) (31 . 24)) 3446 0.3994 11.1360 ((26 . 1) (31 . 4) (32 . 7) (33 . 8)) 3470 0.9978 4.1783 ((23 . 9) (24 . 10) (25 . 11) (26 . 12) (27 . 13) (28 . 14) (30 . 15) (31 . 16) (32 . 17) (33 . 18)) 3495 0.2796 16.5336 ((26 . 9) (28 . 11) (30 . 13) (31 . 14)) 3496 0.3987 13.5127 ((24 . 21) (27 . 25) (28 . 26) (31 . 28)) 3537 0.3989 12.9420 ((25 . 3) (27 . 8) (31 . 11) (32 . 12)) 3561 0.3668 10.4369 ((27 . 23) (30 . 27) (31 . 29) (32 . 32)) 3585 0.3984 14.1616 ((23 . 7) (31 . 18) (32 . 19) (33 . 21)) 3613 0.3998 8.2752 ((24 . 31) (25 . 32) (32 . 42) (33 . 43)) 3628 0.3974 16.0606 ((23 . 1) (26 . 7) (31 . 13) (32 . 15)) 3651 0.3982 14.7159 ((23 . 4) (24 . 6) (25 . 7) (33 . 25)) 3658 0.3669 9.0726 ((23 . 9) (25 . 12) (26 . 13) (27 . 14)) 3661 0.3997 9.7088 ((27 . 9) (31 . 14) (32 . 17) (33 . 18)) 3733 0.3993 11.5380 ((23 . 2) (24 . 5) (25 . 7) (26 . 9)) 3778 0.3363 8.9232 ((26 . 17) (27 . 19) (28 . 20) (31 . 23)) 3787 0.3997 9.0381 ((23 . 18) (30 . 26) (31 . 28) (33 . 34)) 3817 0.3989 12.8897 ((25 . 8) (27 . 12) (31 . 14) (32 . 17)) 3829 0.4996 7.5538 ((24 . 3) (25 . 4) (26 . 6) (30 . 10) (33 . 11)) 3830 0.1969 14.6716 ((28 . 1) (31 . 2) (32 . 4) (33 . 5)) 3831 0.1654 12.9729 ((25 . 1) (27 . 4) (31 . 7) (32 . 11)) 3834 0.1970 9.7028 ((24 . 2) (25 . 3) (26 . 4) (27 . 5)) 3847 0.3996 9.8237 ((25 . 10) (26 . 11) (27 . 12) (28 . 15)) 3853 0.3811 14.3312 ((24 . 9) (26 . 13) (30 . 19) (31 . 20)) 3870 0.3997 9.5425 ((26 . 7) (27 . 9) (30 . 11) (31 . 12)) 3938 0.1970 12.9902 ((26 . 1) (27 . 3) (28 . 5) (33 . 16)) 3968 0.3983 14.5412 ((26 . 2) (30 . 4) (32 . 10) (33 . 12)) 3986 0.1654 11.7681 ((24 . 10) (26 . 16) (27 . 19) (28 . 20)) 4005 0.3351 16.5826 ((23 . 16) (24 . 17) (31 . 31) (33 . 39)) 4009 0.3995 10.4271 ((28 . 17) (31 . 20) (32 . 24) (33 . 25)) 4011 0.1970 10.9790 ((26 . 2) (27 . 3) (28 . 4) (31 . 6)) 4030 0.3998 8.1050 ((25 . 13) (26 . 15) (31 . 18) (32 . 20)) 4062 0.3993 11.6744 ((24 . 33) (27 . 38) (31 . 40) (33 . 45)) 4077 0.3989 12.8719 ((23 . 6) (24 . 7) (32 . 16) (33 . 17)) 4115 0.3666 12.0466 ((25 . 11) (26 . 12) (28 . 14) (31 . 18)) 4134 1.0000 0.0000 ((23 . 23) (24 . 24) (25 . 25) (26 . 26) (27 . 27) (28 . 28) (30 . 30) (31 . 31) (32 . 32) (33 . 33)) 4151 0.2800 10.5150 ((26 . 4) (27 . 6) (31 . 11) (33 . 14)) 4190 0.1969 14.0727 ((23 . 2) (24 . 4) (25 . 6) (26 . 7)) 4192 0.3669 9.9215 ((27 . 14) (28 . 16) (31 . 20) (32 . 21)) 4195 0.4000 5.8869 ((25 . 2) (26 . 3) (31 . 7) (32 . 8)) 4204 0.3361 11.4155 ((23 . 1) (25 . 2) (26 . 4) (31 . 12)) 4210 0.2412 13.2014 ((23 . 1) (24 . 3) (27 . 7) (28 . 9)) 4216 0.2412 10.5817 ((23 . 12) (24 . 13) (25 . 15) (26 . 16)) 4226 0.3992 12.1033 ((26 . 5) (31 . 13) (32 . 15) (33 . 17)) 4242 0.4000 5.8802 ((24 . 1) (25 . 2) (26 . 3) (31 . 8)) 4243 0.3668 10.5914 ((23 . 1) (24 . 2) (25 . 3) (27 . 6)) 4254 0.3993 11.5873 ((23 . 5) (25 . 10) (26 . 12) (27 . 14)) 4261 0.3999 7.2257 ((23 . 11) (24 . 14) (26 . 15) (27 . 17)) 4266 0.3988 13.2962 ((25 . 3) (28 . 7) (31 . 10) (33 . 16)) 4275 0.3361 11.2895 ((26 . 22) (27 . 24) (28 . 26) (31 . 29)) 4281 0.2800 10.8234 ((27 . 7) (28 . 9) (31 . 13) (32 . 14)) 4299 0.3987 13.4133 ((23 . 5) (25 . 7) (26 . 8) (30 . 13)) 4326 0.2800 10.5650 ((25 . 6) (26 . 8) (30 . 14) (31 . 16)) 4332 0.3995 10.7614 ((26 . 1) (27 . 3) (28 . 5) (31 . 8)) 4352 0.3995 10.6166 ((26 . 1) (31 . 7) (32 . 11) (33 . 12)) 4386 0.3992 12.1126 ((26 . 8) (30 . 11) (31 . 13) (32 . 14)) 4388 0.3998 8.3294 ((24 . 2) (26 . 4) (32 . 13) (33 . 14)) 4398 0.1970 9.4143 ((25 . 2) (26 . 5) (30 . 9) (31 . 11)) 4408 0.3990 12.8207 ((25 . 19) (28 . 21) (30 . 23) (31 . 24)) 4419 0.3997 9.5207 ((24 . 1) (25 . 2) (26 . 5) (30 . 11)) 4470 0.3999 7.3010 ((26 . 15) (31 . 22) (32 . 23) (33 . 24)) 4492 0.3997 9.3568 ((25 . 10) (26 . 12) (30 . 19) (31 . 22)) 4495 0.3999 7.1985 ((24 . 5) (26 . 9) (30 . 13) (32 . 15)) 4502 0.2799 12.4701 ((23 . 2) (26 . 7) (31 . 13) (32 . 16)) 4504 0.3997 9.3299 ((23 . 1) (24 . 2) (28 . 10) (32 . 16)) 4505 0.3997 9.5470 ((25 . 27) (26 . 29) (30 . 33) (31 . 35)) 4516 0.3988 13.1949 ((23 . 5) (25 . 9) (27 . 13) (30 . 17)) 4538 0.3664 12.9319 ((23 . 27) (24 . 29) (27 . 36) (28 . 39)) 4562 0.3988 13.3592 ((26 . 21) (27 . 23) (31 . 28) (32 . 30)) 4563 0.2796 16.3051 ((23 . 25) (24 . 27) (26 . 30) (33 . 37)) 4579 0.3996 9.7770 ((26 . 3) (30 . 7) (32 . 11) (33 . 13)) 4589 0.3660 14.2918 ((23 . 17) (25 . 20) (26 . 21) (27 . 24)) 4607 0.4991 9.2954 ((24 . 16) (25 . 17) (26 . 18) (28 . 20) (30 . 21)) 4621 0.1654 12.4798 ((24 . 1) (25 . 2) (26 . 5) (28 . 10)) 4671 0.3995 10.8914 ((25 . 3) (30 . 9) (31 . 10) (33 . 16)) 4678 0.3993 11.5412 ((25 . 5) (26 . 7) (27 . 8) (28 . 9)) 4699 0.3993 11.6618 ((26 . 8) (30 . 10) (31 . 11) (33 . 13)) 4715 0.4884 7.4753 ((23 . 2) (24 . 4) (25 . 5) (26 . 7) (31 . 10)) 4716 0.3999 7.7841 ((25 . 4) (26 . 5) (27 . 7) (28 . 8)) 4731 0.3994 10.9391 ((25 . 13) (26 . 16) (27 . 17) (30 . 20)) 4764 0.3999 7.6395 ((24 . 2) (25 . 3) (26 . 5) (32 . 10)) 4783 0.3991 12.1964 ((23 . 1) (25 . 2) (27 . 6) (28 . 7)) 4817 0.3997 9.1201 ((23 . 5) (25 . 7) (26 . 9) (27 . 11)) 4857 0.1970 6.7981 ((25 . 4) (30 . 12) (32 . 14) (33 . 16)) 4886 0.2305 15.0641 ((24 . 6) (25 . 7) (26 . 33) (32 . 15) (33 . 18)) 4888 0.3992 11.8443 ((24 . 3) (25 . 6) (32 . 18) (33 . 19)) 4889 0.3999 6.1217 ((25 . 8) (30 . 19) (32 . 21) (33 . 23)) 4963 0.3996 10.3001 ((24 . 3) (30 . 8) (31 . 9) (32 . 10)) 4982 0.3360 12.1266 ((24 . 2) (26 . 5) (30 . 11) (31 . 13)) 4998 0.3994 11.0918 ((23 . 16) (31 . 27) (32 . 28) (33 . 30)) 5000 0.3996 10.2290 ((25 . 33) (26 . 35) (27 . 36) (31 . 38)) 5016 0.2798 14.6770 ((23 . 1) (24 . 2) (30 . 6) (31 . 8)) 5039 0.2412 12.8284 ((24 . 35) (25 . 36) (27 . 40) (30 . 43)) 5053 0.3999 7.6600 ((24 . 7) (25 . 8) (30 . 14) (32 . 17)) 5068 0.3663 13.3190 ((23 . 1) (25 . 3) (27 . 9) (31 . 14)) 5069 0.1970 13.5977 ((26 . 8) (30 . 14) (32 . 16) (33 . 20)) 5073 0.3984 14.3086 ((23 . 33) (25 . 37) (26 . 40) (32 . 45)) 5080 0.3997 9.2302 ((23 . 8) (24 . 11) (25 . 13) (26 . 14)) 5092 0.4710 9.9416 ((25 . 2) (26 . 3) (31 . 8) (32 . 9) (33 . 11)) 5101 0.3980 14.9967 ((23 . 4) (25 . 8) (32 . 19) (33 . 20)) 5103 0.3993 11.7238 ((25 . 3) (30 . 8) (32 . 11) (33 . 12)) 5121 0.3990 12.8207 ((24 . 13) (25 . 14) (30 . 22) (31 . 23)) 5132 0.3998 7.9281 ((23 . 24) (25 . 32) (31 . 33) (32 . 35)) 5134 0.3993 11.4244 ((23 . 1) (24 . 5) (27 . 11) (32 . 18)) 5167 0.2799 12.0090 ((25 . 2) (26 . 6) (31 . 8) (32 . 10)) 5192 0.3816 12.6255 ((23 . 6) (26 . 13) (31 . 18) (33 . 23)) 5212 0.3984 14.2362 ((25 . 16) (26 . 17) (27 . 19) (28 . 20)) 5215 0.3999 7.2954 ((24 . 6) (25 . 8) (30 . 14) (32 . 17)) 5223 0.3997 9.2880 ((25 . 9) (30 . 16) (31 . 18) (32 . 19)) 5266 0.3996 9.8756 ((25 . 3) (30 . 9) (32 . 12) (33 . 16)) 5285 0.1970 7.9343 ((30 . 3) (31 . 4) (32 . 5) (33 . 6)) 5318 0.3669 9.5616 ((24 . 6) (26 . 9) (27 . 10) (33 . 16)) 5323 0.3996 9.9949 ((23 . 16) (24 . 17) (25 . 18) (26 . 19)) 5324 0.3988 13.2157 ((23 . 19) (25 . 21) (26 . 23) (27 . 26)) 5442 0.3993 11.4752 ((25 . 31) (27 . 33) (32 . 39) (33 . 40)) 5501 0.3999 7.5524 ((26 . 26) (27 . 27) (30 . 29) (31 . 32)) 5525 0.3995 10.7603 ((23 . 5) (24 . 9) (25 . 10) (26 . 11)) 5560 0.3987 13.4319 ((25 . 6) (27 . 10) (31 . 14) (33 . 16)) 5562 0.3999 6.3317 ((24 . 9) (26 . 13) (28 . 16) (32 . 20)) 5594 0.3355 14.9206 ((23 . 2) (25 . 7) (27 . 10) (30 . 13)) 5648 0.3998 8.1832 ((24 . 1) (25 . 2) (26 . 4) (28 . 6)) 5656 0.3999 6.4623 ((26 . 20) (31 . 25) (32 . 26) (33 . 28)) 5689 0.3991 12.4932 ((25 . 3) (26 . 4) (30 . 8) (31 . 9)) 5701 0.3997 9.0123 ((23 . 2) (24 . 3) (28 . 7) (31 . 10)) 5702 0.3990 12.6167 ((25 . 3) (26 . 4) (31 . 10) (33 . 13)) 5704 0.1969 16.5764 ((23 . 3) (24 . 4) (27 . 6) (32 . 10)) 5749 0.3997 9.0198 ((23 . 1) (24 . 2) (30 . 8) (31 . 9)) 5770 0.3818 11.6461 ((25 . 2) (28 . 7) (31 . 10) (33 . 19)) 5771 0.3821 9.5710 ((25 . 2) (28 . 7) (30 . 8) (33 . 16)) 5782 0.3999 7.7783 ((25 . 7) (26 . 8) (31 . 17) (33 . 23)) 5795 0.3999 6.5805 ((24 . 3) (25 . 5) (30 . 11) (32 . 15)) 5809 0.3656 15.6985 ((23 . 4) (25 . 6) (28 . 10) (32 . 16)) 5827 0.3989 13.0196 ((23 . 6) (25 . 12) (32 . 21) (33 . 22)) 5830 0.3820 10.3626 ((25 . 5) (27 . 9) (31 . 15) (32 . 16)) 5878 0.3811 14.2725 ((24 . 13) (26 . 21) (28 . 23) (30 . 24)) 5904 0.3669 9.3981 ((23 . 2) (24 . 3) (26 . 6) (27 . 8)) 5913 0.3818 11.4965 ((23 . 8) (24 . 11) (26 . 14) (28 . 16)) 5939 0.2413 9.1328 ((23 . 3) (24 . 5) (30 . 13) (31 . 15)) 5945 0.3991 12.1768 ((26 . 27) (27 . 29) (28 . 30) (33 . 36)) 5949 0.3998 8.8926 ((24 . 11) (26 . 15) (30 . 19) (31 . 20)) 5955 0.2800 10.8546 ((23 . 8) (24 . 10) (25 . 12) (28 . 18)) 6000 0.3997 9.4867 ((24 . 8) (26 . 11) (32 . 22) (33 . 27)) 6029 0.3999 7.5252 ((26 . 7) (27 . 9) (28 . 12) (33 . 22)) 6033 0.3998 8.6426 ((25 . 2) (26 . 3) (30 . 7) (31 . 9)) 6041 0.3999 7.7659 ((24 . 3) (25 . 5) (26 . 6) (32 . 14)) 6074 0.3361 11.6956 ((25 . 5) (26 . 7) (30 . 10) (32 . 14)) 6075 0.3817 11.9890 ((26 . 16) (27 . 18) (31 . 22) (32 . 23)) 6079 0.3997 9.4226 ((26 . 15) (27 . 17) (30 . 19) (31 . 22)) 6087 0.3983 14.4084 ((26 . 4) (30 . 7) (31 . 9) (32 . 11)) 6089 0.4000 5.5785 ((27 . 8) (30 . 13) (31 . 15) (32 . 19)) 6099 0.2413 9.6642 ((23 . 12) (24 . 15) (26 . 19) (28 . 21)) 6169 0.4710 10.0085 ((25 . 1) (26 . 2) (31 . 8) (32 . 9) (33 . 10)) 6192 0.3994 11.2032 ((23 . 7) (24 . 9) (26 . 12) (27 . 16)) 6225 0.3998 8.4375 ((23 . 1) (24 . 2) (28 . 9) (31 . 11)) 6228 0.3999 7.7963 ((23 . 8) (26 . 16) (27 . 17) (28 . 18)) 6238 0.3997 9.6652 ((24 . 1) (25 . 2) (26 . 6) (31 . 10)) 6243 0.3936 20.3529 ((23 . 1) (24 . 5) (26 . 7) (30 . 12)) 6258 0.3999 7.5456 ((23 . 2) (24 . 5) (28 . 11) (31 . 14)) 6261 0.4000 5.6049 ((26 . 18) (31 . 23) (32 . 24) (33 . 25)) 6266 0.3670 8.3610 ((24 . 2) (26 . 7) (28 . 9) (32 . 13)) 6268 0.3362 9.4617 ((23 . 9) (24 . 10) (26 . 13) (27 . 14)) 6270 0.3657 15.3776 ((24 . 11) (26 . 14) (27 . 16) (32 . 23)) 6294 0.3996 10.2649 ((23 . 10) (27 . 19) (31 . 24) (33 . 28)) 6329 0.3995 10.7055 ((23 . 3) (24 . 4) (32 . 13) (33 . 15)) 6344 0.2190 8.7675 ((23 . 16) (25 . 2) (26 . 5) (30 . 9) (31 . 10) (32 . 11)) 6345 0.3994 11.1786 ((24 . 1) (25 . 2) (30 . 8) (31 . 9)) 6348 0.3989 13.0724 ((23 . 5) (24 . 6) (26 . 10) (27 . 13)) 6356 0.3668 9.9759 ((25 . 3) (27 . 8) (28 . 10) (33 . 17)) 6359 0.3994 11.1236 ((24 . 1) (25 . 2) (26 . 4) (30 . 6)) 6369 0.3818 11.8014 ((23 . 25) (24 . 27) (25 . 28) (33 . 39)) 6376 0.3998 8.4596 ((24 . 16) (26 . 18) (28 . 23) (31 . 29)) 6384 0.4000 5.9770 ((25 . 3) (26 . 4) (27 . 5) (28 . 6)) 6391 0.3360 11.7708 ((27 . 4) (28 . 5) (32 . 9) (33 . 11)) 6392 0.3661 14.2331 ((26 . 2) (27 . 4) (31 . 8) (33 . 14)) 6461 0.3993 11.5131 ((23 . 2) (24 . 4) (25 . 5) (26 . 7)) 6462 0.3998 8.3030 ((25 . 23) (26 . 26) (32 . 31) (33 . 34)) 6476 0.3996 9.8664 ((25 . 1) (26 . 5) (27 . 6) (28 . 7)) 6498 0.3997 9.2046 ((25 . 15) (26 . 18) (30 . 23) (33 . 30)) 6506 0.3990 12.5876 ((25 . 18) (31 . 23) (32 . 24) (33 . 25)) 6520 0.3997 8.9802 ((24 . 11) (25 . 12) (31 . 22) (32 . 23)) 6536 0.3996 10.2694 ((25 . 27) (26 . 28) (27 . 29) (32 . 34)) 6553 0.2412 12.8439 ((23 . 16) (25 . 19) (30 . 27) (31 . 28)) 6578 0.3976 15.7872 ((25 . 33) (27 . 39) (28 . 40) (30 . 41)) 6585 0.2412 10.2520 ((23 . 4) (24 . 7) (26 . 9) (28 . 12)) 6587 0.3668 10.7090 ((25 . 27) (28 . 32) (31 . 35) (32 . 36)) 6605 0.3990 12.5382 ((26 . 3) (27 . 4) (30 . 6) (31 . 7)) 6613 0.2412 12.9698 ((26 . 15) (28 . 19) (31 . 23) (33 . 25)) 6622 0.3998 8.9036 ((23 . 4) (25 . 8) (26 . 10) (27 . 11)) 6635 0.3356 14.4606 ((26 . 2) (27 . 3) (28 . 6) (30 . 9)) END