5038 51 0.6659 6.3333 ((10 . 2) (13 . 4) (14 . 6) (15 . 11) (16 . 13) (18 . 14)) 62 0.4442 8.1397 ((12 . 10) (14 . 12) (15 . 13) (18 . 16)) 64 0.5552 6.5103 ((12 . 10) (14 . 12) (15 . 13) (16 . 14) (18 . 15)) 91 0.3934 9.4038 ((10 . 40) (12 . 42) (14 . 45) (15 . 44)) 96 0.4443 7.2647 ((10 . 1) (13 . 2) (14 . 3) (18 . 5)) 129 0.3936 6.5128 ((9 . 3) (12 . 5) (15 . 9) (16 . 10)) 136 0.4439 9.4806 ((13 . 4) (14 . 5) (15 . 7) (16 . 8)) 150 0.4433 11.4421 ((9 . 20) (12 . 23) (13 . 21) (16 . 25)) 153 0.4443 6.4084 ((10 . 6) (14 . 7) (15 . 8) (16 . 9)) 157 0.4443 6.5516 ((10 . 11) (13 . 12) (15 . 14) (18 . 18)) 161 0.5551 6.7541 ((10 . 2) (12 . 3) (14 . 4) (16 . 8) (18 . 9)) 162 0.4444 4.3077 ((9 . 15) (14 . 17) (17 . 20) (18 . 22)) 169 0.4443 7.1049 ((9 . 7) (10 . 8) (15 . 10) (16 . 11)) 177 0.4443 7.2616 ((9 . 1) (14 . 4) (15 . 5) (18 . 7)) 191 0.4444 5.9567 ((10 . 6) (14 . 7) (15 . 8) (16 . 9)) 198 0.5554 5.6195 ((9 . 10) (10 . 12) (14 . 15) (15 . 16) (16 . 17)) 233 0.4444 5.3763 ((12 . 1) (14 . 2) (15 . 3) (18 . 5)) 300 0.4438 9.8751 ((10 . 6) (12 . 8) (14 . 9) (15 . 10)) 305 0.4443 6.1668 ((10 . 9) (12 . 11) (14 . 12) (16 . 15)) 315 0.4444 4.7527 ((9 . 4) (10 . 5) (15 . 8) (16 . 9)) 340 0.4444 5.5255 ((15 . 2) (16 . 4) (17 . 7) (18 . 9)) 350 0.5554 5.1733 ((12 . 4) (14 . 5) (15 . 7) (16 . 8) (18 . 10)) 360 0.5540 9.3988 ((12 . 6) (14 . 7) (15 . 8) (16 . 9) (18 . 10)) 365 0.5555 4.4705 ((10 . 2) (14 . 3) (15 . 4) (16 . 6) (18 . 8)) 367 0.4442 7.6549 ((12 . 40) (14 . 42) (15 . 43) (18 . 46)) 372 0.5554 5.4918 ((12 . 3) (14 . 6) (15 . 7) (16 . 8) (18 . 11)) 387 0.1495 8.8125 ((10 . 7) (14 . 9) (15 . 10) (18 . 12)) 405 0.4443 6.4717 ((14 . 35) (15 . 37) (16 . 38) (17 . 39)) 417 0.2441 6.5493 ((9 . 1) (12 . 2) (14 . 5) (17 . 7)) 420 0.4444 5.5312 ((10 . 5) (14 . 9) (15 . 10) (17 . 13)) 433 0.4443 7.3315 ((13 . 3) (15 . 5) (16 . 6) (17 . 7)) 442 0.4441 8.7827 ((9 . 6) (13 . 9) (14 . 10) (17 . 12)) 460 0.5098 9.8893 ((9 . 1) (12 . 3) (13 . 4) (15 . 6) (17 . 8)) 491 0.4158 9.3275 ((12 . 6) (16 . 8) (17 . 9) (18 . 10)) 495 0.4444 6.0134 ((10 . 5) (12 . 7) (14 . 8) (15 . 9)) 541 0.4442 7.4243 ((10 . 7) (13 . 9) (15 . 11) (18 . 14)) 543 0.1980 6.6702 ((9 . 6) (10 . 8) (13 . 9) (14 . 10)) 584 0.4444 5.8961 ((10 . 15) (12 . 28) (14 . 31) (15 . 32)) 587 0.5553 5.7370 ((12 . 3) (14 . 4) (15 . 6) (16 . 7) (18 . 9)) 609 0.4443 6.4777 ((10 . 3) (13 . 5) (15 . 6) (17 . 8)) 619 0.5533 10.2586 ((10 . 4) (14 . 7) (15 . 8) (16 . 9) (18 . 11)) 624 0.4434 11.2462 ((9 . 5) (13 . 8) (14 . 9) (16 . 11)) 635 0.3524 9.5025 ((13 . 12) (14 . 13) (15 . 14) (16 . 15)) 672 0.5271 5.9253 ((12 . 18) (13 . 19) (14 . 20) (16 . 21) (18 . 23)) 678 0.4441 8.1800 ((10 . 24) (13 . 25) (14 . 26) (18 . 29)) 683 0.4443 7.0485 ((12 . 1) (14 . 2) (15 . 3) (16 . 5)) 719 0.4443 6.2874 ((10 . 22) (14 . 25) (15 . 27) (18 . 30)) 729 0.4443 6.3719 ((10 . 7) (12 . 9) (15 . 13) (18 . 15)) 735 0.5553 5.6848 ((10 . 29) (14 . 31) (15 . 32) (16 . 33) (18 . 36)) 740 0.4444 2.9491 ((13 . 1) (14 . 2) (15 . 3) (16 . 4)) 765 0.4444 6.1065 ((15 . 7) (16 . 9) (17 . 11) (18 . 12)) 767 0.4444 5.2075 ((9 . 1) (16 . 8) (17 . 9) (18 . 10)) 801 0.4443 7.1154 ((9 . 2) (12 . 5) (14 . 6) (15 . 7)) 812 0.4155 10.7054 ((12 . 16) (13 . 17) (16 . 19) (17 . 20)) 818 0.4443 7.2575 ((12 . 4) (13 . 5) (15 . 7) (18 . 10)) 819 0.4160 6.6771 ((9 . 5) (12 . 8) (14 . 9) (15 . 10)) 824 0.4443 6.3536 ((12 . 43) (14 . 45) (15 . 46) (17 . 50)) 861 0.6657 6.6482 ((13 . 14) (14 . 15) (15 . 16) (16 . 17) (17 . 18) (18 . 19)) 904 0.4161 3.8156 ((9 . 2) (10 . 3) (15 . 6) (16 . 7)) 937 0.1495 9.5590 ((12 . 1) (13 . 2) (16 . 4) (18 . 5)) 943 0.4439 9.4610 ((9 . 4) (13 . 7) (14 . 8) (16 . 9)) 945 0.2861 8.1746 ((10 . 14) (13 . 16) (14 . 17) (16 . 19)) 960 0.4442 7.4612 ((13 . 7) (14 . 8) (15 . 9) (18 . 12)) 980 0.4443 7.3265 ((10 . 1) (12 . 3) (13 . 4) (15 . 5)) 1007 0.5542 9.0941 ((9 . 7) (14 . 11) (15 . 12) (16 . 13) (18 . 14)) 1008 0.2861 9.5295 ((9 . 5) (13 . 11) (15 . 13) (17 . 15)) 1034 0.4444 3.5088 ((13 . 19) (14 . 20) (15 . 21) (16 . 22)) 1043 0.2862 5.3136 ((12 . 10) (13 . 11) (14 . 12) (15 . 14)) 1082 0.4442 7.5535 ((9 . 6) (14 . 8) (15 . 9) (18 . 12)) 1084 0.3521 12.2405 ((9 . 3) (13 . 6) (16 . 10) (17 . 11)) 1121 0.3525 7.5112 ((13 . 1) (14 . 2) (15 . 3) (16 . 4)) 1165 0.4442 8.0324 ((14 . 2) (15 . 3) (16 . 4) (18 . 7)) 1169 0.4444 5.8769 ((9 . 29) (10 . 30) (14 . 33) (15 . 34)) 1195 0.4438 9.8459 ((13 . 3) (15 . 4) (16 . 5) (17 . 6)) 1201 0.3525 7.4807 ((13 . 13) (15 . 16) (16 . 17) (17 . 18)) 1204 0.1980 11.8264 ((12 . 20) (13 . 21) (14 . 23) (15 . 24)) 1211 0.5545 8.4696 ((9 . 5) (14 . 8) (15 . 9) (16 . 10) (17 . 11)) 1217 0.5550 7.2934 ((12 . 3) (14 . 5) (15 . 7) (16 . 9) (18 . 11)) 1224 0.4444 4.3658 ((10 . 3) (15 . 6) (16 . 7) (18 . 9)) 1233 0.4443 6.4717 ((13 . 21) (14 . 22) (15 . 23) (16 . 24)) 1267 0.4442 7.4929 ((9 . 24) (13 . 27) (16 . 31) (18 . 33)) 1268 0.4155 10.7603 ((13 . 21) (14 . 22) (15 . 23) (16 . 24)) 1294 0.4444 6.0488 ((10 . 40) (15 . 43) (16 . 44) (18 . 46)) 1345 0.4443 6.3582 ((13 . 8) (14 . 9) (17 . 12) (18 . 13)) 1366 0.4444 5.8964 ((10 . 12) (14 . 15) (15 . 16) (16 . 17)) 1388 0.3526 5.8995 ((9 . 4) (10 . 5) (13 . 6) (15 . 8)) 1410 0.4444 5.8181 ((12 . 19) (14 . 21) (16 . 23) (18 . 25)) 1425 0.4444 5.4549 ((10 . 4) (16 . 10) (17 . 11) (18 . 12)) 1435 0.3524 9.3495 ((9 . 1) (10 . 2) (15 . 5) (16 . 6)) 1447 0.4437 10.3555 ((9 . 3) (13 . 4) (14 . 5) (16 . 7)) 1451 0.4443 6.5458 ((12 . 1) (15 . 3) (16 . 4) (18 . 5)) 1464 0.2441 8.8516 ((9 . 7) (10 . 8) (12 . 10) (15 . 13)) 1481 0.1658 8.7766 ((9 . 1) (13 . 3) (14 . 4) (15 . 5)) 1501 0.5550 7.1796 ((12 . 1) (14 . 2) (15 . 3) (16 . 4) (18 . 6)) 1513 0.2441 9.0100 ((12 . 3) (13 . 4) (15 . 6) (16 . 8)) 1514 0.3525 9.2229 ((9 . 1) (12 . 3) (14 . 4) (16 . 6)) 1577 0.4435 10.9838 ((12 . 10) (13 . 11) (15 . 12) (18 . 15)) 1591 0.4438 10.0571 ((9 . 1) (12 . 4) (13 . 3) (16 . 6)) 1604 0.2862 7.8088 ((12 . 7) (13 . 8) (15 . 10) (18 . 12)) 1622 0.4443 7.3021 ((9 . 18) (12 . 20) (16 . 22) (17 . 23)) 1624 0.4444 4.1557 ((9 . 3) (10 . 4) (14 . 7) (16 . 9)) 1643 0.5548 7.8519 ((12 . 31) (14 . 32) (15 . 33) (16 . 34) (18 . 36)) 1644 0.4444 5.5362 ((9 . 43) (10 . 44) (15 . 49) (16 . 50)) 1665 0.3525 9.0940 ((12 . 4) (13 . 7) (14 . 6) (16 . 8)) 1690 0.4444 5.1851 ((9 . 13) (14 . 18) (15 . 19) (17 . 21)) 1692 0.4443 6.3070 ((10 . 5) (12 . 6) (14 . 7) (16 . 8)) 1731 0.2861 9.4142 ((12 . 3) (13 . 5) (15 . 6) (18 . 8)) 1736 0.4441 8.5256 ((10 . 3) (13 . 4) (14 . 5) (18 . 7)) 1738 0.4444 5.6188 ((9 . 4) (16 . 11) (17 . 13) (18 . 14)) 1747 0.4444 5.2761 ((10 . 44) (12 . 46) (14 . 47) (15 . 48)) 1756 0.4444 3.7269 ((15 . 21) (16 . 23) (17 . 24) (18 . 25)) 1759 0.4444 4.2776 ((10 . 9) (12 . 11) (14 . 13) (15 . 14)) 1761 0.4444 5.9821 ((15 . 1) (16 . 2) (17 . 3) (18 . 4)) 1763 0.4442 8.0255 ((9 . 3) (13 . 6) (15 . 7) (16 . 9)) 1776 0.4443 7.0862 ((9 . 16) (10 . 19) (12 . 20) (13 . 21)) 1777 0.4444 4.4471 ((10 . 34) (12 . 37) (17 . 46) (18 . 47)) 1778 0.4444 6.0335 ((12 . 1) (14 . 2) (15 . 3) (16 . 4)) 1793 0.4443 6.9728 ((10 . 8) (12 . 10) (15 . 11) (18 . 12)) 1805 0.5553 5.7721 ((12 . 3) (14 . 4) (15 . 7) (16 . 8) (18 . 10)) 1808 0.5553 6.0194 ((12 . 5) (14 . 6) (15 . 8) (16 . 9) (18 . 10)) 1817 0.5105 8.0381 ((9 . 13) (10 . 14) (12 . 16) (14 . 19) (15 . 20)) 1867 0.4441 8.4896 ((13 . 2) (14 . 3) (15 . 6) (16 . 7)) 1894 0.4441 8.2717 ((10 . 18) (14 . 21) (15 . 22) (18 . 25)) 1897 0.3524 9.7333 ((9 . 32) (10 . 34) (13 . 37) (16 . 39)) 1913 0.4444 4.5695 ((9 . 12) (10 . 13) (14 . 18) (15 . 19)) 1944 0.4441 8.3636 ((12 . 5) (13 . 6) (15 . 7) (18 . 9)) 1961 0.4443 7.2520 ((13 . 13) (15 . 14) (16 . 15) (17 . 16)) 1967 0.4442 7.9738 ((14 . 10) (16 . 13) (17 . 14) (18 . 16)) 1992 0.1980 10.0312 ((9 . 9) (13 . 10) (14 . 12) (15 . 14)) 1995 0.1998 7.6570 ((10 . 1) (12 . 2) (14 . 9) (15 . 12) (16 . 13) (17 . 3) (18 . 7)) 2003 0.4442 7.5270 ((15 . 9) (16 . 10) (17 . 11) (18 . 12)) 2006 0.5549 7.5895 ((12 . 11) (14 . 12) (15 . 13) (16 . 14) (18 . 15)) 2045 0.3525 7.8118 ((10 . 7) (12 . 8) (17 . 11) (18 . 13)) 2048 0.3526 6.2761 ((10 . 13) (13 . 15) (14 . 16) (15 . 17)) 2063 0.5551 6.9976 ((9 . 43) (10 . 44) (14 . 48) (15 . 49) (16 . 50)) 2065 0.4444 4.6529 ((10 . 22) (15 . 26) (16 . 27) (17 . 28)) 2067 0.4443 6.1764 ((10 . 9) (12 . 10) (14 . 11) (16 . 16)) 2072 0.5272 4.9487 ((10 . 1) (13 . 3) (14 . 5) (15 . 6) (16 . 7)) 2081 0.4443 7.2280 ((9 . 20) (10 . 21) (12 . 23) (13 . 24)) 2083 0.1980 8.0523 ((12 . 1) (14 . 2) (16 . 4) (17 . 5)) 2097 0.2861 9.3066 ((9 . 3) (12 . 5) (14 . 6) (15 . 7)) 2116 0.4444 4.4591 ((9 . 5) (10 . 6) (16 . 10) (17 . 11)) 2117 0.4443 6.9707 ((10 . 6) (14 . 11) (15 . 12) (18 . 14)) 2118 0.1980 10.2627 ((9 . 7) (13 . 9) (15 . 11) (16 . 12)) 2122 0.4443 7.1179 ((10 . 12) (12 . 14) (14 . 15) (16 . 17)) 2166 0.4442 7.9565 ((9 . 13) (14 . 15) (15 . 16) (16 . 17)) 2179 0.4444 5.5782 ((10 . 5) (12 . 7) (14 . 9) (15 . 10)) 2196 0.4444 5.3992 ((9 . 11) (10 . 12) (12 . 14) (14 . 16)) 2203 0.3525 7.7385 ((10 . 5) (12 . 7) (13 . 8) (18 . 12)) 2205 0.4444 5.6220 ((9 . 17) (10 . 18) (14 . 21) (16 . 23)) 2209 0.4442 7.4508 ((12 . 3) (15 . 5) (16 . 6) (18 . 7)) 2220 0.5554 5.1314 ((13 . 1) (14 . 2) (15 . 3) (17 . 5) (18 . 7)) 2243 0.4443 7.1921 ((9 . 47) (10 . 49) (14 . 51) (15 . 52)) 2244 0.4444 4.2896 ((14 . 73) (15 . 74) (16 . 75) (18 . 76)) 2249 0.4442 8.0210 ((12 . 12) (13 . 14) (15 . 16) (18 . 20)) 2279 0.4433 11.3638 ((9 . 7) (10 . 8) (12 . 10) (13 . 12)) 2298 0.4432 11.7045 ((9 . 8) (13 . 11) (14 . 12) (17 . 15)) 2308 0.4427 12.8046 ((13 . 3) (15 . 4) (16 . 5) (17 . 6)) 2314 0.1495 9.7328 ((9 . 5) (12 . 8) (13 . 9) (18 . 11)) 2340 0.3526 6.7795 ((10 . 9) (14 . 11) (15 . 13) (16 . 14)) 2344 0.4444 5.0926 ((9 . 10) (10 . 11) (13 . 15) (16 . 18)) 2364 0.4444 4.3429 ((13 . 16) (14 . 18) (15 . 19) (16 . 20)) 2381 0.4444 4.4210 ((13 . 2) (14 . 3) (15 . 4) (16 . 5)) 2389 0.5524 11.2038 ((9 . 4) (14 . 7) (15 . 8) (16 . 9) (17 . 10)) 2408 0.4443 6.4544 ((15 . 32) (16 . 33) (17 . 34) (18 . 37)) 2409 0.5272 4.5681 ((9 . 2) (10 . 3) (14 . 6) (16 . 8) (17 . 9)) 2422 0.4444 5.3353 ((9 . 1) (14 . 6) (15 . 7) (16 . 8)) 2423 0.4444 5.8168 ((10 . 14) (12 . 16) (14 . 17) (16 . 19)) 2440 0.3525 8.0282 ((13 . 5) (14 . 7) (15 . 8) (16 . 9)) 2447 0.4444 5.8525 ((10 . 15) (12 . 18) (17 . 21) (18 . 24)) 2462 0.3526 6.8609 ((12 . 4) (13 . 5) (14 . 6) (15 . 7)) 2510 0.2862 6.8440 ((10 . 17) (12 . 19) (15 . 21) (17 . 23)) 2525 0.4430 12.1564 ((12 . 45) (13 . 46) (17 . 48) (18 . 50)) 2529 0.3526 6.6511 ((10 . 1) (14 . 3) (15 . 5) (16 . 6)) 2551 0.2862 3.9531 ((13 . 10) (14 . 11) (15 . 12) (18 . 14)) 2556 0.4443 7.2132 ((10 . 18) (12 . 20) (13 . 21) (15 . 22)) 2557 0.2862 5.0171 ((12 . 3) (13 . 5) (15 . 6) (16 . 7)) 2561 0.4444 6.1054 ((10 . 6) (14 . 7) (15 . 8) (16 . 9)) 2595 0.4441 8.3932 ((12 . 1) (13 . 2) (15 . 4) (18 . 6)) 2619 0.4443 6.2618 ((12 . 1) (14 . 2) (15 . 3) (17 . 5)) 2627 0.1331 6.2635 ((10 . 60) (13 . 62) (14 . 64) (15 . 65)) 2650 0.4443 6.5536 ((10 . 5) (14 . 6) (15 . 7) (16 . 8)) 2658 0.2441 9.0903 ((9 . 10) (12 . 12) (14 . 13) (16 . 14)) 2675 0.4442 7.9060 ((9 . 5) (13 . 9) (15 . 11) (16 . 12)) 2682 0.4428 12.5761 ((13 . 10) (14 . 11) (15 . 12) (16 . 13)) 2696 0.5259 9.7412 ((10 . 31) (13 . 33) (15 . 34) (16 . 35) (18 . 36)) 2731 0.4444 5.6621 ((12 . 1) (13 . 2) (15 . 4) (16 . 5)) 2755 0.4443 6.7159 ((10 . 3) (12 . 5) (15 . 6) (18 . 8)) 2773 0.1980 7.3309 ((10 . 3) (13 . 4) (15 . 5) (16 . 6)) 2783 0.4443 6.1925 ((12 . 6) (14 . 7) (15 . 8) (18 . 12)) 2804 0.4440 8.9481 ((9 . 34) (10 . 36) (17 . 38) (18 . 40)) 2821 0.4441 8.4073 ((14 . 1) (15 . 2) (16 . 3) (18 . 5)) 2830 0.2861 8.8409 ((9 . 15) (10 . 17) (13 . 18) (15 . 19)) 2834 0.4444 5.4709 ((12 . 1) (13 . 2) (15 . 3) (16 . 5)) 2840 0.3526 5.7474 ((13 . 3) (14 . 5) (15 . 6) (18 . 8)) 2867 0.4443 7.3232 ((10 . 7) (12 . 8) (14 . 9) (17 . 12)) 2879 0.4444 4.8156 ((10 . 53) (14 . 57) (15 . 58) (16 . 59)) 2886 0.5555 3.7771 ((12 . 30) (14 . 38) (15 . 39) (16 . 41) (18 . 43)) 2947 0.4442 8.1602 ((12 . 2) (14 . 3) (15 . 4) (18 . 6)) 2955 0.4443 7.0137 ((10 . 3) (12 . 4) (15 . 5) (17 . 6)) 2966 0.4443 7.2291 ((14 . 10) (15 . 12) (16 . 13) (17 . 15)) 2990 0.4444 4.8620 ((9 . 9) (12 . 12) (15 . 14) (16 . 15)) 2999 0.4443 6.7786 ((12 . 4) (13 . 5) (15 . 6) (16 . 7)) 3014 0.4156 10.3439 ((13 . 21) (14 . 22) (15 . 23) (16 . 24)) 3019 0.4441 8.5009 ((13 . 8) (15 . 9) (16 . 10) (18 . 11)) 3041 0.4443 7.0495 ((12 . 30) (13 . 31) (15 . 32) (16 . 33)) 3055 0.4444 4.6452 ((12 . 1) (14 . 4) (15 . 5) (18 . 7)) 3063 0.4442 7.9466 ((14 . 37) (15 . 38) (16 . 39) (18 . 41)) 3070 0.2862 7.7032 ((13 . 31) (14 . 32) (15 . 33) (18 . 35)) 3102 0.4443 6.7749 ((9 . 57) (12 . 58) (17 . 66) (18 . 67)) 3103 0.4443 7.2031 ((14 . 1) (15 . 2) (16 . 3) (17 . 5)) 3114 0.3520 12.8042 ((9 . 24) (10 . 25) (13 . 28) (15 . 29)) 3120 0.1980 6.9806 ((13 . 20) (14 . 21) (15 . 22) (18 . 25)) 3127 0.2862 7.1810 ((13 . 5) (14 . 6) (15 . 8) (18 . 11)) 3147 0.5553 6.1193 ((12 . 11) (14 . 12) (15 . 13) (16 . 15) (18 . 16)) 3187 0.4444 5.2370 ((12 . 4) (14 . 5) (15 . 6) (16 . 7)) 3190 0.2862 7.5701 ((10 . 3) (12 . 6) (16 . 9) (18 . 11)) 3197 0.3924 13.6634 ((10 . 26) (12 . 28) (13 . 29) (16 . 32)) 3200 0.4160 7.7126 ((9 . 13) (12 . 15) (14 . 16) (15 . 18)) 3212 0.4444 5.1149 ((13 . 1) (14 . 2) (15 . 3) (16 . 5)) 3222 0.4439 9.3996 ((10 . 14) (12 . 15) (14 . 16) (16 . 18)) 3256 0.4444 5.5354 ((9 . 18) (10 . 19) (16 . 25) (17 . 26)) 3261 0.3525 7.7643 ((13 . 5) (14 . 6) (15 . 7) (16 . 8)) 3286 0.4443 7.1791 ((12 . 3) (14 . 4) (15 . 5) (18 . 7)) 3289 0.4444 3.4104 ((10 . 25) (14 . 29) (15 . 30) (16 . 31)) 3297 0.4440 8.9499 ((9 . 8) (12 . 9) (15 . 12) (16 . 13)) 3300 0.4444 5.9855 ((14 . 1) (15 . 2) (16 . 4) (18 . 5)) 3322 0.4439 9.5554 ((9 . 1) (13 . 4) (14 . 5) (16 . 7)) 3334 0.1980 10.3232 ((12 . 5) (13 . 7) (14 . 6) (18 . 10)) 3339 0.3526 6.2239 ((12 . 19) (13 . 20) (15 . 21) (16 . 22)) 3344 0.4432 11.8415 ((9 . 21) (14 . 22) (15 . 24) (18 . 27)) 3358 0.4442 7.4593 ((10 . 1) (12 . 2) (15 . 4) (18 . 7)) 3362 0.4442 7.8956 ((10 . 4) (13 . 5) (14 . 6) (18 . 10)) 3366 0.5369 5.4605 ((9 . 23) (10 . 24) (14 . 26) (15 . 27) (18 . 29)) 3410 0.3525 8.7116 ((9 . 24) (13 . 27) (14 . 28) (16 . 30)) 3418 0.4437 10.1692 ((13 . 3) (15 . 5) (16 . 6) (17 . 7)) 3472 0.4444 5.4926 ((10 . 5) (12 . 8) (14 . 9) (15 . 11)) 3489 0.4444 6.0400 ((14 . 1) (15 . 2) (16 . 3) (17 . 4)) 3533 0.3935 8.3240 ((12 . 3) (14 . 5) (16 . 7) (18 . 10)) 3537 0.4435 10.8862 ((13 . 8) (14 . 7) (16 . 9) (18 . 10)) 3538 0.4443 7.1844 ((12 . 23) (14 . 24) (15 . 25) (16 . 26)) 3548 0.5550 7.1597 ((12 . 2) (14 . 3) (15 . 4) (16 . 5) (18 . 6)) 3549 0.4441 8.6396 ((10 . 1) (12 . 2) (14 . 3) (15 . 5)) 3561 0.4439 9.3631 ((9 . 18) (13 . 21) (14 . 22) (18 . 26)) 3570 0.4444 4.5975 ((13 . 6) (14 . 7) (15 . 8) (18 . 10)) 3585 0.4444 3.4081 ((12 . 8) (14 . 11) (15 . 12) (16 . 13)) 3625 0.3526 4.3155 ((12 . 2) (14 . 3) (15 . 5) (16 . 6)) 3626 0.4444 3.5988 ((10 . 3) (14 . 6) (15 . 8) (16 . 11)) 3628 0.4444 6.0122 ((12 . 6) (15 . 8) (16 . 9) (18 . 10)) 3651 0.4441 8.2806 ((9 . 5) (14 . 8) (15 . 9) (18 . 13)) 3656 0.4161 4.8724 ((13 . 21) (14 . 22) (15 . 23) (16 . 24)) 3658 0.4443 7.2418 ((9 . 1) (14 . 5) (15 . 6) (16 . 7)) 3659 0.3936 7.1398 ((10 . 5) (14 . 9) (15 . 10) (17 . 12)) 3661 0.4442 7.4184 ((12 . 8) (13 . 9) (15 . 11) (16 . 12)) 3688 0.4443 7.3456 ((14 . 26) (15 . 27) (16 . 28) (18 . 29)) 3697 0.4439 9.5316 ((12 . 6) (13 . 9) (14 . 7) (18 . 10)) 3703 0.4442 7.5366 ((12 . 6) (14 . 7) (15 . 8) (16 . 9)) 3732 0.5550 7.2850 ((9 . 3) (10 . 5) (13 . 6) (14 . 7) (18 . 11)) 3740 0.4444 5.4507 ((12 . 2) (14 . 3) (15 . 4) (16 . 5)) 3741 0.4444 5.2454 ((12 . 1) (14 . 2) (15 . 3) (16 . 4)) 3776 0.4443 6.9985 ((10 . 17) (12 . 19) (14 . 20) (15 . 21)) 3778 0.3937 5.5856 ((10 . 4) (13 . 5) (15 . 6) (16 . 7)) 3787 0.4444 6.0112 ((10 . 17) (12 . 19) (15 . 21) (18 . 23)) 3790 0.4444 5.0840 ((14 . 10) (15 . 13) (16 . 14) (18 . 15)) 3810 0.5553 6.1763 ((12 . 6) (14 . 9) (15 . 10) (16 . 11) (18 . 14)) 3817 0.4430 12.1733 ((9 . 1) (12 . 5) (13 . 3) (16 . 7)) 3831 0.3526 6.3574 ((12 . 3) (13 . 4) (15 . 5) (16 . 6)) 3847 0.4444 4.0391 ((10 . 13) (13 . 15) (14 . 16) (15 . 17)) 3849 0.4442 8.0470 ((10 . 1) (12 . 2) (14 . 3) (15 . 5)) 3856 0.4441 8.5414 ((13 . 4) (15 . 6) (16 . 7) (17 . 9)) 3933 0.5553 5.6938 ((9 . 11) (10 . 13) (14 . 16) (15 . 17) (16 . 18)) 3938 0.4444 4.3842 ((10 . 2) (14 . 6) (15 . 8) (16 . 9)) 3942 0.4440 9.0068 ((9 . 2) (10 . 3) (13 . 5) (16 . 9)) 3986 0.4437 10.3325 ((9 . 13) (13 . 19) (16 . 21) (18 . 25)) 3990 0.4444 5.6206 ((9 . 23) (10 . 24) (12 . 25) (14 . 26)) 4005 0.4443 7.1301 ((9 . 14) (12 . 18) (16 . 21) (17 . 23)) 4009 0.3937 3.7847 ((13 . 18) (14 . 19) (16 . 21) (17 . 22)) 4019 0.4444 4.8485 ((9 . 38) (10 . 39) (13 . 41) (16 . 44)) 4034 0.5554 5.4999 ((13 . 8) (14 . 9) (15 . 10) (16 . 11) (18 . 13)) 4062 0.4441 8.2956 ((13 . 47) (15 . 48) (16 . 49) (17 . 50)) 4067 0.1495 9.2831 ((10 . 22) (12 . 24) (13 . 23) (15 . 25)) 4082 0.4442 7.9923 ((13 . 4) (15 . 5) (16 . 6) (17 . 7)) 4087 0.5555 4.4494 ((10 . 3) (14 . 5) (15 . 6) (16 . 7) (18 . 8)) 4112 0.2441 5.3557 ((10 . 1) (12 . 2) (14 . 3) (15 . 4)) 4177 0.4444 4.9863 ((13 . 6) (14 . 7) (15 . 8) (16 . 9)) 4192 0.4443 7.1870 ((9 . 10) (10 . 13) (14 . 15) (17 . 19)) 4194 0.4444 5.0407 ((10 . 1) (12 . 3) (14 . 6) (15 . 7)) 4204 0.4444 5.6902 ((13 . 10) (14 . 11) (16 . 13) (18 . 15)) 4209 0.5271 5.8281 ((9 . 1) (10 . 2) (14 . 5) (15 . 7) (17 . 10)) 4210 0.4443 6.7008 ((13 . 3) (14 . 4) (15 . 5) (16 . 6)) 4226 0.5552 6.5055 ((9 . 6) (13 . 10) (14 . 11) (15 . 12) (18 . 16)) 4232 0.3525 7.3525 ((9 . 4) (12 . 6) (13 . 7) (16 . 8)) 4236 0.4444 5.8194 ((15 . 6) (16 . 7) (17 . 8) (18 . 10)) 4246 0.4159 8.5444 ((9 . 2) (10 . 3) (15 . 7) (16 . 8)) 4254 0.4444 5.9529 ((10 . 1) (13 . 2) (14 . 3) (15 . 4)) 4257 0.4440 9.1686 ((9 . 3) (14 . 8) (15 . 9) (16 . 11)) 4265 0.3933 10.2490 ((9 . 23) (10 . 24) (13 . 25) (16 . 29)) 4274 0.1980 7.9315 ((10 . 36) (12 . 38) (15 . 40) (18 . 41)) 4275 0.4444 4.1851 ((13 . 24) (14 . 25) (15 . 27) (16 . 28)) 4281 0.4443 6.9401 ((12 . 3) (14 . 4) (15 . 5) (18 . 8)) 4284 0.4444 5.5176 ((9 . 5) (10 . 6) (14 . 9) (15 . 10)) 4299 0.4443 6.8521 ((9 . 16) (12 . 19) (14 . 20) (15 . 22)) 4301 0.4444 5.9865 ((12 . 2) (14 . 3) (15 . 4) (16 . 6)) 4326 0.3935 8.3888 ((10 . 7) (12 . 10) (14 . 11) (15 . 12)) 4332 0.2862 5.7958 ((9 . 2) (13 . 5) (15 . 6) (17 . 9)) 4338 0.4440 8.9310 ((9 . 4) (13 . 5) (15 . 7) (16 . 8)) 4359 0.5552 6.6960 ((9 . 11) (14 . 14) (15 . 15) (16 . 16) (18 . 17)) 4380 0.4443 6.2053 ((14 . 1) (15 . 2) (16 . 3) (17 . 4)) 4383 0.4443 6.2714 ((9 . 15) (12 . 16) (15 . 18) (16 . 19)) 4388 0.4436 10.6734 ((9 . 1) (12 . 3) (16 . 5) (17 . 6)) 4398 0.4444 6.1160 ((9 . 8) (10 . 10) (12 . 12) (14 . 13)) 4405 0.3932 10.8987 ((9 . 19) (12 . 21) (15 . 24) (16 . 25)) 4408 0.4443 7.2905 ((9 . 2) (12 . 3) (14 . 4) (16 . 6)) 4415 0.4440 9.0373 ((9 . 4) (12 . 9) (13 . 10) (16 . 11)) 4419 0.4442 7.8601 ((10 . 6) (14 . 8) (15 . 9) (16 . 10)) 4470 0.4444 5.0476 ((13 . 17) (14 . 18) (15 . 19) (16 . 20)) 4491 0.4441 8.2367 ((10 . 1) (13 . 4) (15 . 5) (16 . 6)) 4492 0.4444 3.2040 ((10 . 3) (13 . 6) (14 . 7) (15 . 8)) 4497 0.4444 4.5824 ((14 . 25) (15 . 26) (16 . 27) (18 . 28)) 4502 0.1980 7.0019 ((9 . 9) (10 . 10) (14 . 11) (18 . 14)) 4503 0.4444 5.7868 ((12 . 5) (14 . 7) (16 . 9) (17 . 10)) 4505 0.4440 9.2007 ((9 . 26) (10 . 25) (14 . 28) (16 . 30)) 4516 0.4444 5.9211 ((13 . 33) (14 . 34) (16 . 36) (17 . 37)) 4527 0.1980 6.7101 ((13 . 4) (14 . 6) (15 . 7) (17 . 8)) 4538 0.4442 8.0498 ((9 . 31) (10 . 32) (13 . 36) (16 . 38)) 4551 0.4435 10.9449 ((9 . 2) (10 . 4) (13 . 7) (14 . 8)) 4560 0.4442 7.5747 ((9 . 11) (12 . 13) (14 . 14) (15 . 16)) 4561 0.4442 7.4761 ((13 . 11) (14 . 12) (15 . 14) (16 . 15)) 4562 0.1331 7.2963 ((10 . 19) (12 . 22) (13 . 23) (16 . 25)) 4577 0.4443 6.8947 ((14 . 28) (15 . 29) (16 . 30) (17 . 31)) 4588 0.4443 6.4839 ((12 . 3) (13 . 4) (15 . 7) (16 . 8)) 4589 0.4437 10.1566 ((10 . 19) (14 . 22) (15 . 23) (18 . 25)) 4621 0.4443 6.8418 ((12 . 6) (14 . 8) (15 . 9) (16 . 11)) 4630 0.4444 4.7138 ((9 . 15) (12 . 17) (15 . 19) (17 . 21)) 4648 0.1659 8.2051 ((12 . 2) (13 . 3) (15 . 5) (18 . 8)) 4653 0.5550 7.1540 ((12 . 3) (14 . 5) (15 . 6) (16 . 7) (18 . 8)) 4665 0.4444 5.5179 ((14 . 11) (15 . 12) (16 . 13) (17 . 14)) 4668 0.1495 7.6493 ((10 . 1) (12 . 3) (14 . 5) (16 . 7)) 4671 0.5549 7.4145 ((14 . 11) (15 . 12) (16 . 13) (17 . 14) (18 . 15)) 4674 0.3587 5.8189 ((10 . 1) (12 . 2) (13 . 5) (14 . 7) (15 . 8) (16 . 9)) 4678 0.4440 9.2763 ((10 . 11) (12 . 12) (16 . 15) (18 . 16)) 4713 0.4444 4.4629 ((9 . 3) (10 . 4) (14 . 7) (16 . 9)) 4731 0.3936 7.6430 ((13 . 20) (14 . 22) (15 . 23) (16 . 24)) 4734 0.4444 6.1355 ((12 . 2) (14 . 5) (15 . 6) (18 . 8)) 4886 0.1980 10.2034 ((13 . 28) (14 . 29) (15 . 30) (17 . 31)) 4888 0.3526 4.5691 ((9 . 1) (12 . 4) (13 . 5) (17 . 9)) 4889 0.4442 7.7743 ((12 . 2) (14 . 3) (15 . 4) (18 . 6)) 4907 0.4443 6.7211 ((15 . 3) (16 . 4) (17 . 5) (18 . 7)) 4914 0.4443 6.5436 ((10 . 4) (12 . 6) (15 . 8) (16 . 9)) 4921 0.4444 6.1240 ((12 . 7) (14 . 8) (15 . 9) (18 . 12)) 4929 0.5554 5.4741 ((10 . 29) (14 . 31) (15 . 32) (16 . 33) (18 . 34)) 4932 0.4442 7.3995 ((12 . 1) (13 . 3) (15 . 5) (16 . 6)) 4940 0.1495 9.9625 ((12 . 3) (13 . 5) (16 . 7) (17 . 8)) 4941 0.4444 5.7998 ((10 . 9) (12 . 11) (14 . 13) (17 . 17)) 4944 0.4442 7.4807 ((14 . 13) (15 . 14) (16 . 15) (17 . 16)) 4961 0.4443 7.0144 ((10 . 3) (13 . 13) (14 . 14) (15 . 15)) 4978 0.4444 5.8064 ((13 . 20) (14 . 21) (15 . 22) (16 . 24)) 4982 0.4442 7.4442 ((10 . 10) (12 . 12) (13 . 13) (15 . 14)) 4998 0.2440 11.8028 ((9 . 15) (13 . 17) (15 . 19) (16 . 20)) 5029 0.4440 9.2229 ((9 . 2) (13 . 5) (14 . 6) (16 . 8)) 5036 0.4443 6.7276 ((9 . 2) (14 . 6) (15 . 7) (16 . 8)) 5038 1.0000 0.0000 ((9 . 9) (10 . 10) (12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18)) 5039 0.3524 10.0887 ((9 . 41) (13 . 43) (14 . 44) (15 . 45)) 5044 0.4440 9.1031 ((9 . 2) (10 . 3) (14 . 8) (15 . 9)) 5053 0.4444 5.9615 ((9 . 9) (10 . 10) (12 . 12) (13 . 13)) 5065 0.5549 7.6726 ((12 . 7) (14 . 8) (15 . 9) (16 . 10) (18 . 11)) 5068 0.3936 7.0306 ((9 . 10) (12 . 12) (15 . 15) (16 . 16)) 5069 0.4444 6.0055 ((10 . 2) (12 . 4) (14 . 5) (15 . 7)) 5073 0.3525 8.8630 ((9 . 34) (12 . 36) (13 . 37) (16 . 39)) 5083 0.1659 8.3129 ((12 . 2) (13 . 3) (15 . 5) (18 . 9)) 5101 0.4443 6.9540 ((12 . 18) (13 . 19) (15 . 21) (18 . 23)) 5103 0.4444 6.0161 ((10 . 13) (12 . 15) (15 . 17) (18 . 19)) 5121 0.4443 7.0030 ((10 . 26) (12 . 27) (14 . 30) (15 . 31)) 5134 0.4444 6.0394 ((13 . 1) (14 . 2) (15 . 3) (17 . 6)) 5145 0.4444 5.8809 ((13 . 4) (14 . 5) (16 . 8) (18 . 10)) 5176 0.4444 5.9355 ((14 . 84) (15 . 86) (16 . 87) (18 . 88)) 5183 0.4444 5.8252 ((12 . 35) (14 . 36) (15 . 37) (16 . 38)) 5192 0.4433 11.5706 ((9 . 3) (12 . 5) (13 . 6) (17 . 9)) 5198 0.5555 4.1925 ((10 . 24) (12 . 26) (13 . 27) (16 . 30) (18 . 32)) 5209 0.4442 7.6117 ((10 . 7) (14 . 8) (15 . 9) (16 . 10)) 5212 0.2440 14.1149 ((13 . 19) (15 . 21) (17 . 23) (18 . 24)) 5215 0.4444 4.8296 ((13 . 8) (14 . 9) (15 . 10) (16 . 11)) 5223 0.2441 7.8568 ((9 . 3) (12 . 6) (16 . 10) (18 . 12)) 5231 0.5553 6.0997 ((10 . 8) (13 . 9) (14 . 12) (15 . 13) (16 . 14)) 5266 0.4441 8.4428 ((12 . 10) (13 . 11) (15 . 13) (18 . 15)) 5278 0.4443 6.2368 ((9 . 2) (14 . 6) (15 . 7) (16 . 8)) 5307 0.4444 3.7841 ((13 . 54) (14 . 55) (15 . 57) (16 . 58)) 5312 0.5555 4.0327 ((12 . 2) (14 . 3) (15 . 4) (16 . 5) (18 . 7)) 5324 0.4443 7.3530 ((10 . 10) (12 . 12) (15 . 14) (18 . 15)) 5344 0.4443 6.7923 ((9 . 2) (10 . 3) (13 . 5) (15 . 7)) 5345 0.5552 6.4803 ((12 . 12) (14 . 13) (15 . 14) (16 . 15) (18 . 16)) 5368 0.5554 5.5893 ((12 . 45) (14 . 46) (15 . 47) (16 . 48) (18 . 49)) 5414 0.4444 3.0952 ((12 . 19) (14 . 20) (15 . 21) (16 . 22)) 5418 0.4443 6.2163 ((9 . 3) (12 . 5) (14 . 8) (15 . 9)) 5421 0.4444 5.7890 ((14 . 1) (15 . 2) (16 . 3) (18 . 5)) 5433 0.4443 7.1796 ((10 . 10) (14 . 14) (15 . 16) (17 . 18)) 5479 0.4444 5.1307 ((9 . 56) (10 . 58) (14 . 61) (15 . 62)) 5487 0.4442 7.3764 ((12 . 4) (13 . 5) (15 . 7) (18 . 9)) 5489 0.4444 4.8268 ((9 . 6) (14 . 11) (16 . 13) (17 . 14)) 5500 0.4443 6.7909 ((9 . 1) (10 . 2) (13 . 6) (14 . 7)) 5535 0.2861 10.0699 ((9 . 4) (12 . 6) (16 . 10) (17 . 11)) 5540 0.4440 8.8262 ((10 . 10) (14 . 14) (15 . 16) (18 . 18)) 5557 0.4443 7.0709 ((12 . 2) (14 . 3) (15 . 4) (18 . 6)) 5560 0.2441 8.8705 ((12 . 20) (13 . 21) (14 . 22) (15 . 23)) 5562 0.1980 6.7504 ((13 . 5) (14 . 6) (15 . 7) (18 . 11)) 5567 0.2862 6.6270 ((10 . 15) (13 . 16) (15 . 18) (16 . 19)) 5594 0.4442 7.3908 ((10 . 1) (14 . 3) (15 . 4) (18 . 6)) 5601 0.4442 7.3833 ((12 . 5) (13 . 6) (15 . 7) (18 . 10)) 5640 0.5553 5.7539 ((12 . 19) (14 . 20) (15 . 21) (16 . 22) (18 . 23)) 5644 0.4441 8.4166 ((14 . 10) (15 . 11) (16 . 12) (17 . 13)) 5656 0.4428 12.5882 ((9 . 2) (13 . 4) (15 . 5) (17 . 8)) 5700 0.4444 4.8652 ((10 . 3) (14 . 4) (16 . 6) (18 . 8)) 5701 0.4439 9.3138 ((13 . 3) (15 . 4) (16 . 5) (18 . 6)) 5703 0.3526 5.4341 ((9 . 5) (12 . 6) (14 . 7) (15 . 8)) 5711 0.4444 5.8126 ((9 . 31) (14 . 33) (15 . 35) (16 . 36)) 5713 0.5551 6.7112 ((9 . 11) (14 . 16) (15 . 18) (16 . 19) (18 . 20)) 5718 0.4443 6.7933 ((9 . 16) (10 . 17) (13 . 22) (16 . 23)) 5731 0.5342 11.3650 ((9 . 5) (14 . 9) (15 . 10) (16 . 12) (17 . 13)) 5746 0.5554 5.0177 ((13 . 5) (14 . 6) (15 . 7) (16 . 8) (18 . 10)) 5749 0.4443 6.3193 ((14 . 3) (15 . 4) (16 . 5) (17 . 6)) 5761 0.4444 5.7484 ((12 . 28) (13 . 29) (15 . 31) (16 . 32)) 5770 0.4443 7.3324 ((9 . 1) (13 . 5) (15 . 6) (17 . 8)) 5771 0.4437 10.3489 ((13 . 8) (14 . 9) (16 . 13) (17 . 14)) 5782 0.4443 6.1794 ((12 . 18) (14 . 21) (15 . 22) (18 . 24)) 5794 0.4444 5.8480 ((9 . 19) (14 . 23) (15 . 24) (16 . 25)) 5795 0.4437 10.1329 ((9 . 6) (12 . 9) (14 . 10) (17 . 13)) 5809 0.4438 10.0959 ((9 . 9) (13 . 11) (16 . 14) (18 . 15)) 5822 0.4442 7.4662 ((9 . 2) (14 . 7) (15 . 8) (17 . 9)) 5827 0.4444 5.4011 ((9 . 15) (10 . 16) (12 . 17) (16 . 19)) 5830 0.4444 5.8415 ((9 . 7) (10 . 8) (14 . 10) (17 . 13)) 5847 0.5554 4.7941 ((12 . 5) (14 . 7) (15 . 8) (16 . 9) (17 . 10)) 5861 0.4444 4.8726 ((10 . 7) (14 . 11) (15 . 12) (18 . 15)) 5878 0.4443 6.9793 ((10 . 25) (12 . 26) (14 . 29) (15 . 30)) 5888 0.5551 6.8502 ((9 . 13) (14 . 17) (15 . 18) (16 . 19) (18 . 20)) 5896 0.4443 6.6515 ((13 . 27) (14 . 28) (15 . 29) (18 . 31)) 5904 0.4431 12.0692 ((13 . 6) (14 . 7) (16 . 9) (18 . 11)) 5913 0.1980 6.3140 ((9 . 15) (12 . 17) (15 . 20) (16 . 22)) 5914 0.3936 6.9917 ((12 . 3) (13 . 4) (15 . 5) (16 . 6)) 5922 0.4443 7.0917 ((10 . 6) (15 . 9) (16 . 10) (17 . 11)) 5930 0.4440 9.0357 ((9 . 4) (14 . 8) (15 . 9) (16 . 11)) 5939 0.4441 8.4052 ((9 . 8) (10 . 9) (13 . 12) (16 . 14)) 5945 0.4428 12.5112 ((10 . 13) (14 . 16) (15 . 19) (18 . 23)) 5949 0.1495 8.8343 ((10 . 9) (13 . 11) (14 . 12) (16 . 14)) 5955 0.4440 8.8474 ((13 . 12) (15 . 14) (16 . 16) (18 . 17)) 5977 0.4432 11.7918 ((9 . 1) (13 . 4) (16 . 5) (18 . 6)) 6011 0.4443 6.2974 ((10 . 13) (14 . 16) (17 . 18) (18 . 19)) 6022 0.3936 6.5586 ((9 . 2) (14 . 5) (15 . 7) (16 . 8)) 6028 0.1980 9.8324 ((9 . 1) (10 . 2) (12 . 3) (18 . 9)) 6029 0.4440 9.0591 ((10 . 1) (13 . 2) (14 . 3) (15 . 4)) 6041 0.3525 7.9356 ((12 . 8) (15 . 10) (16 . 11) (17 . 12)) 6046 0.4443 7.3337 ((13 . 1) (14 . 2) (15 . 3) (18 . 6)) 6075 0.2441 7.5462 ((10 . 20) (12 . 21) (13 . 22) (15 . 24)) 6079 0.4443 6.6369 ((10 . 1) (15 . 6) (16 . 7) (18 . 8)) 6089 0.4426 12.9813 ((10 . 12) (13 . 15) (15 . 16) (16 . 18)) 6094 0.4444 5.8708 ((14 . 2) (15 . 3) (16 . 5) (18 . 7)) 6099 0.4444 5.5706 ((12 . 24) (14 . 25) (15 . 26) (16 . 27)) 6123 0.2862 7.1779 ((12 . 1) (14 . 3) (15 . 4) (16 . 5)) 6142 0.5553 6.0094 ((12 . 1) (14 . 3) (15 . 4) (16 . 5) (18 . 6)) 6148 0.4444 3.7181 ((10 . 32) (14 . 33) (15 . 36) (16 . 37)) 6167 0.4444 3.5884 ((10 . 1) (12 . 4) (17 . 9) (18 . 10)) 6173 0.4444 4.5139 ((9 . 5) (12 . 7) (14 . 8) (15 . 9)) 6191 0.4441 8.5716 ((10 . 6) (14 . 9) (15 . 10) (17 . 13)) 6192 0.3524 9.8383 ((10 . 10) (12 . 11) (13 . 12) (14 . 13)) 6215 0.4442 7.4123 ((14 . 17) (15 . 18) (16 . 19) (18 . 20)) 6225 0.4442 7.9205 ((13 . 2) (15 . 3) (16 . 4) (18 . 5)) 6228 0.4443 6.8209 ((10 . 9) (12 . 11) (14 . 12) (16 . 14)) 6234 0.4444 3.5823 ((12 . 7) (13 . 8) (14 . 9) (15 . 10)) 6238 0.4441 8.4583 ((14 . 3) (15 . 4) (16 . 5) (18 . 7)) 6243 0.4161 5.6899 ((13 . 1) (14 . 2) (15 . 3) (17 . 6)) 6251 0.4442 7.4156 ((10 . 15) (12 . 17) (13 . 18) (15 . 19)) 6258 0.4441 8.7293 ((13 . 1) (15 . 3) (16 . 4) (18 . 7)) 6261 0.2862 6.4612 ((13 . 18) (14 . 19) (15 . 21) (16 . 22)) 6270 0.4442 7.6016 ((10 . 13) (13 . 14) (14 . 15) (18 . 18)) 6271 0.4423 13.5308 ((14 . 1) (15 . 2) (16 . 3) (18 . 4)) 6273 0.3525 7.6788 ((14 . 1) (15 . 2) (17 . 3) (18 . 4)) 6294 0.3525 8.0371 ((10 . 11) (12 . 14) (13 . 15) (15 . 16)) 6306 0.2441 9.0137 ((9 . 16) (10 . 17) (15 . 20) (16 . 21)) 6309 0.1980 6.6417 ((9 . 17) (10 . 18) (12 . 20) (17 . 25)) 6311 0.4442 8.0220 ((9 . 4) (15 . 9) (17 . 10) (18 . 11)) 6326 0.5430 4.7476 ((9 . 6) (10 . 7) (14 . 10) (15 . 11) (16 . 12)) 6338 0.5555 4.7440 ((10 . 1) (14 . 2) (15 . 4) (16 . 5) (18 . 7)) 6344 0.4442 7.9465 ((12 . 14) (15 . 18) (16 . 19) (18 . 21)) 6345 0.4433 11.6067 ((9 . 7) (13 . 9) (15 . 11) (18 . 13)) 6355 0.4443 6.9519 ((9 . 6) (10 . 7) (14 . 11) (15 . 12)) 6356 0.2862 4.6404 ((10 . 4) (12 . 6) (15 . 9) (16 . 1)) 6369 0.4443 6.7244 ((10 . 20) (12 . 22) (15 . 24) (18 . 26)) 6376 0.4443 7.3532 ((10 . 24) (12 . 26) (14 . 27) (15 . 28)) 6391 0.4442 7.9057 ((9 . 6) (13 . 9) (14 . 10) (17 . 14)) 6399 0.5553 6.0280 ((12 . 10) (14 . 11) (15 . 12) (16 . 13) (18 . 14)) 6403 0.4444 5.3930 ((9 . 10) (12 . 12) (15 . 14) (16 . 15)) 6434 0.4442 7.4737 ((13 . 1) (14 . 2) (15 . 3) (18 . 5)) 6462 0.4439 9.4168 ((13 . 1) (15 . 4) (16 . 5) (17 . 6)) 6498 0.2861 8.3626 ((9 . 24) (13 . 28) (14 . 29) (18 . 31)) 6520 0.4444 3.7965 ((12 . 13) (14 . 14) (15 . 15) (16 . 16)) 6539 0.4443 6.4683 ((13 . 3) (14 . 4) (15 . 5) (18 . 8)) 6540 0.4444 5.1782 ((10 . 16) (15 . 20) (16 . 21) (18 . 22)) 6548 0.4440 8.8289 ((13 . 8) (14 . 9) (15 . 12) (16 . 13)) 6553 0.4443 6.5687 ((10 . 20) (12 . 22) (14 . 24) (15 . 25)) 6555 0.4443 6.3448 ((9 . 19) (13 . 21) (17 . 25) (18 . 26)) 6573 0.4443 6.4860 ((9 . 19) (14 . 22) (15 . 23) (16 . 24)) 6584 0.4441 8.6522 ((12 . 3) (15 . 5) (16 . 6) (18 . 7)) 6585 0.4440 8.9101 ((9 . 10) (10 . 11) (15 . 14) (16 . 15)) 6587 0.4444 4.5049 ((10 . 29) (12 . 31) (15 . 33) (16 . 34)) 6598 0.5550 7.2672 ((12 . 3) (14 . 4) (15 . 5) (16 . 6) (18 . 7)) 6613 0.4444 4.1352 ((9 . 27) (10 . 28) (16 . 32) (17 . 33)) 6635 0.4444 5.5226 ((13 . 2) (14 . 1) (15 . 4) (16 . 5)) END