5285 91 0.6660 6.1153 ((3 . 22) (4 . 23) (5 . 25) (6 . 27)) 147 0.3878 9.0726 ((2 . 3) (3 . 5) (5 . 7) (6 . 8)) 155 0.2488 8.0590 ((2 . 5) (3 . 6) (4 . 7) (5 . 8)) 157 0.6656 6.7655 ((2 . 10) (4 . 12) (5 . 13) (6 . 15)) 259 0.3879 8.0039 ((1 . 5) (2 . 6) (3 . 7) (5 . 8)) 293 0.6586 11.3547 ((1 . 2) (2 . 3) (4 . 4) (6 . 6)) 305 0.1665 8.7365 ((2 . 8) (4 . 10) (5 . 13) (6 . 14)) 317 0.3878 9.2284 ((2 . 4) (3 . 6) (5 . 8) (6 . 9)) 351 0.0999 6.1581 ((1 . 5) (2 . 6) (3 . 7) (4 . 8)) 361 0.1995 14.1819 ((1 . 6) (2 . 7) (3 . 8) (6 . 13)) 541 0.1996 10.7848 ((1 . 6) (3 . 9) (4 . 10) (6 . 13)) 553 0.6657 6.5576 ((1 . 6) (2 . 7) (4 . 9) (5 . 10)) 609 0.3878 8.3614 ((1 . 2) (3 . 4) (4 . 5) (6 . 7)) 672 0.2969 9.4490 ((1 . 7) (4 . 8) (5 . 9) (6 . 12)) 782 0.4649 12.3053 ((1 . 4) (3 . 6) (4 . 7) (6 . 11)) 792 0.4667 5.0588 ((1 . 3) (2 . 5) (4 . 8) (5 . 10)) 818 0.2487 11.0238 ((2 . 3) (3 . 5) (5 . 9) (6 . 11)) 834 0.6633 9.0863 ((2 . 39) (3 . 40) (5 . 43) (6 . 44)) 945 0.6624 9.6609 ((2 . 20) (4 . 23) (5 . 24) (6 . 25)) 949 0.2969 10.3671 ((2 . 33) (3 . 36) (4 . 35) (5 . 37)) 960 0.2487 10.6939 ((2 . 23) (3 . 24) (4 . 25) (5 . 26)) 1005 0.1996 11.2002 ((1 . 4) (2 . 3) (3 . 5) (6 . 8)) 1124 0.5280 8.7154 ((1 . 10) (2 . 11) (4 . 13) (6 . 15)) 1165 0.3879 7.0590 ((3 . 14) (4 . 15) (5 . 16) (6 . 17)) 1167 0.1996 6.4984 ((1 . 25) (2 . 26) (5 . 28) (6 . 29)) 1210 0.6662 5.5254 ((1 . 2) (3 . 3) (4 . 4) (5 . 5)) 1268 0.5229 14.0944 ((1 . 16) (2 . 17) (4 . 18) (6 . 19)) 1345 0.6635 8.9469 ((2 . 8) (4 . 10) (5 . 11) (6 . 15)) 1388 0.6662 5.3978 ((1 . 2) (2 . 3) (5 . 6) (6 . 7)) 1415 0.1333 10.8712 ((2 . 2) (4 . 4) (5 . 5) (6 . 6)) 1470 0.6664 4.9469 ((1 . 4) (2 . 5) (4 . 6) (5 . 7)) 1472 0.6481 14.1165 ((1 . 5) (2 . 9) (3 . 10) (6 . 12)) 1497 0.6637 8.7637 ((1 . 15) (2 . 16) (4 . 17) (5 . 19)) 1591 0.2967 13.9103 ((1 . 10) (3 . 12) (5 . 15) (6 . 17)) 1595 0.6652 7.4183 ((3 . 3) (4 . 4) (5 . 6) (6 . 9)) 1604 0.6649 7.7180 ((1 . 11) (3 . 13) (4 . 14) (5 . 15)) 1724 0.6664 4.9112 ((1 . 4) (2 . 5) (3 . 6) (6 . 8)) 1763 0.6496 13.8052 ((2 . 1) (3 . 2) (5 . 4) (6 . 6)) 1796 0.2487 11.5605 ((1 . 3) (3 . 4) (4 . 5) (6 . 6)) 1897 0.1996 10.2431 ((2 . 35) (3 . 36) (4 . 37) (5 . 38)) 1909 0.6661 5.6934 ((1 . 32) (2 . 33) (4 . 36) (6 . 38)) 1967 0.6663 5.2035 ((1 . 9) (3 . 11) (4 . 12) (5 . 15)) 1987 0.6612 10.2755 ((1 . 9) (3 . 10) (5 . 11) (6 . 12)) 2048 0.6606 10.5387 ((1 . 10) (2 . 12) (4 . 14) (5 . 15)) 2054 0.1665 6.5604 ((1 . 11) (2 . 12) (3 . 15) (4 . 16)) 2081 0.4653 11.6251 ((1 . 13) (2 . 14) (4 . 16) (5 . 18)) 2094 0.6660 6.1097 ((1 . 3) (4 . 4) (5 . 6) (6 . 7)) 2233 0.3879 7.8715 ((1 . 6) (2 . 7) (3 . 8) (5 . 9)) 2269 0.1665 6.4094 ((1 . 2) (2 . 3) (3 . 5) (6 . 9)) 2298 0.2969 9.1475 ((1 . 9) (3 . 11) (4 . 13) (5 . 14)) 2308 0.2488 8.2025 ((1 . 1) (2 . 2) (3 . 3) (6 . 7)) 2342 0.6662 5.5426 ((1 . 9) (2 . 10) (4 . 11) (5 . 12)) 2344 0.8237 8.9588 ((1 . 12) (3 . 15) (4 . 16) (5 . 17) (6 . 21)) 2443 0.3879 7.1793 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 2447 0.3878 8.5901 ((3 . 19) (4 . 20) (5 . 22) (6 . 26)) 2465 0.3879 7.7045 ((1 . 5) (2 . 6) (3 . 7) (5 . 8)) 2519 0.1499 6.6157 ((1 . 1) (3 . 3) (4 . 4) (6 . 6)) 2544 0.6656 6.8203 ((3 . 18) (4 . 19) (5 . 20) (6 . 24)) 2591 0.6618 9.9446 ((2 . 36) (3 . 37) (5 . 39) (6 . 40)) 2627 0.3878 8.5221 ((2 . 55) (3 . 56) (4 . 57) (6 . 59)) 2733 0.1996 10.9090 ((1 . 9) (2 . 12) (4 . 13) (5 . 14)) 2753 0.2969 9.9279 ((3 . 3) (4 . 4) (5 . 5) (6 . 7)) 2840 0.3875 11.2979 ((2 . 2) (3 . 3) (5 . 7) (6 . 10)) 2947 0.2969 9.2589 ((1 . 16) (2 . 17) (3 . 18) (6 . 20)) 2950 0.6661 5.7327 ((1 . 7) (3 . 10) (4 . 11) (5 . 12)) 3014 0.1995 15.2933 ((3 . 17) (4 . 18) (5 . 19) (6 . 20)) 3041 0.1996 7.6927 ((2 . 10) (3 . 11) (4 . 13) (6 . 15)) 3084 0.6576 11.6936 ((1 . 1) (2 . 2) (5 . 4) (6 . 6)) 3200 0.6639 8.6420 ((2 . 5) (4 . 7) (5 . 8) (6 . 12)) 3202 0.1996 10.4834 ((2 . 3) (4 . 4) (5 . 5) (6 . 6)) 3212 0.6650 7.6268 ((1 . 6) (2 . 7) (5 . 10) (6 . 11)) 3286 0.6615 10.1049 ((1 . 6) (3 . 8) (5 . 10) (6 . 12)) 3300 0.6633 9.0677 ((1 . 9) (2 . 10) (5 . 11) (6 . 12)) 3310 0.1499 12.8320 ((1 . 6) (2 . 7) (5 . 10) (6 . 11)) 3339 0.2969 8.8247 ((1 . 30) (4 . 34) (5 . 35) (6 . 36)) 3358 0.6631 9.2317 ((1 . 3) (3 . 5) (5 . 9) (6 . 11)) 3362 0.2487 9.6723 ((2 . 5) (4 . 7) (5 . 9) (6 . 12)) 3446 0.6622 9.7777 ((2 . 3) (4 . 7) (5 . 8) (6 . 9)) 3470 0.4661 9.5256 ((1 . 12) (2 . 13) (4 . 14) (6 . 16)) 3585 0.6623 9.6704 ((1 . 15) (3 . 17) (4 . 18) (5 . 19)) 3651 0.6607 10.4922 ((1 . 15) (3 . 19) (4 . 20) (6 . 25)) 3658 0.2968 12.6063 ((3 . 12) (4 . 13) (5 . 14) (6 . 16)) 3661 0.6634 9.0395 ((1 . 4) (2 . 5) (3 . 6) (5 . 10)) 3663 0.2969 11.1072 ((1 . 3) (2 . 4) (4 . 6) (6 . 7)) 3732 0.2487 9.8700 ((2 . 6) (4 . 8) (5 . 10) (6 . 13)) 3733 0.1996 9.6020 ((2 . 2) (4 . 4) (5 . 5) (6 . 7)) 3778 0.2487 11.0586 ((1 . 17) (2 . 19) (3 . 20) (6 . 23)) 3787 0.6655 6.9854 ((1 . 11) (2 . 13) (3 . 14) (5 . 16)) 3807 0.6448 14.7597 ((1 . 48) (2 . 49) (5 . 51) (6 . 52)) 3829 0.6594 11.0505 ((3 . 3) (4 . 4) (5 . 6) (6 . 8)) 3834 0.1996 12.8780 ((2 . 2) (4 . 3) (5 . 4) (6 . 5)) 3942 0.1996 8.8311 ((2 . 4) (3 . 5) (4 . 6) (5 . 8)) 4009 0.4666 6.6318 ((2 . 14) (4 . 16) (5 . 17) (6 . 18)) 4011 0.3878 9.1354 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 4062 0.1996 10.5899 ((1 . 45) (3 . 47) (5 . 51) (6 . 52)) 4077 0.3872 12.6191 ((2 . 6) (3 . 7) (5 . 8) (6 . 9)) 4134 0.1996 7.9343 ((3 . 30) (4 . 31) (5 . 32) (6 . 33)) 4192 0.3879 7.5970 ((1 . 11) (4 . 14) (5 . 16) (6 . 18)) 4195 0.6580 11.5439 ((1 . 12) (3 . 13) (5 . 17) (6 . 19)) 4216 0.6653 7.2642 ((2 . 13) (3 . 14) (4 . 15) (5 . 16)) 4242 0.6651 7.4792 ((1 . 4) (2 . 5) (3 . 6) (5 . 8)) 4243 0.6624 9.6163 ((2 . 2) (3 . 3) (4 . 4) (5 . 5)) 4254 0.2487 12.7213 ((2 . 5) (4 . 7) (5 . 10) (6 . 12)) 4261 0.6657 6.6421 ((1 . 14) (2 . 15) (3 . 16) (4 . 17)) 4266 0.6504 13.6159 ((2 . 9) (3 . 10) (5 . 14) (6 . 17)) 4281 0.1996 11.1215 ((2 . 6) (3 . 7) (4 . 9) (6 . 13)) 4299 0.2969 9.3066 ((1 . 5) (4 . 7) (5 . 8) (6 . 10)) 4352 0.2970 5.9839 ((1 . 5) (2 . 6) (3 . 7) (6 . 13)) 4386 0.3871 12.7861 ((1 . 7) (2 . 8) (5 . 11) (6 . 12)) 4408 0.3878 8.2722 ((1 . 19) (2 . 20) (5 . 22) (6 . 24)) 4504 0.4661 9.4977 ((1 . 1) (2 . 2) (4 . 5) (6 . 10)) 4516 0.1996 6.0417 ((1 . 3) (2 . 5) (4 . 7) (5 . 9)) 4579 0.6660 6.0963 ((1 . 5) (3 . 6) (4 . 7) (5 . 8)) 4589 0.3873 12.1803 ((1 . 21) (2 . 20) (5 . 24) (6 . 26)) 4607 0.6594 11.0257 ((1 . 17) (2 . 18) (4 . 19) (5 . 20)) 4621 0.1996 7.5839 ((1 . 1) (2 . 2) (4 . 5) (6 . 10)) 4678 0.2963 16.5785 ((3 . 5) (4 . 7) (5 . 8) (6 . 9)) 4699 0.2488 7.0707 ((1 . 10) (2 . 11) (4 . 12) (5 . 13)) 4715 0.4661 9.3854 ((1 . 9) (2 . 10) (3 . 11) (6 . 15)) 4716 0.2969 10.8818 ((1 . 1) (3 . 3) (4 . 4) (5 . 5)) 4731 0.4667 5.2368 ((1 . 12) (2 . 13) (3 . 16) (5 . 17)) 4764 0.6639 8.6259 ((2 . 5) (3 . 6) (4 . 7) (5 . 8)) 4783 0.6652 7.4147 ((3 . 1) (4 . 2) (5 . 3) (6 . 6)) 4857 0.6637 8.7869 ((1 . 12) (3 . 14) (4 . 15) (5 . 16)) 4889 0.6601 10.7429 ((1 . 18) (2 . 19) (5 . 21) (6 . 23)) 4963 0.6618 9.9728 ((3 . 6) (4 . 7) (5 . 8) (6 . 9)) 4998 0.1665 13.2813 ((2 . 21) (3 . 22) (4 . 24) (6 . 27)) 5000 0.3877 9.6938 ((1 . 30) (4 . 31) (5 . 32) (6 . 33)) 5016 0.6653 7.2368 ((1 . 2) (3 . 8) (4 . 9) (5 . 10)) 5068 0.2968 12.6317 ((2 . 1) (4 . 3) (5 . 6) (6 . 9)) 5080 0.6656 6.7923 ((2 . 8) (3 . 9) (4 . 10) (6 . 13)) 5092 0.2487 10.9578 ((2 . 2) (3 . 3) (5 . 5) (6 . 7)) 5101 0.6655 6.9141 ((2 . 17) (4 . 19) (5 . 20) (6 . 22)) 5132 0.6594 11.0357 ((3 . 32) (4 . 33) (5 . 34) (6 . 35)) 5134 0.0999 14.5159 ((1 . 9) (4 . 11) (5 . 12) (6 . 16)) 5145 0.1996 9.6082 ((2 . 2) (4 . 4) (5 . 7) (6 . 9)) 5192 0.4667 6.1871 ((2 . 10) (3 . 11) (4 . 13) (5 . 15)) 5212 0.6573 11.7883 ((1 . 14) (2 . 15) (4 . 16) (5 . 17)) 5223 0.6662 5.5875 ((1 . 2) (2 . 4) (3 . 5) (5 . 7)) 5285 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6)) 5318 0.3879 8.0687 ((1 . 13) (3 . 14) (4 . 15) (5 . 16)) 5323 0.3878 8.9941 ((2 . 8) (4 . 9) (5 . 12) (6 . 13)) 5324 0.4635 14.0983 ((1 . 19) (2 . 21) (4 . 23) (6 . 27)) 5411 0.4634 14.2323 ((1 . 2) (2 . 1) (4 . 5) (6 . 9)) 5442 0.3879 7.9961 ((2 . 37) (3 . 38) (4 . 39) (5 . 40)) 5501 0.6598 10.8672 ((1 . 23) (2 . 26) (4 . 28) (5 . 29)) 5525 0.2969 9.1319 ((1 . 5) (4 . 9) (5 . 10) (6 . 11)) 5560 0.3878 8.4056 ((1 . 14) (3 . 16) (5 . 19) (6 . 21)) 5562 0.6638 8.7317 ((2 . 13) (4 . 15) (5 . 16) (6 . 18)) 5594 0.3880 6.1224 ((1 . 5) (3 . 7) (4 . 8) (5 . 10)) 5601 0.3878 8.8014 ((1 . 4) (3 . 6) (5 . 9) (6 . 11)) 5656 0.2487 12.6008 ((2 . 13) (4 . 15) (5 . 17) (6 . 19)) 5689 0.6566 12.0118 ((1 . 4) (3 . 7) (4 . 8) (5 . 9)) 5702 0.6557 12.2682 ((1 . 4) (3 . 7) (4 . 8) (5 . 9)) 5704 0.2968 11.5145 ((1 . 4) (2 . 5) (3 . 6) (6 . 7)) 5770 0.4665 7.7349 ((2 . 18) (3 . 19) (5 . 21) (6 . 22)) 5782 0.2970 7.7568 ((3 . 6) (4 . 7) (5 . 8) (6 . 9)) 5904 0.2487 12.8161 ((2 . 2) (3 . 3) (5 . 5) (6 . 6)) 5945 0.3878 8.8436 ((2 . 4) (3 . 5) (5 . 6) (6 . 8)) 5972 0.4664 8.4561 ((1 . 1) (2 . 4) (3 . 5) (5 . 8)) 6029 0.6638 8.6787 ((1 . 34) (4 . 37) (5 . 38) (6 . 39)) 6033 0.1800 5.2969 ((1 . 5) (2 . 6) (3 . 7) (4 . 9) (5 . 10) (6 . 4)) 6074 0.3874 11.5143 ((2 . 1) (4 . 3) (5 . 5) (6 . 7)) 6075 0.4663 8.7228 ((1 . 18) (2 . 19) (4 . 22) (5 . 23)) 6079 0.2969 9.9845 ((1 . 16) (2 . 17) (4 . 18) (6 . 22)) 6169 0.3871 12.6806 ((2 . 2) (4 . 3) (5 . 4) (6 . 7)) 6261 0.4666 6.6650 ((2 . 14) (3 . 15) (4 . 17) (5 . 18)) 6266 0.4655 11.2404 ((1 . 1) (2 . 2) (4 . 4) (6 . 7)) 6268 0.6628 9.4016 ((2 . 10) (3 . 11) (4 . 12) (6 . 13)) 6329 0.6557 12.2862 ((2 . 9) (4 . 11) (5 . 12) (6 . 13)) 6348 0.2487 12.7939 ((2 . 2) (3 . 3) (5 . 5) (6 . 6)) 6359 0.6663 5.3681 ((1 . 2) (2 . 1) (3 . 3) (4 . 4)) 6384 0.3876 10.0954 ((1 . 4) (2 . 5) (4 . 6) (5 . 7)) 6391 0.6640 8.5896 ((2 . 1) (4 . 3) (5 . 4) (6 . 5)) 6461 0.6508 13.5380 ((2 . 2) (3 . 4) (4 . 5) (6 . 7)) 6498 0.2970 8.2817 ((3 . 26) (4 . 27) (5 . 28) (6 . 30)) 6506 0.6602 10.7342 ((1 . 20) (3 . 21) (5 . 22) (6 . 23)) 6536 0.3880 5.1336 ((1 . 27) (2 . 28) (4 . 29) (5 . 30)) 6548 0.1665 10.7701 ((1 . 8) (2 . 10) (4 . 14) (5 . 15)) 6578 0.2968 11.4703 ((1 . 36) (3 . 39) (4 . 40) (5 . 41)) 6585 0.2487 10.1858 ((2 . 3) (3 . 4) (4 . 5) (5 . 7)) 6587 0.6655 7.0158 ((1 . 27) (4 . 30) (5 . 32) (6 . 35)) 6605 0.6646 8.0215 ((1 . 2) (3 . 4) (4 . 5) (5 . 6)) 6622 0.6610 10.3529 ((1 . 6) (2 . 8) (4 . 10) (6 . 12)) 6635 0.2969 11.0400 ((1 . 2) (4 . 6) (5 . 9) (6 . 10)) END