4674 25 0.4425 13.0842 ((3 . 2) (4 . 4) (5 . 5) (9 . 11)) 41 0.1495 12.1154 ((4 . 2) (5 . 4) (6 . 3) (9 . 7)) 51 0.4444 5.0741 ((1 . 2) (2 . 6) (7 . 10) (9 . 13)) 62 0.3524 10.3531 ((5 . 9) (7 . 10) (8 . 12) (9 . 13)) 64 0.4441 8.3208 ((2 . 9) (6 . 12) (8 . 13) (9 . 14)) 77 0.5552 6.5150 ((1 . 7) (2 . 8) (4 . 10) (8 . 13) (9 . 15)) 91 0.4442 7.6405 ((3 . 23) (4 . 25) (5 . 27) (7 . 28)) 96 0.4443 6.7992 ((2 . 1) (4 . 2) (8 . 5) (9 . 6)) 129 0.4440 8.8738 ((6 . 3) (7 . 5) (8 . 8) (9 . 9)) 136 0.4830 10.2349 ((4 . 2) (5 . 4) (7 . 5) (8 . 7) (9 . 8)) 153 0.4443 6.1885 ((2 . 4) (6 . 8) (8 . 9) (9 . 10)) 155 0.4441 8.2203 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 157 0.4439 9.4880 ((2 . 3) (4 . 4) (5 . 6) (7 . 8)) 161 0.3936 5.7307 ((1 . 4) (2 . 6) (4 . 7) (6 . 10)) 162 0.2861 10.5516 ((1 . 12) (4 . 16) (6 . 17) (9 . 22)) 169 0.4443 7.3176 ((1 . 5) (2 . 7) (7 . 9) (8 . 10)) 177 0.5552 6.3655 ((1 . 1) (2 . 2) (6 . 5) (8 . 8) (9 . 10)) 191 0.4443 6.1915 ((1 . 1) (2 . 2) (8 . 6) (9 . 7)) 198 0.4443 6.8873 ((1 . 7) (2 . 8) (8 . 16) (9 . 17)) 207 0.2441 9.3380 ((1 . 13) (3 . 14) (4 . 16) (5 . 17)) 233 0.4444 5.4121 ((1 . 1) (2 . 2) (7 . 7) (8 . 8)) 300 0.5551 6.7024 ((2 . 2) (4 . 3) (5 . 4) (6 . 9) (8 . 10)) 305 0.5550 7.2487 ((1 . 16) (2 . 17) (5 . 20) (6 . 21) (8 . 22)) 307 0.4436 10.4957 ((2 . 1) (4 . 2) (5 . 6) (9 . 9)) 350 0.4444 5.6918 ((1 . 7) (7 . 15) (8 . 16) (9 . 17)) 360 0.5549 7.6537 ((1 . 3) (2 . 5) (6 . 9) (8 . 10) (9 . 12)) 361 0.4443 6.5858 ((3 . 7) (4 . 8) (5 . 9) (6 . 10)) 365 0.4441 8.6730 ((6 . 1) (7 . 2) (8 . 3) (9 . 4)) 367 0.4443 6.6073 ((1 . 40) (2 . 42) (6 . 47) (8 . 48)) 372 0.4438 9.7641 ((6 . 5) (7 . 6) (8 . 7) (9 . 8)) 387 0.4438 10.0232 ((1 . 1) (7 . 9) (8 . 10) (9 . 11)) 405 0.4442 7.7019 ((1 . 32) (2 . 33) (6 . 39) (8 . 40)) 417 0.4442 7.9720 ((2 . 1) (6 . 5) (8 . 7) (9 . 9)) 420 0.4441 8.7564 ((1 . 1) (2 . 2) (8 . 8) (9 . 9)) 433 0.3525 9.1155 ((1 . 1) (3 . 2) (4 . 3) (5 . 4)) 442 0.5549 7.5518 ((1 . 6) (3 . 9) (5 . 11) (6 . 12) (9 . 14)) 460 0.4444 4.6861 ((1 . 1) (6 . 6) (8 . 7) (9 . 8)) 472 0.4413 14.8484 ((2 . 21) (4 . 23) (8 . 25) (9 . 27)) 491 0.1980 8.3642 ((2 . 6) (3 . 5) (7 . 8) (8 . 10)) 495 0.4444 5.7064 ((1 . 8) (2 . 9) (3 . 10) (5 . 12)) 541 0.4443 6.4358 ((5 . 13) (6 . 14) (8 . 16) (9 . 17)) 543 0.4442 7.9259 ((5 . 3) (6 . 4) (7 . 5) (8 . 6)) 561 0.1980 8.6590 ((1 . 1) (2 . 3) (3 . 2) (4 . 5)) 584 0.4440 9.0401 ((5 . 2) (7 . 3) (8 . 4) (9 . 5)) 587 0.4444 5.5079 ((1 . 10) (2 . 11) (8 . 15) (9 . 16)) 609 0.4437 10.2911 ((1 . 1) (3 . 2) (5 . 5) (8 . 6)) 619 0.4437 10.2389 ((1 . 11) (2 . 12) (5 . 14) (9 . 18)) 624 0.4443 6.4687 ((1 . 20) (2 . 22) (6 . 24) (8 . 26)) 635 0.4435 10.8977 ((3 . 9) (7 . 13) (8 . 14) (9 . 15)) 672 0.4434 11.2380 ((3 . 19) (6 . 23) (8 . 24) (9 . 26)) 678 0.4442 8.0038 ((1 . 22) (3 . 23) (5 . 27) (8 . 29)) 719 0.2441 7.9266 ((1 . 23) (2 . 25) (4 . 29) (5 . 31)) 729 0.4440 9.1014 ((4 . 8) (5 . 12) (8 . 13) (9 . 15)) 735 0.4444 5.7635 ((2 . 29) (3 . 30) (8 . 37) (9 . 39)) 765 0.4444 4.5034 ((2 . 3) (6 . 8) (7 . 9) (8 . 12)) 767 0.1495 6.2890 ((1 . 1) (3 . 2) (6 . 9) (8 . 12)) 795 0.4444 5.8206 ((5 . 2) (6 . 3) (8 . 5) (9 . 6)) 812 0.1980 9.5648 ((2 . 9) (3 . 10) (5 . 12) (6 . 13)) 818 0.4436 10.6786 ((1 . 7) (3 . 9) (8 . 14) (9 . 16)) 819 0.3769 5.9187 ((1 . 2) (2 . 3) (6 . 5) (8 . 8) (9 . 9)) 824 0.3525 8.0279 ((1 . 43) (7 . 50) (8 . 51) (9 . 53)) 834 0.4440 8.9541 ((1 . 32) (2 . 33) (3 . 34) (4 . 35)) 861 0.4441 8.2009 ((1 . 2) (2 . 3) (4 . 4) (5 . 5)) 901 0.4440 8.9284 ((4 . 13) (5 . 14) (6 . 15) (9 . 17)) 904 0.4444 4.3299 ((1 . 2) (2 . 3) (3 . 4) (4 . 5)) 913 0.3936 6.3313 ((1 . 16) (2 . 17) (4 . 18) (5 . 21)) 928 0.4440 9.0959 ((1 . 1) (3 . 2) (8 . 7) (9 . 8)) 943 0.4443 6.9468 ((2 . 6) (4 . 7) (6 . 9) (9 . 12)) 945 0.4442 8.0122 ((1 . 14) (3 . 16) (4 . 18) (9 . 22)) 960 0.5545 8.4463 ((1 . 8) (2 . 9) (5 . 11) (6 . 12) (9 . 19)) 978 0.4434 11.3450 ((2 . 4) (4 . 5) (5 . 8) (9 . 10)) 980 0.4441 8.1751 ((1 . 1) (3 . 2) (4 . 4) (8 . 7)) 1005 0.1659 7.7309 ((1 . 1) (2 . 2) (4 . 4) (5 . 5)) 1007 0.4441 8.7219 ((3 . 4) (4 . 5) (5 . 6) (6 . 7)) 1008 0.4439 9.5835 ((2 . 8) (5 . 11) (7 . 13) (8 . 15)) 1034 0.5251 10.9370 ((1 . 21) (2 . 22) (4 . 24) (5 . 27) (9 . 29)) 1043 0.4443 6.1540 ((1 . 12) (2 . 14) (3 . 15) (4 . 16)) 1082 0.5547 8.0336 ((1 . 8) (2 . 9) (5 . 11) (6 . 12) (9 . 16)) 1084 0.4443 6.7212 ((2 . 3) (3 . 4) (4 . 6) (7 . 10)) 1121 0.2862 7.5064 ((5 . 1) (7 . 2) (8 . 3) (9 . 4)) 1165 0.5529 10.7169 ((1 . 3) (2 . 4) (4 . 6) (5 . 9) (9 . 12)) 1167 0.1980 5.6810 ((5 . 19) (7 . 20) (8 . 21) (9 . 22)) 1169 0.4440 9.2672 ((6 . 29) (7 . 30) (8 . 31) (9 . 32)) 1195 0.4441 8.2497 ((3 . 1) (5 . 3) (8 . 5) (9 . 6)) 1201 0.4377 18.0327 ((1 . 7) (3 . 10) (7 . 14) (9 . 18)) 1204 0.4441 8.7202 ((3 . 18) (4 . 19) (5 . 21) (6 . 22)) 1211 0.4444 5.3455 ((2 . 4) (7 . 9) (8 . 10) (9 . 11)) 1217 0.3937 5.4614 ((1 . 5) (2 . 7) (4 . 8) (6 . 12)) 1224 0.4443 7.3583 ((2 . 3) (6 . 6) (8 . 7) (9 . 9)) 1233 0.5501 12.8899 ((2 . 17) (5 . 21) (7 . 22) (8 . 23) (9 . 24)) 1267 0.4439 9.4676 ((2 . 17) (5 . 20) (6 . 21) (7 . 22)) 1294 0.4443 6.8156 ((1 . 39) (2 . 40) (6 . 43) (9 . 46)) 1345 0.4443 6.1829 ((1 . 13) (2 . 14) (3 . 15) (5 . 17)) 1366 0.4444 5.6674 ((1 . 12) (7 . 20) (8 . 21) (9 . 22)) 1388 0.1980 8.6967 ((1 . 1) (3 . 2) (5 . 6) (9 . 8)) 1425 0.3525 7.8958 ((1 . 3) (2 . 4) (4 . 7) (7 . 12)) 1435 0.2862 5.2358 ((1 . 1) (2 . 2) (5 . 4) (7 . 5)) 1447 0.4430 12.2142 ((2 . 3) (4 . 4) (5 . 6) (9 . 9)) 1451 0.4443 7.3435 ((5 . 2) (7 . 3) (8 . 4) (9 . 5)) 1464 0.4444 6.0550 ((2 . 7) (4 . 9) (8 . 13) (9 . 14)) 1472 0.1495 4.8467 ((1 . 7) (2 . 8) (3 . 9) (4 . 10)) 1476 0.4439 9.5253 ((1 . 9) (3 . 10) (6 . 14) (9 . 18)) 1481 0.1980 8.6154 ((1 . 1) (2 . 2) (5 . 3) (9 . 7)) 1501 0.4444 5.3046 ((1 . 3) (2 . 4) (6 . 8) (7 . 9)) 1508 0.1495 8.9640 ((1 . 2) (2 . 5) (3 . 4) (4 . 6)) 1513 0.4443 6.4099 ((1 . 2) (2 . 3) (4 . 4) (9 . 11)) 1514 0.4437 10.3490 ((2 . 1) (5 . 2) (6 . 3) (7 . 4)) 1577 0.4438 9.8805 ((1 . 5) (5 . 11) (8 . 12) (9 . 15)) 1591 0.4442 8.0720 ((1 . 14) (3 . 15) (4 . 17) (8 . 19)) 1604 0.4441 8.1899 ((1 . 1) (2 . 3) (4 . 6) (7 . 10)) 1622 0.3932 10.7097 ((2 . 20) (4 . 21) (8 . 24) (9 . 25)) 1624 0.4442 7.7900 ((1 . 7) (2 . 8) (4 . 10) (5 . 11)) 1643 0.5552 6.4669 ((1 . 34) (2 . 36) (6 . 38) (8 . 39) (9 . 40)) 1644 0.4443 7.1469 ((1 . 46) (2 . 47) (6 . 51) (8 . 52)) 1665 0.4443 6.2646 ((5 . 7) (6 . 6) (8 . 8) (9 . 10)) 1690 0.4443 6.7167 ((2 . 13) (4 . 15) (6 . 18) (8 . 20)) 1692 0.4157 9.7214 ((2 . 1) (4 . 2) (7 . 7) (9 . 8)) 1731 0.4442 7.5834 ((1 . 6) (3 . 7) (8 . 12) (9 . 13)) 1736 0.0999 11.4036 ((2 . 3) (4 . 4) (5 . 6) (9 . 10)) 1738 0.1980 7.3830 ((3 . 16) (5 . 20) (6 . 21) (7 . 23)) 1747 0.4443 6.2816 ((4 . 22) (6 . 25) (8 . 27) (9 . 28)) 1756 0.4444 4.9319 ((1 . 21) (6 . 26) (7 . 29) (9 . 31)) 1759 0.4443 6.8294 ((1 . 2) (2 . 4) (8 . 10) (9 . 11)) 1761 0.5487 13.6665 ((2 . 11) (4 . 12) (5 . 14) (6 . 16) (9 . 19)) 1776 0.4440 8.8661 ((2 . 7) (4 . 8) (6 . 12) (9 . 14)) 1778 0.3935 8.0517 ((1 . 2) (2 . 3) (5 . 6) (7 . 8)) 1793 0.4444 5.6190 ((5 . 7) (6 . 8) (8 . 10) (9 . 11)) 1805 0.4440 9.0329 ((1 . 7) (2 . 8) (6 . 11) (8 . 12)) 1808 0.4443 6.7188 ((3 . 1) (6 . 6) (8 . 8) (9 . 9)) 1867 0.4441 8.3592 ((5 . 2) (7 . 3) (8 . 6) (9 . 7)) 1894 0.4444 4.8670 ((5 . 8) (6 . 12) (8 . 18) (9 . 26)) 1896 0.4443 6.2295 ((1 . 23) (2 . 24) (4 . 28) (5 . 30)) 1897 0.4435 10.9179 ((3 . 37) (4 . 38) (7 . 41) (8 . 43)) 1908 0.2862 7.4754 ((4 . 8) (5 . 9) (6 . 10) (9 . 15)) 1909 0.4442 7.4147 ((4 . 32) (5 . 33) (6 . 34) (9 . 37)) 1913 0.4442 7.8666 ((4 . 2) (6 . 5) (7 . 6) (8 . 7)) 1944 0.4442 8.0608 ((1 . 16) (2 . 17) (6 . 23) (8 . 24)) 1957 0.4441 8.6982 ((1 . 1) (3 . 2) (8 . 7) (9 . 9)) 1961 0.4444 5.9602 ((5 . 13) (6 . 15) (8 . 16) (9 . 20)) 1967 0.4441 8.4940 ((1 . 3) (3 . 4) (8 . 10) (9 . 13)) 1972 0.4442 8.1417 ((1 . 16) (3 . 17) (4 . 19) (8 . 24)) 1992 0.4440 8.8791 ((2 . 9) (4 . 10) (7 . 12) (8 . 14)) 1995 0.4442 7.8177 ((1 . 2) (2 . 3) (6 . 8) (8 . 11)) 2003 0.4443 6.1599 ((2 . 4) (6 . 9) (8 . 10) (9 . 12)) 2006 0.4444 5.7451 ((4 . 6) (6 . 8) (8 . 9) (9 . 10)) 2045 0.3936 6.4867 ((1 . 1) (2 . 2) (4 . 4) (5 . 5)) 2048 0.3525 8.5963 ((3 . 10) (4 . 12) (8 . 16) (9 . 17)) 2054 0.4444 4.8175 ((1 . 1) (2 . 2) (4 . 7) (5 . 9)) 2063 0.2861 8.3472 ((1 . 42) (2 . 43) (4 . 46) (7 . 50)) 2065 0.4442 7.5141 ((1 . 16) (2 . 17) (8 . 26) (9 . 27)) 2067 0.4442 7.5102 ((1 . 54) (2 . 55) (3 . 56) (6 . 60)) 2072 0.7776 3.7361 ((1 . 1) (2 . 2) (4 . 3) (6 . 4) (7 . 5) (8 . 6) (9 . 7)) 2081 0.4441 8.7082 ((4 . 16) (5 . 18) (8 . 20) (9 . 21)) 2083 0.4444 5.1429 ((5 . 3) (6 . 4) (7 . 5) (9 . 7)) 2097 0.4444 5.1635 ((5 . 2) (7 . 4) (8 . 5) (9 . 14)) 2114 0.4442 7.5201 ((1 . 34) (2 . 36) (4 . 37) (5 . 39)) 2116 0.4444 5.7555 ((2 . 2) (7 . 6) (8 . 7) (9 . 8)) 2117 0.4444 6.1114 ((1 . 5) (2 . 6) (4 . 8) (6 . 12)) 2118 0.4441 8.1975 ((1 . 4) (2 . 5) (4 . 6) (5 . 8)) 2122 0.5541 9.2827 ((1 . 12) (3 . 13) (4 . 16) (6 . 18) (8 . 22)) 2166 0.6628 9.4287 ((1 . 12) (2 . 13) (5 . 14) (6 . 15) (8 . 16) (9 . 17)) 2179 0.4443 6.3670 ((4 . 2) (5 . 3) (6 . 4) (8 . 6)) 2196 0.4442 7.7210 ((1 . 11) (2 . 12) (7 . 18) (8 . 19)) 2203 0.4438 9.8139 ((1 . 1) (3 . 3) (5 . 8) (9 . 10)) 2205 0.4444 6.1047 ((1 . 13) (2 . 15) (6 . 18) (9 . 22)) 2209 0.4434 11.1456 ((5 . 4) (7 . 5) (8 . 6) (9 . 7)) 2243 0.4444 5.6522 ((2 . 56) (6 . 62) (7 . 63) (8 . 64)) 2244 0.4444 6.0401 ((6 . 71) (7 . 73) (8 . 74) (9 . 75)) 2248 0.1495 10.0259 ((4 . 23) (5 . 26) (8 . 27) (9 . 28)) 2249 0.4444 5.3685 ((2 . 7) (4 . 8) (5 . 9) (9 . 12)) 2269 0.5517 11.8060 ((1 . 7) (2 . 8) (4 . 9) (5 . 11) (9 . 12)) 2279 0.4443 6.8985 ((1 . 10) (2 . 11) (6 . 19) (8 . 20)) 2298 0.4441 8.2374 ((4 . 2) (5 . 3) (6 . 4) (9 . 6)) 2308 0.4433 11.4532 ((2 . 6) (4 . 7) (5 . 10) (9 . 11)) 2314 0.4442 8.1529 ((1 . 2) (2 . 3) (6 . 7) (8 . 8)) 2340 0.4439 9.4972 ((5 . 10) (7 . 11) (8 . 13) (9 . 14)) 2344 0.4444 5.7168 ((1 . 11) (2 . 13) (5 . 17) (6 . 18)) 2364 0.4442 7.7765 ((2 . 4) (5 . 8) (7 . 9) (9 . 12)) 2381 0.4444 4.3554 ((5 . 2) (6 . 3) (8 . 4) (9 . 5)) 2389 0.4443 7.0156 ((1 . 5) (2 . 6) (7 . 10) (8 . 11)) 2408 0.4442 7.6877 ((1 . 32) (2 . 33) (6 . 39) (8 . 40)) 2409 0.3521 12.5955 ((5 . 1) (7 . 4) (8 . 5) (9 . 6)) 2422 0.4442 7.9935 ((5 . 2) (6 . 4) (8 . 7) (9 . 8)) 2423 0.5552 6.3655 ((1 . 20) (2 . 21) (5 . 23) (6 . 25) (8 . 26)) 2447 0.4440 9.0534 ((1 . 13) (3 . 14) (8 . 21) (9 . 24)) 2462 0.4443 6.3503 ((1 . 6) (2 . 7) (6 . 11) (8 . 12)) 2510 0.4442 7.5235 ((2 . 1) (5 . 4) (6 . 5) (9 . 7)) 2519 0.4434 11.1127 ((2 . 2) (4 . 3) (5 . 4) (8 . 5)) 2525 0.5106 7.6739 ((1 . 38) (2 . 41) (4 . 42) (6 . 45) (9 . 47)) 2529 0.4440 9.0345 ((5 . 2) (7 . 3) (8 . 5) (9 . 6)) 2533 0.4443 6.6556 ((2 . 6) (4 . 7) (6 . 9) (9 . 13)) 2551 0.4444 5.0071 ((3 . 6) (4 . 7) (5 . 8) (9 . 12)) 2552 0.4438 10.0198 ((2 . 1) (4 . 2) (5 . 4) (7 . 5)) 2556 0.4443 6.8231 ((1 . 11) (3 . 12) (8 . 18) (9 . 20)) 2557 0.4443 6.8384 ((2 . 3) (3 . 4) (4 . 5) (7 . 6)) 2561 0.3525 9.0144 ((5 . 5) (7 . 6) (8 . 7) (9 . 8)) 2595 0.4438 9.8791 ((2 . 1) (4 . 2) (5 . 5) (9 . 9)) 2619 0.4442 7.9758 ((1 . 2) (2 . 3) (4 . 4) (7 . 7)) 2650 0.3525 9.2072 ((5 . 4) (7 . 5) (8 . 6) (9 . 7)) 2658 0.4443 7.2409 ((4 . 8) (5 . 9) (8 . 12) (9 . 13)) 2675 0.4444 5.6817 ((1 . 1) (5 . 9) (8 . 11) (9 . 12)) 2682 0.4444 4.6102 ((2 . 12) (5 . 16) (6 . 17) (9 . 19)) 2696 0.4443 6.9505 ((5 . 33) (7 . 34) (8 . 35) (9 . 36)) 2733 0.4442 7.6817 ((1 . 1) (2 . 2) (5 . 5) (8 . 8)) 2755 0.4442 8.0325 ((2 . 3) (4 . 4) (7 . 6) (9 . 8)) 2773 0.5547 8.0955 ((1 . 2) (2 . 3) (5 . 4) (6 . 5) (8 . 6)) 2783 0.4442 7.5597 ((5 . 4) (7 . 6) (8 . 7) (9 . 8)) 2804 0.4440 9.0394 ((3 . 26) (4 . 27) (8 . 34) (9 . 36)) 2821 0.4434 11.3265 ((1 . 5) (4 . 10) (5 . 12) (6 . 11)) 2830 0.5518 11.7404 ((2 . 13) (4 . 14) (5 . 16) (6 . 17) (9 . 19)) 2834 0.4443 6.6727 ((1 . 8) (2 . 9) (3 . 10) (5 . 11)) 2840 0.4441 8.4200 ((1 . 1) (3 . 3) (4 . 7) (6 . 8)) 2867 0.3932 10.5086 ((1 . 8) (3 . 10) (4 . 11) (6 . 12)) 2879 0.4439 9.4439 ((6 . 53) (7 . 54) (8 . 56) (9 . 57)) 2886 0.4443 6.5576 ((1 . 33) (2 . 34) (7 . 39) (9 . 43)) 2940 0.5548 7.9215 ((2 . 1) (4 . 2) (6 . 4) (8 . 5) (9 . 6)) 2947 0.4443 6.7020 ((1 . 6) (2 . 7) (7 . 12) (8 . 13)) 2955 0.4443 6.5818 ((5 . 2) (6 . 3) (8 . 4) (9 . 5)) 2966 0.4444 4.9514 ((2 . 1) (3 . 2) (7 . 8) (8 . 9)) 2990 0.5521 11.4530 ((3 . 8) (5 . 13) (7 . 14) (8 . 15) (9 . 16)) 2999 0.4435 10.9210 ((2 . 2) (4 . 3) (5 . 5) (8 . 7)) 3014 0.0999 10.3841 ((3 . 16) (4 . 17) (5 . 18) (9 . 22)) 3019 0.4443 6.3987 ((1 . 19) (2 . 20) (4 . 21) (8 . 25)) 3034 0.4435 10.8653 ((2 . 1) (4 . 4) (5 . 6) (9 . 9)) 3041 0.4443 7.3284 ((1 . 12) (3 . 13) (5 . 17) (8 . 18)) 3055 0.4443 6.9601 ((1 . 15) (2 . 16) (8 . 23) (9 . 24)) 3063 0.4444 5.9938 ((1 . 35) (6 . 39) (8 . 41) (9 . 42)) 3070 0.3526 5.0845 ((1 . 32) (2 . 33) (4 . 34) (5 . 37)) 3084 0.4442 8.0959 ((1 . 3) (3 . 4) (6 . 7) (8 . 9)) 3102 0.4444 5.2983 ((1 . 70) (7 . 76) (8 . 77) (9 . 80)) 3103 0.4441 8.2955 ((6 . 1) (7 . 2) (8 . 3) (9 . 5)) 3114 0.4438 9.7885 ((1 . 24) (2 . 25) (4 . 27) (6 . 29)) 3120 0.4444 4.7027 ((1 . 21) (2 . 22) (3 . 23) (4 . 24)) 3127 0.5085 11.7443 ((2 . 3) (4 . 5) (5 . 7) (6 . 8) (9 . 11)) 3147 0.4443 6.6104 ((1 . 16) (2 . 17) (6 . 21) (8 . 22)) 3176 0.4442 8.0644 ((1 . 27) (2 . 29) (3 . 30) (5 . 31)) 3187 0.4443 6.2676 ((1 . 5) (2 . 6) (5 . 8) (6 . 9)) 3190 0.4438 9.8857 ((2 . 1) (4 . 2) (5 . 4) (9 . 9)) 3197 0.4441 8.5421 ((2 . 12) (4 . 13) (5 . 15) (6 . 16)) 3200 0.4444 5.9524 ((1 . 9) (2 . 11) (8 . 16) (9 . 18)) 3202 0.3416 27.5099 ((3 . 4) (4 . 5) (8 . 8) (9 . 9)) 3212 0.4442 7.5423 ((1 . 3) (2 . 5) (4 . 6) (6 . 9)) 3222 0.3521 12.2195 ((5 . 2) (7 . 3) (8 . 4) (9 . 6)) 3256 0.4442 7.4783 ((6 . 21) (7 . 24) (8 . 25) (9 . 26)) 3261 0.4444 4.7563 ((1 . 6) (2 . 7) (4 . 10) (5 . 11)) 3286 0.2441 8.9830 ((1 . 4) (2 . 5) (4 . 6) (7 . 9)) 3297 0.4443 7.2150 ((1 . 5) (6 . 9) (8 . 11) (9 . 12)) 3300 0.2862 7.0319 ((1 . 2) (2 . 4) (3 . 3) (5 . 10)) 3322 0.4442 7.5633 ((1 . 1) (2 . 3) (3 . 4) (4 . 6)) 3334 0.4441 8.3252 ((1 . 4) (2 . 5) (4 . 9) (6 . 10)) 3339 0.4443 7.0861 ((2 . 33) (3 . 34) (4 . 35) (5 . 36)) 3344 0.5107 6.9035 ((1 . 18) (2 . 19) (6 . 22) (7 . 24) (9 . 27)) 3358 0.4439 9.5410 ((2 . 2) (6 . 4) (7 . 7) (9 . 10)) 3362 0.4442 7.8071 ((1 . 4) (3 . 5) (6 . 10) (8 . 11)) 3366 0.4440 8.9562 ((1 . 24) (3 . 25) (7 . 28) (8 . 29)) 3391 0.4440 8.8075 ((2 . 4) (3 . 5) (8 . 10) (9 . 13)) 3410 0.4442 7.5039 ((1 . 19) (3 . 20) (8 . 28) (9 . 30)) 3418 0.4441 8.7330 ((3 . 1) (5 . 3) (8 . 6) (9 . 7)) 3446 0.1980 6.2759 ((1 . 5) (3 . 7) (4 . 8) (5 . 9)) 3472 0.5552 6.5329 ((1 . 1) (2 . 3) (6 . 8) (8 . 9) (9 . 11)) 3481 0.4442 8.1580 ((1 . 7) (2 . 8) (5 . 11) (6 . 12)) 3489 0.4443 6.3702 ((2 . 4) (6 . 10) (8 . 12) (9 . 14)) 3495 0.5541 9.2211 ((1 . 7) (2 . 8) (4 . 9) (5 . 10) (9 . 16)) 3496 0.5543 8.8414 ((1 . 22) (2 . 23) (4 . 24) (5 . 25) (9 . 29)) 3533 0.4437 10.4174 ((1 . 1) (2 . 3) (4 . 6) (6 . 8)) 3537 0.4434 11.3186 ((5 . 1) (6 . 2) (8 . 5) (9 . 6)) 3538 0.3766 10.2767 ((1 . 18) (2 . 20) (4 . 21) (5 . 22) (8 . 23)) 3548 0.4444 4.4249 ((2 . 2) (7 . 6) (8 . 8) (9 . 9)) 3549 0.4442 7.4716 ((2 . 2) (4 . 4) (6 . 5) (8 . 8)) 3561 0.4443 6.6318 ((5 . 27) (6 . 28) (8 . 30) (9 . 31)) 3570 0.5552 6.2839 ((1 . 1) (3 . 2) (5 . 6) (6 . 7) (8 . 8)) 3585 0.4442 7.7753 ((2 . 6) (7 . 12) (8 . 13) (9 . 14)) 3625 0.4430 12.1858 ((1 . 3) (2 . 5) (6 . 7) (8 . 9)) 3626 0.3523 11.0841 ((4 . 1) (7 . 6) (8 . 8) (9 . 11)) 3628 0.4441 8.6823 ((2 . 6) (4 . 7) (7 . 10) (9 . 12)) 3651 0.4443 7.3340 ((1 . 1) (3 . 2) (5 . 6) (8 . 8)) 3656 0.4440 8.9929 ((4 . 20) (5 . 21) (8 . 22) (9 . 23)) 3658 0.5544 8.7692 ((1 . 1) (3 . 2) (6 . 6) (8 . 7) (9 . 8)) 3659 0.4444 5.4885 ((4 . 3) (7 . 5) (8 . 7) (9 . 8)) 3661 0.4443 7.2178 ((1 . 12) (3 . 13) (4 . 14) (5 . 18)) 3663 0.4441 8.4478 ((2 . 1) (4 . 3) (5 . 4) (6 . 5)) 3688 0.4435 10.8290 ((2 . 26) (6 . 28) (8 . 30) (9 . 32)) 3697 0.4440 9.0790 ((1 . 1) (2 . 3) (8 . 6) (9 . 7)) 3703 0.4444 4.7787 ((1 . 6) (2 . 7) (4 . 10) (5 . 11)) 3732 0.4444 5.5129 ((1 . 2) (2 . 3) (3 . 4) (5 . 8)) 3733 0.4440 9.2191 ((2 . 1) (4 . 2) (5 . 4) (9 . 8)) 3740 0.4444 5.5202 ((2 . 1) (6 . 5) (8 . 6) (9 . 7)) 3741 0.5548 7.8710 ((1 . 22) (2 . 23) (7 . 27) (8 . 28) (9 . 32)) 3776 0.3525 7.7632 ((1 . 15) (3 . 16) (4 . 18) (8 . 24)) 3778 0.4443 6.6699 ((1 . 6) (2 . 7) (7 . 12) (8 . 13)) 3787 0.4442 8.0578 ((1 . 27) (3 . 28) (8 . 33) (9 . 35)) 3790 0.4444 4.3673 ((6 . 27) (7 . 28) (8 . 30) (9 . 31)) 3810 0.0999 7.4155 ((1 . 4) (2 . 6) (8 . 15) (9 . 16)) 3817 0.4412 14.9578 ((2 . 7) (4 . 8) (7 . 10) (8 . 11)) 3818 0.2861 10.3641 ((2 . 23) (4 . 24) (5 . 27) (8 . 28)) 3829 0.1980 10.9235 ((1 . 2) (3 . 4) (4 . 6) (5 . 8)) 3831 0.4438 9.9255 ((4 . 1) (6 . 3) (8 . 5) (9 . 6)) 3847 0.4440 9.1482 ((3 . 10) (4 . 11) (5 . 15) (8 . 17)) 3849 0.4444 4.7231 ((1 . 1) (7 . 3) (8 . 5) (9 . 8)) 3853 0.4429 12.3956 ((2 . 6) (4 . 7) (5 . 9) (9 . 12)) 3856 0.4442 7.4535 ((1 . 3) (2 . 6) (6 . 10) (8 . 12)) 3870 0.4442 7.4025 ((1 . 3) (3 . 4) (4 . 6) (8 . 8)) 3933 0.4444 5.9709 ((1 . 5) (2 . 6) (6 . 11) (7 . 13)) 3938 0.2861 8.5984 ((1 . 2) (2 . 4) (3 . 5) (6 . 9)) 3942 0.4444 6.1118 ((1 . 2) (2 . 3) (4 . 6) (5 . 8)) 3968 0.4442 7.4801 ((1 . 3) (3 . 4) (5 . 8) (8 . 11)) 3986 0.3524 9.6117 ((1 . 25) (2 . 26) (6 . 29) (7 . 30)) 3990 0.4440 8.9047 ((2 . 16) (5 . 19) (6 . 20) (9 . 22)) 4005 0.4444 4.7846 ((1 . 26) (2 . 27) (3 . 28) (7 . 33)) 4009 0.4437 10.4214 ((1 . 21) (2 . 22) (4 . 24) (5 . 25)) 4019 0.4443 7.0148 ((5 . 41) (6 . 42) (8 . 43) (9 . 44)) 4034 0.4444 4.6045 ((4 . 7) (5 . 8) (7 . 9) (9 . 11)) 4037 0.4444 5.6208 ((1 . 2) (2 . 3) (4 . 4) (5 . 5)) 4062 0.4443 6.5572 ((3 . 45) (4 . 47) (6 . 49) (8 . 50)) 4067 0.4442 7.9032 ((1 . 14) (3 . 15) (8 . 22) (9 . 24)) 4082 0.4442 7.9638 ((3 . 1) (4 . 2) (7 . 5) (8 . 6)) 4087 0.4441 8.2680 ((1 . 7) (2 . 8) (4 . 9) (5 . 10)) 4115 0.4441 8.5303 ((2 . 13) (4 . 14) (7 . 17) (9 . 19)) 4140 0.1980 8.2186 ((1 . 21) (2 . 22) (4 . 25) (5 . 26)) 4151 0.4444 5.9687 ((5 . 4) (6 . 5) (8 . 7) (9 . 9)) 4154 0.0999 8.3059 ((6 . 53) (7 . 54) (8 . 56) (9 . 57)) 4177 0.7765 5.8972 ((1 . 1) (2 . 2) (4 . 4) (5 . 6) (6 . 7) (8 . 8) (9 . 9)) 4190 0.5552 6.6031 ((1 . 1) (2 . 3) (4 . 6) (8 . 8) (9 . 9)) 4192 0.4437 10.2438 ((2 . 13) (4 . 14) (5 . 16) (8 . 19)) 4194 0.5544 8.7906 ((2 . 1) (4 . 2) (5 . 4) (8 . 6) (9 . 7)) 4195 0.4441 8.1822 ((1 . 14) (2 . 15) (4 . 17) (5 . 19)) 4204 0.4440 8.9229 ((2 . 3) (4 . 4) (7 . 7) (9 . 11)) 4209 0.4444 5.0150 ((1 . 1) (2 . 2) (7 . 7) (9 . 10)) 4210 0.4443 6.2493 ((5 . 3) (7 . 4) (8 . 5) (9 . 6)) 4226 0.5546 8.2779 ((1 . 11) (2 . 12) (5 . 17) (7 . 18) (8 . 19)) 4232 0.4440 9.2735 ((2 . 1) (6 . 3) (8 . 5) (9 . 6)) 4236 0.4444 5.5805 ((1 . 5) (2 . 6) (5 . 11) (6 . 10)) 4254 0.4439 9.4621 ((2 . 11) (4 . 14) (5 . 16) (6 . 17)) 4255 0.4444 3.7357 ((1 . 23) (6 . 26) (8 . 21) (9 . 24)) 4257 0.4420 13.8959 ((3 . 2) (5 . 4) (8 . 8) (9 . 9)) 4265 0.5538 9.7442 ((1 . 20) (2 . 21) (4 . 22) (5 . 25) (9 . 29)) 4266 0.5534 10.2303 ((2 . 6) (4 . 7) (6 . 8) (8 . 11) (9 . 12)) 4274 0.5529 10.7366 ((2 . 36) (4 . 37) (5 . 39) (6 . 40) (8 . 41)) 4275 0.4441 8.2633 ((4 . 22) (5 . 24) (8 . 27) (9 . 28)) 4281 0.4442 7.6975 ((1 . 3) (2 . 4) (4 . 6) (8 . 10)) 4284 0.4443 7.2742 ((1 . 4) (2 . 5) (6 . 9) (8 . 10)) 4299 0.4441 8.4002 ((1 . 11) (7 . 19) (8 . 20) (9 . 22)) 4301 0.4443 6.9113 ((1 . 1) (7 . 8) (8 . 9) (9 . 10)) 4326 0.4438 10.0340 ((2 . 7) (4 . 8) (5 . 14) (9 . 17)) 4332 0.4444 4.6169 ((1 . 2) (2 . 4) (4 . 5) (6 . 9)) 4338 0.4441 8.1824 ((5 . 5) (7 . 6) (8 . 7) (9 . 8)) 4352 0.4433 11.3957 ((3 . 1) (4 . 2) (5 . 4) (9 . 9)) 4359 0.4443 6.3181 ((1 . 17) (2 . 18) (6 . 22) (9 . 26)) 4380 0.4442 7.9159 ((1 . 23) (2 . 24) (8 . 31) (9 . 32)) 4383 0.4444 4.6484 ((1 . 14) (2 . 15) (7 . 19) (9 . 21)) 4386 0.4442 8.0200 ((4 . 15) (6 . 16) (8 . 18) (9 . 19)) 4388 0.4443 7.2901 ((1 . 12) (6 . 16) (8 . 17) (9 . 18)) 4398 0.4442 8.1533 ((2 . 4) (4 . 5) (7 . 8) (9 . 10)) 4405 0.4433 11.4581 ((1 . 14) (3 . 17) (5 . 20) (7 . 21)) 4408 0.4444 4.8010 ((6 . 1) (7 . 2) (8 . 3) (9 . 4)) 4415 0.1980 10.9570 ((2 . 1) (4 . 2) (6 . 4) (9 . 9)) 4419 0.4443 6.8814 ((2 . 3) (6 . 8) (8 . 9) (9 . 10)) 4426 0.4437 10.1922 ((2 . 2) (4 . 3) (6 . 4) (8 . 6)) 4470 0.4444 5.3427 ((1 . 2) (2 . 3) (8 . 9) (9 . 10)) 4491 0.0999 11.3227 ((2 . 1) (4 . 4) (6 . 6) (9 . 8)) 4492 0.4444 5.9624 ((1 . 3) (2 . 4) (4 . 6) (5 . 9)) 4495 0.4441 8.4993 ((4 . 12) (5 . 15) (6 . 16) (9 . 18)) 4497 0.5551 6.8797 ((2 . 18) (4 . 20) (7 . 24) (8 . 25) (9 . 26)) 4502 0.4442 8.1576 ((2 . 6) (4 . 7) (7 . 11) (9 . 14)) 4504 0.4441 8.4909 ((3 . 1) (5 . 5) (7 . 6) (8 . 8)) 4505 0.5547 8.0722 ((1 . 25) (2 . 26) (5 . 29) (6 . 30) (9 . 34)) 4516 0.4437 10.1815 ((1 . 10) (3 . 11) (6 . 14) (9 . 18)) 4527 0.4435 11.0882 ((2 . 1) (4 . 2) (6 . 6) (8 . 7)) 4538 0.3936 6.5065 ((2 . 30) (5 . 36) (7 . 37) (8 . 38)) 4560 0.4437 10.2369 ((2 . 1) (5 . 5) (8 . 6) (9 . 8)) 4561 0.4436 10.7363 ((2 . 7) (6 . 9) (7 . 12) (8 . 13)) 4562 0.4443 7.2671 ((2 . 19) (4 . 21) (8 . 25) (9 . 27)) 4563 0.4436 10.6303 ((3 . 30) (5 . 33) (8 . 34) (9 . 35)) 4577 0.4444 5.9635 ((1 . 32) (2 . 33) (7 . 37) (8 . 39)) 4579 0.4435 11.0675 ((3 . 11) (4 . 13) (5 . 16) (8 . 17)) 4588 0.5540 9.3209 ((2 . 1) (5 . 4) (7 . 7) (8 . 8) (9 . 9)) 4589 0.4444 5.9916 ((3 . 17) (6 . 19) (8 . 22) (9 . 23)) 4607 0.2860 12.4154 ((3 . 20) (5 . 23) (8 . 24) (9 . 27)) 4621 0.4444 5.8453 ((1 . 3) (2 . 4) (6 . 9) (8 . 11)) 4630 0.4442 7.4762 ((2 . 19) (6 . 24) (7 . 25) (8 . 26)) 4648 0.3935 8.3509 ((1 . 2) (3 . 3) (4 . 7) (6 . 8)) 4653 0.5533 10.2995 ((1 . 3) (2 . 4) (7 . 7) (8 . 8) (9 . 9)) 4668 0.4441 8.6296 ((1 . 1) (3 . 2) (8 . 9) (9 . 11)) 4669 0.4441 8.1878 ((2 . 12) (5 . 16) (6 . 17) (9 . 19)) 4671 0.4434 11.3385 ((2 . 2) (4 . 3) (5 . 5) (9 . 7)) 4674 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (8 . 8) (9 . 9)) 4678 0.1659 7.4419 ((2 . 6) (5 . 9) (7 . 10) (9 . 12)) 4713 0.4443 6.7376 ((6 . 3) (7 . 4) (8 . 5) (9 . 6)) 4715 0.3931 11.1959 ((1 . 3) (3 . 5) (4 . 7) (5 . 9)) 4731 0.4436 10.5417 ((1 . 18) (4 . 19) (5 . 20) (8 . 24)) 4734 0.2862 4.9691 ((6 . 2) (7 . 3) (8 . 5) (9 . 6)) 4857 0.4443 6.9156 ((1 . 3) (3 . 4) (7 . 9) (8 . 11)) 4886 0.4440 9.0011 ((3 . 7) (5 . 8) (6 . 9) (9 . 11)) 4888 0.4444 5.2591 ((1 . 14) (2 . 15) (4 . 18) (5 . 19)) 4889 0.4443 6.5205 ((1 . 6) (2 . 7) (7 . 11) (8 . 12)) 4907 0.3525 7.9254 ((5 . 2) (7 . 3) (8 . 4) (9 . 5)) 4914 0.4444 5.1983 ((2 . 1) (7 . 7) (8 . 8) (9 . 9)) 4921 0.4441 8.4647 ((1 . 9) (3 . 11) (6 . 14) (8 . 15)) 4929 0.4440 9.1597 ((2 . 26) (7 . 29) (8 . 31) (9 . 32)) 4932 0.4442 7.6265 ((2 . 1) (4 . 3) (6 . 6) (9 . 8)) 4940 0.4442 7.5937 ((1 . 1) (2 . 2) (5 . 5) (6 . 6)) 4944 0.4444 5.3876 ((3 . 10) (7 . 13) (8 . 14) (9 . 15)) 4961 0.4444 5.6227 ((1 . 7) (3 . 8) (8 . 14) (9 . 15)) 4978 0.4441 8.7306 ((5 . 20) (7 . 21) (8 . 22) (9 . 24)) 4982 0.4440 8.8661 ((1 . 9) (2 . 10) (4 . 11) (7 . 14)) 4992 0.1495 8.5523 ((1 . 3) (4 . 4) (5 . 7) (9 . 9)) 4998 0.3936 7.4526 ((2 . 25) (4 . 27) (5 . 28) (6 . 29)) 5029 0.4440 8.9236 ((1 . 2) (3 . 3) (5 . 7) (8 . 10)) 5036 0.4441 8.7544 ((2 . 4) (6 . 8) (8 . 9) (9 . 10)) 5038 0.3587 5.8189 ((1 . 10) (2 . 12) (5 . 13) (7 . 14) (8 . 15) (9 . 16)) 5039 0.5516 11.8924 ((2 . 37) (4 . 38) (5 . 40) (7 . 41) (9 . 44)) 5046 0.4443 6.8516 ((1 . 3) (2 . 4) (6 . 8) (8 . 10)) 5053 0.4442 7.6179 ((1 . 5) (2 . 6) (4 . 7) (8 . 9)) 5065 0.5554 5.2431 ((1 . 2) (2 . 3) (4 . 5) (8 . 10) (9 . 11)) 5068 0.3526 6.5490 ((1 . 4) (2 . 7) (5 . 11) (6 . 12)) 5069 0.4442 7.8757 ((1 . 2) (3 . 3) (5 . 8) (8 . 9)) 5073 0.4441 8.4563 ((2 . 32) (4 . 33) (5 . 35) (9 . 39)) 5101 0.4440 8.9276 ((1 . 1) (3 . 2) (8 . 7) (9 . 9)) 5103 0.4441 8.6757 ((2 . 2) (4 . 3) (7 . 6) (9 . 9)) 5121 0.4440 8.9005 ((1 . 21) (3 . 22) (6 . 25) (8 . 27)) 5132 0.5525 11.1005 ((2 . 16) (4 . 17) (5 . 19) (6 . 20) (9 . 22)) 5134 0.4431 11.8988 ((3 . 12) (5 . 16) (6 . 17) (9 . 19)) 5145 0.4443 7.2729 ((1 . 5) (2 . 8) (3 . 7) (4 . 9)) 5167 0.0999 6.5020 ((5 . 2) (6 . 1) (8 . 3) (9 . 4)) 5183 0.4436 10.4861 ((6 . 34) (7 . 35) (8 . 36) (9 . 37)) 5192 0.3928 12.4332 ((1 . 20) (2 . 21) (4 . 22) (5 . 23)) 5198 0.4437 10.3020 ((2 . 21) (5 . 23) (8 . 24) (9 . 26)) 5199 0.4442 8.0529 ((3 . 1) (6 . 4) (8 . 7) (9 . 8)) 5209 0.4440 9.1634 ((5 . 6) (7 . 7) (8 . 8) (9 . 9)) 5212 0.3933 10.3008 ((1 . 3) (3 . 7) (4 . 8) (5 . 9)) 5215 0.4443 6.3915 ((1 . 9) (2 . 10) (8 . 15) (9 . 16)) 5223 0.5523 11.3295 ((2 . 3) (3 . 4) (4 . 5) (5 . 7) (9 . 10)) 5231 0.4443 6.3150 ((5 . 9) (7 . 12) (8 . 13) (9 . 14)) 5266 0.4440 8.9059 ((2 . 2) (4 . 3) (7 . 6) (9 . 10)) 5278 0.4443 6.3049 ((2 . 2) (6 . 6) (8 . 9) (9 . 10)) 5307 0.5543 8.8231 ((2 . 51) (4 . 52) (5 . 54) (8 . 57) (9 . 58)) 5312 0.2441 10.7197 ((2 . 1) (6 . 4) (7 . 5) (8 . 7)) 5323 0.3524 9.4758 ((4 . 4) (5 . 8) (8 . 10) (9 . 11)) 5324 0.4442 7.5638 ((1 . 7) (3 . 8) (5 . 13) (8 . 14)) 5344 0.4444 6.1203 ((1 . 1) (2 . 2) (5 . 5) (9 . 8)) 5345 0.4444 5.9427 ((1 . 2) (2 . 3) (8 . 12) (9 . 13)) 5368 0.5551 6.8543 ((1 . 29) (2 . 30) (6 . 35) (8 . 36) (9 . 37)) 5378 0.4441 8.4191 ((2 . 7) (5 . 13) (8 . 15) (9 . 16)) 5411 0.4442 7.8729 ((4 . 1) (5 . 2) (6 . 3) (9 . 6)) 5414 0.5555 4.2065 ((1 . 14) (2 . 15) (7 . 20) (8 . 21) (9 . 22)) 5418 0.4442 7.9625 ((1 . 2) (2 . 3) (4 . 4) (6 . 8)) 5433 0.3525 8.5374 ((1 . 12) (2 . 13) (6 . 18) (7 . 20)) 5479 0.5552 6.4002 ((1 . 48) (2 . 54) (6 . 59) (8 . 60) (9 . 63)) 5487 0.4437 10.4000 ((2 . 7) (4 . 8) (5 . 10) (6 . 11)) 5489 0.4442 7.8733 ((1 . 5) (2 . 6) (7 . 11) (8 . 12)) 5500 0.4439 9.6829 ((3 . 6) (4 . 10) (6 . 12) (9 . 14)) 5501 0.4443 7.1927 ((3 . 21) (4 . 22) (7 . 24) (8 . 25)) 5525 0.0999 4.5895 ((1 . 7) (2 . 8) (3 . 9) (4 . 10)) 5535 0.5552 6.3884 ((1 . 2) (2 . 4) (3 . 5) (6 . 9) (8 . 11)) 5540 0.3936 7.0218 ((1 . 7) (2 . 8) (4 . 9) (5 . 13)) 5557 0.3525 8.7582 ((1 . 1) (2 . 2) (5 . 5) (7 . 6)) 5560 0.4440 9.0108 ((1 . 4) (3 . 5) (5 . 6) (8 . 9)) 5562 0.3525 8.8238 ((1 . 14) (3 . 15) (4 . 16) (5 . 20)) 5567 0.5540 9.3674 ((1 . 6) (2 . 8) (5 . 10) (6 . 11) (9 . 15)) 5594 0.4441 8.3300 ((2 . 1) (3 . 2) (8 . 6) (9 . 9)) 5600 0.3522 11.9442 ((3 . 4) (5 . 7) (7 . 9) (9 . 11)) 5601 0.4441 8.7319 ((2 . 1) (6 . 5) (7 . 7) (9 . 10)) 5638 0.4442 8.0821 ((1 . 8) (2 . 9) (4 . 12) (5 . 14)) 5640 0.5256 10.1452 ((1 . 11) (2 . 12) (6 . 17) (7 . 18) (8 . 19)) 5644 0.4441 8.2227 ((1 . 4) (7 . 12) (8 . 13) (9 . 14)) 5656 0.4444 4.4488 ((1 . 2) (2 . 3) (8 . 9) (9 . 10)) 5700 0.5543 8.9068 ((1 . 3) (2 . 4) (5 . 7) (7 . 9) (8 . 11)) 5701 0.4441 8.7264 ((1 . 4) (2 . 5) (5 . 7) (8 . 8)) 5703 0.4444 5.9476 ((1 . 2) (6 . 6) (8 . 7) (9 . 8)) 5711 0.4443 6.8404 ((2 . 29) (6 . 32) (8 . 35) (9 . 36)) 5713 0.5540 9.4496 ((1 . 16) (2 . 18) (6 . 22) (8 . 25) (9 . 27)) 5718 0.4444 5.9206 ((1 . 14) (5 . 22) (8 . 24) (9 . 25)) 5731 0.4444 5.0488 ((3 . 8) (6 . 11) (7 . 12) (8 . 13)) 5746 0.5545 8.4180 ((1 . 2) (2 . 3) (4 . 4) (7 . 8) (8 . 10)) 5749 0.4437 10.2510 ((4 . 2) (6 . 4) (8 . 5) (9 . 6)) 5761 0.4444 3.9396 ((1 . 31) (2 . 32) (3 . 33) (4 . 34)) 5770 0.4442 7.8455 ((2 . 6) (4 . 7) (6 . 9) (8 . 12)) 5771 0.4438 9.9418 ((2 . 9) (4 . 10) (7 . 15) (9 . 17)) 5782 0.4444 6.1285 ((1 . 34) (2 . 35) (3 . 36) (6 . 39)) 5789 0.4433 11.3905 ((2 . 2) (4 . 3) (5 . 4) (8 . 5)) 5794 0.4432 11.6427 ((5 . 22) (6 . 23) (8 . 24) (9 . 26)) 5795 0.4437 10.2556 ((2 . 1) (4 . 3) (8 . 6) (9 . 9)) 5809 0.4432 11.8249 ((2 . 3) (4 . 4) (5 . 6) (9 . 9)) 5822 0.2861 10.5307 ((6 . 1) (7 . 2) (8 . 4) (9 . 6)) 5827 0.5537 9.8103 ((2 . 11) (4 . 12) (6 . 15) (8 . 16) (9 . 17)) 5830 0.5548 7.7274 ((1 . 2) (2 . 3) (6 . 8) (8 . 10) (9 . 13)) 5847 0.4443 6.8871 ((6 . 1) (7 . 2) (8 . 4) (9 . 5)) 5861 0.4444 4.7215 ((1 . 16) (2 . 17) (6 . 22) (9 . 25)) 5878 0.4444 5.9204 ((6 . 25) (7 . 26) (8 . 29) (9 . 30)) 5888 0.4443 7.1911 ((1 . 20) (2 . 21) (6 . 25) (9 . 29)) 5896 0.2862 7.5976 ((2 . 26) (4 . 27) (5 . 30) (8 . 31)) 5904 0.4442 7.7746 ((2 . 1) (3 . 2) (4 . 3) (7 . 11)) 5913 0.4443 6.6484 ((3 . 1) (6 . 5) (8 . 6) (9 . 7)) 5922 0.4442 7.6674 ((1 . 1) (6 . 8) (8 . 9) (9 . 10)) 5930 0.4441 8.2141 ((1 . 4) (3 . 5) (4 . 6) (8 . 11)) 5939 0.4441 8.6927 ((1 . 4) (3 . 5) (5 . 7) (7 . 10)) 5945 0.4440 8.8170 ((1 . 23) (3 . 25) (4 . 27) (9 . 32)) 5949 0.4444 5.2662 ((1 . 9) (2 . 10) (3 . 11) (5 . 13)) 5955 0.4443 7.3601 ((1 . 1) (3 . 2) (4 . 6) (8 . 9)) 5967 0.2441 7.0726 ((1 . 1) (3 . 2) (4 . 6) (5 . 8)) 5972 0.3937 4.7217 ((1 . 6) (3 . 4) (4 . 5) (5 . 8)) 5977 0.4427 12.7574 ((2 . 1) (4 . 2) (5 . 4) (8 . 6)) 6000 0.4437 10.4239 ((2 . 21) (3 . 22) (5 . 27) (9 . 28)) 6011 0.4444 5.9878 ((6 . 5) (7 . 7) (8 . 8) (9 . 9)) 6022 0.4442 7.8453 ((2 . 1) (7 . 5) (8 . 7) (9 . 8)) 6028 0.1980 8.8598 ((1 . 1) (4 . 4) (5 . 8) (8 . 9)) 6029 0.4442 8.0192 ((1 . 3) (2 . 4) (8 . 10) (9 . 11)) 6041 0.4443 6.8537 ((1 . 8) (3 . 9) (7 . 13) (9 . 15)) 6046 0.4440 9.2677 ((5 . 1) (7 . 2) (8 . 3) (9 . 5)) 6061 0.4434 11.1840 ((5 . 12) (6 . 13) (8 . 14) (9 . 15)) 6074 0.4439 9.4189 ((4 . 1) (5 . 3) (6 . 4) (8 . 6)) 6075 0.4442 7.7974 ((1 . 17) (3 . 19) (6 . 24) (8 . 27)) 6079 0.4443 6.2911 ((3 . 17) (5 . 19) (6 . 20) (8 . 21)) 6087 0.4433 11.4268 ((2 . 3) (4 . 4) (5 . 7) (9 . 10)) 6089 0.3930 11.8227 ((1 . 23) (2 . 24) (4 . 25) (5 . 26)) 6094 0.5554 5.2608 ((1 . 5) (4 . 8) (7 . 11) (8 . 12) (9 . 14)) 6099 0.5544 8.7599 ((1 . 25) (2 . 26) (6 . 29) (8 . 30) (9 . 31)) 6123 0.4441 8.6080 ((6 . 2) (7 . 3) (8 . 4) (9 . 5)) 6142 0.5547 8.1198 ((1 . 10) (2 . 11) (6 . 15) (8 . 16) (9 . 18)) 6167 0.4437 10.1506 ((1 . 9) (6 . 17) (7 . 20) (8 . 21)) 6173 0.4444 5.3000 ((1 . 4) (2 . 5) (7 . 11) (9 . 13)) 6191 0.4443 6.3986 ((5 . 7) (6 . 6) (8 . 9) (9 . 10)) 6192 0.4434 11.2217 ((3 . 4) (7 . 10) (8 . 11) (9 . 13)) 6215 0.2861 8.8892 ((1 . 17) (2 . 18) (5 . 22) (8 . 24)) 6225 0.4441 8.7025 ((1 . 5) (4 . 9) (6 . 10) (9 . 12)) 6228 0.4443 7.3289 ((2 . 7) (4 . 8) (6 . 11) (8 . 12)) 6234 0.4444 3.9922 ((1 . 6) (2 . 7) (4 . 8) (9 . 15)) 6238 0.5555 4.6209 ((1 . 3) (2 . 4) (4 . 6) (8 . 8) (9 . 9)) 6243 0.5551 7.0056 ((1 . 2) (2 . 3) (5 . 7) (6 . 8) (9 . 10)) 6251 0.4444 5.7264 ((1 . 8) (3 . 9) (8 . 15) (9 . 17)) 6258 0.4441 8.4304 ((2 . 9) (5 . 11) (6 . 12) (7 . 13)) 6261 0.3925 13.4125 ((1 . 11) (4 . 15) (5 . 18) (9 . 22)) 6266 0.4442 8.0424 ((2 . 3) (4 . 4) (6 . 6) (9 . 10)) 6270 0.4439 9.6360 ((1 . 9) (4 . 14) (8 . 17) (9 . 18)) 6271 0.5539 9.5482 ((1 . 4) (2 . 5) (5 . 9) (6 . 10) (8 . 11)) 6273 0.2862 5.5269 ((1 . 1) (2 . 2) (5 . 5) (7 . 6)) 6294 0.4442 8.0950 ((1 . 16) (3 . 19) (5 . 21) (6 . 23)) 6306 0.4444 3.5339 ((2 . 16) (6 . 19) (7 . 20) (8 . 21)) 6309 0.4442 7.6589 ((1 . 20) (5 . 26) (6 . 25) (7 . 27)) 6311 0.4441 8.3349 ((1 . 4) (6 . 9) (8 . 10) (9 . 13)) 6326 0.4443 6.7007 ((1 . 2) (2 . 3) (7 . 6) (8 . 7)) 6338 0.2861 9.8592 ((6 . 4) (7 . 5) (8 . 7) (9 . 8)) 6344 0.4441 8.7144 ((1 . 12) (2 . 13) (7 . 19) (8 . 21)) 6345 0.4441 8.5555 ((1 . 7) (3 . 8) (6 . 11) (8 . 13)) 6348 0.4436 10.6352 ((1 . 4) (3 . 6) (5 . 8) (8 . 11)) 6355 0.4444 5.0570 ((5 . 3) (6 . 4) (8 . 6) (9 . 7)) 6356 0.5532 10.4276 ((2 . 6) (4 . 8) (5 . 10) (6 . 11) (9 . 13)) 6369 0.4444 5.8135 ((5 . 21) (6 . 22) (8 . 24) (9 . 26)) 6376 0.4442 7.4008 ((1 . 17) (3 . 18) (8 . 26) (9 . 27)) 6391 0.4443 7.0191 ((4 . 7) (5 . 9) (7 . 10) (8 . 12)) 6392 0.4439 9.6587 ((1 . 1) (4 . 4) (5 . 5) (8 . 7)) 6399 0.4444 3.7647 ((6 . 24) (7 . 25) (8 . 26) (9 . 27)) 6403 0.4443 7.1857 ((3 . 6) (7 . 12) (8 . 13) (9 . 14)) 6434 0.4439 9.4270 ((5 . 1) (7 . 2) (8 . 3) (9 . 4)) 6462 0.4444 5.2963 ((1 . 28) (2 . 29) (3 . 30) (4 . 31)) 6498 0.4442 7.5067 ((3 . 23) (4 . 26) (6 . 29) (9 . 31)) 6520 0.4443 6.7748 ((5 . 11) (7 . 13) (8 . 14) (9 . 15)) 6536 0.4439 9.6629 ((4 . 32) (5 . 33) (8 . 35) (9 . 36)) 6539 0.4443 6.2334 ((1 . 4) (2 . 5) (4 . 7) (6 . 10)) 6540 0.4441 8.7559 ((2 . 16) (7 . 20) (8 . 21) (9 . 22)) 6548 0.4444 4.7709 ((1 . 12) (2 . 13) (3 . 14) (4 . 15)) 6553 0.4441 8.2697 ((2 . 11) (3 . 12) (8 . 17) (9 . 20)) 6555 0.4436 10.5569 ((3 . 21) (6 . 24) (7 . 25) (8 . 27)) 6561 0.4439 9.5056 ((1 . 10) (3 . 11) (6 . 12) (7 . 13)) 6573 0.4442 7.8170 ((1 . 17) (3 . 18) (6 . 23) (8 . 24)) 6575 0.4441 8.6390 ((1 . 2) (2 . 5) (4 . 6) (5 . 7)) 6578 0.4441 8.2938 ((1 . 31) (2 . 32) (3 . 33) (6 . 38)) 6584 0.6366 6.4829 ((1 . 2) (2 . 3) (4 . 4) (7 . 5) (8 . 6) (9 . 9)) 6585 0.4443 6.1839 ((1 . 10) (2 . 11) (4 . 12) (6 . 14)) 6586 0.2441 11.0873 ((3 . 16) (4 . 17) (5 . 19) (9 . 24)) 6587 0.3937 4.6141 ((1 . 33) (2 . 34) (4 . 35) (5 . 36)) 6598 0.5550 7.3164 ((1 . 5) (2 . 6) (6 . 8) (8 . 10) (9 . 11)) 6613 0.4440 8.9798 ((1 . 27) (2 . 28) (7 . 32) (8 . 33)) END