1210 25 0.5695 9.5578 ((1 . 2) (3 . 5) (5 . 9) (7 . 12)) 91 0.5672 11.6504 ((1 . 32) (2 . 35) (3 . 36) (5 . 39)) 157 0.5698 9.2145 ((2 . 10) (3 . 12) (4 . 13) (6 . 17)) 259 0.5704 8.2080 ((4 . 2) (5 . 5) (6 . 7) (7 . 8)) 293 0.5698 9.1606 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 317 0.2945 8.6788 ((3 . 3) (4 . 4) (6 . 6) (7 . 7)) 351 0.7138 5.0156 ((3 . 5) (4 . 6) (5 . 7) (6 . 8) (7 . 9)) 442 0.5679 11.1645 ((1 . 13) (2 . 15) (3 . 16) (4 . 18)) 543 0.2942 14.6618 ((1 . 3) (5 . 9) (6 . 13) (7 . 14)) 553 0.9968 5.4041 ((1 . 3) (2 . 4) (3 . 6) (4 . 7) (5 . 9) (6 . 10) (7 . 14)) 609 0.5686 10.5588 ((2 . 2) (3 . 4) (4 . 5) (6 . 7)) 624 0.5671 11.7540 ((2 . 19) (3 . 21) (6 . 23) (7 . 25)) 672 0.5687 10.3975 ((1 . 4) (3 . 7) (5 . 8) (7 . 12)) 678 0.5692 9.9515 ((2 . 25) (5 . 28) (6 . 30) (7 . 32)) 782 0.3788 9.0777 ((1 . 4) (3 . 5) (4 . 6) (7 . 11)) 792 0.9966 5.4621 ((1 . 11) (2 . 13) (3 . 14) (4 . 16) (5 . 17) (6 . 19) (7 . 20)) 818 0.5693 9.8082 ((3 . 3) (4 . 5) (6 . 9) (7 . 11)) 834 0.3787 10.2587 ((1 . 34) (2 . 35) (6 . 40) (7 . 42)) 945 0.5674 11.5158 ((3 . 13) (5 . 16) (6 . 18) (7 . 20)) 949 0.5703 8.3095 ((3 . 33) (4 . 35) (5 . 36) (6 . 37)) 960 0.5694 9.7373 ((1 . 7) (5 . 13) (6 . 15) (7 . 16)) 978 0.7090 9.3539 ((1 . 8) (3 . 9) (4 . 11) (5 . 12) (6 . 15)) 1082 0.5685 10.6102 ((2 . 25) (4 . 26) (5 . 27) (6 . 28)) 1124 0.5697 9.3486 ((4 . 8) (5 . 9) (6 . 10) (7 . 11)) 1210 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 1268 0.3788 9.6169 ((1 . 16) (2 . 17) (6 . 20) (7 . 21)) 1388 0.5693 9.7512 ((1 . 3) (4 . 7) (5 . 10) (6 . 11)) 1415 0.5702 8.4998 ((3 . 1) (5 . 4) (6 . 5) (7 . 6)) 1470 0.9999 1.7686 ((1 . 10) (2 . 11) (3 . 12) (4 . 13) (5 . 14) (6 . 15) (7 . 16)) 1472 0.5694 9.7404 ((1 . 11) (2 . 12) (4 . 13) (5 . 14)) 1497 0.5712 5.7574 ((2 . 17) (5 . 21) (6 . 22) (7 . 23)) 1513 0.5707 7.6033 ((1 . 12) (2 . 14) (4 . 16) (6 . 19)) 1690 0.5685 10.6007 ((1 . 22) (5 . 26) (6 . 27) (7 . 28)) 1724 0.0999 11.0198 ((3 . 3) (4 . 4) (5 . 5) (7 . 8)) 1736 0.7083 9.6198 ((1 . 2) (2 . 6) (3 . 8) (4 . 9) (5 . 11)) 1778 0.1992 10.5653 ((2 . 6) (5 . 10) (6 . 11) (7 . 13)) 1796 0.5698 9.1185 ((2 . 3) (4 . 5) (5 . 6) (6 . 7)) 1894 0.3769 16.3620 ((1 . 4) (2 . 6) (4 . 8) (7 . 15)) 1897 0.5659 12.4802 ((1 . 35) (2 . 36) (3 . 38) (7 . 44)) 1908 0.1992 10.4121 ((2 . 6) (3 . 8) (4 . 9) (7 . 16)) 1909 0.5709 7.0370 ((4 . 30) (5 . 32) (6 . 33) (7 . 36)) 1944 0.3789 7.9182 ((1 . 8) (3 . 12) (4 . 14) (7 . 20)) 1987 0.5705 7.8551 ((1 . 10) (2 . 11) (4 . 12) (5 . 13)) 2048 0.4445 11.2365 ((1 . 5) (4 . 10) (6 . 14) (7 . 15)) 2081 0.5678 11.2565 ((1 . 11) (3 . 13) (4 . 14) (6 . 16)) 2094 0.5705 7.9612 ((3 . 3) (4 . 4) (5 . 6) (6 . 7)) 2114 0.2944 10.7374 ((2 . 33) (5 . 37) (6 . 38) (7 . 39)) 2233 0.5698 9.1262 ((2 . 6) (3 . 7) (5 . 8) (6 . 9)) 2269 0.5686 10.4953 ((2 . 1) (3 . 2) (4 . 4) (5 . 5)) 2295 0.1992 10.3971 ((1 . 2) (4 . 5) (5 . 6) (7 . 7)) 2298 0.5704 8.1795 ((2 . 7) (4 . 9) (5 . 11) (7 . 14)) 2342 0.9999 2.4532 ((1 . 3) (2 . 4) (3 . 5) (4 . 6) (5 . 7) (6 . 8) (7 . 9)) 2344 0.5706 7.6475 ((2 . 5) (4 . 9) (6 . 12) (7 . 15)) 2443 0.5711 5.9041 ((2 . 2) (3 . 3) (4 . 4) (6 . 6)) 2447 0.3783 12.6748 ((2 . 32) (4 . 35) (6 . 37) (7 . 38)) 2519 0.5681 10.9799 ((1 . 1) (3 . 3) (4 . 4) (6 . 6)) 2552 0.5686 10.5127 ((2 . 2) (4 . 4) (5 . 6) (6 . 7)) 2591 0.2944 10.9701 ((1 . 34) (2 . 36) (4 . 37) (6 . 39)) 2634 0.5698 9.1274 ((2 . 2) (3 . 3) (4 . 5) (7 . 7)) 2733 0.5705 7.9486 ((1 . 5) (4 . 9) (5 . 12) (7 . 14)) 2753 0.5646 13.1764 ((2 . 1) (4 . 3) (5 . 4) (7 . 7)) 2830 0.4448 10.3121 ((1 . 2) (2 . 4) (4 . 6) (7 . 12)) 2947 0.5673 11.5742 ((1 . 8) (2 . 9) (6 . 16) (7 . 17)) 2990 0.2945 8.4985 ((2 . 13) (4 . 17) (5 . 18) (7 . 21)) 3014 0.5681 10.9416 ((2 . 18) (3 . 19) (4 . 21) (7 . 26)) 3041 0.5710 6.6987 ((1 . 5) (2 . 7) (5 . 10) (7 . 13)) 3084 0.5707 7.5193 ((1 . 6) (2 . 8) (4 . 10) (7 . 14)) 3176 0.1992 9.3567 ((2 . 21) (3 . 22) (4 . 23) (7 . 30)) 3200 0.5701 8.7492 ((1 . 7) (2 . 8) (5 . 12) (7 . 14)) 3202 0.5554 16.5064 ((1 . 7) (2 . 10) (5 . 14) (6 . 15)) 3286 0.1992 10.5640 ((1 . 2) (3 . 6) (6 . 10) (7 . 11)) 3310 0.1992 14.1631 ((3 . 2) (5 . 4) (6 . 5) (7 . 6)) 3334 0.1993 8.3979 ((1 . 7) (2 . 9) (4 . 11) (6 . 13)) 3339 0.5696 9.3997 ((1 . 30) (2 . 34) (3 . 35) (4 . 36)) 3358 0.5696 9.4788 ((3 . 3) (4 . 5) (6 . 9) (7 . 11)) 3415 0.3787 10.2150 ((1 . 18) (5 . 22) (6 . 23) (7 . 24)) 3446 0.5702 8.5952 ((1 . 9) (2 . 10) (4 . 12) (5 . 13)) 3470 0.5707 7.5631 ((1 . 11) (2 . 12) (3 . 13) (4 . 14)) 3561 0.3790 7.2786 ((1 . 23) (2 . 25) (5 . 29) (6 . 32)) 3613 0.5713 4.3419 ((2 . 39) (5 . 42) (6 . 43) (7 . 44)) 3651 0.5695 9.6086 ((1 . 14) (3 . 19) (4 . 20) (6 . 25)) 3658 0.5701 8.6328 ((1 . 10) (2 . 12) (5 . 14) (7 . 16)) 3661 0.5701 8.6997 ((2 . 3) (3 . 4) (4 . 5) (7 . 13)) 3778 0.5686 10.5242 ((1 . 17) (2 . 19) (5 . 21) (6 . 23)) 3787 0.5699 8.9480 ((1 . 20) (3 . 24) (4 . 25) (7 . 30)) 3817 0.1992 11.7230 ((1 . 8) (5 . 12) (6 . 13) (7 . 14)) 3830 0.5696 9.4828 ((1 . 3) (2 . 4) (3 . 5) (5 . 6)) 3834 0.2944 11.9941 ((1 . 4) (2 . 5) (4 . 7) (5 . 8)) 3847 0.5675 11.4535 ((2 . 10) (3 . 11) (4 . 12) (5 . 15)) 3853 0.5683 10.8488 ((2 . 11) (5 . 16) (6 . 19) (7 . 20)) 3968 0.5687 10.4374 ((2 . 2) (4 . 4) (5 . 7) (6 . 8)) 4009 0.5691 10.0710 ((2 . 14) (3 . 16) (4 . 17) (6 . 20)) 4011 0.5695 9.5172 ((1 . 1) (2 . 2) (5 . 5) (6 . 6)) 4030 0.5702 8.5733 ((1 . 11) (2 . 12) (3 . 13) (5 . 15)) 4062 0.3789 8.0404 ((1 . 40) (3 . 44) (6 . 47) (7 . 51)) 4067 0.3788 9.4823 ((2 . 12) (4 . 15) (6 . 19) (7 . 21)) 4077 0.5661 12.3888 ((1 . 6) (3 . 9) (5 . 12) (7 . 14)) 4115 0.5705 8.0132 ((1 . 11) (2 . 12) (4 . 14) (7 . 18)) 4134 0.5705 8.0342 ((1 . 25) (2 . 26) (3 . 27) (4 . 28)) 4192 0.5704 8.1568 ((1 . 14) (3 . 18) (5 . 20) (6 . 21)) 4195 0.9937 6.4091 ((1 . 2) (2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 8) (7 . 10)) 4242 0.5703 8.4086 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 4243 0.0999 8.3772 ((3 . 2) (5 . 4) (6 . 5) (7 . 6)) 4254 0.5708 7.1531 ((2 . 2) (4 . 5) (5 . 7) (7 . 10)) 4261 0.5697 9.2530 ((3 . 10) (4 . 11) (6 . 14) (7 . 15)) 4265 0.5711 6.2125 ((2 . 22) (4 . 25) (5 . 27) (6 . 28)) 4266 0.5690 10.1003 ((1 . 1) (2 . 3) (6 . 7) (7 . 9)) 4281 0.0999 11.5695 ((2 . 7) (3 . 9) (5 . 13) (7 . 16)) 4352 0.5703 8.3369 ((1 . 4) (3 . 7) (5 . 12) (7 . 14)) 4386 0.5681 10.9786 ((2 . 7) (3 . 8) (6 . 11) (7 . 12)) 4408 0.1498 10.2073 ((1 . 19) (4 . 21) (5 . 23) (6 . 24)) 4419 0.5712 5.3525 ((1 . 1) (2 . 2) (3 . 5) (7 . 11)) 4516 0.5712 5.3822 ((2 . 29) (3 . 31) (4 . 33) (6 . 35)) 4579 0.5699 9.0398 ((4 . 3) (5 . 5) (6 . 6) (7 . 7)) 4589 0.1992 10.4770 ((2 . 20) (3 . 21) (5 . 24) (6 . 26)) 4607 0.5705 8.0522 ((2 . 13) (5 . 17) (6 . 18) (7 . 19)) 4699 0.1992 9.5323 ((1 . 9) (2 . 10) (4 . 11) (6 . 13)) 4715 0.5703 8.4338 ((1 . 7) (5 . 14) (6 . 15) (7 . 16)) 4716 0.5711 6.0934 ((2 . 3) (3 . 4) (4 . 5) (5 . 7)) 4731 0.5700 8.9393 ((3 . 13) (4 . 15) (5 . 16) (6 . 17)) 4764 0.5698 9.1925 ((2 . 8) (4 . 10) (5 . 11) (7 . 14)) 4783 0.5663 12.2302 ((3 . 6) (4 . 7) (6 . 8) (7 . 9)) 4817 0.7142 3.3880 ((3 . 6) (4 . 7) (5 . 9) (6 . 11) (7 . 13)) 4886 0.3781 13.4863 ((1 . 3) (2 . 6) (4 . 8) (7 . 13)) 4889 0.5706 7.8418 ((3 . 19) (5 . 21) (6 . 23) (7 . 24)) 4963 0.3788 9.8005 ((1 . 2) (4 . 5) (6 . 7) (7 . 8)) 4998 0.1332 9.1928 ((2 . 16) (3 . 17) (6 . 21) (7 . 22)) 5000 0.2945 9.4159 ((1 . 30) (4 . 32) (5 . 33) (7 . 35)) 5029 0.5686 10.5632 ((3 . 3) (5 . 5) (6 . 7) (7 . 9)) 5068 0.1664 8.7743 ((1 . 3) (2 . 6) (4 . 9) (7 . 14)) 5073 0.5706 7.7518 ((1 . 31) (4 . 35) (5 . 37) (6 . 38)) 5080 0.7117 7.7922 ((3 . 7) (4 . 8) (5 . 10) (6 . 11) (7 . 13)) 5101 0.3788 9.7847 ((1 . 17) (2 . 19) (4 . 22) (5 . 24)) 5103 0.5704 8.2616 ((2 . 5) (3 . 8) (6 . 11) (7 . 12)) 5132 0.5712 5.3363 ((2 . 19) (4 . 21) (5 . 23) (6 . 24)) 5134 0.2943 12.8138 ((1 . 7) (2 . 8) (3 . 9) (7 . 16)) 5167 0.5704 8.1234 ((1 . 6) (2 . 7) (4 . 10) (6 . 13)) 5212 0.2476 14.6764 ((2 . 8) (4 . 10) (6 . 13) (7 . 14)) 5223 0.3786 11.2997 ((1 . 7) (5 . 14) (6 . 16) (7 . 18)) 5266 0.2946 5.5987 ((1 . 9) (2 . 11) (3 . 12) (7 . 18)) 5285 0.5712 5.5254 ((2 . 1) (3 . 3) (4 . 4) (5 . 5)) 5318 0.2944 12.3604 ((2 . 9) (5 . 13) (6 . 14) (7 . 15)) 5323 0.5710 6.6164 ((1 . 13) (3 . 15) (5 . 17) (6 . 18)) 5324 0.1992 9.8889 ((2 . 4) (3 . 6) (6 . 11) (7 . 13)) 5442 0.5711 6.1995 ((2 . 34) (3 . 35) (6 . 39) (7 . 40)) 5487 0.1992 10.5881 ((1 . 3) (2 . 5) (4 . 8) (5 . 10)) 5525 0.5710 6.3699 ((1 . 2) (2 . 3) (5 . 9) (6 . 10)) 5562 0.5705 7.9205 ((4 . 9) (5 . 12) (6 . 13) (7 . 15)) 5600 0.1992 11.8782 ((1 . 1) (2 . 4) (5 . 7) (7 . 12)) 5601 0.5695 9.5758 ((3 . 4) (4 . 6) (6 . 9) (7 . 11)) 5648 0.7084 9.5757 ((3 . 4) (4 . 5) (5 . 6) (6 . 7) (7 . 8)) 5656 0.5699 9.0243 ((1 . 6) (4 . 11) (5 . 13) (6 . 15)) 5689 0.5678 11.1924 ((1 . 8) (3 . 10) (5 . 12) (6 . 13)) 5702 0.5700 8.9424 ((1 . 10) (2 . 11) (4 . 13) (5 . 14)) 5704 0.1498 13.1338 ((1 . 2) (3 . 4) (5 . 5) (7 . 7)) 5782 0.5699 8.9753 ((1 . 7) (2 . 8) (3 . 9) (4 . 11)) 5789 0.5685 10.6065 ((1 . 1) (3 . 3) (4 . 4) (6 . 6)) 5913 0.3786 10.8880 ((2 . 8) (3 . 11) (6 . 14) (7 . 16)) 5939 0.5705 7.8611 ((3 . 1) (4 . 3) (6 . 5) (7 . 7)) 5945 0.5702 8.6125 ((2 . 29) (3 . 30) (4 . 31) (6 . 34)) 6000 0.5640 13.4836 ((1 . 5) (2 . 6) (3 . 7) (4 . 8)) 6029 0.5709 6.9150 ((2 . 34) (4 . 37) (5 . 38) (6 . 39)) 6033 0.8551 5.8102 ((2 . 2) (3 . 4) (4 . 5) (5 . 7) (6 . 9) (7 . 10)) 6074 0.5682 10.9031 ((1 . 5) (3 . 7) (6 . 12) (7 . 14)) 6079 0.5703 8.2698 ((1 . 12) (2 . 14) (3 . 15) (5 . 17)) 6266 0.1992 10.7735 ((2 . 7) (4 . 9) (5 . 11) (6 . 12)) 6356 0.5689 10.2782 ((2 . 8) (3 . 10) (5 . 12) (6 . 14)) 6359 0.7139 4.8840 ((3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6)) 6384 0.7027 11.4298 ((2 . 1) (4 . 3) (5 . 4) (6 . 5) (7 . 6)) 6392 0.5696 9.3925 ((2 . 2) (3 . 4) (5 . 6) (6 . 8)) 6461 0.5692 9.8748 ((1 . 2) (2 . 4) (3 . 5) (5 . 7)) 6462 0.5694 9.7134 ((1 . 19) (3 . 21) (5 . 25) (6 . 26)) 6498 0.5689 10.2647 ((3 . 15) (4 . 18) (6 . 20) (7 . 22)) 6506 0.5711 6.3100 ((2 . 17) (3 . 18) (6 . 20) (7 . 21)) 6536 0.9959 5.7317 ((1 . 27) (2 . 28) (3 . 29) (4 . 30) (5 . 33) (6 . 34) (7 . 37)) 6578 0.5700 8.9084 ((1 . 33) (5 . 39) (6 . 40) (7 . 41)) 6605 0.0999 8.0278 ((2 . 3) (4 . 5) (5 . 6) (6 . 7)) 6622 0.7140 4.4536 ((1 . 5) (2 . 6) (3 . 8) (4 . 10) (5 . 11)) END