Trace number 1832625

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.04 1200.71

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S1818639567-059.cnf
MD5SUM7d306f2c24913eb95b4eca32110fa72f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark6.08807
Satisfiable
(Un)Satisfiability was proved
Number of variables140
Number of clauses11900
Sum of the clauses size83300
Maximum clause length7
Minimum clause length7
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 511900

Solver Data

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   11900    83300 |    3569       0        0     nan |  0.000 % |
0.00/0.02	c ==============================================================================
0.00/0.02	c Result  :   #vars: 140   #clauses: 11900   #literals: 83300
0.00/0.02	c CPU time:   0.013997 s
0.00/0.02	c ==============================================================================
0.00/0.04	c This is MiniSat 2.0 beta
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Number of variables:  140                                                  |
0.00/0.04	c |  Number of clauses:    11900                                                |
0.00/0.05	c |  Parsing time:         0.01         s                                       |
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     140    11900    83300 |     3966        0    nan |  0.000 % |
0.00/0.06	c |       101 |     140    11900    83300 |     3966      101     43 |  0.005 % |
0.00/0.07	c |       201 |     140    11900    83300 |     3966      201     44 |  0.005 % |
0.00/0.08	c |       301 |     140    11900    83300 |     3966      301     44 |  0.005 % |
0.00/0.09	c |       411 |     140    11900    83300 |     3966      411     44 |  0.005 % |
0.03/0.10	c |       511 |     140    11900    83300 |     3966      511     44 |  0.005 % |
0.03/0.11	c |       622 |     140    11900    83300 |     3966      622     44 |  0.005 % |
0.03/0.11	c |       743 |     140    11900    83300 |     3966      743     44 |  0.005 % |
0.03/0.12	c |       843 |     140    11900    83300 |     3966      843     44 |  0.005 % |
0.03/0.13	c |       953 |     140    11900    83300 |     3966      953     44 |  0.005 % |
0.03/0.14	c |      1075 |     140    11900    83300 |     3966     1075     44 |  0.005 % |
0.03/0.15	c |      1208 |     140    11900    83300 |     3966     1208     44 |  0.005 % |
0.03/0.16	c |      1308 |     140    11900    83300 |     3966     1308     44 |  0.005 % |
0.03/0.16	c |      1419 |     140    11900    83300 |     3966     1419     44 |  0.005 % |
0.03/0.17	c |      1542 |     140    11900    83300 |     3966     1542     43 |  0.005 % |
0.03/0.18	c |      1676 |     140    11900    83300 |     3966     1676     43 |  0.005 % |
0.03/0.20	c |      1823 |     140    11900    83300 |     3966     1823     43 |  0.005 % |
0.03/0.20	c |      1924 |     140    11900    83300 |     3966     1924     43 |  0.005 % |
0.03/0.21	c |      2034 |     140    11900    83300 |     3966     2034     43 |  0.005 % |
0.03/0.22	c |      2156 |     140    11900    83300 |     3966     2156     43 |  0.005 % |
0.03/0.23	c |      2289 |     140    11900    83300 |     3966     2289     43 |  0.005 % |
0.03/0.24	c |      2436 |     140    11900    83300 |     3966     2436     43 |  0.005 % |
0.03/0.25	c |      2599 |     140    11900    83300 |     3966     2599     43 |  0.005 % |
0.03/0.26	c |      2700 |     140    11900    83300 |     3966     2700     44 |  0.005 % |
0.03/0.27	c |      2811 |     140    11900    83300 |     3966     2811     44 |  0.005 % |
0.03/0.28	c |      2933 |     140    11900    83300 |     3966     2933     44 |  0.005 % |
0.03/0.29	c |      3066 |     140    11900    83300 |     3966     3066     44 |  0.005 % |
0.03/0.30	c |      3212 |     140    11900    83300 |     3966     3212     44 |  0.005 % |
0.03/0.31	c |      3375 |     140    11900    83300 |     3966     3375     44 |  0.005 % |
0.03/0.33	c |      3553 |     140    11900    83300 |     3966     3553     44 |  0.005 % |
0.03/0.34	c |      3653 |     140    11900    83300 |     3966     3653     44 |  0.005 % |
0.03/0.35	c |      3764 |     140    11900    83300 |     3966     3764     44 |  0.005 % |
0.03/0.36	c |      3885 |     140    11900    83300 |     3966     3885     43 |  0.005 % |
0.03/0.37	c |      4019 |     140    11900    83300 |     3966     4019     44 |  0.005 % |
0.03/0.39	c |      4165 |     140    11900    83300 |     3966     3764     43 |  0.005 % |
0.03/0.40	c |      4326 |     140    11900    83300 |     3966     3925     43 |  0.005 % |
0.03/0.42	c |      4505 |     140    11900    83300 |     3966     3702     43 |  0.005 % |
0.03/0.43	c |      4698 |     140    11900    83300 |     3966     3895     43 |  0.005 % |
0.03/0.44	c |      4798 |     140    11900    83300 |     3966     3995     43 |  0.005 % |
0.03/0.45	c |      4909 |     140    11900    83300 |     3966     3707     43 |  0.005 % |
0.03/0.46	c |      5031 |     140    11900    83300 |     3966     3829     43 |  0.005 % |
0.03/0.48	c |      5164 |     140    11900    83300 |     3966     3962     43 |  0.005 % |
0.03/0.49	c |      5310 |     140    11900    83300 |     3966     3707     43 |  0.005 % |
0.03/0.50	c |      5470 |     140    11900    83300 |     3966     3867     43 |  0.005 % |
0.03/0.52	c |      5646 |     140    11900    83300 |     3966     3641     43 |  0.005 % |
0.03/0.54	c |      5839 |     140    11900    83300 |     3966     3834     43 |  0.005 % |
0.03/0.56	c |      6051 |     140    11900    83300 |     3966     3643     43 |  0.005 % |
0.03/0.57	c |      6154 |     140    11900    83300 |     3966     3746     42 |  0.005 % |
0.03/0.57	c |      6265 |     140    11900    83300 |     3966     3857     42 |  0.005 % |
0.03/0.59	c |      6388 |     140    11900    83300 |     3966     3980     42 |  0.005 % |
0.03/0.60	c |      6521 |     140    11900    83300 |     3966     3715     42 |  0.005 % |
0.03/0.61	c |      6668 |     140    11900    83300 |     3966     3862     42 |  0.005 % |
0.03/0.63	c |      6829 |     140    11900    83300 |     3966     4023     42 |  0.005 % |
0.03/0.64	c |      7005 |     140    11900    83300 |     3966     3797     42 |  0.005 % |
0.03/0.66	c |      7198 |     140    11900    83300 |     3966     3990     42 |  0.005 % |
0.03/0.68	c |      7410 |     140    11900    83300 |     3966     3803     42 |  0.005 % |
0.03/0.70	c |      7645 |     140    11900    83300 |     3966     3636     42 |  0.005 % |
0.03/0.71	c |      7745 |     140    11900    83300 |     3966     3736     42 |  0.005 % |
0.03/0.72	c |      7856 |     140    11900    83300 |     3966     3847     42 |  0.005 % |
0.03/0.73	c |      7977 |     140    11900    83300 |     3966     3968     42 |  0.005 % |
0.03/0.75	c |      8110 |     140    11900    83300 |     3966     3705     42 |  0.005 % |
0.03/0.76	c |      8256 |     140    11900    83300 |     3966     3851     42 |  0.005 % |
0.03/0.77	c |      8416 |     140    11900    83300 |     3966     4011     42 |  0.005 % |
0.03/0.79	c |      8592 |     140    11900    83300 |     3966     3786     42 |  0.005 % |
0.03/0.80	c |      8787 |     140    11900    83300 |     3966     3981     42 |  0.005 % |
0.03/0.82	c |      8999 |     140    11900    83300 |     3966     3795     42 |  0.005 % |
0.03/0.84	c |      9232 |     140    11900    83300 |     3966     4028     42 |  0.005 % |
0.03/0.87	c |      9488 |     140    11900    83300 |     3966     3882     42 |  0.005 % |
0.03/0.87	c |      9588 |     140    11900    83300 |     3966     3982     42 |  0.005 % |
0.03/0.89	c |      9699 |     140    11900    83300 |     3966     3695     42 |  0.005 % |
0.03/0.90	c |      9820 |     140    11900    83300 |     3966     3816     42 |  0.005 % |
0.03/0.91	c |      9953 |     140    11900    83300 |     3966     3949     42 |  0.005 % |
0.03/0.92	c |     10099 |     140    11900    83300 | 2147483647     4095     42 |  0.005 % |
0.03/0.94	c |     10259 |     140    11900    83300 | 2147483647     4255     42 |  0.005 % |
0.03/0.95	c |     10435 |     140    11900    83300 | 2147483647     4431     42 |  0.005 % |
0.03/0.97	c |     10629 |     140    11900    83300 | 2147483647     4625     43 |  0.005 % |
0.03/0.99	c |     10842 |     140    11900    83300 | 2147483647     4838     43 |  0.005 % |
0.98/1.02	c |     11076 |     140    11900    83300 | 2147483647     5072     43 |  0.005 % |
0.98/1.04	c |     11334 |     140    11900    83300 | 2147483647     5330     43 |  0.005 % |
0.98/1.06	c |     11615 |     140    11900    83300 | 2147483647     5611     43 |  0.005 % |
0.98/1.07	c |     11715 |     140    11900    83300 | 2147483647     5711     43 |  0.005 % |
0.98/1.08	c |     11826 |     140    11900    83300 | 2147483647     5822     43 |  0.005 % |
0.98/1.10	c |     11947 |     140    11900    83300 | 2147483647     5943     43 |  0.005 % |
1.08/1.11	c |     12082 |     140    11900    83300 | 2147483647     6078     43 |  0.005 % |
1.08/1.12	c |     12228 |     140    11900    83300 | 2147483647     6224     43 |  0.005 % |
1.08/1.14	c |     12388 |     140    11900    83300 | 2147483647     6384     43 |  0.005 % |
1.08/1.15	c |     12564 |     140    11900    83300 | 2147483647     6560     43 |  0.005 % |
1.08/1.17	c |     12757 |     140    11900    83300 | 2147483647     6753     43 |  0.005 % |
1.08/1.19	c |     12970 |     140    11900    83300 | 2147483647     6966     43 |  0.005 % |
1.17/1.21	c |     13206 |     140    11900    83300 | 2147483647     7202     43 |  0.005 % |
1.17/1.24	c |     13462 |     140    11900    83300 | 2147483647     7458     43 |  0.005 % |
1.17/1.27	c |     13744 |     140    11900    83300 | 2147483647     7740     43 |  0.005 % |
1.27/1.30	c |     14053 |     140    11900    83300 | 2147483647     8049     43 |  0.005 % |
1.27/1.32	c |     14154 |     140    11900    83300 | 2147483647     8150     43 |  0.005 % |
1.27/1.33	c |     14266 |     140    11900    83300 | 2147483647     8262     43 |  0.005 % |
1.27/1.34	c |     14387 |     140    11900    83300 | 2147483647     8383     43 |  0.005 % |
1.27/1.36	c |     14520 |     140    11900    83300 | 2147483647     8516     43 |  0.005 % |
1.27/1.38	c |     14667 |     140    11900    83300 | 2147483647     8663     43 |  0.005 % |
1.27/1.40	c |     14827 |     140    11900    83300 | 2147483647     8823     43 |  0.005 % |
1.37/1.42	c |     15004 |     140    11900    83300 | 2147483647     9000     43 |  0.005 % |
1.37/1.44	c |     15197 |     140    11900    83300 | 2147483647     9193     43 |  0.005 % |
1.37/1.46	c |     15410 |     140    11900    83300 | 2147483647     9406     43 |  0.005 % |
1.37/1.49	c |     15643 |     140    11900    83300 | 2147483647     9639     43 |  0.005 % |
1.47/1.52	c |     15899 |     140    11900    83300 | 2147483647     9895     43 |  0.005 % |
1.47/1.56	c |     16180 |     140    11900    83300 | 2147483647    10176     43 |  0.005 % |
1.47/1.59	c |     16490 |     140    11900    83300 | 2147483647    10486     43 |  0.005 % |
1.57/1.64	c |     16829 |     140    11900    83300 | 2147483647    10825     43 |  0.005 % |
1.57/1.65	c |     16929 |     140    11900    83300 | 2147483647    10925     43 |  0.005 % |
1.57/1.66	c |     17039 |     140    11900    83300 | 2147483647    11035     43 |  0.005 % |
1.57/1.68	c |     17163 |     140    11900    83300 | 2147483647    11159     43 |  0.005 % |
1.67/1.70	c |     17298 |     140    11900    83300 | 2147483647    11294     43 |  0.005 % |
1.67/1.72	c |     17445 |     140    11900    83300 | 2147483647    11441     43 |  0.005 % |
1.67/1.74	c |     17606 |     140    11900    83300 | 2147483647    11602     43 |  0.005 % |
1.67/1.77	c |     17782 |     140    11900    83300 | 2147483647    11778     43 |  0.005 % |
1.67/1.79	c |     17976 |     140    11900    83300 | 2147483647    11972     43 |  0.005 % |
1.77/1.82	c |     18190 |     140    11900    83300 | 2147483647    12186     43 |  0.005 % |
1.77/1.86	c |     18424 |     140    11900    83300 | 2147483647    12420     43 |  0.005 % |
1.77/1.89	c |     18682 |     140    11900    83300 | 2147483647    12678     43 |  0.005 % |
1.87/1.94	c |     18963 |     140    11900    83300 | 2147483647    12959     43 |  0.005 % |
1.87/1.98	c |     19272 |     140    11900    83300 | 2147483647    13268     43 |  0.005 % |
1.97/2.03	c |     19611 |     140    11900    83300 | 2147483647    13607     43 |  0.005 % |
1.97/2.09	c |     19985 |     140    11900    83300 | 2147483647    13981     44 |  0.005 % |
2.07/2.10	c |     20086 |     140    11900    83300 | 2147483647    14082     43 |  0.005 % |
2.07/2.13	c |     20196 |     140    11900    83300 | 2147483647    14192     44 |  0.005 % |
2.07/2.15	c |     20317 |     140    11900    83300 | 2147483647    14313     44 |  0.005 % |
2.07/2.17	c |     20450 |     140    11900    83300 | 2147483647    14446     44 |  0.005 % |
2.07/2.20	c |     20598 |     140    11900    83300 | 2147483647    14594     44 |  0.005 % |
2.17/2.23	c |     20758 |     140    11900    83300 | 2147483647    14754     44 |  0.005 % |
2.17/2.26	c |     20935 |     140    11900    83300 | 2147483647    14931     44 |  0.005 % |
2.17/2.29	c |     21128 |     140    11900    83300 | 2147483647    15124     44 |  0.005 % |
2.26/2.33	c |     21340 |     140    11900    83300 | 2147483647    15336     44 |  0.005 % |
2.26/2.37	c |     21573 |     140    11900    83300 | 2147483647    15569     44 |  0.005 % |
2.36/2.42	c |     21830 |     140    11900    83300 | 2147483647    15826     44 |  0.005 % |
2.36/2.47	c |     22112 |     140    11900    83300 | 2147483647    16108     44 |  0.005 % |
2.46/2.53	c |     22421 |     140    11900    83300 | 2147483647    16417     44 |  0.005 % |
2.46/2.58	c |     22761 |     140    11900    83300 | 2147483647    16757     44 |  0.005 % |
2.56/2.66	c |     23133 |     140    11900    83300 | 2147483647    17129     44 |  0.005 % |
2.66/2.74	c |     23542 |     140    11900    83300 | 2147483647    17538     44 |  0.005 % |
2.66/2.76	c |     23643 |     140    11900    83300 | 2147483647    17639     44 |  0.005 % |
2.66/2.79	c |     23754 |     140    11900    83300 | 2147483647    17750     44 |  0.005 % |
2.76/2.81	c |     23875 |     140    11900    83300 | 2147483647    17871     44 |  0.005 % |
2.76/2.84	c |     24009 |     140    11900    83300 | 2147483647    18005     44 |  0.005 % |
2.76/2.87	c |     24155 |     140    11900    83300 | 2147483647    18151     44 |  0.005 % |
2.86/2.91	c |     24315 |     140    11900    83300 | 2147483647    18311     44 |  0.005 % |
2.86/2.94	c |     24491 |     140    11900    83300 | 2147483647    18487     44 |  0.005 % |
2.86/2.99	c |     24684 |     140    11900    83300 | 2147483647    18680     44 |  0.005 % |
2.96/3.03	c |     24896 |     140    11900    83300 | 2147483647    18892     44 |  0.005 % |
2.96/3.08	c |     25130 |     140    11900    83300 | 2147483647    19126     44 |  0.005 % |
3.06/3.14	c |     25387 |     140    11900    83300 | 2147483647    19383     44 |  0.005 % |
3.06/3.20	c |     25668 |     140    11900    83300 | 2147483647    19664     44 |  0.005 % |
3.16/3.26	c |     25977 |     140    11900    83300 | 2147483647    19973     44 |  0.005 % |
3.26/3.34	c |     26317 |     140    11900    83300 | 2147483647    20313     44 |  0.005 % |
3.36/3.42	c |     26691 |     140    11900    83300 | 2147483647    20687     44 |  0.005 % |
3.46/3.51	c |     27102 |     140    11900    83300 | 2147483647    21098     44 |  0.005 % |
3.56/3.61	c |     27553 |     140    11900    83300 | 2147483647    21549     44 |  0.005 % |
3.56/3.64	c |     27653 |     140    11900    83300 | 2147483647    21649     44 |  0.005 % |
3.56/3.68	c |     27764 |     140    11900    83300 | 2147483647    21760     44 |  0.005 % |
3.66/3.71	c |     27885 |     140    11900    83300 | 2147483647    21881     44 |  0.005 % |
3.66/3.74	c |     28018 |     140    11900    83300 | 2147483647    22014     44 |  0.005 % |
3.66/3.79	c |     28164 |     140    11900    83300 | 2147483647    22160     44 |  0.005 % |
3.76/3.83	c |     28325 |     140    11900    83300 | 2147483647    22321     44 |  0.005 % |
3.76/3.87	c |     28502 |     140    11900    83300 | 2147483647    22498     44 |  0.005 % |
3.86/3.93	c |     28695 |     140    11900    83300 | 2147483647    22691     44 |  0.005 % |
3.86/3.99	c |     28909 |     140    11900    83300 | 2147483647    22905     44 |  0.005 % |
3.96/4.05	c |     29143 |     140    11900    83300 | 2147483647    23139     44 |  0.005 % |
4.06/4.12	c |     29399 |     140    11900    83300 | 2147483647    23395     44 |  0.005 % |
4.16/4.21	c |     29680 |     140    11900    83300 | 2147483647    23676     44 |  0.005 % |
4.16/4.29	c |     29990 |     140    11900    83300 | 2147483647    23986     44 |  0.005 % |
4.26/4.38	c |     30331 |     140    11900    83300 | 2147483647    24327     44 |  0.005 % |
4.36/4.49	c |     30704 |     140    11900    83300 | 2147483647    24700     44 |  0.005 % |
4.47/4.59	c |     31115 |     140    11900    83300 | 2147483647    25111     44 |  0.005 % |
4.67/4.72	c |     31565 |     140    11900    83300 | 2147483647    25561     44 |  0.005 % |
4.77/4.86	c |     32059 |     140    11900    83300 | 2147483647    26055     44 |  0.005 % |
4.77/4.89	c |     32160 |     140    11900    83300 | 2147483647    26156     44 |  0.005 % |
4.87/4.92	c |     32270 |     140    11900    83300 | 2147483647    26266     44 |  0.005 % |
4.87/4.97	c |     32394 |     140    11900    83300 | 2147483647    26390     44 |  0.005 % |
4.96/5.01	c |     32528 |     140    11900    83300 | 2147483647    26524     44 |  0.005 % |
4.96/5.06	c |     32674 |     140    11900    83300 | 2147483647    26670     44 |  0.005 % |
5.06/5.11	c |     32838 |     140    11900    83300 | 2147483647    26834     44 |  0.005 % |
5.06/5.16	c |     33017 |     140    11900    83300 | 2147483647    27013     44 |  0.005 % |
5.16/5.23	c |     33210 |     140    11900    83300 | 2147483647    27206     44 |  0.005 % |
5.26/5.30	c |     33423 |     140    11900    83300 | 2147483647    27419     44 |  0.005 % |
5.26/5.37	c |     33657 |     140    11900    83300 | 2147483647    27653     44 |  0.005 % |
5.36/5.45	c |     33913 |     140    11900    83300 | 2147483647    27909     44 |  0.005 % |
5.46/5.53	c |     34194 |     140    11900    83300 | 2147483647    28190     44 |  0.005 % |
5.56/5.62	c |     34503 |     140    11900    83300 | 2147483647    28499     44 |  0.005 % |
5.66/5.74	c |     34843 |     140    11900    83300 | 2147483647    28839     44 |  0.005 % |
5.76/5.88	c |     35217 |     140    11900    83300 | 2147483647    29213     44 |  0.005 % |
5.96/6.01	c |     35628 |     140    11900    83300 | 2147483647    29624     44 |  0.005 % |
6.06/6.14	c |     36077 |     140    11900    83300 | 2147483647    30073     44 |  0.005 % |
6.26/6.34	c |     36573 |     140    11900    83300 | 2147483647    30569     44 |  0.005 % |
6.46/6.51	c |     37115 |     140    11900    83300 | 2147483647    31111     44 |  0.005 % |
6.46/6.54	c |     37215 |     140    11900    83300 | 2147483647    31211     44 |  0.005 % |
6.46/6.58	c |     37326 |     140    11900    83300 | 2147483647    31322     44 |  0.005 % |
6.56/6.63	c |     37447 |     140    11900    83300 | 2147483647    31443     44 |  0.005 % |
6.56/6.67	c |     37580 |     140    11900    83300 | 2147483647    31576     44 |  0.005 % |
6.66/6.73	c |     37727 |     140    11900    83300 | 2147483647    31723     44 |  0.005 % |
6.66/6.79	c |     37888 |     140    11900    83300 | 2147483647    31884     44 |  0.005 % |
6.76/6.86	c |     38066 |     140    11900    83300 | 2147483647    32062     44 |  0.005 % |
6.86/6.93	c |     38259 |     140    11900    83300 | 2147483647    32255     44 |  0.005 % |
6.96/7.02	c |     38471 |     140    11900    83300 | 2147483647    32467     44 |  0.005 % |
7.06/7.11	c |     38706 |     140    11900    83300 | 2147483647    32702     44 |  0.005 % |
7.16/7.20	c |     38962 |     140    11900    83300 | 2147483647    32958     44 |  0.005 % |
7.25/7.30	c |     39243 |     140    11900    83300 | 2147483647    33239     44 |  0.005 % |
7.35/7.42	c |     39554 |     140    11900    83300 | 2147483647    33550     44 |  0.005 % |
7.45/7.55	c |     39894 |     140    11900    83300 | 2147483647    33890     44 |  0.005 % |
7.56/7.69	c |     40268 |     140    11900    83300 | 2147483647    34264     44 |  0.005 % |
7.75/7.85	c |     40677 |     140    11900    83300 | 2147483647    34673     44 |  0.005 % |
7.95/8.03	c |     41127 |     140    11900    83300 | 2147483647    35123     44 |  0.005 % |
8.15/8.22	c |     41622 |     140    11900    83300 | 2147483647    35618     44 |  0.005 % |
8.36/8.43	c |     42167 |     140    11900    83300 | 2147483647    36163     44 |  0.005 % |
8.56/8.66	c |     42763 |     140    11900    83300 | 2147483647    36759     44 |  0.005 % |
8.56/8.70	c |     42864 |     140    11900    83300 | 2147483647    36860     44 |  0.005 % |
8.67/8.74	c |     42974 |     140    11900    83300 | 2147483647    36970     44 |  0.005 % |
8.67/8.79	c |     43095 |     140    11900    83300 | 2147483647    37091     44 |  0.005 % |
8.77/8.88	c |     43229 |     140    11900    83300 | 2147483647    37225     44 |  0.005 % |
8.86/8.95	c |     43377 |     140    11900    83300 | 2147483647    37373     44 |  0.005 % |
8.96/9.01	c |     43537 |     140    11900    83300 | 2147483647    37533     44 |  0.005 % |
9.06/9.11	c |     43714 |     140    11900    83300 | 2147483647    37710     44 |  0.005 % |
9.06/9.19	c |     43908 |     140    11900    83300 | 2147483647    37904     44 |  0.005 % |
9.16/9.30	c |     44121 |     140    11900    83300 | 2147483647    38117     44 |  0.005 % |
9.26/9.39	c |     44356 |     140    11900    83300 | 2147483647    38352     44 |  0.005 % |
9.36/9.49	c |     44613 |     140    11900    83300 | 2147483647    38609     44 |  0.005 % |
9.56/9.60	c |     44894 |     140    11900    83300 | 2147483647    38890     44 |  0.005 % |
9.66/9.73	c |     45203 |     140    11900    83300 | 2147483647    39199     44 |  0.005 % |
9.77/9.86	c |     45546 |     140    11900    83300 | 2147483647    39542     44 |  0.005 % |
9.96/10.04	c |     45918 |     140    11900    83300 | 2147483647    39914     44 |  0.005 % |
10.16/10.22	c |     46328 |     140    11900    83300 | 2147483647    40324     44 |  0.005 % |
10.36/10.44	c |     46778 |     140    11900    83300 | 2147483647    40774     44 |  0.005 % |
10.56/10.66	c |     47271 |     140    11900    83300 | 2147483647    41267     44 |  0.005 % |
10.86/10.90	c |     47815 |     140    11900    83300 | 2147483647    41811     44 |  0.005 % |
11.06/11.15	c |     48411 |     140    11900    83300 | 2147483647    42407     44 |  0.005 % |
11.35/11.43	c |     49068 |     140    11900    83300 | 2147483647    43064     44 |  0.005 % |
11.45/11.50	c |     49168 |     140    11900    83300 | 2147483647    43164     44 |  0.005 % |
11.45/11.56	c |     49279 |     140    11900    83300 | 2147483647    43275     44 |  0.005 % |
11.55/11.62	c |     49402 |     140    11900    83300 | 2147483647    43398     44 |  0.005 % |
11.65/11.70	c |     49535 |     140    11900    83300 | 2147483647    43531     44 |  0.005 % |
11.65/11.78	c |     49681 |     140    11900    83300 | 2147483647    43677     44 |  0.005 % |
11.75/11.86	c |     49843 |     140    11900    83300 | 2147483647    43839     44 |  0.005 % |
11.85/11.96	c |     50019 |     140    11900    83300 | 2147483647    44015     44 |  0.005 % |
11.96/12.08	c |     50212 |     140    11900    83300 | 2147483647    44208     44 |  0.005 % |
12.15/12.22	c |     50426 |     140    11900    83300 | 2147483647    44422     44 |  0.005 % |
12.25/12.35	c |     50660 |     140    11900    83300 | 2147483647    44656     44 |  0.005 % |
12.35/12.48	c |     50916 |     140    11900    83300 | 2147483647    44912     44 |  0.005 % |
12.55/12.61	c |     51198 |     140    11900    83300 | 2147483647    45194     44 |  0.005 % |
12.65/12.75	c |     51507 |     140    11900    83300 | 2147483647    45503     44 |  0.005 % |
12.85/12.96	c |     51848 |     140    11900    83300 | 2147483647    45844     44 |  0.005 % |
13.06/13.17	c |     52220 |     140    11900    83300 | 2147483647    46216     44 |  0.005 % |
13.25/13.38	c |     52629 |     140    11900    83300 | 2147483647    46625     44 |  0.005 % |
13.45/13.59	c |     53078 |     140    11900    83300 | 2147483647    47074     44 |  0.005 % |
13.75/13.88	c |     53572 |     140    11900    83300 | 2147483647    47568     44 |  0.005 % |
14.15/14.20	c |     54115 |     140    11900    83300 | 2147483647    48111     44 |  0.005 % |
14.45/14.52	c |     54711 |     140    11900    83300 | 2147483647    48707     44 |  0.005 % |
14.75/14.85	c |     55367 |     140    11900    83300 | 2147483647    49363     44 |  0.005 % |
15.15/15.20	c |     56087 |     140    11900    83300 | 2147483647    50083     44 |  0.005 % |
15.15/15.28	c |     56188 |     140    11900    83300 | 2147483647    50184     44 |  0.005 % |
15.25/15.35	c |     56300 |     140    11900    83300 | 2147483647    50296     44 |  0.005 % |
15.35/15.43	c |     56421 |     140    11900    83300 | 2147483647    50417     44 |  0.005 % |
15.45/15.50	c |     56554 |     140    11900    83300 | 2147483647    50550     44 |  0.005 % |
15.55/15.61	c |     56701 |     140    11900    83300 | 2147483647    50697     44 |  0.005 % |
15.65/15.71	c |     56863 |     140    11900    83300 | 2147483647    50859     44 |  0.005 % |
15.75/15.81	c |     57040 |     140    11900    83300 | 2147483647    51036     44 |  0.005 % |
15.85/15.95	c |     57234 |     140    11900    83300 | 2147483647    51230     44 |  0.005 % |
15.95/16.08	c |     57446 |     140    11900    83300 | 2147483647    51442     44 |  0.005 % |
16.15/16.22	c |     57679 |     140    11900    83300 | 2147483647    51675     44 |  0.005 % |
16.25/16.38	c |     57936 |     140    11900    83300 | 2147483647    51932     44 |  0.005 % |
16.45/16.56	c |     58217 |     140    11900    83300 | 2147483647    52213     44 |  0.005 % |
16.65/16.75	c |     58529 |     140    11900    83300 | 2147483647    52525     44 |  0.005 % |
16.95/17.01	c |     58868 |     140    11900    83300 | 2147483647    52864     44 |  0.005 % |
17.15/17.24	c |     59240 |     140    11900    83300 | 2147483647    53236     44 |  0.005 % |
17.35/17.48	c |     59649 |     140    11900    83300 | 2147483647    53645     44 |  0.005 % |
17.65/17.74	c |     60098 |     140    11900    83300 | 2147483647    54094     44 |  0.005 % |
18.05/18.11	c |     60592 |     140    11900    83300 | 2147483647    54588     44 |  0.005 % |
18.35/18.49	c |     61134 |     140    11900    83300 | 2147483647    55130     44 |  0.005 % |
18.75/18.85	c |     61732 |     140    11900    83300 | 2147483647    55728     44 |  0.005 % |
19.26/19.30	c |     62387 |     140    11900    83300 | 2147483647    56383     44 |  0.005 % |
19.66/19.75	c |     63107 |     140    11900    83300 | 2147483647    57103     44 |  0.005 % |
20.15/20.21	c |     63901 |     140    11900    83300 | 2147483647    57897     44 |  0.005 % |
20.15/20.27	c |     64005 |     140    11900    83300 | 2147483647    58001     44 |  0.005 % |
20.25/20.37	c |     64117 |     140    11900    83300 | 2147483647    58113     44 |  0.005 % |
20.35/20.47	c |     64239 |     140    11900    83300 | 2147483647    58235     44 |  0.005 % |
20.45/20.57	c |     64373 |     140    11900    83300 | 2147483647    58369     44 |  0.005 % |
20.55/20.68	c |     64521 |     140    11900    83300 | 2147483647    58517     44 |  0.005 % |
20.76/20.81	c |     64683 |     140    11900    83300 | 2147483647    58679     44 |  0.005 % |
20.86/20.94	c |     64860 |     140    11900    83300 | 2147483647    58856     44 |  0.005 % |
20.95/21.07	c |     65054 |     140    11900    83300 | 2147483647    59050     44 |  0.005 % |
21.15/21.24	c |     65266 |     140    11900    83300 | 2147483647    59262     44 |  0.005 % |
21.35/21.42	c |     65499 |     140    11900    83300 | 2147483647    59495     44 |  0.005 % |
21.45/21.59	c |     65755 |     140    11900    83300 | 2147483647    59751     44 |  0.005 % |
21.65/21.78	c |     66037 |     140    11900    83300 | 2147483647    60033     44 |  0.005 % |
21.95/22.03	c |     66346 |     140    11900    83300 | 2147483647    60342     44 |  0.005 % |
22.15/22.27	c |     66686 |     140    11900    83300 | 2147483647    60682     44 |  0.005 % |
22.45/22.53	c |     67059 |     140    11900    83300 | 2147483647    61055     44 |  0.005 % |
22.75/22.90	c |     67468 |     140    11900    83300 | 2147483647    61464     44 |  0.005 % |
23.15/23.25	c |     67918 |     140    11900    83300 | 2147483647    61914     44 |  0.005 % |
23.55/23.61	c |     68412 |     140    11900    83300 | 2147483647    62408     44 |  0.005 % |
23.85/23.99	c |     68954 |     140    11900    83300 | 2147483647    62950     44 |  0.005 % |
24.35/24.44	c |     69550 |     140    11900    83300 | 2147483647    63546     44 |  0.005 % |
24.95/25.03	c |     70205 |     140    11900    83300 |    63996    53902     44 |  0.005 % |
25.35/25.49	c |     70926 |     140    11900    83300 |    63996    54623     44 |  0.005 % |
25.85/25.94	c |     71718 |     140    11900    83300 |    63996    55415     44 |  0.005 % |
26.35/26.49	c |     72591 |     140    11900    83300 |    63996    56288     44 |  0.005 % |
26.44/26.56	c |     72693 |     140    11900    83300 |    63996    56390     44 |  0.005 % |
26.54/26.64	c |     72804 |     140    11900    83300 |    63996    56501     44 |  0.005 % |
26.64/26.73	c |     72927 |     140    11900    83300 |    63996    56624     44 |  0.005 % |
26.74/26.82	c |     73060 |     140    11900    83300 |    63996    56757     44 |  0.005 % |
26.84/26.95	c |     73206 |     140    11900    83300 |    63996    56903     44 |  0.005 % |
26.94/27.07	c |     73366 |     140    11900    83300 |    63996    57063     44 |  0.005 % |
27.04/27.20	c |     73542 |     140    11900    83300 |    63996    57239     44 |  0.005 % |
27.24/27.36	c |     73735 |     140    11900    83300 |    63996    57432     44 |  0.005 % |
27.45/27.52	c |     73947 |     140    11900    83300 |    63996    57644     44 |  0.005 % |
27.54/27.68	c |     74180 |     140    11900    83300 |    63996    57877     44 |  0.005 % |
27.74/27.85	c |     74436 |     140    11900    83300 |    63996    58133     44 |  0.005 % |
27.94/28.03	c |     74720 |     140    11900    83300 |    63996    58417     44 |  0.005 % |
28.14/28.24	c |     75030 |     140    11900    83300 |    63996    58727     44 |  0.005 % |
28.34/28.49	c |     75369 |     140    11900    83300 |    63996    59066     44 |  0.005 % |
28.64/28.76	c |     75742 |     140    11900    83300 |    63996    59439     44 |  0.005 % |
28.94/29.04	c |     76153 |     140    11900    83300 |    63996    59850     44 |  0.005 % |
29.24/29.34	c |     76602 |     140    11900    83300 |    63996    60299     44 |  0.005 % |
29.65/29.71	c |     77096 |     140    11900    83300 |    63996    60793     44 |  0.005 % |
30.04/30.14	c |     77639 |     140    11900    83300 |    63996    61336     44 |  0.005 % |
30.44/30.57	c |     78237 |     140    11900    83300 |    63996    61934     44 |  0.005 % |
30.94/31.00	c |     78892 |     140    11900    83300 |    63996    62589     44 |  0.005 % |
31.34/31.45	c |     79613 |     140    11900    83300 |    63996    63310     44 |  0.005 % |
31.84/31.97	c |     80405 |     140    11900    83300 |    63699    53178     44 |  0.005 % |
32.34/32.44	c |     81276 |     140    11900    83300 |    63699    54049     44 |  0.005 % |
32.84/32.97	c |     82235 |     140    11900    83300 |    63699    55008     44 |  0.005 % |
32.94/33.05	c |     82336 |     140    11900    83300 |    63699    55109     44 |  0.005 % |
33.04/33.11	c |     82446 |     140    11900    83300 |    63699    55219     44 |  0.005 % |
33.04/33.19	c |     82567 |     140    11900    83300 |    63699    55340     44 |  0.005 % |
33.24/33.32	c |     82700 |     140    11900    83300 |    63699    55473     44 |  0.005 % |
33.34/33.43	c |     82846 |     140    11900    83300 |    63699    55619     44 |  0.005 % |
33.44/33.54	c |     83006 |     140    11900    83300 |    63699    55779     44 |  0.005 % |
33.54/33.69	c |     83183 |     140    11900    83300 |    63699    55956     44 |  0.005 % |
33.74/33.83	c |     83378 |     140    11900    83300 |    63699    56151     44 |  0.005 % |
33.84/33.98	c |     83591 |     140    11900    83300 |    63699    56364     44 |  0.005 % |
34.04/34.14	c |     83825 |     140    11900    83300 |    63699    56598     44 |  0.005 % |
34.24/34.34	c |     84084 |     140    11900    83300 |    63699    56857     44 |  0.005 % |
34.44/34.55	c |     84366 |     140    11900    83300 |    63699    57139     44 |  0.005 % |
34.64/34.80	c |     84675 |     140    11900    83300 |    63699    57448     44 |  0.005 % |
34.94/35.04	c |     85015 |     140    11900    83300 |    63699    57788     44 |  0.005 % |
35.24/35.32	c |     85388 |     140    11900    83300 |    63699    58161     44 |  0.005 % |
35.54/35.63	c |     85797 |     140    11900    83300 |    63699    58570     44 |  0.005 % |
35.84/35.95	c |     86246 |     140    11900    83300 |    63699    59019     44 |  0.005 % |
36.14/36.27	c |     86741 |     140    11900    83300 |    63699    59514     44 |  0.005 % |
36.53/36.62	c |     87283 |     140    11900    83300 |    63699    60056     44 |  0.005 % |
36.93/37.04	c |     87880 |     140    11900    83300 |    63699    60653     44 |  0.005 % |
37.43/37.51	c |     88536 |     140    11900    83300 |    63699    61309     44 |  0.005 % |
38.03/38.11	c |     89256 |     140    11900    83300 |    63699    62029     44 |  0.005 % |
38.53/38.67	c |     90048 |     140    11900    83300 |    62774    62821     44 |  0.005 % |
39.13/39.22	c |     90922 |     140    11900    83300 |    62774    52895     44 |  0.005 % |
39.63/39.78	c |     91881 |     140    11900    83300 |    62774    53854     44 |  0.005 % |
40.23/40.39	c |     92934 |     140    11900    83300 |    62774    54907     44 |  0.005 % |
40.33/40.45	c |     93035 |     140    11900    83300 |    62774    55008     44 |  0.005 % |
40.43/40.53	c |     93148 |     140    11900    83300 |    62774    55121     44 |  0.005 % |
40.53/40.61	c |     93269 |     140    11900    83300 |    62774    55242     44 |  0.005 % |
40.63/40.71	c |     93405 |     140    11900    83300 |    62774    55378     44 |  0.005 % |
40.73/40.80	c |     93551 |     140    11900    83300 |    62774    55524     44 |  0.005 % |
40.83/40.93	c |     93714 |     140    11900    83300 |    62774    55687     44 |  0.005 % |
40.93/41.06	c |     93890 |     140    11900    83300 |    62774    55863     44 |  0.005 % |
41.13/41.20	c |     94083 |     140    11900    83300 |    62774    56056     44 |  0.005 % |
41.23/41.36	c |     94295 |     140    11900    83300 |    62774    56268     44 |  0.005 % |
41.43/41.51	c |     94529 |     140    11900    83300 |    62774    56502     44 |  0.005 % |
41.63/41.72	c |     94787 |     140    11900    83300 |    62774    56760     44 |  0.005 % |
41.83/41.94	c |     95071 |     140    11900    83300 |    62774    57044     44 |  0.005 % |
42.03/42.17	c |     95380 |     140    11900    83300 |    62774    57353     44 |  0.005 % |
42.33/42.43	c |     95719 |     140    11900    83300 |    62774    57692     44 |  0.005 % |
42.53/42.69	c |     96093 |     140    11900    83300 |    62774    58066     44 |  0.005 % |
42.93/43.01	c |     96502 |     140    11900    83300 |    62774    58475     44 |  0.005 % |
43.23/43.34	c |     96951 |     140    11900    83300 |    62774    58924     44 |  0.005 % |
43.53/43.68	c |     97444 |     140    11900    83300 |    62774    59417     44 |  0.005 % |
43.93/44.06	c |     97986 |     140    11900    83300 |    62774    59959     44 |  0.005 % |
44.33/44.47	c |     98582 |     140    11900    83300 |    62774    60555     44 |  0.005 % |
44.83/44.99	c |     99238 |     140    11900    83300 |    62774    61211     44 |  0.005 % |
45.43/45.52	c |     99958 |     140    11900    83300 |    62774    61931     44 |  0.005 % |
45.93/46.06	c |    100750 |     140    11900    83300 |    61973    52287     44 |  0.005 % |
46.42/46.51	c |    101622 |     140    11900    83300 |    61973    53159     44 |  0.005 % |
46.92/47.07	c |    102582 |     140    11900    83300 |    61973    54119     44 |  0.005 % |
47.62/47.74	c |    103636 |     140    11900    83300 |    61973    55173     44 |  0.005 % |
48.32/48.46	c |    104797 |     140    11900    83300 |    61973    56334     44 |  0.005 % |
48.42/48.53	c |    104897 |     140    11900    83300 |    61973    56434     44 |  0.005 % |
48.52/48.61	c |    105007 |     140    11900    83300 |    61973    56544     44 |  0.005 % |
48.62/48.71	c |    105129 |     140    11900    83300 |    61973    56666     44 |  0.005 % |
48.72/48.82	c |    105264 |     140    11900    83300 |    61973    56801     44 |  0.005 % |
48.82/48.91	c |    105410 |     140    11900    83300 |    61973    56947     44 |  0.005 % |
48.92/49.03	c |    105570 |     140    11900    83300 |    61973    57107     44 |  0.005 % |
49.02/49.17	c |    105746 |     140    11900    83300 |    61973    57283     44 |  0.005 % |
49.22/49.31	c |    105939 |     140    11900    83300 |    61973    57476     44 |  0.005 % |
49.32/49.46	c |    106151 |     140    11900    83300 |    61973    57688     44 |  0.005 % |
49.52/49.62	c |    106384 |     140    11900    83300 |    61973    57921     44 |  0.005 % |
49.72/49.80	c |    106644 |     140    11900    83300 |    61973    58181     44 |  0.005 % |
49.92/50.00	c |    106930 |     140    11900    83300 |    61973    58467     44 |  0.005 % |
50.12/50.22	c |    107239 |     140    11900    83300 |    61973    58776     44 |  0.005 % |
50.32/50.45	c |    107578 |     140    11900    83300 |    61973    59115     44 |  0.005 % |
50.62/50.76	c |    107951 |     140    11900    83300 |    61973    59488     44 |  0.005 % |
50.92/51.08	c |    108360 |     140    11900    83300 |    61973    59897     44 |  0.005 % |
51.22/51.37	c |    108809 |     140    11900    83300 |    61973    60346     44 |  0.005 % |
51.62/51.72	c |    109303 |     140    11900    83300 |    61973    60840     44 |  0.005 % |
51.92/52.06	c |    109845 |     140    11900    83300 |    61973    61382     44 |  0.005 % |
52.32/52.46	c |    110441 |     140    11900    83300 |    61538    51972     44 |  0.005 % |
52.72/52.81	c |    111099 |     140    11900    83300 |    61538    52630     44 |  0.005 % |
53.22/53.37	c |    111819 |     140    11900    83300 |    61538    53350     44 |  0.005 % |
53.72/53.86	c |    112612 |     140    11900    83300 |    61538    54143     44 |  0.005 % |
54.22/54.38	c |    113483 |     140    11900    83300 |    61538    55014     44 |  0.005 % |
54.82/54.92	c |    114442 |     140    11900    83300 |    61538    55973     44 |  0.005 % |
55.42/55.53	c |    115496 |     140    11900    83300 |    61538    57027     44 |  0.005 % |
56.12/56.22	c |    116654 |     140    11900    83300 |    61538    58185     44 |  0.005 % |
56.92/57.02	c |    117930 |     140    11900    83300 |    61538    59461     44 |  0.005 % |
56.92/57.09	c |    118031 |     140    11900    83300 |    61538    59562     44 |  0.005 % |
57.12/57.21	c |    118143 |     140    11900    83300 |    61538    59674     44 |  0.005 % |
57.22/57.31	c |    118264 |     140    11900    83300 |    61538    59795     44 |  0.005 % |
57.22/57.40	c |    118399 |     140    11900    83300 |    61538    59930     44 |  0.005 % |
57.32/57.49	c |    118546 |     140    11900    83300 |    61538    60077     44 |  0.005 % |
57.52/57.64	c |    118706 |     140    11900    83300 |    61538    60237     44 |  0.005 % |
57.62/57.78	c |    118882 |     140    11900    83300 |    61538    60413     44 |  0.005 % |
57.82/57.94	c |    119075 |     140    11900    83300 |    61538    60606     44 |  0.005 % |
58.02/58.12	c |    119288 |     140    11900    83300 |    61538    60819     44 |  0.005 % |
58.22/58.32	c |    119522 |     140    11900    83300 |    61538    61053     44 |  0.005 % |
58.42/58.51	c |    119778 |     140    11900    83300 |    61538    61309     44 |  0.005 % |
58.62/58.75	c |    120059 |     140    11900    83300 |    61532    61590     44 |  0.005 % |
58.92/59.01	c |    120369 |     140    11900    83300 |    61532    51857     43 |  0.005 % |
59.11/59.23	c |    120709 |     140    11900    83300 |    61532    52197     43 |  0.005 % |
59.32/59.47	c |    121086 |     140    11900    83300 |    61532    52574     43 |  0.005 % |
59.61/59.74	c |    121496 |     140    11900    83300 |    61532    52984     43 |  0.005 % |
59.91/60.02	c |    121945 |     140    11900    83300 |    61532    53433     43 |  0.005 % |
60.21/60.30	c |    122439 |     140    11900    83300 |    61532    53927     43 |  0.005 % |
60.51/60.61	c |    122983 |     140    11900    83300 |    61532    54471     43 |  0.005 % |
60.81/60.96	c |    123580 |     140    11900    83300 |    61532    55068     43 |  0.005 % |
61.31/61.43	c |    124235 |     140    11900    83300 |    61532    55723     43 |  0.005 % |
61.81/61.92	c |    124959 |     140    11900    83300 |    61532    56447     43 |  0.005 % |
62.31/62.44	c |    125753 |     140    11900    83300 |    61532    57241     43 |  0.005 % |
62.81/62.99	c |    126625 |     140    11900    83300 |    61532    58113     43 |  0.005 % |
63.41/63.57	c |    127583 |     140    11900    83300 |    61532    59071     43 |  0.005 % |
64.31/64.40	c |    128637 |     140    11900    83300 |    61532    60125     43 |  0.005 % |
65.11/65.23	c |    129795 |     140    11900    83300 |    61532    61283     43 |  0.005 % |
65.82/65.99	c |    131068 |     140    11900    83300 |    61489    52631     43 |  0.005 % |
66.71/66.88	c |    132468 |     140    11900    83300 |    61489    54031     43 |  0.005 % |
66.81/66.95	c |    132568 |     140    11900    83300 |    61489    54131     43 |  0.005 % |
66.91/67.04	c |    132678 |     140    11900    83300 |    61489    54241     43 |  0.005 % |
67.01/67.11	c |    132799 |     140    11900    83300 |    61489    54362     43 |  0.005 % |
67.11/67.20	c |    132934 |     140    11900    83300 |    61489    54497     43 |  0.005 % |
67.21/67.30	c |    133081 |     140    11900    83300 |    61489    54644     43 |  0.005 % |
67.31/67.41	c |    133241 |     140    11900    83300 |    61489    54804     43 |  0.005 % |
67.41/67.53	c |    133417 |     140    11900    83300 |    61489    54980     43 |  0.005 % |
67.51/67.65	c |    133610 |     140    11900    83300 |    61489    55173     43 |  0.005 % |
67.61/67.78	c |    133823 |     140    11900    83300 |    61489    55386     43 |  0.005 % |
67.81/67.92	c |    134056 |     140    11900    83300 |    61489    55619     43 |  0.005 % |
68.01/68.12	c |    134313 |     140    11900    83300 |    61489    55876     43 |  0.005 % |
68.21/68.31	c |    134594 |     140    11900    83300 |    61489    56157     43 |  0.005 % |
68.41/68.54	c |    134904 |     140    11900    83300 |    61489    56467     43 |  0.005 % |
68.61/68.79	c |    135244 |     140    11900    83300 |    61489    56807     43 |  0.005 % |
68.91/69.06	c |    135618 |     140    11900    83300 |    61489    57181     43 |  0.005 % |
69.21/69.31	c |    136027 |     140    11900    83300 |    61489    57590     43 |  0.005 % |
69.51/69.65	c |    136476 |     140    11900    83300 |    61489    58039     43 |  0.005 % |
69.81/69.99	c |    136969 |     140    11900    83300 |    61489    58532     43 |  0.005 % |
70.21/70.33	c |    137511 |     140    11900    83300 |    61489    59074     43 |  0.005 % |
70.61/70.78	c |    138108 |     140    11900    83300 |    61489    59671     43 |  0.005 % |
71.21/71.30	c |    138764 |     140    11900    83300 |    61489    60327     43 |  0.005 % |
71.71/71.80	c |    139485 |     140    11900    83300 |    61489    61048     43 |  0.005 % |
72.31/72.42	c |    140277 |     140    11900    83300 |    51329    43127     43 |  0.005 % |
72.71/72.81	c |    141150 |     140    11900    83300 |    51329    44000     43 |  0.005 % |
73.11/73.27	c |    142109 |     140    11900    83300 |    51329    44959     43 |  0.005 % |
73.61/73.76	c |    143163 |     140    11900    83300 |    51329    46013     43 |  0.005 % |
74.21/74.33	c |    144321 |     140    11900    83300 |    51329    47171     43 |  0.005 % |
74.71/74.89	c |    145594 |     140    11900    83300 |    51329    48444     43 |  0.005 % |
75.61/75.79	c |    146995 |     140    11900    83300 |    51329    49845     43 |  0.005 % |
76.51/76.63	c |    148536 |     140    11900    83300 |    51329    51386     43 |  0.005 % |
76.61/76.74	c |    148637 |     140    11900    83300 |    51329    46024     43 |  0.005 % |
76.71/76.81	c |    148747 |     140    11900    83300 |    51329    46134     43 |  0.005 % |
76.71/76.88	c |    148868 |     140    11900    83300 |    51329    46255     43 |  0.005 % |
76.81/76.94	c |    149001 |     140    11900    83300 |    51329    46388     43 |  0.005 % |
76.91/77.04	c |    149148 |     140    11900    83300 |    51329    46535     43 |  0.005 % |
77.01/77.15	c |    149308 |     140    11900    83300 |    51329    46695     43 |  0.005 % |
77.11/77.25	c |    149484 |     140    11900    83300 |    51329    46871     43 |  0.005 % |
77.21/77.35	c |    149677 |     140    11900    83300 |    51329    47064     43 |  0.005 % |
77.30/77.47	c |    149890 |     140    11900    83300 |    51329    47277     43 |  0.005 % |
77.50/77.62	c |    150123 |     140    11900    83300 |    47389    42507     43 |  0.005 % |
77.60/77.77	c |    150380 |     140    11900    83300 |    47389    42764     43 |  0.005 % |
77.80/77.92	c |    150661 |     140    11900    83300 |    47389    43045     43 |  0.005 % |
77.91/78.07	c |    150971 |     140    11900    83300 |    47389    43355     43 |  0.005 % |
78.10/78.24	c |    151310 |     140    11900    83300 |    47389    43694     43 |  0.005 % |
78.30/78.42	c |    151688 |     140    11900    83300 |    47389    44072     43 |  0.005 % |
78.50/78.60	c |    152097 |     140    11900    83300 |    47389    44481     43 |  0.005 % |
78.70/78.86	c |    152548 |     140    11900    83300 |    47389    44932     43 |  0.005 % |
79.01/79.15	c |    153042 |     140    11900    83300 |    47389    45426     43 |  0.005 % |
79.30/79.45	c |    153584 |     140    11900    83300 |    47389    45968     43 |  0.005 % |
79.60/79.79	c |    154181 |     140    11900    83300 |    47389    46565     43 |  0.005 % |
80.00/80.18	c |    154836 |     140    11900    83300 |    47389    47220     43 |  0.005 % |
80.40/80.56	c |    155556 |     140    11900    83300 |    47389    43195     43 |  0.005 % |
80.80/80.97	c |    156348 |     140    11900    83300 |    47389    43987     43 |  0.005 % |
81.20/81.36	c |    157219 |     140    11900    83300 |    47389    44858     43 |  0.005 % |
81.71/81.82	c |    158177 |     140    11900    83300 |    47389    45816     43 |  0.005 % |
82.21/82.34	c |    159230 |     140    11900    83300 |    47389    46869     43 |  0.005 % |
82.71/82.86	c |    160390 |     140    11900    83300 | 2147483647    43284     43 |  0.005 % |
83.21/83.39	c |    161663 |     140    11900    83300 | 2147483647    44557     43 |  0.005 % |
83.91/84.06	c |    163063 |     140    11900    83300 | 2147483647    45957     43 |  0.005 % |
84.81/84.93	c |    164604 |     140    11900    83300 | 2147483647    47498     43 |  0.005 % |
85.71/85.84	c |    166298 |     140    11900    83300 | 2147483647    49192     44 |  0.005 % |
85.71/85.89	c |    166399 |     140    11900    83300 | 2147483647    49293     44 |  0.005 % |
85.81/85.96	c |    166509 |     140    11900    83300 | 2147483647    49403     44 |  0.005 % |
85.91/86.04	c |    166630 |     140    11900    83300 | 2147483647    49524     44 |  0.005 % |
86.01/86.12	c |    166766 |     140    11900    83300 | 2147483647    49660     44 |  0.005 % |
86.11/86.20	c |    166912 |     140    11900    83300 | 2147483647    49806     44 |  0.005 % |
86.20/86.31	c |    167072 |     140    11900    83300 | 2147483647    49966     44 |  0.005 % |
86.30/86.43	c |    167248 |     140    11900    83300 | 2147483647    50142     44 |  0.005 % |
86.40/86.55	c |    167441 |     140    11900    83300 | 2147483647    50335     44 |  0.005 % |
86.50/86.66	c |    167653 |     140    11900    83300 | 2147483647    50547     44 |  0.005 % |
86.60/86.78	c |    167887 |     140    11900    83300 | 2147483647    50781     44 |  0.005 % |
86.81/86.93	c |    168144 |     140    11900    83300 | 2147483647    51038     43 |  0.005 % |
86.90/87.09	c |    168427 |     140    11900    83300 | 2147483647    51321     43 |  0.005 % |
87.10/87.24	c |    168736 |     140    11900    83300 | 2147483647    51630     43 |  0.005 % |
87.30/87.43	c |    169075 |     140    11900    83300 | 2147483647    51969     43 |  0.005 % |
87.50/87.68	c |    169447 |     140    11900    83300 | 2147483647    52341     43 |  0.005 % |
87.81/87.93	c |    169858 |     140    11900    83300 | 2147483647    52752     44 |  0.005 % |
88.00/88.20	c |    170308 |     140    11900    83300 | 2147483647    53202     44 |  0.005 % |
88.30/88.47	c |    170801 |     140    11900    83300 | 2147483647    53695     43 |  0.005 % |
88.60/88.79	c |    171344 |     140    11900    83300 | 2147483647    54238     43 |  0.005 % |
89.01/89.16	c |    171940 |     140    11900    83300 | 2147483647    54834     43 |  0.005 % |
89.40/89.56	c |    172596 |     140    11900    83300 | 2147483647    55490     43 |  0.005 % |
89.90/90.10	c |    173317 |     140    11900    83300 | 2147483647    56211     43 |  0.005 % |
90.50/90.64	c |    174110 |     140    11900    83300 | 2147483647    57004     44 |  0.005 % |
91.00/91.17	c |    174981 |     140    11900    83300 | 2147483647    57875     44 |  0.005 % |
91.60/91.72	c |    175939 |     140    11900    83300 | 2147483647    58833     44 |  0.005 % |
92.20/92.34	c |    176994 |     140    11900    83300 | 2147483647    59888     44 |  0.005 % |
92.90/93.02	c |    178152 |     140    11900    83300 | 2147483647    61046     44 |  0.005 % |
93.60/93.78	c |    179428 |     140    11900    83300 | 2147483647    62322     44 |  0.005 % |
94.50/94.62	c |    180830 |     140    11900    83300 |    62897    54824     44 |  0.005 % |
95.30/95.41	c |    182370 |     140    11900    83300 |    62897    56364     44 |  0.005 % |
96.20/96.39	c |    184067 |     140    11900    83300 |    62897    58061     44 |  0.005 % |
97.50/97.67	c |    185931 |     140    11900    83300 |    62897    59925     44 |  0.005 % |
97.60/97.76	c |    186032 |     140    11900    83300 |    62897    60026     44 |  0.005 % |
97.70/97.85	c |    186142 |     140    11900    83300 |    62897    60136     44 |  0.005 % |
97.80/97.93	c |    186263 |     140    11900    83300 |    62897    60257     44 |  0.005 % |
97.89/98.03	c |    186397 |     140    11900    83300 |    62897    60391     44 |  0.005 % |
97.99/98.14	c |    186544 |     140    11900    83300 |    62897    60538     44 |  0.005 % |
98.09/98.30	c |    186707 |     140    11900    83300 |    62897    60701     44 |  0.005 % |
98.29/98.43	c |    186885 |     140    11900    83300 |    62897    60879     44 |  0.005 % |
98.39/98.59	c |    187078 |     140    11900    83300 |    62897    61072     44 |  0.005 % |
98.59/98.76	c |    187291 |     140    11900    83300 |    62897    61285     44 |  0.005 % |
98.80/98.95	c |    187524 |     140    11900    83300 |    62897    61518     44 |  0.005 % |
98.99/99.14	c |    187780 |     140    11900    83300 |    62897    61774     44 |  0.005 % |
99.19/99.35	c |    188061 |     140    11900    83300 |    62897    62055     44 |  0.005 % |
99.49/99.61	c |    188371 |     140    11900    83300 |    62897    62365     44 |  0.005 % |
99.69/99.85	c |    188710 |     140    11900    83300 |    62897    62704     44 |  0.005 % |
99.99/100.17	c |    189083 |     140    11900    83300 |    62897    52645     44 |  0.005 % |
100.29/100.40	c |    189492 |     140    11900    83300 |    62897    53054     44 |  0.005 % |
100.49/100.65	c |    189941 |     140    11900    83300 |    62897    53503     44 |  0.005 % |
100.79/100.94	c |    190434 |     140    11900    83300 |    53562    45236     44 |  0.005 % |
101.09/101.22	c |    190976 |     140    11900    83300 |    53562    45778     44 |  0.005 % |
101.39/101.52	c |    191572 |     140    11900    83300 |    53562    46374     44 |  0.005 % |
101.79/101.94	c |    192229 |     140    11900    83300 |    53562    47031     44 |  0.005 % |
102.19/102.34	c |    192950 |     140    11900    83300 |    53562    47752     44 |  0.005 % |
102.59/102.73	c |    193743 |     140    11900    83300 |    53562    48545     44 |  0.005 % |
103.09/103.22	c |    194614 |     140    11900    83300 |    53562    49416     44 |  0.005 % |
103.59/103.72	c |    195572 |     140    11900    83300 |    53562    50374     44 |  0.005 % |
104.19/104.33	c |    196625 |     140    11900    83300 |    53562    51427     44 |  0.005 % |
104.79/104.95	c |    197785 |     140    11900    83300 |    53562    52587     44 |  0.005 % |
105.58/105.71	c |    199060 |     140    11900    83300 |    53562    47303     44 |  0.005 % |
106.38/106.50	c |    200463 |     140    11900    83300 |    48243    42827     44 |  0.005 % |
107.08/107.22	c |    202003 |     140    11900    83300 |    48243    44367     44 |  0.005 % |
107.98/108.13	c |    203697 |     140    11900    83300 |    48243    46061     44 |  0.005 % |
108.88/109.08	c |    205560 |     140    11900    83300 |    48243    47924     44 |  0.005 % |
109.98/110.12	c |    207610 |     140    11900    83300 |    48243    45143     44 |  0.005 % |
109.98/110.18	c |    207712 |     140    11900    83300 |    48243    45245     44 |  0.005 % |
110.08/110.23	c |    207824 |     140    11900    83300 |    48243    45357     44 |  0.005 % |
110.18/110.30	c |    207945 |     140    11900    83300 |    48243    45478     44 |  0.005 % |
110.18/110.37	c |    208078 |     140    11900    83300 |    48243    45611     44 |  0.005 % |
110.28/110.48	c |    208225 |     140    11900    83300 |    48243    45758     44 |  0.005 % |
110.38/110.58	c |    208386 |     140    11900    83300 |    48243    45919     44 |  0.005 % |
110.48/110.66	c |    208563 |     140    11900    83300 |    48243    46096     44 |  0.005 % |
110.58/110.79	c |    208760 |     140    11900    83300 |    48243    46293     44 |  0.005 % |
110.78/110.91	c |    208973 |     140    11900    83300 |    48243    46506     44 |  0.005 % |
110.89/111.05	c |    209206 |     140    11900    83300 |    48243    46739     44 |  0.005 % |
110.99/111.19	c |    209462 |     140    11900    83300 |    48243    46995     44 |  0.005 % |
111.18/111.34	c |    209745 |     140    11900    83300 |    48243    47278     44 |  0.005 % |
111.38/111.52	c |    210056 |     140    11900    83300 | 2147483647    47589     44 |  0.005 % |
111.58/111.78	c |    210396 |     140    11900    83300 | 2147483647    47929     44 |  0.005 % |
111.88/112.00	c |    210768 |     140    11900    83300 | 2147483647    48301     44 |  0.005 % |
112.08/112.24	c |    211179 |     140    11900    83300 | 2147483647    48712     44 |  0.005 % |
112.28/112.49	c |    211629 |     140    11900    83300 | 2147483647    49162     44 |  0.005 % |
112.58/112.76	c |    212123 |     140    11900    83300 | 2147483647    49656     44 |  0.005 % |
112.88/113.08	c |    212665 |     140    11900    83300 | 2147483647    50198     44 |  0.005 % |
113.28/113.43	c |    213263 |     140    11900    83300 | 2147483647    50796     44 |  0.005 % |
113.58/113.76	c |    213921 |     140    11900    83300 | 2147483647    51454     44 |  0.005 % |
113.98/114.11	c |    214642 |     140    11900    83300 | 2147483647    52175     44 |  0.005 % |
114.28/114.49	c |    215434 |     140    11900    83300 | 2147483647    52967     44 |  0.005 % |
114.78/114.99	c |    216306 |     140    11900    83300 | 2147483647    53839     44 |  0.005 % |
115.38/115.52	c |    217264 |     140    11900    83300 | 2147483647    54797     44 |  0.005 % |
115.88/116.10	c |    218317 |     140    11900    83300 | 2147483647    55850     44 |  0.005 % |
116.58/116.74	c |    219475 |     140    11900    83300 | 2147483647    57008     44 |  0.005 % |
117.28/117.49	c |    220748 |     140    11900    83300 |    57533    51959     44 |  0.005 % |
117.98/118.19	c |    222148 |     140    11900    83300 |    57533    53359     44 |  0.005 % |
118.78/118.92	c |    223688 |     140    11900    83300 |    57533    54899     44 |  0.005 % |
119.58/119.77	c |    225382 |     140    11900    83300 |    57533    56593     44 |  0.005 % |
120.68/120.84	c |    227245 |     140    11900    83300 |    57533    51894     44 |  0.005 % |
121.68/121.88	c |    229295 |     140    11900    83300 |    57533    53944     44 |  0.005 % |
122.98/123.12	c |    231548 |     140    11900    83300 |    54650    50219     44 |  0.005 % |
123.08/123.21	c |    231648 |     140    11900    83300 |    54650    50319     44 |  0.005 % |
123.08/123.29	c |    231758 |     140    11900    83300 |    54650    50429     44 |  0.005 % |
123.17/123.36	c |    231881 |     140    11900    83300 |    54650    50552     44 |  0.005 % |
123.27/123.44	c |    232014 |     140    11900    83300 |    54650    50685     44 |  0.005 % |
123.37/123.53	c |    232160 |     140    11900    83300 |    54650    50831     44 |  0.005 % |
123.47/123.66	c |    232320 |     140    11900    83300 |    54650    50991     44 |  0.005 % |
123.57/123.76	c |    232497 |     140    11900    83300 |    54650    51168     44 |  0.005 % |
123.67/123.87	c |    232691 |     140    11900    83300 |    54650    51362     44 |  0.005 % |
123.77/123.99	c |    232903 |     140    11900    83300 |    54650    51574     44 |  0.005 % |
123.97/124.15	c |    233138 |     140    11900    83300 |    54650    51809     44 |  0.005 % |
124.08/124.30	c |    233395 |     140    11900    83300 |    54650    52066     44 |  0.005 % |
124.27/124.47	c |    233676 |     140    11900    83300 |    54650    52347     44 |  0.005 % |
124.47/124.62	c |    233990 |     140    11900    83300 |    54650    52661     44 |  0.005 % |
124.67/124.84	c |    234330 |     140    11900    83300 |    54650    53001     44 |  0.005 % |
124.87/125.07	c |    234702 |     140    11900    83300 |    54650    53373     44 |  0.005 % |
125.18/125.32	c |    235112 |     140    11900    83300 |    54650    53783     44 |  0.005 % |
125.37/125.59	c |    235561 |     140    11900    83300 |    54650    54232     44 |  0.005 % |
125.77/125.95	c |    236056 |     140    11900    83300 |    54650    48314     44 |  0.005 % |
126.07/126.27	c |    236598 |     140    11900    83300 |    54650    48856     44 |  0.005 % |
126.47/126.64	c |    237194 |     140    11900    83300 |    54650    49452     44 |  0.005 % |
126.87/127.01	c |    237849 |     140    11900    83300 |    54650    50107     44 |  0.005 % |
127.27/127.46	c |    238569 |     140    11900    83300 |    54650    50827     44 |  0.005 % |
127.77/127.94	c |    239361 |     140    11900    83300 |    54650    51619     44 |  0.005 % |
128.27/128.46	c |    240235 |     140    11900    83300 |    52259    46302     44 |  0.005 % |
128.77/128.95	c |    241195 |     140    11900    83300 |    52259    47262     44 |  0.005 % |
129.37/129.50	c |    242251 |     140    11900    83300 |    52259    48318     44 |  0.005 % |
129.87/130.09	c |    243409 |     140    11900    83300 |    52259    49476     44 |  0.005 % |
130.57/130.75	c |    244682 |     140    11900    83300 |    52259    50749     44 |  0.005 % |
131.27/131.49	c |    246082 |     140    11900    83300 |    52259    52149     44 |  0.005 % |
132.17/132.34	c |    247622 |     140    11900    83300 |    52259    48456     43 |  0.005 % |
133.07/133.21	c |    249316 |     140    11900    83300 |    52259    50150     44 |  0.005 % |
133.97/134.11	c |    251180 |     140    11900    83300 | 2147483647    52014     43 |  0.005 % |
134.87/135.09	c |    253229 |     140    11900    83300 | 2147483647    54063     44 |  0.005 % |
136.17/136.31	c |    255483 |     140    11900    83300 | 2147483647    56317     44 |  0.005 % |
137.66/137.80	c |    257962 |     140    11900    83300 | 2147483647    58796     44 |  0.005 % |
137.66/137.87	c |    258063 |     140    11900    83300 | 2147483647    58897     44 |  0.005 % |
137.76/137.96	c |    258173 |     140    11900    83300 | 2147483647    59007     44 |  0.005 % |
137.87/138.05	c |    258295 |     140    11900    83300 | 2147483647    59129     44 |  0.005 % |
137.97/138.14	c |    258428 |     140    11900    83300 | 2147483647    59262     44 |  0.005 % |
138.07/138.23	c |    258574 |     140    11900    83300 | 2147483647    59408     44 |  0.005 % |
138.16/138.37	c |    258735 |     140    11900    83300 | 2147483647    59569     44 |  0.005 % |
138.26/138.49	c |    258913 |     140    11900    83300 | 2147483647    59747     44 |  0.005 % |
138.47/138.63	c |    259107 |     140    11900    83300 | 2147483647    59941     44 |  0.005 % |
138.56/138.77	c |    259319 |     140    11900    83300 | 2147483647    60153     44 |  0.005 % |
138.76/138.92	c |    259553 |     140    11900    83300 | 2147483647    60387     44 |  0.005 % |
138.96/139.10	c |    259812 |     140    11900    83300 | 2147483647    60646     44 |  0.005 % |
139.16/139.37	c |    260093 |     140    11900    83300 |    60834    53190     43 |  0.005 % |
139.36/139.55	c |    260404 |     140    11900    83300 |    60834    53501     43 |  0.005 % |
139.57/139.75	c |    260744 |     140    11900    83300 |    60834    53841     43 |  0.005 % |
139.76/139.95	c |    261116 |     140    11900    83300 |    60834    54213     43 |  0.005 % |
139.96/140.19	c |    261526 |     140    11900    83300 |    60834    54623     44 |  0.005 % |
140.26/140.48	c |    261976 |     140    11900    83300 |    60834    55073     44 |  0.005 % |
140.57/140.79	c |    262469 |     140    11900    83300 |    60834    55566     44 |  0.005 % |
140.96/141.11	c |    263011 |     140    11900    83300 |    60834    56108     44 |  0.005 % |
141.36/141.50	c |    263607 |     140    11900    83300 |    60834    56704     44 |  0.005 % |
141.66/141.88	c |    264262 |     140    11900    83300 |    60834    57359     44 |  0.005 % |
142.16/142.33	c |    264983 |     140    11900    83300 |    60834    58080     44 |  0.005 % |
142.66/142.85	c |    265775 |     140    11900    83300 |    60834    58872     44 |  0.005 % |
143.26/143.41	c |    266646 |     140    11900    83300 |    60834    59743     44 |  0.005 % |
143.86/144.02	c |    267604 |     140    11900    83300 |    60834    60701     43 |  0.005 % |
144.46/144.68	c |    268658 |     140    11900    83300 |    60834    52645     43 |  0.005 % |
145.16/145.32	c |    269816 |     140    11900    83300 |    60834    53803     43 |  0.005 % |
145.76/145.97	c |    271090 |     140    11900    83300 |    53987    47399     43 |  0.005 % |
146.56/146.76	c |    272490 |     140    11900    83300 |    53987    48799     43 |  0.005 % |
147.36/147.59	c |    274031 |     140    11900    83300 |    53987    50340     44 |  0.005 % |
148.36/148.55	c |    275725 |     140    11900    83300 |    53987    52034     44 |  0.005 % |
149.46/149.68	c |    277588 |     140    11900    83300 |    53987    53897     44 |  0.005 % |
150.66/150.86	c |    279639 |     140    11900    83300 |    53987    49751     44 |  0.005 % |
151.75/151.96	c |    281892 |     140    11900    83300 |    50112    46307     44 |  0.005 % |
153.05/153.23	c |    284370 |     140    11900    83300 |    50112    48785     44 |  0.005 % |
154.35/154.55	c |    287095 |     140    11900    83300 |    50112    46492     44 |  0.005 % |
154.45/154.61	c |    287196 |     140    11900    83300 |    50112    46593     44 |  0.005 % |
154.45/154.67	c |    287306 |     140    11900    83300 |    50112    46703     44 |  0.005 % |
154.55/154.74	c |    287427 |     140    11900    83300 |    50112    46824     44 |  0.005 % |
154.65/154.82	c |    287562 |     140    11900    83300 |    50112    46959     44 |  0.005 % |
154.75/154.93	c |    287708 |     140    11900    83300 |    50112    47105     44 |  0.005 % |
154.86/155.03	c |    287868 |     140    11900    83300 |    50112    47265     44 |  0.005 % |
154.96/155.12	c |    288045 |     140    11900    83300 |    50112    47442     44 |  0.005 % |
155.05/155.23	c |    288238 |     140    11900    83300 |    50112    47635     44 |  0.005 % |
155.15/155.35	c |    288450 |     140    11900    83300 |    50112    47847     44 |  0.005 % |
155.25/155.48	c |    288684 |     140    11900    83300 |    50112    48081     44 |  0.005 % |
155.45/155.61	c |    288942 |     140    11900    83300 |    50112    48339     44 |  0.005 % |
155.55/155.76	c |    289224 |     140    11900    83300 |    50112    48621     44 |  0.005 % |
155.75/155.92	c |    289536 |     140    11900    83300 |    50112    48933     44 |  0.005 % |
155.96/156.14	c |    289877 |     140    11900    83300 |    50112    49274     44 |  0.005 % |
156.15/156.36	c |    290249 |     140    11900    83300 | 2147483647    49646     44 |  0.005 % |
156.45/156.61	c |    290659 |     140    11900    83300 | 2147483647    50056     44 |  0.005 % |
156.65/156.86	c |    291108 |     140    11900    83300 | 2147483647    50505     44 |  0.005 % |
156.95/157.15	c |    291602 |     140    11900    83300 | 2147483647    50999     44 |  0.005 % |
157.25/157.48	c |    292144 |     140    11900    83300 | 2147483647    51541     44 |  0.005 % |
157.55/157.79	c |    292741 |     140    11900    83300 | 2147483647    52138     44 |  0.005 % |
157.95/158.11	c |    293396 |     140    11900    83300 | 2147483647    52793     44 |  0.005 % |
158.35/158.52	c |    294116 |     140    11900    83300 | 2147483647    53513     44 |  0.005 % |
158.75/158.93	c |    294908 |     140    11900    83300 | 2147483647    54305     44 |  0.005 % |
159.15/159.39	c |    295779 |     140    11900    83300 | 2147483647    55176     44 |  0.005 % |
159.75/159.96	c |    296738 |     140    11900    83300 | 2147483647    56135     44 |  0.005 % |
160.35/160.58	c |    297791 |     140    11900    83300 | 2147483647    57188     44 |  0.005 % |
161.04/161.26	c |    298950 |     140    11900    83300 | 2147483647    58347     44 |  0.005 % |
161.84/162.06	c |    300223 |     140    11900    83300 |    59399    52649     44 |  0.005 % |
162.55/162.79	c |    301623 |     140    11900    83300 |    59399    54049     44 |  0.005 % |
163.54/163.73	c |    303163 |     140    11900    83300 |    59399    55589     44 |  0.005 % |
164.54/164.70	c |    304858 |     140    11900    83300 |    59399    57284     44 |  0.005 % |
165.64/165.82	c |    306725 |     140    11900    83300 |    59399    59151     44 |  0.005 % |
166.84/167.04	c |    308775 |     140    11900    83300 |    59399    53564     44 |  0.005 % |
168.05/168.30	c |    311028 |     140    11900    83300 |    54789    48917     44 |  0.005 % |
169.44/169.61	c |    313506 |     140    11900    83300 |    54789    51395     44 |  0.005 % |
170.94/171.16	c |    316232 |     140    11900    83300 |    54789    54121     44 |  0.005 % |
172.54/172.77	c |    319229 |     140    11900    83300 |    54789    50594     44 |  0.005 % |
172.64/172.83	c |    319333 |     140    11900    83300 |    54789    50698     44 |  0.005 % |
172.74/172.90	c |    319443 |     140    11900    83300 |    54789    50808     44 |  0.005 % |
172.74/172.98	c |    319564 |     140    11900    83300 |    54789    50929     44 |  0.005 % |
172.84/173.07	c |    319698 |     140    11900    83300 |    54789    51063     44 |  0.005 % |
172.94/173.16	c |    319846 |     140    11900    83300 |    54789    51211     44 |  0.005 % |
173.04/173.26	c |    320008 |     140    11900    83300 |    51366    51373     44 |  0.005 % |
173.24/173.41	c |    320187 |     140    11900    83300 |    51366    45690     44 |  0.005 % |
173.34/173.53	c |    320381 |     140    11900    83300 |    51366    45884     44 |  0.005 % |
173.44/173.66	c |    320595 |     140    11900    83300 |    51366    46098     44 |  0.005 % |
173.64/173.80	c |    320831 |     140    11900    83300 |    51366    46334     44 |  0.005 % |
173.74/173.96	c |    321088 |     140    11900    83300 |    51366    46591     44 |  0.005 % |
173.94/174.13	c |    321369 |     140    11900    83300 |    51366    46872     44 |  0.005 % |
174.14/174.32	c |    321678 |     140    11900    83300 |    51366    47181     44 |  0.005 % |
174.24/174.50	c |    322017 |     140    11900    83300 |    51366    47520     44 |  0.005 % |
174.54/174.72	c |    322390 |     140    11900    83300 |    51366    47893     44 |  0.005 % |
174.74/174.94	c |    322799 |     140    11900    83300 |    51366    48302     44 |  0.005 % |
174.94/175.16	c |    323249 |     140    11900    83300 |    51366    48752     44 |  0.005 % |
175.24/175.43	c |    323742 |     140    11900    83300 |    51366    49245     44 |  0.005 % |
175.54/175.74	c |    324284 |     140    11900    83300 |    51366    49787     44 |  0.005 % |
175.84/176.04	c |    324881 |     140    11900    83300 |    51366    50384     44 |  0.005 % |
176.14/176.39	c |    325536 |     140    11900    83300 |    51366    51039     44 |  0.005 % |
176.64/176.89	c |    326257 |     140    11900    83300 |    51366    46245     44 |  0.005 % |
177.14/177.32	c |    327051 |     140    11900    83300 |    51366    47039     44 |  0.005 % |
177.64/177.81	c |    327922 |     140    11900    83300 |    51366    47910     44 |  0.005 % |
178.14/178.31	c |    328880 |     140    11900    83300 |    51366    48868     44 |  0.005 % |
178.64/178.85	c |    329933 |     140    11900    83300 |    51366    49921     44 |  0.005 % |
179.24/179.48	c |    331091 |     140    11900    83300 |    49988    45881     44 |  0.005 % |
179.94/180.17	c |    332366 |     140    11900    83300 |    49988    47156     44 |  0.005 % |
180.64/180.83	c |    333768 |     140    11900    83300 |    49988    48558     44 |  0.005 % |
181.43/181.70	c |    335309 |     140    11900    83300 |    49988    45094     44 |  0.005 % |
182.23/182.46	c |    337004 |     140    11900    83300 |    49988    46789     44 |  0.005 % |
183.23/183.45	c |    338867 |     140    11900    83300 |    49988    48652     44 |  0.005 % |
184.33/184.56	c |    340916 |     140    11900    83300 | 2147483647    50701     44 |  0.005 % |
185.53/185.72	c |    343172 |     140    11900    83300 | 2147483647    52957     44 |  0.005 % |
186.83/187.05	c |    345650 |     140    11900    83300 | 2147483647    55435     44 |  0.005 % |
188.32/188.57	c |    348375 |     140    11900    83300 | 2147483647    58160     44 |  0.005 % |
190.03/190.23	c |    351374 |     140    11900    83300 |    59786    54593     44 |  0.005 % |
191.82/192.06	c |    354670 |     140    11900    83300 |    59786    57889     44 |  0.005 % |
191.92/192.14	c |    354773 |     140    11900    83300 |    59786    57992     44 |  0.005 % |
192.02/192.22	c |    354885 |     140    11900    83300 |    59786    58104     44 |  0.005 % |
192.12/192.30	c |    355006 |     140    11900    83300 |    59786    58225     44 |  0.005 % |
192.23/192.43	c |    355140 |     140    11900    83300 |    59786    58359     44 |  0.005 % |
192.33/192.53	c |    355286 |     140    11900    83300 |    59786    58505     44 |  0.005 % |
192.42/192.65	c |    355446 |     140    11900    83300 |    59786    58665     44 |  0.005 % |
192.52/192.78	c |    355622 |     140    11900    83300 |    59786    58841     44 |  0.005 % |
192.72/192.91	c |    355815 |     140    11900    83300 |    59786    59034     44 |  0.005 % |
192.82/193.06	c |    356030 |     140    11900    83300 |    59786    59249     44 |  0.005 % |
193.02/193.26	c |    356264 |     140    11900    83300 |    59786    59483     44 |  0.005 % |
193.22/193.45	c |    356522 |     140    11900    83300 |    59786    59741     44 |  0.005 % |
193.52/193.72	c |    356807 |     140    11900    83300 |    59786    52004     44 |  0.005 % |
193.72/193.93	c |    357118 |     140    11900    83300 |    59786    52315     44 |  0.005 % |
193.92/194.13	c |    357460 |     140    11900    83300 |    59786    52657     44 |  0.005 % |
194.12/194.38	c |    357832 |     140    11900    83300 |    59786    53029     44 |  0.005 % |
194.43/194.61	c |    358241 |     140    11900    83300 |    59786    53438     44 |  0.005 % |
194.62/194.85	c |    358690 |     140    11900    83300 |    59786    53887     44 |  0.005 % |
194.92/195.13	c |    359184 |     140    11900    83300 |    59786    54381     44 |  0.005 % |
195.22/195.46	c |    359727 |     140    11900    83300 |    59786    54924     44 |  0.005 % |
195.62/195.82	c |    360323 |     140    11900    83300 |    55197    48242     44 |  0.005 % |
195.92/196.12	c |    360978 |     140    11900    83300 |    55197    48897     44 |  0.005 % |
196.32/196.53	c |    361698 |     140    11900    83300 |    55197    49617     44 |  0.005 % |
196.72/196.95	c |    362491 |     140    11900    83300 |    55197    50410     44 |  0.005 % |
197.12/197.36	c |    363364 |     140    11900    83300 |    55197    51283     44 |  0.005 % |
197.62/197.87	c |    364322 |     140    11900    83300 |    55197    52241     44 |  0.005 % |
198.22/198.42	c |    365376 |     140    11900    83300 |    55197    53295     44 |  0.005 % |
198.82/199.00	c |    366536 |     140    11900    83300 |    55197    54455     44 |  0.005 % |
199.62/199.83	c |    367809 |     140    11900    83300 |    55197    49550     44 |  0.005 % |
200.32/200.58	c |    369210 |     140    11900    83300 |    55197    50951     44 |  0.005 % |
201.22/201.49	c |    370753 |     140    11900    83300 |    51741    46659     44 |  0.005 % |
202.12/202.30	c |    372447 |     140    11900    83300 |    51741    48353     44 |  0.005 % |
203.02/203.23	c |    374310 |     140    11900    83300 |    51741    50216     44 |  0.005 % |
204.02/204.24	c |    376361 |     140    11900    83300 |    51741    47087     44 |  0.005 % |
205.02/205.27	c |    378614 |     140    11900    83300 |    51741    49340     44 |  0.005 % |
206.32/206.53	c |    381092 |     140    11900    83300 | 2147483647    51818     44 |  0.005 % |
207.81/208.05	c |    383819 |     140    11900    83300 | 2147483647    54545     44 |  0.005 % |
209.41/209.60	c |    386817 |     140    11900    83300 | 2147483647    57543     44 |  0.005 % |
211.21/211.49	c |    390113 |     140    11900    83300 |    60727    53707     44 |  0.005 % |
213.31/213.53	c |    393739 |     140    11900    83300 |    60727    57333     44 |  0.005 % |
213.31/213.60	c |    393840 |     140    11900    83300 |    60727    57434     44 |  0.005 % |
213.41/213.67	c |    393950 |     140    11900    83300 |    60727    57544     44 |  0.005 % |
213.51/213.75	c |    394072 |     140    11900    83300 |    60727    57666     44 |  0.005 % |
213.61/213.87	c |    394206 |     140    11900    83300 |    60727    57800     44 |  0.005 % |
213.71/213.97	c |    394352 |     140    11900    83300 |    60727    57946     44 |  0.005 % |
213.81/214.08	c |    394512 |     140    11900    83300 |    60727    58106     44 |  0.005 % |
214.01/214.22	c |    394689 |     140    11900    83300 |    60727    58283     44 |  0.005 % |
214.11/214.34	c |    394888 |     140    11900    83300 |    60727    58482     44 |  0.005 % |
214.22/214.49	c |    395100 |     140    11900    83300 |    60727    58694     44 |  0.005 % |
214.41/214.65	c |    395334 |     140    11900    83300 |    60727    58928     44 |  0.005 % |
214.61/214.82	c |    395590 |     140    11900    83300 |    60727    59184     44 |  0.005 % |
214.82/215.02	c |    395872 |     140    11900    83300 |    60727    59466     44 |  0.005 % |
215.02/215.24	c |    396182 |     140    11900    83300 |    60727    59776     44 |  0.005 % |
215.22/215.47	c |    396521 |     140    11900    83300 |    60727    60115     44 |  0.005 % |
215.52/215.73	c |    396893 |     140    11900    83300 |    60727    60487     44 |  0.005 % |
215.82/216.04	c |    397303 |     140    11900    83300 |    60727    52172     44 |  0.005 % |
216.02/216.26	c |    397752 |     140    11900    83300 |    60727    52621     44 |  0.005 % |
216.32/216.52	c |    398246 |     140    11900    83300 |    60727    53115     44 |  0.005 % |
216.52/216.78	c |    398788 |     140    11900    83300 |    60727    53657     44 |  0.005 % |
216.92/217.10	c |    399384 |     140    11900    83300 |    60727    54253     44 |  0.005 % |
217.22/217.44	c |    400041 |     140    11900    83300 |    54869    54910     44 |  0.005 % |
217.62/217.87	c |    400762 |     140    11900    83300 |    54869    48219     44 |  0.005 % |
218.12/218.37	c |    401554 |     140    11900    83300 |    54869    49011     44 |  0.005 % |
218.62/218.87	c |    402425 |     140    11900    83300 |    54869    49882     44 |  0.005 % |
219.22/219.42	c |    403383 |     140    11900    83300 |    54869    50840     44 |  0.005 % |
219.72/219.99	c |    404436 |     140    11900    83300 |    54869    51893     44 |  0.005 % |
220.42/220.60	c |    405594 |     140    11900    83300 |    54869    53051     44 |  0.005 % |
221.12/221.35	c |    406867 |     140    11900    83300 |    54869    54324     44 |  0.005 % |
221.92/222.10	c |    408269 |     140    11900    83300 |    54869    48890     44 |  0.005 % |
222.72/222.90	c |    409811 |     140    11900    83300 |    54869    50432     44 |  0.005 % |
223.52/223.72	c |    411505 |     140    11900    83300 |    50622    46122     44 |  0.005 % |
224.42/224.67	c |    413368 |     140    11900    83300 |    50622    47985     44 |  0.005 % |
225.51/225.71	c |    415418 |     140    11900    83300 |    50622    50035     44 |  0.005 % |
226.61/226.84	c |    417672 |     140    11900    83300 |    50622    47103     44 |  0.005 % |
227.81/228.02	c |    420151 |     140    11900    83300 | 2147483647    49582     44 |  0.005 % |
229.20/229.41	c |    422876 |     140    11900    83300 | 2147483647    52307     44 |  0.005 % |
230.81/231.08	c |    425873 |     140    11900    83300 | 2147483647    55304     44 |  0.005 % |
232.60/232.86	c |    429169 |     140    11900    83300 | 2147483647    58600     44 |  0.005 % |
234.70/234.93	c |    432795 |     140    11900    83300 |    59431    55620     44 |  0.005 % |
237.10/237.30	c |    436784 |     140    11900    83300 |    59431    52480     44 |  0.005 % |
237.10/237.36	c |    436884 |     140    11900    83300 |    59431    52580     44 |  0.005 % |
237.20/237.41	c |    436994 |     140    11900    83300 |    59431    52690     44 |  0.005 % |
237.20/237.48	c |    437115 |     140    11900    83300 |    59431    52811     44 |  0.005 % |
237.30/237.56	c |    437248 |     140    11900    83300 |    59431    52944     44 |  0.005 % |
237.40/237.63	c |    437394 |     140    11900    83300 |    59431    53090     44 |  0.005 % |
237.50/237.73	c |    437554 |     140    11900    83300 |    59431    53250     44 |  0.005 % |
237.60/237.86	c |    437730 |     140    11900    83300 |    59431    53426     44 |  0.005 % |
237.70/237.97	c |    437923 |     140    11900    83300 |    59431    53619     44 |  0.005 % |
237.90/238.11	c |    438137 |     140    11900    83300 |    59431    53833     44 |  0.005 % |
238.00/238.26	c |    438370 |     140    11900    83300 |    59431    54066     44 |  0.005 % |
238.20/238.41	c |    438626 |     140    11900    83300 |    59431    54322     44 |  0.005 % |
238.30/238.60	c |    438907 |     140    11900    83300 |    59431    54603     44 |  0.005 % |
238.50/238.78	c |    439218 |     140    11900    83300 |    59431    54914     44 |  0.005 % |
238.70/238.98	c |    439558 |     140    11900    83300 |    59431    55254     44 |  0.005 % |
239.00/239.25	c |    439930 |     140    11900    83300 |    59431    55626     44 |  0.005 % |
239.30/239.55	c |    440339 |     140    11900    83300 |    55697    49005     44 |  0.005 % |
239.50/239.78	c |    440791 |     140    11900    83300 |    55697    49457     44 |  0.005 % |
239.80/240.04	c |    441285 |     140    11900    83300 |    55697    49951     44 |  0.005 % |
240.10/240.30	c |    441828 |     140    11900    83300 |    55697    50494     44 |  0.005 % |
240.30/240.59	c |    442426 |     140    11900    83300 |    55697    51092     44 |  0.005 % |
240.70/240.94	c |    443081 |     140    11900    83300 |    55697    51747     44 |  0.005 % |
241.20/241.44	c |    443803 |     140    11900    83300 |    55697    52469     44 |  0.005 % |
241.70/241.94	c |    444598 |     140    11900    83300 |    55697    53264     44 |  0.005 % |
242.19/242.49	c |    445469 |     140    11900    83300 |    55697    54135     44 |  0.005 % |
242.90/243.11	c |    446427 |     140    11900    83300 |    55697    55093     44 |  0.005 % |
243.49/243.73	c |    447480 |     140    11900    83300 |    55697    48850     44 |  0.005 % |
244.09/244.35	c |    448640 |     140    11900    83300 |    55697    50010     44 |  0.005 % |
244.79/245.03	c |    449913 |     140    11900    83300 |    55697    51283     44 |  0.005 % |
245.49/245.75	c |    451315 |     140    11900    83300 |    51371    46380     44 |  0.005 % |
246.19/246.42	c |    452855 |     140    11900    83300 |    51371    47920     44 |  0.005 % |
246.99/247.23	c |    454549 |     140    11900    83300 |    51371    49614     44 |  0.005 % |
248.09/248.38	c |    456413 |     140    11900    83300 |    51371    46334     43 |  0.005 % |
249.19/249.41	c |    458462 |     140    11900    83300 |    51371    48383     44 |  0.005 % |
250.39/250.63	c |    460715 |     140    11900    83300 | 2147483647    50636     43 |  0.005 % |
251.69/251.92	c |    463193 |     140    11900    83300 | 2147483647    53114     44 |  0.005 % |
253.09/253.37	c |    465921 |     140    11900    83300 | 2147483647    55842     44 |  0.005 % |
254.89/255.14	c |    468919 |     140    11900    83300 | 2147483647    58840     44 |  0.005 % |
256.79/257.02	c |    472216 |     140    11900    83300 |    59921    55087     43 |  0.005 % |
258.79/259.02	c |    475841 |     140    11900    83300 |    59921    58712     43 |  0.005 % |
261.18/261.47	c |    479828 |     140    11900    83300 |    59921    55330     43 |  0.005 % |
263.69/263.98	c |    484213 |     140    11900    83300 |    55502    52721     43 |  0.005 % |
263.79/264.03	c |    484313 |     140    11900    83300 |    55502    52821     43 |  0.005 % |
263.79/264.09	c |    484423 |     140    11900    83300 |    55502    52931     43 |  0.005 % |
263.88/264.17	c |    484545 |     140    11900    83300 |    55502    53053     43 |  0.005 % |
263.98/264.27	c |    484679 |     140    11900    83300 |    55502    53187     43 |  0.005 % |
264.08/264.37	c |    484826 |     140    11900    83300 |    55502    53334     43 |  0.005 % |
264.18/264.49	c |    484987 |     140    11900    83300 |    55502    53495     43 |  0.005 % |
264.38/264.60	c |    485163 |     140    11900    83300 |    55502    53671     43 |  0.005 % |
264.48/264.71	c |    485357 |     140    11900    83300 |    55502    53865     43 |  0.005 % |
264.58/264.85	c |    485569 |     140    11900    83300 |    55502    54077     43 |  0.005 % |
264.79/265.03	c |    485802 |     140    11900    83300 |    55502    54310     43 |  0.005 % |
264.89/265.17	c |    486058 |     140    11900    83300 |    55502    54566     43 |  0.005 % |
265.08/265.37	c |    486339 |     140    11900    83300 |    55502    54847     43 |  0.005 % |
265.28/265.55	c |    486649 |     140    11900    83300 |    55502    55157     43 |  0.005 % |
265.48/265.76	c |    486988 |     140    11900    83300 |    55502    55496     43 |  0.005 % |
265.68/265.99	c |    487360 |     140    11900    83300 |    55502    48827     43 |  0.005 % |
265.99/266.22	c |    487771 |     140    11900    83300 |    55502    49238     43 |  0.005 % |
266.18/266.45	c |    488221 |     140    11900    83300 |    55502    49688     43 |  0.005 % |
266.48/266.71	c |    488714 |     140    11900    83300 |    55502    50181     43 |  0.005 % |
266.68/266.97	c |    489257 |     140    11900    83300 |    55502    50724     43 |  0.005 % |
266.99/267.29	c |    489853 |     140    11900    83300 |    55502    51320     43 |  0.005 % |
267.38/267.65	c |    490508 |     140    11900    83300 |    51467    45932     43 |  0.005 % |
267.78/268.06	c |    491231 |     140    11900    83300 |    51467    46655     43 |  0.005 % |
268.19/268.44	c |    492027 |     140    11900    83300 |    51467    47451     43 |  0.005 % |
268.68/268.91	c |    492901 |     140    11900    83300 |    51467    48325     43 |  0.005 % |
269.19/269.45	c |    493861 |     140    11900    83300 |    51467    49285     43 |  0.005 % |
269.68/269.94	c |    494914 |     140    11900    83300 |    51467    50338     43 |  0.005 % |
270.28/270.58	c |    496075 |     140    11900    83300 |    51467    51499     43 |  0.005 % |
271.08/271.35	c |    497348 |     140    11900    83300 |    51467    47623     43 |  0.005 % |
271.78/272.08	c |    498748 |     140    11900    83300 |    51467    49023     43 |  0.005 % |
272.68/272.90	c |    500290 |     140    11900    83300 | 2147483647    50565     43 |  0.005 % |
273.48/273.74	c |    501984 |     140    11900    83300 | 2147483647    52259     43 |  0.005 % |
274.48/274.70	c |    503847 |     140    11900    83300 | 2147483647    54122     43 |  0.005 % |
275.58/275.83	c |    505896 |     140    11900    83300 | 2147483647    56171     43 |  0.005 % |
276.88/277.15	c |    508151 |     140    11900    83300 | 2147483647    58426     43 |  0.005 % |
278.48/278.72	c |    510630 |     140    11900    83300 |    60275    54067     43 |  0.005 % |
279.97/280.28	c |    513355 |     140    11900    83300 |    60275    56792     43 |  0.005 % |
281.67/281.95	c |    516353 |     140    11900    83300 |    60275    59790     43 |  0.005 % |
283.58/283.84	c |    519649 |     140    11900    83300 |    60275    55709     43 |  0.005 % |
285.47/285.74	c |    523275 |     140    11900    83300 |    56061    52558     43 |  0.005 % |
287.77/288.04	c |    527264 |     140    11900    83300 |    56061    50259     44 |  0.005 % |
290.07/290.31	c |    531649 |     140    11900    83300 |    52995    49001     44 |  0.005 % |
292.37/292.64	c |    536473 |     140    11900    83300 |    52995    48520     44 |  0.005 % |
292.37/292.69	c |    536573 |     140    11900    83300 |    52995    48620     44 |  0.005 % |
292.47/292.77	c |    536683 |     140    11900    83300 |    52995    48730     44 |  0.005 % |
292.57/292.85	c |    536808 |     140    11900    83300 |    52995    48855     44 |  0.005 % |
292.67/292.94	c |    536941 |     140    11900    83300 |    52995    48988     44 |  0.005 % |
292.77/293.02	c |    537088 |     140    11900    83300 |    52995    49135     44 |  0.005 % |
292.87/293.14	c |    537248 |     140    11900    83300 |    52995    49295     44 |  0.005 % |
292.97/293.25	c |    537424 |     140    11900    83300 |    52995    49471     44 |  0.005 % |
293.07/293.35	c |    537617 |     140    11900    83300 |    52995    49664     44 |  0.005 % |
293.17/293.47	c |    537829 |     140    11900    83300 |    52995    49876     44 |  0.005 % |
293.37/293.61	c |    538062 |     140    11900    83300 |    52995    50109     44 |  0.005 % |
293.47/293.77	c |    538319 |     140    11900    83300 |    52995    50366     44 |  0.005 % |
293.67/293.95	c |    538600 |     140    11900    83300 |    52995    50647     44 |  0.005 % |
293.87/294.13	c |    538909 |     140    11900    83300 |    52995    50956     44 |  0.005 % |
294.07/294.36	c |    539248 |     140    11900    83300 |    52995    51295     44 |  0.005 % |
294.27/294.56	c |    539620 |     140    11900    83300 |    52995    51667     44 |  0.005 % |
294.47/294.79	c |    540029 |     140    11900    83300 | 2147483647    52076     44 |  0.005 % |
294.77/295.09	c |    540478 |     140    11900    83300 | 2147483647    52525     44 |  0.005 % |
295.07/295.35	c |    540972 |     140    11900    83300 | 2147483647    53019     44 |  0.005 % |
295.37/295.65	c |    541514 |     140    11900    83300 | 2147483647    53561     44 |  0.005 % |
295.77/296.00	c |    542110 |     140    11900    83300 | 2147483647    54157     44 |  0.005 % |
296.07/296.37	c |    542765 |     140    11900    83300 | 2147483647    54812     44 |  0.005 % |
296.56/296.84	c |    543485 |     140    11900    83300 | 2147483647    55532     44 |  0.005 % |
297.06/297.32	c |    544279 |     140    11900    83300 | 2147483647    56326     44 |  0.005 % |
297.66/297.93	c |    545150 |     140    11900    83300 | 2147483647    57197     44 |  0.005 % |
298.26/298.57	c |    546109 |     140    11900    83300 | 2147483647    58156     44 |  0.005 % |
298.87/299.20	c |    547163 |     140    11900    83300 | 2147483647    59210     44 |  0.005 % |
299.66/299.92	c |    548322 |     140    11900    83300 | 2147483647    60369     44 |  0.005 % |
300.36/300.70	c |    549595 |     140    11900    83300 | 2147483647    61642     44 |  0.005 % |
301.26/301.59	c |    550995 |     140    11900    83300 |    62049    54154     44 |  0.005 % |
302.27/302.52	c |    552537 |     140    11900    83300 |    62049    55696     44 |  0.005 % |
303.27/303.52	c |    554231 |     140    11900    83300 |    62049    57390     44 |  0.005 % |
304.37/304.61	c |    556095 |     140    11900    83300 |    62049    59254     44 |  0.005 % |
305.57/305.89	c |    558144 |     140    11900    83300 |    62049    61303     44 |  0.005 % |
307.06/307.35	c |    560398 |     140    11900    83300 |    53764    46085     44 |  0.005 % |
308.26/308.52	c |    562878 |     140    11900    83300 |    53764    48565     44 |  0.005 % |
309.66/309.94	c |    565603 |     140    11900    83300 |    53764    51290     44 |  0.005 % |
311.26/311.58	c |    568602 |     140    11900    83300 |    53764    48441     44 |  0.005 % |
312.96/313.23	c |    571898 |     140    11900    83300 |    49843    46532     44 |  0.005 % |
314.66/314.96	c |    575523 |     140    11900    83300 |    49843    45166     44 |  0.005 % |
316.65/316.97	c |    579511 |     140    11900    83300 |    49843    49154     44 |  0.005 % |
319.05/319.31	c |    583896 |     140    11900    83300 | 2147483647    53539     44 |  0.005 % |
321.75/322.02	c |    588720 |     140    11900    83300 | 2147483647    58363     44 |  0.005 % |
324.65/324.94	c |    594026 |     140    11900    83300 |    59647    56508     44 |  0.005 % |
324.75/325.03	c |    594127 |     140    11900    83300 |    59647    56609     44 |  0.005 % |
324.85/325.12	c |    594238 |     140    11900    83300 |    59647    56720     44 |  0.005 % |
324.95/325.20	c |    594360 |     140    11900    83300 |    59647    56842     44 |  0.005 % |
324.95/325.29	c |    594493 |     140    11900    83300 |    59647    56975     44 |  0.005 % |
325.05/325.38	c |    594639 |     140    11900    83300 |    59647    57121     44 |  0.005 % |
325.15/325.49	c |    594800 |     140    11900    83300 |    59647    57282     44 |  0.005 % |
325.35/325.61	c |    594977 |     140    11900    83300 |    59647    57459     44 |  0.005 % |
325.45/325.73	c |    595171 |     140    11900    83300 |    59647    57653     44 |  0.005 % |
325.55/325.86	c |    595383 |     140    11900    83300 |    59647    57865     44 |  0.005 % |
325.75/326.01	c |    595617 |     140    11900    83300 |    59647    58099     44 |  0.005 % |
325.85/326.16	c |    595873 |     140    11900    83300 |    59647    58355     44 |  0.005 % |
326.05/326.32	c |    596156 |     140    11900    83300 |    59647    58638     44 |  0.005 % |
326.25/326.52	c |    596466 |     140    11900    83300 |    59647    58948     44 |  0.005 % |
326.45/326.73	c |    596807 |     140    11900    83300 |    59647    59289     44 |  0.005 % |
326.65/326.96	c |    597180 |     140    11900    83300 |    59647    59662     44 |  0.005 % |
326.95/327.24	c |    597589 |     140    11900    83300 |    59647    52451     44 |  0.005 % |
327.25/327.56	c |    598038 |     140    11900    83300 |    59647    52900     44 |  0.005 % |
327.65/327.94	c |    598532 |     140    11900    83300 |    59647    53394     44 |  0.005 % |
328.05/328.32	c |    599074 |     140    11900    83300 |    59647    53936     44 |  0.005 % |
328.35/328.70	c |    599671 |     140    11900    83300 |    59647    54533     44 |  0.005 % |
328.85/329.12	c |    600326 |     140    11900    83300 |    54864    47977     44 |  0.005 % |
329.25/329.52	c |    601046 |     140    11900    83300 |    54864    48697     44 |  0.005 % |
329.65/329.99	c |    601838 |     140    11900    83300 |    54864    49489     44 |  0.005 % |
330.25/330.52	c |    602711 |     140    11900    83300 |    54864    50362     44 |  0.005 % |
330.75/331.08	c |    603669 |     140    11900    83300 |    54864    51320     44 |  0.005 % |
331.35/331.61	c |    604723 |     140    11900    83300 |    54864    52374     44 |  0.005 % |
331.85/332.19	c |    605883 |     140    11900    83300 |    54864    53534     44 |  0.005 % |
332.54/332.88	c |    607156 |     140    11900    83300 |    54864    54807     44 |  0.005 % |
333.24/333.59	c |    608556 |     140    11900    83300 |    54864    49934     44 |  0.005 % |
334.15/334.44	c |    610096 |     140    11900    83300 |    51379    45961     44 |  0.005 % |
335.04/335.31	c |    611791 |     140    11900    83300 |    51379    47656     44 |  0.005 % |
335.94/336.22	c |    613655 |     140    11900    83300 |    51379    49520     44 |  0.005 % |
337.04/337.32	c |    615706 |     140    11900    83300 |    51379    46426     44 |  0.005 % |
338.04/338.35	c |    617960 |     140    11900    83300 |    51379    48680     44 |  0.005 % |
339.14/339.50	c |    620438 |     140    11900    83300 | 2147483647    51158     44 |  0.005 % |
340.44/340.76	c |    623163 |     140    11900    83300 | 2147483647    53883     44 |  0.005 % |
342.14/342.41	c |    626161 |     140    11900    83300 | 2147483647    56881     44 |  0.005 % |
343.94/344.20	c |    629459 |     140    11900    83300 | 2147483647    60179     44 |  0.005 % |
345.94/346.28	c |    633085 |     140    11900    83300 |    60720    57085     44 |  0.005 % |
348.94/349.21	c |    637073 |     140    11900    83300 |    60720    51799     44 |  0.005 % |
351.34/351.68	c |    641459 |     140    11900    83300 |    54726    48196     44 |  0.005 % |
353.84/354.19	c |    646282 |     140    11900    83300 |    54726    53019     44 |  0.005 % |
356.53/356.80	c |    651587 |     140    11900    83300 |    50436    46547     44 |  0.005 % |
359.44/359.72	c |    657424 |     140    11900    83300 |    50436    47333     44 |  0.005 % |
359.44/359.77	c |    657525 |     140    11900    83300 |    50436    47434     44 |  0.005 % |
359.53/359.84	c |    657636 |     140    11900    83300 |    50436    47545     44 |  0.005 % |
359.63/359.91	c |    657758 |     140    11900    83300 |    50436    47667     44 |  0.005 % |
359.63/359.98	c |    657893 |     140    11900    83300 |    50436    47802     44 |  0.005 % |
359.73/360.06	c |    658039 |     140    11900    83300 |    50436    47948     44 |  0.005 % |
359.83/360.18	c |    658199 |     140    11900    83300 |    50436    48108     44 |  0.005 % |
359.93/360.28	c |    658375 |     140    11900    83300 |    50436    48284     44 |  0.005 % |
360.03/360.38	c |    658568 |     140    11900    83300 |    50436    48477     44 |  0.005 % |
360.23/360.53	c |    658780 |     140    11900    83300 |    50436    48689     44 |  0.005 % |
360.33/360.67	c |    659013 |     140    11900    83300 |    50436    48922     44 |  0.005 % |
360.54/360.86	c |    659269 |     140    11900    83300 |    50436    49178     44 |  0.005 % |
360.73/361.02	c |    659550 |     140    11900    83300 |    50436    49459     44 |  0.005 % |
360.93/361.22	c |    659863 |     140    11900    83300 |    50436    49772     44 |  0.005 % |
361.13/361.46	c |    660202 |     140    11900    83300 | 2147483647    50111     44 |  0.005 % |
361.43/361.72	c |    660574 |     140    11900    83300 | 2147483647    50483     44 |  0.005 % |
361.72/362.00	c |    660984 |     140    11900    83300 | 2147483647    50893     44 |  0.005 % |
361.92/362.27	c |    661433 |     140    11900    83300 | 2147483647    51342     44 |  0.005 % |
362.22/362.57	c |    661927 |     140    11900    83300 | 2147483647    51836     44 |  0.005 % |
362.52/362.87	c |    662470 |     140    11900    83300 | 2147483647    52379     44 |  0.005 % |
362.92/363.21	c |    663066 |     140    11900    83300 | 2147483647    52975     44 |  0.005 % |
363.32/363.65	c |    663721 |     140    11900    83300 | 2147483647    53630     44 |  0.005 % |
363.72/364.05	c |    664441 |     140    11900    83300 | 2147483647    54350     44 |  0.005 % |
364.22/364.51	c |    665233 |     140    11900    83300 | 2147483647    55142     44 |  0.005 % |
364.72/365.02	c |    666104 |     140    11900    83300 | 2147483647    56013     44 |  0.005 % |
365.32/365.65	c |    667062 |     140    11900    83300 | 2147483647    56971     44 |  0.005 % |
366.12/366.43	c |    668115 |     140    11900    83300 | 2147483647    58024     44 |  0.005 % |
366.82/367.16	c |    669273 |     140    11900    83300 | 2147483647    59182     44 |  0.005 % |
367.62/367.91	c |    670547 |     140    11900    83300 |    59910    52239     44 |  0.005 % |
368.42/368.77	c |    671947 |     140    11900    83300 |    59910    53639     44 |  0.005 % |
369.32/369.67	c |    673488 |     140    11900    83300 |    59910    55180     44 |  0.005 % |
370.32/370.69	c |    675183 |     140    11900    83300 |    59910    56875     44 |  0.005 % |
371.52/371.83	c |    677046 |     140    11900    83300 |    59910    58738     44 |  0.005 % |
373.01/373.34	c |    679096 |     140    11900    83300 |    59910    52381     44 |  0.005 % |
374.31/374.64	c |    681349 |     140    11900    83300 |    53285    47146     44 |  0.005 % |
375.61/375.94	c |    683827 |     140    11900    83300 |    53285    49624     44 |  0.005 % |
377.11/377.45	c |    686552 |     140    11900    83300 |    53285    52349     44 |  0.005 % |
378.91/379.22	c |    689550 |     140    11900    83300 |    53285    49210     44 |  0.005 % |
380.61/380.91	c |    692848 |     140    11900    83300 |    49661    47002     44 |  0.005 % |
382.41/382.79	c |    696475 |     140    11900    83300 |    49661    45657     44 |  0.005 % |
384.21/384.54	c |    700462 |     140    11900    83300 | 2147483647    49644     44 |  0.005 % |
386.41/386.75	c |    704847 |     140    11900    83300 | 2147483647    54029     44 |  0.005 % |
389.11/389.42	c |    709670 |     140    11900    83300 | 2147483647    58852     44 |  0.005 % |
392.21/392.53	c |    714975 |     140    11900    83300 |    59182    57999     44 |  0.005 % |
395.31/395.64	c |    720811 |     140    11900    83300 |    55665    49846     44 |  0.005 % |
398.71/399.06	c |    727229 |     140    11900    83300 |    55665    50183     44 |  0.005 % |
398.81/399.13	c |    727331 |     140    11900    83300 |    55665    50285     44 |  0.005 % |
398.91/399.21	c |    727441 |     140    11900    83300 |    55665    50395     44 |  0.005 % |
398.91/399.29	c |    727562 |     140    11900    83300 |    55665    50516     44 |  0.005 % |
399.01/399.39	c |    727696 |     140    11900    83300 |    55665    50650     44 |  0.005 % |
399.10/399.48	c |    727842 |     140    11900    83300 |    55665    50796     44 |  0.005 % |
399.20/399.57	c |    728002 |     140    11900    83300 |    55665    50956     44 |  0.005 % |
399.40/399.71	c |    728180 |     140    11900    83300 |    55665    51134     44 |  0.005 % |
399.50/399.86	c |    728373 |     140    11900    83300 |    55665    51327     44 |  0.005 % |
399.70/400.01	c |    728586 |     140    11900    83300 |    55665    51540     44 |  0.005 % |
399.80/400.18	c |    728820 |     140    11900    83300 |    55665    51774     44 |  0.005 % |
400.01/400.33	c |    729077 |     140    11900    83300 |    55665    52031     44 |  0.005 % |
400.20/400.51	c |    729358 |     140    11900    83300 |    55665    52312     44 |  0.005 % |
400.40/400.71	c |    729667 |     140    11900    83300 |    55665    52621     44 |  0.005 % |
400.60/400.92	c |    730007 |     140    11900    83300 |    52955    52961     44 |  0.005 % |
400.80/401.17	c |    730379 |     140    11900    83300 |    52955    47227     44 |  0.005 % |
401.11/401.41	c |    730789 |     140    11900    83300 |    52955    47637     44 |  0.005 % |
401.30/401.63	c |    731240 |     140    11900    83300 |    52955    48088     44 |  0.005 % |
401.60/401.90	c |    731734 |     140    11900    83300 |    52955    48582     44 |  0.005 % |
401.80/402.17	c |    732278 |     140    11900    83300 |    52955    49126     44 |  0.005 % |
402.10/402.47	c |    732874 |     140    11900    83300 |    52955    49722     44 |  0.005 % |
402.50/402.82	c |    733530 |     140    11900    83300 |    52955    50378     44 |  0.005 % |
402.90/403.24	c |    734251 |     140    11900    83300 |    52955    51099     44 |  0.005 % |
403.31/403.63	c |    735044 |     140    11900    83300 |    52955    51892     44 |  0.005 % |
403.80/404.13	c |    735915 |     140    11900    83300 |    52955    52763     44 |  0.005 % |
404.30/404.66	c |    736875 |     140    11900    83300 |    52955    48125     44 |  0.005 % |
404.80/405.16	c |    737928 |     140    11900    83300 |    52955    49178     44 |  0.005 % |
405.40/405.72	c |    739089 |     140    11900    83300 |    52955    50339     44 |  0.005 % |
406.10/406.43	c |    740364 |     140    11900    83300 |    51251    46270     44 |  0.005 % |
406.79/407.13	c |    741764 |     140    11900    83300 |    51251    47670     44 |  0.005 % |
407.49/407.84	c |    743306 |     140    11900    83300 |    51251    49212     44 |  0.005 % |
408.29/408.60	c |    745000 |     140    11900    83300 |    51251    50906     44 |  0.005 % |
409.29/409.60	c |    746863 |     140    11900    83300 |    51251    47637     44 |  0.005 % |
410.29/410.63	c |    748913 |     140    11900    83300 |    51251    49687     44 |  0.005 % |
411.39/411.76	c |    751166 |     140    11900    83300 | 2147483647    51940     44 |  0.005 % |
412.69/413.03	c |    753644 |     140    11900    83300 | 2147483647    54418     44 |  0.005 % |
414.19/414.50	c |    756370 |     140    11900    83300 | 2147483647    57144     44 |  0.005 % |
415.89/416.22	c |    759368 |     140    11900    83300 | 2147483647    60142     44 |  0.005 % |
417.79/418.17	c |    762664 |     140    11900    83300 |    60774    56437     44 |  0.005 % |
419.89/420.29	c |    766291 |     140    11900    83300 |    60774    60064     44 |  0.005 % |
422.29/422.66	c |    770281 |     140    11900    83300 |    55563    48629     44 |  0.005 % |
424.49/424.88	c |    774666 |     140    11900    83300 |    55563    53014     44 |  0.005 % |
426.99/427.36	c |    779490 |     140    11900    83300 |    55563    52207     44 |  0.005 % |
429.99/430.33	c |    784797 |     140    11900    83300 | 2147483647    57514     44 |  0.005 % |
433.39/433.79	c |    790633 |     140    11900    83300 |    62718    55296     44 |  0.005 % |
437.09/437.49	c |    797053 |     140    11900    83300 |    62718    61716     44 |  0.005 % |
440.39/440.71	c |    804112 |     140    11900    83300 |    55740    52049     44 |  0.005 % |
440.39/440.75	c |    804212 |     140    11900    83300 |    55740    52149     44 |  0.005 % |
440.49/440.81	c |    804323 |     140    11900    83300 |    55740    52260     44 |  0.005 % |
440.49/440.87	c |    804444 |     140    11900    83300 |    55740    52381     44 |  0.005 % |
440.59/440.95	c |    804578 |     140    11900    83300 |    55740    52515     44 |  0.005 % |
440.69/441.04	c |    804724 |     140    11900    83300 |    55740    52661     44 |  0.005 % |
440.79/441.14	c |    804886 |     140    11900    83300 |    55740    52823     44 |  0.005 % |
440.88/441.24	c |    805063 |     140    11900    83300 |    55740    53000     44 |  0.005 % |
440.98/441.37	c |    805258 |     140    11900    83300 |    55740    53195     44 |  0.005 % |
441.08/441.48	c |    805472 |     140    11900    83300 |    55740    53409     44 |  0.005 % |
441.28/441.62	c |    805705 |     140    11900    83300 |    55740    53642     44 |  0.005 % |
441.38/441.75	c |    805961 |     140    11900    83300 |    55740    53898     44 |  0.005 % |
441.58/441.96	c |    806243 |     140    11900    83300 |    55740    54180     44 |  0.005 % |
441.79/442.16	c |    806553 |     140    11900    83300 |    55740    54490     44 |  0.005 % |
442.08/442.42	c |    806893 |     140    11900    83300 |    55740    54830     44 |  0.005 % |
442.28/442.65	c |    807266 |     140    11900    83300 |    55740    55203     44 |  0.005 % |
442.58/442.91	c |    807675 |     140    11900    83300 |    55740    55612     44 |  0.005 % |
442.89/443.23	c |    808126 |     140    11900    83300 |    55740    49161     44 |  0.005 % |
443.08/443.49	c |    808621 |     140    11900    83300 |    55740    49656     44 |  0.005 % |
443.38/443.79	c |    809163 |     140    11900    83300 |    55740    50198     44 |  0.005 % |
443.68/444.09	c |    809759 |     140    11900    83300 |    55740    50794     44 |  0.005 % |
444.09/444.49	c |    810416 |     140    11900    83300 |    51036    45374     44 |  0.005 % |
444.48/444.86	c |    811136 |     140    11900    83300 |    51036    46094     44 |  0.005 % |
444.88/445.23	c |    811929 |     140    11900    83300 |    51036    46887     44 |  0.005 % |
445.28/445.63	c |    812800 |     140    11900    83300 |    51036    47758     44 |  0.005 % |
445.78/446.12	c |    813758 |     140    11900    83300 |    51036    48716     44 |  0.005 % |
446.29/446.67	c |    814812 |     140    11900    83300 |    51036    49770     44 |  0.005 % |
446.88/447.25	c |    815971 |     140    11900    83300 |    51036    50929     44 |  0.005 % |
447.48/447.84	c |    817244 |     140    11900    83300 |    51036    47093     44 |  0.005 % |
448.18/448.55	c |    818645 |     140    11900    83300 |    51036    48494     44 |  0.005 % |
448.88/449.25	c |    820187 |     140    11900    83300 | 2147483647    50036     44 |  0.005 % |
449.68/450.06	c |    821881 |     140    11900    83300 | 2147483647    51730     44 |  0.005 % |
450.68/451.02	c |    823744 |     140    11900    83300 | 2147483647    53593     44 |  0.005 % |
451.87/452.20	c |    825793 |     140    11900    83300 | 2147483647    55642     44 |  0.005 % |
453.17/453.56	c |    828047 |     140    11900    83300 | 2147483647    57896     44 |  0.005 % |
454.77/455.15	c |    830525 |     140    11900    83300 |    59850    53376     44 |  0.005 % |
456.37/456.71	c |    833250 |     140    11900    83300 |    59850    56101     44 |  0.005 % |
458.17/458.50	c |    836248 |     140    11900    83300 |    59850    59099     44 |  0.005 % |
459.97/460.34	c |    839544 |     140    11900    83300 |    59850    54033     44 |  0.005 % |
461.87/462.29	c |    843169 |     140    11900    83300 |    54490    50355     44 |  0.005 % |
464.07/464.42	c |    847156 |     140    11900    83300 |    54490    54342     44 |  0.005 % |
466.27/466.69	c |    851541 |     140    11900    83300 |    50992    46988     44 |  0.005 % |
468.77/469.15	c |    856364 |     140    11900    83300 |    50992    46706     44 |  0.005 % |
471.57/471.91	c |    861670 |     140    11900    83300 | 2147483647    52012     44 |  0.005 % |
474.97/475.37	c |    867506 |     140    11900    83300 | 2147483647    57848     44 |  0.005 % |
478.97/479.35	c |    873924 |     140    11900    83300 |    60342    56250     44 |  0.005 % |
483.26/483.61	c |    880983 |     140    11900    83300 |    54194    48125     44 |  0.005 % |
487.56/487.91	c |    888747 |     140    11900    83300 |    54194    50328     44 |  0.005 % |
487.56/487.97	c |    888847 |     140    11900    83300 |    54194    50428     44 |  0.005 % |
487.66/488.04	c |    888958 |     140    11900    83300 |    54194    50539     44 |  0.005 % |
487.76/488.11	c |    889081 |     140    11900    83300 |    54194    50662     44 |  0.005 % |
487.86/488.22	c |    889214 |     140    11900    83300 |    54194    50795     44 |  0.005 % |
487.96/488.31	c |    889361 |     140    11900    83300 |    54194    50942     44 |  0.005 % |
487.96/488.40	c |    889521 |     140    11900    83300 |    54194    51102     44 |  0.005 % |
488.16/488.53	c |    889697 |     140    11900    83300 |    54194    51278     44 |  0.005 % |
488.26/488.67	c |    889890 |     140    11900    83300 |    54194    51471     44 |  0.005 % |
488.46/488.84	c |    890102 |     140    11900    83300 |    51582    46133     44 |  0.005 % |
488.56/488.95	c |    890335 |     140    11900    83300 |    51582    46366     44 |  0.005 % |
488.66/489.07	c |    890591 |     140    11900    83300 |    51582    46622     44 |  0.005 % |
488.86/489.25	c |    890873 |     140    11900    83300 |    51582    46904     44 |  0.005 % |
489.07/489.45	c |    891185 |     140    11900    83300 |    51582    47216     44 |  0.005 % |
489.26/489.65	c |    891525 |     140    11900    83300 |    51582    47556     44 |  0.005 % |
489.46/489.89	c |    891897 |     140    11900    83300 |    51582    47928     44 |  0.005 % |
489.76/490.14	c |    892306 |     140    11900    83300 |    51582    48337     44 |  0.005 % |
489.96/490.39	c |    892755 |     140    11900    83300 |    51582    48786     44 |  0.005 % |
490.26/490.67	c |    893249 |     140    11900    83300 |    51582    49280     44 |  0.005 % |
490.56/490.96	c |    893792 |     140    11900    83300 |    51582    49823     44 |  0.005 % |
490.96/491.30	c |    894390 |     140    11900    83300 |    51582    50421     44 |  0.005 % |
491.26/491.66	c |    895045 |     140    11900    83300 |    51582    51076     44 |  0.005 % |
491.76/492.16	c |    895765 |     140    11900    83300 |    51582    46412     44 |  0.005 % |
492.16/492.56	c |    896557 |     140    11900    83300 |    51582    47204     44 |  0.005 % |
492.66/493.02	c |    897429 |     140    11900    83300 |    51582    48076     44 |  0.005 % |
493.16/493.59	c |    898387 |     140    11900    83300 |    51582    49034     44 |  0.005 % |
493.76/494.18	c |    899441 |     140    11900    83300 |    51582    50088     44 |  0.005 % |
494.46/494.81	c |    900599 |     140    11900    83300 |    50649    46025     43 |  0.005 % |
495.16/495.53	c |    901872 |     140    11900    83300 |    50649    47298     43 |  0.005 % |
495.95/496.33	c |    903272 |     140    11900    83300 |    50649    48698     43 |  0.005 % |
496.86/497.24	c |    904813 |     140    11900    83300 |    50649    50239     43 |  0.005 % |
497.86/498.21	c |    906508 |     140    11900    83300 |    50649    46862     43 |  0.005 % |
498.85/499.23	c |    908371 |     140    11900    83300 |    50649    48725     43 |  0.005 % |
499.95/500.30	c |    910420 |     140    11900    83300 | 2147483647    50774     43 |  0.005 % |
501.05/501.49	c |    912673 |     140    11900    83300 | 2147483647    53027     43 |  0.005 % |
502.55/502.91	c |    915153 |     140    11900    83300 | 2147483647    55507     43 |  0.005 % |
504.05/504.45	c |    917879 |     140    11900    83300 | 2147483647    58233     44 |  0.005 % |
505.85/506.20	c |    920876 |     140    11900    83300 |    60354    53952     44 |  0.005 % |
507.55/507.97	c |    924172 |     140    11900    83300 |    60354    57248     44 |  0.005 % |
509.75/510.16	c |    927798 |     140    11900    83300 |    60354    53464     44 |  0.005 % |
511.85/512.27	c |    931785 |     140    11900    83300 |    55666    50545     44 |  0.005 % |
514.15/514.60	c |    936170 |     140    11900    83300 |    55666    54930     44 |  0.005 % |
516.95/517.34	c |    940995 |     140    11900    83300 |    52728    47988     44 |  0.005 % |
519.75/520.11	c |    946300 |     140    11900    83300 |    52728    48014     44 |  0.005 % |
522.64/523.03	c |    952136 |     140    11900    83300 | 2147483647    53850     44 |  0.005 % |
526.04/526.46	c |    958554 |     140    11900    83300 | 2147483647    60268     44 |  0.005 % |
529.85/530.21	c |    965613 |     140    11900    83300 |    61715    59932     45 |  0.005 % |
533.94/534.31	c |    973377 |     140    11900    83300 |    56165    52152     45 |  0.005 % |
538.34/538.77	c |    981918 |     140    11900    83300 |    52064    47926     45 |  0.005 % |
538.44/538.82	c |    982019 |     140    11900    83300 |    52064    48027     45 |  0.005 % |
538.44/538.89	c |    982129 |     140    11900    83300 |    52064    48137     45 |  0.005 % |
538.54/538.96	c |    982251 |     140    11900    83300 |    52064    48259     45 |  0.005 % |
538.64/539.05	c |    982384 |     140    11900    83300 |    52064    48392     45 |  0.005 % |
538.74/539.14	c |    982530 |     140    11900    83300 |    52064    48538     45 |  0.005 % |
538.84/539.23	c |    982690 |     140    11900    83300 |    52064    48698     45 |  0.005 % |
538.94/539.33	c |    982866 |     140    11900    83300 |    52064    48874     45 |  0.005 % |
539.04/539.44	c |    983059 |     140    11900    83300 |    52064    49067     45 |  0.005 % |
539.14/539.57	c |    983272 |     140    11900    83300 |    52064    49280     45 |  0.005 % |
539.34/539.71	c |    983506 |     140    11900    83300 |    52064    49514     45 |  0.005 % |
539.44/539.87	c |    983763 |     140    11900    83300 |    52064    49771     45 |  0.005 % |
539.64/540.04	c |    984045 |     140    11900    83300 |    52064    50053     45 |  0.005 % |
539.84/540.24	c |    984354 |     140    11900    83300 |    52064    50362     45 |  0.005 % |
540.04/540.45	c |    984693 |     140    11900    83300 |    52064    50701     45 |  0.005 % |
540.24/540.66	c |    985066 |     140    11900    83300 |    52064    51074     45 |  0.005 % |
540.54/540.92	c |    985477 |     140    11900    83300 |    52064    51485     45 |  0.005 % |
540.74/541.15	c |    985926 |     140    11900    83300 |    52064    51934     45 |  0.005 % |
541.03/541.43	c |    986421 |     140    11900    83300 |    52064    46764     45 |  0.005 % |
541.33/541.72	c |    986964 |     140    11900    83300 |    52064    47307     45 |  0.005 % |
541.63/542.01	c |    987561 |     140    11900    83300 |    52064    47904     45 |  0.005 % |
542.03/542.42	c |    988216 |     140    11900    83300 |    52064    48559     45 |  0.005 % |
542.33/542.78	c |    988937 |     140    11900    83300 |    52064    49280     45 |  0.005 % |
542.73/543.18	c |    989729 |     140    11900    83300 |    52064    50072     45 |  0.005 % |
543.33/543.70	c |    990600 |     140    11900    83300 |    50345    45744     45 |  0.005 % |
543.73/544.19	c |    991558 |     140    11900    83300 |    50345    46702     45 |  0.005 % |
544.33/544.72	c |    992612 |     140    11900    83300 |    50345    47756     45 |  0.005 % |
544.83/545.29	c |    993771 |     140    11900    83300 |    50345    48915     45 |  0.005 % |
545.53/545.95	c |    995045 |     140    11900    83300 |    50345    50189     45 |  0.005 % |
546.33/546.73	c |    996445 |     140    11900    83300 |    50345    46549     44 |  0.005 % |
547.13/547.55	c |    997985 |     140    11900    83300 |    50345    48089     44 |  0.005 % |
547.93/548.38	c |    999680 |     140    11900    83300 |    50345    49784     44 |  0.005 % |
548.93/549.33	c |   1001543 |     140    11900    83300 | 2147483647    51647     44 |  0.005 % |
550.13/550.52	c |   1003592 |     140    11900    83300 | 2147483647    53696     44 |  0.005 % |
551.33/551.77	c |   1005845 |     140    11900    83300 | 2147483647    55949     44 |  0.005 % |
552.72/553.10	c |   1008327 |     140    11900    83300 | 2147483647    58431     44 |  0.005 % |
554.32/554.72	c |   1011052 |     140    11900    83300 |    60104    53475     44 |  0.005 % |
556.32/556.75	c |   1014050 |     140    11900    83300 |    60104    56473     44 |  0.005 % |
558.62/559.08	c |   1017347 |     140    11900    83300 |    60104    59770     44 |  0.005 % |
560.62/561.05	c |   1020972 |     140    11900    83300 |    53403    46823     44 |  0.005 % |
562.42/562.88	c |   1024960 |     140    11900    83300 |    53403    50811     44 |  0.005 % |
564.62/565.08	c |   1029347 |     140    11900    83300 |    53403    49852     44 |  0.005 % |
566.92/567.35	c |   1034170 |     140    11900    83300 | 2147483647    54675     44 |  0.005 % |
569.92/570.31	c |   1039475 |     140    11900    83300 | 2147483647    59980     44 |  0.005 % |
573.32/573.79	c |   1045312 |     140    11900    83300 |    60505    59229     44 |  0.005 % |
576.81/577.20	c |   1051730 |     140    11900    83300 |    56220    50942     44 |  0.005 % |
580.42/580.85	c |   1058789 |     140    11900    83300 |    56220    51986     44 |  0.005 % |
584.31/584.73	c |   1066553 |     140    11900    83300 |    53198    49045     44 |  0.005 % |
588.61/589.05	c |   1075094 |     140    11900    83300 | 2147483647    57586     44 |  0.005 % |
593.80/594.22	c |   1084489 |     140    11900    83300 |    62493    58308     44 |  0.005 % |
593.80/594.28	c |   1084589 |     140    11900    83300 |    62493    58408     44 |  0.005 % |
593.90/594.38	c |   1084700 |     140    11900    83300 |    62493    58519     44 |  0.005 % |
594.00/594.47	c |   1084821 |     140    11900    83300 |    62493    58640     44 |  0.005 % |
594.10/594.56	c |   1084954 |     140    11900    83300 |    62493    58773     44 |  0.005 % |
594.20/594.67	c |   1085100 |     140    11900    83300 |    62493    58919     44 |  0.005 % |
594.30/594.78	c |   1085263 |     140    11900    83300 |    62493    59082     44 |  0.005 % |
594.40/594.90	c |   1085439 |     140    11900    83300 |    62493    59258     44 |  0.005 % |
594.61/595.05	c |   1085633 |     140    11900    83300 |    62493    59452     44 |  0.005 % |
594.80/595.20	c |   1085845 |     140    11900    83300 |    62493    59664     44 |  0.005 % |
594.90/595.36	c |   1086078 |     140    11900    83300 |    62493    59897     44 |  0.005 % |
595.10/595.56	c |   1086334 |     140    11900    83300 |    62493    60153     44 |  0.005 % |
595.30/595.77	c |   1086616 |     140    11900    83300 |    62493    60435     44 |  0.005 % |
595.50/595.97	c |   1086926 |     140    11900    83300 |    62493    60745     44 |  0.005 % |
595.70/596.19	c |   1087265 |     140    11900    83300 |    62493    61084     44 |  0.005 % |
596.00/596.47	c |   1087637 |     140    11900    83300 |    62493    61456     44 |  0.005 % |
596.30/596.79	c |   1088047 |     140    11900    83300 |    62493    61866     44 |  0.005 % |
596.70/597.14	c |   1088496 |     140    11900    83300 |    62493    62315     44 |  0.005 % |
597.10/597.53	c |   1088990 |     140    11900    83300 |    62493    52881     44 |  0.005 % |
597.40/597.88	c |   1089533 |     140    11900    83300 |    62493    53424     44 |  0.005 % |
597.80/598.30	c |   1090130 |     140    11900    83300 |    53891    45471     44 |  0.005 % |
598.20/598.62	c |   1090785 |     140    11900    83300 |    53891    46126     44 |  0.005 % |
598.50/598.99	c |   1091507 |     140    11900    83300 |    53891    46848     44 |  0.005 % |
599.00/599.42	c |   1092299 |     140    11900    83300 |    53891    47640     44 |  0.005 % |
599.40/599.90	c |   1093171 |     140    11900    83300 |    53891    48512     44 |  0.005 % |
599.90/600.35	c |   1094129 |     140    11900    83300 |    53891    49470     44 |  0.005 % |
600.40/600.89	c |   1095182 |     140    11900    83300 |    53891    50523     44 |  0.005 % |
600.99/601.43	c |   1096341 |     140    11900    83300 |    53891    51682     44 |  0.005 % |
601.59/602.06	c |   1097614 |     140    11900    83300 |    53891    52955     44 |  0.005 % |
602.40/602.82	c |   1099014 |     140    11900    83300 |    53891    48306     44 |  0.005 % |
603.29/603.76	c |   1100557 |     140    11900    83300 |    49293    44274     45 |  0.005 % |
604.29/604.77	c |   1102253 |     140    11900    83300 |    49293    45970     44 |  0.005 % |
605.19/605.69	c |   1104116 |     140    11900    83300 |    49293    47833     44 |  0.005 % |
606.19/606.68	c |   1106167 |     140    11900    83300 |    49293    44911     45 |  0.005 % |
607.29/607.71	c |   1108420 |     140    11900    83300 |    49293    47164     45 |  0.005 % |
608.29/608.74	c |   1110898 |     140    11900    83300 | 2147483647    49642     45 |  0.005 % |
609.59/610.09	c |   1113623 |     140    11900    83300 | 2147483647    52367     45 |  0.005 % |
611.29/611.76	c |   1116620 |     140    11900    83300 | 2147483647    55364     44 |  0.005 % |
613.19/613.70	c |   1119916 |     140    11900    83300 | 2147483647    58660     44 |  0.005 % |
615.29/615.70	c |   1123541 |     140    11900    83300 |    58744    56064     44 |  0.005 % |
617.79/618.27	c |   1127530 |     140    11900    83300 |    58744    52358     44 |  0.005 % |
620.39/620.86	c |   1131915 |     140    11900    83300 |    54828    49378     44 |  0.005 % |
622.89/623.35	c |   1136740 |     140    11900    83300 |    54828    54203     44 |  0.005 % |
625.59/626.05	c |   1142047 |     140    11900    83300 |    51507    48244     44 |  0.005 % |
628.48/628.92	c |   1147882 |     140    11900    83300 |    51507    48922     44 |  0.005 % |
632.18/632.70	c |   1154302 |     140    11900    83300 | 2147483647    55342     44 |  0.005 % |
636.28/636.78	c |   1161361 |     140    11900    83300 |    61040    54588     44 |  0.005 % |
641.17/641.67	c |   1169125 |     140    11900    83300 |    61040    53576     44 |  0.005 % |
646.17/646.66	c |   1177665 |     140    11900    83300 |    54453    54400     44 |  0.005 % |
650.37/650.80	c |   1187059 |     140    11900    83300 |    49939    46291     44 |  0.005 % |
655.27/655.77	c |   1197392 |     140    11900    83300 | 2147483647    56624     45 |  0.005 % |
655.37/655.84	c |   1197495 |     140    11900    83300 | 2147483647    56727     45 |  0.005 % |
655.47/655.92	c |   1197606 |     140    11900    83300 | 2147483647    56838     45 |  0.005 % |
655.47/656.00	c |   1197728 |     140    11900    83300 | 2147483647    56960     45 |  0.005 % |
655.57/656.09	c |   1197863 |     140    11900    83300 | 2147483647    57095     45 |  0.005 % |
655.67/656.17	c |   1198009 |     140    11900    83300 | 2147483647    57241     44 |  0.005 % |
655.77/656.28	c |   1198170 |     140    11900    83300 | 2147483647    57402     44 |  0.005 % |
655.87/656.39	c |   1198346 |     140    11900    83300 | 2147483647    57578     44 |  0.005 % |
656.07/656.52	c |   1198539 |     140    11900    83300 | 2147483647    57771     44 |  0.005 % |
656.27/656.71	c |   1198751 |     140    11900    83300 | 2147483647    57983     44 |  0.005 % |
656.37/656.85	c |   1198985 |     140    11900    83300 | 2147483647    58217     44 |  0.005 % |
656.57/657.02	c |   1199243 |     140    11900    83300 | 2147483647    58475     44 |  0.005 % |
656.67/657.19	c |   1199524 |     140    11900    83300 | 2147483647    58756     44 |  0.005 % |
656.97/657.43	c |   1199833 |     140    11900    83300 | 2147483647    59065     44 |  0.005 % |
657.27/657.70	c |   1200172 |     140    11900    83300 |    59233    52219     44 |  0.005 % |
657.37/657.89	c |   1200544 |     140    11900    83300 |    59233    52591     44 |  0.005 % |
657.67/658.10	c |   1200956 |     140    11900    83300 |    59233    53003     44 |  0.005 % |
657.87/658.31	c |   1201405 |     140    11900    83300 |    59233    53452     44 |  0.005 % |
658.17/658.60	c |   1201898 |     140    11900    83300 |    59233    53945     44 |  0.005 % |
658.37/658.87	c |   1202440 |     140    11900    83300 |    59233    54487     44 |  0.005 % |
658.67/659.16	c |   1203041 |     140    11900    83300 |    59233    55088     44 |  0.005 % |
659.07/659.55	c |   1203697 |     140    11900    83300 |    59233    55744     44 |  0.005 % |
659.47/659.95	c |   1204417 |     140    11900    83300 |    59233    56464     44 |  0.005 % |
659.97/660.40	c |   1205209 |     140    11900    83300 |    59233    57256     44 |  0.005 % |
660.47/660.96	c |   1206080 |     140    11900    83300 |    59233    58127     44 |  0.005 % |
661.17/661.66	c |   1207038 |     140    11900    83300 |    59233    59085     44 |  0.005 % |
661.86/662.36	c |   1208095 |     140    11900    83300 |    59233    52137     44 |  0.005 % |
662.56/663.07	c |   1209253 |     140    11900    83300 |    59233    53295     44 |  0.005 % |
663.36/663.85	c |   1210528 |     140    11900    83300 |    54043    47184     44 |  0.005 % |
664.26/664.73	c |   1211928 |     140    11900    83300 |    54043    48584     44 |  0.005 % |
665.16/665.62	c |   1213473 |     140    11900    83300 |    54043    50129     44 |  0.005 % |
666.07/666.50	c |   1215169 |     140    11900    83300 |    54043    51825     44 |  0.005 % |
666.96/667.46	c |   1217032 |     140    11900    83300 |    54043    53688     44 |  0.005 % |
668.27/668.74	c |   1219081 |     140    11900    83300 |    54043    49442     44 |  0.005 % |
669.47/669.95	c |   1221334 |     140    11900    83300 |    50361    45926     44 |  0.005 % |
670.76/671.21	c |   1223812 |     140    11900    83300 |    50361    48404     44 |  0.005 % |
672.16/672.68	c |   1226537 |     140    11900    83300 |    50361    46087     44 |  0.005 % |
674.06/674.51	c |   1229537 |     140    11900    83300 |    50361    49087     44 |  0.005 % |
675.86/676.30	c |   1232835 |     140    11900    83300 |    49550    47376     44 |  0.005 % |
677.66/678.10	c |   1236462 |     140    11900    83300 |    49550    46042     44 |  0.005 % |
679.55/680.04	c |   1240449 |     140    11900    83300 | 2147483647    50029     44 |  0.005 % |
681.95/682.49	c |   1244834 |     140    11900    83300 | 2147483647    54414     44 |  0.005 % |
684.65/685.10	c |   1249657 |     140    11900    83300 | 2147483647    59237     44 |  0.005 % |
687.45/687.90	c |   1254963 |     140    11900    83300 |    59580    58331     44 |  0.005 % |
690.65/691.10	c |   1260798 |     140    11900    83300 |    56938    51826     44 |  0.005 % |
694.45/694.90	c |   1267216 |     140    11900    83300 |    56938    52229     44 |  0.005 % |
698.05/698.54	c |   1274275 |     140    11900    83300 |    55014    53591     44 |  0.005 % |
702.15/702.67	c |   1282041 |     140    11900    83300 | 2147483647    55849     44 |  0.005 % |
707.45/707.93	c |   1290583 |     140    11900    83300 |    63808    54511     44 |  0.005 % |
712.94/713.44	c |   1299978 |     140    11900    83300 |    63808    53668     44 |  0.005 % |
718.04/718.59	c |   1310311 |     140    11900    83300 |    49358    44564     44 |  0.005 % |
723.43/723.95	c |   1321678 |     140    11900    83300 | 2147483647    50989     45 |  0.005 % |
723.53/724.00	c |   1321779 |     140    11900    83300 | 2147483647    51090     45 |  0.005 % |
723.53/724.06	c |   1321890 |     140    11900    83300 | 2147483647    51201     45 |  0.005 % |
723.63/724.14	c |   1322011 |     140    11900    83300 | 2147483647    51322     45 |  0.005 % |
723.73/724.23	c |   1322144 |     140    11900    83300 | 2147483647    51455     45 |  0.005 % |
723.83/724.32	c |   1322291 |     140    11900    83300 | 2147483647    51602     45 |  0.005 % |
723.93/724.43	c |   1322452 |     140    11900    83300 | 2147483647    51763     45 |  0.005 % |
724.03/724.55	c |   1322629 |     140    11900    83300 | 2147483647    51940     44 |  0.005 % |
724.13/724.67	c |   1322823 |     140    11900    83300 | 2147483647    52134     44 |  0.005 % |
724.23/724.79	c |   1323035 |     140    11900    83300 | 2147483647    52346     44 |  0.005 % |
724.44/724.99	c |   1323270 |     140    11900    83300 | 2147483647    52581     44 |  0.005 % |
724.63/725.16	c |   1323527 |     140    11900    83300 | 2147483647    52838     44 |  0.005 % |
724.83/725.34	c |   1323811 |     140    11900    83300 | 2147483647    53122     44 |  0.005 % |
725.03/725.53	c |   1324120 |     140    11900    83300 | 2147483647    53431     44 |  0.005 % |
725.23/725.74	c |   1324459 |     140    11900    83300 | 2147483647    53770     44 |  0.005 % |
725.43/725.94	c |   1324832 |     140    11900    83300 | 2147483647    54143     44 |  0.005 % |
725.73/726.20	c |   1325242 |     140    11900    83300 | 2147483647    54553     44 |  0.005 % |
725.93/726.47	c |   1325692 |     140    11900    83300 | 2147483647    55003     44 |  0.005 % |
726.23/726.77	c |   1326185 |     140    11900    83300 | 2147483647    55496     44 |  0.005 % |
726.53/727.08	c |   1326727 |     140    11900    83300 | 2147483647    56038     44 |  0.005 % |
726.93/727.40	c |   1327326 |     140    11900    83300 | 2147483647    56637     44 |  0.005 % |
727.33/727.80	c |   1327982 |     140    11900    83300 | 2147483647    57293     44 |  0.005 % |
727.73/728.23	c |   1328702 |     140    11900    83300 | 2147483647    58013     44 |  0.005 % |
728.13/728.69	c |   1329496 |     140    11900    83300 | 2147483647    58807     44 |  0.005 % |
728.63/729.19	c |   1330367 |     140    11900    83300 |    59311    52844     45 |  0.005 % |
729.13/729.64	c |   1331326 |     140    11900    83300 |    59311    53803     44 |  0.005 % |
729.63/730.14	c |   1332379 |     140    11900    83300 |    59311    54856     44 |  0.005 % |
730.23/730.77	c |   1333538 |     140    11900    83300 |    59311    56015     44 |  0.005 % |
731.13/731.62	c |   1334813 |     140    11900    83300 |    59311    57290     44 |  0.005 % |
732.03/732.51	c |   1336213 |     140    11900    83300 |    59311    58690     44 |  0.005 % |
732.83/733.40	c |   1337753 |     140    11900    83300 |    59311    52656     44 |  0.005 % |
733.83/734.30	c |   1339447 |     140    11900    83300 |    59311    54350     44 |  0.005 % |
734.82/735.35	c |   1341311 |     140    11900    83300 |    54903    49498     44 |  0.005 % |
735.82/736.38	c |   1343362 |     140    11900    83300 |    54903    51549     44 |  0.005 % |
737.02/737.57	c |   1345616 |     140    11900    83300 |    54903    53803     44 |  0.005 % |
738.22/738.77	c |   1348094 |     140    11900    83300 |    54903    50158     44 |  0.005 % |
739.62/740.10	c |   1350819 |     140    11900    83300 |    52064    47318     44 |  0.005 % |
741.02/741.59	c |   1353816 |     140    11900    83300 |    52064    50315     44 |  0.005 % |
742.72/743.22	c |   1357113 |     140    11900    83300 |    52064    48399     44 |  0.005 % |
744.23/744.75	c |   1360738 |     140    11900    83300 | 2147483647    52024     44 |  0.005 % |
746.12/746.65	c |   1364727 |     140    11900    83300 | 2147483647    56013     44 |  0.005 % |
748.62/749.16	c |   1369113 |     140    11900    83300 | 2147483647    60399     44 |  0.005 % |
751.32/751.82	c |   1373937 |     140    11900    83300 |    61286    58104     44 |  0.005 % |
754.52/755.02	c |   1379242 |     140    11900    83300 |    61286    55297     44 |  0.005 % |
757.62/758.18	c |   1385078 |     140    11900    83300 |    56055    53821     45 |  0.005 % |
761.21/761.72	c |   1391496 |     140    11900    83300 |    52265    47663     45 |  0.005 % |
764.81/765.31	c |   1398556 |     140    11900    83300 |    52265    48982     45 |  0.005 % |
768.31/768.88	c |   1406320 |     140    11900    83300 |    50429    46554     45 |  0.005 % |
772.20/772.79	c |   1414861 |     140    11900    83300 | 2147483647    55095     45 |  0.005 % |
777.11/777.65	c |   1424257 |     140    11900    83300 |    60234    58379     44 |  0.005 % |
782.20/782.76	c |   1434593 |     140    11900    83300 |    57107    55268     44 |  0.005 % |
787.90/788.48	c |   1445959 |     140    11900    83300 |    54284    54240     44 |  0.005 % |
794.80/795.36	c |   1458461 |     140    11900    83300 | 2147483647    61308     44 |  0.005 % |
794.90/795.42	c |   1458562 |     140    11900    83300 | 2147483647    61409     44 |  0.005 % |
795.00/795.50	c |   1458673 |     140    11900    83300 | 2147483647    61520     44 |  0.005 % |
795.00/795.59	c |   1458795 |     140    11900    83300 | 2147483647    61642     44 |  0.005 % |
795.10/795.67	c |   1458929 |     140    11900    83300 | 2147483647    61776     44 |  0.005 % |
795.20/795.78	c |   1459079 |     140    11900    83300 | 2147483647    61926     44 |  0.005 % |
795.40/795.92	c |   1459240 |     140    11900    83300 | 2147483647    62087     44 |  0.005 % |
795.50/796.05	c |   1459417 |     140    11900    83300 | 2147483647    62264     44 |  0.005 % |
795.70/796.22	c |   1459611 |     140    11900    83300 | 2147483647    62458     44 |  0.005 % |
795.80/796.38	c |   1459823 |     140    11900    83300 | 2147483647    62670     44 |  0.005 % |
796.00/796.55	c |   1460057 |     140    11900    83300 |    62847    62904     44 |  0.005 % |
796.30/796.81	c |   1460314 |     140    11900    83300 |    62847    54484     44 |  0.005 % |
796.40/796.99	c |   1460595 |     140    11900    83300 |    62847    54765     44 |  0.005 % |
796.70/797.21	c |   1460905 |     140    11900    83300 |    62847    55075     44 |  0.005 % |
796.90/797.40	c |   1461244 |     140    11900    83300 |    62847    55414     44 |  0.005 % |
797.10/797.62	c |   1461616 |     140    11900    83300 |    62847    55786     44 |  0.005 % |
797.40/797.90	c |   1462025 |     140    11900    83300 |    62847    56195     44 |  0.005 % |
797.70/798.21	c |   1462475 |     140    11900    83300 |    62847    56645     44 |  0.005 % |
798.00/798.55	c |   1462969 |     140    11900    83300 |    62847    57139     44 |  0.005 % |
798.39/798.90	c |   1463511 |     140    11900    83300 |    62847    57681     44 |  0.005 % |
798.79/799.32	c |   1464107 |     140    11900    83300 |    62847    58277     44 |  0.005 % |
799.20/799.71	c |   1464763 |     140    11900    83300 |    62847    58933     44 |  0.005 % |
799.59/800.16	c |   1465483 |     140    11900    83300 |    62847    59653     44 |  0.005 % |
800.09/800.66	c |   1466276 |     140    11900    83300 |    62847    60446     44 |  0.005 % |
800.69/801.20	c |   1467147 |     140    11900    83300 |    62847    61317     44 |  0.005 % |
801.30/801.81	c |   1468105 |     140    11900    83300 |    62847    62275     44 |  0.005 % |
801.99/802.54	c |   1469160 |     140    11900    83300 |    62847    53575     44 |  0.005 % |
802.59/803.16	c |   1470322 |     140    11900    83300 |    54415    46622     44 |  0.005 % |
803.19/803.79	c |   1471596 |     140    11900    83300 |    54415    47896     44 |  0.005 % |
803.99/804.54	c |   1472996 |     140    11900    83300 |    54415    49296     44 |  0.005 % |
804.79/805.34	c |   1474536 |     140    11900    83300 |    54415    50836     44 |  0.005 % |
805.89/806.45	c |   1476231 |     140    11900    83300 |    54415    52531     44 |  0.005 % |
807.19/807.73	c |   1478095 |     140    11900    83300 |    54415    54395     44 |  0.005 % |
808.49/809.09	c |   1480144 |     140    11900    83300 |    49218    43141     44 |  0.005 % |
809.59/810.14	c |   1482398 |     140    11900    83300 |    49218    45395     44 |  0.005 % |
810.79/811.32	c |   1484876 |     140    11900    83300 |    49218    47873     44 |  0.005 % |
812.08/812.66	c |   1487602 |     140    11900    83300 |    49218    45671     44 |  0.005 % |
813.59/814.16	c |   1490599 |     140    11900    83300 | 2147483647    48668     44 |  0.005 % |
815.59/816.11	c |   1493896 |     140    11900    83300 | 2147483647    51965     44 |  0.005 % |
817.68/818.30	c |   1497521 |     140    11900    83300 | 2147483647    55590     44 |  0.005 % |
820.09/820.68	c |   1501508 |     140    11900    83300 |    58069    52325     44 |  0.005 % |
822.58/823.13	c |   1505894 |     140    11900    83300 |    58069    56711     44 |  0.005 % |
825.08/825.60	c |   1510718 |     140    11900    83300 |    53466    47834     44 |  0.005 % |
827.58/828.18	c |   1516023 |     140    11900    83300 |    53466    53139     44 |  0.005 % |
830.98/831.60	c |   1521858 |     140    11900    83300 |    51763    48250     44 |  0.005 % |
834.48/835.07	c |   1528277 |     140    11900    83300 |    51763    48844     44 |  0.005 % |
837.88/838.48	c |   1535337 |     140    11900    83300 |    50567    50579     44 |  0.005 % |
841.77/842.30	c |   1543101 |     140    11900    83300 | 2147483647    53286     44 |  0.005 % |
846.77/847.38	c |   1551641 |     140    11900    83300 |    60187    55021     44 |  0.005 % |
852.87/853.40	c |   1561037 |     140    11900    83300 |    55042    48582     44 |  0.005 % |
858.16/858.74	c |   1571370 |     140    11900    83300 |    51064    46760     44 |  0.005 % |
864.07/864.68	c |   1582736 |     140    11900    83300 | 2147483647    53014     44 |  0.005 % |
870.96/871.59	c |   1595238 |     140    11900    83300 |    60280    58635     44 |  0.005 % |
878.55/879.18	c |   1608990 |     140    11900    83300 |    55665    51399     44 |  0.005 % |
878.65/879.24	c |   1609090 |     140    11900    83300 |    55665    51499     44 |  0.005 % |
878.75/879.33	c |   1609204 |     140    11900    83300 |    55665    51613     44 |  0.005 % |
878.85/879.40	c |   1609325 |     140    11900    83300 |    55665    51734     44 |  0.005 % |
878.95/879.50	c |   1609458 |     140    11900    83300 |    55665    51867     44 |  0.005 % |
879.05/879.61	c |   1609605 |     140    11900    83300 |    55665    52014     44 |  0.005 % |
879.15/879.70	c |   1609767 |     140    11900    83300 |    55665    52176     44 |  0.005 % |
879.25/879.82	c |   1609944 |     140    11900    83300 |    55665    52353     44 |  0.005 % |
879.46/880.00	c |   1610138 |     140    11900    83300 |    52410    46556     44 |  0.005 % |
879.55/880.13	c |   1610353 |     140    11900    83300 |    52410    46771     44 |  0.005 % |
879.65/880.26	c |   1610586 |     140    11900    83300 |    52410    47004     44 |  0.005 % |
879.85/880.41	c |   1610842 |     140    11900    83300 |    52410    47260     44 |  0.005 % |
879.95/880.55	c |   1611123 |     140    11900    83300 |    52410    47541     44 |  0.005 % |
880.15/880.71	c |   1611433 |     140    11900    83300 |    52410    47851     44 |  0.005 % |
880.25/880.88	c |   1611774 |     140    11900    83300 |    52410    48192     44 |  0.005 % |
880.46/881.05	c |   1612146 |     140    11900    83300 |    52410    48564     44 |  0.005 % |
880.65/881.27	c |   1612555 |     140    11900    83300 |    52410    48973     44 |  0.005 % |
880.95/881.53	c |   1613004 |     140    11900    83300 |    52410    49422     44 |  0.005 % |
881.25/881.80	c |   1613497 |     140    11900    83300 |    52410    49915     44 |  0.005 % |
881.45/882.09	c |   1614039 |     140    11900    83300 |    52410    50457     44 |  0.005 % |
881.85/882.47	c |   1614637 |     140    11900    83300 |    52410    51055     44 |  0.005 % |
882.25/882.87	c |   1615293 |     140    11900    83300 |    52410    51711     44 |  0.005 % |
882.76/883.31	c |   1616015 |     140    11900    83300 |    52410    52433     44 |  0.005 % |
883.15/883.78	c |   1616808 |     140    11900    83300 |    52410    47493     44 |  0.005 % |
883.65/884.23	c |   1617681 |     140    11900    83300 |    52410    48366     44 |  0.005 % |
884.25/884.81	c |   1618640 |     140    11900    83300 |    52410    49325     44 |  0.005 % |
884.75/885.38	c |   1619693 |     140    11900    83300 |    52410    50378     44 |  0.005 % |
885.35/885.97	c |   1620852 |     140    11900    83300 |    50687    46103     44 |  0.005 % |
885.95/886.52	c |   1622125 |     140    11900    83300 |    50687    47376     44 |  0.005 % |
886.55/887.15	c |   1623525 |     140    11900    83300 |    50687    48776     44 |  0.005 % |
887.35/887.99	c |   1625066 |     140    11900    83300 |    50687    50317     44 |  0.005 % |
888.25/888.82	c |   1626761 |     140    11900    83300 |    50687    46937     44 |  0.005 % |
889.15/889.70	c |   1628624 |     140    11900    83300 |    50687    48800     44 |  0.005 % |
890.05/890.66	c |   1630674 |     140    11900    83300 | 2147483647    50850     44 |  0.005 % |
891.15/891.72	c |   1632928 |     140    11900    83300 | 2147483647    53104     44 |  0.005 % |
892.15/892.79	c |   1635407 |     140    11900    83300 | 2147483647    55583     44 |  0.005 % |
893.75/894.37	c |   1638132 |     140    11900    83300 | 2147483647    58308     44 |  0.005 % |
895.64/896.27	c |   1641129 |     140    11900    83300 |    60176    54695     44 |  0.005 % |
897.64/898.29	c |   1644425 |     140    11900    83300 |    60176    57991     44 |  0.005 % |
899.84/900.45	c |   1648051 |     140    11900    83300 |    60176    53887     44 |  0.005 % |
902.14/902.71	c |   1652038 |     140    11900    83300 |    55837    50512     44 |  0.005 % |
904.54/905.13	c |   1656425 |     140    11900    83300 |    55837    54899     44 |  0.005 % |
907.04/907.60	c |   1661248 |     140    11900    83300 |    51395    46476     44 |  0.005 % |
909.64/910.24	c |   1666553 |     140    11900    83300 |    51395    46635     44 |  0.005 % |
912.64/913.29	c |   1672388 |     140    11900    83300 | 2147483647    52470     44 |  0.005 % |
915.84/916.45	c |   1678806 |     140    11900    83300 | 2147483647    58888     44 |  0.005 % |
919.83/920.42	c |   1685865 |     140    11900    83300 |    60082    59584     44 |  0.005 % |
924.13/924.77	c |   1693629 |     140    11900    83300 |    56421    53071     44 |  0.005 % |
928.63/929.29	c |   1702171 |     140    11900    83300 |    53348    49826     44 |  0.005 % |
933.93/934.51	c |   1711565 |     140    11900    83300 | 2147483647    53859     44 |  0.005 % |
939.53/940.16	c |   1721898 |     140    11900    83300 |    62294    55212     45 |  0.005 % |
945.33/946.00	c |   1733265 |     140    11900    83300 |    55029    51177     45 |  0.005 % |
951.72/952.30	c |   1745768 |     140    11900    83300 | 2147483647    57974     45 |  0.005 % |
960.32/960.94	c |   1759521 |     140    11900    83300 |    62206    54752     45 |  0.005 % |
967.61/968.27	c |   1774650 |     140    11900    83300 |    50126    48680     45 |  0.005 % |
967.71/968.32	c |   1774750 |     140    11900    83300 |    50126    48780     45 |  0.005 % |
967.71/968.38	c |   1774861 |     140    11900    83300 |    50126    48891     45 |  0.005 % |
967.81/968.44	c |   1774982 |     140    11900    83300 |    50126    49012     45 |  0.005 % |
967.91/968.52	c |   1775117 |     140    11900    83300 |    50126    49147     45 |  0.005 % |
968.01/968.62	c |   1775264 |     140    11900    83300 |    50126    49294     45 |  0.005 % |
968.11/968.72	c |   1775424 |     140    11900    83300 |    50126    49454     45 |  0.005 % |
968.21/968.82	c |   1775600 |     140    11900    83300 |    50126    49630     45 |  0.005 % |
968.31/968.94	c |   1775795 |     140    11900    83300 |    50126    49825     45 |  0.005 % |
968.42/969.08	c |   1776007 |     140    11900    83300 |    50126    50037     45 |  0.005 % |
968.71/969.30	c |   1776242 |     140    11900    83300 |    50126    45253     45 |  0.005 % |
968.81/969.43	c |   1776498 |     140    11900    83300 |    50126    45509     45 |  0.005 % |
968.91/969.58	c |   1776780 |     140    11900    83300 |    50126    45791     45 |  0.005 % |
969.11/969.77	c |   1777089 |     140    11900    83300 |    50126    46100     45 |  0.005 % |
969.31/969.97	c |   1777429 |     140    11900    83300 |    50126    46440     45 |  0.005 % |
969.52/970.19	c |   1777801 |     140    11900    83300 |    50126    46812     45 |  0.005 % |
969.81/970.44	c |   1778210 |     140    11900    83300 |    50126    47221     45 |  0.005 % |
970.11/970.71	c |   1778659 |     140    11900    83300 |    50126    47670     45 |  0.005 % |
970.41/971.02	c |   1779154 |     140    11900    83300 |    50126    48165     45 |  0.005 % |
970.72/971.33	c |   1779696 |     140    11900    83300 |    50126    48707     45 |  0.005 % |
971.11/971.70	c |   1780292 |     140    11900    83300 |    49012    44359     45 |  0.005 % |
971.41/972.02	c |   1780947 |     140    11900    83300 |    49012    45014     45 |  0.005 % |
971.71/972.35	c |   1781668 |     140    11900    83300 |    49012    45735     45 |  0.005 % |
972.11/972.71	c |   1782462 |     140    11900    83300 |    49012    46529     45 |  0.005 % |
972.51/973.15	c |   1783333 |     140    11900    83300 |    49012    47400     45 |  0.005 % |
973.01/973.65	c |   1784295 |     140    11900    83300 |    49012    48362     45 |  0.005 % |
973.51/974.18	c |   1785348 |     140    11900    83300 |    49012    44508     44 |  0.005 % |
974.11/974.71	c |   1786509 |     140    11900    83300 |    49012    45669     44 |  0.005 % |
974.81/975.41	c |   1787783 |     140    11900    83300 |    49012    46943     44 |  0.005 % |
975.51/976.18	c |   1789183 |     140    11900    83300 |    49012    48343     44 |  0.005 % |
976.31/976.94	c |   1790724 |     140    11900    83300 | 2147483647    44977     44 |  0.005 % |
977.11/977.74	c |   1792420 |     140    11900    83300 | 2147483647    46673     44 |  0.005 % |
978.02/978.67	c |   1794287 |     140    11900    83300 | 2147483647    48540     44 |  0.005 % |
979.12/979.78	c |   1796336 |     140    11900    83300 | 2147483647    50589     44 |  0.005 % |
980.32/980.97	c |   1798590 |     140    11900    83300 | 2147483647    52843     44 |  0.005 % |
981.82/982.49	c |   1801068 |     140    11900    83300 | 2147483647    55321     44 |  0.005 % |
983.72/984.36	c |   1803793 |     140    11900    83300 | 2147483647    58046     44 |  0.005 % |
985.42/986.03	c |   1806790 |     140    11900    83300 | 2147483647    61043     44 |  0.005 % |
987.51/988.10	c |   1810086 |     140    11900    83300 |    64253    55210     44 |  0.005 % |
989.71/990.34	c |   1813712 |     140    11900    83300 |    64253    58836     44 |  0.005 % |
992.11/992.79	c |   1817699 |     140    11900    83300 |    64253    62823     44 |  0.005 % |
994.70/995.36	c |   1822085 |     140    11900    83300 |    54790    48141     44 |  0.005 % |
997.60/998.24	c |   1826908 |     140    11900    83300 |    54790    52964     44 |  0.005 % |
1000.31/1000.92	c |   1832213 |     140    11900    83300 |    49173    45530     44 |  0.005 % |
1002.80/1003.47	c |   1838049 |     140    11900    83300 |    49173    46442     44 |  0.005 % |
1006.30/1006.95	c |   1844467 |     140    11900    83300 | 2147483647    52860     44 |  0.005 % |
1010.60/1011.26	c |   1851526 |     140    11900    83300 |    58393    52861     45 |  0.005 % |
1015.40/1016.07	c |   1859290 |     140    11900    83300 |    58393    52027     45 |  0.005 % |
1020.10/1020.80	c |   1867830 |     140    11900    83300 |    52737    47040     45 |  0.005 % |
1025.00/1025.64	c |   1877224 |     140    11900    83300 |    49210    46300     45 |  0.005 % |
1030.69/1031.34	c |   1887558 |     140    11900    83300 | 2147483647    56634     45 |  0.005 % |
1036.99/1037.67	c |   1898924 |     140    11900    83300 |    59078    53089     45 |  0.005 % |
1042.88/1043.57	c |   1911427 |     140    11900    83300 |    51127    47289     45 |  0.005 % |
1050.28/1050.91	c |   1925180 |     140    11900    83300 | 2147483647    55924     45 |  0.005 % |
1059.58/1060.23	c |   1940309 |     140    11900    83300 |    55158    48190     45 |  0.005 % |
1068.58/1069.26	c |   1956948 |     140    11900    83300 |    51064    46886     44 |  0.005 % |
1068.67/1069.32	c |   1957048 |     140    11900    83300 |    51064    46986     44 |  0.005 % |
1068.77/1069.41	c |   1957158 |     140    11900    83300 |    51064    47096     44 |  0.005 % |
1068.77/1069.47	c |   1957280 |     140    11900    83300 |    51064    47218     44 |  0.005 % |
1068.87/1069.54	c |   1957413 |     140    11900    83300 |    51064    47351     44 |  0.005 % |
1068.97/1069.61	c |   1957559 |     140    11900    83300 |    51064    47497     44 |  0.005 % |
1069.07/1069.72	c |   1957720 |     140    11900    83300 |    51064    47658     44 |  0.005 % |
1069.17/1069.82	c |   1957897 |     140    11900    83300 |    51064    47835     44 |  0.005 % |
1069.27/1069.93	c |   1958091 |     140    11900    83300 |    51064    48029     44 |  0.005 % |
1069.47/1070.10	c |   1958304 |     140    11900    83300 |    51064    48242     44 |  0.005 % |
1069.58/1070.24	c |   1958537 |     140    11900    83300 |    51064    48475     44 |  0.005 % |
1069.77/1070.40	c |   1958793 |     140    11900    83300 |    51064    48731     44 |  0.005 % |
1069.87/1070.58	c |   1959075 |     140    11900    83300 |    51064    49013     44 |  0.005 % |
1070.17/1070.81	c |   1959385 |     140    11900    83300 |    51064    49323     44 |  0.005 % |
1070.37/1071.05	c |   1959724 |     140    11900    83300 |    51064    49662     44 |  0.005 % |
1070.57/1071.26	c |   1960096 |     140    11900    83300 | 2147483647    50034     44 |  0.005 % |
1070.87/1071.51	c |   1960505 |     140    11900    83300 | 2147483647    50443     44 |  0.005 % |
1071.07/1071.78	c |   1960955 |     140    11900    83300 | 2147483647    50893     44 |  0.005 % |
1071.37/1072.09	c |   1961449 |     140    11900    83300 | 2147483647    51387     44 |  0.005 % |
1071.67/1072.40	c |   1961993 |     140    11900    83300 | 2147483647    51931     44 |  0.005 % |
1072.07/1072.71	c |   1962589 |     140    11900    83300 | 2147483647    52527     44 |  0.005 % |
1072.47/1073.13	c |   1963244 |     140    11900    83300 | 2147483647    53182     44 |  0.005 % |
1072.88/1073.56	c |   1963964 |     140    11900    83300 | 2147483647    53902     44 |  0.005 % |
1073.27/1073.97	c |   1964756 |     140    11900    83300 | 2147483647    54694     44 |  0.005 % |
1073.77/1074.43	c |   1965627 |     140    11900    83300 | 2147483647    55565     44 |  0.005 % |
1074.37/1075.00	c |   1966586 |     140    11900    83300 | 2147483647    56524     44 |  0.005 % |
1075.07/1075.77	c |   1967640 |     140    11900    83300 | 2147483647    57578     44 |  0.005 % |
1075.77/1076.49	c |   1968798 |     140    11900    83300 | 2147483647    58736     44 |  0.005 % |
1076.57/1077.28	c |   1970071 |     140    11900    83300 |    59940    60009     44 |  0.005 % |
1077.57/1078.22	c |   1971472 |     140    11900    83300 |    59940    53567     44 |  0.005 % |
1078.57/1079.27	c |   1973012 |     140    11900    83300 |    59940    55107     44 |  0.005 % |
1079.77/1080.46	c |   1974709 |     140    11900    83300 |    59940    56804     44 |  0.005 % |
1081.16/1081.81	c |   1976573 |     140    11900    83300 |    59940    58668     44 |  0.005 % |
1082.66/1083.34	c |   1978623 |     140    11900    83300 |    59940    51287     44 |  0.005 % |
1083.86/1084.54	c |   1980876 |     140    11900    83300 |    52664    45764     43 |  0.005 % |
1085.06/1085.72	c |   1983357 |     140    11900    83300 |    52664    48245     44 |  0.005 % |
1086.46/1087.12	c |   1986082 |     140    11900    83300 |    52664    50970     43 |  0.005 % |
1088.26/1088.92	c |   1989079 |     140    11900    83300 |    52664    48359     44 |  0.005 % |
1090.06/1090.79	c |   1992376 |     140    11900    83300 |    49282    46395     44 |  0.005 % |
1092.06/1092.71	c |   1996004 |     140    11900    83300 |    49282    45090     44 |  0.005 % |
1094.06/1094.71	c |   1999992 |     140    11900    83300 |    49282    49078     44 |  0.005 % |
1096.26/1096.99	c |   2004380 |     140    11900    83300 | 2147483647    53466     44 |  0.005 % |
1098.95/1099.64	c |   2009206 |     140    11900    83300 | 2147483647    58292     44 |  0.005 % |
1102.05/1102.74	c |   2014512 |     140    11900    83300 |    59087    57282     44 |  0.005 % |
1105.86/1106.60	c |   2020347 |     140    11900    83300 |    55332    48570     44 |  0.005 % |
1109.55/1110.29	c |   2026766 |     140    11900    83300 |    55332    54989     44 |  0.005 % |
1113.15/1113.87	c |   2033826 |     140    11900    83300 |    51912    50090     44 |  0.005 % |
1117.15/1117.82	c |   2041591 |     140    11900    83300 | 2147483647    52659     44 |  0.005 % |
1122.45/1123.13	c |   2050132 |     140    11900    83300 |    61071    52766     44 |  0.005 % |
1127.44/1128.19	c |   2059529 |     140    11900    83300 |    61071    53542     44 |  0.005 % |
1133.04/1133.74	c |   2069862 |     140    11900    83300 |    54013    50054     44 |  0.005 % |
1138.54/1139.30	c |   2081228 |     140    11900    83300 | 2147483647    50781     44 |  0.005 % |
1145.44/1146.16	c |   2093731 |     140    11900    83300 |    59554    56701     45 |  0.005 % |
1152.93/1153.69	c |   2107483 |     140    11900    83300 |    55305    50151     45 |  0.005 % |
1161.03/1161.77	c |   2122611 |     140    11900    83300 | 2147483647    54588     45 |  0.005 % |
1170.53/1171.25	c |   2139251 |     140    11900    83300 |    61979    55511     45 |  0.005 % |
1179.82/1180.59	c |   2157557 |     140    11900    83300 | 2147483647    60837     44 |  0.005 % |
1179.92/1180.66	c |   2157657 |     140    11900    83300 | 2147483647    60937     44 |  0.005 % |
1180.02/1180.73	c |   2157767 |     140    11900    83300 | 2147483647    61047     44 |  0.005 % |
1180.02/1180.79	c |   2157888 |     140    11900    83300 | 2147483647    61168     44 |  0.005 % |
1180.12/1180.86	c |   2158021 |     140    11900    83300 | 2147483647    61301     44 |  0.005 % |
1180.22/1180.96	c |   2158167 |     140    11900    83300 | 2147483647    61447     44 |  0.005 % |
1180.31/1181.08	c |   2158327 |     140    11900    83300 | 2147483647    61607     44 |  0.005 % |
1180.41/1181.18	c |   2158504 |     140    11900    83300 | 2147483647    61784     44 |  0.005 % |
1180.62/1181.32	c |   2158697 |     140    11900    83300 | 2147483647    61977     44 |  0.005 % |
1180.72/1181.46	c |   2158909 |     140    11900    83300 | 2147483647    62189     44 |  0.005 % |
1180.91/1181.65	c |   2159142 |     140    11900    83300 | 2147483647    62422     44 |  0.005 % |
1181.12/1181.83	c |   2159399 |     140    11900    83300 | 2147483647    62679     44 |  0.005 % |
1181.32/1182.06	c |   2159681 |     140    11900    83300 | 2147483647    62961     44 |  0.005 % |
1181.52/1182.29	c |   2159993 |     140    11900    83300 | 2147483647    63273     44 |  0.005 % |
1181.91/1182.65	c |   2160333 |     140    11900    83300 |    63281    55225     44 |  0.005 % |
1182.11/1182.89	c |   2160705 |     140    11900    83300 |    63281    55597     44 |  0.005 % |
1182.41/1183.11	c |   2161115 |     140    11900    83300 |    63281    56007     44 |  0.005 % |
1182.61/1183.35	c |   2161564 |     140    11900    83300 |    63281    56456     44 |  0.005 % |
1182.92/1183.68	c |   2162057 |     140    11900    83300 |    63281    56949     44 |  0.005 % |
1183.31/1184.02	c |   2162599 |     140    11900    83300 |    63281    57491     44 |  0.005 % |
1183.61/1184.38	c |   2163195 |     140    11900    83300 |    63281    58087     44 |  0.005 % |
1184.11/1184.83	c |   2163850 |     140    11900    83300 |    63281    58742     44 |  0.005 % |
1184.71/1185.43	c |   2164571 |     140    11900    83300 |    63281    59463     44 |  0.005 % |
1185.41/1186.10	c |   2165365 |     140    11900    83300 |    63281    60257     44 |  0.005 % |
1186.01/1186.80	c |   2166236 |     140    11900    83300 |    63281    61128     44 |  0.005 % |
1186.91/1187.63	c |   2167194 |     140    11900    83300 |    63281    62086     44 |  0.005 % |
1187.61/1188.38	c |   2168247 |     140    11900    83300 |    63281    63139     44 |  0.005 % |
1188.42/1189.16	c |   2169406 |     140    11900    83300 |    63281    53162     44 |  0.005 % |
1189.11/1189.89	c |   2170680 |     140    11900    83300 |    53758    45411     44 |  0.005 % |
1189.81/1190.57	c |   2172085 |     140    11900    83300 |    53758    46816     44 |  0.005 % |
1190.62/1191.32	c |   2173625 |     140    11900    83300 |    53758    48356     44 |  0.005 % |
1191.31/1192.08	c |   2175319 |     140    11900    83300 |    53758    50050     44 |  0.005 % |
1192.31/1193.02	c |   2177182 |     140    11900    83300 |    53758    51913     44 |  0.005 % |
1193.41/1194.16	c |   2179232 |     140    11900    83300 |    53758    48101     44 |  0.005 % |
1194.61/1195.38	c |   2181485 |     140    11900    83300 |    48871    45103     44 |  0.005 % |
1195.71/1196.49	c |   2183964 |     140    11900    83300 |    48871    47582     44 |  0.005 % |
1197.01/1197.73	c |   2186689 |     140    11900    83300 |    48871    45414     44 |  0.005 % |
1198.31/1199.02	c |   2189686 |     140    11900    83300 |    48871    48411     44 |  0.005 % |
1200.01/1200.70	HOME/SatELiteGTI: line 36: 23749 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:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832625-1242785236/watcher-1832625-1242785236 -o /tmp/evaluation-result-1832625-1242785236/solver-1832625-1242785236 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832625-1242785236.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: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 23743
/proc/meminfo: memFree=1766660/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0
/proc/23743/stat : 23743 (SatELiteGTI) R 23741 23743 23151 0 -1 4194304 292 249 0 0 0 0 0 0 18 0 1 0 306556180 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134416031 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/23743/statm: 1339 237 197 169 0 50 0

