3470 25 0.3999 6.7276 ((10 . 5) (16 . 9) (17 . 10) (18 . 12)) 77 0.3990 12.7629 ((10 . 1) (11 . 2) (16 . 10) (17 . 12)) 91 0.3992 11.8767 ((11 . 35) (12 . 36) (14 . 39) (17 . 46)) 147 0.4963 13.3217 ((11 . 1) (12 . 2) (16 . 6) (17 . 8) (18 . 9)) 157 0.2411 15.1903 ((10 . 6) (13 . 12) (15 . 17) (18 . 22)) 207 0.3986 13.6910 ((12 . 6) (14 . 10) (16 . 12) (18 . 16)) 259 0.4998 6.0297 ((9 . 1) (10 . 2) (11 . 5) (12 . 6) (14 . 7)) 293 0.3361 10.9568 ((14 . 1) (15 . 2) (16 . 3) (18 . 5)) 300 0.2412 12.6957 ((9 . 3) (10 . 4) (11 . 5) (15 . 11)) 305 0.3986 13.7122 ((11 . 8) (13 . 10) (14 . 13) (18 . 20)) 307 0.3669 9.7135 ((10 . 2) (12 . 6) (13 . 8) (14 . 10)) 317 0.3997 9.0578 ((12 . 1) (13 . 2) (17 . 6) (18 . 9)) 329 0.3995 10.6429 ((9 . 1) (10 . 3) (12 . 7) (13 . 8)) 351 0.3997 9.5218 ((11 . 1) (12 . 2) (17 . 7) (18 . 10)) 361 0.3999 7.2825 ((9 . 3) (11 . 5) (12 . 6) (16 . 9)) 433 0.1970 12.8161 ((13 . 2) (14 . 3) (15 . 4) (18 . 8)) 442 0.3996 10.2671 ((9 . 9) (10 . 11) (15 . 16) (16 . 18)) 472 0.3667 10.9090 ((10 . 23) (11 . 24) (14 . 28) (17 . 34)) 495 0.3670 7.6482 ((10 . 2) (11 . 4) (16 . 10) (17 . 12)) 543 0.2800 9.7835 ((11 . 3) (13 . 7) (16 . 13) (17 . 14)) 553 0.3999 6.3379 ((9 . 1) (11 . 3) (12 . 4) (13 . 5)) 584 0.3257 9.5657 ((9 . 1) (10 . 9) (11 . 2) (13 . 6) (17 . 12) (18 . 29)) 619 0.3648 17.4740 ((10 . 3) (11 . 5) (14 . 10) (18 . 17)) 624 0.3997 9.6428 ((11 . 6) (12 . 8) (15 . 12) (16 . 14)) 635 0.2796 16.5751 ((12 . 2) (15 . 7) (17 . 9) (18 . 12)) 672 0.3995 10.6852 ((10 . 8) (11 . 9) (12 . 12) (18 . 25)) 678 0.3998 8.3526 ((9 . 21) (11 . 23) (16 . 30) (17 . 32)) 729 0.3971 16.6398 ((11 . 8) (13 . 12) (15 . 14) (18 . 21)) 782 0.3992 11.9516 ((10 . 4) (11 . 5) (15 . 11) (16 . 12)) 792 0.3996 10.3356 ((11 . 8) (12 . 10) (15 . 13) (16 . 14)) 818 0.3670 8.1173 ((10 . 3) (11 . 5) (13 . 9) (14 . 11)) 834 0.3998 8.3430 ((9 . 36) (12 . 41) (13 . 43) (14 . 44)) 901 0.3988 13.3814 ((10 . 10) (11 . 11) (12 . 14) (16 . 19)) 928 0.3999 7.8442 ((12 . 4) (13 . 6) (15 . 9) (17 . 11)) 943 0.3998 8.5855 ((10 . 3) (11 . 5) (12 . 7) (15 . 10)) 945 0.3670 8.1622 ((10 . 13) (11 . 16) (15 . 21) (18 . 25)) 960 0.3975 16.0378 ((9 . 30) (10 . 31) (12 . 34) (18 . 41)) 978 0.3984 14.3537 ((12 . 11) (13 . 12) (15 . 15) (17 . 17)) 1005 0.3363 8.9434 ((15 . 3) (16 . 4) (17 . 5) (18 . 6)) 1034 0.3362 10.4951 ((11 . 19) (15 . 24) (17 . 27) (18 . 31)) 1043 0.3361 11.2771 ((11 . 5) (14 . 11) (16 . 15) (17 . 16)) 1082 0.3999 7.0106 ((12 . 17) (13 . 18) (16 . 20) (17 . 22)) 1084 0.2799 12.0715 ((9 . 4) (10 . 6) (14 . 15) (18 . 21)) 1124 0.3997 9.6656 ((11 . 10) (12 . 11) (16 . 15) (17 . 16)) 1165 0.3669 9.9654 ((10 . 11) (11 . 13) (12 . 15) (14 . 17)) 1167 0.3998 8.0932 ((12 . 24) (13 . 25) (14 . 26) (16 . 28)) 1201 0.3988 13.3456 ((10 . 5) (12 . 8) (14 . 13) (17 . 19)) 1204 0.3985 13.9962 ((12 . 4) (14 . 6) (16 . 8) (18 . 13)) 1210 0.3999 7.5631 ((11 . 1) (12 . 2) (13 . 3) (14 . 4)) 1267 0.3992 12.0049 ((10 . 5) (11 . 6) (12 . 8) (18 . 18)) 1268 0.3985 13.9158 ((9 . 18) (10 . 19) (11 . 21) (16 . 28)) 1301 0.2413 9.7444 ((10 . 2) (11 . 3) (12 . 6) (13 . 7)) 1345 0.3821 9.7336 ((9 . 6) (11 . 8) (16 . 15) (17 . 17)) 1388 0.3995 10.5187 ((12 . 2) (13 . 3) (15 . 6) (17 . 10)) 1415 0.3988 13.1617 ((13 . 1) (16 . 4) (17 . 5) (18 . 6)) 1447 0.3350 16.9482 ((11 . 2) (14 . 6) (15 . 8) (17 . 10)) 1470 0.3999 7.3326 ((9 . 7) (11 . 10) (12 . 11) (13 . 12)) 1472 0.4804 9.5452 ((9 . 3) (10 . 5) (12 . 9) (16 . 10) (17 . 11) (18 . 12)) 1476 0.3994 11.2314 ((11 . 10) (13 . 13) (15 . 17) (17 . 19)) 1497 0.3999 7.7723 ((9 . 8) (12 . 12) (16 . 17) (17 . 19)) 1508 0.4000 5.3459 ((9 . 1) (10 . 3) (11 . 4) (12 . 6)) 1513 0.3995 10.7300 ((11 . 9) (12 . 12) (14 . 14) (17 . 19)) 1577 0.3993 11.7708 ((10 . 1) (11 . 2) (16 . 9) (17 . 11)) 1591 0.3996 10.2545 ((11 . 2) (12 . 3) (16 . 7) (18 . 10)) 1595 0.3363 8.7980 ((9 . 3) (10 . 4) (11 . 6) (12 . 9)) 1604 0.3996 10.2361 ((12 . 9) (16 . 13) (17 . 14) (18 . 16)) 1643 0.3650 17.0712 ((12 . 19) (13 . 21) (17 . 29) (18 . 35)) 1690 0.3994 11.2878 ((9 . 12) (13 . 22) (17 . 27) (18 . 28)) 1724 0.3997 9.5383 ((15 . 4) (16 . 5) (17 . 6) (18 . 8)) 1731 0.3978 15.5093 ((12 . 1) (15 . 5) (17 . 9) (18 . 10)) 1761 0.2412 13.0122 ((11 . 6) (14 . 10) (17 . 14) (18 . 18)) 1763 0.3989 12.9579 ((10 . 2) (11 . 4) (16 . 11) (17 . 12)) 1776 0.3354 15.6164 ((11 . 6) (13 . 11) (15 . 13) (18 . 21)) 1793 0.2413 8.6738 ((9 . 7) (10 . 9) (16 . 16) (17 . 18)) 1796 0.4997 6.9258 ((9 . 1) (10 . 2) (11 . 4) (12 . 5) (14 . 6)) 1894 0.3989 12.8607 ((9 . 15) (10 . 16) (15 . 24) (18 . 30)) 1896 0.3996 10.2352 ((10 . 10) (11 . 12) (13 . 15) (17 . 21)) 1897 0.3997 9.3908 ((10 . 35) (11 . 36) (12 . 38) (17 . 44)) 1908 0.3998 8.0538 ((9 . 2) (11 . 4) (12 . 5) (17 . 14)) 1909 0.3992 11.9026 ((9 . 23) (10 . 24) (11 . 26) (14 . 32)) 1944 0.3997 9.7299 ((9 . 4) (11 . 6) (15 . 12) (18 . 20)) 1957 0.3973 16.2847 ((11 . 2) (13 . 4) (15 . 6) (18 . 12)) 1967 0.3363 8.3366 ((9 . 4) (10 . 6) (12 . 9) (14 . 12)) 1987 0.3997 9.1260 ((10 . 8) (11 . 9) (12 . 10) (13 . 11)) 2048 0.3999 7.4830 ((11 . 5) (15 . 12) (17 . 14) (18 . 15)) 2054 0.2411 14.3590 ((11 . 7) (12 . 9) (14 . 11) (17 . 16)) 2067 0.3664 12.7786 ((9 . 1) (10 . 3) (12 . 6) (18 . 17)) 2081 0.3992 11.9419 ((10 . 11) (12 . 13) (13 . 14) (16 . 18)) 2094 0.3667 11.3692 ((10 . 1) (11 . 2) (13 . 4) (14 . 6)) 2114 0.3363 8.4258 ((15 . 35) (16 . 37) (17 . 38) (18 . 39)) 2117 0.3996 10.0841 ((9 . 2) (10 . 3) (13 . 8) (18 . 21)) 2118 0.3990 12.7113 ((10 . 2) (13 . 6) (16 . 9) (17 . 10)) 2122 0.3983 14.5536 ((10 . 5) (12 . 9) (16 . 13) (17 . 16)) 2166 0.1970 10.0999 ((13 . 2) (14 . 1) (16 . 5) (18 . 10)) 2233 0.3998 8.8298 ((9 . 1) (10 . 2) (11 . 5) (14 . 8)) 2249 0.3997 9.4943 ((9 . 3) (11 . 9) (12 . 10) (17 . 19)) 2269 0.3657 15.4569 ((9 . 1) (10 . 3) (14 . 9) (16 . 11)) 2279 0.2413 9.5838 ((9 . 1) (15 . 12) (16 . 14) (17 . 15)) 2295 0.3665 12.6355 ((9 . 3) (10 . 4) (11 . 5) (14 . 7)) 2298 0.3992 12.0442 ((11 . 2) (12 . 3) (16 . 7) (18 . 11)) 2308 0.3993 11.6354 ((9 . 3) (12 . 7) (16 . 12) (17 . 14)) 2340 0.2411 15.0462 ((14 . 8) (16 . 10) (17 . 12) (18 . 15)) 2342 0.3999 6.2065 ((11 . 9) (12 . 10) (16 . 13) (17 . 14)) 2344 0.3997 9.6849 ((9 . 9) (12 . 17) (13 . 19) (16 . 22)) 2364 0.3667 11.1307 ((9 . 2) (12 . 8) (14 . 11) (16 . 16)) 2423 0.2800 9.2835 ((9 . 12) (10 . 13) (13 . 18) (17 . 23)) 2443 0.3996 9.9317 ((11 . 2) (13 . 4) (17 . 8) (18 . 9)) 2447 0.3998 8.1401 ((10 . 14) (14 . 20) (16 . 26) (17 . 27)) 2465 0.3813 13.6167 ((14 . 1) (15 . 3) (16 . 4) (18 . 7)) 2510 0.3974 16.1284 ((11 . 18) (13 . 22) (15 . 24) (18 . 30)) 2533 0.3993 11.4399 ((10 . 2) (11 . 3) (17 . 14) (18 . 16)) 2544 0.3362 9.7129 ((9 . 18) (10 . 19) (11 . 21) (12 . 24)) 2551 0.3362 9.7511 ((10 . 2) (13 . 5) (14 . 6) (15 . 8)) 2556 0.4000 5.8184 ((10 . 12) (12 . 14) (14 . 15) (16 . 23)) 2591 0.3989 12.8903 ((11 . 34) (12 . 36) (13 . 37) (17 . 40)) 2627 0.3992 11.8555 ((10 . 53) (11 . 54) (16 . 59) (18 . 62)) 2634 0.3980 15.1602 ((11 . 5) (12 . 7) (13 . 8) (17 . 13)) 2658 0.3995 10.8646 ((10 . 4) (11 . 6) (12 . 8) (14 . 11)) 2682 0.3354 15.5142 ((11 . 6) (12 . 8) (13 . 10) (17 . 18)) 2703 0.3993 11.4171 ((9 . 1) (10 . 3) (11 . 4) (12 . 6)) 2733 0.3997 9.6068 ((9 . 7) (11 . 9) (12 . 13) (14 . 14)) 2753 0.3361 11.7097 ((10 . 3) (11 . 6) (13 . 7) (17 . 11)) 2830 0.3997 9.6605 ((11 . 10) (12 . 12) (15 . 14) (16 . 16)) 2834 0.3977 15.6614 ((10 . 2) (12 . 7) (17 . 11) (18 . 13)) 2840 0.3363 8.6478 ((10 . 2) (11 . 3) (12 . 7) (14 . 10)) 2842 0.3996 10.0772 ((9 . 3) (11 . 6) (12 . 7) (17 . 12)) 2867 0.3990 12.6746 ((10 . 1) (11 . 3) (16 . 10) (17 . 11)) 2947 0.3993 11.4961 ((11 . 16) (14 . 18) (15 . 20) (16 . 22)) 2950 0.3995 10.5739 ((10 . 7) (11 . 8) (16 . 10) (18 . 12)) 3014 0.3999 6.6475 ((10 . 12) (11 . 14) (12 . 15) (17 . 18)) 3019 0.3662 13.5647 ((12 . 8) (15 . 12) (16 . 13) (17 . 15)) 3034 0.3998 8.5952 ((11 . 6) (15 . 11) (16 . 13) (17 . 15)) 3041 0.3999 7.3176 ((9 . 10) (10 . 11) (13 . 15) (14 . 17)) 3084 0.3994 11.1171 ((11 . 1) (12 . 2) (15 . 4) (17 . 6)) 3127 0.3995 10.6784 ((10 . 5) (12 . 9) (16 . 16) (17 . 18)) 3176 0.3982 14.5997 ((10 . 32) (11 . 33) (12 . 34) (18 . 39)) 3197 0.3998 7.8999 ((11 . 20) (12 . 22) (13 . 23) (16 . 29)) 3200 0.1493 13.1462 ((14 . 5) (16 . 7) (17 . 8) (18 . 12)) 3202 0.3994 11.0209 ((9 . 15) (11 . 20) (12 . 21) (18 . 29)) 3212 0.2800 9.4327 ((12 . 1) (15 . 6) (16 . 7) (18 . 11)) 3222 0.3978 15.4414 ((10 . 5) (14 . 13) (16 . 17) (18 . 22)) 3286 0.3998 7.9937 ((9 . 2) (11 . 6) (16 . 12) (17 . 15)) 3300 0.3356 14.8727 ((13 . 9) (14 . 10) (15 . 11) (16 . 12)) 3310 0.3985 13.9868 ((11 . 4) (12 . 5) (15 . 7) (18 . 11)) 3334 0.3984 14.2968 ((10 . 2) (13 . 9) (16 . 12) (17 . 13)) 3339 0.3993 11.4515 ((10 . 10) (12 . 16) (17 . 23) (18 . 24)) 3358 0.2800 10.3336 ((12 . 3) (13 . 5) (16 . 9) (17 . 11)) 3362 0.2412 13.2295 ((13 . 5) (14 . 7) (16 . 9) (18 . 13)) 3391 0.3993 11.6452 ((12 . 12) (13 . 14) (14 . 15) (17 . 18)) 3410 0.2797 15.5163 ((10 . 20) (11 . 23) (14 . 27) (15 . 29)) 3415 0.3989 13.0971 ((11 . 19) (12 . 20) (15 . 23) (16 . 24)) 3446 0.4000 5.9377 ((10 . 4) (16 . 8) (17 . 9) (18 . 10)) 3470 1.0000 0.0000 ((9 . 9) (10 . 10) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18)) 3495 0.1969 17.1742 ((10 . 6) (14 . 11) (15 . 13) (16 . 14)) 3496 0.3991 12.3981 ((14 . 24) (15 . 25) (17 . 27) (18 . 28)) 3561 0.3667 11.3721 ((12 . 17) (14 . 21) (16 . 25) (18 . 27)) 3585 0.3983 14.5541 ((9 . 7) (16 . 18) (17 . 19) (18 . 21)) 3613 0.3999 7.3586 ((9 . 26) (10 . 27) (12 . 28) (13 . 30)) 3651 0.3993 11.3864 ((10 . 6) (11 . 7) (15 . 15) (18 . 25)) 3658 0.3991 12.2799 ((11 . 9) (12 . 12) (15 . 14) (16 . 15)) 3661 0.3996 10.0742 ((9 . 9) (10 . 10) (12 . 14) (15 . 21)) 3732 0.2411 14.7298 ((13 . 6) (14 . 8) (16 . 10) (18 . 13)) 3733 0.3362 10.4981 ((10 . 2) (11 . 4) (12 . 7) (14 . 9)) 3778 0.3668 10.0337 ((9 . 17) (10 . 19) (11 . 20) (13 . 23)) 3787 0.3993 11.4743 ((10 . 8) (12 . 11) (13 . 13) (16 . 16)) 3817 0.3996 9.9005 ((9 . 6) (11 . 8) (13 . 12) (16 . 14)) 3829 0.3999 6.7637 ((10 . 3) (11 . 4) (12 . 7) (15 . 10)) 3834 0.3985 13.9518 ((11 . 2) (13 . 4) (16 . 6) (17 . 7)) 3847 0.3997 9.1877 ((11 . 10) (12 . 11) (13 . 12) (14 . 15)) 3853 0.3819 11.2753 ((10 . 2) (12 . 4) (14 . 7) (18 . 13)) 3870 0.3993 11.6524 ((11 . 9) (12 . 11) (13 . 12) (15 . 14)) 3938 0.3357 14.2804 ((12 . 1) (13 . 3) (14 . 5) (18 . 16)) 3968 0.3980 15.0514 ((12 . 2) (15 . 4) (17 . 10) (18 . 12)) 4005 0.3350 17.0626 ((9 . 16) (10 . 17) (16 . 31) (18 . 39)) 4009 0.3996 9.8937 ((9 . 8) (13 . 17) (16 . 20) (18 . 25)) 4011 0.3994 11.1333 ((10 . 1) (12 . 3) (13 . 4) (16 . 6)) 4030 0.3990 12.7925 ((9 . 2) (11 . 4) (16 . 9) (18 . 13)) 4037 0.3997 9.4292 ((9 . 4) (10 . 6) (11 . 7) (12 . 8)) 4062 0.3822 9.1079 ((10 . 33) (11 . 34) (14 . 38) (16 . 39)) 4067 0.3999 7.0465 ((9 . 11) (11 . 15) (15 . 21) (17 . 23)) 4077 0.3981 14.9018 ((9 . 6) (10 . 7) (16 . 14) (18 . 17)) 4115 0.3988 13.2165 ((14 . 4) (16 . 9) (17 . 11) (18 . 12)) 4134 0.9978 4.1783 ((9 . 23) (10 . 24) (11 . 25) (12 . 26) (13 . 27) (14 . 28) (15 . 30) (16 . 31) (17 . 32) (18 . 33)) 4151 0.2799 12.8018 ((12 . 11) (14 . 14) (16 . 16) (18 . 20)) 4192 0.2800 11.1664 ((12 . 14) (13 . 16) (16 . 20) (17 . 21)) 4195 0.3998 7.8947 ((10 . 7) (11 . 8) (17 . 12) (18 . 13)) 4204 0.3668 10.4162 ((10 . 1) (11 . 2) (13 . 6) (17 . 12)) 4210 0.2412 12.3569 ((9 . 1) (10 . 3) (13 . 7) (14 . 9)) 4216 0.3667 11.0525 ((9 . 10) (10 . 12) (11 . 13) (13 . 16)) 4226 0.3991 12.4863 ((12 . 5) (16 . 13) (17 . 15) (18 . 17)) 4242 0.3999 6.4341 ((10 . 1) (11 . 2) (12 . 3) (16 . 8)) 4243 0.3670 8.7710 ((9 . 1) (10 . 2) (11 . 3) (13 . 6)) 4254 0.3991 12.5010 ((9 . 2) (10 . 5) (14 . 12) (18 . 20)) 4261 0.3979 15.1889 ((12 . 13) (13 . 14) (15 . 16) (16 . 17)) 4265 0.3362 9.6672 ((10 . 22) (12 . 25) (13 . 27) (16 . 31)) 4266 0.3997 9.3761 ((11 . 3) (13 . 5) (15 . 7) (17 . 9)) 4275 0.3362 10.0962 ((12 . 22) (13 . 24) (14 . 26) (16 . 29)) 4281 0.3669 9.8034 ((9 . 6) (11 . 9) (12 . 13) (14 . 16)) 4299 0.1329 8.3555 ((11 . 5) (13 . 7) (14 . 8) (18 . 17)) 4326 0.3996 10.3523 ((11 . 6) (12 . 8) (15 . 14) (16 . 16)) 4332 0.3362 10.2868 ((9 . 1) (10 . 3) (11 . 5) (13 . 8)) 4352 0.3998 8.4087 ((9 . 4) (10 . 6) (12 . 12) (16 . 14)) 4386 0.3996 10.0737 ((12 . 11) (13 . 12) (15 . 15) (17 . 17)) 4398 0.2800 9.7504 ((11 . 2) (12 . 5) (15 . 9) (16 . 11)) 4408 0.3996 10.3430 ((11 . 20) (12 . 22) (13 . 23) (14 . 24)) 4470 0.3999 7.4557 ((12 . 15) (16 . 22) (17 . 23) (18 . 24)) 4495 0.3819 10.8732 ((9 . 7) (12 . 12) (14 . 15) (17 . 19)) 4502 0.2412 11.8951 ((9 . 2) (11 . 3) (16 . 13) (18 . 16)) 4504 0.3997 9.2565 ((9 . 1) (10 . 2) (14 . 10) (16 . 12)) 4505 0.3997 9.3471 ((11 . 27) (12 . 29) (15 . 33) (16 . 35)) 4562 0.3993 11.7800 ((12 . 21) (13 . 23) (16 . 28) (17 . 30)) 4563 0.2799 12.2052 ((10 . 27) (12 . 30) (14 . 33) (18 . 37)) 4579 0.3998 8.8529 ((10 . 11) (13 . 16) (16 . 22) (17 . 23)) 4589 0.3666 12.0801 ((9 . 17) (11 . 20) (12 . 21) (13 . 24)) 4607 0.3997 9.7203 ((9 . 13) (10 . 16) (11 . 17) (12 . 18)) 4621 0.2411 14.3648 ((12 . 1) (13 . 2) (14 . 5) (18 . 10)) 4669 0.3362 9.4387 ((10 . 16) (12 . 18) (13 . 20) (16 . 23)) 4671 0.3993 11.4985 ((11 . 3) (15 . 9) (16 . 10) (18 . 16)) 4678 0.3988 13.1520 ((9 . 2) (11 . 5) (12 . 7) (14 . 9)) 4699 0.3997 9.4784 ((10 . 9) (11 . 10) (12 . 11) (13 . 12)) 4715 0.4971 12.5484 ((9 . 2) (10 . 4) (11 . 5) (12 . 7) (18 . 16)) 4716 0.3995 10.6446 ((12 . 3) (13 . 4) (14 . 5) (17 . 9)) 4731 0.3999 7.8682 ((11 . 13) (12 . 16) (13 . 17) (15 . 19)) 4764 0.3993 11.5383 ((10 . 1) (12 . 3) (16 . 8) (17 . 9)) 4783 0.3989 13.0453 ((9 . 1) (10 . 2) (11 . 3) (14 . 7)) 4817 0.3998 8.5239 ((9 . 5) (11 . 7) (12 . 9) (13 . 11)) 4857 0.1970 9.2069 ((10 . 4) (15 . 12) (17 . 14) (18 . 15)) 4888 0.3656 15.4974 ((10 . 5) (11 . 6) (12 . 10) (17 . 18)) 4889 0.3999 7.7768 ((11 . 8) (15 . 19) (17 . 21) (18 . 23)) 4963 0.3997 8.9530 ((10 . 2) (16 . 8) (17 . 9) (18 . 10)) 4978 0.3999 7.7684 ((9 . 20) (12 . 26) (15 . 29) (17 . 31)) 4998 0.3806 15.4015 ((9 . 4) (10 . 5) (11 . 7) (18 . 21)) 5000 0.2796 15.9797 ((14 . 31) (16 . 32) (17 . 33) (18 . 35)) 5016 0.3999 7.7719 ((9 . 5) (11 . 6) (12 . 8) (13 . 9)) 5039 0.1654 12.8518 ((11 . 35) (12 . 36) (16 . 40) (17 . 43)) 5053 0.3998 8.7054 ((10 . 7) (11 . 8) (15 . 14) (17 . 17)) 5068 0.3669 9.7895 ((10 . 9) (11 . 11) (13 . 14) (18 . 25)) 5069 0.3363 8.3693 ((11 . 1) (12 . 3) (14 . 6) (18 . 16)) 5073 0.3993 11.5710 ((9 . 33) (12 . 40) (17 . 45) (18 . 46)) 5080 0.3998 8.1307 ((9 . 9) (10 . 11) (11 . 13) (12 . 14)) 5092 0.3987 13.5132 ((9 . 3) (10 . 5) (14 . 9) (18 . 13)) 5101 0.3993 11.6004 ((11 . 19) (13 . 22) (14 . 24) (17 . 28)) 5103 0.3991 12.3558 ((11 . 3) (15 . 8) (17 . 11) (18 . 12)) 5121 0.1493 10.6250 ((10 . 13) (11 . 14) (16 . 22) (17 . 23)) 5132 0.3997 9.6490 ((9 . 17) (12 . 21) (13 . 23) (14 . 24)) 5134 0.3995 10.6470 ((9 . 1) (12 . 8) (13 . 9) (16 . 12)) 5167 0.2799 12.7818 ((10 . 2) (15 . 8) (16 . 10) (18 . 13)) 5192 0.3987 13.5539 ((9 . 13) (10 . 15) (11 . 16) (15 . 23)) 5212 0.3996 10.1606 ((9 . 10) (10 . 12) (11 . 14) (13 . 16)) 5215 0.3998 8.2440 ((10 . 6) (11 . 8) (15 . 14) (17 . 17)) 5223 0.4000 5.4772 ((9 . 5) (15 . 16) (16 . 18) (17 . 19)) 5266 0.3996 10.1082 ((11 . 3) (15 . 9) (17 . 12) (18 . 16)) 5285 0.1654 10.9843 ((12 . 1) (13 . 2) (14 . 3) (16 . 6)) 5318 0.3995 10.8091 ((10 . 6) (12 . 9) (14 . 12) (18 . 16)) 5323 0.3994 11.3231 ((12 . 12) (16 . 16) (17 . 17) (18 . 18)) 5324 0.3994 11.2977 ((10 . 6) (12 . 11) (17 . 17) (18 . 18)) 5442 0.3998 8.0350 ((9 . 32) (14 . 35) (16 . 37) (17 . 38)) 5500 0.3995 10.8389 ((9 . 6) (10 . 10) (12 . 13) (13 . 15)) 5501 0.3997 9.0131 ((10 . 21) (11 . 22) (12 . 23) (14 . 26)) 5525 0.3999 6.5901 ((9 . 3) (10 . 5) (12 . 10) (16 . 12)) 5560 0.3993 11.4915 ((9 . 3) (11 . 5) (12 . 6) (14 . 8)) 5562 0.3999 7.0821 ((10 . 9) (12 . 13) (14 . 16) (17 . 21)) 5594 0.3985 14.0738 ((12 . 5) (15 . 8) (16 . 10) (18 . 13)) 5600 0.1970 12.2092 ((10 . 4) (11 . 7) (13 . 10) (14 . 12)) 5601 0.3996 10.1183 ((12 . 4) (13 . 6) (15 . 9) (17 . 11)) 5648 0.3996 9.9842 ((11 . 1) (16 . 6) (17 . 7) (18 . 8)) 5656 0.3999 6.9384 ((12 . 20) (16 . 25) (17 . 26) (18 . 28)) 5689 0.3994 10.9346 ((11 . 1) (14 . 4) (16 . 8) (17 . 9)) 5701 0.3998 8.3027 ((9 . 2) (10 . 3) (14 . 7) (16 . 10)) 5702 0.3991 12.3074 ((12 . 8) (16 . 12) (17 . 13) (18 . 14)) 5704 0.3819 11.2106 ((10 . 1) (15 . 6) (16 . 7) (18 . 9)) 5749 0.3999 6.5167 ((9 . 1) (10 . 2) (15 . 8) (16 . 9)) 5770 0.3665 12.4099 ((10 . 5) (11 . 7) (17 . 21) (18 . 22)) 5771 0.2800 10.8918 ((11 . 2) (14 . 7) (15 . 8) (18 . 16)) 5782 0.3999 6.9039 ((15 . 6) (16 . 7) (17 . 8) (18 . 9)) 5795 0.3999 6.7412 ((13 . 3) (14 . 5) (16 . 7) (17 . 8)) 5809 0.2412 12.9517 ((9 . 2) (12 . 6) (15 . 8) (16 . 10)) 5827 0.3993 11.3953 ((9 . 6) (11 . 12) (17 . 18) (18 . 22)) 5830 0.3821 9.5331 ((11 . 5) (13 . 9) (16 . 15) (17 . 16)) 5878 0.3664 12.9061 ((10 . 13) (12 . 21) (14 . 23) (15 . 24)) 5904 0.3670 8.2613 ((9 . 2) (10 . 3) (12 . 6) (14 . 8)) 5913 0.2413 7.7140 ((10 . 1) (11 . 4) (15 . 11) (17 . 14)) 5939 0.2798 14.3028 ((10 . 5) (14 . 12) (15 . 13) (16 . 15)) 5945 0.3991 12.3715 ((11 . 22) (15 . 27) (17 . 31) (18 . 34)) 5949 0.3998 8.9041 ((10 . 11) (12 . 15) (15 . 19) (16 . 20)) 5955 0.3987 13.4077 ((11 . 2) (13 . 6) (15 . 8) (17 . 12)) 6000 0.3820 10.6893 ((11 . 2) (14 . 6) (16 . 8) (18 . 11)) 6029 0.3820 10.6385 ((10 . 25) (14 . 32) (16 . 34) (18 . 38)) 6033 0.3988 13.2670 ((11 . 4) (12 . 5) (15 . 9) (16 . 10)) 6041 0.3999 7.1320 ((10 . 3) (11 . 5) (12 . 6) (17 . 14)) 6074 0.2412 12.2789 ((12 . 1) (14 . 3) (16 . 5) (18 . 10)) 6075 0.3992 12.0953 ((9 . 22) (10 . 23) (13 . 29) (14 . 30)) 6079 0.3998 8.3830 ((12 . 15) (13 . 17) (15 . 19) (16 . 22)) 6087 0.3993 11.4002 ((11 . 2) (12 . 4) (15 . 7) (16 . 9)) 6089 0.3973 16.3026 ((10 . 13) (12 . 19) (14 . 20) (17 . 25)) 6099 0.1969 15.7018 ((9 . 12) (11 . 15) (13 . 19) (15 . 21)) 6169 0.4810 6.9873 ((9 . 2) (10 . 4) (14 . 7) (16 . 9) (17 . 11) (18 . 12)) 6192 0.3666 12.0784 ((9 . 4) (10 . 7) (11 . 9) (15 . 15)) 6228 0.3999 6.4648 ((9 . 8) (12 . 16) (13 . 17) (14 . 18)) 6238 0.3981 14.8739 ((12 . 1) (13 . 2) (16 . 6) (18 . 10)) 6243 0.3995 10.6973 ((12 . 7) (16 . 11) (17 . 12) (18 . 13)) 6258 0.2413 8.7098 ((9 . 2) (10 . 5) (11 . 8) (16 . 14)) 6261 0.3999 6.0517 ((12 . 18) (16 . 23) (17 . 24) (18 . 25)) 6266 0.3668 10.6320 ((10 . 1) (12 . 4) (14 . 7) (17 . 11)) 6268 0.3986 13.7309 ((14 . 8) (15 . 9) (16 . 10) (18 . 13)) 6270 0.2411 14.9999 ((9 . 11) (12 . 16) (14 . 19) (17 . 23)) 6271 0.2800 10.4300 ((11 . 6) (13 . 9) (16 . 13) (17 . 14)) 6294 0.3996 10.0769 ((9 . 10) (13 . 19) (16 . 24) (18 . 28)) 6329 0.3997 9.0939 ((9 . 3) (10 . 4) (17 . 13) (18 . 15)) 6344 0.3999 7.3031 ((11 . 2) (12 . 5) (16 . 10) (17 . 11)) 6345 0.3995 10.9016 ((10 . 1) (11 . 2) (15 . 8) (16 . 9)) 6348 0.3670 7.3456 ((9 . 2) (10 . 3) (12 . 6) (13 . 8)) 6356 0.2411 14.8421 ((9 . 3) (11 . 5) (15 . 12) (18 . 17)) 6359 0.3998 8.8644 ((10 . 4) (11 . 5) (12 . 6) (14 . 8)) 6369 0.3822 8.7948 ((9 . 28) (11 . 30) (14 . 36) (16 . 39)) 6376 0.3668 10.4195 ((10 . 16) (12 . 18) (14 . 23) (17 . 29)) 6384 0.4000 5.8696 ((11 . 3) (12 . 4) (13 . 5) (14 . 6)) 6391 0.3823 7.7445 ((9 . 1) (10 . 2) (15 . 7) (16 . 9)) 6392 0.3987 13.4450 ((11 . 2) (12 . 5) (13 . 6) (16 . 10)) 6434 0.3995 10.5469 ((9 . 1) (12 . 6) (13 . 7) (15 . 9)) 6461 0.3362 10.5957 ((10 . 1) (11 . 4) (12 . 5) (14 . 7)) 6462 0.3997 8.9486 ((11 . 14) (16 . 21) (17 . 23) (18 . 26)) 6498 0.3993 11.7648 ((11 . 35) (12 . 36) (14 . 39) (17 . 46)) 6506 0.3996 9.9191 ((9 . 23) (10 . 24) (11 . 25) (14 . 29)) 6520 0.3999 7.5355 ((13 . 11) (14 . 12) (17 . 18) (18 . 21)) 6536 0.3998 8.8153 ((11 . 27) (12 . 28) (13 . 29) (14 . 30)) 6553 0.1970 10.3581 ((9 . 10) (14 . 19) (17 . 27) (18 . 28)) 6573 0.3362 9.8404 ((12 . 15) (13 . 16) (16 . 18) (17 . 20)) 6578 0.3992 12.0249 ((14 . 36) (16 . 39) (17 . 40) (18 . 41)) 6587 0.3994 11.2414 ((12 . 28) (14 . 32) (16 . 35) (17 . 36)) 6605 0.3999 7.7823 ((12 . 3) (13 . 4) (14 . 5) (16 . 7)) 6613 0.3987 13.6415 ((10 . 15) (12 . 19) (16 . 25) (17 . 26)) 6622 0.3999 7.8503 ((11 . 2) (12 . 4) (13 . 5) (17 . 10)) END