Trace number 1820542

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.08 1200.02

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
MD5SUM8d6acb9f6b752ad76c024133f5175c69
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables1694
Number of clauses5726
Sum of the clauses size14874
Maximum clause length23
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22490
Number of clauses of size 33143
Number of clauses of size 439
Number of clauses of size 538
Number of clauses of size over 513

Solver Data

0.00/0.00	c Parsing...
0.00/0.00	c ==============================================================================
0.00/0.00	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.00	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.00	c ==============================================================================
0.00/0.00	c |         0 |    5723    14871 |    1716       0        0     nan |  0.000 % |
0.00/0.03	c |         0 |    4834    14382 |      --       0       --      -- |     --   | -843/-394
0.00/0.03	c ==============================================================================
0.00/0.03	c Result  :   #vars: 1165   #clauses: 4834   #literals: 14382
0.00/0.03	c CPU time:   0.02 s
0.00/0.03	c ==============================================================================
0.00/0.03	c This is MiniSat 2.0 beta
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c ============================[ Problem Statistics ]=============================
0.00/0.03	c |                                                                             |
0.00/0.03	c |  Number of variables:  1165                                                 |
0.00/0.03	c |  Number of clauses:    4834                                                 |
0.00/0.04	c |  Parsing time:         0.00         s                                       |
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |    1165     4834    14382 |     1611        0    nan |  0.000 % |
0.00/0.04	c |       100 |    1165     4834    14382 |     1611      100     19 |  0.000 % |
0.00/0.05	c |       201 |    1165     4834    14382 |     1611      201     26 |  0.000 % |
0.00/0.05	c |       301 |    1165     4834    14382 |     1611      301     36 |  0.000 % |
0.00/0.06	c |       412 |    1165     4834    14382 |     1611      412     35 |  0.000 % |
0.00/0.07	c |       513 |    1165     4834    14382 |     1611      513     43 |  0.000 % |
0.00/0.08	c |       623 |    1163     4830    14366 |     1611      614     39 |  0.172 % |
0.00/0.09	c |       745 |    1163     4830    14366 |     1611      736     39 |  0.172 % |
0.00/0.09	c |       846 |    1163     4830    14366 |     1611      837     38 |  0.172 % |
0.00/0.10	c |       956 |    1163     4826    14350 |     1611      901     38 |  0.172 % |
0.00/0.11	c |      1078 |    1163     4826    14350 |     1611     1023     40 |  0.172 % |
0.04/0.12	c |      1211 |    1163     4826    14350 |     1611     1155     38 |  0.515 % |
0.04/0.12	c |      1311 |    1159     4804    14285 |     1611     1255     36 |  0.515 % |
0.04/0.13	c |      1421 |    1159     4804    14285 |     1611     1365     36 |  0.515 % |
0.04/0.14	c |      1543 |    1159     4804    14285 |     1611     1487     37 |  0.515 % |
0.04/0.15	c |      1677 |    1159     4804    14285 |     1611     1621     37 |  0.515 % |
0.04/0.16	c |      1825 |    1159     4804    14285 |     1611     1607     36 |  0.515 % |
0.04/0.17	c |      1927 |    1159     4804    14285 |     1611     1709     36 |  0.515 % |
0.04/0.18	c |      2037 |    1159     4804    14285 |     1611     1649     34 |  0.515 % |
0.04/0.19	c |      2160 |    1159     4804    14285 |     1611     1608     31 |  0.515 % |
0.04/0.20	c |      2294 |    1159     4804    14285 |     1611     1742     31 |  0.515 % |
0.04/0.21	c |      2443 |    1159     4804    14285 |     1611     1717     34 |  0.515 % |
0.04/0.22	c |      2604 |    1159     4804    14285 |     1611     1707     34 |  0.515 % |
0.04/0.24	c |      2704 |    1159     4804    14285 |     1611     1637     35 |  0.515 % |
0.04/0.24	c |      2816 |    1159     4804    14285 |     1611     1586     35 |  0.515 % |
0.04/0.25	c |      2937 |    1159     4804    14285 |     1611     1707     34 |  0.515 % |
0.04/0.27	c |      3071 |    1159     4804    14285 |     1611     1671     35 |  0.515 % |
0.04/0.28	c |      3218 |    1159     4804    14285 |     1611     1651     34 |  0.515 % |
0.04/0.29	c |      3381 |    1159     4804    14285 |     1611     1649     33 |  0.515 % |
0.04/0.31	c |      3558 |    1159     4804    14285 |     1611     1662     33 |  0.515 % |
0.04/0.31	c |      3658 |    1159     4804    14285 |     1611     1596     29 |  0.515 % |
0.04/0.32	c |      3768 |    1159     4804    14285 |     1611     1706     30 |  0.515 % |
0.04/0.33	c |      3889 |    1159     4804    14285 |     1611     1657     30 |  0.515 % |
0.04/0.34	c |      4022 |    1159     4804    14285 |     1611     1625     27 |  0.515 % |
0.04/0.34	c |      4171 |    1159     4804    14285 |     1611     1612     27 |  0.515 % |
0.04/0.35	c |      4331 |    1159     4804    14285 |     1611     1772     26 |  0.515 % |
0.04/0.37	c |      4508 |    1159     4804    14285 |     1611     1772     26 |  0.515 % |
0.04/0.38	c |      4702 |    1159     4804    14285 |     1611     1789     26 |  0.519 % |
0.04/0.38	c |      4806 |    1159     4804    14285 |     1611     1715     26 |  0.515 % |
0.04/0.39	c |      4916 |    1159     4804    14285 |     1611     1654     25 |  0.515 % |
0.04/0.40	c |      5038 |    1159     4804    14285 |     1611     1611     23 |  0.515 % |
0.04/0.40	c |      5171 |    1159     4804    14285 |     1611     1579     23 |  0.515 % |
0.04/0.41	c |      5317 |    1159     4804    14285 |     1611     1725     25 |  0.515 % |
0.04/0.43	c |      5478 |    1159     4804    14285 |     1611     1714     27 |  0.515 % |
0.04/0.45	c |      5655 |    1159     4804    14285 |     1611     1720     29 |  0.515 % |
0.04/0.46	c |      5849 |    1159     4804    14285 |     1611     1742     30 |  0.515 % |
0.04/0.48	c |      6063 |    1159     4804    14285 |     1611     1782     29 |  0.515 % |
0.04/0.48	c |      6165 |    1159     4804    14285 |     1611     1706     30 |  0.520 % |
0.04/0.49	c |      6275 |    1159     4804    14285 |     1611     1646     29 |  0.515 % |
0.04/0.50	c |      6396 |    1159     4804    14285 |     1611     1603     29 |  0.515 % |
0.04/0.51	c |      6531 |    1159     4804    14285 |     1611     1738     28 |  0.515 % |
0.04/0.52	c |      6678 |    1159     4804    14285 |     1611     1712     26 |  0.515 % |
0.04/0.53	c |      6838 |    1159     4804    14285 |     1611     1701     24 |  0.515 % |
0.04/0.55	c |      7015 |    1159     4804    14285 |     1611     1708     26 |  0.515 % |
0.04/0.56	c |      7210 |    1159     4804    14285 |     1611     1733     25 |  0.515 % |
0.04/0.58	c |      7423 |    1159     4804    14285 |     1611     1773     30 |  0.515 % |
0.04/0.60	c |      7656 |    1159     4804    14285 |     1611     1829     28 |  0.515 % |
0.04/0.61	c |      7757 |    1159     4804    14285 |     1611     1584     28 |  0.515 % |
0.04/0.62	c |      7867 |    1159     4804    14285 |     1611     1694     28 |  0.515 % |
0.04/0.63	c |      7989 |    1159     4804    14285 |     1611     1647     27 |  0.515 % |
0.04/0.64	c |      8123 |    1159     4804    14285 |     1611     1617     28 |  0.515 % |
0.04/0.64	c |      8269 |    1159     4804    14285 |     1611     1602     24 |  0.515 % |
0.04/0.66	c |      8429 |    1159     4804    14285 |     1611     1762     26 |  0.515 % |
0.04/0.67	c |      8605 |    1159     4804    14285 |     1611     1762     25 |  0.515 % |
0.04/0.68	c |      8798 |    1159     4804    14285 |     1611     1779     25 |  0.515 % |
0.04/0.70	c |      9010 |    1159     4804    14285 |     1611     1814     24 |  0.515 % |
0.04/0.71	c |      9243 |    1159     4804    14285 |     1611     1866     23 |  0.519 % |
0.04/0.74	c |      9500 |    1159     4804    14285 |     1611     1769     25 |  0.515 % |
0.04/0.74	c |      9600 |    1159     4804    14285 |     1611     1693     23 |  0.515 % |
0.04/0.75	c |      9712 |    1159     4804    14285 |     1611     1636     23 |  0.515 % |
0.04/0.76	c |      9834 |    1159     4804    14285 |     1611     1595     23 |  0.515 % |
0.04/0.78	c |      9969 |    1159     4804    14285 |     1611     1730     25 |  0.515 % |
0.04/0.79	c |     10115 |    1159     4804    14285 | 2147483647     1703     24 |  0.515 % |
0.04/0.79	c |     10276 |    1159     4804    14285 | 2147483647     1864     24 |  0.515 % |
0.04/0.81	c |     10453 |    1159     4804    14285 | 2147483647     2041     27 |  0.515 % |
0.04/0.83	c |     10646 |    1159     4804    14285 | 2147483647     2234     28 |  0.515 % |
0.04/0.85	c |     10858 |    1159     4804    14285 | 2147483647     2446     30 |  0.515 % |
0.04/0.87	c |     11091 |    1159     4804    14285 | 2147483647     2679     30 |  0.515 % |
0.04/0.89	c |     11347 |    1159     4804    14285 | 2147483647     2935     31 |  0.515 % |
0.04/0.93	c |     11629 |    1159     4804    14285 | 2147483647     3217     34 |  0.515 % |
0.04/0.94	c |     11730 |    1159     4804    14285 | 2147483647     3318     34 |  0.515 % |
0.04/0.95	c |     11841 |    1159     4804    14285 | 2147483647     3429     34 |  0.515 % |
0.04/0.97	c |     11962 |    1159     4804    14285 | 2147483647     3550     34 |  0.515 % |
0.04/0.98	c |     12096 |    1159     4804    14285 | 2147483647     3684     34 |  0.515 % |
0.04/0.99	c |     12243 |    1159     4804    14285 | 2147483647     3831     33 |  0.518 % |
0.04/1.01	c |     12404 |    1159     4804    14285 | 2147483647     3992     34 |  0.515 % |
0.04/1.03	c |     12583 |    1159     4804    14285 | 2147483647     4171     34 |  0.515 % |
0.04/1.03	c |     12777 |    1159     4804    14285 | 2147483647     4365     34 |  0.515 % |
0.04/1.06	c |     12990 |    1159     4804    14285 | 2147483647     4578     35 |  0.515 % |
0.04/1.08	c |     13224 |    1159     4804    14285 | 2147483647     4812     34 |  0.515 % |
1.12/1.11	c |     13480 |    1159     4804    14285 | 2147483647     5068     35 |  0.515 % |
1.12/1.15	c |     13762 |    1159     4804    14285 | 2147483647     5350     36 |  0.515 % |
1.12/1.18	c |     14074 |    1159     4804    14285 | 2147483647     5662     36 |  0.515 % |
1.12/1.18	c |     14175 |    1159     4804    14285 | 2147483647     5763     36 |  0.519 % |
1.12/1.19	c |     14285 |    1159     4804    14285 | 2147483647     5873     35 |  0.515 % |
1.12/1.19	c |     14406 |    1159     4804    14285 | 2147483647     5994     35 |  0.515 % |
1.12/1.21	c |     14539 |    1159     4804    14285 | 2147483647     6127     35 |  0.515 % |
1.23/1.22	c |     14685 |    1159     4804    14285 | 2147483647     6273     35 |  0.515 % |
1.23/1.23	c |     14845 |    1159     4804    14285 | 2147483647     6433     35 |  0.515 % |
1.23/1.25	c |     15023 |    1159     4804    14285 | 2147483647     6611     35 |  0.515 % |
1.23/1.26	c |     15217 |    1159     4804    14285 | 2147483647     6805     35 |  0.519 % |
1.23/1.27	c |     15429 |    1159     4804    14285 | 2147483647     7017     35 |  0.515 % |
1.32/1.30	c |     15662 |    1159     4804    14285 | 2147483647     7250     35 |  0.515 % |
1.32/1.33	c |     15918 |    1159     4804    14285 | 2147483647     7506     35 |  0.515 % |
1.32/1.37	c |     16200 |    1159     4804    14285 | 2147483647     7788     35 |  0.515 % |
1.42/1.41	c |     16510 |    1159     4804    14285 | 2147483647     8098     35 |  0.515 % |
1.42/1.44	c |     16851 |    1159     4804    14285 | 2147483647     8439     36 |  0.518 % |
1.42/1.45	c |     16951 |    1159     4804    14285 | 2147483647     8539     36 |  0.515 % |
1.42/1.46	c |     17061 |    1159     4804    14285 | 2147483647     8649     36 |  0.515 % |
1.42/1.48	c |     17183 |    1159     4804    14285 | 2147483647     8771     36 |  0.515 % |
1.42/1.50	c |     17316 |    1159     4804    14285 | 2147483647     8904     36 |  0.515 % |
1.52/1.51	c |     17464 |    1159     4804    14285 | 2147483647     9052     36 |  0.515 % |
1.52/1.53	c |     17624 |    1159     4804    14285 | 2147483647     9212     36 |  0.515 % |
1.52/1.56	c |     17801 |    1159     4804    14285 | 2147483647     9389     36 |  0.515 % |
1.52/1.58	c |     17994 |    1159     4804    14285 | 2147483647     9582     36 |  0.515 % |
1.62/1.62	c |     18208 |    1159     4804    14285 | 2147483647     9796     36 |  0.515 % |
1.62/1.65	c |     18444 |    1159     4804    14285 | 2147483647    10032     36 |  0.515 % |
1.62/1.70	c |     18700 |    1159     4804    14285 | 2147483647    10288     36 |  0.515 % |
1.72/1.75	c |     18982 |    1159     4804    14285 | 2147483647    10570     36 |  0.515 % |
1.72/1.80	c |     19292 |    1159     4804    14285 | 2147483647    10880     36 |  0.515 % |
1.82/1.86	c |     19632 |    1159     4804    14285 | 2147483647    11220     36 |  0.515 % |
1.92/1.92	c |     20005 |    1159     4804    14285 | 2147483647    11593     36 |  0.515 % |
1.92/1.92	c |     20106 |    1159     4804    14285 | 2147483647    11694     35 |  0.515 % |
1.92/1.94	c |     20216 |    1159     4804    14285 | 2147483647    11804     35 |  0.515 % |
1.92/1.96	c |     20337 |    1159     4804    14285 | 2147483647    11925     35 |  0.515 % |
2.02/2.01	c |     20470 |    1159     4804    14285 | 2147483647    12058     36 |  0.518 % |
2.02/2.05	c |     20619 |    1159     4804    14285 | 2147483647    12207     36 |  0.515 % |
2.02/2.06	c |     20780 |    1159     4804    14285 | 2147483647    12368     36 |  0.515 % |
2.02/2.10	c |     20956 |    1159     4804    14285 | 2147483647    12544     36 |  0.515 % |
2.12/2.16	c |     21150 |    1159     4804    14285 | 2147483647    12738     36 |  0.515 % |
2.22/2.21	c |     21363 |    1159     4804    14285 | 2147483647    12951     36 |  0.515 % |
2.22/2.25	c |     21597 |    1159     4804    14285 | 2147483647    13185     36 |  0.515 % |
2.22/2.28	c |     21854 |    1159     4804    14285 | 2147483647    13442     36 |  0.515 % |
2.33/2.32	c |     22135 |    1159     4804    14285 | 2147483647    13723     36 |  0.515 % |
2.33/2.36	c |     22445 |    1159     4804    14285 | 2147483647    14033     36 |  0.515 % |
2.42/2.42	c |     22784 |    1159     4804    14285 | 2147483647    14372     36 |  0.515 % |
2.42/2.48	c |     23157 |    1159     4804    14285 | 2147483647    14745     36 |  0.515 % |
2.52/2.57	c |     23566 |    1159     4804    14285 | 2147483647    15154     36 |  0.515 % |
2.52/2.58	c |     23666 |    1159     4804    14285 | 2147483647    15254     36 |  0.518 % |
2.52/2.60	c |     23776 |    1159     4804    14285 | 2147483647    15364     36 |  0.515 % |
2.62/2.63	c |     23897 |    1159     4804    14285 | 2147483647    15485     36 |  0.515 % |
2.62/2.66	c |     24031 |    1159     4804    14285 | 2147483647    15619     36 |  0.515 % |
2.62/2.67	c |     24178 |    1159     4804    14285 | 2147483647    15766     36 |  0.517 % |
2.62/2.69	c |     24338 |    1159     4804    14285 | 2147483647    15926     36 |  0.515 % |
2.72/2.72	c |     24515 |    1159     4804    14285 | 2147483647    16103     36 |  0.515 % |
2.72/2.74	c |     24708 |    1159     4804    14285 | 2147483647    16296     37 |  0.519 % |
2.72/2.79	c |     24921 |    1159     4804    14285 | 2147483647    16509     37 |  0.515 % |
2.82/2.83	c |     25155 |    1159     4804    14285 | 2147483647    16743     37 |  0.515 % |
2.82/2.87	c |     25413 |    1159     4804    14285 | 2147483647    17001     37 |  0.515 % |
2.92/2.94	c |     25696 |    1159     4804    14285 | 2147483647    17284     37 |  0.515 % |
3.02/3.03	c |     26005 |    1159     4804    14285 | 2147483647    17593     37 |  0.515 % |
3.02/3.06	c |     26345 |    1159     4804    14285 | 2147483647    17933     36 |  0.519 % |
3.12/3.16	c |     26718 |    1159     4804    14285 | 2147483647    18306     37 |  0.515 % |
3.22/3.27	c |     27127 |    1159     4804    14285 | 2147483647    18715     37 |  0.515 % |
3.32/3.36	c |     27576 |    1159     4804    14285 | 2147483647    19164     37 |  0.515 % |
3.32/3.38	c |     27676 |    1159     4804    14285 | 2147483647    19264     37 |  0.515 % |
3.32/3.41	c |     27788 |    1159     4804    14285 | 2147483647    19376     37 |  0.515 % |
3.43/3.45	c |     27909 |    1159     4804    14285 | 2147483647    19497     37 |  0.515 % |
3.43/3.49	c |     28044 |    1159     4804    14285 | 2147483647    19632     37 |  0.515 % |
3.52/3.51	c |     28191 |    1159     4804    14285 | 2147483647    19779     37 |  0.519 % |
3.52/3.54	c |     28352 |    1159     4804    14285 | 2147483647    19940     37 |  0.515 % |
3.52/3.57	c |     28529 |    1159     4804    14285 | 2147483647    20117     37 |  0.515 % |
3.62/3.61	c |     28722 |    1159     4804    14285 | 2147483647    20310     37 |  0.519 % |
3.62/3.64	c |     28935 |    1159     4804    14285 | 2147483647    20523     37 |  0.515 % |
3.72/3.70	c |     29168 |    1159     4804    14285 | 2147483647    20756     37 |  0.515 % |
3.72/3.74	c |     29425 |    1159     4804    14285 | 2147483647    21013     37 |  0.515 % |
3.72/3.77	c |     29706 |    1159     4804    14285 | 2147483647    21294     36 |  0.515 % |
3.82/3.84	c |     30015 |    1159     4804    14285 | 2147483647    21603     36 |  0.515 % |
3.82/3.90	c |     30354 |    1159     4804    14285 | 2147483647    21942     36 |  0.515 % |
3.92/3.99	c |     30728 |    1159     4804    14285 | 2147483647    22316     36 |  0.515 % |
4.02/4.10	c |     31137 |    1159     4804    14285 | 2147483647    22725     36 |  0.515 % |
4.12/4.14	c |     31588 |    1159     4804    14285 | 2147483647    23176     36 |  0.515 % |
4.32/4.35	c |     32082 |    1159     4804    14285 | 2147483647    23670     36 |  0.515 % |
4.32/4.37	c |     32182 |    1159     4804    14285 | 2147483647    23770     37 |  0.515 % |
4.32/4.39	c |     32294 |    1159     4804    14285 | 2147483647    23882     36 |  0.515 % |
4.42/4.42	c |     32415 |    1159     4804    14285 | 2147483647    24003     36 |  0.515 % |
4.42/4.45	c |     32550 |    1159     4804    14285 | 2147483647    24138     36 |  0.515 % |
4.42/4.47	c |     32696 |    1159     4804    14285 | 2147483647    24284     36 |  0.515 % |
4.53/4.52	c |     32857 |    1159     4804    14285 | 2147483647    24445     37 |  0.515 % |
4.53/4.57	c |     33033 |    1159     4804    14285 | 2147483647    24621     37 |  0.515 % |
4.62/4.61	c |     33226 |    1159     4804    14285 | 2147483647    24814     37 |  0.519 % |
4.62/4.66	c |     33439 |    1159     4804    14285 | 2147483647    25027     37 |  0.515 % |
4.72/4.74	c |     33672 |    1159     4804    14285 | 2147483647    25260     37 |  0.515 % |
4.82/4.83	c |     33930 |    1159     4804    14285 | 2147483647    25518     37 |  0.515 % |
4.92/4.95	c |     34212 |    1159     4804    14285 | 2147483647    25800     37 |  0.515 % |
5.02/5.07	c |     34522 |    1159     4804    14285 | 2147483647    26110     37 |  0.515 % |
5.12/5.16	c |     34861 |    1159     4804    14285 | 2147483647    26449     37 |  0.517 % |
5.22/5.22	c |     35233 |    1159     4804    14285 | 2147483647    26821     36 |  0.515 % |
5.32/5.35	c |     35643 |    1159     4804    14285 | 2147483647    27231     37 |  0.515 % |
5.52/5.51	c |     36092 |    1158     4798    14262 | 2147483647    27677     37 |  0.601 % |
5.52/5.56	c |     36585 |    1158     4798    14262 | 2147483647    28170     36 |  0.604 % |
5.63/5.70	c |     37128 |    1158     4798    14262 | 2147483647    28713     36 |  0.601 % |
5.72/5.72	c |     37229 |    1158     4798    14262 | 2147483647    28814     36 |  0.601 % |
5.72/5.75	c |     37340 |    1158     4798    14262 | 2147483647    28925     36 |  0.601 % |
5.82/5.81	c |     37461 |    1158     4798    14262 | 2147483647    29046     36 |  0.601 % |
5.82/5.89	c |     37594 |    1158     4798    14262 | 2147483647    29179     36 |  0.601 % |
5.92/5.93	c |     37740 |    1158     4798    14262 | 2147483647    29325     36 |  0.605 % |
5.92/5.97	c |     37900 |    1158     4798    14262 | 2147483647    29485     36 |  0.601 % |
5.92/6.00	c |     38077 |    1158     4798    14262 | 2147483647    29662     36 |  0.601 % |
6.02/6.04	c |     38270 |    1158     4798    14262 | 2147483647    29855     36 |  0.601 % |
6.02/6.09	c |     38482 |    1158     4798    14262 | 2147483647    30067     36 |  0.601 % |
6.12/6.20	c |     38717 |    1158     4798    14262 | 2147483647    30302     36 |  0.604 % |
6.32/6.38	c |     38973 |    1158     4798    14262 | 2147483647    30558     36 |  0.601 % |
6.52/6.55	c |     39255 |    1158     4798    14262 | 2147483647    30840     36 |  0.601 % |
6.62/6.66	c |     39565 |    1158     4798    14262 | 2147483647    31150     36 |  0.604 % |
6.73/6.74	c |     39905 |    1158     4798    14262 | 2147483647    31490     36 |  0.604 % |
6.82/6.88	c |     40278 |    1158     4798    14262 | 2147483647    31863     36 |  0.601 % |
7.02/7.04	c |     40687 |    1158     4798    14262 | 2147483647    32272     37 |  0.601 % |
7.22/7.24	c |     41137 |    1158     4798    14262 | 2147483647    32722     37 |  0.604 % |
7.42/7.45	c |     41630 |    1158     4798    14262 | 2147483647    33215     36 |  0.601 % |
7.62/7.69	c |     42174 |    1158     4798    14262 | 2147483647    33759     36 |  0.601 % |
7.92/7.98	c |     42770 |    1158     4798    14262 | 2147483647    34355     36 |  0.601 % |
8.02/8.03	c |     42870 |    1158     4798    14262 | 2147483647    34455     36 |  0.601 % |
8.02/8.09	c |     42981 |    1158     4798    14262 | 2147483647    34566     36 |  0.601 % |
8.12/8.16	c |     43105 |    1158     4798    14262 | 2147483647    34690     36 |  0.601 % |
8.22/8.23	c |     43239 |    1158     4798    14262 | 2147483647    34824     36 |  0.601 % |
8.22/8.30	c |     43385 |    1158     4798    14262 | 2147483647    34970     36 |  0.601 % |
8.32/8.36	c |     43546 |    1158     4798    14262 | 2147483647    35131     36 |  0.601 % |
8.42/8.41	c |     43723 |    1158     4798    14262 | 2147483647    35308     36 |  0.604 % |
8.42/8.46	c |     43916 |    1158     4798    14262 | 2147483647    35501     36 |  0.601 % |
8.52/8.56	c |     44129 |    1158     4798    14262 | 2147483647    35714     36 |  0.601 % |
8.62/8.66	c |     44362 |    1158     4798    14262 | 2147483647    35947     36 |  0.601 % |
8.72/8.80	c |     44618 |    1158     4798    14262 | 2147483647    36203     36 |  0.601 % |
8.93/8.92	c |     44900 |    1158     4798    14262 | 2147483647    36485     36 |  0.601 % |
9.12/9.11	c |     45209 |    1158     4798    14262 | 2147483647    36794     36 |  0.601 % |
9.12/9.16	c |     45548 |    1158     4798    14262 | 2147483647    37133     36 |  0.601 % |
9.22/9.24	c |     45921 |    1158     4798    14262 | 2147483647    37506     36 |  0.601 % |
9.32/9.37	c |     46330 |    1155     4782    14215 | 2147483647    37898     37 |  0.861 % |
9.52/9.56	c |     46779 |    1155     4782    14215 | 2147483647    38347     37 |  0.858 % |
9.82/9.84	c |     47272 |    1155     4782    14215 | 2147483647    38840     37 |  0.859 % |
10.03/10.08	c |     47815 |    1155     4782    14215 | 2147483647    39383     37 |  0.859 % |
10.32/10.32	c |     48413 |    1155     4782    14215 | 2147483647    39981     36 |  0.858 % |
10.62/10.68	c |     49068 |    1155     4782    14215 | 2147483647    40636     37 |  0.858 % |
10.72/10.72	c |     49169 |    1155     4782    14215 | 2147483647    40737     37 |  0.858 % |
10.72/10.77	c |     49280 |    1155     4782    14215 | 2147483647    40848     37 |  0.859 % |
10.82/10.82	c |     49401 |    1155     4782    14215 | 2147483647    40969     37 |  0.858 % |
10.82/10.90	c |     49536 |    1155     4782    14215 | 2147483647    41104     37 |  0.858 % |
10.92/10.97	c |     49682 |    1155     4782    14215 | 2147483647    41250     37 |  0.858 % |
11.02/11.08	c |     49842 |    1155     4782    14215 | 2147483647    41410     37 |  0.858 % |
11.22/11.22	c |     50019 |    1155     4782    14215 |    41569    41587     37 |  0.858 % |
11.32/11.36	c |     50212 |    1155     4782    14215 |    41569    33721     34 |  0.861 % |
11.42/11.45	c |     50424 |    1155     4782    14215 |    41569    33933     34 |  0.863 % |
11.52/11.58	c |     50657 |    1155     4782    14215 |    41569    34166     34 |  0.858 % |
11.72/11.76	c |     50913 |    1155     4782    14215 |    41569    34422     34 |  0.858 % |
11.92/11.94	c |     51195 |    1155     4782    14215 |    41569    34704     34 |  0.859 % |
12.12/12.12	c |     51504 |    1155     4782    14215 |    41569    35013     34 |  0.858 % |
12.23/12.22	c |     51845 |    1155     4782    14215 |    41569    35354     34 |  0.858 % |
12.32/12.36	c |     52218 |    1155     4782    14215 |    41569    35727     34 |  0.858 % |
12.52/12.58	c |     52627 |    1155     4782    14215 |    41569    36136     34 |  0.859 % |
12.62/12.70	c |     53078 |    1155     4782    14215 |    41569    36587     34 |  0.859 % |
12.82/12.87	c |     53572 |    1155     4782    14215 |    41569    37081     34 |  0.861 % |
13.12/13.11	c |     54114 |    1155     4782    14215 |    41569    37623     34 |  0.859 % |
13.33/13.33	c |     54711 |    1155     4782    14215 |    41569    38220     34 |  0.859 % |
13.52/13.53	c |     55366 |    1155     4782    14215 |    41569    38875     34 |  0.858 % |
13.62/13.67	c |     56086 |    1155     4782    14215 |    41569    39595     34 |  0.859 % |
13.62/13.70	c |     56187 |    1155     4782    14215 |    41569    39696     34 |  0.861 % |
13.72/13.75	c |     56298 |    1155     4782    14215 |    41569    39807     34 |  0.859 % |
13.82/13.82	c |     56419 |    1155     4782    14215 |    41569    39928     34 |  0.858 % |
13.82/13.89	c |     56552 |    1155     4782    14215 |    41569    40061     34 |  0.858 % |
13.92/13.97	c |     56699 |    1155     4782    14215 |    41569    40208     34 |  0.858 % |
14.02/14.07	c |     56860 |    1155     4782    14215 |    41569    40369     34 |  0.858 % |
14.22/14.21	c |     57036 |    1155     4782    14215 |    41569    40545     34 |  0.859 % |
14.22/14.28	c |     57231 |    1155     4782    14215 |    41569    40740     34 |  0.863 % |
14.43/14.44	c |     57444 |    1155     4782    14215 |    41569    40953     34 |  0.858 % |
14.63/14.62	c |     57679 |    1155     4782    14215 |    41569    41188     34 |  0.858 % |
14.73/14.78	c |     57937 |    1155     4782    14215 |    41569    41446     34 |  0.858 % |
14.93/14.92	c |     58218 |    1155     4782    14215 |    41569    41727     34 |  0.858 % |
15.13/15.13	c |     58528 |    1155     4782    14215 |    41569    33077     31 |  0.858 % |
15.13/15.20	c |     58867 |    1155     4782    14215 |    41569    33416     31 |  0.858 % |
15.23/15.30	c |     59239 |    1155     4782    14215 |    41569    33788     31 |  0.858 % |
15.43/15.47	c |     59649 |    1155     4782    14215 |    41569    34198     31 |  0.859 % |
15.73/15.72	c |     60099 |    1155     4782    14215 |    34549    34648     31 |  0.862 % |
15.83/15.82	c |     60592 |    1155     4782    14215 |    34549    27625     29 |  0.858 % |
15.83/15.91	c |     61134 |    1155     4782    14215 |    34549    28167     29 |  0.859 % |
15.93/16.01	c |     61731 |    1155     4782    14215 |    34549    28764     28 |  0.858 % |
16.23/16.29	c |     62387 |    1155     4782    14215 |    34549    29420     29 |  0.858 % |
16.43/16.49	c |     63108 |    1155     4782    14215 |    34549    30141     29 |  0.859 % |
16.83/16.84	c |     63900 |    1155     4782    14215 |    34549    30933     29 |  0.858 % |
16.83/16.88	c |     64000 |    1155     4782    14215 |    34549    31033     29 |  0.858 % |
16.93/16.91	c |     64110 |    1155     4782    14215 |    34549    31143     29 |  0.861 % |
16.93/16.93	c |     64231 |    1155     4782    14215 |    34549    31264     29 |  0.858 % |
16.93/16.99	c |     64367 |    1155     4782    14215 |    34549    31400     29 |  0.859 % |
17.03/17.02	c |     64513 |    1155     4782    14215 |    34549    31546     29 |  0.858 % |
17.03/17.04	c |     64673 |    1155     4782    14215 |    34549    31706     29 |  0.859 % |
17.03/17.10	c |     64849 |    1155     4782    14215 |    34549    31882     29 |  0.858 % |
17.13/17.18	c |     65043 |    1155     4782    14215 |    34549    32076     29 |  0.859 % |
17.23/17.22	c |     65255 |    1155     4782    14215 |    34549    32288     29 |  0.859 % |
17.33/17.32	c |     65488 |    1155     4782    14215 |    34549    32521     29 |  0.858 % |
17.43/17.43	c |     65744 |    1155     4782    14215 |    34549    32777     29 |  0.863 % |
17.53/17.53	c |     66025 |    1155     4782    14215 |    34549    33058     30 |  0.858 % |
17.53/17.60	c |     66334 |    1155     4782    14215 |    34549    33367     30 |  0.861 % |
17.73/17.79	c |     66673 |    1155     4782    14215 |    34549    33706     30 |  0.858 % |
17.93/17.96	c |     67046 |    1155     4782    14215 |    34549    34079     30 |  0.859 % |
18.03/18.07	c |     67458 |    1155     4782    14215 |    34549    34491     30 |  0.861 % |
18.23/18.25	c |     67907 |    1155     4782    14215 |    34549    34940     30 |  0.858 % |
18.53/18.55	c |     68403 |    1155     4782    14215 |    34549    29475     28 |  0.858 % |
18.83/18.82	c |     68946 |    1155     4782    14215 |    34549    30018     28 |  0.858 % |
19.13/19.12	c |     69542 |    1155     4782    14215 |    34549    30614     28 |  0.858 % |
19.23/19.30	c |     70198 |    1155     4782    14215 |    31072    31270     29 |  0.861 % |
19.43/19.50	c |     70918 |    1155     4782    14215 |    31072    26574     27 |  0.863 % |
19.73/19.77	c |     71710 |    1155     4782    14215 |    31072    27366     27 |  0.858 % |
20.13/20.12	c |     72582 |    1155     4782    14215 |    31072    28238     27 |  0.858 % |
20.13/20.14	c |     72683 |    1155     4782    14215 |    31072    28339     27 |  0.861 % |
20.13/20.18	c |     72793 |    1155     4782    14215 |    31072    28449     27 |  0.858 % |
20.13/20.19	c |     72915 |    1155     4782    14215 |    31072    28571     27 |  0.858 % |
20.23/20.26	c |     73048 |    1155     4782    14215 |    31072    28704     27 |  0.859 % |
20.23/20.27	c |     73195 |    1155     4782    14215 |    31072    28851     27 |  0.859 % |
20.33/20.34	c |     73358 |    1155     4782    14215 |    31072    29014     27 |  0.858 % |
20.33/20.41	c |     73535 |    1155     4782    14215 |    31072    29191     27 |  0.858 % |
20.43/20.45	c |     73728 |    1155     4782    14215 |    31072    29384     27 |  0.862 % |
20.43/20.51	c |     73940 |    1155     4782    14215 |    31072    29596     27 |  0.858 % |
20.63/20.61	c |     74173 |    1155     4782    14215 |    31072    29829     28 |  0.858 % |
20.63/20.71	c |     74430 |    1155     4782    14215 |    31072    30086     28 |  0.859 % |
20.83/20.82	c |     74711 |    1155     4782    14215 |    31072    30367     28 |  0.859 % |
20.93/20.94	c |     75021 |    1155     4782    14215 |    31072    30677     28 |  0.858 % |
21.03/21.06	c |     75361 |    1155     4782    14215 |    31072    31017     28 |  0.861 % |
21.23/21.22	c |     75733 |    1155     4782    14215 |    31072    31389     28 |  0.858 % |
21.33/21.38	c |     76143 |    1155     4782    14215 |    31072    26634     27 |  0.861 % |
21.43/21.43	c |     76596 |    1155     4782    14215 |    31072    27087     26 |  0.858 % |
21.53/21.60	c |     77089 |    1155     4782    14215 |    31072    27580     27 |  0.861 % |
21.83/21.85	c |     77631 |    1155     4782    14215 |    31072    28122     27 |  0.858 % |
22.03/22.06	c |     78227 |    1155     4782    14215 |    31072    28718     27 |  0.859 % |
22.23/22.23	c |     78883 |    1155     4782    14215 |    31072    29374     28 |  0.863 % |
22.53/22.54	c |     79604 |    1155     4782    14215 |    31072    30095     28 |  0.858 % |
22.83/22.84	c |     80396 |    1155     4782    14215 |    30492    30887     28 |  0.858 % |
23.13/23.18	c |     81267 |    1155     4782    14215 |    30492    26827     28 |  0.859 % |
23.43/23.45	c |     82226 |    1155     4782    14215 |    30492    27786     28 |  0.858 % |
23.43/23.49	c |     82327 |    1155     4782    14215 |    30492    27887     28 |  0.858 % |
23.43/23.50	c |     82437 |    1155     4782    14215 |    30492    27997     28 |  0.858 % |
23.53/23.52	c |     82559 |    1155     4782    14215 |    30492    28119     28 |  0.858 % |
23.53/23.54	c |     82692 |    1155     4782    14215 |    30492    28252     28 |  0.859 % |
23.53/23.56	c |     82838 |    1155     4782    14215 |    30492    28398     28 |  0.858 % |
23.53/23.58	c |     82999 |    1155     4782    14215 |    30492    28559     28 |  0.858 % |
23.63/23.63	c |     83176 |    1155     4782    14215 |    30492    28736     28 |  0.858 % |
23.63/23.67	c |     83369 |    1155     4782    14215 |    30492    28929     28 |  0.858 % |
23.73/23.77	c |     83581 |    1155     4782    14215 |    30492    29141     28 |  0.858 % |
23.83/23.83	c |     83814 |    1155     4782    14215 |    30492    29374     28 |  0.861 % |
23.83/23.90	c |     84070 |    1155     4782    14215 |    30492    29630     28 |  0.859 % |
23.93/23.99	c |     84351 |    1155     4782    14215 |    30492    29911     28 |  0.858 % |
24.13/24.13	c |     84660 |    1155     4782    14215 |    30492    30220     28 |  0.858 % |
24.23/24.28	c |     84999 |    1155     4782    14215 |    30492    30559     29 |  0.858 % |
24.43/24.46	c |     85371 |    1155     4782    14215 |    30492    26501     27 |  0.859 % |
24.63/24.62	c |     85780 |    1155     4782    14215 |    30492    26910     27 |  0.858 % |
24.83/24.83	c |     86229 |    1155     4782    14215 |    30492    27359     27 |  0.858 % |
25.03/25.05	c |     86723 |    1155     4782    14215 |    30492    27853     28 |  0.858 % |
25.23/25.26	c |     87265 |    1155     4782    14215 |    30492    28395     28 |  0.858 % |
25.53/25.52	c |     87862 |    1155     4782    14215 |    30492    28992     28 |  0.858 % |
25.73/25.77	c |     88518 |    1155     4782    14215 |    30492    29648     28 |  0.858 % |
25.93/25.96	c |     89238 |    1155     4782    14215 |    30492    30368     28 |  0.861 % |
26.23/26.27	c |     90030 |    1155     4782    14215 |    26706    26735     27 |  0.862 % |
26.43/26.47	c |     90902 |    1155     4782    14215 |    26706    23798     27 |  0.859 % |
26.63/26.68	c |     91860 |    1155     4782    14215 |    26706    24756     27 |  0.858 % |
26.93/26.95	c |     92913 |    1155     4782    14215 |    26706    25809     27 |  0.859 % |
26.93/26.98	c |     93015 |    1155     4782    14215 |    26706    25911     27 |  0.858 % |
26.93/27.00	c |     93126 |    1155     4782    14215 |    26706    26022     28 |  0.861 % |
27.03/27.03	c |     93247 |    1155     4782    14215 |    26706    26143     28 |  0.858 % |
27.03/27.09	c |     93381 |    1155     4782    14215 |    26706    26277     28 |  0.859 % |
27.13/27.14	c |     93527 |    1155     4782    14215 |    26706    26423     28 |  0.858 % |
27.13/27.20	c |     93689 |    1155     4782    14215 |    26706    26585     28 |  0.861 % |
27.23/27.24	c |     93867 |    1155     4782    14215 |    26706    26763     28 |  0.858 % |
27.23/27.31	c |     94060 |    1155     4782    14215 |    26706    23234     26 |  0.858 % |
27.33/27.34	c |     94273 |    1155     4782    14215 |    26706    23447     26 |  0.859 % |
27.33/27.40	c |     94506 |    1155     4782    14215 |    26706    23680     27 |  0.858 % |
27.43/27.45	c |     94763 |    1155     4782    14215 |    26706    23937     27 |  0.862 % |
27.53/27.57	c |     95044 |    1155     4782    14215 |    26706    24218     27 |  0.858 % |
27.63/27.66	c |     95354 |    1155     4782    14215 |    26706    24528     27 |  0.861 % |
27.73/27.78	c |     95693 |    1155     4782    14215 |    26706    24867     27 |  0.861 % |
27.83/27.88	c |     96066 |    1155     4782    14215 |    26706    25240     27 |  0.858 % |
27.93/27.98	c |     96475 |    1155     4782    14215 |    26706    25649     27 |  0.861 % |
28.03/28.11	c |     96926 |    1155     4782    14215 |    26706    26100     27 |  0.859 % |
28.23/28.29	c |     97419 |    1155     4782    14215 |    26706    26593     27 |  0.859 % |
28.53/28.51	c |     97961 |    1155     4782    14215 |    26706    23672     27 |  0.858 % |
28.73/28.73	c |     98557 |    1155     4782    14215 |    26706    24268     27 |  0.859 % |
28.83/28.87	c |     99212 |    1155     4782    14215 |    26706    24923     27 |  0.863 % |
29.03/29.10	c |     99933 |    1155     4782    14215 |    26706    25644     27 |  0.858 % |
29.33/29.34	c |    100726 |    1155     4782    14215 |    25711    23305     26 |  0.858 % |
29.63/29.64	c |    101598 |    1155     4782    14215 |    25711    24177     27 |  0.859 % |
29.73/29.76	c |    102557 |    1155     4782    14215 |    25711    25136     27 |  0.862 % |
29.83/29.90	c |    103610 |    1155     4782    14215 |    25711    23571     26 |  0.859 % |
30.23/30.30	c |    104768 |    1155     4782    14215 |    25711    24729     26 |  0.858 % |
30.33/30.34	c |    104871 |    1155     4782    14215 |    25711    24832     26 |  0.858 % |
30.33/30.38	c |    104981 |    1155     4782    14215 |    25711    24942     27 |  0.858 % |
30.43/30.42	c |    105102 |    1155     4782    14215 |    25711    25063     27 |  0.858 % |
30.43/30.48	c |    105236 |    1155     4782    14215 |    25711    25197     27 |  0.858 % |
30.53/30.52	c |    105382 |    1155     4782    14215 |    25711    25343     27 |  0.858 % |
30.53/30.57	c |    105542 |    1155     4782    14215 |    25711    25503     27 |  0.858 % |
30.53/30.60	c |    105718 |    1155     4782    14215 |    25711    25679     27 |  0.861 % |
30.63/30.66	c |    105911 |    1155     4782    14215 |    25711    25872     27 |  0.858 % |
30.73/30.74	c |    106123 |    1155     4782    14215 |    25711    23497     25 |  0.859 % |
30.73/30.81	c |    106356 |    1155     4782    14215 |    25711    23730     25 |  0.858 % |
30.83/30.90	c |    106613 |    1155     4782    14215 |    25711    23987     26 |  0.858 % |
30.93/30.97	c |    106894 |    1155     4782    14215 |    25711    24268     25 |  0.858 % |
31.03/31.04	c |    107204 |    1155     4782    14215 |    25711    24578     26 |  0.858 % |
31.13/31.15	c |    107545 |    1155     4782    14215 |    25711    24919     26 |  0.858 % |
31.13/31.21	c |    107918 |    1155     4782    14215 |    25711    25292     26 |  0.861 % |
31.23/31.29	c |    108330 |    1155     4782    14215 |    25711    25704     26 |  0.859 % |
31.43/31.46	c |    108780 |    1155     4782    14215 |    25711    26154     27 |  0.859 % |
31.63/31.64	c |    109273 |    1155     4782    14215 |    25711    24032     26 |  0.858 % |
31.73/31.79	c |    109816 |    1155     4782    14215 |    25711    24575     26 |  0.858 % |
31.83/31.85	c |    110412 |    1155     4782    14215 | 2147483647    25171     26 |  0.858 % |
31.93/31.93	c |    111068 |    1155     4782    14215 | 2147483647    25827     25 |  0.858 % |
32.03/32.03	c |    111789 |    1155     4782    14215 | 2147483647    26548     26 |  0.862 % |
32.23/32.22	c |    112583 |    1155     4782    14215 | 2147483647    27342     26 |  0.858 % |
32.33/32.40	c |    113455 |    1155     4782    14215 | 2147483647    28214     27 |  0.859 % |
32.73/32.75	c |    114415 |    1155     4782    14215 | 2147483647    29174     27 |  0.858 % |
33.13/33.18	c |    115468 |    1155     4782    14215 | 2147483647    30227     27 |  0.858 % |
33.63/33.71	c |    116627 |    1155     4782    14215 | 2147483647    31386     27 |  0.858 % |
34.33/34.37	c |    117900 |    1155     4782    14215 | 2147483647    32659     28 |  0.859 % |
34.43/34.41	c |    118000 |    1155     4782    14215 | 2147483647    32759     28 |  0.858 % |
34.43/34.44	c |    118110 |    1155     4782    14215 | 2147483647    32869     28 |  0.862 % |
34.43/34.49	c |    118232 |    1155     4782    14215 | 2147483647    32991     28 |  0.858 % |
34.53/34.57	c |    118366 |    1155     4782    14215 | 2147483647    33125     28 |  0.862 % |
34.63/34.63	c |    118512 |    1155     4782    14215 | 2147483647    33271     28 |  0.858 % |
34.63/34.70	c |    118672 |    1155     4782    14215 | 2147483647    33431     28 |  0.858 % |
34.73/34.79	c |    118849 |    1155     4782    14215 | 2147483647    33608     28 |  0.862 % |
34.83/34.90	c |    119043 |    1155     4782    14215 | 2147483647    33802     28 |  0.858 % |
34.93/34.95	c |    119255 |    1155     4782    14215 | 2147483647    34014     28 |  0.861 % |
35.03/35.04	c |    119488 |    1155     4782    14215 | 2147483647    34247     28 |  0.858 % |
35.13/35.13	c |    119745 |    1155     4782    14215 | 2147483647    34504     28 |  0.858 % |
35.23/35.24	c |    120027 |    1155     4782    14215 |    34760    34786     28 |  0.859 % |
35.33/35.32	c |    120337 |    1155     4782    14215 |    34760    30184     27 |  0.862 % |
35.43/35.45	c |    120677 |    1155     4782    14215 |    34760    30524     27 |  0.858 % |
35.63/35.62	c |    121050 |    1155     4782    14215 |    34760    30897     27 |  0.858 % |
35.73/35.77	c |    121461 |    1155     4782    14215 |    34760    31308     27 |  0.861 % |
35.93/35.94	c |    121910 |    1155     4782    14215 |    34760    31757     27 |  0.858 % |
36.13/36.20	c |    122403 |    1155     4782    14215 |    34760    32250     28 |  0.862 % |
36.43/36.45	c |    122947 |    1155     4782    14215 |    34760    32794     28 |  0.858 % |
36.63/36.65	c |    123543 |    1155     4782    14215 |    34760    33390     28 |  0.858 % |
36.73/36.80	c |    124200 |    1155     4782    14215 |    34760    34047     28 |  0.858 % |
37.13/37.12	c |    124921 |    1155     4782    14215 |    34760    34768     28 |  0.859 % |
37.43/37.50	c |    125714 |    1155     4782    14215 |    34760    29436     27 |  0.858 % |
37.83/37.84	c |    126585 |    1155     4782    14215 |    34760    30307     27 |  0.858 % |
38.23/38.22	c |    127543 |    1155     4782    14215 |    34760    31265     28 |  0.862 % |
38.43/38.48	c |    128598 |    1155     4782    14215 |    34760    32320     29 |  0.859 % |
38.83/38.82	c |    129757 |    1155     4782    14215 |    34760    33479     29 |  0.859 % |
39.23/39.28	c |    131030 |    1155     4782    14215 |    33723    28256     27 |  0.858 % |
39.63/39.70	c |    132432 |    1155     4782    14215 |    33723    29658     27 |  0.862 % |
39.73/39.74	c |    132532 |    1155     4782    14215 |    33723    29758     27 |  0.859 % |
39.73/39.77	c |    132642 |    1155     4782    14215 |    33723    29868     28 |  0.859 % |
39.83/39.81	c |    132764 |    1155     4782    14215 |    33723    29990     28 |  0.858 % |
39.83/39.87	c |    132897 |    1155     4782    14215 |    33723    30123     28 |  0.859 % |
39.83/39.90	c |    133043 |    1155     4782    14215 |    33723    30269     28 |  0.858 % |
39.93/39.98	c |    133203 |    1155     4782    14215 |    33723    30429     28 |  0.858 % |
40.03/40.07	c |    133381 |    1155     4782    14215 |    33723    30607     28 |  0.859 % |
40.13/40.14	c |    133574 |    1155     4782    14215 |    33723    30800     28 |  0.858 % |
40.13/40.17	c |    133788 |    1155     4782    14215 |    33723    31014     28 |  0.858 % |
40.33/40.33	c |    134021 |    1155     4782    14215 |    33723    31247     28 |  0.858 % |
40.33/40.40	c |    134277 |    1155     4782    14215 |    33723    31503     28 |  0.861 % |
40.43/40.49	c |    134558 |    1155     4782    14215 |    33723    31784     28 |  0.859 % |
40.63/40.62	c |    134867 |    1155     4782    14215 |    33723    32093     28 |  0.862 % |
40.73/40.74	c |    135206 |    1155     4782    14215 |    33723    32432     28 |  0.861 % |
40.73/40.81	c |    135580 |    1155     4782    14215 |    33723    32806     28 |  0.859 % |
40.93/40.99	c |    135994 |    1155     4782    14215 |    33723    33220     29 |  0.858 % |
41.13/41.13	c |    136443 |    1155     4782    14215 |    33723    33669     29 |  0.858 % |
41.23/41.23	c |    136936 |    1155     4782    14215 |    33723    27701     27 |  0.859 % |
41.33/41.38	c |    137480 |    1155     4782    14215 |    33723    28245     27 |  0.858 % |
41.63/41.63	c |    138077 |    1155     4782    14215 |    33723    28842     27 |  0.858 % |
41.73/41.80	c |    138732 |    1155     4782    14215 |    33723    29497     28 |  0.862 % |
41.93/41.95	c |    139452 |    1155     4782    14215 |    33723    30217     28 |  0.858 % |
42.03/42.09	c |    140244 |    1155     4782    14215 |    30765    25538     26 |  0.858 % |
42.13/42.18	c |    141115 |    1155     4782    14215 |    30765    26409     25 |  0.858 % |
42.63/42.66	c |    142074 |    1155     4782    14215 |    30765    27368     26 |  0.858 % |
42.83/42.89	c |    143127 |    1155     4782    14215 |    30765    28421     27 |  0.862 % |
43.03/43.03	c |    144287 |    1155     4782    14215 |    30765    29581     26 |  0.858 % |
43.53/43.58	c |    145561 |    1155     4782    14215 |    30765    30855     27 |  0.859 % |
44.03/44.06	c |    146961 |    1155     4782    14215 |    30765    27409     25 |  0.861 % |
44.73/44.72	c |    148501 |    1155     4782    14215 |    30765    28949     26 |  0.858 % |
44.73/44.74	c |    148601 |    1155     4782    14215 |    30765    29049     26 |  0.862 % |
44.73/44.76	c |    148711 |    1155     4782    14215 |    30765    29159     26 |  0.858 % |
44.73/44.77	c |    148833 |    1155     4782    14215 |    30765    29281     26 |  0.858 % |
44.83/44.83	c |    148966 |    1155     4782    14215 |    30765    29414     26 |  0.858 % |
44.83/44.89	c |    149112 |    1155     4782    14215 |    30765    29560     26 |  0.858 % |
44.93/44.94	c |    149273 |    1155     4782    14215 |    30765    29721     26 |  0.858 % |
45.03/45.02	c |    149449 |    1155     4782    14215 |    30765    29897     26 |  0.861 % |
45.03/45.09	c |    149642 |    1155     4782    14215 |    30765    30090     26 |  0.858 % |
45.13/45.17	c |    149854 |    1155     4782    14215 |    30765    30302     26 |  0.859 % |
45.23/45.27	c |    150088 |    1155     4782    14215 |    30448    30536     26 |  0.859 % |
45.33/45.35	c |    150345 |    1155     4782    14215 |    30448    25925     25 |  0.863 % |
45.43/45.41	c |    150627 |    1155     4782    14215 |    30448    26207     25 |  0.859 % |
45.53/45.56	c |    150937 |    1155     4782    14215 |    30448    26517     25 |  0.858 % |
45.73/45.72	c |    151276 |    1155     4782    14215 |    30448    26856     25 |  0.858 % |
45.83/45.84	c |    151650 |    1155     4782    14215 |    30448    27230     26 |  0.859 % |
46.03/46.02	c |    152060 |    1155     4782    14215 |    30448    27640     26 |  0.858 % |
46.13/46.12	c |    152509 |    1155     4782    14215 |    30448    28089     26 |  0.859 % |
46.13/46.20	c |    153002 |    1155     4782    14215 |    30448    28582     26 |  0.863 % |
46.23/46.30	c |    153548 |    1155     4782    14215 |    30448    29128     26 |  0.859 % |
46.43/46.49	c |    154144 |    1155     4782    14215 |    30448    29724     26 |  0.859 % |
46.73/46.74	c |    154799 |    1155     4782    14215 |    30448    30379     27 |  0.862 % |
47.03/47.06	c |    155519 |    1155     4782    14215 |    30448    25914     25 |  0.863 % |
47.23/47.22	c |    156311 |    1155     4782    14215 |    30448    26706     26 |  0.862 % |
47.53/47.55	c |    157183 |    1155     4782    14215 |    30448    27578     26 |  0.858 % |
47.83/47.85	c |    158142 |    1155     4782    14215 |    30448    28537     27 |  0.861 % |
48.03/48.07	c |    159195 |    1155     4782    14215 |    30448    29590     27 |  0.858 % |
48.23/48.25	c |    160353 |    1155     4782    14215 |    30396    25955     26 |  0.858 % |
48.53/48.59	c |    161627 |    1155     4782    14215 |    30396    27229     26 |  0.858 % |
49.03/49.06	c |    163027 |    1155     4782    14215 |    30396    28629     26 |  0.858 % |
49.53/49.60	c |    164567 |    1155     4782    14215 |    30396    30169     27 |  0.861 % |
50.13/50.18	c |    166261 |    1155     4782    14215 |    30396    28005     25 |  0.859 % |
50.23/50.22	c |    166362 |    1155     4782    14215 |    30396    28106     25 |  0.858 % |
50.23/50.27	c |    166473 |    1155     4782    14215 |    30396    28217     25 |  0.858 % |
50.33/50.33	c |    166594 |    1155     4782    14215 |    30396    28338     25 |  0.858 % |
50.33/50.37	c |    166728 |    1155     4782    14215 |    30396    28472     26 |  0.862 % |
50.33/50.39	c |    166874 |    1155     4782    14215 |    30396    28618     26 |  0.861 % |
50.43/50.44	c |    167034 |    1155     4782    14215 |    30396    28778     26 |  0.858 % |
50.43/50.47	c |    167210 |    1155     4782    14215 |    30396    28954     26 |  0.862 % |
50.53/50.52	c |    167403 |    1155     4782    14215 |    30396    29147     26 |  0.858 % |
50.53/50.58	c |    167615 |    1155     4782    14215 |    30396    29359     26 |  0.858 % |
50.63/50.68	c |    167848 |    1155     4782    14215 |    30396    29592     26 |  0.858 % |
50.73/50.77	c |    168104 |    1155     4782    14215 |    30396    29848     26 |  0.858 % |
50.83/50.85	c |    168385 |    1155     4782    14215 |    30396    30129     26 |  0.859 % |
50.93/50.96	c |    168695 |    1155     4782    14215 |    30396    30439     26 |  0.858 % |
51.03/51.06	c |    169034 |    1155     4782    14215 |    30396    26832     25 |  0.858 % |
51.13/51.14	c |    169407 |    1155     4782    14215 |    30396    27205     25 |  0.858 % |
51.23/51.29	c |    169816 |    1155     4782    14215 |    30396    27614     25 |  0.858 % |
51.33/51.40	c |    170265 |    1155     4782    14215 |    27799    28063     25 |  0.858 % |
51.53/51.57	c |    170758 |    1155     4782    14215 |    27799    25146     24 |  0.858 % |
51.73/51.74	c |    171300 |    1155     4782    14215 |    27799    25688     24 |  0.858 % |
51.83/51.89	c |    171896 |    1155     4782    14215 |    27799    26284     24 |  0.858 % |
52.03/52.08	c |    172551 |    1155     4782    14215 |    27799    26939     25 |  0.858 % |
52.13/52.18	c |    173272 |    1155     4782    14215 |    27799    27660     25 |  0.861 % |
52.43/52.49	c |    174065 |    1155     4782    14215 |    27799    25488     24 |  0.858 % |
52.73/52.78	c |    174936 |    1155     4782    14215 |    27799    26359     24 |  0.862 % |
53.03/53.08	c |    175895 |    1155     4782    14215 |    27799    27318     25 |  0.858 % |
53.43/53.50	c |    176948 |    1155     4782    14215 |    27799    25288     25 |  0.858 % |
53.83/53.87	c |    178107 |    1155     4782    14215 |    27799    26447     26 |  0.858 % |
54.43/54.44	c |    179381 |    1155     4782    14215 |    27799    27721     26 |  0.858 % |
55.03/55.05	c |    180781 |    1155     4782    14215 | 2147483647    26277     26 |  0.858 % |
55.53/55.56	c |    182321 |    1155     4782    14215 | 2147483647    27817     26 |  0.858 % |
56.13/56.17	c |    184015 |    1155     4782    14215 | 2147483647    29511     26 |  0.858 % |
56.53/56.56	c |    185878 |    1155     4782    14215 | 2147483647    31374     27 |  0.862 % |
56.53/56.59	c |    185978 |    1155     4782    14215 | 2147483647    31474     27 |  0.858 % |
56.63/56.64	c |    186089 |    1155     4782    14215 | 2147483647    31585     27 |  0.858 % |
56.63/56.66	c |    186211 |    1155     4782    14215 | 2147483647    31707     27 |  0.859 % |
56.63/56.71	c |    186345 |    1155     4782    14215 | 2147483647    31841     27 |  0.859 % |
56.73/56.78	c |    186491 |    1155     4782    14215 | 2147483647    31987     27 |  0.859 % |
56.83/56.85	c |    186651 |    1155     4782    14215 | 2147483647    32147     27 |  0.858 % |
56.83/56.89	c |    186828 |    1155     4782    14215 | 2147483647    32324     27 |  0.858 % |
57.03/57.02	c |    187021 |    1155     4782    14215 | 2147483647    32517     27 |  0.858 % |
57.03/57.08	c |    187234 |    1155     4782    14215 | 2147483647    32730     27 |  0.858 % |
57.13/57.17	c |    187468 |    1155     4782    14215 | 2147483647    32964     28 |  0.859 % |
57.23/57.27	c |    187725 |    1155     4782    14215 | 2147483647    33221     28 |  0.858 % |
57.33/57.37	c |    188008 |    1155     4782    14215 | 2147483647    33504     28 |  0.858 % |
57.33/57.41	c |    188317 |    1155     4782    14215 | 2147483647    33813     28 |  0.858 % |
57.43/57.45	c |    188656 |    1155     4782    14215 | 2147483647    34152     27 |  0.859 % |
57.63/57.64	c |    189028 |    1155     4782    14215 | 2147483647    34524     28 |  0.858 % |
57.83/57.82	c |    189438 |    1155     4782    14215 | 2147483647    34934     28 |  0.862 % |
57.93/58.00	c |    189890 |    1155     4782    14215 | 2147483647    35386     28 |  0.859 % |
58.23/58.26	c |    190383 |    1155     4782    14215 |    35497    30534     27 |  0.863 % |
58.43/58.43	c |    190925 |    1155     4782    14215 |    35497    31076     27 |  0.858 % |
58.63/58.69	c |    191521 |    1155     4782    14215 |    35497    31672     27 |  0.858 % |
58.73/58.77	c |    192176 |    1155     4782    14215 |    35497    32327     27 |  0.862 % |
59.03/59.06	c |    192896 |    1155     4782    14215 |    35497    33047     27 |  0.858 % |
59.53/59.58	c |    193688 |    1155     4782    14215 |    35497    33839     27 |  0.859 % |
59.93/59.99	c |    194559 |    1155     4782    14215 |    35497    34710     27 |  0.859 % |
60.03/60.11	c |    195517 |    1155     4782    14215 |    35497    30259     25 |  0.858 % |
60.23/60.28	c |    196570 |    1155     4782    14215 |    35497    31312     26 |  0.858 % |
60.93/60.94	c |    197728 |    1154     4778    14199 |    35497    32171     26 |  0.945 % |
61.53/61.56	c |    199001 |    1154     4778    14199 |    35497    33444     27 |  0.945 % |
62.23/62.23	c |    200401 |    1154     4778    14199 |    34443    34844     27 |  0.947 % |
62.93/62.97	c |    201941 |    1154     4778    14199 |    34443    29499     25 |  0.944 % |
63.53/63.54	c |    203637 |    1154     4778    14199 |    34443    31195     26 |  0.944 % |
64.23/64.24	c |    205502 |    1154     4778    14199 |    34443    33060     26 |  0.944 % |
65.03/65.06	c |    207551 |    1154     4778    14199 |    34443    28576     25 |  0.946 % |
65.03/65.10	c |    207651 |    1154     4778    14199 |    34443    28676     25 |  0.944 % |
65.13/65.14	c |    207762 |    1154     4778    14199 |    34443    28787     25 |  0.946 % |
65.13/65.20	c |    207884 |    1154     4778    14199 |    34443    28909     25 |  0.944 % |
65.23/65.25	c |    208017 |    1154     4778    14199 |    34443    29042     25 |  0.949 % |
65.33/65.31	c |    208167 |    1154     4778    14199 |    34443    29192     25 |  0.948 % |
65.33/65.38	c |    208328 |    1154     4778    14199 |    34443    29353     25 |  0.944 % |
65.43/65.48	c |    208505 |    1154     4778    14199 |    34443    29530     26 |  0.944 % |
65.43/65.51	c |    208698 |    1154     4778    14199 |    34443    29723     25 |  0.946 % |
65.53/65.53	c |    208911 |    1154     4778    14199 |    34443    29936     25 |  0.944 % |
65.63/65.66	c |    209145 |    1154     4778    14199 |    34443    30170     26 |  0.944 % |
65.73/65.79	c |    209403 |    1154     4778    14199 |    34443    30428     26 |  0.944 % |
65.83/65.84	c |    209684 |    1154     4778    14199 |    34443    30709     26 |  0.945 % |
65.93/65.95	c |    209994 |    1154     4778    14199 |    34443    31019     26 |  0.945 % |
66.03/66.07	c |    210333 |    1154     4778    14199 |    31025    31358     26 |  0.948 % |
66.13/66.21	c |    210705 |    1154     4778    14199 |    31025    25968     25 |  0.945 % |
66.33/66.32	c |    211114 |    1154     4778    14199 |    31025    26377     25 |  0.944 % |
66.43/66.48	c |    211564 |    1154     4778    14199 |    31025    26827     25 |  0.944 % |
66.63/66.65	c |    212058 |    1154     4778    14199 |    31025    27321     25 |  0.948 % |
66.73/66.74	c |    212600 |    1154     4778    14199 |    31025    27863     25 |  0.948 % |
66.93/66.92	c |    213196 |    1154     4778    14199 |    31025    28459     26 |  0.944 % |
67.13/67.15	c |    213852 |    1154     4778    14199 |    31025    29115     26 |  0.948 % |
67.33/67.40	c |    214573 |    1154     4778    14199 |    31025    29836     26 |  0.944 % |
67.53/67.61	c |    215365 |    1154     4778    14199 |    31025    30628     26 |  0.944 % |
67.83/67.85	c |    216237 |    1154     4778    14199 |    31025    31500     27 |  0.948 % |
68.13/68.12	c |    217195 |    1154     4778    14199 |    31025    27461     25 |  0.944 % |
68.63/68.67	c |    218249 |    1154     4778    14199 |    31025    28515     25 |  0.944 % |
69.23/69.22	c |    219407 |    1154     4778    14199 |    31025    29673     26 |  0.944 % |
69.63/69.65	c |    220681 |    1154     4778    14199 |    30269    26306     25 |  0.944 % |
70.03/70.10	c |    222081 |    1154     4778    14199 |    30269    27706     25 |  0.944 % |
70.43/70.50	c |    223622 |    1154     4778    14199 |    30269    29247     26 |  0.949 % |
70.73/70.75	c |    225316 |    1154     4778    14199 |    30269    27019     24 |  0.944 % |
71.03/71.07	c |    227181 |    1154     4778    14199 |    30269    28884     24 |  0.944 % |
71.93/71.98	c |    229231 |    1154     4778    14199 |    30269    27205     24 |  0.944 % |
73.03/73.05	c |    231485 |    1154     4778    14199 |    27974    25404     24 |  0.944 % |
73.03/73.09	c |    231585 |    1154     4778    14199 |    27974    25504     24 |  0.944 % |
73.13/73.12	c |    231697 |    1154     4778    14199 |    27974    25616     24 |  0.947 % |
73.13/73.15	c |    231819 |    1154     4778    14199 |    27974    25738     24 |  0.944 % |
73.13/73.18	c |    231954 |    1154     4778    14199 |    27974    25873     24 |  0.948 % |
73.23/73.22	c |    232100 |    1154     4778    14199 |    27974    26019     24 |  0.944 % |
73.23/73.28	c |    232262 |    1154     4778    14199 |    27974    26181     25 |  0.944 % |
73.33/73.34	c |    232438 |    1154     4778    14199 |    27974    26357     24 |  0.944 % |
73.33/73.40	c |    232631 |    1154     4778    14199 |    27974    26550     25 |  0.944 % |
73.43/73.47	c |    232843 |    1154     4778    14199 |    27974    26762     25 |  0.944 % |
73.53/73.54	c |    233076 |    1154     4778    14199 |    27974    26995     25 |  0.944 % |
73.63/73.61	c |    233333 |    1154     4778    14199 |    27974    27252     25 |  0.947 % |
73.63/73.68	c |    233614 |    1154     4778    14199 |    27974    27533     25 |  0.944 % |
73.73/73.79	c |    233924 |    1154     4778    14199 |    27974    27843     25 |  0.944 % |
73.93/73.96	c |    234265 |    1154     4778    14199 |    27974    28184     25 |  0.944 % |
74.13/74.12	c |    234638 |    1154     4778    14199 |    27974    24321     24 |  0.944 % |
74.23/74.24	c |    235047 |    1154     4778    14199 |    27974    24730     24 |  0.944 % |
74.33/74.31	c |    235497 |    1154     4778    14199 |    27974    25180     24 |  0.946 % |
74.33/74.40	c |    235990 |    1154     4778    14199 |    27974    25673     24 |  0.945 % |
74.53/74.58	c |    236533 |    1154     4778    14199 |    27974    26216     25 |  0.944 % |
74.63/74.64	c |    237129 |    1154     4778    14199 |    27974    26812     25 |  0.944 % |
74.73/74.75	c |    237784 |    1154     4778    14199 |    27974    27467     24 |  0.944 % |
75.03/75.02	c |    238505 |    1154     4778    14199 |    27974    28188     25 |  0.944 % |
75.13/75.20	c |    239297 |    1154     4778    14199 |    27974    25283     24 |  0.948 % |
75.43/75.50	c |    240168 |    1154     4778    14199 |    25986    26154     24 |  0.944 % |
75.73/75.80	c |    241127 |    1154     4778    14199 |    25986    23680     25 |  0.944 % |
76.13/76.14	c |    242180 |    1154     4778    14199 |    25986    24733     25 |  0.944 % |
76.63/76.63	c |    243340 |    1154     4778    14199 |    25986    25893     25 |  0.944 % |
76.93/76.99	c |    244614 |    1154     4778    14199 |    25986    24516     25 |  0.944 % |
77.43/77.50	c |    246015 |    1154     4778    14199 |    25986    25917     25 |  0.944 % |
77.73/77.74	c |    247555 |    1154     4778    14199 |    25986    24628     25 |  0.947 % |
78.33/78.40	c |    249250 |    1154     4778    14199 |    25986    26323     25 |  0.948 % |
78.93/78.96	c |    251113 |    1154     4778    14199 |    24036    22489     24 |  0.944 % |
79.63/79.65	c |    253162 |    1154     4778    14199 |    24036    22113     23 |  0.944 % |
80.43/80.42	c |    255416 |    1154     4778    14199 |    24036    21947     24 |  0.944 % |
81.13/81.13	c |    257895 |    1154     4778    14199 |    24036    21987     24 |  0.944 % |
81.13/81.14	c |    257995 |    1154     4778    14199 |    24036    22087     24 |  0.945 % |
81.13/81.16	c |    258105 |    1154     4778    14199 |    24036    22197     24 |  0.944 % |
81.13/81.19	c |    258227 |    1154     4778    14199 |    24036    22319     24 |  0.945 % |
81.23/81.22	c |    258362 |    1154     4778    14199 |    24036    22454     24 |  0.944 % |
81.23/81.25	c |    258508 |    1154     4778    14199 |    24036    22600     24 |  0.944 % |
81.23/81.29	c |    258669 |    1154     4778    14199 |    24036    22761     24 |  0.944 % |
81.33/81.34	c |    258845 |    1154     4778    14199 |    24036    22937     24 |  0.948 % |
81.33/81.40	c |    259039 |    1154     4778    14199 |    24036    23131     24 |  0.944 % |
81.43/81.43	c |    259251 |    1154     4778    14199 |    24036    23343     24 |  0.944 % |
81.43/81.50	c |    259484 |    1154     4778    14199 |    24036    23576     25 |  0.944 % |
81.53/81.58	c |    259742 |    1154     4778    14199 |    24036    23834     25 |  0.944 % |
81.63/81.67	c |    260023 |    1154     4778    14199 | 2147483647    24115     25 |  0.944 % |
81.73/81.76	c |    260332 |    1154     4778    14199 | 2147483647    24424     25 |  0.944 % |
81.83/81.87	c |    260671 |    1154     4778    14199 | 2147483647    24763     25 |  0.945 % |
81.93/81.93	c |    261044 |    1154     4778    14199 | 2147483647    25136     25 |  0.944 % |
82.03/82.01	c |    261454 |    1154     4778    14199 | 2147483647    25546     25 |  0.944 % |
82.13/82.14	c |    261905 |    1154     4778    14199 | 2147483647    25997     25 |  0.944 % |
82.33/82.35	c |    262400 |    1154     4778    14199 | 2147483647    26492     25 |  0.944 % |
82.53/82.55	c |    262943 |    1154     4778    14199 | 2147483647    27035     25 |  0.944 % |
82.63/82.69	c |    263539 |    1154     4778    14199 | 2147483647    27631     26 |  0.944 % |
82.83/82.87	c |    264194 |    1154     4778    14199 | 2147483647    28286     26 |  0.944 % |
83.13/83.12	c |    264914 |    1154     4778    14199 | 2147483647    29006     26 |  0.945 % |
83.33/83.35	c |    265708 |    1154     4778    14199 | 2147483647    29800     26 |  0.948 % |
83.63/83.65	c |    266579 |    1154     4778    14199 | 2147483647    30671     27 |  0.944 % |
84.03/84.09	c |    267539 |    1154     4778    14199 | 2147483647    31631     27 |  0.944 % |
84.33/84.40	c |    268592 |    1154     4778    14199 | 2147483647    32684     27 |  0.947 % |
84.84/84.83	c |    269750 |    1154     4778    14199 | 2147483647    33842     27 |  0.948 % |
85.23/85.24	c |    271024 |    1154     4778    14199 |    34093    29459     26 |  0.948 % |
85.43/85.47	c |    272424 |    1154     4778    14199 |    34093    30859     26 |  0.947 % |
85.83/85.83	c |    273964 |    1154     4778    14199 |    34093    32399     26 |  0.944 % |
86.33/86.39	c |    275658 |    1154     4778    14199 |    34093    34093     27 |  0.944 % |
87.23/87.24	c |    277521 |    1154     4778    14199 |    34093    30475     26 |  0.948 % |
87.63/87.71	c |    279570 |    1154     4778    14199 |    34093    32524     27 |  0.947 % |
88.53/88.54	c |    281824 |    1154     4778    14199 |    32954    29282     25 |  0.944 % |
89.73/89.73	c |    284302 |    1154     4778    14199 |    32954    31760     26 |  0.944 % |
90.23/90.31	c |    287027 |    1154     4778    14199 |    32954    29492     24 |  0.944 % |
90.34/90.33	c |    287129 |    1154     4778    14199 |    32954    29594     24 |  0.946 % |
90.34/90.38	c |    287240 |    1154     4778    14199 |    32954    29705     24 |  0.945 % |
90.43/90.42	c |    287361 |    1154     4778    14199 |    32954    29826     24 |  0.944 % |
90.43/90.45	c |    287494 |    1154     4778    14199 |    32954    29959     24 |  0.944 % |
90.53/90.54	c |    287640 |    1154     4778    14199 |    32954    30105     24 |  0.944 % |
90.53/90.60	c |    287800 |    1154     4778    14199 |    32954    30265     24 |  0.944 % |
90.63/90.67	c |    287976 |    1154     4778    14199 |    32954    30441     25 |  0.944 % |
90.73/90.75	c |    288170 |    1154     4778    14199 |    32954    30635     25 |  0.944 % |
90.83/90.86	c |    288383 |    1154     4778    14199 |    32954    30848     25 |  0.947 % |
90.93/90.95	c |    288617 |    1154     4778    14199 |    32954    31082     25 |  0.944 % |
91.03/91.07	c |    288873 |    1154     4778    14199 |    32954    31338     25 |  0.945 % |
91.13/91.18	c |    289156 |    1154     4778    14199 |    32954    31621     25 |  0.944 % |
91.23/91.27	c |    289466 |    1154     4778    14199 |    32954    31931     25 |  0.944 % |
91.33/91.39	c |    289806 |    1154     4778    14199 |    32954    32271     25 |  0.944 % |
91.53/91.56	c |    290178 |    1154     4778    14199 |    32465    32643     25 |  0.944 % |
91.73/91.75	c |    290587 |    1154     4778    14199 |    32465    28079     23 |  0.948 % |
91.83/91.84	c |    291040 |    1154     4778    14199 |    32465    28532     24 |  0.947 % |
91.83/91.90	c |    291533 |    1154     4778    14199 |    32465    29025     24 |  0.944 % |
91.93/91.96	c |    292075 |    1154     4778    14199 |    32465    29567     23 |  0.945 % |
92.03/92.06	c |    292671 |    1154     4778    14199 |    32465    30163     24 |  0.947 % |
92.33/92.38	c |    293327 |    1154     4778    14199 |    32465    30819     24 |  0.944 % |
92.73/92.73	c |    294047 |    1154     4778    14199 |    32465    31539     24 |  0.944 % |
92.93/92.93	c |    294840 |    1154     4778    14199 |    32465    32332     24 |  0.948 % |
93.13/93.17	c |    295713 |    1154     4778    14199 |    32465    27493     23 |  0.944 % |
93.64/93.62	c |    296672 |    1154     4778    14199 |    32465    28452     23 |  0.949 % |
94.13/94.12	c |    297728 |    1154     4778    14199 |    32465    29508     23 |  0.944 % |
94.53/94.60	c |    298886 |    1154     4778    14199 |    32465    30666     24 |  0.944 % |
95.23/95.23	c |    300161 |    1154     4778    14199 |    31781    31941     24 |  0.945 % |
95.63/95.67	c |    301561 |    1154     4778    14199 |    31781    28602     23 |  0.945 % |
95.93/95.98	c |    303102 |    1154     4778    14199 |    31781    30143     24 |  0.948 % |
96.43/96.49	c |    304796 |    1154     4778    14199 |    31781    31837     24 |  0.944 % |
97.13/97.20	c |    306660 |    1154     4778    14199 |    31781    28850     25 |  0.944 % |
98.13/98.15	c |    308709 |    1154     4778    14199 |    31781    30899     25 |  0.944 % |
98.93/98.99	c |    310962 |    1154     4778    14199 |    27502    24417     24 |  0.944 % |
99.93/99.97	c |    313440 |    1154     4778    14199 |    27502    26895     25 |  0.944 % |
100.83/100.83	c |    316165 |    1154     4778    14199 |    27502    26526     26 |  0.944 % |
102.03/102.03	c |    319162 |    1154     4778    14199 |    27502    26294     25 |  0.944 % |
102.03/102.09	c |    319262 |    1154     4778    14199 |    27502    26394     25 |  0.944 % |
102.13/102.13	c |    319372 |    1154     4778    14199 |    27502    26504     25 |  0.945 % |
102.13/102.18	c |    319493 |    1154     4778    14199 |    27502    26625     25 |  0.944 % |
102.23/102.24	c |    319626 |    1154     4778    14199 |    27502    26758     26 |  0.944 % |
102.23/102.29	c |    319776 |    1154     4778    14199 |    27502    26908     26 |  0.944 % |
102.33/102.34	c |    319937 |    1154     4778    14199 |    27502    27069     26 |  0.944 % |
102.33/102.39	c |    320113 |    1154     4778    14199 |    27132    27245     26 |  0.944 % |
102.44/102.50	c |    320307 |    1154     4778    14199 |    27132    24221     25 |  0.944 % |
102.53/102.58	c |    320519 |    1154     4778    14199 |    27132    24433     25 |  0.944 % |
102.53/102.61	c |    320753 |    1154     4778    14199 |    27132    24667     25 |  0.944 % |
102.63/102.64	c |    321010 |    1154     4778    14199 |    27132    24924     25 |  0.944 % |
102.63/102.68	c |    321292 |    1154     4778    14199 |    27132    25206     25 |  0.944 % |
102.73/102.80	c |    321601 |    1154     4778    14199 |    27132    25515     25 |  0.944 % |
102.93/102.92	c |    321941 |    1154     4778    14199 |    27132    25855     25 |  0.949 % |
103.03/103.06	c |    322313 |    1154     4778    14199 |    27132    26227     25 |  0.944 % |
103.23/103.21	c |    322722 |    1154     4778    14199 |    27132    26636     25 |  0.944 % |
103.43/103.42	c |    323173 |    1154     4778    14199 |    27132    27087     26 |  0.944 % |
103.43/103.50	c |    323666 |    1154     4778    14199 |    27132    24619     24 |  0.944 % |
103.73/103.73	c |    324208 |    1154     4778    14199 |    27132    25161     25 |  0.944 % |
103.93/103.95	c |    324804 |    1154     4778    14199 |    27132    25757     25 |  0.944 % |
104.13/104.16	c |    325462 |    1154     4778    14199 |    27132    26415     25 |  0.944 % |
104.43/104.47	c |    326182 |    1154     4778    14199 |    27132    27135     25 |  0.944 % |
104.53/104.57	c |    326974 |    1154     4778    14199 |    27132    25148     24 |  0.944 % |
104.93/104.95	c |    327847 |    1154     4778    14199 |    27132    26021     24 |  0.944 % |
105.33/105.31	c |    328806 |    1154     4778    14199 |    27132    26980     24 |  0.944 % |
105.74/105.76	c |    329860 |    1154     4778    14199 |    27132    25288     24 |  0.944 % |
106.13/106.20	c |    331019 |    1154     4778    14199 | 2147483647    26447     24 |  0.945 % |
106.33/106.37	c |    332293 |    1154     4778    14199 | 2147483647    27721     24 |  0.944 % |
106.84/106.83	c |    333693 |    1154     4778    14199 | 2147483647    29121     25 |  0.944 % |
107.43/107.42	c |    335235 |    1154     4778    14199 | 2147483647    30663     25 |  0.944 % |
108.03/108.08	c |    336929 |    1154     4778    14199 | 2147483647    32357     26 |  0.944 % |
109.04/109.05	c |    338792 |    1154     4778    14199 | 2147483647    34220     26 |  0.948 % |
109.73/109.79	c |    340843 |    1154     4778    14199 |    35428    32157     24 |  0.944 % |
110.73/110.76	c |    343096 |    1154     4778    14199 |    35428    34410     25 |  0.944 % |
111.43/111.44	c |    345574 |    1154     4778    14199 |    35428    30853     25 |  0.948 % |
112.34/112.39	c |    348299 |    1154     4778    14199 |    35428    33578     25 |  0.947 % |
113.63/113.67	c |    351296 |    1154     4778    14199 |    35280    30166     24 |  0.944 % |
115.03/115.06	c |    354594 |    1154     4778    14199 |    35280    33464     26 |  0.944 % |
115.03/115.10	c |    354696 |    1154     4778    14199 |    35280    33566     26 |  0.947 % |
115.13/115.12	c |    354807 |    1154     4778    14199 |    35280    33677     26 |  0.949 % |
115.13/115.17	c |    354929 |    1154     4778    14199 |    35280    33799     26 |  0.944 % |
115.23/115.23	c |    355062 |    1154     4778    14199 |    35280    33932     26 |  0.944 % |
115.23/115.25	c |    355209 |    1154     4778    14199 |    35280    34079     26 |  0.947 % |
115.33/115.32	c |    355370 |    1154     4778    14199 |    35280    34240     26 |  0.944 % |
115.33/115.39	c |    355547 |    1154     4778    14199 |    35280    34417     26 |  0.944 % |
115.43/115.41	c |    355742 |    1154     4778    14199 |    35280    34612     26 |  0.947 % |
115.43/115.45	c |    355954 |    1154     4778    14199 |    35280    34824     26 |  0.944 % |
115.53/115.54	c |    356188 |    1154     4778    14199 |    35280    35058     26 |  0.944 % |
115.53/115.60	c |    356445 |    1154     4778    14199 |    35280    35315     26 |  0.944 % |
115.73/115.73	c |    356726 |    1154     4778    14199 |    35280    29385     25 |  0.945 % |
115.73/115.79	c |    357035 |    1154     4778    14199 |    35280    29694     25 |  0.944 % |
115.83/115.89	c |    357375 |    1154     4778    14199 |    35280    30034     25 |  0.947 % |
116.03/116.09	c |    357747 |    1154     4778    14199 |    35280    30406     25 |  0.948 % |
116.23/116.25	c |    358157 |    1154     4778    14199 |    35280    30816     25 |  0.948 % |
116.43/116.48	c |    358607 |    1154     4778    14199 |    35280    31266     25 |  0.948 % |
116.74/116.73	c |    359100 |    1154     4778    14199 |    35280    31759     25 |  0.944 % |
116.74/116.80	c |    359642 |    1154     4778    14199 |    35280    32301     25 |  0.944 % |
116.93/116.91	c |    360239 |    1154     4778    14199 |    32661    27328     24 |  0.944 % |
117.13/117.17	c |    360895 |    1154     4778    14199 |    32661    27984     25 |  0.944 % |
117.43/117.50	c |    361615 |    1154     4778    14199 |    32661    28704     25 |  0.945 % |
117.53/117.57	c |    362408 |    1154     4778    14199 |    32661    29497     25 |  0.944 % |
117.63/117.69	c |    363279 |    1154     4778    14199 |    32661    30368     25 |  0.944 % |
117.93/117.96	c |    364238 |    1154     4778    14199 |    32661    31327     25 |  0.944 % |
118.33/118.32	c |    365291 |    1154     4778    14199 |    32661    32380     25 |  0.944 % |
118.94/118.94	c |    366449 |    1154     4778    14199 |    32661    29284     24 |  0.944 % |
119.43/119.49	c |    367722 |    1154     4778    14199 |    32661    30557     25 |  0.944 % |
119.83/119.86	c |    369122 |    1154     4778    14199 |    32661    31957     24 |  0.944 % |
120.63/120.64	c |    370663 |    1154     4778    14199 |    32836    28803     24 |  0.944 % |
121.43/121.42	c |    372358 |    1154     4778    14199 |    32836    30498     24 |  0.944 % |
122.24/122.28	c |    374222 |    1154     4778    14199 |    32836    32362     25 |  0.945 % |
123.23/123.24	c |    376271 |    1154     4778    14199 |    32836    28729     24 |  0.944 % |
124.23/124.30	c |    378524 |    1154     4778    14199 |    32836    30982     25 |  0.944 % |
124.63/124.69	c |    381004 |    1154     4778    14199 |    32458    28069     23 |  0.944 % |
125.03/125.06	c |    383729 |    1154     4778    14199 |    32458    30794     23 |  0.944 % |
126.53/126.54	c |    386726 |    1154     4778    14199 |    32458    28601     24 |  0.945 % |
128.13/128.15	c |    390023 |    1154     4778    14199 |    31876    31898     24 |  0.947 % |
129.04/129.02	c |    393649 |    1154     4778    14199 |    31876    30093     25 |  0.946 % |
129.04/129.06	c |    393750 |    1154     4778    14199 |    31876    30194     25 |  0.944 % |
129.04/129.09	c |    393860 |    1154     4778    14199 |    31876    30304     25 |  0.948 % |
129.04/129.10	c |    393982 |    1154     4778    14199 |    31876    30426     25 |  0.944 % |
129.14/129.13	c |    394115 |    1154     4778    14199 |    31876    30559     25 |  0.947 % |
129.14/129.15	c |    394262 |    1154     4778    14199 |    31876    30706     25 |  0.944 % |
129.24/129.23	c |    394422 |    1154     4778    14199 |    31876    30866     25 |  0.944 % |
129.24/129.32	c |    394598 |    1154     4778    14199 |    31876    31042     25 |  0.944 % |
129.34/129.38	c |    394791 |    1154     4778    14199 |    31876    31235     25 |  0.947 % |
129.34/129.42	c |    395005 |    1154     4778    14199 |    31876    31449     25 |  0.945 % |
129.44/129.47	c |    395238 |    1154     4778    14199 |    31876    31682     25 |  0.946 % |
129.54/129.57	c |    395494 |    1154     4778    14199 |    31876    31938     25 |  0.944 % |
129.64/129.68	c |    395775 |    1154     4778    14199 |    31876    26298     24 |  0.944 % |
129.74/129.78	c |    396085 |    1154     4778    14199 |    31876    26608     24 |  0.945 % |
129.84/129.85	c |    396424 |    1154     4778    14199 |    31876    26947     24 |  0.948 % |
129.84/129.91	c |    396796 |    1154     4778    14199 |    31876    27319     24 |  0.944 % |
130.04/130.09	c |    397206 |    1154     4778    14199 |    31876    27729     24 |  0.944 % |
130.24/130.27	c |    397657 |    1154     4778    14199 |    31876    28180     25 |  0.944 % |
130.44/130.48	c |    398151 |    1154     4778    14199 |    31876    28674     25 |  0.944 % |
130.64/130.71	c |    398693 |    1154     4778    14199 |    31876    29216     25 |  0.944 % |
130.94/131.01	c |    399289 |    1154     4778    14199 |    31876    29812     25 |  0.944 % |
131.24/131.25	c |    399944 |    1154     4778    14199 |    31876    30467     25 |  0.944 % |
131.44/131.51	c |    400664 |    1154     4778    14199 |    30523    26289     26 |  0.944 % |
131.74/131.76	c |    401456 |    1154     4778    14199 |    30523    27081     27 |  0.948 % |
132.04/132.04	c |    402328 |    1154     4778    14199 |    30523    27953     27 |  0.944 % |
132.44/132.44	c |    403287 |    1154     4778    14199 |    30523    28912     27 |  0.948 % |
132.94/132.96	c |    404343 |    1154     4778    14199 |    30523    29968     27 |  0.944 % |
133.44/133.49	c |    405501 |    1154     4778    14199 |    30523    26139     25 |  0.944 % |
133.84/133.89	c |    406776 |    1154     4778    14199 |    30523    27414     26 |  0.944 % |
134.34/134.35	c |    408177 |    1154     4778    14199 |    30523    28815     26 |  0.945 % |
134.84/134.90	c |    409719 |    1154     4778    14199 |    30523    30357     26 |  0.945 % |
135.54/135.61	c |    411414 |    1154     4778    14199 |    30639    27173     25 |  0.944 % |
136.24/136.29	c |    413277 |    1154     4778    14199 |    30639    29036     25 |  0.944 % |
136.94/137.00	c |    415328 |    1154     4778    14199 |    30639    27996     24 |  0.944 % |
138.04/138.08	c |    417581 |    1154     4778    14199 |    30639    30249     25 |  0.944 % |
138.74/138.80	c |    420060 |    1154     4778    14199 |    28816    28876     25 |  0.947 % |
139.24/139.29	c |    422785 |    1154     4778    14199 |    28816    27877     26 |  0.949 % |
140.94/140.95	c |    425783 |    1154     4778    14199 |    28816    26511     25 |  0.944 % |
142.44/142.42	c |    429079 |    1154     4778    14199 |    28816    25684     25 |  0.944 % |
143.44/143.42	c |    432706 |    1154     4778    14199 |    26607    25576     26 |  0.944 % |
144.74/144.79	c |    436694 |    1154     4778    14199 |    26607    26159     26 |  0.947 % |
144.74/144.81	c |    436795 |    1154     4778    14199 |    26607    26260     26 |  0.944 % |
144.84/144.83	c |    436905 |    1154     4778    14199 |    26607    26370     26 |  0.944 % |
144.84/144.90	c |    437026 |    1154     4778    14199 |    26607    26491     26 |  0.944 % |
144.94/144.92	c |    437159 |    1154     4778    14199 |    26607    26624     26 |  0.944 % |
144.94/144.98	c |    437306 |    1154     4778    14199 |    26607    23997     23 |  0.945 % |
145.04/145.03	c |    437468 |    1154     4778    14199 |    26607    24159     24 |  0.944 % |
145.04/145.08	c |    437645 |    1154     4778    14199 |    26607    24336     24 |  0.944 % |
145.14/145.13	c |    437838 |    1154     4778    14199 |    26607    24529     24 |  0.944 % |
145.24/145.23	c |    438051 |    1154     4778    14199 |    26607    24742     24 |  0.944 % |
145.24/145.29	c |    438284 |    1154     4778    14199 |    26607    24975     24 |  0.948 % |
145.34/145.35	c |    438540 |    1154     4778    14199 |    26607    25231     24 |  0.944 % |
145.34/145.40	c |    438821 |    1154     4778    14199 |    26607    25512     24 |  0.947 % |
145.44/145.50	c |    439130 |    1154     4778    14199 |    26607    25821     24 |  0.944 % |
145.64/145.65	c |    439469 |    1154     4778    14199 |    26607    26160     24 |  0.944 % |
145.74/145.81	c |    439842 |    1154     4778    14199 |    26607    26533     25 |  0.944 % |
145.94/145.98	c |    440252 |    1154     4778    14199 |    26691    26943     25 |  0.944 % |
146.14/146.15	c |    440701 |    1154     4778    14199 |    26691    24477     24 |  0.945 % |
146.34/146.33	c |    441195 |    1154     4778    14199 |    26691    24971     25 |  0.944 % |
146.44/146.43	c |    441737 |    1154     4778    14199 |    26691    25513     25 |  0.944 % |
146.54/146.55	c |    442333 |    1154     4778    14199 |    26691    26109     24 |  0.944 % |
146.74/146.74	c |    442989 |    1154     4778    14199 |    26691    26765     25 |  0.944 % |
146.94/147.02	c |    443710 |    1154     4778    14199 |    26691    24810     24 |  0.945 % |
147.24/147.30	c |    444502 |    1154     4778    14199 |    26691    25602     24 |  0.944 % |
147.54/147.61	c |    445373 |    1154     4778    14199 |    26691    26473     24 |  0.946 % |
147.94/147.94	c |    446331 |    1154     4778    14199 |    26691    24713     24 |  0.944 % |
148.24/148.22	c |    447385 |    1154     4778    14199 |    26691    25767     24 |  0.945 % |
148.64/148.63	c |    448544 |    1154     4778    14199 |    26691    26926     25 |  0.944 % |
148.94/148.98	c |    449818 |    1154     4778    14199 |    26691    25483     24 |  0.944 % |
149.44/149.47	c |    451218 |    1154     4778    14199 |    25666    24183     23 |  0.949 % |
150.04/150.07	c |    452758 |    1154     4778    14199 |    25666    25723     24 |  0.948 % |
150.74/150.76	c |    454452 |    1154     4778    14199 |    25666    24404     23 |  0.944 % |
151.54/151.61	c |    456315 |    1154     4778    14199 |    25666    23672     23 |  0.944 % |
152.04/152.04	c |    458364 |    1154     4778    14199 |    25666    25721     23 |  0.945 % |
152.74/152.76	c |    460617 |    1154     4778    14199 | 2147483647    25402     23 |  0.944 % |
153.04/153.06	c |    463096 |    1154     4778    14199 | 2147483647    27881     22 |  0.944 % |
153.44/153.49	c |    465821 |    1154     4778    14199 | 2147483647    30606     24 |  0.944 % |
154.34/154.35	c |    468820 |    1154     4778    14199 | 2147483647    33605     25 |  0.944 % |
155.84/155.90	c |    472116 |    1154     4778    14199 |    34785    32067     24 |  0.944 % |
157.44/157.50	c |    475741 |    1154     4778    14199 |    34785    30196     24 |  0.944 % |
159.24/159.31	c |    479730 |    1154     4778    14199 |    34785    34185     24 |  0.945 % |
161.24/161.27	c |    484115 |    1154     4778    14199 |    34455    33518     24 |  0.944 % |
161.24/161.31	c |    484215 |    1154     4778    14199 |    34455    33618     24 |  0.944 % |
161.34/161.37	c |    484325 |    1154     4778    14199 |    34455    33728     25 |  0.944 % |
161.44/161.43	c |    484447 |    1154     4778    14199 |    34455    33850     25 |  0.944 % |
161.44/161.50	c |    484580 |    1154     4778    14199 |    34455    33983     25 |  0.944 % |
161.54/161.53	c |    484727 |    1154     4778    14199 |    34455    34130     25 |  0.948 % |
161.54/161.56	c |    484887 |    1154     4778    14199 |    34455    34290     25 |  0.944 % |
161.64/161.65	c |    485063 |    1154     4778    14199 |    34455    34466     25 |  0.944 % |
161.64/161.72	c |    485256 |    1154     4778    14199 |    34455    28477     23 |  0.948 % |
161.74/161.74	c |    485469 |    1154     4778    14199 |    34455    28690     23 |  0.944 % |
161.84/161.86	c |    485704 |    1154     4778    14199 |    34455    28925     24 |  0.944 % |
161.94/161.94	c |    485961 |    1154     4778    14199 |    34455    29182     24 |  0.944 % |
162.04/162.04	c |    486245 |    1154     4778    14199 |    34455    29466     24 |  0.944 % |
162.14/162.15	c |    486557 |    1154     4778    14199 |    34455    29778     24 |  0.944 % |
162.24/162.28	c |    486896 |    1154     4778    14199 |    34455    30117     24 |  0.944 % |
162.44/162.47	c |    487268 |    1154     4778    14199 |    34455    30489     24 |  0.944 % |
162.64/162.66	c |    487677 |    1154     4778    14199 |    34455    30898     24 |  0.944 % |
162.84/162.86	c |    488127 |    1154     4778    14199 |    34455    31348     25 |  0.944 % |
162.94/162.98	c |    488620 |    1154     4778    14199 |    34455    31841     25 |  0.944 % |
163.24/163.25	c |    489162 |    1154     4778    14199 |    34455    32383     25 |  0.944 % |
163.54/163.54	c |    489759 |    1154     4778    14199 |    34455    32980     25 |  0.944 % |
163.94/163.94	c |    490414 |    1154     4778    14199 |    33221    33635     25 |  0.944 % |
164.34/164.32	c |    491135 |    1154     4778    14199 |    33221    28022     24 |  0.945 % |
164.64/164.68	c |    491927 |    1154     4778    14199 |    33221    28814     24 |  0.944 % |
165.14/165.19	c |    492798 |    1154     4778    14199 |    33221    29685     25 |  0.944 % |
165.54/165.58	c |    493756 |    1154     4778    14199 |    33221    30643     25 |  0.944 % |
165.94/165.99	c |    494809 |    1154     4778    14199 |    33221    31696     25 |  0.944 % |
166.54/166.55	c |    495969 |    1154     4778    14199 |    33221    32856     25 |  0.945 % |
167.24/167.26	c |    497242 |    1154     4778    14199 |    33221    29024     24 |  0.944 % |
167.94/167.92	c |    498642 |    1154     4778    14199 |    33221    30424     25 |  0.944 % |
168.54/168.58	c |    500183 |    1154     4778    14199 |    31783    31965     25 |  0.944 % |
169.24/169.30	c |    501878 |    1154     4778    14199 |    31783    28880     24 |  0.944 % |
170.14/170.20	c |    503741 |    1154     4778    14199 |    31783    30743     25 |  0.944 % |
170.84/170.87	c |    505791 |    1154     4778    14199 |    31783    28783     24 |  0.944 % |
171.94/171.93	c |    508044 |    1154     4778    14199 |    31783    31036     25 |  0.945 % |
172.54/172.55	c |    510522 |    1154     4778    14199 |    28737    29258     25 |  0.946 % |
172.84/172.85	c |    513247 |    1154     4778    14199 |    28737    28045     23 |  0.944 % |
174.24/174.24	c |    516244 |    1154     4778    14199 |    28737    28127     24 |  0.944 % |
175.74/175.74	c |    519540 |    1154     4778    14199 |    28737    28174     23 |  0.944 % |
176.74/176.74	c |    523165 |    1154     4778    14199 |    28636    27855     24 |  0.948 % |
177.24/177.29	c |    527153 |    1154     4778    14199 |    28636    27457     22 |  0.944 % |
178.94/178.92	c |    531539 |    1154     4778    14199 |    26624    25175     23 |  0.944 % |
180.04/180.04	c |    536362 |    1154     4778    14199 |    26624    24576     24 |  0.944 % |
180.04/180.08	c |    536464 |    1154     4778    14199 |    26624    24678     24 |  0.944 % |
180.04/180.11	c |    536574 |    1154     4778    14199 |    26624    24788     24 |  0.944 % |
180.14/180.14	c |    536696 |    1154     4778    14199 |    26624    24910     24 |  0.948 % |
180.14/180.18	c |    536831 |    1154     4778    14199 |    26624    25045     24 |  0.945 % |
180.24/180.24	c |    536978 |    1154     4778    14199 |    26624    25192     24 |  0.948 % |
180.24/180.29	c |    537140 |    1154     4778    14199 |    26624    25354     24 |  0.945 % |
180.34/180.35	c |    537317 |    1154     4778    14199 |    26624    25531     24 |  0.944 % |
180.34/180.38	c |    537510 |    1154     4778    14199 |    26624    25724     24 |  0.944 % |
180.34/180.41	c |    537722 |    1154     4778    14199 |    26624    25936     24 |  0.944 % |
180.44/180.50	c |    537955 |    1154     4778    14199 |    26624    26169     25 |  0.944 % |
180.54/180.60	c |    538211 |    1154     4778    14199 |    26624    26425     25 |  0.944 % |
180.64/180.68	c |    538493 |    1154     4778    14199 |    26624    26707     25 |  0.944 % |
180.74/180.80	c |    538804 |    1154     4778    14199 |    26624    24348     24 |  0.944 % |
180.84/180.89	c |    539143 |    1154     4778    14199 |    26624    24687     24 |  0.944 % |
180.94/180.99	c |    539515 |    1154     4778    14199 |    26624    25059     24 |  0.944 % |
181.04/181.05	c |    539924 |    1154     4778    14199 |    26624    25468     24 |  0.944 % |
181.14/181.18	c |    540374 |    1154     4778    14199 | 2147483647    25918     24 |  0.944 % |
181.34/181.37	c |    540867 |    1154     4778    14199 | 2147483647    26411     24 |  0.947 % |
181.54/181.53	c |    541409 |    1154     4778    14199 | 2147483647    26953     25 |  0.944 % |
181.74/181.81	c |    542006 |    1154     4778    14199 | 2147483647    27550     25 |  0.944 % |
181.94/181.98	c |    542662 |    1154     4778    14199 | 2147483647    28206     25 |  0.944 % |
182.14/182.18	c |    543383 |    1154     4778    14199 | 2147483647    28927     25 |  0.945 % |
182.44/182.43	c |    544176 |    1154     4778    14199 | 2147483647    29720     25 |  0.944 % |
182.74/182.76	c |    545047 |    1154     4778    14199 | 2147483647    30591     25 |  0.944 % |
183.04/183.09	c |    546005 |    1154     4778    14199 | 2147483647    31549     26 |  0.949 % |
183.14/183.18	c |    547058 |    1154     4778    14199 | 2147483647    32602     25 |  0.944 % |
183.34/183.33	c |    548217 |    1154     4778    14199 | 2147483647    33761     25 |  0.944 % |
183.64/183.67	c |    549490 |    1154     4778    14199 | 2147483647    35034     25 |  0.944 % |
184.14/184.18	c |    550892 |    1154     4778    14199 | 2147483647    36436     25 |  0.945 % |
185.04/185.02	c |    552432 |    1154     4778    14199 | 2147483647    37976     25 |  0.944 % |
185.94/185.93	c |    554127 |    1154     4778    14199 | 2147483647    39671     26 |  0.944 % |
186.84/186.84	c |    555993 |    1154     4778    14199 | 2147483647    41537     26 |  0.945 % |
188.04/188.02	c |    558042 |    1154     4778    14199 | 2147483647    43586     27 |  0.944 % |
188.84/188.90	c |    560296 |    1154     4778    14199 |    45544    45840     27 |  0.947 % |
190.24/190.23	c |    562776 |    1154     4778    14199 |    45544    37908     26 |  0.944 % |
191.04/191.08	c |    565503 |    1154     4778    14199 |    45544    40635     26 |  0.944 % |
192.14/192.14	c |    568502 |    1154     4778    14199 |    45544    43634     27 |  0.946 % |
192.84/192.86	c |    571799 |    1154     4778    14199 |    45134    36929     24 |  0.944 % |
195.24/195.26	c |    575425 |    1154     4778    14199 |    45134    40555     25 |  0.944 % |
197.64/197.64	c |    579412 |    1154     4778    14199 |    45134    44542     25 |  0.944 % |
200.14/200.12	c |    583797 |    1154     4778    14199 |    45131    38478     26 |  0.944 % |
203.54/203.58	c |    588620 |    1154     4778    14199 |    45131    43301     27 |  0.945 % |
207.54/207.52	c |    593928 |    1154     4778    14199 |    44683    37726     26 |  0.945 % |
207.54/207.58	c |    594029 |    1154     4778    14199 |    44683    37827     26 |  0.944 % |
207.64/207.61	c |    594139 |    1154     4778    14199 |    44683    37937     26 |  0.947 % |
207.64/207.64	c |    594260 |    1154     4778    14199 |    44683    38058     26 |  0.945 % |
207.64/207.67	c |    594393 |    1154     4778    14199 |    44683    38191     26 |  0.944 % |
207.74/207.78	c |    594540 |    1154     4778    14199 |    44683    38338     26 |  0.945 % |
207.84/207.86	c |    594701 |    1154     4778    14199 |    44683    38499     26 |  0.949 % |
207.94/207.94	c |    594879 |    1154     4778    14199 |    44683    38677     26 |  0.947 % |
207.94/208.01	c |    595072 |    1154     4778    14199 |    44683    38870     26 |  0.944 % |
208.05/208.09	c |    595284 |    1154     4778    14199 |    44683    39082     26 |  0.947 % |
208.14/208.20	c |    595517 |    1154     4778    14199 |    44683    39315     26 |  0.944 % |
208.24/208.25	c |    595774 |    1154     4778    14199 |    44683    39572     26 |  0.947 % |
208.24/208.30	c |    596057 |    1154     4778    14199 |    44683    39855     26 |  0.944 % |
208.34/208.34	c |    596366 |    1154     4778    14199 |    44683    40164     26 |  0.948 % |
208.54/208.57	c |    596707 |    1154     4778    14199 |    44683    40505     26 |  0.944 % |
208.74/208.80	c |    597079 |    1154     4778    14199 |    44683    40877     26 |  0.944 % |
208.94/208.98	c |    597488 |    1154     4778    14199 |    44683    41286     26 |  0.948 % |
208.94/209.01	c |    597937 |    1154     4778    14199 |    44683    41735     26 |  0.945 % |
209.34/209.41	c |    598430 |    1154     4778    14199 |    44683    42228     26 |  0.945 % |
209.74/209.78	c |    598973 |    1154     4778    14199 |    44683    42771     26 |  0.944 % |
210.14/210.14	c |    599569 |    1154     4778    14199 |    44683    43367     26 |  0.944 % |
210.44/210.47	c |    600224 |    1154     4778    14199 |    43798    44022     26 |  0.944 % |
210.84/210.84	c |    600945 |    1154     4778    14199 |    43798    34230     25 |  0.944 % |
211.24/211.25	c |    601738 |    1154     4778    14199 |    43798    35023     25 |  0.947 % |
211.64/211.70	c |    602609 |    1154     4778    14199 |    43798    35894     25 |  0.948 % |
212.24/212.28	c |    603567 |    1154     4778    14199 |    43798    36852     25 |  0.948 % |
212.54/212.57	c |    604620 |    1154     4778    14199 |    43798    37905     26 |  0.946 % |
212.84/212.87	c |    605779 |    1154     4778    14199 |    43798    39064     26 |  0.948 % |
213.44/213.42	c |    607053 |    1154     4778    14199 |    43798    40338     26 |  0.944 % |
213.74/213.72	c |    608453 |    1154     4778    14199 |    43798    41738     26 |  0.944 % |
214.74/214.73	c |    609993 |    1154     4778    14199 |    43798    43278     27 |  0.944 % |
215.75/215.76	c |    611688 |    1154     4778    14199 |    43286    34051     25 |  0.944 % |
216.94/216.98	c |    613551 |    1154     4778    14199 |    43286    35914     25 |  0.945 % |
217.64/217.68	c |    615600 |    1154     4778    14199 |    43286    37963     25 |  0.948 % |
218.54/218.58	c |    617853 |    1154     4778    14199 |    43286    40216     26 |  0.945 % |
219.54/219.61	c |    620331 |    1154     4778    14199 |    42364    42694     26 |  0.944 % |
220.74/220.79	c |    623057 |    1154     4778    14199 |    42364    34515     25 |  0.944 % |
222.14/222.19	c |    626054 |    1154     4778    14199 |    42364    37512     26 |  0.946 % |
223.14/223.16	c |    629350 |    1154     4778    14199 |    42364    40808     27 |  0.944 % |
224.94/224.95	c |    632977 |    1154     4778    14199 |    41458    34024     27 |  0.944 % |
226.34/226.32	c |    636964 |    1154     4778    14199 |    41458    38011     27 |  0.944 % |
228.24/228.24	c |    641349 |    1154     4778    14199 |    41048    34227     25 |  0.944 % |
230.74/230.77	c |    646172 |    1154     4778    14199 |    41048    39050     25 |  0.944 % |
233.64/233.64	c |    651477 |    1154     4778    14199 |    35545    30714     23 |  0.944 % |
236.24/236.23	c |    657313 |    1154     4778    14199 |    35545    30532     22 |  0.944 % |
236.24/236.27	c |    657413 |    1154     4778    14199 |    35545    30632     23 |  0.944 % |
236.34/236.31	c |    657523 |    1154     4778    14199 |    35545    30742     23 |  0.944 % |
236.34/236.33	c |    657644 |    1154     4778    14199 |    35545    30863     23 |  0.947 % |
236.34/236.37	c |    657778 |    1154     4778    14199 |    35545    30997     23 |  0.944 % |
236.44/236.43	c |    657924 |    1154     4778    14199 |    35545    31143     23 |  0.945 % |
236.44/236.50	c |    658084 |    1154     4778    14199 |    35545    31303     23 |  0.944 % |
236.54/236.53	c |    658260 |    1154     4778    14199 |    35545    31479     23 |  0.948 % |
236.54/236.60	c |    658454 |    1154     4778    14199 |    35545    31673     23 |  0.944 % |
236.65/236.65	c |    658667 |    1154     4778    14199 |    35545    31886     23 |  0.944 % |
236.65/236.69	c |    658901 |    1154     4778    14199 |    35545    32120     23 |  0.948 % |
236.84/236.82	c |    659157 |    1154     4778    14199 |    35545    32376     23 |  0.948 % |
236.94/236.98	c |    659438 |    1154     4778    14199 |    35545    32657     23 |  0.944 % |
237.04/237.10	c |    659748 |    1154     4778    14199 |    35545    32967     23 |  0.948 % |
237.24/237.25	c |    660087 |    1154     4778    14199 |    33219    33306     23 |  0.948 % |
237.34/237.34	c |    660461 |    1154     4778    14199 |    33219    27898     24 |  0.944 % |
237.44/237.46	c |    660870 |    1154     4778    14199 |    33219    28307     24 |  0.944 % |
237.64/237.65	c |    661320 |    1154     4778    14199 |    33219    28757     24 |  0.944 % |
237.84/237.81	c |    661813 |    1154     4778    14199 |    33219    29250     24 |  0.944 % |
238.04/238.06	c |    662355 |    1154     4778    14199 |    33219    29792     24 |  0.944 % |
238.34/238.32	c |    662953 |    1154     4778    14199 |    33219    30390     25 |  0.944 % |
238.54/238.52	c |    663609 |    1154     4778    14199 |    33219    31046     25 |  0.944 % |
238.74/238.81	c |    664329 |    1154     4778    14199 |    33219    31766     25 |  0.944 % |
239.14/239.18	c |    665122 |    1154     4778    14199 |    33219    32559     25 |  0.944 % |
239.44/239.42	c |    665994 |    1154     4778    14199 |    33219    28232     24 |  0.944 % |
239.84/239.83	c |    666952 |    1154     4778    14199 |    33219    29190     24 |  0.944 % |
240.24/240.24	c |    668008 |    1154     4778    14199 |    33219    30246     24 |  0.945 % |
240.54/240.61	c |    669169 |    1154     4778    14199 |    33219    31407     25 |  0.946 % |
241.14/241.15	c |    670442 |    1154     4778    14199 |    32238    27083     24 |  0.944 % |
241.74/241.80	c |    671842 |    1154     4778    14199 |    32238    28483     24 |  0.944 % |
242.34/242.37	c |    673383 |    1154     4778    14199 |    32238    30024     25 |  0.944 % |
243.25/243.32	c |    675077 |    1154     4778    14199 |    32238    31718     25 |  0.944 % |
243.85/243.82	c |    676941 |    1154     4778    14199 |    32238    28093     25 |  0.949 % |
244.25/244.31	c |    678990 |    1154     4778    14199 |    32238    30142     24 |  0.944 % |
245.15/245.17	c |    681243 |    1154     4778    14199 |    31154    27764     24 |  0.945 % |
246.05/246.09	c |    683722 |    1154     4778    14199 |    31154    30243     24 |  0.944 % |
247.25/247.31	c |    686448 |    1154     4778    14199 |    31154    28754     25 |  0.949 % |
248.75/248.76	c |    689445 |    1154     4778    14199 |    31154    27188     24 |  0.944 % |
249.85/249.90	c |    692741 |    1154     4778    14199 |    27743    26103     24 |  0.944 % |
251.25/251.29	c |    696367 |    1154     4778    14199 |    27743    25548     25 |  0.944 % |
252.85/252.83	c |    700354 |    1154     4778    14199 |    25411    25762     25 |  0.944 % |
254.35/254.34	c |    704740 |    1154     4778    14199 |    25411    23689     25 |  0.944 % |
255.35/255.35	c |    709564 |    1154     4778    14199 |    25411    23367     24 |  0.947 % |
256.55/256.59	c |    714870 |    1154     4778    14199 | 2147483647    28673     28 |  0.944 % |
258.85/258.90	c |    720705 |    1154     4778    14199 |    33804    29020     27 |  0.948 % |
261.05/261.05	c |    727123 |    1154     4778    14199 |    33804    30868     25 |  0.948 % |
261.05/261.08	c |    727223 |    1154     4778    14199 |    33804    30968     25 |  0.945 % |
261.05/261.12	c |    727334 |    1154     4778    14199 |    33804    31079     25 |  0.944 % |
261.15/261.17	c |    727455 |    1154     4778    14199 |    33804    31200     25 |  0.945 % |
261.25/261.27	c |    727589 |    1154     4778    14199 |    33804    31334     26 |  0.945 % |
261.25/261.31	c |    727735 |    1154     4778    14199 |    33804    31480     26 |  0.948 % |
261.35/261.34	c |    727895 |    1154     4778    14199 |    33804    31640     26 |  0.945 % |
261.35/261.42	c |    728071 |    1154     4778    14199 |    33804    31816     26 |  0.944 % |
261.45/261.46	c |    728265 |    1154     4778    14199 |    33804    32010     26 |  0.944 % |
261.55/261.58	c |    728478 |    1154     4778    14199 |    33804    32223     26 |  0.944 % |
261.65/261.69	c |    728711 |    1154     4778    14199 |    33804    32456     26 |  0.944 % |
261.75/261.81	c |    728967 |    1154     4778    14199 |    33804    32712     26 |  0.948 % |
261.85/261.91	c |    729249 |    1154     4778    14199 |    33804    32994     26 |  0.944 % |
261.95/262.01	c |    729558 |    1154     4778    14199 |    33804    33303     26 |  0.944 % |
262.05/262.10	c |    729897 |    1154     4778    14199 |    33804    33642     26 |  0.947 % |
262.25/262.26	c |    730269 |    1154     4778    14199 |    33745    34014     26 |  0.944 % |
262.35/262.40	c |    730678 |    1154     4778    14199 |    33745    29398     26 |  0.947 % |
262.55/262.55	c |    731129 |    1154     4778    14199 |    33745    29849     26 |  0.944 % |
262.65/262.71	c |    731623 |    1154     4778    14199 |    33745    30343     27 |  0.944 % |
262.95/262.94	c |    732165 |    1154     4778    14199 |    33745    30885     27 |  0.944 % |
263.15/263.14	c |    732763 |    1154     4778    14199 |    33745    31483     27 |  0.944 % |
263.25/263.28	c |    733420 |    1154     4778    14199 |    33745    32140     27 |  0.944 % |
263.55/263.61	c |    734142 |    1154     4778    14199 |    33745    32862     27 |  0.948 % |
263.85/263.91	c |    734935 |    1154     4778    14199 |    33745    33655     27 |  0.946 % |
264.25/264.25	c |    735806 |    1154     4778    14199 |    33745    29416     25 |  0.944 % |
264.65/264.65	c |    736764 |    1154     4778    14199 |    33745    30374     26 |  0.944 % |
265.05/265.02	c |    737819 |    1154     4778    14199 |    33745    31429     26 |  0.945 % |
265.55/265.55	c |    738977 |    1154     4778    14199 |    33745    32587     26 |  0.944 % |
266.15/266.12	c |    740250 |    1154     4778    14199 |    33612    33860     26 |  0.944 % |
266.75/266.74	c |    741652 |    1154     4778    14199 |    33612    30577     25 |  0.946 % |
267.25/267.26	c |    743193 |    1154     4778    14199 |    33612    32118     25 |  0.947 % |
267.95/267.98	c |    744888 |    1154     4778    14199 |    33612    33813     26 |  0.944 % |
268.75/268.74	c |    746751 |    1154     4778    14199 |    33612    29991     26 |  0.948 % |
269.35/269.39	c |    748801 |    1154     4778    14199 |    33612    32041     26 |  0.944 % |
270.35/270.38	c |    751055 |    1154     4778    14199 |    33241    28858     26 |  0.944 % |
270.65/270.70	c |    753533 |    1154     4778    14199 |    33241    31336     25 |  0.944 % |
271.35/271.33	c |    756259 |    1154     4778    14199 |    33241    34062     27 |  0.947 % |
271.75/271.76	c |    759257 |    1154     4778    14199 |    33241    31353     24 |  0.944 % |
273.35/273.34	c |    762553 |    1154     4778    14199 |    32096    29572     25 |  0.944 % |
274.34/274.40	c |    766178 |    1154     4778    14199 |    32096    26315     25 |  0.944 % |
275.54/275.52	c |    770166 |    1154     4778    14199 |    30140    30303     25 |  0.948 % |
277.34/277.38	c |    774552 |    1154     4778    14199 |    30140    29361     26 |  0.944 % |
278.34/278.41	c |    779375 |    1154     4778    14199 |    30140    27697     27 |  0.944 % |
280.94/280.92	c |    784682 |    1154     4778    14199 | 2147483647    33004     27 |  0.944 % |
283.54/283.58	c |    790517 |    1154     4778    14199 |    38323    33168     28 |  0.944 % |
285.64/285.68	c |    796935 |    1154     4778    14199 |    38323    30721     28 |  0.947 % |
287.64/287.69	c |    803996 |    1154     4778    14199 |    33787    31153     27 |  0.944 % |
287.74/287.72	c |    804097 |    1154     4778    14199 |    33787    31254     27 |  0.944 % |
287.74/287.75	c |    804207 |    1154     4778    14199 |    33787    31364     27 |  0.944 % |
287.74/287.78	c |    804330 |    1154     4778    14199 |    33787    31487     27 |  0.945 % |
287.84/287.82	c |    804464 |    1154     4778    14199 |    33787    31621     27 |  0.948 % |
287.94/287.93	c |    804610 |    1154     4778    14199 |    33787    31767     27 |  0.945 % |
287.94/287.99	c |    804770 |    1154     4778    14199 |    33787    31927     27 |  0.944 % |
288.04/288.07	c |    804947 |    1154     4778    14199 |    33787    32104     27 |  0.944 % |
288.14/288.14	c |    805140 |    1154     4778    14199 |    33787    32297     27 |  0.944 % |
288.14/288.21	c |    805352 |    1154     4778    14199 |    33787    32509     27 |  0.944 % |
288.34/288.32	c |    805585 |    1154     4778    14199 |    33787    32742     27 |  0.944 % |
288.34/288.41	c |    805841 |    1154     4778    14199 |    33787    32998     27 |  0.944 % |
288.54/288.51	c |    806122 |    1154     4778    14199 |    33787    33279     27 |  0.948 % |
288.74/288.71	c |    806431 |    1154     4778    14199 |    33787    33588     27 |  0.944 % |
288.84/288.84	c |    806772 |    1154     4778    14199 |    33787    33929     27 |  0.944 % |
288.94/288.98	c |    807144 |    1154     4778    14199 |    33787    28922     27 |  0.944 % |
289.14/289.17	c |    807554 |    1154     4778    14199 |    33787    29332     27 |  0.944 % |
289.14/289.21	c |    808003 |    1154     4778    14199 |    33787    29781     26 |  0.944 % |
289.24/289.27	c |    808496 |    1154     4778    14199 |    33787    30274     27 |  0.944 % |
289.44/289.45	c |    809039 |    1154     4778    14199 |    33787    30817     27 |  0.944 % |
289.64/289.68	c |    809635 |    1154     4778    14199 |    33787    31413     27 |  0.944 % |
289.94/289.99	c |    810291 |    1154     4778    14199 |    31780    32069     27 |  0.944 % |
290.24/290.27	c |    811011 |    1154     4778    14199 |    31780    27685     26 |  0.944 % |
290.34/290.37	c |    811804 |    1154     4778    14199 |    31780    28478     26 |  0.948 % |
290.64/290.68	c |    812675 |    1154     4778    14199 |    31780    29349     26 |  0.944 % |
291.14/291.12	c |    813633 |    1154     4778    14199 |    31780    30307     26 |  0.944 % |
291.44/291.49	c |    814686 |    1154     4778    14199 |    31780    31360     26 |  0.944 % |
291.74/291.80	c |    815844 |    1154     4778    14199 |    31780    27489     24 |  0.944 % |
292.24/292.26	c |    817118 |    1154     4778    14199 |    31780    28763     24 |  0.944 % |
292.74/292.76	c |    818521 |    1154     4778    14199 |    31780    30166     24 |  0.944 % |
293.14/293.19	c |    820061 |    1154     4778    14199 |    31645    31706     25 |  0.944 % |
293.84/293.89	c |    821755 |    1154     4778    14199 |    31645    29102     25 |  0.948 % |
294.64/294.70	c |    823618 |    1154     4778    14199 |    31645    30965     25 |  0.944 % |
295.54/295.60	c |    825667 |    1154     4778    14199 |    31645    28022     25 |  0.944 % |
296.24/296.25	c |    827921 |    1154     4778    14199 |    31645    30276     26 |  0.944 % |
297.24/297.30	c |    830402 |    1154     4778    14199 |    27680    24047     24 |  0.944 % |
298.34/298.32	c |    833128 |    1154     4778    14199 |    27680    26773     25 |  0.948 % |
299.64/299.61	c |    836125 |    1154     4778    14199 |    27680    26354     25 |  0.944 % |
300.94/301.01	c |    839421 |    1154     4778    14199 |    27680    26645     25 |  0.944 % |
302.54/302.52	c |    843046 |    1154     4778    14199 |    27225    27332     25 |  0.944 % |
303.44/303.42	c |    847034 |    1154     4778    14199 |    27225    25411     27 |  0.946 % |
303.84/303.82	c |    851419 |    1154     4778    14199 | 2147483647    27067     24 |  0.944 % |
305.14/305.19	c |    856244 |    1154     4778    14199 | 2147483647    31892     27 |  0.944 % |
307.54/307.59	c |    861550 |    1154     4778    14199 |    35648    31686     27 |  0.944 % |
308.94/308.97	c |    867386 |    1154     4778    14199 |    35648    31883     26 |  0.948 % |
311.74/311.76	c |    873804 |    1154     4778    14199 |    34497    32774     27 |  0.945 % |
314.84/314.83	c |    880863 |    1154     4778    14199 |    32768    27607     28 |  0.946 % |
317.44/317.49	c |    888628 |    1154     4778    14199 |    32768    30659     28 |  0.944 % |
317.44/317.50	c |    888729 |    1154     4778    14199 |    32768    30760     28 |  0.944 % |
317.54/317.54	c |    888839 |    1154     4778    14199 |    32768    30870     28 |  0.945 % |
317.54/317.56	c |    888960 |    1154     4778    14199 |    32768    30991     28 |  0.946 % |
317.64/317.62	c |    889093 |    1154     4778    14199 |    32768    31124     28 |  0.944 % |
317.64/317.65	c |    889240 |    1154     4778    14199 |    32768    31271     28 |  0.944 % |
317.74/317.71	c |    889401 |    1154     4778    14199 |    32768    31432     28 |  0.944 % |
317.74/317.75	c |    889577 |    1154     4778    14199 |    32768    31608     28 |  0.947 % |
317.74/317.80	c |    889770 |    1154     4778    14199 |    32768    31801     28 |  0.948 % |
317.84/317.82	c |    889983 |    1154     4778    14199 |    32768    32014     28 |  0.944 % |
317.94/317.95	c |    890216 |    1154     4778    14199 |    32031    32247     28 |  0.944 % |
318.05/318.06	c |    890473 |    1154     4778    14199 |    32031    27765     27 |  0.947 % |
318.14/318.11	c |    890754 |    1154     4778    14199 |    32031    28046     27 |  0.945 % |
318.24/318.23	c |    891063 |    1154     4778    14199 |    32031    28355     27 |  0.945 % |
318.24/318.27	c |    891405 |    1154     4778    14199 |    32031    28697     27 |  0.947 % |
318.24/318.30	c |    891780 |    1154     4778    14199 |    32031    29072     27 |  0.944 % |
318.54/318.51	c |    892191 |    1154     4778    14199 |    32031    29483     27 |  0.945 % |
318.64/318.63	c |    892641 |    1154     4778    14199 |    32031    29933     27 |  0.944 % |
318.74/318.80	c |    893134 |    1154     4778    14199 |    32031    30426     27 |  0.948 % |
318.94/318.96	c |    893676 |    1154     4778    14199 |    32031    30968     27 |  0.944 % |
319.15/319.14	c |    894272 |    1154     4778    14199 |    32031    31564     28 |  0.944 % |
319.34/319.41	c |    894928 |    1154     4778    14199 |    32031    32220     28 |  0.944 % |
319.64/319.69	c |    895649 |    1154     4778    14199 |    32031    28714     27 |  0.944 % |
320.04/320.02	c |    896442 |    1154     4778    14199 |    32031    29507     27 |  0.944 % |
320.44/320.41	c |    897313 |    1154     4778    14199 |    32031    30378     27 |  0.944 % |
320.84/320.89	c |    898271 |    1154     4778    14199 |    32031    31336     27 |  0.947 % |
321.35/321.34	c |    899324 |    1154     4778    14199 |    32031    32389     28 |  0.945 % |
321.54/321.55	c |    900482 |    1154     4778    14199 |    28565    29047     27 |  0.944 % |
321.84/321.86	c |    901756 |    1154     4778    14199 |    28565    26185     25 |  0.944 % |
322.34/322.35	c |    903157 |    1154     4778    14199 |    28565    27586     26 |  0.945 % |
322.74/322.75	c |    904698 |    1154     4778    14199 |    28565    29127     26 |  0.948 % |
323.04/323.08	c |    906392 |    1154     4778    14199 |    28565    27059     26 |  0.944 % |
323.34/323.31	c |    908255 |    1154     4778    14199 |    28565    26058     25 |  0.945 % |
324.14/324.14	c |    910304 |    1154     4778    14199 | 2147483647    28107     26 |  0.944 % |
324.94/324.93	c |    912557 |    1154     4778    14199 | 2147483647    30360     26 |  0.944 % |
325.54/325.51	c |    915035 |    1154     4778    14199 | 2147483647    32838     27 |  0.947 % |
325.75/325.79	c |    917760 |    1154     4778    14199 | 2147483647    35563     26 |  0.945 % |
327.34/327.41	c |    920757 |    1154     4778    14199 |    37803    32312     25 |  0.944 % |
328.94/328.99	c |    924053 |    1154     4778    14199 |    37803    35608     26 |  0.944 % |
329.84/329.83	c |    927681 |    1154     4778    14199 |    37803    31442     26 |  0.947 % |
330.74/330.77	c |    931668 |    1154     4778    14199 |    33761    29210     26 |  0.944 % |
331.94/332.00	c |    936054 |    1154     4778    14199 |    33761    33596     26 |  0.944 % |
333.04/333.04	c |    940877 |    1154     4778    14199 |    32755    27294     27 |  0.944 % |
335.34/335.36	c |    946182 |    1154     4778    14199 |    32755    32599     29 |  0.944 % |
336.64/336.72	c |    952017 |    1154     4778    14199 |    29963    27248     26 |  0.945 % |
337.54/337.56	c |    958436 |    1154     4778    14199 |    29963    27157     23 |  0.944 % |
340.33/340.36	c |    965496 |    1154     4778    14199 |    28723    27972     24 |  0.944 % |
343.43/343.42	c |    973260 |    1154     4778    14199 |    25088    24843     25 |  0.945 % |
346.23/346.21	c |    981800 |    1154     4778    14199 |    25426    24523     26 |  0.944 % |
346.23/346.25	c |    981901 |    1154     4778    14199 |    25426    24624     26 |  0.944 % |
346.23/346.26	c |    982011 |    1154     4778    14199 |    25426    24734     26 |  0.944 % |
346.23/346.28	c |    982133 |    1154     4778    14199 |    25426    24856     26 |  0.947 % |
346.23/346.29	c |    982267 |    1154     4778    14199 |    25426    24990     26 |  0.944 % |
346.33/346.34	c |    982413 |    1154     4778    14199 |    25426    25136     26 |  0.944 % |
346.33/346.37	c |    982573 |    1154     4778    14199 |    25426    25296     26 |  0.944 % |
346.43/346.41	c |    982750 |    1154     4778    14199 |    25426    25473     26 |  0.945 % |
346.43/346.46	c |    982943 |    1154     4778    14199 |    25426    23119     25 |  0.944 % |
346.43/346.47	c |    983155 |    1154     4778    14199 |    25426    23331     25 |  0.944 % |
346.53/346.57	c |    983389 |    1154     4778    14199 |    25426    23565     25 |  0.944 % |
346.64/346.70	c |    983645 |    1154     4778    14199 |    25426    23821     25 |  0.944 % |
346.83/346.82	c |    983926 |    1154     4778    14199 |    25426    24102     25 |  0.945 % |
346.93/346.93	c |    984235 |    1154     4778    14199 |    25426    24411     25 |  0.944 % |
347.03/347.03	c |    984575 |    1154     4778    14199 |    25426    24751     26 |  0.944 % |
347.03/347.06	c |    984947 |    1154     4778    14199 |    25426    25123     25 |  0.944 % |
347.13/347.18	c |    985356 |    1154     4778    14199 |    25426    25532     25 |  0.944 % |
347.23/347.26	c |    985806 |    1154     4778    14199 |    25426    23429     25 |  0.944 % |
347.33/347.38	c |    986300 |    1154     4778    14199 |    25426    23923     25 |  0.944 % |
347.63/347.62	c |    986842 |    1154     4778    14199 |    25426    24465     25 |  0.944 % |
347.83/347.83	c |    987439 |    1154     4778    14199 |    25426    25062     26 |  0.944 % |
348.03/348.05	c |    988095 |    1154     4778    14199 |    25426    23151     25 |  0.945 % |
348.13/348.13	c |    988816 |    1154     4778    14199 |    25426    23872     25 |  0.944 % |
348.23/348.23	c |    989609 |    1154     4778    14199 |    25426    24665     25 |  0.945 % |
348.53/348.55	c |    990480 |    1154     4778    14199 | 2147483647    25536     25 |  0.944 % |
348.93/348.90	c |    991438 |    1154     4778    14199 | 2147483647    26494     26 |  0.944 % |
349.23/349.22	c |    992492 |    1154     4778    14199 | 2147483647    27548     26 |  0.944 % |
349.73/349.74	c |    993652 |    1154     4778    14199 | 2147483647    28708     26 |  0.945 % |
350.23/350.29	c |    994926 |    1154     4778    14199 | 2147483647    29982     26 |  0.945 % |
350.63/350.66	c |    996326 |    1154     4778    14199 | 2147483647    31382     27 |  0.944 % |
351.23/351.22	c |    997867 |    1154     4778    14199 | 2147483647    32923     27 |  0.944 % |
351.93/351.99	c |    999561 |    1154     4778    14199 | 2147483647    34617     28 |  0.944 % |
352.53/352.52	c |   1001426 |    1154     4778    14199 |    35057    30333     27 |  0.946 % |
353.33/353.36	c |   1003475 |    1154     4778    14199 |    35057    32382     27 |  0.944 % |
354.53/354.55	c |   1005728 |    1154     4778    14199 |    35057    34635     28 |  0.948 % |
356.03/356.03	c |   1008206 |    1154     4778    14199 |    35057    30522     27 |  0.945 % |
357.34/357.35	c |   1010932 |    1154     4778    14199 |    32318    27933     26 |  0.945 % |
358.64/358.63	c |   1013929 |    1154     4778    14199 |    32318    30930     28 |  0.947 % |
359.54/359.60	c |   1017227 |    1154     4778    14199 |    32318    29800     26 |  0.944 % |
361.34/361.31	c |   1020852 |    1154     4778    14199 |    32575    28770     26 |  0.945 % |
363.44/363.48	c |   1024840 |    1154     4778    14199 |    32575    32758     26 |  0.944 % |
365.64/365.64	c |   1029225 |    1154     4778    14199 |    32575    31853     26 |  0.944 % |
367.94/367.92	c |   1034048 |    1154     4778    14199 |    32629    31484     27 |  0.945 % |
369.44/369.41	c |   1039353 |    1154     4778    14199 |    32629    31855     30 |  0.947 % |
371.54/371.58	c |   1045188 |    1154     4778    14199 |    32503    28899     30 |  0.944 % |
374.34/374.36	c |   1051609 |    1154     4778    14199 |    29257    26784     30 |  0.944 % |
376.94/376.94	c |   1058668 |    1154     4778    14199 |    29257    27945     26 |  0.944 % |
378.74/378.71	c |   1066433 |    1154     4778    14199 | 2147483647    35710     25 |  0.944 % |
383.64/383.64	c |   1074973 |    1154     4778    14199 |    39277    38417     24 |  0.944 % |
387.14/387.18	c |   1084367 |    1154     4778    14199 |    37148    36056     22 |  0.944 % |
387.24/387.23	c |   1084467 |    1154     4778    14199 |    37148    36156     22 |  0.944 % |
387.24/387.28	c |   1084577 |    1154     4778    14199 |    37148    36266     22 |  0.945 % |
387.34/387.33	c |   1084699 |    1154     4778    14199 |    37148    36388     22 |  0.944 % |
387.34/387.40	c |   1084833 |    1154     4778    14199 |    37148    36522     22 |  0.945 % |
387.44/387.44	c |   1084980 |    1154     4778    14199 |    37148    36669     22 |  0.945 % |
387.54/387.54	c |   1085140 |    1154     4778    14199 |    37148    36829     22 |  0.944 % |
387.54/387.59	c |   1085318 |    1154     4778    14199 |    37148    37007     23 |  0.944 % |
387.64/387.67	c |   1085512 |    1154     4778    14199 |    37148    37201     23 |  0.947 % |
387.74/387.76	c |   1085724 |    1154     4778    14199 |    37148    32174     23 |  0.948 % |
387.84/387.83	c |   1085958 |    1154     4778    14199 |    37148    32408     23 |  0.944 % |
387.84/387.89	c |   1086215 |    1154     4778    14199 |    37148    32665     23 |  0.944 % |
388.04/388.02	c |   1086500 |    1154     4778    14199 |    37148    32950     23 |  0.945 % |
388.14/388.14	c |   1086809 |    1154     4778    14199 |    37148    33259     23 |  0.944 % |
388.24/388.30	c |   1087148 |    1154     4778    14199 |    37148    33598     23 |  0.944 % |
388.44/388.42	c |   1087520 |    1154     4778    14199 |    37148    33970     24 |  0.944 % |
388.54/388.56	c |   1087929 |    1154     4778    14199 |    37148    34379     24 |  0.944 % |
388.74/388.79	c |   1088380 |    1154     4778    14199 |    37148    34830     24 |  0.945 % |
388.94/389.00	c |   1088873 |    1154     4778    14199 |    37148    35323     24 |  0.945 % |
389.24/389.24	c |   1089415 |    1154     4778    14199 |    37148    35865     24 |  0.944 % |
389.54/389.57	c |   1090012 |    1154     4778    14199 |    36451    36462     24 |  0.944 % |
389.74/389.75	c |   1090667 |    1154     4778    14199 |    36451    31627     25 |  0.947 % |
390.04/390.08	c |   1091387 |    1154     4778    14199 |    36451    32347     25 |  0.944 % |
390.34/390.36	c |   1092179 |    1154     4778    14199 |    36451    33139     25 |  0.944 % |
390.74/390.73	c |   1093052 |    1154     4778    14199 |    36451    34012     26 |  0.944 % |
390.94/391.00	c |   1094013 |    1154     4778    14199 |    36451    34973     26 |  0.947 % |
391.34/391.31	c |   1095066 |    1154     4778    14199 |    36451    36026     26 |  0.948 % |
391.84/391.81	c |   1096225 |    1154     4778    14199 |    36451    30401     24 |  0.944 % |
392.24/392.30	c |   1097498 |    1154     4778    14199 |    36451    31674     25 |  0.948 % |
392.94/392.93	c |   1098898 |    1154     4778    14199 |    36451    33074     25 |  0.944 % |
393.74/393.77	c |   1100440 |    1154     4778    14199 |    34176    28620     26 |  0.944 % |
394.54/394.59	c |   1102134 |    1154     4778    14199 |    34176    30314     27 |  0.944 % |
395.54/395.60	c |   1103997 |    1154     4778    14199 |    34176    32177     27 |  0.944 % |
396.34/396.34	c |   1106047 |    1154     4778    14199 |    34176    34227     27 |  0.944 % |
396.94/396.94	c |   1108301 |    1154     4778    14199 |    34176    32201     29 |  0.944 % |
397.84/397.88	c |   1110779 |    1154     4778    14199 |    33901    29898     28 |  0.945 % |
398.84/398.90	c |   1113504 |    1154     4778    14199 |    33901    32623     29 |  0.944 % |
399.84/399.81	c |   1116501 |    1154     4778    14199 |    33901    30461     28 |  0.947 % |
401.34/401.34	c |   1119797 |    1154     4778    14199 |    33901    33757     29 |  0.946 % |
403.24/403.23	c |   1123422 |    1154     4778    14199 |    33960    31561     28 |  0.944 % |
405.34/405.40	c |   1127409 |    1154     4778    14199 |    33960    29595     29 |  0.944 % |
407.44/407.45	c |   1131795 |    1154     4778    14199 |    32186    28310     27 |  0.948 % |
409.84/409.85	c |   1136620 |    1154     4778    14199 |    32186    27452     26 |  0.944 % |
412.04/412.07	c |   1141926 |    1154     4778    14199 |    30833    27759     26 |  0.944 % |
412.94/412.94	c |   1147761 |    1154     4778    14199 |    30833    30400     23 |  0.944 % |
415.54/415.57	c |   1154180 |    1154     4778    14199 |    29486    25794     23 |  0.944 % |
417.74/417.78	c |   1161240 |    1154     4778    14199 |    27884    25942     24 |  0.944 % |
421.14/421.15	c |   1169004 |    1154     4778    14199 |    27884    28065     27 |  0.944 % |
423.64/423.69	c |   1177544 |    1154     4778    14199 | 2147483647    33799     34 |  0.946 % |
426.84/426.89	c |   1186939 |    1154     4778    14199 |    36257    34818     38 |  0.947 % |
431.24/431.22	c |   1197272 |    1154     4778    14199 |    29431    25970     35 |  0.944 % |
431.24/431.25	c |   1197372 |    1154     4778    14199 |    29431    26070     35 |  0.944 % |
431.24/431.28	c |   1197483 |    1154     4778    14199 |    29431    26181     35 |  0.944 % |
431.35/431.32	c |   1197607 |    1154     4778    14199 |    29431    26305     35 |  0.944 % |
431.35/431.38	c |   1197741 |    1154     4778    14199 |    29431    26439     35 |  0.944 % |
431.44/431.44	c |   1197887 |    1154     4778    14199 |    29431    26585     35 |  0.944 % |
431.44/431.50	c |   1198048 |    1154     4778    14199 |    29431    26746     35 |  0.945 % |
431.54/431.54	c |   1198224 |    1154     4778    14199 |    29431    26922     35 |  0.944 % |
431.54/431.60	c |   1198417 |    1154     4778    14199 |    29431    27115     35 |  0.944 % |
431.64/431.62	c |   1198629 |    1154     4778    14199 |    29431    27327     35 |  0.944 % |
431.74/431.77	c |   1198863 |    1154     4778    14199 |    29431    27561     35 |  0.944 % |
431.84/431.87	c |   1199119 |    1154     4778    14199 |    29431    27817     35 |  0.944 % |
431.94/431.97	c |   1199401 |    1154     4778    14199 |    29431    28099     35 |  0.944 % |
432.14/432.11	c |   1199710 |    1154     4778    14199 |    29431    28408     35 |  0.944 % |
432.24/432.23	c |   1200051 |    1154     4778    14199 |    28700    28749     35 |  0.947 % |
432.34/432.33	c |   1200423 |    1154     4778    14199 |    28700    24954     32 |  0.947 % |
432.45/432.46	c |   1200833 |    1154     4778    14199 |    28700    25364     32 |  0.945 % |
432.54/432.51	c |   1201284 |    1154     4778    14199 |    28700    25815     32 |  0.944 % |
432.54/432.56	c |   1201777 |    1154     4778    14199 |    28700    26308     32 |  0.944 % |
432.64/432.61	c |   1202319 |    1154     4778    14199 |    28700    26850     32 |  0.945 % |
432.74/432.78	c |   1202915 |    1154     4778    14199 |    28700    27446     32 |  0.944 % |
432.94/432.95	c |   1203570 |    1154     4778    14199 |    28700    28101     32 |  0.944 % |
433.14/433.16	c |   1204291 |    1154     4778    14199 |    28700    28822     32 |  0.947 % |
433.34/433.33	c |   1205084 |    1154     4778    14199 |    28700    26654     30 |  0.944 % |
433.44/433.50	c |   1205955 |    1154     4778    14199 |    28700    27525     30 |  0.945 % |
433.84/433.83	c |   1206916 |    1154     4778    14199 |    28700    28486     31 |  0.948 % |
434.34/434.32	c |   1207970 |    1154     4778    14199 |    28700    26565     30 |  0.944 % |
434.44/434.43	c |   1209128 |    1154     4778    14199 |    28700    27723     29 |  0.944 % |
434.84/434.81	c |   1210403 |    1154     4778    14199 | 2147483647    28998     29 |  0.945 % |
435.44/435.44	c |   1211803 |    1154     4778    14199 | 2147483647    30398     29 |  0.944 % |
436.04/436.04	c |   1213344 |    1154     4778    14199 | 2147483647    31939     30 |  0.944 % |
436.64/436.67	c |   1215039 |    1154     4778    14199 | 2147483647    33634     30 |  0.944 % |
437.34/437.36	c |   1216902 |    1154     4778    14199 | 2147483647    35497     30 |  0.944 % |
438.54/438.60	c |   1218952 |    1154     4778    14199 | 2147483647    37547     30 |  0.944 % |
439.84/439.85	c |   1221205 |    1154     4778    14199 |    38595    32443     28 |  0.948 % |
440.44/440.46	c |   1223684 |    1154     4778    14199 |    38595    34922     27 |  0.944 % |
440.74/440.79	c |   1226409 |    1154     4778    14199 |    38595    37647     26 |  0.944 % |
442.24/442.25	c |   1229406 |    1154     4778    14199 |    38595    34671     27 |  0.944 % |
443.34/443.33	c |   1232702 |    1154     4778    14199 |    35265    32706     25 |  0.944 % |
445.14/445.15	c |   1236327 |    1154     4778    14199 |    35265    31659     25 |  0.945 % |
447.04/447.04	c |   1240316 |    1154     4778    14199 |    35332    35648     27 |  0.944 % |
449.04/449.08	c |   1244702 |    1154     4778    14199 |    35332    34568     26 |  0.944 % |
451.54/451.53	c |   1249527 |    1154     4778    14199 |    35332    33939     28 |  0.945 % |
452.34/452.40	c |   1254834 |    1154     4778    14199 |    34413    33869     26 |  0.944 % |
455.24/455.25	c |   1260670 |    1154     4778    14199 |    30332    26905     26 |  0.944 % |
458.44/458.49	c |   1267089 |    1154     4778    14199 |    30332    29522     28 |  0.944 % |
461.14/461.11	c |   1274148 |    1154     4778    14199 |    28335    28591     32 |  0.944 % |
463.64/463.68	c |   1281913 |    1154     4778    14199 |    25744    23444     33 |  0.948 % |
466.64/466.63	c |   1290454 |    1154     4778    14199 |    23901    21266     31 |  0.945 % |
468.64/468.71	c |   1299848 |    1154     4778    14199 |    23901    23410     25 |  0.944 % |
472.85/472.91	c |   1310183 |    1154     4778    14199 | 2147483647    33745     27 |  0.948 % |
480.55/480.60	c |   1321550 |    1154     4778    14199 |    43563    36949     27 |  0.944 % |
480.65/480.62	c |   1321651 |    1154     4778    14199 |    43563    37050     27 |  0.947 % |
480.65/480.63	c |   1321762 |    1154     4778    14199 |    43563    37161     27 |  0.944 % |
480.75/480.73	c |   1321884 |    1154     4778    14199 |    43563    37283     27 |  0.945 % |
480.85/480.81	c |   1322018 |    1154     4778    14199 |    43563    37417     27 |  0.944 % |
480.85/480.84	c |   1322166 |    1154     4778    14199 |    43563    37565     27 |  0.945 % |
480.85/480.85	c |   1322327 |    1154     4778    14199 |    43563    37726     27 |  0.944 % |
480.95/480.93	c |   1322504 |    1154     4778    14199 |    43563    37903     27 |  0.944 % |
480.95/480.97	c |   1322697 |    1154     4778    14199 |    43563    38096     27 |  0.947 % |
481.05/481.07	c |   1322910 |    1154     4778    14199 |    43563    38309     27 |  0.944 % |
481.25/481.22	c |   1323144 |    1154     4778    14199 |    43563    38543     27 |  0.947 % |
481.35/481.34	c |   1323402 |    1154     4778    14199 |    43563    38801     27 |  0.944 % |
481.45/481.45	c |   1323685 |    1154     4778    14199 |    43563    39084     27 |  0.944 % |
481.65/481.62	c |   1323994 |    1154     4778    14199 |    43563    39393     27 |  0.944 % |
481.85/481.84	c |   1324334 |    1154     4778    14199 |    43563    39733     27 |  0.944 % |
482.05/482.07	c |   1324706 |    1154     4778    14199 |    43563    40105     27 |  0.944 % |
482.35/482.35	c |   1325115 |    1154     4778    14199 |    43563    40514     27 |  0.944 % |
482.55/482.57	c |   1325564 |    1154     4778    14199 |    43563    40963     28 |  0.944 % |
482.65/482.70	c |   1326058 |    1154     4778    14199 |    43563    41457     28 |  0.947 % |
482.85/482.83	c |   1326600 |    1154     4778    14199 |    43563    41999     28 |  0.944 % |
482.85/482.90	c |   1327197 |    1154     4778    14199 |    43563    42596     27 |  0.945 % |
483.25/483.29	c |   1327852 |    1154     4778    14199 |    43563    43251     28 |  0.946 % |
483.65/483.66	c |   1328572 |    1154     4778    14199 |    43563    34802     29 |  0.944 % |
483.85/483.85	c |   1329365 |    1154     4778    14199 |    43563    35595     29 |  0.945 % |
484.15/484.17	c |   1330236 |    1154     4778    14199 |    36231    36466     29 |  0.944 % |
484.65/484.66	c |   1331195 |    1154     4778    14199 |    36231    29955     28 |  0.944 % |
485.15/485.15	c |   1332250 |    1154     4778    14199 |    36231    31010     28 |  0.944 % |
485.55/485.51	c |   1333408 |    1154     4778    14199 |    36231    32168     28 |  0.944 % |
486.05/486.02	c |   1334682 |    1154     4778    14199 |    36231    33442     29 |  0.944 % |
486.75/486.79	c |   1336084 |    1154     4778    14199 |    36231    34844     29 |  0.944 % |
487.35/487.33	c |   1337624 |    1154     4778    14199 |    36231    36384     29 |  0.944 % |
488.05/488.09	c |   1339318 |    1154     4778    14199 |    36231    30595     27 |  0.944 % |
488.75/488.81	c |   1341182 |    1154     4778    14199 |    31279    26767     26 |  0.944 % |
489.55/489.59	c |   1343232 |    1154     4778    14199 |    31279    28817     27 |  0.944 % |
489.95/489.93	c |   1345485 |    1154     4778    14199 |    31279    31070     26 |  0.944 % |
490.45/490.45	c |   1347964 |    1154     4778    14199 |    31279    30221     26 |  0.945 % |
491.55/491.52	c |   1350689 |    1154     4778    14199 |    29080    26732     24 |  0.944 % |
492.55/492.54	c |   1353686 |    1154     4778    14199 |    29080    29729     25 |  0.944 % |
493.55/493.54	c |   1356985 |    1153     4774    14183 |    29080    27748     25 |  1.030 % |
495.25/495.24	c |   1360610 |    1153     4774    14183 |    27147    24515     24 |  1.030 % |
496.95/496.97	c |   1364598 |    1153     4774    14183 |    27147    25761     25 |  1.030 % |
497.85/497.87	c |   1368985 |    1153     4774    14183 |    27147    27346     29 |  1.030 % |
499.65/499.67	c |   1373808 |    1153     4774    14183 |    25064    23740     28 |  1.030 % |
501.55/501.55	c |   1379115 |    1153     4774    14183 |    25064    23937     29 |  1.030 % |
504.05/504.11	c |   1384950 |    1153     4774    14183 | 2147483647    29772     30 |  1.030 % |
507.25/507.22	c |   1391368 |    1153     4774    14183 | 2147483647    36190     30 |  1.031 % |
511.85/511.86	c |   1398427 |    1153     4774    14183 | 2147483647    43249     30 |  1.030 % |
515.45/515.49	c |   1406191 |    1153     4774    14183 |    44824    42116     27 |  1.031 % |
519.85/519.88	c |   1414731 |    1153     4774    14183 |    36610    33837     27 |  1.031 % |
521.45/521.42	c |   1424125 |    1153     4774    14183 |    34019    34052     23 |  1.030 % |
526.55/526.58	c |   1434459 |    1153     4774    14183 |    31925    28469     24 |  1.030 % |
531.75/531.79	c |   1445825 |    1153     4774    14183 |    29475    26274     29 |  1.030 % |
536.55/536.57	c |   1458328 |    1153     4774    14183 |    26701    26390     26 |  1.030 % |
536.65/536.61	c |   1458428 |    1153     4774    14183 |    26701    26490     26 |  1.031 % |
536.65/536.66	c |   1458539 |    1153     4774    14183 |    26701    26601     26 |  1.031 % |
536.65/536.69	c |   1458662 |    1153     4774    14183 |    26701    26724     26 |  1.030 % |
536.75/536.74	c |   1458795 |    1153     4774    14183 |    26701    24185     25 |  1.030 % |
536.75/536.80	c |   1458942 |    1153     4774    14183 |    26701    24332     25 |  1.030 % |
536.85/536.84	c |   1459102 |    1153     4774    14183 |    26701    24492     25 |  1.033 % |
536.85/536.89	c |   1459278 |    1153     4774    14183 |    26701    24668     25 |  1.030 % |
536.95/536.98	c |   1459471 |    1153     4774    14183 |    26701    24861     25 |  1.030 % |
537.05/537.03	c |   1459683 |    1153     4774    14183 |    26701    25073     25 |  1.030 % |
537.15/537.16	c |   1459917 |    1153     4774    14183 |    26701    25307     26 |  1.030 % |
537.25/537.23	c |   1460174 |    1153     4774    14183 | 2147483647    25564     26 |  1.030 % |
537.35/537.33	c |   1460455 |    1153     4774    14183 | 2147483647    25845     26 |  1.030 % |
537.45/537.41	c |   1460765 |    1153     4774    14183 | 2147483647    26155     26 |  1.030 % |
537.55/537.56	c |   1461105 |    1153     4774    14183 | 2147483647    26495     26 |  1.030 % |
537.65/537.65	c |   1461479 |    1153     4774    14183 | 2147483647    26869     26 |  1.030 % |
537.75/537.77	c |   1461888 |    1153     4774    14183 | 2147483647    27278     26 |  1.030 % |
537.95/537.99	c |   1462339 |    1153     4774    14183 | 2147483647    27729     26 |  1.030 % |
538.15/538.20	c |   1462833 |    1153     4774    14183 | 2147483647    28223     27 |  1.033 % |
538.35/538.40	c |   1463376 |    1153     4774    14183 | 2147483647    28766     27 |  1.030 % |
538.55/538.55	c |   1463972 |    1153     4774    14183 | 2147483647    29362     27 |  1.030 % |
538.75/538.78	c |   1464629 |    1153     4774    14183 | 2147483647    30019     27 |  1.030 % |
539.05/539.11	c |   1465351 |    1153     4774    14183 | 2147483647    30741     27 |  1.033 % |
539.55/539.59	c |   1466145 |    1153     4774    14183 | 2147483647    31535     28 |  1.031 % |
539.85/539.86	c |   1467017 |    1153     4774    14183 | 2147483647    32407     28 |  1.030 % |
540.05/540.09	c |   1467977 |    1153     4774    14183 | 2147483647    33367     28 |  1.033 % |
540.15/540.20	c |   1469030 |    1153     4774    14183 | 2147483647    34420     27 |  1.030 % |
540.45/540.44	c |   1470188 |    1153     4774    14183 |    35391    35578     28 |  1.030 % |
540.95/540.95	c |   1471464 |    1153     4774    14183 |    35391    31498     28 |  1.030 % |
541.65/541.70	c |   1472865 |    1153     4774    14183 |    35391    32899     28 |  1.030 % |
542.55/542.52	c |   1474406 |    1153     4774    14183 |    35391    34440     28 |  1.030 % |
543.35/543.40	c |   1476100 |    1153     4774    14183 |    35391    31076     27 |  1.031 % |
544.45/544.42	c |   1477963 |    1153     4774    14183 |    35391    32939     27 |  1.030 % |
545.35/545.37	c |   1480012 |    1153     4774    14183 |    34976    34988     28 |  1.031 % |
545.95/545.99	c |   1482265 |    1153     4774    14183 |    34976    32070     29 |  1.032 % |
547.25/547.21	c |   1484743 |    1153     4774    14183 |    34976    34548     30 |  1.030 % |
548.55/548.60	c |   1487471 |    1153     4774    14183 |    34976    30573     28 |  1.030 % |
550.05/550.02	c |   1490468 |    1153     4774    14183 |    33102    27788     27 |  1.030 % |
550.95/551.00	c |   1493764 |    1153     4774    14183 |    33102    31084     27 |  1.030 % |
552.05/552.02	c |   1497391 |    1153     4774    14183 |    33102    31349     27 |  1.030 % |
554.05/554.06	c |   1501379 |    1153     4774    14183 |    29980    27758     25 |  1.030 % |
556.05/556.08	c |   1505764 |    1153     4774    14183 |    29980    28285     24 |  1.030 % |
558.05/558.08	c |   1510589 |    1153     4774    14183 |    28795    25920     24 |  1.031 % |
558.75/558.76	c |   1515895 |    1153     4774    14183 |    28795    27805     23 |  1.033 % |
560.85/560.81	c |   1521730 |    1153     4774    14183 |    28054    25973     25 |  1.030 % |
563.45/563.41	c |   1528148 |    1153     4774    14183 |    28054    25865     25 |  1.030 % |
566.45/566.43	c |   1535207 |    1153     4774    14183 |    27719    25237     28 |  1.030 % |
569.65/569.65	c |   1542972 |    1153     4774    14183 |    26592    26608     27 |  1.030 % |
573.55/573.58	c |   1551513 |    1153     4774    14183 | 2147483647    27107     28 |  1.031 % |
576.05/576.10	c |   1560907 |    1153     4774    14183 |    35596    29306     30 |  1.030 % |
581.25/581.24	c |   1571242 |    1153     4774    14183 |    32061    27750     31 |  1.030 % |
584.46/584.49	c |   1582608 |    1153     4774    14183 | 2147483647    32671     27 |  1.033 % |
591.76/591.81	c |   1595111 |    1153     4774    14183 |    40063    38688     26 |  1.031 % |
600.46/600.44	c |   1608865 |    1153     4774    14183 |    36206    31191     28 |  1.030 % |
600.46/600.50	c |   1608966 |    1153     4774    14183 |    36206    31292     28 |  1.030 % |
600.56/600.59	c |   1609077 |    1153     4774    14183 |    36206    31403     28 |  1.031 % |
600.66/600.63	c |   1609198 |    1153     4774    14183 |    36206    31524     28 |  1.033 % |
600.66/600.68	c |   1609331 |    1153     4774    14183 |    36206    31657     28 |  1.033 % |
600.76/600.72	c |   1609477 |    1153     4774    14183 |    36206    31803     28 |  1.030 % |
600.76/600.75	c |   1609639 |    1153     4774    14183 |    36206    31965     28 |  1.030 % |
600.86/600.85	c |   1609816 |    1153     4774    14183 |    36206    32142     28 |  1.030 % |
600.96/600.96	c |   1610010 |    1153     4774    14183 |    32326    32336     28 |  1.030 % |
600.96/600.98	c |   1610223 |    1153     4774    14183 |    32326    32549     28 |  1.034 % |
601.06/601.04	c |   1610457 |    1153     4774    14183 |    32326    26741     26 |  1.030 % |
601.16/601.16	c |   1610717 |    1153     4774    14183 |    32326    27001     27 |  1.030 % |
601.26/601.23	c |   1610998 |    1153     4774    14183 |    32326    27282     27 |  1.030 % |
601.36/601.33	c |   1611307 |    1153     4774    14183 |    32326    27591     27 |  1.030 % |
601.46/601.42	c |   1611646 |    1153     4774    14183 |    32326    27930     27 |  1.030 % |
601.56/601.52	c |   1612018 |    1153     4774    14183 |    32326    28302     27 |  1.031 % |
601.56/601.57	c |   1612427 |    1153     4774    14183 |    32326    28711     27 |  1.033 % |
601.76/601.78	c |   1612876 |    1153     4774    14183 |    32326    29160     28 |  1.030 % |
601.96/601.93	c |   1613370 |    1153     4774    14183 |    32326    29654     28 |  1.030 % |
602.06/602.11	c |   1613914 |    1153     4774    14183 |    32326    30198     28 |  1.030 % |
602.46/602.42	c |   1614510 |    1153     4774    14183 |    32326    30794     28 |  1.031 % |
602.56/602.58	c |   1615166 |    1153     4774    14183 |    32326    31450     28 |  1.030 % |
602.76/602.72	c |   1615887 |    1153     4774    14183 |    32326    32171     28 |  1.033 % |
603.06/603.05	c |   1616679 |    1153     4774    14183 |    32326    27125     27 |  1.030 % |
603.36/603.39	c |   1617550 |    1153     4774    14183 |    32326    27996     27 |  1.030 % |
603.66/603.66	c |   1618508 |    1153     4774    14183 |    32326    28954     28 |  1.030 % |
603.86/603.89	c |   1619561 |    1153     4774    14183 |    32326    30007     28 |  1.033 % |
604.06/604.03	c |   1620719 |    1153     4774    14183 |    30447    25907     26 |  1.030 % |
604.56/604.52	c |   1621993 |    1153     4774    14183 |    30447    27181     27 |  1.030 % |
604.96/604.97	c |   1623393 |    1153     4774    14183 |    30447    28581     27 |  1.030 % |
605.56/605.60	c |   1624933 |    1153     4774    14183 |    30447    30121     28 |  1.030 % |
606.26/606.26	c |   1626628 |    1153     4774    14183 |    30447    27373     27 |  1.033 % |
607.06/607.02	c |   1628492 |    1153     4774    14183 |    30447    29237     28 |  1.034 % |
607.96/607.93	c |   1630542 |    1153     4774    14183 |    26371    23180     25 |  1.033 % |
608.36/608.35	c |   1632796 |    1153     4774    14183 |    26371    25434     27 |  1.032 % |
609.16/609.20	c |   1635274 |    1153     4774    14183 |    26371    23833     27 |  1.030 % |
609.86/609.90	c |   1637999 |    1153     4774    14183 |    26371    26558     29 |  1.030 % |
610.96/610.99	c |   1640996 |    1153     4774    14183 |    24686    22956     27 |  1.030 % |
611.96/611.94	c |   1644293 |    1153     4774    14183 |    24686    23728     29 |  1.030 % |
613.26/613.22	c |   1647918 |    1153     4774    14183 |    24686    24664     31 |  1.030 % |
614.66/614.66	c |   1651905 |    1153     4774    14183 | 2147483647    26153     30 |  1.030 % |
616.86/616.82	c |   1656290 |    1153     4774    14183 | 2147483647    30538     31 |  1.031 % |
619.56/619.51	c |   1661113 |    1153     4774    14183 |    34248    31107     30 |  1.031 % |
621.76/621.77	c |   1666418 |    1153     4774    14183 |    34248    32852     28 |  1.030 % |
624.86/624.86	c |   1672254 |    1153     4774    14183 |    32604    30757     26 |  1.031 % |
627.66/627.68	c |   1678672 |    1153     4774    14183 |    32604    32096     25 |  1.030 % |
630.56/630.52	c |   1685732 |    1153     4774    14183 |    28333    26359     26 |  1.030 % |
633.66/633.69	c |   1693497 |    1153     4774    14183 |    27356    24635     25 |  1.030 % |
637.06/637.03	c |   1702037 |    1153     4774    14183 |    24262    23086     26 |  1.031 % |
639.46/639.48	c |   1711431 |    1153     4774    14183 | 2147483647    24591     37 |  1.033 % |
642.36/642.39	c |   1721767 |    1153     4774    14183 | 2147483647    34927     33 |  1.030 % |
648.26/648.24	c |   1733134 |    1153     4774    14183 |    43160    37304     34 |  1.030 % |
655.16/655.13	c |   1745637 |    1153     4774    14183 |    32951    29982     31 |  1.030 % |
660.76/660.75	c |   1759390 |    1153     4774    14183 |    28447    27520     27 |  1.030 % |
667.56/667.59	c |   1774517 |    1153     4774    14183 |    38130    37176     27 |  1.031 % |
667.56/667.60	c |   1774618 |    1153     4774    14183 |    38130    37277     27 |  1.030 % |
667.66/667.61	c |   1774732 |    1153     4774    14183 |    38130    37391     27 |  1.030 % |
667.66/667.68	c |   1774853 |    1153     4774    14183 |    38130    37512     27 |  1.030 % |
667.76/667.74	c |   1774986 |    1153     4774    14183 |    38130    37645     27 |  1.030 % |
667.87/667.83	c |   1775134 |    1153     4774    14183 |    38130    37793     27 |  1.030 % |
667.87/667.89	c |   1775294 |    1153     4774    14183 |    38130    37953     28 |  1.030 % |
667.96/667.99	c |   1775471 |    1153     4774    14183 |    38130    38130     28 |  1.030 % |
668.06/668.07	c |   1775664 |    1153     4774    14183 |    38130    38323     28 |  1.030 % |
668.16/668.20	c |   1775877 |    1153     4774    14183 |    38130    32465     27 |  1.031 % |
668.26/668.30	c |   1776111 |    1153     4774    14183 |    38130    32699     27 |  1.030 % |
668.46/668.44	c |   1776368 |    1153     4774    14183 |    38130    32956     27 |  1.030 % |
668.56/668.56	c |   1776649 |    1153     4774    14183 |    38130    33237     27 |  1.030 % |
668.76/668.74	c |   1776958 |    1153     4774    14183 |    38130    33546     27 |  1.031 % |
668.97/668.94	c |   1777299 |    1153     4774    14183 |    38130    33887     27 |  1.030 % |
668.97/668.99	c |   1777671 |    1153     4774    14183 |    38130    34259     27 |  1.030 % |
669.06/669.03	c |   1778081 |    1153     4774    14183 |    38130    34669     27 |  1.030 % |
669.06/669.07	c |   1778531 |    1153     4774    14183 |    38130    35119     27 |  1.030 % |
669.16/669.16	c |   1779024 |    1153     4774    14183 |    38130    35612     27 |  1.030 % |
669.46/669.44	c |   1779566 |    1153     4774    14183 |    38130    36154     27 |  1.030 % |
669.76/669.72	c |   1780162 |    1153     4774    14183 |    36591    36750     28 |  1.033 % |
670.07/670.08	c |   1780819 |    1153     4774    14183 |    36591    31026     27 |  1.033 % |
670.26/670.23	c |   1781539 |    1153     4774    14183 |    36591    31746     27 |  1.030 % |
670.46/670.42	c |   1782334 |    1153     4774    14183 |    36591    32541     27 |  1.030 % |
670.76/670.79	c |   1783205 |    1153     4774    14183 |    36591    33412     28 |  1.033 % |
671.17/671.16	c |   1784163 |    1153     4774    14183 |    36591    34370     28 |  1.034 % |
671.26/671.27	c |   1785216 |    1153     4774    14183 |    36591    35423     28 |  1.030 % |
671.76/671.81	c |   1786374 |    1153     4774    14183 |    36591    36581     28 |  1.030 % |
672.56/672.58	c |   1787648 |    1153     4774    14183 |    36591    31981     27 |  1.030 % |
673.26/673.27	c |   1789049 |    1153     4774    14183 |    36591    33382     27 |  1.030 % |
673.46/673.47	c |   1790591 |    1153     4774    14183 |    34333    30129     27 |  1.033 % |
673.76/673.78	c |   1792285 |    1153     4774    14183 |    34333    31823     28 |  1.030 % |
674.47/674.49	c |   1794148 |    1153     4774    14183 |    34333    33686     28 |  1.030 % |
675.46/675.46	c |   1796198 |    1153     4774    14183 |    34333    29613     29 |  1.030 % |
676.76/676.72	c |   1798452 |    1153     4774    14183 |    34333    31867     29 |  1.030 % |
678.26/678.22	c |   1800932 |    1153     4774    14183 |    33415    28852     29 |  1.030 % |
679.56/679.60	c |   1803658 |    1153     4774    14183 |    33415    31578     29 |  1.030 % |
681.16/681.20	c |   1806656 |    1153     4774    14183 |    33415    29164     27 |  1.030 % |
683.06/683.01	c |   1809952 |    1153     4774    14183 |    33415    32460     28 |  1.030 % |
684.76/684.74	c |   1813577 |    1153     4774    14183 |    32508    30484     29 |  1.030 % |
685.96/685.92	c |   1817566 |    1153     4774    14183 |    32508    28581     29 |  1.034 % |
687.26/687.23	c |   1821951 |    1153     4774    14183 |    31016    27412     28 |  1.033 % |
689.36/689.35	c |   1826775 |    1153     4774    14183 |    31016    27159     30 |  1.030 % |
690.97/690.98	c |   1832080 |    1153     4774    14183 |    30384    28124     29 |  1.030 % |
692.26/692.31	c |   1837915 |    1153     4774    14183 |    30384    28680     30 |  1.033 % |
694.27/694.25	c |   1844335 |    1153     4774    14183 |    25674    23717     27 |  1.033 % |
697.06/697.06	c |   1851396 |    1153     4774    14183 | 2147483647    25595     29 |  1.030 % |
700.56/700.61	c |   1859161 |    1153     4774    14183 | 2147483647    33360     30 |  1.030 % |
705.76/705.73	c |   1867701 |    1153     4774    14183 |    34200    32122     29 |  1.030 % |
710.16/710.11	c |   1877095 |    1153     4774    14183 |    34421    29655     28 |  1.030 % |
714.16/714.14	c |   1887428 |    1153     4774    14183 |    32560    27764     38 |  1.034 % |
719.16/719.20	c |   1898796 |    1153     4774    14183 |    30336    27828     38 |  1.030 % |
724.36/724.33	c |   1911298 |    1153     4774    14183 |    26839    24821     26 |  1.030 % |
729.16/729.21	c |   1925051 |    1153     4774    14183 | 2147483647    30164     30 |  1.030 % |
732.06/732.03	c |   1940178 |    1153     4774    14183 |    32120    28327     19 |  1.031 % |
738.66/738.70	c |   1956818 |    1153     4774    14183 | 2147483647    38442     27 |  1.030 % |
738.76/738.75	c |   1956920 |    1153     4774    14183 | 2147483647    38544     27 |  1.030 % |
738.76/738.77	c |   1957030 |    1153     4774    14183 | 2147483647    38654     27 |  1.034 % |
738.76/738.80	c |   1957152 |    1153     4774    14183 | 2147483647    38776     27 |  1.030 % |
738.86/738.86	c |   1957285 |    1153     4774    14183 | 2147483647    38909     27 |  1.030 % |
738.86/738.90	c |   1957433 |    1153     4774    14183 | 2147483647    39057     27 |  1.030 % |
738.96/738.99	c |   1957593 |    1153     4774    14183 | 2147483647    39217     27 |  1.030 % |
739.06/739.09	c |   1957769 |    1153     4774    14183 | 2147483647    39393     27 |  1.035 % |
739.26/739.22	c |   1957963 |    1153     4774    14183 | 2147483647    39587     27 |  1.030 % |
739.36/739.39	c |   1958175 |    1153     4774    14183 | 2147483647    39799     27 |  1.030 % |
739.56/739.53	c |   1958408 |    1153     4774    14183 | 2147483647    40032     27 |  1.030 % |
739.66/739.69	c |   1958664 |    1153     4774    14183 | 2147483647    40288     27 |  1.030 % |
739.86/739.90	c |   1958947 |    1153     4774    14183 | 2147483647    40571     27 |  1.030 % |
740.06/740.03	c |   1959257 |    1153     4774    14183 | 2147483647    40881     27 |  1.030 % |
740.26/740.22	c |   1959598 |    1153     4774    14183 | 2147483647    41222     27 |  1.030 % |
740.26/740.31	c |   1959971 |    1153     4774    14183 | 2147483647    41595     27 |  1.034 % |
740.46/740.44	c |   1960382 |    1153     4774    14183 |    41624    36557     28 |  1.035 % |
740.66/740.64	c |   1960831 |    1153     4774    14183 |    41624    37006     28 |  1.030 % |
740.76/740.75	c |   1961325 |    1153     4774    14183 |    41624    37500     28 |  1.031 % |
740.96/740.97	c |   1961867 |    1153     4774    14183 |    41624    38042     28 |  1.030 % |
741.36/741.34	c |   1962465 |    1153     4774    14183 |    41624    38640     28 |  1.034 % |
741.66/741.69	c |   1963120 |    1153     4774    14183 |    41624    39295     28 |  1.030 % |
741.96/742.00	c |   1963840 |    1153     4774    14183 |    41624    40015     28 |  1.031 % |
742.46/742.48	c |   1964632 |    1153     4774    14183 |    41624    40807     28 |  1.030 % |
743.06/743.11	c |   1965504 |    1153     4774    14183 |    41624    41679     28 |  1.030 % |
743.46/743.45	c |   1966462 |    1153     4774    14183 |    41624    35282     32 |  1.035 % |
743.86/743.90	c |   1967515 |    1153     4774    14183 |    41624    36335     32 |  1.030 % |
744.46/744.49	c |   1968673 |    1153     4774    14183 |    41624    37493     32 |  1.035 % |
745.26/745.22	c |   1969946 |    1153     4774    14183 |    41624    38766     32 |  1.030 % |
745.86/745.81	c |   1971347 |    1153     4774    14183 |    38821    31630     32 |  1.032 % |
746.56/746.53	c |   1972887 |    1153     4774    14183 |    38821    33170     32 |  1.030 % |
747.36/747.32	c |   1974582 |    1153     4774    14183 |    38821    34865     33 |  1.030 % |
748.06/748.04	c |   1976446 |    1153     4774    14183 |    38821    36729     33 |  1.033 % |
748.96/748.99	c |   1978496 |    1153     4774    14183 |    38821    38779     33 |  1.030 % |
750.06/750.05	c |   1980749 |    1153     4774    14183 |    31519    25324     29 |  1.035 % |
750.86/750.87	c |   1983229 |    1153     4774    14183 |    31519    27804     29 |  1.030 % |
752.16/752.18	c |   1985954 |    1153     4774    14183 |    31519    30529     29 |  1.034 % |
753.46/753.46	c |   1988951 |    1153     4774    14183 |    31519    28131     29 |  1.030 % |
754.56/754.53	c |   1992247 |    1153     4774    14183 |    29180    27186     27 |  1.030 % |
756.06/756.04	c |   1995875 |    1153     4774    14183 |    29180    27684     26 |  1.030 % |
757.86/757.83	c |   1999862 |    1153     4774    14183 |    29180    28694     25 |  1.034 % |
759.86/759.85	c |   2004247 |    1153     4774    14183 |    28832    26772     25 |  1.031 % |
762.66/762.62	c |   2009070 |    1153     4774    14183 |    28832    28254     26 |  1.030 % |
764.76/764.78	c |   2014375 |    1153     4774    14183 |    29184    29767     30 |  1.034 % |
767.46/767.46	c |   2020210 |    1153     4774    14183 |    26252    26462     32 |  1.030 % |
769.96/769.95	c |   2026630 |    1153     4774    14183 |    26252    25898     31 |  1.030 % |
773.36/773.41	c |   2033689 |    1153     4774    14183 | 2147483647    27553     29 |  1.030 % |
776.96/776.93	c |   2041453 |    1153     4774    14183 |    33864    31393     28 |  1.030 % |
780.76/780.73	c |   2049993 |    1153     4774    14183 |    33864    30084     26 |  1.033 % |
784.66/784.65	c |   2059387 |    1153     4774    14183 |    30091    26329     25 |  1.030 % |
789.46/789.41	c |   2069721 |    1153     4774    14183 |    26943    26406     27 |  1.030 % |
793.76/793.76	c |   2081088 |    1153     4774    14183 | 2147483647    26809     27 |  1.030 % |
799.16/799.14	c |   2093591 |    1153     4774    14183 |    35721    33065     34 |  1.030 % |
803.26/803.23	c |   2107343 |    1153     4774    14183 |    31653    31631     37 |  1.033 % |
809.96/809.97	c |   2122471 |    1153     4774    14183 |    24711    24107     31 |  1.031 % |
816.57/816.57	c |   2139110 |    1153     4774    14183 |    23445    22963     28 |  1.030 % |
825.67/825.65	c |   2157413 |    1153     4774    14183 |    31483    30764     27 |  1.030 % |
825.77/825.71	c |   2157513 |    1153     4774    14183 |    31483    30864     27 |  1.030 % |
825.77/825.74	c |   2157625 |    1153     4774    14183 |    31483    30976     27 |  1.030 % |
825.77/825.80	c |   2157747 |    1153     4774    14183 |    31483    31098     27 |  1.030 % |
825.87/825.86	c |   2157880 |    1153     4774    14183 |    31483    31231     27 |  1.030 % |
825.87/825.90	c |   2158027 |    1153     4774    14183 |    31483    31378     27 |  1.030 % |
825.97/825.93	c |   2158187 |    1153     4774    14183 |    31483    31538     27 |  1.030 % |
826.07/826.05	c |   2158365 |    1153     4774    14183 |    31483    27350     27 |  1.031 % |
826.17/826.12	c |   2158559 |    1153     4774    14183 |    31483    27544     27 |  1.030 % |
826.17/826.16	c |   2158771 |    1153     4774    14183 |    31483    27756     27 |  1.031 % |
826.27/826.22	c |   2159005 |    1153     4774    14183 |    31483    27990     27 |  1.030 % |
826.27/826.31	c |   2159261 |    1153     4774    14183 |    31483    28246     27 |  1.030 % |
826.37/826.39	c |   2159543 |    1153     4774    14183 |    31483    28528     27 |  1.030 % |
826.47/826.44	c |   2159853 |    1153     4774    14183 |    31483    28838     27 |  1.030 % |
826.57/826.57	c |   2160193 |    1153     4774    14183 |    28987    29178     27 |  1.030 % |
826.77/826.72	c |   2160566 |    1153     4774    14183 |    28987    25281     27 |  1.030 % |
826.77/826.78	c |   2160976 |    1153     4774    14183 |    28987    25691     27 |  1.034 % |
826.87/826.90	c |   2161425 |    1153     4774    14183 |    28987    26140     27 |  1.030 % |
827.07/827.03	c |   2161919 |    1153     4774    14183 |    28987    26634     27 |  1.030 % |
827.17/827.19	c |   2162461 |    1153     4774    14183 |    28987    27176     27 |  1.031 % |
827.47/827.43	c |   2163059 |    1153     4774    14183 |    28987    27774     27 |  1.030 % |
827.57/827.58	c |   2163714 |    1153     4774    14183 |    28987    28429     28 |  1.034 % |
827.77/827.79	c |   2164435 |    1153     4774    14183 |    28987    25473     27 |  1.030 % |
828.07/828.03	c |   2165227 |    1153     4774    14183 |    28987    26265     27 |  1.030 % |
828.37/828.36	c |   2166098 |    1153     4774    14183 |    28987    27136     28 |  1.030 % |
828.77/828.72	c |   2167056 |    1153     4774    14183 |    28987    28094     28 |  1.033 % |
829.07/829.02	c |   2168110 |    1153     4774    14183 |    28987    29148     29 |  1.030 % |
829.47/829.47	c |   2169269 |    1153     4774    14183 |    28987    26153     29 |  1.034 % |
829.87/829.84	c |   2170542 |    1153     4774    14183 |    26885    23801     28 |  1.030 % |
829.97/829.98	c |   2171942 |    1153     4774    14183 |    26885    25201     28 |  1.034 % |
830.37/830.32	c |   2173482 |    1153     4774    14183 |    26885    26741     28 |  1.030 % |
830.87/830.89	c |   2175176 |    1153     4774    14183 |    26885    25693     28 |  1.030 % |
831.47/831.49	c |   2177039 |    1153     4774    14183 |    26885    24837     28 |  1.030 % |
831.77/831.77	c |   2179088 |    1153     4774    14183 |    26885    26886     27 |  1.030 % |
832.17/832.11	c |   2181341 |    1153     4774    14183 | 2147483647    26440     25 |  1.030 % |
832.97/832.96	c |   2183819 |    1153     4774    14183 | 2147483647    28918     27 |  1.030 % |
834.17/834.17	c |   2186546 |    1153     4774    14183 | 2147483647    31645     28 |  1.030 % |
834.97/835.00	c |   2189543 |    1153     4774    14183 | 2147483647    34642     29 |  1.030 % |
836.27/836.24	c |   2192840 |    1153     4774    14183 |    35099    30927     26 |  1.030 % |
838.07/838.09	c |   2196465 |    1153     4774    14183 |    35099    34552     27 |  1.030 % |
839.57/839.54	c |   2200452 |    1153     4774    14183 |    31094    31546     27 |  1.030 % |
841.27/841.29	c |   2204839 |    1153     4774    14183 |    31094    29878     29 |  1.030 % |
843.37/843.34	c |   2209663 |    1153     4774    14183 |    31094    30106     28 |  1.030 % |
845.87/845.84	c |   2214971 |    1153     4774    14183 |    30443    27084     27 |  1.030 % |
848.47/848.47	c |   2220807 |    1153     4774    14183 |    28002    25028     28 |  1.030 % |
851.77/851.78	c |   2227228 |    1153     4774    14183 |    28002    25475     27 |  1.030 % |
853.77/853.71	c |   2234288 |    1153     4774    14183 | 2147483647    29719     26 |  1.030 % |
857.87/857.87	c |   2242053 |    1153     4774    14183 |    35431    33194     28 |  1.031 % |
861.07/861.08	c |   2250594 |    1153     4774    14183 |    35181    28776     33 |  1.032 % |
864.97/864.97	c |   2259989 |    1153     4774    14183 |    35181    30993     36 |  1.030 % |
869.17/869.18	c |   2270322 |    1153     4774    14183 |    29397    29718     35 |  1.030 % |
873.07/873.06	c |   2281689 |    1153     4774    14183 |    26396    24303     32 |  1.030 % |
876.87/876.91	c |   2294192 |    1153     4774    14183 | 2147483647    28584     28 |  1.030 % |
882.87/882.82	c |   2307945 |    1153     4774    14183 | 2147483647    42337     27 |  1.031 % |
894.07/894.05	c |   2323072 |    1153     4774    14183 |    37848    33518     24 |  1.030 % |
898.77/898.82	c |   2339714 |    1153     4774    14183 |    31688    26217     34 |  1.033 % |
904.67/904.70	c |   2358016 |    1153     4774    14183 |    26704    26494     33 |  1.034 % |
910.98/910.94	c |   2378149 |    1153     4774    14183 |    23237    19973     31 |  1.030 % |
910.98/910.95	c |   2378249 |    1153     4774    14183 |    23237    20073     31 |  1.030 % |
910.98/910.99	c |   2378359 |    1153     4774    14183 |    23237    20183     31 |  1.030 % |
911.07/911.01	c |   2378480 |    1153     4774    14183 |    23237    20304     31 |  1.030 % |
911.07/911.05	c |   2378613 |    1153     4774    14183 |    23237    20437     31 |  1.030 % |
911.07/911.07	c |   2378759 |    1153     4774    14183 |    23237    20583     31 |  1.030 % |
911.07/911.10	c |   2378919 |    1153     4774    14183 |    23237    20743     31 |  1.030 % |
911.17/911.14	c |   2379095 |    1153     4774    14183 |    23237    20919     31 |  1.030 % |
911.17/911.16	c |   2379290 |    1153     4774    14183 |    23237    21114     31 |  1.030 % |
911.27/911.26	c |   2379502 |    1153     4774    14183 |    23237    21326     31 |  1.031 % |
911.27/911.30	c |   2379737 |    1153     4774    14183 |    23237    21561     31 |  1.030 % |
911.37/911.35	c |   2379994 |    1153     4774    14183 |    23237    21818     31 |  1.033 % |
911.47/911.44	c |   2380275 |    1153     4774    14183 |    21825    22099     31 |  1.030 % |
911.47/911.48	c |   2380586 |    1153     4774    14183 |    21825    19180     29 |  1.031 % |
911.47/911.51	c |   2380925 |    1153     4774    14183 |    21825    19519     29 |  1.030 % |
911.57/911.54	c |   2381297 |    1153     4774    14183 |    21825    19891     29 |  1.030 % |
911.67/911.68	c |   2381706 |    1153     4774    14183 |    21825    20300     29 |  1.030 % |
911.77/911.75	c |   2382159 |    1153     4774    14183 |    21825    20753     29 |  1.030 % |
911.77/911.80	c |   2382652 |    1153     4774    14183 |    21825    21246     29 |  1.030 % |
911.97/911.97	c |   2383195 |    1153     4774    14183 |    21825    21789     29 |  1.030 % |
912.17/912.13	c |   2383791 |    1153     4774    14183 |    21825    20165     28 |  1.030 % |
912.37/912.31	c |   2384446 |    1153     4774    14183 |    21825    20820     28 |  1.030 % |
912.57/912.53	c |   2385167 |    1153     4774    14183 |    21825    21541     28 |  1.030 % |
912.87/912.88	c |   2385959 |    1153     4774    14183 |    21825    20108     27 |  1.030 % |
913.18/913.15	c |   2386833 |    1153     4774    14183 |    21825    20982     27 |  1.030 % |
913.57/913.58	c |   2387791 |    1153     4774    14183 |    21825    21940     27 |  1.030 % |
913.87/913.85	c |   2388845 |    1153     4774    14183 |    21825    20800     26 |  1.030 % |
914.17/914.17	c |   2390003 |    1153     4774    14183 | 2147483647    21958     27 |  1.030 % |
914.57/914.60	c |   2391277 |    1153     4774    14183 | 2147483647    23232     27 |  1.030 % |
915.07/915.10	c |   2392677 |    1153     4774    14183 | 2147483647    24632     27 |  1.032 % |
915.87/915.83	c |   2394217 |    1153     4774    14183 | 2147483647    26172     28 |  1.030 % |
916.48/916.49	c |   2395912 |    1153     4774    14183 | 2147483647    27867     28 |  1.030 % |
917.67/917.65	c |   2397776 |    1153     4774    14183 | 2147483647    29731     29 |  1.030 % |
918.77/918.75	c |   2399828 |    1153     4774    14183 | 2147483647    31783     29 |  1.034 % |
919.27/919.21	c |   2402082 |    1153     4774    14183 |    31956    30606     28 |  1.030 % |
919.97/919.92	c |   2404562 |    1153     4774    14183 |    31956    28850     28 |  1.030 % |
920.57/920.55	c |   2407288 |    1153     4774    14183 |    31956    31576     28 |  1.034 % |
921.57/921.60	c |   2410288 |    1153     4774    14183 | 2147483647    30733     28 |  1.030 % |
922.97/922.96	c |   2413584 |    1153     4774    14183 | 2147483647    34029     29 |  1.030 % |
923.77/923.76	c |   2417209 |    1153     4774    14183 | 2147483647    37654     29 |  1.034 % |
925.98/925.93	c |   2421197 |    1153     4774    14183 |    40445    33915     29 |  1.030 % |
926.58/926.62	c |   2425584 |    1153     4774    14183 |    40445    38302     27 |  1.030 % |
929.48/929.50	c |   2430407 |    1153     4774    14183 |    35601    36007     27 |  1.030 % |
931.98/931.94	c |   2435712 |    1153     4774    14183 |    35601    34824     27 |  1.031 % |
934.78/934.73	c |   2441547 |    1153     4774    14183 |    32857    28899     26 |  1.030 % |
936.78/936.78	c |   2447965 |    1153     4774    14183 |    32857    28466     29 |  1.030 % |
939.28/939.30	c |   2455024 |    1153     4774    14183 |    30501    29747     30 |  1.030 % |
941.58/941.54	c |   2462789 |    1153     4774    14183 |    28682    24751     31 |  1.033 % |
945.08/945.08	c |   2471330 |    1153     4774    14183 |    27019    24069     30 |  1.030 % |
949.28/949.26	c |   2480725 |    1153     4774    14183 |    25472    23105     28 |  1.030 % |
952.78/952.77	c |   2491059 |    1153     4774    14183 | 2147483647    25675     31 |  1.030 % |
955.48/955.42	c |   2502426 |    1153     4774    14183 |    34616    32571     28 |  1.034 % |
958.88/958.84	c |   2514929 |    1153     4774    14183 |    30701    27687     29 |  1.030 % |
964.08/964.12	c |   2528682 |    1153     4774    14183 |    28699    27694     31 |  1.030 % |
970.78/970.76	c |   2543809 |    1153     4774    14183 | 2147483647    28902     26 |  1.030 % |
977.98/977.99	c |   2560449 |    1153     4774    14183 |    30786    26702     27 |  1.030 % |
986.58/986.58	c |   2578753 |    1153     4774    14183 |    29391    28201     26 |  1.030 % |
995.69/995.70	c |   2598887 |    1153     4774    14183 | 2147483647    36380     27 |  1.030 % |
1007.98/1008.01	c |   2621033 |    1153     4774    14183 |    33670    29166     30 |  1.030 % |
1008.08/1008.03	c |   2621133 |    1153     4774    14183 |    33670    29266     30 |  1.034 % |
1008.08/1008.07	c |   2621243 |    1153     4774    14183 |    33670    29376     30 |  1.030 % |
1008.08/1008.11	c |   2621365 |    1153     4774    14183 |    33670    29498     30 |  1.030 % |
1008.18/1008.17	c |   2621499 |    1153     4774    14183 |    33670    29632     30 |  1.030 % |
1008.28/1008.22	c |   2621645 |    1153     4774    14183 |    33670    29778     30 |  1.030 % |
1008.28/1008.31	c |   2621805 |    1153     4774    14183 |    33670    29938     30 |  1.035 % |
1008.48/1008.42	c |   2621982 |    1153     4774    14183 |    33670    30115     30 |  1.030 % |
1008.48/1008.48	c |   2622176 |    1153     4774    14183 |    33670    30309     30 |  1.030 % |
1008.58/1008.57	c |   2622390 |    1153     4774    14183 |    33670    30523     30 |  1.030 % |
1008.68/1008.67	c |   2622625 |    1153     4774    14183 |    33670    30758     30 |  1.030 % |
1008.78/1008.78	c |   2622882 |    1153     4774    14183 |    33670    31015     30 |  1.030 % |
1008.89/1008.86	c |   2623165 |    1153     4774    14183 |    33670    31298     30 |  1.030 % |
1008.89/1008.91	c |   2623474 |    1153     4774    14183 |    33670    31607     30 |  1.030 % |
1008.98/1008.95	c |   2623813 |    1153     4774    14183 |    33670    31946     30 |  1.030 % |
1008.98/1009.00	c |   2624185 |    1153     4774    14183 |    33670    32318     30 |  1.030 % |
1009.28/1009.23	c |   2624595 |    1153     4774    14183 |    33670    32728     30 |  1.030 % |
1009.38/1009.41	c |   2625045 |    1153     4774    14183 |    33670    33178     30 |  1.030 % |
1009.58/1009.54	c |   2625538 |    1153     4774    14183 |    33670    33671     30 |  1.034 % |
1009.68/1009.65	c |   2626083 |    1153     4774    14183 |    33670    29180     29 |  1.030 % |
1009.88/1009.85	c |   2626679 |    1153     4774    14183 |    33670    29776     29 |  1.030 % |
1010.08/1010.11	c |   2627334 |    1153     4774    14183 |    33670    30431     29 |  1.033 % |
1010.28/1010.31	c |   2628055 |    1153     4774    14183 |    33670    31152     29 |  1.030 % |
1010.48/1010.44	c |   2628847 |    1153     4774    14183 |    33670    31944     29 |  1.033 % |
1010.98/1010.94	c |   2629718 |    1153     4774    14183 |    33670    32815     29 |  1.030 % |
1011.38/1011.41	c |   2630677 |    1153     4774    14183 |    33097    28265     28 |  1.030 % |
1011.88/1011.88	c |   2631730 |    1153     4774    14183 |    33097    29318     29 |  1.030 % |
1012.38/1012.39	c |   2632892 |    1153     4774    14183 |    33097    30480     29 |  1.030 % |
1013.08/1013.08	c |   2634165 |    1153     4774    14183 |    33097    31753     29 |  1.030 % |
1013.78/1013.77	c |   2635566 |    1153     4774    14183 |    33097    33154     29 |  1.030 % |
1014.28/1014.28	c |   2637107 |    1153     4774    14183 |    33097    29924     28 |  1.034 % |
1014.88/1014.89	c |   2638802 |    1153     4774    14183 |    33097    31619     28 |  1.030 % |
1015.68/1015.69	c |   2640665 |    1153     4774    14183 |    32819    28315     27 |  1.030 % |
1016.08/1016.03	c |   2642715 |    1153     4774    14183 |    32819    30365     27 |  1.030 % |
1016.98/1017.00	c |   2644968 |    1153     4774    14183 |    32819    32618     27 |  1.030 % |
1018.08/1018.08	c |   2647446 |    1153     4774    14183 |    32819    30276     26 |  1.030 % |
1019.58/1019.53	c |   2650171 |    1153     4774    14183 |    32831    33001     27 |  1.030 % |
1020.68/1020.66	c |   2653169 |    1153     4774    14183 |    32831    31184     26 |  1.030 % |
1022.28/1022.30	c |   2656466 |    1153     4774    14183 |    32831    29791     25 |  1.030 % |
1023.58/1023.61	c |   2660093 |    1153     4774    14183 |    33328    33418     26 |  1.030 % |
1025.18/1025.13	c |   2664081 |    1153     4774    14183 |    33328    31942     27 |  1.033 % |
1026.78/1026.81	c |   2668467 |    1153     4774    14183 |    33328    30663     27 |  1.033 % |
1028.38/1028.38	c |   2673291 |    1153     4774    14183 |    32196    30341     26 |  1.030 % |
1030.78/1030.77	c |   2678596 |    1153     4774    14183 |    32196    31103     26 |  1.030 % |
1032.78/1032.73	c |   2684432 |    1153     4774    14183 |    32507    31099     27 |  1.033 % |
1035.88/1035.87	c |   2690852 |    1153     4774    14183 |    30040    25292     25 |  1.030 % |
1038.19/1038.14	c |   2697911 |    1153     4774    14183 |    30040    28217     24 |  1.030 % |
1041.09/1041.11	c |   2705675 |    1153     4774    14183 |    30308    28230     25 |  1.032 % |
1045.19/1045.14	c |   2714216 |    1153     4774    14183 |    28860    25246     26 |  1.030 % |
1048.69/1048.70	c |   2723612 |    1153     4774    14183 |    26764    26501     29 |  1.030 % |
1053.59/1053.53	c |   2733946 |    1153     4774    14183 | 2147483647    30189     28 |  1.030 % |
1059.88/1059.89	c |   2745314 |    1153     4774    14183 |    36243    35760     29 |  1.030 % |
1066.38/1066.38	c |   2757816 |    1153     4774    14183 |    33906    30459     27 |  1.030 % |
1073.58/1073.59	c |   2771569 |    1153     4774    14183 |    31917    28457     25 |  1.030 % |
1076.08/1076.05	c |   2786696 |    1153     4774    14183 | 2147483647    37176     22 |  1.030 % |
1083.58/1083.55	c |   2803335 |    1153     4774    14183 |    37105    34670     35 |  1.034 % |
1092.08/1092.04	c |   2821637 |    1153     4774    14183 |    33559    31577     32 |  1.030 % |
1101.78/1101.81	c |   2841769 |    1153     4774    14183 |    29744    27813     30 |  1.030 % |
1109.78/1109.71	c |   2863914 |    1153     4774    14183 |    40070    35885     28 |  1.030 % |
1121.18/1121.20	c |   2888273 |    1153     4774    14183 |    32039    30391     27 |  1.030 % |
1121.28/1121.24	c |   2888373 |    1153     4774    14183 |    32039    30491     27 |  1.030 % |
1121.28/1121.28	c |   2888483 |    1153     4774    14183 |    32039    30601     27 |  1.030 % |
1121.38/1121.33	c |   2888605 |    1153     4774    14183 |    32039    30723     27 |  1.030 % |
1121.38/1121.40	c |   2888739 |    1153     4774    14183 |    32039    30857     27 |  1.030 % |
1121.48/1121.47	c |   2888885 |    1153     4774    14183 |    32039    31003     27 |  1.030 % |
1121.58/1121.52	c |   2889046 |    1153     4774    14183 |    32039    31164     27 |  1.030 % |
1121.58/1121.56	c |   2889223 |    1153     4774    14183 |    32039    31341     27 |  1.033 % |
1121.58/1121.58	c |   2889416 |    1153     4774    14183 |    32039    31534     27 |  1.030 % |
1121.68/1121.70	c |   2889629 |    1153     4774    14183 |    32039    31747     27 |  1.030 % |
1121.78/1121.81	c |   2889865 |    1153     4774    14183 |    32039    31983     27 |  1.030 % |
1121.98/1121.94	c |   2890121 |    1153     4774    14183 |    32118    32239     27 |  1.030 % |
1122.08/1122.03	c |   2890403 |    1153     4774    14183 |    32118    27135     26 |  1.030 % |
1122.19/1122.15	c |   2890713 |    1153     4774    14183 |    32118    27445     26 |  1.030 % |
1122.28/1122.28	c |   2891052 |    1153     4774    14183 |    32118    27784     26 |  1.030 % |
1122.38/1122.33	c |   2891424 |    1153     4774    14183 |    32118    28156     26 |  1.031 % |
1122.38/1122.37	c |   2891833 |    1153     4774    14183 |    32118    28565     26 |  1.030 % |
1122.38/1122.41	c |   2892282 |    1153     4774    14183 |    32118    29014     26 |  1.030 % |
1122.58/1122.57	c |   2892776 |    1153     4774    14183 |    32118    29508     26 |  1.030 % |
1122.78/1122.80	c |   2893319 |    1153     4774    14183 |    32118    30051     26 |  1.030 % |
1123.08/1123.08	c |   2893916 |    1153     4774    14183 |    32118    30648     27 |  1.030 % |
1123.38/1123.39	c |   2894571 |    1153     4774    14183 |    32118    31303     27 |  1.030 % |
1123.58/1123.57	c |   2895291 |    1153     4774    14183 |    32118    32023     27 |  1.033 % |
1123.98/1123.95	c |   2896085 |    1153     4774    14183 |    32118    28358     25 |  1.030 % |
1124.18/1124.14	c |   2896956 |    1153     4774    14183 |    32118    29229     25 |  1.030 % |
1124.39/1124.37	c |   2897914 |    1153     4774    14183 |    32118    30187     25 |  1.030 % |
1124.78/1124.79	c |   2898968 |    1153     4774    14183 |    32118    31241     26 |  1.030 % |
1125.28/1125.22	c |   2900127 |    1153     4774    14183 |    32273    32400     27 |  1.030 % |
1125.88/1125.85	c |   2901401 |    1153     4774    14183 |    32273    29129     26 |  1.030 % |
1126.38/1126.39	c |   2902803 |    1153     4774    14183 |    32273    30531     26 |  1.034 % |
1127.18/1127.13	c |   2904344 |    1153     4774    14183 |    32273    32072     26 |  1.030 % |
1127.98/1127.92	c |   2906038 |    1153     4774    14183 |    32273    28903     27 |  1.030 % |
1128.38/1128.39	c |   2907902 |    1153     4774    14183 |    32273    30767     28 |  1.034 % |
1128.79/1128.77	c |   2909951 |    1153     4774    14183 |    32273    28300     27 |  1.030 % |
1129.78/1129.79	c |   2912204 |    1153     4774    14183 |    28351    26454     28 |  1.030 % |
1130.88/1130.92	c |   2914682 |    1153     4774    14183 |    28351    25237     27 |  1.030 % |
1132.18/1132.13	c |   2917408 |    1153     4774    14183 |    28351    27963     28 |  1.030 % |
1133.38/1133.34	c |   2920407 |    1153     4774    14183 |    26958    23823     27 |  1.030 % |
1134.78/1134.74	c |   2923703 |    1153     4774    14183 |    26958    27119     27 |  1.030 % |
1136.18/1136.17	c |   2927328 |    1153     4774    14183 |    26958    24468     26 |  1.030 % |
1137.48/1137.47	c |   2931315 |    1153     4774    14183 |    27140    25332     26 |  1.030 % |
1139.38/1139.31	c |   2935700 |    1153     4774    14183 |    27140    26896     27 |  1.030 % |
1141.08/1141.03	c |   2940524 |    1153     4774    14183 | 2147483647    26225     27 |  1.030 % |
1142.77/1142.72	c |   2945829 |    1153     4774    14183 | 2147483647    31530     30 |  1.033 % |
1145.37/1145.34	c |   2951664 |    1153     4774    14183 |    35702    32569     31 |  1.030 % |
1148.27/1148.29	c |   2958082 |    1153     4774    14183 |    35702    32779     33 |  1.030 % |
1150.78/1150.79	c |   2965141 |    1153     4774    14183 |    34697    32739     36 |  1.033 % |
1153.48/1153.48	c |   2972905 |    1153     4774    14183 |    29798    26126     33 |  1.030 % |
1156.88/1156.90	c |   2981445 |    1153     4774    14183 | 2147483647    31127     31 |  1.030 % |
1160.38/1160.33	c |   2990839 |    1153     4774    14183 | 2147483647    40521     29 |  1.030 % |
1168.08/1168.04	c |   3001173 |    1153     4774    14183 |    49682    37330     25 |  1.030 % |
1175.28/1175.25	c |   3012539 |    1153     4774    14183 |    46158    37518     26 |  1.030 % |
1182.88/1182.83	c |   3025043 |    1153     4774    14183 |    44980    38287     32 |  1.030 % |
1189.28/1189.30	c |   3038795 |    1153     4774    14183 |    43246    39793     35 |  1.034 % |
1194.78/1194.74	c |   3053922 |    1153     4774    14183 |    40442    38634     29 |  1.033 % |
1200.08/1200.01	HOME/SatELiteGTI: line 36: 12465 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1820542-1242452197/watcher-1820542-1242452197 -o /tmp/evaluation-result-1820542-1242452197/solver-1820542-1242452197 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820542-1242452197.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.17 1.03 1.01 2/91 12459
/proc/meminfo: memFree=708748/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2416 CPUtime=0
/proc/12459/stat : 12459 (SatELiteGTI) R 12457 12459 9090 0 -1 4194304 353 646 0 0 0 0 0 0 25 0 1 0 1009720053 2473984 276 4294967295 134512640 135169312 3220218464 3220216940 3085895540 0 65538 4 65536 0 0 0 17 1 0 0 0
/proc/12459/statm: 604 276 235 161 0 43 0
[pid=12463] ppid=12459 vsize=0 CPUtime=0
/proc/12463/stat : 12463 (SatELiteGTI) R 12459 12459 9090 0 -1 4194368 65 0 0 0 0 0 0 0 25 0 1 0 1009720053 0 0 4294967295 0 0 0 3220217092 3085896170 0 0 0 0 0 0 0 17 2 0 0 0
/proc/12463/statm: 196 1 0 0 0 21 0

