62 41 0.2945 10.3808 ((9 . 2) (13 . 3) (15 . 4) (16 . 5)) 51 0.2945 7.2282 ((9 . 3) (12 . 6) (13 . 7) (15 . 9)) 62 1.0000 0.0000 ((9 . 9) (10 . 10) (12 . 12) (13 . 13) (15 . 15) (16 . 16) (17 . 17)) 64 0.7129 6.6822 ((10 . 9) (12 . 10) (13 . 12) (16 . 14) (17 . 15)) 77 0.5709 6.8136 ((10 . 7) (12 . 8) (15 . 12) (16 . 13)) 91 0.5713 5.0609 ((10 . 1) (12 . 2) (13 . 3) (15 . 4)) 96 0.5713 4.7304 ((9 . 2) (10 . 3) (12 . 5) (13 . 6)) 129 0.7129 6.6665 ((10 . 1) (12 . 2) (13 . 3) (16 . 8) (17 . 9)) 136 0.2478 7.4913 ((9 . 2) (15 . 6) (16 . 7) (17 . 8)) 150 0.5710 6.3866 ((9 . 21) (13 . 23) (15 . 24) (16 . 25)) 153 0.5709 6.7778 ((10 . 7) (12 . 8) (13 . 9) (16 . 12)) 157 0.5712 5.6056 ((9 . 12) (10 . 14) (13 . 16) (15 . 17)) 161 0.5939 6.7352 ((10 . 2) (12 . 4) (13 . 6) (15 . 7) (16 . 9)) 162 0.5714 3.5022 ((12 . 12) (15 . 16) (16 . 17) (17 . 18)) 169 0.5713 5.0685 ((12 . 2) (13 . 3) (16 . 5) (17 . 7)) 177 0.5700 8.8479 ((10 . 4) (15 . 9) (16 . 8) (17 . 10)) 191 0.1664 6.4161 ((9 . 3) (13 . 6) (16 . 7) (17 . 8)) 198 0.5711 6.1171 ((10 . 9) (12 . 10) (13 . 13) (16 . 16)) 207 0.5700 8.7966 ((9 . 11) (13 . 13) (15 . 14) (16 . 15)) 233 0.5712 5.5353 ((10 . 1) (12 . 2) (13 . 3) (17 . 7)) 300 0.7136 5.5854 ((9 . 5) (10 . 6) (12 . 9) (13 . 10) (15 . 11)) 305 0.5714 3.8714 ((13 . 9) (15 . 10) (16 . 11) (17 . 12)) 307 0.7140 4.4030 ((9 . 2) (10 . 3) (13 . 7) (15 . 8) (16 . 9)) 315 0.2946 4.9487 ((12 . 4) (13 . 5) (16 . 6) (17 . 9)) 340 0.2477 9.7786 ((10 . 1) (12 . 2) (13 . 4) (16 . 9)) 350 0.4916 6.7554 ((9 . 9) (10 . 10) (16 . 16) (17 . 17)) 360 0.7139 4.7331 ((10 . 9) (12 . 10) (13 . 12) (15 . 13) (16 . 14)) 361 0.5712 5.5287 ((12 . 1) (13 . 2) (15 . 3) (16 . 4)) 365 0.5713 5.2017 ((10 . 1) (12 . 2) (13 . 3) (17 . 8)) 367 0.7137 5.3786 ((10 . 38) (12 . 40) (13 . 42) (16 . 44) (17 . 46)) 372 0.5709 7.0491 ((10 . 7) (12 . 8) (13 . 11) (17 . 14)) 387 0.5706 7.7973 ((10 . 10) (12 . 11) (13 . 12) (17 . 15)) 417 0.5692 9.9014 ((12 . 2) (13 . 3) (16 . 5) (17 . 7)) 420 0.5710 6.4635 ((10 . 3) (12 . 4) (16 . 8) (17 . 9)) 433 0.8528 7.0808 ((10 . 5) (12 . 6) (13 . 7) (15 . 8) (16 . 9) (17 . 10)) 442 0.5713 4.5137 ((9 . 11) (10 . 12) (15 . 13) (16 . 14)) 460 0.5713 5.1910 ((10 . 2) (12 . 3) (13 . 6) (16 . 8)) 495 0.2945 7.7417 ((9 . 2) (13 . 5) (15 . 6) (16 . 7)) 541 0.5713 4.9214 ((9 . 6) (13 . 7) (15 . 13) (16 . 14)) 561 0.5691 9.9971 ((12 . 1) (13 . 3) (15 . 5) (17 . 6)) 584 0.7125 7.0778 ((9 . 2) (10 . 3) (12 . 4) (13 . 5) (15 . 9)) 587 0.5712 5.2786 ((12 . 2) (13 . 3) (16 . 6) (17 . 7)) 609 0.5711 6.1394 ((9 . 2) (13 . 6) (15 . 7) (16 . 8)) 619 0.5937 7.3524 ((10 . 7) (12 . 11) (13 . 12) (15 . 14) (16 . 15)) 624 0.5713 4.6644 ((9 . 6) (10 . 7) (13 . 11) (15 . 12)) 635 0.5710 6.3624 ((9 . 2) (13 . 3) (15 . 4) (16 . 5)) 672 0.3790 6.1094 ((9 . 12) (13 . 16) (15 . 17) (17 . 21)) 678 0.5714 2.8496 ((10 . 22) (13 . 24) (15 . 25) (16 . 26)) 683 0.5709 6.7978 ((12 . 1) (13 . 2) (16 . 5) (17 . 6)) 719 0.5713 4.3941 ((12 . 25) (13 . 27) (15 . 29) (16 . 30)) 729 0.5711 5.9615 ((9 . 6) (13 . 9) (15 . 12) (16 . 13)) 735 0.5710 6.6089 ((10 . 32) (12 . 33) (13 . 36) (16 . 39)) 740 0.1992 10.3180 ((12 . 2) (13 . 3) (16 . 6) (17 . 9)) 767 0.5708 7.3237 ((10 . 1) (13 . 3) (16 . 9) (17 . 10)) 795 0.0999 6.3210 ((13 . 1) (15 . 2) (16 . 3) (17 . 5)) 796 0.0999 8.5714 ((9 . 4) (10 . 5) (12 . 6) (15 . 7)) 801 0.4446 10.9299 ((10 . 1) (12 . 2) (13 . 4) (16 . 6)) 812 0.5714 3.5621 ((10 . 9) (13 . 11) (15 . 12) (16 . 13)) 818 0.5685 10.6084 ((9 . 3) (10 . 4) (13 . 8) (16 . 12)) 819 0.4438 12.6577 ((9 . 4) (12 . 5) (16 . 8) (17 . 9)) 824 0.4452 8.5795 ((10 . 43) (13 . 46) (16 . 50) (17 . 51)) 861 0.5711 6.1838 ((9 . 11) (10 . 12) (13 . 15) (17 . 18)) 901 0.7135 5.7067 ((9 . 14) (10 . 15) (13 . 17) (15 . 19) (16 . 20)) 904 0.4903 10.9058 ((9 . 1) (15 . 5) (16 . 6) (17 . 7)) 913 0.5703 8.3988 ((9 . 15) (12 . 16) (15 . 18) (17 . 20)) 928 0.5713 4.3762 ((9 . 2) (13 . 3) (15 . 4) (16 . 5)) 937 0.0999 8.0946 ((9 . 3) (10 . 4) (12 . 5) (15 . 6)) 943 0.7134 5.9251 ((9 . 7) (10 . 8) (13 . 9) (15 . 10) (16 . 12)) 945 0.5699 9.0799 ((9 . 18) (10 . 19) (13 . 22) (15 . 23)) 960 0.5712 5.5968 ((9 . 11) (10 . 12) (15 . 16) (16 . 19)) 978 0.5712 5.3648 ((10 . 10) (13 . 13) (15 . 15) (16 . 16)) 980 0.7142 3.2855 ((9 . 2) (10 . 3) (13 . 7) (15 . 8) (16 . 9)) 1007 0.8468 8.8112 ((9 . 6) (10 . 7) (12 . 8) (13 . 9) (16 . 13) (17 . 14)) 1008 0.2945 7.9936 ((9 . 2) (10 . 3) (12 . 5) (16 . 8)) 1034 0.5705 7.9776 ((9 . 27) (13 . 29) (15 . 31) (16 . 32)) 1043 0.5714 3.9716 ((9 . 5) (10 . 6) (15 . 9) (16 . 10)) 1082 0.5712 5.8159 ((9 . 11) (10 . 12) (15 . 14) (16 . 16)) 1084 0.5707 7.3680 ((9 . 6) (10 . 10) (12 . 12) (16 . 17)) 1121 0.5713 4.9784 ((10 . 2) (12 . 3) (13 . 4) (17 . 5)) 1165 0.7121 7.4449 ((10 . 2) (12 . 3) (13 . 4) (15 . 6) (16 . 7)) 1167 0.7120 7.5156 ((9 . 19) (10 . 20) (12 . 21) (13 . 22) (15 . 24)) 1169 0.7108 8.3680 ((10 . 29) (12 . 30) (13 . 31) (16 . 35) (17 . 37)) 1195 0.5713 4.7282 ((9 . 1) (10 . 2) (12 . 4) (13 . 5)) 1201 0.5711 6.2754 ((10 . 4) (13 . 7) (16 . 9) (17 . 11)) 1204 0.5712 5.8329 ((9 . 15) (13 . 20) (15 . 21) (16 . 22)) 1211 0.5713 5.1553 ((9 . 7) (10 . 8) (12 . 9) (13 . 10)) 1217 0.5712 5.6866 ((10 . 3) (12 . 5) (13 . 7) (16 . 11)) 1224 0.7100 8.8366 ((10 . 7) (13 . 10) (15 . 11) (16 . 14) (17 . 15)) 1233 0.5711 6.0139 ((9 . 13) (13 . 17) (15 . 19) (16 . 20)) 1267 0.7141 4.0150 ((9 . 23) (10 . 24) (13 . 36) (15 . 37) (16 . 38)) 1294 0.1993 7.2857 ((10 . 39) (12 . 40) (13 . 41) (16 . 43)) 1345 0.5713 4.8626 ((10 . 7) (13 . 9) (15 . 10) (16 . 12)) 1366 0.5714 3.9665 ((10 . 15) (12 . 16) (13 . 17) (17 . 21)) 1388 0.3788 9.2792 ((9 . 3) (12 . 4) (15 . 7) (16 . 8)) 1410 0.5710 6.7088 ((10 . 20) (12 . 21) (16 . 25) (17 . 26)) 1425 0.5696 9.4434 ((10 . 2) (13 . 6) (15 . 7) (16 . 10)) 1435 0.4452 8.4322 ((10 . 2) (15 . 4) (16 . 5) (17 . 6)) 1447 0.5713 4.4412 ((10 . 1) (13 . 3) (15 . 4) (16 . 5)) 1451 0.5713 4.5659 ((9 . 7) (10 . 8) (12 . 9) (13 . 10)) 1464 0.5712 5.3448 ((9 . 9) (10 . 10) (12 . 13) (13 . 14)) 1476 0.5714 4.1843 ((10 . 9) (13 . 11) (15 . 13) (16 . 14)) 1481 0.5711 6.2841 ((12 . 1) (15 . 3) (16 . 4) (17 . 5)) 1501 0.5709 6.9767 ((10 . 3) (12 . 4) (13 . 6) (17 . 9)) 1513 0.7121 7.4423 ((9 . 12) (12 . 13) (13 . 15) (15 . 16) (16 . 18)) 1514 0.2946 5.4461 ((12 . 3) (13 . 4) (15 . 5) (16 . 6)) 1577 0.1992 9.2117 ((9 . 2) (12 . 4) (13 . 5) (17 . 10)) 1591 0.7127 6.9261 ((9 . 10) (10 . 11) (13 . 14) (15 . 15) (16 . 16)) 1604 0.5713 4.3710 ((12 . 1) (13 . 3) (15 . 6) (16 . 7)) 1622 0.5687 10.4043 ((9 . 21) (10 . 22) (12 . 23) (13 . 25)) 1643 0.7138 5.2437 ((10 . 8) (12 . 11) (13 . 12) (16 . 18) (17 . 20)) 1644 0.5714 2.8889 ((12 . 43) (13 . 44) (16 . 47) (17 . 50)) 1665 0.5713 4.8649 ((10 . 6) (13 . 8) (15 . 9) (16 . 10)) 1690 0.5712 5.8675 ((9 . 7) (13 . 11) (15 . 12) (16 . 13)) 1692 0.4453 7.7660 ((12 . 1) (15 . 4) (16 . 5) (17 . 6)) 1731 0.5711 6.2369 ((10 . 3) (13 . 6) (15 . 7) (16 . 8)) 1736 0.5705 7.9454 ((9 . 6) (13 . 7) (15 . 9) (16 . 10)) 1738 0.5710 6.5945 ((10 . 1) (13 . 4) (15 . 5) (16 . 6)) 1747 0.7132 6.2255 ((10 . 16) (12 . 18) (13 . 19) (16 . 25) (17 . 27)) 1756 0.5710 6.6499 ((12 . 21) (13 . 23) (16 . 27) (17 . 28)) 1759 0.5712 5.8460 ((10 . 4) (12 . 5) (16 . 9) (17 . 10)) 1761 0.5712 5.5482 ((9 . 8) (13 . 11) (15 . 12) (16 . 13)) 1763 0.5714 3.2388 ((13 . 3) (15 . 8) (16 . 9) (17 . 10)) 1776 0.5713 4.5427 ((10 . 1) (13 . 7) (15 . 8) (16 . 9)) 1777 0.5710 6.5916 ((10 . 45) (12 . 47) (13 . 49) (16 . 52)) 1778 0.5711 5.9492 ((10 . 3) (12 . 4) (15 . 6) (16 . 8)) 1793 0.5713 4.4079 ((9 . 5) (13 . 6) (15 . 7) (16 . 8)) 1805 0.5712 5.7308 ((10 . 2) (12 . 3) (16 . 9) (17 . 10)) 1808 0.9997 3.0230 ((9 . 1) (10 . 2) (12 . 4) (13 . 5) (15 . 7) (16 . 8) (17 . 9)) 1817 0.5711 5.9706 ((10 . 15) (12 . 16) (13 . 19) (15 . 21)) 1867 0.5698 9.2061 ((9 . 2) (10 . 1) (15 . 8) (16 . 7)) 1894 0.5681 10.9460 ((9 . 15) (13 . 18) (16 . 21) (17 . 23)) 1896 0.4453 7.8570 ((9 . 21) (10 . 22) (12 . 23) (15 . 28)) 1897 0.5689 10.2083 ((9 . 35) (15 . 38) (16 . 39) (17 . 40)) 1908 0.1332 6.7331 ((9 . 6) (13 . 10) (15 . 14) (17 . 15)) 1909 0.5712 5.4848 ((9 . 32) (13 . 37) (15 . 38) (16 . 39)) 1913 0.5940 6.5013 ((10 . 4) (12 . 6) (13 . 7) (16 . 10) (17 . 12)) 1944 0.5713 4.9452 ((9 . 6) (13 . 7) (15 . 8) (16 . 9)) 1957 0.7139 4.9078 ((9 . 2) (10 . 3) (13 . 7) (15 . 8) (16 . 9)) 1961 0.2945 9.0317 ((9 . 18) (10 . 19) (12 . 20) (15 . 23)) 1967 0.5710 6.4348 ((9 . 6) (15 . 11) (16 . 13) (17 . 14)) 1972 0.5714 4.1275 ((10 . 16) (13 . 18) (15 . 19) (16 . 20)) 1992 0.7111 8.2209 ((9 . 5) (13 . 9) (15 . 10) (16 . 12) (17 . 14)) 1995 0.5680 11.0806 ((9 . 5) (10 . 7) (12 . 8) (13 . 11)) 2003 0.5708 7.1379 ((10 . 4) (12 . 5) (16 . 9) (17 . 10)) 2006 0.7137 5.3599 ((10 . 13) (12 . 14) (13 . 15) (16 . 18) (17 . 20)) 2045 0.5708 7.0950 ((12 . 1) (13 . 2) (16 . 3) (17 . 7)) 2048 0.5714 3.7908 ((9 . 5) (10 . 6) (15 . 12) (16 . 13)) 2063 0.5711 6.2530 ((10 . 42) (12 . 43) (15 . 46) (16 . 47)) 2065 0.5706 7.6450 ((10 . 16) (12 . 17) (13 . 18) (15 . 20)) 2067 0.5711 6.0607 ((10 . 55) (12 . 57) (13 . 60) (17 . 63)) 2072 0.5709 7.0667 ((9 . 3) (12 . 6) (13 . 7) (15 . 8)) 2081 0.5712 5.4538 ((10 . 3) (15 . 7) (16 . 9) (17 . 10)) 2083 0.4737 6.4735 ((12 . 1) (13 . 2) (15 . 3) (16 . 4) (17 . 5)) 2097 0.2477 7.5196 ((10 . 6) (12 . 7) (16 . 14) (17 . 16)) 2114 0.5707 7.5284 ((12 . 28) (13 . 29) (15 . 33) (16 . 34)) 2116 0.5713 4.4194 ((10 . 3) (12 . 4) (13 . 5) (17 . 8)) 2117 0.5704 8.1567 ((9 . 8) (13 . 12) (15 . 13) (16 . 14)) 2118 0.7127 6.8600 ((10 . 1) (12 . 4) (13 . 5) (15 . 6) (16 . 7)) 2122 0.5714 4.1606 ((10 . 1) (13 . 6) (15 . 7) (16 . 8)) 2166 0.5712 5.7880 ((10 . 7) (15 . 10) (16 . 12) (17 . 13)) 2179 0.9955 5.8777 ((9 . 3) (10 . 5) (12 . 6) (13 . 10) (15 . 12) (16 . 13) (17 . 20)) 2196 0.5712 5.5562 ((10 . 13) (12 . 14) (13 . 15) (16 . 19)) 2203 0.2944 11.0154 ((9 . 3) (10 . 1) (13 . 5) (15 . 8)) 2205 0.5712 5.7783 ((10 . 13) (12 . 15) (16 . 19) (17 . 20)) 2209 0.1997 5.5190 ((9 . 4) (12 . 5) (13 . 7) (15 . 8) (16 . 9)) 2220 0.4454 6.5141 ((9 . 1) (10 . 3) (12 . 4) (13 . 7)) 2243 0.5710 6.3942 ((12 . 51) (13 . 52) (16 . 54) (17 . 55)) 2244 0.5712 5.3816 ((10 . 70) (12 . 71) (13 . 74) (17 . 77)) 2248 0.5712 5.3964 ((9 . 20) (10 . 22) (15 . 26) (16 . 27)) 2249 0.5713 4.2911 ((10 . 11) (13 . 12) (15 . 14) (16 . 16)) 2269 0.7090 9.3318 ((10 . 6) (12 . 7) (13 . 8) (15 . 9) (16 . 10)) 2279 0.5710 6.5130 ((12 . 19) (13 . 20) (15 . 21) (16 . 22)) 2298 0.5713 5.1203 ((9 . 5) (13 . 8) (15 . 9) (16 . 10)) 2308 0.7085 9.5659 ((10 . 4) (12 . 5) (13 . 6) (15 . 7) (16 . 8)) 2340 0.6302 7.7538 ((9 . 10) (10 . 11) (12 . 13) (13 . 14) (15 . 15)) 2344 0.7129 6.6424 ((12 . 1) (13 . 3) (15 . 5) (16 . 6) (17 . 11)) 2364 0.5713 4.7442 ((9 . 6) (10 . 18) (12 . 19) (13 . 20)) 2381 0.5710 6.5787 ((9 . 2) (10 . 3) (12 . 4) (15 . 8)) 2389 0.7135 5.8325 ((10 . 9) (12 . 10) (13 . 11) (15 . 12) (16 . 14)) 2408 0.5712 5.4901 ((10 . 41) (12 . 42) (13 . 45) (16 . 47)) 2422 0.5700 8.9112 ((9 . 2) (10 . 6) (13 . 9) (15 . 10)) 2423 0.5709 6.8894 ((9 . 13) (12 . 14) (15 . 18) (16 . 19)) 2440 0.5701 8.6530 ((9 . 5) (10 . 7) (13 . 9) (15 . 10)) 2447 0.5707 7.3590 ((9 . 12) (13 . 13) (15 . 14) (16 . 15)) 2462 0.5708 7.1454 ((9 . 5) (10 . 6) (12 . 7) (15 . 10)) 2510 0.7138 5.2237 ((9 . 4) (10 . 5) (13 . 7) (15 . 8) (16 . 9)) 2519 0.1498 12.1623 ((9 . 1) (12 . 2) (15 . 4) (17 . 5)) 2525 0.7093 9.2068 ((10 . 41) (13 . 45) (15 . 46) (16 . 47) (17 . 48)) 2529 0.7109 8.3546 ((9 . 2) (10 . 3) (12 . 5) (13 . 6) (15 . 7)) 2533 0.5709 6.7798 ((9 . 3) (13 . 6) (15 . 7) (16 . 8)) 2551 0.5705 8.0357 ((9 . 6) (15 . 10) (16 . 11) (17 . 12)) 2552 0.5714 4.2657 ((9 . 2) (10 . 3) (13 . 5) (15 . 6)) 2556 0.5713 4.6550 ((10 . 11) (13 . 13) (15 . 14) (16 . 16)) 2561 0.5707 7.4534 ((9 . 5) (10 . 6) (12 . 7) (13 . 8)) 2595 0.5705 7.9197 ((9 . 5) (12 . 6) (13 . 9) (16 . 11)) 2619 0.7127 6.8776 ((10 . 1) (12 . 2) (13 . 3) (15 . 4) (16 . 5)) 2627 0.5704 8.2063 ((9 . 59) (13 . 60) (15 . 62) (16 . 64)) 2650 0.5710 6.4774 ((10 . 2) (15 . 4) (16 . 7) (17 . 8)) 2658 0.5704 8.2109 ((9 . 6) (15 . 11) (16 . 12) (17 . 13)) 2675 0.7080 9.7551 ((9 . 2) (10 . 3) (12 . 4) (16 . 10) (17 . 11)) 2682 0.5708 7.2072 ((9 . 16) (13 . 17) (15 . 18) (16 . 19)) 2696 0.5712 5.7474 ((10 . 32) (12 . 34) (13 . 35) (17 . 39)) 2731 0.1332 8.0556 ((9 . 3) (10 . 4) (12 . 5) (15 . 6)) 2733 0.5692 9.8767 ((9 . 5) (13 . 8) (15 . 9) (16 . 11)) 2755 0.7142 2.8603 ((9 . 4) (10 . 5) (13 . 6) (15 . 7) (16 . 8)) 2773 0.5711 5.9942 ((9 . 4) (10 . 5) (12 . 6) (15 . 8)) 2783 0.5704 8.1783 ((9 . 4) (10 . 6) (13 . 8) (15 . 9)) 2804 0.5707 7.5799 ((10 . 34) (12 . 36) (16 . 38) (17 . 40)) 2821 0.5709 6.9888 ((9 . 10) (13 . 11) (15 . 12) (16 . 13)) 2830 0.5713 4.5982 ((9 . 2) (13 . 3) (15 . 4) (16 . 5)) 2834 0.5712 5.8231 ((9 . 2) (13 . 6) (15 . 7) (16 . 8)) 2840 0.5711 6.2424 ((13 . 1) (15 . 3) (16 . 5) (17 . 6)) 2842 0.1993 6.0234 ((9 . 3) (10 . 5) (15 . 8) (16 . 9)) 2867 0.5711 6.1439 ((10 . 7) (12 . 8) (15 . 11) (16 . 12)) 2879 0.7131 6.3882 ((12 . 52) (13 . 53) (15 . 55) (16 . 56) (17 . 57)) 2886 0.6554 7.7286 ((10 . 34) (12 . 35) (13 . 37) (16 . 39) (17 . 41)) 2929 0.5702 8.6113 ((13 . 36) (15 . 37) (16 . 39) (17 . 40)) 2940 0.5700 8.8744 ((9 . 2) (10 . 4) (13 . 6) (15 . 9)) 2947 0.7140 4.5161 ((10 . 2) (12 . 3) (13 . 4) (15 . 5) (16 . 6)) 2966 0.7134 5.8681 ((10 . 3) (12 . 4) (13 . 9) (16 . 12) (17 . 13)) 2990 0.7136 5.6750 ((9 . 8) (10 . 9) (12 . 12) (16 . 15) (17 . 16)) 2999 0.5714 3.9256 ((13 . 2) (15 . 3) (16 . 4) (17 . 7)) 3019 0.7117 7.8232 ((12 . 19) (13 . 20) (15 . 21) (16 . 22) (17 . 25)) 3034 0.5710 6.6973 ((9 . 4) (12 . 7) (15 . 8) (16 . 9)) 3041 0.5711 6.3221 ((9 . 10) (13 . 14) (15 . 15) (16 . 16)) 3055 0.5713 4.8740 ((10 . 7) (12 . 8) (13 . 11) (16 . 13)) 3063 0.5704 8.2026 ((10 . 33) (15 . 34) (16 . 37) (17 . 38)) 3070 0.7138 5.0042 ((12 . 32) (13 . 33) (15 . 34) (16 . 35) (17 . 36)) 3084 0.5713 4.5355 ((9 . 4) (10 . 5) (13 . 9) (16 . 11)) 3102 0.6292 8.9670 ((10 . 68) (12 . 69) (13 . 70) (16 . 72) (17 . 74)) 3103 0.5710 6.6134 ((10 . 2) (12 . 3) (13 . 5) (15 . 6)) 3114 0.5711 6.0967 ((10 . 23) (12 . 24) (13 . 25) (15 . 27)) 3120 0.5714 3.3602 ((12 . 21) (13 . 22) (15 . 24) (16 . 25)) 3127 0.7121 7.4880 ((10 . 3) (12 . 4) (13 . 6) (15 . 7) (16 . 8)) 3147 0.7132 6.2631 ((10 . 5) (12 . 6) (13 . 7) (16 . 13) (17 . 15)) 3176 0.3778 14.3978 ((9 . 21) (15 . 23) (16 . 26) (17 . 27)) 3187 0.5711 6.3377 ((10 . 1) (12 . 2) (13 . 3) (16 . 5)) 3190 0.5711 5.9530 ((9 . 4) (13 . 9) (15 . 10) (16 . 11)) 3197 0.5714 3.9042 ((10 . 10) (13 . 12) (15 . 13) (16 . 14)) 3200 0.5710 6.7079 ((9 . 12) (13 . 13) (15 . 14) (16 . 15)) 3212 0.5705 8.0126 ((9 . 1) (10 . 3) (12 . 5) (15 . 7)) 3222 0.5709 6.8654 ((13 . 1) (15 . 2) (16 . 3) (17 . 4)) 3256 0.5705 7.9582 ((12 . 20) (13 . 21) (16 . 26) (17 . 28)) 3261 0.5712 5.5915 ((9 . 5) (13 . 6) (16 . 8) (17 . 9)) 3286 0.5712 5.5492 ((10 . 5) (13 . 7) (15 . 8) (16 . 9)) 3289 0.1993 7.2134 ((12 . 25) (13 . 27) (15 . 28) (16 . 29)) 3297 0.5711 6.2537 ((12 . 8) (13 . 9) (16 . 12) (17 . 13)) 3322 0.5714 4.0598 ((9 . 2) (13 . 3) (15 . 6) (16 . 7)) 3334 0.5703 8.3527 ((9 . 9) (10 . 10) (16 . 14) (17 . 15)) 3339 0.5712 5.7673 ((9 . 10) (13 . 15) (15 . 16) (16 . 17)) 3358 0.5710 6.5449 ((9 . 3) (10 . 4) (15 . 9) (16 . 10)) 3362 0.5713 4.5364 ((10 . 4) (13 . 6) (15 . 7) (16 . 8)) 3366 0.5713 4.5948 ((12 . 23) (13 . 24) (16 . 27) (17 . 28)) 3391 0.5713 4.9279 ((13 . 4) (15 . 5) (16 . 6) (17 . 8)) 3410 0.5713 4.4795 ((10 . 24) (13 . 28) (15 . 29) (16 . 30)) 3418 0.7137 5.4275 ((9 . 1) (10 . 2) (12 . 5) (16 . 6) (17 . 7)) 3446 0.4451 8.8161 ((9 . 1) (15 . 4) (16 . 5) (17 . 6)) 3472 0.5712 5.6275 ((10 . 1) (12 . 3) (13 . 4) (16 . 6)) 3481 0.5712 5.7384 ((13 . 2) (15 . 3) (16 . 4) (17 . 7)) 3489 0.2945 8.7984 ((10 . 2) (12 . 3) (13 . 4) (17 . 10)) 3495 0.5707 7.5856 ((10 . 1) (12 . 2) (13 . 3) (15 . 5)) 3496 0.5704 8.1021 ((10 . 19) (15 . 21) (16 . 22) (17 . 23)) 3533 0.5705 7.9927 ((12 . 1) (13 . 3) (15 . 6) (16 . 7)) 3537 0.5712 5.7348 ((13 . 7) (15 . 8) (16 . 9) (17 . 10)) 3538 0.5891 11.8081 ((9 . 13) (10 . 15) (15 . 17) (16 . 18) (17 . 20)) 3548 0.7137 5.3869 ((10 . 3) (12 . 4) (15 . 7) (16 . 8) (17 . 9)) 3549 0.3788 9.3679 ((13 . 3) (15 . 4) (16 . 5) (17 . 8)) 3561 0.7140 4.3169 ((10 . 22) (13 . 26) (15 . 27) (16 . 28) (17 . 30)) 3570 0.5702 8.5242 ((9 . 2) (10 . 4) (13 . 8) (15 . 9)) 3585 0.7136 5.6213 ((10 . 12) (12 . 13) (13 . 14) (15 . 15) (16 . 16)) 3626 0.5708 7.2468 ((10 . 2) (12 . 3) (13 . 6) (16 . 11)) 3628 0.7092 9.2273 ((9 . 5) (13 . 6) (15 . 7) (16 . 8) (17 . 9)) 3651 0.5713 4.6490 ((9 . 2) (10 . 5) (16 . 8) (17 . 13)) 3656 0.5668 11.9636 ((9 . 20) (12 . 22) (13 . 23) (15 . 25)) 3658 0.5710 6.4000 ((10 . 6) (12 . 7) (13 . 8) (15 . 9)) 3661 0.5712 5.6051 ((13 . 7) (15 . 10) (16 . 11) (17 . 12)) 3688 0.5655 12.7315 ((10 . 34) (12 . 35) (13 . 37) (16 . 38)) 3697 0.5706 7.8462 ((9 . 5) (10 . 6) (12 . 7) (15 . 9)) 3703 0.5710 6.6913 ((9 . 5) (13 . 6) (16 . 8) (17 . 9)) 3732 0.5713 4.6718 ((10 . 5) (13 . 7) (15 . 8) (16 . 9)) 3733 0.7140 4.3226 ((9 . 2) (10 . 3) (13 . 6) (15 . 7) (16 . 8)) 3740 0.7139 4.6979 ((10 . 2) (12 . 3) (13 . 4) (16 . 6) (17 . 7)) 3741 0.5710 6.4197 ((10 . 22) (12 . 23) (16 . 26) (17 . 27)) 3776 0.5713 4.5111 ((10 . 19) (12 . 20) (13 . 21) (16 . 24)) 3778 0.5942 5.4593 ((10 . 2) (12 . 3) (13 . 4) (15 . 5) (16 . 6)) 3787 0.7141 4.1888 ((9 . 18) (10 . 19) (13 . 21) (15 . 22) (16 . 23)) 3790 0.5713 5.0873 ((10 . 10) (12 . 13) (16 . 16) (17 . 18)) 3807 0.1500 5.8507 ((9 . 51) (10 . 43) (12 . 46) (13 . 47) (15 . 49) (16 . 50)) 3810 0.5711 6.2346 ((10 . 4) (12 . 6) (16 . 11) (17 . 14)) 3817 0.5710 6.4123 ((9 . 3) (10 . 5) (15 . 8) (16 . 9)) 3818 0.5712 5.5526 ((9 . 21) (10 . 23) (15 . 27) (16 . 28)) 3831 0.5713 4.4742 ((12 . 2) (15 . 4) (16 . 5) (17 . 6)) 3847 0.5713 4.9416 ((9 . 10) (15 . 15) (16 . 16) (17 . 17)) 3849 0.5694 9.7363 ((10 . 1) (15 . 4) (16 . 5) (17 . 8)) 3853 0.5711 5.9676 ((9 . 2) (13 . 3) (15 . 4) (16 . 6)) 3870 0.5714 3.8488 ((9 . 4) (10 . 5) (13 . 8) (15 . 9)) 3933 0.5710 6.7329 ((10 . 10) (12 . 11) (16 . 17) (17 . 18)) 3938 0.3790 6.7200 ((9 . 1) (13 . 4) (16 . 8) (17 . 9)) 3968 0.7141 4.1424 ((9 . 4) (10 . 5) (13 . 9) (15 . 10) (16 . 11)) 3986 0.5710 6.5256 ((10 . 21) (12 . 25) (16 . 28) (17 . 29)) 3990 0.3790 5.2245 ((10 . 16) (13 . 20) (15 . 21) (16 . 22)) 4005 0.7135 5.7698 ((10 . 2) (12 . 3) (13 . 4) (16 . 8) (17 . 9)) 4009 0.5678 11.2280 ((9 . 6) (10 . 7) (15 . 10) (16 . 13)) 4019 0.5710 6.4738 ((10 . 35) (12 . 36) (13 . 39) (15 . 41)) 4034 0.5709 7.0571 ((9 . 3) (10 . 5) (12 . 6) (15 . 8)) 4067 0.5707 7.4714 ((9 . 11) (13 . 14) (15 . 15) (16 . 16)) 4077 0.5675 11.4711 ((9 . 5) (15 . 9) (16 . 10) (17 . 11)) 4082 0.5710 6.5555 ((10 . 5) (12 . 6) (13 . 7) (15 . 9)) 4087 0.5713 4.9554 ((13 . 1) (15 . 4) (16 . 5) (17 . 6)) 4112 0.2477 7.8742 ((10 . 3) (12 . 4) (13 . 6) (15 . 8)) 4115 0.6315 3.9731 ((9 . 14) (10 . 15) (13 . 17) (15 . 18) (16 . 19)) 4140 0.5711 6.0745 ((10 . 21) (12 . 22) (13 . 23) (15 . 25)) 4151 0.7130 6.4827 ((9 . 4) (10 . 5) (13 . 7) (15 . 8) (16 . 9)) 4177 0.4451 8.8819 ((10 . 2) (15 . 6) (16 . 7) (17 . 8)) 4190 0.5709 6.8712 ((9 . 2) (15 . 7) (16 . 8) (17 . 9)) 4192 0.5714 4.1618 ((10 . 10) (13 . 13) (15 . 14) (16 . 15)) 4194 0.5713 5.1752 ((13 . 3) (15 . 4) (16 . 5) (17 . 6)) 4204 0.5713 4.5532 ((10 . 3) (13 . 5) (15 . 6) (16 . 7)) 4209 0.7108 8.4259 ((10 . 1) (12 . 2) (13 . 4) (16 . 5) (17 . 8)) 4210 0.8528 7.0754 ((9 . 3) (10 . 4) (12 . 5) (13 . 6) (15 . 7) (16 . 8)) 4226 0.5925 9.1620 ((9 . 5) (10 . 9) (13 . 12) (15 . 13) (16 . 14)) 4232 0.2945 7.4378 ((12 . 3) (13 . 4) (15 . 7) (16 . 6)) 4236 0.5713 5.2412 ((10 . 5) (12 . 6) (16 . 7) (17 . 8)) 4246 0.5704 8.2259 ((10 . 2) (12 . 3) (13 . 5) (16 . 8)) 4254 0.5711 6.0492 ((9 . 2) (12 . 3) (13 . 6) (15 . 7)) 4255 0.4732 9.2070 ((9 . 20) (12 . 23) (13 . 24) (15 . 25) (16 . 26)) 4257 0.5696 9.3934 ((9 . 2) (15 . 6) (16 . 8) (17 . 9)) 4265 0.7142 3.5800 ((9 . 22) (10 . 23) (13 . 26) (15 . 27) (16 . 29)) 4266 0.5713 5.0536 ((9 . 3) (10 . 4) (15 . 7) (16 . 8)) 4274 0.5712 5.6800 ((13 . 38) (15 . 39) (16 . 40) (17 . 41)) 4275 0.5714 4.1599 ((9 . 22) (10 . 23) (13 . 25) (16 . 28)) 4281 0.7134 5.9100 ((10 . 3) (12 . 4) (13 . 8) (15 . 9) (16 . 10)) 4284 0.5709 6.9980 ((9 . 2) (10 . 3) (12 . 4) (17 . 9)) 4299 0.5713 4.6990 ((9 . 7) (13 . 9) (15 . 10) (16 . 11)) 4301 0.5711 6.3359 ((10 . 1) (12 . 2) (13 . 3) (16 . 6)) 4326 0.5711 6.1721 ((9 . 8) (10 . 10) (13 . 15) (15 . 16)) 4332 0.5713 4.3613 ((12 . 2) (13 . 4) (15 . 5) (16 . 6)) 4338 0.5711 6.2865 ((9 . 5) (10 . 6) (12 . 7) (13 . 8)) 4359 0.7138 5.1206 ((10 . 8) (12 . 9) (13 . 10) (16 . 13) (17 . 14)) 4380 0.5709 6.8115 ((12 . 24) (15 . 27) (16 . 29) (17 . 30)) 4383 0.5710 6.6311 ((12 . 15) (13 . 16) (16 . 18) (17 . 19)) 4386 0.5702 8.6214 ((9 . 17) (10 . 18) (12 . 19) (13 . 21)) 4388 0.5709 6.9967 ((13 . 3) (15 . 4) (16 . 6) (17 . 9)) 4398 0.7135 5.7801 ((9 . 5) (10 . 6) (13 . 8) (15 . 11) (16 . 12)) 4405 0.7114 8.0168 ((9 . 13) (13 . 14) (15 . 17) (16 . 18) (17 . 19)) 4408 0.7139 4.7683 ((10 . 1) (12 . 3) (13 . 4) (15 . 5) (16 . 6)) 4415 0.2945 6.5151 ((10 . 4) (13 . 9) (15 . 10) (17 . 11)) 4419 0.5700 8.8574 ((9 . 2) (10 . 3) (16 . 8) (17 . 9)) 4470 0.5711 6.0134 ((9 . 4) (10 . 12) (13 . 14) (15 . 15)) 4491 0.5714 4.1332 ((12 . 5) (13 . 6) (15 . 7) (16 . 8)) 4492 0.7136 5.5471 ((9 . 14) (10 . 16) (13 . 18) (15 . 19) (16 . 21)) 4495 0.5711 6.2188 ((9 . 5) (13 . 8) (15 . 9) (16 . 10)) 4497 0.5712 5.7428 ((10 . 25) (12 . 26) (13 . 27) (16 . 30)) 4502 0.7130 6.5828 ((9 . 7) (10 . 9) (13 . 11) (15 . 13) (16 . 14)) 4504 0.5711 6.2712 ((9 . 5) (10 . 6) (12 . 8) (15 . 12)) 4505 0.5713 4.8698 ((9 . 29) (10 . 30) (15 . 33) (16 . 34)) 4516 0.5713 4.7353 ((12 . 12) (13 . 14) (15 . 15) (16 . 16)) 4527 0.5710 6.5373 ((9 . 4) (12 . 6) (13 . 7) (16 . 8)) 4538 0.1992 10.7253 ((9 . 29) (10 . 32) (13 . 34) (16 . 38)) 4551 0.1993 5.4231 ((10 . 2) (13 . 4) (15 . 7) (16 . 8)) 4560 0.7119 7.6460 ((10 . 2) (12 . 4) (13 . 6) (15 . 7) (16 . 8)) 4561 0.5714 4.0581 ((9 . 4) (10 . 5) (15 . 8) (16 . 9)) 4562 0.5422 5.0551 ((9 . 21) (10 . 22) (13 . 25) (15 . 28) (16 . 29)) 4563 0.5706 7.7671 ((9 . 33) (10 . 34) (12 . 35) (15 . 37)) 4577 0.5712 5.7384 ((10 . 30) (12 . 31) (13 . 34) (15 . 36)) 4579 0.4453 7.7327 ((9 . 11) (15 . 16) (16 . 17) (17 . 18)) 4588 0.7128 6.7903 ((9 . 4) (10 . 7) (12 . 8) (13 . 9) (15 . 12)) 4589 0.7105 8.5859 ((9 . 21) (13 . 25) (15 . 26) (16 . 27) (17 . 30)) 4607 0.5701 8.6719 ((9 . 2) (10 . 3) (12 . 4) (15 . 8)) 4621 0.5709 6.7408 ((10 . 3) (12 . 4) (16 . 8) (17 . 9)) 4630 0.5711 6.2535 ((12 . 10) (13 . 11) (16 . 14) (17 . 15)) 4648 0.5712 5.5061 ((12 . 1) (15 . 3) (16 . 5) (17 . 8)) 4653 0.5714 4.2067 ((9 . 2) (13 . 5) (16 . 7) (17 . 8)) 4668 0.7140 4.3673 ((9 . 2) (10 . 5) (13 . 7) (15 . 8) (16 . 9)) 4669 0.5713 5.0075 ((9 . 16) (12 . 19) (13 . 21) (15 . 22)) 4671 0.5713 4.3024 ((12 . 1) (13 . 2) (15 . 3) (16 . 4)) 4674 0.3787 10.3531 ((9 . 5) (10 . 7) (12 . 8) (13 . 9)) 4678 0.4450 9.3977 ((10 . 10) (13 . 12) (16 . 14) (17 . 15)) 4731 0.5712 5.3567 ((9 . 20) (10 . 22) (12 . 23) (13 . 24)) 4857 0.5713 4.5622 ((12 . 2) (13 . 3) (15 . 4) (16 . 5)) 4886 0.5694 9.6762 ((9 . 27) (13 . 29) (16 . 31) (17 . 32)) 4888 0.5703 8.3904 ((10 . 9) (15 . 11) (16 . 14) (17 . 15)) 4889 0.5711 6.1182 ((10 . 7) (15 . 9) (16 . 11) (17 . 12)) 4907 0.5709 6.8217 ((10 . 1) (12 . 3) (16 . 8) (17 . 9)) 4914 0.5714 4.2672 ((10 . 4) (12 . 5) (16 . 10) (17 . 11)) 4921 0.5710 6.5145 ((10 . 7) (12 . 8) (13 . 9) (15 . 11)) 4929 0.5710 6.4399 ((10 . 31) (12 . 32) (13 . 33) (16 . 35)) 4932 0.7130 6.5767 ((10 . 1) (12 . 5) (13 . 6) (15 . 7) (16 . 8)) 4940 0.5713 4.5522 ((12 . 1) (13 . 3) (15 . 5) (16 . 6)) 4944 0.5710 6.4476 ((9 . 12) (12 . 13) (13 . 14) (16 . 16)) 4961 0.5708 7.1426 ((10 . 1) (13 . 3) (15 . 4) (16 . 6)) 4978 0.5712 5.7135 ((10 . 24) (12 . 25) (15 . 27) (16 . 28)) 4982 0.5712 5.8418 ((12 . 9) (13 . 10) (15 . 11) (16 . 12)) 4992 0.5713 4.4841 ((10 . 1) (12 . 2) (15 . 4) (16 . 6)) 4998 0.5708 7.3266 ((9 . 21) (13 . 23) (15 . 24) (16 . 25)) 5029 0.5711 6.2321 ((9 . 3) (13 . 6) (15 . 7) (16 . 8)) 5036 0.5710 6.4094 ((10 . 6) (12 . 7) (13 . 8) (16 . 10)) 5038 0.5704 8.1397 ((10 . 12) (12 . 14) (13 . 15) (16 . 18)) 5039 0.7138 5.2077 ((9 . 38) (10 . 39) (15 . 43) (16 . 44) (17 . 45)) 5044 0.4450 9.4448 ((10 . 2) (15 . 4) (16 . 8) (17 . 9)) 5046 0.5703 8.3687 ((10 . 4) (15 . 9) (16 . 8) (17 . 10)) 5053 0.5702 8.6083 ((9 . 8) (10 . 9) (12 . 10) (15 . 13)) 5065 0.7110 8.2738 ((9 . 1) (10 . 2) (12 . 3) (16 . 8) (17 . 9)) 5068 0.5709 6.9105 ((10 . 17) (13 . 20) (15 . 21) (16 . 24)) 5069 0.7093 9.2128 ((9 . 6) (13 . 15) (15 . 16) (16 . 17) (17 . 18)) 5073 0.5712 5.5413 ((9 . 33) (12 . 36) (15 . 38) (16 . 39)) 5083 0.5713 5.0996 ((9 . 3) (10 . 5) (12 . 6) (13 . 9)) 5101 0.5714 4.1261 ((10 . 21) (13 . 23) (15 . 24) (16 . 25)) 5103 0.7141 4.0902 ((9 . 3) (10 . 4) (13 . 6) (15 . 8) (16 . 9)) 5121 0.5711 6.1471 ((9 . 14) (10 . 16) (12 . 18) (13 . 21)) 5132 0.1498 7.1973 ((9 . 21) (13 . 26) (15 . 27) (17 . 28)) 5134 0.5714 3.4383 ((12 . 2) (13 . 3) (15 . 5) (16 . 6)) 5145 0.5701 8.6810 ((10 . 3) (13 . 5) (16 . 8) (17 . 10)) 5167 0.5710 6.5245 ((9 . 2) (10 . 3) (12 . 4) (15 . 7)) 5183 0.5713 5.0672 ((10 . 36) (12 . 37) (13 . 38) (15 . 39)) 5192 0.5412 8.9775 ((9 . 2) (10 . 3) (13 . 5) (15 . 6) (17 . 9)) 5198 0.3789 8.1678 ((13 . 24) (15 . 25) (16 . 26) (17 . 30)) 5209 0.7135 5.6862 ((12 . 3) (13 . 4) (15 . 6) (16 . 9) (17 . 10)) 5215 0.5713 4.9349 ((12 . 12) (15 . 14) (16 . 15) (17 . 16)) 5223 0.7128 6.7262 ((9 . 5) (10 . 6) (13 . 10) (15 . 11) (16 . 12)) 5231 0.5712 5.4451 ((10 . 8) (12 . 12) (13 . 13) (16 . 16)) 5266 0.5706 7.8284 ((9 . 1) (13 . 4) (15 . 5) (16 . 8)) 5278 0.7131 6.3957 ((10 . 2) (12 . 5) (13 . 6) (16 . 8) (17 . 9)) 5307 0.5714 4.2718 ((13 . 53) (15 . 54) (16 . 55) (17 . 57)) 5312 0.5710 6.5086 ((10 . 1) (12 . 2) (13 . 3) (17 . 7)) 5318 0.5690 10.1773 ((9 . 6) (13 . 8) (15 . 9) (16 . 11)) 5323 0.5696 9.4895 ((9 . 3) (15 . 9) (16 . 10) (17 . 11)) 5324 0.5713 4.8974 ((9 . 6) (10 . 7) (13 . 12) (15 . 13)) 5344 0.5709 7.0331 ((10 . 2) (12 . 3) (13 . 4) (15 . 5)) 5345 0.5712 5.3717 ((10 . 7) (12 . 8) (13 . 12) (17 . 15)) 5368 0.7131 6.4570 ((10 . 33) (12 . 36) (13 . 37) (16 . 39) (17 . 41)) 5378 0.5713 4.7441 ((12 . 3) (13 . 4) (15 . 5) (16 . 7)) 5411 0.5702 8.5611 ((9 . 5) (10 . 6) (12 . 8) (15 . 9)) 5414 0.5711 6.1369 ((10 . 18) (12 . 19) (13 . 20) (16 . 22)) 5418 0.5711 6.0745 ((10 . 2) (12 . 3) (13 . 5) (16 . 9)) 5433 0.5705 8.0128 ((12 . 13) (13 . 16) (16 . 18) (17 . 20)) 5479 0.5710 6.4943 ((12 . 68) (13 . 69) (16 . 71) (17 . 72)) 5487 0.5705 8.0069 ((10 . 2) (13 . 7) (15 . 8) (16 . 9)) 5489 0.7128 6.7267 ((10 . 2) (12 . 5) (13 . 6) (16 . 9) (17 . 10)) 5500 0.5710 6.3562 ((9 . 10) (13 . 12) (15 . 13) (16 . 14)) 5501 0.5676 11.3929 ((9 . 26) (10 . 25) (13 . 30) (15 . 32)) 5535 0.5709 6.8109 ((10 . 4) (13 . 7) (16 . 10) (17 . 11)) 5540 0.5714 3.8826 ((12 . 15) (13 . 16) (15 . 17) (16 . 18)) 5557 0.7129 6.6771 ((10 . 2) (12 . 3) (13 . 4) (15 . 5) (16 . 6)) 5560 0.5713 4.4264 ((9 . 14) (13 . 15) (15 . 18) (16 . 20)) 5562 0.5713 4.3954 ((12 . 6) (13 . 7) (15 . 9) (16 . 11)) 5567 0.5714 4.2487 ((10 . 8) (13 . 11) (15 . 14) (16 . 15)) 5594 0.5712 5.2871 ((10 . 6) (13 . 9) (15 . 10) (16 . 12)) 5600 0.5712 5.5961 ((12 . 5) (13 . 6) (15 . 7) (16 . 9)) 5601 0.5708 7.1758 ((12 . 5) (13 . 7) (15 . 9) (16 . 10)) 5638 0.5710 6.6522 ((9 . 12) (10 . 9) (13 . 13) (15 . 14)) 5640 0.5713 5.1473 ((10 . 9) (12 . 10) (16 . 16) (17 . 17)) 5644 0.3789 7.7765 ((10 . 4) (13 . 8) (16 . 11) (17 . 12)) 5656 0.5711 6.0286 ((9 . 20) (10 . 21) (12 . 23) (15 . 25)) 5700 0.5708 7.2279 ((10 . 2) (12 . 3) (13 . 4) (16 . 6)) 5701 0.5710 6.4301 ((9 . 3) (10 . 4) (12 . 5) (13 . 6)) 5703 0.5712 5.7827 ((10 . 1) (12 . 2) (16 . 6) (17 . 7)) 5711 0.5710 6.6685 ((10 . 35) (12 . 36) (16 . 42) (17 . 43)) 5713 0.5713 4.8147 ((10 . 10) (12 . 11) (16 . 18) (17 . 19)) 5718 0.7103 8.6774 ((9 . 15) (10 . 16) (12 . 17) (16 . 23) (17 . 24)) 5731 0.5706 7.6154 ((12 . 7) (13 . 9) (16 . 11) (17 . 13)) 5746 0.5713 4.8183 ((9 . 1) (10 . 2) (12 . 3) (16 . 7)) 5749 0.5704 8.1955 ((10 . 4) (12 . 5) (13 . 6) (15 . 8)) 5761 0.5712 5.8742 ((10 . 30) (12 . 31) (13 . 32) (15 . 33)) 5770 0.1992 8.8556 ((9 . 5) (10 . 6) (13 . 8) (17 . 15)) 5771 0.5701 8.7160 ((13 . 9) (15 . 10) (16 . 13) (17 . 14)) 5782 0.7096 9.0582 ((9 . 17) (12 . 21) (13 . 22) (15 . 23) (16 . 24)) 5789 0.1664 10.7242 ((9 . 1) (12 . 2) (15 . 3) (17 . 5)) 5794 0.7135 5.8249 ((12 . 18) (13 . 19) (15 . 22) (16 . 23) (17 . 24)) 5795 0.5709 7.0010 ((9 . 11) (13 . 13) (15 . 15) (16 . 16)) 5809 0.7128 6.8298 ((9 . 4) (10 . 5) (13 . 7) (15 . 8) (16 . 9)) 5822 0.5710 6.3696 ((13 . 4) (15 . 5) (16 . 7) (17 . 8)) 5827 0.7140 4.5193 ((10 . 3) (12 . 4) (13 . 5) (15 . 6) (16 . 8)) 5830 0.1993 8.5990 ((13 . 1) (15 . 5) (16 . 6) (17 . 7)) 5847 0.5712 5.6832 ((12 . 12) (13 . 13) (16 . 17) (17 . 18)) 5861 0.5712 5.4246 ((10 . 21) (12 . 22) (16 . 26) (17 . 27)) 5865 0.5713 4.7354 ((12 . 4) (13 . 5) (15 . 6) (16 . 7)) 5888 0.7138 5.1556 ((10 . 10) (12 . 11) (13 . 12) (16 . 16) (17 . 17)) 5896 0.5712 5.8760 ((12 . 28) (13 . 29) (15 . 30) (16 . 31)) 5904 0.5710 6.5761 ((9 . 3) (13 . 7) (15 . 8) (16 . 9)) 5913 0.5710 6.7129 ((9 . 14) (13 . 17) (16 . 20) (17 . 22)) 5914 0.5703 8.4259 ((10 . 2) (12 . 3) (15 . 7) (16 . 6)) 5922 0.0999 9.1977 ((10 . 9) (12 . 10) (13 . 11) (16 . 13)) 5930 0.1993 7.3466 ((9 . 3) (13 . 4) (15 . 6) (16 . 7)) 5939 0.5712 5.5618 ((13 . 2) (15 . 3) (16 . 4) (17 . 6)) 5945 0.5713 4.4530 ((10 . 26) (15 . 31) (16 . 32) (17 . 33)) 5949 0.5713 4.4946 ((9 . 8) (13 . 9) (15 . 11) (16 . 12)) 5955 0.5711 5.9524 ((9 . 2) (10 . 3) (15 . 6) (16 . 7)) 5967 0.5714 4.1799 ((9 . 2) (10 . 3) (13 . 7) (15 . 8)) 5972 0.2477 9.4265 ((9 . 1) (15 . 5) (16 . 6) (17 . 7)) 5977 0.5714 3.8238 ((13 . 1) (15 . 2) (16 . 3) (17 . 6)) 6000 0.3787 10.3027 ((9 . 27) (13 . 28) (15 . 30) (16 . 31)) 6011 0.5712 5.3957 ((10 . 7) (12 . 8) (13 . 9) (16 . 11)) 6022 0.5712 5.6055 ((10 . 2) (12 . 4) (16 . 8) (17 . 9)) 6029 0.5711 6.1262 ((12 . 5) (13 . 6) (15 . 7) (16 . 10)) 6041 0.5713 4.4919 ((13 . 8) (15 . 9) (16 . 10) (17 . 11)) 6046 0.5712 5.7565 ((10 . 3) (12 . 5) (13 . 6) (15 . 7)) 6061 0.5706 7.7154 ((10 . 13) (12 . 14) (15 . 16) (16 . 17)) 6074 0.5713 4.3470 ((9 . 3) (10 . 4) (15 . 7) (16 . 8)) 6075 0.5713 4.6218 ((9 . 19) (10 . 21) (13 . 24) (16 . 27)) 6079 0.5710 6.5067 ((9 . 2) (13 . 6) (16 . 8) (17 . 9)) 6087 0.5710 6.4264 ((9 . 4) (13 . 8) (15 . 9) (16 . 10)) 6089 0.5652 12.8605 ((9 . 13) (13 . 16) (15 . 19) (17 . 21)) 6094 0.5710 6.4951 ((10 . 10) (12 . 11) (16 . 15) (17 . 16)) 6099 0.5711 5.9753 ((12 . 9) (13 . 10) (16 . 13) (17 . 14)) 6123 0.5697 9.2763 ((10 . 3) (12 . 4) (13 . 5) (15 . 7)) 6142 0.7135 5.7556 ((10 . 12) (12 . 13) (13 . 14) (16 . 16) (17 . 18)) 6148 0.4453 7.6946 ((10 . 32) (12 . 33) (13 . 34) (15 . 35)) 6167 0.5711 6.1993 ((12 . 12) (13 . 14) (16 . 20) (17 . 21)) 6173 0.5712 5.3119 ((10 . 4) (12 . 5) (16 . 9) (17 . 11)) 6191 0.3787 10.3145 ((9 . 5) (10 . 6) (12 . 9) (13 . 10)) 6192 0.5710 6.6318 ((9 . 2) (10 . 3) (13 . 5) (17 . 10)) 6215 0.5713 4.3830 ((10 . 18) (12 . 19) (15 . 22) (16 . 24)) 6225 0.5714 3.5024 ((9 . 2) (10 . 3) (12 . 4) (13 . 5)) 6228 0.5714 4.2737 ((10 . 1) (13 . 3) (15 . 4) (16 . 5)) 6234 0.5711 6.0776 ((10 . 6) (12 . 7) (13 . 9) (16 . 13)) 6238 0.7120 7.5770 ((10 . 3) (12 . 4) (13 . 5) (16 . 8) (17 . 9)) 6243 0.5713 4.3651 ((12 . 2) (13 . 3) (15 . 5) (16 . 6)) 6251 0.1993 6.2564 ((9 . 9) (10 . 10) (15 . 14) (16 . 15)) 6258 0.5701 8.6957 ((9 . 8) (10 . 10) (13 . 12) (15 . 14)) 6261 0.7109 8.3171 ((9 . 2) (10 . 6) (13 . 9) (15 . 10) (16 . 11)) 6266 0.5711 6.0849 ((9 . 4) (10 . 6) (13 . 8) (15 . 9)) 6270 0.5714 4.0020 ((12 . 17) (13 . 18) (15 . 19) (16 . 20)) 6271 0.5712 5.8650 ((13 . 8) (15 . 9) (16 . 10) (17 . 11)) 6273 0.4451 9.1685 ((10 . 2) (15 . 5) (16 . 6) (17 . 7)) 6294 0.5713 4.4911 ((9 . 10) (10 . 11) (13 . 14) (16 . 16)) 6306 0.5710 6.3932 ((13 . 17) (15 . 18) (16 . 19) (17 . 21)) 6309 0.5676 11.3512 ((10 . 18) (15 . 26) (16 . 25) (17 . 27)) 6326 0.5714 3.1476 ((10 . 4) (12 . 5) (16 . 9) (17 . 10)) 6338 0.5699 9.0111 ((10 . 1) (13 . 4) (16 . 7) (17 . 8)) 6344 0.5714 4.1686 ((13 . 1) (15 . 2) (16 . 3) (17 . 4)) 6345 0.5711 5.9661 ((9 . 2) (12 . 6) (13 . 7) (15 . 8)) 6348 0.5713 4.8861 ((9 . 3) (10 . 4) (15 . 8) (16 . 9)) 6355 0.5713 4.8691 ((10 . 6) (12 . 7) (16 . 11) (17 . 12)) 6356 0.5700 8.7896 ((9 . 8) (10 . 9) (13 . 11) (15 . 12)) 6369 0.7127 6.9272 ((9 . 25) (10 . 26) (13 . 29) (15 . 30) (16 . 31)) 6376 0.5713 4.5049 ((9 . 18) (10 . 19) (13 . 24) (16 . 26)) 6391 0.5709 6.7537 ((10 . 8) (12 . 10) (13 . 12) (16 . 14)) 6392 0.2945 8.9608 ((9 . 2) (10 . 1) (12 . 3) (15 . 6)) 6399 0.7124 7.2170 ((10 . 6) (12 . 7) (13 . 8) (16 . 11) (17 . 12)) 6403 0.7141 4.0789 ((10 . 13) (12 . 14) (13 . 15) (15 . 16) (16 . 17)) 6434 0.2946 5.3813 ((9 . 1) (13 . 2) (16 . 4) (17 . 5)) 6462 0.5713 4.6728 ((9 . 11) (10 . 18) (13 . 20) (15 . 21)) 6498 0.5713 5.2503 ((10 . 1) (12 . 2) (13 . 3) (15 . 5)) 6520 0.5712 5.7320 ((10 . 10) (13 . 13) (16 . 15) (17 . 16)) 6539 0.5713 4.3957 ((12 . 4) (13 . 5) (15 . 7) (16 . 8)) 6540 0.5704 8.2513 ((12 . 16) (13 . 17) (16 . 20) (17 . 21)) 6548 0.5712 5.3138 ((10 . 5) (13 . 7) (16 . 9) (17 . 12)) 6553 0.5695 9.5378 ((9 . 19) (10 . 20) (13 . 23) (15 . 27)) 6555 0.5702 8.5698 ((9 . 12) (10 . 13) (13 . 17) (16 . 20)) 6561 0.8541 6.4752 ((9 . 5) (10 . 9) (12 . 10) (13 . 12) (16 . 13) (17 . 15)) 6573 0.2946 5.4660 ((9 . 15) (13 . 17) (15 . 18) (16 . 19)) 6578 0.5710 6.5912 ((10 . 31) (12 . 32) (13 . 34) (16 . 38)) 6584 0.5706 7.6493 ((9 . 1) (10 . 2) (12 . 3) (16 . 6)) 6585 0.5713 5.2019 ((13 . 8) (15 . 9) (16 . 10) (17 . 11)) 6586 0.5714 3.7589 ((9 . 19) (15 . 23) (16 . 24) (17 . 25)) 6587 0.7138 5.1675 ((9 . 27) (13 . 29) (15 . 32) (16 . 33) (17 . 34)) 6598 0.7132 6.2457 ((9 . 12) (10 . 13) (13 . 17) (16 . 20) (17 . 21)) 6613 0.5713 4.7639 ((12 . 21) (13 . 22) (15 . 23) (16 . 24)) 6635 0.5706 7.6807 ((9 . 2) (12 . 4) (13 . 5) (16 . 7)) END