[startup+0.0947871 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 23743
/proc/meminfo: memFree=1766660/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.102783 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 23743
/proc/meminfo: memFree=1766660/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.301808 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 23743
/proc/meminfo: memFree=1766660/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.701853 s]
/proc/loadavg: 1.00 1.01 1.00 3/64 23743
/proc/meminfo: memFree=1766660/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+1.50294 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 23749
/proc/meminfo: memFree=1763700/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=4664 CPUtime=1.44
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 885 0 0 0 144 0 0 0 25 0 1 0 306556185 4775936 871 1992294400 134512640 135215339 4294956240 18446744073709551615 134525403 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 1166 871 76 171 0 993 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10020

[startup+3.10112 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 23749
/proc/meminfo: memFree=1761716/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=6644 CPUtime=3.03
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 1393 0 0 0 303 0 0 0 25 0 1 0 306556185 6803456 1379 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 1661 1379 76 171 0 1488 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12000

[startup+6.30148 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 23749
/proc/meminfo: memFree=1758644/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=9052 CPUtime=6.23
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 1990 0 0 0 622 1 0 0 25 0 1 0 306556185 9269248 1976 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 2263 1976 76 171 0 2090 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 14408

[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1755124/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=12304 CPUtime=12.62
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 2796 0 0 0 1260 2 0 0 25 0 1 0 306556185 12599296 2782 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 3076 2782 76 171 0 2903 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 17660

[startup+25.5016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1750900/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=16420 CPUtime=25.42
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 3802 0 0 0 2539 3 0 0 25 0 1 0 306556185 16814080 3788 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4105 3788 76 171 0 3932 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 21776

[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1750772/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=16552 CPUtime=50.99
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 3820 0 0 0 5096 3 0 0 25 0 1 0 306556185 16949248 3806 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4138 3806 76 171 0 3965 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 21908

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1750260/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=16748 CPUtime=102.16
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 3895 0 0 0 10212 4 0 0 25 0 1 0 306556185 17149952 3881 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4187 3881 76 171 0 4014 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 22104

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1750132/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=16748 CPUtime=162.11
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 3895 0 0 0 16207 4 0 0 25 0 1 0 306556185 17149952 3881 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4187 3881 76 171 0 4014 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 22104

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1750004/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=16884 CPUtime=222.09
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 3913 0 0 0 22204 5 0 0 25 0 1 0 306556185 17289216 3899 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4221 3899 76 171 0 4048 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 22240

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1749876/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=16884 CPUtime=282.04
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 3923 0 0 0 28199 5 0 0 25 0 1 0 306556185 17289216 3909 1992294400 134512640 135215339 4294956240 18446744073709551615 134534491 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4221 3909 76 171 0 4048 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 22240

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1749236/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=17448 CPUtime=342.01
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 4041 0 0 0 34196 5 0 0 25 0 1 0 306556185 17866752 4027 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4362 4027 76 171 0 4189 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 22804

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1749108/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=17448 CPUtime=401.97
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 4041 0 0 0 40192 5 0 0 25 0 1 0 306556185 17866752 4027 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4362 4027 76 171 0 4189 0
Current children cumulated CPU time (s) 402
Current children cumulated vsize (KiB) 22804

[startup+462.302 s]

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

[pid=23749] ppid=23743 vsize=18004 CPUtime=521.91
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 4203 0 0 0 52185 6 0 0 25 0 1 0 306556185 18436096 4189 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4501 4189 76 171 0 4328 0
Current children cumulated CPU time (s) 521.94
Current children cumulated vsize (KiB) 23360

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1748084/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=18144 CPUtime=581.88
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 4224 0 0 0 58182 6 0 0 25 0 1 0 306556185 18579456 4210 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4536 4210 76 171 0 4363 0
Current children cumulated CPU time (s) 581.91
Current children cumulated vsize (KiB) 23500

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1747828/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=18284 CPUtime=641.85
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 4258 0 0 0 64179 6 0 0 25 0 1 0 306556185 18722816 4244 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4571 4244 76 171 0 4398 0
Current children cumulated CPU time (s) 641.88
Current children cumulated vsize (KiB) 23640

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1747700/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=18420 CPUtime=701.82
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 4273 0 0 0 70176 6 0 0 25 0 1 0 306556185 18862080 4259 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4605 4259 76 171 0 4432 0
Current children cumulated CPU time (s) 701.85
Current children cumulated vsize (KiB) 23776

[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1747188/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=18700 CPUtime=761.79
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 4372 0 0 0 76172 7 0 0 25 0 1 0 306556185 19148800 4358 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4675 4358 76 171 0 4502 0
Current children cumulated CPU time (s) 761.82
Current children cumulated vsize (KiB) 24056

[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1746996/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=18840 CPUtime=821.75
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 4388 0 0 0 82168 7 0 0 25 0 1 0 306556185 19292160 4374 1992294400 134512640 135215339 4294956240 18446744073709551615 134528811 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4710 4374 76 171 0 4537 0
Current children cumulated CPU time (s) 821.78
Current children cumulated vsize (KiB) 24196

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1746932/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=18840 CPUtime=881.72
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 4389 0 0 0 88165 7 0 0 25 0 1 0 306556185 19292160 4375 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4710 4375 76 171 0 4537 0
Current children cumulated CPU time (s) 881.75
Current children cumulated vsize (KiB) 24196

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1746804/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=18840 CPUtime=941.7
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 4402 0 0 0 94163 7 0 0 25 0 1 0 306556185 19292160 4388 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4710 4388 76 171 0 4537 0
Current children cumulated CPU time (s) 941.73
Current children cumulated vsize (KiB) 24196

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1746420/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=19244 CPUtime=1001.67
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 4484 0 0 0 100159 8 0 0 25 0 1 0 306556185 19705856 4470 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4811 4470 76 171 0 4638 0
Current children cumulated CPU time (s) 1001.7
Current children cumulated vsize (KiB) 24600

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1746228/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=19380 CPUtime=1061.65
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 4510 0 0 0 106157 8 0 0 25 0 1 0 306556185 19845120 4496 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4845 4496 76 171 0 4672 0
Current children cumulated CPU time (s) 1061.68
Current children cumulated vsize (KiB) 24736

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1746036/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=19520 CPUtime=1121.62
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 4541 0 0 0 112154 8 0 0 25 0 1 0 306556185 19988480 4527 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4880 4527 76 171 0 4707 0
Current children cumulated CPU time (s) 1121.65
Current children cumulated vsize (KiB) 24876

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1745908/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=19520 CPUtime=1181.59
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 4556 0 0 0 118151 8 0 0 25 0 1 0 306556185 19988480 4542 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4880 4542 76 171 0 4707 0
Current children cumulated CPU time (s) 1181.62
Current children cumulated vsize (KiB) 24876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1745716/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=19660 CPUtime=1199.98
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 4580 0 0 0 119990 8 0 0 25 0 1 0 306556185 20131840 4566 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4915 4566 76 171 0 4742 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 25016

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1200.7 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23749
/proc/meminfo: memFree=1745716/2055920 swapFree=4180348/4192956
[pid=23743] ppid=23741 vsize=5356 CPUtime=0.03
/proc/23743/stat : 23743 (SatELiteGTI) S 23741 23743 23151 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306556180 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23743/statm: 1339 239 197 169 0 50 0
[pid=23749] ppid=23743 vsize=19660 CPUtime=1199.98
/proc/23749/stat : 23749 (minisat_static) R 23743 23743 23151 0 -1 4194304 4580 0 0 0 119990 8 0 0 25 0 1 0 306556185 20131840 4566 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/23749/statm: 4915 4566 76 171 0 4742 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 25016

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.04
CPU user time (s): 1199.94
CPU system time (s): 0.096985
CPU usage (%): 99.9441
Max. virtual memory (cumulated for all children) (KiB): 25016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.94
system time used= 0.096985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5555
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= 25
involuntary context switches= 5740

runsolver used 1.15482 second user time and 3.37849 second system time

The end

Launcher Data

Begin job on node35 at 2009-05-20 04:07:16
IDJOB=1832625
IDBENCH=70276
IDSOLVER=671
FILE ID=node35/1832625-1242785236
PBS_JOBID= 9322381
Free space on /tmp= 66084 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/7SAT/UNKNOWN/140/unif-k7-r85-v140-c11900-S1818639567-059.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832625-1242785236/watcher-1832625-1242785236 -o /tmp/evaluation-result-1832625-1242785236/solver-1832625-1242785236 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832625-1242785236.cnf

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

MD5SUM BENCH= 7d306f2c24913eb95b4eca32110fa72f
RANDOM SEED=518865494

node35.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.214
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1767148 kB
Buffers:         22612 kB
Cached:         217028 kB
SwapCached:       6996 kB
Active:         142824 kB
Inactive:       105908 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1767148 kB
SwapTotal:     4192956 kB
SwapFree:      4180348 kB
Dirty:            1900 kB
Writeback:           0 kB
Mapped:          14084 kB
Slab:            26152 kB
Committed_AS:  1065904 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66080 MiB
End job on node35 at 2009-05-20 04:27:19