[startup+0.118741 s]
/proc/loadavg: 1.17 1.03 1.01 2/91 12459
/proc/meminfo: memFree=708748/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2420

[startup+0.208736 s]
/proc/loadavg: 1.17 1.03 1.01 2/91 12459
/proc/meminfo: memFree=708748/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2420

[startup+0.308731 s]
/proc/loadavg: 1.17 1.03 1.01 2/91 12459
/proc/meminfo: memFree=708748/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2420

[startup+0.708712 s]
/proc/loadavg: 1.17 1.03 1.01 2/91 12459
/proc/meminfo: memFree=708748/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2420

[startup+1.50867 s]
/proc/loadavg: 1.16 1.03 1.01 3/93 12465
/proc/meminfo: memFree=707840/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=3756 CPUtime=1.48
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 661 0 0 0 147 1 0 0 25 0 1 0 1009720056 3846144 596 4294967295 134512640 135215339 3217586208 3217584496 134528691 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 939 596 72 172 0 766 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 6176

[startup+3.1086 s]
/proc/loadavg: 1.16 1.03 1.01 3/93 12465
/proc/meminfo: memFree=706352/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=5472 CPUtime=3.08
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 1086 0 0 0 307 1 0 0 25 0 1 0 1009720056 5603328 1021 4294967295 134512640 135215339 3217586208 3217584496 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 1368 1021 72 172 0 1195 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 7892

