2999 41 0.5712 5.7265 ((3 . 2) (4 . 3) (5 . 4) (6 . 5)) 51 0.5703 8.4226 ((1 . 9) (2 . 10) (6 . 13) (7 . 14)) 62 0.5714 3.9256 ((2 . 13) (3 . 15) (4 . 16) (7 . 17)) 64 0.5713 5.0841 ((2 . 2) (4 . 4) (6 . 7) (7 . 8)) 77 0.5709 6.9381 ((1 . 10) (3 . 12) (6 . 13) (7 . 15)) 91 0.5714 3.6676 ((2 . 16) (3 . 18) (4 . 19) (6 . 21)) 96 0.7122 7.3536 ((2 . 1) (3 . 2) (4 . 3) (6 . 6) (7 . 5)) 129 0.5713 4.5826 ((2 . 2) (4 . 5) (6 . 9) (7 . 10)) 136 0.5710 6.5717 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 150 0.7138 5.0808 ((2 . 20) (3 . 21) (4 . 23) (5 . 24) (6 . 25)) 153 0.5706 7.8390 ((2 . 4) (4 . 6) (6 . 8) (7 . 9)) 157 0.7137 5.2928 ((2 . 1) (4 . 5) (5 . 6) (6 . 8) (7 . 20)) 161 0.5691 9.9857 ((2 . 3) (3 . 7) (4 . 6) (6 . 9)) 162 0.2945 8.1637 ((1 . 16) (4 . 18) (5 . 19) (7 . 22)) 169 0.5714 3.4107 ((2 . 1) (4 . 4) (6 . 7) (7 . 8)) 177 0.5709 6.7739 ((2 . 3) (4 . 5) (6 . 7) (7 . 8)) 198 0.5712 5.4330 ((2 . 9) (4 . 12) (6 . 16) (7 . 17)) 207 0.5711 6.1542 ((3 . 12) (4 . 13) (5 . 14) (6 . 15)) 233 0.5712 5.6631 ((2 . 2) (4 . 3) (6 . 7) (7 . 8)) 300 0.5709 6.9406 ((1 . 11) (3 . 12) (6 . 16) (7 . 17)) 305 0.5714 3.1683 ((4 . 9) (5 . 10) (6 . 11) (7 . 15)) 307 0.7136 5.5574 ((2 . 3) (3 . 6) (4 . 7) (5 . 8) (6 . 9)) 315 0.1993 4.7793 ((3 . 2) (4 . 3) (6 . 5) (7 . 6)) 350 0.1993 8.2171 ((4 . 13) (5 . 14) (6 . 16) (7 . 17)) 360 0.5714 4.0892 ((2 . 9) (4 . 12) (5 . 13) (6 . 14)) 361 0.1993 5.1363 ((2 . 2) (3 . 3) (4 . 4) (5 . 5)) 365 0.5710 6.6932 ((2 . 1) (4 . 3) (6 . 6) (7 . 8)) 367 0.5712 5.7186 ((2 . 42) (4 . 44) (6 . 47) (7 . 48)) 387 0.5710 6.4046 ((2 . 7) (4 . 9) (6 . 11) (7 . 12)) 405 0.5710 6.5708 ((2 . 32) (4 . 35) (6 . 38) (7 . 39)) 417 0.5709 7.0180 ((2 . 3) (3 . 6) (4 . 7) (7 . 9)) 420 0.5712 5.8586 ((2 . 3) (4 . 4) (6 . 8) (7 . 9)) 433 0.5712 5.5149 ((4 . 7) (5 . 8) (6 . 9) (7 . 10)) 442 0.5712 5.8230 ((2 . 12) (3 . 13) (4 . 14) (5 . 15)) 460 0.1993 8.3188 ((4 . 3) (5 . 4) (6 . 6) (7 . 7)) 472 0.5649 13.0359 ((2 . 27) (3 . 29) (4 . 31) (5 . 33)) 491 0.5711 6.1910 ((1 . 2) (3 . 5) (4 . 6) (7 . 8)) 495 0.5713 4.5610 ((2 . 3) (3 . 4) (4 . 5) (6 . 7)) 541 0.5710 6.4423 ((1 . 1) (2 . 2) (4 . 5) (5 . 6)) 543 0.1992 9.8934 ((2 . 1) (3 . 3) (4 . 4) (6 . 6)) 561 0.5714 1.2842 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 584 0.5701 8.7043 ((1 . 1) (3 . 2) (4 . 3) (6 . 5)) 609 0.5713 5.2331 ((2 . 3) (4 . 6) (5 . 7) (6 . 8)) 619 0.5703 8.3236 ((1 . 3) (2 . 4) (6 . 8) (7 . 9)) 624 0.8552 5.7538 ((2 . 11) (3 . 12) (4 . 13) (5 . 14) (6 . 15) (7 . 16)) 635 0.5708 7.1416 ((3 . 2) (4 . 3) (5 . 4) (6 . 5)) 672 0.5713 4.6410 ((3 . 19) (4 . 20) (6 . 22) (7 . 23)) 678 0.7139 4.7176 ((2 . 22) (3 . 23) (4 . 24) (5 . 25) (6 . 26)) 719 0.2946 4.2446 ((2 . 22) (4 . 25) (5 . 29) (6 . 27)) 729 0.7140 4.3602 ((2 . 9) (3 . 12) (4 . 13) (5 . 14) (6 . 15)) 735 0.5708 7.2012 ((2 . 31) (4 . 33) (6 . 37) (7 . 39)) 740 0.5712 5.5565 ((3 . 1) (4 . 2) (6 . 5) (7 . 6)) 765 0.1993 8.2865 ((2 . 9) (4 . 12) (6 . 17) (7 . 19)) 767 0.1993 7.8811 ((1 . 2) (2 . 3) (4 . 8) (7 . 12)) 795 0.8567 3.9411 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6)) 796 0.5714 2.1853 ((4 . 3) (5 . 4) (6 . 5) (7 . 6)) 812 0.7127 6.8704 ((2 . 9) (3 . 10) (4 . 11) (5 . 12) (6 . 13)) 818 0.5714 3.8612 ((2 . 1) (3 . 3) (4 . 4) (6 . 7)) 819 0.2945 5.9661 ((2 . 5) (4 . 8) (6 . 9) (7 . 10)) 861 0.5707 7.4580 ((1 . 14) (2 . 15) (4 . 16) (7 . 19)) 901 0.7142 3.5990 ((2 . 15) (3 . 16) (4 . 17) (5 . 19) (6 . 20)) 904 0.7139 4.7178 ((3 . 1) (4 . 3) (5 . 5) (6 . 6) (7 . 7)) 913 0.5712 5.5178 ((3 . 15) (4 . 17) (5 . 18) (7 . 20)) 928 0.7137 5.3482 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7)) 943 0.8561 4.9851 ((2 . 9) (3 . 10) (4 . 12) (5 . 13) (6 . 14) (7 . 15)) 945 0.5714 4.2670 ((2 . 17) (3 . 18) (4 . 19) (6 . 22)) 960 0.5674 11.5433 ((2 . 19) (3 . 20) (4 . 21) (5 . 23)) 978 0.5711 6.2330 ((2 . 4) (3 . 5) (4 . 6) (5 . 8)) 980 0.7135 5.7322 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7)) 1005 0.2477 12.3187 ((1 . 3) (2 . 2) (3 . 4) (5 . 5)) 1007 0.7117 7.7833 ((1 . 2) (3 . 5) (5 . 6) (6 . 7) (7 . 8)) 1008 0.2478 7.4157 ((1 . 1) (2 . 3) (4 . 5) (6 . 8)) 1034 0.5713 5.0476 ((3 . 27) (4 . 29) (5 . 31) (6 . 32)) 1043 0.5714 4.1586 ((2 . 1) (3 . 5) (4 . 6) (5 . 7)) 1082 0.5691 10.0541 ((2 . 1) (4 . 4) (5 . 5) (7 . 6)) 1084 0.5704 8.1527 ((1 . 6) (4 . 11) (5 . 15) (7 . 17)) 1121 0.5707 7.5278 ((3 . 1) (4 . 2) (6 . 4) (7 . 5)) 1165 0.7139 4.9074 ((2 . 7) (3 . 9) (4 . 10) (5 . 11) (6 . 12)) 1167 0.2942 14.3151 ((2 . 22) (3 . 24) (5 . 25) (6 . 27)) 1169 0.5710 6.6614 ((2 . 29) (4 . 31) (6 . 35) (7 . 37)) 1195 0.5710 6.6901 ((1 . 1) (3 . 3) (6 . 4) (7 . 5)) 1201 0.5711 6.1622 ((3 . 5) (4 . 7) (6 . 9) (7 . 11)) 1204 0.5714 3.5823 ((3 . 19) (4 . 20) (5 . 21) (6 . 22)) 1211 0.5707 7.3579 ((2 . 10) (4 . 11) (6 . 14) (7 . 15)) 1224 0.5710 6.6904 ((2 . 6) (4 . 7) (6 . 9) (7 . 10)) 1233 0.5713 4.8224 ((2 . 20) (3 . 21) (4 . 22) (6 . 24)) 1267 0.7138 5.0462 ((2 . 33) (3 . 34) (4 . 36) (5 . 37) (6 . 38)) 1268 0.3782 13.0129 ((1 . 19) (3 . 21) (4 . 22) (7 . 25)) 1294 0.5708 7.1168 ((2 . 42) (5 . 45) (6 . 46) (7 . 47)) 1345 0.7140 4.5070 ((2 . 7) (3 . 8) (4 . 9) (5 . 10) (6 . 12)) 1366 0.5714 3.6477 ((4 . 12) (5 . 13) (6 . 14) (7 . 15)) 1388 0.5713 5.1612 ((2 . 1) (5 . 3) (6 . 4) (7 . 5)) 1425 0.5714 4.0269 ((4 . 4) (5 . 7) (6 . 8) (7 . 10)) 1447 0.7142 3.5997 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5)) 1451 0.5714 3.5914 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 1476 0.5713 5.1901 ((2 . 9) (4 . 11) (5 . 13) (6 . 14)) 1481 0.5711 6.1316 ((2 . 2) (3 . 3) (4 . 4) (7 . 7)) 1513 0.5713 4.4351 ((2 . 13) (4 . 15) (5 . 16) (6 . 18)) 1514 0.5714 2.6368 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 1577 0.5676 11.3965 ((1 . 9) (3 . 11) (4 . 12) (6 . 15)) 1591 0.7130 6.4822 ((2 . 11) (3 . 12) (4 . 14) (5 . 15) (6 . 16)) 1595 0.5713 4.5571 ((3 . 3) (5 . 6) (6 . 7) (7 . 8)) 1604 0.7140 4.6167 ((2 . 3) (3 . 6) (4 . 7) (5 . 9) (6 . 10)) 1622 0.8539 6.5370 ((2 . 18) (3 . 19) (4 . 20) (5 . 21) (6 . 22) (7 . 23)) 1643 0.5712 5.3822 ((2 . 26) (4 . 28) (6 . 32) (7 . 33)) 1644 0.7127 6.8601 ((1 . 42) (2 . 44) (4 . 47) (6 . 49) (7 . 50)) 1665 0.5713 4.2994 ((2 . 6) (3 . 7) (4 . 8) (5 . 9)) 1690 0.7126 7.0139 ((2 . 8) (3 . 9) (4 . 11) (5 . 12) (6 . 13)) 1692 0.5711 5.9177 ((1 . 2) (3 . 4) (4 . 5) (7 . 8)) 1731 0.7117 7.7801 ((2 . 3) (3 . 5) (4 . 6) (5 . 7) (6 . 8)) 1736 0.5713 4.3395 ((2 . 7) (3 . 9) (4 . 10) (6 . 12)) 1738 0.5713 5.0781 ((2 . 6) (4 . 9) (5 . 10) (6 . 11)) 1747 0.5713 5.2446 ((2 . 5) (4 . 7) (6 . 10) (7 . 11)) 1759 0.5712 5.4634 ((2 . 4) (4 . 5) (6 . 9) (7 . 10)) 1761 0.8561 4.9383 ((2 . 13) (3 . 14) (4 . 16) (5 . 18) (6 . 19) (7 . 20)) 1763 0.5706 7.7782 ((1 . 6) (2 . 7) (4 . 10) (7 . 13)) 1776 0.7140 4.4587 ((2 . 1) (3 . 6) (4 . 7) (5 . 8) (6 . 9)) 1778 0.2945 10.3916 ((2 . 3) (4 . 5) (5 . 6) (7 . 8)) 1793 0.5714 4.0467 ((2 . 6) (4 . 8) (5 . 9) (6 . 10)) 1808 0.7133 6.0791 ((2 . 2) (4 . 5) (5 . 7) (6 . 8) (7 . 9)) 1817 0.5711 6.3425 ((2 . 13) (4 . 15) (6 . 19) (7 . 20)) 1867 0.5713 4.7404 ((4 . 1) (5 . 2) (6 . 3) (7 . 6)) 1894 0.8564 4.5979 ((2 . 5) (3 . 6) (4 . 7) (5 . 15) (6 . 20) (7 . 23)) 1896 0.3790 7.2920 ((1 . 21) (2 . 24) (4 . 27) (5 . 28)) 1897 0.5684 10.7087 ((3 . 36) (5 . 38) (6 . 39) (7 . 40)) 1908 0.7140 4.6242 ((2 . 7) (3 . 9) (4 . 10) (5 . 14) (6 . 15)) 1909 0.7139 4.9182 ((2 . 31) (3 . 33) (4 . 34) (5 . 36) (6 . 37)) 1913 0.5714 3.5704 ((2 . 1) (3 . 2) (4 . 3) (6 . 6)) 1944 0.7116 7.8742 ((2 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 9)) 1957 0.7135 5.8133 ((2 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 9)) 1961 0.5714 3.4957 ((2 . 16) (5 . 18) (6 . 19) (7 . 20)) 1967 0.5713 5.2177 ((3 . 9) (5 . 11) (6 . 13) (7 . 14)) 1972 0.5714 3.9976 ((2 . 20) (4 . 24) (5 . 25) (6 . 27)) 1992 0.7136 5.5783 ((3 . 8) (4 . 9) (5 . 10) (6 . 12) (7 . 14)) 2003 0.5713 4.8594 ((1 . 1) (2 . 4) (6 . 9) (7 . 10)) 2006 0.5711 6.0734 ((2 . 14) (4 . 15) (6 . 16) (7 . 18)) 2048 0.5714 4.1309 ((3 . 12) (4 . 13) (5 . 14) (7 . 16)) 2063 0.7140 4.5831 ((2 . 42) (4 . 44) (5 . 46) (6 . 47) (7 . 50)) 2065 0.2945 5.7191 ((2 . 19) (4 . 23) (6 . 26) (7 . 27)) 2067 0.5713 5.0659 ((4 . 54) (5 . 58) (6 . 59) (7 . 60)) 2072 0.0999 6.8654 ((3 . 3) (4 . 5) (6 . 6) (7 . 7)) 2081 0.5701 8.6756 ((1 . 18) (2 . 20) (3 . 22) (4 . 23)) 2083 0.5714 3.8568 ((2 . 2) (3 . 3) (4 . 4) (6 . 7)) 2114 0.5712 5.7433 ((2 . 32) (3 . 35) (4 . 36) (5 . 37)) 2116 0.5707 7.4212 ((2 . 3) (4 . 5) (6 . 7) (7 . 8)) 2117 0.7107 8.4353 ((2 . 20) (3 . 21) (4 . 23) (5 . 24) (6 . 25)) 2118 0.5712 5.3656 ((3 . 8) (5 . 10) (6 . 11) (7 . 12)) 2122 0.7140 4.5247 ((2 . 1) (3 . 5) (4 . 6) (5 . 7) (6 . 8)) 2166 0.7004 11.9853 ((1 . 10) (2 . 13) (5 . 14) (6 . 15) (7 . 16)) 2179 0.7138 5.0589 ((2 . 10) (3 . 12) (4 . 13) (5 . 16) (7 . 20)) 2196 0.5712 5.6884 ((2 . 12) (4 . 15) (6 . 18) (7 . 19)) 2203 0.5700 8.8918 ((2 . 1) (3 . 3) (6 . 6) (7 . 7)) 2205 0.5711 6.2796 ((2 . 19) (4 . 22) (6 . 23) (7 . 26)) 2209 0.5708 7.2570 ((2 . 7) (3 . 8) (4 . 9) (6 . 10)) 2243 0.5701 8.7250 ((2 . 56) (4 . 60) (6 . 63) (7 . 64)) 2244 0.5714 3.9600 ((2 . 74) (4 . 76) (6 . 78) (7 . 79)) 2248 0.7128 6.7902 ((2 . 22) (3 . 23) (5 . 26) (6 . 27) (7 . 28)) 2249 0.7136 5.6685 ((2 . 12) (4 . 16) (5 . 19) (6 . 21) (7 . 23)) 2269 0.7131 6.4605 ((2 . 8) (3 . 9) (4 . 10) (5 . 11) (6 . 12)) 2279 0.5711 6.1470 ((2 . 11) (3 . 12) (6 . 19) (7 . 20)) 2298 0.7142 3.5515 ((2 . 8) (3 . 9) (4 . 10) (5 . 11) (6 . 12)) 2308 0.5710 6.4126 ((2 . 6) (3 . 7) (4 . 8) (5 . 10)) 2340 0.5712 5.5598 ((3 . 8) (4 . 9) (5 . 10) (6 . 11)) 2344 0.5706 7.7864 ((2 . 3) (3 . 5) (4 . 6) (5 . 8)) 2364 0.7141 3.9606 ((2 . 7) (3 . 8) (4 . 9) (5 . 10) (6 . 12)) 2381 0.5712 5.7105 ((3 . 2) (4 . 3) (6 . 5) (7 . 6)) 2389 0.5713 4.5306 ((2 . 9) (4 . 11) (5 . 12) (6 . 14)) 2408 0.5713 5.0818 ((2 . 38) (4 . 40) (6 . 42) (7 . 45)) 2410 0.7141 4.0505 ((3 . 12) (4 . 13) (5 . 15) (6 . 16) (7 . 17)) 2422 0.5706 7.6431 ((3 . 2) (4 . 4) (6 . 6) (7 . 7)) 2423 0.5705 7.9976 ((1 . 13) (2 . 14) (4 . 16) (7 . 19)) 2440 0.5707 7.5766 ((4 . 4) (5 . 5) (6 . 6) (7 . 7)) 2447 0.7138 5.1569 ((2 . 15) (3 . 16) (4 . 18) (5 . 19) (6 . 21)) 2462 0.5703 8.4468 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 2510 0.7139 4.6800 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5)) 2519 0.5703 8.3567 ((3 . 3) (4 . 2) (5 . 4) (7 . 5)) 2525 0.5713 4.4063 ((4 . 45) (5 . 46) (6 . 47) (7 . 48)) 2529 0.5713 4.4023 ((4 . 1) (5 . 2) (6 . 3) (7 . 5)) 2533 0.8559 5.1169 ((2 . 9) (3 . 11) (4 . 13) (5 . 17) (6 . 18) (7 . 19)) 2544 0.5714 4.2339 ((3 . 18) (5 . 21) (6 . 22) (7 . 23)) 2551 0.2945 6.6373 ((1 . 7) (2 . 9) (3 . 10) (4 . 11)) 2552 0.5711 6.1926 ((4 . 1) (5 . 2) (6 . 3) (7 . 5)) 2556 0.5713 4.5031 ((2 . 11) (3 . 12) (4 . 13) (6 . 16)) 2557 0.7104 8.6292 ((1 . 1) (4 . 3) (5 . 5) (6 . 6) (7 . 7)) 2561 0.5709 6.7824 ((3 . 5) (4 . 6) (6 . 8) (7 . 9)) 2595 0.7127 6.8508 ((2 . 1) (3 . 2) (4 . 4) (5 . 5) (6 . 6)) 2619 0.5710 6.6511 ((2 . 1) (4 . 3) (5 . 4) (6 . 5)) 2627 0.2945 7.5388 ((3 . 59) (4 . 60) (5 . 62) (7 . 64)) 2650 0.5711 6.2224 ((4 . 2) (5 . 4) (6 . 5) (7 . 6)) 2658 0.2945 8.2191 ((1 . 9) (2 . 10) (3 . 11) (4 . 12)) 2675 0.5703 8.3004 ((1 . 2) (4 . 8) (6 . 11) (7 . 12)) 2682 0.5714 3.3125 ((2 . 1) (3 . 2) (4 . 3) (5 . 4)) 2696 0.5712 5.4293 ((2 . 32) (4 . 35) (6 . 38) (7 . 39)) 2731 0.2977 7.5701 ((3 . 2) (4 . 1) (5 . 3) (6 . 4) (7 . 5)) 2733 0.5713 4.4066 ((3 . 7) (4 . 8) (5 . 9) (6 . 11)) 2755 0.5711 6.2853 ((2 . 6) (3 . 7) (4 . 8) (6 . 10)) 2773 0.5711 5.9331 ((2 . 3) (5 . 4) (6 . 5) (7 . 6)) 2783 0.1993 7.1435 ((1 . 4) (2 . 6) (4 . 8) (5 . 9)) 2804 0.1992 10.0733 ((1 . 35) (2 . 34) (5 . 37) (7 . 39)) 2821 0.5714 3.1738 ((3 . 10) (4 . 11) (5 . 12) (6 . 13)) 2830 0.7141 3.9097 ((2 . 13) (3 . 14) (4 . 15) (5 . 16) (6 . 17)) 2834 0.5714 3.0219 ((4 . 1) (5 . 2) (6 . 3) (7 . 5)) 2840 0.5713 5.1892 ((2 . 1) (3 . 3) (4 . 5) (7 . 8)) 2842 0.5712 5.8110 ((2 . 1) (5 . 3) (6 . 4) (7 . 5)) 2867 0.5713 5.0364 ((1 . 1) (2 . 2) (6 . 7) (7 . 8)) 2879 0.5713 4.2924 ((2 . 52) (4 . 54) (6 . 57) (7 . 58)) 2886 0.5712 5.4691 ((2 . 34) (4 . 37) (6 . 39) (7 . 41)) 2929 0.5714 2.7827 ((4 . 36) (5 . 38) (6 . 39) (7 . 40)) 2940 0.5699 9.0211 ((3 . 2) (4 . 3) (6 . 4) (7 . 5)) 2947 0.5714 2.2186 ((4 . 4) (5 . 5) (6 . 6) (7 . 7)) 2966 0.5712 5.7519 ((2 . 1) (4 . 4) (6 . 8) (7 . 9)) 2990 0.5705 7.8757 ((1 . 10) (3 . 13) (4 . 14) (6 . 16)) 2999 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 3014 0.2939 16.4808 ((3 . 20) (5 . 21) (6 . 23) (7 . 24)) 3019 0.5705 8.0016 ((1 . 21) (2 . 22) (3 . 24) (4 . 25)) 3034 0.7132 6.3006 ((2 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 9)) 3041 0.7140 4.5238 ((2 . 14) (3 . 15) (4 . 16) (5 . 17) (6 . 18)) 3055 0.5713 4.9881 ((2 . 11) (4 . 15) (6 . 17) (7 . 19)) 3063 0.5708 7.1616 ((2 . 33) (3 . 34) (6 . 37) (7 . 38)) 3070 0.7140 4.3736 ((3 . 31) (4 . 33) (5 . 34) (6 . 35) (7 . 36)) 3084 0.7108 8.3888 ((2 . 13) (3 . 14) (4 . 15) (5 . 16) (6 . 17)) 3102 0.5712 5.5388 ((2 . 72) (4 . 75) (6 . 77) (7 . 80)) 3103 0.5711 6.2213 ((2 . 5) (3 . 6) (6 . 9) (7 . 11)) 3120 0.5702 8.5592 ((1 . 20) (2 . 22) (3 . 24) (4 . 25)) 3127 0.7141 3.7858 ((2 . 8) (3 . 9) (4 . 11) (5 . 12) (6 . 13)) 3147 0.5712 5.4761 ((2 . 5) (4 . 7) (6 . 11) (7 . 12)) 3176 0.1993 7.2650 ((1 . 23) (2 . 26) (4 . 27) (6 . 29)) 3187 0.2945 7.4491 ((2 . 1) (4 . 2) (6 . 3) (7 . 4)) 3190 0.7138 5.0056 ((2 . 6) (3 . 7) (4 . 9) (5 . 10) (6 . 11)) 3197 0.7141 4.1993 ((2 . 19) (3 . 20) (4 . 21) (5 . 22) (6 . 24)) 3200 0.5711 5.9181 ((1 . 5) (5 . 8) (6 . 9) (7 . 11)) 3212 0.5713 4.3337 ((2 . 2) (4 . 5) (5 . 7) (7 . 9)) 3222 0.1498 15.7212 ((1 . 2) (4 . 4) (6 . 7) (7 . 8)) 3256 0.5710 6.5494 ((2 . 19) (4 . 25) (6 . 26) (7 . 28)) 3261 0.5707 7.3847 ((3 . 5) (4 . 6) (6 . 8) (7 . 9)) 3286 0.5713 4.7799 ((3 . 6) (4 . 7) (5 . 8) (6 . 9)) 3297 0.2945 8.4614 ((2 . 9) (4 . 11) (6 . 12) (7 . 13)) 3322 0.7102 8.7467 ((2 . 1) (3 . 2) (4 . 5) (5 . 6) (6 . 7)) 3334 0.5710 6.6209 ((3 . 11) (5 . 13) (6 . 14) (7 . 15)) 3339 0.7139 4.7899 ((2 . 15) (3 . 16) (4 . 17) (5 . 18) (6 . 19)) 3344 0.1993 8.1663 ((2 . 18) (4 . 21) (6 . 22) (7 . 24)) 3358 0.7094 9.1551 ((2 . 4) (3 . 5) (4 . 8) (5 . 9) (6 . 10)) 3362 0.7140 4.5410 ((2 . 4) (3 . 5) (4 . 6) (5 . 7) (6 . 8)) 3366 0.1332 11.9958 ((1 . 25) (2 . 27) (6 . 32) (7 . 31)) 3391 0.7140 4.3001 ((2 . 4) (3 . 5) (4 . 6) (5 . 7) (7 . 8)) 3410 0.5713 4.7172 ((2 . 19) (3 . 20) (4 . 21) (7 . 24)) 3418 0.5703 8.3748 ((1 . 1) (5 . 3) (6 . 5) (7 . 6)) 3472 0.5712 5.3205 ((2 . 1) (4 . 4) (6 . 6) (7 . 8)) 3481 0.5714 3.9345 ((2 . 8) (4 . 10) (5 . 11) (6 . 12)) 3495 0.1249 12.9677 ((1 . 11) (3 . 13) (5 . 17) (6 . 16)) 3496 0.5709 6.9048 ((2 . 19) (5 . 21) (6 . 22) (7 . 23)) 3533 0.2945 10.2549 ((3 . 6) (4 . 7) (6 . 10) (7 . 11)) 3537 0.7110 8.2814 ((3 . 1) (4 . 2) (5 . 3) (6 . 9) (7 . 10)) 3538 0.5712 5.6496 ((2 . 15) (5 . 17) (6 . 18) (7 . 20)) 3548 0.5708 7.1501 ((2 . 2) (4 . 4) (6 . 6) (7 . 8)) 3549 0.5707 7.4468 ((2 . 2) (3 . 4) (6 . 5) (7 . 8)) 3561 0.5714 3.1349 ((2 . 20) (3 . 21) (4 . 22) (5 . 23)) 3570 0.7104 8.6178 ((2 . 1) (3 . 2) (4 . 3) (6 . 4) (7 . 7)) 3585 0.7137 5.3558 ((2 . 6) (3 . 7) (4 . 8) (6 . 12) (7 . 13)) 3626 0.3788 9.0828 ((1 . 1) (4 . 3) (5 . 5) (6 . 8)) 3628 0.7131 6.3589 ((3 . 5) (4 . 6) (5 . 7) (6 . 8) (7 . 9)) 3651 0.7112 8.1569 ((2 . 3) (3 . 4) (4 . 5) (5 . 7) (6 . 8)) 3656 0.1332 9.2357 ((1 . 12) (3 . 21) (4 . 22) (7 . 23)) 3658 0.5713 4.9521 ((2 . 1) (3 . 2) (6 . 5) (7 . 6)) 3659 0.5708 7.2617 ((3 . 3) (4 . 5) (6 . 7) (7 . 8)) 3661 0.5664 12.2159 ((1 . 17) (3 . 18) (5 . 22) (6 . 23)) 3663 0.3789 8.3624 ((1 . 3) (3 . 4) (4 . 5) (5 . 6)) 3688 0.1498 13.9686 ((2 . 3) (5 . 10) (6 . 11) (7 . 12)) 3697 0.5703 8.3418 ((2 . 4) (3 . 5) (6 . 6) (7 . 7)) 3703 0.5705 7.8794 ((2 . 4) (3 . 5) (6 . 6) (7 . 7)) 3732 0.7141 4.0717 ((2 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 9)) 3733 0.7141 4.1127 ((2 . 3) (3 . 4) (4 . 6) (5 . 7) (6 . 8)) 3740 0.5712 5.5927 ((2 . 1) (4 . 3) (6 . 5) (7 . 6)) 3741 0.3789 8.7086 ((2 . 28) (4 . 32) (5 . 33) (6 . 35)) 3776 0.5713 5.1985 ((2 . 15) (3 . 16) (6 . 19) (7 . 20)) 3778 0.5714 2.5631 ((4 . 4) (5 . 5) (6 . 6) (7 . 7)) 3787 0.7141 4.1702 ((2 . 19) (3 . 20) (4 . 21) (5 . 22) (6 . 23)) 3790 0.7133 6.1765 ((2 . 21) (3 . 23) (4 . 24) (6 . 26) (7 . 27)) 3807 0.5705 7.8875 ((2 . 46) (4 . 47) (5 . 49) (7 . 50)) 3817 0.7122 7.3423 ((2 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 9)) 3818 0.7119 7.5986 ((2 . 23) (3 . 24) (5 . 27) (6 . 28) (7 . 29)) 3831 0.5702 8.5555 ((2 . 6) (3 . 7) (4 . 9) (5 . 11)) 3847 0.5704 8.0881 ((1 . 10) (5 . 15) (6 . 16) (7 . 17)) 3849 0.2945 5.6913 ((1 . 4) (2 . 5) (3 . 7) (4 . 8)) 3853 0.7132 6.2721 ((2 . 3) (3 . 7) (4 . 8) (5 . 9) (6 . 12)) 3856 0.5713 4.7467 ((2 . 3) (3 . 4) (4 . 6) (7 . 10)) 3870 0.7091 9.2695 ((1 . 6) (3 . 7) (4 . 8) (5 . 9) (6 . 10)) 3933 0.5712 5.7109 ((2 . 10) (4 . 13) (6 . 17) (7 . 18)) 3938 0.5709 6.9120 ((1 . 1) (3 . 5) (4 . 6) (6 . 9)) 3968 0.7137 5.3473 ((2 . 5) (3 . 8) (4 . 9) (5 . 10) (6 . 11)) 3986 0.5680 11.0698 ((1 . 20) (4 . 27) (6 . 28) (7 . 29)) 3990 0.5714 2.4786 ((2 . 16) (4 . 18) (5 . 19) (6 . 20)) 4005 0.5714 4.1414 ((2 . 25) (3 . 28) (6 . 32) (7 . 33)) 4009 0.5714 3.5648 ((3 . 18) (4 . 19) (5 . 20) (6 . 21)) 4019 0.5713 4.9380 ((2 . 43) (4 . 45) (6 . 46) (7 . 47)) 4034 0.5711 6.2965 ((4 . 13) (5 . 14) (6 . 15) (7 . 16)) 4037 0.5686 10.5626 ((2 . 2) (3 . 4) (4 . 3) (5 . 5)) 4062 0.2945 7.2307 ((3 . 45) (5 . 47) (6 . 48) (7 . 49)) 4067 0.7138 5.0387 ((2 . 16) (3 . 19) (4 . 20) (5 . 21) (6 . 22)) 4077 0.2474 17.2864 ((1 . 6) (3 . 7) (6 . 10) (7 . 11)) 4082 0.5713 4.7400 ((3 . 2) (5 . 4) (6 . 5) (7 . 6)) 4087 0.5711 6.2926 ((3 . 4) (4 . 5) (6 . 7) (7 . 8)) 4115 0.7115 7.9000 ((1 . 4) (2 . 5) (3 . 7) (4 . 8) (6 . 10)) 4140 0.1993 6.4265 ((2 . 21) (4 . 22) (5 . 25) (6 . 23)) 4151 0.7140 4.5899 ((2 . 9) (3 . 11) (4 . 12) (5 . 14) (6 . 15)) 4177 0.2945 8.4513 ((1 . 3) (4 . 7) (6 . 8) (7 . 9)) 4190 0.5692 9.8690 ((1 . 4) (5 . 7) (6 . 8) (7 . 9)) 4192 0.5714 3.4690 ((2 . 13) (3 . 14) (4 . 15) (5 . 16)) 4194 0.7120 7.5200 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (7 . 6)) 4195 0.2944 12.3572 ((1 . 7) (2 . 6) (3 . 8) (6 . 9)) 4204 0.8543 6.3762 ((2 . 9) (3 . 10) (4 . 11) (5 . 12) (6 . 14) (7 . 15)) 4209 0.5712 5.4212 ((2 . 1) (4 . 4) (6 . 5) (7 . 7)) 4210 0.7138 5.1584 ((2 . 6) (3 . 7) (4 . 8) (5 . 9) (6 . 10)) 4226 0.7139 4.9179 ((2 . 1) (3 . 3) (5 . 5) (6 . 6) (7 . 8)) 4232 0.2945 7.8975 ((2 . 2) (4 . 4) (6 . 5) (7 . 6)) 4254 0.8565 4.3895 ((2 . 1) (3 . 5) (4 . 6) (5 . 7) (6 . 8) (7 . 19)) 4255 0.5711 6.0551 ((4 . 21) (5 . 22) (6 . 24) (7 . 26)) 4257 0.1992 11.7535 ((1 . 2) (4 . 3) (5 . 4) (6 . 7)) 4265 0.5711 5.9739 ((2 . 21) (4 . 23) (5 . 25) (6 . 26)) 4266 0.7140 4.5584 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6)) 4274 0.8566 4.2398 ((2 . 36) (3 . 37) (4 . 38) (5 . 39) (6 . 40) (7 . 41)) 4275 0.7113 8.0624 ((2 . 21) (3 . 22) (4 . 23) (6 . 25) (7 . 27)) 4281 0.5705 7.8684 ((1 . 7) (2 . 8) (4 . 10) (5 . 13)) 4284 0.5714 3.9157 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 4299 0.7127 6.8841 ((1 . 8) (3 . 10) (4 . 11) (5 . 13) (6 . 14)) 4301 0.5712 5.7304 ((2 . 1) (4 . 3) (6 . 6) (7 . 8)) 4326 0.5714 3.7286 ((3 . 14) (4 . 15) (5 . 16) (6 . 17)) 4332 0.5702 8.4575 ((1 . 1) (4 . 4) (5 . 5) (6 . 6)) 4338 0.5708 7.0775 ((2 . 4) (3 . 5) (6 . 6) (7 . 7)) 4352 0.5697 9.3213 ((3 . 6) (5 . 7) (6 . 10) (7 . 9)) 4359 0.5712 5.3130 ((2 . 6) (4 . 8) (6 . 10) (7 . 11)) 4380 0.1992 12.2253 ((1 . 28) (2 . 30) (4 . 32) (7 . 39)) 4383 0.5713 4.8106 ((2 . 14) (4 . 16) (6 . 18) (7 . 19)) 4386 0.1332 13.5786 ((1 . 13) (3 . 15) (5 . 17) (7 . 18)) 4388 0.8552 5.7701 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6)) 4398 0.7136 5.6253 ((2 . 8) (3 . 9) (4 . 10) (5 . 11) (7 . 12)) 4405 0.5712 5.5209 ((4 . 14) (5 . 17) (6 . 18) (7 . 19)) 4408 0.7142 3.4050 ((2 . 2) (4 . 4) (5 . 5) (6 . 6) (7 . 7)) 4415 0.5714 2.2621 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 4419 0.5707 7.3661 ((1 . 2) (4 . 7) (6 . 9) (7 . 10)) 4426 0.5711 6.0486 ((3 . 1) (4 . 2) (5 . 3) (7 . 4)) 4470 0.5714 4.2798 ((3 . 11) (4 . 12) (5 . 13) (6 . 14)) 4491 0.5714 3.8490 ((4 . 1) (5 . 4) (6 . 5) (7 . 6)) 4492 0.8568 3.8490 ((2 . 18) (3 . 19) (4 . 21) (5 . 22) (6 . 23) (7 . 26)) 4495 0.5713 4.4314 ((2 . 14) (3 . 15) (4 . 16) (6 . 18)) 4497 0.5712 5.4171 ((2 . 23) (4 . 25) (6 . 27) (7 . 28)) 4502 0.7139 4.7784 ((2 . 11) (3 . 13) (4 . 14) (5 . 16) (6 . 17)) 4503 0.5707 7.4611 ((1 . 2) (2 . 3) (6 . 9) (7 . 10)) 4504 0.5713 4.8721 ((4 . 4) (5 . 5) (6 . 6) (7 . 8)) 4505 0.5714 4.0404 ((2 . 26) (4 . 28) (5 . 29) (6 . 30)) 4516 0.7134 5.9815 ((2 . 28) (3 . 29) (4 . 30) (5 . 31) (7 . 32)) 4538 0.5695 9.5121 ((1 . 29) (5 . 36) (6 . 37) (7 . 38)) 4551 0.1498 4.2640 ((2 . 2) (4 . 4) (5 . 7) (6 . 8)) 4560 0.7122 7.3421 ((2 . 6) (3 . 7) (4 . 8) (5 . 10) (6 . 11)) 4561 0.7139 4.9126 ((2 . 1) (3 . 4) (4 . 5) (5 . 6) (6 . 7)) 4562 0.5714 3.1760 ((2 . 22) (4 . 25) (5 . 26) (6 . 27)) 4563 0.5713 4.9830 ((2 . 26) (4 . 28) (5 . 30) (6 . 31)) 4577 0.5685 10.6048 ((2 . 48) (4 . 50) (6 . 52) (7 . 54)) 4588 0.8567 3.8813 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 7) (7 . 8)) 4589 0.5703 8.4335 ((1 . 24) (2 . 25) (3 . 26) (4 . 27)) 4621 0.5708 7.2761 ((2 . 6) (4 . 8) (6 . 9) (7 . 11)) 4630 0.5712 5.8656 ((2 . 5) (4 . 8) (6 . 11) (7 . 12)) 4648 0.5714 3.9237 ((4 . 2) (5 . 3) (6 . 5) (7 . 8)) 4653 0.5703 8.4068 ((1 . 2) (4 . 6) (6 . 8) (7 . 9)) 4668 0.7141 3.8838 ((2 . 5) (3 . 6) (4 . 7) (5 . 8) (6 . 9)) 4669 0.5714 3.3974 ((3 . 18) (4 . 19) (5 . 20) (6 . 21)) 4671 0.8570 3.1373 ((2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 7) (7 . 19)) 4674 0.5682 10.9210 ((2 . 2) (3 . 4) (5 . 5) (7 . 8)) 4678 0.3787 10.2788 ((2 . 6) (3 . 7) (6 . 10) (7 . 11)) 4713 0.5712 5.5331 ((2 . 3) (4 . 5) (6 . 7) (7 . 8)) 4715 0.5708 7.2682 ((1 . 2) (3 . 4) (4 . 6) (5 . 7)) 4731 0.5710 6.4921 ((2 . 18) (5 . 20) (6 . 22) (7 . 23)) 4857 0.5714 4.1772 ((2 . 11) (3 . 12) (4 . 13) (5 . 14)) 4886 0.5686 10.5403 ((1 . 28) (2 . 29) (4 . 31) (7 . 32)) 4888 0.5702 8.5336 ((1 . 11) (2 . 12) (6 . 16) (7 . 17)) 4889 0.5714 3.9383 ((4 . 4) (5 . 5) (6 . 6) (7 . 7)) 4907 0.5709 6.8828 ((2 . 1) (4 . 4) (6 . 8) (7 . 9)) 4914 0.5709 6.8468 ((2 . 4) (4 . 6) (6 . 8) (7 . 9)) 4921 0.5708 7.2245 ((2 . 9) (3 . 11) (4 . 12) (7 . 14)) 4929 0.5711 5.9603 ((2 . 26) (4 . 29) (6 . 32) (7 . 33)) 4932 0.5712 5.2716 ((2 . 4) (4 . 6) (5 . 7) (6 . 8)) 4940 0.5713 4.7215 ((2 . 2) (4 . 3) (5 . 5) (6 . 6)) 4944 0.5712 5.5450 ((3 . 10) (4 . 11) (5 . 12) (7 . 13)) 4961 0.5713 4.5909 ((2 . 3) (3 . 4) (4 . 6) (5 . 8)) 4978 0.7135 5.7955 ((2 . 18) (3 . 20) (4 . 21) (6 . 24) (7 . 25)) 4982 0.7138 5.0206 ((2 . 1) (3 . 5) (4 . 6) (6 . 8) (7 . 18)) 4992 0.5713 4.9259 ((4 . 6) (5 . 7) (6 . 8) (7 . 9)) 4998 0.5688 10.3839 ((2 . 1) (3 . 2) (4 . 3) (5 . 4)) 5029 0.7142 3.5427 ((2 . 4) (3 . 7) (4 . 8) (5 . 9) (6 . 10)) 5036 0.5709 7.0418 ((2 . 2) (4 . 6) (6 . 8) (7 . 9)) 5038 0.5709 6.7786 ((4 . 12) (5 . 13) (6 . 15) (7 . 16)) 5039 0.7141 4.0845 ((2 . 37) (3 . 38) (4 . 39) (5 . 40) (6 . 41)) 5046 0.5711 5.9281 ((2 . 4) (5 . 9) (6 . 8) (7 . 10)) 5053 0.5711 6.0598 ((3 . 8) (4 . 9) (6 . 10) (7 . 11)) 5065 0.5711 6.2061 ((2 . 2) (5 . 6) (6 . 8) (7 . 9)) 5068 0.5714 3.7738 ((3 . 11) (4 . 12) (6 . 15) (7 . 16)) 5069 0.5714 3.3664 ((2 . 2) (3 . 3) (4 . 4) (6 . 7)) 5073 0.7101 8.7725 ((2 . 32) (3 . 33) (4 . 34) (5 . 35) (6 . 36)) 5083 0.5708 7.2870 ((3 . 3) (5 . 4) (6 . 6) (7 . 8)) 5101 0.7141 3.8126 ((2 . 15) (3 . 17) (4 . 18) (5 . 19) (6 . 21)) 5103 0.7140 4.3560 ((2 . 15) (3 . 16) (4 . 17) (5 . 18) (6 . 19)) 5121 0.5709 6.8354 ((1 . 13) (3 . 14) (4 . 16) (7 . 18)) 5132 0.5713 4.8095 ((2 . 16) (4 . 18) (5 . 19) (6 . 20)) 5134 0.5706 7.7450 ((3 . 16) (4 . 17) (5 . 18) (6 . 19)) 5145 0.5713 4.5882 ((2 . 3) (4 . 5) (5 . 7) (6 . 8)) 5167 0.5713 4.6178 ((3 . 10) (4 . 12) (5 . 13) (6 . 14)) 5176 0.2945 8.1268 ((3 . 83) (4 . 84) (6 . 87) (7 . 88)) 5192 0.5714 4.0203 ((3 . 16) (4 . 17) (5 . 18) (6 . 20)) 5198 0.5708 7.1895 ((3 . 23) (4 . 24) (5 . 25) (6 . 26)) 5199 0.5707 7.5036 ((1 . 6) (2 . 7) (6 . 9) (7 . 10)) 5209 0.5710 6.4071 ((2 . 4) (5 . 6) (6 . 7) (7 . 8)) 5215 0.5711 6.1386 ((2 . 11) (5 . 14) (6 . 15) (7 . 16)) 5223 0.7141 3.9539 ((2 . 8) (3 . 9) (4 . 10) (5 . 11) (6 . 12)) 5231 0.3788 9.2257 ((1 . 9) (2 . 8) (4 . 13) (5 . 15)) 5266 0.8565 4.4522 ((2 . 8) (3 . 9) (4 . 10) (5 . 11) (6 . 13) (7 . 15)) 5278 0.5713 4.4901 ((2 . 2) (4 . 6) (6 . 8) (7 . 9)) 5307 0.7137 5.2765 ((2 . 51) (4 . 53) (5 . 54) (6 . 55) (7 . 57)) 5312 0.5708 7.1304 ((2 . 1) (4 . 3) (6 . 5) (7 . 7)) 5318 0.5714 3.8786 ((3 . 7) (4 . 8) (5 . 9) (6 . 11)) 5323 0.1498 9.5530 ((1 . 4) (5 . 9) (6 . 10) (7 . 11)) 5324 0.7139 4.7793 ((2 . 10) (3 . 11) (4 . 12) (5 . 13) (6 . 14)) 5344 0.5712 5.8649 ((1 . 5) (4 . 7) (6 . 9) (7 . 10)) 5345 0.5711 5.9018 ((2 . 7) (4 . 9) (6 . 12) (7 . 13)) 5368 0.5712 5.6426 ((2 . 25) (4 . 27) (6 . 29) (7 . 30)) 5378 0.5714 3.4855 ((4 . 4) (5 . 5) (6 . 6) (7 . 7)) 5411 0.7140 4.3307 ((3 . 2) (4 . 3) (5 . 5) (6 . 6) (7 . 8)) 5414 0.5712 5.3971 ((2 . 14) (4 . 16) (5 . 17) (7 . 20)) 5418 0.1498 10.2071 ((2 . 1) (4 . 3) (5 . 4) (6 . 7)) 5421 0.5709 7.0145 ((2 . 1) (4 . 2) (6 . 5) (7 . 4)) 5479 0.5708 7.1942 ((2 . 48) (4 . 50) (6 . 51) (7 . 52)) 5487 0.7140 4.5614 ((2 . 7) (3 . 8) (4 . 9) (5 . 10) (6 . 11)) 5489 0.5713 4.3603 ((2 . 6) (4 . 9) (6 . 11) (7 . 12)) 5500 0.7080 9.7698 ((1 . 6) (3 . 10) (4 . 12) (5 . 13) (6 . 14)) 5501 0.5705 8.0436 ((1 . 22) (3 . 23) (4 . 25) (5 . 27)) 5535 0.5708 7.0951 ((1 . 5) (4 . 8) (6 . 10) (7 . 11)) 5540 0.5706 7.6679 ((1 . 13) (2 . 16) (3 . 17) (4 . 18)) 5557 0.5714 3.9764 ((2 . 2) (4 . 4) (5 . 5) (6 . 6)) 5560 0.5714 3.3755 ((3 . 14) (4 . 15) (5 . 16) (6 . 17)) 5562 0.7139 4.7754 ((2 . 11) (3 . 13) (4 . 14) (5 . 15) (6 . 17)) 5567 0.7122 7.4095 ((2 . 8) (3 . 10) (4 . 11) (5 . 14) (6 . 15)) 5594 0.7140 4.6619 ((2 . 6) (3 . 7) (4 . 9) (5 . 10) (6 . 12)) 5600 0.7107 8.4309 ((3 . 1) (4 . 3) (5 . 4) (6 . 5) (7 . 6)) 5601 0.5714 3.9812 ((2 . 1) (3 . 4) (4 . 5) (6 . 7)) 5638 0.5710 6.7306 ((2 . 7) (4 . 9) (5 . 12) (6 . 13)) 5640 0.5713 5.2163 ((2 . 5) (4 . 7) (6 . 9) (7 . 10)) 5644 0.0999 9.4195 ((2 . 8) (4 . 11) (6 . 14) (7 . 13)) 5656 0.7134 5.9483 ((2 . 16) (3 . 17) (5 . 20) (6 . 21) (7 . 23)) 5700 0.5707 7.5541 ((2 . 4) (4 . 6) (6 . 9) (7 . 11)) 5701 0.5705 8.0269 ((3 . 2) (5 . 3) (6 . 4) (7 . 5)) 5703 0.2945 5.6728 ((1 . 3) (4 . 6) (6 . 7) (7 . 8)) 5711 0.5705 7.8870 ((2 . 38) (4 . 42) (6 . 44) (7 . 46)) 5713 0.5713 5.1666 ((2 . 20) (4 . 22) (6 . 24) (7 . 25)) 5718 0.5705 8.0315 ((3 . 15) (4 . 16) (6 . 18) (7 . 21)) 5731 0.5703 8.2956 ((1 . 8) (2 . 9) (6 . 14) (7 . 15)) 5746 0.5712 5.7661 ((4 . 3) (5 . 4) (6 . 6) (7 . 7)) 5749 0.5689 10.2431 ((1 . 1) (2 . 3) (6 . 5) (7 . 6)) 5761 0.5712 5.4512 ((4 . 28) (5 . 29) (6 . 31) (7 . 32)) 5770 0.5704 8.0905 ((1 . 5) (3 . 7) (4 . 8) (7 . 12)) 5771 0.5714 3.6837 ((2 . 1) (3 . 8) (4 . 9) (5 . 10)) 5782 0.5714 3.6086 ((2 . 22) (3 . 23) (4 . 24) (7 . 29)) 5794 0.5710 6.4408 ((2 . 19) (3 . 22) (6 . 23) (7 . 24)) 5795 0.5687 10.4743 ((1 . 8) (2 . 10) (3 . 12) (4 . 13)) 5809 0.7139 4.8692 ((2 . 3) (3 . 4) (4 . 5) (5 . 6) (6 . 7)) 5822 0.5703 8.3492 ((2 . 2) (3 . 5) (4 . 6) (7 . 8)) 5827 0.7134 5.9685 ((2 . 5) (3 . 6) (4 . 8) (5 . 10) (6 . 11)) 5847 0.5713 4.3095 ((2 . 1) (4 . 5) (6 . 8) (7 . 9)) 5861 0.5712 5.5879 ((2 . 6) (4 . 10) (6 . 11) (7 . 12)) 5865 0.0999 5.8603 ((2 . 4) (4 . 5) (5 . 6) (6 . 7)) 5878 0.5712 5.8757 ((3 . 24) (4 . 25) (6 . 28) (7 . 29)) 5888 0.5712 5.4058 ((2 . 8) (4 . 10) (6 . 12) (7 . 13)) 5896 0.5703 8.3274 ((1 . 27) (4 . 29) (5 . 30) (6 . 31)) 5904 0.5714 4.2469 ((2 . 7) (4 . 9) (5 . 10) (6 . 11)) 5913 0.7136 5.6563 ((2 . 15) (3 . 16) (4 . 17) (6 . 20) (7 . 22)) 5914 0.5713 4.3055 ((4 . 3) (5 . 4) (6 . 5) (7 . 6)) 5922 0.5701 8.6386 ((2 . 4) (4 . 6) (6 . 9) (7 . 10)) 5930 0.5713 5.2408 ((2 . 2) (3 . 3) (4 . 4) (5 . 5)) 5939 0.5713 4.3458 ((3 . 1) (4 . 2) (5 . 3) (6 . 4)) 5945 0.7119 7.6235 ((1 . 31) (2 . 33) (3 . 34) (6 . 37) (7 . 38)) 5949 0.5713 4.8536 ((2 . 10) (3 . 11) (4 . 14) (5 . 15)) 5955 0.8540 6.5152 ((2 . 7) (3 . 8) (4 . 9) (5 . 12) (6 . 14) (7 . 16)) 5967 0.5714 3.0586 ((2 . 3) (3 . 6) (4 . 7) (5 . 8)) 5972 0.5714 3.8441 ((3 . 1) (5 . 5) (6 . 6) (7 . 7)) 5977 0.8567 4.0074 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5) (7 . 6)) 6000 0.5710 6.4501 ((3 . 27) (4 . 28) (5 . 30) (6 . 31)) 6011 0.5704 8.1300 ((2 . 8) (4 . 10) (6 . 13) (7 . 14)) 6022 0.5713 4.7575 ((2 . 2) (4 . 5) (6 . 8) (7 . 9)) 6028 0.5708 7.1319 ((1 . 4) (2 . 3) (3 . 8) (4 . 9)) 6029 0.5713 5.2280 ((2 . 17) (4 . 19) (5 . 20) (6 . 21)) 6041 0.7136 5.6417 ((2 . 8) (3 . 9) (4 . 10) (6 . 12) (7 . 13)) 6046 0.5702 8.5674 ((3 . 1) (4 . 2) (6 . 5) (7 . 6)) 6061 0.7141 4.2509 ((3 . 16) (4 . 17) (5 . 18) (6 . 20) (7 . 21)) 6074 0.5714 3.8886 ((2 . 4) (4 . 6) (5 . 7) (6 . 8)) 6075 0.5714 3.6838 ((2 . 21) (3 . 23) (4 . 24) (6 . 27)) 6079 0.5714 3.7163 ((2 . 7) (4 . 9) (5 . 10) (6 . 11)) 6087 0.5713 4.8253 ((3 . 7) (4 . 8) (5 . 9) (6 . 10)) 6089 0.5714 4.0433 ((3 . 20) (4 . 21) (5 . 22) (6 . 23)) 6094 0.5708 7.3476 ((1 . 6) (2 . 7) (3 . 8) (4 . 11)) 6099 0.5708 7.2109 ((2 . 30) (4 . 33) (6 . 34) (7 . 35)) 6142 0.5712 5.8403 ((2 . 10) (4 . 12) (6 . 14) (7 . 15)) 6173 0.5714 4.0290 ((2 . 5) (4 . 8) (6 . 11) (7 . 12)) 6191 0.1993 6.6417 ((1 . 1) (4 . 6) (6 . 9) (7 . 10)) 6192 0.7098 8.9702 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5)) 6225 0.5629 13.9612 ((1 . 1) (4 . 3) (6 . 5) (7 . 7)) 6228 0.7141 3.7892 ((2 . 1) (3 . 2) (4 . 3) (5 . 4) (6 . 5)) 6234 0.5711 6.3204 ((1 . 8) (2 . 9) (6 . 13) (7 . 15)) 6238 0.5709 6.9149 ((1 . 2) (5 . 6) (6 . 7) (7 . 8)) 6243 0.7139 4.7363 ((2 . 3) (3 . 5) (4 . 6) (5 . 7) (6 . 8)) 6251 0.5713 4.6175 ((2 . 8) (3 . 9) (4 . 10) (5 . 11)) 6258 0.5714 3.4310 ((2 . 9) (4 . 10) (5 . 11) (6 . 12)) 6261 0.5713 4.6450 ((3 . 7) (4 . 9) (5 . 10) (6 . 11)) 6266 0.5714 3.5035 ((2 . 5) (4 . 6) (5 . 7) (6 . 8)) 6270 0.5714 2.4817 ((4 . 15) (5 . 16) (6 . 17) (7 . 18)) 6271 0.2944 11.1403 ((2 . 4) (3 . 6) (6 . 8) (7 . 10)) 6294 0.7140 4.6515 ((2 . 23) (3 . 24) (4 . 25) (5 . 26) (6 . 27)) 6306 0.1666 8.0204 ((1 . 18) (2 . 19) (4 . 21) (5 . 23) (6 . 16) (7 . 15)) 6309 0.5714 3.1904 ((4 . 17) (5 . 19) (6 . 20) (7 . 25)) 6311 0.5712 5.7322 ((2 . 5) (4 . 9) (6 . 10) (7 . 11)) 6338 0.5709 6.8539 ((2 . 1) (4 . 4) (6 . 7) (7 . 8)) 6344 0.5712 5.5663 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 6345 0.5708 7.2599 ((1 . 1) (3 . 2) (4 . 4) (6 . 6)) 6348 0.5714 3.0112 ((3 . 8) (4 . 9) (5 . 10) (6 . 11)) 6355 0.5705 8.0400 ((3 . 3) (4 . 4) (6 . 7) (7 . 8)) 6356 0.7142 3.5014 ((2 . 6) (3 . 8) (4 . 9) (5 . 10) (6 . 11)) 6369 0.7141 4.0869 ((2 . 20) (3 . 21) (4 . 22) (5 . 23) (6 . 24)) 6376 0.5713 4.4218 ((2 . 17) (3 . 18) (4 . 19) (6 . 21)) 6391 0.5699 9.0002 ((3 . 7) (5 . 9) (6 . 10) (7 . 12)) 6392 0.7082 9.6844 ((1 . 4) (3 . 6) (4 . 7) (5 . 8) (6 . 9)) 6399 0.5713 5.0634 ((2 . 10) (4 . 12) (6 . 14) (7 . 15)) 6403 0.5714 4.1890 ((2 . 7) (3 . 9) (4 . 10) (5 . 11)) 6434 0.5707 7.5703 ((3 . 1) (4 . 2) (6 . 4) (7 . 5)) 6461 0.5699 9.0368 ((1 . 1) (4 . 3) (5 . 4) (7 . 6)) 6462 0.7137 5.2497 ((2 . 18) (3 . 19) (4 . 20) (6 . 22) (7 . 24)) 6476 0.2943 12.7287 ((1 . 5) (2 . 4) (3 . 7) (6 . 9)) 6498 0.5714 3.5539 ((3 . 28) (4 . 29) (5 . 30) (6 . 31)) 6520 0.5705 8.0446 ((1 . 11) (3 . 12) (4 . 14) (6 . 16)) 6539 0.7115 7.9354 ((3 . 1) (4 . 2) (5 . 3) (6 . 4) (7 . 5)) 6540 0.5713 4.8838 ((2 . 16) (4 . 18) (6 . 20) (7 . 21)) 6548 0.5713 4.6318 ((4 . 7) (5 . 8) (6 . 9) (7 . 12)) 6553 0.5713 4.8110 ((2 . 15) (4 . 17) (5 . 19) (6 . 20)) 6555 0.5710 6.6905 ((4 . 20) (5 . 21) (6 . 23) (7 . 24)) 6561 0.5707 7.4051 ((1 . 5) (4 . 10) (5 . 11) (7 . 12)) 6573 0.5714 4.0801 ((2 . 17) (3 . 18) (4 . 19) (6 . 21)) 6578 0.5710 6.3665 ((1 . 33) (2 . 34) (4 . 38) (5 . 39)) 6584 0.5708 7.2537 ((2 . 3) (3 . 4) (6 . 7) (7 . 8)) 6585 0.7140 4.4888 ((2 . 2) (3 . 4) (4 . 6) (5 . 7) (6 . 8)) 6586 0.5713 4.5074 ((2 . 18) (5 . 23) (6 . 24) (7 . 25)) 6587 0.7136 5.5639 ((2 . 29) (4 . 31) (5 . 32) (6 . 33) (7 . 34)) 6598 0.5712 5.3908 ((2 . 13) (4 . 17) (6 . 20) (7 . 21)) 6613 0.5714 3.8798 ((3 . 23) (4 . 24) (5 . 25) (6 . 27)) 6635 0.5714 3.9833 ((4 . 1) (5 . 3) (6 . 4) (7 . 5)) END