3663 25 0.4450 9.4173 ((1 . 6) (2 . 7) (4 . 9) (7 . 12)) 41 0.5710 6.5936 ((1 . 3) (4 . 6) (5 . 7) (6 . 8)) 51 0.5708 7.1483 ((1 . 1) (2 . 2) (4 . 3) (5 . 6)) 64 0.2945 7.9095 ((1 . 12) (2 . 13) (5 . 14) (6 . 16)) 77 0.5689 10.2590 ((1 . 7) (2 . 8) (5 . 9) (6 . 12)) 91 0.5710 6.5547 ((1 . 28) (4 . 30) (5 . 31) (6 . 32)) 96 0.5708 7.3294 ((1 . 3) (2 . 5) (5 . 6) (6 . 7)) 136 0.5708 7.2967 ((1 . 5) (2 . 7) (5 . 8) (6 . 9)) 150 0.5710 6.4890 ((1 . 20) (4 . 21) (5 . 23) (6 . 24)) 155 0.3786 11.3443 ((2 . 2) (5 . 3) (6 . 5) (7 . 7)) 157 0.3789 7.6016 ((1 . 9) (3 . 10) (5 . 11) (7 . 17)) 162 0.5681 10.9437 ((1 . 15) (2 . 17) (3 . 16) (6 . 19)) 207 0.3787 10.4595 ((3 . 16) (4 . 17) (5 . 18) (6 . 19)) 259 0.4913 8.0482 ((3 . 2) (4 . 3) (6 . 5) (7 . 6)) 305 0.3790 2.9678 ((1 . 11) (2 . 12) (3 . 13) (4 . 14)) 307 0.5708 7.1393 ((1 . 3) (4 . 6) (5 . 7) (6 . 8)) 315 0.0999 7.7966 ((1 . 4) (2 . 5) (5 . 6) (6 . 7)) 340 0.2945 5.8030 ((1 . 1) (2 . 2) (5 . 4) (6 . 5)) 350 0.1993 3.6808 ((1 . 4) (2 . 8) (3 . 9) (5 . 10)) 360 0.5710 6.6619 ((1 . 5) (2 . 6) (5 . 7) (7 . 13)) 361 0.3790 6.8956 ((1 . 2) (5 . 4) (6 . 5) (7 . 7)) 365 0.5713 4.9032 ((1 . 2) (2 . 6) (3 . 7) (5 . 8)) 367 0.1993 7.1027 ((1 . 38) (2 . 40) (3 . 39) (5 . 42)) 417 0.5713 4.4916 ((1 . 2) (2 . 3) (4 . 6) (5 . 7)) 442 0.5706 7.7020 ((1 . 12) (4 . 13) (5 . 14) (6 . 15)) 460 0.5712 5.5624 ((1 . 6) (2 . 7) (5 . 8) (6 . 9)) 472 0.2943 13.2430 ((1 . 25) (2 . 27) (6 . 29) (7 . 33)) 495 0.5705 7.9272 ((1 . 5) (3 . 6) (5 . 7) (7 . 12)) 541 0.1993 6.6839 ((1 . 7) (3 . 10) (5 . 11) (6 . 13)) 543 0.1498 8.2260 ((1 . 1) (2 . 2) (4 . 3) (5 . 5)) 553 0.5691 9.9887 ((3 . 2) (4 . 3) (6 . 4) (7 . 5)) 584 0.5712 5.5861 ((1 . 3) (2 . 4) (6 . 9) (7 . 29)) 587 0.2945 7.8993 ((1 . 13) (2 . 14) (5 . 15) (6 . 17)) 609 0.1992 11.4637 ((1 . 3) (3 . 5) (5 . 6) (6 . 7)) 619 0.3790 7.1878 ((1 . 7) (2 . 8) (5 . 9) (7 . 14)) 624 0.5939 6.8210 ((1 . 7) (4 . 10) (5 . 11) (6 . 12) (7 . 14)) 635 0.5712 5.7646 ((1 . 13) (2 . 14) (5 . 15) (6 . 17)) 672 0.1993 6.4255 ((1 . 23) (2 . 24) (4 . 25) (5 . 26)) 678 0.4450 9.2559 ((3 . 32) (4 . 33) (5 . 34) (7 . 38)) 719 0.2477 9.3865 ((1 . 27) (2 . 30) (3 . 29) (4 . 31)) 729 0.5711 5.9375 ((1 . 7) (4 . 12) (5 . 13) (6 . 14)) 782 0.4898 11.6098 ((3 . 11) (4 . 12) (6 . 13) (7 . 14)) 795 0.1993 6.7537 ((1 . 1) (3 . 2) (5 . 3) (6 . 4)) 796 0.1992 9.5166 ((4 . 1) (5 . 3) (6 . 4) (7 . 7)) 812 0.5712 5.5301 ((1 . 9) (4 . 10) (5 . 11) (6 . 12)) 818 0.5703 8.3828 ((1 . 4) (5 . 8) (6 . 9) (7 . 11)) 834 0.5694 9.6841 ((1 . 32) (2 . 33) (6 . 35) (7 . 38)) 861 0.5713 5.1863 ((1 . 1) (2 . 2) (5 . 3) (6 . 4)) 901 0.5710 6.6150 ((1 . 5) (4 . 6) (5 . 7) (6 . 8)) 913 0.3789 7.8645 ((1 . 17) (2 . 20) (3 . 18) (4 . 21)) 928 0.5710 6.4762 ((1 . 1) (4 . 4) (5 . 5) (6 . 6)) 943 0.5711 6.2183 ((1 . 9) (4 . 10) (5 . 12) (6 . 13)) 945 0.5710 6.5221 ((1 . 14) (5 . 17) (6 . 18) (7 . 21)) 960 0.5697 9.2972 ((4 . 34) (5 . 35) (6 . 37) (7 . 39)) 978 0.5707 7.5453 ((1 . 10) (4 . 12) (5 . 13) (6 . 15)) 980 0.5711 5.9795 ((1 . 5) (4 . 6) (5 . 7) (6 . 8)) 1005 0.4455 4.7956 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 1007 0.5707 7.5745 ((1 . 12) (2 . 13) (5 . 14) (6 . 15)) 1034 0.5710 6.4736 ((1 . 20) (2 . 21) (5 . 22) (7 . 27)) 1043 0.5712 5.6169 ((1 . 1) (4 . 5) (5 . 6) (6 . 7)) 1082 0.5697 9.2811 ((4 . 29) (5 . 30) (6 . 32) (7 . 35)) 1084 0.2944 12.2437 ((1 . 8) (2 . 9) (5 . 12) (6 . 15)) 1124 0.1498 9.8251 ((3 . 11) (4 . 13) (6 . 14) (7 . 16)) 1165 0.5711 6.1106 ((1 . 2) (2 . 3) (4 . 5) (5 . 7)) 1167 0.4453 7.5165 ((1 . 22) (5 . 27) (6 . 26) (7 . 28)) 1201 0.1332 17.9897 ((1 . 9) (2 . 11) (5 . 14) (7 . 19)) 1204 0.1993 5.7548 ((1 . 5) (3 . 7) (4 . 8) (5 . 11)) 1211 0.2477 12.0322 ((2 . 3) (5 . 5) (6 . 6) (7 . 7)) 1217 0.1993 7.5133 ((1 . 3) (2 . 5) (5 . 7) (6 . 8)) 1224 0.2477 9.2110 ((2 . 9) (4 . 11) (5 . 10) (6 . 13)) 1233 0.5703 8.2965 ((1 . 17) (4 . 19) (5 . 20) (6 . 21)) 1267 0.5672 11.6915 ((1 . 13) (5 . 15) (6 . 16) (7 . 20)) 1268 0.4890 12.6615 ((3 . 16) (4 . 17) (6 . 18) (7 . 19)) 1301 0.2942 14.7933 ((2 . 5) (3 . 3) (4 . 6) (7 . 8)) 1345 0.5710 6.6386 ((1 . 7) (4 . 8) (5 . 9) (6 . 10)) 1366 0.5700 8.8077 ((1 . 15) (2 . 16) (5 . 17) (6 . 18)) 1388 0.5693 9.8509 ((3 . 3) (5 . 5) (6 . 6) (7 . 10)) 1395 0.5668 11.9219 ((3 . 3) (4 . 2) (6 . 4) (7 . 5)) 1435 0.5704 8.2406 ((1 . 3) (2 . 5) (5 . 6) (6 . 7)) 1447 0.5704 8.0878 ((1 . 5) (4 . 6) (5 . 7) (6 . 8)) 1451 0.2944 10.9758 ((1 . 3) (2 . 4) (5 . 6) (6 . 7)) 1464 0.5713 4.4291 ((1 . 7) (2 . 8) (4 . 9) (5 . 10)) 1470 0.2945 8.7841 ((3 . 3) (4 . 2) (6 . 4) (7 . 6)) 1472 0.5700 8.9126 ((1 . 7) (2 . 8) (3 . 9) (7 . 12)) 1476 0.5711 6.1169 ((1 . 14) (3 . 16) (4 . 17) (6 . 19)) 1481 0.5702 8.5227 ((1 . 4) (2 . 5) (4 . 8) (6 . 9)) 1501 0.1993 7.6630 ((1 . 5) (2 . 6) (5 . 7) (6 . 10)) 1513 0.5705 7.9629 ((1 . 6) (2 . 8) (4 . 9) (6 . 12)) 1514 0.5708 7.0725 ((1 . 1) (3 . 2) (5 . 4) (6 . 5)) 1591 0.5712 5.7486 ((1 . 1) (4 . 3) (5 . 4) (6 . 5)) 1595 0.1992 16.2205 ((3 . 1) (4 . 2) (6 . 3) (7 . 6)) 1604 0.5707 7.4298 ((1 . 7) (5 . 10) (6 . 11) (7 . 13)) 1622 0.3789 8.4576 ((1 . 18) (3 . 19) (5 . 20) (6 . 21)) 1624 0.5672 11.6669 ((2 . 5) (5 . 8) (6 . 10) (7 . 11)) 1643 0.5711 6.3231 ((1 . 27) (2 . 28) (5 . 31) (7 . 35)) 1665 0.5707 7.3656 ((1 . 6) (3 . 7) (5 . 8) (6 . 9)) 1690 0.5711 6.0216 ((1 . 1) (4 . 7) (5 . 8) (6 . 9)) 1724 0.4451 8.9390 ((3 . 3) (4 . 4) (6 . 6) (7 . 8)) 1731 0.1498 10.4170 ((1 . 3) (5 . 6) (6 . 7) (7 . 9)) 1736 0.5689 10.2200 ((1 . 5) (4 . 6) (5 . 7) (7 . 11)) 1738 0.5701 8.6361 ((1 . 11) (2 . 13) (4 . 15) (7 . 20)) 1747 0.5702 8.4874 ((1 . 45) (2 . 46) (6 . 49) (7 . 51)) 1761 0.5709 6.8232 ((1 . 7) (4 . 10) (5 . 11) (6 . 12)) 1763 0.1664 7.8848 ((4 . 8) (5 . 9) (6 . 11) (7 . 12)) 1776 0.5709 6.8562 ((1 . 7) (4 . 10) (5 . 12) (6 . 13)) 1778 0.5711 6.1641 ((1 . 1) (2 . 2) (5 . 3) (7 . 6)) 1793 0.5706 7.6366 ((1 . 6) (4 . 7) (5 . 8) (6 . 9)) 1796 0.4913 7.9914 ((3 . 2) (4 . 3) (6 . 4) (7 . 5)) 1805 0.2946 4.9530 ((1 . 11) (2 . 12) (3 . 13) (5 . 16)) 1808 0.5708 7.2723 ((1 . 5) (2 . 6) (4 . 7) (5 . 8)) 1817 0.5713 4.4884 ((1 . 18) (2 . 19) (5 . 20) (6 . 21)) 1867 0.5710 6.7185 ((1 . 3) (2 . 6) (5 . 7) (6 . 8)) 1894 0.2944 12.3583 ((1 . 7) (3 . 8) (4 . 9) (7 . 15)) 1896 0.5707 7.4649 ((2 . 23) (5 . 25) (6 . 28) (7 . 30)) 1908 0.5710 6.5811 ((1 . 10) (4 . 14) (5 . 15) (6 . 16)) 1909 0.5700 8.8239 ((1 . 34) (3 . 36) (5 . 37) (6 . 38)) 1944 0.5704 8.2566 ((1 . 3) (5 . 5) (6 . 6) (7 . 8)) 1957 0.5710 6.6110 ((1 . 13) (4 . 14) (5 . 15) (6 . 16)) 1967 0.5698 9.2141 ((1 . 3) (4 . 6) (5 . 7) (7 . 9)) 1972 0.5707 7.4738 ((1 . 18) (3 . 19) (5 . 20) (7 . 25)) 1992 0.1992 9.9044 ((1 . 2) (2 . 3) (6 . 8) (7 . 10)) 2003 0.0999 6.6994 ((1 . 4) (2 . 5) (3 . 6) (5 . 7)) 2006 0.5705 7.8873 ((1 . 21) (2 . 22) (5 . 24) (6 . 27)) 2045 0.5704 8.1314 ((1 . 3) (2 . 7) (5 . 8) (6 . 9)) 2048 0.5707 7.4977 ((1 . 1) (4 . 3) (5 . 4) (6 . 5)) 2054 0.5701 8.7615 ((2 . 1) (5 . 2) (6 . 7) (7 . 9)) 2063 0.2944 11.2203 ((1 . 45) (2 . 47) (3 . 46) (5 . 50)) 2067 0.5713 5.1937 ((1 . 55) (2 . 57) (3 . 58) (5 . 60)) 2072 0.5711 6.0125 ((1 . 4) (2 . 6) (5 . 7) (6 . 8)) 2081 0.2945 10.4237 ((3 . 15) (4 . 16) (6 . 18) (7 . 22)) 2083 0.5704 8.1437 ((1 . 2) (3 . 3) (6 . 6) (7 . 8)) 2097 0.5681 10.9638 ((1 . 16) (2 . 18) (3 . 20) (4 . 19)) 2114 0.5712 5.2934 ((1 . 32) (2 . 34) (6 . 37) (7 . 39)) 2117 0.5707 7.5367 ((2 . 16) (5 . 20) (6 . 21) (7 . 24)) 2118 0.0999 7.4581 ((1 . 4) (2 . 5) (4 . 6) (5 . 7)) 2122 0.5712 5.4951 ((1 . 1) (4 . 5) (5 . 6) (6 . 7)) 2179 0.5714 4.1900 ((1 . 5) (2 . 6) (5 . 7) (7 . 12)) 2205 0.4450 9.5822 ((2 . 18) (5 . 21) (6 . 24) (7 . 25)) 2233 0.4912 8.5844 ((3 . 2) (4 . 5) (6 . 6) (7 . 7)) 2243 0.5633 13.8157 ((1 . 63) (2 . 64) (5 . 67) (6 . 68)) 2248 0.1992 9.7758 ((1 . 16) (3 . 17) (6 . 20) (7 . 23)) 2249 0.5711 6.0139 ((1 . 12) (4 . 14) (5 . 16) (6 . 19)) 2269 0.5707 7.4394 ((1 . 10) (4 . 11) (5 . 12) (6 . 13)) 2279 0.3787 10.4999 ((1 . 5) (5 . 9) (6 . 12) (7 . 15)) 2298 0.5710 6.7120 ((1 . 8) (2 . 10) (3 . 11) (6 . 14)) 2308 0.5699 9.0334 ((1 . 4) (2 . 5) (5 . 6) (6 . 7)) 2340 0.5708 7.1802 ((1 . 11) (2 . 13) (5 . 14) (6 . 15)) 2342 0.5684 10.6804 ((3 . 1) (4 . 2) (6 . 3) (7 . 4)) 2344 0.4910 9.2072 ((1 . 10) (4 . 15) (6 . 16) (7 . 19)) 2364 0.4453 7.7618 ((4 . 6) (5 . 7) (6 . 8) (7 . 10)) 2381 0.0999 7.2006 ((1 . 3) (2 . 4) (5 . 6) (6 . 8)) 2389 0.5709 7.0623 ((1 . 5) (2 . 6) (5 . 7) (7 . 12)) 2423 0.1498 7.2660 ((1 . 20) (2 . 21) (5 . 22) (6 . 23)) 2440 0.5701 8.7859 ((1 . 4) (3 . 5) (5 . 6) (7 . 10)) 2443 0.3785 11.4326 ((3 . 2) (4 . 1) (6 . 3) (7 . 4)) 2447 0.5689 10.2423 ((2 . 5) (5 . 6) (6 . 7) (7 . 9)) 2462 0.3788 9.1314 ((1 . 3) (2 . 4) (4 . 5) (5 . 6)) 2510 0.5707 7.4804 ((1 . 23) (3 . 24) (5 . 25) (7 . 29)) 2519 0.5701 8.6814 ((1 . 2) (3 . 3) (4 . 4) (7 . 6)) 2525 0.1993 7.9351 ((1 . 47) (2 . 48) (3 . 49) (6 . 52)) 2529 0.5709 6.9245 ((1 . 3) (2 . 5) (5 . 6) (6 . 7)) 2533 0.5709 6.9951 ((1 . 4) (3 . 5) (5 . 6) (6 . 7)) 2551 0.2477 13.2628 ((1 . 3) (4 . 4) (6 . 6) (7 . 8)) 2552 0.1992 10.7164 ((1 . 1) (4 . 2) (5 . 3) (7 . 6)) 2556 0.5698 9.1610 ((1 . 11) (4 . 14) (5 . 16) (6 . 17)) 2557 0.1992 10.3872 ((1 . 3) (4 . 5) (5 . 6) (6 . 8)) 2595 0.5697 9.2856 ((1 . 9) (5 . 11) (6 . 14) (7 . 15)) 2627 0.2945 10.5995 ((4 . 59) (5 . 60) (6 . 61) (7 . 62)) 2658 0.1992 10.3924 ((3 . 4) (4 . 5) (6 . 6) (7 . 9)) 2675 0.5708 7.3086 ((1 . 3) (2 . 4) (5 . 5) (6 . 9)) 2682 0.5711 6.3359 ((1 . 1) (4 . 2) (5 . 3) (6 . 4)) 2696 0.1498 9.7581 ((1 . 32) (2 . 34) (3 . 33) (5 . 35)) 2733 0.5711 5.9526 ((1 . 1) (2 . 2) (5 . 4) (7 . 9)) 2755 0.5705 8.0354 ((1 . 3) (3 . 4) (5 . 5) (7 . 7)) 2773 0.4447 10.5723 ((3 . 4) (5 . 6) (6 . 7) (7 . 8)) 2783 0.5709 6.8305 ((1 . 6) (2 . 7) (5 . 8) (6 . 9)) 2804 0.5701 8.7460 ((1 . 31) (2 . 32) (5 . 36) (7 . 37)) 2821 0.5713 4.9878 ((1 . 4) (2 . 5) (6 . 10) (7 . 12)) 2830 0.5709 6.9999 ((1 . 3) (4 . 4) (5 . 5) (6 . 6)) 2834 0.4452 8.6579 ((1 . 3) (2 . 5) (4 . 7) (7 . 10)) 2840 0.5707 7.5357 ((1 . 1) (5 . 5) (6 . 7) (7 . 10)) 2842 0.5679 11.1287 ((1 . 9) (3 . 10) (5 . 11) (6 . 13)) 2929 0.2946 5.2174 ((1 . 36) (3 . 38) (5 . 40) (6 . 41)) 2940 0.5711 6.3246 ((1 . 4) (2 . 5) (5 . 6) (6 . 9)) 2950 0.2945 9.0650 ((3 . 8) (4 . 9) (6 . 10) (7 . 12)) 2966 0.2945 6.9884 ((1 . 6) (2 . 8) (3 . 7) (5 . 9)) 2990 0.5701 8.7562 ((2 . 9) (3 . 10) (5 . 12) (6 . 13)) 2999 0.3789 8.3624 ((3 . 1) (4 . 3) (5 . 4) (6 . 5)) 3014 0.5610 14.7082 ((3 . 14) (4 . 15) (6 . 16) (7 . 17)) 3019 0.5694 9.6768 ((1 . 19) (2 . 20) (6 . 24) (7 . 26)) 3034 0.5709 6.8593 ((1 . 7) (4 . 8) (5 . 9) (6 . 11)) 3041 0.5711 6.2002 ((1 . 12) (3 . 13) (5 . 16) (7 . 19)) 3063 0.1498 9.6891 ((1 . 31) (2 . 32) (5 . 33) (6 . 34)) 3084 0.5710 6.6674 ((1 . 15) (4 . 16) (5 . 17) (6 . 18)) 3102 0.5587 15.5024 ((1 . 58) (2 . 59) (6 . 63) (7 . 64)) 3103 0.5703 8.3815 ((1 . 3) (2 . 5) (6 . 7) (7 . 12)) 3120 0.5709 6.8798 ((2 . 21) (3 . 20) (5 . 22) (6 . 24)) 3127 0.5708 7.0999 ((1 . 6) (4 . 9) (5 . 11) (6 . 12)) 3187 0.7136 5.6632 ((1 . 6) (2 . 7) (4 . 8) (5 . 9) (6 . 10)) 3190 0.5710 6.5103 ((1 . 6) (3 . 7) (5 . 9) (6 . 10)) 3197 0.5711 5.9767 ((1 . 10) (4 . 11) (5 . 12) (6 . 13)) 3200 0.5697 9.3460 ((2 . 3) (4 . 5) (5 . 6) (6 . 7)) 3212 0.3787 10.3331 ((1 . 3) (2 . 5) (6 . 10) (7 . 11)) 3222 0.1992 12.7688 ((2 . 3) (5 . 4) (6 . 5) (7 . 9)) 3256 0.5708 7.2044 ((1 . 19) (2 . 20) (5 . 24) (7 . 27)) 3261 0.5683 10.7898 ((2 . 6) (5 . 7) (6 . 10) (7 . 11)) 3286 0.4448 10.3391 ((1 . 7) (3 . 8) (4 . 10) (7 . 15)) 3289 0.5714 3.6582 ((1 . 25) (2 . 27) (3 . 28) (5 . 30)) 3300 0.2945 7.5345 ((1 . 1) (2 . 2) (5 . 4) (7 . 10)) 3322 0.5710 6.4966 ((1 . 3) (4 . 6) (5 . 7) (6 . 8)) 3334 0.7893 7.1711 ((1 . 5) (2 . 6) (3 . 7) (4 . 9) (5 . 10) (7 . 11)) 3339 0.5710 6.6168 ((1 . 15) (4 . 16) (5 . 17) (6 . 18)) 3358 0.5702 8.5850 ((1 . 4) (5 . 8) (6 . 9) (7 . 11)) 3362 0.5711 6.3509 ((1 . 4) (4 . 5) (5 . 6) (6 . 7)) 3366 0.1498 10.8570 ((1 . 26) (2 . 27) (5 . 28) (7 . 33)) 3391 0.5678 11.1845 ((1 . 6) (3 . 7) (5 . 8) (6 . 12)) 3410 0.4449 10.0150 ((1 . 21) (3 . 23) (6 . 27) (7 . 29)) 3415 0.4450 9.6701 ((3 . 20) (4 . 21) (6 . 23) (7 . 24)) 3446 0.2478 5.1726 ((1 . 5) (2 . 6) (3 . 7) (4 . 8)) 3481 0.5709 6.9250 ((1 . 4) (2 . 7) (5 . 8) (7 . 11)) 3495 0.2945 8.9257 ((1 . 7) (2 . 8) (6 . 10) (7 . 13)) 3496 0.5685 10.6250 ((2 . 22) (5 . 23) (6 . 24) (7 . 25)) 3537 0.2477 11.6702 ((3 . 8) (5 . 10) (6 . 11) (7 . 12)) 3538 0.1332 6.9183 ((1 . 18) (2 . 20) (4 . 21) (6 . 22)) 3548 0.5693 9.7654 ((1 . 5) (2 . 6) (5 . 8) (7 . 11)) 3549 0.5421 6.1768 ((1 . 2) (2 . 3) (4 . 4) (5 . 5) (6 . 7)) 3561 0.3790 7.0502 ((1 . 26) (4 . 27) (5 . 28) (6 . 29)) 3570 0.3789 7.8182 ((1 . 4) (3 . 6) (5 . 8) (6 . 9)) 3585 0.5709 6.7762 ((1 . 14) (4 . 15) (5 . 16) (6 . 17)) 3613 0.5687 10.4555 ((3 . 27) (4 . 28) (6 . 30) (7 . 31)) 3626 0.5711 5.9773 ((1 . 2) (2 . 3) (4 . 5) (5 . 6)) 3628 0.5712 5.8276 ((1 . 10) (4 . 11) (5 . 12) (6 . 13)) 3651 0.5696 9.4292 ((1 . 5) (4 . 7) (5 . 8) (6 . 10)) 3658 0.7047 10.8672 ((1 . 6) (2 . 7) (5 . 8) (6 . 9) (7 . 12)) 3659 0.5707 7.4203 ((1 . 5) (2 . 7) (3 . 6) (5 . 9)) 3661 0.5713 4.5003 ((1 . 23) (2 . 24) (3 . 25) (5 . 26)) 3663 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 3688 0.5625 14.1285 ((1 . 21) (2 . 23) (4 . 24) (5 . 26)) 3697 0.5710 6.4788 ((1 . 1) (2 . 3) (5 . 4) (6 . 5)) 3703 0.5676 11.3778 ((2 . 6) (5 . 7) (6 . 10) (7 . 11)) 3732 0.5710 6.3597 ((1 . 5) (4 . 6) (5 . 7) (6 . 8)) 3733 0.2945 7.6762 ((2 . 1) (4 . 2) (5 . 3) (7 . 5)) 3740 0.5709 7.0201 ((1 . 3) (2 . 4) (5 . 5) (7 . 8)) 3741 0.2945 8.6230 ((1 . 26) (2 . 27) (5 . 28) (6 . 33)) 3776 0.5701 8.7823 ((1 . 15) (4 . 16) (5 . 17) (7 . 23)) 3778 0.5684 10.7106 ((2 . 3) (5 . 4) (6 . 5) (7 . 8)) 3787 0.5712 5.8255 ((1 . 12) (4 . 14) (5 . 15) (6 . 16)) 3790 0.5712 5.7519 ((1 . 21) (2 . 22) (4 . 23) (5 . 24)) 3807 0.2477 10.1631 ((2 . 46) (4 . 48) (6 . 49) (7 . 51)) 3817 0.5707 7.4988 ((1 . 5) (4 . 6) (5 . 7) (6 . 8)) 3818 0.5700 8.9119 ((1 . 20) (4 . 21) (5 . 23) (6 . 24)) 3831 0.1993 7.7487 ((1 . 2) (5 . 3) (6 . 4) (7 . 7)) 3834 0.5698 9.2057 ((3 . 4) (4 . 5) (6 . 6) (7 . 8)) 3849 0.5712 5.7398 ((1 . 2) (2 . 3) (5 . 5) (6 . 7)) 3853 0.5698 9.2213 ((1 . 8) (3 . 9) (6 . 11) (7 . 13)) 3870 0.5709 6.8185 ((1 . 5) (4 . 7) (5 . 8) (6 . 9)) 3933 0.2946 4.3657 ((1 . 2) (2 . 3) (3 . 4) (5 . 6)) 3938 0.2946 5.2921 ((1 . 2) (2 . 4) (3 . 5) (5 . 8)) 3942 0.3790 5.4901 ((1 . 2) (2 . 3) (4 . 5) (6 . 8)) 3968 0.5710 6.6826 ((1 . 5) (4 . 8) (5 . 9) (6 . 10)) 4005 0.5703 8.2648 ((1 . 4) (2 . 7) (5 . 8) (7 . 16)) 4009 0.5689 10.2405 ((1 . 22) (2 . 23) (4 . 24) (6 . 25)) 4019 0.2945 10.3777 ((1 . 47) (2 . 50) (5 . 51) (6 . 52)) 4034 0.2945 10.0756 ((2 . 5) (5 . 6) (6 . 7) (7 . 8)) 4037 0.5709 6.9182 ((1 . 1) (2 . 2) (5 . 3) (6 . 4)) 4062 0.5712 5.6858 ((1 . 48) (2 . 49) (5 . 50) (6 . 52)) 4067 0.5707 7.5442 ((1 . 14) (4 . 17) (5 . 20) (6 . 21)) 4082 0.5712 5.5120 ((1 . 7) (2 . 8) (4 . 9) (5 . 10)) 4087 0.5709 6.8601 ((1 . 6) (2 . 7) (5 . 8) (6 . 9)) 4112 0.5712 5.8114 ((1 . 2) (2 . 3) (5 . 4) (6 . 7)) 4115 0.5711 6.0939 ((1 . 13) (4 . 16) (5 . 17) (6 . 18)) 4140 0.5709 6.8108 ((1 . 21) (2 . 22) (6 . 25) (7 . 27)) 4151 0.5710 6.4402 ((1 . 15) (4 . 18) (5 . 19) (6 . 20)) 4177 0.5697 9.3092 ((2 . 1) (5 . 2) (6 . 4) (7 . 6)) 4190 0.3789 8.4192 ((1 . 1) (2 . 3) (4 . 4) (6 . 7)) 4192 0.3789 8.0031 ((2 . 10) (3 . 11) (6 . 14) (7 . 16)) 4194 0.5712 5.6559 ((1 . 5) (2 . 6) (5 . 7) (6 . 8)) 4195 0.5695 9.5315 ((3 . 1) (4 . 2) (6 . 3) (7 . 4)) 4204 0.5707 7.5925 ((1 . 3) (5 . 7) (6 . 10) (7 . 12)) 4209 0.5708 7.2498 ((1 . 1) (2 . 2) (5 . 4) (7 . 11)) 4210 0.5712 5.6619 ((1 . 6) (4 . 7) (5 . 8) (6 . 9)) 4216 0.1992 11.1334 ((3 . 9) (4 . 10) (6 . 12) (7 . 14)) 4226 0.5705 7.9448 ((2 . 11) (5 . 12) (6 . 13) (7 . 17)) 4236 0.5711 6.2583 ((1 . 6) (2 . 7) (4 . 11) (5 . 10)) 4243 0.4452 8.6060 ((3 . 2) (4 . 3) (6 . 5) (7 . 6)) 4254 0.5711 6.1284 ((1 . 11) (4 . 14) (5 . 15) (6 . 16)) 4255 0.5708 7.1898 ((1 . 21) (2 . 23) (4 . 25) (5 . 24)) 4265 0.5712 5.3286 ((1 . 21) (4 . 25) (5 . 26) (6 . 27)) 4266 0.5688 10.3081 ((1 . 4) (5 . 6) (6 . 7) (7 . 9)) 4275 0.5703 8.3601 ((1 . 21) (4 . 22) (5 . 23) (6 . 24)) 4281 0.4442 11.9812 ((1 . 5) (4 . 9) (5 . 10) (7 . 16)) 4284 0.2944 10.8810 ((1 . 3) (2 . 4) (5 . 6) (6 . 7)) 4299 0.5708 7.3142 ((1 . 9) (4 . 10) (5 . 11) (6 . 13)) 4338 0.5709 6.7601 ((1 . 6) (2 . 7) (5 . 8) (6 . 9)) 4352 0.4449 10.0414 ((3 . 4) (4 . 5) (6 . 7) (7 . 12)) 4380 0.5710 6.5890 ((1 . 2) (2 . 3) (5 . 4) (6 . 6)) 4386 0.5703 8.3619 ((1 . 18) (2 . 19) (4 . 20) (5 . 21)) 4388 0.5694 9.6297 ((1 . 10) (5 . 12) (6 . 14) (7 . 15)) 4398 0.5705 7.9386 ((1 . 6) (2 . 7) (4 . 9) (6 . 11)) 4415 0.3788 9.6569 ((1 . 1) (5 . 4) (6 . 5) (7 . 10)) 4419 0.4452 8.3778 ((1 . 3) (4 . 5) (5 . 6) (7 . 11)) 4470 0.5713 4.3422 ((1 . 18) (5 . 20) (6 . 22) (7 . 24)) 4491 0.5708 7.0809 ((1 . 1) (3 . 4) (5 . 6) (6 . 7)) 4492 0.5707 7.5895 ((1 . 13) (5 . 16) (6 . 19) (7 . 22)) 4495 0.5710 6.7308 ((1 . 6) (3 . 7) (5 . 8) (6 . 9)) 4502 0.5712 5.3150 ((1 . 9) (2 . 10) (6 . 13) (7 . 16)) 4504 0.5713 4.9654 ((1 . 20) (2 . 21) (5 . 22) (6 . 23)) 4505 0.5690 10.1470 ((1 . 28) (5 . 30) (6 . 31) (7 . 35)) 4516 0.5712 5.8400 ((1 . 16) (2 . 18) (5 . 14) (6 . 19)) 4560 0.5707 7.5487 ((1 . 6) (5 . 8) (6 . 10) (7 . 12)) 4561 0.5710 6.5207 ((1 . 1) (4 . 4) (5 . 5) (6 . 6)) 4562 0.5694 9.6879 ((2 . 25) (4 . 26) (5 . 27) (6 . 30)) 4563 0.5687 10.4403 ((1 . 31) (4 . 33) (5 . 34) (7 . 37)) 4577 0.5706 7.6814 ((1 . 52) (2 . 54) (5 . 58) (7 . 59)) 4588 0.5698 9.2143 ((1 . 3) (3 . 4) (5 . 9) (7 . 12)) 4589 0.3788 9.1776 ((1 . 23) (4 . 24) (5 . 25) (6 . 26)) 4607 0.5664 12.2142 ((3 . 17) (4 . 18) (6 . 19) (7 . 21)) 4621 0.1992 11.4161 ((3 . 1) (4 . 2) (5 . 3) (6 . 5)) 4630 0.3789 7.9680 ((1 . 39) (2 . 41) (5 . 42) (7 . 44)) 4648 0.5695 9.5349 ((2 . 5) (3 . 3) (4 . 7) (5 . 8)) 4665 0.5712 5.5594 ((1 . 12) (2 . 13) (5 . 14) (6 . 16)) 4668 0.5708 7.2865 ((1 . 1) (5 . 5) (6 . 8) (7 . 10)) 4669 0.5709 6.9971 ((1 . 19) (3 . 20) (5 . 21) (6 . 22)) 4671 0.5698 9.1399 ((2 . 1) (4 . 3) (5 . 4) (6 . 5)) 4674 0.5703 8.4478 ((1 . 2) (3 . 4) (4 . 5) (5 . 6)) 4715 0.4453 7.5329 ((2 . 3) (4 . 4) (6 . 7) (7 . 9)) 4716 0.5666 12.0428 ((3 . 3) (4 . 4) (6 . 5) (7 . 7)) 4731 0.4910 9.1993 ((3 . 12) (4 . 13) (6 . 15) (7 . 17)) 4764 0.1992 8.6732 ((3 . 4) (4 . 5) (6 . 6) (7 . 8)) 4857 0.5710 6.4151 ((1 . 11) (5 . 13) (6 . 14) (7 . 16)) 4886 0.5708 7.0789 ((2 . 16) (5 . 17) (6 . 18) (7 . 20)) 4888 0.5687 10.4455 ((2 . 14) (5 . 15) (6 . 18) (7 . 19)) 4889 0.5708 7.2146 ((1 . 2) (2 . 3) (5 . 4) (6 . 5)) 4907 0.5708 7.1646 ((2 . 1) (4 . 2) (5 . 3) (7 . 10)) 4921 0.5710 6.6096 ((1 . 7) (2 . 8) (5 . 9) (7 . 13)) 4932 0.1249 10.3156 ((1 . 2) (2 . 1) (4 . 3) (7 . 7)) 4940 0.2945 7.2368 ((1 . 3) (2 . 4) (4 . 5) (5 . 6)) 4961 0.2945 6.5889 ((1 . 12) (4 . 13) (5 . 14) (7 . 18)) 4963 0.1664 11.3828 ((3 . 6) (4 . 7) (6 . 8) (7 . 9)) 4978 0.5709 6.9487 ((1 . 21) (2 . 22) (5 . 24) (7 . 27)) 4982 0.5709 6.8596 ((1 . 10) (4 . 13) (5 . 14) (6 . 15)) 4992 0.5709 7.0468 ((1 . 3) (4 . 4) (5 . 6) (6 . 7)) 4998 0.5694 9.7404 ((1 . 23) (3 . 24) (5 . 25) (7 . 28)) 5029 0.5706 7.7027 ((1 . 2) (5 . 6) (6 . 7) (7 . 9)) 5039 0.5711 6.1881 ((1 . 37) (4 . 40) (5 . 41) (6 . 43)) 5044 0.1992 9.7290 ((1 . 2) (2 . 3) (4 . 4) (7 . 11)) 5046 0.5708 7.1398 ((1 . 1) (2 . 3) (5 . 4) (7 . 9)) 5053 0.5707 7.5670 ((1 . 9) (2 . 10) (6 . 14) (7 . 17)) 5065 0.5712 5.6306 ((1 . 9) (2 . 10) (5 . 11) (6 . 12)) 5068 0.2477 10.0140 ((1 . 2) (4 . 6) (5 . 7) (7 . 11)) 5069 0.5709 7.0041 ((1 . 15) (4 . 16) (5 . 17) (7 . 20)) 5073 0.5711 6.1734 ((1 . 39) (4 . 41) (5 . 42) (6 . 43)) 5083 0.2478 6.4920 ((2 . 2) (3 . 3) (4 . 4) (5 . 5)) 5101 0.5712 5.7877 ((1 . 1) (4 . 2) (5 . 3) (6 . 4)) 5103 0.5711 5.9739 ((1 . 13) (4 . 16) (5 . 17) (6 . 18)) 5121 0.5707 7.5744 ((1 . 16) (2 . 18) (6 . 22) (7 . 23)) 5132 0.5697 9.3063 ((1 . 18) (3 . 19) (5 . 20) (7 . 23)) 5134 0.7127 6.8419 ((2 . 14) (3 . 15) (4 . 16) (5 . 17) (7 . 20)) 5145 0.5700 8.9282 ((3 . 4) (5 . 8) (6 . 9) (7 . 11)) 5167 0.5709 7.0142 ((1 . 9) (4 . 10) (5 . 12) (6 . 13)) 5183 0.5710 6.7287 ((1 . 34) (2 . 35) (6 . 39) (7 . 40)) 5192 0.2945 9.7541 ((2 . 1) (5 . 3) (6 . 4) (7 . 7)) 5198 0.5698 9.1479 ((1 . 21) (4 . 23) (5 . 24) (6 . 25)) 5209 0.2945 9.0184 ((2 . 3) (3 . 2) (5 . 4) (6 . 6)) 5212 0.5656 12.6665 ((3 . 14) (4 . 15) (6 . 16) (7 . 17)) 5215 0.5713 5.2317 ((1 . 3) (2 . 4) (5 . 5) (6 . 6)) 5223 0.5710 6.4945 ((1 . 12) (4 . 16) (5 . 17) (7 . 19)) 5231 0.2477 12.2342 ((2 . 12) (5 . 14) (6 . 15) (7 . 17)) 5266 0.5694 9.6770 ((1 . 2) (5 . 4) (6 . 5) (7 . 9)) 5285 0.2944 11.1072 ((3 . 1) (4 . 2) (6 . 4) (7 . 6)) 5307 0.5713 4.6375 ((1 . 55) (2 . 57) (5 . 58) (6 . 59)) 5318 0.2945 5.6182 ((1 . 22) (2 . 23) (5 . 24) (6 . 27)) 5323 0.1992 11.4380 ((2 . 10) (4 . 12) (6 . 13) (7 . 15)) 5324 0.5712 5.8007 ((1 . 7) (4 . 11) (5 . 12) (6 . 13)) 5344 0.5709 6.9046 ((1 . 2) (2 . 3) (4 . 5) (5 . 4)) 5345 0.5710 6.7193 ((1 . 12) (2 . 13) (5 . 16) (7 . 20)) 5368 0.5713 4.8498 ((1 . 41) (2 . 43) (3 . 44) (5 . 45)) 5378 0.5709 6.8995 ((2 . 3) (3 . 1) (5 . 4) (6 . 5)) 5414 0.1993 7.3014 ((1 . 14) (2 . 15) (4 . 17) (5 . 18)) 5418 0.5713 5.2493 ((1 . 7) (2 . 8) (5 . 9) (6 . 10)) 5442 0.4453 7.9449 ((3 . 36) (4 . 37) (6 . 39) (7 . 40)) 5487 0.5713 4.8337 ((1 . 4) (4 . 8) (5 . 9) (6 . 10)) 5489 0.5712 5.8726 ((1 . 10) (2 . 9) (5 . 12) (7 . 15)) 5500 0.5930 8.5650 ((1 . 1) (2 . 2) (5 . 4) (6 . 10) (7 . 13)) 5501 0.5701 8.6779 ((1 . 16) (2 . 17) (5 . 20) (6 . 22)) 5525 0.3789 9.0355 ((1 . 7) (2 . 8) (4 . 10) (6 . 3)) 5535 0.5709 6.9712 ((1 . 4) (3 . 5) (5 . 7) (7 . 13)) 5540 0.2945 10.1420 ((1 . 14) (2 . 15) (4 . 17) (5 . 18)) 5557 0.3790 6.7578 ((1 . 4) (4 . 5) (5 . 6) (6 . 7)) 5560 0.5707 7.4786 ((1 . 13) (4 . 14) (5 . 15) (6 . 16)) 5562 0.5687 10.4594 ((2 . 7) (4 . 9) (6 . 10) (7 . 13)) 5567 0.5710 6.3724 ((1 . 8) (4 . 10) (5 . 11) (6 . 14)) 5594 0.5710 6.4745 ((1 . 6) (4 . 7) (5 . 9) (6 . 10)) 5600 0.3788 9.8971 ((1 . 3) (3 . 4) (6 . 7) (7 . 10)) 5601 0.3790 5.9712 ((1 . 5) (4 . 9) (5 . 10) (6 . 11)) 5638 0.5708 7.3166 ((1 . 7) (2 . 8) (6 . 12) (7 . 14)) 5644 0.0999 6.2929 ((1 . 3) (2 . 4) (3 . 5) (5 . 8)) 5648 0.5708 7.2373 ((3 . 2) (4 . 3) (6 . 4) (7 . 6)) 5656 0.5712 5.5245 ((1 . 21) (5 . 24) (6 . 25) (7 . 28)) 5700 0.3790 6.6616 ((1 . 2) (2 . 3) (5 . 4) (7 . 7)) 5701 0.1993 7.1952 ((1 . 4) (2 . 5) (5 . 6) (6 . 7)) 5702 0.4437 12.8374 ((3 . 11) (4 . 12) (6 . 13) (7 . 14)) 5711 0.5678 11.2393 ((1 . 44) (2 . 46) (5 . 47) (6 . 48)) 5718 0.3790 7.4426 ((1 . 18) (2 . 21) (4 . 22) (5 . 23)) 5731 0.3790 6.9561 ((1 . 4) (2 . 5) (4 . 6) (5 . 7)) 5746 0.1498 8.8745 ((1 . 6) (2 . 7) (5 . 9) (6 . 12)) 5749 0.5705 7.9332 ((1 . 5) (2 . 6) (4 . 8) (6 . 9)) 5761 0.4455 5.8388 ((2 . 28) (4 . 29) (5 . 30) (7 . 34)) 5770 0.5708 7.2850 ((2 . 8) (4 . 10) (5 . 12) (7 . 18)) 5771 0.4432 13.7007 ((1 . 1) (4 . 6) (6 . 7) (7 . 10)) 5782 0.5702 8.5788 ((3 . 31) (5 . 32) (6 . 33) (7 . 36)) 5794 0.1664 12.9776 ((2 . 15) (5 . 16) (6 . 17) (7 . 22)) 5795 0.5712 5.8465 ((1 . 10) (4 . 12) (5 . 13) (6 . 15)) 5809 0.6303 7.7451 ((1 . 5) (4 . 6) (5 . 7) (6 . 8) (7 . 10)) 5822 0.1992 9.4789 ((2 . 4) (4 . 5) (5 . 6) (7 . 10)) 5827 0.5703 8.3319 ((1 . 3) (2 . 4) (4 . 6) (5 . 8)) 5830 0.2977 6.7643 ((1 . 10) (2 . 8) (3 . 9) (5 . 13) (7 . 16)) 5847 0.2945 7.9225 ((1 . 16) (2 . 17) (5 . 18) (6 . 21)) 5878 0.1498 6.4089 ((1 . 26) (2 . 28) (5 . 30) (6 . 31)) 5904 0.5710 6.5068 ((1 . 4) (5 . 7) (6 . 8) (7 . 10)) 5913 0.5696 9.4692 ((1 . 5) (2 . 6) (6 . 11) (7 . 12)) 5914 0.5714 3.4462 ((1 . 2) (2 . 3) (3 . 4) (5 . 6)) 5945 0.5698 9.2100 ((1 . 32) (2 . 33) (6 . 35) (7 . 36)) 5949 0.4452 8.6065 ((1 . 4) (4 . 8) (6 . 11) (7 . 13)) 5955 0.5712 5.3780 ((1 . 14) (2 . 16) (5 . 17) (6 . 18)) 5967 0.3790 5.5592 ((1 . 1) (4 . 6) (5 . 7) (6 . 8)) 5977 0.5712 5.8811 ((1 . 1) (4 . 2) (5 . 3) (6 . 4)) 6000 0.2477 8.4988 ((1 . 1) (4 . 3) (5 . 4) (6 . 5)) 6011 0.5701 8.7493 ((1 . 14) (2 . 15) (5 . 16) (7 . 21)) 6028 0.2945 6.3315 ((1 . 2) (2 . 3) (4 . 4) (6 . 8)) 6029 0.5709 6.8935 ((1 . 3) (2 . 4) (6 . 7) (7 . 9)) 6041 0.5710 6.5531 ((1 . 11) (2 . 12) (5 . 13) (6 . 14)) 6046 0.1993 6.9786 ((2 . 2) (3 . 1) (5 . 3) (7 . 7)) 6061 0.7124 7.1917 ((1 . 13) (2 . 14) (5 . 15) (6 . 16) (7 . 18)) 6074 0.3790 7.3903 ((2 . 2) (5 . 4) (6 . 5) (7 . 7)) 6075 0.5705 7.8948 ((1 . 17) (4 . 19) (5 . 20) (6 . 22)) 6079 0.5711 6.2429 ((3 . 16) (4 . 17) (6 . 18) (7 . 22)) 6089 0.5655 12.7435 ((1 . 12) (3 . 13) (5 . 16) (6 . 19)) 6099 0.5706 7.7744 ((1 . 6) (2 . 7) (5 . 9) (7 . 12)) 6123 0.1992 9.4900 ((1 . 4) (2 . 5) (3 . 6) (6 . 7)) 6142 0.5703 8.3851 ((1 . 19) (2 . 20) (4 . 21) (5 . 24)) 6173 0.5696 9.4924 ((1 . 8) (2 . 9) (5 . 13) (6 . 14)) 6191 0.5709 6.7528 ((2 . 3) (3 . 1) (5 . 4) (6 . 5)) 6192 0.2945 10.3742 ((1 . 11) (2 . 13) (4 . 15) (6 . 16)) 6215 0.2477 10.1380 ((1 . 20) (4 . 22) (5 . 24) (6 . 23)) 6225 0.5706 7.6974 ((1 . 3) (2 . 4) (5 . 5) (7 . 9)) 6228 0.5710 6.3662 ((2 . 15) (3 . 16) (4 . 17) (5 . 19)) 6234 0.3790 5.1201 ((1 . 6) (2 . 7) (5 . 13) (7 . 14)) 6238 0.4452 8.4558 ((1 . 4) (2 . 5) (4 . 6) (7 . 10)) 6243 0.5707 7.5061 ((1 . 6) (5 . 8) (6 . 9) (7 . 11)) 6251 0.1992 9.1484 ((1 . 15) (4 . 18) (5 . 19) (6 . 20)) 6258 0.5712 5.5676 ((1 . 10) (2 . 12) (5 . 13) (6 . 14)) 6261 0.5712 5.8826 ((1 . 19) (2 . 21) (5 . 22) (6 . 23)) 6266 0.5694 9.6291 ((2 . 3) (4 . 4) (5 . 5) (7 . 7)) 6268 0.2477 8.1918 ((3 . 8) (4 . 9) (6 . 11) (7 . 13)) 6270 0.3786 11.3244 ((1 . 18) (3 . 19) (5 . 20) (6 . 23)) 6271 0.5706 7.8206 ((1 . 1) (2 . 2) (5 . 3) (7 . 6)) 6294 0.5710 6.5989 ((1 . 23) (2 . 25) (5 . 27) (6 . 28)) 6306 0.5704 8.1397 ((1 . 17) (3 . 18) (5 . 19) (7 . 23)) 6344 0.5712 5.4354 ((1 . 6) (2 . 7) (5 . 8) (6 . 10)) 6345 0.2945 9.4004 ((3 . 1) (4 . 2) (5 . 4) (7 . 8)) 6348 0.1992 10.7078 ((1 . 4) (3 . 5) (6 . 8) (7 . 10)) 6355 0.5709 6.8694 ((1 . 4) (2 . 6) (3 . 5) (5 . 8)) 6356 0.5709 7.0203 ((1 . 4) (5 . 6) (6 . 8) (7 . 10)) 6369 0.5711 6.0842 ((1 . 26) (4 . 28) (5 . 29) (6 . 30)) 6376 0.5710 6.5482 ((2 . 19) (3 . 20) (5 . 21) (7 . 29)) 6391 0.4444 11.5155 ((2 . 6) (5 . 8) (6 . 9) (7 . 11)) 6392 0.2945 7.4588 ((3 . 4) (4 . 5) (6 . 6) (7 . 8)) 6399 0.2945 10.6329 ((1 . 20) (2 . 24) (3 . 23) (5 . 26)) 6403 0.5708 7.2926 ((1 . 15) (4 . 16) (5 . 17) (6 . 18)) 6434 0.5709 6.8108 ((1 . 2) (2 . 3) (5 . 4) (7 . 7)) 6462 0.5713 4.9898 ((1 . 20) (4 . 21) (5 . 22) (7 . 26)) 6498 0.5710 6.4193 ((1 . 10) (4 . 11) (5 . 12) (6 . 14)) 6520 0.5652 12.8774 ((1 . 19) (2 . 20) (4 . 21) (6 . 23)) 6536 0.4909 9.5236 ((3 . 28) (4 . 29) (6 . 30) (7 . 32)) 6539 0.5704 8.2291 ((2 . 4) (4 . 7) (5 . 8) (6 . 9)) 6548 0.5696 9.4685 ((1 . 7) (3 . 8) (5 . 9) (7 . 15)) 6553 0.2944 10.7891 ((1 . 15) (4 . 19) (5 . 20) (7 . 27)) 6555 0.5703 8.3426 ((2 . 7) (3 . 8) (5 . 10) (6 . 12)) 6561 0.5660 12.4122 ((1 . 7) (2 . 8) (5 . 10) (6 . 11)) 6575 0.8570 2.7308 ((1 . 1) (2 . 2) (3 . 3) (5 . 5) (6 . 6) (7 . 7)) 6578 0.5710 6.3646 ((1 . 34) (2 . 37) (6 . 39) (7 . 41)) 6584 0.5711 5.9298 ((1 . 7) (2 . 8) (5 . 9) (6 . 10)) 6585 0.5698 9.1282 ((1 . 6) (4 . 7) (5 . 8) (6 . 9)) 6598 0.5706 7.6648 ((1 . 25) (2 . 26) (5 . 27) (7 . 31)) 6605 0.5697 9.2949 ((3 . 3) (4 . 4) (6 . 6) (7 . 7)) 6613 0.5711 6.1379 ((1 . 22) (4 . 23) (5 . 24) (6 . 25)) 6622 0.5696 9.3884 ((3 . 4) (4 . 5) (6 . 6) (7 . 8)) 6635 0.2945 6.6411 ((1 . 1) (3 . 3) (5 . 5) (7 . 10)) END