[startup+6.30844 s]
/proc/loadavg: 1.15 1.03 1.01 2/93 12465
/proc/meminfo: memFree=703400/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=7880 CPUtime=6.28
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 1652 0 0 0 626 2 0 0 25 0 1 0 1009720056 8069120 1587 4294967295 134512640 135215339 3217586208 3217584208 134532590 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 1970 1587 72 172 0 1797 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 10300

[startup+12.7081 s]
/proc/loadavg: 1.13 1.03 1.01 2/93 12465
/proc/meminfo: memFree=700908/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=9948 CPUtime=12.68
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 2188 0 0 0 1265 3 0 0 25 0 1 0 1009720056 10186752 2123 4294967295 134512640 135215339 3217586208 3217584496 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 2487 2123 72 172 0 2314 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 12368

[startup+25.5175 s]
/proc/loadavg: 1.10 1.03 1.01 2/93 12472
/proc/meminfo: memFree=700940/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=9948 CPUtime=25.49
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 2190 0 0 0 2546 3 0 0 25 0 1 0 1009720056 10186752 2125 4294967295 134512640 135215339 3217586208 3217584496 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 2487 2125 72 172 0 2314 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 12368

[startup+51.1163 s]
/proc/loadavg: 1.07 1.03 1.00 2/93 12656
/proc/meminfo: memFree=700732/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=9948 CPUtime=51.09
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 2190 0 0 0 5106 3 0 0 25 0 1 0 1009720056 10186752 2125 4294967295 134512640 135215339 3217586208 3217584496 134528858 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 2487 2125 72 172 0 2314 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 12368

