3830 25 0.6564 12.0824 ((2 . 9) (3 . 10) (5 . 12) (6 . 13)) 91 0.2970 4.8929 ((3 . 25) (4 . 26) (5 . 27) (6 . 30)) 147 0.6594 11.0343 ((2 . 5) (3 . 6) (4 . 7) (5 . 8)) 259 0.1996 9.2444 ((2 . 3) (3 . 5) (5 . 6) (6 . 8)) 293 0.6582 11.5015 ((1 . 1) (4 . 3) (5 . 4) (6 . 5)) 317 0.6599 10.8354 ((2 . 6) (3 . 7) (4 . 8) (5 . 9)) 351 0.6636 8.8753 ((2 . 6) (3 . 8) (4 . 7) (5 . 9)) 553 0.2969 10.9568 ((1 . 6) (3 . 9) (5 . 10) (6 . 14)) 678 0.6645 8.0945 ((1 . 32) (2 . 33) (3 . 36) (5 . 38)) 782 0.6550 12.4725 ((3 . 3) (4 . 4) (5 . 5) (6 . 7)) 792 0.6538 12.8191 ((1 . 14) (3 . 17) (5 . 19) (6 . 20)) 945 0.3875 10.8834 ((1 . 13) (3 . 16) (4 . 18) (5 . 20)) 978 0.2960 18.3311 ((1 . 9) (2 . 11) (3 . 12) (6 . 17)) 1005 0.1996 9.3041 ((1 . 3) (2 . 4) (4 . 6) (6 . 8)) 1082 0.1499 10.0671 ((2 . 11) (3 . 13) (5 . 14) (6 . 18)) 1124 0.2969 10.4895 ((2 . 13) (3 . 14) (4 . 15) (5 . 16)) 1165 0.6473 14.2684 ((1 . 9) (2 . 11) (5 . 15) (6 . 17)) 1210 0.6627 9.4828 ((3 . 1) (4 . 2) (5 . 3) (6 . 5)) 1233 0.0999 10.9066 ((1 . 13) (2 . 16) (4 . 19) (5 . 21)) 1267 0.6579 11.5884 ((1 . 14) (2 . 16) (4 . 18) (5 . 20)) 1268 0.1665 12.5311 ((1 . 12) (2 . 14) (3 . 16) (5 . 17)) 1395 0.6641 8.4572 ((1 . 1) (4 . 4) (5 . 5) (6 . 6)) 1415 0.6657 6.6413 ((1 . 2) (2 . 3) (4 . 5) (5 . 6)) 1470 0.6628 9.4163 ((3 . 2) (4 . 3) (5 . 4) (6 . 6)) 1472 0.6595 10.9992 ((2 . 10) (3 . 11) (5 . 12) (6 . 13)) 1497 0.2487 12.4300 ((1 . 5) (2 . 8) (5 . 11) (6 . 12)) 1513 0.6577 11.6567 ((1 . 1) (2 . 4) (4 . 7) (5 . 9)) 1604 0.3879 7.7239 ((1 . 11) (4 . 14) (5 . 15) (6 . 16)) 1690 0.4656 10.7989 ((1 . 12) (2 . 15) (5 . 22) (6 . 23)) 1724 0.2967 13.1575 ((2 . 1) (3 . 2) (4 . 3) (5 . 4)) 1763 0.3871 12.7627 ((2 . 4) (4 . 6) (5 . 8) (6 . 11)) 1796 0.1996 8.7005 ((2 . 3) (3 . 4) (5 . 5) (6 . 7)) 1897 0.2968 11.8772 ((2 . 35) (3 . 36) (4 . 37) (5 . 38)) 1957 0.6543 12.6670 ((1 . 10) (2 . 12) (5 . 16) (6 . 18)) 1967 0.6557 12.2687 ((2 . 6) (3 . 8) (4 . 9) (5 . 11)) 2122 0.2968 12.8439 ((2 . 11) (4 . 13) (5 . 16) (6 . 19)) 2269 0.1996 9.0767 ((1 . 1) (2 . 2) (3 . 4) (4 . 5)) 2295 0.5596 12.7982 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7)) 2342 0.6618 9.9694 ((1 . 11) (4 . 13) (5 . 14) (6 . 16)) 2344 0.3875 10.7710 ((1 . 5) (2 . 8) (3 . 9) (6 . 16)) 2443 0.1499 11.3049 ((2 . 2) (3 . 3) (4 . 4) (6 . 6)) 2447 0.6652 7.3823 ((3 . 2) (4 . 3) (5 . 4) (6 . 7)) 2465 0.1996 9.7046 ((2 . 4) (3 . 5) (5 . 6) (6 . 8)) 2510 0.3863 15.0903 ((1 . 26) (3 . 28) (4 . 29) (5 . 30)) 2519 0.6666 3.0184 ((1 . 1) (3 . 3) (5 . 4) (6 . 6)) 2551 0.3873 12.2245 ((1 . 4) (2 . 6) (3 . 7) (4 . 8)) 2627 0.1996 10.4278 ((1 . 52) (2 . 53) (4 . 54) (6 . 57)) 2634 0.6514 13.4054 ((1 . 3) (3 . 7) (5 . 8) (6 . 12)) 2658 0.1996 13.8471 ((1 . 5) (2 . 7) (4 . 9) (5 . 11)) 2682 0.1499 12.1141 ((1 . 16) (4 . 20) (5 . 21) (6 . 22)) 2703 0.6535 12.8886 ((2 . 1) (4 . 3) (5 . 4) (6 . 6)) 2753 0.2970 8.4011 ((1 . 6) (3 . 7) (4 . 8) (5 . 10)) 2804 0.3879 7.1508 ((2 . 26) (3 . 27) (4 . 28) (6 . 35)) 3041 0.6602 10.7308 ((2 . 13) (3 . 15) (5 . 17) (6 . 20)) 3084 0.6408 15.4503 ((1 . 18) (3 . 20) (5 . 22) (6 . 25)) 3127 0.6558 12.2580 ((1 . 5) (2 . 7) (4 . 12) (5 . 14)) 3200 0.6530 13.0212 ((1 . 5) (2 . 7) (4 . 8) (6 . 12)) 3202 0.2966 14.2172 ((1 . 10) (3 . 12) (4 . 14) (5 . 15)) 3222 0.6509 13.5041 ((1 . 17) (2 . 22) (3 . 24) (4 . 23)) 3286 0.2969 10.9478 ((2 . 6) (3 . 8) (5 . 10) (6 . 15)) 3339 0.2962 17.4446 ((1 . 1) (3 . 4) (5 . 8) (6 . 10)) 3358 0.1996 8.9309 ((2 . 3) (3 . 5) (5 . 9) (6 . 11)) 3391 0.6619 9.9106 ((1 . 15) (2 . 16) (3 . 18) (5 . 20)) 3415 0.2970 7.8385 ((2 . 18) (3 . 19) (4 . 20) (5 . 21)) 3446 0.6609 10.3924 ((2 . 8) (3 . 9) (5 . 10) (6 . 12)) 3496 0.6601 10.7451 ((1 . 25) (2 . 26) (3 . 27) (4 . 28)) 3561 0.6589 11.2184 ((1 . 21) (2 . 23) (4 . 25) (6 . 29)) 3585 0.6609 10.4043 ((1 . 15) (4 . 18) (5 . 19) (6 . 22)) 3658 0.3872 12.5702 ((1 . 13) (2 . 14) (3 . 16) (5 . 19)) 3661 0.6530 13.0084 ((1 . 14) (2 . 18) (4 . 21) (5 . 22)) 3787 0.2967 13.8111 ((2 . 26) (3 . 28) (4 . 30) (6 . 34)) 3829 0.6555 12.3333 ((1 . 6) (2 . 7) (4 . 10) (5 . 11)) 3830 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6)) 3834 0.6657 6.6452 ((1 . 2) (3 . 4) (5 . 5) (6 . 7)) 3968 0.3871 12.7872 ((2 . 4) (3 . 7) (5 . 10) (6 . 12)) 4009 0.6477 14.1961 ((3 . 3) (4 . 6) (5 . 8) (6 . 10)) 4011 0.6630 9.2512 ((1 . 2) (2 . 3) (3 . 5) (5 . 6)) 4030 0.6652 7.3165 ((1 . 4) (3 . 7) (4 . 8) (5 . 9)) 4067 0.6588 11.2695 ((1 . 15) (2 . 17) (4 . 19) (5 . 21)) 4077 0.6525 13.1231 ((1 . 14) (2 . 15) (4 . 16) (5 . 17)) 4115 0.6623 9.6890 ((2 . 9) (3 . 11) (5 . 12) (6 . 14)) 4134 0.1995 14.6716 ((1 . 28) (2 . 31) (4 . 32) (5 . 33)) 4226 0.6285 17.2402 ((1 . 15) (2 . 17) (5 . 23) (6 . 25)) 4242 0.1665 8.1076 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 4254 0.6451 14.6929 ((1 . 5) (2 . 7) (5 . 10) (6 . 14)) 4261 0.6528 13.0719 ((3 . 10) (4 . 11) (5 . 12) (6 . 14)) 4281 0.1996 9.7836 ((1 . 9) (2 . 13) (3 . 14) (5 . 16)) 4352 0.6652 7.3979 ((1 . 4) (2 . 5) (4 . 7) (5 . 11)) 4470 0.3877 10.0137 ((2 . 11) (4 . 13) (5 . 15) (6 . 17)) 4495 0.0999 11.0909 ((1 . 7) (3 . 9) (4 . 11) (5 . 12)) 4516 0.6412 15.3805 ((1 . 11) (4 . 15) (5 . 17) (6 . 21)) 4579 0.3879 7.1728 ((1 . 13) (2 . 16) (4 . 21) (5 . 22)) 4699 0.2969 9.4716 ((1 . 8) (2 . 9) (4 . 10) (6 . 12)) 4716 0.6446 14.7921 ((1 . 1) (3 . 4) (5 . 5) (6 . 8)) 4764 0.2970 5.1495 ((2 . 3) (3 . 4) (4 . 5) (5 . 6)) 4783 0.3878 8.7248 ((1 . 2) (2 . 3) (3 . 6) (5 . 7)) 4817 0.2968 11.7933 ((1 . 9) (2 . 11) (3 . 13) (4 . 12)) 4857 0.6619 9.9122 ((1 . 12) (2 . 14) (4 . 15) (5 . 16)) 4963 0.6662 5.6546 ((1 . 5) (2 . 6) (4 . 7) (5 . 8)) 4998 0.3874 11.6200 ((1 . 17) (2 . 21) (4 . 22) (5 . 24)) 5000 0.6583 11.4490 ((1 . 31) (2 . 32) (4 . 33) (5 . 35)) 5016 0.0999 13.2663 ((1 . 2) (3 . 5) (5 . 6) (6 . 8)) 5053 0.2969 11.4328 ((1 . 8) (2 . 13) (4 . 14) (5 . 17)) 5068 0.6256 17.6091 ((1 . 19) (2 . 21) (4 . 25) (6 . 28)) 5069 0.2969 9.1292 ((2 . 1) (4 . 3) (5 . 6) (6 . 8)) 5073 0.6533 12.9383 ((2 . 38) (3 . 40) (5 . 41) (6 . 43)) 5080 0.3875 10.8290 ((1 . 6) (2 . 7) (3 . 8) (6 . 13)) 5092 0.6618 9.9869 ((1 . 5) (2 . 7) (5 . 8) (6 . 10)) 5121 0.6609 10.4186 ((2 . 13) (4 . 14) (5 . 17) (6 . 22)) 5132 0.3874 11.5790 ((2 . 29) (4 . 32) (5 . 33) (6 . 35)) 5192 0.3875 11.3040 ((1 . 10) (3 . 15) (4 . 16) (5 . 18)) 5212 0.6515 13.3708 ((1 . 7) (4 . 10) (5 . 12) (6 . 14)) 5223 0.6555 12.3533 ((1 . 11) (2 . 13) (3 . 14) (6 . 19)) 5323 0.2970 8.6388 ((1 . 15) (2 . 16) (3 . 17) (5 . 18)) 5442 0.1996 8.8262 ((2 . 34) (4 . 36) (5 . 37) (6 . 39)) 5501 0.1996 11.0108 ((1 . 21) (2 . 22) (3 . 23) (5 . 26)) 5525 0.6583 11.4533 ((2 . 10) (3 . 11) (5 . 12) (6 . 13)) 5648 0.6650 7.6300 ((1 . 4) (2 . 5) (4 . 7) (5 . 8)) 5689 0.6629 9.3455 ((2 . 3) (3 . 4) (5 . 8) (6 . 9)) 5702 0.6627 9.4528 ((1 . 11) (2 . 12) (4 . 13) (5 . 14)) 5704 0.6633 9.1007 ((1 . 5) (3 . 7) (5 . 8) (6 . 10)) 5782 0.3875 10.9114 ((2 . 4) (4 . 7) (5 . 8) (6 . 11)) 5789 0.6658 6.3835 ((1 . 1) (3 . 3) (5 . 4) (6 . 6)) 5809 0.3875 10.9134 ((1 . 8) (2 . 10) (3 . 11) (6 . 16)) 5878 0.1333 9.2659 ((1 . 13) (4 . 21) (5 . 22) (6 . 24)) 5939 0.6498 13.7588 ((1 . 3) (3 . 5) (5 . 7) (6 . 12)) 5945 0.1995 14.3076 ((1 . 29) (2 . 30) (3 . 31) (5 . 34)) 6029 0.6270 17.4238 ((1 . 20) (3 . 22) (5 . 25) (6 . 26)) 6075 0.3876 10.7468 ((1 . 16) (2 . 18) (3 . 19) (6 . 23)) 6079 0.3872 12.2525 ((1 . 15) (2 . 17) (3 . 19) (5 . 22)) 6099 0.1996 12.1872 ((1 . 15) (4 . 19) (5 . 20) (6 . 21)) 6169 0.6643 8.3021 ((2 . 3) (3 . 4) (5 . 8) (6 . 9)) 6243 0.3877 9.5776 ((1 . 9) (3 . 11) (4 . 12) (5 . 13)) 6266 0.6574 11.7512 ((1 . 7) (2 . 9) (3 . 11) (4 . 12)) 6294 0.3873 12.1063 ((1 . 10) (2 . 12) (4 . 15) (6 . 21)) 6329 0.6626 9.5492 ((1 . 9) (2 . 11) (4 . 14) (5 . 15)) 6356 0.6602 10.7067 ((1 . 10) (3 . 12) (4 . 14) (5 . 16)) 6384 0.3877 9.7597 ((2 . 2) (3 . 3) (5 . 4) (6 . 6)) 6392 0.1996 11.3854 ((2 . 4) (4 . 5) (5 . 6) (6 . 8)) 6461 0.8310 6.2869 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (6 . 7)) 6498 0.2970 6.3228 ((1 . 22) (3 . 26) (4 . 27) (6 . 30)) 6506 0.2964 16.0847 ((1 . 23) (3 . 25) (5 . 27) (6 . 30)) 6520 0.6611 10.3256 ((2 . 18) (4 . 21) (5 . 22) (6 . 23)) 6536 0.2968 12.4837 ((1 . 23) (2 . 24) (3 . 25) (6 . 27)) 6539 0.1996 13.9857 ((2 . 1) (4 . 3) (5 . 7) (6 . 9)) 6548 0.6642 8.3915 ((3 . 8) (4 . 10) (5 . 14) (6 . 15)) 6573 0.2968 11.7611 ((2 . 15) (3 . 16) (5 . 18) (6 . 20)) 6587 0.1499 9.0787 ((2 . 28) (3 . 30) (4 . 32) (6 . 36)) 6622 0.6538 12.8115 ((2 . 5) (3 . 6) (5 . 8) (6 . 11)) END