2990 25 0.3077 7.2146 ((10 . 2) (15 . 6) (16 . 7) (20 . 11)) 41 0.3077 4.3859 ((13 . 4) (14 . 5) (16 . 7) (17 . 8)) 51 0.3077 7.6121 ((10 . 9) (12 . 10) (14 . 13) (15 . 14)) 62 0.3846 5.6750 ((8 . 9) (9 . 10) (12 . 12) (15 . 16) (16 . 17)) 64 0.3077 5.4505 ((9 . 10) (12 . 12) (14 . 14) (15 . 15)) 77 0.3077 7.5072 ((8 . 12) (9 . 13) (12 . 15) (13 . 17)) 91 0.3077 6.9332 ((13 . 15) (14 . 16) (16 . 19) (21 . 25)) 96 0.3077 5.3433 ((8 . 2) (9 . 3) (12 . 5) (13 . 7)) 129 0.3077 5.8283 ((12 . 3) (14 . 8) (15 . 9) (16 . 11)) 136 0.3077 3.7717 ((13 . 4) (14 . 5) (15 . 7) (16 . 8)) 147 0.3075 11.8181 ((10 . 1) (13 . 2) (17 . 5) (18 . 6)) 150 0.3845 8.1116 ((8 . 18) (9 . 19) (12 . 20) (13 . 21) (16 . 25)) 153 0.3077 6.1574 ((12 . 1) (14 . 4) (15 . 5) (16 . 6)) 155 0.3075 11.0506 ((13 . 1) (15 . 2) (16 . 3) (21 . 7)) 157 0.3846 5.5211 ((12 . 1) (13 . 2) (14 . 3) (16 . 5) (17 . 6)) 161 0.3077 7.5136 ((9 . 3) (12 . 4) (13 . 7) (15 . 9)) 162 0.3076 8.3015 ((12 . 12) (15 . 17) (16 . 18) (17 . 19)) 169 0.3846 6.5446 ((9 . 1) (12 . 3) (14 . 5) (15 . 7) (16 . 8)) 177 0.3077 6.8616 ((9 . 4) (12 . 5) (15 . 8) (16 . 10)) 191 0.3077 6.8428 ((8 . 3) (12 . 4) (15 . 6) (16 . 7)) 198 0.3846 5.0649 ((9 . 9) (12 . 10) (14 . 15) (15 . 16) (16 . 17)) 207 0.3077 5.8110 ((12 . 13) (13 . 14) (16 . 18) (17 . 19)) 233 0.3074 12.4792 ((14 . 1) (15 . 2) (16 . 3) (19 . 7)) 259 0.2974 10.8018 ((10 . 1) (17 . 6) (18 . 7) (21 . 8)) 300 0.3077 6.3954 ((8 . 5) (9 . 6) (14 . 9) (15 . 10)) 305 0.3077 7.8887 ((8 . 13) (9 . 15) (15 . 21) (16 . 22)) 307 0.2554 6.4265 ((12 . 3) (13 . 6) (14 . 7) (16 . 9)) 315 0.3076 9.5317 ((8 . 2) (9 . 5) (12 . 6) (14 . 9)) 317 0.1919 11.1672 ((10 . 1) (13 . 3) (17 . 6) (18 . 7)) 329 0.2974 10.5964 ((9 . 4) (10 . 3) (12 . 5) (13 . 7)) 350 0.3845 7.6942 ((9 . 11) (12 . 13) (14 . 17) (15 . 18) (16 . 20)) 351 0.2554 7.7514 ((8 . 1) (13 . 4) (17 . 8) (18 . 9)) 360 0.3845 7.2983 ((9 . 3) (12 . 5) (14 . 7) (15 . 8) (16 . 9)) 361 0.2973 12.5095 ((10 . 3) (12 . 4) (18 . 9) (21 . 13)) 365 0.3077 5.1775 ((12 . 1) (14 . 3) (15 . 4) (16 . 6)) 367 0.3077 4.8418 ((9 . 38) (10 . 39) (12 . 40) (15 . 44)) 372 0.3077 7.8422 ((9 . 3) (12 . 5) (14 . 10) (15 . 11)) 387 0.3077 6.0811 ((10 . 6) (12 . 7) (14 . 9) (15 . 10)) 405 0.3075 12.1713 ((9 . 31) (14 . 37) (15 . 38) (16 . 39)) 417 0.1919 12.1672 ((12 . 1) (14 . 3) (17 . 6) (19 . 9)) 420 0.3846 5.1629 ((9 . 4) (12 . 5) (14 . 8) (15 . 9) (16 . 10)) 433 0.3077 6.9197 ((9 . 6) (12 . 7) (13 . 8) (15 . 10)) 442 0.3846 3.9928 ((8 . 9) (9 . 10) (12 . 12) (13 . 13) (14 . 14)) 460 0.3077 4.6311 ((9 . 2) (12 . 3) (14 . 7) (15 . 8)) 472 0.3075 11.9562 ((14 . 21) (15 . 22) (17 . 23) (18 . 24)) 491 0.3076 10.1402 ((8 . 5) (9 . 6) (14 . 8) (15 . 9)) 495 0.3077 7.4468 ((12 . 3) (13 . 4) (14 . 5) (16 . 7)) 541 0.3077 5.5011 ((14 . 14) (15 . 16) (16 . 17) (18 . 19)) 543 0.3077 5.9469 ((13 . 7) (14 . 8) (15 . 10) (17 . 14)) 553 0.3075 10.8425 ((8 . 2) (10 . 3) (13 . 4) (18 . 9)) 561 0.3846 3.5146 ((8 . 2) (9 . 3) (12 . 4) (13 . 5) (14 . 6)) 584 0.3077 3.6767 ((13 . 2) (14 . 3) (15 . 4) (16 . 5)) 587 0.3077 4.1524 ((9 . 3) (12 . 4) (14 . 8) (15 . 9)) 609 0.3077 5.0612 ((12 . 1) (13 . 2) (16 . 6) (17 . 7)) 619 0.3295 6.5286 ((9 . 11) (12 . 12) (13 . 14) (16 . 15) (17 . 17)) 624 0.3845 7.0988 ((8 . 8) (9 . 11) (15 . 15) (16 . 16) (21 . 21)) 635 0.3844 9.0757 ((8 . 7) (14 . 13) (15 . 14) (16 . 15) (17 . 17)) 672 0.3077 5.0342 ((12 . 20) (14 . 22) (15 . 23) (16 . 24)) 678 0.3077 6.4697 ((8 . 23) (9 . 24) (10 . 25) (15 . 29)) 683 0.3077 7.8455 ((12 . 1) (14 . 3) (15 . 5) (16 . 6)) 719 0.2854 6.2863 ((9 . 25) (12 . 27) (13 . 29) (14 . 30)) 729 0.3077 5.6210 ((8 . 23) (12 . 24) (13 . 26) (15 . 31)) 735 0.3077 5.1444 ((9 . 32) (12 . 33) (14 . 37) (15 . 39)) 740 0.3077 5.8365 ((13 . 1) (14 . 3) (15 . 4) (16 . 7)) 765 0.3076 8.9977 ((9 . 3) (12 . 5) (19 . 19) (20 . 20)) 767 0.3077 6.4062 ((12 . 1) (13 . 2) (14 . 3) (16 . 8)) 782 0.3076 9.9882 ((8 . 4) (10 . 6) (17 . 12) (18 . 14)) 792 0.2975 9.9016 ((13 . 2) (17 . 5) (18 . 8) (21 . 11)) 795 0.3077 2.7024 ((12 . 3) (13 . 4) (14 . 5) (15 . 6)) 796 0.3077 3.4990 ((8 . 4) (9 . 5) (12 . 6) (13 . 7)) 801 0.2554 7.3053 ((12 . 1) (14 . 4) (15 . 5) (16 . 6)) 812 0.2973 12.7584 ((14 . 5) (16 . 8) (17 . 10) (20 . 13)) 818 0.3077 6.1033 ((12 . 4) (13 . 5) (14 . 7) (16 . 10)) 819 0.3075 12.2644 ((8 . 4) (12 . 5) (14 . 9) (17 . 11)) 824 0.3077 6.8500 ((9 . 46) (12 . 49) (14 . 51) (15 . 53)) 834 0.3076 9.5656 ((9 . 32) (13 . 35) (17 . 39) (18 . 40)) 861 0.3077 6.7682 ((10 . 11) (13 . 14) (14 . 16) (15 . 17)) 901 0.3077 6.1147 ((8 . 11) (13 . 16) (16 . 20) (18 . 21)) 904 0.3295 9.4428 ((9 . 2) (10 . 4) (13 . 5) (14 . 6) (15 . 7)) 913 0.3076 9.2048 ((15 . 16) (16 . 17) (17 . 18) (18 . 21)) 928 0.3296 5.7626 ((12 . 10) (13 . 11) (16 . 12) (17 . 15) (21 . 17)) 937 0.3699 5.0962 ((17 . 2) (18 . 3) (19 . 4) (20 . 5) (21 . 6)) 943 0.3077 5.3021 ((12 . 4) (13 . 5) (14 . 6) (16 . 9)) 945 0.3567 8.6112 ((12 . 12) (13 . 13) (16 . 17) (17 . 18) (21 . 23)) 949 0.3076 8.4566 ((9 . 30) (12 . 32) (13 . 33) (17 . 37)) 960 0.3077 7.4407 ((14 . 1) (15 . 3) (16 . 4) (18 . 7)) 978 0.3077 5.9245 ((8 . 9) (9 . 10) (10 . 11) (18 . 17)) 980 0.3846 5.5977 ((12 . 1) (13 . 2) (14 . 3) (16 . 5) (17 . 6)) 1005 0.3076 9.9532 ((14 . 1) (15 . 2) (17 . 4) (18 . 5)) 1007 0.4614 6.0677 ((9 . 7) (12 . 8) (14 . 12) (15 . 13) (16 . 14) (17 . 15)) 1008 0.3077 6.8759 ((13 . 2) (14 . 3) (15 . 5) (16 . 8)) 1034 0.3068 16.9414 ((10 . 19) (12 . 20) (16 . 25) (20 . 29)) 1043 0.3844 9.4456 ((8 . 5) (9 . 6) (15 . 12) (17 . 15) (18 . 16)) 1082 0.3077 7.6500 ((14 . 1) (15 . 3) (16 . 4) (18 . 7)) 1084 0.3074 13.0859 ((10 . 2) (13 . 4) (15 . 8) (16 . 9)) 1121 0.1920 2.8498 ((13 . 1) (14 . 2) (15 . 3) (16 . 4)) 1165 0.3076 8.1970 ((14 . 2) (15 . 3) (16 . 4) (17 . 6)) 1167 0.3077 5.8480 ((9 . 21) (12 . 22) (13 . 24) (16 . 27)) 1169 0.3846 4.8488 ((9 . 29) (12 . 30) (14 . 34) (15 . 35) (16 . 37)) 1195 0.3076 8.0016 ((10 . 1) (14 . 4) (15 . 5) (16 . 6)) 1201 0.3076 9.7716 ((10 . 5) (15 . 9) (16 . 11) (18 . 13)) 1204 0.3077 6.2781 ((8 . 2) (9 . 3) (10 . 4) (15 . 11)) 1210 0.2554 8.4985 ((13 . 2) (17 . 4) (18 . 5) (21 . 7)) 1211 0.3846 6.0441 ((12 . 5) (13 . 7) (14 . 8) (15 . 9) (16 . 10)) 1217 0.3077 7.5617 ((10 . 2) (12 . 3) (14 . 7) (16 . 11)) 1224 0.3295 6.7827 ((9 . 9) (12 . 10) (13 . 13) (14 . 14) (15 . 15)) 1233 0.3077 6.1491 ((12 . 14) (13 . 16) (14 . 17) (19 . 23)) 1267 0.3077 5.3196 ((12 . 24) (13 . 25) (16 . 31) (21 . 37)) 1268 0.3568 4.2813 ((9 . 3) (12 . 4) (13 . 5) (15 . 22) (16 . 25)) 1294 0.3077 7.2525 ((9 . 39) (12 . 40) (14 . 43) (16 . 46)) 1301 0.3077 7.2190 ((17 . 2) (18 . 3) (20 . 5) (21 . 6)) 1345 0.3077 6.3195 ((8 . 8) (9 . 9) (15 . 14) (16 . 16)) 1366 0.3846 4.0760 ((12 . 17) (13 . 18) (14 . 20) (15 . 21) (16 . 22)) 1388 0.3699 5.9463 ((8 . 3) (9 . 4) (12 . 5) (13 . 7) (14 . 8)) 1395 0.2552 14.1095 ((8 . 2) (10 . 3) (13 . 4) (17 . 6)) 1410 0.3077 5.0817 ((9 . 19) (12 . 21) (14 . 23) (15 . 25)) 1415 0.3075 11.2773 ((8 . 1) (10 . 2) (13 . 4) (17 . 6)) 1425 0.3763 6.1541 ((9 . 2) (12 . 4) (13 . 7) (14 . 8) (15 . 10)) 1435 0.3026 6.1479 ((10 . 4) (14 . 5) (15 . 6) (17 . 9)) 1447 0.3077 4.2227 ((12 . 3) (13 . 4) (16 . 5) (17 . 6)) 1451 0.5382 6.4258 ((8 . 2) (9 . 4) (12 . 6) (13 . 7) (14 . 8) (15 . 9) (16 . 10)) 1464 0.3075 11.2437 ((14 . 7) (17 . 9) (19 . 13) (20 . 14)) 1470 0.2973 13.0674 ((8 . 7) (10 . 8) (13 . 10) (21 . 15)) 1472 0.3076 8.2734 ((8 . 5) (9 . 7) (10 . 9) (13 . 11)) 1476 0.3846 5.2593 ((9 . 9) (12 . 11) (13 . 13) (16 . 14) (17 . 16)) 1481 0.3077 6.1004 ((9 . 1) (12 . 2) (14 . 4) (15 . 5)) 1497 0.3076 9.3020 ((8 . 9) (10 . 10) (13 . 12) (21 . 20)) 1501 0.3077 4.7400 ((9 . 1) (12 . 2) (14 . 5) (15 . 6)) 1513 0.3077 5.0376 ((9 . 6) (10 . 7) (12 . 8) (19 . 15)) 1514 0.3846 4.1021 ((8 . 2) (9 . 3) (12 . 4) (13 . 5) (14 . 6)) 1577 0.3077 3.4919 ((13 . 2) (14 . 3) (15 . 4) (16 . 5)) 1591 0.3076 9.2215 ((12 . 1) (16 . 4) (17 . 5) (21 . 7)) 1595 0.3077 7.7825 ((17 . 4) (18 . 6) (20 . 7) (21 . 9)) 1604 0.3077 5.1382 ((12 . 7) (13 . 9) (14 . 10) (16 . 12)) 1622 0.3077 6.5700 ((12 . 20) (13 . 21) (14 . 22) (15 . 23)) 1624 0.3076 9.1892 ((10 . 1) (15 . 5) (16 . 6) (18 . 10)) 1643 0.3846 5.2677 ((9 . 33) (12 . 34) (14 . 37) (15 . 38) (16 . 39)) 1644 0.3077 6.4201 ((9 . 44) (12 . 47) (15 . 51) (16 . 52)) 1665 0.1919 8.8564 ((12 . 6) (13 . 7) (14 . 8) (17 . 11)) 1690 0.3699 5.4181 ((12 . 8) (13 . 9) (14 . 11) (19 . 18) (20 . 19)) 1692 0.3077 5.7714 ((9 . 1) (10 . 2) (13 . 4) (14 . 5)) 1731 0.3076 8.0330 ((8 . 7) (9 . 8) (15 . 12) (16 . 13)) 1736 0.3077 6.5892 ((12 . 1) (13 . 2) (14 . 3) (16 . 5)) 1738 0.3296 4.8775 ((9 . 18) (12 . 19) (13 . 20) (16 . 21) (17 . 25)) 1747 0.3846 4.4469 ((9 . 25) (12 . 27) (14 . 29) (15 . 30) (16 . 31)) 1756 0.3077 4.7158 ((9 . 21) (12 . 23) (14 . 27) (15 . 28)) 1759 0.3077 3.6705 ((12 . 6) (14 . 9) (15 . 10) (16 . 11)) 1761 0.3846 6.5526 ((12 . 9) (13 . 10) (14 . 11) (16 . 13) (17 . 14)) 1763 0.3076 8.9329 ((8 . 6) (10 . 8) (13 . 11) (15 . 13)) 1776 0.3077 5.7214 ((12 . 1) (13 . 6) (16 . 9) (17 . 10)) 1778 0.3077 5.9582 ((9 . 2) (12 . 3) (13 . 6) (16 . 8)) 1793 0.3077 5.6492 ((13 . 5) (14 . 6) (16 . 8) (17 . 9)) 1796 0.3069 16.7867 ((13 . 2) (17 . 5) (18 . 6) (21 . 7)) 1805 0.3077 5.0358 ((9 . 2) (12 . 3) (15 . 9) (16 . 10)) 1808 0.3846 4.4050 ((8 . 1) (9 . 2) (12 . 4) (14 . 6) (15 . 8)) 1817 0.2553 11.6753 ((12 . 13) (14 . 15) (15 . 16) (18 . 21)) 1867 0.3844 8.7512 ((12 . 1) (13 . 2) (15 . 6) (16 . 7) (17 . 8)) 1894 0.3076 8.6228 ((8 . 15) (15 . 22) (16 . 23) (21 . 30)) 1896 0.3076 9.9326 ((8 . 4) (9 . 5) (17 . 13) (19 . 14)) 1897 0.3076 10.4144 ((10 . 35) (13 . 37) (15 . 39) (16 . 40)) 1908 0.3076 8.9567 ((13 . 9) (14 . 10) (16 . 15) (21 . 19)) 1909 0.3077 3.9903 ((12 . 34) (13 . 36) (14 . 37) (16 . 39)) 1913 0.3077 6.1942 ((12 . 1) (13 . 2) (14 . 3) (16 . 6)) 1944 0.3077 5.1958 ((15 . 23) (16 . 24) (18 . 26) (21 . 30)) 1957 0.3077 3.7773 ((8 . 12) (9 . 13) (12 . 15) (15 . 19)) 1961 0.3077 3.9038 ((13 . 13) (14 . 14) (15 . 15) (16 . 16)) 1967 0.3077 3.8132 ((9 . 1) (12 . 3) (13 . 4) (17 . 9)) 1972 0.3077 5.9093 ((12 . 18) (13 . 19) (14 . 20) (17 . 25)) 1992 0.3076 9.7221 ((12 . 3) (16 . 9) (17 . 10) (18 . 13)) 1995 0.3846 5.0983 ((9 . 3) (12 . 7) (14 . 9) (15 . 12) (16 . 13)) 2003 0.3077 5.5555 ((9 . 4) (12 . 5) (15 . 9) (16 . 10)) 2006 0.3846 5.4620 ((9 . 8) (12 . 9) (14 . 11) (15 . 12) (16 . 13)) 2045 0.2554 9.0521 ((9 . 1) (12 . 2) (14 . 3) (16 . 7)) 2048 0.3077 4.6621 ((12 . 13) (13 . 14) (15 . 16) (16 . 17)) 2054 0.3076 9.0197 ((9 . 1) (12 . 2) (13 . 7) (21 . 16)) 2063 0.3077 6.0003 ((9 . 43) (12 . 44) (14 . 49) (15 . 50)) 2065 0.3077 5.2332 ((8 . 15) (9 . 18) (15 . 26) (16 . 27)) 2067 0.3077 6.4485 ((15 . 38) (16 . 39) (18 . 47) (21 . 49)) 2072 0.3845 7.9708 ((12 . 2) (14 . 5) (15 . 6) (16 . 7) (17 . 8)) 2081 0.3844 9.0626 ((8 . 7) (9 . 9) (12 . 10) (13 . 11) (14 . 12)) 2083 0.3077 7.4904 ((12 . 4) (13 . 6) (14 . 7) (17 . 11)) 2097 0.3076 9.9543 ((9 . 1) (10 . 2) (15 . 6) (16 . 7)) 2114 0.3846 5.3221 ((12 . 29) (13 . 30) (14 . 32) (15 . 34) (16 . 36)) 2116 0.3077 6.6597 ((9 . 3) (12 . 4) (14 . 6) (15 . 7)) 2117 0.3077 4.7331 ((10 . 19) (12 . 20) (13 . 24) (14 . 25)) 2118 0.3138 7.4717 ((9 . 1) (12 . 4) (15 . 5) (16 . 7) (17 . 9) (19 . 11)) 2122 0.3077 4.6937 ((13 . 5) (14 . 6) (16 . 10) (21 . 13)) 2166 0.4615 4.3650 ((9 . 12) (12 . 13) (13 . 14) (14 . 15) (15 . 16) (16 . 17)) 2179 0.3846 4.9791 ((12 . 4) (14 . 7) (15 . 9) (16 . 10) (21 . 15)) 2196 0.3077 4.8036 ((9 . 13) (12 . 14) (14 . 18) (15 . 19)) 2203 0.3077 4.9294 ((8 . 3) (9 . 5) (12 . 7) (13 . 8)) 2205 0.3077 7.3304 ((12 . 16) (15 . 19) (16 . 22) (18 . 24)) 2209 0.3077 6.6978 ((8 . 4) (9 . 5) (12 . 6) (15 . 9)) 2220 0.1919 9.8058 ((9 . 2) (10 . 1) (12 . 3) (14 . 7)) 2243 0.3077 3.4106 ((14 . 44) (15 . 45) (16 . 47) (17 . 48)) 2244 0.3841 11.1088 ((9 . 69) (12 . 70) (14 . 74) (15 . 75) (19 . 79)) 2248 0.3077 5.8232 ((8 . 20) (9 . 22) (15 . 27) (16 . 28)) 2249 0.3077 5.7346 ((9 . 7) (13 . 10) (19 . 17) (20 . 18)) 2269 0.3076 10.1040 ((8 . 1) (14 . 6) (15 . 7) (17 . 9)) 2279 0.3846 4.7615 ((8 . 1) (9 . 3) (12 . 5) (13 . 6) (14 . 7)) 2295 0.3075 10.8290 ((13 . 2) (17 . 5) (18 . 6) (21 . 7)) 2298 0.3846 5.8001 ((12 . 6) (13 . 7) (14 . 8) (16 . 10) (17 . 11)) 2308 0.3076 9.8668 ((12 . 4) (13 . 7) (16 . 8) (21 . 12)) 2314 0.3075 12.1442 ((14 . 2) (16 . 4) (19 . 7) (20 . 8)) 2340 0.3846 6.2944 ((13 . 10) (14 . 11) (15 . 13) (16 . 14) (17 . 15)) 2342 0.2974 11.2257 ((8 . 1) (13 . 3) (18 . 6) (21 . 8)) 2344 0.3077 7.6943 ((12 . 10) (15 . 14) (16 . 18) (21 . 22)) 2364 0.3845 8.2265 ((10 . 11) (13 . 16) (14 . 18) (15 . 19) (16 . 20)) 2381 0.3077 6.4590 ((17 . 2) (19 . 4) (20 . 5) (21 . 8)) 2389 0.3845 7.1628 ((9 . 6) (12 . 7) (14 . 9) (15 . 10) (16 . 11)) 2393 0.2853 11.8726 ((9 . 15) (13 . 17) (14 . 18) (17 . 19)) 2408 0.3077 6.5273 ((9 . 39) (14 . 42) (15 . 45) (16 . 46)) 2409 0.1920 7.1617 ((9 . 2) (12 . 4) (14 . 6) (15 . 8)) 2410 0.3077 4.2570 ((12 . 13) (13 . 15) (14 . 16) (15 . 17)) 2422 0.3077 5.8885 ((12 . 1) (14 . 6) (15 . 7) (16 . 8)) 2423 0.3077 6.7150 ((13 . 12) (19 . 16) (20 . 17) (21 . 18)) 2440 0.3077 5.7897 ((14 . 7) (16 . 9) (17 . 10) (18 . 12)) 2447 0.3077 7.0521 ((12 . 18) (16 . 24) (17 . 26) (18 . 27)) 2462 0.3077 6.4425 ((12 . 3) (13 . 5) (15 . 6) (16 . 7)) 2510 0.3077 5.6540 ((12 . 17) (14 . 21) (17 . 24) (21 . 29)) 2525 0.3077 6.2667 ((10 . 42) (15 . 47) (16 . 48) (18 . 52)) 2529 0.3846 6.5055 ((13 . 2) (14 . 3) (15 . 5) (16 . 6) (17 . 7)) 2533 0.3077 5.0195 ((12 . 6) (13 . 7) (14 . 8) (17 . 11)) 2544 0.1480 4.8587 ((17 . 19) (18 . 21) (19 . 22) (20 . 23)) 2551 0.3077 7.1212 ((17 . 8) (18 . 10) (19 . 11) (20 . 12)) 2552 0.3846 5.2005 ((12 . 1) (13 . 2) (14 . 3) (16 . 5) (17 . 6)) 2556 0.3845 7.8960 ((10 . 15) (12 . 16) (13 . 17) (14 . 20) (16 . 22)) 2557 0.3846 3.6247 ((8 . 1) (12 . 3) (13 . 5) (14 . 6) (15 . 7)) 2561 0.3073 13.9009 ((9 . 1) (13 . 4) (15 . 6) (16 . 7)) 2595 0.3076 8.7304 ((8 . 2) (9 . 4) (10 . 5) (19 . 13)) 2619 0.3077 6.4714 ((9 . 2) (12 . 3) (13 . 4) (16 . 7)) 2627 0.3076 8.7561 ((13 . 57) (18 . 62) (19 . 64) (20 . 65)) 2650 0.4495 5.3187 ((9 . 1) (12 . 2) (13 . 4) (14 . 5) (15 . 6) (16 . 7)) 2658 0.3076 8.2548 ((17 . 9) (18 . 11) (19 . 12) (20 . 13)) 2675 0.3077 7.3911 ((12 . 1) (14 . 4) (15 . 5) (16 . 8)) 2682 0.3077 6.5647 ((14 . 12) (15 . 13) (16 . 19) (18 . 20)) 2696 0.3077 6.6964 ((9 . 32) (12 . 34) (15 . 38) (16 . 39)) 2703 0.2283 14.8692 ((13 . 1) (17 . 3) (18 . 4) (21 . 6)) 2731 0.3296 5.9746 ((17 . 2) (18 . 3) (19 . 4) (20 . 5) (21 . 6)) 2733 0.3074 12.3867 ((12 . 2) (16 . 8) (17 . 9) (18 . 12)) 2753 0.3070 15.9514 ((10 . 6) (13 . 7) (17 . 10) (18 . 11)) 2755 0.3846 5.8364 ((12 . 3) (13 . 4) (14 . 5) (16 . 6) (17 . 7)) 2773 0.3295 8.1868 ((8 . 4) (9 . 5) (12 . 6) (13 . 7) (17 . 9)) 2783 0.3077 4.6574 ((8 . 4) (9 . 6) (12 . 7) (15 . 12)) 2804 0.3077 6.9517 ((9 . 34) (12 . 36) (15 . 38) (16 . 39)) 2821 0.3076 9.1505 ((13 . 6) (17 . 10) (20 . 13) (21 . 14)) 2830 0.3846 5.4761 ((12 . 11) (13 . 12) (14 . 13) (16 . 15) (17 . 16)) 2834 0.3077 6.5063 ((12 . 1) (13 . 2) (14 . 6) (16 . 8)) 2840 0.3076 8.7849 ((14 . 1) (16 . 5) (17 . 7) (21 . 10)) 2842 0.3076 8.8306 ((9 . 5) (13 . 8) (16 . 11) (21 . 13)) 2867 0.3077 7.2026 ((8 . 3) (14 . 7) (15 . 8) (17 . 11)) 2879 0.3077 5.9271 ((9 . 51) (14 . 57) (15 . 58) (16 . 59)) 2886 0.3845 7.4194 ((9 . 33) (12 . 34) (14 . 37) (15 . 38) (16 . 39)) 2929 0.3077 3.4433 ((12 . 36) (13 . 38) (14 . 39) (15 . 40)) 2940 0.3076 8.1841 ((12 . 1) (13 . 2) (15 . 4) (16 . 5)) 2947 0.3846 4.9814 ((9 . 3) (12 . 4) (13 . 5) (14 . 6) (15 . 7)) 2950 0.2967 17.5625 ((13 . 8) (17 . 11) (18 . 12) (21 . 13)) 2966 0.3568 5.4268 ((9 . 3) (12 . 4) (14 . 8) (15 . 9) (16 . 17)) 2990 1.0000 0.0000 ((8 . 8) (9 . 9) (10 . 10) (12 . 12) (13 . 13) (14 . 14) (15 . 15) (16 . 16) (17 . 17) (18 . 18) (19 . 19) (20 . 20) (21 . 21)) 2999 0.3077 7.8757 ((10 . 1) (13 . 3) (14 . 4) (16 . 6)) 3014 0.3076 8.9862 ((8 . 15) (13 . 17) (19 . 23) (20 . 24)) 3019 0.3077 3.6670 ((13 . 8) (14 . 9) (15 . 10) (16 . 11)) 3034 0.3077 5.6032 ((12 . 1) (13 . 4) (14 . 5) (16 . 7)) 3041 0.3846 6.4579 ((8 . 28) (9 . 29) (13 . 31) (14 . 32) (15 . 33)) 3055 0.3844 9.2560 ((9 . 15) (12 . 16) (14 . 20) (15 . 21) (19 . 25)) 3063 0.3077 6.0930 ((10 . 34) (12 . 35) (14 . 38) (15 . 39)) 3070 0.3077 7.9329 ((18 . 34) (19 . 35) (20 . 36) (21 . 37)) 3084 0.3844 8.7948 ((8 . 2) (13 . 6) (14 . 7) (16 . 9) (18 . 12)) 3102 0.3846 6.6460 ((9 . 62) (14 . 66) (15 . 67) (16 . 68) (19 . 71)) 3103 0.3846 4.0168 ((9 . 1) (12 . 2) (14 . 5) (15 . 11) (16 . 13)) 3114 0.3075 12.0686 ((9 . 22) (12 . 23) (14 . 25) (16 . 29)) 3120 0.3846 5.0200 ((8 . 20) (9 . 21) (12 . 22) (13 . 24) (16 . 25)) 3127 0.3077 6.9107 ((13 . 7) (14 . 8) (16 . 11) (17 . 12)) 3147 0.3077 4.6788 ((9 . 21) (12 . 22) (14 . 26) (15 . 27)) 3176 0.3076 9.3905 ((8 . 21) (14 . 26) (15 . 27) (16 . 29)) 3187 0.3077 6.1960 ((9 . 2) (12 . 3) (15 . 6) (16 . 7)) 3190 0.3077 5.5464 ((8 . 4) (9 . 6) (12 . 9) (17 . 12)) 3197 0.3077 5.4099 ((12 . 21) (13 . 22) (14 . 24) (17 . 27)) 3200 0.3568 4.8235 ((12 . 6) (13 . 7) (15 . 9) (16 . 11) (20 . 15)) 3202 0.3075 11.5527 ((9 . 9) (17 . 15) (19 . 18) (20 . 19)) 3212 0.3077 3.1490 ((14 . 2) (15 . 3) (16 . 5) (17 . 7)) 3222 0.3077 4.7443 ((8 . 2) (9 . 3) (12 . 4) (19 . 14)) 3256 0.3077 7.0370 ((9 . 20) (12 . 24) (14 . 26) (15 . 28)) 3261 0.3077 5.8661 ((9 . 2) (12 . 3) (15 . 6) (16 . 7)) 3286 0.3077 4.0259 ((13 . 2) (14 . 3) (15 . 4) (16 . 5)) 3289 0.3077 3.8421 ((13 . 28) (14 . 29) (15 . 30) (16 . 31)) 3297 0.3077 4.6520 ((9 . 3) (12 . 4) (14 . 7) (15 . 13)) 3300 0.3077 5.2191 ((12 . 1) (14 . 4) (15 . 5) (17 . 10)) 3322 0.3077 5.3907 ((12 . 1) (13 . 2) (14 . 3) (16 . 7)) 3334 0.3077 6.0346 ((12 . 5) (16 . 10) (17 . 11) (21 . 13)) 3339 0.3077 5.3412 ((8 . 25) (12 . 28) (13 . 30) (15 . 33)) 3344 0.1480 7.8017 ((9 . 18) (12 . 20) (15 . 22) (16 . 24)) 3358 0.3077 5.8171 ((12 . 4) (13 . 5) (14 . 8) (16 . 10)) 3362 0.3077 5.1544 ((8 . 5) (9 . 6) (14 . 10) (15 . 11)) 3366 0.3077 5.4384 ((14 . 27) (15 . 28) (16 . 29) (18 . 33)) 3391 0.3823 16.4145 ((8 . 5) (9 . 6) (15 . 13) (18 . 16) (21 . 19)) 3410 0.3077 6.8311 ((12 . 21) (13 . 23) (14 . 24) (16 . 28)) 3415 0.2974 11.1615 ((8 . 19) (10 . 20) (13 . 22) (17 . 24)) 3418 0.3077 7.6276 ((10 . 1) (14 . 5) (15 . 6) (16 . 7)) 3446 0.3076 8.8693 ((14 . 5) (15 . 6) (17 . 8) (18 . 9)) 3470 0.2854 9.9433 ((8 . 9) (10 . 11) (13 . 12) (18 . 16)) 3472 0.3076 8.3706 ((12 . 1) (14 . 4) (15 . 5) (16 . 6)) 3481 0.3846 6.4251 ((12 . 2) (13 . 3) (14 . 4) (15 . 7) (16 . 8)) 3489 0.3076 8.1234 ((9 . 1) (12 . 3) (16 . 10) (19 . 12)) 3495 0.3077 4.0288 ((14 . 1) (15 . 2) (16 . 3) (17 . 5)) 3496 0.3693 12.3719 ((8 . 21) (9 . 22) (12 . 23) (13 . 24) (18 . 28)) 3533 0.3077 7.3874 ((9 . 1) (12 . 3) (13 . 6) (14 . 7)) 3537 0.3077 5.3967 ((12 . 7) (13 . 8) (14 . 9) (15 . 10)) 3538 0.3842 10.9581 ((8 . 17) (9 . 18) (12 . 20) (13 . 21) (21 . 27)) 3548 0.3845 7.1738 ((9 . 3) (12 . 4) (14 . 6) (15 . 8) (16 . 9)) 3549 0.1919 10.4172 ((15 . 2) (16 . 3) (19 . 5) (20 . 8)) 3561 0.3077 4.8322 ((8 . 21) (9 . 22) (10 . 23) (15 . 28)) 3570 0.3844 8.6282 ((8 . 2) (9 . 3) (13 . 6) (14 . 7) (15 . 8)) 3585 0.3840 11.9387 ((8 . 7) (9 . 8) (14 . 13) (15 . 14) (21 . 18)) 3613 0.3077 7.9100 ((9 . 35) (12 . 36) (18 . 42) (21 . 44)) 3625 0.3846 4.8746 ((14 . 3) (15 . 5) (16 . 6) (19 . 7) (20 . 9)) 3626 0.3077 5.2001 ((12 . 3) (13 . 5) (14 . 8) (15 . 11)) 3628 0.3846 6.5903 ((12 . 6) (13 . 7) (14 . 8) (16 . 10) (17 . 11)) 3651 0.3077 4.6692 ((12 . 1) (13 . 2) (16 . 5) (17 . 7)) 3656 0.3077 6.5218 ((10 . 12) (18 . 21) (19 . 22) (20 . 23)) 3658 0.3077 7.4845 ((9 . 1) (14 . 6) (15 . 7) (16 . 8)) 3659 0.2853 11.2102 ((14 . 5) (15 . 7) (19 . 12) (20 . 13)) 3661 0.3077 6.5996 ((13 . 3) (18 . 10) (20 . 11) (21 . 13)) 3663 0.3076 8.7562 ((9 . 2) (10 . 3) (12 . 5) (13 . 6)) 3688 0.3076 9.0508 ((12 . 29) (15 . 34) (16 . 35) (19 . 37)) 3697 0.3846 5.2947 ((8 . 5) (9 . 6) (12 . 7) (13 . 8) (16 . 10)) 3703 0.3077 5.6827 ((14 . 7) (15 . 8) (16 . 9) (17 . 10)) 3732 0.3762 8.6867 ((10 . 4) (12 . 7) (13 . 8) (16 . 9) (17 . 13)) 3733 0.3077 7.1158 ((9 . 1) (12 . 3) (13 . 4) (18 . 9)) 3740 0.3846 5.2761 ((9 . 1) (12 . 2) (14 . 4) (15 . 5) (16 . 6)) 3741 0.3077 5.5267 ((12 . 25) (14 . 27) (15 . 28) (16 . 32)) 3776 0.3077 4.8617 ((12 . 15) (13 . 16) (14 . 17) (16 . 21)) 3778 0.3846 4.6772 ((9 . 3) (12 . 4) (13 . 5) (14 . 6) (15 . 7)) 3787 0.3077 5.3357 ((12 . 17) (13 . 18) (14 . 19) (16 . 21)) 3790 0.3846 4.8353 ((9 . 10) (12 . 13) (14 . 15) (15 . 16) (16 . 18)) 3807 0.3075 11.4374 ((14 . 43) (15 . 46) (16 . 47) (18 . 49)) 3810 0.3845 7.1382 ((9 . 4) (12 . 6) (14 . 10) (15 . 11) (16 . 14)) 3817 0.3076 8.6372 ((10 . 13) (14 . 15) (15 . 16) (17 . 17)) 3818 0.3077 6.1519 ((8 . 21) (9 . 23) (15 . 28) (16 . 29)) 3829 0.2851 14.3508 ((12 . 2) (13 . 3) (17 . 8) (18 . 10)) 3831 0.3846 5.8038 ((9 . 5) (12 . 6) (13 . 7) (16 . 9) (17 . 11)) 3847 0.3076 9.0912 ((10 . 10) (14 . 13) (15 . 16) (16 . 17)) 3849 0.1919 8.5555 ((12 . 1) (13 . 4) (15 . 5) (16 . 8)) 3853 0.3077 6.2401 ((8 . 4) (9 . 6) (18 . 13) (19 . 14)) 3870 0.3076 9.0353 ((10 . 6) (13 . 7) (14 . 8) (16 . 10)) 3933 0.3077 5.0463 ((9 . 2) (12 . 3) (14 . 8) (15 . 9)) 3938 0.6743 3.0599 ((8 . 1) (9 . 2) (10 . 3) (12 . 4) (13 . 5) (14 . 6) (15 . 8) (16 . 9) (17 . 12)) 3942 0.1480 8.2637 ((15 . 2) (16 . 3) (17 . 5) (18 . 6)) 3968 0.3075 10.9710 ((8 . 2) (12 . 5) (13 . 8) (16 . 11)) 3986 0.3077 7.1756 ((9 . 21) (12 . 25) (15 . 28) (16 . 29)) 3990 0.3077 6.2383 ((12 . 18) (13 . 19) (14 . 20) (16 . 22)) 4005 0.4615 4.4563 ((8 . 28) (9 . 29) (12 . 30) (13 . 31) (14 . 35) (15 . 36)) 4009 0.3077 5.8078 ((9 . 13) (12 . 15) (16 . 19) (17 . 20)) 4019 0.3077 4.6282 ((12 . 46) (15 . 50) (16 . 51) (17 . 52)) 4030 0.3025 8.8005 ((8 . 10) (10 . 12) (18 . 18) (21 . 20)) 4034 0.3846 6.1932 ((8 . 3) (9 . 5) (12 . 6) (13 . 7) (16 . 9)) 4037 0.3076 8.7964 ((12 . 2) (13 . 4) (17 . 7) (18 . 8)) 4062 0.3075 11.2907 ((8 . 40) (10 . 44) (17 . 51) (18 . 53)) 4067 0.3077 5.1432 ((12 . 14) (13 . 15) (14 . 16) (16 . 20)) 4077 0.2973 12.5223 ((13 . 3) (17 . 6) (18 . 7) (21 . 9)) 4082 0.3077 5.1355 ((8 . 1) (13 . 4) (14 . 5) (15 . 6)) 4087 0.3077 6.0888 ((12 . 1) (14 . 5) (15 . 6) (16 . 7)) 4112 0.3077 5.6973 ((12 . 1) (14 . 3) (15 . 4) (17 . 8)) 4115 0.3844 8.8602 ((8 . 12) (12 . 13) (13 . 14) (14 . 15) (16 . 17)) 4134 0.3074 12.8104 ((8 . 23) (10 . 25) (17 . 30) (21 . 32)) 4140 0.3076 9.1264 ((14 . 21) (15 . 22) (16 . 23) (18 . 26)) 4151 0.3844 8.7532 ((12 . 7) (13 . 8) (16 . 12) (17 . 14) (21 . 18)) 4154 0.3077 4.8647 ((9 . 51) (12 . 52) (14 . 56) (15 . 57)) 4177 0.3074 12.6661 ((14 . 2) (17 . 6) (19 . 8) (20 . 9)) 4190 0.3077 7.6771 ((17 . 6) (18 . 7) (19 . 8) (20 . 9)) 4192 0.3077 6.7935 ((12 . 15) (13 . 16) (18 . 21) (20 . 23)) 4194 0.3568 6.4284 ((12 . 3) (13 . 4) (14 . 5) (15 . 6) (16 . 7)) 4195 0.3077 6.9930 ((13 . 13) (15 . 14) (16 . 15) (17 . 17)) 4204 0.3077 5.3637 ((12 . 3) (13 . 4) (14 . 5) (16 . 9)) 4209 0.3077 6.3647 ((9 . 1) (12 . 2) (16 . 10) (17 . 11)) 4210 0.3844 8.4864 ((13 . 3) (14 . 4) (15 . 5) (16 . 6) (17 . 7)) 4216 0.2853 12.2844 ((8 . 9) (13 . 12) (17 . 15) (18 . 16)) 4226 0.3846 3.4096 ((8 . 10) (12 . 16) (13 . 17) (14 . 18) (15 . 19)) 4232 0.3075 11.1783 ((9 . 1) (14 . 2) (15 . 3) (18 . 7)) 4236 0.2975 7.4022 ((12 . 5) (14 . 7) (15 . 8) (17 . 11)) 4246 0.3077 6.2225 ((9 . 2) (12 . 3) (14 . 6) (15 . 8)) 4254 0.3846 4.8599 ((9 . 9) (12 . 11) (13 . 12) (14 . 13) (17 . 16)) 4255 0.3077 5.2875 ((12 . 21) (13 . 22) (14 . 23) (15 . 24)) 4257 0.3077 6.9536 ((8 . 2) (9 . 3) (14 . 9) (15 . 10)) 4265 0.3077 5.3879 ((13 . 22) (14 . 23) (16 . 26) (17 . 27)) 4266 0.3077 6.0796 ((8 . 1) (9 . 2) (10 . 3) (16 . 11)) 4274 0.3077 6.9856 ((12 . 36) (13 . 37) (14 . 38) (16 . 40)) 4275 0.3077 4.3682 ((8 . 22) (9 . 23) (14 . 27) (15 . 28)) 4281 0.3076 9.4233 ((9 . 4) (12 . 5) (13 . 9) (17 . 14)) 4284 0.4615 3.3367 ((8 . 2) (12 . 6) (13 . 7) (14 . 8) (15 . 9) (16 . 10)) 4299 0.3077 7.1021 ((10 . 8) (12 . 9) (13 . 10) (16 . 14)) 4301 0.3077 5.4041 ((9 . 1) (12 . 2) (14 . 4) (15 . 6)) 4326 0.3074 12.4508 ((8 . 4) (13 . 8) (14 . 10) (17 . 14)) 4332 0.4496 3.1782 ((8 . 1) (9 . 2) (10 . 3) (12 . 4) (13 . 5) (16 . 6)) 4338 0.3077 4.8704 ((13 . 5) (14 . 6) (15 . 7) (16 . 8)) 4352 0.3076 8.3435 ((14 . 9) (15 . 10) (17 . 12) (18 . 13)) 4359 0.3845 6.7488 ((9 . 3) (12 . 4) (14 . 8) (15 . 9) (16 . 10)) 4380 0.3845 6.7320 ((12 . 4) (14 . 14) (15 . 15) (16 . 17) (19 . 31)) 4383 0.3845 6.8770 ((9 . 14) (12 . 15) (14 . 17) (15 . 18) (16 . 21)) 4386 0.3077 5.5123 ((12 . 16) (13 . 17) (15 . 18) (16 . 19)) 4388 0.3845 7.0451 ((8 . 4) (9 . 5) (12 . 6) (14 . 9) (15 . 10)) 4398 0.3077 5.5995 ((8 . 5) (9 . 6) (12 . 8) (15 . 12)) 4405 0.3846 5.6847 ((8 . 17) (9 . 18) (12 . 19) (13 . 20) (14 . 21)) 4408 0.3077 3.4614 ((9 . 1) (12 . 3) (15 . 6) (16 . 7)) 4415 0.4610 9.0520 ((8 . 2) (9 . 3) (12 . 4) (13 . 5) (16 . 9) (17 . 10)) 4419 0.2554 5.2764 ((13 . 5) (14 . 6) (15 . 8) (16 . 9)) 4426 0.3077 4.1982 ((8 . 3) (12 . 4) (13 . 5) (14 . 6)) 4470 0.3845 7.4686 ((13 . 17) (14 . 18) (15 . 19) (16 . 20) (17 . 22)) 4491 0.3077 5.3208 ((12 . 1) (13 . 4) (14 . 5) (15 . 6)) 4492 0.3846 6.3081 ((12 . 13) (13 . 14) (14 . 16) (16 . 18) (17 . 19)) 4495 0.3077 5.4599 ((12 . 6) (13 . 7) (16 . 10) (17 . 11)) 4497 0.3077 5.8161 ((8 . 20) (12 . 23) (14 . 25) (15 . 26)) 4502 0.3698 7.9590 ((9 . 10) (12 . 14) (13 . 16) (16 . 17) (21 . 21)) 4503 0.2554 8.3074 ((8 . 2) (9 . 3) (12 . 4) (14 . 8)) 4504 0.3077 6.1987 ((15 . 6) (16 . 8) (17 . 10) (18 . 11)) 4505 0.3842 10.7210 ((9 . 25) (12 . 26) (13 . 27) (14 . 28) (17 . 31)) 4516 0.3077 6.6334 ((8 . 7) (9 . 8) (12 . 10) (20 . 20)) 4527 0.3845 7.0852 ((9 . 1) (10 . 2) (13 . 4) (15 . 6) (16 . 7)) 4538 0.2854 8.2984 ((17 . 29) (19 . 32) (20 . 33) (21 . 36)) 4560 0.3077 5.8360 ((12 . 11) (13 . 12) (14 . 14) (15 . 16)) 4561 0.3077 4.5928 ((8 . 4) (9 . 5) (10 . 6) (15 . 9)) 4562 0.3076 8.7121 ((8 . 21) (10 . 23) (13 . 26) (15 . 27)) 4563 0.3077 4.2137 ((10 . 27) (19 . 34) (20 . 35) (21 . 37)) 4577 0.3843 10.2084 ((9 . 42) (12 . 43) (15 . 48) (19 . 52) (20 . 54)) 4579 0.3075 11.1736 ((8 . 11) (13 . 16) (14 . 18) (21 . 25)) 4588 0.3076 10.4051 ((13 . 2) (14 . 3) (16 . 7) (21 . 12)) 4589 0.3077 6.9383 ((12 . 23) (13 . 24) (14 . 25) (16 . 29)) 4607 0.3076 8.8480 ((13 . 2) (14 . 4) (17 . 9) (18 . 11)) 4621 0.3077 6.3071 ((12 . 4) (13 . 5) (15 . 8) (16 . 9)) 4630 0.3077 5.7854 ((8 . 2) (12 . 8) (15 . 12) (16 . 14)) 4648 0.3796 4.9780 ((9 . 1) (12 . 2) (13 . 3) (14 . 5) (15 . 8)) 4653 0.3077 5.0021 ((9 . 3) (12 . 4) (14 . 7) (15 . 8)) 4668 0.3077 4.9215 ((13 . 2) (14 . 3) (16 . 7) (17 . 8)) 4669 0.3076 9.4629 ((8 . 16) (9 . 17) (15 . 21) (17 . 23)) 4671 0.3077 5.8539 ((8 . 9) (9 . 11) (12 . 15) (13 . 16)) 4674 0.3841 11.4530 ((8 . 3) (13 . 5) (14 . 7) (15 . 8) (16 . 9)) 4678 0.2284 9.5173 ((9 . 6) (10 . 7) (19 . 15) (20 . 16)) 4713 0.3077 6.8290 ((10 . 1) (14 . 6) (15 . 7) (16 . 8)) 4715 0.3077 4.5824 ((14 . 3) (15 . 6) (17 . 10) (18 . 11)) 4731 0.3077 4.2859 ((8 . 16) (14 . 22) (15 . 23) (16 . 24)) 4764 0.3076 8.7196 ((10 . 3) (17 . 8) (18 . 9) (21 . 11)) 4783 0.2552 14.2078 ((8 . 3) (10 . 6) (18 . 10) (21 . 12)) 4857 0.3076 8.8036 ((12 . 5) (15 . 9) (16 . 11) (18 . 12)) 4886 0.3077 4.5145 ((9 . 16) (12 . 17) (13 . 18) (14 . 19)) 4888 0.3076 9.2036 ((8 . 6) (12 . 9) (13 . 11) (16 . 14)) 4889 0.3846 6.1701 ((9 . 3) (12 . 4) (13 . 5) (14 . 6) (15 . 7)) 4907 0.3077 3.7573 ((9 . 1) (14 . 7) (15 . 8) (16 . 9)) 4914 0.3846 6.1812 ((9 . 5) (12 . 6) (14 . 10) (15 . 11) (16 . 12)) 4921 0.3077 7.2311 ((12 . 7) (14 . 9) (16 . 12) (17 . 13)) 4929 0.3077 6.1340 ((9 . 26) (14 . 31) (15 . 32) (16 . 33)) 4932 0.3076 7.9796 ((14 . 4) (15 . 5) (16 . 6) (17 . 7)) 4940 0.3077 5.6130 ((9 . 1) (12 . 3) (13 . 5) (16 . 8)) 4944 0.3077 5.1764 ((12 . 11) (13 . 12) (15 . 13) (16 . 14)) 4961 0.3077 7.0880 ((15 . 14) (16 . 15) (18 . 18) (20 . 20)) 4963 0.2974 10.6337 ((10 . 2) (17 . 7) (18 . 8) (21 . 10)) 4978 0.3077 6.6518 ((9 . 18) (14 . 22) (15 . 24) (17 . 26)) 4982 0.3077 4.5979 ((9 . 9) (12 . 10) (13 . 11) (14 . 12)) 4992 0.3845 6.9209 ((9 . 2) (12 . 3) (13 . 4) (15 . 6) (16 . 9)) 4998 0.3076 9.2394 ((9 . 15) (10 . 16) (14 . 19) (15 . 20)) 5016 0.1322 14.0324 ((8 . 1) (10 . 2) (17 . 6) (18 . 7)) 5029 0.3077 5.4575 ((12 . 2) (13 . 3) (14 . 4) (16 . 8)) 5036 0.3077 6.0088 ((9 . 1) (14 . 6) (15 . 7) (16 . 8)) 5038 0.3077 4.8620 ((9 . 9) (12 . 12) (14 . 15) (15 . 16)) 5039 0.3077 3.9861 ((8 . 36) (9 . 37) (12 . 44) (16 . 45)) 5044 0.1632 16.1785 ((9 . 2) (14 . 8) (15 . 9) (19 . 16)) 5053 0.3077 5.1055 ((9 . 6) (13 . 8) (16 . 11) (21 . 17)) 5065 0.3076 8.0179 ((8 . 6) (9 . 8) (12 . 9) (13 . 12)) 5068 0.2973 12.7422 ((9 . 10) (10 . 11) (16 . 17) (18 . 19)) 5069 0.3846 5.9174 ((9 . 5) (10 . 6) (12 . 7) (13 . 8) (14 . 9)) 5073 0.3077 5.5236 ((12 . 32) (13 . 33) (14 . 34) (16 . 36)) 5080 0.3568 6.2687 ((9 . 2) (12 . 3) (17 . 8) (18 . 10) (21 . 13)) 5083 0.2554 6.0380 ((13 . 3) (14 . 5) (15 . 6) (16 . 9)) 5092 0.2553 10.8578 ((8 . 1) (13 . 5) (17 . 8) (18 . 9)) 5101 0.3077 4.6980 ((10 . 20) (12 . 21) (13 . 24) (14 . 25)) 5103 0.3077 5.1776 ((12 . 2) (13 . 3) (14 . 4) (17 . 8)) 5121 0.3077 5.4329 ((8 . 23) (9 . 25) (12 . 27) (14 . 31)) 5132 0.3077 6.1989 ((8 . 19) (9 . 20) (18 . 27) (19 . 28)) 5134 0.3077 7.4779 ((12 . 10) (15 . 13) (18 . 16) (21 . 20)) 5145 0.3077 6.8553 ((10 . 2) (13 . 4) (14 . 5) (16 . 8)) 5167 0.3077 6.3022 ((12 . 1) (13 . 2) (14 . 3) (15 . 4)) 5176 0.3077 7.2806 ((13 . 83) (14 . 84) (15 . 86) (16 . 87)) 5183 0.3077 3.3346 ((12 . 34) (14 . 36) (15 . 37) (16 . 38)) 5192 0.3846 5.7185 ((12 . 1) (13 . 2) (14 . 3) (16 . 5) (17 . 6)) 5198 0.3077 7.6312 ((12 . 26) (13 . 27) (15 . 31) (16 . 32)) 5199 0.3077 6.3602 ((9 . 7) (12 . 8) (15 . 9) (16 . 10)) 5209 0.4615 5.6677 ((9 . 3) (12 . 4) (13 . 6) (14 . 7) (15 . 8) (16 . 9)) 5212 0.3077 5.6013 ((14 . 22) (15 . 23) (16 . 24) (18 . 27)) 5215 0.3845 7.1209 ((13 . 8) (14 . 9) (15 . 10) (16 . 11) (21 . 17)) 5223 0.3077 7.5163 ((8 . 7) (9 . 8) (10 . 9) (19 . 17)) 5231 0.3076 10.7466 ((14 . 8) (15 . 12) (16 . 13) (18 . 15)) 5266 0.3077 4.7043 ((12 . 4) (13 . 5) (14 . 6) (17 . 9)) 5278 0.3846 6.3945 ((9 . 2) (12 . 5) (14 . 7) (15 . 8) (16 . 9)) 5307 0.3077 4.5508 ((12 . 51) (13 . 52) (14 . 53) (16 . 55)) 5312 0.3077 6.1163 ((12 . 1) (14 . 3) (15 . 4) (16 . 5)) 5318 0.3077 6.8712 ((8 . 17) (14 . 22) (15 . 23) (16 . 24)) 5323 0.3077 5.4233 ((8 . 2) (17 . 8) (19 . 10) (20 . 11)) 5324 0.3076 8.8533 ((10 . 18) (13 . 19) (14 . 20) (15 . 22)) 5344 0.3077 6.2576 ((10 . 5) (12 . 7) (14 . 9) (15 . 10)) 5345 0.3077 5.1128 ((9 . 8) (12 . 9) (14 . 14) (15 . 15)) 5368 0.3845 7.5266 ((9 . 36) (12 . 37) (14 . 39) (15 . 41) (16 . 43)) 5378 0.3846 3.9113 ((9 . 3) (12 . 4) (13 . 5) (14 . 6) (16 . 7)) 5411 0.3077 3.5079 ((12 . 3) (13 . 5) (14 . 6) (15 . 8)) 5414 0.3077 5.5998 ((12 . 14) (14 . 16) (15 . 18) (16 . 19)) 5418 0.3077 4.4878 ((9 . 2) (12 . 3) (14 . 8) (15 . 9)) 5421 0.1919 8.1230 ((12 . 1) (14 . 3) (15 . 4) (16 . 5)) 5433 0.3077 6.5049 ((9 . 5) (12 . 7) (14 . 12) (15 . 13)) 5442 0.3076 9.0438 ((8 . 31) (10 . 32) (13 . 35) (17 . 36) (18 . 37) (21 . 40)) 5479 0.3845 7.3971 ((9 . 55) (12 . 56) (14 . 61) (15 . 62) (16 . 63)) 5487 0.3077 6.8450 ((12 . 4) (13 . 5) (14 . 7) (16 . 9)) 5489 0.3077 6.6154 ((9 . 2) (12 . 5) (15 . 9) (16 . 10)) 5500 0.3077 4.9861 ((14 . 1) (15 . 2) (16 . 3) (17 . 6)) 5501 0.3077 7.1462 ((14 . 20) (17 . 22) (18 . 23) (20 . 24)) 5525 0.3024 11.3812 ((10 . 1) (13 . 2) (17 . 5) (21 . 10)) 5535 0.3846 3.8102 ((8 . 1) (9 . 6) (12 . 7) (16 . 12) (17 . 13)) 5540 0.3844 8.6999 ((8 . 2) (9 . 3) (12 . 4) (19 . 14) (20 . 16)) 5557 0.3077 5.9432 ((9 . 1) (12 . 2) (13 . 5) (16 . 6)) 5560 0.3846 5.0516 ((12 . 15) (13 . 16) (14 . 17) (16 . 20) (17 . 21)) 5562 0.3077 4.6198 ((9 . 6) (12 . 7) (13 . 9) (16 . 14)) 5567 0.3076 9.2954 ((9 . 6) (12 . 8) (13 . 10) (16 . 15)) 5594 0.3846 5.6142 ((12 . 1) (13 . 2) (14 . 4) (16 . 6) (17 . 7)) 5600 0.3846 6.2056 ((8 . 4) (9 . 5) (12 . 6) (13 . 7) (17 . 12)) 5601 0.3076 10.2510 ((12 . 1) (13 . 4) (14 . 5) (17 . 9)) 5638 0.3077 7.0112 ((12 . 7) (13 . 12) (16 . 13) (17 . 14)) 5640 0.3295 7.8493 ((9 . 7) (12 . 8) (15 . 11) (19 . 19) (20 . 20)) 5644 0.3077 5.0319 ((9 . 3) (12 . 4) (15 . 10) (16 . 11)) 5648 0.2553 10.7422 ((13 . 1) (17 . 4) (18 . 5) (21 . 7)) 5656 0.3845 6.9965 ((13 . 20) (15 . 23) (16 . 24) (17 . 25) (21 . 28)) 5689 0.3076 10.3088 ((10 . 1) (17 . 4) (18 . 8) (21 . 9)) 5700 0.3077 5.8554 ((9 . 3) (12 . 4) (15 . 8) (16 . 9)) 5701 0.3077 4.9746 ((13 . 3) (14 . 4) (15 . 5) (16 . 6)) 5702 0.3076 9.9392 ((10 . 1) (17 . 4) (18 . 8) (21 . 9)) 5703 0.3846 5.3473 ((9 . 1) (12 . 2) (14 . 5) (15 . 6) (16 . 7)) 5711 0.3296 5.2667 ((9 . 29) (12 . 38) (15 . 44) (16 . 46) (18 . 48)) 5713 0.3077 5.3420 ((9 . 11) (12 . 15) (14 . 18) (15 . 19)) 5718 0.3077 6.5253 ((9 . 16) (12 . 17) (15 . 23) (16 . 24)) 5731 0.3076 9.2114 ((9 . 4) (12 . 5) (15 . 10) (16 . 12)) 5746 0.3846 4.9638 ((8 . 1) (9 . 2) (12 . 3) (14 . 6) (15 . 7)) 5749 0.2854 7.9831 ((10 . 2) (12 . 3) (14 . 5) (15 . 6)) 5761 0.3077 6.4006 ((8 . 29) (9 . 31) (12 . 32) (13 . 34)) 5770 0.3026 5.0877 ((10 . 5) (12 . 6) (13 . 7) (14 . 8)) 5771 0.3077 6.6489 ((12 . 17) (13 . 19) (16 . 21) (17 . 22)) 5782 0.3843 9.6462 ((8 . 2) (13 . 3) (16 . 12) (18 . 17) (21 . 23)) 5789 0.2284 9.9279 ((17 . 3) (18 . 4) (19 . 5) (21 . 6)) 5794 0.3846 5.9384 ((9 . 18) (12 . 19) (13 . 22) (15 . 24) (16 . 25)) 5795 0.3076 8.2495 ((8 . 5) (9 . 6) (12 . 9) (15 . 13)) 5809 0.3077 7.5369 ((8 . 8) (9 . 9) (15 . 14) (16 . 15)) 5822 0.3076 8.1221 ((8 . 5) (9 . 6) (12 . 8) (13 . 10)) 5827 0.3077 5.9407 ((14 . 3) (15 . 4) (16 . 5) (17 . 6)) 5830 0.3845 7.2077 ((10 . 5) (12 . 8) (15 . 10) (16 . 13) (18 . 15)) 5847 0.3077 5.6379 ((9 . 13) (12 . 16) (14 . 18) (15 . 20)) 5861 0.3077 4.8616 ((9 . 1) (12 . 2) (15 . 6) (16 . 7)) 5865 0.3077 5.4327 ((9 . 2) (12 . 5) (13 . 6) (14 . 7)) 5878 0.3074 12.3918 ((8 . 13) (13 . 22) (17 . 24) (21 . 31)) 5888 0.3845 7.0098 ((9 . 4) (12 . 5) (14 . 9) (15 . 10) (16 . 11)) 5896 0.3846 4.2261 ((8 . 27) (9 . 28) (12 . 29) (13 . 30) (14 . 31)) 5904 0.3077 6.3303 ((10 . 6) (12 . 7) (13 . 8) (14 . 9)) 5913 0.3567 7.4262 ((9 . 6) (12 . 7) (13 . 11) (16 . 13) (20 . 17)) 5914 0.1633 5.8434 ((12 . 2) (13 . 4) (14 . 5) (15 . 6)) 5922 0.3077 6.5060 ((12 . 1) (14 . 4) (15 . 5) (16 . 6)) 5930 0.3077 5.6209 ((8 . 3) (9 . 4) (14 . 9) (15 . 10)) 5939 0.3077 7.2165 ((12 . 4) (13 . 5) (14 . 6) (16 . 8)) 5945 0.3844 9.0441 ((8 . 31) (9 . 32) (12 . 33) (13 . 34) (16 . 37)) 5949 0.3077 5.3942 ((12 . 1) (13 . 2) (17 . 8) (21 . 13)) 5955 0.3567 7.1726 ((13 . 13) (14 . 14) (15 . 16) (16 . 17) (17 . 18)) 5967 0.3077 5.0046 ((12 . 1) (13 . 2) (14 . 3) (17 . 8)) 5972 0.3077 4.9874 ((17 . 4) (18 . 5) (19 . 6) (20 . 7)) 5977 0.3077 5.1558 ((12 . 3) (13 . 4) (14 . 5) (15 . 6)) 6000 0.3077 7.2857 ((8 . 3) (9 . 4) (10 . 5) (18 . 11)) 6011 0.3077 5.7242 ((9 . 1) (14 . 7) (15 . 8) (16 . 9)) 6022 0.3568 6.2233 ((9 . 2) (12 . 4) (14 . 7) (15 . 8) (16 . 9)) 6028 0.3076 9.7832 ((14 . 2) (15 . 3) (17 . 4) (19 . 9)) 6029 0.3846 3.6508 ((9 . 5) (12 . 6) (13 . 7) (14 . 10) (15 . 11)) 6033 0.2554 8.6429 ((8 . 2) (13 . 5) (17 . 9) (18 . 10)) 6041 0.3076 8.2229 ((8 . 9) (9 . 11) (12 . 12) (13 . 14)) 6046 0.3843 10.2320 ((13 . 1) (14 . 2) (15 . 3) (16 . 5) (18 . 7)) 6061 0.3077 7.8220 ((9 . 14) (12 . 15) (13 . 18) (16 . 20)) 6074 0.3077 4.7796 ((12 . 8) (13 . 10) (16 . 13) (17 . 14)) 6075 0.3077 7.7289 ((8 . 19) (9 . 21) (10 . 22) (15 . 28)) 6079 0.3845 7.8168 ((8 . 2) (9 . 6) (12 . 7) (13 . 10) (14 . 11)) 6087 0.3076 9.4201 ((8 . 7) (9 . 8) (10 . 9) (13 . 11)) 6089 0.3846 6.2168 ((12 . 1) (13 . 2) (14 . 3) (16 . 5) (17 . 6)) 6094 0.3795 8.3841 ((14 . 4) (15 . 5) (17 . 8) (19 . 10) (20 . 11)) 6099 0.3846 5.8625 ((9 . 30) (12 . 31) (14 . 33) (15 . 34) (16 . 35)) 6123 0.1920 6.1951 ((9 . 4) (12 . 5) (18 . 7) (20 . 2)) 6142 0.3846 6.4309 ((9 . 3) (12 . 4) (14 . 6) (15 . 7) (16 . 8)) 6148 0.2854 7.1508 ((14 . 32) (15 . 33) (16 . 34) (17 . 35)) 6167 0.1322 10.4413 ((9 . 1) (19 . 20) (20 . 21) (21 . 22)) 6169 0.3075 12.3208 ((10 . 1) (17 . 7) (18 . 8) (21 . 9)) 6173 0.3077 5.5532 ((9 . 5) (12 . 7) (14 . 9) (15 . 11)) 6191 0.3698 8.0663 ((10 . 5) (12 . 6) (13 . 7) (15 . 9) (16 . 10)) 6192 0.3076 9.7323 ((8 . 2) (9 . 3) (10 . 4) (20 . 13)) 6215 0.3076 9.7577 ((9 . 17) (12 . 18) (13 . 22) (16 . 24)) 6225 0.3077 5.6831 ((8 . 25) (9 . 26) (12 . 28) (13 . 30)) 6228 0.3077 5.2605 ((12 . 1) (13 . 4) (14 . 5) (16 . 7)) 6234 0.3846 6.6050 ((9 . 6) (12 . 7) (13 . 8) (14 . 10) (15 . 13)) 6238 0.3845 7.6558 ((8 . 2) (9 . 3) (12 . 4) (13 . 6) (16 . 9)) 6243 0.3846 5.0218 ((9 . 2) (12 . 3) (16 . 10) (17 . 11) (21 . 13)) 6251 0.3076 9.6521 ((12 . 10) (13 . 11) (17 . 14) (21 . 20)) 6258 0.3077 5.0895 ((12 . 7) (13 . 8) (14 . 9) (16 . 10)) 6261 0.3077 5.6825 ((9 . 1) (12 . 3) (13 . 7) (16 . 9)) 6266 0.3077 4.8622 ((12 . 3) (13 . 4) (14 . 5) (16 . 6)) 6268 0.1919 9.6907 ((10 . 8) (13 . 10) (17 . 13) (18 . 14)) 6270 0.3761 9.6384 ((8 . 16) (9 . 17) (12 . 18) (13 . 19) (14 . 22)) 6271 0.3077 6.1214 ((9 . 7) (12 . 8) (14 . 10) (15 . 11)) 6294 0.3077 5.7124 ((12 . 23) (13 . 24) (16 . 27) (17 . 28)) 6306 0.3077 6.6158 ((9 . 15) (12 . 17) (14 . 19) (15 . 21)) 6309 0.3077 6.4171 ((8 . 19) (9 . 20) (13 . 26) (14 . 27)) 6311 0.3077 5.4501 ((9 . 10) (12 . 11) (14 . 13) (15 . 14)) 6326 0.3077 3.1518 ((9 . 6) (12 . 7) (14 . 11) (15 . 12)) 6329 0.3075 11.4118 ((8 . 1) (10 . 3) (18 . 9) (21 . 12)) 6338 0.3077 6.3933 ((9 . 1) (12 . 2) (15 . 7) (16 . 8)) 6344 0.3698 6.6811 ((10 . 10) (12 . 13) (14 . 14) (15 . 15) (16 . 18)) 6345 0.3076 8.3491 ((13 . 2) (15 . 6) (16 . 7) (18 . 8)) 6348 0.3076 8.3151 ((9 . 1) (10 . 2) (12 . 4) (17 . 8)) 6355 0.3077 6.9655 ((17 . 3) (18 . 5) (19 . 6) (20 . 7)) 6356 0.3077 6.7850 ((13 . 10) (14 . 11) (16 . 13) (18 . 16)) 6369 0.3845 8.4587 ((12 . 24) (13 . 25) (16 . 29) (17 . 30) (21 . 36)) 6376 0.3846 5.0634 ((8 . 18) (9 . 19) (10 . 20) (15 . 26) (16 . 27)) 6391 0.3077 6.6743 ((13 . 4) (17 . 7) (19 . 8) (20 . 10)) 6392 0.3077 6.4934 ((8 . 2) (9 . 3) (10 . 5) (15 . 9)) 6399 0.3846 5.8913 ((9 . 19) (12 . 20) (14 . 25) (15 . 26) (16 . 27)) 6403 0.3846 5.7342 ((9 . 10) (10 . 11) (12 . 12) (14 . 14) (15 . 15)) 6434 0.3077 5.2807 ((14 . 3) (15 . 4) (16 . 5) (21 . 8)) 6462 0.3077 3.2685 ((8 . 27) (9 . 28) (12 . 29) (13 . 31)) 6476 0.2554 9.0095 ((9 . 4) (10 . 5) (13 . 7) (15 . 9)) 6498 0.3077 5.8949 ((14 . 1) (15 . 2) (16 . 3) (17 . 5)) 6520 0.3698 7.3100 ((12 . 2) (14 . 3) (15 . 6) (16 . 8) (17 . 12)) 6536 0.2975 8.9005 ((10 . 33) (14 . 35) (15 . 36) (17 . 37)) 6539 0.3846 4.5174 ((8 . 3) (9 . 4) (12 . 5) (13 . 7) (14 . 8)) 6540 0.3077 6.8224 ((12 . 16) (14 . 18) (15 . 19) (16 . 20)) 6548 0.3077 3.7366 ((12 . 5) (13 . 6) (14 . 7) (16 . 9)) 6553 0.3077 3.1189 ((12 . 11) (13 . 12) (14 . 13) (16 . 15)) 6555 0.3077 5.9218 ((9 . 17) (12 . 19) (14 . 22) (15 . 23)) 6561 0.3077 7.1131 ((10 . 11) (12 . 12) (14 . 13) (15 . 15)) 6573 0.3077 6.1138 ((12 . 17) (13 . 18) (14 . 19) (16 . 21)) 6575 0.2854 8.2655 ((9 . 2) (10 . 3) (12 . 5) (13 . 6)) 6578 0.3077 4.7594 ((13 . 33) (14 . 34) (15 . 37) (16 . 38)) 6584 0.3844 8.9526 ((8 . 1) (9 . 2) (12 . 3) (13 . 4) (16 . 9)) 6585 0.3846 5.4642 ((8 . 9) (9 . 10) (12 . 11) (14 . 14) (15 . 15)) 6586 0.3077 6.5942 ((10 . 22) (13 . 23) (14 . 24) (15 . 25)) 6587 0.3077 4.5854 ((12 . 31) (13 . 32) (14 . 33) (15 . 34)) 6598 0.3846 5.1786 ((9 . 16) (12 . 17) (14 . 20) (15 . 21) (16 . 22)) 6613 0.3077 5.6210 ((12 . 24) (13 . 25) (15 . 28) (16 . 31)) 6622 0.2554 9.9822 ((13 . 1) (17 . 4) (18 . 5) (21 . 8)) 6635 0.3077 6.3306 ((13 . 3) (14 . 4) (15 . 5) (17 . 9)) END