2462 25 0.3999 7.4266 ((2 . 5) (5 . 9) (6 . 11) (7 . 16)) 41 0.3997 9.4571 ((2 . 4) (3 . 5) (5 . 6) (6 . 7)) 51 0.4000 5.8881 ((6 . 1) (7 . 2) (11 . 7) (12 . 10)) 62 0.3999 7.1454 ((5 . 9) (6 . 10) (7 . 12) (10 . 15)) 64 0.3999 6.2946 ((3 . 6) (7 . 9) (11 . 12) (12 . 13)) 77 0.1987 10.2193 ((3 . 9) (5 . 12) (6 . 13) (7 . 15) (10 . 17)) 91 0.4996 7.6877 ((2 . 36) (3 . 37) (6 . 40) (7 . 42) (10 . 46)) 96 0.4000 4.8327 ((7 . 1) (10 . 2) (11 . 3) (12 . 5)) 129 0.0999 9.2775 ((4 . 1) (7 . 5) (11 . 11) (12 . 12)) 136 0.1970 8.6276 ((1 . 3) (2 . 4) (3 . 5) (4 . 7)) 150 0.4000 5.6300 ((2 . 18) (7 . 23) (10 . 24) (11 . 25)) 153 0.3999 6.8308 ((6 . 7) (7 . 8) (11 . 10) (12 . 12)) 157 0.3998 7.9906 ((7 . 1) (10 . 4) (11 . 5) (12 . 8)) 161 0.3998 8.1202 ((1 . 4) (2 . 7) (3 . 8) (4 . 9)) 162 0.3999 6.1654 ((5 . 16) (6 . 17) (7 . 18) (11 . 22)) 169 0.3999 6.6802 ((6 . 7) (7 . 8) (11 . 10) (12 . 11)) 177 0.3999 6.6328 ((6 . 3) (7 . 4) (11 . 8) (12 . 10)) 191 0.3999 7.3048 ((1 . 2) (2 . 3) (3 . 4) (7 . 6)) 198 0.3999 7.5309 ((3 . 12) (4 . 13) (6 . 16) (7 . 17)) 207 0.4000 5.4467 ((6 . 7) (7 . 8) (10 . 12) (11 . 13)) 233 0.4000 4.5425 ((6 . 1) (7 . 2) (11 . 7) (12 . 8)) 300 0.3998 8.0858 ((1 . 6) (4 . 9) (11 . 16) (12 . 17)) 305 0.3997 9.3029 ((6 . 11) (7 . 12) (11 . 18) (12 . 19)) 307 0.3999 7.3598 ((6 . 1) (7 . 3) (10 . 6) (11 . 7)) 315 0.1970 8.2790 ((1 . 6) (2 . 7) (4 . 9) (6 . 10)) 350 0.3997 9.1983 ((1 . 1) (7 . 10) (11 . 16) (12 . 17)) 360 0.4000 5.3751 ((6 . 5) (7 . 6) (11 . 10) (12 . 12)) 361 0.4000 5.5367 ((2 . 3) (3 . 4) (11 . 10) (12 . 11)) 365 0.3671 6.2867 ((1 . 2) (3 . 4) (4 . 6) (5 . 7)) 367 0.3998 8.0392 ((1 . 40) (2 . 41) (4 . 44) (6 . 46)) 372 0.3999 6.8259 ((4 . 1) (6 . 5) (7 . 6) (11 . 11)) 387 0.3999 6.2386 ((3 . 1) (7 . 7) (11 . 11) (12 . 12)) 405 0.3999 7.1209 ((6 . 32) (7 . 33) (11 . 39) (12 . 40)) 417 0.2800 9.2715 ((1 . 2) (5 . 6) (6 . 7) (7 . 9)) 420 0.4000 4.2459 ((6 . 3) (7 . 4) (11 . 9) (12 . 10)) 433 0.3997 9.2313 ((1 . 1) (4 . 5) (6 . 6) (7 . 7)) 442 0.4000 4.3095 ((2 . 15) (5 . 18) (6 . 20) (7 . 21)) 460 0.3999 7.1940 ((3 . 3) (4 . 6) (6 . 7) (7 . 8)) 495 0.3998 7.9883 ((4 . 7) (6 . 8) (7 . 9) (10 . 12)) 541 0.4000 5.1234 ((3 . 7) (6 . 11) (11 . 16) (12 . 17)) 543 0.3998 8.1154 ((3 . 5) (6 . 6) (7 . 8) (12 . 15)) 561 0.3999 7.7850 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 584 0.4993 8.6421 ((2 . 1) (5 . 2) (6 . 3) (7 . 4) (12 . 10)) 587 0.4000 5.5979 ((6 . 10) (7 . 11) (11 . 14) (12 . 15)) 609 0.3996 9.8772 ((6 . 1) (7 . 3) (10 . 5) (12 . 8)) 619 0.3998 7.9226 ((1 . 4) (3 . 6) (4 . 7) (10 . 14)) 624 0.4999 4.8624 ((5 . 19) (6 . 20) (7 . 22) (11 . 24) (12 . 26)) 635 0.3999 6.1311 ((6 . 14) (7 . 15) (10 . 17) (11 . 18)) 672 0.4000 5.7791 ((1 . 18) (4 . 21) (6 . 23) (7 . 24)) 678 0.3999 6.1189 ((7 . 22) (10 . 23) (11 . 24) (12 . 26)) 719 0.4000 4.9417 ((6 . 25) (7 . 27) (10 . 29) (11 . 30)) 729 0.4983 10.8738 ((2 . 8) (3 . 9) (5 . 12) (6 . 13) (11 . 20)) 735 0.3999 6.0692 ((6 . 29) (7 . 31) (11 . 37) (12 . 39)) 765 0.3998 7.9160 ((1 . 8) (3 . 12) (6 . 18) (7 . 19)) 767 0.3999 6.5291 ((2 . 2) (3 . 3) (6 . 8) (7 . 9)) 795 0.4000 4.7961 ((7 . 1) (10 . 4) (11 . 5) (12 . 6)) 796 0.3999 7.6799 ((1 . 3) (2 . 4) (3 . 5) (4 . 6)) 812 0.3999 7.5590 ((4 . 5) (7 . 11) (10 . 12) (11 . 13)) 818 0.3999 6.4799 ((2 . 3) (3 . 4) (6 . 10) (11 . 16)) 819 0.3999 7.0388 ((1 . 5) (4 . 8) (6 . 9) (7 . 10)) 824 0.3998 8.2402 ((3 . 43) (4 . 45) (6 . 46) (7 . 49)) 861 0.3997 9.6505 ((2 . 14) (3 . 15) (6 . 18) (7 . 19)) 901 0.4988 9.9588 ((2 . 10) (3 . 12) (5 . 14) (6 . 15) (12 . 20)) 913 0.3999 7.4812 ((5 . 15) (7 . 16) (10 . 18) (11 . 20)) 928 0.4987 10.2900 ((2 . 11) (3 . 12) (5 . 15) (6 . 16) (11 . 21)) 937 0.3998 8.1939 ((1 . 1) (2 . 3) (3 . 4) (4 . 5)) 943 0.4994 8.5123 ((2 . 5) (3 . 6) (5 . 7) (6 . 9) (11 . 15)) 945 0.4000 5.6704 ((7 . 12) (10 . 13) (11 . 14) (12 . 17)) 949 0.3997 9.5466 ((3 . 27) (6 . 30) (7 . 32) (10 . 36)) 960 0.3999 6.3206 ((3 . 9) (5 . 11) (6 . 12) (12 . 21)) 978 0.4000 5.4991 ((3 . 6) (6 . 10) (7 . 13) (12 . 16)) 980 0.4998 6.4320 ((2 . 2) (3 . 5) (6 . 7) (7 . 9) (10 . 10)) 1007 0.3999 6.5492 ((5 . 6) (6 . 7) (11 . 12) (12 . 13)) 1008 0.3995 10.3980 ((4 . 8) (5 . 11) (7 . 13) (11 . 16)) 1034 0.3999 6.4386 ((2 . 24) (7 . 29) (10 . 31) (11 . 32)) 1043 0.4995 8.1562 ((2 . 5) (3 . 6) (5 . 9) (6 . 10) (10 . 15)) 1082 0.4000 5.0745 ((1 . 6) (7 . 12) (10 . 14) (11 . 16)) 1084 0.2800 9.6652 ((2 . 4) (5 . 6) (7 . 11) (11 . 17)) 1121 0.1970 6.6453 ((4 . 2) (5 . 1) (6 . 4) (7 . 5)) 1165 0.3999 6.8121 ((3 . 2) (5 . 5) (6 . 7) (12 . 12)) 1167 0.4999 5.2812 ((5 . 19) (6 . 20) (7 . 21) (11 . 22) (12 . 27)) 1195 0.4000 3.6213 ((5 . 1) (6 . 2) (7 . 4) (11 . 6)) 1201 0.3983 14.4970 ((2 . 2) (3 . 3) (7 . 7) (10 . 10)) 1204 0.3998 8.0035 ((3 . 1) (5 . 2) (6 . 3) (10 . 8)) 1211 0.4000 4.4955 ((3 . 8) (6 . 10) (7 . 11) (11 . 15)) 1217 0.3999 6.3499 ((1 . 3) (3 . 7) (4 . 9) (6 . 11)) 1224 0.4997 7.0886 ((2 . 2) (6 . 5) (7 . 6) (11 . 9) (12 . 10)) 1233 0.4000 5.4468 ((7 . 11) (10 . 13) (11 . 14) (12 . 17)) 1267 0.4000 5.4113 ((3 . 22) (6 . 24) (10 . 27) (12 . 31)) 1294 0.3999 6.6240 ((3 . 40) (6 . 41) (7 . 46) (12 . 47)) 1301 0.2413 4.2661 ((1 . 1) (2 . 2) (4 . 5) (5 . 6)) 1345 0.4000 5.9172 ((2 . 8) (3 . 9) (6 . 12) (7 . 13)) 1366 0.3999 6.1032 ((2 . 13) (3 . 14) (7 . 20) (11 . 22)) 1388 0.4999 4.9551 ((5 . 3) (6 . 4) (7 . 5) (10 . 7) (11 . 8)) 1410 0.3999 7.4672 ((1 . 20) (3 . 22) (4 . 23) (7 . 26)) 1425 0.3999 7.0177 ((3 . 2) (4 . 3) (6 . 8) (7 . 10)) 1435 0.0999 7.4608 ((1 . 1) (6 . 5) (7 . 6) (12 . 13)) 1447 0.4000 5.5337 ((7 . 1) (10 . 2) (11 . 3) (12 . 5)) 1451 0.3999 6.4473 ((2 . 2) (6 . 5) (7 . 6) (11 . 10)) 1464 0.3999 6.5647 ((6 . 7) (7 . 8) (11 . 13) (12 . 14)) 1476 0.4000 4.5810 ((6 . 9) (7 . 11) (10 . 13) (11 . 14)) 1481 0.3998 8.1899 ((1 . 2) (2 . 3) (4 . 4) (10 . 9)) 1501 0.4000 5.6824 ((3 . 1) (6 . 3) (7 . 4) (12 . 7)) 1508 0.1970 3.2345 ((1 . 2) (2 . 3) (4 . 5) (5 . 6)) 1513 0.4000 4.8138 ((2 . 4) (3 . 5) (7 . 11) (12 . 15)) 1514 0.2800 8.4917 ((4 . 1) (5 . 2) (6 . 3) (7 . 4)) 1577 0.4000 5.7808 ((1 . 10) (2 . 11) (3 . 12) (6 . 15)) 1591 0.4977 11.7652 ((2 . 10) (3 . 11) (5 . 12) (6 . 14) (12 . 19)) 1604 0.3998 8.1165 ((6 . 3) (7 . 7) (10 . 9) (12 . 12)) 1622 0.3997 9.0243 ((2 . 17) (3 . 18) (5 . 19) (6 . 20)) 1624 0.2800 9.2313 ((2 . 1) (4 . 4) (6 . 7) (10 . 11)) 1643 0.4999 5.1800 ((3 . 16) (6 . 18) (7 . 20) (11 . 26) (12 . 27)) 1644 0.4000 5.1092 ((6 . 43) (7 . 44) (11 . 49) (12 . 50)) 1665 0.3966 17.3181 ((2 . 1) (7 . 8) (10 . 9) (11 . 10)) 1690 0.4999 4.5888 ((3 . 13) (4 . 14) (5 . 15) (6 . 16) (12 . 24)) 1692 0.3998 8.4213 ((5 . 4) (6 . 5) (7 . 7) (12 . 10)) 1731 0.3999 6.7898 ((7 . 3) (10 . 5) (11 . 6) (12 . 8)) 1736 0.3999 5.9867 ((2 . 2) (3 . 3) (7 . 7) (12 . 12)) 1738 0.4000 5.4506 ((2 . 5) (3 . 6) (11 . 18) (12 . 19)) 1747 0.4993 8.7179 ((2 . 22) (3 . 24) (6 . 27) (7 . 28) (11 . 32)) 1756 0.4998 6.2243 ((3 . 21) (6 . 22) (7 . 23) (11 . 29) (12 . 30)) 1759 0.4000 3.8840 ((6 . 4) (7 . 5) (11 . 10) (12 . 11)) 1761 0.3999 7.8550 ((5 . 8) (7 . 9) (11 . 13) (12 . 16)) 1763 0.2413 8.9597 ((2 . 4) (4 . 7) (5 . 8) (6 . 9)) 1776 0.4000 4.0624 ((3 . 12) (5 . 13) (6 . 14) (12 . 23)) 1777 0.4000 5.9375 ((1 . 37) (4 . 42) (6 . 47) (7 . 49)) 1778 0.3996 10.2707 ((1 . 8) (2 . 10) (5 . 11) (6 . 12)) 1793 0.4000 5.5538 ((5 . 7) (7 . 8) (10 . 9) (11 . 11)) 1805 0.4000 5.8848 ((6 . 11) (7 . 12) (11 . 15) (12 . 16)) 1808 0.4000 5.2963 ((5 . 1) (6 . 2) (7 . 4) (11 . 9)) 1817 0.3999 7.0378 ((1 . 13) (4 . 16) (6 . 19) (7 . 20)) 1867 0.3999 7.5260 ((1 . 1) (2 . 2) (3 . 3) (4 . 6)) 1894 0.3998 8.3363 ((6 . 19) (7 . 20) (10 . 24) (12 . 26)) 1896 0.3998 7.9623 ((2 . 2) (3 . 3) (6 . 5) (10 . 21)) 1897 0.3999 7.8165 ((3 . 32) (6 . 39) (7 . 40) (11 . 46)) 1908 0.4991 9.2871 ((2 . 14) (3 . 15) (5 . 16) (6 . 17) (10 . 20)) 1909 0.4000 5.4483 ((2 . 24) (3 . 25) (7 . 31) (12 . 37)) 1913 0.3999 6.2838 ((3 . 5) (6 . 9) (11 . 16) (12 . 18)) 1944 0.4000 4.7478 ((2 . 4) (3 . 5) (5 . 6) (6 . 7)) 1957 0.4000 4.5675 ((1 . 19) (2 . 20) (3 . 21) (4 . 22)) 1961 0.3992 12.1050 ((2 . 18) (3 . 19) (4 . 20) (6 . 21)) 1967 0.4000 4.5148 ((6 . 1) (7 . 3) (10 . 6) (11 . 7)) 1972 0.4000 4.7886 ((6 . 16) (7 . 18) (10 . 19) (11 . 20)) 1992 0.3998 8.9419 ((1 . 2) (2 . 5) (5 . 8) (10 . 13)) 1995 0.3999 6.4531 ((6 . 3) (7 . 7) (11 . 11) (12 . 12)) 2003 0.4000 5.7724 ((5 . 2) (6 . 4) (7 . 5) (11 . 10)) 2006 0.4999 5.7160 ((3 . 14) (6 . 16) (7 . 18) (11 . 21) (12 . 22)) 2045 0.3998 8.4282 ((1 . 1) (6 . 7) (7 . 8) (12 . 13)) 2048 0.4000 4.4990 ((2 . 5) (3 . 6) (11 . 16) (12 . 17)) 2063 0.3671 4.8593 ((6 . 43) (7 . 44) (10 . 46) (11 . 49) (12 . 50)) 2065 0.3996 9.9181 ((4 . 18) (5 . 20) (6 . 23) (7 . 25)) 2067 0.3999 6.1945 ((4 . 55) (5 . 56) (6 . 59) (7 . 60)) 2072 0.4000 4.8230 ((6 . 1) (7 . 2) (11 . 5) (12 . 6)) 2081 0.4000 5.2099 ((5 . 18) (6 . 19) (7 . 20) (11 . 23)) 2083 0.2800 11.1580 ((1 . 1) (5 . 3) (6 . 5) (10 . 11)) 2097 0.3363 8.5563 ((3 . 1) (4 . 3) (7 . 5) (12 . 14)) 2114 0.4998 6.2225 ((6 . 28) (7 . 29) (10 . 33) (11 . 34) (12 . 36)) 2116 0.3998 8.1624 ((3 . 6) (6 . 9) (7 . 10) (11 . 12)) 2117 0.4000 5.4057 ((2 . 8) (3 . 9) (7 . 12) (12 . 14)) 2118 0.3999 7.3141 ((2 . 6) (4 . 7) (5 . 8) (10 . 10)) 2122 0.4995 7.8726 ((3 . 10) (5 . 11) (6 . 12) (11 . 18) (12 . 22)) 2166 0.4980 11.4450 ((2 . 5) (5 . 10) (6 . 12) (7 . 13) (12 . 16)) 2179 0.4000 3.8379 ((3 . 9) (7 . 13) (10 . 16) (12 . 20)) 2196 0.4000 5.3775 ((3 . 10) (6 . 14) (7 . 15) (11 . 19)) 2203 0.3999 6.7146 ((3 . 1) (5 . 3) (6 . 5) (11 . 10)) 2205 0.3998 8.5150 ((6 . 13) (7 . 15) (11 . 18) (12 . 19)) 2209 0.3999 6.0699 ((5 . 2) (6 . 3) (11 . 7) (12 . 9)) 2243 0.4501 14.3343 ((1 . 44) (2 . 46) (6 . 49) (11 . 53) (12 . 54)) 2244 0.5000 3.9757 ((3 . 70) (6 . 74) (7 . 75) (11 . 79) (12 . 80)) 2248 0.3999 7.2027 ((2 . 17) (5 . 20) (11 . 22) (12 . 28)) 2249 0.4000 5.4451 ((5 . 14) (7 . 16) (11 . 21) (12 . 23)) 2269 0.3998 7.8967 ((1 . 7) (3 . 8) (5 . 9) (6 . 10)) 2279 0.5000 3.8908 ((5 . 1) (6 . 3) (7 . 5) (11 . 7) (12 . 9)) 2298 0.4988 10.0224 ((2 . 5) (3 . 6) (5 . 7) (6 . 8) (12 . 17)) 2308 0.3998 8.5237 ((2 . 1) (6 . 4) (7 . 5) (12 . 8)) 2314 0.3999 6.7363 ((6 . 2) (7 . 3) (11 . 7) (12 . 8)) 2340 0.3998 8.0680 ((2 . 8) (4 . 11) (6 . 13) (7 . 14)) 2344 0.3999 6.2000 ((6 . 7) (7 . 11) (11 . 13) (12 . 14)) 2364 0.3999 6.5042 ((2 . 8) (3 . 9) (6 . 12) (10 . 16)) 2381 0.3998 8.5672 ((2 . 2) (3 . 4) (4 . 5) (5 . 8)) 2389 0.3999 7.6689 ((2 . 2) (4 . 4) (6 . 6) (7 . 7)) 2393 0.3667 10.9827 ((1 . 15) (2 . 17) (4 . 18) (5 . 19)) 2408 0.3999 7.0392 ((6 . 41) (7 . 42) (11 . 46) (12 . 47)) 2409 0.3996 10.2947 ((2 . 1) (4 . 2) (6 . 5) (7 . 6)) 2410 0.3671 5.6991 ((5 . 12) (7 . 13) (10 . 15) (11 . 16) (12 . 17)) 2422 0.3998 8.6607 ((4 . 4) (6 . 7) (7 . 8) (10 . 10)) 2423 0.4529 7.8577 ((3 . 21) (4 . 22) (5 . 23) (6 . 25) (7 . 26)) 2440 0.4000 5.0470 ((3 . 4) (5 . 5) (6 . 7) (7 . 8)) 2447 0.4997 7.2092 ((2 . 16) (3 . 18) (6 . 21) (7 . 24) (10 . 27)) 2462 1.0000 0.0000 ((1 . 1) (2 . 2) (3 . 3) (4 . 4) (5 . 5) (6 . 6) (7 . 7) (10 . 10) (11 . 11) (12 . 12)) 2510 0.4000 5.4184 ((3 . 1) (5 . 2) (6 . 3) (12 . 9)) 2519 0.3999 7.6397 ((5 . 1) (7 . 2) (10 . 4) (12 . 5)) 2525 0.4527 9.0196 ((1 . 43) (3 . 45) (5 . 46) (6 . 47) (7 . 48)) 2529 0.4000 4.7456 ((7 . 1) (10 . 2) (11 . 3) (12 . 5)) 2533 0.4989 9.8035 ((2 . 3) (3 . 4) (5 . 5) (6 . 6) (10 . 11)) 2551 0.2800 11.0353 ((5 . 5) (10 . 10) (11 . 11) (12 . 12)) 2552 0.3361 10.9987 ((2 . 2) (3 . 3) (4 . 5) (5 . 6)) 2556 0.4000 5.7392 ((7 . 11) (10 . 12) (11 . 13) (12 . 16)) 2557 0.2800 8.7558 ((1 . 3) (2 . 5) (3 . 6) (4 . 7)) 2561 0.4000 5.3585 ((2 . 5) (3 . 6) (6 . 8) (7 . 9)) 2595 0.3999 6.2532 ((3 . 1) (5 . 2) (7 . 6) (12 . 11)) 2619 0.2800 11.0299 ((1 . 1) (3 . 3) (5 . 4) (6 . 5)) 2627 0.3669 9.0082 ((2 . 61) (4 . 64) (5 . 59) (6 . 60)) 2650 0.4000 5.6814 ((6 . 1) (7 . 2) (11 . 5) (12 . 6)) 2658 0.3999 7.3105 ((1 . 1) (4 . 3) (5 . 4) (10 . 8)) 2675 0.3999 7.7767 ((3 . 5) (5 . 9) (6 . 10) (7 . 11)) 2682 0.4000 4.4424 ((1 . 7) (2 . 8) (4 . 11) (10 . 18)) 2696 0.2800 9.7452 ((1 . 32) (2 . 33) (6 . 38) (7 . 39)) 2731 0.2800 8.2327 ((4 . 1) (5 . 3) (6 . 4) (7 . 5)) 2733 0.3999 6.4832 ((6 . 2) (7 . 4) (10 . 7) (11 . 8)) 2755 0.4000 5.6892 ((4 . 1) (5 . 2) (6 . 3) (12 . 8)) 2773 0.4998 6.0074 ((6 . 2) (7 . 3) (10 . 4) (11 . 5) (12 . 6)) 2783 0.3998 7.9701 ((1 . 6) (3 . 8) (5 . 9) (6 . 12)) 2804 0.3999 7.1743 ((4 . 25) (5 . 27) (11 . 34) (12 . 36)) 2821 0.3994 10.9085 ((3 . 1) (5 . 6) (10 . 10) (11 . 11)) 2830 0.4999 4.9079 ((2 . 10) (3 . 11) (6 . 15) (7 . 17) (12 . 19)) 2834 0.3999 6.3696 ((3 . 1) (5 . 2) (6 . 5) (7 . 6)) 2840 0.3998 8.2230 ((2 . 3) (3 . 6) (6 . 9) (7 . 11)) 2842 0.4000 4.7844 ((5 . 3) (6 . 4) (7 . 5) (12 . 9)) 2879 0.4000 4.9879 ((6 . 51) (7 . 52) (11 . 57) (12 . 58)) 2886 0.3999 6.7279 ((6 . 38) (7 . 39) (11 . 43) (12 . 44)) 2929 0.3671 3.7794 ((1 . 36) (2 . 37) (4 . 40) (5 . 41)) 2940 0.4000 4.8987 ((3 . 1) (5 . 2) (6 . 4) (7 . 5)) 2947 0.5000 4.2200 ((6 . 3) (7 . 4) (10 . 5) (11 . 6) (12 . 7)) 2955 0.3998 7.8825 ((1 . 13) (3 . 17) (6 . 18) (7 . 19)) 2966 0.3999 6.5349 ((5 . 2) (6 . 3) (7 . 4) (11 . 10)) 2990 0.4000 5.2429 ((5 . 8) (6 . 9) (7 . 12) (12 . 16)) 2999 0.3998 8.4468 ((1 . 4) (2 . 5) (3 . 6) (4 . 7)) 3014 0.2800 8.5552 ((2 . 21) (3 . 22) (11 . 33) (12 . 34)) 3019 0.4993 8.6785 ((5 . 18) (6 . 19) (7 . 20) (11 . 22) (12 . 25)) 3034 0.3999 6.5430 ((5 . 6) (7 . 7) (10 . 8) (11 . 9)) 3041 0.4983 10.8972 ((2 . 13) (3 . 14) (5 . 15) (6 . 16) (11 . 24)) 3055 0.4998 6.4812 ((3 . 8) (6 . 12) (7 . 13) (11 . 17) (12 . 19)) 3063 0.3999 6.3132 ((6 . 33) (7 . 35) (11 . 38) (12 . 39)) 3070 0.3998 8.3106 ((1 . 33) (2 . 34) (3 . 35) (4 . 36)) 3084 0.3998 8.8838 ((6 . 3) (7 . 5) (11 . 7) (12 . 9)) 3102 0.3998 8.1285 ((1 . 71) (4 . 74) (6 . 77) (7 . 80)) 3103 0.0999 7.1597 ((3 . 1) (6 . 3) (11 . 11) (12 . 13)) 3114 0.3990 12.6548 ((3 . 21) (6 . 24) (7 . 25) (11 . 29)) 3120 0.2910 5.1569 ((5 . 20) (6 . 21) (7 . 22) (10 . 24) (12 . 25)) 3127 0.3999 6.4804 ((7 . 6) (10 . 9) (11 . 11) (12 . 13)) 3147 0.4999 5.7696 ((3 . 11) (6 . 16) (7 . 17) (11 . 21) (12 . 22)) 3176 0.3999 7.8159 ((2 . 23) (4 . 26) (6 . 27) (7 . 29)) 3187 0.4000 5.1728 ((6 . 1) (7 . 2) (11 . 4) (12 . 5)) 3190 0.3999 6.2438 ((3 . 1) (5 . 2) (6 . 3) (12 . 11)) 3197 0.4000 5.5569 ((3 . 19) (5 . 20) (6 . 21) (12 . 28)) 3200 0.4000 5.0687 ((5 . 8) (6 . 9) (7 . 11) (12 . 16)) 3202 0.0999 12.5589 ((5 . 10) (10 . 15) (11 . 18) (12 . 19)) 3212 0.3997 9.1094 ((5 . 1) (6 . 3) (7 . 5) (11 . 9)) 3222 0.3996 9.7917 ((1 . 6) (4 . 10) (10 . 17) (11 . 18)) 3256 0.3999 6.7362 ((6 . 18) (7 . 19) (11 . 26) (12 . 28)) 3261 0.4000 4.4644 ((5 . 5) (6 . 6) (7 . 7) (10 . 11)) 3286 0.3998 8.2098 ((6 . 4) (7 . 5) (10 . 8) (11 . 9)) 3297 0.4000 5.1962 ((3 . 3) (7 . 7) (11 . 9) (12 . 11)) 3300 0.1970 10.2963 ((4 . 2) (5 . 3) (6 . 5) (10 . 11)) 3322 0.4000 5.7722 ((7 . 1) (10 . 2) (11 . 3) (12 . 5)) 3334 0.3999 7.5162 ((1 . 6) (4 . 10) (5 . 11) (10 . 13)) 3339 0.3999 7.0052 ((2 . 16) (3 . 17) (6 . 21) (7 . 22)) 3344 0.3997 9.3628 ((4 . 19) (6 . 21) (7 . 22) (11 . 27)) 3358 0.3999 6.8956 ((4 . 1) (7 . 4) (10 . 5) (11 . 8)) 3362 0.3999 6.2586 ((7 . 4) (10 . 5) (11 . 6) (12 . 8)) 3366 0.4000 5.8120 ((6 . 23) (7 . 24) (11 . 27) (12 . 28)) 3391 0.4000 4.4092 ((2 . 5) (3 . 6) (6 . 10) (12 . 17)) 3410 0.4000 5.8987 ((7 . 19) (10 . 20) (11 . 21) (12 . 24)) 3418 0.4000 4.8790 ((2 . 1) (3 . 2) (6 . 6) (7 . 7)) 3446 0.2800 8.5681 ((5 . 1) (10 . 4) (11 . 5) (12 . 6)) 3472 0.4000 3.1351 ((6 . 1) (7 . 3) (11 . 8) (12 . 9)) 3481 0.3998 8.4111 ((2 . 3) (5 . 5) (6 . 7) (7 . 8)) 3489 0.3997 9.4109 ((3 . 2) (6 . 4) (11 . 12) (12 . 14)) 3495 0.3671 3.0572 ((6 . 2) (7 . 3) (10 . 6) (11 . 7) (12 . 8)) 3496 0.3671 4.0548 ((6 . 18) (7 . 19) (10 . 21) (11 . 22) (12 . 23)) 3533 0.3999 6.8864 ((1 . 5) (2 . 6) (3 . 8) (4 . 10)) 3537 0.4994 8.3678 ((2 . 3) (3 . 7) (5 . 8) (6 . 9) (7 . 10)) 3538 0.4000 4.9044 ((5 . 17) (6 . 18) (7 . 20) (12 . 23)) 3548 0.3999 7.1483 ((6 . 3) (7 . 4) (11 . 9) (12 . 10)) 3549 0.3997 9.2815 ((3 . 2) (4 . 3) (6 . 5) (7 . 8)) 3561 0.4000 5.3224 ((2 . 21) (3 . 22) (6 . 26) (10 . 32)) 3570 0.4999 5.1124 ((3 . 1) (5 . 2) (6 . 4) (7 . 7) (12 . 10)) 3585 0.4994 8.5637 ((3 . 8) (6 . 13) (7 . 14) (10 . 15) (11 . 16)) 3613 0.3998 8.6126 ((3 . 36) (6 . 40) (7 . 41) (10 . 42)) 3625 0.3991 12.4947 ((6 . 3) (7 . 5) (11 . 7) (12 . 9)) 3626 0.3362 9.6136 ((2 . 1) (3 . 3) (4 . 6) (5 . 5)) 3628 0.4989 9.8238 ((3 . 6) (5 . 7) (6 . 8) (7 . 9) (12 . 14)) 3651 0.4995 8.2272 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (11 . 13)) 3656 0.1329 6.8873 ((2 . 12) (10 . 21) (11 . 22) (12 . 23)) 3658 0.3998 7.9300 ((2 . 2) (4 . 3) (6 . 6) (7 . 7)) 3659 0.3999 6.5093 ((6 . 5) (7 . 7) (11 . 12) (12 . 13)) 3661 0.3997 9.1728 ((2 . 5) (3 . 7) (6 . 11) (7 . 12)) 3663 0.3362 9.1314 ((3 . 1) (4 . 2) (5 . 4) (6 . 5)) 3688 0.4996 7.5452 ((6 . 1) (7 . 2) (10 . 10) (11 . 11) (12 . 40)) 3697 0.3998 8.0505 ((6 . 3) (7 . 4) (10 . 5) (11 . 6)) 3703 0.3999 7.5315 ((6 . 3) (7 . 4) (11 . 6) (12 . 7)) 3732 0.3998 8.6876 ((4 . 2) (6 . 5) (11 . 11) (12 . 12)) 3733 0.3998 7.9389 ((3 . 1) (5 . 2) (6 . 3) (7 . 6)) 3740 0.4000 5.0076 ((6 . 4) (7 . 5) (11 . 7) (12 . 9)) 3741 0.4998 6.4546 ((1 . 4) (2 . 5) (6 . 13) (7 . 14) (11 . 17)) 3776 0.4000 5.1365 ((2 . 16) (3 . 17) (6 . 21) (10 . 25)) 3778 0.3999 7.5428 ((6 . 2) (7 . 3) (10 . 5) (12 . 7)) 3787 0.3999 6.5844 ((2 . 18) (3 . 19) (6 . 21) (10 . 25)) 3790 0.4999 5.3650 ((3 . 14) (6 . 16) (7 . 18) (11 . 21) (12 . 22)) 3807 0.4000 5.4136 ((6 . 46) (7 . 47) (10 . 49) (11 . 50)) 3810 0.3996 10.2095 ((3 . 10) (4 . 11) (6 . 14) (7 . 15)) 3817 0.3998 7.9184 ((2 . 6) (3 . 7) (5 . 8) (6 . 9)) 3818 0.3998 8.0826 ((3 . 20) (5 . 21) (11 . 28) (12 . 29)) 3829 0.3965 17.4030 ((5 . 3) (7 . 5) (11 . 9) (12 . 12)) 3831 0.3999 6.5249 ((6 . 5) (7 . 6) (10 . 7) (12 . 9)) 3847 0.2800 10.5197 ((4 . 9) (5 . 10) (7 . 13) (11 . 17)) 3849 0.2801 6.1840 ((7 . 1) (10 . 4) (11 . 5) (12 . 8)) 3853 0.3362 10.0041 ((2 . 11) (3 . 12) (4 . 14) (5 . 16)) 3856 0.3997 9.2703 ((1 . 6) (3 . 9) (6 . 12) (7 . 14)) 3870 0.4000 4.1910 ((2 . 4) (3 . 5) (6 . 8) (12 . 13)) 3933 0.3999 7.4442 ((3 . 13) (4 . 14) (6 . 17) (7 . 18)) 3938 0.4000 4.9188 ((2 . 1) (3 . 2) (6 . 8) (7 . 9)) 3968 0.3998 7.9785 ((2 . 4) (3 . 5) (5 . 8) (6 . 9)) 3986 0.3998 8.2336 ((2 . 10) (4 . 13) (11 . 21) (12 . 25)) 3990 0.3999 7.2671 ((2 . 19) (3 . 20) (6 . 23) (7 . 24)) 4005 0.3999 6.4050 ((6 . 32) (7 . 33) (11 . 40) (12 . 41)) 4009 0.3999 7.7891 ((2 . 6) (3 . 7) (5 . 8) (10 . 16)) 4019 0.3999 6.5751 ((6 . 35) (7 . 36) (11 . 42) (12 . 43)) 4034 0.4998 6.4733 ((2 . 3) (3 . 5) (7 . 9) (11 . 12) (12 . 13)) 4062 0.3998 8.6082 ((2 . 45) (4 . 48) (6 . 49) (7 . 50)) 4067 0.4985 10.6508 ((2 . 15) (3 . 16) (5 . 17) (6 . 20) (12 . 25)) 4082 0.3998 8.5928 ((5 . 4) (6 . 6) (7 . 7) (11 . 10)) 4087 0.4000 5.6377 ((6 . 1) (7 . 3) (11 . 6) (12 . 7)) 4115 0.3998 8.0005 ((2 . 7) (6 . 8) (7 . 10) (10 . 11)) 4140 0.3991 12.4739 ((3 . 21) (5 . 25) (6 . 23) (10 . 27)) 4151 0.4980 11.4452 ((2 . 8) (3 . 9) (5 . 11) (6 . 12) (10 . 18)) 4154 0.3995 10.4268 ((3 . 52) (4 . 53) (6 . 56) (7 . 57)) 4177 0.3994 11.1393 ((1 . 1) (5 . 4) (7 . 7) (11 . 9)) 4190 0.3994 10.9130 ((2 . 2) (3 . 3) (5 . 6) (7 . 8)) 4192 0.3996 9.8924 ((3 . 13) (5 . 14) (7 . 19) (12 . 22)) 4194 0.4997 6.9193 ((2 . 2) (3 . 3) (5 . 4) (6 . 5) (7 . 6)) 4195 0.3999 6.6844 ((2 . 7) (4 . 9) (5 . 10) (10 . 11)) 4204 0.4993 8.7193 ((2 . 4) (3 . 5) (5 . 6) (6 . 9) (11 . 15)) 4209 0.1970 8.2667 ((1 . 1) (2 . 3) (4 . 4) (10 . 11)) 4210 0.4200 7.4892 ((2 . 1) (4 . 4) (6 . 6) (7 . 8) (10 . 9) (11 . 10)) 4226 0.3998 7.8982 ((2 . 13) (3 . 14) (6 . 18) (7 . 19)) 4246 0.3995 10.8047 ((3 . 2) (4 . 3) (6 . 5) (7 . 6)) 4254 0.3999 7.1144 ((6 . 9) (7 . 11) (10 . 14) (11 . 15)) 4255 0.0999 12.2449 ((2 . 20) (5 . 22) (6 . 23) (7 . 24)) 4257 0.3999 6.4898 ((2 . 2) (3 . 3) (6 . 8) (7 . 9)) 4265 0.4000 5.0432 ((3 . 20) (7 . 26) (10 . 28) (11 . 29)) 4266 0.3999 6.4232 ((7 . 2) (10 . 3) (11 . 4) (12 . 6)) 4274 0.2801 4.2229 ((7 . 36) (10 . 39) (11 . 40) (12 . 41)) 4275 0.3997 9.5209 ((2 . 24) (3 . 27) (4 . 28) (5 . 29)) 4281 0.3998 7.8900 ((6 . 4) (7 . 5) (10 . 9) (11 . 10)) 4284 0.4000 5.6424 ((6 . 4) (7 . 5) (11 . 9) (12 . 10)) 4299 0.3999 7.4926 ((2 . 5) (3 . 6) (6 . 9) (12 . 16)) 4301 0.3996 9.7685 ((1 . 1) (3 . 3) (6 . 6) (7 . 8)) 4326 0.3996 10.0309 ((2 . 8) (3 . 10) (5 . 14) (6 . 15)) 4332 0.4998 6.3853 ((5 . 1) (6 . 2) (7 . 4) (11 . 6) (12 . 9)) 4338 0.4000 4.7882 ((3 . 4) (5 . 5) (6 . 6) (7 . 7)) 4352 0.2801 7.4120 ((5 . 2) (10 . 7) (11 . 9) (12 . 10)) 4359 0.4999 4.5972 ((3 . 6) (6 . 10) (7 . 11) (11 . 14) (12 . 15)) 4380 0.4000 5.5413 ((2 . 6) (6 . 14) (7 . 15) (11 . 18)) 4386 0.3999 6.8878 ((2 . 7) (6 . 9) (7 . 10) (10 . 13)) 4388 0.4999 5.5880 ((3 . 1) (6 . 3) (7 . 6) (11 . 9) (12 . 10)) 4398 0.3997 9.3908 ((2 . 5) (3 . 6) (5 . 9) (6 . 10)) 4405 0.1970 5.5504 ((7 . 14) (10 . 17) (11 . 18) (12 . 19)) 4408 0.4000 5.0587 ((7 . 2) (10 . 5) (11 . 6) (12 . 7)) 4415 0.4997 7.1847 ((3 . 1) (5 . 2) (6 . 3) (7 . 4) (11 . 9)) 4419 0.4989 9.8111 ((2 . 2) (3 . 3) (6 . 8) (7 . 9) (10 . 11)) 4426 0.1970 6.3988 ((5 . 3) (7 . 4) (10 . 5) (11 . 6)) 4470 0.3999 6.2525 ((1 . 3) (2 . 4) (3 . 5) (12 . 14)) 4491 0.2909 8.8335 ((4 . 1) (5 . 4) (6 . 5) (7 . 6) (11 . 8)) 4492 0.4000 5.3567 ((5 . 10) (6 . 11) (11 . 18) (12 . 21)) 4495 0.4000 5.3645 ((7 . 6) (10 . 7) (11 . 8) (12 . 10)) 4497 0.4000 4.6352 ((3 . 18) (7 . 23) (11 . 27) (12 . 28)) 4502 0.3998 8.1615 ((3 . 11) (5 . 13) (6 . 14) (10 . 21)) 4503 0.2801 7.5234 ((3 . 1) (4 . 3) (6 . 6) (7 . 7)) 4504 0.4000 4.8594 ((5 . 5) (6 . 6) (7 . 8) (12 . 13)) 4505 0.3997 9.5169 ((2 . 27) (5 . 29) (6 . 30) (10 . 35)) 4516 0.4995 8.0494 ((2 . 5) (5 . 7) (6 . 8) (7 . 10) (10 . 11)) 4527 0.3999 7.4217 ((1 . 1) (5 . 4) (6 . 6) (7 . 7)) 4538 0.3996 10.1630 ((2 . 27) (4 . 30) (6 . 33) (7 . 34)) 4560 0.3999 7.3127 ((2 . 7) (3 . 8) (5 . 10) (12 . 18)) 4561 0.4000 5.5102 ((2 . 4) (3 . 5) (11 . 15) (12 . 16)) 4562 0.3999 6.2998 ((7 . 19) (10 . 21) (11 . 22) (12 . 25)) 4563 0.4990 9.6890 ((2 . 27) (3 . 28) (5 . 30) (6 . 31) (11 . 35)) 4577 0.3999 7.0031 ((6 . 37) (7 . 39) (11 . 42) (12 . 43)) 4579 0.3995 10.5895 ((2 . 6) (5 . 8) (10 . 16) (12 . 17)) 4588 0.3999 6.4739 ((6 . 1) (10 . 4) (11 . 8) (12 . 9)) 4589 0.3998 8.4609 ((5 . 17) (6 . 18) (7 . 19) (11 . 23)) 4621 0.3999 6.1431 ((2 . 1) (6 . 7) (7 . 8) (11 . 11)) 4630 0.4998 5.9626 ((3 . 12) (6 . 15) (7 . 18) (11 . 20) (12 . 21)) 4648 0.2801 7.8178 ((6 . 2) (7 . 5) (10 . 7) (11 . 8)) 4653 0.3999 6.6820 ((2 . 2) (4 . 5) (6 . 8) (7 . 9)) 4668 0.4000 5.8979 ((7 . 1) (10 . 2) (11 . 3) (12 . 5)) 4669 0.3999 6.4785 ((2 . 16) (3 . 17) (6 . 19) (10 . 22)) 4671 0.3997 9.0419 ((2 . 9) (4 . 11) (6 . 14) (7 . 15)) 4674 0.3999 6.3503 ((6 . 1) (7 . 2) (11 . 6) (12 . 8)) 4678 0.4000 5.6429 ((1 . 11) (3 . 12) (4 . 14) (6 . 16)) 4713 0.3999 7.4215 ((5 . 1) (7 . 3) (11 . 7) (12 . 8)) 4715 0.2413 3.8885 ((1 . 3) (2 . 4) (4 . 6) (5 . 7)) 4731 0.3999 6.2101 ((2 . 13) (6 . 18) (11 . 23) (12 . 24)) 4857 0.1970 4.7983 ((6 . 3) (7 . 5) (11 . 9) (12 . 11)) 4886 0.3999 7.4612 ((1 . 22) (4 . 24) (11 . 30) (12 . 31)) 4888 0.3997 9.3294 ((2 . 10) (5 . 11) (6 . 14) (7 . 15)) 4889 0.3999 7.3223 ((6 . 2) (7 . 3) (10 . 5) (12 . 7)) 4907 0.3998 8.2897 ((1 . 1) (6 . 8) (7 . 9) (10 . 10)) 4914 0.2800 10.9257 ((7 . 1) (10 . 3) (11 . 5) (12 . 6)) 4921 0.3998 8.0784 ((1 . 8) (4 . 12) (6 . 14) (7 . 15)) 4929 0.3999 7.2517 ((6 . 31) (7 . 32) (11 . 34) (12 . 35)) 4932 0.4000 5.9501 ((6 . 5) (7 . 6) (10 . 7) (11 . 8)) 4940 0.4000 4.8606 ((6 . 1) (7 . 2) (10 . 5) (11 . 6)) 4944 0.4000 4.8747 ((5 . 10) (6 . 11) (11 . 15) (12 . 16)) 4961 0.4986 10.3401 ((2 . 11) (4 . 12) (5 . 13) (6 . 14) (7 . 15)) 4978 0.4000 5.7371 ((3 . 25) (7 . 28) (10 . 29) (11 . 30)) 4982 0.3999 7.3278 ((2 . 5) (3 . 6) (10 . 13) (11 . 14)) 4992 0.4998 6.3725 ((6 . 2) (7 . 3) (10 . 4) (11 . 6) (12 . 9)) 4998 0.3999 6.7773 ((2 . 2) (3 . 26) (5 . 28) (6 . 29)) 5029 0.3999 6.3063 ((6 . 2) (7 . 4) (10 . 7) (11 . 8)) 5036 0.3998 8.0254 ((6 . 1) (7 . 2) (11 . 6) (12 . 7)) 5038 0.3363 6.8609 ((4 . 12) (5 . 13) (6 . 14) (7 . 15)) 5039 0.3998 8.2953 ((2 . 36) (5 . 38) (6 . 39) (11 . 45)) 5044 0.1970 8.6784 ((1 . 1) (6 . 8) (7 . 9) (12 . 16)) 5046 0.3999 6.5829 ((1 . 4) (4 . 7) (6 . 8) (7 . 10)) 5053 0.3993 11.5167 ((2 . 1) (3 . 3) (5 . 7) (11 . 11)) 5065 0.4000 4.8565 ((5 . 1) (6 . 2) (11 . 9) (12 . 10)) 5068 0.4989 9.9158 ((2 . 3) (3 . 4) (6 . 7) (7 . 10) (12 . 16)) 5069 0.4998 6.2714 ((2 . 14) (3 . 15) (6 . 17) (7 . 18) (12 . 19)) 5073 0.4992 9.0413 ((2 . 31) (3 . 32) (5 . 35) (6 . 36) (12 . 42)) 5083 0.2413 8.0298 ((1 . 1) (2 . 3) (5 . 4) (6 . 8)) 5101 0.4000 5.7799 ((3 . 15) (5 . 17) (6 . 18) (12 . 25)) 5103 0.3999 7.2678 ((2 . 3) (3 . 4) (6 . 6) (10 . 11)) 5121 0.4993 8.7716 ((2 . 14) (3 . 16) (6 . 21) (10 . 23) (11 . 25)) 5132 0.4000 4.6313 ((5 . 17) (6 . 18) (7 . 22) (12 . 26)) 5134 0.3997 9.1933 ((1 . 3) (2 . 5) (7 . 10) (10 . 15)) 5145 0.4000 4.3758 ((7 . 3) (10 . 7) (11 . 8) (12 . 10)) 5167 0.4995 7.9104 ((3 . 1) (5 . 2) (6 . 3) (7 . 4) (12 . 9)) 5176 0.3998 8.1314 ((2 . 83) (3 . 84) (4 . 86) (7 . 88)) 5183 0.3998 8.1492 ((3 . 35) (4 . 36) (5 . 39) (10 . 41)) 5192 0.3997 9.6563 ((2 . 2) (3 . 3) (5 . 4) (6 . 5)) 5198 0.4000 5.2975 ((3 . 26) (5 . 27) (6 . 31) (7 . 32)) 5199 0.3994 11.1385 ((5 . 1) (7 . 4) (10 . 6) (11 . 8)) 5209 0.4000 5.3447 ((5 . 2) (6 . 3) (7 . 4) (12 . 8)) 5215 0.3999 6.0437 ((6 . 10) (7 . 11) (10 . 14) (11 . 15)) 5223 0.4000 5.9324 ((7 . 6) (10 . 9) (11 . 10) (12 . 12)) 5231 0.3999 6.6866 ((6 . 8) (7 . 12) (11 . 14) (12 . 16)) 5266 0.4000 5.1492 ((7 . 8) (10 . 11) (11 . 13) (12 . 15)) 5278 0.4000 4.3019 ((6 . 2) (7 . 5) (11 . 9) (12 . 10)) 5307 0.3998 8.7744 ((2 . 54) (3 . 57) (4 . 58) (5 . 59)) 5318 0.3999 7.1991 ((2 . 17) (3 . 19) (6 . 22) (7 . 23)) 5323 0.3999 6.5825 ((2 . 2) (10 . 9) (11 . 10) (12 . 11)) 5324 0.3999 6.0317 ((2 . 13) (3 . 14) (6 . 15) (7 . 16)) 5344 0.2800 8.1055 ((7 . 3) (10 . 6) (11 . 7) (12 . 8)) 5345 0.4998 6.3592 ((3 . 7) (6 . 12) (7 . 13) (11 . 17) (12 . 18)) 5368 0.4999 5.8408 ((3 . 26) (6 . 30) (7 . 32) (11 . 36) (12 . 37)) 5378 0.5997 5.5417 ((5 . 1) (6 . 3) (7 . 4) (10 . 5) (11 . 6) (12 . 7)) 5411 0.4000 3.2189 ((7 . 3) (10 . 5) (11 . 6) (12 . 8)) 5414 0.4000 5.5557 ((6 . 14) (7 . 15) (11 . 20) (12 . 21)) 5418 0.3999 6.0842 ((6 . 2) (7 . 3) (11 . 8) (12 . 9)) 5421 0.3998 7.9095 ((3 . 1) (4 . 2) (6 . 4) (7 . 5)) 5433 0.3999 6.0498 ((3 . 5) (6 . 8) (7 . 14) (10 . 24)) 5479 0.4978 11.6532 ((1 . 60) (6 . 68) (7 . 69) (11 . 71) (12 . 74)) 5487 0.3998 8.2835 ((6 . 4) (7 . 7) (11 . 9) (12 . 11)) 5489 0.3999 6.0810 ((3 . 2) (6 . 6) (11 . 12) (12 . 13)) 5500 0.2800 8.6163 ((6 . 4) (7 . 7) (10 . 10) (11 . 12)) 5501 0.3991 12.3924 ((2 . 28) (4 . 30) (5 . 32) (10 . 38)) 5535 0.4996 7.5654 ((2 . 1) (5 . 5) (6 . 6) (7 . 7) (10 . 13)) 5540 0.4522 10.6404 ((2 . 9) (4 . 10) (6 . 15) (10 . 17) (11 . 18)) 5557 0.4000 5.2307 ((6 . 3) (7 . 4) (10 . 5) (11 . 6)) 5560 0.3999 7.2363 ((3 . 13) (5 . 14) (6 . 15) (12 . 22)) 5562 0.3999 6.3178 ((5 . 9) (7 . 11) (10 . 13) (11 . 14)) 5567 0.3998 8.9246 ((6 . 6) (7 . 8) (10 . 10) (11 . 11)) 5594 0.3999 7.0892 ((3 . 1) (5 . 2) (6 . 3) (7 . 4)) 5600 0.4983 10.9376 ((2 . 1) (5 . 4) (6 . 5) (7 . 6) (11 . 9)) 5601 0.3999 6.2231 ((2 . 11) (3 . 12) (6 . 15) (7 . 16)) 5638 0.1970 9.4059 ((1 . 9) (2 . 12) (3 . 13) (5 . 14)) 5640 0.4999 5.5562 ((3 . 3) (6 . 5) (7 . 6) (11 . 10) (12 . 11)) 5644 0.4000 4.3711 ((6 . 3) (7 . 4) (11 . 13) (12 . 14)) 5656 0.4000 4.7781 ((1 . 10) (3 . 14) (6 . 16) (11 . 23)) 5700 0.3999 7.5582 ((6 . 3) (7 . 4) (11 . 9) (12 . 11)) 5701 0.3999 6.1940 ((2 . 3) (3 . 4) (6 . 6) (12 . 11)) 5703 0.3999 6.9896 ((1 . 2) (2 . 3) (6 . 7) (7 . 8)) 5711 0.3999 6.2904 ((3 . 37) (4 . 38) (6 . 42) (7 . 43)) 5713 0.4999 5.5500 ((3 . 10) (6 . 15) (7 . 16) (11 . 21) (12 . 22)) 5718 0.4000 5.9542 ((2 . 15) (5 . 22) (6 . 23) (7 . 24)) 5731 0.4000 5.9490 ((6 . 2) (7 . 3) (10 . 6) (11 . 7)) 5746 0.4997 7.3033 ((5 . 1) (6 . 2) (7 . 3) (10 . 5) (12 . 8)) 5749 0.3997 9.5918 ((2 . 2) (6 . 5) (7 . 6) (10 . 9)) 5761 0.3999 6.0506 ((6 . 31) (7 . 32) (10 . 34) (11 . 36)) 5770 0.3999 6.1873 ((5 . 2) (7 . 6) (11 . 9) (12 . 12)) 5771 0.3999 7.3163 ((2 . 7) (5 . 10) (6 . 13) (7 . 14)) 5782 0.4998 6.0863 ((3 . 1) (6 . 34) (7 . 35) (10 . 36) (12 . 37)) 5789 0.3999 6.6628 ((5 . 1) (7 . 2) (10 . 4) (12 . 5)) 5794 0.4000 4.5842 ((3 . 16) (6 . 18) (7 . 19) (11 . 23)) 5795 0.3997 9.7210 ((3 . 1) (5 . 3) (7 . 6) (11 . 10)) 5809 0.3999 6.7319 ((7 . 1) (10 . 2) (11 . 3) (12 . 5)) 5822 0.3999 6.4928 ((1 . 4) (2 . 5) (3 . 6) (4 . 7)) 5827 0.3999 6.7142 ((6 . 2) (7 . 3) (10 . 6) (11 . 8)) 5830 0.4000 5.5737 ((6 . 2) (7 . 3) (11 . 8) (12 . 10)) 5847 0.3999 6.3643 ((3 . 3) (4 . 4) (6 . 8) (7 . 9)) 5861 0.4000 5.7235 ((6 . 10) (7 . 11) (11 . 16) (12 . 17)) 5865 0.3997 9.7150 ((3 . 1) (4 . 2) (6 . 5) (10 . 8)) 5878 0.3999 7.4211 ((4 . 25) (6 . 29) (7 . 30) (10 . 31)) 5888 0.4999 4.7735 ((3 . 16) (6 . 20) (7 . 21) (11 . 25) (12 . 26)) 5896 0.0999 8.0555 ((4 . 26) (5 . 27) (6 . 28) (7 . 29)) 5904 0.3999 6.6269 ((3 . 1) (5 . 3) (6 . 4) (12 . 9)) 5913 0.3999 6.8868 ((2 . 14) (3 . 15) (6 . 20) (7 . 22)) 5914 0.4000 5.9331 ((4 . 2) (5 . 4) (6 . 5) (7 . 6)) 5922 0.3999 7.0735 ((4 . 1) (7 . 6) (11 . 9) (12 . 10)) 5930 0.3999 6.2642 ((3 . 2) (5 . 3) (6 . 4) (12 . 11)) 5939 0.3999 6.0120 ((7 . 2) (10 . 3) (11 . 4) (12 . 6)) 5945 0.5044 5.4960 ((3 . 28) (6 . 32) (7 . 33) (10 . 34) (11 . 37) (12 . 38)) 5949 0.3999 6.5851 ((5 . 8) (7 . 9) (10 . 13) (11 . 14)) 5955 0.3998 8.6829 ((6 . 1) (7 . 3) (11 . 7) (12 . 9)) 5967 0.4000 5.8055 ((7 . 1) (10 . 2) (11 . 3) (12 . 7)) 5977 0.4000 4.9014 ((7 . 3) (10 . 4) (11 . 5) (12 . 6)) 6000 0.3998 8.4296 ((4 . 9) (5 . 11) (10 . 16) (11 . 17)) 6011 0.4000 5.6078 ((3 . 7) (6 . 9) (7 . 10) (11 . 15)) 6022 0.3997 9.0404 ((3 . 1) (6 . 2) (7 . 4) (11 . 9)) 6029 0.4000 3.2928 ((6 . 5) (7 . 6) (11 . 10) (12 . 11)) 6041 0.4000 5.5098 ((5 . 9) (6 . 10) (7 . 11) (11 . 15)) 6061 0.3999 7.5091 ((2 . 12) (7 . 17) (11 . 20) (12 . 21)) 6074 0.3999 7.3990 ((5 . 1) (7 . 2) (11 . 6) (12 . 8)) 6075 0.3999 6.7003 ((3 . 17) (5 . 19) (6 . 20) (12 . 28)) 6079 0.4991 9.2930 ((3 . 1) (5 . 2) (6 . 6) (7 . 7) (11 . 11)) 6087 0.2800 9.2326 ((3 . 3) (5 . 4) (7 . 8) (11 . 10)) 6089 0.3999 6.1691 ((3 . 1) (5 . 2) (6 . 3) (12 . 11)) 6094 0.2801 6.3038 ((6 . 2) (7 . 3) (10 . 6) (11 . 7)) 6099 0.4000 4.7911 ((3 . 22) (6 . 24) (7 . 25) (12 . 29)) 6142 0.4999 5.7677 ((3 . 8) (6 . 10) (7 . 11) (11 . 15) (12 . 16)) 6167 0.4000 5.7719 ((1 . 10) (3 . 14) (6 . 20) (7 . 21)) 6173 0.4998 6.4745 ((3 . 4) (6 . 7) (7 . 8) (11 . 13) (12 . 15)) 6191 0.5000 3.3375 ((5 . 1) (6 . 3) (7 . 4) (11 . 12) (12 . 13)) 6192 0.3999 6.9504 ((3 . 1) (5 . 2) (11 . 10) (12 . 11)) 6215 0.1970 11.0866 ((4 . 17) (6 . 19) (7 . 20) (11 . 24)) 6225 0.4000 2.8808 ((5 . 2) (6 . 3) (7 . 4) (12 . 10)) 6228 0.4000 5.8282 ((7 . 1) (10 . 2) (11 . 3) (12 . 5)) 6234 0.3999 6.7934 ((1 . 7) (4 . 13) (5 . 14) (6 . 15)) 6238 0.4000 5.5072 ((2 . 1) (5 . 2) (11 . 8) (12 . 9)) 6243 0.3999 7.6603 ((2 . 5) (6 . 6) (7 . 8) (10 . 9)) 6251 0.3999 6.3142 ((3 . 8) (5 . 9) (6 . 10) (12 . 17)) 6258 0.2800 10.2331 ((1 . 7) (2 . 8) (3 . 9) (5 . 11)) 6261 0.3999 6.8615 ((2 . 18) (4 . 22) (5 . 23) (10 . 25)) 6266 0.3997 8.9972 ((2 . 4) (3 . 6) (4 . 8) (6 . 10)) 6270 0.3998 8.0632 ((1 . 9) (5 . 14) (7 . 15) (12 . 20)) 6271 0.3999 7.5858 ((3 . 8) (6 . 10) (7 . 11) (10 . 14)) 6273 0.0999 6.7522 ((1 . 1) (6 . 6) (7 . 7) (12 . 13)) 6294 0.4991 9.2302 ((2 . 10) (3 . 11) (5 . 12) (6 . 14) (7 . 16)) 6306 0.1493 7.9162 ((7 . 15) (10 . 18) (11 . 19) (12 . 21)) 6309 0.3998 8.5536 ((1 . 17) (2 . 19) (3 . 20) (7 . 25)) 6311 0.4995 8.0817 ((3 . 1) (6 . 4) (7 . 5) (11 . 10) (12 . 11)) 6326 0.4000 5.0421 ((6 . 2) (7 . 3) (11 . 6) (12 . 7)) 6344 0.4000 5.7201 ((2 . 9) (7 . 12) (11 . 18) (12 . 19)) 6345 0.4000 5.9218 ((3 . 5) (6 . 6) (7 . 7) (12 . 11)) 6348 0.4000 5.9674 ((3 . 1) (5 . 3) (6 . 4) (12 . 9)) 6355 0.3998 8.7015 ((5 . 3) (6 . 4) (7 . 6) (11 . 10)) 6356 0.4000 5.4921 ((2 . 2) (4 . 4) (10 . 10) (11 . 11)) 6369 0.4984 10.8499 ((2 . 21) (3 . 22) (5 . 23) (6 . 26) (12 . 31)) 6376 0.4998 6.5502 ((3 . 17) (5 . 18) (6 . 19) (11 . 27) (12 . 28)) 6391 0.3996 10.1522 ((2 . 4) (7 . 8) (10 . 11) (11 . 12)) 6392 0.3997 8.9914 ((2 . 2) (3 . 3) (5 . 6) (6 . 7)) 6399 0.4998 6.3240 ((3 . 10) (6 . 14) (7 . 15) (11 . 19) (12 . 20)) 6403 0.4203 6.7333 ((3 . 5) (5 . 6) (6 . 7) (11 . 14) (12 . 15)) 6434 0.4000 4.5444 ((2 . 1) (3 . 2) (6 . 4) (7 . 5)) 6461 0.1970 6.2199 ((1 . 3) (2 . 4) (4 . 6) (5 . 7)) 6462 0.3999 6.4206 ((7 . 18) (10 . 19) (11 . 20) (12 . 22)) 6476 0.4000 5.3506 ((5 . 1) (7 . 4) (10 . 7) (12 . 9)) 6498 0.3999 7.7734 ((2 . 11) (3 . 42) (5 . 46) (10 . 48)) 6520 0.3999 6.1545 ((6 . 9) (10 . 12) (11 . 14) (12 . 15)) 6539 0.3998 8.4311 ((2 . 1) (3 . 2) (5 . 3) (7 . 8)) 6540 0.3996 10.2038 ((3 . 5) (4 . 6) (7 . 9) (11 . 12)) 6548 0.3987 13.5275 ((2 . 4) (4 . 5) (5 . 6) (10 . 10)) 6553 0.3999 6.0069 ((2 . 12) (6 . 17) (11 . 24) (12 . 25)) 6555 0.3998 8.2315 ((4 . 15) (7 . 20) (11 . 23) (12 . 24)) 6561 0.4000 5.1599 ((5 . 5) (6 . 9) (7 . 10) (12 . 13)) 6573 0.3999 5.9911 ((3 . 19) (6 . 22) (7 . 23) (12 . 24)) 6575 0.3670 8.1861 ((1 . 2) (2 . 3) (3 . 5) (5 . 7)) 6578 0.4000 5.6331 ((6 . 31) (7 . 32) (10 . 36) (11 . 38)) 6584 0.4998 6.3812 ((5 . 1) (6 . 2) (7 . 3) (11 . 7) (12 . 8)) 6585 0.4995 8.0507 ((3 . 6) (5 . 9) (6 . 10) (7 . 11) (11 . 14)) 6586 0.1493 8.2379 ((2 . 16) (5 . 17) (6 . 18) (11 . 25)) 6587 0.4995 7.9213 ((2 . 27) (3 . 29) (5 . 32) (6 . 33) (7 . 34)) 6598 0.5985 8.4374 ((1 . 8) (3 . 10) (5 . 12) (6 . 13) (7 . 16) (11 . 21)) 6613 0.4987 10.2960 ((1 . 12) (6 . 21) (7 . 22) (10 . 23) (11 . 24)) END