[startup+102.314 s]
/proc/loadavg: 1.03 1.02 1.00 2/93 12845
/proc/meminfo: memFree=700636/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=9948 CPUtime=102.29
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 2190 0 0 0 10225 4 0 0 25 0 1 0 1009720056 10186752 2125 4294967295 134512640 135215339 3217586208 3217584496 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 2487 2125 72 172 0 2314 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 12368

[startup+162.321 s]
/proc/loadavg: 1.08 1.03 1.00 3/93 13030
/proc/meminfo: memFree=700652/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=9948 CPUtime=162.3
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 2190 0 0 0 16225 5 0 0 25 0 1 0 1009720056 10186752 2125 4294967295 134512640 135215339 3217586208 3217584272 134538104 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 2487 2125 72 172 0 2314 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 12368

[startup+222.328 s]
/proc/loadavg: 1.03 1.02 1.00 2/93 13219
/proc/meminfo: memFree=700520/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=10084 CPUtime=222.31
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 2204 0 0 0 22225 6 0 0 25 0 1 0 1009720056 10326016 2139 4294967295 134512640 135215339 3217586208 3217584272 134538110 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 2521 2139 72 172 0 2348 0
Current children cumulated CPU time (s) 222.35
Current children cumulated vsize (KiB) 12504

[startup+282.315 s]
/proc/loadavg: 1.01 1.02 1.00 2/93 13408
/proc/meminfo: memFree=700256/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=10084 CPUtime=282.3
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 2219 0 0 0 28224 6 0 0 25 0 1 0 1009720056 10326016 2154 4294967295 134512640 135215339 3217586208 3217584496 134528811 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 2521 2154 72 172 0 2348 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 12504

