4921 25 0.3929 12.0480 ((7 . 11) (11 . 13) (13 . 14) (14 . 16)) 41 0.4441 8.6213 ((7 . 3) (9 . 5) (12 . 7) (13 . 8)) 51 0.4444 5.9822 ((9 . 6) (12 . 10) (14 . 11) (17 . 13)) 62 0.4443 6.5145 ((7 . 10) (8 . 12) (9 . 13) (11 . 15)) 64 0.5551 6.8423 ((7 . 2) (8 . 3) (9 . 4) (12 . 7) (17 . 9)) 77 0.4444 6.0714 ((8 . 7) (9 . 8) (14 . 13) (15 . 15)) 91 0.4443 7.0296 ((7 . 21) (11 . 26) (13 . 30) (17 . 31)) 96 0.4444 5.9619 ((9 . 1) (12 . 3) (14 . 5) (15 . 6)) 129 0.5552 6.6131 ((7 . 1) (8 . 2) (9 . 3) (12 . 8) (14 . 11)) 136 0.4444 4.3678 ((9 . 3) (12 . 5) (14 . 7) (15 . 8)) 150 0.4443 6.8336 ((8 . 19) (9 . 20) (12 . 23) (13 . 24)) 153 0.5539 9.5183 ((7 . 4) (8 . 5) (9 . 6) (12 . 8) (14 . 9)) 155 0.2440 13.2715 ((7 . 3) (8 . 2) (11 . 5) (13 . 8)) 157 0.4442 8.0251 ((7 . 11) (9 . 14) (12 . 16) (13 . 17)) 161 0.4443 6.4386 ((7 . 3) (8 . 4) (9 . 6) (12 . 9)) 162 0.4443 7.3511 ((7 . 12) (9 . 15) (12 . 17) (14 . 20)) 169 0.5552 6.5040 ((8 . 5) (9 . 7) (12 . 9) (14 . 10) (17 . 12)) 177 0.4441 8.1825 ((7 . 4) (8 . 5) (12 . 8) (14 . 10)) 191 0.3523 10.6704 ((9 . 1) (12 . 2) (13 . 3) (14 . 4)) 198 0.4443 6.2434 ((12 . 1) (14 . 4) (15 . 5) (17 . 6)) 207 0.4442 7.6592 ((8 . 7) (11 . 11) (13 . 14) (17 . 15)) 300 0.4443 7.1707 ((11 . 11) (14 . 13) (15 . 14) (17 . 16)) 305 0.4444 4.2057 ((9 . 16) (12 . 19) (14 . 21) (15 . 22)) 307 0.4441 8.2569 ((9 . 1) (12 . 3) (15 . 7) (17 . 9)) 315 0.3525 7.7218 ((7 . 5) (8 . 6) (11 . 7) (12 . 9)) 329 0.2441 6.7611 ((8 . 4) (9 . 5) (11 . 7) (13 . 9)) 340 0.3935 8.5829 ((8 . 1) (9 . 2) (11 . 5) (12 . 4)) 350 0.4442 7.5161 ((7 . 11) (8 . 13) (12 . 18) (14 . 20)) 360 0.4444 6.0215 ((7 . 6) (8 . 7) (9 . 8) (12 . 10)) 361 0.2860 11.9176 ((8 . 4) (11 . 5) (13 . 7) (17 . 10)) 365 0.5555 2.8796 ((7 . 1) (8 . 2) (9 . 3) (12 . 6) (14 . 8)) 367 0.4444 5.5571 ((7 . 42) (8 . 43) (9 . 44) (12 . 47)) 372 0.4443 6.3813 ((7 . 2) (8 . 3) (12 . 8) (17 . 14)) 387 0.5554 5.4778 ((8 . 8) (9 . 9) (12 . 11) (14 . 12) (17 . 15)) 405 0.4437 10.3525 ((9 . 33) (12 . 34) (14 . 39) (15 . 40)) 417 0.3524 10.1984 ((9 . 1) (12 . 2) (14 . 5) (17 . 7)) 420 0.5548 7.7042 ((8 . 1) (9 . 2) (12 . 4) (14 . 8) (15 . 9)) 433 0.4443 6.1570 ((7 . 5) (8 . 6) (12 . 9) (14 . 10)) 442 0.4441 8.3296 ((7 . 12) (12 . 14) (13 . 15) (17 . 19)) 460 0.4442 7.9673 ((9 . 1) (13 . 4) (14 . 6) (15 . 7)) 495 0.5549 7.5503 ((8 . 3) (9 . 5) (12 . 7) (14 . 8) (15 . 9)) 541 0.4441 8.2112 ((9 . 5) (11 . 6) (13 . 9) (17 . 11)) 543 0.4437 10.2591 ((8 . 8) (9 . 10) (14 . 15) (15 . 16)) 561 0.4442 7.6706 ((9 . 1) (11 . 2) (12 . 3) (14 . 6)) 584 0.4440 9.2804 ((7 . 4) (8 . 5) (11 . 9) (14 . 10)) 587 0.4444 5.3788 ((7 . 3) (8 . 4) (9 . 6) (12 . 9)) 609 0.4437 10.3772 ((8 . 1) (9 . 3) (14 . 6) (15 . 8)) 619 0.4442 7.6659 ((8 . 11) (9 . 12) (12 . 15) (15 . 18)) 624 0.4443 7.3161 ((9 . 22) (11 . 23) (12 . 24) (14 . 26)) 635 0.4439 9.3103 ((9 . 13) (12 . 15) (13 . 17) (15 . 18)) 672 0.4442 7.7973 ((12 . 21) (14 . 23) (15 . 24) (17 . 26)) 678 0.4442 8.1427 ((7 . 22) (11 . 25) (12 . 26) (13 . 28)) 719 0.1980 8.0253 ((7 . 22) (8 . 23) (9 . 25) (13 . 31)) 729 0.4442 8.0147 ((7 . 9) (9 . 13) (11 . 14) (12 . 15)) 735 0.4444 5.7096 ((7 . 29) (8 . 31) (9 . 32) (12 . 36)) 740 0.3525 7.6872 ((7 . 3) (8 . 4) (9 . 6) (12 . 9)) 765 0.4444 5.7037 ((7 . 7) (8 . 9) (9 . 12) (12 . 17)) 767 0.4440 9.1172 ((7 . 1) (9 . 3) (12 . 8) (15 . 12)) 795 0.4441 8.7812 ((7 . 1) (9 . 3) (11 . 4) (12 . 5)) 796 0.4441 8.4895 ((9 . 3) (11 . 4) (12 . 5) (14 . 6)) 801 0.2861 9.7354 ((8 . 1) (9 . 2) (12 . 5) (14 . 7)) 812 0.4441 8.2849 ((7 . 8) (9 . 11) (11 . 12) (17 . 16)) 818 0.5547 7.9926 ((9 . 1) (11 . 3) (12 . 4) (13 . 5) (17 . 8)) 819 0.1980 9.7323 ((7 . 2) (8 . 3) (15 . 8) (17 . 9)) 824 0.4441 8.5401 ((7 . 45) (8 . 46) (9 . 49) (12 . 51)) 861 0.3765 11.0137 ((7 . 7) (8 . 8) (11 . 10) (13 . 11) (15 . 12)) 901 0.4443 6.5160 ((7 . 1) (12 . 5) (13 . 6) (17 . 9)) 904 0.3524 9.3282 ((8 . 2) (9 . 3) (12 . 6) (13 . 5)) 913 0.1980 4.8574 ((7 . 16) (8 . 17) (11 . 18) (12 . 20)) 928 0.4443 6.9154 ((7 . 10) (9 . 12) (13 . 15) (17 . 18)) 937 0.4442 7.3897 ((9 . 1) (11 . 3) (12 . 4) (14 . 5)) 943 0.4442 8.0136 ((7 . 4) (9 . 6) (12 . 9) (13 . 10)) 945 0.4443 6.3955 ((7 . 12) (9 . 14) (12 . 17) (17 . 22)) 949 0.1495 10.7673 ((9 . 27) (12 . 30) (13 . 33) (14 . 32)) 960 0.5550 7.2600 ((8 . 3) (9 . 4) (13 . 7) (14 . 8) (15 . 9)) 978 0.1980 10.9872 ((8 . 4) (11 . 5) (13 . 9) (14 . 10)) 980 0.4443 6.8459 ((9 . 3) (12 . 5) (13 . 6) (17 . 9)) 1007 0.4443 6.3264 ((8 . 7) (9 . 8) (14 . 13) (15 . 14)) 1008 0.4440 8.9956 ((7 . 5) (11 . 11) (14 . 15) (17 . 16)) 1034 0.5552 6.3526 ((7 . 20) (8 . 21) (9 . 22) (13 . 27) (17 . 29)) 1043 0.4442 7.8183 ((8 . 6) (12 . 10) (14 . 12) (15 . 14)) 1082 0.4443 6.8766 ((8 . 3) (9 . 4) (14 . 8) (15 . 9)) 1084 0.3523 10.9783 ((8 . 8) (9 . 9) (15 . 17) (17 . 18)) 1165 0.5552 6.2978 ((7 . 2) (8 . 3) (9 . 4) (12 . 7) (15 . 10)) 1167 0.4443 7.0910 ((8 . 20) (9 . 21) (13 . 25) (14 . 27)) 1169 0.4444 5.5553 ((7 . 29) (8 . 30) (9 . 31) (12 . 35)) 1201 0.4412 14.9745 ((8 . 7) (11 . 8) (12 . 11) (15 . 14)) 1204 0.4438 9.7795 ((7 . 1) (9 . 3) (12 . 5) (13 . 6)) 1211 0.4443 6.5009 ((9 . 9) (12 . 11) (14 . 14) (15 . 15)) 1217 0.4443 7.2642 ((8 . 3) (9 . 5) (12 . 9) (14 . 11)) 1224 0.4444 6.1198 ((7 . 6) (8 . 7) (14 . 14) (15 . 15)) 1233 0.5550 7.1063 ((7 . 11) (8 . 14) (12 . 17) (13 . 19) (17 . 20)) 1267 0.4444 5.5999 ((7 . 24) (11 . 27) (12 . 31) (17 . 36)) 1294 0.6653 7.2715 ((7 . 39) (8 . 40) (9 . 41) (12 . 44) (14 . 46) (15 . 47)) 1345 0.4444 5.3446 ((9 . 7) (12 . 12) (14 . 13) (15 . 14)) 1366 0.4442 8.1181 ((8 . 14) (12 . 17) (14 . 21) (15 . 22)) 1388 0.4442 7.9068 ((9 . 1) (11 . 3) (12 . 4) (14 . 5)) 1410 0.4443 6.8600 ((7 . 21) (8 . 22) (9 . 23) (12 . 26)) 1425 0.5553 5.6705 ((7 . 3) (8 . 4) (9 . 6) (12 . 10) (14 . 12)) 1435 0.1495 8.6884 ((7 . 3) (9 . 5) (12 . 6) (13 . 9)) 1447 0.4443 6.6848 ((7 . 1) (9 . 3) (12 . 5) (17 . 9)) 1451 0.4442 8.1447 ((11 . 2) (14 . 4) (15 . 5) (17 . 6)) 1464 0.2441 8.5636 ((12 . 8) (13 . 9) (14 . 10) (15 . 13)) 1476 0.4444 6.0346 ((7 . 11) (12 . 15) (13 . 19) (17 . 20)) 1481 0.0999 7.9064 ((9 . 1) (11 . 3) (14 . 4) (15 . 7)) 1501 0.3526 7.0587 ((9 . 1) (12 . 3) (14 . 5) (17 . 7)) 1508 0.2441 10.5599 ((9 . 2) (11 . 3) (12 . 5) (13 . 6)) 1513 0.4443 7.1071 ((7 . 3) (9 . 5) (13 . 9) (17 . 13)) 1514 0.4441 8.2981 ((9 . 1) (11 . 2) (12 . 3) (14 . 4)) 1577 0.4443 6.9239 ((7 . 3) (8 . 4) (9 . 5) (17 . 12)) 1591 0.4441 8.6797 ((7 . 11) (9 . 14) (12 . 16) (15 . 19)) 1604 0.4443 6.9985 ((8 . 1) (9 . 3) (13 . 9) (17 . 12)) 1622 0.4443 6.8905 ((8 . 18) (14 . 22) (15 . 23) (17 . 24)) 1624 0.3525 8.3141 ((8 . 3) (9 . 4) (12 . 8) (13 . 10)) 1643 0.5552 6.4384 ((8 . 25) (9 . 26) (12 . 28) (14 . 33) (15 . 34)) 1644 0.4444 5.9004 ((7 . 43) (8 . 44) (14 . 51) (15 . 52)) 1665 0.4441 8.5308 ((7 . 6) (9 . 8) (11 . 9) (12 . 10)) 1690 0.4443 6.8440 ((8 . 16) (12 . 21) (13 . 23) (14 . 24)) 1692 0.2441 7.0706 ((11 . 2) (13 . 4) (14 . 6) (15 . 7)) 1731 0.4442 7.4576 ((7 . 3) (9 . 6) (12 . 8) (17 . 12)) 1736 0.4442 8.0648 ((9 . 5) (12 . 7) (13 . 8) (15 . 10)) 1738 0.4441 8.4831 ((7 . 13) (8 . 14) (14 . 23) (15 . 24)) 1747 0.5551 6.9946 ((7 . 7) (9 . 10) (12 . 12) (14 . 16) (15 . 18)) 1756 0.4443 6.6640 ((7 . 21) (8 . 23) (9 . 25) (14 . 31)) 1759 0.5549 7.4079 ((8 . 1) (9 . 2) (12 . 5) (14 . 9) (15 . 10)) 1761 0.4442 7.3771 ((9 . 9) (11 . 10) (12 . 11) (15 . 16)) 1763 0.4441 8.2387 ((7 . 9) (8 . 10) (11 . 12) (12 . 13)) 1776 0.4443 7.3085 ((9 . 14) (12 . 15) (13 . 18) (14 . 19)) 1777 0.4440 9.1591 ((7 . 45) (8 . 47) (9 . 49) (12 . 52)) 1778 0.4444 5.6213 ((7 . 1) (8 . 2) (9 . 3) (13 . 6)) 1793 0.4444 5.9949 ((7 . 3) (12 . 6) (13 . 7) (17 . 10)) 1805 0.4444 5.0201 ((7 . 2) (8 . 3) (9 . 4) (12 . 8)) 1808 0.5553 5.7117 ((7 . 4) (8 . 5) (9 . 6) (12 . 9) (14 . 10)) 1817 0.4442 7.8739 ((7 . 14) (8 . 15) (9 . 18) (12 . 20)) 1867 0.4441 8.6376 ((7 . 1) (8 . 3) (9 . 6) (12 . 7)) 1894 0.4441 8.1768 ((9 . 18) (12 . 20) (14 . 23) (15 . 25)) 1896 0.3936 7.7560 ((7 . 25) (8 . 26) (9 . 27) (11 . 30)) 1897 0.4440 8.9313 ((7 . 32) (8 . 34) (12 . 39) (14 . 40)) 1908 0.4443 7.3121 ((7 . 7) (11 . 14) (12 . 15) (13 . 16)) 1909 0.4442 7.6760 ((7 . 25) (9 . 29) (12 . 31) (13 . 32)) 1913 0.4443 6.8580 ((7 . 23) (8 . 25) (9 . 26) (12 . 28)) 1944 0.4444 5.4750 ((7 . 3) (9 . 5) (12 . 7) (17 . 13)) 1957 0.4443 7.1371 ((7 . 11) (9 . 13) (13 . 16) (17 . 19)) 1961 0.4444 5.9173 ((7 . 14) (8 . 15) (9 . 16) (14 . 20)) 1967 0.4442 7.5056 ((9 . 7) (12 . 10) (13 . 11) (17 . 16)) 1972 0.4444 6.1022 ((9 . 16) (12 . 18) (14 . 24) (15 . 27)) 1992 0.4442 7.6495 ((9 . 9) (11 . 10) (12 . 12) (14 . 14)) 1995 0.4443 6.9904 ((8 . 3) (12 . 8) (14 . 12) (15 . 13)) 2003 0.4441 8.6536 ((11 . 6) (14 . 10) (15 . 11) (17 . 12)) 2006 0.5546 8.3391 ((8 . 7) (9 . 8) (12 . 10) (14 . 11) (15 . 12)) 2045 0.2861 10.2925 ((7 . 3) (12 . 8) (13 . 9) (15 . 11)) 2048 0.4444 5.9106 ((11 . 12) (12 . 13) (14 . 16) (15 . 17)) 2063 0.4444 5.7938 ((7 . 42) (8 . 43) (9 . 44) (14 . 50)) 2065 0.4444 6.0154 ((7 . 17) (8 . 18) (14 . 26) (15 . 27)) 2067 0.4444 5.7161 ((8 . 54) (9 . 55) (11 . 58) (12 . 60)) 2072 0.4442 7.9212 ((8 . 1) (9 . 2) (14 . 6) (15 . 7)) 2081 0.4442 7.6477 ((11 . 18) (12 . 19) (14 . 20) (15 . 21)) 2083 0.4440 9.1990 ((7 . 1) (8 . 2) (11 . 6) (14 . 7)) 2097 0.3930 11.9121 ((7 . 6) (12 . 14) (13 . 15) (14 . 16)) 2114 0.4444 4.5427 ((7 . 28) (8 . 29) (9 . 32) (12 . 36)) 2116 0.5547 8.0893 ((7 . 4) (8 . 5) (9 . 6) (14 . 10) (15 . 11)) 2117 0.4442 8.1509 ((7 . 4) (8 . 5) (12 . 9) (15 . 14)) 2118 0.4444 4.9781 ((7 . 1) (8 . 4) (9 . 5) (12 . 7)) 2122 0.4429 12.4191 ((8 . 10) (13 . 16) (15 . 17) (17 . 18)) 2166 0.4443 6.8883 ((7 . 12) (8 . 13) (15 . 20) (17 . 21)) 2179 0.4442 7.7514 ((7 . 1) (9 . 4) (14 . 9) (15 . 10)) 2196 0.4443 6.6483 ((7 . 12) (8 . 13) (12 . 18) (14 . 19)) 2203 0.4442 7.5225 ((9 . 1) (11 . 3) (12 . 5) (14 . 7)) 2205 0.5551 6.7219 ((7 . 16) (8 . 17) (12 . 22) (14 . 23) (15 . 26)) 2209 0.4441 8.2087 ((11 . 4) (12 . 5) (13 . 8) (17 . 9)) 2243 0.4444 4.8298 ((7 . 60) (8 . 61) (12 . 67) (13 . 68)) 2244 0.5549 7.6462 ((7 . 69) (8 . 70) (9 . 73) (14 . 78) (15 . 79)) 2249 0.1980 11.7259 ((8 . 11) (9 . 12) (12 . 16) (17 . 20)) 2269 0.4444 5.8675 ((7 . 6) (8 . 7) (9 . 8) (12 . 10)) 2279 0.3524 9.5620 ((9 . 10) (13 . 15) (14 . 19) (15 . 20)) 2298 0.4443 6.3338 ((9 . 6) (12 . 10) (14 . 12) (15 . 15)) 2308 0.4442 7.8434 ((7 . 6) (9 . 8) (12 . 11) (13 . 12)) 2314 0.4440 8.9592 ((9 . 2) (12 . 4) (14 . 7) (15 . 8)) 2340 0.4444 5.4069 ((9 . 9) (12 . 11) (14 . 13) (15 . 14)) 2344 0.4442 7.4641 ((8 . 1) (9 . 3) (13 . 8) (15 . 10)) 2364 0.4443 6.3331 ((8 . 9) (12 . 15) (14 . 18) (15 . 19)) 2381 0.1980 5.2486 ((7 . 4) (8 . 5) (9 . 6) (11 . 8)) 2389 0.4444 5.8625 ((7 . 3) (8 . 5) (9 . 6) (12 . 8)) 2393 0.4436 10.5528 ((8 . 15) (11 . 17) (12 . 18) (13 . 19)) 2408 0.4444 5.7623 ((9 . 40) (12 . 42) (14 . 45) (15 . 46)) 2409 0.4443 6.2270 ((7 . 2) (8 . 5) (9 . 6) (12 . 8)) 2410 0.3525 9.0224 ((9 . 13) (11 . 14) (12 . 16) (14 . 17)) 2422 0.5552 6.5862 ((7 . 1) (9 . 6) (14 . 7) (15 . 8) (17 . 9)) 2423 0.4444 4.4226 ((9 . 20) (12 . 22) (14 . 25) (15 . 26)) 2440 0.4431 11.9311 ((7 . 4) (12 . 9) (13 . 10) (14 . 13)) 2447 0.4442 8.1117 ((9 . 15) (12 . 18) (13 . 19) (17 . 24)) 2462 0.4442 8.0784 ((8 . 1) (12 . 4) (14 . 6) (15 . 7)) 2510 0.4444 4.9194 ((7 . 17) (12 . 21) (13 . 24) (17 . 27)) 2525 0.4442 7.8066 ((7 . 38) (8 . 41) (14 . 47) (15 . 48)) 2529 0.4444 6.0125 ((9 . 1) (12 . 3) (14 . 5) (15 . 6)) 2533 0.4440 9.2301 ((7 . 6) (9 . 8) (12 . 9) (13 . 11)) 2552 0.4442 8.1274 ((7 . 1) (9 . 3) (12 . 5) (13 . 6)) 2556 0.4443 7.3129 ((7 . 11) (9 . 13) (12 . 16) (17 . 22)) 2557 0.3522 11.5772 ((9 . 3) (12 . 6) (13 . 8) (14 . 7)) 2561 0.4441 8.3867 ((7 . 1) (12 . 6) (14 . 7) (15 . 8)) 2595 0.4443 6.8918 ((7 . 1) (9 . 4) (13 . 7) (17 . 11)) 2619 0.2441 10.3247 ((7 . 2) (8 . 3) (13 . 6) (14 . 7)) 2627 0.4443 7.1909 ((9 . 60) (11 . 62) (12 . 64) (14 . 65)) 2650 0.5541 9.3056 ((8 . 1) (9 . 2) (12 . 5) (14 . 6) (15 . 7)) 2675 0.4441 8.5674 ((8 . 3) (9 . 4) (12 . 8) (14 . 10)) 2682 0.4441 8.6346 ((9 . 7) (11 . 8) (13 . 10) (14 . 11)) 2696 0.5553 6.0702 ((8 . 31) (9 . 32) (12 . 35) (14 . 36) (15 . 38)) 2731 0.4443 7.3467 ((9 . 1) (11 . 2) (12 . 4) (14 . 5)) 2733 0.5553 5.8361 ((7 . 1) (8 . 2) (12 . 4) (13 . 9) (17 . 11)) 2755 0.4442 7.5781 ((9 . 3) (12 . 5) (15 . 8) (17 . 10)) 2773 0.4442 8.0904 ((9 . 3) (11 . 4) (12 . 5) (14 . 6)) 2783 0.4444 5.5284 ((8 . 6) (9 . 7) (12 . 8) (14 . 12)) 2804 0.4443 7.1351 ((9 . 25) (11 . 26) (13 . 28) (14 . 29)) 2821 0.5554 5.5998 ((7 . 1) (8 . 2) (12 . 3) (13 . 10) (17 . 11)) 2830 0.4443 6.6553 ((9 . 13) (12 . 15) (13 . 16) (17 . 19)) 2834 0.4442 7.4340 ((12 . 1) (14 . 5) (15 . 6) (17 . 8)) 2840 0.4442 7.9268 ((9 . 5) (11 . 7) (13 . 10) (14 . 11)) 2842 0.4444 5.9487 ((9 . 1) (11 . 3) (14 . 4) (15 . 5)) 2867 0.1980 8.3151 ((9 . 2) (11 . 3) (14 . 7) (15 . 8)) 2879 0.4444 3.5485 ((7 . 52) (8 . 53) (9 . 54) (12 . 59)) 2886 0.5551 7.0620 ((8 . 37) (9 . 38) (12 . 41) (14 . 43) (15 . 44)) 2940 0.4440 9.0992 ((11 . 2) (12 . 3) (14 . 5) (15 . 6)) 2947 0.4444 4.5895 ((7 . 3) (8 . 4) (12 . 7) (17 . 12)) 2955 0.4425 13.0501 ((11 . 1) (13 . 2) (14 . 4) (17 . 5)) 2966 0.4444 5.9341 ((8 . 6) (9 . 9) (14 . 16) (15 . 17)) 2990 0.4443 7.2311 ((7 . 12) (9 . 14) (12 . 16) (13 . 17)) 2999 0.4443 7.2245 ((9 . 2) (11 . 3) (12 . 4) (14 . 7)) 3014 0.2854 18.1703 ((9 . 22) (11 . 21) (12 . 24) (13 . 26)) 3019 0.4444 4.5491 ((7 . 9) (8 . 10) (9 . 11) (12 . 14)) 3034 0.4440 9.0484 ((7 . 1) (9 . 5) (12 . 7) (13 . 8)) 3041 0.4444 5.6880 ((7 . 29) (8 . 30) (12 . 33) (13 . 34)) 3055 0.4444 4.3863 ((9 . 11) (12 . 13) (14 . 16) (15 . 17)) 3063 0.5550 7.3715 ((7 . 38) (8 . 39) (12 . 41) (15 . 45) (17 . 46)) 3070 0.2861 9.6686 ((12 . 32) (13 . 34) (14 . 35) (15 . 36)) 3084 0.4442 7.3875 ((7 . 13) (9 . 15) (13 . 18) (17 . 21)) 3102 0.4443 6.5635 ((7 . 69) (8 . 70) (9 . 71) (14 . 77)) 3103 0.6657 6.6663 ((7 . 2) (8 . 3) (9 . 5) (12 . 9) (14 . 11) (17 . 13)) 3114 0.4435 10.9505 ((8 . 24) (9 . 25) (11 . 27) (12 . 29)) 3120 0.0999 8.5746 ((9 . 21) (11 . 23) (13 . 24) (14 . 25)) 3127 0.4439 9.4433 ((7 . 6) (9 . 8) (12 . 11) (13 . 14)) 3147 0.4444 3.7342 ((9 . 1) (12 . 3) (14 . 6) (15 . 7)) 3176 0.4440 9.1101 ((7 . 26) (8 . 27) (9 . 29) (13 . 32)) 3187 0.6663 5.1151 ((7 . 1) (8 . 2) (9 . 3) (12 . 5) (14 . 6) (15 . 7)) 3190 0.4444 5.2312 ((9 . 1) (12 . 3) (13 . 7) (17 . 9)) 3197 0.4444 6.1207 ((7 . 19) (12 . 24) (13 . 25) (17 . 28)) 3200 0.3934 9.3864 ((8 . 9) (12 . 13) (13 . 14) (15 . 18)) 3202 0.1658 18.5910 ((9 . 8) (11 . 7) (12 . 9) (13 . 10)) 3212 0.4443 6.2765 ((7 . 3) (8 . 5) (12 . 9) (13 . 10)) 3222 0.3517 14.2713 ((7 . 8) (14 . 16) (15 . 18) (17 . 19)) 3256 0.5552 6.5775 ((8 . 19) (9 . 20) (12 . 25) (14 . 26) (15 . 28)) 3261 0.4442 7.5890 ((7 . 2) (8 . 3) (14 . 7) (15 . 8)) 3286 0.4443 6.1695 ((7 . 3) (8 . 4) (9 . 5) (12 . 7)) 3289 0.3935 8.6300 ((12 . 25) (13 . 28) (14 . 29) (15 . 30)) 3297 0.5260 9.4069 ((7 . 1) (9 . 4) (12 . 7) (14 . 8) (15 . 9)) 3300 0.3936 6.8225 ((7 . 1) (8 . 2) (9 . 4) (13 . 10)) 3322 0.4440 9.1329 ((7 . 3) (8 . 5) (12 . 7) (13 . 10)) 3334 0.5541 9.1580 ((8 . 1) (9 . 3) (12 . 4) (14 . 14) (15 . 15)) 3339 0.4443 6.8016 ((7 . 15) (11 . 18) (12 . 19) (14 . 22)) 3344 0.4438 10.0372 ((7 . 19) (8 . 20) (12 . 22) (15 . 27)) 3358 0.5548 7.9207 ((9 . 1) (11 . 3) (12 . 4) (13 . 5) (17 . 8)) 3362 0.4441 8.4321 ((7 . 4) (9 . 6) (12 . 8) (13 . 12)) 3366 0.4441 8.4695 ((9 . 22) (12 . 26) (14 . 27) (17 . 28)) 3391 0.4442 7.5731 ((7 . 4) (9 . 6) (12 . 8) (13 . 12)) 3410 0.4444 6.0841 ((9 . 19) (12 . 21) (14 . 28) (15 . 30)) 3472 0.4444 4.5535 ((7 . 2) (8 . 3) (9 . 4) (14 . 11)) 3481 0.4444 4.3474 ((7 . 2) (12 . 8) (13 . 11) (17 . 12)) 3489 0.5543 8.8070 ((7 . 2) (8 . 3) (9 . 4) (14 . 12) (15 . 14)) 3495 0.4442 8.0419 ((9 . 1) (12 . 3) (13 . 5) (17 . 7)) 3496 0.4439 9.6007 ((8 . 22) (9 . 23) (11 . 24) (13 . 25)) 3533 0.4444 6.0324 ((7 . 3) (8 . 5) (12 . 10) (14 . 11)) 3537 0.4435 10.9180 ((9 . 2) (11 . 3) (15 . 9) (17 . 10)) 3538 0.4436 10.6537 ((7 . 18) (8 . 20) (12 . 23) (14 . 24)) 3548 0.4444 5.9875 ((7 . 2) (8 . 3) (9 . 4) (14 . 5)) 3549 0.5547 8.0393 ((7 . 2) (8 . 3) (9 . 5) (11 . 7) (14 . 8)) 3561 0.5547 8.1187 ((7 . 22) (9 . 26) (12 . 28) (14 . 30) (15 . 31)) 3570 0.4442 7.8580 ((7 . 4) (8 . 7) (9 . 8) (12 . 10)) 3585 0.4442 7.9203 ((7 . 11) (8 . 12) (9 . 13) (14 . 16)) 3613 0.3936 7.8360 ((12 . 36) (13 . 38) (14 . 40) (15 . 41)) 3625 0.4443 6.3867 ((9 . 1) (12 . 3) (14 . 5) (15 . 6)) 3626 0.4444 5.2996 ((7 . 2) (8 . 3) (9 . 6) (12 . 11)) 3628 0.4442 7.6139 ((7 . 6) (9 . 8) (12 . 10) (13 . 11)) 3651 0.4442 7.5724 ((7 . 3) (11 . 7) (12 . 8) (14 . 13)) 3658 0.4443 6.7281 ((9 . 1) (11 . 2) (14 . 6) (15 . 7)) 3659 0.1980 10.6817 ((13 . 4) (14 . 5) (15 . 7) (17 . 8)) 3661 0.3935 8.2192 ((7 . 7) (8 . 8) (9 . 11) (13 . 14)) 3663 0.4443 6.6096 ((7 . 1) (8 . 2) (9 . 5) (13 . 7)) 3688 0.4443 6.8336 ((8 . 3) (12 . 8) (14 . 12) (17 . 14)) 3697 0.1331 11.5750 ((9 . 1) (12 . 4) (14 . 6) (15 . 7)) 3703 0.4443 6.6055 ((7 . 7) (8 . 8) (9 . 9) (11 . 10)) 3732 0.4444 6.1291 ((8 . 5) (12 . 7) (14 . 11) (15 . 12)) 3733 0.4442 8.1599 ((7 . 1) (9 . 3) (12 . 6) (13 . 7)) 3740 0.4444 5.2918 ((7 . 1) (8 . 2) (9 . 3) (12 . 5)) 3741 0.4444 5.5140 ((7 . 23) (9 . 25) (14 . 28) (15 . 32)) 3776 0.1331 8.1999 ((13 . 16) (14 . 19) (15 . 20) (17 . 21)) 3778 0.5552 6.2683 ((7 . 3) (8 . 4) (12 . 7) (13 . 9) (17 . 12)) 3787 0.4443 6.6089 ((7 . 17) (11 . 22) (12 . 23) (13 . 24)) 3790 0.5548 7.9251 ((7 . 1) (9 . 3) (12 . 5) (14 . 9) (15 . 10)) 3807 0.4444 6.0324 ((9 . 43) (12 . 47) (13 . 48) (17 . 50)) 3810 0.4441 8.2646 ((7 . 10) (8 . 11) (9 . 14) (12 . 16)) 3817 0.4440 9.1840 ((7 . 1) (12 . 5) (13 . 8) (17 . 9)) 3818 0.4440 9.1765 ((9 . 20) (11 . 21) (12 . 23) (13 . 24)) 3831 0.4442 7.4564 ((9 . 2) (11 . 4) (14 . 6) (17 . 9)) 3847 0.3525 8.1053 ((9 . 9) (13 . 11) (14 . 13) (17 . 16)) 3849 0.1980 8.1197 ((7 . 3) (8 . 5) (9 . 8) (11 . 7)) 3853 0.4441 8.7584 ((7 . 3) (9 . 6) (12 . 8) (17 . 12)) 3856 0.4441 8.5346 ((7 . 6) (8 . 7) (9 . 9) (14 . 14)) 3870 0.4440 9.2919 ((7 . 8) (9 . 10) (12 . 13) (13 . 14)) 3933 0.4441 8.6862 ((12 . 6) (14 . 10) (15 . 11) (17 . 13)) 3938 0.2441 8.3408 ((7 . 2) (9 . 4) (12 . 9) (13 . 12)) 3942 0.4441 8.3443 ((8 . 2) (9 . 3) (13 . 8) (14 . 9)) 3968 0.4441 8.2641 ((9 . 3) (12 . 5) (15 . 9) (17 . 11)) 3986 0.5072 6.3003 ((7 . 8) (8 . 9) (9 . 13) (12 . 26) (14 . 27) (15 . 29) (17 . 30)) 3990 0.4443 7.1905 ((9 . 16) (12 . 18) (13 . 19) (17 . 22)) 4005 0.4444 4.7755 ((9 . 24) (13 . 31) (14 . 32) (15 . 33)) 4009 0.4443 7.0229 ((8 . 13) (9 . 15) (13 . 18) (17 . 21)) 4019 0.4839 6.4572 ((7 . 38) (8 . 39) (9 . 42) (14 . 46) (15 . 47)) 4034 0.4434 11.2325 ((7 . 10) (8 . 12) (9 . 13) (12 . 15)) 4067 0.4442 7.4892 ((7 . 14) (9 . 16) (12 . 20) (13 . 21)) 4077 0.3914 15.9710 ((11 . 6) (13 . 9) (14 . 10) (15 . 11)) 4082 0.4440 8.7995 ((7 . 5) (8 . 6) (9 . 7) (11 . 9)) 4087 0.4444 4.2962 ((8 . 3) (9 . 5) (12 . 7) (14 . 8)) 4115 0.4441 8.2493 ((9 . 13) (12 . 15) (15 . 17) (17 . 19)) 4151 0.4443 6.5384 ((7 . 9) (9 . 12) (13 . 16) (17 . 19)) 4177 0.4440 9.0308 ((8 . 1) (9 . 2) (14 . 8) (15 . 9)) 4190 0.4444 5.7517 ((7 . 1) (8 . 3) (12 . 8) (14 . 9)) 4192 0.4438 9.7504 ((9 . 10) (12 . 13) (13 . 14) (14 . 15)) 4194 0.4444 5.3795 ((9 . 1) (12 . 3) (14 . 6) (15 . 7)) 4204 0.4442 8.0021 ((9 . 3) (11 . 4) (12 . 5) (15 . 11)) 4209 0.4444 5.8752 ((12 . 2) (14 . 5) (15 . 7) (17 . 8)) 4210 0.4443 6.6473 ((9 . 4) (14 . 5) (15 . 6) (17 . 11)) 4226 0.4442 7.7084 ((8 . 11) (9 . 12) (12 . 16) (13 . 17)) 4232 0.4434 11.2366 ((7 . 3) (8 . 4) (9 . 5) (14 . 8)) 4236 0.4441 8.7508 ((7 . 6) (8 . 7) (11 . 11) (13 . 13)) 4246 0.2441 7.2431 ((7 . 5) (8 . 6) (9 . 8) (11 . 10)) 4254 0.4443 6.8275 ((8 . 9) (9 . 11) (12 . 13) (13 . 16)) 4255 0.2861 9.9439 ((9 . 21) (12 . 23) (13 . 25) (14 . 26)) 4257 0.4443 7.2581 ((7 . 1) (12 . 7) (14 . 9) (17 . 11)) 4265 0.4442 7.6631 ((7 . 21) (9 . 23) (12 . 26) (13 . 27)) 4266 0.4443 7.3058 ((7 . 4) (12 . 8) (14 . 11) (15 . 12)) 4274 0.4441 8.5982 ((9 . 38) (11 . 39) (12 . 40) (14 . 41)) 4275 0.4443 6.9063 ((11 . 22) (12 . 23) (14 . 27) (15 . 28)) 4281 0.4443 6.5098 ((7 . 3) (8 . 4) (9 . 5) (12 . 8)) 4284 0.4441 8.3612 ((12 . 6) (13 . 7) (14 . 9) (15 . 10)) 4299 0.4442 7.9823 ((7 . 11) (12 . 16) (14 . 19) (15 . 20)) 4301 0.4443 6.2108 ((7 . 3) (8 . 4) (9 . 6) (12 . 9)) 4326 0.4439 9.5294 ((9 . 7) (12 . 10) (15 . 15) (17 . 17)) 4332 0.2861 9.1789 ((11 . 1) (13 . 3) (14 . 4) (17 . 6)) 4338 0.4441 8.6833 ((7 . 4) (9 . 6) (12 . 8) (13 . 9)) 4359 0.5551 6.8285 ((7 . 17) (8 . 18) (9 . 19) (12 . 21) (14 . 24)) 4380 0.4442 7.8653 ((8 . 24) (12 . 29) (14 . 32) (17 . 36)) 4383 0.4444 5.6178 ((8 . 16) (9 . 17) (12 . 19) (14 . 22)) 4386 0.4444 4.6156 ((11 . 15) (12 . 16) (14 . 18) (15 . 19)) 4388 0.5546 8.2882 ((7 . 5) (8 . 6) (9 . 8) (12 . 10) (15 . 12)) 4398 0.4441 8.4404 ((7 . 4) (9 . 6) (12 . 8) (13 . 11)) 4405 0.4443 7.3276 ((9 . 14) (11 . 17) (12 . 18) (14 . 19)) 4408 0.5251 10.9196 ((7 . 3) (8 . 4) (12 . 7) (13 . 10) (15 . 13)) 4415 0.4443 7.3022 ((8 . 3) (9 . 4) (13 . 10) (17 . 11)) 4419 0.4444 6.0261 ((9 . 3) (11 . 5) (14 . 9) (15 . 10)) 4426 0.0999 9.3867 ((9 . 2) (11 . 3) (14 . 4) (17 . 6)) 4470 0.4444 6.0693 ((7 . 18) (8 . 19) (9 . 20) (14 . 25)) 4491 0.4440 8.9229 ((9 . 1) (11 . 4) (12 . 5) (14 . 6)) 4492 0.4442 7.6229 ((8 . 11) (9 . 13) (12 . 16) (15 . 21)) 4495 0.3936 7.2928 ((8 . 16) (12 . 18) (13 . 19) (15 . 21)) 4497 0.4444 5.2643 ((7 . 24) (8 . 25) (9 . 26) (12 . 28)) 4502 0.4440 9.0344 ((7 . 11) (9 . 14) (12 . 17) (13 . 21)) 4503 0.4442 7.3817 ((8 . 1) (12 . 6) (14 . 9) (15 . 10)) 4504 0.4443 6.8957 ((9 . 13) (12 . 15) (13 . 16) (17 . 19)) 4505 0.4439 9.7153 ((8 . 25) (9 . 26) (12 . 28) (13 . 29)) 4538 0.3526 6.2026 ((7 . 30) (8 . 31) (9 . 32) (12 . 37)) 4551 0.4440 9.0844 ((8 . 1) (9 . 2) (12 . 4) (14 . 8)) 4560 0.4442 7.7973 ((7 . 8) (9 . 11) (15 . 17) (17 . 18)) 4561 0.4444 5.9908 ((9 . 7) (12 . 9) (13 . 11) (17 . 16)) 4562 0.4443 7.1645 ((7 . 22) (11 . 26) (12 . 27) (13 . 30)) 4563 0.4441 8.5486 ((7 . 31) (11 . 33) (12 . 34) (13 . 37)) 4577 0.4444 5.6910 ((7 . 29) (8 . 30) (14 . 37) (15 . 38)) 4588 0.4442 7.3780 ((12 . 3) (14 . 8) (15 . 9) (17 . 11)) 4589 0.4444 5.9419 ((11 . 21) (12 . 23) (13 . 24) (17 . 27)) 4621 0.4444 4.9159 ((9 . 3) (11 . 5) (14 . 9) (15 . 11)) 4630 0.4442 7.3757 ((7 . 22) (8 . 23) (14 . 33) (15 . 34)) 4648 0.1980 8.8104 ((9 . 1) (13 . 3) (14 . 5) (15 . 8)) 4653 0.4442 7.9531 ((9 . 1) (12 . 4) (14 . 6) (17 . 9)) 4665 0.1980 9.8185 ((7 . 11) (8 . 12) (9 . 14) (11 . 16)) 4668 0.4443 7.3365 ((9 . 3) (12 . 5) (13 . 8) (17 . 11)) 4669 0.5551 6.9391 ((8 . 12) (9 . 15) (12 . 17) (14 . 19) (15 . 21)) 4671 0.4444 5.9110 ((9 . 2) (12 . 4) (13 . 5) (17 . 7)) 4674 0.4441 8.4647 ((9 . 1) (11 . 3) (14 . 6) (15 . 8)) 4678 0.2441 9.5410 ((12 . 6) (13 . 9) (14 . 10) (15 . 11)) 4713 0.4444 6.1223 ((9 . 3) (12 . 5) (14 . 8) (15 . 9)) 4715 0.2861 9.2460 ((7 . 3) (9 . 6) (11 . 7) (13 . 10)) 4731 0.2862 6.1921 ((8 . 18) (12 . 22) (14 . 23) (15 . 24)) 4734 0.3526 7.0950 ((8 . 2) (9 . 3) (12 . 7) (14 . 8)) 4857 0.4440 8.8061 ((8 . 9) (9 . 11) (12 . 13) (13 . 14)) 4886 0.4434 11.1400 ((11 . 28) (12 . 30) (14 . 31) (15 . 32)) 4888 0.4441 8.2838 ((12 . 9) (14 . 12) (15 . 13) (17 . 14)) 4889 0.4443 6.9188 ((8 . 2) (9 . 3) (14 . 6) (15 . 7)) 4907 0.4443 6.2347 ((7 . 1) (8 . 3) (9 . 4) (12 . 8)) 4914 0.4444 6.1317 ((8 . 1) (9 . 4) (14 . 9) (15 . 10)) 4921 1.0000 0.0000 ((7 . 7) (8 . 8) (9 . 9) (11 . 11) (12 . 12) (13 . 13) (14 . 14) (15 . 15) (17 . 17)) 4929 0.5551 6.7576 ((8 . 29) (9 . 31) (12 . 33) (14 . 34) (15 . 35)) 4932 0.4444 5.6613 ((9 . 1) (11 . 3) (13 . 7) (17 . 8)) 4944 0.4444 5.0902 ((9 . 11) (11 . 12) (14 . 15) (15 . 16)) 4961 0.4440 9.0729 ((7 . 6) (12 . 12) (14 . 14) (15 . 15)) 4978 0.4443 7.1156 ((9 . 18) (12 . 21) (14 . 22) (15 . 24)) 4982 0.3526 6.6862 ((8 . 9) (9 . 10) (12 . 14) (13 . 15)) 4992 0.4442 8.1456 ((9 . 6) (11 . 7) (12 . 8) (14 . 9)) 4998 0.4435 11.0058 ((9 . 15) (11 . 16) (14 . 19) (15 . 20)) 5029 0.4442 7.5525 ((7 . 2) (9 . 4) (12 . 6) (13 . 9)) 5036 0.4443 6.1673 ((7 . 5) (8 . 6) (9 . 7) (12 . 9)) 5038 0.4444 6.1240 ((7 . 12) (8 . 14) (9 . 15) (12 . 18)) 5044 0.2861 9.9901 ((7 . 3) (12 . 9) (13 . 11) (15 . 14)) 5046 0.4442 7.5390 ((8 . 1) (9 . 3) (14 . 8) (15 . 10)) 5053 0.4443 6.1974 ((7 . 5) (8 . 6) (12 . 9) (14 . 10)) 5065 0.4443 7.0283 ((11 . 1) (12 . 2) (14 . 3) (17 . 8)) 5068 0.4442 7.5715 ((8 . 4) (9 . 7) (12 . 10) (13 . 11)) 5069 0.4443 6.8442 ((7 . 4) (8 . 5) (9 . 7) (13 . 14)) 5073 0.4443 6.8561 ((7 . 39) (11 . 41) (12 . 42) (13 . 43)) 5080 0.4438 9.7839 ((11 . 1) (12 . 2) (13 . 5) (14 . 3)) 5101 0.4443 6.2744 ((9 . 18) (12 . 21) (13 . 24) (17 . 26)) 5103 0.4442 7.6186 ((9 . 2) (11 . 3) (13 . 7) (15 . 9)) 5121 0.4438 9.8152 ((11 . 23) (12 . 25) (14 . 26) (17 . 29)) 5132 0.4443 6.1599 ((9 . 18) (11 . 19) (14 . 22) (15 . 26)) 5134 0.4439 9.6252 ((9 . 3) (11 . 5) (12 . 6) (13 . 8)) 5145 0.1658 10.2341 ((11 . 2) (12 . 3) (14 . 5) (15 . 8)) 5167 0.4444 5.1002 ((7 . 1) (11 . 6) (13 . 7) (17 . 9)) 5176 0.4443 6.3990 ((8 . 82) (9 . 84) (11 . 85) (14 . 88)) 5183 0.4444 5.0388 ((7 . 34) (8 . 35) (9 . 36) (12 . 38)) 5192 0.3525 8.1987 ((8 . 1) (9 . 3) (12 . 5) (13 . 6)) 5198 0.4437 10.3117 ((8 . 21) (13 . 25) (14 . 26) (17 . 30)) 5199 0.4444 5.7766 ((8 . 7) (9 . 8) (14 . 9) (15 . 10)) 5209 0.5542 9.1443 ((8 . 3) (9 . 4) (12 . 7) (14 . 8) (15 . 9)) 5215 0.5552 6.2796 ((7 . 4) (8 . 5) (12 . 9) (14 . 10) (15 . 11)) 5223 0.4442 7.6669 ((9 . 1) (12 . 3) (13 . 5) (17 . 8)) 5231 0.4441 8.3366 ((7 . 12) (8 . 13) (9 . 14) (11 . 17)) 5266 0.4443 6.5499 ((11 . 5) (12 . 6) (13 . 9) (17 . 10)) 5278 0.4444 5.2456 ((9 . 5) (12 . 7) (14 . 10) (17 . 12)) 5307 0.4444 5.3769 ((9 . 51) (12 . 53) (14 . 57) (15 . 58)) 5312 0.4444 5.4977 ((7 . 2) (8 . 3) (9 . 4) (12 . 7)) 5318 0.4441 8.4114 ((8 . 19) (12 . 22) (14 . 23) (15 . 24)) 5323 0.2861 9.0094 ((11 . 8) (13 . 9) (14 . 10) (15 . 11)) 5324 0.4444 6.0500 ((11 . 4) (12 . 5) (13 . 8) (17 . 12)) 5344 0.5553 5.8463 ((8 . 3) (9 . 4) (12 . 8) (14 . 9) (15 . 10)) 5345 0.4444 4.9504 ((7 . 16) (8 . 17) (9 . 18) (11 . 20)) 5368 0.5551 6.8261 ((7 . 19) (8 . 20) (9 . 21) (12 . 25) (14 . 28)) 5378 0.3934 9.7704 ((9 . 8) (11 . 10) (13 . 13) (15 . 15)) 5411 0.4442 7.7982 ((9 . 3) (11 . 5) (12 . 6) (14 . 8)) 5414 0.6661 5.8595 ((7 . 14) (8 . 15) (9 . 16) (12 . 19) (14 . 20) (15 . 21)) 5418 0.4441 8.2340 ((9 . 1) (12 . 3) (14 . 7) (15 . 8)) 5421 0.4159 8.6142 ((7 . 2) (8 . 3) (9 . 5) (17 . 13)) 5433 0.4442 8.0999 ((7 . 5) (8 . 7) (12 . 13) (14 . 16)) 5479 0.5553 5.8690 ((7 . 34) (8 . 35) (9 . 36) (12 . 40) (14 . 42)) 5487 0.4444 5.8338 ((7 . 2) (9 . 7) (12 . 9) (17 . 11)) 5489 0.4444 4.9045 ((9 . 9) (12 . 11) (14 . 14) (17 . 16)) 5500 0.5554 5.5831 ((7 . 1) (8 . 2) (12 . 3) (13 . 10) (17 . 12)) 5501 0.4439 9.7111 ((7 . 17) (13 . 23) (14 . 24) (15 . 25)) 5525 0.1248 10.1887 ((11 . 3) (13 . 5) (14 . 7) (15 . 8)) 5535 0.4437 10.1989 ((7 . 6) (8 . 7) (12 . 11) (14 . 12)) 5540 0.4438 9.9858 ((8 . 14) (9 . 16) (11 . 17) (12 . 18)) 5557 0.4437 10.3219 ((8 . 1) (9 . 2) (12 . 4) (13 . 5)) 5560 0.4440 9.2904 ((9 . 17) (11 . 18) (12 . 20) (13 . 21)) 5562 0.4442 7.8591 ((8 . 6) (9 . 7) (13 . 12) (17 . 14)) 5567 0.4443 7.3587 ((9 . 8) (12 . 11) (13 . 14) (17 . 17)) 5594 0.4444 5.5949 ((7 . 1) (12 . 4) (13 . 7) (17 . 9)) 5600 0.4441 8.4584 ((8 . 3) (9 . 5) (12 . 6) (15 . 11)) 5601 0.4443 6.1981 ((7 . 1) (9 . 5) (11 . 6) (17 . 12)) 5638 0.4441 8.7121 ((8 . 7) (9 . 8) (13 . 12) (14 . 13)) 5640 0.5551 6.9277 ((7 . 21) (8 . 22) (9 . 23) (14 . 28) (15 . 29)) 5644 0.4443 6.5089 ((7 . 1) (8 . 3) (14 . 10) (15 . 11)) 5656 0.4442 8.1373 ((9 . 5) (12 . 8) (13 . 11) (15 . 14)) 5700 0.6629 4.1611 ((7 . 2) (8 . 3) (9 . 4) (12 . 6) (13 . 7) (14 . 8) (15 . 9)) 5701 0.4443 6.2965 ((7 . 4) (8 . 5) (9 . 6) (15 . 11)) 5703 0.4442 7.4541 ((7 . 1) (8 . 2) (14 . 7) (15 . 8)) 5711 0.4444 5.7776 ((7 . 36) (8 . 37) (14 . 44) (15 . 46)) 5713 0.5544 8.7849 ((8 . 1) (9 . 2) (12 . 4) (14 . 7) (15 . 8)) 5718 0.4442 7.7325 ((7 . 16) (8 . 17) (11 . 22) (12 . 23)) 5731 0.5255 10.3265 ((7 . 2) (8 . 3) (9 . 5) (11 . 6) (14 . 10)) 5746 0.5555 4.0323 ((7 . 2) (8 . 3) (12 . 10) (13 . 12) (17 . 13)) 5749 0.4439 9.6471 ((8 . 3) (9 . 4) (12 . 6) (13 . 8)) 5761 0.3936 7.2697 ((12 . 28) (13 . 29) (14 . 30) (15 . 31)) 5770 0.4442 7.7635 ((7 . 1) (14 . 9) (15 . 12) (17 . 15)) 5771 0.3522 11.8257 ((11 . 7) (13 . 8) (14 . 9) (17 . 14)) 5782 0.4444 5.6435 ((8 . 21) (9 . 22) (13 . 28) (14 . 29)) 5794 0.4442 7.9542 ((8 . 18) (9 . 19) (14 . 24) (15 . 25)) 5795 0.2860 11.7123 ((9 . 6) (11 . 8) (13 . 11) (17 . 13)) 5809 0.4442 8.0926 ((7 . 5) (9 . 7) (12 . 9) (17 . 14)) 5822 0.4442 7.5508 ((9 . 1) (14 . 7) (15 . 8) (17 . 9)) 5827 0.4444 5.6051 ((7 . 15) (8 . 16) (9 . 17) (13 . 20)) 5830 0.4441 8.2506 ((8 . 10) (12 . 13) (14 . 17) (15 . 18)) 5847 0.5532 10.4669 ((7 . 3) (12 . 10) (14 . 12) (15 . 13) (17 . 15)) 5861 0.4444 4.4067 ((7 . 25) (8 . 26) (9 . 27) (12 . 30)) 5865 0.4434 11.2698 ((9 . 1) (12 . 5) (13 . 6) (15 . 7)) 5888 0.5550 7.3364 ((8 . 3) (9 . 4) (12 . 6) (14 . 9) (15 . 10)) 5896 0.4442 7.9624 ((9 . 26) (11 . 27) (12 . 28) (14 . 29)) 5904 0.4440 8.8352 ((7 . 4) (9 . 7) (12 . 9) (13 . 10)) 5913 0.4443 6.7243 ((7 . 5) (8 . 6) (9 . 7) (15 . 15)) 5922 0.5552 6.5609 ((7 . 4) (8 . 5) (9 . 6) (12 . 11) (14 . 13)) 5930 0.4440 9.1357 ((7 . 2) (9 . 4) (12 . 7) (15 . 11)) 5939 0.4442 8.0638 ((9 . 2) (12 . 4) (13 . 5) (17 . 8)) 5945 0.4444 4.7396 ((8 . 3) (12 . 9) (14 . 16) (15 . 19)) 5949 0.4438 10.0654 ((7 . 1) (9 . 4) (13 . 8) (15 . 12)) 5955 0.4440 9.2409 ((9 . 3) (12 . 5) (13 . 6) (15 . 9)) 5967 0.4442 7.9959 ((7 . 1) (9 . 3) (12 . 7) (13 . 8)) 5977 0.4439 9.4247 ((9 . 3) (11 . 4) (12 . 5) (14 . 6)) 6000 0.2861 8.3490 ((7 . 14) (8 . 15) (9 . 17) (11 . 18)) 6011 0.4443 6.2497 ((8 . 11) (9 . 13) (12 . 16) (14 . 18)) 6022 0.4444 5.8294 ((7 . 2) (8 . 4) (9 . 5) (12 . 8)) 6029 0.4442 7.6743 ((8 . 5) (9 . 6) (11 . 7) (14 . 11)) 6041 0.4439 9.4414 ((9 . 8) (11 . 9) (12 . 10) (14 . 13)) 6046 0.4439 9.6546 ((8 . 2) (9 . 3) (12 . 6) (13 . 7)) 6061 0.4443 6.5736 ((7 . 13) (8 . 14) (9 . 15) (13 . 18)) 6074 0.4442 7.6441 ((7 . 6) (11 . 10) (12 . 11) (13 . 12)) 6075 0.4441 8.6930 ((9 . 17) (12 . 20) (13 . 22) (17 . 24)) 6079 0.4444 6.0540 ((9 . 1) (12 . 6) (14 . 7) (15 . 8)) 6087 0.4433 11.4933 ((7 . 3) (11 . 7) (13 . 9) (15 . 10)) 6089 0.4443 7.3090 ((9 . 3) (12 . 5) (13 . 6) (17 . 11)) 6094 0.5547 8.0884 ((8 . 2) (9 . 3) (12 . 7) (14 . 10) (15 . 11)) 6099 0.5551 6.9754 ((7 . 24) (8 . 25) (12 . 29) (14 . 30) (15 . 31)) 6123 0.4437 10.3049 ((8 . 2) (9 . 3) (12 . 5) (13 . 7)) 6142 0.5552 6.6931 ((8 . 2) (9 . 15) (12 . 20) (14 . 24) (15 . 25)) 6148 0.4440 9.2955 ((9 . 32) (12 . 34) (13 . 35) (14 . 37)) 6167 0.4440 9.0090 ((7 . 7) (8 . 9) (12 . 17) (14 . 21)) 6173 0.5545 8.5409 ((7 . 4) (8 . 5) (12 . 9) (14 . 13) (15 . 15)) 6191 0.4443 6.7365 ((7 . 4) (8 . 3) (14 . 10) (17 . 12)) 6192 0.5100 9.4528 ((7 . 3) (9 . 5) (11 . 7) (14 . 10) (15 . 11)) 6215 0.4442 7.5245 ((8 . 17) (9 . 18) (12 . 20) (13 . 22)) 6225 0.4443 6.9102 ((7 . 3) (8 . 4) (9 . 5) (13 . 9)) 6228 0.4441 8.4648 ((9 . 1) (11 . 2) (12 . 3) (15 . 7)) 6234 0.4444 4.7475 ((7 . 7) (8 . 9) (9 . 10) (12 . 15)) 6238 0.4441 8.2444 ((8 . 3) (9 . 4) (14 . 8) (15 . 9)) 6243 0.4442 7.4095 ((8 . 2) (9 . 3) (13 . 7) (17 . 10)) 6251 0.4443 6.3646 ((7 . 8) (11 . 11) (13 . 14) (17 . 17)) 6258 0.4442 7.8032 ((9 . 7) (11 . 8) (12 . 9) (15 . 12)) 6261 0.4443 6.8438 ((7 . 1) (9 . 3) (13 . 7) (17 . 11)) 6266 0.4442 7.6326 ((9 . 3) (11 . 4) (12 . 5) (15 . 8)) 6270 0.2861 9.1268 ((9 . 18) (11 . 19) (12 . 20) (13 . 23)) 6271 0.4443 6.8493 ((9 . 4) (14 . 10) (15 . 11) (17 . 12)) 6273 0.3929 12.1095 ((7 . 3) (12 . 7) (13 . 9) (15 . 12)) 6294 0.4440 8.8301 ((7 . 2) (9 . 6) (11 . 7) (12 . 9)) 6306 0.4430 12.2242 ((7 . 17) (9 . 20) (12 . 22) (13 . 23)) 6311 0.4443 7.1656 ((8 . 1) (12 . 5) (14 . 9) (15 . 10)) 6326 0.4438 9.9514 ((7 . 4) (8 . 5) (9 . 6) (15 . 13)) 6338 0.4443 6.6207 ((7 . 1) (8 . 2) (9 . 4) (12 . 7)) 6344 0.5552 6.3468 ((7 . 7) (8 . 8) (12 . 12) (14 . 13) (15 . 14)) 6345 0.4442 8.1687 ((11 . 2) (12 . 4) (14 . 6) (15 . 7)) 6348 0.4443 7.0172 ((7 . 1) (9 . 4) (13 . 8) (17 . 11)) 6355 0.4443 6.3228 ((8 . 4) (12 . 6) (14 . 9) (15 . 10)) 6356 0.4441 8.1859 ((7 . 1) (9 . 4) (12 . 6) (17 . 11)) 6369 0.4443 6.6614 ((9 . 20) (12 . 22) (13 . 23) (17 . 26)) 6376 0.4441 8.4037 ((9 . 17) (11 . 18) (12 . 19) (17 . 26)) 6391 0.2441 9.2733 ((8 . 6) (11 . 7) (13 . 11) (15 . 14)) 6392 0.4441 8.5600 ((9 . 1) (12 . 3) (15 . 7) (17 . 9)) 6399 0.5550 7.1734 ((8 . 8) (9 . 10) (12 . 12) (14 . 15) (15 . 16)) 6403 0.4444 6.0805 ((7 . 12) (8 . 13) (9 . 14) (14 . 17)) 6434 0.4443 6.6140 ((7 . 2) (8 . 3) (9 . 4) (13 . 7)) 6462 0.4442 7.9161 ((9 . 16) (12 . 18) (13 . 19) (17 . 22)) 6498 0.4439 9.3573 ((9 . 10) (11 . 11) (12 . 12) (13 . 14)) 6520 0.5540 9.3643 ((8 . 8) (9 . 9) (12 . 13) (14 . 14) (15 . 15)) 6539 0.4441 8.3415 ((7 . 2) (9 . 4) (13 . 9) (14 . 10)) 6540 0.4444 4.9530 ((7 . 16) (8 . 17) (9 . 18) (12 . 20)) 6548 0.4444 4.7303 ((9 . 7) (12 . 9) (14 . 12) (15 . 13)) 6553 0.4443 6.7048 ((9 . 11) (12 . 13) (14 . 15) (15 . 17)) 6555 0.4442 8.1239 ((8 . 19) (9 . 20) (14 . 24) (15 . 26)) 6561 0.4442 7.7730 ((7 . 7) (8 . 8) (9 . 10) (14 . 12)) 6573 0.4439 9.6305 ((7 . 17) (9 . 19) (12 . 21) (15 . 25)) 6575 0.4443 6.3729 ((7 . 1) (8 . 2) (9 . 5) (13 . 7)) 6578 0.5549 7.5747 ((7 . 31) (8 . 32) (9 . 37) (12 . 38) (13 . 39)) 6584 0.4443 7.1452 ((11 . 1) (12 . 2) (14 . 3) (17 . 6)) 6585 0.4433 11.6077 ((11 . 7) (14 . 8) (15 . 10) (17 . 11)) 6587 0.4442 7.8270 ((9 . 29) (11 . 30) (12 . 31) (14 . 34)) 6598 0.5550 7.1951 ((8 . 3) (9 . 4) (12 . 6) (14 . 7) (15 . 8)) 6613 0.5542 9.0350 ((7 . 22) (9 . 24) (12 . 27) (14 . 28) (15 . 31)) 6635 0.4161 5.1882 ((7 . 4) (8 . 5) (11 . 9) (13 . 10)) END