4011 25 0.4658 10.3106 ((1 . 4) (3 . 9) (5 . 10) (6 . 12)) 91 0.6460 14.5221 ((1 . 22) (2 . 26) (5 . 30) (6 . 32)) 147 0.6595 10.9939 ((1 . 3) (3 . 6) (5 . 8) (6 . 9)) 157 0.6391 15.7209 ((1 . 6) (2 . 10) (4 . 12) (5 . 15)) 207 0.3877 9.5774 ((1 . 14) (3 . 16) (4 . 17) (5 . 19)) 293 0.6634 9.0031 ((1 . 3) (2 . 4) (5 . 5) (6 . 6)) 317 0.6586 11.3313 ((1 . 4) (3 . 7) (5 . 9) (6 . 10)) 351 0.0999 11.4094 ((1 . 1) (2 . 2) (5 . 5) (6 . 6)) 361 0.1333 11.2163 ((1 . 3) (2 . 6) (4 . 7) (6 . 9)) 495 0.6598 10.8888 ((1 . 2) (2 . 4) (4 . 6) (6 . 10)) 553 0.6632 9.1378 ((1 . 3) (2 . 4) (5 . 6) (6 . 7)) 584 0.1499 9.7398 ((1 . 2) (3 . 6) (5 . 9) (6 . 12)) 624 0.6247 17.7151 ((1 . 3) (2 . 4) (3 . 6) (6 . 10)) 635 0.1499 18.0925 ((2 . 4) (3 . 7) (5 . 9) (6 . 11)) 678 0.6600 10.7951 ((1 . 25) (3 . 28) (5 . 30) (6 . 32)) 782 0.4656 10.8450 ((1 . 6) (3 . 9) (5 . 11) (6 . 12)) 792 0.6629 9.3274 ((1 . 17) (2 . 19) (5 . 20) (6 . 21)) 818 0.1996 11.5917 ((1 . 3) (2 . 5) (4 . 9) (5 . 11)) 834 0.6648 7.8340 ((1 . 35) (2 . 38) (3 . 39) (4 . 40)) 1005 0.2969 8.7697 ((3 . 3) (4 . 4) (5 . 5) (6 . 6)) 1043 0.6583 11.4474 ((1 . 7) (2 . 9) (3 . 11) (5 . 15)) 1124 0.6586 11.3508 ((1 . 8) (2 . 10) (5 . 11) (6 . 14)) 1165 0.6658 6.4375 ((1 . 11) (3 . 15) (4 . 16) (5 . 17)) 1167 0.6515 13.3805 ((3 . 24) (4 . 25) (5 . 26) (6 . 28)) 1210 0.6626 9.5172 ((1 . 1) (2 . 2) (5 . 5) (6 . 6)) 1267 0.3878 8.1665 ((1 . 5) (2 . 6) (3 . 7) (5 . 8)) 1268 0.6516 13.3464 ((2 . 8) (4 . 10) (5 . 12) (6 . 15)) 1345 0.3876 10.6575 ((1 . 6) (2 . 8) (4 . 10) (6 . 15)) 1395 0.6628 9.3884 ((1 . 2) (2 . 4) (5 . 5) (6 . 6)) 1470 0.6660 6.0562 ((1 . 6) (2 . 7) (5 . 10) (6 . 11)) 1497 0.6635 8.9227 ((1 . 29) (2 . 30) (3 . 31) (5 . 33)) 1690 0.2968 11.8364 ((1 . 9) (2 . 12) (4 . 15) (6 . 22)) 1724 0.6653 7.2219 ((1 . 1) (2 . 4) (5 . 6) (6 . 8)) 1731 0.2966 15.0334 ((1 . 7) (2 . 9) (3 . 10) (5 . 11)) 1736 0.6569 11.9079 ((1 . 6) (2 . 8) (3 . 9) (5 . 11)) 1763 0.6501 13.6893 ((1 . 6) (2 . 8) (5 . 11) (6 . 12)) 1776 0.6574 11.7624 ((1 . 13) (2 . 18) (4 . 21) (5 . 22)) 1796 0.6658 6.4627 ((2 . 1) (4 . 3) (5 . 4) (6 . 5)) 1987 0.6596 10.9573 ((1 . 9) (2 . 10) (5 . 12) (6 . 13)) 2122 0.6614 10.1786 ((1 . 9) (2 . 11) (3 . 13) (6 . 19)) 2233 0.4657 10.6863 ((1 . 1) (3 . 5) (5 . 7) (6 . 8)) 2249 0.3877 9.5421 ((1 . 1) (2 . 2) (3 . 3) (6 . 8)) 2269 0.1996 11.1473 ((1 . 1) (2 . 2) (5 . 4) (6 . 9)) 2342 0.6648 7.8441 ((1 . 11) (2 . 13) (5 . 15) (6 . 16)) 2344 0.6605 10.5926 ((1 . 8) (2 . 9) (4 . 12) (6 . 16)) 2364 0.6628 9.3716 ((1 . 6) (3 . 10) (4 . 11) (6 . 16)) 2443 0.6469 14.3596 ((1 . 5) (2 . 6) (5 . 8) (6 . 9)) 2447 0.2487 12.6807 ((1 . 16) (4 . 20) (5 . 22) (6 . 26)) 2510 0.3849 17.5463 ((1 . 13) (2 . 16) (4 . 18) (6 . 22)) 2525 0.3878 9.0552 ((1 . 37) (2 . 39) (4 . 42) (6 . 44)) 2551 0.6656 6.8039 ((3 . 6) (4 . 7) (5 . 8) (6 . 10)) 2591 0.6583 11.4352 ((1 . 36) (2 . 37) (4 . 39) (5 . 40)) 2627 0.6653 7.2569 ((1 . 53) (2 . 54) (5 . 56) (6 . 57)) 2634 0.6624 9.6345 ((1 . 3) (2 . 5) (5 . 7) (6 . 8)) 2682 0.2483 19.4585 ((1 . 10) (3 . 16) (5 . 18) (6 . 20)) 2703 0.1499 11.0930 ((2 . 1) (4 . 2) (5 . 3) (6 . 5)) 2753 0.0999 14.7472 ((1 . 3) (2 . 6) (5 . 7) (6 . 10)) 2773 0.1333 10.9798 ((1 . 4) (2 . 7) (4 . 9) (5 . 8)) 2947 0.0999 10.6610 ((1 . 16) (2 . 17) (5 . 20) (6 . 22)) 3014 0.3877 9.4196 ((1 . 19) (2 . 21) (4 . 26) (6 . 31)) 3197 0.6519 13.2820 ((1 . 20) (2 . 22) (4 . 23) (5 . 25)) 3202 0.6659 6.2050 ((1 . 10) (2 . 15) (5 . 20) (6 . 21)) 3212 0.2970 8.1210 ((2 . 1) (4 . 6) (5 . 7) (6 . 10)) 3286 0.2968 12.2248 ((2 . 10) (4 . 11) (5 . 12) (6 . 15)) 3310 0.6660 6.0188 ((2 . 1) (3 . 2) (5 . 4) (6 . 5)) 3339 0.6532 12.9507 ((1 . 1) (2 . 2) (5 . 4) (6 . 8)) 3362 0.3875 11.1179 ((1 . 5) (2 . 7) (4 . 9) (6 . 13)) 3470 0.6592 11.1333 ((1 . 10) (3 . 12) (4 . 13) (6 . 16)) 3495 0.6649 7.6652 ((2 . 10) (4 . 11) (5 . 13) (6 . 14)) 3613 0.6648 7.8075 ((1 . 28) (2 . 30) (5 . 31) (6 . 32)) 3628 0.1333 9.5459 ((1 . 11) (2 . 13) (3 . 15) (4 . 16)) 3651 0.6609 10.4199 ((1 . 6) (2 . 7) (4 . 10) (6 . 14)) 3658 0.6540 12.7585 ((1 . 13) (2 . 14) (5 . 15) (6 . 19)) 3661 0.1665 14.4255 ((1 . 13) (3 . 17) (4 . 18) (6 . 22)) 3732 0.6604 10.6414 ((1 . 6) (3 . 8) (5 . 10) (6 . 13)) 3778 0.6587 11.3099 ((1 . 17) (2 . 19) (5 . 21) (6 . 23)) 3787 0.2970 8.2614 ((3 . 6) (4 . 8) (5 . 10) (6 . 11)) 3817 0.4663 8.8576 ((1 . 8) (3 . 12) (4 . 13) (5 . 14)) 3830 0.6630 9.2512 ((2 . 1) (3 . 2) (5 . 3) (6 . 5)) 3834 0.6603 10.6569 ((1 . 4) (2 . 5) (5 . 6) (6 . 8)) 3853 0.6615 10.1358 ((1 . 11) (3 . 16) (5 . 19) (6 . 20)) 3986 0.6459 14.5508 ((1 . 10) (2 . 16) (3 . 19) (4 . 20)) 4009 0.3868 13.7367 ((1 . 14) (2 . 16) (3 . 17) (5 . 18)) 4011 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6)) 4030 0.6629 9.3253 ((1 . 7) (2 . 9) (5 . 11) (6 . 13)) 4077 0.2969 10.9153 ((1 . 4) (2 . 6) (3 . 7) (6 . 9)) 4134 0.1996 10.9790 ((2 . 26) (3 . 27) (4 . 28) (6 . 31)) 4151 0.2487 11.9602 ((1 . 11) (3 . 16) (5 . 18) (6 . 20)) 4195 0.6644 8.2225 ((1 . 7) (2 . 8) (5 . 10) (6 . 11)) 4216 0.6656 6.7372 ((2 . 10) (4 . 12) (5 . 13) (6 . 14)) 4261 0.6592 11.1122 ((1 . 11) (2 . 14) (5 . 15) (6 . 17)) 4266 0.6541 12.7174 ((2 . 14) (3 . 16) (4 . 17) (5 . 18)) 4326 0.2487 11.4246 ((1 . 8) (3 . 14) (5 . 16) (6 . 18)) 4352 0.6613 10.2227 ((1 . 6) (3 . 12) (5 . 13) (6 . 14)) 4386 0.3879 6.6236 ((1 . 11) (2 . 13) (3 . 14) (4 . 15)) 4408 0.6663 5.0552 ((1 . 10) (2 . 20) (5 . 23) (6 . 24)) 4579 0.6455 14.6129 ((1 . 27) (2 . 30) (3 . 31) (4 . 32)) 4607 0.3878 8.2156 ((2 . 5) (3 . 8) (4 . 9) (5 . 11)) 4621 0.1996 11.2101 ((1 . 1) (2 . 2) (3 . 5) (6 . 10)) 4699 0.6626 9.5123 ((1 . 8) (2 . 10) (5 . 11) (6 . 13)) 4715 0.6604 10.6312 ((1 . 7) (4 . 13) (5 . 14) (6 . 16)) 4731 0.1996 8.5763 ((1 . 12) (2 . 13) (3 . 15) (4 . 16)) 4764 0.2486 13.7501 ((1 . 5) (4 . 8) (5 . 9) (6 . 10)) 4783 0.6656 6.8121 ((1 . 7) (2 . 8) (3 . 9) (5 . 10)) 4817 0.6542 12.6981 ((1 . 5) (2 . 7) (5 . 9) (6 . 11)) 4889 0.2969 9.3069 ((2 . 13) (3 . 18) (5 . 19) (6 . 21)) 4963 0.1499 8.7009 ((1 . 2) (2 . 5) (4 . 6) (6 . 8)) 5000 0.6660 5.9417 ((1 . 32) (2 . 33) (5 . 35) (6 . 37)) 5016 0.6661 5.7951 ((1 . 5) (2 . 6) (3 . 7) (5 . 8)) 5068 0.1996 12.1753 ((1 . 9) (2 . 11) (3 . 14) (6 . 19)) 5073 0.3875 11.2916 ((1 . 33) (2 . 37) (3 . 38) (6 . 41)) 5080 0.6628 9.4160 ((3 . 7) (4 . 8) (5 . 10) (6 . 11)) 5092 0.6650 7.6115 ((2 . 7) (4 . 8) (5 . 9) (6 . 10)) 5103 0.2964 16.1134 ((1 . 12) (3 . 14) (5 . 16) (6 . 18)) 5134 0.3877 9.6930 ((2 . 5) (3 . 7) (4 . 8) (6 . 11)) 5167 0.2969 9.7087 ((1 . 2) (2 . 6) (4 . 8) (6 . 10)) 5192 0.6306 16.9519 ((1 . 19) (2 . 22) (3 . 23) (5 . 25)) 5212 0.3877 9.6488 ((1 . 19) (2 . 20) (4 . 25) (6 . 27)) 5223 0.6488 13.9622 ((1 . 7) (3 . 11) (4 . 13) (6 . 16)) 5285 0.3878 9.1354 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 5324 0.6451 14.6877 ((1 . 21) (2 . 23) (4 . 26) (6 . 29)) 5411 0.1499 8.8793 ((2 . 1) (3 . 2) (5 . 5) (6 . 9)) 5487 0.3868 13.6437 ((1 . 3) (2 . 5) (4 . 8) (5 . 10)) 5501 0.3869 13.3756 ((1 . 29) (2 . 32) (4 . 34) (6 . 38)) 5525 0.3874 11.5876 ((1 . 2) (2 . 3) (3 . 5) (6 . 10)) 5594 0.6636 8.8592 ((1 . 2) (3 . 7) (4 . 8) (6 . 13)) 5601 0.1996 11.0508 ((1 . 4) (2 . 6) (3 . 9) (5 . 11)) 5648 0.6617 10.0227 ((1 . 1) (2 . 4) (5 . 5) (6 . 7)) 5689 0.6630 9.2955 ((1 . 4) (2 . 8) (5 . 10) (6 . 14)) 5702 0.6635 8.9113 ((2 . 13) (3 . 14) (5 . 15) (6 . 16)) 5704 0.6627 9.4409 ((1 . 4) (2 . 5) (5 . 6) (6 . 7)) 5782 0.1996 13.1287 ((1 . 3) (2 . 4) (3 . 6) (4 . 7)) 5939 0.3876 10.3775 ((1 . 7) (3 . 12) (5 . 13) (6 . 15)) 5945 0.3877 9.2861 ((1 . 25) (2 . 27) (3 . 29) (4 . 30)) 6000 0.6510 13.4821 ((1 . 3) (2 . 5) (3 . 6) (5 . 7)) 6029 0.2486 14.8654 ((1 . 32) (3 . 36) (5 . 38) (6 . 39)) 6033 0.6623 9.6942 ((1 . 3) (2 . 4) (5 . 7) (6 . 9)) 6079 0.3874 11.7751 ((1 . 14) (2 . 15) (3 . 17) (5 . 19)) 6169 0.6643 8.3304 ((1 . 4) (2 . 8) (5 . 9) (6 . 11)) 6258 0.6635 8.9129 ((3 . 1) (4 . 2) (5 . 5) (6 . 8)) 6329 0.4653 11.5312 ((1 . 11) (4 . 14) (5 . 15) (6 . 16)) 6359 0.6614 10.1708 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 6369 0.6527 13.0889 ((1 . 21) (2 . 23) (3 . 25) (5 . 27)) 6384 0.2969 11.0564 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 6434 0.1996 8.6401 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 6462 0.1996 9.9360 ((3 . 14) (4 . 15) (5 . 17) (6 . 19)) 6498 0.6333 16.5858 ((1 . 8) (2 . 11) (3 . 14) (5 . 15)) 6506 0.1996 9.4172 ((1 . 17) (2 . 18) (3 . 20) (4 . 21)) 6536 0.6643 8.3079 ((1 . 21) (2 . 22) (5 . 24) (6 . 25)) 6587 0.3869 13.6124 ((1 . 30) (2 . 32) (4 . 35) (5 . 36)) 6605 0.6612 10.2535 ((2 . 1) (4 . 4) (5 . 5) (6 . 7)) 6622 0.6636 8.8659 ((1 . 2) (2 . 5) (5 . 8) (6 . 10)) 6635 0.3871 12.8326 ((1 . 2) (4 . 6) (5 . 9) (6 . 10)) END