6022 51 0.5711 6.3252 ((1 . 6) (2 . 7) (8 . 13) (9 . 14)) 62 0.5712 5.6055 ((2 . 10) (4 . 12) (8 . 16) (9 . 17)) 64 0.5711 6.1323 ((1 . 2) (2 . 4) (5 . 7) (7 . 8)) 96 0.5712 5.8292 ((2 . 1) (4 . 3) (8 . 5) (9 . 6)) 129 0.5710 6.5306 ((5 . 8) (7 . 10) (8 . 11) (9 . 12)) 136 0.5711 5.9377 ((1 . 3) (2 . 5) (4 . 7) (5 . 8)) 150 0.5709 6.8364 ((2 . 19) (4 . 20) (7 . 23) (9 . 25)) 153 0.7101 8.7904 ((2 . 7) (4 . 8) (5 . 9) (7 . 10) (8 . 12)) 157 0.5711 6.0310 ((2 . 9) (4 . 11) (7 . 14) (9 . 16)) 161 0.5713 4.7066 ((2 . 4) (4 . 6) (5 . 8) (7 . 10)) 162 0.5712 5.8571 ((1 . 12) (4 . 17) (5 . 18) (9 . 22)) 169 0.7120 7.5504 ((2 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8)) 177 0.5710 6.6293 ((1 . 5) (2 . 7) (4 . 8) (5 . 10)) 191 0.5713 5.2067 ((1 . 4) (4 . 6) (5 . 7) (7 . 8)) 198 0.5712 5.8093 ((4 . 7) (5 . 8) (8 . 12) (9 . 13)) 233 0.5711 6.0860 ((1 . 2) (4 . 5) (5 . 7) (7 . 8)) 300 0.5701 8.7110 ((5 . 13) (7 . 14) (8 . 16) (9 . 17)) 305 0.5713 5.0363 ((4 . 18) (5 . 19) (8 . 21) (9 . 22)) 307 0.5711 6.0662 ((1 . 1) (2 . 3) (5 . 7) (8 . 9)) 315 0.3790 4.9047 ((2 . 5) (4 . 6) (7 . 9) (8 . 10)) 340 0.5714 3.0576 ((2 . 1) (4 . 2) (5 . 4) (7 . 7)) 350 0.5712 5.4440 ((1 . 13) (2 . 15) (4 . 18) (5 . 20)) 360 0.7121 7.4313 ((1 . 6) (4 . 9) (5 . 10) (7 . 12) (9 . 14)) 365 0.5712 5.4815 ((2 . 2) (4 . 3) (5 . 4) (8 . 8)) 367 0.5712 5.8689 ((2 . 40) (4 . 42) (5 . 43) (7 . 44)) 372 0.5712 5.3308 ((4 . 5) (5 . 6) (8 . 10) (9 . 11)) 387 0.5711 6.0111 ((1 . 8) (2 . 10) (4 . 11) (5 . 12)) 405 0.5707 7.5073 ((2 . 34) (4 . 38) (5 . 39) (7 . 40)) 417 0.5710 6.5504 ((4 . 3) (5 . 5) (8 . 7) (9 . 9)) 420 0.7130 6.5619 ((2 . 3) (4 . 4) (5 . 5) (8 . 8) (9 . 9)) 433 0.5711 6.0386 ((2 . 5) (4 . 6) (5 . 7) (8 . 9)) 442 0.2945 7.6494 ((1 . 4) (2 . 5) (4 . 6) (7 . 10)) 460 0.5712 5.5335 ((2 . 3) (4 . 6) (5 . 7) (7 . 8)) 491 0.2478 7.2899 ((2 . 6) (5 . 8) (7 . 9) (8 . 10)) 495 0.5713 5.1105 ((1 . 5) (4 . 8) (5 . 9) (7 . 11)) 541 0.5703 8.3980 ((2 . 2) (4 . 3) (5 . 5) (9 . 7)) 543 0.5712 5.7015 ((2 . 6) (4 . 8) (5 . 10) (9 . 15)) 561 0.5709 6.8356 ((2 . 1) (5 . 3) (7 . 4) (9 . 6)) 584 0.5701 8.6392 ((4 . 3) (5 . 4) (7 . 5) (9 . 8)) 587 0.5714 3.8533 ((2 . 2) (4 . 3) (5 . 4) (8 . 8)) 619 0.5712 5.3566 ((2 . 11) (4 . 12) (7 . 15) (9 . 18)) 624 0.5710 6.3614 ((1 . 11) (2 . 13) (5 . 15) (7 . 16)) 635 0.5700 8.8331 ((2 . 13) (4 . 14) (5 . 15) (9 . 18)) 672 0.5712 5.3538 ((1 . 16) (2 . 18) (4 . 21) (9 . 26)) 683 0.5712 5.7683 ((2 . 2) (4 . 3) (5 . 5) (7 . 6)) 719 0.5711 5.9334 ((1 . 23) (2 . 25) (4 . 27) (7 . 30)) 729 0.5711 6.3533 ((1 . 13) (2 . 15) (5 . 17) (7 . 20)) 735 0.7122 7.4089 ((2 . 29) (4 . 31) (5 . 32) (8 . 36) (9 . 37)) 740 0.5713 4.4139 ((4 . 3) (5 . 4) (7 . 7) (8 . 9)) 765 0.5711 6.0498 ((2 . 7) (5 . 12) (8 . 17) (9 . 19)) 795 0.5711 5.9755 ((1 . 1) (2 . 3) (5 . 5) (7 . 6)) 801 0.5713 4.7168 ((4 . 2) (5 . 4) (7 . 5) (8 . 7)) 812 0.5713 4.4859 ((4 . 9) (5 . 11) (7 . 13) (8 . 5)) 818 0.5689 10.2847 ((1 . 8) (2 . 10) (5 . 14) (7 . 16)) 819 0.5708 7.1744 ((1 . 5) (4 . 8) (5 . 9) (7 . 10)) 824 0.5713 5.2394 ((4 . 45) (5 . 46) (8 . 49) (9 . 50)) 861 0.5709 6.9735 ((4 . 16) (5 . 17) (7 . 18) (8 . 19)) 901 0.5708 7.2134 ((1 . 12) (2 . 15) (5 . 17) (8 . 20)) 904 0.2945 7.7661 ((2 . 2) (4 . 3) (7 . 6) (9 . 7)) 928 0.5711 5.9641 ((1 . 1) (2 . 3) (5 . 5) (8 . 7)) 943 0.5707 7.4748 ((1 . 9) (2 . 12) (5 . 14) (7 . 15)) 960 0.5687 10.4753 ((1 . 3) (2 . 4) (8 . 8) (9 . 9)) 980 0.5707 7.5439 ((1 . 1) (2 . 3) (5 . 7) (8 . 9)) 1007 0.7142 3.0760 ((1 . 9) (2 . 11) (4 . 12) (5 . 13) (7 . 14)) 1008 0.5710 6.7191 ((2 . 3) (4 . 5) (5 . 8) (9 . 13)) 1034 0.5669 11.8934 ((4 . 20) (5 . 21) (7 . 22) (9 . 25)) 1043 0.5713 5.2166 ((2 . 6) (5 . 10) (8 . 12) (9 . 14)) 1082 0.5713 4.5753 ((2 . 1) (4 . 2) (5 . 4) (7 . 8)) 1084 0.3769 16.4209 ((1 . 8) (2 . 12) (7 . 17) (9 . 19)) 1121 0.5713 5.0171 ((2 . 2) (4 . 3) (5 . 4) (7 . 6)) 1165 0.5711 6.1984 ((2 . 2) (4 . 3) (5 . 4) (8 . 7)) 1169 0.7141 4.1931 ((2 . 29) (4 . 30) (5 . 31) (7 . 32) (9 . 34)) 1195 0.5714 4.1462 ((2 . 2) (4 . 4) (5 . 5) (7 . 6)) 1201 0.5708 7.0720 ((1 . 4) (2 . 7) (5 . 9) (7 . 11)) 1211 0.7134 5.8686 ((2 . 9) (4 . 10) (5 . 11) (7 . 14) (8 . 15)) 1217 0.5713 4.6582 ((2 . 5) (4 . 7) (5 . 9) (7 . 12)) 1224 0.7131 6.4064 ((2 . 6) (4 . 7) (5 . 9) (7 . 10) (9 . 14)) 1233 0.5711 6.1456 ((4 . 20) (7 . 22) (8 . 23) (9 . 24)) 1267 0.5707 7.5772 ((2 . 13) (4 . 15) (5 . 17) (9 . 21)) 1294 0.5707 7.4932 ((2 . 43) (4 . 44) (5 . 46) (7 . 47)) 1324 0.5712 5.7398 ((2 . 1) (4 . 2) (5 . 3) (8 . 5)) 1345 0.5713 5.1925 ((1 . 9) (4 . 13) (5 . 14) (7 . 16)) 1366 0.5714 4.2462 ((5 . 14) (7 . 15) (8 . 16) (9 . 17)) 1388 0.5710 6.6591 ((1 . 1) (5 . 4) (7 . 5) (9 . 8)) 1410 0.5706 7.6421 ((2 . 19) (4 . 21) (5 . 22) (7 . 23)) 1425 0.5713 5.0314 ((1 . 4) (2 . 8) (4 . 10) (5 . 11)) 1435 0.3790 6.1874 ((1 . 1) (4 . 3) (5 . 5) (7 . 6)) 1447 0.5699 9.0270 ((1 . 3) (4 . 5) (5 . 7) (8 . 9)) 1451 0.5712 5.6530 ((1 . 6) (2 . 8) (4 . 9) (5 . 10)) 1464 0.1332 5.1654 ((1 . 7) (4 . 10) (5 . 13) (7 . 14)) 1476 0.5692 9.8671 ((4 . 11) (7 . 14) (8 . 15) (9 . 18)) 1481 0.3789 8.7235 ((2 . 1) (4 . 2) (7 . 4) (8 . 5)) 1501 0.5714 3.2014 ((2 . 1) (4 . 2) (5 . 3) (7 . 4)) 1513 0.0999 8.2513 ((2 . 2) (4 . 3) (8 . 6) (9 . 8)) 1514 0.5707 7.4781 ((2 . 1) (5 . 3) (7 . 4) (9 . 6)) 1577 0.1992 9.6153 ((4 . 3) (5 . 4) (7 . 5) (8 . 6)) 1604 0.5709 7.0006 ((2 . 1) (4 . 3) (7 . 7) (9 . 10)) 1622 0.5707 7.5383 ((2 . 18) (5 . 20) (8 . 22) (9 . 23)) 1624 0.1664 7.8879 ((2 . 2) (5 . 5) (7 . 8) (8 . 9)) 1643 0.8522 7.2966 ((2 . 12) (4 . 15) (5 . 16) (7 . 17) (8 . 18) (9 . 20)) 1644 0.5712 5.6887 ((2 . 47) (4 . 50) (5 . 51) (7 . 52)) 1690 0.5707 7.4578 ((2 . 13) (5 . 16) (7 . 19) (9 . 21)) 1692 0.5713 4.5620 ((2 . 7) (5 . 8) (7 . 9) (8 . 10)) 1731 0.5696 9.4139 ((1 . 6) (2 . 8) (8 . 12) (9 . 13)) 1736 0.5708 7.2173 ((2 . 3) (4 . 5) (7 . 7) (9 . 10)) 1738 0.5713 4.9879 ((4 . 9) (7 . 11) (8 . 13) (9 . 14)) 1747 0.7138 5.1307 ((2 . 41) (4 . 44) (5 . 45) (7 . 46) (9 . 48)) 1756 0.5704 8.2114 ((2 . 21) (4 . 23) (5 . 25) (7 . 27)) 1759 0.7134 6.0216 ((4 . 2) (5 . 4) (7 . 5) (8 . 6) (9 . 8)) 1761 0.5714 3.7100 ((4 . 1) (5 . 2) (7 . 3) (8 . 4)) 1776 0.5710 6.6739 ((1 . 1) (4 . 7) (5 . 9) (9 . 12)) 1777 0.5710 6.4670 ((2 . 34) (7 . 42) (8 . 43) (9 . 45)) 1778 0.7136 5.6531 ((4 . 1) (5 . 2) (7 . 3) (8 . 4) (9 . 5)) 1793 0.5690 10.1158 ((1 . 8) (5 . 11) (8 . 13) (9 . 14)) 1805 0.5711 5.9963 ((1 . 2) (2 . 4) (5 . 9) (7 . 10)) 1808 0.5712 5.8076 ((1 . 5) (2 . 8) (4 . 9) (5 . 10)) 1817 0.5713 4.3949 ((2 . 13) (4 . 14) (5 . 15) (9 . 20)) 1867 0.5713 5.1578 ((2 . 1) (4 . 3) (8 . 6) (9 . 7)) 1894 0.5713 5.1428 ((1 . 18) (7 . 23) (8 . 25) (9 . 26)) 1896 0.2945 8.3099 ((5 . 22) (7 . 24) (8 . 25) (9 . 26)) 1908 0.5711 6.0117 ((1 . 7) (2 . 10) (5 . 15) (8 . 17)) 1909 0.5712 5.7109 ((1 . 31) (2 . 34) (5 . 37) (8 . 39)) 1913 0.5712 5.7168 ((1 . 17) (2 . 20) (5 . 23) (7 . 25)) 1944 0.5710 6.6718 ((1 . 17) (4 . 22) (5 . 23) (7 . 24)) 1957 0.5711 6.0836 ((1 . 11) (2 . 13) (5 . 15) (8 . 17)) 1961 0.7137 5.3332 ((2 . 14) (4 . 15) (5 . 16) (8 . 19) (9 . 20)) 1967 0.2945 8.8155 ((1 . 10) (2 . 13) (4 . 14) (5 . 16)) 1972 0.5711 5.9765 ((1 . 16) (4 . 18) (7 . 20) (9 . 24)) 1995 0.9999 2.1564 ((1 . 1) (2 . 3) (4 . 7) (5 . 8) (7 . 11) (8 . 12) (9 . 13)) 2003 0.5712 5.4253 ((2 . 8) (4 . 9) (5 . 10) (7 . 12)) 2006 0.7120 7.5394 ((1 . 12) (2 . 14) (4 . 15) (5 . 16) (7 . 18)) 2063 0.7083 9.6292 ((2 . 42) (4 . 43) (5 . 44) (7 . 45) (9 . 48)) 2065 0.5712 5.5789 ((4 . 16) (5 . 17) (8 . 22) (9 . 23)) 2072 0.7127 6.8309 ((2 . 1) (4 . 2) (7 . 4) (8 . 6) (9 . 7)) 2081 0.5714 4.1943 ((2 . 19) (4 . 20) (5 . 21) (7 . 23)) 2083 0.5710 6.5061 ((2 . 1) (4 . 2) (7 . 4) (9 . 7)) 2097 0.2944 10.6642 ((1 . 4) (2 . 6) (8 . 14) (9 . 16)) 2114 0.5712 5.4947 ((2 . 28) (4 . 29) (5 . 32) (7 . 34)) 2116 0.7133 6.0506 ((1 . 5) (2 . 7) (4 . 9) (5 . 10) (8 . 12)) 2117 0.5714 3.9934 ((4 . 16) (5 . 17) (8 . 22) (9 . 23)) 2118 0.5708 7.0878 ((2 . 1) (4 . 4) (5 . 5) (8 . 7)) 2122 0.5710 6.4637 ((1 . 10) (5 . 14) (7 . 15) (9 . 18)) 2166 0.5711 5.9653 ((4 . 15) (5 . 16) (7 . 17) (8 . 21)) 2179 0.5714 3.4376 ((1 . 6) (2 . 9) (4 . 10) (7 . 13)) 2196 0.7137 5.2453 ((1 . 12) (2 . 14) (4 . 17) (5 . 18) (7 . 19)) 2203 0.5708 7.3246 ((2 . 1) (5 . 5) (7 . 7) (9 . 10)) 2205 0.5712 5.5741 ((1 . 16) (2 . 18) (4 . 21) (8 . 22)) 2209 0.5689 10.2489 ((1 . 3) (4 . 7) (8 . 9) (9 . 10)) 2243 0.7119 7.6060 ((4 . 51) (5 . 52) (7 . 53) (8 . 54) (9 . 55)) 2244 0.7137 5.3659 ((1 . 69) (2 . 71) (4 . 74) (5 . 75) (7 . 76)) 2249 0.5709 6.7911 ((2 . 12) (4 . 16) (8 . 20) (9 . 21)) 2269 0.5706 7.7031 ((2 . 6) (4 . 7) (5 . 8) (8 . 10)) 2279 0.5714 3.0152 ((2 . 3) (4 . 5) (7 . 7) (8 . 8)) 2298 0.5708 7.1713 ((4 . 6) (7 . 8) (8 . 10) (9 . 12)) 2308 0.5705 8.0389 ((2 . 4) (4 . 5) (5 . 6) (9 . 8)) 2314 0.5699 8.9633 ((1 . 4) (2 . 7) (4 . 8) (9 . 11)) 2340 0.5712 5.7214 ((1 . 9) (2 . 11) (4 . 13) (5 . 14)) 2344 0.5707 7.5739 ((4 . 1) (5 . 3) (8 . 6) (9 . 7)) 2364 0.7128 6.8013 ((4 . 5) (5 . 9) (7 . 12) (8 . 15) (9 . 18)) 2381 0.5713 5.0240 ((2 . 3) (4 . 4) (5 . 5) (7 . 6)) 2389 0.7132 6.2379 ((2 . 3) (4 . 5) (5 . 6) (7 . 7) (9 . 9)) 2408 0.7129 6.6218 ((1 . 39) (2 . 41) (4 . 42) (5 . 45) (8 . 47)) 2409 0.1498 6.5015 ((4 . 5) (5 . 6) (7 . 8) (8 . 9)) 2422 0.5710 6.7259 ((4 . 1) (7 . 6) (8 . 7) (9 . 8)) 2423 0.5710 6.5009 ((2 . 21) (4 . 22) (5 . 25) (7 . 26)) 2440 0.5710 6.3954 ((4 . 4) (7 . 7) (8 . 8) (9 . 9)) 2447 0.5709 6.9052 ((1 . 13) (2 . 15) (4 . 18) (8 . 21)) 2462 0.5699 9.0404 ((1 . 3) (2 . 6) (4 . 7) (9 . 11)) 2510 0.5711 6.2659 ((1 . 17) (2 . 19) (5 . 23) (8 . 25)) 2525 0.2945 6.3500 ((1 . 41) (5 . 47) (7 . 48) (8 . 50)) 2529 0.5712 5.6321 ((1 . 1) (2 . 3) (4 . 5) (5 . 6)) 2533 0.5705 7.9398 ((2 . 6) (4 . 8) (5 . 9) (8 . 13)) 2556 0.5708 7.1411 ((4 . 13) (7 . 16) (8 . 18) (9 . 20)) 2561 0.5702 8.5131 ((4 . 6) (5 . 7) (7 . 8) (8 . 9)) 2595 0.5711 6.3023 ((1 . 1) (2 . 4) (5 . 6) (8 . 9)) 2619 0.5713 4.4624 ((4 . 1) (5 . 2) (7 . 3) (9 . 5)) 2650 0.5700 8.8710 ((4 . 5) (5 . 6) (7 . 7) (8 . 8)) 2675 0.5711 6.0513 ((2 . 8) (4 . 10) (5 . 11) (7 . 12)) 2696 0.7136 5.5053 ((2 . 32) (4 . 34) (5 . 35) (8 . 38) (9 . 39)) 2733 0.1993 8.0203 ((1 . 1) (2 . 2) (4 . 4) (8 . 8)) 2755 0.5709 6.7702 ((1 . 3) (2 . 5) (5 . 6) (8 . 8)) 2773 0.5708 7.0767 ((2 . 2) (4 . 3) (7 . 5) (8 . 6)) 2783 0.5710 6.5990 ((2 . 1) (7 . 6) (8 . 7) (9 . 8)) 2804 0.1992 10.8543 ((2 . 29) (4 . 31) (5 . 32) (7 . 34)) 2821 0.5709 6.9108 ((4 . 1) (5 . 2) (8 . 4) (9 . 7)) 2830 0.5713 5.1360 ((2 . 19) (4 . 25) (5 . 26) (7 . 27)) 2834 0.5710 6.6598 ((2 . 1) (4 . 5) (5 . 6) (8 . 8)) 2840 0.7139 4.9128 ((1 . 1) (2 . 5) (4 . 8) (8 . 9) (9 . 11)) 2842 0.5712 5.8519 ((1 . 1) (4 . 4) (5 . 5) (9 . 9)) 2879 0.7104 8.6213 ((2 . 51) (4 . 52) (5 . 53) (7 . 54) (9 . 57)) 2886 0.5712 5.8782 ((1 . 35) (2 . 38) (4 . 39) (8 . 44)) 2940 0.5711 6.0421 ((1 . 1) (2 . 3) (7 . 5) (8 . 6)) 2947 0.5711 6.0051 ((4 . 2) (5 . 3) (7 . 4) (9 . 6)) 2966 0.5713 4.9041 ((4 . 1) (5 . 3) (7 . 4) (9 . 8)) 2990 0.5677 11.2854 ((2 . 14) (4 . 15) (5 . 16) (9 . 20)) 2999 0.5713 4.7575 ((2 . 2) (5 . 4) (8 . 6) (9 . 7)) 3019 0.5710 6.6701 ((2 . 9) (4 . 10) (5 . 11) (9 . 14)) 3034 0.5710 6.5609 ((1 . 1) (2 . 5) (5 . 7) (8 . 9)) 3041 0.5710 6.6098 ((1 . 16) (2 . 18) (5 . 22) (7 . 24)) 3055 0.5714 3.9621 ((1 . 7) (2 . 9) (4 . 12) (5 . 13)) 3063 0.5711 6.1551 ((1 . 35) (4 . 39) (8 . 41) (9 . 42)) 3070 0.5712 5.8524 ((2 . 32) (4 . 33) (7 . 35) (8 . 36)) 3084 0.5711 6.1518 ((1 . 3) (2 . 5) (5 . 7) (8 . 9)) 3102 0.7125 7.0706 ((1 . 62) (2 . 67) (4 . 68) (8 . 69) (9 . 70)) 3103 0.5711 6.1913 ((1 . 5) (2 . 9) (4 . 11) (5 . 13)) 3114 0.5701 8.6474 ((2 . 22) (4 . 24) (5 . 25) (9 . 29)) 3127 0.2945 7.6046 ((2 . 6) (4 . 8) (7 . 11) (8 . 13)) 3147 0.7095 9.0962 ((1 . 6) (4 . 11) (5 . 12) (7 . 13) (9 . 16)) 3187 0.7135 5.7128 ((2 . 2) (4 . 3) (5 . 4) (8 . 6) (9 . 7)) 3190 0.5712 5.7410 ((1 . 1) (2 . 3) (5 . 6) (8 . 9)) 3197 0.5711 5.9435 ((1 . 19) (4 . 21) (7 . 24) (9 . 26)) 3200 0.5706 7.7860 ((2 . 1) (5 . 3) (7 . 4) (9 . 6)) 3212 0.5713 5.0653 ((2 . 2) (4 . 3) (5 . 5) (9 . 9)) 3222 0.5708 7.1259 ((1 . 14) (2 . 15) (4 . 16) (7 . 19)) 3256 0.7117 7.7716 ((2 . 19) (4 . 20) (7 . 25) (8 . 26) (9 . 28)) 3261 0.5714 3.7838 ((2 . 6) (4 . 7) (5 . 8) (7 . 9)) 3286 0.5710 6.4246 ((2 . 3) (4 . 4) (5 . 5) (8 . 7)) 3289 0.5711 6.2040 ((4 . 25) (5 . 27) (8 . 30) (9 . 31)) 3297 0.5710 6.5321 ((5 . 3) (7 . 4) (8 . 5) (9 . 7)) 3300 0.2946 5.4757 ((5 . 1) (7 . 2) (8 . 4) (9 . 5)) 3322 0.5712 5.2799 ((4 . 1) (5 . 3) (7 . 5) (9 . 7)) 3334 0.5700 8.8275 ((4 . 1) (7 . 4) (8 . 5) (9 . 6)) 3339 0.5710 6.3818 ((1 . 17) (2 . 19) (5 . 21) (7 . 22)) 3344 0.5706 7.8414 ((1 . 18) (2 . 21) (7 . 24) (9 . 27)) 3358 0.2945 6.5617 ((4 . 4) (5 . 7) (7 . 8) (8 . 10)) 3362 0.7129 6.6718 ((2 . 4) (4 . 6) (5 . 8) (8 . 10) (9 . 11)) 3366 0.5710 6.5637 ((2 . 23) (4 . 24) (5 . 26) (7 . 27)) 3391 0.5697 9.2358 ((1 . 6) (4 . 8) (5 . 10) (8 . 13)) 3410 0.5711 6.1769 ((1 . 19) (4 . 21) (7 . 24) (9 . 28)) 3418 0.5714 3.9602 ((2 . 2) (4 . 5) (5 . 6) (7 . 7)) 3472 0.8543 6.3438 ((2 . 1) (4 . 3) (5 . 4) (7 . 5) (8 . 6) (9 . 8)) 3481 0.5713 4.9944 ((4 . 4) (5 . 7) (7 . 8) (9 . 10)) 3489 0.5711 5.9669 ((1 . 3) (7 . 10) (8 . 12) (9 . 14)) 3533 0.2945 8.3813 ((1 . 3) (4 . 8) (5 . 10) (7 . 11)) 3537 0.5713 4.9980 ((1 . 2) (5 . 7) (8 . 9) (9 . 10)) 3538 0.5706 7.7746 ((1 . 20) (4 . 23) (7 . 25) (8 . 26)) 3548 0.7132 6.2097 ((1 . 4) (2 . 6) (4 . 8) (5 . 9) (7 . 10)) 3549 0.5710 6.5225 ((1 . 1) (2 . 2) (4 . 3) (9 . 8)) 3561 0.5713 4.9841 ((1 . 26) (2 . 28) (4 . 30) (5 . 31)) 3570 0.5712 5.5004 ((4 . 4) (5 . 7) (7 . 8) (9 . 10)) 3585 0.7135 5.8089 ((2 . 11) (4 . 12) (5 . 13) (7 . 14) (9 . 16)) 3625 0.7096 9.0571 ((1 . 1) (2 . 3) (4 . 5) (5 . 6) (9 . 7)) 3626 0.5713 5.1499 ((1 . 2) (2 . 6) (4 . 8) (5 . 11)) 3628 0.5709 6.7474 ((1 . 6) (2 . 8) (4 . 9) (8 . 12)) 3651 0.5711 6.2663 ((1 . 5) (4 . 9) (5 . 11) (7 . 13)) 3658 0.7039 11.1008 ((1 . 1) (2 . 3) (4 . 6) (5 . 7) (7 . 8)) 3659 0.5709 7.0637 ((2 . 7) (4 . 8) (8 . 12) (9 . 13)) 3661 0.5712 5.5276 ((4 . 7) (5 . 8) (7 . 11) (8 . 12)) 3688 0.5701 8.6460 ((4 . 27) (5 . 28) (8 . 30) (9 . 32)) 3703 0.5713 4.7354 ((2 . 6) (4 . 7) (5 . 8) (7 . 9)) 3732 0.7130 6.5396 ((1 . 5) (4 . 7) (5 . 9) (8 . 11) (9 . 12)) 3733 0.5711 6.1351 ((1 . 1) (2 . 3) (5 . 6) (8 . 8)) 3740 0.5713 5.0787 ((5 . 1) (7 . 2) (8 . 3) (9 . 4)) 3741 0.6960 12.8784 ((2 . 1) (4 . 2) (5 . 3) (7 . 4) (9 . 9)) 3776 0.5710 6.4191 ((1 . 15) (2 . 17) (5 . 21) (8 . 24)) 3778 0.5712 5.8377 ((4 . 2) (5 . 3) (7 . 4) (9 . 6)) 3787 0.5713 5.0779 ((2 . 27) (4 . 29) (7 . 31) (9 . 33)) 3790 0.7140 4.2844 ((2 . 9) (4 . 10) (5 . 13) (8 . 15) (9 . 16)) 3807 0.5711 5.9822 ((2 . 43) (4 . 46) (5 . 47) (9 . 50)) 3810 0.7139 4.9490 ((2 . 4) (4 . 8) (5 . 9) (7 . 10) (9 . 16)) 3817 0.5694 9.6294 ((4 . 7) (7 . 9) (8 . 10) (9 . 11)) 3831 0.5711 5.9668 ((1 . 3) (2 . 5) (4 . 6) (7 . 9)) 3847 0.5699 8.9533 ((1 . 9) (4 . 13) (5 . 16) (7 . 17)) 3849 0.5710 6.5002 ((1 . 1) (2 . 2) (4 . 3) (9 . 8)) 3856 0.5712 5.8027 ((2 . 3) (5 . 6) (8 . 9) (9 . 10)) 3933 0.5713 5.1535 ((4 . 8) (5 . 9) (8 . 13) (9 . 14)) 3938 0.5713 5.0619 ((4 . 2) (5 . 4) (8 . 8) (9 . 9)) 3968 0.5707 7.4332 ((1 . 3) (2 . 5) (4 . 9) (5 . 11)) 3986 0.4446 10.8373 ((1 . 4) (5 . 9) (7 . 11) (9 . 13)) 3990 0.5708 7.1412 ((1 . 16) (2 . 18) (5 . 20) (8 . 22)) 4005 0.5711 5.9235 ((4 . 32) (5 . 33) (8 . 38) (9 . 40)) 4019 0.7081 9.7315 ((1 . 38) (2 . 42) (4 . 43) (5 . 44) (9 . 46)) 4034 0.5707 7.4002 ((1 . 10) (2 . 13) (5 . 15) (7 . 16)) 4067 0.5711 6.3349 ((1 . 14) (2 . 16) (5 . 20) (8 . 22)) 4082 0.5713 4.9550 ((2 . 5) (4 . 6) (5 . 7) (7 . 8)) 4087 0.5708 7.3047 ((2 . 1) (4 . 3) (5 . 5) (7 . 6)) 4112 0.5714 3.2367 ((2 . 1) (4 . 2) (5 . 3) (7 . 4)) 4115 0.5710 6.6691 ((1 . 13) (2 . 15) (5 . 17) (8 . 19)) 4154 0.5713 4.8210 ((1 . 51) (2 . 53) (4 . 56) (5 . 57)) 4177 0.5707 7.5610 ((1 . 2) (5 . 7) (7 . 8) (8 . 9)) 4190 0.5696 9.4022 ((1 . 1) (2 . 3) (8 . 8) (9 . 9)) 4194 0.5712 5.5235 ((4 . 3) (7 . 5) (8 . 6) (9 . 7)) 4204 0.7062 10.4111 ((1 . 5) (2 . 9) (5 . 11) (8 . 13) (9 . 15)) 4209 0.5713 4.7288 ((4 . 1) (5 . 2) (8 . 5) (9 . 7)) 4210 0.5713 4.8744 ((2 . 4) (4 . 5) (5 . 6) (8 . 8)) 4226 0.5713 5.0761 ((4 . 4) (7 . 6) (8 . 8) (9 . 9)) 4232 0.7126 6.9611 ((1 . 3) (4 . 4) (5 . 5) (8 . 6) (9 . 8)) 4236 0.2945 5.7926 ((5 . 5) (7 . 6) (8 . 7) (9 . 8)) 4246 0.5705 7.8916 ((2 . 2) (4 . 3) (5 . 5) (7 . 6)) 4254 0.5711 5.9876 ((4 . 1) (5 . 3) (7 . 4) (9 . 6)) 4255 0.5706 7.6512 ((2 . 21) (4 . 23) (5 . 24) (8 . 26)) 4265 0.5711 5.9048 ((1 . 21) (2 . 23) (5 . 26) (8 . 29)) 4266 0.5708 7.1554 ((1 . 2) (4 . 4) (5 . 6) (9 . 8)) 4275 0.5712 5.4340 ((4 . 21) (5 . 25) (8 . 27) (9 . 28)) 4281 0.5712 5.2954 ((4 . 3) (5 . 4) (7 . 5) (9 . 8)) 4284 0.5713 4.6592 ((4 . 3) (5 . 4) (7 . 5) (8 . 6)) 4299 0.5711 6.0173 ((1 . 2) (2 . 4) (5 . 6) (8 . 9)) 4301 0.7134 5.9959 ((2 . 2) (4 . 3) (5 . 4) (7 . 6) (8 . 8)) 4326 0.1992 10.7924 ((1 . 7) (2 . 11) (5 . 15) (8 . 17)) 4338 0.5712 5.7746 ((2 . 4) (5 . 6) (7 . 7) (8 . 8)) 4359 0.7136 5.5696 ((4 . 23) (5 . 24) (7 . 26) (8 . 27) (9 . 28)) 4380 0.5713 5.2288 ((5 . 1) (7 . 2) (8 . 3) (9 . 4)) 4383 0.7128 6.7959 ((1 . 15) (4 . 18) (5 . 19) (7 . 21) (9 . 22)) 4386 0.5710 6.6919 ((1 . 16) (4 . 18) (5 . 19) (7 . 21)) 4388 0.7133 6.0560 ((4 . 5) (5 . 6) (7 . 8) (8 . 9) (9 . 10)) 4398 0.5689 10.2768 ((2 . 1) (4 . 4) (7 . 6) (9 . 8)) 4405 0.5708 7.0926 ((1 . 14) (2 . 18) (4 . 19) (7 . 21)) 4408 0.5708 7.2953 ((1 . 1) (2 . 4) (5 . 6) (7 . 7)) 4415 0.0999 7.2574 ((1 . 1) (4 . 3) (5 . 4) (9 . 9)) 4419 0.5708 7.3377 ((2 . 6) (4 . 8) (5 . 9) (7 . 10)) 4470 0.5701 8.6590 ((1 . 12) (2 . 14) (8 . 18) (9 . 19)) 4491 0.5704 8.2630 ((2 . 1) (5 . 5) (7 . 6) (9 . 8)) 4492 0.7138 5.1291 ((2 . 2) (4 . 3) (5 . 4) (7 . 5) (9 . 8)) 4497 0.5713 4.7612 ((1 . 23) (4 . 26) (5 . 27) (8 . 30)) 4502 0.5712 5.8384 ((2 . 9) (4 . 10) (5 . 11) (8 . 14)) 4503 0.7121 7.4599 ((2 . 1) (5 . 5) (7 . 8) (8 . 9) (9 . 10)) 4504 0.5712 5.6149 ((1 . 4) (2 . 6) (4 . 8) (9 . 13)) 4505 0.5710 6.4772 ((2 . 25) (4 . 26) (7 . 28) (9 . 30)) 4516 0.5709 6.8530 ((4 . 14) (5 . 16) (8 . 18) (9 . 20)) 4527 0.5714 4.2180 ((1 . 1) (5 . 6) (7 . 7) (9 . 8)) 4538 0.1498 6.7814 ((4 . 33) (5 . 34) (7 . 37) (8 . 38)) 4560 0.5712 5.2808 ((2 . 11) (5 . 14) (7 . 16) (8 . 17)) 4561 0.5712 5.8357 ((5 . 12) (7 . 13) (8 . 14) (9 . 15)) 4562 0.5708 7.2910 ((1 . 19) (4 . 25) (5 . 27) (8 . 29)) 4577 0.5710 6.7020 ((2 . 52) (4 . 54) (5 . 55) (8 . 58)) 4588 0.5711 6.0585 ((2 . 1) (5 . 3) (8 . 7) (9 . 8)) 4589 0.5700 8.9447 ((1 . 18) (4 . 19) (5 . 22) (9 . 25)) 4621 0.5709 6.7726 ((2 . 6) (4 . 8) (5 . 9) (7 . 11)) 4630 0.5713 5.2605 ((2 . 8) (5 . 11) (7 . 14) (9 . 15)) 4653 0.5713 5.0297 ((5 . 5) (7 . 6) (8 . 7) (9 . 8)) 4665 0.5714 3.4913 ((2 . 11) (4 . 12) (5 . 13) (7 . 14)) 4668 0.5712 5.3613 ((4 . 1) (5 . 3) (7 . 5) (9 . 7)) 4669 0.5710 6.3717 ((1 . 15) (2 . 17) (5 . 19) (8 . 21)) 4671 0.5711 6.3292 ((1 . 8) (7 . 18) (8 . 19) (9 . 20)) 4674 0.5706 7.8453 ((1 . 2) (5 . 7) (7 . 8) (8 . 9)) 4713 0.1498 5.7072 ((5 . 3) (7 . 4) (8 . 5) (9 . 6)) 4731 0.5713 5.0975 ((2 . 18) (4 . 22) (8 . 23) (9 . 24)) 4734 0.5703 8.4314 ((4 . 2) (5 . 4) (7 . 6) (9 . 8)) 4857 0.5700 8.7958 ((1 . 2) (4 . 5) (8 . 9) (9 . 11)) 4886 0.5714 2.4473 ((2 . 29) (4 . 30) (5 . 31) (7 . 32)) 4888 0.5713 5.1331 ((4 . 12) (5 . 13) (8 . 16) (9 . 17)) 4889 0.5709 6.9043 ((4 . 2) (5 . 3) (7 . 4) (9 . 6)) 4907 0.5712 5.7436 ((2 . 4) (4 . 7) (5 . 8) (7 . 9)) 4914 0.5713 4.8596 ((1 . 1) (7 . 10) (8 . 11) (9 . 12)) 4921 0.5712 5.8294 ((2 . 7) (4 . 8) (5 . 9) (8 . 12)) 4929 0.7127 6.9179 ((2 . 29) (4 . 31) (5 . 32) (8 . 34) (9 . 35)) 4932 0.5711 6.3019 ((2 . 5) (4 . 6) (7 . 8) (9 . 10)) 4940 0.5712 5.5144 ((2 . 1) (4 . 2) (8 . 3) (9 . 6)) 4941 0.5616 14.4810 ((1 . 5) (2 . 9) (4 . 13) (9 . 19)) 4944 0.5713 5.0238 ((2 . 13) (4 . 14) (5 . 15) (7 . 16)) 4978 0.5711 5.9002 ((4 . 18) (5 . 21) (8 . 22) (9 . 24)) 4982 0.5712 5.7239 ((1 . 1) (2 . 3) (5 . 6) (7 . 18)) 4992 0.5709 6.7970 ((2 . 1) (4 . 2) (5 . 3) (9 . 6)) 5029 0.5711 5.8925 ((1 . 2) (2 . 4) (5 . 8) (8 . 10)) 5036 0.7130 6.4839 ((1 . 4) (2 . 6) (4 . 7) (5 . 8) (8 . 10)) 5038 0.4454 6.5586 ((2 . 9) (5 . 14) (7 . 15) (8 . 16)) 5039 0.5712 5.6991 ((1 . 39) (2 . 41) (5 . 44) (7 . 45)) 5046 0.5710 6.5688 ((1 . 1) (7 . 7) (8 . 8) (9 . 10)) 5053 0.5705 7.9894 ((2 . 6) (7 . 9) (8 . 10) (9 . 11)) 5065 0.5713 4.7011 ((1 . 7) (2 . 9) (4 . 10) (5 . 11)) 5068 0.2945 6.8897 ((1 . 2) (4 . 4) (5 . 7) (8 . 10)) 5069 0.5713 4.3139 ((4 . 4) (5 . 5) (7 . 7) (9 . 9)) 5073 0.5712 5.8567 ((1 . 36) (2 . 39) (5 . 42) (8 . 44)) 5083 0.3788 9.5678 ((2 . 2) (4 . 5) (5 . 6) (7 . 9)) 5101 0.5712 5.7995 ((1 . 1) (2 . 3) (5 . 7) (8 . 9)) 5103 0.5711 6.1439 ((1 . 2) (2 . 4) (5 . 6) (8 . 9)) 5121 0.5711 6.1377 ((4 . 25) (5 . 26) (8 . 30) (9 . 31)) 5132 0.2945 8.1551 ((2 . 16) (5 . 18) (7 . 20) (9 . 22)) 5176 0.3789 8.1157 ((2 . 82) (7 . 84) (8 . 86) (9 . 87)) 5183 0.5704 8.1250 ((1 . 34) (2 . 35) (4 . 37) (5 . 38)) 5198 0.5708 7.2587 ((1 . 21) (4 . 24) (5 . 26) (9 . 30)) 5199 0.5709 6.8111 ((2 . 7) (4 . 8) (8 . 9) (9 . 10)) 5209 0.5700 8.9222 ((4 . 7) (5 . 8) (7 . 9) (8 . 10)) 5215 0.5712 5.6048 ((1 . 5) (4 . 9) (5 . 10) (7 . 12)) 5231 0.5713 5.0061 ((2 . 8) (4 . 12) (5 . 13) (7 . 14)) 5266 0.5711 5.9844 ((1 . 2) (2 . 4) (5 . 8) (8 . 10)) 5278 0.5709 6.7994 ((2 . 5) (5 . 7) (8 . 9) (9 . 10)) 5307 0.5713 5.2025 ((4 . 51) (5 . 55) (8 . 57) (9 . 58)) 5312 0.5710 6.3753 ((2 . 1) (4 . 2) (5 . 3) (8 . 5)) 5318 0.5711 5.9096 ((1 . 19) (4 . 22) (5 . 23) (7 . 24)) 5324 0.5711 6.2077 ((1 . 7) (2 . 10) (5 . 12) (8 . 14)) 5344 0.5713 4.6391 ((2 . 4) (4 . 7) (5 . 8) (8 . 10)) 5345 0.7138 5.2186 ((1 . 2) (4 . 8) (5 . 9) (8 . 12) (9 . 13)) 5368 0.7142 3.6151 ((2 . 29) (4 . 30) (5 . 32) (7 . 33) (9 . 35)) 5378 0.5711 5.9035 ((2 . 3) (4 . 4) (7 . 6) (9 . 7)) 5414 0.7138 5.1111 ((2 . 14) (4 . 15) (5 . 16) (7 . 18) (8 . 19)) 5418 0.5714 4.2419 ((1 . 1) (2 . 3) (4 . 5) (7 . 9)) 5421 0.3789 8.6122 ((2 . 1) (4 . 2) (5 . 3) (7 . 5)) 5433 0.5712 5.5343 ((4 . 7) (5 . 8) (7 . 10) (8 . 12)) 5479 0.5714 3.5728 ((2 . 43) (4 . 45) (5 . 46) (7 . 47)) 5489 0.5713 4.5369 ((1 . 6) (2 . 9) (4 . 12) (5 . 13)) 5500 0.0999 6.6979 ((1 . 1) (2 . 2) (4 . 3) (8 . 12) (9 . 14)) 5535 0.5714 3.3230 ((4 . 6) (5 . 7) (8 . 10) (9 . 11)) 5540 0.5701 8.6532 ((5 . 6) (7 . 15) (8 . 16) (9 . 18)) 5557 0.5713 5.1643 ((2 . 1) (4 . 2) (5 . 3) (7 . 4)) 5560 0.5711 6.1275 ((1 . 11) (4 . 15) (7 . 17) (9 . 20)) 5562 0.5710 6.5862 ((2 . 6) (4 . 7) (7 . 11) (9 . 14)) 5567 0.5712 5.6792 ((1 . 6) (2 . 8) (4 . 11) (9 . 17)) 5594 0.5712 5.3712 ((1 . 1) (4 . 3) (5 . 4) (8 . 6)) 5600 0.5711 6.2012 ((2 . 5) (4 . 6) (7 . 9) (9 . 11)) 5601 0.5707 7.3779 ((2 . 5) (4 . 8) (7 . 10) (8 . 12)) 5638 0.5709 6.7521 ((4 . 7) (5 . 8) (7 . 9) (9 . 13)) 5640 0.7135 5.6906 ((4 . 25) (5 . 26) (7 . 27) (8 . 28) (9 . 29)) 5644 0.5711 6.0093 ((4 . 1) (5 . 3) (7 . 4) (9 . 8)) 5656 0.5704 8.1639 ((1 . 14) (2 . 16) (8 . 21) (9 . 23)) 5700 0.7127 6.9133 ((1 . 4) (2 . 6) (4 . 8) (5 . 9) (7 . 11)) 5701 0.5707 7.5496 ((2 . 4) (4 . 5) (5 . 6) (9 . 8)) 5703 0.5714 2.9240 ((2 . 5) (4 . 6) (5 . 7) (7 . 8)) 5711 0.7118 7.7108 ((2 . 31) (4 . 32) (5 . 33) (8 . 36) (9 . 37)) 5713 0.7132 6.2427 ((1 . 6) (2 . 8) (4 . 11) (5 . 13) (9 . 16)) 5718 0.5712 5.6062 ((2 . 14) (4 . 16) (5 . 17) (7 . 18)) 5731 0.5698 9.1668 ((2 . 7) (5 . 10) (8 . 14) (9 . 15)) 5746 0.5713 4.6403 ((1 . 2) (4 . 6) (5 . 7) (7 . 9)) 5749 0.5711 6.0299 ((2 . 3) (4 . 4) (5 . 5) (7 . 6)) 5761 0.5714 4.2179 ((1 . 28) (2 . 31) (4 . 32) (9 . 36)) 5770 0.3790 7.0636 ((2 . 6) (5 . 9) (7 . 12) (8 . 15)) 5771 0.5694 9.6407 ((1 . 9) (2 . 13) (4 . 14) (8 . 17)) 5782 0.5714 4.2116 ((2 . 21) (4 . 22) (8 . 26) (9 . 27)) 5794 0.5712 5.8227 ((1 . 19) (2 . 23) (4 . 24) (5 . 25)) 5809 0.0999 7.3165 ((2 . 7) (4 . 9) (7 . 12) (9 . 14)) 5822 0.5705 8.0449 ((2 . 2) (5 . 6) (7 . 8) (9 . 9)) 5827 0.7129 6.6471 ((2 . 14) (4 . 15) (5 . 16) (7 . 17) (9 . 19)) 5830 0.5713 5.2651 ((2 . 8) (4 . 10) (5 . 13) (9 . 17)) 5847 0.5710 6.4020 ((1 . 12) (4 . 17) (5 . 18) (7 . 20)) 5861 0.7136 5.6297 ((2 . 10) (4 . 11) (5 . 12) (8 . 15) (9 . 16)) 5865 0.5714 4.2637 ((2 . 1) (4 . 4) (5 . 5) (8 . 7)) 5888 0.8549 6.0115 ((1 . 16) (2 . 18) (4 . 21) (5 . 22) (7 . 23) (9 . 25)) 5896 0.5707 7.5302 ((2 . 26) (5 . 28) (7 . 29) (9 . 31)) 5904 0.1992 9.1905 ((1 . 4) (4 . 7) (7 . 9) (8 . 11)) 5913 0.5711 6.0513 ((1 . 15) (2 . 17) (5 . 20) (7 . 22)) 5922 0.5706 7.6719 ((2 . 5) (4 . 6) (5 . 8) (7 . 9)) 5939 0.5680 11.0861 ((1 . 4) (2 . 6) (5 . 8) (7 . 10)) 5945 0.5712 5.6410 ((1 . 26) (2 . 28) (5 . 32) (7 . 33)) 5949 0.2945 9.7893 ((1 . 4) (5 . 9) (8 . 12) (9 . 14)) 5955 0.5702 8.6158 ((1 . 7) (2 . 9) (8 . 14) (9 . 16)) 5977 0.5705 7.9544 ((1 . 1) (2 . 3) (5 . 5) (7 . 6)) 6011 0.8538 6.6327 ((2 . 4) (4 . 7) (5 . 8) (7 . 9) (8 . 10) (9 . 20)) 6022 1.0000 0.0000 ((1 . 1) (2 . 2) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (9 . 9)) 6029 0.5712 5.5562 ((4 . 17) (5 . 18) (7 . 19) (9 . 21)) 6041 0.7137 5.3605 ((2 . 10) (4 . 11) (5 . 12) (7 . 13) (9 . 15)) 6046 0.5713 4.7398 ((2 . 2) (4 . 3) (5 . 5) (7 . 6)) 6061 0.5710 6.3820 ((1 . 13) (5 . 17) (8 . 20) (9 . 21)) 6074 0.5711 6.0134 ((1 . 2) (2 . 4) (5 . 6) (8 . 8)) 6075 0.5713 5.1646 ((4 . 17) (5 . 20) (7 . 21) (9 . 24)) 6079 0.7137 5.4499 ((1 . 1) (2 . 6) (4 . 7) (5 . 8) (7 . 9)) 6089 0.2945 9.8707 ((1 . 12) (4 . 16) (5 . 17) (9 . 21)) 6094 0.5712 5.5547 ((2 . 10) (4 . 11) (5 . 12) (7 . 14)) 6099 0.7139 4.8981 ((2 . 10) (4 . 11) (5 . 13) (8 . 17) (9 . 18)) 6123 0.5704 8.1066 ((5 . 1) (7 . 2) (8 . 3) (9 . 4)) 6142 0.8482 8.4961 ((1 . 8) (2 . 10) (4 . 11) (5 . 12) (7 . 13) (9 . 15)) 6167 0.7136 5.5042 ((2 . 4) (4 . 6) (5 . 7) (7 . 9) (8 . 10)) 6173 0.5712 5.6328 ((2 . 8) (4 . 12) (5 . 13) (7 . 15)) 6191 0.5707 7.3915 ((1 . 4) (4 . 6) (5 . 9) (7 . 10)) 6192 0.1498 10.1140 ((1 . 5) (2 . 10) (4 . 11) (7 . 13)) 6215 0.5705 7.8751 ((2 . 17) (4 . 18) (5 . 19) (7 . 20)) 6225 0.5704 8.2283 ((4 . 3) (5 . 4) (7 . 5) (9 . 8)) 6228 0.0999 5.0315 ((1 . 7) (4 . 11) (5 . 12) (9 . 15)) 6234 0.5712 5.6697 ((2 . 6) (4 . 7) (5 . 9) (7 . 10)) 6238 0.5712 5.8337 ((1 . 4) (2 . 7) (4 . 8) (5 . 9)) 6243 0.2946 4.0805 ((2 . 2) (4 . 3) (5 . 6) (7 . 8)) 6251 0.2945 10.1843 ((1 . 10) (5 . 15) (8 . 17) (9 . 19)) 6258 0.5712 5.7372 ((1 . 7) (2 . 9) (5 . 10) (8 . 12)) 6261 0.5704 8.0918 ((1 . 3) (2 . 6) (5 . 9) (8 . 11)) 6266 0.5711 6.3319 ((4 . 3) (7 . 5) (8 . 6) (9 . 8)) 6270 0.5710 6.5730 ((2 . 15) (5 . 17) (7 . 18) (9 . 20)) 6271 0.5711 6.1802 ((1 . 5) (5 . 10) (7 . 11) (9 . 12)) 6273 0.5707 7.6131 ((2 . 1) (5 . 4) (8 . 6) (9 . 7)) 6294 0.5705 7.9976 ((2 . 9) (4 . 11) (7 . 14) (9 . 16)) 6306 0.5707 7.5484 ((2 . 16) (5 . 19) (7 . 21) (9 . 22)) 6311 0.7127 6.8849 ((2 . 5) (4 . 9) (5 . 10) (7 . 11) (9 . 13)) 6326 0.5712 5.5929 ((2 . 6) (4 . 9) (5 . 10) (8 . 12)) 6338 0.7128 6.7421 ((1 . 1) (2 . 4) (4 . 5) (5 . 7) (7 . 8)) 6344 0.5713 4.7184 ((1 . 12) (2 . 14) (4 . 17) (5 . 18)) 6355 0.5713 5.1297 ((4 . 4) (5 . 6) (7 . 7) (9 . 9)) 6356 0.5709 6.8555 ((1 . 1) (4 . 4) (5 . 6) (9 . 9)) 6369 0.5664 12.1726 ((1 . 26) (5 . 31) (8 . 33) (9 . 35)) 6376 0.5711 6.2114 ((2 . 19) (5 . 24) (8 . 26) (9 . 27)) 6399 0.7137 5.3979 ((4 . 27) (5 . 28) (7 . 29) (8 . 30) (9 . 31)) 6403 0.7132 6.2583 ((2 . 12) (4 . 13) (5 . 14) (7 . 15) (9 . 17)) 6434 0.5714 3.1580 ((2 . 2) (4 . 3) (5 . 4) (7 . 5)) 6462 0.5710 6.5305 ((1 . 18) (2 . 20) (5 . 22) (7 . 24)) 6520 0.5714 4.1939 ((2 . 3) (4 . 6) (5 . 8) (7 . 9)) 6539 0.5710 6.4227 ((2 . 4) (4 . 5) (7 . 8) (9 . 10)) 6540 0.5711 6.1106 ((1 . 16) (4 . 19) (5 . 20) (8 . 22)) 6548 0.5712 5.8747 ((4 . 7) (5 . 9) (8 . 12) (9 . 13)) 6553 0.5711 5.9627 ((4 . 17) (7 . 20) (8 . 22) (9 . 23)) 6555 0.5714 4.1597 ((2 . 19) (5 . 22) (7 . 23) (9 . 24)) 6561 0.5713 4.8756 ((4 . 9) (5 . 10) (8 . 12) (9 . 13)) 6573 0.1993 3.9991 ((4 . 22) (5 . 23) (7 . 24) (8 . 25)) 6578 0.5713 5.2239 ((2 . 31) (4 . 32) (5 . 34) (7 . 37)) 6584 0.5712 5.3581 ((1 . 3) (2 . 5) (4 . 8) (5 . 9)) 6585 0.5711 6.0871 ((1 . 6) (2 . 8) (5 . 10) (7 . 11)) 6598 0.7138 5.0061 ((2 . 20) (4 . 21) (5 . 22) (8 . 24) (9 . 25)) 6613 0.7115 7.9558 ((1 . 24) (2 . 27) (4 . 28) (5 . 31) (8 . 32)) 6635 0.5707 7.4083 ((4 . 1) (5 . 4) (7 . 5) (9 . 7)) END