6384 25 0.5638 13.5874 ((2 . 9) (3 . 10) (4 . 12) (6 . 13)) 77 0.5548 16.6736 ((1 . 3) (4 . 10) (5 . 12) (7 . 16)) 91 0.5698 9.2062 ((1 . 20) (3 . 22) (4 . 26) (7 . 30)) 147 0.5679 11.1045 ((2 . 1) (3 . 2) (4 . 3) (6 . 5)) 155 0.4452 8.4325 ((2 . 4) (3 . 5) (4 . 7) (6 . 8)) 157 0.4449 9.8119 ((1 . 12) (3 . 15) (4 . 17) (6 . 22)) 259 0.3785 11.7106 ((2 . 1) (4 . 3) (5 . 5) (6 . 6)) 293 0.5693 9.7847 ((3 . 3) (4 . 4) (5 . 5) (6 . 6)) 305 0.2474 17.6537 ((1 . 14) (2 . 13) (4 . 20) (7 . 25)) 317 0.5669 11.8741 ((2 . 4) (3 . 6) (4 . 7) (7 . 10)) 351 0.5687 10.4524 ((2 . 6) (3 . 8) (4 . 9) (5 . 10)) 442 0.5675 11.4188 ((3 . 13) (4 . 15) (5 . 16) (6 . 18)) 541 0.3784 12.0615 ((2 . 6) (3 . 9) (4 . 10) (6 . 13)) 543 0.5671 11.7612 ((2 . 7) (3 . 9) (4 . 14) (5 . 13)) 553 0.5704 8.2157 ((3 . 6) (4 . 7) (5 . 9) (6 . 10)) 584 0.1498 12.6653 ((1 . 2) (3 . 6) (5 . 9) (7 . 12)) 624 0.3785 11.6826 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 678 0.4421 15.1276 ((2 . 33) (3 . 36) (4 . 38) (6 . 40)) 782 0.5647 13.1312 ((2 . 8) (3 . 11) (4 . 12) (6 . 14)) 792 0.5705 7.9683 ((3 . 3) (4 . 5) (5 . 8) (7 . 10)) 818 0.2945 9.8661 ((2 . 3) (3 . 5) (5 . 9) (6 . 11)) 901 0.4914 7.5433 ((1 . 2) (2 . 3) (3 . 4) (6 . 8)) 928 0.3786 11.0385 ((2 . 11) (4 . 15) (6 . 17) (7 . 19)) 945 0.2944 11.2964 ((3 . 20) (4 . 21) (6 . 24) (7 . 25)) 949 0.5690 10.0846 ((3 . 33) (4 . 35) (5 . 36) (6 . 37)) 960 0.5692 9.9411 ((2 . 33) (4 . 37) (5 . 39) (7 . 41)) 978 0.1992 16.4001 ((1 . 2) (3 . 5) (5 . 8) (7 . 11)) 1005 0.4909 9.5640 ((1 . 3) (2 . 4) (3 . 5) (6 . 8)) 1082 0.2477 11.2973 ((1 . 25) (2 . 26) (3 . 27) (4 . 29)) 1124 0.5676 11.3663 ((1 . 8) (5 . 11) (6 . 13) (7 . 15)) 1165 0.4910 9.1198 ((1 . 15) (2 . 16) (3 . 17) (5 . 20)) 1210 0.7073 10.0209 ((2 . 2) (3 . 4) (4 . 5) (5 . 6) (6 . 7)) 1267 0.5697 9.2848 ((2 . 5) (3 . 6) (4 . 8) (7 . 14)) 1268 0.5679 11.1444 ((2 . 15) (3 . 16) (4 . 17) (7 . 19)) 1345 0.2943 12.7669 ((1 . 10) (2 . 11) (4 . 15) (6 . 17)) 1388 0.3789 8.4633 ((1 . 3) (5 . 10) (6 . 11) (7 . 12)) 1415 0.3787 10.4665 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 1447 0.3783 12.6344 ((2 . 4) (3 . 6) (4 . 8) (5 . 10)) 1470 0.7063 10.3680 ((1 . 7) (3 . 9) (4 . 10) (5 . 11) (6 . 12)) 1472 0.5653 12.8126 ((2 . 10) (3 . 11) (4 . 12) (6 . 13)) 1497 0.5697 9.3534 ((2 . 11) (4 . 15) (5 . 16) (6 . 17)) 1513 0.5692 9.9599 ((1 . 7) (3 . 9) (4 . 12) (6 . 14)) 1591 0.2940 16.0988 ((2 . 10) (3 . 12) (4 . 15) (7 . 18)) 1604 0.4442 11.7920 ((1 . 6) (2 . 8) (4 . 11) (6 . 14)) 1690 0.0999 10.8398 ((2 . 23) (4 . 27) (5 . 28) (6 . 29)) 1724 0.5697 9.2649 ((2 . 1) (3 . 2) (5 . 6) (6 . 7)) 1763 0.5701 8.7650 ((1 . 1) (2 . 2) (3 . 4) (4 . 6)) 1776 0.2478 7.2172 ((1 . 10) (2 . 11) (3 . 13) (7 . 21)) 1793 0.3786 11.2472 ((1 . 15) (2 . 16) (3 . 17) (4 . 18)) 1796 0.5672 11.6851 ((2 . 2) (3 . 4) (4 . 5) (7 . 7)) 1894 0.4418 15.4101 ((1 . 8) (2 . 9) (6 . 15) (7 . 16)) 1896 0.5582 15.6715 ((1 . 2) (3 . 4) (6 . 10) (7 . 12)) 1908 0.5675 11.4254 ((2 . 6) (4 . 8) (6 . 14) (7 . 16)) 1909 0.0999 13.1246 ((1 . 24) (4 . 30) (6 . 33) (7 . 36)) 1944 0.5654 12.7643 ((2 . 4) (4 . 6) (6 . 8) (7 . 12)) 1957 0.5690 10.1309 ((2 . 2) (3 . 4) (5 . 6) (6 . 8)) 1967 0.2945 10.3964 ((3 . 4) (4 . 6) (6 . 8) (7 . 9)) 1987 0.5705 8.0034 ((2 . 9) (5 . 12) (6 . 13) (7 . 15)) 2048 0.4452 8.5955 ((1 . 2) (2 . 3) (6 . 10) (7 . 12)) 2067 0.5673 11.6301 ((1 . 6) (2 . 8) (5 . 17) (6 . 18)) 2081 0.1992 14.4853 ((3 . 11) (4 . 13) (5 . 14) (6 . 15)) 2083 0.5688 10.3702 ((3 . 3) (5 . 6) (6 . 8) (7 . 11)) 2114 0.2945 9.9182 ((3 . 30) (4 . 35) (5 . 37) (6 . 38)) 2233 0.4446 10.9927 ((1 . 5) (2 . 6) (4 . 8) (5 . 9)) 2269 0.3789 8.7761 ((4 . 1) (5 . 2) (6 . 4) (7 . 5)) 2295 0.5686 10.5224 ((1 . 2) (2 . 3) (4 . 5) (7 . 7)) 2298 0.5660 12.4591 ((3 . 7) (4 . 9) (6 . 13) (7 . 14)) 2342 0.7006 11.9296 ((1 . 8) (3 . 10) (4 . 11) (5 . 12) (6 . 13)) 2344 0.5682 10.9194 ((1 . 12) (3 . 17) (4 . 19) (5 . 21)) 2364 0.2477 11.6347 ((1 . 2) (3 . 6) (4 . 8) (6 . 11)) 2443 0.5710 6.5344 ((3 . 3) (4 . 4) (5 . 5) (6 . 6)) 2447 0.2943 13.5782 ((1 . 20) (3 . 26) (4 . 27) (7 . 32)) 2510 0.5696 9.4129 ((3 . 22) (4 . 26) (6 . 28) (7 . 29)) 2519 0.5658 12.5484 ((2 . 1) (3 . 3) (4 . 4) (6 . 6)) 2533 0.5672 11.6546 ((1 . 7) (5 . 14) (6 . 16) (7 . 17)) 2551 0.4452 8.2760 ((1 . 4) (2 . 5) (3 . 6) (6 . 10)) 2552 0.5695 9.5706 ((2 . 2) (3 . 4) (4 . 6) (5 . 7)) 2591 0.2463 25.4230 ((1 . 36) (3 . 39) (6 . 42) (7 . 44)) 2627 0.5700 8.8360 ((3 . 53) (4 . 55) (5 . 56) (6 . 57)) 2634 0.5696 9.4257 ((3 . 3) (4 . 5) (5 . 7) (6 . 8)) 2733 0.1992 11.6706 ((2 . 7) (3 . 9) (4 . 12) (6 . 14)) 2753 0.3785 11.8211 ((2 . 1) (4 . 3) (6 . 6) (7 . 7)) 2842 0.0999 14.4332 ((3 . 7) (4 . 8) (6 . 10) (7 . 12)) 2867 0.2477 11.9075 ((1 . 3) (3 . 5) (6 . 10) (7 . 11)) 2947 0.1664 8.8559 ((1 . 18) (2 . 19) (3 . 20) (4 . 22)) 3014 0.4446 10.8952 ((2 . 12) (3 . 14) (4 . 15) (6 . 17)) 3041 0.5696 9.4539 ((4 . 17) (5 . 19) (6 . 20) (7 . 25)) 3084 0.5675 11.4163 ((2 . 4) (3 . 6) (5 . 8) (6 . 10)) 3127 0.1992 14.2599 ((2 . 5) (3 . 7) (4 . 9) (7 . 14)) 3197 0.3788 10.0047 ((2 . 17) (4 . 20) (5 . 22) (6 . 23)) 3286 0.1992 14.1818 ((1 . 6) (3 . 8) (4 . 11) (6 . 15)) 3310 0.1993 7.6084 ((3 . 1) (4 . 4) (6 . 5) (7 . 6)) 3339 0.5643 13.3225 ((3 . 8) (4 . 10) (6 . 14) (7 . 16)) 3362 0.5696 9.4358 ((2 . 3) (3 . 5) (6 . 12) (7 . 13)) 3391 0.4453 7.9798 ((1 . 15) (2 . 16) (3 . 18) (4 . 20)) 3415 0.2945 10.0197 ((2 . 21) (3 . 22) (4 . 23) (5 . 24)) 3446 0.5691 10.0168 ((2 . 1) (3 . 2) (4 . 3) (7 . 8)) 3470 0.5712 5.8696 ((3 . 11) (4 . 12) (5 . 13) (6 . 14)) 3495 0.1992 11.7166 ((1 . 6) (2 . 9) (3 . 10) (7 . 17)) 3561 0.4443 11.6535 ((1 . 21) (3 . 25) (5 . 27) (6 . 29)) 3613 0.5678 11.2245 ((1 . 32) (4 . 38) (5 . 39) (7 . 42)) 3651 0.1992 12.3847 ((1 . 14) (2 . 15) (3 . 19) (4 . 20)) 3658 0.3314 8.5014 ((1 . 19) (3 . 10) (4 . 13) (5 . 14) (6 . 15) (7 . 16)) 3661 0.4448 10.3232 ((1 . 10) (2 . 18) (3 . 21) (7 . 25)) 3732 0.2477 12.0442 ((1 . 4) (2 . 6) (3 . 8) (7 . 13)) 3778 0.1993 7.8068 ((2 . 8) (3 . 9) (6 . 17) (7 . 19)) 3787 0.3774 15.2911 ((2 . 18) (4 . 22) (6 . 25) (7 . 26)) 3829 0.1992 8.9778 ((2 . 7) (3 . 10) (4 . 11) (5 . 13)) 3830 0.3788 9.7597 ((2 . 2) (3 . 3) (4 . 5) (6 . 6)) 3834 0.5699 9.0760 ((1 . 2) (3 . 4) (5 . 6) (7 . 8)) 3847 0.5690 10.1378 ((4 . 10) (5 . 11) (6 . 12) (7 . 15)) 3853 0.4449 9.9691 ((1 . 13) (2 . 16) (3 . 19) (4 . 20)) 3870 0.3777 14.7479 ((1 . 2) (4 . 7) (6 . 9) (7 . 11)) 3968 0.2476 14.3121 ((2 . 4) (3 . 7) (4 . 10) (6 . 12)) 4009 0.5669 11.8497 ((1 . 16) (3 . 18) (4 . 20) (6 . 24)) 4011 0.2944 11.0564 ((2 . 1) (3 . 2) (4 . 3) (5 . 4)) 4030 0.1992 9.5583 ((1 . 7) (3 . 9) (5 . 11) (6 . 13)) 4034 0.5709 6.7762 ((2 . 1) (3 . 3) (5 . 7) (7 . 8)) 4062 0.5596 15.2257 ((2 . 38) (3 . 39) (5 . 40) (7 . 44)) 4077 0.4441 12.1412 ((2 . 12) (4 . 14) (6 . 15) (7 . 16)) 4115 0.5687 10.4316 ((2 . 4) (5 . 11) (6 . 12) (7 . 14)) 4134 0.5711 5.9770 ((3 . 25) (4 . 26) (5 . 27) (6 . 28)) 4192 0.5602 15.0256 ((1 . 11) (3 . 14) (5 . 18) (7 . 21)) 4195 0.5699 9.0072 ((3 . 2) (4 . 3) (5 . 4) (6 . 5)) 4216 0.5676 11.3913 ((2 . 9) (3 . 10) (4 . 13) (5 . 14)) 4226 0.1664 9.7130 ((2 . 2) (4 . 5) (6 . 10) (7 . 13)) 4242 0.2945 9.4157 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 4254 0.2942 14.4259 ((1 . 2) (3 . 5) (4 . 7) (7 . 12)) 4326 0.2477 10.0559 ((1 . 4) (2 . 5) (3 . 6) (6 . 14)) 4352 0.5713 4.4495 ((2 . 2) (4 . 7) (5 . 13) (6 . 14)) 4386 0.1992 8.9169 ((1 . 7) (4 . 11) (6 . 13) (7 . 14)) 4408 0.5680 11.0548 ((1 . 10) (3 . 19) (4 . 20) (6 . 21)) 4470 0.2478 7.4609 ((2 . 17) (4 . 22) (5 . 23) (6 . 24)) 4504 0.2945 10.0287 ((1 . 1) (2 . 2) (5 . 10) (7 . 12)) 4516 0.5689 10.2901 ((4 . 3) (5 . 5) (6 . 7) (7 . 9)) 4579 0.5664 12.1762 ((3 . 3) (4 . 5) (5 . 6) (6 . 7)) 4589 0.3789 8.8423 ((1 . 17) (4 . 20) (5 . 21) (7 . 24)) 4607 0.5705 7.9980 ((1 . 9) (2 . 11) (3 . 13) (6 . 17)) 4678 0.5673 11.5770 ((3 . 5) (4 . 7) (5 . 8) (6 . 9)) 4699 0.5710 6.6464 ((2 . 9) (3 . 10) (4 . 11) (5 . 12)) 4715 0.5692 9.9615 ((2 . 2) (3 . 4) (4 . 5) (6 . 9)) 4716 0.5706 7.7199 ((3 . 4) (4 . 5) (5 . 7) (6 . 8)) 4731 0.5669 11.8477 ((3 . 12) (4 . 15) (5 . 16) (6 . 17)) 4764 0.4896 11.9709 ((1 . 5) (3 . 8) (5 . 10) (6 . 11)) 4783 0.1663 13.8296 ((2 . 3) (3 . 6) (5 . 7) (7 . 8)) 4817 0.5929 8.7167 ((2 . 5) (3 . 6) (4 . 7) (5 . 9) (6 . 11)) 4889 0.1498 8.1721 ((2 . 8) (3 . 9) (5 . 13) (7 . 19)) 4961 0.5668 11.9377 ((1 . 8) (3 . 11) (5 . 16) (6 . 18)) 4963 0.2945 7.5000 ((3 . 6) (4 . 7) (5 . 8) (6 . 9)) 4998 0.4451 9.0470 ((2 . 17) (4 . 21) (6 . 22) (7 . 24)) 5000 0.0999 13.0185 ((1 . 33) (3 . 35) (4 . 36) (5 . 37)) 5016 0.3786 11.1234 ((2 . 5) (4 . 7) (5 . 8) (6 . 9)) 5039 0.5683 10.8337 ((3 . 35) (4 . 36) (5 . 38) (7 . 43)) 5068 0.4912 8.5777 ((2 . 19) (5 . 25) (6 . 26) (7 . 28)) 5069 0.5693 9.7513 ((3 . 1) (4 . 3) (6 . 6) (7 . 8)) 5073 0.5624 14.1637 ((1 . 37) (2 . 38) (3 . 40) (7 . 45)) 5080 0.5670 11.8105 ((3 . 6) (4 . 7) (5 . 8) (6 . 10)) 5092 0.5645 13.2624 ((1 . 13) (3 . 16) (4 . 17) (6 . 19)) 5101 0.4907 9.9377 ((1 . 19) (2 . 20) (3 . 22) (6 . 28)) 5103 0.2945 9.7178 ((1 . 7) (2 . 8) (4 . 11) (5 . 12)) 5132 0.4439 12.6197 ((2 . 27) (3 . 29) (4 . 33) (6 . 35)) 5134 0.3788 9.7863 ((2 . 11) (3 . 15) (4 . 16) (6 . 20)) 5145 0.5685 10.5904 ((1 . 2) (2 . 4) (3 . 7) (6 . 11)) 5167 0.5686 10.5290 ((2 . 6) (3 . 7) (4 . 8) (5 . 10)) 5192 0.3789 8.7939 ((1 . 13) (2 . 15) (3 . 16) (4 . 18)) 5212 0.4449 9.9847 ((2 . 18) (3 . 20) (6 . 25) (7 . 27)) 5223 0.2477 7.8338 ((1 . 4) (2 . 5) (3 . 7) (4 . 9)) 5266 0.5696 9.4355 ((3 . 9) (4 . 11) (5 . 12) (7 . 16)) 5285 0.3787 10.0954 ((4 . 1) (5 . 2) (6 . 4) (7 . 5)) 5307 0.0999 7.9626 ((4 . 52) (5 . 54) (6 . 56) (7 . 59)) 5318 0.2475 16.2268 ((2 . 5) (3 . 6) (6 . 9) (7 . 12)) 5323 0.5685 10.6445 ((2 . 13) (3 . 15) (5 . 17) (6 . 18)) 5442 0.5680 11.0536 ((1 . 35) (3 . 37) (4 . 39) (5 . 40)) 5501 0.5678 11.2064 ((2 . 22) (3 . 23) (4 . 26) (6 . 28)) 5525 0.5645 13.2434 ((2 . 10) (3 . 11) (4 . 12) (6 . 13)) 5560 0.2943 13.4514 ((2 . 14) (3 . 16) (4 . 18) (7 . 21)) 5562 0.1992 10.7939 ((1 . 15) (2 . 16) (3 . 18) (4 . 20)) 5601 0.1664 10.9258 ((2 . 4) (3 . 6) (4 . 9) (6 . 11)) 5648 0.5702 8.5865 ((2 . 5) (3 . 6) (4 . 7) (5 . 8)) 5656 0.3789 8.8078 ((1 . 4) (2 . 6) (5 . 13) (6 . 15)) 5689 0.2477 12.1946 ((2 . 11) (3 . 12) (5 . 16) (7 . 19)) 5702 0.5709 6.8750 ((1 . 12) (3 . 13) (4 . 15) (5 . 16)) 5704 0.5635 13.7098 ((1 . 5) (3 . 7) (6 . 9) (7 . 10)) 5770 0.4443 11.6439 ((2 . 10) (5 . 19) (6 . 21) (7 . 22)) 5771 0.1498 13.1535 ((3 . 2) (4 . 7) (6 . 8) (7 . 10)) 5782 0.7071 10.0904 ((3 . 7) (4 . 8) (5 . 9) (6 . 11) (7 . 17)) 5789 0.5693 9.8502 ((2 . 1) (3 . 3) (4 . 4) (6 . 6)) 5945 0.5710 6.6692 ((3 . 27) (4 . 29) (5 . 30) (6 . 31)) 6000 0.1992 12.5810 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 6029 0.1498 8.4644 ((3 . 34) (4 . 36) (5 . 38) (6 . 39)) 6033 0.5700 8.8962 ((3 . 5) (4 . 7) (5 . 9) (6 . 10)) 6074 0.5669 11.8539 ((1 . 3) (3 . 5) (4 . 7) (7 . 12)) 6075 0.3786 11.0488 ((1 . 19) (2 . 18) (3 . 22) (7 . 29)) 6079 0.1992 9.8548 ((3 . 10) (5 . 14) (6 . 15) (7 . 16)) 6089 0.2477 11.7047 ((2 . 2) (3 . 4) (4 . 6) (6 . 8)) 6169 0.5707 7.5980 ((3 . 12) (5 . 14) (6 . 15) (7 . 16)) 6243 0.5699 9.0439 ((2 . 7) (3 . 9) (4 . 11) (6 . 13)) 6258 0.5629 13.9912 ((1 . 1) (3 . 5) (4 . 8) (7 . 11)) 6268 0.3783 12.7874 ((2 . 9) (3 . 11) (4 . 12) (5 . 13)) 6271 0.4902 11.0809 ((1 . 6) (3 . 9) (5 . 13) (6 . 14)) 6329 0.3785 11.8106 ((2 . 9) (3 . 11) (5 . 13) (7 . 15)) 6344 0.3779 13.9659 ((2 . 5) (4 . 9) (6 . 10) (7 . 11)) 6356 0.2944 12.0725 ((1 . 5) (3 . 10) (5 . 12) (7 . 16)) 6359 0.5689 10.2046 ((2 . 4) (3 . 5) (4 . 6) (6 . 8)) 6384 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 6391 0.4444 11.4898 ((1 . 3) (2 . 4) (3 . 5) (7 . 9)) 6392 0.1664 12.3663 ((2 . 4) (3 . 5) (5 . 8) (6 . 10)) 6434 0.4427 14.4216 ((1 . 1) (5 . 6) (6 . 7) (7 . 8)) 6461 0.4446 10.7758 ((2 . 2) (3 . 4) (4 . 5) (6 . 7)) 6462 0.5541 16.8493 ((1 . 17) (3 . 19) (4 . 21) (7 . 26)) 6498 0.3788 9.8930 ((1 . 23) (2 . 26) (3 . 28) (4 . 30)) 6506 0.3788 9.8898 ((3 . 23) (4 . 24) (5 . 25) (6 . 27)) 6536 0.5699 9.0716 ((3 . 27) (4 . 28) (5 . 29) (6 . 30)) 6548 0.5697 9.2619 ((1 . 8) (2 . 10) (3 . 14) (4 . 15)) 6578 0.2945 8.2287 ((1 . 33) (3 . 39) (4 . 40) (5 . 41)) 6585 0.5688 10.3678 ((3 . 3) (4 . 4) (5 . 7) (7 . 9)) 6605 0.4454 7.0940 ((1 . 1) (2 . 2) (3 . 3) (5 . 6)) 6622 0.5709 6.9312 ((3 . 8) (4 . 10) (5 . 11) (7 . 12)) END