5044 25 0.3020 9.5541 ((1 . 6) (2 . 7) (4 . 9) (8 . 11)) 51 0.2334 7.5314 ((2 . 1) (4 . 3) (9 . 7) (16 . 13)) 62 0.3185 9.4448 ((2 . 10) (4 . 15) (8 . 16) (9 . 17)) 64 0.3332 9.2464 ((3 . 3) (8 . 7) (9 . 8) (14 . 9)) 77 0.3329 12.7820 ((1 . 7) (2 . 8) (3 . 9) (8 . 13)) 91 0.3329 13.0931 ((4 . 14) (14 . 21) (31 . 40) (33 . 42)) 96 0.3333 8.4007 ((1 . 1) (3 . 3) (8 . 5) (9 . 6)) 136 0.2644 5.8143 ((3 . 3) (4 . 4) (8 . 7) (9 . 8)) 157 0.3333 6.5519 ((2 . 3) (4 . 6) (8 . 9) (9 . 11)) 161 0.1940 7.1287 ((8 . 2) (11 . 7) (14 . 9) (16 . 10)) 162 0.3333 7.6186 ((8 . 15) (9 . 17) (14 . 20) (16 . 22)) 177 0.3333 7.3178 ((2 . 4) (3 . 5) (8 . 8) (9 . 10)) 191 0.3333 7.5671 ((1 . 4) (3 . 6) (8 . 7) (9 . 8)) 198 0.3333 8.2471 ((1 . 5) (3 . 8) (8 . 12) (9 . 14)) 207 0.1940 7.7598 ((8 . 7) (9 . 8) (11 . 10) (16 . 13)) 300 0.3333 7.9723 ((3 . 6) (8 . 9) (9 . 10) (11 . 11)) 305 0.3429 8.6666 ((1 . 11) (2 . 12) (8 . 18) (9 . 19) (14 . 21)) 315 0.3331 10.9226 ((8 . 3) (9 . 5) (11 . 7) (16 . 9)) 340 0.3258 7.7567 ((8 . 2) (9 . 4) (11 . 5) (14 . 9)) 350 0.3333 6.8690 ((1 . 11) (2 . 13) (3 . 15) (8 . 18)) 360 0.3333 7.1633 ((1 . 7) (2 . 8) (3 . 10) (8 . 12)) 367 0.2644 6.0894 ((1 . 38) (2 . 40) (8 . 44) (9 . 46)) 372 0.3333 5.5035 ((1 . 2) (2 . 3) (8 . 10) (9 . 11)) 387 0.1642 8.6286 ((3 . 7) (4 . 6) (8 . 8) (9 . 10)) 417 0.3330 11.7529 ((2 . 2) (3 . 3) (4 . 6) (8 . 7)) 433 0.3333 6.9632 ((1 . 1) (2 . 5) (3 . 9) (8 . 10)) 442 0.3020 8.5029 ((2 . 1) (8 . 4) (9 . 6) (14 . 10)) 460 0.3333 5.8570 ((3 . 1) (8 . 2) (9 . 3) (14 . 8)) 472 0.3020 9.9687 ((1 . 20) (2 . 21) (3 . 22) (11 . 28)) 491 0.3333 8.3292 ((3 . 1) (8 . 6) (14 . 9) (16 . 10)) 541 0.3333 7.0539 ((1 . 2) (2 . 3) (4 . 6) (11 . 10)) 543 0.3333 6.8363 ((3 . 6) (8 . 8) (11 . 13) (14 . 15)) 584 0.3019 12.2722 ((2 . 5) (11 . 12) (14 . 15) (32 . 33)) 587 0.3333 4.5320 ((8 . 2) (9 . 3) (14 . 7) (16 . 8)) 619 0.3333 6.9332 ((1 . 7) (2 . 8) (3 . 11) (8 . 12)) 624 0.3333 5.5940 ((11 . 12) (16 . 15) (31 . 26) (32 . 27)) 635 0.2644 6.9787 ((4 . 11) (8 . 13) (9 . 15) (14 . 18)) 672 0.3257 10.1890 ((1 . 23) (2 . 24) (3 . 26) (4 . 25)) 678 0.2334 8.8903 ((9 . 22) (11 . 23) (16 . 26) (32 . 42)) 683 0.3333 7.4139 ((1 . 1) (2 . 2) (3 . 5) (8 . 6)) 719 0.3333 5.9903 ((1 . 22) (2 . 23) (3 . 25) (8 . 30)) 729 0.3333 7.8361 ((9 . 9) (11 . 12) (31 . 31) (32 . 32)) 735 0.1485 9.4487 ((3 . 29) (8 . 31) (9 . 32) (16 . 39)) 765 0.3333 7.2148 ((1 . 4) (2 . 5) (8 . 12) (14 . 19)) 767 0.3332 9.0978 ((14 . 3) (31 . 26) (32 . 27) (33 . 29)) 812 0.3184 12.1993 ((3 . 13) (9 . 16) (14 . 19) (16 . 20)) 818 0.1940 8.1118 ((1 . 1) (3 . 4) (4 . 5) (9 . 8)) 819 0.3333 5.3537 ((3 . 5) (8 . 8) (9 . 9) (16 . 10)) 824 0.3332 10.0488 ((3 . 43) (8 . 45) (9 . 46) (16 . 51)) 861 0.3333 6.9504 ((1 . 1) (2 . 2) (3 . 3) (11 . 6)) 901 0.3333 8.4152 ((11 . 3) (31 . 17) (32 . 19) (33 . 20)) 913 0.1940 7.5013 ((3 . 16) (4 . 21) (8 . 17) (14 . 20)) 928 0.2644 8.9187 ((8 . 1) (14 . 5) (31 . 20) (32 . 19)) 943 0.3020 10.8241 ((2 . 4) (3 . 6) (4 . 7) (9 . 9)) 945 0.2644 7.6208 ((3 . 14) (4 . 16) (9 . 19) (14 . 22)) 949 0.3020 10.0355 ((1 . 27) (3 . 30) (8 . 32) (11 . 36)) 960 0.3333 6.1134 ((8 . 3) (9 . 4) (11 . 5) (16 . 8)) 978 0.3333 5.5070 ((16 . 4) (31 . 16) (32 . 18) (33 . 19)) 1005 0.3183 12.6288 ((1 . 1) (2 . 2) (4 . 5) (11 . 8)) 1007 0.3333 8.2036 ((8 . 13) (9 . 14) (11 . 15) (14 . 18)) 1034 0.2644 8.6245 ((1 . 20) (2 . 21) (8 . 25) (9 . 26)) 1043 0.3333 6.4330 ((3 . 12) (8 . 14) (9 . 17) (11 . 18)) 1082 0.3333 5.6485 ((8 . 3) (9 . 4) (11 . 5) (16 . 8)) 1084 0.3021 7.8150 ((1 . 3) (8 . 11) (9 . 12) (11 . 15)) 1165 0.3333 6.8977 ((16 . 7) (31 . 19) (32 . 20) (33 . 21)) 1195 0.4166 4.9153 ((3 . 2) (4 . 3) (8 . 4) (9 . 5) (16 . 6)) 1201 0.3317 17.9059 ((1 . 9) (2 . 11) (4 . 13) (8 . 17)) 1204 0.3184 12.0107 ((1 . 3) (3 . 5) (9 . 12) (32 . 32)) 1211 0.3256 11.6761 ((4 . 1) (8 . 4) (9 . 5) (14 . 9)) 1217 0.3258 7.5523 ((4 . 2) (8 . 3) (9 . 5) (16 . 11)) 1224 0.3333 7.1511 ((1 . 9) (2 . 10) (3 . 14) (8 . 15)) 1233 0.3330 11.7821 ((1 . 11) (4 . 16) (11 . 21) (16 . 23)) 1267 0.3333 6.2486 ((16 . 19) (31 . 36) (32 . 37) (33 . 38)) 1268 0.3328 13.6514 ((3 . 22) (8 . 25) (11 . 28) (16 . 31)) 1294 0.3333 7.0097 ((3 . 39) (8 . 40) (9 . 41) (16 . 46)) 1345 0.3020 8.7164 ((1 . 12) (2 . 13) (3 . 16) (4 . 17)) 1366 0.2333 12.0834 ((2 . 17) (4 . 18) (8 . 22) (9 . 23)) 1388 0.3020 9.7824 ((1 . 4) (2 . 5) (4 . 7) (11 . 12)) 1410 0.3020 10.3842 ((2 . 19) (3 . 20) (8 . 23) (9 . 25)) 1435 0.8566 3.6487 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 5) (9 . 6) (11 . 7) (14 . 11) (16 . 13) (31 . 31) (32 . 32) (33 . 33)) 1451 0.0998 7.7748 ((1 . 3) (2 . 4) (3 . 5) (9 . 9)) 1464 0.3333 8.4561 ((3 . 7) (8 . 8) (9 . 10) (11 . 12)) 1481 0.3333 7.2730 ((8 . 1) (9 . 2) (14 . 5) (16 . 7)) 1501 0.3333 4.6678 ((8 . 1) (9 . 2) (14 . 6) (16 . 7)) 1513 0.3332 9.3441 ((1 . 6) (2 . 8) (4 . 9) (9 . 13)) 1577 0.3185 10.8200 ((2 . 6) (9 . 12) (14 . 15) (31 . 30)) 1591 0.3333 5.0581 ((16 . 4) (31 . 14) (32 . 15) (33 . 16)) 1622 0.3186 7.4216 ((2 . 20) (4 . 21) (8 . 24) (9 . 25)) 1643 0.3333 5.9522 ((1 . 18) (2 . 20) (14 . 33) (16 . 34)) 1644 0.3333 6.5832 ((1 . 48) (2 . 49) (3 . 51) (8 . 52)) 1690 0.3333 6.5673 ((1 . 8) (8 . 14) (9 . 16) (16 . 20)) 1692 0.3258 7.6906 ((8 . 6) (9 . 7) (14 . 9) (16 . 10)) 1731 0.3332 9.0026 ((1 . 3) (2 . 6) (3 . 8) (14 . 13)) 1738 0.3332 9.2980 ((2 . 6) (8 . 11) (9 . 13) (16 . 19)) 1747 0.3333 6.6058 ((1 . 5) (2 . 6) (8 . 11) (16 . 19)) 1756 0.2644 11.4726 ((1 . 21) (2 . 22) (3 . 25) (8 . 28)) 1761 0.3332 9.1444 ((3 . 11) (9 . 16) (11 . 18) (16 . 20)) 1763 0.3333 7.1739 ((3 . 7) (8 . 9) (9 . 10) (14 . 13)) 1776 0.3258 5.4520 ((1 . 1) (4 . 8) (14 . 14) (16 . 15)) 1778 0.2334 7.0258 ((1 . 3) (2 . 4) (4 . 6) (14 . 12)) 1793 0.3329 12.6003 ((2 . 12) (3 . 14) (4 . 15) (11 . 18)) 1805 0.3333 4.7816 ((3 . 11) (8 . 12) (9 . 14) (16 . 17)) 1808 0.3186 7.5032 ((1 . 2) (2 . 4) (3 . 6) (4 . 7)) 1817 0.1940 6.6854 ((8 . 13) (9 . 14) (14 . 19) (16 . 20)) 1867 0.3333 6.4796 ((3 . 1) (4 . 2) (8 . 6) (9 . 7)) 1894 0.3333 5.0259 ((3 . 11) (8 . 12) (9 . 18) (16 . 26)) 1896 0.1940 6.6083 ((2 . 22) (3 . 23) (31 . 51) (32 . 52)) 1897 0.3331 10.8304 ((2 . 32) (4 . 35) (11 . 38) (16 . 43)) 1908 0.3333 7.8566 ((11 . 1) (31 . 15) (32 . 16) (33 . 17)) 1913 0.3333 7.5938 ((1 . 14) (3 . 18) (8 . 22) (11 . 24)) 1944 0.3333 6.2989 ((4 . 14) (8 . 16) (9 . 17) (14 . 22)) 1957 0.3020 9.6200 ((2 . 13) (4 . 16) (11 . 20) (16 . 22)) 1961 0.3330 12.0827 ((2 . 16) (4 . 18) (9 . 21) (11 . 23)) 1967 0.3186 6.6623 ((1 . 7) (4 . 9) (8 . 13) (9 . 14)) 1992 0.3020 9.8828 ((8 . 2) (9 . 3) (11 . 5) (16 . 9)) 1995 0.2644 5.7483 ((1 . 1) (2 . 2) (8 . 8) (9 . 11)) 2006 0.4045 5.2031 ((1 . 13) (2 . 14) (3 . 16) (8 . 18) (9 . 20)) 2045 0.9758 1.9684 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 7) (9 . 8) (11 . 9) (14 . 11) (16 . 13) (31 . 29) (32 . 30) (33 . 31)) 2048 0.3333 6.2905 ((3 . 1) (4 . 2) (8 . 4) (9 . 6)) 2054 0.1940 8.7297 ((1 . 2) (8 . 13) (9 . 14) (11 . 15)) 2065 0.3333 7.0700 ((1 . 16) (2 . 17) (3 . 19) (8 . 23)) 2067 0.3332 8.9216 ((3 . 9) (8 . 16) (11 . 18) (31 . 39)) 2072 0.1940 8.3029 ((1 . 1) (2 . 2) (4 . 3) (8 . 6)) 2081 0.3333 5.7079 ((1 . 5) (2 . 6) (3 . 9) (8 . 10)) 2083 0.3020 8.8254 ((9 . 1) (11 . 3) (14 . 5) (16 . 4)) 2097 0.2334 8.9035 ((1 . 7) (8 . 14) (9 . 16) (11 . 19)) 2116 0.1642 11.2804 ((1 . 1) (2 . 2) (3 . 3) (14 . 10)) 2117 0.3333 5.6697 ((1 . 12) (3 . 16) (8 . 22) (9 . 23)) 2122 0.3186 7.4480 ((1 . 14) (2 . 15) (3 . 17) (4 . 19)) 2166 0.3333 7.5919 ((1 . 3) (2 . 4) (8 . 9) (11 . 10)) 2179 0.2644 7.7797 ((9 . 1) (14 . 5) (16 . 6) (31 . 23)) 2196 0.2644 5.3233 ((1 . 11) (2 . 12) (8 . 18) (9 . 19)) 2203 0.2334 10.2752 ((2 . 1) (4 . 3) (8 . 7) (14 . 12)) 2205 0.3333 7.0154 ((3 . 13) (8 . 15) (9 . 17) (16 . 22)) 2209 0.3186 8.6567 ((4 . 2) (8 . 5) (9 . 6) (14 . 9)) 2220 0.2644 8.1182 ((9 . 2) (11 . 1) (14 . 5) (16 . 7)) 2243 0.3332 8.7763 ((2 . 53) (3 . 54) (9 . 61) (16 . 67)) 2244 0.3333 6.7948 ((1 . 70) (2 . 71) (3 . 73) (8 . 76)) 2249 0.3332 10.3569 ((3 . 11) (9 . 16) (11 . 19) (16 . 23)) 2269 0.3332 9.1376 ((3 . 6) (8 . 7) (9 . 8) (11 . 9)) 2279 0.3186 6.8067 ((1 . 3) (2 . 5) (3 . 7) (16 . 20)) 2298 0.3331 10.9607 ((2 . 6) (4 . 9) (9 . 12) (14 . 15)) 2340 0.2644 9.2613 ((2 . 9) (3 . 11) (8 . 13) (9 . 14)) 2344 0.3332 9.7918 ((4 . 9) (8 . 13) (11 . 16) (14 . 20)) 2364 0.3186 7.4613 ((1 . 4) (2 . 5) (8 . 9) (14 . 15)) 2389 0.3332 9.7987 ((3 . 3) (8 . 7) (9 . 8) (14 . 11)) 2408 0.3333 7.8936 ((1 . 37) (2 . 38) (3 . 40) (9 . 45)) 2409 0.3258 7.4481 ((1 . 6) (2 . 8) (3 . 9) (4 . 11)) 2422 0.2644 8.9713 ((3 . 1) (4 . 2) (8 . 7) (9 . 8)) 2423 0.3333 7.4139 ((4 . 12) (9 . 14) (14 . 17) (16 . 19)) 2440 0.2643 12.0683 ((2 . 8) (3 . 9) (4 . 10) (14 . 17)) 2447 0.3333 8.3295 ((2 . 5) (11 . 12) (31 . 30) (32 . 32)) 2462 0.3333 5.7773 ((1 . 4) (3 . 6) (8 . 7) (14 . 12)) 2510 0.3332 9.8216 ((4 . 4) (11 . 8) (31 . 25) (33 . 27)) 2525 0.3333 7.3190 ((3 . 38) (4 . 39) (11 . 44) (16 . 47)) 2529 0.3333 7.1736 ((3 . 1) (4 . 2) (8 . 5) (9 . 6)) 2533 0.3333 7.1486 ((4 . 2) (8 . 4) (9 . 6) (14 . 8)) 2551 0.3186 8.4936 ((4 . 6) (9 . 9) (14 . 12) (16 . 14)) 2556 0.3020 8.4373 ((3 . 13) (4 . 14) (8 . 18) (9 . 20)) 2557 0.1940 7.4974 ((9 . 3) (11 . 4) (14 . 6) (16 . 7)) 2595 0.1940 9.6643 ((2 . 4) (4 . 5) (14 . 11) (16 . 13)) 2627 0.1940 7.8207 ((1 . 60) (3 . 64) (4 . 55) (14 . 65)) 2658 0.3332 8.9552 ((4 . 7) (9 . 10) (14 . 13) (16 . 14)) 2675 0.3185 10.4599 ((1 . 3) (2 . 4) (4 . 9) (8 . 10)) 2682 0.3333 7.5070 ((16 . 3) (31 . 17) (32 . 18) (33 . 19)) 2696 0.3333 6.5492 ((3 . 31) (8 . 32) (9 . 34) (14 . 38)) 2733 0.3332 9.7215 ((3 . 2) (8 . 4) (11 . 7) (16 . 11)) 2783 0.1940 11.6584 ((3 . 1) (4 . 4) (8 . 6) (9 . 7)) 2804 0.3333 6.5867 ((1 . 31) (2 . 32) (3 . 34) (9 . 38)) 2821 0.3332 9.9140 ((1 . 1) (2 . 2) (3 . 3) (8 . 7)) 2830 0.3331 11.0085 ((4 . 2) (14 . 9) (32 . 21) (33 . 23)) 2834 0.3332 9.2867 ((8 . 5) (9 . 6) (11 . 7) (14 . 9)) 2840 0.1940 8.1295 ((2 . 5) (3 . 6) (8 . 9) (9 . 11)) 2842 0.3019 12.1531 ((2 . 5) (4 . 7) (11 . 10) (14 . 11)) 2867 0.3333 4.7095 ((8 . 7) (9 . 8) (11 . 10) (16 . 12)) 2879 0.3333 6.9358 ((1 . 51) (2 . 52) (3 . 54) (8 . 58)) 2886 0.3332 10.3188 ((2 . 34) (3 . 35) (8 . 39) (9 . 41)) 2947 0.3020 9.1514 ((1 . 3) (2 . 4) (4 . 5) (14 . 13)) 2955 0.0998 17.3760 ((4 . 2) (16 . 7) (31 . 18) (33 . 19)) 2966 0.3186 5.3507 ((4 . 2) (8 . 6) (9 . 8) (14 . 12)) 2990 0.1641 16.1785 ((2 . 9) (8 . 14) (9 . 15) (16 . 19)) 3014 0.3331 10.9625 ((4 . 3) (8 . 4) (11 . 8) (33 . 22)) 3019 0.3333 6.2471 ((8 . 9) (9 . 10) (31 . 25) (32 . 26)) 3041 0.3332 8.6836 ((11 . 1) (31 . 16) (32 . 17) (33 . 18)) 3055 0.4166 5.8932 ((1 . 12) (2 . 13) (8 . 19) (9 . 20) (16 . 25)) 3063 0.3186 8.0546 ((2 . 33) (4 . 34) (8 . 36) (14 . 41)) 3070 0.3333 8.2266 ((1 . 32) (2 . 33) (3 . 35) (8 . 36)) 3084 0.1940 10.0002 ((11 . 2) (14 . 3) (31 . 17) (32 . 18)) 3102 0.3333 7.1641 ((3 . 72) (8 . 74) (9 . 77) (11 . 78)) 3103 0.2644 7.7480 ((3 . 2) (8 . 5) (14 . 11) (16 . 13)) 3114 0.3186 9.2790 ((3 . 22) (8 . 25) (11 . 28) (14 . 29)) 3127 0.2334 6.0241 ((1 . 3) (2 . 4) (3 . 6) (9 . 11)) 3147 0.3333 4.6594 ((1 . 3) (2 . 4) (9 . 11) (16 . 17)) 3176 0.3333 5.0567 ((3 . 26) (8 . 27) (9 . 29) (11 . 31)) 3187 0.3333 6.9684 ((3 . 1) (8 . 2) (9 . 3) (14 . 6)) 3197 0.4161 10.3315 ((8 . 1) (11 . 4) (31 . 19) (32 . 20) (33 . 21)) 3200 0.3258 7.4975 ((1 . 3) (2 . 4) (3 . 6) (14 . 13)) 3202 0.3332 8.9488 ((1 . 8) (2 . 9) (11 . 15) (16 . 18)) 3222 0.3333 7.2794 ((2 . 1) (4 . 2) (8 . 6) (9 . 7)) 3256 0.3019 11.8561 ((2 . 13) (4 . 15) (8 . 19) (9 . 20)) 3261 0.2644 10.1486 ((1 . 1) (2 . 2) (4 . 5) (8 . 6)) 3286 0.2644 8.8745 ((3 . 3) (4 . 2) (9 . 7) (14 . 9)) 3289 0.1940 10.0382 ((2 . 25) (3 . 27) (8 . 30) (9 . 31)) 3297 0.3330 11.8129 ((2 . 8) (3 . 9) (8 . 11) (9 . 12)) 3300 0.3333 7.2157 ((1 . 2) (2 . 1) (3 . 4) (8 . 5)) 3339 0.3186 8.8167 ((2 . 15) (3 . 17) (9 . 21) (14 . 22)) 3344 0.1940 5.2384 ((1 . 20) (2 . 21) (3 . 22) (8 . 26)) 3358 0.2334 9.7144 ((1 . 8) (3 . 10) (4 . 11) (8 . 12)) 3366 0.3333 6.9270 ((3 . 22) (4 . 25) (14 . 29) (16 . 31)) 3391 0.3332 8.9666 ((4 . 2) (9 . 4) (11 . 5) (14 . 8)) 3418 0.3954 4.6921 ((3 . 2) (4 . 3) (8 . 5) (9 . 6) (16 . 7)) 3446 0.3331 11.2723 ((2 . 5) (3 . 6) (4 . 8) (11 . 11)) 3481 0.3327 14.0919 ((3 . 1) (4 . 3) (8 . 4) (9 . 7)) 3495 0.3333 5.6471 ((8 . 2) (9 . 3) (11 . 5) (16 . 8)) 3537 0.3333 8.2989 ((1 . 7) (3 . 9) (8 . 10) (11 . 12)) 3538 0.3020 9.2926 ((2 . 15) (4 . 17) (8 . 18) (9 . 20)) 3548 0.3331 11.5750 ((2 . 3) (3 . 4) (4 . 7) (8 . 8)) 3549 0.3333 8.0897 ((3 . 1) (8 . 3) (9 . 5) (14 . 8)) 3561 0.3333 7.5753 ((2 . 18) (4 . 21) (9 . 26) (16 . 30)) 3585 0.3257 10.4287 ((2 . 11) (3 . 12) (9 . 16) (11 . 17)) 3613 0.3186 7.4752 ((4 . 32) (8 . 35) (9 . 36) (11 . 39)) 3625 0.3333 5.5581 ((1 . 1) (2 . 2) (3 . 5) (8 . 6)) 3626 0.3333 7.0872 ((8 . 2) (9 . 3) (11 . 5) (16 . 11)) 3628 0.3332 9.5541 ((4 . 1) (8 . 2) (9 . 3) (11 . 5)) 3651 0.3333 5.5525 ((3 . 3) (4 . 4) (9 . 8) (16 . 13)) 3656 0.3332 9.3664 ((3 . 22) (4 . 21) (8 . 23) (9 . 24)) 3658 0.3327 14.3424 ((3 . 4) (8 . 7) (9 . 8) (11 . 9)) 3659 0.3333 6.9979 ((1 . 7) (3 . 9) (8 . 12) (9 . 13)) 3661 0.3020 11.0715 ((2 . 11) (3 . 12) (4 . 14) (14 . 24)) 3663 0.1940 9.7290 ((2 . 1) (3 . 2) (4 . 4) (11 . 7)) 3688 0.3333 6.0401 ((1 . 21) (2 . 23) (3 . 34) (8 . 35)) 3697 0.2644 10.1885 ((1 . 3) (2 . 4) (4 . 5) (9 . 7)) 3703 0.3020 9.0657 ((1 . 3) (2 . 4) (4 . 5) (11 . 10)) 3732 0.3186 8.5583 ((1 . 2) (2 . 3) (3 . 5) (4 . 6)) 3740 0.3333 8.0283 ((2 . 2) (8 . 6) (9 . 7) (11 . 8)) 3741 0.3333 6.0250 ((1 . 9) (2 . 10) (9 . 25) (14 . 28)) 3778 0.3333 3.3678 ((3 . 2) (8 . 3) (9 . 4) (16 . 7)) 3787 0.3333 8.3161 ((16 . 7) (31 . 21) (32 . 22) (33 . 23)) 3790 0.3776 5.7707 ((1 . 30) (2 . 31) (3 . 33) (14 . 35) (16 . 39)) 3810 0.3333 7.6352 ((1 . 8) (2 . 9) (3 . 11) (8 . 15)) 3817 0.3323 16.0095 ((1 . 11) (4 . 14) (8 . 16) (11 . 17)) 3829 0.3332 9.1936 ((3 . 2) (4 . 4) (8 . 5) (11 . 8)) 3831 0.3333 6.9406 ((1 . 2) (2 . 3) (3 . 5) (8 . 6)) 3847 0.3019 11.3760 ((3 . 13) (4 . 12) (8 . 16) (9 . 17)) 3849 0.3333 7.8654 ((3 . 1) (8 . 3) (9 . 5) (14 . 8)) 3853 0.2334 7.3266 ((3 . 6) (8 . 8) (14 . 12) (16 . 14)) 3870 0.3333 6.6093 ((4 . 7) (8 . 10) (11 . 12) (14 . 13)) 3933 0.3332 9.6996 ((1 . 8) (2 . 9) (3 . 11) (9 . 18)) 3938 0.3186 5.5893 ((3 . 2) (4 . 3) (8 . 4) (9 . 8)) 3942 0.1940 9.1212 ((1 . 2) (2 . 3) (4 . 6) (8 . 9)) 3986 0.3333 7.3418 ((1 . 21) (2 . 25) (8 . 28) (9 . 29)) 4005 0.3333 7.5703 ((1 . 1) (2 . 2) (8 . 7) (9 . 9)) 4009 0.3333 6.1170 ((2 . 11) (3 . 12) (11 . 18) (16 . 21)) 4019 0.3333 8.5134 ((1 . 34) (2 . 35) (3 . 38) (9 . 44)) 4034 0.2644 10.8998 ((1 . 9) (2 . 10) (3 . 12) (9 . 16)) 4037 0.3333 8.4033 ((3 . 1) (8 . 2) (9 . 3) (11 . 4)) 4062 0.3185 10.9110 ((4 . 45) (8 . 48) (9 . 49) (11 . 51)) 4067 0.1940 10.0558 ((4 . 12) (8 . 14) (11 . 17) (14 . 20)) 4077 0.3174 17.8884 ((1 . 10) (2 . 11) (4 . 13) (11 . 16)) 4082 0.3332 9.6432 ((2 . 7) (3 . 8) (4 . 9) (8 . 10)) 4087 0.3333 6.3556 ((3 . 1) (8 . 3) (9 . 5) (16 . 8)) 4112 0.3258 6.6723 ((1 . 3) (2 . 4) (3 . 6) (4 . 8)) 4115 0.3333 8.0151 ((2 . 8) (4 . 11) (14 . 15) (16 . 17)) 4151 0.3333 7.0004 ((16 . 3) (31 . 17) (32 . 18) (33 . 19)) 4177 0.3332 10.3712 ((3 . 7) (4 . 6) (8 . 8) (9 . 9)) 4192 0.3333 6.5512 ((3 . 10) (9 . 15) (11 . 16) (14 . 19)) 4204 0.3333 8.3798 ((3 . 7) (4 . 6) (8 . 9) (11 . 12)) 4209 0.3333 4.0028 ((3 . 1) (8 . 2) (9 . 4) (14 . 10)) 4210 0.3020 8.8763 ((4 . 3) (8 . 5) (9 . 6) (14 . 8)) 4226 0.3332 9.4164 ((16 . 4) (31 . 22) (32 . 23) (33 . 24)) 4232 0.2644 9.4101 ((1 . 1) (9 . 5) (11 . 7) (16 . 8)) 4236 0.3258 7.5745 ((1 . 5) (2 . 6) (3 . 8) (4 . 11)) 4246 0.1940 7.3709 ((8 . 2) (9 . 3) (14 . 7) (16 . 8)) 4254 0.3333 8.2093 ((3 . 1) (4 . 2) (8 . 3) (11 . 7)) 4265 0.2644 8.0215 ((1 . 24) (3 . 26) (4 . 27) (8 . 29)) 4266 0.3332 9.8476 ((1 . 2) (3 . 4) (9 . 8) (14 . 11)) 4281 0.3020 11.0137 ((1 . 4) (2 . 5) (8 . 10) (11 . 14)) 4284 0.3020 9.8951 ((3 . 4) (8 . 8) (9 . 9) (11 . 11)) 4299 0.3020 8.6827 ((11 . 1) (14 . 2) (16 . 4) (31 . 19)) 4326 0.3333 7.3181 ((1 . 11) (2 . 12) (3 . 15) (9 . 19)) 4338 0.3021 8.4091 ((3 . 4) (4 . 5) (9 . 8) (14 . 11)) 4352 0.1642 8.9650 ((4 . 5) (8 . 9) (9 . 10) (11 . 12)) 4359 0.3333 4.6904 ((9 . 3) (14 . 7) (31 . 23) (33 . 26)) 4380 0.3333 6.9350 ((1 . 14) (2 . 15) (9 . 24) (16 . 29)) 4383 0.3333 7.9260 ((1 . 16) (2 . 17) (3 . 18) (8 . 21)) 4386 0.3333 7.8399 ((1 . 16) (3 . 18) (8 . 19) (9 . 21)) 4388 0.3333 8.4900 ((1 . 1) (3 . 3) (8 . 6) (9 . 8)) 4398 0.3258 8.4092 ((4 . 2) (8 . 6) (9 . 7) (14 . 10)) 4405 0.1485 12.1663 ((2 . 14) (9 . 19) (14 . 23) (16 . 25)) 4408 0.3333 7.0245 ((3 . 3) (8 . 6) (9 . 7) (11 . 10)) 4415 0.3333 6.1239 ((3 . 3) (8 . 4) (14 . 11) (16 . 12)) 4419 0.3020 10.4873 ((3 . 6) (8 . 8) (9 . 9) (11 . 11)) 4470 0.3257 8.8843 ((3 . 2) (4 . 4) (14 . 10) (32 . 24)) 4492 0.3333 7.2026 ((3 . 3) (8 . 7) (9 . 8) (11 . 10)) 4495 0.3333 6.0980 ((9 . 2) (31 . 18) (32 . 20) (33 . 21)) 4497 0.3333 6.9638 ((3 . 18) (8 . 23) (9 . 24) (16 . 27)) 4502 0.3019 12.1386 ((3 . 1) (4 . 2) (11 . 7) (16 . 10)) 4504 0.3332 9.0112 ((1 . 6) (2 . 8) (4 . 11) (11 . 16)) 4516 0.3333 7.2106 ((1 . 14) (4 . 17) (9 . 22) (16 . 26)) 4538 0.3332 9.2647 ((1 . 30) (2 . 31) (3 . 33) (8 . 37)) 4560 0.3021 4.7522 ((1 . 2) (2 . 4) (3 . 6) (9 . 11)) 4561 0.3332 9.8082 ((1 . 1) (3 . 5) (9 . 9) (16 . 15)) 4562 0.3333 6.5722 ((1 . 19) (4 . 23) (8 . 27) (9 . 29)) 4563 0.1325 7.9003 ((1 . 4) (31 . 28) (32 . 30) (33 . 31)) 4577 0.3333 7.9111 ((1 . 49) (2 . 50) (3 . 52) (14 . 60)) 4579 0.1940 13.7825 ((4 . 11) (14 . 17) (16 . 18) (32 . 30)) 4588 0.3329 12.6380 ((2 . 1) (4 . 4) (8 . 7) (32 . 31)) 4589 0.3333 7.5252 ((3 . 19) (8 . 22) (9 . 23) (11 . 24)) 4607 0.3020 10.1671 ((4 . 2) (8 . 4) (11 . 8) (32 . 28)) 4621 0.3185 9.4212 ((4 . 2) (8 . 6) (9 . 7) (14 . 9)) 4630 0.3333 7.2344 ((1 . 9) (2 . 10) (14 . 20) (16 . 21)) 4648 0.3333 7.1825 ((1 . 1) (2 . 2) (3 . 5) (8 . 8)) 4653 0.3333 7.4421 ((1 . 3) (2 . 4) (3 . 5) (8 . 8)) 4668 0.2334 8.8071 ((3 . 3) (4 . 2) (9 . 7) (14 . 11)) 4669 0.3332 9.8008 ((1 . 13) (8 . 19) (9 . 21) (11 . 22)) 4671 0.3333 7.6231 ((2 . 7) (3 . 8) (11 . 16) (14 . 18)) 4678 0.2644 6.8005 ((8 . 6) (11 . 8) (14 . 11) (16 . 12)) 4713 0.3186 6.6986 ((4 . 1) (8 . 5) (9 . 6) (14 . 9)) 4715 0.3331 11.2643 ((3 . 3) (4 . 5) (8 . 6) (11 . 10)) 4731 0.2334 8.7734 ((1 . 14) (3 . 18) (4 . 19) (9 . 22)) 4734 0.1940 6.6289 ((1 . 3) (2 . 4) (3 . 6) (33 . 31)) 4857 0.3021 7.3529 ((2 . 2) (8 . 5) (9 . 9) (14 . 11)) 4886 0.3332 9.8559 ((11 . 3) (31 . 17) (32 . 18) (33 . 19)) 4888 0.2334 7.5389 ((1 . 14) (2 . 15) (3 . 17) (4 . 18)) 4889 0.3333 5.9188 ((8 . 3) (9 . 4) (11 . 5) (16 . 7)) 4907 0.3332 9.2828 ((3 . 1) (4 . 2) (8 . 5) (9 . 8)) 4914 0.1642 9.1008 ((3 . 1) (4 . 2) (8 . 4) (9 . 6)) 4921 0.2644 9.9901 ((3 . 7) (9 . 12) (11 . 13) (14 . 15)) 4932 0.2333 11.7557 ((2 . 1) (4 . 3) (9 . 8) (11 . 9)) 4940 0.3333 6.7503 ((1 . 2) (4 . 5) (9 . 9) (14 . 10)) 4941 0.2644 8.2404 ((2 . 11) (3 . 15) (8 . 19) (11 . 21)) 4944 0.3330 12.1498 ((2 . 11) (8 . 14) (9 . 15) (11 . 17)) 4961 0.3332 8.8533 ((2 . 3) (3 . 6) (4 . 8) (14 . 14)) 4978 0.3021 7.2230 ((1 . 22) (2 . 24) (3 . 25) (4 . 26)) 4982 0.3333 6.2334 ((1 . 1) (4 . 5) (9 . 9) (16 . 14)) 4992 0.3332 9.1082 ((3 . 1) (9 . 6) (11 . 7) (16 . 9)) 4998 0.3333 3.1657 ((3 . 8) (8 . 15) (9 . 19) (16 . 20)) 5029 0.3326 14.6742 ((3 . 1) (4 . 3) (8 . 4) (11 . 7)) 5038 0.3332 9.1031 ((2 . 9) (3 . 10) (8 . 14) (9 . 15)) 5044 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (8 . 8) (9 . 9) (11 . 11) (14 . 14) (16 . 16) (31 . 31) (32 . 32) (33 . 33)) 5053 0.3333 4.6676 ((3 . 5) (8 . 6) (9 . 9) (16 . 10)) 5065 0.1325 8.0023 ((3 . 2) (8 . 3) (9 . 7) (14 . 10)) 5068 0.3332 9.4969 ((1 . 10) (3 . 12) (8 . 16) (11 . 19)) 5069 0.3332 10.0098 ((2 . 17) (3 . 18) (4 . 20) (11 . 22)) 5073 0.3185 10.2961 ((2 . 34) (4 . 35) (11 . 40) (14 . 42)) 5083 0.1642 8.2618 ((9 . 2) (11 . 4) (14 . 8) (16 . 9)) 5101 0.3332 10.2553 ((3 . 1) (9 . 5) (11 . 6) (31 . 25)) 5121 0.2644 10.6211 ((1 . 18) (2 . 21) (4 . 22) (9 . 26)) 5134 0.3326 14.5055 ((1 . 6) (8 . 13) (14 . 17) (16 . 19)) 5167 0.3020 9.6623 ((1 . 3) (2 . 4) (11 . 10) (14 . 12)) 5176 0.2334 9.0076 ((3 . 82) (4 . 83) (8 . 86) (9 . 87)) 5198 0.3186 6.6613 ((1 . 19) (3 . 21) (9 . 26) (14 . 31)) 5199 0.2644 6.5203 ((2 . 4) (3 . 7) (8 . 8) (14 . 10)) 5209 0.2644 11.6506 ((3 . 7) (4 . 6) (8 . 8) (9 . 9)) 5212 0.3330 11.6097 ((4 . 1) (11 . 8) (31 . 21) (32 . 25)) 5215 0.3333 8.0883 ((4 . 1) (8 . 3) (9 . 5) (16 . 9)) 5223 0.3020 9.0328 ((1 . 1) (3 . 3) (4 . 4) (9 . 8)) 5231 0.3020 9.7321 ((3 . 8) (8 . 12) (9 . 13) (11 . 15)) 5266 0.3333 7.9155 ((3 . 4) (9 . 10) (11 . 11) (16 . 15)) 5278 0.3333 5.5677 ((3 . 2) (8 . 5) (9 . 6) (16 . 12)) 5312 0.3333 6.2504 ((3 . 1) (8 . 2) (9 . 3) (14 . 7)) 5318 0.2334 7.5316 ((3 . 22) (8 . 23) (9 . 24) (11 . 27)) 5323 0.3021 6.0394 ((1 . 11) (2 . 10) (4 . 13) (11 . 16)) 5324 0.3333 6.7200 ((11 . 6) (31 . 22) (32 . 23) (33 . 25)) 5344 0.3020 8.8364 ((3 . 3) (4 . 5) (8 . 7) (9 . 8)) 5345 0.3333 6.4106 ((1 . 3) (2 . 4) (3 . 7) (9 . 13)) 5368 0.4165 7.0644 ((1 . 13) (2 . 14) (9 . 21) (16 . 26) (33 . 46)) 5378 0.3333 7.1529 ((1 . 4) (4 . 5) (9 . 9) (16 . 15)) 5414 0.2644 8.2800 ((1 . 14) (2 . 15) (8 . 21) (9 . 22)) 5418 0.3021 8.3956 ((1 . 3) (2 . 5) (3 . 7) (4 . 10)) 5421 0.2644 6.7950 ((1 . 2) (2 . 3) (3 . 4) (14 . 13)) 5433 0.3186 6.6001 ((3 . 7) (8 . 10) (9 . 14) (14 . 18)) 5479 0.3333 7.0768 ((8 . 68) (9 . 69) (14 . 72) (16 . 74)) 5487 0.3021 5.5130 ((3 . 4) (4 . 5) (8 . 9) (9 . 11)) 5489 0.4045 4.8097 ((3 . 2) (4 . 4) (8 . 5) (9 . 6) (16 . 14)) 5500 0.3186 5.5642 ((1 . 2) (2 . 3) (3 . 7) (4 . 10)) 5501 0.3019 11.5233 ((4 . 22) (8 . 24) (9 . 25) (11 . 27)) 5525 0.3183 12.9986 ((2 . 7) (3 . 8) (4 . 10) (11 . 13)) 5535 0.2643 12.4748 ((1 . 7) (2 . 8) (3 . 9) (8 . 12)) 5540 0.3333 7.4910 ((2 . 1) (4 . 2) (8 . 6) (9 . 7)) 5560 0.3333 7.2005 ((9 . 2) (11 . 3) (31 . 20) (32 . 21)) 5567 0.3258 7.9834 ((3 . 8) (9 . 15) (11 . 16) (14 . 18)) 5600 0.2644 10.4895 ((1 . 5) (2 . 6) (4 . 7) (8 . 11)) 5601 0.3021 6.5946 ((1 . 5) (4 . 9) (8 . 12) (14 . 16)) 5640 0.3333 5.2569 ((1 . 3) (2 . 4) (3 . 6) (8 . 9)) 5644 0.3021 6.4926 ((8 . 3) (9 . 4) (11 . 5) (16 . 10)) 5656 0.3333 8.4407 ((3 . 2) (4 . 4) (14 . 10) (32 . 28)) 5700 0.3186 7.9871 ((4 . 1) (9 . 6) (11 . 7) (14 . 8)) 5701 0.3183 13.1339 ((1 . 4) (2 . 5) (11 . 10) (14 . 12)) 5703 0.3020 8.7287 ((1 . 1) (2 . 2) (3 . 5) (9 . 7)) 5711 0.3333 8.0113 ((1 . 32) (2 . 33) (3 . 35) (16 . 46)) 5713 0.3333 5.1586 ((1 . 18) (2 . 19) (3 . 21) (8 . 24)) 5718 0.3331 11.2058 ((1 . 18) (2 . 21) (4 . 22) (8 . 25)) 5731 0.3185 10.1336 ((2 . 2) (8 . 7) (9 . 9) (14 . 13)) 5746 0.3333 5.6332 ((1 . 3) (3 . 6) (8 . 7) (9 . 9)) 5761 0.3184 11.6082 ((1 . 28) (2 . 30) (3 . 31) (4 . 33)) 5770 0.3254 13.6377 ((1 . 9) (2 . 12) (3 . 15) (11 . 22)) 5771 0.3257 10.6316 ((4 . 10) (8 . 13) (9 . 15) (14 . 17)) 5782 0.3333 6.2492 ((2 . 18) (8 . 24) (9 . 26) (16 . 32)) 5794 0.3333 7.4815 ((1 . 15) (2 . 16) (3 . 18) (8 . 19)) 5795 0.3333 7.5831 ((4 . 2) (9 . 6) (11 . 7) (16 . 9)) 5809 0.2334 9.5459 ((3 . 5) (4 . 6) (9 . 9) (14 . 12)) 5827 0.3333 6.4534 ((1 . 8) (4 . 12) (8 . 14) (9 . 15)) 5830 0.3333 6.3621 ((3 . 8) (8 . 10) (11 . 15) (14 . 17)) 5847 0.3333 8.0058 ((1 . 3) (8 . 10) (9 . 12) (16 . 17)) 5861 0.3333 5.6172 ((9 . 1) (16 . 5) (31 . 22) (33 . 25)) 5865 0.3333 6.4728 ((1 . 1) (2 . 2) (3 . 4) (8 . 7)) 5878 0.3186 8.6287 ((3 . 25) (8 . 29) (9 . 30) (11 . 31)) 5888 0.3333 4.9960 ((1 . 14) (2 . 15) (3 . 17) (8 . 20)) 5896 0.3186 6.8862 ((1 . 28) (2 . 29) (3 . 31) (4 . 32)) 5913 0.3333 6.4019 ((4 . 8) (8 . 9) (9 . 10) (11 . 12)) 5914 0.3333 6.4749 ((3 . 2) (8 . 3) (9 . 6) (11 . 7)) 5930 0.3186 7.9631 ((3 . 1) (8 . 4) (11 . 6) (14 . 9)) 5939 0.2333 12.1229 ((4 . 3) (9 . 6) (14 . 9) (16 . 10)) 5945 0.3333 8.4280 ((11 . 1) (31 . 23) (32 . 25) (33 . 26)) 5955 0.1940 9.0507 ((1 . 5) (3 . 7) (8 . 9) (11 . 13)) 5977 0.2644 9.4800 ((3 . 1) (8 . 3) (9 . 5) (14 . 6)) 6000 0.3333 7.7394 ((2 . 9) (4 . 11) (8 . 14) (9 . 15)) 6011 0.1325 8.1437 ((1 . 1) (2 . 2) (9 . 9) (14 . 11)) 6028 0.2644 9.8007 ((1 . 1) (2 . 2) (3 . 3) (4 . 4)) 6029 0.3331 11.5365 ((4 . 12) (8 . 17) (9 . 18) (16 . 23)) 6061 0.3333 5.7668 ((3 . 13) (8 . 14) (9 . 15) (14 . 21)) 6079 0.3186 7.5623 ((1 . 1) (2 . 8) (3 . 11) (4 . 15)) 6089 0.3333 8.0433 ((1 . 1) (2 . 3) (4 . 4) (9 . 11)) 6094 0.3021 7.1482 ((8 . 5) (9 . 7) (11 . 8) (16 . 12)) 6099 0.3333 7.6488 ((1 . 25) (2 . 26) (14 . 34) (16 . 35)) 6142 0.3333 6.8208 ((8 . 1) (9 . 3) (16 . 6) (32 . 22)) 6148 0.3186 8.5235 ((8 . 33) (9 . 34) (11 . 35) (14 . 37)) 6167 0.3333 7.5225 ((1 . 12) (2 . 14) (3 . 17) (8 . 21)) 6173 0.3333 6.1395 ((8 . 3) (9 . 4) (14 . 7) (16 . 8)) 6191 0.3332 9.3181 ((3 . 3) (8 . 4) (9 . 6) (11 . 7)) 6192 0.3429 8.2895 ((1 . 1) (2 . 3) (4 . 4) (8 . 11) (16 . 13)) 6215 0.3332 9.3547 ((3 . 17) (8 . 20) (11 . 23) (14 . 24)) 6225 0.3184 11.9198 ((1 . 5) (3 . 7) (4 . 9) (14 . 13)) 6228 0.3186 7.3297 ((1 . 11) (2 . 12) (3 . 14) (4 . 16)) 6234 0.3333 6.1017 ((8 . 6) (9 . 7) (11 . 8) (16 . 13)) 6238 0.1940 8.3735 ((1 . 3) (2 . 4) (4 . 6) (8 . 8)) 6243 0.1485 9.1128 ((4 . 1) (8 . 2) (9 . 3) (14 . 8)) 6258 0.3018 13.6971 ((1 . 4) (4 . 8) (8 . 10) (14 . 13)) 6261 0.3328 13.6427 ((9 . 1) (11 . 2) (14 . 4) (32 . 24)) 6270 0.3021 8.2730 ((1 . 9) (4 . 14) (11 . 16) (14 . 18)) 6271 0.3333 5.3950 ((3 . 1) (8 . 2) (9 . 3) (11 . 6)) 6273 0.8564 4.0932 ((1 . 1) (2 . 2) (3 . 3) (4 . 5) (8 . 6) (9 . 7) (11 . 9) (14 . 12) (16 . 13) (31 . 31) (32 . 32) (33 . 33)) 6294 0.3333 8.0067 ((16 . 6) (31 . 25) (32 . 26) (33 . 27)) 6309 0.2644 8.7362 ((1 . 17) (2 . 18) (3 . 20) (8 . 25)) 6311 0.3333 5.7751 ((1 . 4) (2 . 5) (3 . 9) (8 . 10)) 6326 0.3333 6.1838 ((3 . 1) (8 . 4) (9 . 5) (16 . 9)) 6344 0.3333 6.8208 ((4 . 11) (8 . 14) (9 . 15) (14 . 21)) 6345 0.2644 11.8495 ((4 . 1) (9 . 4) (16 . 6) (31 . 23)) 6355 0.3333 7.2724 ((1 . 6) (2 . 7) (3 . 8) (8 . 11)) 6356 0.2334 9.3717 ((3 . 9) (4 . 8) (8 . 11) (9 . 13)) 6369 0.3333 6.5947 ((9 . 3) (31 . 22) (32 . 23) (33 . 24)) 6376 0.3332 9.4930 ((4 . 16) (8 . 17) (14 . 21) (16 . 24)) 6391 0.3333 5.3932 ((3 . 6) (8 . 8) (9 . 10) (14 . 14)) 6399 0.3333 4.9130 ((1 . 3) (2 . 4) (9 . 10) (16 . 15)) 6403 0.3333 6.9477 ((1 . 1) (2 . 2) (3 . 4) (8 . 7)) 6462 0.3333 5.5808 ((1 . 4) (2 . 5) (11 . 11) (33 . 29)) 6498 0.3331 11.3675 ((4 . 14) (14 . 21) (31 . 37) (33 . 40)) 6520 0.3333 5.9229 ((8 . 3) (9 . 6) (31 . 24) (33 . 26)) 6536 0.3019 12.0568 ((4 . 30) (11 . 33) (14 . 35) (16 . 36)) 6539 0.1485 13.4880 ((1 . 4) (2 . 5) (3 . 6) (8 . 10)) 6540 0.3333 8.2541 ((1 . 11) (2 . 12) (9 . 17) (16 . 22)) 6548 0.3333 7.2812 ((3 . 5) (8 . 7) (9 . 9) (16 . 12)) 6555 0.3333 7.1855 ((1 . 10) (9 . 20) (11 . 21) (16 . 24)) 6561 0.3020 10.1155 ((3 . 3) (4 . 4) (8 . 7) (9 . 8)) 6573 0.3021 5.5728 ((3 . 17) (8 . 19) (9 . 21) (14 . 23)) 6575 0.3333 8.3820 ((3 . 1) (8 . 2) (9 . 5) (11 . 6)) 6584 0.1940 7.5188 ((1 . 2) (2 . 3) (4 . 4) (8 . 7)) 6585 0.3332 10.0372 ((3 . 10) (4 . 9) (8 . 11) (9 . 13)) 6598 0.3333 6.9056 ((1 . 21) (2 . 22) (3 . 24) (8 . 25)) 6613 0.0998 10.1025 ((3 . 21) (8 . 22) (11 . 25) (16 . 28)) 6635 0.2334 7.5298 ((1 . 5) (2 . 4) (3 . 7) (4 . 9)) END