1464 25 0.2477 8.9445 ((7 . 6) (8 . 7) (9 . 9) (12 . 10)) 51 0.5707 7.4328 ((7 . 7) (8 . 10) (10 . 11) (14 . 14)) 62 0.5712 5.3448 ((9 . 9) (10 . 10) (13 . 12) (14 . 13)) 64 0.5712 5.5855 ((7 . 4) (8 . 6) (10 . 7) (12 . 16)) 77 0.5701 8.6439 ((7 . 8) (9 . 10) (13 . 13) (14 . 15)) 96 0.3790 6.1787 ((9 . 2) (12 . 4) (13 . 5) (14 . 6)) 129 0.5705 7.9043 ((8 . 5) (10 . 8) (13 . 11) (14 . 12)) 136 0.5713 4.6951 ((8 . 5) (9 . 6) (10 . 7) (13 . 8)) 157 0.5690 10.1164 ((8 . 11) (9 . 12) (12 . 13) (14 . 16)) 161 0.5713 4.8923 ((7 . 4) (8 . 6) (10 . 8) (13 . 10)) 162 0.3788 9.1444 ((9 . 16) (10 . 17) (13 . 18) (14 . 20)) 169 0.5706 7.7925 ((7 . 7) (8 . 8) (10 . 9) (14 . 12)) 177 0.5714 3.9022 ((7 . 4) (10 . 5) (13 . 8) (14 . 10)) 191 0.5714 3.4432 ((8 . 4) (10 . 6) (13 . 7) (14 . 8)) 198 0.5711 6.2845 ((7 . 1) (8 . 2) (10 . 5) (14 . 10)) 233 0.7138 5.0671 ((7 . 1) (8 . 2) (10 . 3) (13 . 7) (14 . 8)) 300 0.5713 5.0225 ((9 . 5) (10 . 6) (13 . 9) (14 . 10)) 305 0.7132 6.2702 ((7 . 18) (8 . 19) (9 . 20) (10 . 21) (13 . 22)) 307 0.5707 7.3837 ((8 . 1) (9 . 2) (10 . 3) (14 . 7)) 315 0.5713 5.0903 ((7 . 4) (8 . 5) (13 . 8) (14 . 10)) 340 0.5714 3.7050 ((8 . 1) (10 . 2) (13 . 4) (14 . 7)) 350 0.5702 8.4662 ((7 . 8) (8 . 10) (13 . 16) (14 . 17)) 360 0.7141 4.2535 ((7 . 5) (8 . 6) (10 . 9) (13 . 10) (14 . 12)) 361 0.4441 12.1313 ((9 . 7) (12 . 9) (13 . 10) (14 . 11)) 365 0.4453 7.5598 ((7 . 2) (8 . 3) (10 . 6) (12 . 7)) 367 0.3790 2.6291 ((10 . 38) (12 . 39) (13 . 40) (14 . 42)) 372 0.7137 5.2679 ((7 . 5) (8 . 6) (10 . 10) (13 . 11) (14 . 14)) 387 0.1664 11.1055 ((7 . 1) (9 . 6) (10 . 7) (14 . 9)) 405 0.5712 5.8022 ((8 . 33) (10 . 35) (13 . 39) (14 . 40)) 417 0.5711 5.9890 ((8 . 5) (9 . 6) (10 . 7) (13 . 9)) 433 0.4454 7.1896 ((9 . 2) (12 . 4) (13 . 6) (14 . 7)) 442 0.5710 6.4554 ((8 . 10) (9 . 11) (10 . 12) (14 . 14)) 460 0.5709 6.9384 ((7 . 1) (8 . 2) (13 . 6) (14 . 7)) 472 0.5710 6.5048 ((9 . 23) (12 . 24) (13 . 25) (14 . 27)) 491 0.5703 8.4135 ((7 . 1) (12 . 5) (13 . 6) (14 . 8)) 495 0.5713 4.9625 ((10 . 3) (12 . 6) (13 . 8) (14 . 9)) 541 0.5705 7.9324 ((9 . 13) (10 . 14) (13 . 16) (14 . 17)) 543 0.3788 9.9799 ((7 . 6) (8 . 8) (12 . 13) (14 . 15)) 561 0.5706 7.6590 ((10 . 1) (12 . 2) (13 . 4) (14 . 6)) 584 0.5713 4.9154 ((9 . 2) (10 . 3) (13 . 4) (14 . 10)) 587 0.5712 5.6997 ((7 . 10) (8 . 11) (13 . 14) (14 . 15)) 609 0.5704 8.1209 ((9 . 2) (12 . 5) (13 . 6) (14 . 8)) 619 0.5712 5.4874 ((7 . 8) (8 . 9) (10 . 11) (13 . 12)) 624 0.5712 5.7930 ((7 . 20) (8 . 22) (13 . 24) (14 . 26)) 635 0.5686 10.5799 ((9 . 11) (10 . 13) (13 . 14) (14 . 15)) 672 0.5714 4.0274 ((8 . 18) (9 . 19) (13 . 23) (14 . 24)) 683 0.5713 5.0633 ((7 . 2) (8 . 3) (9 . 4) (10 . 5)) 719 0.2478 7.2186 ((7 . 25) (8 . 27) (9 . 29) (12 . 31)) 729 0.5698 9.1262 ((7 . 5) (9 . 6) (10 . 7) (14 . 13)) 740 0.1992 8.8776 ((8 . 2) (10 . 3) (13 . 7) (14 . 9)) 765 0.2945 9.2958 ((8 . 8) (10 . 12) (13 . 17) (14 . 19)) 767 0.3790 6.0713 ((7 . 13) (8 . 26) (10 . 31) (12 . 33)) 795 0.0999 8.1961 ((9 . 2) (10 . 3) (12 . 4) (13 . 6)) 801 0.5713 5.0879 ((7 . 2) (8 . 4) (10 . 6) (13 . 7)) 812 0.4914 7.7978 ((7 . 9) (9 . 10) (10 . 11) (12 . 12)) 818 0.4904 10.5884 ((7 . 2) (9 . 5) (10 . 7) (14 . 10)) 819 0.1664 7.5226 ((7 . 5) (10 . 8) (13 . 9) (14 . 10)) 824 0.7142 3.5284 ((7 . 45) (8 . 46) (10 . 49) (13 . 50) (14 . 51)) 861 0.5711 6.0086 ((7 . 1) (8 . 2) (10 . 3) (12 . 4)) 901 0.5698 9.1302 ((7 . 12) (9 . 14) (10 . 15) (14 . 17)) 904 0.5691 10.0370 ((9 . 1) (10 . 3) (12 . 4) (14 . 6)) 913 0.3790 7.1123 ((9 . 15) (10 . 17) (12 . 18) (13 . 20)) 928 0.5707 7.4977 ((8 . 10) (9 . 11) (10 . 12) (14 . 14)) 937 0.5681 11.0006 ((9 . 2) (10 . 1) (12 . 3) (14 . 5)) 943 0.5704 8.2013 ((7 . 2) (10 . 4) (12 . 5) (14 . 8)) 945 0.5706 7.7659 ((9 . 13) (10 . 14) (12 . 16) (14 . 19)) 960 0.5690 10.1464 ((7 . 1) (8 . 2) (10 . 4) (12 . 5)) 1007 0.5712 5.3090 ((9 . 6) (10 . 7) (13 . 8) (14 . 9)) 1008 0.5709 6.8493 ((8 . 3) (10 . 5) (13 . 8) (14 . 13)) 1034 0.5636 13.6819 ((7 . 22) (9 . 24) (10 . 25) (13 . 26)) 1043 0.5712 5.8522 ((9 . 11) (10 . 12) (13 . 14) (14 . 17)) 1082 0.5686 10.5423 ((7 . 1) (8 . 2) (10 . 4) (12 . 5)) 1084 0.4444 11.3948 ((8 . 8) (10 . 11) (12 . 15) (14 . 17)) 1121 0.3790 7.3427 ((10 . 2) (12 . 1) (13 . 3) (14 . 5)) 1165 0.3790 6.0738 ((7 . 3) (9 . 5) (10 . 7) (14 . 10)) 1169 0.5712 5.6519 ((7 . 31) (8 . 32) (10 . 35) (13 . 37)) 1195 0.5714 3.6983 ((9 . 1) (10 . 2) (13 . 4) (14 . 5)) 1201 0.5394 19.9845 ((8 . 9) (9 . 10) (12 . 13) (13 . 14)) 1204 0.5696 9.3988 ((7 . 3) (9 . 6) (10 . 5) (14 . 11)) 1211 0.7138 5.1217 ((7 . 8) (8 . 9) (10 . 10) (13 . 11) (14 . 14)) 1217 0.5705 8.0390 ((7 . 3) (8 . 5) (10 . 7) (14 . 12)) 1224 0.5713 4.8093 ((7 . 6) (8 . 7) (10 . 9) (13 . 10)) 1267 0.5703 8.3319 ((7 . 13) (9 . 14) (10 . 15) (14 . 19)) 1294 0.5706 7.7663 ((8 . 39) (10 . 40) (13 . 41) (14 . 43)) 1301 0.2945 6.6865 ((8 . 1) (9 . 3) (10 . 5) (12 . 6)) 1345 0.5707 7.5577 ((7 . 12) (10 . 14) (12 . 15) (13 . 16)) 1366 0.5712 5.4912 ((7 . 15) (10 . 17) (13 . 21) (14 . 22)) 1388 0.4908 9.7584 ((7 . 5) (9 . 7) (10 . 8) (12 . 11)) 1425 0.2478 6.6892 ((10 . 3) (12 . 7) (13 . 8) (14 . 10)) 1435 0.5713 5.0650 ((8 . 3) (10 . 5) (13 . 6) (14 . 13)) 1447 0.1993 5.9827 ((9 . 2) (10 . 3) (12 . 4) (14 . 7)) 1451 0.5714 3.6697 ((9 . 2) (10 . 3) (13 . 4) (14 . 5)) 1464 1.0000 0.0000 ((7 . 7) (8 . 8) (9 . 9) (10 . 10) (12 . 12) (13 . 13) (14 . 14)) 1472 0.2477 8.5015 ((7 . 7) (8 . 8) (9 . 10) (12 . 11)) 1476 0.3790 6.4025 ((7 . 11) (9 . 13) (10 . 15) (12 . 17)) 1481 0.5703 8.4144 ((7 . 2) (9 . 3) (10 . 4) (13 . 7)) 1501 0.5712 5.7202 ((7 . 3) (8 . 4) (10 . 6) (13 . 9)) 1514 0.1993 6.7584 ((9 . 2) (10 . 3) (13 . 4) (14 . 6)) 1577 0.2943 12.6907 ((7 . 4) (10 . 6) (12 . 9) (13 . 10)) 1604 0.3790 7.3861 ((8 . 7) (9 . 8) (10 . 10) (14 . 12)) 1622 0.3789 7.6071 ((9 . 17) (10 . 18) (13 . 20) (14 . 22)) 1624 0.2477 9.1458 ((7 . 5) (8 . 6) (10 . 9) (12 . 10)) 1643 0.7135 5.6987 ((7 . 27) (8 . 28) (10 . 33) (13 . 34) (14 . 36)) 1644 0.5711 6.1218 ((8 . 47) (10 . 48) (13 . 51) (14 . 52)) 1690 0.5700 8.7921 ((7 . 13) (8 . 14) (10 . 16) (13 . 20)) 1692 0.4911 9.0541 ((7 . 1) (9 . 2) (12 . 4) (14 . 8)) 1731 0.3790 6.1179 ((8 . 3) (9 . 5) (10 . 6) (14 . 8)) 1736 0.1332 8.8876 ((9 . 8) (12 . 9) (13 . 10) (14 . 12)) 1738 0.5705 7.9848 ((7 . 6) (12 . 10) (13 . 13) (14 . 14)) 1747 0.7138 5.1204 ((7 . 43) (8 . 44) (10 . 47) (13 . 48) (14 . 52)) 1756 0.5708 7.2457 ((7 . 23) (8 . 25) (10 . 27) (13 . 30)) 1759 0.5703 8.3208 ((7 . 6) (8 . 8) (10 . 9) (14 . 14)) 1761 0.5714 3.0976 ((7 . 1) (8 . 2) (10 . 3) (13 . 5)) 1763 0.7122 7.3566 ((8 . 7) (9 . 8) (10 . 9) (13 . 10) (14 . 13)) 1776 0.5705 7.8870 ((7 . 12) (9 . 13) (10 . 14) (13 . 16)) 1777 0.3789 8.1090 ((7 . 42) (8 . 43) (13 . 50) (14 . 52)) 1778 0.1993 4.7534 ((7 . 1) (8 . 2) (10 . 4) (12 . 6)) 1793 0.5689 10.2846 ((7 . 13) (8 . 14) (9 . 15) (12 . 17)) 1805 0.5712 5.7483 ((8 . 11) (10 . 12) (13 . 16) (14 . 17)) 1808 0.5707 7.4334 ((7 . 4) (8 . 5) (10 . 6) (13 . 10)) 1817 0.5711 6.1747 ((7 . 13) (8 . 14) (10 . 15) (14 . 19)) 1867 0.5703 8.3893 ((8 . 1) (9 . 2) (10 . 3) (12 . 4)) 1894 0.4438 12.7089 ((9 . 3) (12 . 4) (13 . 5) (14 . 7)) 1896 0.4449 9.8642 ((7 . 25) (8 . 26) (9 . 28) (12 . 30)) 1897 0.3789 8.4620 ((7 . 39) (8 . 40) (12 . 44) (13 . 46)) 1908 0.4451 9.0814 ((8 . 7) (9 . 8) (12 . 9) (13 . 10)) 1909 0.5695 9.5867 ((7 . 29) (9 . 32) (10 . 34) (14 . 37)) 1913 0.5710 6.7159 ((8 . 10) (10 . 12) (13 . 16) (14 . 18)) 1944 0.5658 12.5582 ((7 . 23) (8 . 24) (9 . 25) (12 . 26)) 1957 0.4445 11.0819 ((7 . 13) (9 . 16) (12 . 18) (13 . 19)) 1961 0.5712 5.5020 ((7 . 15) (8 . 16) (13 . 19) (14 . 20)) 1967 0.4915 7.2339 ((9 . 6) (10 . 7) (12 . 8) (14 . 10)) 1992 0.5699 8.9483 ((7 . 9) (9 . 10) (10 . 12) (13 . 14)) 1995 0.5714 4.2390 ((8 . 3) (10 . 7) (13 . 8) (14 . 11)) 2003 0.5712 5.7289 ((9 . 6) (10 . 7) (13 . 9) (14 . 10)) 2006 0.5713 4.4225 ((8 . 14) (10 . 15) (13 . 16) (14 . 18)) 2045 0.5714 3.5782 ((7 . 3) (8 . 7) (10 . 8) (13 . 13)) 2048 0.4455 4.7050 ((8 . 13) (9 . 14) (10 . 16) (13 . 17)) 2063 0.3788 9.5630 ((10 . 44) (12 . 46) (13 . 48) (14 . 49)) 2065 0.5711 6.1014 ((8 . 19) (10 . 23) (13 . 26) (14 . 27)) 2067 0.5712 5.8086 ((7 . 38) (8 . 39) (10 . 44) (13 . 45)) 2072 0.5711 5.9765 ((7 . 4) (8 . 6) (10 . 7) (12 . 8)) 2081 0.6536 9.3179 ((7 . 3) (8 . 5) (9 . 7) (10 . 9) (13 . 10)) 2083 0.5707 7.3711 ((7 . 1) (8 . 2) (12 . 6) (13 . 7)) 2097 0.5711 5.9297 ((10 . 1) (12 . 2) (13 . 4) (14 . 5)) 2114 0.5711 6.0558 ((7 . 34) (8 . 36) (9 . 37) (12 . 38)) 2116 0.1993 5.6045 ((7 . 3) (8 . 4) (10 . 5) (13 . 7)) 2117 0.5713 4.9525 ((7 . 16) (8 . 17) (10 . 22) (13 . 25)) 2118 0.4450 9.4768 ((9 . 9) (12 . 10) (13 . 11) (14 . 12)) 2122 0.5704 8.2596 ((9 . 11) (10 . 12) (13 . 17) (14 . 18)) 2166 0.5713 4.8282 ((9 . 14) (10 . 15) (13 . 16) (14 . 17)) 2179 0.5713 4.6948 ((8 . 4) (10 . 5) (13 . 9) (14 . 10)) 2196 0.5713 5.2536 ((7 . 11) (10 . 15) (13 . 18) (14 . 19)) 2203 0.5702 8.5214 ((7 . 1) (9 . 3) (10 . 6) (13 . 7)) 2205 0.5706 7.6603 ((7 . 19) (8 . 20) (10 . 23) (13 . 26)) 2209 0.5701 8.6543 ((9 . 2) (10 . 5) (13 . 6) (14 . 7)) 2243 0.5714 4.1668 ((7 . 42) (8 . 44) (10 . 45) (13 . 47)) 2244 0.5713 4.6906 ((7 . 74) (8 . 75) (10 . 78) (13 . 79)) 2269 0.5699 8.9459 ((7 . 6) (8 . 7) (10 . 8) (12 . 9)) 2279 0.2945 7.5307 ((10 . 5) (12 . 6) (13 . 7) (14 . 9)) 2298 0.2945 7.0617 ((9 . 7) (10 . 8) (13 . 10) (14 . 12)) 2308 0.5702 8.4925 ((7 . 6) (10 . 8) (12 . 10) (14 . 11)) 2340 0.3790 6.0489 ((9 . 10) (10 . 11) (13 . 13) (14 . 14)) 2344 0.4915 7.1876 ((8 . 1) (9 . 2) (12 . 4) (14 . 6)) 2364 0.5714 4.0174 ((9 . 6) (10 . 18) (13 . 19) (14 . 20)) 2381 0.0999 4.5664 ((7 . 3) (8 . 4) (10 . 6) (12 . 8)) 2389 0.7138 5.1151 ((7 . 5) (8 . 6) (10 . 9) (13 . 10) (14 . 11)) 2408 0.5706 7.7888 ((7 . 32) (8 . 33) (10 . 34) (14 . 40)) 2410 0.1332 6.7880 ((10 . 13) (12 . 15) (13 . 16) (14 . 17)) 2422 0.5696 9.4616 ((7 . 1) (9 . 2) (10 . 6) (14 . 9)) 2423 0.7137 5.4024 ((7 . 21) (8 . 22) (9 . 23) (10 . 25) (13 . 26)) 2440 0.1993 7.7190 ((10 . 4) (12 . 5) (13 . 6) (14 . 7)) 2447 0.2477 11.9030 ((9 . 2) (12 . 3) (13 . 5) (14 . 6)) 2462 0.5710 6.5647 ((7 . 6) (8 . 7) (13 . 11) (14 . 12)) 2510 0.5706 7.7557 ((8 . 17) (9 . 18) (10 . 19) (14 . 23)) 2525 0.5707 7.3724 ((9 . 37) (10 . 38) (12 . 39) (13 . 41)) 2529 0.5712 5.7495 ((9 . 2) (10 . 3) (13 . 5) (14 . 6)) 2544 0.4913 8.2960 ((8 . 22) (9 . 21) (10 . 23) (12 . 24)) 2551 0.3790 7.2895 ((9 . 10) (10 . 11) (13 . 12) (14 . 14)) 2556 0.2477 11.0336 ((9 . 12) (10 . 16) (12 . 17) (13 . 18)) 2561 0.5712 5.8029 ((9 . 5) (10 . 6) (13 . 7) (14 . 8)) 2595 0.2945 7.5983 ((8 . 1) (9 . 2) (10 . 4) (14 . 6)) 2619 0.5713 4.3100 ((7 . 1) (8 . 2) (10 . 3) (12 . 4)) 2627 0.4452 8.4045 ((9 . 59) (10 . 60) (12 . 62) (13 . 65)) 2650 0.5711 5.9055 ((9 . 4) (10 . 5) (13 . 6) (14 . 7)) 2658 0.4900 11.2826 ((9 . 9) (10 . 10) (12 . 11) (13 . 13)) 2675 0.4914 7.6171 ((7 . 5) (8 . 8) (9 . 9) (10 . 10)) 2682 0.5698 9.1357 ((10 . 7) (12 . 10) (13 . 11) (14 . 12)) 2696 0.2477 9.7132 ((8 . 31) (10 . 32) (12 . 33) (13 . 35)) 2731 0.1993 6.8490 ((10 . 1) (12 . 3) (13 . 4) (14 . 5)) 2733 0.1249 11.0172 ((7 . 1) (8 . 2) (9 . 5) (12 . 6)) 2783 0.5711 6.0596 ((9 . 4) (10 . 6) (13 . 7) (14 . 8)) 2804 0.2944 11.1438 ((8 . 29) (10 . 32) (12 . 35) (13 . 36)) 2821 0.5706 7.6372 ((7 . 2) (8 . 3) (12 . 6) (13 . 7)) 2830 0.5705 8.0430 ((8 . 11) (9 . 12) (10 . 13) (14 . 15)) 2834 0.5678 11.1984 ((7 . 3) (8 . 5) (9 . 7) (13 . 9)) 2840 0.5713 4.9858 ((8 . 5) (10 . 6) (13 . 9) (14 . 11)) 2867 0.4452 8.2076 ((9 . 3) (12 . 5) (13 . 7) (14 . 8)) 2879 0.5712 5.6332 ((7 . 52) (8 . 53) (10 . 54) (13 . 58)) 2886 0.5711 5.8960 ((7 . 33) (8 . 34) (13 . 39) (14 . 41)) 2929 0.1498 6.5779 ((10 . 36) (12 . 38) (13 . 39) (14 . 40)) 2940 0.5711 6.0169 ((9 . 2) (10 . 4) (13 . 5) (14 . 6)) 2947 0.5711 6.2144 ((7 . 6) (8 . 7) (13 . 12) (14 . 13)) 2966 0.5693 9.7938 ((8 . 10) (10 . 12) (13 . 16) (14 . 17)) 2990 0.5678 11.2437 ((7 . 14) (9 . 17) (13 . 19) (14 . 20)) 3014 0.4452 8.2697 ((9 . 3) (10 . 4) (12 . 6) (13 . 5)) 3019 0.5705 8.0624 ((7 . 19) (8 . 20) (12 . 24) (14 . 25)) 3041 0.4913 8.0856 ((8 . 29) (10 . 30) (12 . 31) (13 . 33)) 3063 0.5705 8.0062 ((7 . 31) (8 . 32) (13 . 35) (14 . 36)) 3070 0.2945 7.3310 ((10 . 32) (12 . 34) (13 . 35) (14 . 36)) 3084 0.4443 11.6001 ((7 . 15) (9 . 18) (12 . 20) (13 . 21)) 3102 0.5713 4.9785 ((8 . 74) (10 . 77) (13 . 80) (14 . 82)) 3103 0.4451 8.9230 ((8 . 3) (10 . 5) (12 . 6) (14 . 9)) 3114 0.1664 9.2466 ((7 . 22) (10 . 25) (12 . 27) (14 . 29)) 3120 0.1992 8.9081 ((8 . 21) (9 . 20) (12 . 24) (13 . 25)) 3127 0.5705 7.9094 ((7 . 3) (8 . 4) (10 . 6) (14 . 11)) 3147 0.7139 4.8786 ((7 . 5) (8 . 6) (10 . 11) (13 . 12) (14 . 13)) 3176 0.5708 7.0837 ((8 . 26) (10 . 27) (12 . 30) (13 . 29)) 3187 0.5712 5.5775 ((7 . 6) (8 . 7) (9 . 8) (10 . 9)) 3197 0.3789 8.5933 ((7 . 19) (10 . 21) (12 . 22) (14 . 26)) 3200 0.7115 7.9363 ((7 . 4) (9 . 5) (10 . 6) (13 . 9) (14 . 11)) 3212 0.5712 5.6314 ((7 . 2) (8 . 3) (10 . 5) (13 . 9)) 3222 0.5708 7.2768 ((7 . 6) (8 . 7) (13 . 10) (14 . 14)) 3256 0.5691 10.0227 ((7 . 24) (8 . 25) (9 . 27) (10 . 26)) 3261 0.5709 6.7780 ((9 . 5) (10 . 6) (13 . 7) (14 . 8)) 3286 0.2945 9.4778 ((7 . 7) (9 . 8) (10 . 9) (12 . 11)) 3289 0.5709 6.9192 ((8 . 25) (10 . 27) (13 . 30) (14 . 31)) 3297 0.5708 7.3006 ((7 . 3) (8 . 4) (10 . 5) (14 . 8)) 3300 0.5712 5.6574 ((7 . 1) (8 . 2) (10 . 4) (13 . 5)) 3322 0.1498 6.2178 ((9 . 2) (10 . 3) (12 . 4) (14 . 7)) 3334 0.1992 11.5070 ((8 . 4) (9 . 7) (10 . 6) (12 . 9)) 3339 0.5687 10.4301 ((7 . 9) (9 . 10) (10 . 15) (14 . 17)) 3344 0.5712 5.4206 ((7 . 18) (8 . 20) (10 . 21) (13 . 24)) 3358 0.4904 10.5952 ((7 . 2) (9 . 5) (10 . 7) (14 . 10)) 3362 0.5713 5.0717 ((8 . 8) (9 . 9) (10 . 10) (13 . 11)) 3366 0.5679 11.1205 ((8 . 27) (10 . 28) (13 . 31) (14 . 32)) 3391 0.2946 5.4447 ((9 . 5) (10 . 6) (12 . 7) (14 . 10)) 3410 0.1664 10.1826 ((9 . 23) (10 . 24) (12 . 27) (13 . 28)) 3418 0.5714 3.5111 ((9 . 1) (10 . 2) (13 . 5) (14 . 6)) 3446 0.2477 8.4309 ((7 . 5) (8 . 6) (9 . 8) (12 . 9)) 3472 0.5702 8.6178 ((8 . 1) (10 . 3) (13 . 6) (14 . 8)) 3481 0.5706 7.8363 ((9 . 3) (10 . 4) (13 . 7) (14 . 8)) 3495 0.5711 6.2058 ((7 . 1) (8 . 2) (10 . 3) (14 . 7)) 3496 0.2945 9.0567 ((9 . 20) (12 . 21) (13 . 22) (14 . 23)) 3533 0.5709 6.9812 ((7 . 5) (9 . 6) (10 . 8) (13 . 11)) 3537 0.5706 7.6818 ((7 . 2) (12 . 8) (13 . 9) (14 . 10)) 3538 0.5696 9.4040 ((9 . 16) (12 . 17) (13 . 18) (14 . 20)) 3548 0.5714 3.9363 ((8 . 2) (10 . 3) (13 . 4) (14 . 5)) 3549 0.8571 1.8912 ((7 . 2) (8 . 3) (9 . 4) (10 . 5) (12 . 7) (13 . 8)) 3561 0.5698 9.2136 ((7 . 18) (8 . 19) (9 . 21) (14 . 26)) 3570 0.5712 5.2816 ((7 . 1) (10 . 4) (13 . 7) (14 . 8)) 3585 0.5696 9.4241 ((7 . 6) (9 . 7) (13 . 13) (14 . 14)) 3625 0.5679 11.1169 ((7 . 3) (8 . 5) (13 . 7) (14 . 9)) 3626 0.5711 6.3148 ((7 . 3) (8 . 6) (10 . 8) (13 . 11)) 3628 0.5711 5.9992 ((7 . 8) (8 . 9) (10 . 10) (14 . 14)) 3651 0.2945 6.0899 ((8 . 8) (9 . 10) (10 . 11) (13 . 13)) 3656 0.2945 7.8108 ((7 . 22) (8 . 23) (10 . 24) (12 . 25)) 3658 0.5712 5.4894 ((8 . 1) (12 . 2) (13 . 5) (14 . 6)) 3659 0.7142 3.1350 ((7 . 5) (8 . 7) (10 . 9) (13 . 12) (14 . 13)) 3661 0.5705 7.9610 ((8 . 8) (9 . 10) (10 . 11) (13 . 12)) 3663 0.5713 4.4291 ((7 . 1) (8 . 2) (9 . 4) (10 . 5)) 3688 0.5568 16.0940 ((7 . 21) (8 . 23) (9 . 24) (13 . 27)) 3697 0.5708 7.2142 ((7 . 3) (8 . 4) (13 . 6) (14 . 7)) 3703 0.5710 6.6366 ((7 . 3) (8 . 4) (13 . 6) (14 . 7)) 3732 0.5713 5.0140 ((8 . 9) (9 . 10) (10 . 11) (13 . 12)) 3733 0.5705 7.9515 ((7 . 1) (9 . 2) (10 . 3) (14 . 8)) 3740 0.7139 4.6828 ((7 . 2) (8 . 3) (10 . 4) (13 . 5) (14 . 6)) 3741 0.5709 6.8913 ((7 . 2) (8 . 3) (13 . 14) (14 . 16)) 3776 0.4918 3.8568 ((7 . 19) (8 . 20) (10 . 21) (12 . 23)) 3778 0.5711 5.9153 ((7 . 6) (8 . 7) (13 . 12) (14 . 13)) 3787 0.5705 7.8918 ((8 . 12) (9 . 13) (12 . 14) (13 . 15)) 3790 0.7140 4.4735 ((7 . 4) (8 . 5) (10 . 9) (13 . 10) (14 . 13)) 3807 0.2945 8.9903 ((7 . 47) (9 . 49) (12 . 51) (13 . 50)) 3810 0.4451 8.7921 ((8 . 4) (10 . 8) (13 . 11) (14 . 14)) 3817 0.4881 13.5945 ((7 . 10) (8 . 11) (9 . 12) (12 . 14)) 3829 0.2945 6.7970 ((7 . 9) (9 . 11) (10 . 12) (12 . 13)) 3847 0.5711 5.9400 ((8 . 13) (9 . 15) (10 . 16) (13 . 17)) 3849 0.8571 1.0309 ((7 . 2) (8 . 3) (9 . 4) (10 . 5) (12 . 7) (13 . 8)) 3933 0.7121 7.4747 ((7 . 8) (8 . 9) (10 . 13) (13 . 16) (14 . 17)) 3938 0.5711 5.9030 ((8 . 2) (10 . 4) (13 . 8) (14 . 9)) 3942 0.5707 7.4339 ((8 . 2) (10 . 3) (12 . 6) (13 . 9)) 3968 0.5709 6.8985 ((8 . 3) (10 . 5) (12 . 7) (14 . 9)) 3986 0.5707 7.4431 ((8 . 6) (10 . 9) (13 . 13) (14 . 15)) 3990 0.5699 8.9808 ((8 . 20) (12 . 21) (13 . 23) (14 . 24)) 4005 0.7102 8.7166 ((7 . 2) (8 . 3) (10 . 4) (13 . 9) (14 . 11)) 4009 0.5700 8.8008 ((9 . 10) (10 . 13) (12 . 14) (13 . 15)) 4019 0.5712 5.2762 ((7 . 43) (8 . 44) (10 . 46) (13 . 47)) 4034 0.3788 9.0799 ((9 . 8) (10 . 9) (13 . 10) (14 . 12)) 4037 0.3790 6.8939 ((7 . 2) (8 . 3) (9 . 4) (12 . 6)) 4062 0.3788 9.4552 ((7 . 49) (8 . 50) (9 . 51) (12 . 53)) 4067 0.1498 5.6756 ((9 . 15) (10 . 16) (12 . 17) (14 . 20)) 4077 0.4447 10.5238 ((9 . 9) (10 . 10) (12 . 12) (13 . 11)) 4082 0.5712 5.2980 ((7 . 7) (8 . 8) (9 . 9) (10 . 10)) 4087 0.6559 7.0344 ((8 . 3) (9 . 4) (10 . 5) (13 . 6) (14 . 7)) 4112 0.5712 5.3365 ((7 . 2) (8 . 3) (10 . 4) (12 . 7)) 4115 0.3790 6.4106 ((9 . 2) (10 . 5) (13 . 8) (14 . 10)) 4140 0.2945 8.3022 ((7 . 22) (8 . 23) (9 . 25) (12 . 26)) 4154 0.1993 5.9209 ((8 . 51) (10 . 53) (13 . 56) (14 . 57)) 4177 0.5710 6.4352 ((9 . 3) (12 . 6) (13 . 7) (14 . 8)) 4192 0.4452 8.6328 ((7 . 13) (9 . 16) (12 . 18) (13 . 19)) 4194 0.5713 5.0832 ((7 . 5) (8 . 6) (10 . 7) (12 . 8)) 4204 0.2946 5.3188 ((9 . 4) (10 . 5) (12 . 6) (14 . 9)) 4209 0.5711 6.0826 ((8 . 1) (10 . 2) (13 . 5) (14 . 7)) 4210 0.5707 7.5973 ((9 . 1) (10 . 4) (13 . 5) (14 . 6)) 4226 0.5713 5.0747 ((7 . 11) (8 . 12) (13 . 18) (14 . 19)) 4232 0.5709 6.8473 ((7 . 2) (8 . 3) (10 . 4) (13 . 6)) 4236 0.5710 6.4626 ((7 . 6) (8 . 7) (9 . 11) (10 . 10)) 4254 0.5710 6.6891 ((8 . 1) (9 . 2) (12 . 5) (14 . 6)) 4257 0.3790 7.3755 ((8 . 3) (12 . 6) (13 . 8) (14 . 9)) 4265 0.4453 8.0586 ((8 . 20) (9 . 22) (12 . 25) (14 . 26)) 4266 0.5707 7.5156 ((9 . 7) (10 . 8) (13 . 11) (14 . 12)) 4274 0.5700 8.8597 ((7 . 36) (9 . 37) (10 . 40) (13 . 41)) 4275 0.5711 6.0121 ((9 . 22) (10 . 25) (13 . 27) (14 . 28)) 4281 0.2478 7.4210 ((8 . 3) (10 . 4) (12 . 7) (14 . 10)) 4284 0.5709 6.9869 ((7 . 4) (8 . 5) (13 . 9) (14 . 10)) 4299 0.5710 6.5105 ((9 . 17) (10 . 19) (13 . 20) (14 . 22)) 4301 0.5704 8.1062 ((8 . 3) (10 . 4) (13 . 9) (14 . 10)) 4326 0.2476 13.3305 ((9 . 6) (12 . 8) (13 . 11) (14 . 12)) 4332 0.5711 5.9957 ((7 . 2) (8 . 4) (12 . 8) (13 . 9)) 4338 0.5712 5.6481 ((9 . 5) (10 . 6) (13 . 7) (14 . 8)) 4352 0.2945 8.6502 ((7 . 9) (8 . 10) (9 . 12) (12 . 13)) 4359 0.5714 3.9561 ((7 . 13) (10 . 18) (13 . 21) (14 . 22)) 4380 0.7126 7.0193 ((7 . 14) (8 . 15) (10 . 17) (13 . 18) (14 . 39)) 4386 0.5711 6.0218 ((7 . 1) (8 . 18) (10 . 19) (13 . 21)) 4398 0.5708 7.1303 ((9 . 5) (10 . 6) (13 . 7) (14 . 8)) 4405 0.1992 9.1876 ((9 . 17) (10 . 18) (13 . 19) (14 . 21)) 4408 0.5714 3.9023 ((7 . 1) (8 . 3) (10 . 4) (13 . 7)) 4419 0.5712 5.6440 ((7 . 6) (8 . 8) (10 . 9) (13 . 10)) 4470 0.7139 4.9385 ((7 . 18) (8 . 19) (10 . 20) (12 . 22) (13 . 25)) 4492 0.7136 5.6546 ((7 . 2) (8 . 3) (9 . 6) (10 . 7) (13 . 8)) 4495 0.4452 8.3985 ((7 . 18) (9 . 19) (12 . 20) (13 . 21)) 4503 0.2944 10.8648 ((7 . 1) (8 . 3) (10 . 4) (13 . 7)) 4504 0.5713 4.8863 ((7 . 20) (8 . 21) (10 . 22) (12 . 23)) 4505 0.1993 8.0616 ((7 . 28) (10 . 30) (12 . 31) (14 . 34)) 4527 0.3790 6.6275 ((8 . 1) (12 . 4) (13 . 6) (14 . 7)) 4538 0.5708 7.0713 ((10 . 33) (12 . 36) (13 . 37) (14 . 38)) 4560 0.2945 6.7936 ((9 . 12) (10 . 13) (13 . 16) (14 . 17)) 4561 0.5707 7.3971 ((7 . 1) (9 . 4) (10 . 5) (14 . 9)) 4562 0.2945 7.6284 ((8 . 19) (9 . 21) (10 . 22) (14 . 25)) 4563 0.1664 9.9896 ((7 . 1) (8 . 4) (9 . 5) (12 . 6)) 4577 0.5711 6.3247 ((8 . 31) (10 . 34) (13 . 42) (14 . 43)) 4589 0.4454 6.6509 ((8 . 19) (9 . 20) (10 . 22) (13 . 23)) 4607 0.4913 8.3647 ((9 . 2) (10 . 3) (12 . 5) (13 . 4)) 4621 0.5712 5.7099 ((9 . 5) (10 . 6) (13 . 8) (14 . 9)) 4630 0.7125 7.0611 ((7 . 5) (8 . 6) (10 . 8) (13 . 11) (14 . 14)) 4648 0.5702 8.5793 ((7 . 2) (9 . 3) (10 . 5) (13 . 8)) 4653 0.5714 3.8980 ((9 . 2) (10 . 5) (13 . 6) (14 . 7)) 4668 0.5666 12.0452 ((7 . 5) (9 . 8) (12 . 10) (14 . 11)) 4669 0.7134 6.0013 ((7 . 13) (9 . 16) (10 . 17) (13 . 15) (14 . 19)) 4671 0.4914 7.5852 ((7 . 12) (8 . 14) (12 . 16) (14 . 20)) 4674 0.5711 6.0550 ((7 . 2) (9 . 4) (13 . 8) (14 . 9)) 4678 0.5712 5.3578 ((7 . 10) (10 . 12) (13 . 15) (14 . 16)) 4857 0.5700 8.8931 ((7 . 3) (9 . 4) (13 . 9) (14 . 11)) 4886 0.5713 5.0028 ((7 . 29) (8 . 30) (10 . 31) (13 . 32)) 4888 0.2942 13.8324 ((9 . 11) (10 . 12) (13 . 15) (14 . 16)) 4889 0.5710 6.4311 ((7 . 2) (8 . 3) (10 . 4) (14 . 6)) 4907 0.5712 5.8785 ((7 . 4) (8 . 5) (10 . 8) (13 . 9)) 4914 0.2477 7.5533 ((9 . 2) (10 . 1) (13 . 5) (14 . 6)) 4921 0.2477 8.5636 ((8 . 12) (9 . 13) (10 . 14) (13 . 15)) 4929 0.1332 6.9906 ((8 . 26) (10 . 28) (13 . 31) (14 . 32)) 4932 0.3790 7.2251 ((7 . 5) (8 . 6) (9 . 7) (12 . 9)) 4961 0.1664 8.8497 ((7 . 3) (9 . 4) (12 . 8) (14 . 12)) 4982 0.4435 13.3047 ((7 . 8) (8 . 9) (9 . 11) (14 . 14)) 4992 0.2945 6.9132 ((8 . 1) (10 . 2) (13 . 3) (14 . 6)) 4998 0.4452 8.5094 ((7 . 23) (10 . 26) (12 . 27) (14 . 29)) 5029 0.2945 8.4796 ((9 . 3) (12 . 5) (13 . 6) (14 . 8)) 5036 0.5712 5.7770 ((7 . 1) (8 . 2) (13 . 6) (14 . 7)) 5038 0.2477 8.8516 ((7 . 9) (8 . 10) (10 . 12) (13 . 15)) 5039 0.5701 8.6592 ((7 . 41) (9 . 43) (10 . 44) (13 . 45)) 5044 0.5702 8.4561 ((7 . 3) (8 . 8) (10 . 9) (12 . 11)) 5046 0.5712 5.7167 ((7 . 4) (10 . 7) (13 . 8) (14 . 10)) 5053 0.5706 7.8452 ((7 . 6) (9 . 7) (13 . 9) (14 . 10)) 5065 0.5711 6.1486 ((7 . 7) (8 . 8) (10 . 9) (13 . 10)) 5068 0.2476 13.4029 ((7 . 10) (9 . 11) (13 . 16) (14 . 17)) 5069 0.5685 10.6021 ((9 . 1) (10 . 2) (13 . 5) (14 . 7)) 5073 0.4447 10.5708 ((7 . 34) (9 . 37) (10 . 39) (14 . 42)) 5083 0.4913 8.1022 ((8 . 2) (9 . 3) (10 . 5) (14 . 9)) 5101 0.5711 6.1894 ((10 . 23) (12 . 24) (13 . 25) (14 . 26)) 5103 0.1664 9.0819 ((9 . 3) (10 . 4) (12 . 5) (13 . 6)) 5121 0.5713 5.2060 ((9 . 14) (10 . 16) (13 . 18) (14 . 21)) 5132 0.4448 10.2549 ((7 . 22) (9 . 23) (12 . 24) (13 . 26)) 5134 0.5712 5.4572 ((8 . 14) (9 . 16) (10 . 17) (14 . 19)) 5145 0.1992 9.2953 ((9 . 2) (10 . 3) (12 . 4) (13 . 5)) 5167 0.1993 6.4607 ((10 . 1) (12 . 2) (13 . 3) (14 . 4)) 5176 0.5708 7.0847 ((8 . 82) (10 . 84) (13 . 86) (14 . 87)) 5192 0.2944 11.8733 ((9 . 15) (12 . 18) (13 . 20) (14 . 21)) 5198 0.5705 7.9826 ((7 . 24) (9 . 25) (13 . 31) (14 . 32)) 5199 0.5711 6.0602 ((9 . 6) (10 . 7) (13 . 8) (14 . 9)) 5209 0.5708 7.1733 ((9 . 6) (10 . 7) (13 . 8) (14 . 9)) 5215 0.5707 7.4712 ((7 . 5) (9 . 6) (13 . 9) (14 . 10)) 5223 0.5707 7.3610 ((7 . 8) (10 . 10) (12 . 13) (14 . 15)) 5231 0.5713 4.5701 ((8 . 13) (10 . 14) (12 . 15) (13 . 16)) 5266 0.2477 9.6507 ((9 . 5) (10 . 8) (12 . 9) (14 . 13)) 5278 0.5711 5.9051 ((7 . 2) (8 . 5) (10 . 6) (13 . 9)) 5307 0.5711 6.1540 ((9 . 52) (10 . 55) (13 . 57) (14 . 58)) 5312 0.5704 8.1200 ((8 . 1) (10 . 2) (13 . 5) (14 . 7)) 5318 0.5711 6.1724 ((8 . 3) (10 . 22) (13 . 23) (14 . 24)) 5324 0.5711 6.0181 ((7 . 20) (8 . 22) (13 . 25) (14 . 28)) 5344 0.5690 10.0854 ((7 . 4) (9 . 5) (13 . 9) (14 . 10)) 5345 0.5711 6.0920 ((7 . 3) (10 . 7) (13 . 12) (14 . 13)) 5368 0.7138 4.9941 ((7 . 20) (8 . 21) (10 . 22) (13 . 27) (14 . 28)) 5414 0.5708 7.1811 ((7 . 14) (8 . 15) (9 . 17) (13 . 20)) 5418 0.5938 6.9807 ((7 . 1) (8 . 2) (12 . 4) (13 . 7) (14 . 8)) 5433 0.5712 5.6480 ((8 . 8) (10 . 10) (13 . 14) (14 . 16)) 5479 0.5713 4.6236 ((7 . 46) (10 . 50) (13 . 51) (14 . 52)) 5487 0.5704 8.2355 ((7 . 2) (9 . 3) (10 . 7) (12 . 8)) 5489 0.5709 6.8966 ((8 . 9) (10 . 10) (13 . 13) (14 . 14)) 5500 0.4911 8.7958 ((7 . 4) (8 . 7) (9 . 10) (14 . 14)) 5501 0.5707 7.5618 ((9 . 21) (12 . 23) (13 . 24) (14 . 25)) 5525 0.2945 8.8497 ((7 . 7) (8 . 8) (9 . 10) (12 . 11)) 5535 0.5714 3.8855 ((7 . 7) (8 . 8) (10 . 12) (12 . 13)) 5540 0.5706 7.8013 ((7 . 6) (8 . 7) (13 . 10) (14 . 14)) 5560 0.5684 10.7018 ((7 . 17) (9 . 21) (10 . 22) (13 . 23)) 5562 0.5712 5.4064 ((7 . 6) (8 . 7) (12 . 10) (13 . 11)) 5567 0.5704 8.1931 ((9 . 14) (10 . 17) (13 . 18) (14 . 19)) 5594 0.5675 11.4788 ((7 . 4) (9 . 5) (10 . 6) (14 . 12)) 5600 0.5707 7.4405 ((7 . 5) (8 . 6) (12 . 10) (13 . 11)) 5601 0.4906 10.1922 ((7 . 3) (9 . 6) (10 . 7) (14 . 10)) 5640 0.7136 5.4879 ((7 . 14) (8 . 16) (10 . 18) (13 . 21) (14 . 22)) 5644 0.1993 6.1100 ((7 . 4) (9 . 5) (13 . 10) (14 . 11)) 5656 0.5713 4.8146 ((7 . 21) (8 . 23) (10 . 24) (12 . 25)) 5700 0.3787 10.4296 ((9 . 1) (10 . 2) (13 . 3) (14 . 4)) 5701 0.5711 6.1005 ((9 . 3) (10 . 4) (13 . 5) (14 . 8)) 5703 0.5714 3.1743 ((8 . 5) (10 . 6) (13 . 7) (14 . 8)) 5711 0.5708 7.0817 ((7 . 33) (8 . 35) (13 . 42) (14 . 43)) 5713 0.5713 4.9993 ((7 . 20) (8 . 21) (13 . 25) (14 . 27)) 5718 0.4454 6.5744 ((8 . 14) (9 . 15) (10 . 16) (13 . 21)) 5731 0.5703 8.3369 ((8 . 2) (10 . 3) (13 . 5) (14 . 7)) 5746 0.1332 6.2852 ((7 . 2) (10 . 6) (13 . 7) (14 . 9)) 5749 0.5711 6.1774 ((8 . 3) (10 . 4) (13 . 5) (14 . 6)) 5761 0.4451 8.9239 ((9 . 29) (10 . 30) (12 . 33) (13 . 32)) 5770 0.2945 9.5033 ((8 . 6) (9 . 7) (12 . 10) (14 . 15)) 5782 0.7137 5.3913 ((8 . 21) (10 . 24) (12 . 28) (13 . 29) (14 . 30)) 5789 0.2945 9.9471 ((8 . 2) (9 . 1) (12 . 3) (14 . 5)) 5794 0.5713 4.7048 ((7 . 18) (8 . 19) (13 . 23) (14 . 24)) 5795 0.2945 7.4723 ((9 . 5) (10 . 6) (13 . 9) (14 . 10)) 5809 0.4453 8.0248 ((8 . 12) (9 . 11) (10 . 14) (13 . 15)) 5822 0.5699 9.0349 ((7 . 4) (9 . 5) (10 . 6) (13 . 8)) 5827 0.5713 5.0681 ((7 . 3) (8 . 4) (10 . 5) (14 . 11)) 5830 0.5705 7.9059 ((7 . 1) (12 . 5) (13 . 8) (14 . 10)) 5847 0.5704 8.2562 ((7 . 7) (8 . 8) (13 . 12) (14 . 13)) 5861 0.7126 7.0206 ((7 . 1) (8 . 5) (10 . 6) (13 . 10) (14 . 15)) 5865 0.5708 7.1009 ((7 . 4) (8 . 5) (9 . 6) (12 . 8)) 5878 0.4451 8.9748 ((9 . 24) (10 . 25) (13 . 29) (14 . 30)) 5888 0.5714 3.9154 ((7 . 12) (10 . 17) (13 . 20) (14 . 21)) 5896 0.1993 6.9966 ((10 . 28) (12 . 27) (13 . 29) (14 . 31)) 5913 0.4454 6.1220 ((7 . 9) (8 . 10) (9 . 11) (14 . 15)) 5914 0.3790 4.7777 ((10 . 2) (12 . 4) (13 . 5) (14 . 6)) 5930 0.5702 8.6077 ((7 . 1) (9 . 3) (10 . 4) (14 . 7)) 5939 0.5707 7.5857 ((8 . 4) (12 . 7) (13 . 8) (14 . 9)) 5945 0.5710 6.6834 ((7 . 32) (8 . 33) (13 . 37) (14 . 38)) 5949 0.3787 10.1857 ((9 . 8) (10 . 9) (13 . 12) (14 . 14)) 5955 0.5713 4.9738 ((7 . 14) (8 . 16) (10 . 17) (12 . 18)) 5972 0.1249 9.7880 ((9 . 5) (10 . 6) (12 . 8) (13 . 7)) 6000 0.5704 8.1666 ((8 . 14) (9 . 16) (10 . 17) (14 . 21)) 6011 0.5714 4.2770 ((7 . 13) (8 . 14) (10 . 16) (13 . 19)) 6022 0.1332 5.1654 ((7 . 1) (10 . 4) (13 . 5) (14 . 7)) 6028 0.7143 1.8017 ((7 . 2) (8 . 3) (9 . 4) (12 . 8) (13 . 9)) 6029 0.5712 5.5875 ((7 . 5) (8 . 6) (13 . 10) (14 . 11)) 6041 0.5710 6.6292 ((9 . 6) (10 . 8) (13 . 11) (14 . 12)) 6061 0.3784 12.3591 ((9 . 12) (10 . 13) (13 . 14) (14 . 15)) 6074 0.5699 9.0813 ((7 . 4) (9 . 7) (10 . 8) (14 . 11)) 6075 0.5703 8.4143 ((7 . 17) (9 . 19) (10 . 20) (14 . 24)) 6079 0.5713 4.4416 ((7 . 6) (8 . 7) (10 . 8) (13 . 11)) 6087 0.3789 8.8864 ((8 . 8) (9 . 9) (10 . 10) (12 . 11)) 6089 0.2943 12.6453 ((8 . 16) (9 . 19) (12 . 20) (13 . 21)) 6094 0.5705 8.0531 ((7 . 12) (8 . 14) (10 . 15) (13 . 16)) 6099 0.5714 3.5687 ((9 . 15) (10 . 16) (13 . 18) (14 . 22)) 6123 0.5698 9.2032 ((7 . 3) (8 . 4) (9 . 6) (10 . 5)) 6142 0.7129 6.6344 ((7 . 19) (8 . 20) (9 . 21) (10 . 24) (13 . 25)) 6167 0.5710 6.4988 ((7 . 1) (10 . 4) (13 . 9) (14 . 10)) 6173 0.5712 5.6649 ((7 . 3) (8 . 4) (13 . 9) (14 . 11)) 6191 0.5708 7.0969 ((7 . 9) (8 . 10) (10 . 12) (13 . 13)) 6192 0.2477 9.5475 ((7 . 10) (8 . 11) (10 . 13) (12 . 15)) 6215 0.1992 10.9204 ((7 . 20) (9 . 22) (10 . 24) (12 . 23)) 6225 0.1498 10.9073 ((7 . 7) (8 . 8) (10 . 10) (14 . 12)) 6228 0.5708 7.1261 ((7 . 11) (8 . 12) (13 . 15) (14 . 19)) 6234 0.5711 6.2181 ((7 . 7) (8 . 9) (10 . 10) (13 . 13)) 6238 0.1664 6.9760 ((8 . 4) (9 . 6) (13 . 8) (14 . 9)) 6258 0.1664 8.0116 ((9 . 1) (10 . 3) (12 . 5) (13 . 4)) 6261 0.5713 5.1088 ((7 . 19) (8 . 21) (10 . 22) (12 . 23)) 6266 0.2477 10.3396 ((7 . 8) (8 . 10) (9 . 11) (12 . 12)) 6270 0.2477 11.6525 ((8 . 17) (9 . 19) (10 . 20) (13 . 22)) 6271 0.5669 11.8971 ((7 . 2) (8 . 3) (10 . 4) (13 . 8)) 6273 0.5711 6.2802 ((7 . 1) (8 . 2) (10 . 4) (14 . 7)) 6294 0.4453 7.3709 ((8 . 9) (9 . 10) (10 . 11) (14 . 16)) 6306 0.5700 8.8491 ((7 . 17) (9 . 18) (10 . 19) (13 . 21)) 6309 0.3788 9.3131 ((7 . 18) (8 . 20) (12 . 26) (14 . 27)) 6311 0.5713 5.2532 ((8 . 5) (10 . 9) (13 . 10) (14 . 11)) 6326 0.5713 5.0089 ((7 . 2) (8 . 3) (13 . 6) (14 . 7)) 6338 0.5712 5.5072 ((8 . 1) (10 . 2) (13 . 7) (14 . 8)) 6344 0.5710 6.5937 ((9 . 2) (10 . 3) (13 . 4) (14 . 6)) 6345 0.5712 5.7157 ((9 . 2) (10 . 4) (13 . 6) (14 . 7)) 6348 0.1993 5.9407 ((9 . 3) (10 . 4) (12 . 6) (14 . 9)) 6355 0.7142 2.8554 ((7 . 4) (8 . 6) (10 . 8) (13 . 11) (14 . 12)) 6356 0.5700 8.8431 ((7 . 6) (9 . 8) (10 . 9) (14 . 13)) 6369 0.3789 7.8677 ((7 . 6) (9 . 8) (10 . 9) (12 . 10)) 6376 0.3789 7.8119 ((10 . 19) (12 . 20) (13 . 21) (14 . 24)) 6391 0.6557 7.3760 ((8 . 6) (10 . 8) (12 . 9) (13 . 10) (14 . 12)) 6399 0.7138 5.1560 ((7 . 19) (8 . 20) (10 . 26) (13 . 27) (14 . 28)) 6403 0.5701 8.6729 ((7 . 3) (8 . 4) (9 . 6) (10 . 7)) 6434 0.5713 4.4188 ((7 . 2) (8 . 3) (10 . 4) (13 . 5)) 6462 0.5708 7.0709 ((7 . 22) (8 . 24) (12 . 26) (14 . 28)) 6498 0.1993 6.8073 ((10 . 37) (12 . 39) (13 . 40) (14 . 42)) 6520 0.5710 6.4672 ((7 . 2) (9 . 11) (13 . 14) (14 . 15)) 6539 0.5710 6.6040 ((7 . 4) (8 . 5) (12 . 9) (13 . 10)) 6548 0.5710 6.4509 ((9 . 8) (10 . 9) (13 . 12) (14 . 13)) 6553 0.1993 7.0050 ((7 . 24) (8 . 25) (9 . 27) (12 . 28)) 6555 0.5699 9.0817 ((7 . 15) (8 . 16) (13 . 22) (14 . 23)) 6561 0.5704 8.1478 ((8 . 9) (10 . 10) (12 . 11) (13 . 12)) 6573 0.5697 9.3312 ((7 . 17) (9 . 20) (13 . 23) (14 . 24)) 6575 0.5713 4.4953 ((7 . 1) (8 . 2) (10 . 5) (12 . 6)) 6584 0.5712 5.8174 ((7 . 3) (9 . 4) (13 . 8) (14 . 9)) 6585 0.5710 6.5272 ((7 . 10) (8 . 11) (13 . 14) (14 . 15)) 6586 0.5705 7.8807 ((8 . 18) (9 . 19) (12 . 22) (14 . 24)) 6587 0.5706 7.7904 ((9 . 28) (10 . 29) (13 . 33) (14 . 34)) 6598 0.7139 4.8026 ((7 . 13) (8 . 16) (10 . 20) (13 . 21) (14 . 22)) 6613 0.5713 4.7340 ((7 . 28) (8 . 31) (13 . 33) (14 . 34)) 6635 0.2477 8.6058 ((8 . 1) (9 . 3) (12 . 6) (13 . 7)) END