4716 25 0.2799 13.5285 ((1 . 1) (6 . 4) (9 . 9) (10 . 10)) 91 0.3995 10.7735 ((1 . 30) (3 . 32) (4 . 35) (6 . 36)) 155 0.2412 9.9239 ((2 . 1) (6 . 4) (8 . 6) (9 . 7)) 157 0.2412 10.0623 ((1 . 2) (3 . 4) (7 . 10) (8 . 12)) 207 0.3998 8.4915 ((3 . 14) (4 . 16) (5 . 17) (6 . 19)) 259 0.3362 9.9310 ((4 . 1) (6 . 3) (8 . 5) (9 . 6)) 293 0.4986 10.4059 ((3 . 2) (4 . 3) (5 . 4) (7 . 5) (8 . 6)) 307 0.3360 11.8562 ((2 . 2) (4 . 6) (6 . 8) (7 . 10)) 317 0.3360 11.8794 ((1 . 1) (3 . 2) (7 . 6) (8 . 8)) 329 0.2411 14.5947 ((1 . 3) (3 . 7) (4 . 8) (5 . 9)) 351 0.3999 7.2029 ((4 . 6) (5 . 7) (6 . 8) (7 . 9)) 361 0.1970 10.7393 ((2 . 3) (4 . 5) (7 . 7) (8 . 9)) 442 0.3978 15.5146 ((1 . 13) (3 . 15) (4 . 16) (5 . 18)) 472 0.2799 11.7960 ((1 . 24) (3 . 28) (4 . 29) (7 . 34)) 541 0.2800 11.1568 ((1 . 4) (4 . 9) (5 . 10) (7 . 13)) 543 0.3993 11.5843 ((3 . 3) (6 . 7) (9 . 13) (10 . 14)) 553 0.4994 8.2924 ((3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 609 0.3361 10.6383 ((6 . 2) (7 . 4) (8 . 5) (10 . 7)) 624 0.3819 11.3598 ((1 . 12) (3 . 14) (6 . 18) (7 . 19)) 672 0.3659 14.7420 ((1 . 2) (3 . 4) (6 . 8) (9 . 12)) 678 0.3997 8.9585 ((5 . 30) (6 . 31) (7 . 32) (8 . 33)) 729 0.3359 13.2694 ((2 . 14) (7 . 21) (8 . 22) (10 . 23)) 782 0.3999 7.6093 ((1 . 8) (4 . 11) (5 . 12) (6 . 13)) 792 0.3999 7.0005 ((3 . 13) (4 . 14) (5 . 16) (7 . 17)) 818 0.3669 9.0831 ((3 . 3) (4 . 5) (7 . 9) (8 . 11)) 834 0.4989 9.7338 ((1 . 35) (2 . 36) (3 . 38) (6 . 41) (7 . 43)) 901 0.1970 12.1828 ((4 . 13) (8 . 18) (9 . 19) (10 . 21)) 928 0.1493 10.4287 ((3 . 11) (6 . 15) (8 . 17) (10 . 19)) 960 0.3815 12.7808 ((1 . 23) (2 . 24) (3 . 25) (4 . 26)) 978 0.3995 10.8653 ((1 . 8) (2 . 9) (3 . 11) (4 . 12)) 1007 0.3669 9.0336 ((1 . 4) (2 . 5) (4 . 6) (10 . 15)) 1034 0.1654 13.1175 ((3 . 24) (6 . 27) (8 . 31) (10 . 36)) 1082 0.2412 13.6976 ((2 . 17) (3 . 18) (4 . 20) (10 . 25)) 1124 0.3997 9.2860 ((4 . 9) (5 . 10) (9 . 13) (10 . 14)) 1165 0.3997 9.0361 ((1 . 9) (4 . 13) (6 . 15) (8 . 17)) 1167 0.2412 13.2453 ((4 . 24) (5 . 26) (8 . 28) (10 . 29)) 1201 0.3993 11.4688 ((1 . 2) (4 . 5) (7 . 10) (10 . 13)) 1204 0.3998 8.1761 ((5 . 26) (6 . 27) (9 . 32) (10 . 33)) 1210 0.3999 6.0934 ((3 . 2) (4 . 3) (5 . 4) (7 . 5)) 1267 0.3662 13.7791 ((3 . 16) (5 . 18) (7 . 20) (10 . 25)) 1268 0.3997 9.3226 ((3 . 11) (7 . 16) (8 . 17) (10 . 18)) 1345 0.3815 12.9090 ((1 . 11) (3 . 15) (5 . 17) (7 . 19)) 1388 0.3997 9.6047 ((3 . 2) (4 . 3) (8 . 7) (10 . 10)) 1395 0.3994 11.2170 ((2 . 2) (3 . 3) (5 . 4) (7 . 5)) 1415 0.3997 9.0530 ((3 . 1) (4 . 2) (7 . 5) (8 . 6)) 1447 0.3822 8.9088 ((3 . 4) (5 . 6) (8 . 10) (9 . 12)) 1470 0.4000 4.6887 ((4 . 15) (6 . 16) (7 . 17) (8 . 18)) 1472 0.3352 16.1781 ((1 . 10) (2 . 11) (5 . 13) (7 . 14)) 1497 0.3998 8.0472 ((3 . 18) (4 . 19) (5 . 20) (7 . 23)) 1508 0.2412 10.1956 ((1 . 1) (2 . 3) (3 . 4) (4 . 6)) 1513 0.1969 16.4497 ((1 . 1) (4 . 4) (7 . 9) (9 . 12)) 1604 0.3668 10.6354 ((1 . 6) (3 . 9) (5 . 11) (8 . 14)) 1690 0.3997 9.5330 ((1 . 26) (2 . 27) (3 . 28) (4 . 29)) 1724 0.4998 6.4788 ((4 . 1) (5 . 3) (6 . 4) (7 . 6) (8 . 8)) 1736 0.3997 9.3084 ((3 . 4) (5 . 6) (7 . 8) (8 . 9)) 1738 0.1329 9.8896 ((3 . 10) (5 . 15) (6 . 16) (8 . 20)) 1763 0.3360 12.5490 ((4 . 1) (7 . 4) (8 . 6) (10 . 8)) 1776 0.3990 12.5575 ((5 . 6) (6 . 8) (8 . 11) (10 . 13)) 1778 0.3661 14.2009 ((4 . 6) (7 . 10) (8 . 11) (10 . 13)) 1793 0.3357 14.1792 ((1 . 9) (6 . 15) (8 . 17) (9 . 18)) 1796 0.3668 10.2652 ((4 . 1) (6 . 3) (8 . 4) (9 . 5)) 1896 0.3666 12.0668 ((3 . 10) (6 . 15) (8 . 18) (10 . 21)) 1908 0.3998 8.8701 ((1 . 5) (4 . 8) (5 . 9) (7 . 14)) 1909 0.3359 12.7062 ((3 . 24) (7 . 30) (8 . 32) (9 . 33)) 1972 0.0999 11.4162 ((3 . 17) (5 . 19) (6 . 21) (9 . 25)) 1987 0.3999 7.3417 ((3 . 9) (4 . 10) (5 . 11) (6 . 12)) 2048 0.3669 9.4937 ((3 . 9) (4 . 10) (5 . 12) (7 . 14)) 2067 0.3989 12.9365 ((1 . 6) (2 . 8) (6 . 17) (7 . 18)) 2081 0.3997 9.3196 ((6 . 13) (7 . 14) (8 . 16) (10 . 18)) 2094 0.3670 6.8881 ((3 . 1) (6 . 4) (7 . 6) (8 . 7)) 2117 0.1970 8.8527 ((1 . 13) (3 . 19) (4 . 21) (6 . 24)) 2122 0.3993 11.4720 ((2 . 9) (4 . 11) (7 . 16) (9 . 20)) 2166 0.3999 7.5372 ((1 . 1) (2 . 2) (7 . 10) (9 . 22)) 2179 0.2412 10.6178 ((4 . 12) (8 . 16) (9 . 18) (10 . 19)) 2233 0.1247 10.9681 ((1 . 1) (2 . 2) (4 . 6) (5 . 7)) 2249 0.3983 14.4102 ((1 . 1) (2 . 2) (7 . 8) (8 . 9)) 2295 0.3992 11.9067 ((1 . 2) (4 . 4) (6 . 6) (8 . 7)) 2298 0.3995 10.6089 ((1 . 9) (3 . 11) (5 . 14) (6 . 16)) 2342 0.4000 5.7450 ((3 . 8) (4 . 9) (5 . 10) (7 . 11)) 2344 0.3999 6.4519 ((1 . 19) (4 . 22) (5 . 23) (6 . 24)) 2364 0.1654 13.1432 ((1 . 8) (2 . 10) (3 . 11) (5 . 16)) 2443 0.7992 5.0841 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (7 . 5) (8 . 6) (9 . 7) (10 . 8)) 2447 0.3977 15.5812 ((3 . 19) (6 . 26) (9 . 29) (10 . 32)) 2465 0.3362 9.7422 ((1 . 1) (3 . 3) (4 . 4) (6 . 6)) 2510 0.3337 20.2318 ((1 . 18) (7 . 28) (8 . 29) (10 . 30)) 2519 0.1493 10.0340 ((2 . 1) (4 . 3) (5 . 4) (8 . 6)) 2525 0.1329 7.4822 ((4 . 44) (5 . 46) (8 . 49) (10 . 52)) 2533 0.3977 15.6332 ((1 . 11) (4 . 14) (5 . 16) (6 . 17)) 2551 0.3670 8.7354 ((2 . 5) (3 . 6) (5 . 8) (7 . 10)) 2556 0.1329 8.8009 ((2 . 14) (3 . 15) (7 . 21) (8 . 23)) 2591 0.3994 11.2511 ((5 . 37) (7 . 39) (9 . 41) (10 . 42)) 2595 0.3998 8.7782 ((1 . 5) (3 . 7) (8 . 14) (9 . 15)) 2627 0.4993 8.6846 ((4 . 53) (5 . 54) (6 . 55) (7 . 56) (8 . 57)) 2634 0.4983 10.9393 ((3 . 2) (4 . 3) (5 . 5) (7 . 7) (8 . 8)) 2658 0.3986 13.6936 ((1 . 4) (2 . 5) (5 . 8) (6 . 9)) 2682 0.3669 9.3225 ((2 . 6) (5 . 10) (9 . 16) (10 . 18)) 2733 0.3999 7.3975 ((3 . 7) (4 . 9) (6 . 12) (8 . 14)) 2753 0.3997 9.6284 ((4 . 3) (6 . 5) (7 . 6) (8 . 7)) 2821 0.3998 8.3463 ((1 . 6) (3 . 10) (4 . 12) (6 . 14)) 2842 0.3359 12.6793 ((1 . 8) (3 . 10) (5 . 12) (6 . 13)) 2947 0.3990 12.8082 ((1 . 8) (3 . 9) (6 . 16) (7 . 17)) 3014 0.4000 5.4597 ((1 . 19) (2 . 20) (3 . 21) (9 . 31)) 3041 0.3992 11.9189 ((2 . 13) (4 . 15) (6 . 17) (8 . 20)) 3070 0.3996 9.7403 ((3 . 30) (4 . 31) (6 . 34) (8 . 37)) 3084 0.3362 10.3562 ((2 . 1) (3 . 2) (5 . 4) (8 . 6)) 3127 0.1970 9.1302 ((5 . 12) (7 . 16) (8 . 17) (9 . 18)) 3176 0.3997 9.0800 ((3 . 33) (5 . 34) (9 . 36) (10 . 37)) 3190 0.1970 10.0709 ((2 . 2) (4 . 4) (7 . 10) (9 . 12)) 3197 0.3666 12.0003 ((1 . 15) (3 . 17) (5 . 20) (7 . 22)) 3200 0.3667 11.2375 ((4 . 7) (5 . 8) (7 . 12) (10 . 14)) 3202 0.3985 14.0880 ((3 . 15) (7 . 20) (8 . 21) (10 . 24)) 3222 0.3970 16.7077 ((3 . 9) (5 . 13) (8 . 17) (10 . 22)) 3286 0.3998 8.1588 ((2 . 2) (6 . 10) (7 . 12) (8 . 15)) 3310 0.3993 11.5471 ((2 . 2) (4 . 4) (5 . 5) (8 . 7)) 3322 0.4993 8.8189 ((2 . 2) (3 . 4) (4 . 6) (6 . 8) (7 . 10)) 3339 0.3999 6.9690 ((1 . 4) (3 . 8) (4 . 10) (7 . 14)) 3358 0.3818 11.4125 ((3 . 3) (4 . 5) (7 . 9) (9 . 11)) 3391 0.3998 8.4796 ((1 . 12) (4 . 15) (7 . 18) (8 . 20)) 3410 0.2800 10.9664 ((3 . 20) (5 . 23) (8 . 27) (9 . 29)) 3415 0.3984 14.1715 ((1 . 20) (2 . 21) (4 . 23) (5 . 24)) 3446 0.3989 13.1138 ((1 . 9) (3 . 10) (5 . 12) (7 . 13)) 3470 0.3995 10.6446 ((3 . 12) (4 . 13) (5 . 14) (9 . 17)) 3495 0.4000 5.9229 ((5 . 10) (7 . 13) (8 . 14) (10 . 17)) 3537 0.3664 12.8591 ((1 . 1) (2 . 3) (5 . 8) (8 . 11)) 3561 0.3667 10.9167 ((1 . 17) (3 . 21) (6 . 25) (10 . 32)) 3613 0.3998 8.4191 ((4 . 42) (5 . 43) (7 . 44) (8 . 45)) 3651 0.3995 10.6412 ((3 . 15) (5 . 20) (8 . 25) (9 . 26)) 3658 0.3994 11.3410 ((1 . 13) (3 . 14) (4 . 15) (5 . 16)) 3661 0.3990 12.7315 ((1 . 4) (3 . 6) (7 . 13) (10 . 18)) 3663 0.3992 12.0428 ((3 . 3) (4 . 4) (5 . 6) (7 . 7)) 3733 0.3667 10.8741 ((4 . 2) (6 . 4) (8 . 7) (10 . 9)) 3778 0.3359 12.8983 ((1 . 8) (3 . 9) (6 . 17) (7 . 19)) 3787 0.3998 8.6560 ((1 . 20) (4 . 24) (5 . 25) (6 . 26)) 3829 0.3992 11.8157 ((1 . 3) (2 . 4) (5 . 8) (7 . 11)) 3830 0.3982 14.7921 ((1 . 1) (4 . 3) (5 . 5) (8 . 6)) 3834 0.3999 6.1315 ((4 . 2) (6 . 5) (7 . 6) (8 . 8)) 3853 0.3667 11.3765 ((1 . 9) (3 . 11) (5 . 13) (8 . 19)) 3870 0.3999 7.3652 ((3 . 2) (4 . 4) (6 . 6) (9 . 9)) 3968 0.3669 9.4952 ((3 . 2) (6 . 7) (8 . 10) (10 . 12)) 4009 0.3993 11.4924 ((3 . 10) (6 . 16) (7 . 17) (8 . 18)) 4030 0.4000 5.7646 ((4 . 11) (5 . 13) (6 . 14) (7 . 15)) 4037 0.1654 5.0778 ((5 . 4) (6 . 5) (8 . 7) (9 . 8)) 4062 0.1970 9.5179 ((1 . 38) (3 . 39) (7 . 44) (8 . 45)) 4067 0.3990 12.7857 ((6 . 13) (8 . 15) (9 . 17) (10 . 19)) 4077 0.3361 10.7105 ((3 . 13) (4 . 14) (9 . 17) (10 . 18)) 4115 0.3669 9.5002 ((5 . 12) (8 . 14) (9 . 16) (10 . 18)) 4134 0.3999 7.7841 ((4 . 25) (5 . 26) (7 . 27) (8 . 28)) 4151 0.2412 11.5472 ((3 . 14) (5 . 16) (6 . 18) (7 . 20)) 4192 0.3667 10.9091 ((5 . 14) (6 . 16) (9 . 20) (10 . 21)) 4195 0.3998 8.3719 ((4 . 2) (5 . 3) (7 . 4) (8 . 5)) 4204 0.1970 10.7506 ((1 . 1) (2 . 2) (8 . 10) (9 . 12)) 4216 0.3979 15.3402 ((2 . 9) (7 . 13) (8 . 14) (10 . 16)) 4226 0.3345 18.4223 ((2 . 3) (3 . 5) (8 . 13) (10 . 17)) 4242 0.3989 12.8647 ((3 . 4) (4 . 6) (5 . 8) (8 . 10)) 4243 0.3549 5.7075 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (8 . 1) (9 . 2)) 4254 0.3995 10.6237 ((3 . 10) (4 . 12) (5 . 14) (6 . 16)) 4261 0.3997 9.2320 ((3 . 13) (4 . 14) (5 . 15) (7 . 17)) 4265 0.3995 10.4021 ((1 . 25) (3 . 27) (5 . 30) (6 . 31)) 4266 0.3998 8.2995 ((1 . 7) (3 . 9) (4 . 10) (8 . 18)) 4281 0.3995 10.6866 ((3 . 7) (4 . 9) (5 . 11) (8 . 16)) 4299 0.3995 10.8804 ((2 . 5) (4 . 7) (5 . 8) (9 . 13)) 4326 0.3997 9.7182 ((1 . 4) (2 . 5) (3 . 6) (4 . 8)) 4332 0.1969 17.1427 ((1 . 1) (3 . 3) (5 . 5) (7 . 8)) 4352 0.3988 13.2369 ((3 . 14) (5 . 15) (6 . 16) (7 . 17)) 4386 0.3793 17.8454 ((1 . 3) (4 . 5) (7 . 7) (10 . 11)) 4408 0.3359 13.2625 ((1 . 20) (3 . 22) (4 . 23) (5 . 24)) 4495 0.3994 10.9272 ((2 . 9) (4 . 11) (5 . 12) (6 . 13)) 4504 0.3670 7.2067 ((2 . 1) (3 . 2) (5 . 5) (8 . 10)) 4505 0.3995 10.6518 ((4 . 27) (8 . 31) (9 . 33) (10 . 35)) 4516 0.3996 10.0912 ((4 . 11) (5 . 13) (7 . 15) (8 . 17)) 4562 0.3999 7.3799 ((3 . 21) (4 . 23) (7 . 26) (9 . 30)) 4579 0.3997 9.6929 ((3 . 3) (4 . 26) (6 . 27) (9 . 32)) 4607 0.3996 10.0001 ((1 . 8) (4 . 13) (5 . 15) (6 . 16)) 4621 0.1654 9.0828 ((3 . 1) (4 . 2) (5 . 5) (9 . 10)) 4669 0.3992 12.0109 ((1 . 18) (3 . 20) (5 . 22) (6 . 23)) 4678 0.3991 12.3303 ((4 . 5) (6 . 7) (7 . 8) (8 . 9)) 4699 0.3995 10.7663 ((5 . 10) (7 . 11) (8 . 12) (9 . 13)) 4715 0.3992 11.9407 ((1 . 1) (2 . 2) (4 . 5) (8 . 10)) 4716 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10)) 4731 0.3994 11.1305 ((3 . 12) (4 . 13) (8 . 19) (9 . 20)) 4764 0.3999 7.8151 ((1 . 5) (2 . 6) (4 . 8) (7 . 10)) 4783 0.3990 12.7462 ((4 . 8) (5 . 9) (6 . 10) (9 . 12)) 4817 0.3997 9.7313 ((4 . 7) (5 . 9) (7 . 11) (8 . 13)) 4886 0.2797 15.0033 ((1 . 8) (5 . 13) (6 . 14) (8 . 15)) 4888 0.3997 9.6768 ((2 . 10) (3 . 11) (8 . 18) (10 . 19)) 4889 0.3994 11.2678 ((2 . 18) (3 . 19) (7 . 23) (8 . 24)) 4961 0.2412 13.1236 ((2 . 2) (4 . 4) (6 . 8) (8 . 11)) 4963 0.3660 14.2852 ((1 . 2) (2 . 3) (4 . 5) (8 . 8)) 4982 0.2800 10.0983 ((1 . 2) (8 . 11) (9 . 13) (10 . 15)) 4998 0.3361 11.2496 ((3 . 16) (4 . 17) (6 . 21) (9 . 24)) 5000 0.4997 7.1666 ((2 . 32) (3 . 33) (4 . 35) (5 . 36) (8 . 37)) 5016 0.3997 8.9677 ((3 . 6) (4 . 8) (5 . 9) (6 . 10)) 5065 0.1970 9.6766 ((3 . 1) (5 . 5) (6 . 6) (10 . 12)) 5068 0.3363 8.5350 ((3 . 3) (4 . 6) (6 . 9) (9 . 14)) 5069 0.1970 11.1559 ((4 . 1) (6 . 3) (8 . 6) (10 . 8)) 5073 0.2797 15.2719 ((1 . 33) (2 . 35) (3 . 37) (5 . 40)) 5080 0.3993 11.4835 ((4 . 5) (6 . 7) (7 . 8) (8 . 9)) 5092 0.3996 10.0985 ((4 . 9) (6 . 11) (9 . 14) (10 . 15)) 5101 0.3665 12.1667 ((1 . 17) (4 . 22) (8 . 27) (9 . 28)) 5103 0.2411 14.8634 ((1 . 7) (2 . 8) (5 . 11) (10 . 16)) 5132 0.3999 7.5684 ((3 . 19) (4 . 23) (5 . 24) (9 . 29)) 5134 0.3997 8.9583 ((2 . 5) (3 . 7) (8 . 11) (10 . 15)) 5167 0.2799 13.5851 ((1 . 7) (3 . 8) (4 . 10) (7 . 13)) 5192 0.3999 6.8592 ((2 . 22) (3 . 23) (5 . 26) (6 . 27)) 5212 0.3995 10.6557 ((3 . 18) (4 . 19) (5 . 20) (7 . 25)) 5223 0.3994 10.9671 ((4 . 9) (8 . 14) (9 . 16) (10 . 18)) 5266 0.3994 10.9937 ((2 . 3) (6 . 9) (7 . 11) (8 . 12)) 5285 0.2800 10.8818 ((1 . 1) (3 . 3) (4 . 4) (5 . 5)) 5307 0.3981 14.9803 ((1 . 52) (3 . 54) (5 . 56) (6 . 59)) 5318 0.3997 8.9889 ((1 . 17) (3 . 20) (8 . 27) (9 . 28)) 5323 0.3999 7.4070 ((1 . 9) (2 . 12) (3 . 13) (5 . 15)) 5324 0.3659 14.8566 ((1 . 17) (4 . 19) (5 . 21) (9 . 26)) 5442 0.3990 12.5881 ((4 . 31) (7 . 33) (8 . 34) (10 . 36)) 5487 0.3362 10.2615 ((2 . 1) (3 . 3) (6 . 8) (8 . 10)) 5500 0.3996 10.2717 ((1 . 6) (2 . 10) (4 . 13) (6 . 15)) 5501 0.4932 15.6095 ((1 . 22) (6 . 29) (7 . 32) (9 . 34) (10 . 35)) 5525 0.3971 16.6407 ((3 . 1) (4 . 2) (5 . 3) (10 . 9)) 5540 0.2410 17.8065 ((3 . 9) (4 . 13) (7 . 17) (10 . 21)) 5560 0.3660 14.2936 ((2 . 7) (3 . 8) (4 . 10) (10 . 16)) 5562 0.3998 7.9938 ((3 . 13) (6 . 18) (8 . 20) (9 . 21)) 5594 0.3996 10.1340 ((3 . 2) (6 . 5) (7 . 7) (8 . 8)) 5600 0.2412 11.6044 ((1 . 4) (3 . 7) (5 . 10) (7 . 12)) 5601 0.3997 9.1553 ((3 . 4) (4 . 6) (7 . 9) (8 . 11)) 5648 0.3999 7.2472 ((3 . 3) (4 . 4) (5 . 5) (6 . 6)) 5656 0.4000 5.0257 ((2 . 11) (3 . 12) (5 . 17) (7 . 19)) 5689 0.3817 12.2742 ((2 . 3) (4 . 7) (9 . 10) (10 . 11)) 5701 0.3653 16.2669 ((3 . 7) (5 . 10) (8 . 13) (10 . 15)) 5702 0.3817 12.2040 ((2 . 3) (4 . 7) (9 . 10) (10 . 11)) 5704 0.4524 10.1847 ((3 . 3) (4 . 4) (5 . 5) (7 . 6) (8 . 7)) 5770 0.3799 16.8493 ((1 . 5) (3 . 7) (5 . 10) (8 . 18)) 5771 0.3664 12.7696 ((2 . 7) (3 . 8) (4 . 10) (8 . 16)) 5782 0.3992 11.8018 ((1 . 3) (4 . 7) (7 . 9) (8 . 11)) 5789 0.3990 12.7891 ((1 . 1) (4 . 3) (6 . 4) (8 . 6)) 5795 0.3989 12.8994 ((3 . 2) (4 . 3) (5 . 5) (8 . 8)) 5809 0.2409 18.5797 ((3 . 2) (7 . 6) (9 . 8) (10 . 10)) 5827 0.3361 11.6015 ((1 . 6) (2 . 10) (3 . 12) (10 . 18)) 5878 0.3999 6.2450 ((2 . 13) (8 . 22) (9 . 23) (10 . 24)) 5913 0.3670 6.8228 ((4 . 1) (6 . 8) (9 . 11) (10 . 12)) 5939 0.3360 12.0472 ((2 . 5) (4 . 7) (7 . 12) (9 . 15)) 5945 0.4000 5.0052 ((1 . 25) (3 . 29) (4 . 30) (8 . 31)) 5949 0.3360 11.9946 ((3 . 15) (6 . 19) (7 . 20) (8 . 21)) 5955 0.2413 8.7565 ((1 . 8) (2 . 10) (3 . 12) (4 . 13)) 5967 0.1654 10.0794 ((6 . 2) (8 . 6) (9 . 8) (10 . 10)) 6000 0.3994 11.1564 ((5 . 6) (7 . 7) (8 . 8) (10 . 11)) 6029 0.3670 7.7824 ((4 . 2) (8 . 7) (9 . 8) (10 . 9)) 6033 0.3999 6.9806 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 6041 0.3998 8.1458 ((4 . 3) (5 . 4) (6 . 5) (9 . 9)) 6075 0.3669 9.6930 ((1 . 19) (3 . 22) (4 . 23) (8 . 30)) 6079 0.4531 5.5820 ((4 . 12) (5 . 15) (6 . 16) (7 . 17) (8 . 18)) 6087 0.1493 15.0338 ((1 . 4) (3 . 7) (4 . 9) (5 . 11)) 6089 0.3998 8.6558 ((1 . 8) (2 . 15) (3 . 22) (10 . 30)) 6099 0.1970 10.2161 ((2 . 12) (4 . 15) (7 . 19) (9 . 21)) 6169 0.3998 8.5577 ((4 . 12) (6 . 13) (7 . 14) (8 . 16)) 6192 0.2800 8.8773 ((1 . 4) (3 . 7) (8 . 15) (9 . 16)) 6228 0.3659 14.9013 ((1 . 10) (3 . 13) (4 . 16) (5 . 17)) 6243 0.3997 9.2303 ((3 . 7) (5 . 9) (7 . 11) (8 . 12)) 6258 0.3978 15.4858 ((1 . 1) (3 . 2) (5 . 8) (8 . 11)) 6266 0.3996 9.9157 ((4 . 4) (5 . 7) (6 . 9) (8 . 12)) 6268 0.1970 12.2133 ((4 . 8) (7 . 11) (9 . 13) (10 . 14)) 6294 0.3998 8.7904 ((1 . 5) (3 . 7) (4 . 10) (6 . 12)) 6329 0.3999 7.0791 ((2 . 13) (3 . 14) (5 . 16) (6 . 17)) 6348 0.1970 12.4484 ((2 . 5) (3 . 6) (5 . 8) (6 . 10)) 6356 0.3998 8.6668 ((2 . 5) (5 . 10) (7 . 12) (8 . 14)) 6359 0.3999 6.2055 ((4 . 3) (5 . 4) (6 . 5) (7 . 6)) 6369 0.2412 11.4916 ((5 . 23) (6 . 25) (9 . 28) (10 . 30)) 6384 0.3999 7.7199 ((4 . 3) (5 . 4) (7 . 5) (8 . 6)) 6392 0.3998 7.9136 ((5 . 2) (6 . 4) (7 . 5) (8 . 6)) 6403 0.3987 13.5448 ((3 . 9) (4 . 11) (8 . 16) (10 . 18)) 6434 0.2413 9.8794 ((6 . 6) (7 . 7) (8 . 8) (9 . 9)) 6461 0.3985 13.9621 ((1 . 1) (4 . 4) (5 . 5) (8 . 7)) 6462 0.3657 15.4693 ((1 . 8) (4 . 11) (6 . 14) (10 . 19)) 6498 0.3991 12.1769 ((3 . 22) (4 . 26) (8 . 30) (10 . 32)) 6506 0.4718 5.9102 ((4 . 23) (5 . 24) (7 . 25) (8 . 27) (9 . 28)) 6536 0.3998 8.9036 ((4 . 29) (5 . 30) (7 . 33) (8 . 34)) 6548 0.3915 21.9201 ((1 . 3) (3 . 4) (4 . 6) (10 . 14)) 6585 0.3361 11.5259 ((4 . 3) (6 . 5) (7 . 7) (9 . 9)) 6586 0.1970 9.2173 ((2 . 16) (3 . 17) (4 . 19) (7 . 23)) 6587 0.3358 13.2991 ((2 . 28) (4 . 30) (7 . 35) (8 . 36)) 6605 0.3990 12.5986 ((1 . 3) (2 . 4) (4 . 6) (5 . 7)) 6613 0.1969 15.1692 ((2 . 11) (4 . 15) (7 . 19) (10 . 23)) 6622 0.4989 9.9145 ((3 . 4) (4 . 5) (5 . 6) (7 . 8) (8 . 10)) 6635 0.3362 9.3187 ((3 . 2) (4 . 3) (6 . 6) (9 . 10)) END