6605 25 0.5688 10.3615 ((1 . 5) (5 . 9) (6 . 10) (7 . 12)) 91 0.5699 9.0748 ((2 . 23) (3 . 25) (5 . 27) (7 . 30)) 147 0.2944 11.6991 ((1 . 3) (4 . 5) (5 . 6) (7 . 8)) 157 0.3788 9.6856 ((3 . 10) (4 . 12) (5 . 13) (6 . 15)) 207 0.4450 9.6501 ((1 . 12) (4 . 14) (6 . 16) (7 . 17)) 293 0.1993 8.2416 ((1 . 1) (5 . 2) (6 . 3) (7 . 4)) 307 0.4454 6.7430 ((1 . 2) (4 . 6) (6 . 8) (7 . 10)) 317 0.2660 7.8958 ((1 . 7) (2 . 8) (3 . 9) (5 . 10) (6 . 3) (7 . 6)) 329 0.3790 6.9113 ((1 . 3) (4 . 7) (5 . 8) (6 . 9)) 351 0.5702 8.4999 ((3 . 4) (5 . 6) (6 . 7) (7 . 8)) 361 0.5714 3.9877 ((3 . 5) (4 . 6) (5 . 7) (6 . 8)) 442 0.4446 10.7813 ((1 . 11) (4 . 13) (6 . 15) (7 . 16)) 553 0.1992 11.9914 ((1 . 10) (5 . 14) (6 . 15) (7 . 20)) 624 0.5684 10.7071 ((1 . 10) (2 . 12) (4 . 14) (7 . 17)) 635 0.5709 6.8458 ((2 . 7) (4 . 9) (5 . 11) (6 . 12)) 678 0.5674 11.5011 ((1 . 27) (5 . 31) (6 . 32) (7 . 33)) 782 0.5707 7.5896 ((1 . 1) (5 . 4) (6 . 5) (7 . 6)) 792 0.5699 9.0033 ((3 . 17) (4 . 19) (6 . 20) (7 . 21)) 834 0.5712 5.3090 ((3 . 39) (4 . 40) (5 . 42) (6 . 43)) 901 0.1992 12.7541 ((1 . 13) (3 . 14) (5 . 16) (7 . 18)) 928 0.5642 13.4005 ((1 . 6) (3 . 9) (5 . 11) (7 . 13)) 945 0.4450 9.6306 ((1 . 20) (2 . 21) (5 . 23) (6 . 24)) 960 0.5662 12.3063 ((3 . 20) (5 . 23) (6 . 24) (7 . 25)) 978 0.2945 9.6647 ((4 . 8) (5 . 9) (6 . 11) (7 . 12)) 980 0.1498 8.4977 ((3 . 2) (5 . 4) (6 . 6) (7 . 8)) 1043 0.5640 13.4814 ((1 . 11) (3 . 15) (4 . 16) (6 . 18)) 1082 0.5711 5.9001 ((1 . 25) (3 . 26) (4 . 27) (5 . 28)) 1124 0.2945 6.6361 ((1 . 13) (2 . 14) (3 . 15) (4 . 16)) 1165 0.4737 5.4049 ((1 . 13) (2 . 14) (3 . 15) (4 . 16) (5 . 17)) 1167 0.4452 8.4649 ((1 . 24) (2 . 25) (3 . 26) (6 . 28)) 1204 0.5707 7.4962 ((1 . 4) (2 . 6) (3 . 7) (4 . 8)) 1210 0.0999 8.0278 ((3 . 2) (5 . 4) (6 . 5) (7 . 6)) 1267 0.0999 9.6069 ((1 . 6) (3 . 7) (5 . 8) (7 . 14)) 1268 0.5696 9.4175 ((1 . 15) (3 . 16) (4 . 17) (7 . 19)) 1388 0.1992 10.4846 ((1 . 2) (3 . 3) (5 . 6) (6 . 7)) 1395 0.5667 12.0320 ((1 . 1) (5 . 3) (6 . 4) (7 . 5)) 1415 0.7139 4.8168 ((1 . 1) (3 . 3) (5 . 4) (6 . 5) (7 . 6)) 1470 0.5712 5.8526 ((1 . 15) (3 . 16) (4 . 17) (5 . 18)) 1472 0.5708 7.2851 ((1 . 5) (3 . 9) (4 . 10) (5 . 11)) 1497 0.5705 8.0259 ((2 . 9) (3 . 10) (4 . 11) (5 . 12)) 1508 0.5702 8.4510 ((1 . 1) (4 . 3) (5 . 4) (6 . 6)) 1513 0.1332 9.2663 ((1 . 9) (2 . 12) (4 . 14) (6 . 16)) 1591 0.0999 12.1678 ((1 . 15) (3 . 17) (4 . 18) (7 . 20)) 1604 0.5704 8.1155 ((1 . 11) (2 . 13) (3 . 14) (4 . 15)) 1690 0.5698 9.1442 ((4 . 26) (5 . 27) (6 . 28) (7 . 29)) 1724 0.2945 5.8738 ((1 . 3) (2 . 4) (3 . 5) (6 . 8)) 1731 0.1498 13.0415 ((3 . 7) (5 . 9) (6 . 10) (7 . 11)) 1736 0.2945 8.5725 ((1 . 6) (2 . 8) (3 . 9) (5 . 11)) 1738 0.1992 12.1226 ((1 . 15) (2 . 16) (5 . 20) (7 . 25)) 1761 0.1992 15.7001 ((1 . 6) (3 . 8) (5 . 10) (7 . 12)) 1763 0.3790 6.3475 ((1 . 4) (2 . 6) (4 . 8) (7 . 11)) 1776 0.2477 10.2063 ((1 . 6) (2 . 8) (4 . 10) (6 . 13)) 1796 0.2495 7.0339 ((1 . 1) (2 . 2) (4 . 5) (5 . 4) (6 . 7) (7 . 6)) 1896 0.4442 11.9212 ((4 . 10) (5 . 12) (6 . 13) (7 . 15)) 1909 0.2945 9.4552 ((3 . 30) (4 . 32) (5 . 33) (7 . 36)) 1944 0.1498 10.0158 ((1 . 6) (4 . 8) (6 . 12) (7 . 14)) 1957 0.5577 15.8390 ((1 . 8) (3 . 10) (5 . 12) (7 . 14)) 1967 0.5679 11.1307 ((1 . 8) (3 . 9) (4 . 11) (5 . 12)) 2048 0.3775 15.0401 ((3 . 5) (5 . 9) (6 . 10) (7 . 12)) 2054 0.5712 5.7917 ((1 . 9) (2 . 10) (5 . 12) (6 . 15)) 2067 0.3783 12.7606 ((1 . 58) (4 . 61) (5 . 62) (6 . 64)) 2081 0.4451 8.8591 ((4 . 14) (5 . 15) (6 . 16) (7 . 18)) 2083 0.0999 12.9052 ((3 . 3) (5 . 6) (6 . 8) (7 . 11)) 2094 0.5687 10.4463 ((3 . 3) (5 . 4) (6 . 6) (7 . 7)) 2114 0.5666 12.0800 ((3 . 30) (5 . 33) (6 . 35) (7 . 37)) 2118 0.5680 11.0305 ((1 . 6) (3 . 8) (4 . 9) (5 . 10)) 2122 0.3787 10.3563 ((3 . 2) (4 . 5) (6 . 7) (7 . 9)) 2233 0.1993 7.9541 ((2 . 2) (5 . 6) (6 . 7) (7 . 9)) 2295 0.5669 11.8852 ((1 . 1) (4 . 3) (5 . 4) (6 . 5)) 2298 0.5712 5.4056 ((1 . 2) (3 . 3) (6 . 5) (7 . 7)) 2340 0.4448 10.1231 ((1 . 8) (2 . 10) (3 . 12) (6 . 15)) 2342 0.5702 8.4844 ((3 . 15) (4 . 16) (6 . 18) (7 . 19)) 2344 0.5706 7.8461 ((3 . 12) (4 . 15) (6 . 17) (7 . 19)) 2364 0.2477 9.4001 ((3 . 1) (4 . 2) (6 . 6) (7 . 8)) 2443 0.2330 7.7261 ((1 . 10) (2 . 9) (4 . 1) (5 . 2) (6 . 3) (7 . 4)) 2447 0.5576 15.8515 ((2 . 20) (3 . 22) (5 . 26) (6 . 27)) 2465 0.5688 10.3424 ((3 . 1) (5 . 3) (6 . 5) (7 . 6)) 2533 0.2945 7.7259 ((2 . 2) (3 . 3) (5 . 5) (7 . 7)) 2556 0.5666 12.0475 ((1 . 12) (2 . 14) (3 . 15) (4 . 17)) 2627 0.1992 10.8375 ((1 . 54) (3 . 55) (5 . 56) (6 . 57)) 2634 0.2944 10.7693 ((1 . 8) (2 . 7) (5 . 12) (7 . 13)) 2682 0.1663 14.1235 ((1 . 16) (2 . 18) (5 . 20) (6 . 21)) 2703 0.4454 7.1192 ((1 . 1) (4 . 4) (6 . 5) (7 . 6)) 2733 0.5704 8.1674 ((1 . 9) (3 . 12) (4 . 13) (5 . 14)) 2950 0.4451 8.9478 ((1 . 8) (2 . 9) (3 . 10) (6 . 12)) 3014 0.1992 10.9856 ((1 . 8) (5 . 10) (6 . 12) (7 . 14)) 3041 0.5496 17.9493 ((1 . 5) (3 . 7) (5 . 10) (7 . 13)) 3084 0.1992 13.3233 ((1 . 10) (3 . 12) (5 . 14) (7 . 16)) 3127 0.2946 4.1969 ((1 . 5) (4 . 12) (6 . 16) (7 . 17)) 3197 0.5702 8.4814 ((3 . 22) (4 . 23) (5 . 25) (7 . 29)) 3200 0.5679 11.1588 ((2 . 5) (4 . 7) (5 . 8) (7 . 12)) 3202 0.5713 4.8828 ((3 . 24) (4 . 25) (5 . 27) (6 . 28)) 3212 0.3788 9.8954 ((2 . 6) (3 . 7) (5 . 10) (6 . 11)) 3286 0.5702 8.4777 ((2 . 10) (3 . 11) (5 . 12) (6 . 15)) 3310 0.5704 8.0705 ((1 . 2) (2 . 3) (3 . 4) (7 . 7)) 3322 0.5707 7.5284 ((1 . 2) (4 . 6) (6 . 8) (7 . 10)) 3334 0.2945 8.8679 ((1 . 9) (4 . 11) (5 . 12) (6 . 13)) 3339 0.5701 8.6791 ((3 . 30) (5 . 34) (6 . 35) (7 . 36)) 3415 0.5708 7.1133 ((2 . 20) (5 . 21) (6 . 23) (7 . 24)) 3446 0.5701 8.6711 ((1 . 4) (3 . 7) (4 . 8) (5 . 9)) 3470 0.5706 7.7823 ((3 . 12) (4 . 13) (5 . 14) (7 . 16)) 3538 0.2945 9.0136 ((1 . 13) (3 . 16) (4 . 17) (7 . 21)) 3613 0.5693 9.7950 ((3 . 42) (4 . 43) (6 . 44) (7 . 45)) 3651 0.5682 10.9135 ((3 . 2) (5 . 4) (6 . 6) (7 . 7)) 3658 0.2477 11.6812 ((1 . 13) (2 . 14) (4 . 16) (6 . 19)) 3661 0.5714 3.9310 ((3 . 3) (4 . 4) (5 . 5) (6 . 6)) 3663 0.5697 9.2949 ((3 . 3) (4 . 4) (6 . 6) (7 . 7)) 3733 0.5704 8.1915 ((3 . 2) (5 . 4) (6 . 5) (7 . 7)) 3787 0.5688 10.3204 ((3 . 5) (5 . 8) (6 . 10) (7 . 11)) 3834 0.2477 12.0820 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 3870 0.5711 6.3292 ((3 . 4) (4 . 6) (5 . 7) (7 . 9)) 3942 0.5713 4.6174 ((2 . 4) (5 . 5) (6 . 6) (7 . 8)) 3968 0.5703 8.4082 ((3 . 4) (4 . 7) (5 . 8) (7 . 10)) 4011 0.5689 10.2535 ((1 . 2) (4 . 4) (5 . 5) (7 . 6)) 4030 0.5704 8.2116 ((1 . 9) (3 . 10) (6 . 13) (7 . 15)) 4037 0.5711 6.1758 ((1 . 4) (2 . 5) (3 . 6) (4 . 7)) 4077 0.5700 8.8128 ((3 . 4) (4 . 6) (5 . 14) (7 . 17)) 4115 0.3788 9.8539 ((2 . 4) (3 . 7) (6 . 11) (7 . 12)) 4134 0.5685 10.6661 ((1 . 25) (3 . 26) (4 . 27) (7 . 31)) 4216 0.5714 4.1849 ((1 . 9) (3 . 10) (6 . 13) (7 . 14)) 4226 0.5689 10.2165 ((1 . 10) (4 . 13) (5 . 15) (6 . 17)) 4242 0.5709 6.7787 ((2 . 2) (4 . 5) (5 . 6) (7 . 8)) 4243 0.8569 3.5201 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6)) 4261 0.0999 9.9885 ((1 . 11) (5 . 14) (6 . 15) (7 . 16)) 4265 0.1993 8.0836 ((3 . 25) (4 . 27) (5 . 28) (7 . 31)) 4266 0.1498 13.8735 ((1 . 5) (4 . 7) (5 . 9) (6 . 10)) 4281 0.4453 7.9080 ((1 . 9) (2 . 11) (3 . 13) (6 . 16)) 4299 0.1992 12.6882 ((2 . 7) (3 . 8) (5 . 10) (7 . 13)) 4326 0.5672 11.6458 ((2 . 4) (3 . 5) (4 . 6) (6 . 8)) 4352 0.5610 14.7325 ((3 . 2) (5 . 4) (6 . 6) (7 . 7)) 4408 0.2944 12.2371 ((3 . 19) (4 . 20) (6 . 22) (7 . 23)) 4492 0.5705 8.0268 ((1 . 9) (3 . 10) (5 . 12) (7 . 14)) 4495 0.1992 10.6652 ((1 . 5) (3 . 7) (5 . 9) (7 . 12)) 4505 0.1498 10.6246 ((3 . 27) (5 . 29) (6 . 31) (7 . 33)) 4560 0.2477 10.0733 ((1 . 5) (2 . 7) (4 . 10) (6 . 12)) 4561 0.3790 6.2392 ((2 . 4) (4 . 6) (6 . 8) (7 . 11)) 4563 0.5689 10.2364 ((1 . 30) (3 . 32) (4 . 33) (7 . 37)) 4579 0.5706 7.8204 ((3 . 3) (5 . 5) (6 . 6) (7 . 7)) 4607 0.5711 6.0868 ((3 . 21) (4 . 22) (5 . 23) (7 . 28)) 4669 0.1498 7.9490 ((3 . 16) (5 . 18) (6 . 20) (7 . 22)) 4671 0.2477 13.2089 ((1 . 3) (2 . 5) (6 . 9) (7 . 10)) 4678 0.5634 13.7544 ((1 . 3) (3 . 5) (4 . 7) (5 . 8)) 4715 0.5698 9.1403 ((1 . 1) (4 . 4) (5 . 5) (6 . 7)) 4716 0.5657 12.5986 ((3 . 1) (4 . 2) (6 . 4) (7 . 5)) 4731 0.5676 11.3730 ((1 . 12) (3 . 15) (5 . 17) (7 . 19)) 4764 0.5713 5.2589 ((3 . 2) (4 . 3) (5 . 5) (6 . 6)) 4783 0.5679 11.1770 ((1 . 2) (3 . 3) (6 . 6) (7 . 7)) 4888 0.5712 5.5371 ((1 . 2) (2 . 3) (4 . 5) (5 . 6)) 4889 0.5713 5.1296 ((1 . 19) (5 . 21) (6 . 23) (7 . 24)) 4961 0.1992 13.7729 ((1 . 11) (4 . 13) (6 . 16) (7 . 18)) 4998 0.5653 12.8216 ((1 . 16) (5 . 21) (6 . 22) (7 . 24)) 5016 0.5704 8.1685 ((1 . 6) (2 . 7) (3 . 8) (4 . 9)) 5039 0.5692 9.8893 ((1 . 35) (3 . 36) (5 . 38) (7 . 43)) 5065 0.5705 7.9242 ((1 . 1) (3 . 5) (4 . 6) (7 . 12)) 5068 0.5709 6.8613 ((1 . 25) (2 . 26) (3 . 27) (4 . 28)) 5073 0.3783 12.5256 ((1 . 35) (2 . 37) (5 . 40) (6 . 41)) 5080 0.5710 6.7080 ((4 . 9) (5 . 11) (6 . 13) (7 . 14)) 5092 0.5692 9.9467 ((1 . 16) (3 . 17) (4 . 18) (5 . 19)) 5101 0.2944 10.8357 ((1 . 17) (2 . 19) (3 . 20) (4 . 22)) 5103 0.3785 11.8260 ((3 . 11) (4 . 12) (6 . 14) (7 . 16)) 5132 0.5708 7.1592 ((3 . 21) (5 . 23) (6 . 24) (7 . 27)) 5134 0.2945 9.2809 ((1 . 5) (3 . 7) (4 . 8) (7 . 11)) 5167 0.5705 7.9552 ((2 . 7) (3 . 8) (5 . 10) (7 . 13)) 5192 0.5709 6.9164 ((1 . 11) (3 . 13) (4 . 15) (7 . 19)) 5212 0.5620 14.3221 ((3 . 16) (4 . 17) (6 . 19) (7 . 20)) 5223 0.5700 8.8765 ((3 . 2) (4 . 4) (5 . 5) (7 . 7)) 5266 0.5692 9.9309 ((1 . 11) (2 . 12) (5 . 16) (7 . 18)) 5285 0.5705 8.0215 ((2 . 1) (4 . 3) (5 . 4) (6 . 5)) 5318 0.4435 13.2491 ((2 . 4) (4 . 5) (5 . 6) (6 . 7)) 5323 0.5714 3.9930 ((3 . 15) (4 . 16) (5 . 17) (6 . 18)) 5411 0.5680 11.0650 ((1 . 1) (2 . 2) (4 . 5) (7 . 9)) 5442 0.5697 9.3310 ((4 . 36) (5 . 37) (6 . 38) (7 . 39)) 5487 0.2477 9.5310 ((1 . 3) (4 . 8) (6 . 10) (7 . 12)) 5501 0.5704 8.2600 ((3 . 28) (4 . 29) (5 . 32) (7 . 34)) 5525 0.2945 8.7802 ((3 . 1) (4 . 2) (5 . 3) (6 . 5)) 5560 0.2945 9.4339 ((1 . 16) (3 . 19) (4 . 18) (6 . 21)) 5594 0.1992 10.2747 ((1 . 5) (3 . 7) (4 . 8) (7 . 13)) 5648 0.5703 8.3202 ((1 . 4) (3 . 5) (6 . 7) (7 . 8)) 5656 0.3788 9.7381 ((1 . 11) (2 . 12) (6 . 17) (7 . 19)) 5689 0.5708 7.2704 ((1 . 3) (4 . 9) (5 . 12) (7 . 19)) 5702 0.2945 8.2945 ((3 . 2) (4 . 3) (5 . 4) (6 . 7)) 5704 0.5631 13.8728 ((1 . 5) (2 . 6) (5 . 8) (7 . 10)) 5782 0.5712 5.8439 ((1 . 6) (3 . 7) (4 . 8) (5 . 9)) 5795 0.2936 18.3105 ((3 . 5) (5 . 7) (6 . 8) (7 . 11)) 5939 0.5699 9.0559 ((3 . 7) (5 . 12) (6 . 13) (7 . 15)) 5955 0.1992 13.2860 ((1 . 6) (4 . 10) (5 . 12) (6 . 13)) 5972 0.5700 8.8265 ((3 . 1) (4 . 4) (5 . 5) (7 . 8)) 6000 0.3784 12.0597 ((1 . 3) (4 . 6) (6 . 7) (7 . 8)) 6029 0.2477 8.1642 ((2 . 36) (4 . 37) (5 . 38) (6 . 39)) 6033 0.3790 5.6437 ((3 . 2) (5 . 4) (6 . 5) (7 . 6)) 6041 0.2945 10.1589 ((3 . 3) (4 . 4) (5 . 5) (7 . 9)) 6075 0.5696 9.4584 ((3 . 16) (4 . 18) (5 . 19) (7 . 22)) 6089 0.5675 11.4635 ((1 . 13) (3 . 15) (5 . 19) (6 . 20)) 6169 0.5634 13.7615 ((1 . 3) (3 . 4) (5 . 7) (6 . 8)) 6228 0.5651 12.9242 ((1 . 8) (2 . 10) (4 . 13) (6 . 16)) 6243 0.5583 15.6460 ((1 . 1) (3 . 5) (5 . 7) (7 . 9)) 6258 0.2477 11.4269 ((1 . 5) (2 . 8) (6 . 11) (7 . 14)) 6261 0.2944 12.1017 ((1 . 18) (5 . 23) (6 . 24) (7 . 25)) 6268 0.5713 4.5906 ((3 . 8) (4 . 9) (5 . 11) (6 . 12)) 6294 0.5592 15.3421 ((1 . 19) (3 . 21) (5 . 24) (7 . 28)) 6329 0.5711 6.2610 ((1 . 5) (2 . 6) (4 . 7) (7 . 11)) 6348 0.5663 12.2525 ((3 . 2) (4 . 3) (5 . 5) (6 . 6)) 6356 0.4452 8.0954 ((2 . 2) (3 . 3) (5 . 5) (6 . 8)) 6359 0.5710 6.7128 ((3 . 2) (5 . 3) (6 . 4) (7 . 6)) 6384 0.5687 10.4771 ((4 . 2) (5 . 3) (6 . 4) (7 . 5)) 6391 0.5710 6.3598 ((3 . 1) (4 . 2) (5 . 4) (6 . 5)) 6392 0.3789 8.0031 ((2 . 2) (4 . 4) (6 . 6) (7 . 8)) 6462 0.3787 10.7238 ((2 . 14) (4 . 15) (5 . 17) (7 . 19)) 6476 0.5711 6.0672 ((3 . 1) (4 . 2) (5 . 5) (6 . 6)) 6498 0.5698 9.1447 ((2 . 23) (3 . 26) (5 . 28) (7 . 30)) 6506 0.5660 12.4646 ((1 . 21) (5 . 23) (6 . 24) (7 . 25)) 6520 0.5704 8.1205 ((1 . 18) (4 . 21) (5 . 22) (6 . 23)) 6536 0.1993 7.0945 ((2 . 24) (5 . 25) (6 . 28) (7 . 29)) 6539 0.5707 7.5458 ((1 . 1) (3 . 3) (5 . 7) (7 . 9)) 6578 0.5710 6.3795 ((2 . 36) (5 . 39) (6 . 40) (7 . 41)) 6585 0.2945 8.8845 ((1 . 3) (2 . 4) (3 . 5) (5 . 7)) 6586 0.1498 9.4982 ((2 . 16) (3 . 17) (5 . 19) (7 . 23)) 6605 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 6622 0.3772 15.8732 ((1 . 1) (3 . 2) (6 . 5) (7 . 6)) END