1425 51 0.6664 4.8081 ((2 . 1) (4 . 2) (6 . 6) (8 . 7) (10 . 13) (12 . 14)) 62 0.4439 9.4434 ((2 . 10) (6 . 13) (7 . 15) (10 . 16)) 64 0.5552 6.5480 ((2 . 10) (4 . 12) (6 . 13) (8 . 14) (10 . 15)) 77 0.2861 11.4112 ((3 . 8) (4 . 9) (7 . 12) (12 . 15)) 91 0.1980 9.9823 ((7 . 15) (8 . 16) (11 . 19) (12 . 21)) 129 0.6665 4.1180 ((2 . 2) (4 . 3) (6 . 5) (8 . 8) (10 . 11) (12 . 12)) 136 0.4444 5.9045 ((4 . 3) (8 . 5) (10 . 7) (11 . 8)) 153 0.4443 6.1562 ((4 . 7) (8 . 9) (10 . 10) (12 . 12)) 157 0.4443 6.9988 ((2 . 9) (4 . 11) (8 . 14) (12 . 18)) 161 0.4443 6.5470 ((2 . 2) (4 . 4) (8 . 8) (10 . 9)) 162 0.4444 3.9834 ((3 . 15) (8 . 18) (11 . 20) (12 . 22)) 169 0.6664 4.6884 ((2 . 3) (4 . 4) (6 . 5) (8 . 7) (10 . 8) (12 . 9)) 177 0.4443 6.6990 ((4 . 5) (8 . 7) (10 . 8) (11 . 10)) 191 0.4441 8.4597 ((2 . 6) (4 . 7) (6 . 8) (8 . 9)) 198 0.4443 7.3542 ((2 . 14) (3 . 15) (4 . 16) (6 . 17)) 233 0.4444 5.8542 ((3 . 1) (4 . 2) (6 . 3) (10 . 5)) 300 0.4442 7.5593 ((3 . 8) (4 . 10) (7 . 11) (11 . 18)) 305 0.4436 10.4993 ((4 . 15) (6 . 16) (8 . 18) (12 . 21)) 307 0.1495 8.6588 ((2 . 1) (4 . 3) (7 . 6) (12 . 9)) 315 0.4442 7.6405 ((6 . 3) (8 . 5) (10 . 6) (12 . 8)) 350 0.4442 8.0622 ((2 . 11) (8 . 17) (10 . 18) (11 . 20)) 360 0.5102 8.7948 ((2 . 3) (6 . 6) (8 . 7) (10 . 8) (11 . 9)) 361 0.2862 7.8086 ((2 . 1) (4 . 2) (7 . 3) (8 . 4)) 365 0.6662 5.5159 ((3 . 1) (4 . 2) (6 . 3) (8 . 4) (10 . 6) (12 . 8)) 367 0.4444 3.7524 ((7 . 39) (8 . 40) (10 . 42) (11 . 43)) 372 0.4444 5.8620 ((4 . 2) (8 . 6) (10 . 7) (11 . 8)) 387 0.5548 7.8968 ((2 . 7) (4 . 8) (6 . 9) (10 . 11) (11 . 12)) 405 0.4442 7.5097 ((6 . 32) (8 . 33) (10 . 35) (11 . 37)) 417 0.4443 6.7005 ((6 . 1) (8 . 2) (10 . 3) (12 . 7)) 420 0.4444 6.0340 ((2 . 3) (8 . 8) (10 . 9) (11 . 10)) 433 0.4444 5.6838 ((4 . 1) (7 . 2) (10 . 5) (12 . 6)) 442 0.3524 10.1426 ((3 . 10) (6 . 12) (7 . 13) (12 . 14)) 460 0.4441 8.6277 ((2 . 1) (4 . 2) (7 . 4) (12 . 8)) 491 0.4443 7.0794 ((4 . 6) (10 . 8) (11 . 9) (12 . 10)) 495 0.4443 7.2352 ((6 . 7) (8 . 8) (10 . 9) (11 . 11)) 541 0.4444 6.1391 ((7 . 1) (8 . 2) (10 . 3) (11 . 5)) 543 0.4443 7.0263 ((4 . 6) (7 . 7) (8 . 8) (10 . 10)) 561 0.4444 3.9018 ((4 . 1) (7 . 2) (8 . 3) (10 . 4)) 584 0.4444 5.5919 ((7 . 2) (8 . 3) (10 . 4) (11 . 5)) 587 0.5555 4.5834 ((4 . 2) (8 . 4) (10 . 6) (11 . 7) (12 . 8)) 619 0.4443 6.5293 ((6 . 7) (8 . 8) (10 . 9) (12 . 11)) 624 0.4440 9.2618 ((6 . 7) (7 . 8) (8 . 9) (11 . 11)) 635 0.1495 11.6492 ((7 . 12) (8 . 13) (10 . 14) (11 . 15)) 672 0.4444 5.4909 ((4 . 20) (8 . 22) (10 . 23) (11 . 24)) 678 0.1980 9.9009 ((2 . 22) (4 . 24) (6 . 26) (12 . 29)) 683 0.4444 6.0581 ((3 . 1) (4 . 2) (8 . 5) (10 . 6)) 719 0.4444 6.0346 ((3 . 22) (4 . 23) (8 . 25) (10 . 27)) 729 0.2441 9.3704 ((2 . 5) (7 . 8) (8 . 9) (11 . 13)) 735 0.5550 7.2545 ((4 . 29) (6 . 31) (8 . 32) (10 . 33) (12 . 36)) 740 0.4443 6.8520 ((6 . 2) (10 . 5) (11 . 6) (12 . 9)) 765 0.5552 6.4975 ((2 . 7) (4 . 9) (6 . 12) (10 . 17) (12 . 19)) 767 0.1980 8.7261 ((4 . 3) (8 . 8) (11 . 10) (12 . 12)) 795 0.4444 3.9205 ((4 . 3) (7 . 4) (8 . 5) (10 . 6)) 796 0.4444 4.3460 ((4 . 3) (7 . 4) (8 . 5) (10 . 6)) 801 0.4444 5.9802 ((6 . 1) (8 . 2) (10 . 4) (11 . 5)) 812 0.1980 8.2776 ((4 . 8) (7 . 10) (8 . 11) (12 . 13)) 818 0.4443 7.2162 ((4 . 4) (8 . 7) (11 . 10) (12 . 12)) 819 0.4439 9.4129 ((3 . 5) (8 . 8) (10 . 9) (12 . 10)) 824 0.4438 10.0070 ((6 . 43) (8 . 45) (10 . 46) (12 . 49)) 861 0.4443 6.6039 ((4 . 12) (8 . 15) (10 . 16) (11 . 17)) 901 0.4441 8.2407 ((2 . 15) (6 . 17) (7 . 18) (10 . 20)) 904 0.4443 6.6619 ((3 . 2) (4 . 3) (7 . 5) (11 . 7)) 913 0.3935 8.2746 ((7 . 15) (8 . 16) (10 . 17) (12 . 20)) 928 0.4442 7.8653 ((4 . 1) (8 . 3) (11 . 5) (12 . 7)) 937 0.4444 2.7271 ((4 . 1) (7 . 3) (8 . 4) (10 . 5)) 943 0.4442 7.4231 ((3 . 1) (4 . 2) (7 . 3) (11 . 6)) 960 0.4442 7.4106 ((3 . 1) (4 . 2) (6 . 4) (12 . 8)) 980 0.3525 9.0348 ((2 . 3) (6 . 5) (10 . 7) (11 . 9)) 1007 0.4444 5.7527 ((7 . 6) (8 . 7) (10 . 8) (11 . 9)) 1008 0.6658 6.4156 ((2 . 3) (4 . 5) (6 . 8) (8 . 13) (10 . 15) (12 . 16)) 1034 0.2862 7.1814 ((7 . 19) (8 . 20) (10 . 21) (11 . 22)) 1043 0.4444 5.0774 ((4 . 10) (8 . 12) (10 . 14) (12 . 17)) 1082 0.4443 7.3424 ((3 . 1) (4 . 2) (6 . 4) (12 . 8)) 1084 0.4442 7.9039 ((3 . 8) (4 . 9) (6 . 11) (12 . 17)) 1121 0.1495 4.5131 ((7 . 1) (8 . 2) (10 . 3) (11 . 4)) 1165 0.4439 9.6414 ((8 . 2) (10 . 3) (11 . 4) (12 . 7)) 1167 0.4441 8.6833 ((2 . 20) (3 . 21) (4 . 22) (7 . 24)) 1169 0.4443 6.5209 ((8 . 30) (10 . 31) (11 . 32) (12 . 34)) 1195 0.4441 8.7166 ((7 . 3) (8 . 4) (10 . 5) (12 . 6)) 1201 0.4444 4.1138 ((4 . 7) (7 . 8) (8 . 9) (10 . 11)) 1204 0.4443 6.4838 ((4 . 1) (7 . 2) (8 . 3) (11 . 5)) 1211 0.4442 7.9792 ((2 . 5) (8 . 9) (10 . 10) (11 . 11)) 1217 0.4444 5.9622 ((4 . 3) (10 . 9) (11 . 11) (12 . 12)) 1224 0.4443 7.0680 ((2 . 7) (6 . 10) (10 . 14) (12 . 15)) 1233 0.4442 7.4693 ((2 . 20) (6 . 22) (8 . 23) (10 . 24)) 1267 0.4435 10.8995 ((2 . 1) (4 . 3) (6 . 4) (7 . 5)) 1294 0.5545 8.4108 ((4 . 40) (6 . 41) (8 . 43) (10 . 44) (12 . 46)) 1345 0.4443 6.7588 ((6 . 12) (8 . 13) (10 . 14) (11 . 16)) 1366 0.5539 9.5308 ((3 . 12) (6 . 14) (10 . 16) (11 . 17) (12 . 20)) 1388 0.4438 10.0750 ((2 . 1) (6 . 4) (8 . 5) (12 . 8)) 1410 0.6514 4.9398 ((2 . 19) (3 . 20) (4 . 21) (8 . 23) (10 . 25) (12 . 26)) 1425 1.0000 0.0000 ((2 . 2) (3 . 3) (4 . 4) (6 . 6) (7 . 7) (8 . 8) (10 . 10) (11 . 11) (12 . 12)) 1451 0.4444 5.1106 ((7 . 2) (8 . 3) (10 . 4) (11 . 5)) 1464 0.2441 6.6892 ((3 . 10) (7 . 12) (8 . 13) (10 . 14)) 1476 0.4442 7.7574 ((4 . 9) (8 . 11) (11 . 14) (12 . 15)) 1481 0.4444 5.8401 ((3 . 1) (4 . 2) (8 . 4) (10 . 7)) 1501 0.4443 7.0156 ((6 . 1) (8 . 2) (10 . 3) (11 . 4)) 1513 0.3525 8.3158 ((7 . 1) (8 . 3) (11 . 5) (12 . 6)) 1514 0.4444 4.6855 ((3 . 3) (4 . 4) (7 . 5) (8 . 6)) 1577 0.4444 5.8050 ((7 . 2) (8 . 3) (10 . 4) (11 . 5)) 1604 0.3374 6.6686 ((3 . 1) (4 . 3) (7 . 6) (8 . 7) (12 . 10)) 1622 0.4443 7.3041 ((2 . 18) (6 . 20) (10 . 22) (12 . 23)) 1624 0.4440 8.8268 ((3 . 3) (4 . 4) (6 . 5) (10 . 9)) 1643 0.4444 5.6593 ((2 . 2) (10 . 6) (11 . 7) (12 . 8)) 1644 0.4442 7.9671 ((4 . 48) (6 . 50) (8 . 51) (10 . 52)) 1665 0.3526 6.9629 ((2 . 4) (4 . 6) (7 . 7) (8 . 8)) 1690 0.3524 10.0677 ((4 . 14) (6 . 16) (10 . 19) (12 . 21)) 1692 0.4444 4.9180 ((2 . 5) (3 . 6) (4 . 7) (8 . 8)) 1731 0.1980 5.6720 ((4 . 3) (7 . 5) (8 . 6) (11 . 8)) 1736 0.4442 7.7728 ((4 . 3) (7 . 4) (8 . 5) (12 . 7)) 1738 0.4442 7.5539 ((3 . 18) (4 . 19) (7 . 20) (10 . 24)) 1747 0.4444 4.3788 ((6 . 32) (8 . 33) (10 . 34) (11 . 36)) 1756 0.5270 6.3357 ((2 . 21) (3 . 22) (6 . 25) (8 . 26) (12 . 31)) 1759 0.4444 5.9922 ((6 . 2) (8 . 4) (10 . 13) (12 . 14)) 1761 0.4444 4.4874 ((4 . 16) (7 . 18) (8 . 19) (10 . 20)) 1763 0.4436 10.7266 ((6 . 7) (8 . 9) (10 . 10) (12 . 13)) 1776 0.4439 9.5769 ((4 . 14) (6 . 16) (10 . 20) (12 . 23)) 1777 0.4437 10.1471 ((3 . 45) (4 . 46) (6 . 49) (8 . 50)) 1778 0.4443 7.1838 ((6 . 2) (8 . 3) (10 . 4) (11 . 5)) 1793 0.3526 6.2189 ((2 . 8) (6 . 11) (10 . 12) (11 . 13)) 1805 0.5553 5.9937 ((2 . 12) (4 . 14) (6 . 15) (8 . 16) (10 . 17)) 1808 0.4444 6.0416 ((7 . 1) (8 . 2) (10 . 4) (11 . 5)) 1867 0.4444 5.3897 ((4 . 1) (7 . 2) (8 . 3) (10 . 6)) 1894 0.4837 7.6646 ((2 . 18) (3 . 19) (6 . 20) (11 . 25) (12 . 26)) 1896 0.4437 10.1562 ((7 . 21) (8 . 22) (10 . 23) (11 . 25)) 1897 0.4439 9.6452 ((3 . 39) (4 . 40) (7 . 44) (12 . 46)) 1908 0.3934 9.4718 ((3 . 7) (7 . 9) (10 . 15) (12 . 17)) 1909 0.3526 7.1271 ((4 . 31) (7 . 33) (8 . 34) (12 . 37)) 1913 0.4834 8.9814 ((3 . 9) (4 . 10) (8 . 13) (11 . 17) (12 . 19)) 1944 0.4430 12.2218 ((2 . 9) (6 . 13) (10 . 16) (12 . 17)) 1957 0.4441 8.3163 ((4 . 1) (8 . 3) (11 . 5) (12 . 7)) 1961 0.4443 6.3862 ((7 . 13) (8 . 14) (10 . 15) (12 . 16)) 1967 0.2861 9.0687 ((2 . 7) (6 . 10) (8 . 13) (10 . 14)) 1992 0.0999 6.8831 ((4 . 9) (7 . 10) (8 . 12) (10 . 14)) 1995 0.4443 6.3344 ((2 . 2) (6 . 3) (8 . 8) (10 . 11)) 2003 0.5552 6.5913 ((2 . 5) (8 . 9) (10 . 10) (11 . 11) (12 . 12)) 2006 0.5549 7.5247 ((2 . 10) (6 . 12) (8 . 13) (10 . 14) (12 . 15)) 2045 0.4442 7.5551 ((2 . 3) (8 . 7) (10 . 8) (12 . 11)) 2048 0.4438 9.7687 ((6 . 13) (7 . 14) (10 . 16) (12 . 17)) 2063 0.4444 5.6922 ((2 . 43) (4 . 44) (6 . 45) (10 . 50)) 2065 0.4444 3.0594 ((7 . 15) (8 . 16) (10 . 17) (11 . 18)) 2067 0.4444 5.3489 ((4 . 54) (7 . 58) (8 . 59) (10 . 60)) 2072 0.4443 6.7632 ((2 . 2) (6 . 4) (8 . 6) (10 . 7)) 2081 0.4441 8.2362 ((2 . 19) (4 . 20) (6 . 21) (8 . 23)) 2083 0.4444 5.2934 ((3 . 1) (4 . 2) (7 . 3) (8 . 4)) 2097 0.4440 8.9842 ((4 . 1) (10 . 4) (11 . 5) (12 . 6)) 2114 0.4444 5.3960 ((7 . 30) (8 . 32) (10 . 34) (11 . 36)) 2116 0.5552 6.3620 ((2 . 5) (4 . 6) (6 . 7) (10 . 10) (12 . 11)) 2117 0.4443 6.3412 ((3 . 5) (4 . 6) (10 . 11) (12 . 14)) 2118 0.2860 11.7309 ((6 . 1) (7 . 2) (8 . 3) (10 . 5)) 2122 0.3525 9.0960 ((2 . 10) (6 . 12) (11 . 17) (12 . 18)) 2166 0.4438 9.7801 ((4 . 13) (7 . 14) (8 . 15) (12 . 17)) 2179 0.4443 7.2163 ((6 . 6) (8 . 7) (10 . 9) (11 . 10)) 2196 0.4444 5.7457 ((2 . 13) (6 . 16) (8 . 18) (10 . 19)) 2205 0.5552 6.4889 ((2 . 15) (4 . 17) (6 . 18) (8 . 19) (12 . 23)) 2209 0.4440 9.0759 ((8 . 5) (10 . 6) (11 . 7) (12 . 9)) 2220 0.4444 5.5004 ((4 . 2) (7 . 1) (8 . 4) (10 . 7)) 2243 0.4443 7.3338 ((3 . 42) (4 . 44) (8 . 47) (12 . 49)) 2244 0.6663 5.3339 ((2 . 75) (4 . 76) (6 . 77) (8 . 78) (10 . 79) (12 . 80)) 2249 0.4438 9.8577 ((2 . 12) (6 . 16) (10 . 20) (12 . 23)) 2269 0.4439 9.3328 ((7 . 5) (8 . 6) (10 . 7) (11 . 8)) 2279 0.4444 5.0469 ((3 . 3) (7 . 6) (8 . 7) (11 . 9)) 2298 0.4440 8.9579 ((4 . 10) (7 . 11) (8 . 12) (12 . 17)) 2308 0.4430 12.1598 ((7 . 3) (8 . 4) (10 . 5) (11 . 6)) 2314 0.6646 8.0196 ((2 . 2) (4 . 3) (6 . 4) (8 . 7) (10 . 13) (12 . 18)) 2340 0.4444 5.0694 ((7 . 10) (8 . 11) (10 . 13) (11 . 14)) 2344 0.4444 5.5039 ((3 . 13) (4 . 14) (7 . 16) (10 . 18)) 2364 0.3526 6.5434 ((3 . 4) (4 . 5) (6 . 7) (10 . 9)) 2381 0.4443 7.3221 ((6 . 3) (8 . 4) (10 . 5) (11 . 6)) 2389 0.5550 7.2467 ((2 . 4) (3 . 5) (4 . 6) (8 . 8) (10 . 9)) 2408 0.5554 5.6094 ((2 . 39) (4 . 40) (6 . 41) (10 . 45) (12 . 46)) 2409 0.5545 8.5119 ((3 . 3) (4 . 4) (6 . 5) (8 . 6) (11 . 8)) 2410 0.4444 3.0144 ((4 . 13) (7 . 15) (8 . 16) (10 . 17)) 2423 0.4443 6.3650 ((6 . 20) (8 . 21) (10 . 22) (12 . 25)) 2440 0.4444 5.7140 ((4 . 4) (7 . 5) (8 . 6) (11 . 9)) 2447 0.4443 7.2218 ((3 . 18) (7 . 20) (8 . 21) (10 . 24)) 2462 0.4443 7.0177 ((2 . 3) (3 . 4) (8 . 6) (10 . 7)) 2510 0.4438 10.0170 ((2 . 19) (6 . 23) (7 . 24) (11 . 27)) 2525 0.4443 6.4018 ((2 . 41) (6 . 45) (10 . 47) (12 . 48)) 2529 0.4444 5.4878 ((4 . 1) (8 . 3) (10 . 5) (11 . 6)) 2533 0.4444 4.7930 ((4 . 4) (7 . 7) (8 . 8) (10 . 6)) 2552 0.2862 7.2108 ((2 . 1) (4 . 3) (7 . 4) (8 . 5)) 2556 0.4442 7.8901 ((4 . 11) (8 . 13) (11 . 16) (12 . 18)) 2557 0.1980 4.9457 ((4 . 3) (7 . 5) (8 . 6) (10 . 7)) 2561 0.4443 6.5150 ((4 . 6) (6 . 7) (8 . 8) (10 . 9)) 2595 0.4437 10.3424 ((7 . 7) (8 . 9) (11 . 11) (12 . 13)) 2619 0.4443 7.1787 ((8 . 1) (10 . 2) (11 . 3) (12 . 5)) 2650 0.4442 7.8914 ((6 . 5) (8 . 6) (10 . 7) (12 . 8)) 2675 0.5537 9.7504 ((2 . 1) (4 . 3) (6 . 4) (10 . 8) (12 . 10)) 2682 0.2860 12.0538 ((2 . 7) (7 . 10) (8 . 12) (10 . 15)) 2696 0.5547 7.9581 ((2 . 31) (4 . 32) (8 . 35) (10 . 36) (12 . 38)) 2731 0.1495 3.0691 ((4 . 1) (7 . 3) (8 . 4) (10 . 5)) 2733 0.3525 9.0039 ((6 . 2) (7 . 5) (8 . 4) (12 . 8)) 2755 0.4442 8.0598 ((4 . 5) (8 . 6) (11 . 8) (12 . 10)) 2773 0.2861 8.6883 ((2 . 2) (7 . 4) (8 . 5) (10 . 6)) 2783 0.4444 4.8973 ((3 . 6) (4 . 7) (7 . 9) (10 . 12)) 2804 0.4442 7.7509 ((3 . 29) (6 . 32) (8 . 34) (10 . 36)) 2821 0.3935 7.9563 ((2 . 2) (7 . 6) (8 . 7) (12 . 11)) 2830 0.4439 9.4538 ((4 . 11) (8 . 13) (11 . 15) (12 . 17)) 2834 0.4444 5.1775 ((7 . 2) (8 . 3) (10 . 5) (11 . 6)) 2840 0.4443 6.2568 ((2 . 6) (6 . 8) (8 . 9) (10 . 11)) 2842 0.4433 11.3934 ((6 . 1) (7 . 3) (11 . 4) (12 . 5)) 2879 0.5533 10.3257 ((3 . 51) (6 . 53) (8 . 54) (10 . 56) (12 . 59)) 2886 0.5551 7.0077 ((2 . 35) (6 . 38) (8 . 39) (10 . 41) (12 . 43)) 2929 0.4444 3.1254 ((4 . 36) (7 . 38) (8 . 39) (10 . 40)) 2940 0.4439 9.7321 ((3 . 1) (7 . 2) (10 . 4) (11 . 5)) 2947 0.5554 4.9185 ((3 . 3) (4 . 4) (7 . 5) (8 . 6) (10 . 7)) 2966 0.4443 6.4227 ((6 . 9) (8 . 10) (10 . 12) (12 . 16)) 2990 0.5108 6.1541 ((2 . 9) (4 . 12) (7 . 13) (8 . 14) (10 . 15)) 2999 0.4444 4.0269 ((4 . 4) (7 . 5) (8 . 6) (10 . 7)) 3019 0.4444 5.2059 ((7 . 8) (8 . 9) (10 . 10) (11 . 11)) 3034 0.4443 7.2498 ((4 . 1) (7 . 4) (8 . 5) (12 . 7)) 3041 0.4444 4.1824 ((4 . 30) (7 . 31) (8 . 32) (10 . 33)) 3055 0.4443 6.3060 ((6 . 13) (8 . 15) (10 . 16) (11 . 17)) 3063 0.8884 3.9759 ((2 . 31) (3 . 33) (4 . 35) (6 . 36) (8 . 38) (10 . 42) (11 . 45) (12 . 46)) 3070 0.5555 4.3078 ((3 . 32) (4 . 33) (7 . 34) (8 . 35) (10 . 36)) 3084 0.4442 8.1247 ((4 . 3) (7 . 4) (8 . 5) (12 . 7)) 3102 0.4442 8.1202 ((2 . 62) (8 . 65) (10 . 67) (12 . 68)) 3103 0.5551 6.8731 ((2 . 1) (4 . 2) (6 . 3) (8 . 5) (12 . 9)) 3114 0.4442 7.8361 ((4 . 22) (6 . 23) (8 . 24) (10 . 25)) 3120 0.2862 4.7932 ((3 . 21) (4 . 22) (7 . 24) (8 . 25)) 3127 0.4443 6.4262 ((3 . 3) (4 . 4) (6 . 6) (10 . 8)) 3147 0.4444 5.3006 ((8 . 6) (10 . 7) (11 . 8) (12 . 9)) 3187 0.5552 6.3371 ((2 . 1) (6 . 3) (8 . 4) (10 . 5) (12 . 6)) 3190 0.4444 4.9093 ((4 . 1) (7 . 2) (8 . 3) (11 . 6)) 3197 0.4444 6.0171 ((4 . 21) (7 . 22) (8 . 24) (11 . 26)) 3200 0.4444 5.3865 ((3 . 6) (7 . 8) (8 . 9) (10 . 11)) 3212 0.4444 5.8378 ((3 . 3) (4 . 5) (7 . 7) (10 . 9)) 3222 0.4432 11.6505 ((3 . 8) (10 . 14) (11 . 15) (12 . 16)) 3256 0.5551 7.0708 ((4 . 19) (6 . 20) (8 . 21) (10 . 25) (12 . 26)) 3261 0.4443 7.0127 ((6 . 6) (8 . 7) (10 . 8) (11 . 9)) 3286 0.4444 5.4896 ((7 . 2) (8 . 3) (10 . 4) (11 . 5)) 3289 0.4444 3.8481 ((7 . 28) (8 . 29) (10 . 30) (11 . 31)) 3297 0.5535 10.0537 ((2 . 3) (4 . 4) (6 . 5) (8 . 7) (12 . 9)) 3300 0.4444 5.2476 ((3 . 1) (4 . 2) (7 . 3) (8 . 5)) 3322 0.1980 9.3389 ((2 . 3) (4 . 5) (6 . 7) (7 . 8)) 3334 0.4444 5.2341 ((6 . 4) (8 . 5) (10 . 6) (12 . 10)) 3339 0.4444 4.7643 ((4 . 11) (7 . 14) (8 . 15) (11 . 17)) 3344 0.4444 4.4790 ((2 . 19) (3 . 20) (4 . 21) (10 . 24)) 3358 0.3930 11.6374 ((2 . 8) (7 . 11) (8 . 12) (11 . 15)) 3362 0.4444 6.0845 ((2 . 4) (6 . 6) (10 . 8) (12 . 10)) 3366 0.4444 4.6533 ((2 . 24) (4 . 26) (6 . 27) (10 . 29)) 3391 0.2861 9.2209 ((2 . 6) (4 . 8) (6 . 10) (7 . 12)) 3410 0.1495 10.7032 ((6 . 24) (7 . 27) (10 . 28) (12 . 30)) 3418 0.4441 8.7253 ((2 . 2) (4 . 5) (6 . 6) (8 . 7)) 3472 0.5551 6.9287 ((3 . 5) (4 . 6) (8 . 9) (10 . 11) (12 . 12)) 3481 0.3524 9.4975 ((3 . 1) (7 . 3) (8 . 4) (10 . 7)) 3489 0.4444 5.8427 ((2 . 2) (4 . 3) (6 . 4) (12 . 12)) 3495 0.4443 7.0597 ((2 . 2) (7 . 6) (8 . 7) (10 . 8)) 3496 0.4435 10.8440 ((3 . 18) (4 . 19) (7 . 20) (12 . 22)) 3533 0.4444 5.0095 ((2 . 3) (6 . 7) (10 . 10) (12 . 11)) 3537 0.1658 11.4926 ((4 . 2) (7 . 3) (8 . 5) (10 . 6)) 3538 0.4444 5.5567 ((4 . 23) (6 . 24) (8 . 25) (10 . 26)) 3548 0.5537 9.8389 ((2 . 4) (4 . 5) (6 . 6) (8 . 8) (10 . 9)) 3549 0.4442 7.9808 ((6 . 1) (8 . 2) (10 . 3) (12 . 5)) 3561 0.4442 8.0640 ((3 . 18) (4 . 19) (8 . 22) (12 . 26)) 3570 0.4443 6.3677 ((4 . 4) (6 . 7) (8 . 8) (12 . 10)) 3585 0.5104 8.2613 ((2 . 8) (3 . 11) (4 . 12) (8 . 14) (12 . 16)) 3625 0.4444 6.1148 ((3 . 1) (4 . 2) (8 . 5) (10 . 6)) 3626 0.5552 6.3788 ((3 . 2) (4 . 3) (7 . 5) (8 . 8) (10 . 11)) 3628 0.4444 5.5450 ((7 . 7) (8 . 8) (10 . 9) (11 . 10)) 3651 0.4442 8.1094 ((2 . 5) (6 . 8) (10 . 11) (12 . 13)) 3656 0.4443 7.1453 ((7 . 21) (8 . 22) (10 . 23) (11 . 24)) 3658 0.4439 9.6072 ((6 . 4) (8 . 5) (10 . 6) (11 . 7)) 3659 0.4444 5.4851 ((2 . 8) (3 . 9) (8 . 12) (10 . 13)) 3661 0.4435 10.9974 ((7 . 5) (8 . 7) (10 . 8) (12 . 11)) 3688 0.4440 9.1993 ((6 . 26) (8 . 27) (10 . 28) (12 . 29)) 3703 0.4442 7.6782 ((6 . 6) (8 . 7) (10 . 8) (11 . 9)) 3732 0.4444 5.9435 ((2 . 5) (6 . 7) (10 . 9) (12 . 11)) 3733 0.1495 7.8176 ((2 . 1) (4 . 3) (7 . 4) (12 . 8)) 3740 0.4443 6.9756 ((4 . 1) (8 . 3) (10 . 4) (12 . 5)) 3741 0.4443 6.3016 ((2 . 21) (3 . 22) (8 . 25) (12 . 27)) 3776 0.4444 5.3614 ((7 . 18) (8 . 19) (10 . 20) (11 . 21)) 3778 0.5107 7.1222 ((2 . 3) (4 . 4) (7 . 5) (8 . 6) (10 . 7)) 3787 0.4440 9.2492 ((2 . 29) (6 . 31) (7 . 32) (10 . 35)) 3790 0.5548 7.7164 ((2 . 5) (6 . 10) (8 . 13) (10 . 14) (12 . 15)) 3810 0.4444 5.3459 ((2 . 4) (4 . 6) (8 . 10) (10 . 11)) 3817 0.4443 7.3097 ((4 . 5) (8 . 7) (11 . 9) (12 . 10)) 3831 0.4443 6.2673 ((3 . 2) (4 . 3) (8 . 5) (10 . 6)) 3847 0.3526 7.0941 ((2 . 9) (7 . 11) (8 . 13) (12 . 17)) 3849 0.4442 7.6039 ((6 . 1) (8 . 2) (10 . 3) (12 . 5)) 3853 0.4443 7.0180 ((4 . 3) (7 . 4) (8 . 6) (12 . 8)) 3856 0.4441 8.6979 ((6 . 6) (8 . 7) (10 . 9) (11 . 10)) 3870 0.1495 7.1796 ((4 . 5) (7 . 7) (10 . 8) (12 . 10)) 3933 0.4441 8.3312 ((2 . 8) (4 . 9) (8 . 14) (12 . 18)) 3938 0.4444 4.9269 ((7 . 5) (8 . 6) (10 . 8) (11 . 9)) 3942 0.2862 6.9905 ((4 . 2) (6 . 3) (7 . 4) (12 . 9)) 3968 0.4441 8.4566 ((7 . 4) (8 . 5) (11 . 9) (12 . 11)) 3986 0.4839 5.9785 ((3 . 9) (7 . 20) (8 . 21) (10 . 25) (11 . 26)) 3990 0.3526 6.7362 ((4 . 16) (8 . 18) (10 . 20) (12 . 22)) 4005 0.4443 6.2302 ((2 . 4) (8 . 9) (10 . 12) (12 . 14)) 4009 0.4444 5.8634 ((6 . 13) (7 . 14) (8 . 15) (12 . 19)) 4019 0.5551 6.9159 ((2 . 38) (6 . 42) (8 . 43) (10 . 44) (12 . 46)) 4034 0.4443 7.0314 ((6 . 9) (8 . 10) (10 . 12) (12 . 13)) 4062 0.4444 5.4421 ((7 . 47) (8 . 48) (10 . 49) (12 . 50)) 4067 0.2861 9.2923 ((2 . 16) (6 . 20) (10 . 22) (12 . 24)) 4082 0.4444 5.2097 ((3 . 6) (8 . 7) (10 . 8) (12 . 10)) 4087 0.6659 6.3521 ((2 . 1) (4 . 3) (6 . 5) (8 . 6) (10 . 7) (12 . 8)) 4112 0.4444 6.0746 ((6 . 1) (8 . 2) (10 . 3) (12 . 6)) 4115 0.4442 7.6932 ((4 . 1) (7 . 4) (8 . 5) (12 . 10)) 4140 0.4439 9.3550 ((2 . 21) (3 . 22) (4 . 23) (7 . 25)) 4151 0.2441 8.5700 ((4 . 12) (7 . 14) (8 . 15) (12 . 19)) 4154 0.4444 6.0283 ((3 . 51) (4 . 52) (8 . 56) (10 . 57)) 4177 0.4442 7.4059 ((7 . 6) (8 . 7) (10 . 8) (11 . 9)) 4192 0.2861 9.6247 ((2 . 8) (7 . 11) (8 . 13) (11 . 15)) 4194 0.4443 6.6330 ((2 . 3) (6 . 5) (8 . 6) (10 . 7)) 4204 0.4442 7.7370 ((4 . 3) (8 . 5) (11 . 9) (12 . 11)) 4209 0.4443 7.2220 ((8 . 1) (10 . 2) (11 . 4) (12 . 5)) 4210 0.4444 4.9164 ((7 . 3) (8 . 4) (10 . 5) (11 . 6)) 4226 0.4444 3.8302 ((4 . 16) (7 . 17) (8 . 18) (10 . 19)) 4232 0.4442 7.6120 ((2 . 1) (4 . 2) (6 . 3) (12 . 8)) 4236 0.4443 6.2213 ((6 . 5) (8 . 6) (10 . 7) (12 . 10)) 4246 0.4443 6.8127 ((2 . 3) (6 . 6) (8 . 8) (11 . 11)) 4254 0.4444 4.9706 ((3 . 9) (7 . 12) (8 . 13) (11 . 15)) 4255 0.4444 5.4567 ((4 . 21) (7 . 22) (8 . 23) (10 . 24)) 4257 0.3526 6.8632 ((8 . 8) (10 . 9) (11 . 10) (12 . 12)) 4265 0.4442 7.6107 ((3 . 20) (7 . 22) (8 . 23) (11 . 26)) 4266 0.4444 5.9220 ((3 . 8) (7 . 10) (8 . 11) (10 . 12)) 4274 0.3934 9.0472 ((2 . 36) (3 . 38) (6 . 40) (8 . 41)) 4275 0.4443 6.7466 ((2 . 23) (6 . 25) (8 . 27) (10 . 28)) 4281 0.4442 7.5724 ((8 . 3) (10 . 4) (11 . 5) (12 . 8)) 4284 0.4444 4.6616 ((7 . 2) (8 . 3) (10 . 4) (11 . 5)) 4299 0.4441 8.4867 ((4 . 14) (7 . 17) (10 . 19) (12 . 20)) 4301 0.5551 6.9749 ((2 . 1) (4 . 2) (6 . 3) (8 . 4) (10 . 6)) 4326 0.1980 8.1952 ((2 . 7) (4 . 10) (7 . 14) (12 . 17)) 4332 0.4444 5.2683 ((3 . 2) (4 . 4) (7 . 5) (11 . 9)) 4338 0.2861 8.8381 ((2 . 1) (3 . 2) (10 . 6) (11 . 7)) 4359 0.4444 5.6957 ((2 . 11) (8 . 15) (10 . 16) (11 . 17)) 4380 0.4443 7.2039 ((6 . 1) (8 . 2) (10 . 3) (11 . 4)) 4383 0.5549 7.5570 ((3 . 17) (4 . 18) (6 . 19) (10 . 21) (11 . 22)) 4386 0.4440 8.9157 ((3 . 16) (8 . 18) (10 . 19) (12 . 21)) 4388 0.4440 9.1143 ((2 . 1) (6 . 3) (10 . 5) (12 . 6)) 4398 0.4442 7.6727 ((6 . 4) (8 . 6) (10 . 7) (12 . 8)) 4405 0.4441 8.4333 ((6 . 19) (7 . 20) (10 . 22) (12 . 25)) 4408 0.5555 4.7317 ((3 . 3) (4 . 4) (7 . 5) (8 . 6) (10 . 7)) 4415 0.4444 3.8258 ((4 . 1) (7 . 2) (8 . 3) (10 . 4)) 4419 0.4439 9.4140 ((6 . 7) (8 . 8) (10 . 9) (11 . 10)) 4470 0.4436 10.6511 ((2 . 1) (3 . 2) (8 . 5) (11 . 7)) 4491 0.4444 5.1503 ((4 . 1) (7 . 4) (8 . 5) (10 . 6)) 4492 0.4442 7.5204 ((3 . 16) (4 . 18) (6 . 21) (12 . 26)) 4497 0.5552 6.4605 ((4 . 23) (6 . 24) (8 . 25) (10 . 26) (12 . 27)) 4502 0.4443 7.0543 ((3 . 9) (4 . 10) (6 . 11) (10 . 14)) 4503 0.4444 3.6670 ((3 . 3) (4 . 4) (10 . 9) (11 . 10)) 4504 0.4437 10.3120 ((3 . 15) (6 . 17) (10 . 19) (12 . 21)) 4505 0.4444 5.4231 ((3 . 25) (4 . 26) (7 . 27) (8 . 28)) 4516 0.4435 10.8750 ((7 . 13) (8 . 14) (11 . 16) (12 . 18)) 4538 0.4443 6.6344 ((4 . 30) (6 . 31) (8 . 32) (12 . 37)) 4560 0.4443 6.8309 ((3 . 1) (6 . 4) (7 . 5) (10 . 6)) 4561 0.4441 8.3277 ((6 . 7) (7 . 8) (10 . 9) (11 . 13)) 4562 0.4441 8.3376 ((2 . 22) (6 . 25) (10 . 27) (11 . 29)) 4563 0.4442 7.9700 ((4 . 28) (7 . 30) (8 . 31) (12 . 34)) 4577 0.4443 6.6064 ((6 . 50) (8 . 52) (10 . 54) (11 . 55)) 4588 0.4444 4.7334 ((7 . 4) (8 . 7) (10 . 8) (11 . 9)) 4589 0.4439 9.3445 ((3 . 18) (8 . 19) (10 . 22) (12 . 23)) 4621 0.5538 9.6884 ((2 . 3) (3 . 4) (6 . 7) (8 . 8) (10 . 9)) 4630 0.4444 5.6500 ((2 . 31) (4 . 33) (6 . 34) (8 . 36)) 4648 0.4444 5.4951 ((3 . 1) (4 . 2) (8 . 5) (10 . 8)) 4653 0.5106 7.3257 ((2 . 3) (4 . 5) (8 . 7) (10 . 8) (11 . 9)) 4665 0.4442 7.4077 ((6 . 11) (8 . 12) (10 . 13) (11 . 14)) 4668 0.4433 11.4333 ((4 . 3) (6 . 5) (8 . 7) (12 . 11)) 4671 0.4435 10.9675 ((2 . 12) (7 . 16) (8 . 18) (11 . 20)) 4674 0.3525 7.8958 ((3 . 1) (4 . 2) (7 . 4) (12 . 7)) 4678 0.2441 6.2210 ((2 . 10) (4 . 12) (8 . 15) (10 . 16)) 4713 0.5547 8.1662 ((3 . 3) (4 . 4) (6 . 5) (10 . 7) (11 . 8)) 4731 0.1980 5.8610 ((7 . 20) (8 . 22) (10 . 23) (11 . 24)) 4734 0.4443 6.7443 ((8 . 2) (10 . 5) (11 . 6) (12 . 7)) 4857 0.3526 5.9185 ((2 . 2) (4 . 3) (7 . 4) (8 . 5)) 4886 0.4440 8.8055 ((6 . 29) (8 . 30) (10 . 31) (12 . 32)) 4888 0.3525 7.5106 ((2 . 1) (6 . 4) (7 . 5) (12 . 9)) 4889 0.4444 4.8686 ((4 . 4) (7 . 5) (8 . 6) (10 . 7)) 4907 0.4442 7.4020 ((4 . 1) (8 . 4) (10 . 5) (12 . 8)) 4914 0.4441 8.4522 ((7 . 3) (8 . 4) (10 . 5) (11 . 6)) 4921 0.5553 5.6705 ((3 . 7) (4 . 8) (6 . 9) (10 . 12) (12 . 14)) 4929 0.6652 7.3027 ((2 . 26) (4 . 28) (6 . 29) (8 . 31) (10 . 32) (12 . 33)) 4932 0.4442 7.9516 ((4 . 1) (7 . 3) (8 . 5) (10 . 6)) 4940 0.4444 5.0342 ((3 . 1) (4 . 2) (7 . 5) (10 . 6)) 4944 0.4440 8.8188 ((2 . 11) (8 . 13) (10 . 14) (11 . 15)) 4978 0.4444 5.6060 ((2 . 18) (6 . 21) (8 . 22) (10 . 24)) 4982 0.4444 4.2741 ((3 . 9) (7 . 11) (8 . 12) (11 . 14)) 4992 0.4443 6.5725 ((3 . 2) (4 . 3) (7 . 4) (10 . 6)) 4998 0.1980 9.9285 ((2 . 15) (7 . 17) (8 . 19) (10 . 20)) 5029 0.1980 7.2812 ((4 . 6) (7 . 7) (8 . 8) (10 . 10)) 5036 0.4443 7.1675 ((8 . 1) (10 . 2) (11 . 4) (12 . 5)) 5038 0.4444 5.4549 ((4 . 10) (10 . 16) (11 . 17) (12 . 18)) 5039 0.2860 12.5322 ((2 . 37) (6 . 41) (11 . 44) (12 . 45)) 5044 0.4440 9.0221 ((2 . 3) (4 . 8) (6 . 9) (12 . 14)) 5046 0.4444 3.3211 ((3 . 3) (4 . 4) (10 . 7) (11 . 8)) 5053 0.4442 7.8408 ((7 . 1) (8 . 2) (10 . 3) (12 . 5)) 5065 0.4444 5.4424 ((4 . 7) (8 . 9) (10 . 10) (11 . 11)) 5068 0.4444 5.7552 ((4 . 12) (7 . 14) (8 . 15) (10 . 16)) 5069 0.5549 7.5481 ((4 . 2) (8 . 4) (10 . 5) (11 . 7) (12 . 9)) 5073 0.4441 8.6206 ((4 . 32) (8 . 34) (11 . 36) (12 . 39)) 5083 0.3526 4.8618 ((3 . 1) (7 . 4) (8 . 5) (11 . 9)) 5101 0.4443 6.6123 ((4 . 18) (7 . 19) (8 . 21) (11 . 23)) 5103 0.4444 5.0534 ((4 . 13) (7 . 14) (8 . 15) (11 . 17)) 5121 0.2862 7.0698 ((6 . 26) (8 . 27) (10 . 30) (11 . 31)) 5132 0.4433 11.5101 ((3 . 18) (6 . 20) (7 . 21) (10 . 22)) 5134 0.4442 8.0008 ((6 . 10) (7 . 11) (11 . 13) (12 . 14)) 5145 0.4444 5.2512 ((4 . 5) (7 . 7) (8 . 8) (10 . 10)) 5167 0.2862 6.8923 ((4 . 1) (7 . 2) (8 . 3) (10 . 4)) 5176 0.4444 5.8031 ((2 . 82) (4 . 84) (8 . 87) (10 . 88)) 5183 0.5551 6.8279 ((3 . 34) (4 . 35) (6 . 36) (8 . 37) (10 . 38)) 5192 0.4444 5.5921 ((4 . 1) (7 . 2) (8 . 3) (11 . 5)) 5198 0.4441 8.6331 ((2 . 24) (3 . 26) (8 . 30) (10 . 32)) 5199 0.4442 7.9897 ((3 . 7) (4 . 8) (10 . 9) (12 . 10)) 5209 0.4443 7.0994 ((6 . 7) (8 . 8) (10 . 9) (12 . 10)) 5212 0.3525 7.2671 ((4 . 21) (6 . 22) (7 . 25) (8 . 24)) 5215 0.4442 7.8780 ((2 . 4) (3 . 5) (7 . 8) (10 . 9)) 5223 0.4441 8.4792 ((4 . 1) (8 . 3) (11 . 6) (12 . 8)) 5231 0.4443 6.2551 ((3 . 12) (4 . 13) (7 . 15) (8 . 16)) 5266 0.1992 4.8549 ((3 . 8) (4 . 10) (7 . 12) (8 . 13) (10 . 15)) 5278 0.6663 5.0429 ((2 . 5) (4 . 6) (6 . 7) (8 . 8) (10 . 9) (12 . 10)) 5307 0.4443 7.0319 ((2 . 53) (6 . 55) (8 . 57) (10 . 58)) 5312 0.5553 5.8791 ((2 . 1) (4 . 2) (6 . 3) (10 . 5) (12 . 7)) 5318 0.4436 10.7626 ((4 . 19) (7 . 20) (10 . 22) (12 . 23)) 5324 0.4442 7.9050 ((4 . 10) (8 . 12) (11 . 14) (12 . 15)) 5344 0.5550 7.2033 ((2 . 1) (4 . 2) (6 . 3) (8 . 4) (12 . 8)) 5345 0.4443 6.1848 ((6 . 7) (8 . 8) (10 . 9) (12 . 13)) 5368 0.4444 5.4246 ((3 . 32) (8 . 35) (10 . 36) (12 . 37)) 5378 0.2862 6.2771 ((2 . 3) (4 . 4) (7 . 5) (8 . 6)) 5411 0.4444 3.2838 ((4 . 3) (7 . 5) (8 . 6) (10 . 8)) 5414 0.4444 5.5528 ((3 . 14) (4 . 15) (6 . 16) (10 . 19)) 5418 0.4444 5.4721 ((8 . 2) (10 . 3) (11 . 5) (12 . 7)) 5421 0.3935 8.4567 ((8 . 1) (10 . 2) (11 . 3) (12 . 4)) 5433 0.4438 10.0362 ((2 . 5) (4 . 7) (11 . 13) (12 . 16)) 5479 0.5553 6.1332 ((2 . 34) (4 . 35) (6 . 36) (10 . 40) (12 . 41)) 5487 0.4442 7.6005 ((4 . 2) (7 . 3) (8 . 4) (12 . 9)) 5489 0.4442 8.0860 ((2 . 5) (4 . 6) (8 . 9) (11 . 12)) 5500 0.3935 8.1460 ((3 . 1) (4 . 2) (8 . 4) (10 . 7)) 5535 0.4444 6.0193 ((6 . 8) (8 . 9) (10 . 11) (12 . 12)) 5540 0.4158 8.9241 ((2 . 6) (3 . 7) (7 . 9) (12 . 14)) 5557 0.4443 6.8469 ((3 . 1) (4 . 2) (8 . 4) (12 . 6)) 5560 0.4434 11.1090 ((2 . 13) (6 . 15) (7 . 16) (11 . 17)) 5562 0.0999 4.7903 ((3 . 6) (4 . 7) (7 . 9) (10 . 11)) 5567 0.4444 5.9312 ((2 . 15) (6 . 17) (8 . 18) (10 . 19)) 5594 0.4442 7.5271 ((3 . 3) (4 . 4) (8 . 6) (12 . 9)) 5600 0.4444 5.5520 ((4 . 3) (7 . 4) (8 . 5) (10 . 6)) 5601 0.3936 7.0208 ((2 . 3) (7 . 6) (8 . 7) (11 . 10)) 5638 0.4444 5.7900 ((3 . 7) (4 . 8) (6 . 9) (10 . 13)) 5640 0.5548 7.8116 ((3 . 7) (8 . 10) (10 . 11) (11 . 12) (12 . 14)) 5644 0.4444 5.8805 ((3 . 3) (4 . 4) (10 . 8) (12 . 11)) 5656 0.4444 5.0561 ((6 . 3) (7 . 4) (11 . 8) (12 . 9)) 5700 0.5531 10.4898 ((3 . 4) (6 . 6) (8 . 8) (10 . 9) (12 . 11)) 5701 0.4443 6.4888 ((7 . 3) (8 . 4) (10 . 5) (11 . 6)) 5703 0.4444 5.8294 ((2 . 2) (8 . 6) (10 . 7) (11 . 8)) 5711 0.4443 7.0159 ((6 . 37) (8 . 39) (10 . 42) (11 . 43)) 5713 0.4444 5.1280 ((6 . 1) (8 . 2) (10 . 3) (11 . 4)) 5718 0.5544 8.6792 ((2 . 14) (4 . 16) (8 . 18) (10 . 21) (12 . 23)) 5731 0.4442 7.4328 ((6 . 2) (8 . 3) (10 . 5) (12 . 7)) 5746 0.5552 6.3577 ((2 . 3) (6 . 6) (8 . 7) (10 . 9) (12 . 10)) 5749 0.4439 9.7208 ((6 . 3) (8 . 4) (10 . 5) (11 . 6)) 5761 0.4444 5.0082 ((4 . 28) (6 . 30) (8 . 31) (10 . 32)) 5770 0.4442 7.6258 ((2 . 1) (8 . 6) (11 . 8) (12 . 9)) 5771 0.2441 9.4591 ((4 . 9) (7 . 10) (8 . 13) (10 . 14)) 5782 0.4444 5.6224 ((4 . 24) (6 . 26) (10 . 29) (12 . 32)) 5794 0.4442 7.7316 ((2 . 19) (6 . 23) (8 . 24) (10 . 25)) 5822 0.4441 8.7102 ((2 . 2) (3 . 4) (8 . 8) (11 . 9)) 5827 0.4444 6.0491 ((3 . 2) (4 . 3) (8 . 5) (12 . 11)) 5830 0.6661 5.8739 ((2 . 3) (4 . 7) (6 . 8) (8 . 10) (10 . 13) (12 . 17)) 5847 0.5553 6.2124 ((2 . 13) (4 . 16) (6 . 17) (8 . 18) (10 . 20)) 5861 0.4444 5.6153 ((2 . 20) (4 . 21) (10 . 25) (11 . 26)) 5865 0.4442 7.7459 ((4 . 1) (6 . 4) (8 . 5) (12 . 7)) 5878 0.3525 7.4009 ((7 . 24) (8 . 25) (10 . 29) (11 . 30)) 5888 0.4444 5.6704 ((6 . 27) (8 . 28) (10 . 29) (11 . 30)) 5896 0.4444 3.7707 ((4 . 26) (7 . 27) (8 . 28) (10 . 29)) 5904 0.3523 11.3104 ((7 . 6) (8 . 7) (11 . 9) (12 . 11)) 5913 0.4444 4.8995 ((7 . 4) (8 . 5) (10 . 6) (11 . 7)) 5914 0.4444 5.2955 ((3 . 2) (4 . 3) (8 . 5) (10 . 6)) 5922 0.4443 6.7888 ((8 . 1) (10 . 3) (11 . 4) (12 . 6)) 5930 0.4442 7.6128 ((2 . 7) (3 . 8) (4 . 9) (6 . 11)) 5939 0.4440 9.1022 ((4 . 2) (8 . 4) (11 . 6) (12 . 8)) 5945 0.4442 7.6401 ((2 . 9) (4 . 11) (8 . 13) (10 . 14)) 5949 0.1331 7.4101 ((2 . 9) (4 . 12) (7 . 13) (8 . 14)) 5955 0.2441 7.4648 ((2 . 3) (3 . 4) (4 . 5) (8 . 7)) 5977 0.4443 6.2097 ((4 . 3) (7 . 4) (8 . 5) (10 . 6)) 6011 0.4443 6.5378 ((2 . 9) (6 . 11) (8 . 13) (10 . 14)) 6022 0.4444 5.0314 ((4 . 1) (8 . 2) (10 . 4) (11 . 5)) 6029 0.4432 11.8144 ((2 . 17) (3 . 18) (6 . 19) (7 . 20)) 6041 0.5546 8.3574 ((6 . 10) (8 . 11) (10 . 12) (11 . 13) (12 . 15)) 6046 0.4444 5.6047 ((7 . 1) (8 . 2) (10 . 3) (11 . 5)) 6061 0.4442 7.8543 ((2 . 15) (6 . 17) (10 . 20) (12 . 21)) 6074 0.2862 7.7119 ((6 . 2) (7 . 3) (8 . 4) (12 . 6)) 6075 0.4440 8.8918 ((2 . 20) (3 . 21) (6 . 24) (10 . 27)) 6079 0.2862 6.6606 ((2 . 1) (8 . 6) (10 . 7) (11 . 8)) 6089 0.4443 6.1864 ((4 . 1) (7 . 2) (8 . 3) (11 . 5)) 6094 0.4442 7.5859 ((2 . 3) (4 . 5) (6 . 7) (12 . 12)) 6099 0.5552 6.3531 ((3 . 22) (8 . 25) (10 . 26) (11 . 27) (12 . 28)) 6123 0.0999 8.7832 ((4 . 1) (6 . 3) (8 . 4) (10 . 5)) 6142 0.5550 7.3534 ((3 . 12) (4 . 13) (8 . 15) (10 . 16) (12 . 18)) 6148 0.4444 5.2244 ((3 . 32) (4 . 33) (10 . 36) (11 . 37)) 6167 0.4443 6.6460 ((3 . 1) (8 . 6) (10 . 9) (12 . 12)) 6173 0.4443 6.4259 ((3 . 11) (4 . 12) (6 . 13) (8 . 15)) 6191 0.4438 10.1136 ((2 . 6) (6 . 10) (8 . 12) (10 . 13)) 6192 0.4433 11.5453 ((3 . 5) (8 . 10) (10 . 11) (12 . 13)) 6215 0.4444 6.0218 ((2 . 17) (4 . 18) (10 . 19) (12 . 24)) 6225 0.4444 4.4557 ((7 . 2) (8 . 3) (10 . 4) (11 . 5)) 6228 0.4439 9.7009 ((3 . 9) (6 . 11) (8 . 12) (11 . 14)) 6234 0.6655 6.9742 ((2 . 6) (4 . 7) (6 . 9) (8 . 10) (10 . 13) (12 . 15)) 6238 0.5531 10.5589 ((2 . 4) (4 . 5) (6 . 7) (8 . 8) (10 . 9)) 6243 0.3526 3.7893 ((3 . 2) (4 . 3) (7 . 5) (8 . 6)) 6251 0.1980 7.6236 ((2 . 15) (4 . 17) (7 . 18) (8 . 19)) 6258 0.4440 8.9439 ((7 . 2) (8 . 3) (10 . 4) (12 . 7)) 6261 0.2860 11.8629 ((4 . 3) (6 . 6) (7 . 7) (12 . 11)) 6266 0.1980 7.5981 ((4 . 5) (7 . 7) (10 . 8) (12 . 10)) 6270 0.4444 2.7154 ((4 . 15) (7 . 16) (8 . 17) (10 . 18)) 6271 0.4443 7.1051 ((4 . 4) (6 . 5) (8 . 7) (10 . 8)) 6273 0.2862 6.3637 ((8 . 1) (10 . 2) (11 . 3) (12 . 4)) 6294 0.4441 8.7606 ((6 . 9) (8 . 11) (11 . 14) (12 . 16)) 6306 0.4439 9.4512 ((2 . 16) (6 . 19) (8 . 21) (11 . 22)) 6309 0.2862 4.6391 ((2 . 17) (4 . 18) (6 . 20) (12 . 25)) 6311 0.4444 5.6178 ((8 . 9) (10 . 10) (11 . 11) (12 . 13)) 6326 0.4442 7.4043 ((2 . 7) (4 . 10) (6 . 11) (8 . 12)) 6338 0.5553 6.1905 ((4 . 1) (6 . 2) (8 . 4) (10 . 5) (12 . 7)) 6344 0.4444 4.2884 ((3 . 12) (4 . 13) (7 . 16) (10 . 18)) 6345 0.4443 6.1937 ((3 . 5) (4 . 4) (8 . 7) (11 . 22)) 6355 0.3526 4.9442 ((2 . 7) (3 . 8) (8 . 11) (10 . 12)) 6356 0.4444 5.3980 ((4 . 4) (7 . 5) (8 . 6) (11 . 9)) 6369 0.4441 8.5114 ((4 . 20) (8 . 22) (11 . 24) (12 . 26)) 6376 0.4442 8.1692 ((2 . 19) (6 . 24) (10 . 26) (11 . 28)) 6392 0.4442 7.5669 ((4 . 1) (7 . 2) (8 . 3) (12 . 7)) 6399 0.4837 7.6389 ((2 . 6) (6 . 10) (8 . 12) (10 . 13) (12 . 14)) 6403 0.4444 4.9695 ((3 . 14) (4 . 15) (7 . 16) (10 . 17)) 6434 0.4444 6.0012 ((7 . 1) (8 . 2) (10 . 3) (11 . 4)) 6462 0.4442 7.9621 ((7 . 1) (8 . 4) (10 . 5) (11 . 6)) 6498 0.4434 11.3526 ((4 . 12) (7 . 15) (8 . 16) (12 . 19)) 6520 0.4443 6.9508 ((3 . 1) (4 . 2) (6 . 3) (10 . 6)) 6539 0.5547 7.9904 ((3 . 2) (6 . 4) (8 . 5) (11 . 8) (12 . 10)) 6540 0.5547 8.0130 ((3 . 17) (6 . 19) (8 . 20) (10 . 21) (11 . 22)) 6548 0.4443 6.5543 ((4 . 5) (7 . 6) (8 . 7) (11 . 9)) 6553 0.4442 7.4480 ((7 . 12) (8 . 13) (11 . 15) (12 . 17)) 6555 0.4444 4.9821 ((2 . 19) (6 . 22) (8 . 23) (12 . 25)) 6561 0.4443 7.0283 ((3 . 7) (4 . 8) (6 . 10) (12 . 12)) 6573 0.3526 7.0809 ((7 . 20) (8 . 21) (10 . 23) (11 . 25)) 6578 0.4439 9.7011 ((2 . 34) (3 . 37) (4 . 38) (7 . 39)) 6584 0.4443 7.1832 ((7 . 4) (8 . 5) (10 . 6) (11 . 7)) 6585 0.4441 8.7821 ((2 . 8) (6 . 10) (8 . 11) (12 . 14)) 6587 0.1980 8.8126 ((2 . 31) (3 . 33) (4 . 34) (7 . 35)) 6598 0.4443 6.1628 ((6 . 25) (8 . 26) (10 . 27) (12 . 28)) 6613 0.4443 6.3552 ((4 . 24) (7 . 25) (10 . 27) (11 . 28)) 6635 0.3526 4.7262 ((7 . 3) (8 . 4) (10 . 5) (11 . 7)) END