1415 91 0.6640 8.5282 ((1 . 22) (2 . 23) (4 . 26) (5 . 27)) 147 0.6472 14.3023 ((1 . 5) (3 . 7) (5 . 8) (6 . 9)) 155 0.3878 8.7602 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 259 0.6654 7.0820 ((1 . 2) (2 . 3) (4 . 5) (6 . 7)) 317 0.6630 9.3010 ((1 . 6) (4 . 8) (5 . 9) (6 . 10)) 351 0.6624 9.6134 ((1 . 5) (4 . 8) (5 . 9) (6 . 10)) 361 0.1996 9.6559 ((1 . 5) (4 . 7) (5 . 8) (6 . 9)) 433 0.2488 7.9069 ((2 . 2) (3 . 3) (4 . 4) (6 . 8)) 442 0.3874 11.3213 ((1 . 9) (3 . 11) (5 . 13) (6 . 15)) 543 0.1996 11.0556 ((3 . 7) (4 . 9) (5 . 13) (6 . 14)) 553 0.1996 7.0084 ((3 . 5) (4 . 6) (5 . 7) (6 . 9)) 624 0.3852 17.0663 ((1 . 12) (3 . 14) (5 . 17) (6 . 19)) 678 0.6651 7.4502 ((1 . 30) (4 . 31) (5 . 32) (6 . 36)) 729 0.2969 8.9930 ((1 . 23) (3 . 26) (4 . 30) (5 . 32)) 782 0.1996 12.9895 ((2 . 5) (4 . 7) (5 . 9) (6 . 11)) 792 0.1996 12.5050 ((1 . 1) (2 . 2) (5 . 8) (6 . 10)) 834 0.3874 11.7392 ((1 . 34) (3 . 35) (5 . 38) (6 . 39)) 928 0.6643 8.2872 ((1 . 9) (4 . 13) (5 . 15) (6 . 17)) 945 0.2970 8.3681 ((1 . 20) (2 . 21) (4 . 23) (5 . 24)) 960 0.6386 15.7940 ((1 . 32) (3 . 33) (4 . 34) (6 . 37)) 1007 0.2969 9.2631 ((2 . 1) (4 . 2) (5 . 5) (6 . 6)) 1043 0.1995 14.8979 ((1 . 11) (4 . 15) (5 . 16) (6 . 18)) 1082 0.6348 16.3679 ((1 . 27) (3 . 28) (4 . 29) (6 . 32)) 1124 0.3871 12.6647 ((1 . 13) (2 . 14) (3 . 15) (4 . 16)) 1165 0.2485 16.8227 ((1 . 9) (3 . 11) (4 . 13) (6 . 15)) 1210 0.6641 8.4998 ((1 . 3) (4 . 5) (5 . 6) (6 . 7)) 1267 0.2970 8.2780 ((1 . 6) (2 . 7) (4 . 8) (6 . 14)) 1268 0.6644 8.2120 ((1 . 14) (2 . 15) (4 . 16) (6 . 19)) 1301 0.1333 15.1187 ((1 . 2) (2 . 3) (5 . 6) (6 . 8)) 1345 0.6621 9.8089 ((1 . 11) (3 . 15) (5 . 17) (6 . 19)) 1388 0.6631 9.2372 ((1 . 2) (2 . 3) (4 . 6) (5 . 7)) 1395 0.2967 13.8138 ((1 . 2) (2 . 3) (4 . 4) (6 . 6)) 1415 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6)) 1470 0.6653 7.2135 ((1 . 6) (4 . 10) (5 . 11) (6 . 12)) 1476 0.2970 8.1246 ((3 . 13) (4 . 16) (5 . 17) (6 . 19)) 1497 0.6588 11.2862 ((1 . 10) (4 . 12) (5 . 15) (6 . 16)) 1577 0.3878 8.1894 ((1 . 25) (2 . 26) (4 . 27) (6 . 31)) 1595 0.1996 8.2129 ((1 . 2) (2 . 3) (4 . 4) (6 . 9)) 1604 0.6617 10.0221 ((3 . 11) (4 . 13) (5 . 14) (6 . 15)) 1738 0.3869 13.4600 ((1 . 15) (2 . 16) (4 . 20) (6 . 25)) 1763 0.6556 12.3256 ((1 . 1) (3 . 4) (5 . 6) (6 . 8)) 1796 0.6655 6.9796 ((1 . 2) (2 . 3) (4 . 4) (6 . 6)) 1897 0.6643 8.2780 ((1 . 36) (2 . 37) (4 . 38) (6 . 44)) 1908 0.6479 14.1497 ((1 . 5) (3 . 6) (4 . 8) (5 . 9)) 1957 0.6640 8.5229 ((1 . 10) (4 . 14) (5 . 16) (6 . 18)) 1967 0.2969 9.3488 ((3 . 4) (4 . 6) (5 . 8) (6 . 9)) 2054 0.6663 5.0315 ((1 . 9) (2 . 10) (4 . 12) (5 . 15)) 2067 0.1499 9.9426 ((1 . 48) (2 . 47) (4 . 49) (5 . 52)) 2094 0.6576 11.6922 ((1 . 2) (2 . 3) (4 . 4) (5 . 6)) 2179 0.3850 17.4091 ((3 . 16) (4 . 18) (5 . 19) (6 . 21)) 2233 0.6849 6.6793 ((2 . 1) (3 . 2) (4 . 7) (5 . 8) (6 . 9)) 2269 0.1996 8.1056 ((2 . 1) (3 . 2) (4 . 3) (5 . 5)) 2295 0.1996 9.2111 ((1 . 1) (4 . 3) (5 . 4) (6 . 6)) 2298 0.6546 12.6040 ((1 . 9) (2 . 11) (3 . 13) (5 . 16)) 2342 0.6618 9.9546 ((1 . 14) (2 . 15) (5 . 18) (6 . 19)) 2344 0.6653 7.1769 ((1 . 12) (4 . 17) (5 . 19) (6 . 21)) 2443 0.6641 8.5026 ((3 . 7) (4 . 8) (5 . 9) (6 . 10)) 2447 0.3864 14.8117 ((2 . 20) (3 . 22) (4 . 26) (5 . 27)) 2465 0.6663 5.3660 ((1 . 3) (2 . 4) (4 . 5) (6 . 7)) 2510 0.3876 10.7486 ((3 . 22) (4 . 24) (5 . 26) (6 . 28)) 2533 0.2488 7.1338 ((2 . 1) (3 . 3) (5 . 5) (6 . 7)) 2551 0.6618 9.9485 ((1 . 4) (3 . 6) (5 . 7) (6 . 10)) 2591 0.0999 12.5121 ((1 . 34) (4 . 36) (5 . 37) (6 . 39)) 2627 0.6642 8.3544 ((1 . 52) (4 . 55) (5 . 56) (6 . 57)) 2634 0.1996 8.0143 ((3 . 1) (4 . 2) (5 . 3) (6 . 5)) 2658 0.2488 7.4918 ((1 . 4) (2 . 5) (3 . 6) (5 . 8)) 2703 0.6657 6.6213 ((1 . 1) (4 . 3) (5 . 5) (6 . 6)) 2753 0.6605 10.6078 ((1 . 3) (2 . 5) (5 . 7) (6 . 10)) 2947 0.6529 13.0250 ((1 . 17) (3 . 18) (4 . 20) (5 . 22)) 2950 0.4664 8.0929 ((1 . 7) (2 . 8) (3 . 9) (5 . 10)) 2990 0.6588 11.2773 ((1 . 8) (2 . 10) (4 . 13) (6 . 17)) 3014 0.6554 12.3586 ((1 . 8) (4 . 10) (5 . 12) (6 . 14)) 3019 0.1996 13.1262 ((1 . 18) (3 . 21) (5 . 24) (6 . 26)) 3041 0.6638 8.7463 ((1 . 10) (4 . 13) (5 . 15) (6 . 17)) 3084 0.6641 8.4716 ((1 . 12) (4 . 16) (5 . 18) (6 . 20)) 3127 0.2966 14.4191 ((1 . 7) (3 . 9) (4 . 12) (6 . 16)) 3197 0.6555 12.3517 ((1 . 11) (3 . 13) (5 . 15) (6 . 17)) 3200 0.3873 11.9395 ((1 . 5) (2 . 7) (5 . 12) (6 . 14)) 3202 0.1993 22.8966 ((1 . 21) (4 . 24) (5 . 25) (6 . 27)) 3286 0.2969 9.5968 ((1 . 10) (2 . 11) (4 . 12) (5 . 15)) 3300 0.6646 8.0563 ((1 . 9) (2 . 10) (4 . 11) (5 . 12)) 3310 0.6656 6.7144 ((1 . 1) (4 . 4) (5 . 5) (6 . 10)) 3339 0.0999 8.9725 ((1 . 25) (4 . 34) (5 . 35) (6 . 36)) 3391 0.6649 7.7646 ((1 . 14) (2 . 15) (5 . 18) (6 . 20)) 3415 0.6656 6.7372 ((1 . 19) (2 . 20) (5 . 23) (6 . 24)) 3446 0.6657 6.7084 ((1 . 4) (4 . 9) (5 . 10) (6 . 11)) 3470 0.6524 13.1617 ((1 . 13) (4 . 16) (5 . 17) (6 . 18)) 3495 0.6657 6.5455 ((1 . 10) (2 . 11) (4 . 13) (5 . 14)) 3496 0.6649 7.6582 ((1 . 25) (2 . 26) (4 . 27) (5 . 28)) 3613 0.0999 9.3514 ((1 . 39) (4 . 42) (5 . 43) (6 . 44)) 3651 0.6659 6.2226 ((1 . 7) (2 . 10) (4 . 14) (5 . 15)) 3658 0.1996 9.6755 ((1 . 13) (2 . 14) (5 . 16) (6 . 19)) 3661 0.3879 6.8862 ((3 . 6) (4 . 9) (5 . 10) (6 . 13)) 3733 0.6643 8.3167 ((3 . 2) (4 . 4) (5 . 5) (6 . 7)) 3778 0.6557 12.2853 ((1 . 19) (3 . 20) (4 . 21) (5 . 23)) 3787 0.6642 8.3990 ((1 . 18) (4 . 22) (5 . 24) (6 . 25)) 3807 0.6541 12.7351 ((1 . 48) (2 . 49) (4 . 51) (5 . 52)) 3830 0.6657 6.6011 ((2 . 1) (3 . 2) (5 . 3) (6 . 5)) 3834 0.6661 5.8822 ((2 . 2) (4 . 3) (5 . 4) (6 . 5)) 3968 0.6619 9.8911 ((1 . 4) (3 . 7) (5 . 10) (6 . 12)) 4009 0.6638 8.7117 ((1 . 10) (3 . 14) (4 . 16) (5 . 17)) 4030 0.6647 7.9744 ((1 . 9) (3 . 10) (5 . 13) (6 . 15)) 4037 0.6653 7.2442 ((3 . 4) (4 . 5) (5 . 6) (6 . 7)) 4062 0.2487 10.4232 ((1 . 44) (2 . 45) (4 . 47) (6 . 51)) 4077 0.6519 13.2865 ((1 . 13) (4 . 15) (5 . 16) (6 . 17)) 4115 0.3871 12.6990 ((1 . 14) (3 . 16) (4 . 18) (6 . 21)) 4134 0.6653 7.2212 ((1 . 24) (4 . 25) (5 . 26) (6 . 28)) 4204 0.3877 9.3367 ((1 . 1) (3 . 2) (5 . 4) (6 . 6)) 4216 0.6664 4.5786 ((1 . 9) (3 . 10) (5 . 13) (6 . 14)) 4226 0.3858 16.0697 ((1 . 17) (3 . 20) (4 . 23) (6 . 27)) 4242 0.6660 5.9803 ((1 . 2) (4 . 3) (5 . 5) (6 . 6)) 4243 0.6663 5.0227 ((1 . 1) (4 . 4) (5 . 5) (6 . 6)) 4254 0.2487 12.1424 ((2 . 10) (3 . 12) (5 . 14) (6 . 16)) 4265 0.2969 10.2481 ((1 . 27) (2 . 28) (4 . 30) (5 . 31)) 4275 0.6550 12.4807 ((3 . 22) (4 . 24) (5 . 26) (6 . 29)) 4281 0.2487 10.9551 ((1 . 6) (2 . 7) (3 . 9) (6 . 14)) 4299 0.1499 9.2892 ((2 . 5) (4 . 7) (5 . 8) (6 . 10)) 4326 0.1996 10.4767 ((1 . 5) (3 . 6) (4 . 8) (6 . 14)) 4352 0.6633 9.0558 ((1 . 7) (4 . 13) (5 . 14) (6 . 15)) 4386 0.6656 6.7841 ((1 . 7) (2 . 8) (5 . 11) (6 . 13)) 4408 0.6642 8.4239 ((1 . 19) (2 . 20) (4 . 21) (5 . 23)) 4492 0.3879 7.9611 ((1 . 9) (3 . 10) (5 . 12) (6 . 14)) 4495 0.2969 10.9646 ((1 . 5) (2 . 7) (5 . 11) (6 . 12)) 4504 0.2968 11.8689 ((1 . 5) (3 . 10) (4 . 11) (5 . 12)) 4560 0.1333 11.2605 ((1 . 5) (3 . 7) (5 . 10) (6 . 12)) 4563 0.0999 8.1251 ((1 . 6) (4 . 32) (5 . 33) (6 . 37)) 4607 0.6614 10.1789 ((1 . 13) (4 . 16) (5 . 17) (6 . 18)) 4668 0.1499 9.1909 ((1 . 2) (3 . 6) (5 . 8) (6 . 10)) 4678 0.2968 12.0871 ((1 . 3) (2 . 5) (4 . 7) (5 . 8)) 4699 0.6595 10.9918 ((1 . 10) (4 . 11) (5 . 12) (6 . 13)) 4715 0.2487 9.8718 ((2 . 11) (3 . 13) (4 . 14) (5 . 16)) 4716 0.6633 9.0530 ((1 . 3) (2 . 4) (5 . 7) (6 . 8)) 4731 0.6645 8.1332 ((2 . 12) (3 . 13) (4 . 15) (5 . 16)) 4764 0.2970 7.2943 ((1 . 8) (2 . 9) (4 . 10) (5 . 11)) 4783 0.6598 10.8663 ((1 . 2) (3 . 3) (5 . 6) (6 . 7)) 4889 0.6662 5.4641 ((1 . 19) (4 . 21) (5 . 23) (6 . 24)) 4963 0.3879 7.4456 ((2 . 5) (4 . 6) (5 . 7) (6 . 8)) 4978 0.6601 10.7767 ((1 . 27) (3 . 29) (5 . 31) (6 . 33)) 4998 0.4560 19.1959 ((1 . 22) (2 . 24) (4 . 27) (6 . 30)) 5000 0.2970 8.5778 ((2 . 31) (4 . 32) (5 . 33) (6 . 35)) 5016 0.1996 8.0755 ((3 . 6) (4 . 7) (5 . 8) (6 . 10)) 5039 0.4651 11.9333 ((1 . 35) (3 . 36) (4 . 38) (6 . 43)) 5092 0.6647 7.8978 ((1 . 2) (3 . 3) (5 . 5) (6 . 7)) 5101 0.1499 8.6663 ((1 . 2) (3 . 6) (5 . 8) (6 . 11)) 5103 0.2967 13.7532 ((1 . 14) (3 . 16) (4 . 18) (6 . 20)) 5132 0.1499 11.7950 ((3 . 32) (4 . 33) (5 . 34) (6 . 35)) 5134 0.6576 11.6868 ((1 . 15) (2 . 16) (4 . 18) (5 . 20)) 5212 0.6597 10.9366 ((1 . 8) (2 . 9) (4 . 10) (5 . 13)) 5223 0.3877 10.0417 ((2 . 13) (3 . 14) (4 . 16) (6 . 19)) 5285 0.1333 10.8712 ((2 . 2) (4 . 4) (5 . 5) (6 . 6)) 5318 0.4638 13.7776 ((1 . 4) (2 . 5) (4 . 6) (6 . 9)) 5323 0.6641 8.5101 ((3 . 13) (4 . 14) (5 . 15) (6 . 16)) 5501 0.6579 11.5842 ((1 . 23) (4 . 28) (5 . 29) (6 . 32)) 5525 0.1996 10.9640 ((1 . 5) (3 . 10) (5 . 11) (6 . 12)) 5560 0.1250 13.4874 ((1 . 7) (2 . 8) (4 . 10) (6 . 14)) 5562 0.1996 8.5998 ((3 . 13) (4 . 15) (5 . 16) (6 . 18)) 5594 0.2487 9.6496 ((2 . 7) (3 . 8) (4 . 10) (6 . 13)) 5648 0.6645 8.1057 ((1 . 4) (4 . 6) (5 . 7) (6 . 8)) 5656 0.5264 11.3109 ((1 . 12) (2 . 11) (3 . 13) (6 . 19)) 5689 0.6598 10.8666 ((3 . 16) (4 . 17) (5 . 18) (6 . 19)) 5701 0.2967 13.7138 ((1 . 10) (3 . 13) (5 . 15) (6 . 20)) 5702 0.6655 6.9573 ((1 . 1) (4 . 3) (5 . 4) (6 . 8)) 5704 0.3879 7.1457 ((3 . 1) (4 . 3) (5 . 4) (6 . 5)) 5782 0.6620 9.8443 ((3 . 3) (4 . 4) (5 . 6) (6 . 8)) 5795 0.6591 11.1694 ((1 . 5) (3 . 8) (5 . 11) (6 . 14)) 5827 0.1996 11.3563 ((2 . 18) (3 . 20) (4 . 21) (5 . 22)) 5904 0.6566 12.0201 ((1 . 2) (4 . 3) (5 . 5) (6 . 6)) 5913 0.6621 9.7899 ((1 . 4) (3 . 8) (5 . 11) (6 . 12)) 5945 0.4656 10.8414 ((1 . 27) (2 . 29) (3 . 30) (6 . 34)) 5949 0.2970 8.5494 ((1 . 2) (2 . 3) (5 . 8) (6 . 11)) 5955 0.1996 13.5286 ((1 . 6) (3 . 8) (5 . 10) (6 . 13)) 6029 0.2968 12.5255 ((1 . 34) (2 . 36) (4 . 38) (5 . 39)) 6041 0.6574 11.7439 ((1 . 3) (3 . 4) (4 . 5) (5 . 6)) 6079 0.6590 11.2005 ((2 . 15) (3 . 17) (4 . 18) (5 . 19)) 6089 0.2487 9.8230 ((2 . 30) (3 . 32) (4 . 33) (5 . 34)) 6169 0.6655 6.8971 ((1 . 1) (4 . 3) (5 . 4) (6 . 8)) 6243 0.2969 9.0864 ((2 . 9) (4 . 11) (5 . 12) (6 . 13)) 6258 0.4661 9.4116 ((2 . 1) (3 . 2) (5 . 5) (6 . 8)) 6268 0.6663 5.2185 ((1 . 8) (4 . 9) (5 . 11) (6 . 12)) 6294 0.6393 15.6795 ((1 . 19) (3 . 21) (4 . 24) (6 . 28)) 6329 0.6582 11.5007 ((1 . 7) (4 . 11) (5 . 12) (6 . 15)) 6356 0.6492 13.8827 ((1 . 10) (4 . 14) (5 . 16) (6 . 17)) 6359 0.6622 9.7326 ((1 . 1) (2 . 2) (5 . 5) (6 . 6)) 6376 0.4656 10.9389 ((1 . 16) (2 . 18) (3 . 20) (5 . 23)) 6384 0.3876 10.4665 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 6391 0.3878 8.2012 ((3 . 2) (4 . 3) (5 . 4) (6 . 5)) 6392 0.3877 9.8767 ((2 . 2) (3 . 4) (4 . 5) (5 . 6)) 6462 0.6636 8.8704 ((1 . 14) (2 . 15) (3 . 17) (5 . 19)) 6476 0.2969 9.4901 ((1 . 2) (2 . 1) (4 . 5) (5 . 7)) 6498 0.6640 8.5664 ((1 . 22) (2 . 23) (4 . 26) (5 . 28)) 6506 0.1499 15.9618 ((1 . 21) (2 . 22) (5 . 24) (6 . 25)) 6520 0.1333 8.0757 ((3 . 18) (4 . 21) (5 . 22) (6 . 23)) 6585 0.4641 13.4257 ((1 . 3) (2 . 4) (4 . 5) (6 . 9)) 6586 0.6513 13.4230 ((1 . 17) (2 . 19) (4 . 22) (5 . 23)) 6605 0.8325 4.8168 ((1 . 1) (3 . 3) (4 . 5) (5 . 6) (6 . 7)) 6622 0.6604 10.6496 ((1 . 4) (2 . 5) (5 . 8) (6 . 10)) 6635 0.4664 8.3640 ((2 . 2) (3 . 3) (5 . 6) (6 . 9)) END