c wbo 1.4a beta - 20100425 c | Number of variables: 637 | c | Number of clauses: 2105 | c ============================[ Problem Statistics ]============================= c | | c | Parsing time: 0.00 s | c | Number Variables: 637 | c | Number Clauses: 2105 | c | Number Cardinality: 0 | c | Number PB Constraints: 0 | c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 939 2279 4602 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 945 2280 4614 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 954 2281 4632 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 966 2282 4661 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 976 2283 4686 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 991 2284 4716 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 998 2285 4730 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1010 2286 4754 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1020 2287 4782 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1031 2288 4809 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1047 2289 4851 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1066 2290 4889 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1076 2291 4914 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1085 2292 4942 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1091 2293 4954 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1095 2295 4964 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1109 2296 4999 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1126 2297 5033 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1155 2298 5096 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1170 2300 5129 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1191 2301 5184 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1207 2303 5224 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1223 2306 5266 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1229 2309 5284 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1258 2310 5352 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1286 2315 5417 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1305 2317 5468 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1354 2322 5597 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1392 2327 5696 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1434 2331 5805 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1485 2337 5932 | 5000 0 nan | 0.000 % | c | 100 | 1482 2337 5932 | 5500 100 9 | 12.917 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1512 2349 6014 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1522 2361 6066 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1541 2365 6112 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1576 2369 6190 | 5000 0 nan | 0.000 % | c | 101 | 1447 2369 6190 | 5500 63 7 | 22.753 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1615 2378 6287 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1636 2386 6347 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1649 2390 6380 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1669 2392 6422 | 5000 0 nan | 0.000 % | c | 103 | 1660 2392 6422 | 5500 103 15 | 13.135 % | c | 255 | 1625 2392 6422 | 6050 249 19 | 13.401 % | c | 480 | 1622 2392 6422 | 6655 472 20 | 13.401 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1716 2417 6577 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1739 2420 6629 | 5000 0 nan | 0.000 % | c | 101 | 1730 2420 6629 | 5500 101 17 | 12.663 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1748 2424 6654 | 5000 0 nan | 0.000 % | c | 101 | 1747 2424 6654 | 5500 101 16 | 10.502 % | c | 251 | 1747 2424 6654 | 6050 250 21 | 10.502 % | c | 476 | 1747 2424 6654 | 6655 475 26 | 10.502 % | c | 814 | 1747 2424 6654 | 7320 813 32 | 10.503 % | c | 1320 | 1747 2424 6654 | 8052 1319 35 | 10.502 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1790 2436 6767 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1803 2437 6793 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1811 2444 6823 | 5000 0 nan | 0.000 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1837 2458 6908 | 5000 0 nan | 0.000 % | c | 100 | 1814 2458 6908 | 5500 100 24 | 13.908 % | c | 250 | 1757 2458 6908 | 6050 249 28 | 14.153 % | c | 477 | 1663 2458 6908 | 6655 472 33 | 18.563 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1858 2467 6968 | 5000 0 nan | 0.000 % | c | 100 | 1858 2467 6968 | 5500 100 19 | 9.941 % | c | 252 | 1858 2467 6968 | 6050 252 19 | 9.937 % | c | 477 | 1724 2467 6968 | 6655 475 17 | 26.127 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1903 2471 7067 | 5000 0 nan | 0.000 % | c | 101 | 1903 2471 7067 | 5500 101 22 | 9.729 % | c | 252 | 1903 2471 7067 | 6050 252 20 | 9.725 % | c | 478 | 1727 2471 7067 | 6655 477 24 | 18.077 % | c | 817 | 1495 2471 7067 | 7320 353 20 | 29.080 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1943 2473 7150 | 5000 0 nan | 0.000 % | c | 100 | 1926 2473 7150 | 5500 100 19 | 13.229 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1947 2474 7158 | 5000 0 nan | 0.000 % | c | 100 | 1947 2474 7158 | 5500 100 22 | 9.530 % | c | 251 | 1947 2474 7158 | 6050 251 26 | 9.526 % | c | 476 | 1947 2474 7158 | 6655 476 30 | 9.530 % | c | 813 | 1930 2474 7158 | 7320 812 38 | 10.320 % | c | 1321 | 1930 2474 7158 | 8052 1320 44 | 10.320 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1791 2479 7230 | 5000 0 nan | 0.000 % | c | 101 | 1764 2479 7230 | 5500 101 21 | 21.796 % | c | 252 | 1708 2479 7230 | 6050 250 26 | 21.796 % | c | 479 | 1570 2479 7230 | 6655 278 32 | 28.114 % | c | 816 | 1570 2479 7230 | 7320 615 30 | 28.114 % | c | 1325 | 1570 2479 7230 | 8052 1124 34 | 28.114 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1817 2481 7285 | 5000 0 nan | 0.000 % | c | 102 | 1757 2481 7285 | 5500 102 11 | 27.647 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1853 2483 7359 | 5000 0 nan | 0.000 % | c | 100 | 1838 2483 7359 | 5500 100 15 | 21.194 % | c | 252 | 1827 2483 7359 | 6050 252 24 | 21.193 % | c | 479 | 1770 2483 7359 | 6655 477 30 | 21.193 % | c | 816 | 1770 2483 7359 | 7320 814 37 | 21.194 % | c | 1324 | 1770 2483 7359 | 8052 1322 46 | 21.196 % | c | 2084 | 1770 2483 7359 | 8857 2082 49 | 21.193 % | c | 3224 | 1770 2483 7359 | 9743 3222 48 | 21.193 % | c | 4932 | 1770 2483 7359 | 10717 4930 56 | 21.193 % | c | 7500 | 1770 2483 7359 | 11789 7498 61 | 21.193 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1914 2487 7490 | 5000 0 nan | 0.000 % | c | 101 | 1901 2487 7490 | 5500 101 23 | 20.633 % | c | 251 | 1831 2487 7490 | 6050 249 21 | 20.633 % | c | 479 | 1831 2487 7490 | 6655 477 25 | 20.633 % | c | 821 | 1831 2487 7490 | 7320 819 28 | 20.633 % | c | 1330 | 1622 2487 7490 | 8052 1134 31 | 29.692 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1939 2488 7540 | 5000 0 nan | 0.000 % | c | 101 | 1927 2488 7540 | 5500 101 19 | 20.412 % | c | 251 | 1856 2488 7540 | 6050 249 26 | 20.412 % | c | 476 | 1856 2488 7540 | 6655 474 30 | 20.412 % | c | 813 | 1856 2488 7540 | 7320 811 35 | 20.413 % | c | 1321 | 1856 2488 7540 | 8052 1319 44 | 20.412 % | c | 2082 | 1856 2488 7540 | 8857 2080 52 | 20.412 % | c | 3223 | 1851 2488 7540 | 9743 3220 57 | 21.055 % | c | 4931 | 1851 2488 7540 | 10717 4928 59 | 21.055 % | c | 7493 | 1851 2488 7540 | 11789 7490 61 | 21.055 % | c | 11338 | 1841 2488 7540 | 12968 11334 65 | 21.055 % | c | 17104 | 1841 2488 7540 | 14265 10330 71 | 21.055 % | c | 25753 | 1839 2488 7540 | 15692 11557 75 | 21.441 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 1965 2494 7620 | 5000 0 nan | 0.000 % | c | 100 | 1950 2494 7620 | 5500 100 16 | 20.397 % | c | 250 | 1884 2494 7620 | 6050 248 22 | 20.443 % | c | 477 | 1884 2494 7620 | 6655 474 28 | 20.439 % | c | 816 | 1860 2494 7620 | 7320 805 36 | 21.495 % | c | 1325 | 1858 2494 7620 | 8052 1303 49 | 21.537 % | c | 2085 | 1858 2494 7620 | 8857 2063 57 | 21.537 % | c | 3224 | 1858 2494 7620 | 9743 3202 66 | 21.537 % | c | 4933 | 1858 2494 7620 | 10717 4911 69 | 21.541 % | c | 7499 | 1858 2494 7620 | 11789 7477 70 | 21.537 % | c | 11344 | 1845 2494 7620 | 12968 11321 73 | 22.635 % | c | 17110 | 1845 2494 7620 | 14265 10209 97 | 22.637 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2020 2505 7754 | 5000 0 nan | 0.000 % | c | 101 | 1998 2505 7754 | 5500 101 27 | 19.934 % | c | 256 | 1940 2505 7754 | 6050 254 39 | 19.934 % | c | 482 | 1940 2505 7754 | 6655 480 46 | 19.934 % | c | 820 | 1940 2505 7754 | 7320 818 55 | 19.934 % | c | 1327 | 1940 2505 7754 | 8052 1325 51 | 19.934 % | c | 2086 | 1940 2505 7754 | 8857 2084 50 | 19.934 % | c | 3225 | 1940 2505 7754 | 9743 3223 55 | 19.934 % | c | 4935 | 1940 2505 7754 | 10717 4933 60 | 19.934 % | c | 7498 | 1940 2505 7754 | 11789 7496 62 | 19.934 % | c | 11342 | 1940 2505 7754 | 12968 11340 68 | 19.934 % | c | 17108 | 1940 2505 7754 | 14265 10228 72 | 19.935 % | c | 25758 | 1940 2505 7754 | 15692 11321 69 | 19.934 % | c | 38733 | 1940 2505 7754 | 17261 16086 86 | 19.935 % | c | 58195 | 1940 2505 7754 | 18987 17522 105 | 19.934 % | c | 87387 | 1940 2505 7754 | 20886 17039 99 | 19.936 % | c | 131177 | 1940 2505 7754 | 22974 17543 96 | 19.934 % | c | 196864 | 1940 2505 7754 | 25272 11971 101 | 19.934 % | c =============================================================================== c ============================[ Search Statistics ]============================== c | Conflicts | ORIGINAL | LEARNT | Progress | c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | c =============================================================================== c | 0 | 2098 2509 7917 | 5000 0 nan | 0.000 % | c | 101 | 2097 2509 7917 | 5500 101 36 | 16.154 % | c | 253 | 2097 2509 7917 | 6050 252 46 | 16.154 % | c | 478 | 2097 2509 7917 | 6655 477 46 | 16.155 % | c | 816 | 2097 2509 7917 | 7320 815 54 | 16.154 % | c | 1322 | 2097 2509 7917 | 8052 1321 66 | 16.154 % | c | 2082 | 2097 2509 7917 | 8857 2081 61 | 16.154 % | c | 3223 | 2097 2509 7917 | 9743 3222 60 | 16.154 % | c | 4933 | 2097 2509 7917 | 10717 4932 65 | 16.154 % | c | 7495 | 2097 2509 7917 | 11789 7494 79 | 16.154 % | c | 11340 | 2097 2509 7917 | 12968 11339 89 | 16.154 % | c | 17106 | 2097 2509 7917 | 14265 10204 105 | 16.154 % | c | 25755 | 2097 2509 7917 | 15692 11252 108 | 16.154 % | c | 38730 | 2097 2509 7917 | 17261 15942 116 | 16.154 % | c | 58191 | 2097 2509 7917 | 18987 17318 126 | 16.154 % | c | 87383 | 2097 2509 7917 | 20886 16705 134 | 16.154 % | c | 131172 | 2097 2509 7917 | 22974 17036 128 | 16.154 % | c | 196857 | 2097 2509 7917 | 25272 23184 97 | 16.154 % | c | 295383 | 2097 2509 7917 | 27799 13468 70 | 16.154 % |