4783 25 0.4439 9.3441 ((2 . 2) (6 . 5) (9 . 12) (10 . 13)) 77 0.4392 16.9297 ((1 . 1) (2 . 2) (3 . 3) (10 . 16)) 91 0.4422 13.6258 ((2 . 18) (3 . 22) (8 . 30) (10 . 32)) 136 0.1331 13.6744 ((6 . 2) (7 . 4) (8 . 6) (10 . 9)) 147 0.4144 13.8636 ((3 . 1) (6 . 2) (7 . 5) (8 . 6)) 157 0.4426 12.8680 ((1 . 6) (2 . 12) (3 . 13) (8 . 22)) 207 0.4434 11.1399 ((7 . 11) (8 . 12) (9 . 14) (12 . 19)) 259 0.2441 11.1077 ((8 . 1) (9 . 3) (10 . 5) (12 . 6)) 293 0.5529 10.7072 ((2 . 1) (6 . 3) (7 . 4) (8 . 5) (10 . 6)) 305 0.4418 14.2115 ((2 . 10) (3 . 13) (6 . 14) (10 . 25)) 307 0.2859 13.4427 ((3 . 2) (6 . 6) (7 . 8) (8 . 10)) 317 0.4436 10.7714 ((1 . 4) (2 . 6) (8 . 9) (10 . 10)) 351 0.4424 13.3316 ((6 . 2) (7 . 4) (8 . 5) (9 . 6)) 361 0.1979 15.3605 ((6 . 5) (8 . 7) (9 . 9) (10 . 13)) 442 0.3522 11.4683 ((1 . 3) (3 . 11) (7 . 13) (10 . 18)) 472 0.3931 11.3525 ((2 . 23) (3 . 24) (6 . 28) (7 . 29)) 495 0.3521 12.4700 ((8 . 4) (9 . 6) (10 . 10) (12 . 12)) 543 0.1658 13.7042 ((6 . 3) (8 . 7) (9 . 9) (12 . 14)) 553 0.4440 8.8813 ((1 . 10) (2 . 14) (6 . 21) (7 . 22)) 584 0.4412 14.9671 ((2 . 1) (8 . 6) (9 . 9) (10 . 12)) 624 0.4429 12.2881 ((3 . 12) (8 . 19) (10 . 21) (12 . 25)) 672 0.4396 16.6040 ((1 . 2) (2 . 4) (6 . 8) (8 . 12)) 678 0.4438 9.9919 ((1 . 27) (3 . 30) (9 . 40) (10 . 41)) 782 0.3924 13.7898 ((6 . 1) (7 . 3) (9 . 5) (10 . 7)) 792 0.4439 9.5631 ((1 . 1) (2 . 3) (6 . 8) (10 . 14)) 834 0.4437 10.1354 ((7 . 34) (9 . 37) (10 . 38) (12 . 41)) 861 0.3921 14.5294 ((1 . 4) (2 . 5) (6 . 6) (9 . 11)) 901 0.4432 11.6170 ((2 . 2) (3 . 3) (7 . 8) (10 . 13)) 928 0.3515 15.1493 ((1 . 9) (3 . 13) (7 . 17) (8 . 19)) 945 0.4430 12.1269 ((2 . 13) (3 . 16) (6 . 18) (7 . 20)) 960 0.4434 11.3509 ((2 . 30) (3 . 31) (7 . 34) (10 . 39)) 978 0.3525 9.1204 ((3 . 8) (6 . 11) (7 . 12) (10 . 18)) 1034 0.3914 15.8888 ((2 . 19) (6 . 24) (8 . 27) (12 . 36)) 1043 0.2861 10.1989 ((1 . 5) (2 . 9) (3 . 11) (8 . 18)) 1082 0.5490 13.5278 ((1 . 13) (2 . 20) (7 . 23) (8 . 25) (10 . 29)) 1084 0.2440 12.8759 ((2 . 4) (3 . 6) (7 . 15) (12 . 22)) 1124 0.4425 13.1556 ((3 . 8) (6 . 10) (7 . 11) (10 . 15)) 1165 0.4437 10.1933 ((6 . 9) (8 . 14) (10 . 16) (12 . 20)) 1201 0.4433 11.3802 ((7 . 5) (9 . 8) (10 . 10) (12 . 13)) 1204 0.4438 9.9787 ((7 . 13) (8 . 15) (10 . 18) (12 . 21)) 1210 0.4430 12.2302 ((6 . 3) (7 . 4) (8 . 6) (9 . 7)) 1267 0.4442 8.0140 ((1 . 6) (2 . 8) (8 . 18) (10 . 20)) 1268 0.4437 10.2214 ((2 . 10) (6 . 16) (7 . 17) (12 . 26)) 1301 0.4387 17.3256 ((1 . 2) (2 . 3) (3 . 6) (6 . 8)) 1345 0.4156 10.3291 ((1 . 10) (3 . 15) (6 . 17) (7 . 19)) 1388 0.1979 15.8975 ((3 . 2) (7 . 7) (8 . 10) (10 . 12)) 1395 0.4421 13.7876 ((7 . 1) (8 . 2) (9 . 3) (10 . 4)) 1415 0.4435 10.8663 ((2 . 1) (3 . 3) (6 . 5) (7 . 6)) 1447 0.1658 10.4481 ((3 . 2) (6 . 4) (9 . 10) (10 . 12)) 1470 0.5543 8.8476 ((1 . 5) (2 . 6) (6 . 10) (7 . 11) (9 . 14)) 1472 0.4441 8.6462 ((2 . 3) (7 . 10) (9 . 12) (10 . 13)) 1497 0.4433 11.5517 ((7 . 29) (8 . 30) (9 . 31) (10 . 33)) 1513 0.3916 15.6089 ((2 . 1) (6 . 7) (10 . 14) (12 . 16)) 1591 0.4428 12.6798 ((2 . 2) (3 . 3) (7 . 7) (10 . 10)) 1595 0.2441 10.5151 ((3 . 1) (6 . 2) (7 . 6) (8 . 9)) 1604 0.4437 10.4065 ((3 . 6) (7 . 11) (8 . 13) (10 . 16)) 1643 0.4398 16.3894 ((3 . 19) (6 . 21) (8 . 29) (10 . 35)) 1690 0.4432 11.6976 ((1 . 7) (2 . 9) (10 . 23) (12 . 26)) 1724 0.2861 10.0460 ((1 . 1) (2 . 4) (3 . 5) (6 . 8)) 1736 0.2857 16.3142 ((7 . 2) (8 . 4) (10 . 6) (12 . 8)) 1738 0.2857 15.6357 ((2 . 5) (3 . 10) (7 . 15) (10 . 25)) 1763 0.3518 13.8225 ((2 . 6) (3 . 8) (6 . 11) (7 . 12)) 1776 0.4440 9.2126 ((1 . 6) (8 . 10) (10 . 21) (12 . 25)) 1778 0.2441 11.3177 ((3 . 6) (6 . 10) (7 . 11) (8 . 13)) 1796 0.4422 13.6715 ((6 . 1) (8 . 4) (9 . 5) (10 . 6)) 1894 0.3511 16.5482 ((7 . 1) (9 . 4) (10 . 6) (12 . 9)) 1896 0.4422 13.5466 ((2 . 12) (3 . 13) (6 . 15) (7 . 18)) 1897 0.2860 12.5615 ((2 . 37) (3 . 38) (7 . 44) (8 . 48)) 1908 0.3520 12.8799 ((2 . 1) (3 . 2) (8 . 6) (9 . 8)) 1909 0.3521 12.5299 ((2 . 24) (3 . 26) (6 . 30) (7 . 33)) 1944 0.1658 17.3675 ((3 . 2) (6 . 4) (8 . 6) (10 . 12)) 1957 0.1978 20.3634 ((1 . 6) (3 . 12) (7 . 16) (10 . 20)) 1967 0.4437 10.4727 ((2 . 4) (3 . 6) (7 . 11) (8 . 15)) 1987 0.3523 10.6368 ((2 . 9) (6 . 12) (7 . 13) (8 . 15)) 2048 0.4155 10.7719 ((6 . 2) (7 . 3) (8 . 5) (12 . 14)) 2054 0.3523 10.9791 ((2 . 9) (3 . 11) (6 . 15) (7 . 16)) 2067 0.4438 9.7816 ((2 . 5) (3 . 6) (8 . 17) (10 . 18)) 2081 0.2858 15.5226 ((6 . 11) (7 . 13) (8 . 16) (9 . 18)) 2117 0.4437 10.3279 ((2 . 2) (3 . 3) (7 . 8) (10 . 13)) 2122 0.4436 10.4863 ((1 . 5) (6 . 11) (10 . 21) (12 . 23)) 2179 0.2861 10.8966 ((2 . 3) (7 . 12) (9 . 15) (10 . 16)) 2233 0.4422 13.6080 ((6 . 1) (8 . 6) (9 . 7) (10 . 8)) 2249 0.4411 15.0562 ((1 . 3) (2 . 8) (7 . 10) (10 . 19)) 2269 0.3489 20.6571 ((3 . 2) (8 . 9) (10 . 11) (12 . 13)) 2295 0.1980 10.5095 ((2 . 1) (6 . 4) (7 . 6) (8 . 7)) 2308 0.3878 20.2749 ((3 . 1) (8 . 7) (10 . 10) (12 . 12)) 2342 0.4441 8.2738 ((2 . 1) (6 . 3) (7 . 4) (9 . 7)) 2344 0.2861 9.6062 ((3 . 2) (7 . 8) (8 . 9) (10 . 15)) 2364 0.3932 10.7955 ((6 . 1) (7 . 2) (8 . 6) (12 . 16)) 2440 0.2440 12.2700 ((1 . 5) (3 . 10) (6 . 12) (9 . 19)) 2443 0.4438 9.8481 ((3 . 1) (6 . 4) (7 . 5) (12 . 10)) 2447 0.4412 14.9891 ((1 . 12) (7 . 22) (8 . 27) (12 . 32)) 2510 0.4384 17.5716 ((2 . 8) (6 . 13) (8 . 18) (12 . 26)) 2533 0.4443 6.6992 ((3 . 7) (7 . 11) (9 . 16) (10 . 17)) 2544 0.4435 10.9481 ((1 . 18) (2 . 19) (3 . 21) (6 . 24)) 2551 0.1980 12.4804 ((1 . 4) (2 . 6) (3 . 7) (6 . 10)) 2591 0.4434 11.3565 ((3 . 34) (6 . 36) (9 . 39) (10 . 40)) 2627 0.4437 10.4210 ((6 . 53) (7 . 54) (8 . 56) (12 . 59)) 2634 0.4437 10.1755 ((3 . 1) (6 . 3) (7 . 5) (8 . 7)) 2658 0.3521 12.7607 ((7 . 4) (8 . 6) (10 . 8) (12 . 11)) 2682 0.3910 16.6676 ((6 . 4) (7 . 6) (8 . 10) (12 . 18)) 2703 0.2441 10.0333 ((6 . 1) (7 . 3) (9 . 5) (10 . 6)) 2753 0.4442 8.1272 ((1 . 3) (2 . 6) (6 . 8) (8 . 11)) 2830 0.3883 19.8007 ((3 . 6) (6 . 10) (7 . 12) (12 . 18)) 2834 0.1658 15.6911 ((3 . 2) (6 . 7) (8 . 10) (10 . 13)) 2840 0.3931 11.1997 ((3 . 2) (6 . 3) (7 . 7) (8 . 10)) 2842 0.4432 11.7348 ((6 . 3) (7 . 6) (8 . 8) (10 . 10)) 2867 0.2441 11.4354 ((3 . 1) (6 . 3) (9 . 10) (10 . 11)) 2947 0.4427 12.8178 ((1 . 8) (2 . 9) (7 . 17) (10 . 22)) 2950 0.2859 13.5740 ((6 . 7) (8 . 10) (10 . 12) (12 . 13)) 2990 0.2859 14.2078 ((3 . 8) (6 . 10) (10 . 18) (12 . 21)) 3014 0.4157 9.8140 ((3 . 10) (6 . 12) (8 . 15) (9 . 16)) 3019 0.4439 9.5298 ((1 . 12) (2 . 15) (7 . 18) (10 . 24)) 3041 0.3927 12.7835 ((3 . 3) (6 . 5) (7 . 7) (9 . 10)) 3070 0.4424 13.2303 ((7 . 30) (8 . 31) (10 . 34) (12 . 37)) 3084 0.4433 11.5431 ((1 . 1) (2 . 2) (8 . 10) (12 . 14)) 3127 0.3525 8.5971 ((1 . 5) (3 . 9) (7 . 16) (8 . 18)) 3176 0.4422 13.5378 ((1 . 32) (2 . 33) (8 . 37) (9 . 39)) 3197 0.4420 13.9239 ((3 . 13) (7 . 17) (10 . 23) (12 . 27)) 3200 0.4409 15.3273 ((1 . 2) (2 . 7) (6 . 12) (7 . 14)) 3202 0.4441 8.2083 ((1 . 7) (2 . 10) (7 . 15) (10 . 21)) 3212 0.1495 16.4035 ((3 . 1) (7 . 7) (8 . 10) (9 . 11)) 3286 0.4421 13.7168 ((1 . 8) (2 . 10) (3 . 12) (6 . 15)) 3310 0.3519 13.7984 ((6 . 2) (7 . 4) (9 . 6) (10 . 7)) 3339 0.4435 10.8223 ((7 . 18) (8 . 20) (10 . 23) (12 . 25)) 3362 0.3930 11.5894 ((6 . 5) (7 . 7) (8 . 12) (9 . 13)) 3391 0.4429 12.4751 ((7 . 12) (8 . 14) (10 . 16) (12 . 18)) 3415 0.4443 7.2835 ((1 . 18) (2 . 20) (3 . 21) (6 . 23)) 3446 0.4438 9.8196 ((2 . 2) (6 . 4) (7 . 8) (9 . 10)) 3470 0.4425 13.0453 ((1 . 9) (2 . 10) (3 . 11) (7 . 14)) 3495 0.4427 12.7129 ((1 . 6) (2 . 9) (7 . 14) (8 . 17)) 3496 0.3934 9.6023 ((8 . 25) (9 . 26) (10 . 27) (12 . 28)) 3537 0.3929 12.0053 ((2 . 1) (6 . 3) (10 . 11) (12 . 12)) 3538 0.3929 12.0811 ((1 . 16) (2 . 17) (3 . 21) (9 . 27)) 3561 0.3521 12.2334 ((1 . 17) (3 . 23) (7 . 27) (8 . 29)) 3585 0.3509 17.0666 ((2 . 7) (7 . 15) (9 . 17) (12 . 21)) 3613 0.4438 10.0811 ((1 . 30) (2 . 31) (6 . 38) (7 . 39)) 3628 0.4420 13.8756 ((2 . 11) (3 . 13) (6 . 15) (7 . 16)) 3651 0.4435 10.8537 ((8 . 7) (9 . 10) (10 . 14) (12 . 15)) 3658 0.3519 13.7698 ((1 . 12) (2 . 13) (3 . 14) (6 . 16)) 3661 0.4426 12.9654 ((2 . 3) (7 . 13) (9 . 17) (10 . 18)) 3732 0.1980 13.2492 ((6 . 4) (7 . 6) (8 . 10) (10 . 13)) 3733 0.3521 12.7341 ((1 . 2) (2 . 4) (3 . 5) (7 . 9)) 3778 0.1495 13.2617 ((2 . 8) (8 . 19) (9 . 20) (10 . 21)) 3787 0.4436 10.5668 ((7 . 10) (8 . 11) (9 . 13) (10 . 14)) 3817 0.3517 14.4853 ((7 . 3) (8 . 6) (10 . 8) (12 . 12)) 3829 0.3931 11.3581 ((8 . 3) (9 . 4) (10 . 6) (12 . 8)) 3830 0.3525 8.7248 ((2 . 1) (3 . 2) (6 . 3) (7 . 5)) 3834 0.4442 7.8764 ((2 . 2) (6 . 4) (7 . 5) (8 . 6)) 3853 0.4431 11.8552 ((3 . 7) (7 . 11) (9 . 16) (10 . 19)) 3870 0.3934 9.3937 ((3 . 4) (6 . 6) (10 . 12) (12 . 14)) 4009 0.4154 11.0366 ((3 . 10) (6 . 16) (8 . 20) (12 . 25)) 4011 0.4443 6.8121 ((7 . 1) (8 . 2) (9 . 3) (10 . 5)) 4030 0.7765 5.8658 ((1 . 7) (2 . 9) (3 . 10) (6 . 13) (7 . 15) (8 . 17) (10 . 18)) 4062 0.4441 8.4801 ((2 . 34) (7 . 39) (9 . 44) (10 . 45)) 4067 0.2861 10.7224 ((1 . 11) (3 . 15) (7 . 21) (8 . 23)) 4077 0.6659 6.2114 ((1 . 4) (2 . 6) (6 . 13) (7 . 14) (8 . 16) (10 . 17)) 4082 0.3925 13.6274 ((2 . 1) (3 . 2) (6 . 4) (8 . 9)) 4115 0.4413 14.7978 ((1 . 12) (2 . 14) (3 . 16) (7 . 21)) 4134 0.4427 12.7705 ((6 . 25) (7 . 26) (10 . 31) (12 . 32)) 4151 0.4420 13.9305 ((2 . 8) (3 . 11) (7 . 16) (10 . 20)) 4192 0.3522 11.8162 ((6 . 11) (8 . 16) (9 . 18) (12 . 21)) 4195 0.4437 10.3692 ((2 . 7) (6 . 10) (7 . 11) (9 . 12)) 4204 0.4424 13.2411 ((2 . 1) (3 . 2) (7 . 10) (8 . 12)) 4210 0.3522 11.7192 ((2 . 1) (3 . 3) (7 . 7) (8 . 9)) 4216 0.4398 16.4094 ((6 . 9) (7 . 10) (8 . 13) (9 . 14)) 4226 0.4425 13.0573 ((7 . 5) (9 . 10) (10 . 13) (12 . 15)) 4242 0.3918 15.2268 ((7 . 2) (8 . 3) (9 . 5) (12 . 10)) 4243 0.4438 10.0686 ((2 . 1) (3 . 2) (6 . 5) (7 . 6)) 4254 0.2440 13.5223 ((6 . 7) (9 . 14) (10 . 16) (12 . 20)) 4266 0.4419 14.1005 ((2 . 5) (8 . 14) (9 . 16) (10 . 18)) 4281 0.1495 15.3881 ((2 . 7) (3 . 9) (7 . 14) (8 . 16)) 4326 0.4433 11.5000 ((7 . 3) (8 . 4) (9 . 6) (12 . 14)) 4352 0.3933 10.2280 ((6 . 13) (7 . 14) (8 . 15) (9 . 17)) 4386 0.4403 15.8836 ((1 . 5) (2 . 7) (9 . 15) (12 . 20)) 4408 0.4421 13.7710 ((3 . 10) (8 . 20) (10 . 23) (12 . 24)) 4470 0.2860 12.9659 ((1 . 6) (3 . 11) (7 . 15) (10 . 22)) 4495 0.4439 9.4059 ((6 . 5) (7 . 7) (9 . 11) (10 . 12)) 4502 0.4429 12.3053 ((1 . 2) (2 . 3) (8 . 13) (12 . 21)) 4504 0.2440 12.7606 ((1 . 12) (3 . 16) (7 . 23) (8 . 24)) 4563 0.4426 12.9098 ((6 . 27) (7 . 30) (8 . 33) (12 . 37)) 4579 0.4433 11.4930 ((6 . 1) (7 . 2) (10 . 5) (12 . 8)) 4589 0.3931 11.3825 ((2 . 17) (6 . 20) (7 . 21) (9 . 26)) 4607 0.4434 11.1791 ((1 . 17) (2 . 18) (3 . 20) (10 . 29)) 4621 0.4435 10.8085 ((1 . 1) (2 . 2) (3 . 5) (7 . 10)) 4699 0.4441 8.6921 ((2 . 8) (6 . 11) (7 . 12) (8 . 13)) 4715 0.4439 9.6421 ((2 . 1) (3 . 2) (8 . 10) (10 . 13)) 4716 0.4427 12.7462 ((8 . 4) (9 . 5) (10 . 6) (12 . 9)) 4731 0.1980 10.6416 ((7 . 15) (8 . 17) (9 . 19) (10 . 20)) 4764 0.4406 15.6515 ((1 . 1) (2 . 2) (3 . 3) (9 . 10)) 4783 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (12 . 12)) 4817 0.4436 10.7252 ((1 . 5) (2 . 7) (6 . 11) (7 . 13)) 4886 0.4376 18.1001 ((2 . 6) (6 . 8) (8 . 13) (10 . 15)) 4888 0.3517 14.5844 ((6 . 6) (7 . 10) (8 . 11) (12 . 18)) 4889 0.4436 10.4896 ((1 . 18) (2 . 19) (3 . 20) (6 . 23)) 4963 0.4432 11.8051 ((1 . 2) (2 . 5) (7 . 8) (8 . 10)) 4978 0.4429 12.2858 ((2 . 20) (7 . 26) (8 . 27) (10 . 29)) 4982 0.4366 18.7778 ((7 . 11) (8 . 13) (9 . 15) (10 . 19)) 4998 0.2857 16.2543 ((6 . 2) (7 . 4) (8 . 5) (9 . 7)) 5000 0.4438 9.8143 ((2 . 31) (6 . 33) (7 . 35) (8 . 37)) 5016 0.4442 7.6656 ((1 . 2) (2 . 5) (6 . 8) (7 . 9)) 5053 0.4435 11.0198 ((2 . 7) (3 . 8) (8 . 14) (10 . 17)) 5068 0.2441 9.3047 ((1 . 3) (2 . 6) (9 . 19) (12 . 25)) 5073 0.2440 11.9345 ((3 . 33) (6 . 35) (7 . 38) (8 . 41)) 5080 0.4423 13.5287 ((2 . 5) (3 . 6) (6 . 8) (7 . 13)) 5092 0.5528 10.8050 ((3 . 3) (6 . 5) (7 . 8) (8 . 9) (10 . 11)) 5101 0.3920 14.6618 ((6 . 17) (8 . 22) (9 . 24) (12 . 28)) 5103 0.4434 11.2398 ((3 . 3) (6 . 5) (7 . 8) (9 . 11)) 5132 0.4380 17.8167 ((2 . 17) (8 . 24) (9 . 27) (10 . 29)) 5134 0.4407 15.5051 ((8 . 11) (9 . 12) (10 . 16) (12 . 18)) 5167 0.4436 10.7470 ((2 . 2) (3 . 6) (6 . 7) (8 . 10)) 5192 0.5534 10.1312 ((1 . 13) (6 . 18) (7 . 19) (10 . 25) (12 . 26)) 5212 0.4437 10.3551 ((1 . 14) (2 . 15) (3 . 17) (10 . 27)) 5215 0.4425 13.1705 ((2 . 6) (3 . 8) (7 . 14) (9 . 17)) 5223 0.4424 13.3102 ((2 . 5) (7 . 13) (8 . 14) (9 . 18)) 5266 0.1495 13.5926 ((2 . 1) (3 . 3) (7 . 9) (8 . 11)) 5285 0.4442 7.4147 ((1 . 3) (2 . 4) (3 . 5) (6 . 6)) 5318 0.4431 11.9318 ((1 . 7) (2 . 9) (7 . 14) (10 . 15)) 5323 0.4428 12.5037 ((2 . 9) (3 . 12) (7 . 15) (10 . 19)) 5324 0.4424 13.3425 ((3 . 18) (8 . 23) (9 . 26) (10 . 29)) 5378 0.3521 12.6023 ((2 . 5) (7 . 10) (8 . 13) (12 . 20)) 5442 0.4429 12.4443 ((6 . 32) (7 . 33) (10 . 39) (12 . 40)) 5487 0.3931 11.3650 ((6 . 3) (7 . 5) (9 . 10) (10 . 12)) 5501 0.4437 10.3528 ((2 . 21) (7 . 26) (8 . 29) (10 . 32)) 5525 0.4438 10.0291 ((1 . 1) (2 . 3) (9 . 12) (10 . 13)) 5540 0.3916 15.4692 ((2 . 2) (6 . 9) (10 . 17) (12 . 21)) 5560 0.4371 18.4245 ((1 . 6) (7 . 14) (9 . 19) (10 . 21)) 5562 0.3931 11.2628 ((7 . 9) (8 . 10) (9 . 12) (12 . 16)) 5594 0.4441 8.4303 ((3 . 2) (7 . 7) (8 . 8) (9 . 10)) 5600 0.2440 12.2182 ((6 . 1) (7 . 4) (8 . 7) (9 . 10)) 5648 0.4432 11.7212 ((1 . 4) (2 . 5) (3 . 6) (6 . 8)) 5656 0.4437 10.4141 ((2 . 15) (3 . 17) (8 . 25) (10 . 28)) 5689 0.4441 8.7428 ((2 . 2) (6 . 4) (7 . 8) (8 . 9)) 5701 0.3519 13.5461 ((2 . 10) (3 . 13) (6 . 15) (8 . 20)) 5702 0.4436 10.7454 ((6 . 4) (7 . 8) (10 . 12) (12 . 13)) 5704 0.5548 7.8388 ((1 . 4) (2 . 5) (6 . 7) (7 . 8) (8 . 10)) 5770 0.4440 9.0824 ((3 . 2) (6 . 5) (8 . 10) (12 . 22)) 5771 0.4437 10.2024 ((3 . 10) (6 . 16) (7 . 19) (9 . 22)) 5782 0.4439 9.4120 ((2 . 7) (3 . 8) (7 . 17) (10 . 23)) 5789 0.3524 9.7125 ((2 . 1) (6 . 3) (7 . 4) (8 . 6)) 5809 0.3927 12.9198 ((6 . 6) (7 . 8) (9 . 11) (12 . 16)) 5827 0.4440 9.0455 ((1 . 6) (8 . 18) (9 . 21) (10 . 22)) 5830 0.1658 13.3001 ((6 . 5) (8 . 9) (9 . 11) (12 . 16)) 5904 0.1980 9.5388 ((6 . 2) (7 . 3) (10 . 6) (12 . 10)) 5939 0.2861 10.3339 ((6 . 3) (7 . 5) (8 . 7) (12 . 15)) 5945 0.4439 9.4275 ((1 . 10) (7 . 25) (9 . 29) (12 . 34)) 5949 0.4415 14.5531 ((1 . 11) (3 . 15) (7 . 19) (8 . 21)) 5955 0.2860 11.7634 ((1 . 8) (2 . 10) (3 . 13) (7 . 18)) 6000 0.4435 10.8971 ((1 . 2) (7 . 8) (10 . 16) (12 . 22)) 6029 0.2439 15.3018 ((2 . 26) (6 . 28) (9 . 36) (12 . 39)) 6033 0.4439 9.5640 ((2 . 4) (6 . 7) (7 . 9) (8 . 10)) 6041 0.3928 12.4133 ((2 . 3) (3 . 5) (6 . 6) (10 . 14)) 6075 0.4407 15.5294 ((1 . 22) (2 . 23) (6 . 29) (7 . 30)) 6079 0.4152 11.8444 ((6 . 12) (7 . 14) (8 . 15) (9 . 17)) 6087 0.3930 11.6033 ((6 . 2) (7 . 4) (9 . 9) (10 . 11)) 6089 0.4438 10.0910 ((7 . 13) (8 . 15) (10 . 19) (12 . 22)) 6169 0.4426 13.0291 ((1 . 12) (2 . 13) (3 . 15) (6 . 16)) 6228 0.4288 22.5703 ((2 . 4) (8 . 13) (10 . 16) (12 . 18)) 6243 0.3907 17.1113 ((6 . 1) (7 . 5) (9 . 9) (12 . 12)) 6258 0.4430 12.2640 ((3 . 1) (6 . 5) (9 . 11) (12 . 14)) 6261 0.4437 10.2285 ((3 . 2) (6 . 7) (7 . 10) (9 . 15)) 6266 0.2441 11.2611 ((3 . 1) (6 . 2) (7 . 4) (9 . 7)) 6268 0.3523 11.0758 ((6 . 8) (8 . 11) (9 . 12) (10 . 13)) 6294 0.3927 13.0205 ((6 . 7) (7 . 10) (10 . 15) (12 . 21)) 6329 0.4420 13.8701 ((2 . 7) (7 . 12) (8 . 15) (10 . 17)) 6348 0.3524 9.3838 ((2 . 2) (3 . 3) (7 . 8) (9 . 13)) 6356 0.3923 14.0786 ((2 . 5) (3 . 8) (7 . 12) (9 . 17)) 6359 0.4437 10.3404 ((1 . 1) (2 . 2) (6 . 5) (7 . 6)) 6369 0.3933 10.2247 ((1 . 30) (2 . 36) (3 . 37) (6 . 39)) 6384 0.1658 13.8296 ((3 . 2) (6 . 3) (7 . 5) (8 . 7)) 6391 0.3933 9.9058 ((2 . 1) (3 . 2) (6 . 4) (7 . 5)) 6392 0.4386 17.4215 ((6 . 2) (7 . 5) (8 . 6) (9 . 8)) 6461 0.3525 8.8473 ((2 . 1) (3 . 2) (6 . 4) (7 . 5)) 6462 0.4436 10.7500 ((2 . 23) (3 . 26) (8 . 31) (10 . 34)) 6498 0.4427 12.8221 ((2 . 20) (3 . 22) (8 . 30) (10 . 32)) 6506 0.4429 12.4625 ((3 . 16) (6 . 17) (7 . 18) (12 . 23)) 6520 0.2860 13.2254 ((2 . 11) (3 . 12) (7 . 18) (10 . 23)) 6536 0.4441 8.7055 ((2 . 24) (6 . 27) (8 . 29) (12 . 34)) 6548 0.3910 16.5668 ((2 . 1) (6 . 3) (7 . 4) (12 . 15)) 6553 0.4391 16.9870 ((1 . 10) (2 . 12) (7 . 19) (10 . 27)) 6605 0.1980 10.2820 ((2 . 1) (3 . 4) (6 . 6) (7 . 7)) 6622 0.4433 11.5944 ((2 . 2) (6 . 5) (8 . 10) (9 . 11)) END