765 51 0.5382 6.0576 ((3 . 1) (7 . 2) (9 . 6) (12 . 7) (17 . 11) (19 . 13) (20 . 14)) 64 0.3077 5.3943 ((7 . 10) (9 . 12) (12 . 13) (17 . 15)) 77 0.0997 9.2253 ((8 . 8) (10 . 9) (18 . 13) (20 . 15)) 91 0.3074 12.8628 ((5 . 37) (8 . 40) (11 . 42) (12 . 44)) 96 0.3076 8.3552 ((9 . 1) (12 . 3) (19 . 5) (20 . 6)) 129 0.3077 2.9938 ((7 . 2) (8 . 3) (18 . 11) (19 . 12)) 136 0.3077 7.2446 ((12 . 3) (17 . 5) (19 . 7) (20 . 8)) 150 0.2554 7.8110 ((3 . 19) (4 . 20) (7 . 23) (12 . 25)) 153 0.3846 6.5045 ((3 . 1) (7 . 5) (17 . 9) (19 . 10) (20 . 12)) 157 0.3075 11.9618 ((7 . 1) (12 . 5) (17 . 8) (19 . 9)) 161 0.3077 6.0884 ((9 . 2) (10 . 3) (11 . 4) (19 . 9)) 162 0.3077 4.4708 ((7 . 12) (9 . 17) (17 . 18) (20 . 22)) 169 0.4614 6.1409 ((7 . 3) (9 . 4) (12 . 5) (17 . 8) (19 . 9) (20 . 10)) 177 0.3843 9.7373 ((7 . 1) (9 . 2) (12 . 4) (19 . 7) (20 . 8)) 191 0.3076 9.2745 ((3 . 4) (7 . 6) (10 . 7) (12 . 8)) 198 0.3077 7.1987 ((8 . 5) (9 . 6) (12 . 8) (20 . 15)) 207 0.3077 7.8634 ((7 . 8) (12 . 13) (19 . 15) (20 . 18)) 233 0.3076 9.3715 ((11 . 1) (17 . 5) (19 . 7) (20 . 8)) 300 0.3077 7.0085 ((3 . 6) (4 . 7) (5 . 8) (7 . 9)) 305 0.3077 6.0026 ((3 . 9) (7 . 15) (8 . 16) (18 . 21)) 307 0.3076 10.0670 ((7 . 1) (11 . 3) (17 . 7) (20 . 9)) 315 0.3076 8.0486 ((10 . 4) (11 . 5) (17 . 8) (19 . 9)) 350 0.3077 5.9722 ((9 . 1) (12 . 4) (17 . 7) (20 . 10)) 360 0.3077 6.7975 ((7 . 9) (9 . 10) (12 . 12) (17 . 14)) 365 0.3699 6.4719 ((11 . 1) (12 . 2) (17 . 4) (19 . 6) (20 . 8)) 367 0.3846 6.5732 ((3 . 38) (9 . 44) (12 . 46) (19 . 47) (20 . 48)) 372 0.3076 8.4664 ((10 . 2) (11 . 3) (12 . 5) (17 . 7)) 387 0.3845 8.2256 ((3 . 1) (8 . 7) (12 . 9) (17 . 11) (19 . 12)) 405 0.3077 4.8750 ((17 . 33) (18 . 34) (19 . 35) (20 . 37)) 417 0.2975 7.8179 ((17 . 2) (18 . 3) (19 . 5) (20 . 7)) 420 0.3844 9.1210 ((7 . 3) (12 . 8) (17 . 10) (19 . 12) (20 . 13)) 433 0.3077 4.5777 ((3 . 1) (7 . 5) (12 . 7) (17 . 9)) 442 0.3077 7.1831 ((7 . 14) (17 . 19) (18 . 20) (19 . 21)) 460 0.3077 7.7528 ((9 . 1) (18 . 6) (19 . 7) (20 . 8)) 491 0.2554 7.9362 ((7 . 1) (12 . 6) (19 . 8) (20 . 10)) 495 0.3077 6.3143 ((5 . 5) (7 . 7) (10 . 8) (11 . 9)) 541 0.3076 8.1881 ((3 . 7) (7 . 11) (12 . 14) (19 . 17)) 543 0.3568 6.4858 ((5 . 4) (7 . 5) (8 . 6) (12 . 8) (20 . 15)) 584 0.3077 7.3859 ((7 . 3) (9 . 4) (12 . 5) (20 . 10)) 587 0.3455 9.0733 ((3 . 8) (8 . 10) (17 . 13) (18 . 14) (20 . 16)) 609 0.3077 6.0887 ((7 . 1) (12 . 3) (18 . 6) (20 . 8)) 619 0.3076 9.2118 ((3 . 4) (4 . 6) (9 . 11) (12 . 12)) 624 0.3076 8.5595 ((7 . 11) (12 . 13) (18 . 15) (19 . 16)) 635 0.2553 12.4378 ((9 . 13) (11 . 14) (12 . 15) (19 . 18)) 672 0.3077 6.6826 ((11 . 16) (17 . 18) (18 . 20) (20 . 22)) 683 0.2973 12.8437 ((8 . 1) (10 . 2) (11 . 3) (17 . 6)) 719 0.2854 9.9487 ((7 . 22) (11 . 25) (12 . 27) (18 . 30)) 729 0.3077 7.5274 ((7 . 9) (12 . 13) (17 . 15) (20 . 17)) 735 0.3845 8.2742 ((9 . 29) (12 . 31) (17 . 33) (19 . 36) (20 . 37)) 740 0.2854 7.4637 ((12 . 2) (17 . 5) (18 . 6) (19 . 9)) 765 1.0000 0.0000 ((3 . 3) (4 . 4) (5 . 5) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (11 . 11) (12 . 12) (17 . 17) (18 . 18) (19 . 19) (20 . 20)) 767 0.3075 10.9730 ((7 . 8) (8 . 9) (10 . 10) (12 . 12)) 795 0.2554 8.4924 ((7 . 1) (12 . 3) (17 . 5) (18 . 6)) 801 0.3077 7.0781 ((12 . 1) (17 . 4) (18 . 5) (19 . 6)) 812 0.2967 17.4185 ((4 . 4) (5 . 5) (8 . 8) (17 . 13)) 818 0.3077 5.7144 ((7 . 1) (8 . 2) (12 . 4) (20 . 12)) 819 0.3077 7.0951 ((3 . 5) (7 . 8) (9 . 9) (12 . 10)) 824 0.2975 8.1870 ((11 . 45) (17 . 49) (18 . 50) (20 . 53)) 861 0.3077 5.4780 ((4 . 7) (5 . 8) (19 . 15) (20 . 16)) 901 0.3077 7.3903 ((7 . 12) (12 . 15) (17 . 17) (20 . 20)) 928 0.3844 9.5184 ((5 . 12) (7 . 14) (11 . 16) (12 . 18) (19 . 21)) 943 0.3077 7.0135 ((7 . 4) (12 . 8) (17 . 9) (20 . 12)) 945 0.3077 6.9631 ((7 . 12) (12 . 17) (17 . 19) (20 . 22)) 960 0.3077 5.8983 ((3 . 8) (7 . 12) (17 . 19) (20 . 21)) 980 0.3076 10.5055 ((7 . 1) (11 . 3) (12 . 5) (20 . 9)) 1007 0.3076 8.6833 ((7 . 7) (9 . 8) (12 . 11) (17 . 13)) 1008 0.3846 5.8018 ((7 . 3) (9 . 5) (12 . 8) (19 . 13) (20 . 15)) 1034 0.2853 12.8008 ((7 . 22) (8 . 21) (17 . 26) (20 . 29)) 1043 0.3567 7.2481 ((3 . 1) (7 . 10) (8 . 12) (12 . 14) (18 . 17)) 1082 0.3077 7.8000 ((7 . 9) (12 . 12) (19 . 16) (20 . 19)) 1084 0.3843 10.3085 ((3 . 8) (5 . 10) (11 . 17) (18 . 19) (19 . 20)) 1121 0.2853 11.0701 ((8 . 3) (10 . 4) (11 . 5) (12 . 6)) 1165 0.3077 5.5158 ((3 . 3) (7 . 7) (12 . 10) (17 . 12)) 1167 0.3075 10.9043 ((11 . 20) (12 . 21) (17 . 22) (20 . 27)) 1169 0.2854 8.9573 ((7 . 29) (9 . 30) (11 . 31) (18 . 35)) 1201 0.3075 11.5604 ((5 . 4) (9 . 7) (17 . 11) (18 . 12)) 1204 0.2284 7.3090 ((7 . 20) (10 . 23) (11 . 24) (12 . 25)) 1211 0.3077 7.1080 ((7 . 5) (17 . 10) (19 . 11) (20 . 14)) 1217 0.3077 6.1106 ((9 . 3) (11 . 5) (17 . 9) (19 . 11)) 1224 0.3846 6.2213 ((9 . 3) (12 . 5) (17 . 7) (19 . 9) (20 . 10)) 1233 0.3077 6.8813 ((7 . 11) (12 . 17) (17 . 20) (20 . 22)) 1267 0.3077 6.9072 ((3 . 13) (7 . 15) (12 . 19) (17 . 21)) 1294 0.4613 7.1185 ((7 . 39) (9 . 40) (12 . 41) (17 . 44) (19 . 46) (20 . 47)) 1324 0.3076 9.7768 ((7 . 1) (11 . 3) (12 . 4) (17 . 6)) 1345 0.3076 8.4538 ((12 . 9) (17 . 12) (19 . 13) (20 . 14)) 1366 0.3077 7.7845 ((12 . 12) (17 . 14) (19 . 15) (20 . 16)) 1410 0.3077 5.1558 ((7 . 19) (12 . 22) (17 . 25) (19 . 26)) 1425 0.3846 6.4975 ((7 . 2) (9 . 4) (12 . 6) (17 . 10) (19 . 12)) 1435 0.3077 6.0192 ((3 . 3) (7 . 5) (8 . 6) (18 . 13)) 1447 0.3077 7.7774 ((7 . 1) (12 . 3) (17 . 5) (20 . 7)) 1451 0.3077 7.4938 ((12 . 1) (17 . 3) (19 . 4) (20 . 5)) 1464 0.2554 9.2958 ((8 . 8) (12 . 10) (17 . 13) (19 . 14)) 1476 0.3076 8.6559 ((7 . 9) (9 . 11) (12 . 14) (17 . 15)) 1481 0.3076 9.2068 ((10 . 1) (11 . 2) (17 . 4) (19 . 7)) 1501 0.2975 8.2516 ((3 . 1) (7 . 5) (9 . 6) (11 . 8)) 1513 0.3077 6.2887 ((3 . 2) (7 . 5) (17 . 11) (20 . 13)) 1514 0.2554 6.1765 ((8 . 1) (12 . 3) (18 . 4) (20 . 6)) 1577 0.3075 12.2894 ((7 . 3) (9 . 4) (12 . 5) (19 . 10)) 1604 0.3296 4.6048 ((3 . 1) (7 . 3) (9 . 7) (17 . 10) (20 . 12)) 1622 0.3077 6.4423 ((7 . 18) (12 . 20) (17 . 22) (19 . 23)) 1624 0.2554 9.8722 ((11 . 3) (12 . 4) (18 . 8) (19 . 9)) 1643 0.3844 8.5201 ((7 . 10) (9 . 11) (12 . 12) (17 . 16) (19 . 17)) 1644 0.3077 6.8059 ((7 . 46) (9 . 47) (12 . 48) (19 . 52)) 1665 0.3076 10.4159 ((10 . 3) (12 . 6) (17 . 8) (20 . 10)) 1690 0.3077 6.6445 ((5 . 11) (7 . 13) (12 . 16) (19 . 21)) 1692 0.2975 5.5370 ((3 . 5) (4 . 6) (5 . 7) (7 . 8)) 1731 0.3076 8.4000 ((3 . 3) (9 . 8) (19 . 12) (20 . 13)) 1736 0.3077 6.2542 ((7 . 1) (12 . 3) (17 . 5) (20 . 7)) 1738 0.3077 6.3897 ((7 . 4) (12 . 9) (17 . 11) (19 . 13)) 1747 0.3077 5.9198 ((4 . 24) (5 . 25) (17 . 32) (20 . 34)) 1756 0.3077 5.2317 ((17 . 21) (18 . 22) (19 . 23) (20 . 25)) 1759 0.3077 5.8541 ((7 . 1) (9 . 2) (12 . 4) (17 . 6)) 1761 0.3077 6.9401 ((7 . 7) (12 . 11) (17 . 13) (20 . 16)) 1763 0.2975 7.8826 ((8 . 3) (18 . 7) (19 . 9) (20 . 10)) 1776 0.3077 4.5640 ((3 . 14) (4 . 15) (5 . 16) (7 . 20)) 1777 0.3076 8.8617 ((3 . 37) (5 . 42) (7 . 45) (9 . 47)) 1778 0.3076 9.7508 ((7 . 2) (9 . 3) (12 . 4) (19 . 8)) 1793 0.3077 6.0071 ((7 . 4) (12 . 6) (17 . 8) (20 . 10)) 1805 0.3455 9.1035 ((3 . 9) (8 . 11) (17 . 14) (18 . 15) (20 . 17)) 1808 0.3077 5.1993 ((7 . 5) (9 . 6) (12 . 8) (17 . 10)) 1817 0.3077 7.7201 ((8 . 13) (12 . 15) (17 . 19) (18 . 20)) 1894 0.3831 4.9104 ((3 . 12) (7 . 18) (8 . 19) (12 . 20) (18 . 25) (19 . 26)) 1896 0.3076 9.3510 ((4 . 17) (12 . 22) (18 . 26) (19 . 27)) 1897 0.3076 8.8538 ((3 . 40) (4 . 41) (5 . 43) (9 . 46)) 1908 0.3077 5.6888 ((7 . 7) (12 . 10) (17 . 15) (20 . 17)) 1909 0.3077 5.9999 ((7 . 31) (12 . 34) (17 . 37) (20 . 39)) 1913 0.3077 3.6979 ((7 . 21) (8 . 22) (9 . 23) (12 . 25)) 1944 0.3077 6.4023 ((7 . 5) (12 . 7) (17 . 9) (20 . 13)) 1957 0.3077 6.3512 ((7 . 11) (12 . 13) (17 . 15) (20 . 17)) 1961 0.2854 9.0181 ((7 . 14) (17 . 19) (19 . 20) (20 . 21)) 1967 0.3076 9.5492 ((7 . 7) (12 . 10) (17 . 13) (18 . 14)) 1972 0.3076 10.2688 ((4 . 18) (7 . 20) (12 . 24) (17 . 27)) 1992 0.3077 7.4236 ((3 . 3) (12 . 9) (17 . 12) (19 . 14)) 1995 0.3077 6.5734 ((7 . 3) (12 . 8) (17 . 12) (19 . 13)) 2003 0.3077 7.7066 ((7 . 5) (12 . 8) (17 . 10) (19 . 12)) 2006 0.3842 10.5115 ((3 . 4) (7 . 8) (10 . 9) (11 . 10) (19 . 13)) 2045 0.3077 7.5240 ((10 . 1) (11 . 2) (12 . 3) (19 . 7)) 2048 0.3076 8.7753 ((4 . 6) (12 . 13) (19 . 16) (20 . 17)) 2063 0.3077 5.9655 ((7 . 43) (9 . 44) (11 . 45) (17 . 50)) 2065 0.3294 9.7936 ((7 . 17) (8 . 18) (9 . 19) (17 . 25) (18 . 27)) 2067 0.3077 4.6814 ((3 . 57) (4 . 59) (5 . 60) (10 . 63)) 2072 0.3076 8.4529 ((9 . 1) (11 . 2) (19 . 6) (20 . 7)) 2081 0.3076 8.9785 ((3 . 12) (18 . 20) (19 . 21) (20 . 23)) 2083 0.3076 9.0158 ((3 . 1) (5 . 2) (7 . 4) (12 . 7)) 2097 0.3845 6.8000 ((3 . 1) (7 . 4) (8 . 5) (10 . 6) (20 . 14)) 2114 0.3076 10.6439 ((10 . 28) (11 . 29) (18 . 34) (19 . 36)) 2116 0.4615 4.9593 ((7 . 5) (9 . 6) (12 . 7) (17 . 10) (19 . 11) (20 . 12)) 2117 0.3077 4.4333 ((4 . 5) (5 . 6) (10 . 11) (11 . 12)) 2118 0.2852 14.0643 ((7 . 1) (9 . 3) (11 . 4) (18 . 7)) 2122 0.3076 9.0118 ((10 . 14) (11 . 15) (12 . 17) (17 . 18)) 2166 0.3077 7.0496 ((3 . 7) (4 . 8) (8 . 12) (12 . 13)) 2179 0.3077 5.6768 ((3 . 6) (5 . 7) (7 . 10) (12 . 13)) 2196 0.3076 8.9662 ((3 . 12) (5 . 13) (10 . 18) (11 . 19)) 2203 0.3076 9.3991 ((7 . 1) (11 . 5) (12 . 6) (19 . 10)) 2205 0.4614 6.8240 ((7 . 15) (9 . 17) (12 . 18) (17 . 22) (19 . 23) (20 . 26)) 2209 0.3076 9.6246 ((7 . 5) (9 . 6) (12 . 7) (17 . 9)) 2220 0.2975 5.3869 ((12 . 2) (17 . 4) (18 . 5) (19 . 7)) 2243 0.3077 6.5817 ((7 . 54) (9 . 55) (10 . 56) (20 . 65)) 2244 0.3077 5.0174 ((3 . 69) (7 . 74) (12 . 76) (18 . 80)) 2248 0.3076 9.3611 ((3 . 16) (9 . 22) (18 . 28) (19 . 27)) 2249 0.3077 7.5749 ((9 . 16) (17 . 20) (18 . 21) (19 . 23)) 2269 0.3074 12.4136 ((12 . 6) (17 . 7) (19 . 8) (20 . 10)) 2279 0.2553 11.2184 ((11 . 10) (12 . 11) (19 . 19) (20 . 20)) 2298 0.3077 6.2137 ((7 . 6) (12 . 10) (17 . 12) (20 . 15)) 2308 0.2554 9.8749 ((5 . 4) (7 . 5) (9 . 6) (19 . 11)) 2314 0.3077 7.3106 ((9 . 7) (11 . 8) (19 . 11) (20 . 13)) 2340 0.3077 7.4417 ((12 . 9) (17 . 11) (19 . 13) (20 . 14)) 2344 0.3077 5.3012 ((3 . 1) (7 . 6) (8 . 7) (18 . 13)) 2364 0.3077 6.3632 ((7 . 4) (12 . 7) (17 . 9) (20 . 12)) 2389 0.3077 7.5925 ((3 . 5) (7 . 8) (9 . 9) (11 . 10)) 2408 0.4615 5.3409 ((7 . 39) (9 . 40) (12 . 41) (17 . 45) (19 . 46) (20 . 47)) 2409 0.3077 7.3285 ((8 . 2) (12 . 4) (17 . 6) (18 . 9)) 2423 0.3077 6.6371 ((3 . 16) (7 . 19) (17 . 25) (19 . 26)) 2440 0.2554 7.3358 ((3 . 8) (5 . 9) (9 . 13) (17 . 17)) 2447 0.3077 6.4580 ((9 . 13) (12 . 15) (17 . 18) (20 . 21)) 2462 0.3077 7.9160 ((8 . 1) (12 . 3) (18 . 6) (19 . 7)) 2510 0.3077 7.0142 ((5 . 21) (7 . 23) (9 . 25) (12 . 27)) 2525 0.3077 7.6264 ((7 . 41) (12 . 45) (18 . 47) (19 . 48)) 2529 0.3077 7.7172 ((12 . 1) (17 . 3) (19 . 5) (20 . 6)) 2533 0.3077 6.6410 ((7 . 4) (12 . 8) (17 . 9) (20 . 13)) 2551 0.2854 7.6950 ((3 . 3) (17 . 9) (18 . 11) (19 . 12)) 2556 0.3077 7.9045 ((7 . 13) (12 . 16) (17 . 20) (20 . 22)) 2561 0.3077 6.3957 ((7 . 1) (17 . 6) (19 . 7) (20 . 8)) 2595 0.3077 6.2988 ((7 . 1) (12 . 4) (17 . 6) (20 . 9)) 2619 0.3077 6.1941 ((3 . 2) (5 . 3) (7 . 5) (12 . 7)) 2650 0.3076 9.0940 ((9 . 1) (17 . 5) (19 . 6) (20 . 7)) 2658 0.2284 7.4140 ((3 . 3) (17 . 10) (18 . 12) (19 . 13)) 2675 0.3077 5.3379 ((7 . 1) (9 . 3) (17 . 8) (19 . 10)) 2682 0.3796 6.1200 ((3 . 7) (7 . 11) (8 . 12) (18 . 13) (19 . 15)) 2696 0.4611 8.5301 ((7 . 31) (9 . 32) (12 . 34) (17 . 36) (19 . 38) (20 . 39)) 2733 0.3076 9.8512 ((3 . 1) (5 . 2) (7 . 4) (19 . 11)) 2755 0.3076 8.5967 ((5 . 5) (7 . 6) (11 . 8) (12 . 10)) 2783 0.3077 7.5068 ((7 . 6) (9 . 7) (11 . 8) (17 . 12)) 2804 0.2854 9.6853 ((4 . 25) (7 . 29) (10 . 31) (11 . 32)) 2821 0.3077 7.6280 ((7 . 2) (10 . 4) (11 . 5) (19 . 11)) 2830 0.3077 6.3528 ((7 . 11) (12 . 13) (17 . 15) (20 . 17)) 2834 0.2854 9.1750 ((3 . 1) (4 . 3) (7 . 6) (12 . 8)) 2840 0.3077 6.5151 ((12 . 6) (17 . 8) (18 . 9) (20 . 11)) 2842 0.2854 9.0233 ((7 . 4) (8 . 5) (17 . 9) (20 . 11)) 2879 0.3077 6.4287 ((7 . 52) (9 . 53) (11 . 54) (17 . 59)) 2886 0.4615 5.0096 ((7 . 35) (9 . 37) (12 . 38) (17 . 41) (19 . 43) (20 . 44)) 2940 0.3076 8.5593 ((5 . 3) (7 . 4) (9 . 5) (11 . 6)) 2947 0.3076 10.1916 ((3 . 3) (5 . 4) (19 . 12) (20 . 13)) 2955 0.3074 12.9827 ((5 . 4) (8 . 6) (19 . 9) (20 . 10)) 2966 0.3844 9.0061 ((9 . 4) (11 . 6) (17 . 9) (19 . 11) (20 . 12)) 2990 0.3076 9.9620 ((10 . 9) (18 . 14) (19 . 15) (20 . 16)) 2999 0.1919 8.2865 ((9 . 2) (12 . 4) (17 . 6) (19 . 7)) 3019 0.3076 9.1120 ((7 . 9) (9 . 10) (12 . 11) (18 . 14)) 3034 0.3077 6.4256 ((7 . 1) (12 . 5) (17 . 7) (20 . 9)) 3041 0.3076 9.3997 ((5 . 14) (7 . 16) (12 . 18) (19 . 24)) 3055 0.3077 5.2989 ((3 . 8) (12 . 15) (17 . 19) (20 . 23)) 3063 0.3839 12.1354 ((3 . 33) (9 . 37) (11 . 38) (18 . 41) (19 . 42)) 3084 0.3077 6.4312 ((7 . 3) (12 . 5) (17 . 7) (20 . 9)) 3102 0.3077 6.2438 ((9 . 62) (17 . 65) (18 . 66) (19 . 67)) 3103 0.3077 4.9067 ((9 . 1) (12 . 2) (17 . 5) (20 . 9)) 3114 0.3076 10.1098 ((7 . 22) (10 . 23) (12 . 24) (19 . 29)) 3127 0.3076 8.8548 ((3 . 4) (5 . 6) (7 . 8) (11 . 13)) 3147 0.3077 4.5882 ((3 . 9) (5 . 11) (10 . 16) (11 . 17)) 3187 0.3846 5.3633 ((7 . 1) (9 . 2) (12 . 3) (17 . 5) (19 . 6)) 3190 0.3077 6.2292 ((9 . 1) (12 . 3) (17 . 6) (20 . 9)) 3197 0.3077 7.2253 ((7 . 19) (12 . 21) (17 . 24) (20 . 26)) 3200 0.3075 11.3852 ((11 . 4) (17 . 6) (19 . 9) (20 . 11)) 3222 0.3077 7.0525 ((3 . 1) (7 . 4) (12 . 6) (19 . 19)) 3256 0.4613 7.6513 ((7 . 16) (9 . 19) (12 . 20) (17 . 25) (19 . 26) (20 . 28)) 3261 0.3077 7.2485 ((3 . 3) (7 . 6) (8 . 7) (12 . 8)) 3286 0.3077 6.7784 ((7 . 3) (12 . 5) (17 . 7) (20 . 9)) 3297 0.3844 8.8923 ((3 . 1) (7 . 5) (9 . 7) (12 . 8) (20 . 11)) 3322 0.3076 8.9994 ((7 . 1) (9 . 3) (12 . 5) (17 . 7)) 3334 0.3074 12.5798 ((7 . 3) (9 . 5) (12 . 6) (19 . 10)) 3339 0.3076 8.1901 ((3 . 21) (4 . 22) (12 . 28) (19 . 33)) 3344 0.5380 7.2765 ((3 . 18) (7 . 20) (9 . 21) (11 . 22) (17 . 24) (19 . 26) (20 . 27)) 3358 0.2975 9.9089 ((4 . 2) (7 . 4) (12 . 8) (17 . 10)) 3362 0.3077 6.6685 ((7 . 4) (12 . 6) (17 . 8) (19 . 10)) 3366 0.3077 6.0029 ((8 . 23) (12 . 26) (18 . 28) (19 . 29)) 3391 0.3077 7.0286 ((7 . 4) (12 . 8) (17 . 10) (20 . 13)) 3410 0.3077 6.5467 ((7 . 21) (12 . 24) (17 . 28) (20 . 30)) 3472 0.3077 5.0399 ((17 . 1) (18 . 2) (19 . 3) (20 . 4)) 3481 0.3075 10.9460 ((4 . 7) (5 . 8) (7 . 10) (10 . 12)) 3489 0.3076 8.7951 ((10 . 1) (12 . 2) (17 . 4) (20 . 10)) 3495 0.3076 9.7740 ((5 . 1) (7 . 3) (12 . 7) (17 . 8)) 3533 0.3077 4.4343 ((7 . 3) (9 . 5) (17 . 10) (19 . 11)) 3537 0.3077 6.8769 ((10 . 5) (12 . 7) (19 . 9) (20 . 10)) 3538 0.3076 9.9575 ((4 . 20) (10 . 23) (12 . 24) (17 . 26)) 3548 0.3076 8.0242 ((7 . 2) (17 . 6) (19 . 8) (20 . 9)) 3549 0.3026 7.7658 ((17 . 1) (18 . 2) (19 . 3) (20 . 5)) 3561 0.3846 5.6117 ((10 . 18) (11 . 19) (12 . 20) (17 . 22) (20 . 26)) 3570 0.2553 11.5436 ((8 . 3) (10 . 4) (12 . 7) (19 . 10)) 3585 0.3076 8.0206 ((9 . 8) (12 . 11) (17 . 13) (19 . 14)) 3625 0.3077 6.8766 ((12 . 1) (17 . 3) (19 . 5) (20 . 6)) 3626 0.3077 7.5928 ((7 . 2) (9 . 3) (12 . 6) (17 . 11)) 3628 0.3077 7.1095 ((7 . 6) (12 . 8) (17 . 10) (20 . 12)) 3651 0.3076 7.9830 ((5 . 5) (9 . 8) (12 . 11) (17 . 13)) 3658 0.3077 5.7223 ((7 . 1) (11 . 4) (12 . 5) (17 . 7)) 3659 0.2975 6.7030 ((3 . 9) (5 . 10) (7 . 12) (8 . 13)) 3661 0.2854 8.4919 ((3 . 12) (17 . 23) (19 . 24) (20 . 26)) 3688 0.3077 5.2381 ((7 . 26) (10 . 27) (11 . 28) (18 . 32)) 3697 0.3075 10.9029 ((5 . 4) (12 . 6) (17 . 7) (20 . 10)) 3703 0.3077 7.6893 ((9 . 1) (12 . 2) (17 . 4) (20 . 6)) 3732 0.3077 7.8072 ((9 . 2) (12 . 5) (17 . 7) (20 . 9)) 3733 0.3077 6.2908 ((7 . 1) (12 . 3) (17 . 6) (20 . 8)) 3740 0.3294 10.5943 ((9 . 4) (10 . 5) (17 . 6) (19 . 7) (20 . 9)) 3741 0.3077 6.1078 ((3 . 25) (7 . 28) (9 . 32) (12 . 35)) 3776 0.3077 7.0240 ((7 . 15) (12 . 17) (17 . 21) (20 . 24)) 3778 0.2284 9.8464 ((3 . 2) (11 . 6) (12 . 7) (20 . 12)) 3787 0.3076 8.7950 ((3 . 21) (12 . 27) (17 . 29) (20 . 31)) 3790 0.3077 6.5555 ((3 . 22) (7 . 26) (19 . 33) (20 . 35)) 3807 0.3076 9.4396 ((7 . 43) (11 . 46) (12 . 47) (19 . 50)) 3810 0.3077 7.5152 ((7 . 6) (10 . 9) (11 . 10) (18 . 15)) 3817 0.3077 5.9850 ((7 . 1) (12 . 5) (17 . 7) (20 . 9)) 3818 0.3076 10.0320 ((5 . 20) (9 . 23) (19 . 28) (20 . 29)) 3829 0.3070 16.2487 ((3 . 2) (7 . 5) (12 . 9) (19 . 12)) 3831 0.2854 8.2894 ((7 . 2) (8 . 3) (17 . 6) (20 . 9)) 3847 0.1633 8.0446 ((3 . 9) (7 . 13) (11 . 16) (12 . 17)) 3856 0.3077 5.5552 ((3 . 3) (7 . 7) (9 . 9) (12 . 10)) 3870 0.3076 8.2935 ((7 . 3) (11 . 5) (17 . 8) (20 . 10)) 3933 0.3076 8.3497 ((5 . 11) (7 . 15) (10 . 17) (11 . 18)) 3938 0.2975 7.1509 ((17 . 4) (18 . 6) (19 . 8) (20 . 9)) 3986 0.3077 4.5471 ((9 . 4) (10 . 5) (12 . 6) (20 . 13)) 3990 0.3076 8.1672 ((12 . 16) (17 . 18) (19 . 20) (20 . 22)) 4005 0.3076 9.0231 ((4 . 3) (9 . 7) (10 . 8) (12 . 9)) 4009 0.2854 8.4806 ((4 . 1) (17 . 12) (18 . 13) (20 . 15)) 4019 0.3077 3.8678 ((3 . 34) (12 . 43) (17 . 45) (20 . 46)) 4034 0.3699 5.0120 ((7 . 9) (8 . 10) (17 . 11) (18 . 12) (19 . 13)) 4067 0.3077 6.2582 ((9 . 14) (12 . 16) (17 . 20) (20 . 22)) 4082 0.3076 8.1184 ((12 . 5) (17 . 7) (19 . 8) (20 . 10)) 4087 0.3077 4.5633 ((9 . 3) (12 . 5) (17 . 7) (19 . 8)) 4115 0.1919 8.2397 ((8 . 1) (12 . 5) (17 . 8) (20 . 10)) 4154 0.3076 8.6564 ((7 . 53) (9 . 54) (11 . 56) (12 . 57)) 4192 0.2283 10.9851 ((5 . 8) (8 . 10) (11 . 13) (20 . 19)) 4194 0.3076 9.2724 ((8 . 1) (12 . 3) (17 . 5) (18 . 6)) 4204 0.3076 9.3035 ((7 . 3) (12 . 7) (17 . 9) (20 . 13)) 4209 0.3077 7.2404 ((3 . 4) (4 . 5) (5 . 7) (7 . 10)) 4210 0.3844 9.5351 ((7 . 4) (9 . 5) (12 . 6) (17 . 8) (20 . 10)) 4226 0.3077 4.1085 ((3 . 11) (7 . 16) (12 . 18) (19 . 19)) 4232 0.5381 6.6395 ((3 . 1) (7 . 2) (9 . 3) (12 . 4) (18 . 5) (19 . 6) (20 . 8)) 4236 0.1919 8.9483 ((12 . 5) (17 . 6) (18 . 8) (20 . 10)) 4246 0.2975 7.4362 ((10 . 2) (11 . 3) (19 . 8) (20 . 11)) 4254 0.3076 10.0686 ((4 . 4) (9 . 9) (12 . 11) (20 . 18)) 4257 0.2552 14.0829 ((5 . 1) (8 . 3) (17 . 8) (20 . 12)) 4265 0.3077 6.4182 ((9 . 21) (12 . 23) (17 . 26) (20 . 29)) 4266 0.3077 7.2669 ((8 . 2) (12 . 4) (18 . 6) (20 . 8)) 4281 0.3077 7.3131 ((7 . 3) (9 . 4) (12 . 8) (18 . 10)) 4284 0.2975 9.5146 ((7 . 1) (12 . 5) (18 . 8) (20 . 10)) 4299 0.3077 6.1130 ((7 . 4) (12 . 6) (17 . 9) (20 . 11)) 4301 0.3698 7.9390 ((10 . 2) (12 . 3) (17 . 6) (19 . 8) (20 . 9)) 4326 0.2850 15.7202 ((8 . 10) (9 . 11) (17 . 15) (20 . 19)) 4332 0.2852 13.3425 ((10 . 2) (11 . 4) (18 . 6) (20 . 9)) 4338 0.3076 8.7671 ((11 . 4) (17 . 6) (19 . 7) (20 . 8)) 4359 0.3844 9.0357 ((9 . 11) (11 . 12) (12 . 13) (17 . 15) (20 . 17)) 4380 0.3759 11.0230 ((3 . 29) (5 . 30) (7 . 32) (9 . 36) (12 . 39)) 4383 0.3077 6.5235 ((7 . 15) (9 . 16) (11 . 17) (17 . 19)) 4386 0.3077 6.3668 ((3 . 16) (7 . 18) (8 . 19) (12 . 21)) 4388 0.3077 6.5491 ((3 . 3) (7 . 6) (12 . 9) (19 . 12)) 4398 0.3077 7.0038 ((3 . 1) (10 . 7) (17 . 10) (18 . 12)) 4405 0.3698 8.6548 ((4 . 18) (9 . 22) (10 . 23) (11 . 24) (18 . 25)) 4408 0.2854 6.6577 ((3 . 1) (4 . 2) (5 . 3) (11 . 7)) 4415 0.3077 6.9899 ((3 . 1) (7 . 4) (12 . 9) (18 . 11)) 4419 0.3075 11.5999 ((7 . 3) (10 . 6) (12 . 8) (17 . 10)) 4470 0.3076 8.5385 ((11 . 3) (12 . 5) (17 . 7) (19 . 9)) 4492 0.3077 6.7983 ((5 . 16) (7 . 18) (12 . 23) (19 . 26)) 4495 0.3076 8.7283 ((7 . 14) (9 . 16) (17 . 18) (20 . 21)) 4497 0.5384 4.2343 ((3 . 18) (7 . 23) (9 . 24) (12 . 25) (17 . 27) (19 . 28) (20 . 30)) 4502 0.3077 7.2995 ((7 . 9) (9 . 10) (12 . 11) (17 . 14)) 4503 0.3075 10.9399 ((8 . 3) (11 . 5) (17 . 9) (18 . 10)) 4504 0.3076 9.0784 ((5 . 13) (7 . 15) (11 . 17) (12 . 19)) 4505 0.3077 6.2351 ((7 . 26) (12 . 28) (17 . 30) (20 . 34)) 4516 0.3076 10.2084 ((5 . 10) (9 . 14) (19 . 20) (20 . 22)) 4527 0.1920 6.8097 ((8 . 1) (17 . 6) (19 . 7) (20 . 8)) 4538 0.3296 3.9188 ((7 . 30) (8 . 31) (12 . 32) (18 . 37) (19 . 38)) 4551 0.3076 8.6581 ((11 . 1) (12 . 2) (17 . 4) (20 . 8)) 4560 0.3077 6.4088 ((3 . 6) (9 . 11) (17 . 16) (19 . 17)) 4561 0.3076 8.2106 ((9 . 5) (12 . 7) (17 . 9) (20 . 12)) 4562 0.3077 6.0593 ((7 . 22) (12 . 25) (17 . 27) (18 . 29)) 4563 0.3075 10.9074 ((7 . 26) (10 . 28) (17 . 31) (20 . 34)) 4577 0.3076 10.3981 ((3 . 49) (9 . 54) (10 . 55) (20 . 60)) 4588 0.3077 7.5750 ((3 . 1) (10 . 7) (11 . 8) (19 . 13)) 4589 0.3076 8.8031 ((3 . 22) (5 . 23) (11 . 27) (12 . 29)) 4621 0.3077 7.1606 ((7 . 4) (11 . 6) (12 . 7) (19 . 11)) 4630 0.3077 6.9674 ((4 . 15) (5 . 16) (11 . 20) (19 . 26)) 4648 0.3076 9.8650 ((10 . 1) (11 . 2) (17 . 5) (19 . 8)) 4653 0.3076 8.0919 ((3 . 3) (5 . 4) (7 . 7) (12 . 9)) 4668 0.3076 7.9919 ((7 . 1) (12 . 5) (17 . 7) (20 . 11)) 4669 0.3077 7.2441 ((7 . 15) (12 . 17) (17 . 19) (20 . 21)) 4671 0.3077 6.0524 ((7 . 2) (12 . 4) (17 . 6) (20 . 7)) 4674 0.3077 6.6064 ((3 . 1) (5 . 2) (11 . 6) (12 . 7)) 4678 0.3023 13.6053 ((3 . 10) (4 . 11) (8 . 14) (10 . 15)) 4713 0.3076 8.6696 ((7 . 4) (8 . 5) (12 . 7) (17 . 9)) 4731 0.2854 7.9000 ((5 . 14) (17 . 22) (19 . 23) (20 . 24)) 4734 0.3077 6.2780 ((3 . 4) (4 . 5) (5 . 6) (7 . 8)) 4857 0.2854 8.8913 ((3 . 2) (5 . 3) (17 . 11) (20 . 13)) 4888 0.2284 6.9020 ((5 . 4) (10 . 9) (17 . 12) (18 . 13)) 4889 0.3077 7.3378 ((7 . 2) (12 . 4) (17 . 6) (19 . 7)) 4907 0.2554 8.3899 ((3 . 5) (4 . 7) (5 . 8) (7 . 9)) 4914 0.3076 8.9668 ((7 . 4) (9 . 5) (17 . 10) (18 . 12)) 4921 0.3077 5.7037 ((7 . 7) (9 . 8) (12 . 9) (17 . 12)) 4929 0.5379 7.4647 ((3 . 26) (7 . 28) (9 . 29) (12 . 31) (17 . 33) (19 . 34) (20 . 35)) 4932 0.3077 6.1617 ((12 . 1) (18 . 4) (19 . 5) (20 . 6)) 4940 0.3077 7.8647 ((8 . 6) (9 . 7) (12 . 8) (19 . 10)) 4941 0.3077 7.5991 ((5 . 5) (12 . 13) (17 . 17) (18 . 19)) 4944 0.3077 7.3855 ((12 . 11) (18 . 13) (19 . 14) (20 . 15)) 4961 0.3077 6.5480 ((3 . 12) (5 . 14) (7 . 17) (12 . 20)) 4978 0.3077 6.2816 ((7 . 18) (12 . 21) (17 . 24) (19 . 25)) 4982 0.3073 13.9488 ((7 . 3) (12 . 6) (17 . 9) (19 . 10)) 4992 0.3076 8.8456 ((7 . 3) (12 . 6) (19 . 8) (20 . 9)) 4998 0.1633 10.9998 ((4 . 20) (8 . 23) (12 . 25) (20 . 29)) 5029 0.3077 7.6706 ((8 . 2) (12 . 4) (17 . 8) (20 . 10)) 5036 0.3846 6.0467 ((7 . 2) (12 . 6) (17 . 8) (19 . 9) (20 . 10)) 5038 0.3077 6.1065 ((7 . 15) (9 . 16) (11 . 17) (12 . 18)) 5039 0.1919 8.4076 ((12 . 37) (17 . 39) (18 . 41) (20 . 44)) 5044 0.3077 7.2148 ((4 . 1) (5 . 2) (12 . 8) (19 . 14)) 5046 0.3077 5.1860 ((3 . 4) (7 . 7) (9 . 8) (12 . 10)) 5053 0.3076 9.6807 ((7 . 3) (9 . 5) (10 . 6) (19 . 9)) 5065 0.3076 8.3058 ((3 . 3) (7 . 8) (9 . 9) (12 . 10)) 5068 0.3077 7.5176 ((12 . 2) (17 . 4) (19 . 7) (20 . 10)) 5069 0.3076 8.8634 ((12 . 2) (17 . 4) (18 . 5) (20 . 7)) 5073 0.3077 6.7037 ((9 . 32) (12 . 34) (17 . 36) (20 . 39)) 5083 0.2554 9.8547 ((3 . 2) (5 . 5) (7 . 9) (8 . 8)) 5101 0.3077 6.9156 ((7 . 1) (12 . 5) (17 . 7) (20 . 9)) 5103 0.3077 6.2184 ((9 . 2) (12 . 4) (17 . 6) (20 . 9)) 5121 0.3077 5.5822 ((7 . 16) (9 . 18) (10 . 19) (12 . 21)) 5132 0.3076 8.1358 ((7 . 16) (12 . 18) (17 . 20) (20 . 22)) 5145 0.2554 10.2749 ((12 . 3) (17 . 5) (19 . 8) (20 . 10)) 5167 0.2854 8.1587 ((3 . 3) (5 . 4) (12 . 9) (19 . 12)) 5183 0.3076 9.6273 ((5 . 34) (7 . 36) (9 . 37) (11 . 38)) 5192 0.3075 11.4997 ((7 . 1) (11 . 3) (12 . 5) (20 . 9)) 5198 0.3076 9.5914 ((3 . 21) (17 . 30) (18 . 31) (19 . 32)) 5199 0.3076 9.2589 ((9 . 4) (12 . 7) (17 . 8) (20 . 9)) 5209 0.3076 10.7402 ((9 . 4) (17 . 7) (19 . 8) (20 . 9)) 5215 0.3077 7.9410 ((3 . 9) (4 . 10) (7 . 12) (17 . 16)) 5223 0.3076 9.1652 ((7 . 10) (9 . 12) (12 . 15) (17 . 17)) 5266 0.3077 6.5925 ((7 . 2) (12 . 6) (17 . 8) (20 . 10)) 5278 0.3763 6.3814 ((3 . 2) (7 . 5) (8 . 6) (12 . 9) (18 . 12)) 5307 0.2854 9.9979 ((5 . 51) (7 . 53) (12 . 55) (17 . 58)) 5312 0.3077 4.0233 ((9 . 2) (12 . 3) (17 . 5) (19 . 7)) 5318 0.0997 8.1991 ((5 . 19) (10 . 22) (11 . 23) (12 . 24)) 5324 0.3076 8.8089 ((5 . 10) (7 . 12) (11 . 14) (12 . 15)) 5344 0.3845 6.8949 ((7 . 1) (9 . 2) (18 . 7) (19 . 8) (20 . 9)) 5345 0.3077 5.7996 ((3 . 2) (7 . 8) (17 . 15) (19 . 16)) 5368 0.3077 5.7042 ((9 . 21) (12 . 22) (17 . 26) (20 . 28)) 5378 0.1242 8.5578 ((3 . 3) (7 . 4) (10 . 6) (17 . 9)) 5414 0.3077 6.2543 ((3 . 16) (7 . 20) (9 . 21) (11 . 22)) 5418 0.1920 7.7835 ((7 . 1) (8 . 2) (12 . 3) (17 . 7)) 5433 0.3076 8.3497 ((3 . 10) (4 . 12) (5 . 13) (8 . 18)) 5479 0.3846 6.5920 ((7 . 53) (9 . 54) (12 . 55) (19 . 61) (20 . 62)) 5487 0.2554 8.6673 ((9 . 2) (12 . 4) (19 . 9) (20 . 11)) 5489 0.5384 4.7640 ((3 . 2) (7 . 5) (9 . 9) (12 . 10) (17 . 12) (19 . 13) (20 . 14)) 5500 0.2853 12.4282 ((3 . 4) (5 . 7) (10 . 12) (12 . 14)) 5535 0.3077 5.8489 ((12 . 8) (17 . 10) (18 . 11) (19 . 12)) 5540 0.3076 8.9918 ((3 . 7) (5 . 8) (11 . 15) (19 . 18)) 5557 0.1919 8.8607 ((11 . 1) (12 . 2) (17 . 4) (20 . 6)) 5560 0.3077 6.7121 ((7 . 13) (12 . 15) (17 . 17) (20 . 20)) 5562 0.3077 6.7188 ((7 . 7) (12 . 11) (17 . 14) (20 . 17)) 5567 0.2553 13.1672 ((3 . 6) (5 . 8) (8 . 11) (20 . 18)) 5594 0.3077 6.4274 ((7 . 1) (12 . 4) (17 . 6) (20 . 9)) 5600 0.1919 11.1339 ((7 . 3) (12 . 6) (17 . 9) (19 . 11)) 5601 0.3077 5.8122 ((7 . 1) (8 . 3) (12 . 5) (20 . 12)) 5640 0.3845 7.1377 ((5 . 8) (7 . 10) (9 . 11) (11 . 12) (12 . 14)) 5644 0.3076 8.0301 ((3 . 4) (7 . 8) (10 . 11) (11 . 12)) 5656 0.3076 9.8642 ((4 . 3) (7 . 5) (17 . 14) (20 . 16)) 5700 0.3846 5.4073 ((7 . 2) (9 . 3) (12 . 4) (17 . 6) (19 . 8)) 5701 0.3076 8.8432 ((7 . 4) (9 . 5) (12 . 6) (19 . 8)) 5703 0.3077 5.8634 ((7 . 1) (17 . 6) (19 . 7) (20 . 8)) 5711 0.3844 8.9405 ((3 . 35) (10 . 42) (11 . 43) (17 . 46) (19 . 47)) 5713 0.3077 5.0798 ((3 . 16) (7 . 20) (12 . 24) (17 . 27)) 5718 0.3793 10.0304 ((9 . 14) (12 . 16) (18 . 18) (19 . 21) (20 . 23)) 5731 0.3077 6.0676 ((9 . 2) (17 . 7) (19 . 9) (20 . 10)) 5746 0.3077 7.4623 ((3 . 6) (4 . 7) (7 . 10) (12 . 13)) 5749 0.1919 9.8979 ((5 . 3) (7 . 4) (9 . 5) (12 . 6)) 5761 0.3077 5.6768 ((9 . 28) (12 . 30) (17 . 32) (20 . 36)) 5770 0.3077 4.1185 ((3 . 8) (4 . 9) (5 . 12) (7 . 15)) 5771 0.2853 11.3389 ((7 . 9) (11 . 13) (19 . 17) (20 . 20)) 5782 0.3077 4.7927 ((4 . 14) (5 . 21) (10 . 26) (11 . 27)) 5794 0.3077 5.2138 ((3 . 16) (7 . 19) (12 . 23) (17 . 25)) 5795 0.2854 10.2074 ((3 . 6) (7 . 9) (8 . 10) (19 . 16)) 5809 0.3076 9.4827 ((5 . 7) (7 . 9) (12 . 12) (19 . 15)) 5822 0.2284 7.9230 ((12 . 1) (17 . 2) (18 . 4) (20 . 6)) 5827 0.3077 6.4679 ((7 . 15) (9 . 16) (11 . 17) (17 . 19)) 5830 0.3077 5.1700 ((7 . 7) (9 . 8) (12 . 10) (20 . 17)) 5847 0.3077 6.1632 ((10 . 14) (11 . 15) (12 . 16) (19 . 20)) 5861 0.3845 8.3242 ((7 . 10) (9 . 11) (11 . 12) (17 . 17) (20 . 20)) 5865 0.3076 8.1090 ((9 . 1) (11 . 2) (12 . 4) (19 . 7)) 5888 0.3763 6.2362 ((5 . 3) (7 . 5) (12 . 9) (17 . 11) (19 . 12)) 5904 0.3076 10.2769 ((7 . 4) (12 . 7) (17 . 9) (19 . 11)) 5913 0.3076 9.0259 ((7 . 5) (9 . 6) (11 . 7) (20 . 13)) 5922 0.4614 6.5679 ((3 . 1) (7 . 5) (12 . 8) (17 . 10) (19 . 11) (20 . 13)) 5930 0.3076 8.7851 ((7 . 2) (18 . 7) (19 . 9) (20 . 11)) 5939 0.3075 10.8723 ((9 . 2) (12 . 4) (19 . 6) (20 . 8)) 5945 0.3076 8.5351 ((3 . 28) (8 . 33) (18 . 37) (19 . 38)) 5949 0.2284 9.2329 ((3 . 4) (8 . 9) (12 . 12) (17 . 14)) 5955 0.1633 6.8712 ((3 . 3) (4 . 4) (5 . 5) (7 . 7)) 5977 0.3077 6.9118 ((7 . 1) (12 . 3) (17 . 5) (19 . 6)) 6011 0.4613 7.6215 ((7 . 3) (9 . 4) (11 . 5) (12 . 7) (19 . 10) (20 . 11)) 6022 0.3077 6.0498 ((7 . 2) (12 . 5) (17 . 8) (19 . 9)) 6029 0.3076 9.2033 ((10 . 3) (11 . 4) (12 . 24) (19 . 35)) 6041 0.3076 8.7002 ((4 . 10) (5 . 11) (7 . 13) (11 . 15)) 6061 0.3077 7.5526 ((3 . 14) (5 . 15) (7 . 17) (12 . 20)) 6074 0.3077 6.6017 ((9 . 2) (12 . 4) (17 . 6) (20 . 8)) 6075 0.3077 6.9398 ((7 . 21) (12 . 24) (17 . 27) (18 . 28)) 6079 0.3076 8.7678 ((7 . 1) (12 . 6) (17 . 8) (19 . 9)) 6089 0.3076 10.3900 ((7 . 1) (11 . 3) (17 . 5) (20 . 11)) 6094 0.3077 7.7789 ((12 . 7) (18 . 11) (19 . 12) (20 . 14)) 6099 0.3845 8.2288 ((7 . 5) (9 . 6) (12 . 7) (17 . 10) (19 . 11)) 6123 0.2553 10.5296 ((10 . 1) (11 . 2) (12 . 3) (17 . 5)) 6142 0.3845 6.9554 ((3 . 11) (7 . 14) (9 . 15) (12 . 16) (20 . 24)) 6167 0.3077 4.8932 ((3 . 10) (5 . 12) (10 . 20) (11 . 21)) 6173 0.3077 5.5322 ((12 . 4) (18 . 7) (19 . 8) (20 . 9)) 6191 0.3076 8.3018 ((9 . 4) (12 . 6) (19 . 9) (20 . 10)) 6192 0.2553 12.3213 ((3 . 1) (9 . 5) (17 . 10) (18 . 11)) 6215 0.3076 8.3908 ((7 . 17) (9 . 18) (12 . 19) (19 . 24)) 6225 0.3076 8.0618 ((7 . 5) (10 . 7) (11 . 8) (20 . 12)) 6228 0.3076 8.7337 ((7 . 1) (12 . 5) (17 . 7) (20 . 9)) 6234 0.3846 5.0599 ((7 . 6) (9 . 7) (12 . 9) (17 . 13) (19 . 15)) 6238 0.3077 7.9391 ((12 . 4) (17 . 7) (19 . 8) (20 . 9)) 6251 0.3076 10.5934 ((4 . 8) (7 . 10) (17 . 15) (20 . 19)) 6258 0.3077 7.4043 ((10 . 3) (11 . 4) (17 . 7) (20 . 10)) 6261 0.3077 7.5909 ((7 . 1) (12 . 3) (19 . 9) (20 . 11)) 6266 0.3077 6.9245 ((5 . 5) (7 . 6) (9 . 8) (12 . 10)) 6270 0.3077 7.6230 ((7 . 13) (9 . 15) (17 . 18) (20 . 22)) 6271 0.3077 5.8851 ((7 . 4) (9 . 5) (12 . 7) (20 . 12)) 6273 0.3076 9.5966 ((3 . 2) (5 . 4) (11 . 7) (19 . 13)) 6294 0.2854 7.2012 ((5 . 16) (12 . 23) (17 . 25) (20 . 27)) 6306 0.2854 10.0924 ((7 . 15) (8 . 16) (19 . 21) (20 . 22)) 6309 0.3076 8.5945 ((7 . 17) (9 . 18) (18 . 25) (20 . 27)) 6311 0.3077 7.8418 ((9 . 5) (12 . 9) (17 . 10) (20 . 13)) 6326 0.3077 7.3154 ((3 . 7) (4 . 9) (5 . 10) (7 . 12)) 6338 0.3077 5.4133 ((12 . 2) (17 . 5) (19 . 7) (20 . 8)) 6344 0.3076 8.9023 ((11 . 12) (12 . 13) (17 . 17) (19 . 18)) 6345 0.1919 9.6355 ((3 . 11) (18 . 23) (19 . 22) (20 . 24)) 6355 0.3077 6.1059 ((3 . 6) (4 . 7) (5 . 8) (17 . 15)) 6356 0.3077 6.9854 ((7 . 4) (12 . 9) (17 . 11) (20 . 13)) 6369 0.3076 10.6899 ((12 . 20) (17 . 22) (19 . 24) (20 . 26)) 6376 0.3077 7.3245 ((7 . 17) (12 . 21) (17 . 24) (20 . 26)) 6392 0.2853 11.8526 ((4 . 1) (7 . 3) (12 . 7) (17 . 9)) 6399 0.3077 6.0654 ((3 . 19) (7 . 25) (9 . 26) (12 . 27)) 6403 0.3077 7.8342 ((7 . 3) (9 . 4) (11 . 5) (17 . 7)) 6462 0.2854 9.5524 ((3 . 16) (5 . 18) (9 . 20) (17 . 24)) 6498 0.3077 5.8841 ((3 . 37) (8 . 42) (10 . 44) (11 . 45)) 6520 0.3077 7.0084 ((7 . 1) (9 . 2) (12 . 3) (19 . 9)) 6539 0.3076 8.7576 ((3 . 2) (7 . 5) (11 . 8) (12 . 10)) 6540 0.4495 5.7351 ((3 . 2) (8 . 5) (9 . 6) (17 . 9) (19 . 11) (20 . 12)) 6548 0.3076 10.0150 ((11 . 7) (17 . 9) (19 . 12) (20 . 13)) 6553 0.3077 6.6211 ((7 . 11) (12 . 13) (17 . 17) (20 . 20)) 6555 0.4615 4.9157 ((7 . 17) (9 . 19) (12 . 20) (17 . 23) (19 . 24) (20 . 25)) 6561 0.3076 8.1816 ((5 . 3) (10 . 7) (11 . 8) (12 . 9)) 6573 0.3076 8.5882 ((5 . 19) (7 . 21) (8 . 22) (12 . 25)) 6578 0.3076 8.3412 ((8 . 31) (9 . 32) (12 . 34) (17 . 38)) 6584 0.3077 7.7417 ((9 . 2) (11 . 3) (19 . 8) (20 . 9)) 6585 0.3077 7.0484 ((7 . 2) (12 . 6) (17 . 8) (20 . 10)) 6587 0.1919 7.9334 ((12 . 29) (17 . 31) (18 . 33) (19 . 34)) 6598 0.3844 8.8020 ((7 . 3) (12 . 5) (17 . 7) (19 . 8) (20 . 10)) 6613 0.3077 7.5210 ((3 . 24) (7 . 27) (19 . 34) (20 . 35)) END