[startup+342.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/93 13597
/proc/meminfo: memFree=700372/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=10224 CPUtime=342.29
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 2245 0 0 0 34219 10 0 0 25 0 1 0 1009720056 10469376 2180 4294967295 134512640 135215339 3217586208 3217584496 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 2556 2180 72 172 0 2383 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 12644

[startup+402.309 s]
/proc/loadavg: 1.00 1.01 1.00 3/93 13790
/proc/meminfo: memFree=699976/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=10516 CPUtime=402.3
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 2303 0 0 0 40218 12 0 0 25 0 1 0 1009720056 10768384 2238 4294967295 134512640 135215339 3217586208 3217584496 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 2629 2238 72 172 0 2456 0
Current children cumulated CPU time (s) 402.34

################
# More data... #
################

[pid=12465] ppid=12459 vsize=11572 CPUtime=522.31
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 2581 0 0 0 52218 13 0 0 25 0 1 0 1009720056 11849728 2516 4294967295 134512640 135215339 3217586208 3217584496 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 2893 2516 72 172 0 2720 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 13992

[startup+582.311 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 14351
/proc/meminfo: memFree=698760/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=11716 CPUtime=582.31
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 2600 0 0 0 58218 13 0 0 25 0 1 0 1009720056 11997184 2535 4294967295 134512640 135215339 3217586208 3217584496 134528814 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 2929 2535 72 172 0 2756 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 14136

[startup+642.318 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 14540
/proc/meminfo: memFree=698768/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=11716 CPUtime=642.32
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 2600 0 0 0 64219 13 0 0 25 0 1 0 1009720056 11997184 2535 4294967295 134512640 135215339 3217586208 3217584496 134528802 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 2929 2535 72 172 0 2756 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 14136

[startup+702.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 14729
/proc/meminfo: memFree=698000/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=12644 CPUtime=702.32
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 2846 0 0 0 70217 15 0 0 25 0 1 0 1009720056 12947456 2781 4294967295 134512640 135215339 3217586208 3217584496 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 3161 2781 72 172 0 2988 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 15064

[startup+762.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 14914
/proc/meminfo: memFree=697900/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=12644 CPUtime=762.32
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 2847 0 0 0 76217 15 0 0 25 0 1 0 1009720056 12947456 2782 4294967295 134512640 135215339 3217586208 3217584496 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 3161 2782 72 172 0 2988 0
Current children cumulated CPU time (s) 762.36
Current children cumulated vsize (KiB) 15064

[startup+822.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 15107
/proc/meminfo: memFree=697768/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=12644 CPUtime=822.33
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 2847 0 0 0 82218 15 0 0 25 0 1 0 1009720056 12947456 2782 4294967295 134512640 135215339 3217586208 3217584496 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 3161 2782 72 172 0 2988 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 15064

[startup+882.326 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 15294
/proc/meminfo: memFree=697528/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=12644 CPUtime=882.34
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 2848 0 0 0 88218 16 0 0 25 0 1 0 1009720056 12947456 2783 4294967295 134512640 135215339 3217586208 3217584496 134529080 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 3161 2783 72 172 0 2988 0
Current children cumulated CPU time (s) 882.38
Current children cumulated vsize (KiB) 15064

[startup+942.323 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 15483
/proc/meminfo: memFree=697660/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=12644 CPUtime=942.34
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 2848 0 0 0 94218 16 0 0 25 0 1 0 1009720056 12947456 2783 4294967295 134512640 135215339 3217586208 3217584496 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 3161 2783 72 172 0 2988 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 15064

[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 15672
/proc/meminfo: memFree=697512/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=12644 CPUtime=1002.34
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 2849 0 0 0 100218 16 0 0 25 0 1 0 1009720056 12947456 2784 4294967295 134512640 135215339 3217586208 3217584496 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 3161 2784 72 172 0 2988 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 15064

[startup+1062.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 15857
/proc/meminfo: memFree=697520/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=12644 CPUtime=1062.34
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 2850 0 0 0 106218 16 0 0 25 0 1 0 1009720056 12947456 2785 4294967295 134512640 135215339 3217586208 3217584496 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 3161 2785 72 172 0 2988 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 15064

[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 16046
/proc/meminfo: memFree=697256/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=12908 CPUtime=1122.34
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 2924 0 0 0 112216 18 0 0 25 0 1 0 1009720056 13217792 2859 4294967295 134512640 135215339 3217586208 3217584496 134529051 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 3227 2859 72 172 0 3054 0
Current children cumulated CPU time (s) 1122.38
Current children cumulated vsize (KiB) 15328

[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 16237
/proc/meminfo: memFree=696380/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=13832 CPUtime=1182.34
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 3157 0 0 0 118202 32 0 0 25 0 1 0 1009720056 14163968 3092 4294967295 134512640 135215339 3217586208 3217584496 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 3458 3092 72 172 0 3285 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 16252



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 16239
/proc/meminfo: memFree=696532/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=13980 CPUtime=1200.04
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 3165 0 0 0 119972 32 0 0 25 0 1 0 1009720056 14315520 3100 4294967295 134512640 135215339 3217586208 3217584496 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 3495 3100 72 172 0 3322 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 16400

Sending SIGTERM to process tree (bottom up)

Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples

[startup+1200.01 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 16239
/proc/meminfo: memFree=696532/2074464 swapFree=1953004/1959888
[pid=12459] ppid=12457 vsize=2420 CPUtime=0.04
/proc/12459/stat : 12459 (SatELiteGTI) S 12457 12459 9090 0 -1 4194304 385 1036 0 0 1 0 2 1 25 0 1 0 1009720053 2478080 277 4294967295 134512640 135169312 3220218464 3220214680 3085893358 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/12459/statm: 605 277 235 161 0 44 0
[pid=12465] ppid=12459 vsize=13980 CPUtime=1200.04
/proc/12465/stat : 12465 (minisat_static) R 12459 12459 9090 0 -1 4202496 3165 0 0 0 119972 32 0 0 25 0 1 0 1009720056 14315520 3100 4294967295 134512640 135215339 3217586208 3217584496 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/12465/statm: 3495 3100 72 172 0 3322 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 16400

Child status: 143
Real time (s): 1200.02
CPU time (s): 1200.08
CPU user time (s): 1199.75
CPU system time (s): 0.33
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 16400

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.75
system time used= 0.33
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4864
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22
involuntary context switches= 731

runsolver used 0 second user time and 0.03 second system time

The end

Launcher Data

Begin job on tipi19 at 2009-05-16 07:36:37
IDJOB=1820542
IDBENCH=20468
IDSOLVER=657
FILE ID=tipi19/1820542-1242452197
PBS_JOBID=
Free space on /tmp= 10125 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.12.unsat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820542-1242452197/watcher-1820542-1242452197 -o /tmp/evaluation-result-1820542-1242452197/solver-1820542-1242452197 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820542-1242452197.cnf

TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 8d6acb9f6b752ad76c024133f5175c69
RANDOM SEED= 521649353

Linux tipi19 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.426
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.39

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.426
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.426
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.426
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.77


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:        708764 kB
Buffers:         35132 kB
Cached:        1232320 kB
SwapCached:       3036 kB
Active:         482048 kB
Inactive:       794956 kB
HighTotal:     1178688 kB
HighFree:       219720 kB
LowTotal:       895776 kB
LowFree:        489044 kB
SwapTotal:     1959888 kB
SwapFree:      1953004 kB
Dirty:            2468 kB
Writeback:           0 kB
AnonPages:        8816 kB
Mapped:           3156 kB
Slab:            79720 kB
PageTables:        512 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    87780 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 10124 MiB
End job on tipi19 at 2009-05-16 07:56:37