6234 25 0.3666 11.6132 ((7 . 6) (8 . 5) (9 . 7) (14 . 10)) 51 0.4998 6.1922 ((9 . 7) (10 . 10) (13 . 11) (15 . 13)) 62 0.4998 6.0776 ((6 . 10) (7 . 12) (9 . 13) (13 . 16)) 64 0.7481 6.8093 ((6 . 9) (7 . 10) (9 . 12) (10 . 13) (13 . 14) (15 . 15)) 77 0.4998 5.9928 ((6 . 7) (7 . 8) (8 . 10) (15 . 15)) 91 0.4957 13.8252 ((6 . 1) (7 . 2) (9 . 3) (14 . 8)) 96 0.4993 8.8658 ((7 . 1) (10 . 3) (13 . 5) (15 . 6)) 129 0.4999 4.8945 ((6 . 2) (9 . 5) (13 . 9) (15 . 12)) 136 0.2910 4.5365 ((8 . 6) (9 . 7) (10 . 8) (14 . 9)) 150 0.2910 7.0153 ((6 . 19) (7 . 20) (14 . 24) (15 . 25)) 153 0.7488 6.0946 ((6 . 4) (7 . 5) (9 . 6) (10 . 7) (13 . 10) (15 . 12)) 155 0.1987 8.6566 ((6 . 2) (7 . 3) (8 . 4) (14 . 7)) 157 0.4998 6.2142 ((7 . 9) (8 . 10) (9 . 11) (13 . 14)) 161 0.4999 5.5286 ((7 . 2) (9 . 4) (10 . 6) (13 . 8)) 162 0.2909 9.1486 ((9 . 12) (10 . 15) (14 . 16) (15 . 17)) 169 0.6244 6.4244 ((6 . 3) (7 . 4) (9 . 5) (10 . 7) (15 . 9)) 177 0.3667 11.0718 ((6 . 3) (7 . 4) (9 . 5) (14 . 9)) 191 0.4999 5.2635 ((6 . 6) (7 . 7) (9 . 8) (10 . 9)) 198 0.4999 5.5913 ((6 . 12) (7 . 13) (9 . 16) (10 . 17)) 207 0.4995 8.1348 ((7 . 13) (8 . 14) (10 . 15) (14 . 17)) 233 0.4993 8.6217 ((9 . 1) (10 . 2) (13 . 3) (15 . 7)) 300 0.3669 8.9168 ((8 . 5) (10 . 6) (13 . 9) (15 . 10)) 305 0.5000 3.5622 ((6 . 9) (9 . 11) (10 . 12) (15 . 15)) 307 0.4996 7.8154 ((7 . 1) (8 . 2) (10 . 3) (15 . 7)) 315 0.6240 7.2226 ((7 . 3) (9 . 5) (10 . 6) (13 . 8) (15 . 9)) 329 0.4984 10.8455 ((8 . 1) (10 . 4) (13 . 5) (14 . 7)) 340 0.4999 5.0484 ((6 . 1) (7 . 2) (9 . 4) (10 . 7)) 350 0.4997 7.0156 ((6 . 5) (7 . 7) (10 . 11) (15 . 16)) 360 0.4999 4.8173 ((7 . 3) (9 . 5) (10 . 6) (15 . 10)) 361 0.4521 10.9943 ((6 . 4) (8 . 5) (14 . 9) (15 . 10)) 365 0.7006 4.1250 ((6 . 1) (7 . 2) (9 . 3) (10 . 4) (13 . 6) (14 . 7) (15 . 8)) 367 0.6248 5.0229 ((6 . 42) (7 . 43) (9 . 44) (10 . 46) (15 . 48)) 372 0.5929 5.5949 ((6 . 2) (7 . 3) (9 . 6) (10 . 7) (15 . 11)) 387 0.4996 7.6223 ((8 . 6) (9 . 7) (10 . 8) (15 . 12)) 405 0.7498 4.0083 ((6 . 37) (7 . 38) (9 . 39) (10 . 40) (13 . 33) (15 . 35)) 417 0.4999 5.5330 ((7 . 1) (9 . 2) (13 . 7) (15 . 9)) 433 0.4997 7.0965 ((6 . 5) (7 . 6) (9 . 7) (13 . 9)) 442 0.4986 10.4794 ((6 . 14) (8 . 15) (13 . 19) (15 . 21)) 460 0.4999 4.7286 ((9 . 1) (10 . 2) (13 . 3) (15 . 6)) 491 0.4990 9.5782 ((6 . 1) (8 . 5) (10 . 6) (15 . 9)) 495 0.4999 4.8483 ((6 . 8) (7 . 9) (8 . 10) (9 . 11)) 541 0.4990 9.6727 ((7 . 11) (8 . 13) (10 . 14) (13 . 16)) 543 0.4988 9.9422 ((6 . 5) (8 . 7) (13 . 10) (14 . 13)) 584 0.4993 8.6051 ((6 . 3) (7 . 4) (9 . 5) (14 . 9)) 587 0.6250 3.0271 ((6 . 3) (7 . 4) (9 . 6) (10 . 7) (13 . 9)) 609 0.4988 10.0608 ((7 . 1) (8 . 2) (10 . 3) (14 . 5)) 619 0.4999 5.5047 ((6 . 11) (7 . 12) (8 . 14) (10 . 15)) 624 0.6246 5.8713 ((6 . 20) (7 . 22) (8 . 23) (10 . 24) (13 . 26)) 635 0.4994 8.5647 ((6 . 5) (8 . 7) (14 . 12) (15 . 13)) 672 0.6229 8.6952 ((6 . 18) (7 . 20) (10 . 21) (13 . 23) (15 . 26)) 678 0.4997 7.3192 ((6 . 24) (9 . 26) (13 . 29) (14 . 30)) 683 0.6243 6.7083 ((6 . 1) (7 . 2) (9 . 3) (10 . 5) (13 . 6)) 719 0.1987 7.5309 ((6 . 22) (7 . 23) (9 . 25) (14 . 31)) 729 0.4202 8.4614 ((6 . 17) (7 . 20) (8 . 21) (14 . 23)) 735 0.4997 6.9989 ((6 . 29) (9 . 32) (10 . 33) (13 . 36)) 740 0.6250 2.6160 ((8 . 1) (9 . 2) (10 . 3) (13 . 4) (15 . 9)) 765 0.6248 5.0599 ((6 . 7) (7 . 9) (9 . 12) (13 . 17) (15 . 19)) 767 0.4202 8.3926 ((6 . 26) (9 . 31) (10 . 32) (14 . 33)) 795 0.4997 7.2945 ((7 . 3) (8 . 4) (10 . 5) (13 . 6)) 796 0.4997 7.2583 ((6 . 3) (9 . 5) (10 . 6) (14 . 7)) 801 0.4998 6.4360 ((6 . 2) (7 . 4) (9 . 6) (10 . 7)) 812 0.4204 5.2298 ((6 . 13) (13 . 16) (14 . 17) (15 . 19)) 818 0.4203 7.6218 ((6 . 2) (8 . 3) (14 . 9) (15 . 12)) 819 0.2910 4.3730 ((9 . 8) (10 . 9) (13 . 10) (14 . 11)) 824 0.4996 7.5437 ((6 . 46) (7 . 49) (9 . 50) (10 . 51)) 861 0.6247 5.4102 ((6 . 12) (8 . 14) (9 . 15) (10 . 16) (15 . 19)) 901 0.4198 10.5396 ((6 . 5) (9 . 7) (13 . 9) (14 . 10)) 904 0.2910 6.6405 ((6 . 2) (7 . 3) (10 . 6) (13 . 7)) 913 0.4990 9.6609 ((10 . 16) (13 . 17) (14 . 18) (15 . 20)) 928 0.1987 8.8844 ((7 . 12) (8 . 13) (10 . 14) (14 . 17)) 937 0.4998 6.2217 ((7 . 1) (8 . 2) (10 . 4) (13 . 5)) 943 0.4996 7.4345 ((6 . 1) (7 . 2) (8 . 3) (10 . 4)) 945 0.4999 5.9356 ((9 . 12) (10 . 14) (14 . 16) (15 . 19)) 949 0.2910 7.9646 ((6 . 27) (9 . 30) (10 . 32) (14 . 33)) 960 0.4999 5.4261 ((9 . 8) (10 . 9) (14 . 11) (15 . 12)) 978 0.4993 8.7276 ((6 . 10) (8 . 12) (9 . 13) (13 . 16)) 980 0.1662 9.3685 ((9 . 3) (10 . 5) (13 . 7) (15 . 9)) 1005 0.4530 7.1875 ((7 . 1) (8 . 3) (9 . 2) (14 . 5)) 1007 0.4999 5.6124 ((6 . 11) (7 . 12) (9 . 13) (10 . 14)) 1034 0.2462 11.3522 ((8 . 19) (9 . 21) (10 . 22) (14 . 24)) 1043 0.3669 9.4922 ((8 . 11) (9 . 12) (10 . 14) (13 . 17)) 1082 0.4999 5.8584 ((6 . 1) (7 . 2) (9 . 4) (15 . 8)) 1084 0.4519 11.5384 ((9 . 18) (10 . 19) (13 . 20) (14 . 21)) 1121 0.4998 6.6152 ((6 . 2) (7 . 3) (9 . 4) (10 . 6)) 1165 0.4204 5.8448 ((7 . 2) (9 . 3) (10 . 4) (14 . 6)) 1167 0.4998 6.5063 ((7 . 20) (9 . 21) (10 . 22) (15 . 27)) 1169 0.6246 5.6548 ((6 . 29) (7 . 30) (9 . 31) (10 . 32) (13 . 35)) 1195 0.4999 4.6419 ((6 . 2) (7 . 4) (9 . 5) (10 . 6)) 1201 0.4967 12.9565 ((6 . 1) (8 . 2) (10 . 4) (14 . 5)) 1204 0.2462 9.7766 ((6 . 20) (7 . 22) (8 . 21) (10 . 25)) 1211 0.4999 5.3490 ((6 . 8) (7 . 9) (9 . 10) (10 . 11)) 1217 0.4998 6.7159 ((7 . 3) (9 . 5) (10 . 7) (15 . 12)) 1224 0.4999 4.8853 ((6 . 5) (7 . 6) (9 . 7) (13 . 10)) 1233 0.1987 6.7909 ((6 . 20) (7 . 22) (9 . 23) (10 . 24)) 1267 0.4998 6.7613 ((6 . 1) (7 . 2) (9 . 4) (14 . 7)) 1268 0.2461 13.1417 ((7 . 22) (9 . 23) (10 . 24) (14 . 28)) 1294 0.7487 6.1959 ((6 . 39) (7 . 40) (9 . 41) (10 . 43) (13 . 44) (15 . 46)) 1345 0.4994 8.3495 ((6 . 7) (9 . 9) (14 . 11) (15 . 13)) 1366 0.1662 7.8694 ((6 . 17) (9 . 21) (10 . 22) (14 . 25)) 1388 0.4997 7.2505 ((6 . 1) (9 . 4) (10 . 5) (15 . 8)) 1410 0.7496 4.4695 ((6 . 19) (7 . 21) (9 . 22) (10 . 23) (13 . 25) (15 . 26)) 1425 0.7479 6.9742 ((6 . 2) (7 . 4) (9 . 6) (10 . 8) (13 . 10) (15 . 12)) 1435 0.5000 2.8460 ((6 . 3) (7 . 5) (13 . 6) (15 . 11)) 1447 0.2910 8.0530 ((7 . 1) (8 . 2) (10 . 3) (15 . 7)) 1451 0.4993 8.6541 ((6 . 1) (9 . 3) (10 . 4) (14 . 7)) 1464 0.4998 6.2181 ((7 . 7) (9 . 8) (10 . 10) (13 . 13)) 1472 0.1987 12.5978 ((8 . 3) (13 . 7) (14 . 9) (15 . 8)) 1476 0.2462 7.6574 ((6 . 9) (9 . 11) (13 . 15) (14 . 16)) 1501 0.6238 7.6515 ((6 . 1) (7 . 2) (9 . 3) (10 . 4) (15 . 9)) 1513 0.4997 6.8291 ((7 . 3) (8 . 4) (10 . 5) (15 . 11)) 1514 0.4999 5.8473 ((6 . 3) (7 . 4) (8 . 5) (10 . 6)) 1577 0.3662 13.6277 ((6 . 5) (7 . 6) (14 . 11) (15 . 12)) 1591 0.4995 7.9311 ((6 . 16) (8 . 17) (10 . 19) (14 . 20)) 1595 0.4200 9.4636 ((8 . 6) (10 . 7) (13 . 8) (14 . 9)) 1604 0.4204 6.2489 ((6 . 1) (7 . 3) (10 . 7) (14 . 11)) 1624 0.2910 6.4023 ((7 . 2) (9 . 3) (10 . 4) (13 . 7)) 1643 0.4999 4.5370 ((6 . 32) (7 . 33) (9 . 34) (10 . 36)) 1644 0.4998 6.4655 ((7 . 44) (9 . 46) (13 . 50) (15 . 51)) 1665 0.3670 7.5693 ((6 . 6) (9 . 8) (10 . 10) (14 . 11)) 1690 0.5000 4.0464 ((6 . 18) (7 . 19) (10 . 20) (13 . 24)) 1692 0.4526 9.3316 ((6 . 6) (7 . 7) (10 . 8) (13 . 10)) 1738 0.4996 7.3811 ((7 . 18) (10 . 21) (13 . 24) (14 . 25)) 1747 0.4999 5.0310 ((6 . 5) (7 . 6) (9 . 7) (10 . 8)) 1756 0.7497 4.0882 ((6 . 21) (7 . 23) (9 . 25) (10 . 26) (13 . 30) (15 . 31)) 1759 0.4999 5.2857 ((6 . 4) (7 . 5) (9 . 6) (10 . 8)) 1761 0.5000 4.1328 ((7 . 1) (9 . 2) (10 . 3) (13 . 5)) 1763 0.4995 7.8764 ((6 . 9) (7 . 10) (8 . 11) (13 . 13)) 1776 0.4996 7.4373 ((6 . 1) (8 . 6) (10 . 7) (14 . 11)) 1777 0.4997 7.3021 ((7 . 46) (9 . 49) (10 . 50) (13 . 52)) 1778 0.4999 5.2339 ((6 . 1) (7 . 2) (9 . 3) (10 . 4)) 1793 0.4997 7.1818 ((7 . 4) (8 . 5) (10 . 6) (15 . 8)) 1805 0.7498 3.7057 ((6 . 3) (7 . 4) (8 . 5) (9 . 7) (10 . 8) (13 . 10)) 1808 0.4998 6.2205 ((6 . 5) (7 . 6) (10 . 9) (13 . 10)) 1817 0.4999 4.6504 ((6 . 15) (7 . 16) (9 . 19) (10 . 20)) 1867 0.4998 6.3302 ((10 . 1) (13 . 3) (14 . 4) (15 . 6)) 1894 0.4999 4.5287 ((6 . 18) (9 . 20) (10 . 23) (15 . 26)) 1896 0.4529 7.2722 ((6 . 23) (7 . 24) (9 . 26) (14 . 30)) 1897 0.4998 6.1188 ((7 . 32) (9 . 34) (14 . 38) (15 . 39)) 1909 0.3670 8.0670 ((7 . 25) (8 . 26) (10 . 29) (15 . 31)) 1913 0.4997 6.9258 ((6 . 26) (9 . 28) (10 . 30) (14 . 31)) 1944 0.4996 7.7010 ((7 . 5) (8 . 6) (10 . 7) (15 . 9)) 1957 0.4994 8.5511 ((7 . 1) (8 . 2) (10 . 3) (15 . 5)) 1961 0.4999 5.1758 ((6 . 14) (7 . 15) (9 . 16) (15 . 20)) 1967 0.5000 4.3701 ((6 . 10) (8 . 12) (9 . 13) (10 . 14)) 1992 0.2909 9.9268 ((7 . 9) (8 . 10) (13 . 14) (14 . 13)) 1995 0.2910 7.1568 ((6 . 3) (8 . 5) (9 . 7) (10 . 8)) 2003 0.4997 7.2408 ((7 . 7) (9 . 9) (10 . 10) (13 . 12)) 2006 0.6245 5.9359 ((6 . 11) (7 . 12) (9 . 13) (10 . 14) (13 . 15)) 2045 0.4998 6.0918 ((6 . 7) (7 . 8) (8 . 9) (13 . 13)) 2048 0.4990 9.6033 ((8 . 12) (10 . 13) (13 . 16) (15 . 17)) 2054 0.2909 9.8839 ((8 . 12) (9 . 13) (10 . 14) (14 . 16)) 2063 0.6247 5.2978 ((6 . 44) (7 . 45) (9 . 47) (10 . 48) (15 . 50)) 2065 0.4529 7.4148 ((6 . 16) (7 . 17) (9 . 18) (15 . 25)) 2067 0.4999 5.2525 ((9 . 38) (10 . 39) (13 . 44) (15 . 45)) 2072 0.4999 5.2368 ((6 . 1) (7 . 2) (8 . 3) (9 . 6)) 2081 0.4998 6.3883 ((6 . 19) (7 . 20) (9 . 21) (10 . 23)) 2083 0.4992 8.9746 ((6 . 1) (7 . 2) (10 . 4) (14 . 6)) 2097 0.4522 10.5473 ((6 . 3) (7 . 4) (9 . 6) (10 . 7)) 2114 0.4999 5.8814 ((6 . 28) (7 . 29) (9 . 32) (10 . 34)) 2116 0.4999 5.8193 ((6 . 5) (7 . 6) (9 . 7) (10 . 8)) 2117 0.1987 8.0734 ((7 . 14) (9 . 16) (10 . 17) (14 . 21)) 2118 0.4998 6.3319 ((9 . 4) (10 . 5) (14 . 6) (15 . 7)) 2122 0.4202 8.1369 ((8 . 9) (13 . 12) (14 . 13) (15 . 15)) 2166 0.4996 7.7186 ((6 . 13) (9 . 15) (10 . 16) (15 . 21)) 2179 0.4999 5.8392 ((6 . 7) (7 . 9) (9 . 10) (13 . 13)) 2196 0.4995 8.1071 ((7 . 13) (10 . 15) (13 . 18) (15 . 19)) 2203 0.4992 9.1227 ((7 . 1) (8 . 3) (13 . 7) (14 . 8)) 2205 0.6249 4.4769 ((6 . 17) (7 . 18) (9 . 19) (10 . 20) (15 . 22)) 2209 0.4997 7.3509 ((6 . 5) (7 . 6) (9 . 7) (13 . 9)) 2220 0.6250 2.8891 ((8 . 1) (9 . 2) (10 . 3) (13 . 4) (15 . 7)) 2243 0.4999 4.6674 ((6 . 42) (7 . 44) (9 . 45) (10 . 47)) 2244 0.6246 5.7508 ((6 . 74) (7 . 75) (9 . 76) (10 . 77) (13 . 80)) 2249 0.4203 6.6886 ((8 . 10) (9 . 11) (13 . 12) (14 . 14)) 2269 0.4995 8.2124 ((6 . 7) (7 . 8) (8 . 9) (15 . 12)) 2279 0.4201 8.8004 ((6 . 7) (9 . 10) (10 . 11) (14 . 15)) 2308 0.4201 9.0782 ((7 . 6) (8 . 7) (10 . 8) (15 . 11)) 2314 0.4982 11.0979 ((7 . 2) (10 . 4) (14 . 9) (15 . 8)) 2340 0.4999 5.8859 ((6 . 9) (9 . 11) (10 . 13) (13 . 14)) 2344 0.4998 6.0179 ((6 . 1) (7 . 3) (8 . 4) (13 . 7)) 2364 0.2910 7.5351 ((6 . 4) (7 . 5) (8 . 6) (9 . 7)) 2381 0.4998 6.1244 ((6 . 3) (7 . 4) (9 . 5) (10 . 6)) 2389 0.4999 5.8637 ((6 . 8) (7 . 9) (9 . 10) (10 . 11)) 2408 0.4998 6.6065 ((6 . 37) (7 . 38) (10 . 40) (13 . 47)) 2409 0.4530 6.4275 ((6 . 2) (7 . 3) (10 . 5) (13 . 8)) 2410 0.1661 11.4129 ((8 . 12) (10 . 13) (14 . 15) (15 . 16)) 2422 0.4996 7.7408 ((7 . 1) (8 . 2) (10 . 4) (15 . 9)) 2423 0.4996 7.5096 ((6 . 20) (7 . 21) (9 . 22) (13 . 26)) 2447 0.4999 5.6856 ((9 . 13) (10 . 15) (14 . 16) (15 . 18)) 2462 0.4997 6.7934 ((7 . 1) (13 . 4) (14 . 5) (15 . 6)) 2510 0.4999 5.6341 ((9 . 17) (10 . 19) (14 . 22) (15 . 23)) 2519 0.1987 11.3954 ((8 . 1) (9 . 2) (14 . 6) (15 . 5)) 2525 0.4998 6.3600 ((6 . 41) (8 . 44) (9 . 45) (13 . 47)) 2529 0.4999 5.7760 ((6 . 1) (9 . 3) (10 . 5) (13 . 6)) 2533 0.4980 11.4757 ((6 . 8) (8 . 11) (9 . 9) (14 . 14)) 2551 0.4199 10.0892 ((8 . 7) (13 . 9) (14 . 10) (15 . 12)) 2556 0.4994 8.4136 ((7 . 11) (8 . 12) (10 . 13) (14 . 17)) 2561 0.4997 7.3405 ((9 . 6) (10 . 7) (13 . 8) (15 . 9)) 2595 0.4996 7.6302 ((7 . 1) (8 . 2) (10 . 4) (15 . 9)) 2619 0.4999 4.7655 ((6 . 1) (7 . 2) (13 . 3) (14 . 6)) 2627 0.1987 7.1973 ((6 . 60) (8 . 62) (9 . 64) (10 . 65)) 2650 0.4996 7.3708 ((6 . 1) (7 . 2) (10 . 5) (15 . 7)) 2658 0.1332 7.4311 ((8 . 11) (10 . 12) (13 . 13) (15 . 14)) 2675 0.4996 7.5583 ((6 . 8) (7 . 10) (9 . 11) (10 . 12)) 2682 0.4199 10.1749 ((7 . 12) (9 . 15) (14 . 18) (15 . 19)) 2696 0.6247 5.4470 ((6 . 34) (7 . 35) (9 . 36) (10 . 37) (13 . 39)) 2731 0.4997 6.8217 ((7 . 1) (8 . 2) (10 . 4) (13 . 5)) 2733 0.4996 7.7312 ((6 . 1) (7 . 2) (9 . 4) (13 . 8)) 2755 0.2909 9.3071 ((6 . 5) (9 . 6) (13 . 8) (15 . 10)) 2773 0.4196 11.3097 ((6 . 2) (7 . 3) (8 . 4) (14 . 7)) 2783 0.5000 3.6713 ((6 . 7) (7 . 8) (8 . 9) (15 . 12)) 2804 0.4998 6.1055 ((6 . 29) (10 . 34) (13 . 36) (15 . 38)) 2821 0.4996 7.3764 ((6 . 1) (7 . 2) (9 . 4) (10 . 5)) 2830 0.4995 8.2043 ((7 . 1) (8 . 2) (10 . 3) (15 . 5)) 2834 0.4995 8.0560 ((9 . 12) (13 . 14) (14 . 15) (15 . 16)) 2840 0.4996 7.6806 ((6 . 1) (10 . 6) (13 . 9) (15 . 11)) 2842 0.1987 7.9577 ((8 . 7) (10 . 9) (14 . 10) (15 . 11)) 2867 0.4995 8.0228 ((6 . 7) (7 . 8) (8 . 10) (13 . 12)) 2879 0.4999 4.7723 ((6 . 52) (7 . 53) (10 . 56) (13 . 59)) 2886 0.6248 4.8484 ((6 . 35) (9 . 38) (10 . 39) (13 . 41) (15 . 43)) 2929 0.4998 6.1232 ((7 . 36) (10 . 39) (13 . 40) (14 . 41)) 2940 0.2909 9.3928 ((6 . 5) (7 . 6) (8 . 9) (14 . 10)) 2947 0.4999 4.6496 ((6 . 3) (7 . 4) (8 . 5) (13 . 7)) 2966 0.4999 5.8736 ((6 . 3) (7 . 4) (9 . 6) (10 . 8)) 2990 0.6243 6.6050 ((6 . 9) (7 . 12) (8 . 13) (10 . 14) (13 . 15)) 2999 0.4998 6.3204 ((8 . 1) (9 . 2) (13 . 6) (15 . 7)) 3014 0.4204 6.4353 ((6 . 4) (7 . 5) (8 . 6) (10 . 7)) 3019 0.4998 6.6522 ((7 . 19) (9 . 20) (14 . 24) (15 . 25)) 3041 0.6239 7.4824 ((6 . 29) (7 . 30) (8 . 31) (10 . 32) (13 . 33)) 3055 0.4999 4.9002 ((6 . 24) (7 . 25) (9 . 27) (10 . 28)) 3063 0.7486 6.3154 ((6 . 35) (7 . 37) (9 . 38) (10 . 39) (13 . 41) (15 . 42)) 3070 0.3671 5.5094 ((6 . 32) (7 . 33) (8 . 34) (14 . 37)) 3102 0.6243 6.7324 ((6 . 71) (7 . 74) (9 . 75) (10 . 76) (13 . 77)) 3103 0.5000 4.5088 ((6 . 2) (7 . 3) (9 . 5) (15 . 11)) 3114 0.4994 8.3632 ((6 . 22) (9 . 24) (10 . 25) (15 . 29)) 3120 0.4999 5.7297 ((6 . 21) (7 . 22) (8 . 23) (10 . 25)) 3127 0.1987 7.8964 ((6 . 6) (7 . 8) (8 . 9) (13 . 13)) 3147 0.4999 4.8811 ((6 . 16) (7 . 17) (9 . 18) (10 . 19)) 3187 0.7495 4.7789 ((6 . 1) (7 . 2) (9 . 3) (10 . 4) (13 . 5) (15 . 6)) 3197 0.4201 9.0207 ((7 . 24) (8 . 25) (10 . 26) (14 . 30)) 3200 0.4999 5.5403 ((6 . 6) (10 . 9) (13 . 11) (15 . 13)) 3212 0.3671 5.6673 ((6 . 3) (7 . 5) (8 . 6) (14 . 10)) 3222 0.4996 7.7760 ((6 . 6) (10 . 10) (13 . 14) (15 . 16)) 3256 0.4998 6.3205 ((6 . 25) (7 . 26) (8 . 27) (9 . 28)) 3261 0.4999 5.7396 ((6 . 6) (7 . 7) (9 . 8) (10 . 9)) 3286 0.4998 6.5173 ((6 . 3) (7 . 4) (9 . 5) (13 . 7)) 3289 0.4530 7.0849 ((10 . 25) (13 . 27) (14 . 28) (15 . 30)) 3297 0.4999 5.8965 ((6 . 3) (7 . 4) (9 . 5) (10 . 7)) 3300 0.6020 7.9311 ((6 . 1) (7 . 2) (8 . 3) (9 . 4) (10 . 5)) 3334 0.3669 8.7936 ((7 . 4) (9 . 5) (10 . 6) (14 . 9)) 3339 0.4996 7.6471 ((6 . 17) (8 . 18) (9 . 19) (14 . 23)) 3344 0.3670 8.1726 ((6 . 20) (10 . 22) (13 . 26) (15 . 27)) 3358 0.4997 7.1504 ((7 . 4) (8 . 5) (10 . 7) (15 . 10)) 3362 0.4996 7.4437 ((7 . 6) (8 . 7) (13 . 10) (15 . 11)) 3366 0.6249 3.9109 ((6 . 22) (8 . 25) (9 . 26) (10 . 27) (15 . 29)) 3391 0.4997 6.8345 ((9 . 4) (10 . 6) (14 . 7) (15 . 10)) 3410 0.4996 7.5125 ((6 . 19) (8 . 23) (10 . 24) (14 . 27)) 3418 0.4999 4.9698 ((6 . 2) (7 . 5) (9 . 6) (10 . 7)) 3446 0.3666 11.5715 ((7 . 5) (8 . 4) (9 . 6) (14 . 9)) 3472 0.7497 4.3931 ((6 . 1) (7 . 3) (9 . 4) (10 . 5) (13 . 9) (15 . 11)) 3481 0.4994 8.4531 ((7 . 2) (8 . 3) (10 . 4) (13 . 7)) 3489 0.4998 6.2535 ((6 . 2) (7 . 3) (9 . 4) (15 . 12)) 3495 0.4999 5.7681 ((6 . 1) (7 . 2) (9 . 3) (15 . 8)) 3496 0.4203 6.8711 ((6 . 22) (7 . 23) (8 . 24) (14 . 27)) 3533 0.4204 5.9450 ((9 . 1) (10 . 3) (13 . 5) (14 . 6)) 3537 0.4996 7.3742 ((7 . 7) (8 . 8) (13 . 10) (14 . 11)) 3538 0.4203 7.4359 ((8 . 17) (9 . 18) (10 . 20) (14 . 21)) 3548 0.4999 5.6392 ((6 . 2) (7 . 3) (9 . 4) (10 . 5)) 3549 0.4998 6.2239 ((7 . 2) (9 . 3) (10 . 5) (13 . 8)) 3561 0.4998 6.5243 ((6 . 26) (9 . 28) (10 . 30) (14 . 32)) 3570 0.5000 4.1787 ((6 . 7) (7 . 8) (8 . 9) (15 . 10)) 3585 0.4998 6.4353 ((6 . 11) (7 . 12) (9 . 13) (10 . 14)) 3613 0.4520 11.2878 ((9 . 35) (10 . 36) (14 . 39) (15 . 41)) 3625 0.4974 12.1407 ((6 . 2) (9 . 5) (10 . 6) (15 . 9)) 3626 0.6249 4.2846 ((6 . 2) (7 . 3) (9 . 6) (10 . 8) (13 . 11)) 3628 0.4997 7.0901 ((8 . 7) (10 . 8) (13 . 9) (15 . 10)) 3651 0.4995 8.1961 ((7 . 1) (8 . 2) (10 . 3) (15 . 8)) 3656 0.4529 7.2983 ((9 . 22) (10 . 23) (13 . 24) (14 . 25)) 3658 0.4999 5.2276 ((6 . 5) (7 . 6) (9 . 7) (10 . 8)) 3659 0.2462 9.2890 ((7 . 7) (9 . 9) (13 . 12) (14 . 14)) 3661 0.4998 6.2643 ((9 . 7) (10 . 8) (13 . 11) (14 . 13)) 3663 0.3671 5.1201 ((6 . 1) (7 . 2) (13 . 5) (14 . 7)) 3688 0.4522 10.7399 ((6 . 11) (7 . 12) (9 . 14) (15 . 17)) 3697 0.2910 8.0679 ((9 . 6) (10 . 7) (14 . 8) (15 . 10)) 3703 0.4998 6.1918 ((6 . 6) (7 . 7) (9 . 8) (10 . 9)) 3732 0.4996 7.5881 ((6 . 5) (8 . 6) (10 . 7) (14 . 10)) 3733 0.4994 8.4008 ((7 . 1) (8 . 2) (10 . 3) (14 . 5)) 3740 0.6247 5.2863 ((6 . 1) (7 . 2) (9 . 3) (10 . 4) (13 . 5)) 3741 0.4999 5.6158 ((6 . 1) (7 . 2) (9 . 3) (10 . 4)) 3776 0.4999 5.7463 ((6 . 19) (7 . 20) (9 . 21) (13 . 24)) 3778 0.6242 6.7453 ((6 . 3) (7 . 4) (8 . 5) (10 . 6) (13 . 7)) 3787 0.4995 8.1430 ((7 . 17) (8 . 18) (10 . 19) (15 . 23)) 3790 0.6247 5.5012 ((6 . 1) (9 . 3) (10 . 4) (13 . 5) (15 . 9)) 3807 0.3670 7.9458 ((6 . 43) (7 . 46) (9 . 47) (14 . 51)) 3810 0.6301 6.2230 ((6 . 4) (7 . 6) (9 . 9) (10 . 10) (13 . 11) (15 . 15)) 3817 0.2462 10.3957 ((6 . 7) (8 . 8) (9 . 9) (14 . 13)) 3831 0.4203 7.4381 ((6 . 3) (9 . 5) (10 . 6) (14 . 11)) 3847 0.3670 8.2054 ((8 . 12) (9 . 13) (10 . 16) (13 . 17)) 3849 0.4998 6.3595 ((7 . 2) (9 . 3) (10 . 5) (13 . 8)) 3853 0.4985 10.5339 ((7 . 3) (8 . 4) (10 . 6) (14 . 7)) 3870 0.4996 7.7156 ((8 . 7) (9 . 8) (13 . 10) (14 . 11)) 3933 0.4991 9.2274 ((6 . 13) (7 . 15) (9 . 17) (10 . 18)) 3938 0.4991 9.2369 ((8 . 1) (9 . 2) (10 . 4) (13 . 8)) 3942 0.2462 4.4183 ((9 . 3) (10 . 2) (14 . 8) (15 . 9)) 3986 0.2908 11.7489 ((6 . 4) (9 . 7) (10 . 8) (15 . 13)) 4005 0.6005 9.7289 ((6 . 3) (7 . 4) (10 . 7) (13 . 10) (15 . 12)) 4009 0.1661 12.7488 ((7 . 19) (8 . 20) (10 . 22) (14 . 25)) 4019 0.4999 5.3528 ((8 . 41) (9 . 42) (10 . 43) (15 . 46)) 4034 0.4996 7.4195 ((7 . 9) (9 . 10) (10 . 11) (13 . 13)) 4037 0.3670 8.6115 ((7 . 1) (9 . 2) (10 . 3) (14 . 6)) 4062 0.2462 11.6379 ((8 . 47) (9 . 48) (10 . 49) (14 . 53)) 4067 0.4999 5.7228 ((9 . 14) (10 . 16) (14 . 19) (15 . 20)) 4077 0.2905 15.9034 ((8 . 9) (9 . 10) (10 . 11) (14 . 14)) 4082 0.4998 6.7104 ((6 . 5) (9 . 7) (10 . 8) (13 . 10)) 4087 0.7496 4.6415 ((6 . 1) (7 . 3) (9 . 5) (10 . 6) (13 . 7) (15 . 8)) 4112 0.4999 4.5607 ((6 . 1) (7 . 2) (9 . 3) (10 . 4)) 4115 0.4999 4.8865 ((6 . 13) (9 . 15) (13 . 19) (14 . 20)) 4151 0.4990 9.5657 ((7 . 7) (8 . 8) (10 . 9) (15 . 15)) 4154 0.1987 7.0325 ((7 . 52) (9 . 54) (10 . 55) (13 . 57)) 4177 0.4998 6.3341 ((8 . 6) (9 . 7) (10 . 8) (13 . 9)) 4190 0.2462 8.8179 ((6 . 1) (7 . 3) (8 . 4) (15 . 9)) 4192 0.4998 6.1893 ((6 . 10) (9 . 13) (13 . 15) (15 . 19)) 4194 0.0999 6.6684 ((6 . 1) (9 . 6) (10 . 7) (14 . 8)) 4195 0.4986 10.4409 ((8 . 7) (9 . 6) (14 . 8) (15 . 9)) 4204 0.4994 8.2929 ((7 . 11) (8 . 12) (10 . 13) (13 . 15)) 4209 0.4530 6.5921 ((10 . 2) (13 . 5) (14 . 6) (15 . 7)) 4210 0.4204 5.1351 ((9 . 4) (10 . 5) (13 . 6) (14 . 7)) 4226 0.4995 7.8781 ((7 . 16) (8 . 17) (10 . 18) (13 . 19)) 4236 0.5000 2.6643 ((9 . 5) (10 . 6) (13 . 7) (15 . 10)) 4246 0.4997 7.0289 ((6 . 2) (7 . 3) (9 . 5) (10 . 6)) 4254 0.4981 11.2885 ((8 . 7) (10 . 9) (13 . 11) (14 . 12)) 4255 0.4994 8.3664 ((7 . 21) (8 . 22) (13 . 24) (14 . 25)) 4257 0.4993 8.8673 ((8 . 2) (10 . 3) (14 . 6) (15 . 8)) 4265 0.2910 7.4038 ((9 . 20) (10 . 21) (13 . 23) (14 . 25)) 4266 0.4990 9.6148 ((8 . 7) (10 . 8) (14 . 10) (15 . 12)) 4274 0.1662 7.5982 ((9 . 36) (10 . 38) (13 . 40) (15 . 41)) 4275 0.4999 5.5733 ((8 . 24) (9 . 25) (10 . 27) (13 . 28)) 4281 0.4998 6.5447 ((10 . 3) (13 . 4) (14 . 6) (15 . 8)) 4284 0.4999 5.4963 ((9 . 8) (10 . 9) (13 . 10) (14 . 11)) 4299 0.4999 5.2134 ((6 . 16) (7 . 19) (9 . 20) (10 . 22)) 4301 0.7491 5.5966 ((6 . 1) (7 . 2) (9 . 3) (10 . 4) (13 . 9) (15 . 10)) 4326 0.1497 9.6172 ((7 . 7) (8 . 8) (9 . 10) (10 . 11)) 4332 0.5000 3.1794 ((6 . 2) (7 . 4) (8 . 5) (15 . 9)) 4338 0.4999 5.3439 ((6 . 7) (7 . 8) (8 . 9) (13 . 11)) 4352 0.4192 12.6100 ((7 . 9) (8 . 7) (9 . 10) (14 . 13)) 4359 0.4999 4.6818 ((6 . 17) (7 . 18) (9 . 19) (10 . 20)) 4380 0.4999 5.0660 ((6 . 1) (7 . 2) (9 . 3) (10 . 4)) 4383 0.4999 5.6802 ((6 . 15) (9 . 17) (10 . 18) (15 . 22)) 4386 0.3670 8.4411 ((6 . 9) (7 . 10) (8 . 11) (14 . 15)) 4388 0.4997 6.8251 ((6 . 5) (7 . 6) (9 . 8) (10 . 9)) 4398 0.4994 8.5171 ((6 . 6) (7 . 7) (9 . 8) (13 . 12)) 4405 0.4997 7.1977 ((7 . 14) (8 . 17) (13 . 19) (14 . 20)) 4408 0.4999 4.7862 ((6 . 3) (7 . 4) (8 . 5) (13 . 7)) 4415 0.4998 6.6745 ((6 . 1) (9 . 3) (10 . 4) (15 . 9)) 4419 0.4999 5.6366 ((9 . 8) (10 . 9) (13 . 10) (14 . 11)) 4426 0.4993 8.7010 ((7 . 2) (8 . 3) (13 . 4) (14 . 5)) 4470 0.4999 4.9559 ((6 . 18) (7 . 19) (9 . 20) (15 . 25)) 4491 0.4992 8.9991 ((7 . 1) (8 . 4) (13 . 6) (14 . 7)) 4492 0.4999 4.8232 ((6 . 4) (7 . 5) (9 . 7) (10 . 8)) 4495 0.4997 6.9778 ((6 . 14) (8 . 15) (13 . 18) (14 . 19)) 4497 0.5000 4.5050 ((7 . 23) (9 . 24) (10 . 25) (15 . 30)) 4503 0.5000 4.2450 ((6 . 4) (9 . 6) (10 . 7) (15 . 9)) 4504 0.4998 6.2748 ((6 . 6) (7 . 8) (8 . 10) (13 . 13)) 4505 0.1987 8.4464 ((6 . 26) (7 . 25) (8 . 27) (13 . 30)) 4516 0.4992 8.9857 ((7 . 6) (8 . 7) (10 . 8) (14 . 11)) 4538 0.4999 5.7910 ((6 . 30) (7 . 31) (10 . 33) (13 . 37)) 4560 0.4999 5.5975 ((7 . 11) (10 . 13) (13 . 14) (15 . 17)) 4561 0.2909 9.4426 ((7 . 5) (8 . 6) (9 . 7) (13 . 9)) 4577 0.4996 7.7034 ((6 . 50) (9 . 52) (10 . 54) (13 . 58)) 4588 0.4996 7.6375 ((6 . 3) (9 . 7) (10 . 8) (13 . 11)) 4589 0.4997 7.0440 ((6 . 22) (7 . 23) (8 . 24) (10 . 25)) 4607 0.2462 5.8439 ((8 . 2) (9 . 3) (10 . 4) (14 . 8)) 4621 0.4997 7.2598 ((7 . 6) (9 . 8) (10 . 9) (13 . 11)) 4630 0.4997 7.0482 ((6 . 3) (7 . 5) (10 . 7) (15 . 13)) 4648 0.4530 6.7349 ((9 . 2) (13 . 5) (14 . 7) (15 . 8)) 4653 0.5000 4.3555 ((6 . 5) (7 . 6) (9 . 7) (10 . 8)) 4665 0.4998 6.0121 ((6 . 11) (7 . 12) (9 . 13) (10 . 14)) 4668 0.1987 7.3423 ((6 . 3) (7 . 5) (10 . 7) (13 . 9)) 4669 0.4993 8.6749 ((7 . 15) (8 . 16) (10 . 17) (15 . 21)) 4671 0.4992 8.9821 ((9 . 13) (10 . 14) (14 . 16) (15 . 19)) 4674 0.5000 3.9922 ((6 . 1) (7 . 2) (8 . 4) (15 . 9)) 4678 0.4998 6.4560 ((7 . 10) (10 . 12) (13 . 15) (15 . 16)) 4713 0.4202 8.2809 ((6 . 3) (9 . 5) (10 . 6) (14 . 10)) 4731 0.4984 10.8626 ((6 . 14) (8 . 17) (14 . 20) (15 . 22)) 4734 0.2910 7.8284 ((7 . 2) (9 . 3) (10 . 5) (13 . 7)) 4857 0.2462 5.6646 ((6 . 2) (7 . 3) (9 . 5) (10 . 11)) 4886 0.3669 9.5293 ((8 . 28) (9 . 29) (10 . 30) (15 . 32)) 4888 0.4990 9.5088 ((7 . 1) (8 . 2) (14 . 6) (15 . 9)) 4889 0.6242 6.9527 ((6 . 3) (7 . 4) (8 . 5) (10 . 6) (13 . 7)) 4907 0.4999 4.8770 ((6 . 4) (7 . 5) (9 . 8) (10 . 9)) 4914 0.4999 5.6956 ((7 . 4) (9 . 5) (10 . 6) (13 . 9)) 4921 0.4999 4.7475 ((7 . 7) (9 . 8) (10 . 9) (15 . 12)) 4929 0.4999 5.9054 ((7 . 28) (9 . 29) (10 . 31) (13 . 32)) 4932 0.4988 10.0289 ((6 . 5) (7 . 6) (8 . 7) (13 . 10)) 4944 0.4999 5.7217 ((6 . 13) (7 . 14) (9 . 15) (10 . 16)) 4961 0.4994 8.3158 ((6 . 3) (8 . 4) (10 . 7) (14 . 11)) 4978 0.4999 5.4954 ((6 . 21) (7 . 22) (13 . 24) (14 . 27)) 4982 0.4923 16.0768 ((6 . 3) (9 . 6) (13 . 9) (15 . 12)) 4992 0.2462 9.2158 ((6 . 1) (9 . 3) (10 . 2) (14 . 7)) 4998 0.4967 12.9081 ((8 . 16) (10 . 19) (13 . 20) (14 . 21)) 5036 0.4996 7.5031 ((6 . 5) (9 . 7) (10 . 8) (13 . 9)) 5038 0.5000 3.5823 ((7 . 12) (8 . 13) (9 . 14) (10 . 15)) 5039 0.4994 8.2585 ((7 . 37) (8 . 38) (10 . 39) (15 . 44)) 5044 0.4998 6.1017 ((6 . 8) (7 . 9) (8 . 11) (13 . 16)) 5046 0.4998 6.0279 ((7 . 1) (9 . 3) (13 . 7) (15 . 8)) 5053 0.4997 6.9928 ((6 . 5) (7 . 6) (8 . 7) (15 . 10)) 5065 0.6246 5.7889 ((6 . 7) (7 . 8) (9 . 9) (10 . 10) (13 . 11)) 5068 0.4998 6.6426 ((6 . 4) (8 . 6) (13 . 10) (14 . 11)) 5069 0.4998 6.6087 ((6 . 12) (7 . 13) (8 . 14) (9 . 15)) 5080 0.2462 9.6853 ((8 . 1) (9 . 2) (10 . 3) (14 . 6)) 5083 0.4530 6.3513 ((6 . 2) (8 . 4) (9 . 5) (10 . 6)) 5101 0.4997 7.1655 ((7 . 21) (8 . 22) (10 . 23) (14 . 27)) 5103 0.4997 6.8509 ((6 . 4) (8 . 5) (9 . 6) (13 . 9)) 5121 0.4999 5.2468 ((6 . 25) (7 . 26) (9 . 30) (10 . 31)) 5132 0.4989 9.7621 ((6 . 18) (8 . 21) (10 . 22) (14 . 24)) 5134 0.4999 5.0935 ((7 . 10) (13 . 14) (14 . 15) (15 . 17)) 5145 0.4203 7.2159 ((8 . 2) (9 . 3) (14 . 9) (15 . 10)) 5167 0.4997 7.2811 ((7 . 1) (10 . 3) (13 . 4) (14 . 6)) 5176 0.5000 4.0480 ((10 . 82) (13 . 84) (14 . 85) (15 . 86)) 5183 0.4991 9.2635 ((6 . 34) (7 . 35) (10 . 37) (14 . 40)) 5192 0.1987 9.2464 ((6 . 9) (8 . 13) (13 . 17) (14 . 18)) 5198 0.4996 7.4307 ((7 . 24) (10 . 26) (13 . 30) (15 . 32)) 5209 0.4993 8.6482 ((7 . 7) (9 . 8) (10 . 9) (13 . 10)) 5212 0.3661 13.9400 ((7 . 21) (9 . 22) (10 . 23) (14 . 27)) 5215 0.4999 5.5920 ((6 . 2) (7 . 3) (9 . 5) (15 . 9)) 5223 0.4992 9.1337 ((6 . 6) (8 . 7) (13 . 12) (14 . 13)) 5231 0.6249 3.6154 ((6 . 8) (7 . 12) (9 . 13) (10 . 14) (13 . 16)) 5266 0.4997 7.1109 ((7 . 10) (8 . 11) (10 . 13) (13 . 15)) 5278 0.4999 5.3429 ((6 . 2) (7 . 5) (9 . 6) (10 . 7)) 5307 0.4981 11.2957 ((7 . 51) (8 . 52) (10 . 53) (14 . 56)) 5312 0.7499 3.3646 ((6 . 1) (7 . 2) (9 . 3) (10 . 4) (13 . 5) (15 . 7)) 5318 0.4204 6.4333 ((9 . 22) (10 . 23) (13 . 24) (14 . 27)) 5323 0.4990 9.6147 ((8 . 8) (10 . 10) (13 . 11) (14 . 12)) 5324 0.6247 5.3093 ((6 . 20) (7 . 22) (8 . 23) (10 . 25) (13 . 28)) 5344 0.4999 5.3923 ((6 . 2) (9 . 4) (13 . 8) (15 . 9)) 5345 0.4999 4.6844 ((6 . 12) (7 . 13) (9 . 14) (10 . 15)) 5368 0.5000 4.3475 ((6 . 45) (7 . 46) (9 . 47) (10 . 48)) 5378 0.4998 6.4529 ((6 . 9) (8 . 13) (10 . 15) (13 . 16)) 5414 0.6246 5.6607 ((6 . 14) (7 . 15) (9 . 16) (10 . 18) (15 . 22)) 5418 0.4999 4.6380 ((6 . 3) (7 . 5) (9 . 8) (10 . 9)) 5421 0.4528 8.4058 ((7 . 1) (9 . 2) (10 . 3) (13 . 5)) 5433 0.4204 6.5774 ((7 . 7) (10 . 10) (13 . 14) (15 . 16)) 5479 0.4999 5.0019 ((6 . 50) (7 . 51) (9 . 52) (10 . 53)) 5487 0.4998 6.3490 ((6 . 7) (9 . 9) (13 . 11) (14 . 12)) 5489 0.4999 5.1287 ((6 . 6) (9 . 9) (10 . 10) (15 . 14)) 5500 0.4996 7.6469 ((6 . 2) (7 . 3) (9 . 4) (10 . 7)) 5501 0.4962 13.4606 ((8 . 21) (13 . 24) (14 . 26) (15 . 25)) 5535 0.4998 6.2877 ((8 . 5) (9 . 8) (10 . 9) (15 . 12)) 5540 0.4996 7.4455 ((6 . 7) (7 . 8) (8 . 9) (9 . 10)) 5557 0.4203 7.7273 ((6 . 3) (7 . 4) (10 . 6) (14 . 8)) 5560 0.4997 7.1516 ((7 . 15) (8 . 16) (10 . 17) (15 . 20)) 5562 0.3671 6.2409 ((8 . 5) (9 . 6) (10 . 7) (15 . 11)) 5567 0.4202 8.0126 ((7 . 6) (9 . 8) (13 . 11) (14 . 14)) 5594 0.4994 8.2795 ((6 . 3) (7 . 4) (10 . 6) (14 . 8)) 5600 0.4993 8.8172 ((7 . 3) (8 . 4) (13 . 6) (14 . 7)) 5601 0.4996 7.7823 ((6 . 3) (8 . 4) (9 . 5) (13 . 8)) 5640 0.5000 4.4054 ((6 . 19) (7 . 20) (9 . 21) (10 . 22)) 5644 0.5000 3.4843 ((7 . 1) (9 . 3) (10 . 4) (13 . 8)) 5656 0.4990 9.5074 ((6 . 1) (9 . 3) (14 . 6) (15 . 9)) 5700 0.7138 4.9745 ((6 . 2) (7 . 3) (9 . 4) (13 . 6) (14 . 7) (15 . 8)) 5701 0.4995 7.9830 ((7 . 8) (8 . 10) (10 . 11) (14 . 13)) 5703 0.4998 6.4313 ((6 . 2) (10 . 6) (13 . 7) (15 . 8)) 5711 0.4999 4.7022 ((6 . 25) (7 . 27) (9 . 28) (10 . 29)) 5713 0.4999 4.8786 ((6 . 20) (7 . 21) (9 . 22) (13 . 27)) 5718 0.4999 5.7596 ((6 . 16) (7 . 17) (10 . 21) (13 . 23)) 5731 0.4999 5.0809 ((6 . 2) (7 . 3) (9 . 5) (13 . 9)) 5746 0.4997 7.3541 ((6 . 2) (7 . 3) (13 . 7) (15 . 10)) 5749 0.4995 7.9005 ((7 . 3) (9 . 4) (10 . 5) (13 . 6)) 5761 0.3671 6.1015 ((6 . 28) (9 . 31) (10 . 32) (14 . 34)) 5770 0.4997 6.8930 ((7 . 1) (8 . 2) (13 . 6) (14 . 7)) 5771 0.3667 11.1315 ((7 . 15) (8 . 16) (10 . 17) (14 . 22)) 5782 0.4998 6.0398 ((6 . 24) (10 . 29) (13 . 30) (14 . 31)) 5794 0.4998 5.9743 ((6 . 18) (7 . 19) (10 . 23) (15 . 25)) 5795 0.4201 9.0068 ((7 . 9) (9 . 10) (13 . 13) (14 . 14)) 5809 0.4997 6.8691 ((6 . 9) (8 . 10) (10 . 12) (14 . 16)) 5822 0.4996 7.6812 ((6 . 1) (7 . 2) (10 . 6) (13 . 8)) 5827 0.4998 6.2500 ((6 . 14) (7 . 15) (9 . 16) (15 . 19)) 5830 0.4989 9.7362 ((8 . 9) (10 . 10) (13 . 13) (14 . 15)) 5847 0.6242 6.9214 ((6 . 14) (7 . 16) (9 . 17) (10 . 18) (13 . 20)) 5861 0.1497 5.8203 ((6 . 21) (7 . 22) (13 . 27) (15 . 30)) 5865 0.4528 8.0847 ((6 . 1) (7 . 2) (9 . 5) (14 . 8)) 5878 0.1987 6.9894 ((7 . 25) (9 . 26) (10 . 28) (14 . 31)) 5888 0.5000 4.3937 ((6 . 12) (7 . 13) (9 . 14) (10 . 15)) 5913 0.4993 8.7504 ((6 . 6) (7 . 7) (9 . 9) (10 . 10)) 5914 0.4201 8.8146 ((9 . 2) (10 . 3) (13 . 6) (14 . 7)) 5922 0.1987 10.0442 ((6 . 1) (9 . 4) (10 . 5) (15 . 9)) 5930 0.3670 7.4443 ((7 . 1) (9 . 2) (10 . 4) (14 . 6)) 5939 0.2909 10.8154 ((8 . 1) (10 . 2) (14 . 3) (15 . 4)) 5945 0.4973 12.2660 ((6 . 7) (8 . 8) (13 . 13) (15 . 16)) 5949 0.4995 8.1039 ((6 . 1) (8 . 3) (9 . 4) (13 . 9)) 5955 0.4995 8.0295 ((7 . 14) (9 . 16) (10 . 17) (14 . 19)) 5967 0.5000 4.3573 ((9 . 1) (10 . 3) (14 . 6) (15 . 7)) 5972 0.3670 7.4735 ((8 . 4) (10 . 6) (13 . 7) (14 . 8)) 6000 0.1987 8.7105 ((9 . 14) (10 . 15) (13 . 17) (14 . 18)) 6011 0.4999 4.9207 ((6 . 7) (7 . 8) (9 . 9) (10 . 10)) 6022 0.4999 5.6697 ((6 . 2) (7 . 4) (9 . 5) (10 . 7)) 6028 0.2462 7.1827 ((7 . 1) (9 . 2) (10 . 3) (14 . 8)) 6029 0.6246 5.5888 ((6 . 5) (7 . 6) (8 . 7) (13 . 11) (14 . 12)) 6041 0.6248 5.0903 ((6 . 8) (9 . 10) (10 . 11) (14 . 14) (15 . 15)) 6046 0.5000 4.4032 ((6 . 2) (7 . 3) (9 . 5) (10 . 6)) 6061 0.4204 5.6643 ((6 . 13) (7 . 14) (13 . 15) (14 . 18)) 6074 0.4999 5.8517 ((6 . 6) (7 . 8) (13 . 13) (14 . 14)) 6075 0.6006 9.6595 ((6 . 15) (8 . 18) (10 . 20) (14 . 23) (15 . 24)) 6079 0.4998 6.1202 ((7 . 6) (9 . 7) (10 . 8) (13 . 11)) 6087 0.3670 7.2661 ((8 . 7) (9 . 8) (13 . 10) (14 . 11)) 6089 0.4952 14.2778 ((9 . 11) (10 . 12) (14 . 15) (15 . 17)) 6094 0.6242 6.9551 ((6 . 2) (7 . 3) (9 . 5) (13 . 10) (15 . 11)) 6099 0.6241 6.9924 ((6 . 24) (7 . 25) (9 . 26) (10 . 27) (13 . 29)) 6123 0.1662 9.7476 ((6 . 3) (7 . 4) (8 . 6) (9 . 5)) 6142 0.4999 5.0683 ((6 . 14) (7 . 15) (9 . 16) (10 . 18)) 6148 0.4999 5.7451 ((9 . 32) (10 . 33) (13 . 34) (15 . 37)) 6167 0.4203 7.4800 ((6 . 4) (7 . 6) (9 . 7) (10 . 9)) 6173 0.4997 7.1485 ((6 . 5) (9 . 8) (13 . 13) (15 . 15)) 6191 0.4996 7.6348 ((6 . 9) (7 . 10) (9 . 12) (10 . 13)) 6192 0.4203 6.7735 ((9 . 10) (10 . 11) (13 . 13) (14 . 15)) 6215 0.4996 7.8321 ((6 . 17) (9 . 19) (10 . 20) (15 . 24)) 6225 0.4991 9.3710 ((9 . 26) (10 . 28) (13 . 29) (14 . 30)) 6228 0.2910 8.0448 ((6 . 14) (7 . 15) (8 . 16) (10 . 19)) 6234 1.0000 0.0000 ((6 . 6) (7 . 7) (8 . 8) (9 . 9) (10 . 10) (13 . 13) (14 . 14) (15 . 15)) 6238 0.4998 6.1597 ((6 . 4) (7 . 5) (10 . 8) (13 . 9)) 6251 0.4199 10.1042 ((8 . 14) (10 . 15) (14 . 18) (15 . 19)) 6261 0.4992 8.9810 ((7 . 19) (9 . 21) (10 . 22) (14 . 24)) 6266 0.4199 10.2903 ((6 . 5) (8 . 7) (9 . 6) (14 . 11)) 6270 0.4998 6.5508 ((6 . 13) (9 . 15) (14 . 19) (15 . 20)) 6271 0.4998 6.5382 ((6 . 7) (7 . 8) (8 . 9) (14 . 13)) 6273 0.4998 6.2196 ((6 . 1) (7 . 2) (10 . 3) (13 . 6)) 6294 0.4990 9.6908 ((6 . 9) (8 . 10) (10 . 14) (14 . 15)) 6306 0.4997 7.2120 ((6 . 15) (7 . 16) (10 . 19) (13 . 21)) 6309 0.2909 10.6604 ((6 . 17) (8 . 19) (9 . 20) (14 . 26)) 6326 0.4999 5.5854 ((6 . 9) (7 . 10) (9 . 11) (10 . 12)) 6338 0.7495 4.7742 ((6 . 4) (7 . 5) (9 . 7) (10 . 8) (13 . 1) (15 . 2)) 6344 0.4200 9.6774 ((6 . 3) (7 . 4) (8 . 5) (14 . 9)) 6348 0.4991 9.2458 ((6 . 4) (8 . 6) (13 . 11) (14 . 13)) 6355 0.5000 4.4797 ((6 . 9) (7 . 10) (13 . 15) (14 . 16)) 6356 0.5000 4.3795 ((9 . 1) (10 . 4) (14 . 8) (15 . 9)) 6369 0.4991 9.4380 ((7 . 24) (8 . 25) (10 . 26) (15 . 31)) 6376 0.4998 6.6012 ((6 . 19) (8 . 23) (9 . 24) (14 . 29)) 6391 0.4531 4.8724 ((9 . 6) (10 . 8) (13 . 10) (14 . 11)) 6392 0.4200 9.4842 ((6 . 1) (8 . 4) (9 . 3) (14 . 6)) 6399 0.4999 4.7031 ((6 . 10) (7 . 11) (9 . 12) (10 . 13)) 6403 0.4999 4.9100 ((6 . 1) (7 . 2) (9 . 3) (10 . 4)) 6434 0.4999 4.7904 ((7 . 2) (9 . 3) (10 . 4) (13 . 5)) 6462 0.4996 7.3909 ((8 . 27) (10 . 28) (13 . 29) (14 . 30)) 6498 0.4959 13.7126 ((6 . 1) (7 . 2) (9 . 3) (14 . 8)) 6520 0.4179 15.0933 ((8 . 18) (9 . 19) (10 . 20) (14 . 23)) 6539 0.2908 12.2313 ((6 . 2) (7 . 4) (10 . 6) (13 . 10)) 6540 0.4998 6.1926 ((6 . 2) (9 . 6) (14 . 8) (15 . 9)) 6548 0.4998 6.2149 ((6 . 5) (9 . 7) (13 . 9) (15 . 12)) 6553 0.4997 7.1692 ((7 . 22) (9 . 24) (10 . 25) (14 . 28)) 6555 0.4992 9.1613 ((6 . 13) (9 . 17) (10 . 19) (13 . 20)) 6561 0.4200 9.9922 ((6 . 1) (8 . 2) (9 . 3) (13 . 7)) 6573 0.2910 7.5151 ((8 . 20) (9 . 22) (10 . 23) (13 . 24)) 6575 0.3671 4.5812 ((6 . 1) (7 . 2) (13 . 5) (14 . 7)) 6578 0.4998 6.2245 ((6 . 31) (7 . 32) (9 . 34) (10 . 37)) 6584 0.4999 4.5781 ((6 . 2) (7 . 3) (10 . 5) (15 . 9)) 6585 0.4995 8.0602 ((6 . 8) (9 . 10) (10 . 11) (15 . 14)) 6587 0.4999 5.7094 ((9 . 29) (10 . 33) (13 . 34) (14 . 35)) 6598 0.6244 6.5000 ((7 . 3) (9 . 4) (10 . 5) (13 . 6) (15 . 7)) 6613 0.4993 8.6359 ((6 . 21) (7 . 22) (10 . 24) (14 . 26)) 6635 0.2910 6.1545 ((9 . 1) (10 . 4) (13 . 5) (15 . 7)) END