3834 25 0.5700 8.9109 ((3 . 9) (4 . 10) (5 . 12) (6 . 13)) 91 0.5711 6.1693 ((4 . 22) (5 . 25) (6 . 27) (8 . 30)) 147 0.1992 11.9382 ((3 . 5) (4 . 6) (5 . 8) (6 . 9)) 157 0.5541 16.8399 ((4 . 6) (5 . 10) (6 . 12) (7 . 13)) 207 0.4440 12.3341 ((2 . 6) (5 . 11) (7 . 14) (8 . 16)) 259 0.3789 8.9072 ((4 . 2) (5 . 3) (6 . 5) (7 . 6)) 293 0.7131 6.3958 ((2 . 1) (4 . 3) (5 . 4) (6 . 5) (7 . 6)) 305 0.5624 14.1945 ((2 . 10) (3 . 13) (4 . 14) (6 . 20)) 317 0.5673 11.5778 ((3 . 6) (4 . 7) (5 . 9) (6 . 10)) 351 0.5698 9.2229 ((2 . 5) (4 . 7) (5 . 8) (6 . 10)) 442 0.1664 10.9429 ((2 . 9) (3 . 11) (5 . 13) (7 . 15)) 472 0.5651 12.9328 ((3 . 23) (4 . 24) (5 . 28) (6 . 29)) 495 0.2943 13.1953 ((2 . 2) (4 . 4) (5 . 6) (7 . 10)) 553 0.5708 7.1636 ((2 . 3) (4 . 5) (5 . 7) (6 . 9)) 624 0.5621 14.2960 ((2 . 14) (3 . 17) (5 . 19) (6 . 21)) 678 0.4423 14.8780 ((2 . 31) (5 . 38) (6 . 39) (7 . 40)) 782 0.4451 8.8191 ((2 . 3) (4 . 5) (5 . 6) (8 . 11)) 792 0.5701 8.7347 ((3 . 2) (4 . 3) (5 . 5) (6 . 8)) 834 0.5682 10.9109 ((4 . 36) (5 . 38) (6 . 40) (7 . 41)) 901 0.3768 16.7091 ((2 . 8) (4 . 10) (5 . 11) (6 . 14)) 945 0.2477 13.2230 ((2 . 16) (5 . 21) (6 . 23) (7 . 24)) 960 0.5584 15.6108 ((2 . 34) (4 . 39) (7 . 41) (8 . 42)) 978 0.1992 11.8665 ((2 . 2) (4 . 5) (6 . 9) (8 . 11)) 1005 0.4910 9.1145 ((2 . 3) (3 . 4) (4 . 5) (7 . 8)) 1043 0.2477 11.2287 ((2 . 11) (3 . 15) (4 . 16) (5 . 18)) 1082 0.5693 9.8080 ((5 . 26) (6 . 27) (7 . 28) (8 . 29)) 1084 0.4439 12.5800 ((2 . 2) (3 . 4) (4 . 6) (7 . 15)) 1165 0.5676 11.3439 ((4 . 13) (5 . 15) (6 . 16) (7 . 17)) 1204 0.5692 9.9080 ((2 . 15) (3 . 18) (4 . 19) (5 . 21)) 1210 0.2944 11.9941 ((4 . 1) (5 . 2) (7 . 4) (8 . 5)) 1267 0.3788 9.1503 ((2 . 7) (3 . 8) (6 . 14) (7 . 16)) 1268 0.5678 11.2307 ((3 . 15) (4 . 16) (5 . 17) (7 . 19)) 1301 0.3774 15.4004 ((4 . 2) (6 . 6) (7 . 7) (8 . 8)) 1345 0.5685 10.6499 ((2 . 6) (5 . 10) (6 . 11) (8 . 15)) 1388 0.5670 11.7813 ((2 . 3) (5 . 7) (6 . 10) (8 . 12)) 1395 0.5709 6.8538 ((2 . 1) (4 . 4) (5 . 5) (7 . 6)) 1415 0.5712 5.8822 ((2 . 2) (3 . 4) (4 . 5) (5 . 6)) 1470 0.3788 9.9674 ((2 . 7) (3 . 8) (4 . 9) (5 . 10)) 1472 0.5704 8.2622 ((3 . 10) (4 . 11) (5 . 12) (6 . 13)) 1497 0.5680 11.0991 ((5 . 19) (6 . 20) (7 . 22) (8 . 23)) 1513 0.5680 11.0611 ((2 . 1) (6 . 7) (7 . 9) (8 . 12)) 1595 0.2477 10.0280 ((2 . 2) (3 . 4) (4 . 6) (5 . 9)) 1604 0.3788 10.0115 ((3 . 11) (4 . 13) (6 . 15) (7 . 16)) 1724 0.5688 10.3011 ((2 . 1) (5 . 4) (6 . 5) (8 . 8)) 1763 0.2945 9.8877 ((2 . 1) (4 . 4) (5 . 6) (6 . 8)) 1776 0.5694 9.6966 ((2 . 8) (4 . 11) (5 . 13) (8 . 21)) 1793 0.5711 6.0982 ((5 . 15) (6 . 16) (7 . 17) (8 . 18)) 1796 0.3785 11.6168 ((2 . 3) (4 . 5) (5 . 6) (6 . 7)) 1897 0.5702 8.6124 ((3 . 35) (4 . 36) (5 . 38) (8 . 44)) 1909 0.3784 12.1273 ((4 . 26) (6 . 30) (7 . 32) (8 . 33)) 1967 0.3785 11.6876 ((2 . 4) (5 . 9) (6 . 11) (7 . 12)) 1987 0.5670 11.7840 ((2 . 8) (4 . 10) (5 . 11) (6 . 12)) 2048 0.5658 12.5752 ((3 . 2) (4 . 3) (5 . 5) (7 . 9)) 2054 0.5675 11.4767 ((3 . 7) (4 . 9) (6 . 15) (7 . 16)) 2067 0.5704 8.1981 ((2 . 47) (3 . 48) (4 . 49) (5 . 52)) 2094 0.5708 7.3524 ((5 . 3) (6 . 4) (7 . 6) (8 . 7)) 2114 0.5699 9.0006 ((5 . 35) (6 . 37) (7 . 38) (8 . 39)) 2117 0.2474 17.4897 ((2 . 13) (4 . 19) (5 . 21) (7 . 26)) 2122 0.3780 13.7249 ((4 . 2) (6 . 7) (7 . 9) (8 . 11)) 2179 0.5644 13.3075 ((4 . 12) (5 . 15) (7 . 16) (8 . 18)) 2233 0.5706 7.7729 ((3 . 2) (4 . 6) (5 . 7) (6 . 8)) 2269 0.0999 8.0385 ((4 . 1) (5 . 2) (6 . 5) (8 . 9)) 2295 0.5678 11.2099 ((2 . 2) (3 . 3) (4 . 4) (7 . 7)) 2342 0.5690 10.1593 ((2 . 1) (4 . 3) (5 . 4) (6 . 5)) 2344 0.3787 10.0837 ((2 . 21) (3 . 22) (4 . 23) (5 . 24)) 2364 0.4435 13.2905 ((3 . 2) (4 . 6) (5 . 8) (7 . 11)) 2443 0.5709 6.9214 ((2 . 3) (5 . 7) (6 . 8) (7 . 9)) 2447 0.4279 23.2483 ((2 . 2) (3 . 3) (7 . 9) (8 . 12)) 2465 0.3785 11.9145 ((2 . 4) (4 . 6) (5 . 7) (6 . 8)) 2510 0.5674 11.5066 ((2 . 18) (4 . 22) (6 . 26) (8 . 29)) 2519 0.5708 7.1021 ((2 . 1) (4 . 3) (5 . 4) (7 . 6)) 2525 0.3785 11.4583 ((3 . 42) (4 . 44) (5 . 46) (7 . 49)) 2544 0.2945 8.5509 ((4 . 18) (5 . 19) (6 . 21) (7 . 24)) 2551 0.5665 12.1259 ((2 . 2) (4 . 4) (6 . 8) (7 . 10)) 2591 0.1498 13.0301 ((4 . 34) (5 . 36) (7 . 37) (8 . 38)) 2627 0.2945 10.2580 ((2 . 52) (5 . 54) (7 . 56) (8 . 57)) 2634 0.5703 8.3679 ((4 . 3) (5 . 5) (6 . 7) (8 . 8)) 2658 0.5705 7.9937 ((5 . 4) (6 . 5) (7 . 6) (8 . 7)) 2703 0.3788 9.7583 ((4 . 2) (5 . 4) (6 . 5) (7 . 6)) 2733 0.5675 11.4802 ((3 . 5) (4 . 7) (5 . 9) (6 . 12)) 2753 0.5700 8.9253 ((3 . 2) (4 . 3) (5 . 6) (7 . 8)) 2840 0.2945 6.7931 ((3 . 2) (4 . 3) (5 . 7) (8 . 10)) 2842 0.2477 12.3434 ((2 . 7) (3 . 8) (5 . 10) (7 . 13)) 2947 0.3783 12.7026 ((4 . 16) (5 . 17) (6 . 19) (7 . 20)) 3014 0.3785 11.8447 ((2 . 15) (5 . 18) (7 . 20) (8 . 21)) 3034 0.2943 12.5949 ((4 . 8) (5 . 11) (6 . 13) (7 . 15)) 3041 0.5686 10.5079 ((3 . 10) (4 . 11) (5 . 13) (6 . 15)) 3202 0.5681 11.0155 ((2 . 10) (5 . 15) (6 . 20) (8 . 21)) 3286 0.5690 10.1656 ((5 . 10) (6 . 11) (7 . 12) (8 . 15)) 3300 0.3779 13.9936 ((2 . 3) (4 . 9) (5 . 10) (6 . 12)) 3310 0.5684 10.7333 ((2 . 1) (3 . 2) (4 . 3) (6 . 6)) 3334 0.2944 11.9259 ((4 . 9) (6 . 11) (7 . 12) (8 . 13)) 3339 0.4434 13.3410 ((2 . 16) (5 . 20) (6 . 23) (7 . 24)) 3391 0.5661 12.3691 ((5 . 15) (6 . 16) (7 . 18) (8 . 19)) 3415 0.5693 9.8047 ((2 . 20) (3 . 21) (4 . 23) (5 . 24)) 3446 0.5705 7.9993 ((3 . 1) (5 . 2) (6 . 3) (7 . 4)) 3470 0.5629 13.9518 ((2 . 11) (4 . 13) (6 . 16) (7 . 17)) 3496 0.5648 13.1053 ((4 . 24) (5 . 25) (6 . 26) (7 . 28)) 3585 0.2477 11.7177 ((2 . 15) (3 . 17) (4 . 18) (5 . 19)) 3613 0.5679 11.1550 ((2 . 32) (5 . 38) (6 . 39) (8 . 42)) 3651 0.5691 10.0241 ((2 . 4) (3 . 6) (4 . 7) (8 . 15)) 3658 0.5637 13.6060 ((4 . 12) (5 . 13) (7 . 15) (8 . 16)) 3661 0.5704 8.1555 ((2 . 10) (6 . 21) (7 . 22) (8 . 25)) 3663 0.5698 9.2057 ((4 . 3) (5 . 4) (6 . 6) (8 . 7)) 3787 0.4877 13.9299 ((2 . 13) (4 . 16) (7 . 20) (8 . 22)) 3829 0.2945 8.0038 ((5 . 3) (6 . 4) (7 . 6) (8 . 7)) 3830 0.5710 6.6452 ((2 . 1) (4 . 3) (5 . 5) (7 . 6)) 3834 1.0000 0.0000 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8)) 3870 0.2477 11.3080 ((2 . 2) (3 . 4) (4 . 6) (5 . 7)) 3942 0.5697 9.2485 ((2 . 4) (3 . 5) (4 . 6) (5 . 8)) 3968 0.1498 9.5981 ((2 . 4) (3 . 7) (4 . 8) (5 . 12)) 4009 0.5557 16.4253 ((2 . 16) (4 . 18) (7 . 24) (8 . 25)) 4011 0.5685 10.6569 ((4 . 1) (5 . 2) (6 . 5) (8 . 6)) 4030 0.5692 9.9296 ((2 . 13) (3 . 14) (5 . 17) (7 . 19)) 4034 0.5700 8.9083 ((3 . 1) (4 . 3) (6 . 7) (8 . 8)) 4062 0.5709 6.9115 ((3 . 33) (4 . 34) (6 . 38) (8 . 39)) 4077 0.5684 10.7626 ((2 . 9) (4 . 12) (6 . 14) (8 . 16)) 4115 0.5606 14.8709 ((2 . 4) (3 . 7) (5 . 12) (8 . 14)) 4134 0.1992 9.7028 ((2 . 24) (3 . 25) (4 . 26) (5 . 27)) 4195 0.2476 13.7703 ((2 . 11) (4 . 13) (6 . 17) (7 . 19)) 4216 0.5695 9.5028 ((3 . 12) (4 . 13) (5 . 14) (6 . 16)) 4242 0.5701 8.6261 ((3 . 2) (4 . 3) (5 . 5) (6 . 6)) 4243 0.5702 8.5650 ((2 . 2) (3 . 4) (4 . 5) (5 . 6)) 4254 0.1992 8.6361 ((2 . 7) (4 . 10) (5 . 12) (6 . 14)) 4261 0.5706 7.6951 ((2 . 11) (4 . 14) (5 . 15) (6 . 16)) 4281 0.2944 11.1702 ((4 . 7) (5 . 9) (6 . 13) (7 . 14)) 4299 0.5496 17.9326 ((3 . 1) (5 . 5) (6 . 7) (7 . 8)) 4352 0.5713 5.2254 ((2 . 5) (3 . 7) (4 . 13) (5 . 14)) 4386 0.5649 13.0616 ((2 . 8) (4 . 11) (5 . 13) (6 . 15)) 4408 0.5595 15.2583 ((2 . 10) (4 . 19) (5 . 20) (7 . 22)) 4492 0.2944 11.8895 ((2 . 6) (3 . 9) (4 . 10) (6 . 14)) 4504 0.2945 9.3312 ((2 . 1) (3 . 2) (6 . 10) (8 . 12)) 4579 0.5544 16.7635 ((3 . 22) (4 . 23) (6 . 25) (8 . 26)) 4589 0.1992 13.3195 ((2 . 17) (4 . 20) (5 . 21) (6 . 24)) 4607 0.5685 10.6169 ((5 . 11) (6 . 13) (7 . 15) (8 . 16)) 4699 0.5653 12.8385 ((3 . 8) (5 . 10) (7 . 12) (8 . 13)) 4715 0.4453 7.9798 ((3 . 9) (4 . 10) (5 . 13) (7 . 16)) 4716 0.5711 6.1315 ((2 . 4) (5 . 6) (6 . 7) (8 . 8)) 4731 0.4452 8.1038 ((3 . 13) (4 . 15) (7 . 19) (8 . 20)) 4764 0.5702 8.4503 ((3 . 2) (4 . 3) (6 . 6) (8 . 11)) 4783 0.5702 8.6079 ((4 . 1) (5 . 2) (6 . 3) (8 . 6)) 4817 0.5703 8.2725 ((2 . 6) (4 . 9) (5 . 11) (6 . 13)) 4857 0.2477 12.0432 ((2 . 12) (3 . 14) (4 . 15) (5 . 16)) 4888 0.5649 13.0352 ((3 . 5) (4 . 6) (5 . 10) (6 . 11)) 4889 0.5673 11.6016 ((4 . 18) (5 . 19) (6 . 20) (8 . 23)) 4961 0.0999 9.6934 ((2 . 4) (5 . 11) (6 . 13) (8 . 16)) 4963 0.3789 8.6272 ((2 . 7) (3 . 8) (4 . 9) (5 . 10)) 5000 0.5701 8.6863 ((2 . 31) (4 . 33) (5 . 35) (6 . 36)) 5039 0.1664 10.3548 ((4 . 35) (5 . 36) (7 . 40) (8 . 43)) 5053 0.1992 12.6875 ((2 . 7) (6 . 13) (7 . 14) (8 . 17)) 5065 0.5682 10.9327 ((2 . 1) (4 . 5) (5 . 6) (8 . 12)) 5068 0.3747 19.6261 ((4 . 21) (5 . 25) (6 . 26) (7 . 27)) 5069 0.5647 13.1326 ((2 . 3) (4 . 8) (6 . 14) (8 . 16)) 5080 0.2945 9.7107 ((4 . 6) (6 . 9) (7 . 11) (8 . 12)) 5092 0.5707 7.6051 ((3 . 13) (4 . 16) (7 . 18) (8 . 19)) 5101 0.3786 10.7881 ((2 . 20) (3 . 22) (4 . 24) (6 . 28)) 5134 0.5668 11.9485 ((4 . 15) (5 . 16) (6 . 18) (7 . 20)) 5192 0.1332 11.0496 ((2 . 15) (4 . 18) (5 . 19) (8 . 25)) 5212 0.5674 11.5607 ((2 . 9) (3 . 10) (4 . 12) (6 . 15)) 5223 0.5635 13.7172 ((2 . 9) (5 . 16) (6 . 18) (7 . 19)) 5285 0.1992 12.8780 ((2 . 2) (3 . 4) (4 . 5) (5 . 6)) 5318 0.4436 13.0980 ((2 . 9) (4 . 13) (6 . 15) (7 . 16)) 5323 0.5657 12.6114 ((4 . 9) (5 . 13) (6 . 14) (7 . 15)) 5324 0.5696 9.4938 ((3 . 19) (5 . 23) (6 . 26) (7 . 27)) 5411 0.1992 12.2100 ((4 . 1) (5 . 2) (6 . 5) (8 . 9)) 5442 0.5694 9.6707 ((2 . 35) (3 . 37) (4 . 38) (5 . 39)) 5487 0.5675 11.4803 ((2 . 1) (3 . 3) (5 . 8) (6 . 10)) 5501 0.5702 8.4917 ((2 . 26) (3 . 28) (4 . 29) (5 . 32)) 5525 0.4448 10.1656 ((2 . 3) (5 . 9) (6 . 10) (7 . 11)) 5560 0.5625 14.1571 ((2 . 10) (4 . 14) (6 . 16) (8 . 19)) 5594 0.5703 8.2648 ((2 . 2) (4 . 5) (5 . 7) (6 . 8)) 5601 0.4448 10.2977 ((4 . 4) (5 . 6) (7 . 9) (8 . 11)) 5648 0.5700 8.8797 ((5 . 4) (6 . 5) (7 . 6) (8 . 7)) 5656 0.4443 11.7517 ((2 . 13) (3 . 15) (4 . 17) (5 . 19)) 5689 0.5687 10.4671 ((3 . 2) (5 . 4) (6 . 7) (7 . 8)) 5701 0.2945 10.2775 ((3 . 7) (5 . 10) (6 . 13) (7 . 15)) 5702 0.5689 10.2523 ((3 . 2) (5 . 4) (6 . 7) (7 . 8)) 5704 0.2945 9.0368 ((2 . 5) (3 . 6) (4 . 7) (5 . 8)) 5770 0.4442 11.9793 ((2 . 7) (4 . 10) (6 . 19) (7 . 21)) 5771 0.5657 12.5853 ((2 . 2) (4 . 7) (5 . 8) (6 . 10)) 5782 0.5669 11.8905 ((3 . 8) (4 . 9) (5 . 11) (7 . 17)) 5789 0.5714 3.7036 ((2 . 1) (4 . 3) (5 . 4) (8 . 6)) 5795 0.2943 13.6524 ((3 . 3) (4 . 5) (5 . 7) (7 . 12)) 5878 0.1992 11.0278 ((4 . 13) (6 . 21) (7 . 22) (8 . 23)) 5913 0.1664 9.9442 ((2 . 1) (6 . 11) (7 . 12) (8 . 14)) 5939 0.2943 13.0466 ((2 . 3) (4 . 7) (6 . 12) (7 . 13)) 5945 0.5651 12.9424 ((2 . 27) (6 . 34) (7 . 35) (8 . 36)) 6029 0.4888 12.8531 ((2 . 32) (4 . 34) (5 . 36) (7 . 39)) 6033 0.5697 9.2365 ((2 . 4) (4 . 7) (5 . 9) (6 . 10)) 6079 0.5635 13.7164 ((4 . 14) (5 . 15) (7 . 18) (8 . 19)) 6099 0.4453 7.8789 ((2 . 12) (5 . 19) (6 . 20) (7 . 21)) 6169 0.5700 8.9049 ((4 . 4) (5 . 8) (6 . 9) (8 . 11)) 6192 0.4881 13.6416 ((2 . 4) (4 . 7) (7 . 16) (8 . 15)) 6243 0.2477 12.3852 ((2 . 9) (3 . 11) (4 . 12) (5 . 13)) 6258 0.5704 8.2485 ((5 . 1) (6 . 2) (7 . 5) (8 . 8)) 6266 0.3782 12.9622 ((2 . 4) (4 . 7) (6 . 11) (7 . 12)) 6294 0.3778 14.3600 ((2 . 12) (6 . 21) (7 . 24) (8 . 26)) 6329 0.5713 5.1338 ((3 . 6) (6 . 11) (7 . 12) (8 . 13)) 6359 0.5698 9.1950 ((2 . 1) (4 . 3) (5 . 4) (6 . 6)) 6384 0.5699 9.0760 ((2 . 1) (4 . 3) (6 . 5) (8 . 7)) 6391 0.2943 13.3378 ((2 . 3) (3 . 4) (4 . 5) (7 . 9)) 6392 0.2944 12.4051 ((5 . 4) (6 . 5) (7 . 6) (8 . 8)) 6461 0.5712 5.7883 ((2 . 1) (4 . 4) (5 . 5) (7 . 7)) 6476 0.2477 9.3488 ((2 . 1) (3 . 2) (4 . 5) (5 . 7)) 6498 0.5699 9.0665 ((4 . 22) (6 . 27) (7 . 28) (8 . 30)) 6506 0.3789 8.7719 ((4 . 23) (6 . 25) (7 . 27) (8 . 28)) 6536 0.5685 10.6324 ((2 . 27) (4 . 29) (5 . 30) (8 . 34)) 6548 0.5700 8.9297 ((2 . 6) (4 . 8) (6 . 14) (7 . 15)) 6578 0.5704 8.2517 ((2 . 36) (3 . 39) (4 . 40) (5 . 41)) 6585 0.2944 11.8510 ((4 . 4) (5 . 5) (6 . 7) (7 . 9)) 6587 0.3775 15.1889 ((2 . 28) (4 . 32) (5 . 35) (6 . 36)) 6605 0.2477 12.0820 ((2 . 4) (3 . 5) (4 . 6) (5 . 7)) 6622 0.5702 8.6171 ((2 . 5) (4 . 8) (5 . 10) (6 . 11)) 6635 0.4454 6.1506 ((2 . 2) (3 . 3) (4 . 6) (7 . 10)) END