Trace number 1832629

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

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S541865505-057.cnf
MD5SUMe3b225dad76097977d4c5c88712eb95a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark88.7685
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.014997 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.05	c |                                                                             |
0.00/0.05	c |  Number of variables:  140                                                  |
0.00/0.05	c |  Number of clauses:    11900                                                |
0.00/0.06	c |  Parsing time:         0.01         s                                       |
0.00/0.06	c ============================[ Search Statistics ]==============================
0.00/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.06	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.06	c ===============================================================================
0.00/0.06	c |         0 |     140    11900    83300 |     3966        0    nan |  0.000 % |
0.03/0.07	c |       102 |     140    11900    83300 |     3966      102     41 |  0.005 % |
0.03/0.08	c |       203 |     140    11900    83300 |     3966      203     42 |  0.005 % |
0.03/0.08	c |       303 |     140    11900    83300 |     3966      303     41 |  0.005 % |
0.03/0.09	c |       413 |     140    11900    83300 |     3966      413     42 |  0.005 % |
0.03/0.10	c |       513 |     140    11900    83300 |     3966      513     42 |  0.005 % |
0.03/0.10	c |       624 |     140    11900    83300 |     3966      624     42 |  0.005 % |
0.03/0.11	c |       746 |     140    11900    83300 |     3966      746     42 |  0.005 % |
0.03/0.12	c |       846 |     140    11900    83300 |     3966      846     42 |  0.005 % |
0.03/0.13	c |       956 |     140    11900    83300 |     3966      956     42 |  0.005 % |
0.03/0.13	c |      1077 |     140    11900    83300 |     3966     1077     42 |  0.005 % |
0.03/0.14	c |      1210 |     140    11900    83300 |     3966     1210     42 |  0.005 % |
0.03/0.15	c |      1310 |     140    11900    83300 |     3966     1310     43 |  0.005 % |
0.03/0.16	c |      1421 |     140    11900    83300 |     3966     1421     43 |  0.005 % |
0.03/0.17	c |      1543 |     140    11900    83300 |     3966     1543     43 |  0.005 % |
0.03/0.18	c |      1676 |     140    11900    83300 |     3966     1676     43 |  0.005 % |
0.03/0.19	c |      1824 |     140    11900    83300 |     3966     1824     43 |  0.005 % |
0.03/0.19	c |      1925 |     140    11900    83300 |     3966     1925     43 |  0.005 % |
0.03/0.20	c |      2036 |     140    11900    83300 |     3966     2036     43 |  0.005 % |
0.03/0.21	c |      2157 |     140    11900    83300 |     3966     2157     43 |  0.005 % |
0.03/0.22	c |      2290 |     140    11900    83300 |     3966     2290     43 |  0.005 % |
0.03/0.23	c |      2436 |     140    11900    83300 |     3966     2436     43 |  0.005 % |
0.03/0.24	c |      2597 |     140    11900    83300 |     3966     2597     43 |  0.005 % |
0.03/0.25	c |      2699 |     140    11900    83300 |     3966     2699     43 |  0.005 % |
0.03/0.26	c |      2810 |     140    11900    83300 |     3966     2810     43 |  0.005 % |
0.03/0.27	c |      2932 |     140    11900    83300 |     3966     2932     43 |  0.005 % |
0.03/0.28	c |      3065 |     140    11900    83300 |     3966     3065     43 |  0.005 % |
0.03/0.29	c |      3213 |     140    11900    83300 |     3966     3213     43 |  0.005 % |
0.03/0.30	c |      3374 |     140    11900    83300 |     3966     3374     43 |  0.005 % |
0.03/0.32	c |      3551 |     140    11900    83300 |     3966     3551     43 |  0.005 % |
0.03/0.33	c |      3651 |     140    11900    83300 |     3966     3651     43 |  0.005 % |
0.03/0.33	c |      3761 |     140    11900    83300 |     3966     3761     43 |  0.005 % |
0.03/0.34	c |      3882 |     140    11900    83300 |     3966     3882     43 |  0.005 % |
0.03/0.35	c |      4015 |     140    11900    83300 |     3966     4015     44 |  0.005 % |
0.03/0.37	c |      4161 |     140    11900    83300 |     3966     3760     43 |  0.005 % |
0.03/0.38	c |      4323 |     140    11900    83300 |     3966     3922     43 |  0.005 % |
0.03/0.40	c |      4500 |     140    11900    83300 |     3966     3696     43 |  0.005 % |
0.03/0.41	c |      4694 |     140    11900    83300 |     3966     3890     43 |  0.005 % |
0.03/0.42	c |      4794 |     140    11900    83300 |     3966     3990     43 |  0.005 % |
0.03/0.43	c |      4904 |     140    11900    83300 |     3966     3701     43 |  0.005 % |
0.03/0.44	c |      5025 |     140    11900    83300 |     3966     3822     43 |  0.005 % |
0.03/0.45	c |      5160 |     140    11900    83300 |     3966     3957     43 |  0.005 % |
0.03/0.47	c |      5307 |     140    11900    83300 |     3966     3701     43 |  0.005 % |
0.03/0.48	c |      5467 |     140    11900    83300 |     3966     3861     43 |  0.005 % |
0.03/0.50	c |      5644 |     140    11900    83300 |     3966     3636     43 |  0.005 % |
0.03/0.51	c |      5837 |     140    11900    83300 |     3966     3829     43 |  0.005 % |
0.03/0.53	c |      6050 |     140    11900    83300 |     3966     4042     43 |  0.005 % |
0.03/0.54	c |      6152 |     140    11900    83300 |     3966     3740     43 |  0.005 % |
0.03/0.55	c |      6264 |     140    11900    83300 |     3966     3852     43 |  0.005 % |
0.03/0.56	c |      6388 |     140    11900    83300 |     3966     3976     43 |  0.005 % |
0.03/0.57	c |      6522 |     140    11900    83300 |     3966     3713     43 |  0.005 % |
0.03/0.58	c |      6668 |     140    11900    83300 |     3966     3859     43 |  0.005 % |
0.03/0.59	c |      6828 |     140    11900    83300 |     3966     4019     43 |  0.005 % |
0.03/0.61	c |      7004 |     140    11900    83300 |     3966     3794     43 |  0.005 % |
0.03/0.63	c |      7197 |     140    11900    83300 |     3966     3987     43 |  0.005 % |
0.03/0.64	c |      7409 |     140    11900    83300 |     3966     3801     43 |  0.005 % |
0.03/0.67	c |      7642 |     140    11900    83300 |     3966     3631     43 |  0.005 % |
0.03/0.68	c |      7742 |     140    11900    83300 |     3966     3731     43 |  0.005 % |
0.03/0.69	c |      7852 |     140    11900    83300 |     3966     3841     43 |  0.005 % |
0.03/0.70	c |      7974 |     140    11900    83300 |     3966     3963     43 |  0.005 % |
0.03/0.71	c |      8107 |     140    11900    83300 |     3966     3693     43 |  0.005 % |
0.03/0.72	c |      8253 |     140    11900    83300 |     3966     3839     43 |  0.005 % |
0.03/0.74	c |      8413 |     140    11900    83300 |     3966     3999     43 |  0.005 % |
0.03/0.75	c |      8589 |     140    11900    83300 |     3966     3776     43 |  0.005 % |
0.03/0.77	c |      8782 |     140    11900    83300 |     3966     3969     43 |  0.005 % |
0.03/0.78	c |      8995 |     140    11900    83300 |     3966     3786     43 |  0.005 % |
0.03/0.80	c |      9230 |     140    11900    83300 |     3966     4021     43 |  0.005 % |
0.03/0.83	c |      9488 |     140    11900    83300 |     3966     3877     43 |  0.005 % |
0.03/0.83	c |      9589 |     140    11900    83300 |     3966     3978     43 |  0.005 % |
0.03/0.84	c |      9699 |     140    11900    83300 |     3966     3691     43 |  0.005 % |
0.03/0.85	c |      9820 |     140    11900    83300 |     3966     3812     43 |  0.005 % |
0.03/0.87	c |      9953 |     140    11900    83300 |     3966     3945     43 |  0.005 % |
0.03/0.88	c |     10100 |     140    11900    83300 | 2147483647     4092     43 |  0.005 % |
0.03/0.89	c |     10260 |     140    11900    83300 | 2147483647     4252     43 |  0.005 % |
0.03/0.91	c |     10436 |     140    11900    83300 | 2147483647     4428     43 |  0.005 % |
0.03/0.92	c |     10629 |     140    11900    83300 | 2147483647     4621     43 |  0.005 % |
0.03/0.94	c |     10841 |     140    11900    83300 | 2147483647     4833     43 |  0.005 % |
0.03/0.96	c |     11074 |     140    11900    83300 | 2147483647     5066     43 |  0.005 % |
0.03/0.99	c |     11332 |     140    11900    83300 | 2147483647     5324     43 |  0.005 % |
0.97/1.01	c |     11613 |     140    11900    83300 | 2147483647     5605     43 |  0.005 % |
0.97/1.02	c |     11716 |     140    11900    83300 | 2147483647     5708     43 |  0.005 % |
0.97/1.03	c |     11826 |     140    11900    83300 | 2147483647     5818     43 |  0.005 % |
0.97/1.05	c |     11948 |     140    11900    83300 | 2147483647     5940     43 |  0.005 % |
0.97/1.06	c |     12082 |     140    11900    83300 | 2147483647     6074     43 |  0.005 % |
0.97/1.08	c |     12230 |     140    11900    83300 | 2147483647     6222     43 |  0.005 % |
0.97/1.09	c |     12390 |     140    11900    83300 | 2147483647     6382     43 |  0.005 % |
1.07/1.11	c |     12566 |     140    11900    83300 | 2147483647     6558     43 |  0.005 % |
1.07/1.13	c |     12759 |     140    11900    83300 | 2147483647     6751     43 |  0.005 % |
1.07/1.15	c |     12971 |     140    11900    83300 | 2147483647     6963     43 |  0.005 % |
1.07/1.18	c |     13204 |     140    11900    83300 | 2147483647     7196     43 |  0.005 % |
1.17/1.20	c |     13460 |     140    11900    83300 | 2147483647     7452     43 |  0.005 % |
1.17/1.23	c |     13743 |     140    11900    83300 | 2147483647     7735     43 |  0.005 % |
1.17/1.26	c |     14053 |     140    11900    83300 | 2147483647     8045     43 |  0.005 % |
1.17/1.28	c |     14153 |     140    11900    83300 | 2147483647     8145     43 |  0.005 % |
1.17/1.29	c |     14264 |     140    11900    83300 | 2147483647     8256     43 |  0.005 % |
1.27/1.31	c |     14385 |     140    11900    83300 | 2147483647     8377     43 |  0.005 % |
1.27/1.32	c |     14518 |     140    11900    83300 | 2147483647     8510     43 |  0.005 % |
1.27/1.34	c |     14665 |     140    11900    83300 | 2147483647     8657     43 |  0.005 % |
1.27/1.36	c |     14826 |     140    11900    83300 | 2147483647     8818     43 |  0.005 % |
1.27/1.38	c |     15003 |     140    11900    83300 | 2147483647     8995     43 |  0.005 % |
1.37/1.40	c |     15198 |     140    11900    83300 | 2147483647     9190     43 |  0.005 % |
1.37/1.42	c |     15412 |     140    11900    83300 | 2147483647     9404     43 |  0.005 % |
1.37/1.45	c |     15646 |     140    11900    83300 | 2147483647     9638     43 |  0.005 % |
1.37/1.49	c |     15903 |     140    11900    83300 | 2147483647     9895     43 |  0.005 % |
1.46/1.52	c |     16185 |     140    11900    83300 | 2147483647    10177     43 |  0.005 % |
1.46/1.56	c |     16494 |     140    11900    83300 | 2147483647    10486     43 |  0.005 % |
1.56/1.61	c |     16833 |     140    11900    83300 | 2147483647    10825     43 |  0.005 % |
1.56/1.62	c |     16936 |     140    11900    83300 | 2147483647    10928     43 |  0.005 % |
1.56/1.64	c |     17049 |     140    11900    83300 | 2147483647    11041     43 |  0.005 % |
1.56/1.66	c |     17170 |     140    11900    83300 | 2147483647    11162     43 |  0.005 % |
1.56/1.68	c |     17305 |     140    11900    83300 | 2147483647    11297     43 |  0.005 % |
1.66/1.70	c |     17451 |     140    11900    83300 | 2147483647    11443     43 |  0.005 % |
1.66/1.72	c |     17611 |     140    11900    83300 | 2147483647    11603     43 |  0.005 % |
1.66/1.74	c |     17787 |     140    11900    83300 | 2147483647    11779     43 |  0.005 % |
1.66/1.77	c |     17980 |     140    11900    83300 | 2147483647    11972     43 |  0.005 % |
1.77/1.81	c |     18192 |     140    11900    83300 | 2147483647    12184     43 |  0.005 % |
1.77/1.84	c |     18425 |     140    11900    83300 | 2147483647    12417     43 |  0.005 % |
1.77/1.87	c |     18682 |     140    11900    83300 | 2147483647    12674     43 |  0.005 % |
1.87/1.91	c |     18964 |     140    11900    83300 | 2147483647    12956     43 |  0.005 % |
1.87/1.96	c |     19275 |     140    11900    83300 | 2147483647    13267     43 |  0.005 % |
1.97/2.01	c |     19615 |     140    11900    83300 | 2147483647    13607     43 |  0.005 % |
1.97/2.07	c |     19988 |     140    11900    83300 | 2147483647    13980     43 |  0.005 % |
1.97/2.08	c |     20088 |     140    11900    83300 | 2147483647    14080     43 |  0.005 % |
2.07/2.10	c |     20200 |     140    11900    83300 | 2147483647    14192     43 |  0.005 % |
2.07/2.13	c |     20322 |     140    11900    83300 | 2147483647    14314     43 |  0.005 % |
2.07/2.15	c |     20455 |     140    11900    83300 | 2147483647    14447     43 |  0.005 % |
2.07/2.18	c |     20602 |     140    11900    83300 | 2147483647    14594     43 |  0.005 % |
2.17/2.20	c |     20763 |     140    11900    83300 | 2147483647    14755     43 |  0.005 % |
2.17/2.23	c |     20939 |     140    11900    83300 | 2147483647    14931     43 |  0.005 % |
2.17/2.27	c |     21132 |     140    11900    83300 | 2147483647    15124     43 |  0.005 % |
2.27/2.30	c |     21344 |     140    11900    83300 | 2147483647    15336     43 |  0.005 % |
2.27/2.34	c |     21578 |     140    11900    83300 | 2147483647    15570     43 |  0.005 % |
2.27/2.38	c |     21836 |     140    11900    83300 | 2147483647    15828     43 |  0.005 % |
2.37/2.44	c |     22117 |     140    11900    83300 | 2147483647    16109     43 |  0.005 % |
2.37/2.49	c |     22427 |     140    11900    83300 | 2147483647    16419     43 |  0.005 % |
2.47/2.55	c |     22767 |     140    11900    83300 | 2147483647    16759     43 |  0.005 % |
2.56/2.62	c |     23140 |     140    11900    83300 | 2147483647    17132     43 |  0.005 % |
2.66/2.70	c |     23549 |     140    11900    83300 | 2147483647    17541     43 |  0.005 % |
2.66/2.72	c |     23652 |     140    11900    83300 | 2147483647    17644     43 |  0.005 % |
2.66/2.74	c |     23763 |     140    11900    83300 | 2147483647    17755     43 |  0.005 % |
2.66/2.77	c |     23884 |     140    11900    83300 | 2147483647    17876     43 |  0.005 % |
2.76/2.80	c |     24017 |     140    11900    83300 | 2147483647    18009     43 |  0.005 % |
2.76/2.84	c |     24163 |     140    11900    83300 | 2147483647    18155     43 |  0.005 % |
2.76/2.87	c |     24324 |     140    11900    83300 | 2147483647    18316     43 |  0.005 % |
2.86/2.91	c |     24500 |     140    11900    83300 | 2147483647    18492     43 |  0.005 % |
2.86/2.97	c |     24694 |     140    11900    83300 | 2147483647    18686     43 |  0.005 % |
2.96/3.01	c |     24908 |     140    11900    83300 | 2147483647    18900     43 |  0.005 % |
2.96/3.06	c |     25142 |     140    11900    83300 | 2147483647    19134     43 |  0.005 % |
3.06/3.11	c |     25398 |     140    11900    83300 | 2147483647    19390     43 |  0.005 % |
3.06/3.17	c |     25680 |     140    11900    83300 | 2147483647    19672     43 |  0.005 % |
3.17/3.24	c |     25989 |     140    11900    83300 | 2147483647    19981     43 |  0.005 % |
3.27/3.31	c |     26329 |     140    11900    83300 | 2147483647    20321     43 |  0.005 % |
3.27/3.39	c |     26704 |     140    11900    83300 | 2147483647    20696     43 |  0.005 % |
3.36/3.47	c |     27114 |     140    11900    83300 | 2147483647    21106     43 |  0.005 % |
3.46/3.57	c |     27563 |     140    11900    83300 | 2147483647    21555     43 |  0.005 % |
3.56/3.60	c |     27664 |     140    11900    83300 | 2147483647    21656     43 |  0.005 % |
3.56/3.63	c |     27774 |     140    11900    83300 | 2147483647    21766     43 |  0.005 % |
3.56/3.66	c |     27897 |     140    11900    83300 | 2147483647    21889     43 |  0.005 % |
3.56/3.69	c |     28031 |     140    11900    83300 | 2147483647    22023     43 |  0.005 % |
3.66/3.74	c |     28177 |     140    11900    83300 | 2147483647    22169     43 |  0.005 % |
3.66/3.78	c |     28337 |     140    11900    83300 | 2147483647    22329     43 |  0.005 % |
3.76/3.82	c |     28513 |     140    11900    83300 | 2147483647    22505     43 |  0.005 % |
3.76/3.87	c |     28707 |     140    11900    83300 | 2147483647    22699     43 |  0.005 % |
3.86/3.92	c |     28919 |     140    11900    83300 | 2147483647    22911     43 |  0.005 % |
3.86/3.98	c |     29152 |     140    11900    83300 | 2147483647    23144     43 |  0.005 % |
3.96/4.04	c |     29408 |     140    11900    83300 | 2147483647    23400     43 |  0.005 % |
4.06/4.11	c |     29690 |     140    11900    83300 | 2147483647    23682     43 |  0.005 % |
4.06/4.18	c |     29999 |     140    11900    83300 | 2147483647    23991     43 |  0.005 % |
4.16/4.26	c |     30338 |     140    11900    83300 | 2147483647    24330     43 |  0.005 % |
4.26/4.36	c |     30710 |     140    11900    83300 | 2147483647    24702     43 |  0.005 % |
4.36/4.46	c |     31121 |     140    11900    83300 | 2147483647    25113     43 |  0.005 % |
4.46/4.58	c |     31570 |     140    11900    83300 | 2147483647    25562     43 |  0.005 % |
4.66/4.75	c |     32064 |     140    11900    83300 | 2147483647    26056     43 |  0.005 % |
4.66/4.78	c |     32165 |     140    11900    83300 | 2147483647    26157     43 |  0.005 % |
4.76/4.82	c |     32276 |     140    11900    83300 | 2147483647    26268     43 |  0.005 % |
4.76/4.85	c |     32398 |     140    11900    83300 | 2147483647    26390     43 |  0.005 % |
4.76/4.90	c |     32531 |     140    11900    83300 | 2147483647    26523     43 |  0.005 % |
4.86/4.95	c |     32678 |     140    11900    83300 | 2147483647    26670     43 |  0.005 % |
4.96/5.00	c |     32838 |     140    11900    83300 | 2147483647    26830     43 |  0.005 % |
4.96/5.06	c |     33014 |     140    11900    83300 | 2147483647    27006     43 |  0.005 % |
5.06/5.12	c |     33207 |     140    11900    83300 | 2147483647    27199     43 |  0.005 % |
5.06/5.18	c |     33421 |     140    11900    83300 | 2147483647    27413     43 |  0.005 % |
5.15/5.26	c |     33655 |     140    11900    83300 | 2147483647    27647     43 |  0.005 % |
5.25/5.34	c |     33912 |     140    11900    83300 | 2147483647    27904     43 |  0.005 % |
5.36/5.42	c |     34194 |     140    11900    83300 | 2147483647    28186     43 |  0.005 % |
5.46/5.52	c |     34503 |     140    11900    83300 | 2147483647    28495     43 |  0.005 % |
5.55/5.63	c |     34843 |     140    11900    83300 | 2147483647    28835     43 |  0.005 % |
5.65/5.76	c |     35215 |     140    11900    83300 | 2147483647    29207     43 |  0.005 % |
5.85/5.90	c |     35624 |     140    11900    83300 | 2147483647    29616     43 |  0.005 % |
5.95/6.01	c |     36073 |     140    11900    83300 | 2147483647    30065     43 |  0.005 % |
6.05/6.19	c |     36567 |     140    11900    83300 | 2147483647    30559     43 |  0.005 % |
6.25/6.40	c |     37112 |     140    11900    83300 | 2147483647    31104     43 |  0.005 % |
6.35/6.43	c |     37212 |     140    11900    83300 | 2147483647    31204     43 |  0.005 % |
6.35/6.47	c |     37322 |     140    11900    83300 | 2147483647    31314     43 |  0.005 % |
6.46/6.51	c |     37443 |     140    11900    83300 | 2147483647    31435     43 |  0.005 % |
6.46/6.55	c |     37576 |     140    11900    83300 | 2147483647    31568     43 |  0.005 % |
6.57/6.62	c |     37722 |     140    11900    83300 | 2147483647    31714     43 |  0.005 % |
6.57/6.69	c |     37884 |     140    11900    83300 | 2147483647    31876     43 |  0.005 % |
6.66/6.74	c |     38062 |     140    11900    83300 | 2147483647    32054     43 |  0.005 % |
6.76/6.82	c |     38255 |     140    11900    83300 | 2147483647    32247     43 |  0.005 % |
6.86/6.90	c |     38467 |     140    11900    83300 | 2147483647    32459     43 |  0.005 % |
6.86/6.99	c |     38700 |     140    11900    83300 | 2147483647    32692     43 |  0.005 % |
6.96/7.08	c |     38958 |     140    11900    83300 | 2147483647    32950     43 |  0.005 % |
7.06/7.18	c |     39240 |     140    11900    83300 | 2147483647    33232     43 |  0.005 % |
7.26/7.30	c |     39550 |     140    11900    83300 | 2147483647    33542     43 |  0.005 % |
7.36/7.46	c |     39890 |     140    11900    83300 | 2147483647    33882     43 |  0.005 % |
7.56/7.61	c |     40265 |     140    11900    83300 | 2147483647    34257     43 |  0.005 % |
7.66/7.77	c |     40674 |     140    11900    83300 | 2147483647    34666     43 |  0.005 % |
7.86/7.94	c |     41123 |     140    11900    83300 | 2147483647    35115     43 |  0.005 % |
8.06/8.12	c |     41617 |     140    11900    83300 | 2147483647    35609     43 |  0.005 % |
8.26/8.32	c |     42159 |     140    11900    83300 | 2147483647    36151     43 |  0.005 % |
8.45/8.55	c |     42755 |     140    11900    83300 | 2147483647    36747     43 |  0.005 % |
8.45/8.59	c |     42855 |     140    11900    83300 | 2147483647    36847     43 |  0.005 % |
8.55/8.64	c |     42965 |     140    11900    83300 | 2147483647    36957     43 |  0.005 % |
8.55/8.69	c |     43087 |     140    11900    83300 | 2147483647    37079     43 |  0.005 % |
8.66/8.76	c |     43222 |     140    11900    83300 | 2147483647    37214     43 |  0.005 % |
8.76/8.83	c |     43368 |     140    11900    83300 | 2147483647    37360     43 |  0.005 % |
8.85/8.91	c |     43530 |     140    11900    83300 | 2147483647    37522     43 |  0.005 % |
8.85/9.00	c |     43706 |     140    11900    83300 | 2147483647    37698     43 |  0.005 % |
8.95/9.08	c |     43900 |     140    11900    83300 | 2147483647    37892     43 |  0.005 % |
9.05/9.17	c |     44112 |     140    11900    83300 | 2147483647    38104     43 |  0.005 % |
9.15/9.28	c |     44346 |     140    11900    83300 | 2147483647    38338     43 |  0.005 % |
9.35/9.40	c |     44602 |     140    11900    83300 | 2147483647    38594     43 |  0.005 % |
9.45/9.52	c |     44883 |     140    11900    83300 | 2147483647    38875     43 |  0.005 % |
9.55/9.65	c |     45193 |     140    11900    83300 | 2147483647    39185     43 |  0.005 % |
9.76/9.80	c |     45532 |     140    11900    83300 | 2147483647    39524     43 |  0.005 % |
9.95/10.00	c |     45906 |     140    11900    83300 | 2147483647    39898     43 |  0.005 % |
10.05/10.19	c |     46315 |     140    11900    83300 | 2147483647    40307     43 |  0.005 % |
10.35/10.40	c |     46765 |     140    11900    83300 | 2147483647    40757     43 |  0.005 % |
10.55/10.61	c |     47259 |     140    11900    83300 | 2147483647    41251     43 |  0.005 % |
10.75/10.85	c |     47803 |     140    11900    83300 | 2147483647    41795     43 |  0.005 % |
11.05/11.12	c |     48400 |     140    11900    83300 | 2147483647    42392     43 |  0.005 % |
11.35/11.40	c |     49056 |     140    11900    83300 | 2147483647    43048     43 |  0.005 % |
11.35/11.47	c |     49156 |     140    11900    83300 | 2147483647    43148     43 |  0.005 % |
11.45/11.54	c |     49268 |     140    11900    83300 | 2147483647    43260     43 |  0.005 % |
11.55/11.61	c |     49391 |     140    11900    83300 | 2147483647    43383     43 |  0.005 % |
11.55/11.68	c |     49525 |     140    11900    83300 | 2147483647    43517     43 |  0.005 % |
11.64/11.78	c |     49671 |     140    11900    83300 | 2147483647    43663     43 |  0.005 % |
11.74/11.87	c |     49832 |     140    11900    83300 | 2147483647    43824     43 |  0.005 % |
11.84/11.97	c |     50008 |     140    11900    83300 | 2147483647    44000     43 |  0.005 % |
11.95/12.08	c |     50202 |     140    11900    83300 | 2147483647    44194     43 |  0.005 % |
12.05/12.20	c |     50414 |     140    11900    83300 | 2147483647    44406     43 |  0.005 % |
12.24/12.33	c |     50647 |     140    11900    83300 | 2147483647    44639     43 |  0.005 % |
12.34/12.46	c |     50904 |     140    11900    83300 | 2147483647    44896     43 |  0.005 % |
12.54/12.62	c |     51186 |     140    11900    83300 | 2147483647    45178     43 |  0.005 % |
12.64/12.78	c |     51496 |     140    11900    83300 | 2147483647    45488     43 |  0.005 % |
12.84/12.96	c |     51836 |     140    11900    83300 | 2147483647    45828     43 |  0.005 % |
13.05/13.16	c |     52209 |     140    11900    83300 | 2147483647    46201     43 |  0.005 % |
13.25/13.39	c |     52621 |     140    11900    83300 | 2147483647    46613     43 |  0.005 % |
13.55/13.62	c |     53071 |     140    11900    83300 | 2147483647    47063     43 |  0.005 % |
13.85/13.91	c |     53565 |     140    11900    83300 | 2147483647    47557     43 |  0.005 % |
14.15/14.26	c |     54107 |     140    11900    83300 | 2147483647    48099     43 |  0.005 % |
14.45/14.57	c |     54704 |     140    11900    83300 | 2147483647    48696     43 |  0.005 % |
14.85/14.92	c |     55360 |     140    11900    83300 | 2147483647    49352     43 |  0.005 % |
15.15/15.29	c |     56080 |     140    11900    83300 | 2147483647    50072     43 |  0.005 % |
15.25/15.36	c |     56180 |     140    11900    83300 | 2147483647    50172     43 |  0.005 % |
15.35/15.42	c |     56290 |     140    11900    83300 | 2147483647    50282     43 |  0.005 % |
15.35/15.50	c |     56413 |     140    11900    83300 | 2147483647    50405     43 |  0.005 % |
15.45/15.58	c |     56546 |     140    11900    83300 | 2147483647    50538     43 |  0.005 % |
15.55/15.68	c |     56695 |     140    11900    83300 | 2147483647    50687     43 |  0.005 % |
15.65/15.78	c |     56855 |     140    11900    83300 | 2147483647    50847     43 |  0.005 % |
15.75/15.89	c |     57034 |     140    11900    83300 | 2147483647    51026     43 |  0.005 % |
15.95/16.05	c |     57228 |     140    11900    83300 | 2147483647    51220     43 |  0.005 % |
16.05/16.18	c |     57441 |     140    11900    83300 | 2147483647    51433     43 |  0.005 % |
16.25/16.32	c |     57676 |     140    11900    83300 | 2147483647    51668     43 |  0.005 % |
16.35/16.47	c |     57932 |     140    11900    83300 | 2147483647    51924     43 |  0.005 % |
16.55/16.64	c |     58213 |     140    11900    83300 | 2147483647    52205     43 |  0.005 % |
16.75/16.82	c |     58524 |     140    11900    83300 | 2147483647    52516     43 |  0.005 % |
16.95/17.07	c |     58864 |     140    11900    83300 | 2147483647    52856     43 |  0.005 % |
17.25/17.32	c |     59237 |     140    11900    83300 | 2147483647    53229     43 |  0.005 % |
17.45/17.58	c |     59646 |     140    11900    83300 | 2147483647    53638     43 |  0.005 % |
17.74/17.82	c |     60095 |     140    11900    83300 | 2147483647    54087     43 |  0.005 % |
18.14/18.21	c |     60589 |     140    11900    83300 | 2147483647    54581     43 |  0.005 % |
18.55/18.61	c |     61131 |     140    11900    83300 | 2147483647    55123     43 |  0.005 % |
18.94/19.00	c |     61729 |     140    11900    83300 | 2147483647    55721     43 |  0.005 % |
19.34/19.43	c |     62386 |     140    11900    83300 | 2147483647    56378     43 |  0.005 % |
19.75/19.90	c |     63106 |     140    11900    83300 | 2147483647    57098     43 |  0.005 % |
20.24/20.33	c |     63898 |     140    11900    83300 | 2147483647    57890     43 |  0.005 % |
20.24/20.39	c |     63998 |     140    11900    83300 | 2147483647    57990     43 |  0.005 % |
20.34/20.47	c |     64110 |     140    11900    83300 | 2147483647    58102     43 |  0.005 % |
20.44/20.54	c |     64231 |     140    11900    83300 | 2147483647    58223     43 |  0.005 % |
20.54/20.63	c |     64366 |     140    11900    83300 | 2147483647    58358     43 |  0.005 % |
20.64/20.72	c |     64513 |     140    11900    83300 | 2147483647    58505     43 |  0.005 % |
20.74/20.88	c |     64673 |     140    11900    83300 | 2147483647    58665     43 |  0.005 % |
20.94/21.02	c |     64849 |     140    11900    83300 | 2147483647    58841     43 |  0.005 % |
21.04/21.18	c |     65045 |     140    11900    83300 | 2147483647    59037     43 |  0.005 % |
21.24/21.36	c |     65257 |     140    11900    83300 | 2147483647    59249     43 |  0.005 % |
21.44/21.51	c |     65490 |     140    11900    83300 | 2147483647    59482     43 |  0.005 % |
21.54/21.68	c |     65746 |     140    11900    83300 | 2147483647    59738     43 |  0.005 % |
21.73/21.87	c |     66027 |     140    11900    83300 | 2147483647    60019     43 |  0.005 % |
22.03/22.13	c |     66337 |     140    11900    83300 | 2147483647    60329     43 |  0.005 % |
22.23/22.38	c |     66677 |     140    11900    83300 | 2147483647    60669     43 |  0.005 % |
22.54/22.69	c |     67049 |     140    11900    83300 | 2147483647    61041     43 |  0.005 % |
22.95/23.03	c |     67458 |     140    11900    83300 | 2147483647    61450     43 |  0.005 % |
23.24/23.36	c |     67910 |     140    11900    83300 | 2147483647    61902     44 |  0.005 % |
23.64/23.71	c |     68404 |     140    11900    83300 | 2147483647    62396     43 |  0.005 % |
23.94/24.09	c |     68946 |     140    11900    83300 | 2147483647    62938     43 |  0.005 % |
24.34/24.48	c |     69543 |     140    11900    83300 | 2147483647    63535     43 |  0.005 % |
24.94/25.09	c |     70198 |     140    11900    83300 |    63992    53616     43 |  0.005 % |
25.44/25.51	c |     70918 |     140    11900    83300 |    63992    54336     43 |  0.005 % |
25.84/25.96	c |     71710 |     140    11900    83300 |    63992    55128     43 |  0.005 % |
26.34/26.49	c |     72583 |     140    11900    83300 |    63992    56001     43 |  0.005 % |
26.44/26.57	c |     72685 |     140    11900    83300 |    63992    56103     43 |  0.005 % |
26.54/26.66	c |     72795 |     140    11900    83300 |    63992    56213     43 |  0.005 % |
26.64/26.75	c |     72916 |     140    11900    83300 |    63992    56334     43 |  0.005 % |
26.74/26.84	c |     73049 |     140    11900    83300 |    63992    56467     43 |  0.005 % |
26.84/26.96	c |     73195 |     140    11900    83300 |    63992    56613     43 |  0.005 % |
26.94/27.08	c |     73355 |     140    11900    83300 |    63992    56773     43 |  0.005 % |
27.14/27.20	c |     73531 |     140    11900    83300 |    63992    56949     43 |  0.005 % |
27.24/27.35	c |     73724 |     140    11900    83300 |    63992    57142     43 |  0.005 % |
27.34/27.49	c |     73938 |     140    11900    83300 |    63992    57356     43 |  0.005 % |
27.54/27.65	c |     74172 |     140    11900    83300 |    63992    57590     43 |  0.005 % |
27.74/27.83	c |     74432 |     140    11900    83300 |    63992    57850     43 |  0.005 % |
27.94/28.00	c |     74713 |     140    11900    83300 |    63992    58131     43 |  0.005 % |
28.14/28.20	c |     75023 |     140    11900    83300 |    63992    58441     43 |  0.005 % |
28.34/28.46	c |     75362 |     140    11900    83300 |    63992    58780     43 |  0.005 % |
28.64/28.75	c |     75735 |     140    11900    83300 |    63992    59153     43 |  0.005 % |
28.94/29.03	c |     76145 |     140    11900    83300 |    63992    59563     43 |  0.005 % |
29.24/29.36	c |     76594 |     140    11900    83300 |    63992    60012     43 |  0.005 % |
29.64/29.74	c |     77087 |     140    11900    83300 |    63992    60505     43 |  0.005 % |
30.04/30.14	c |     77629 |     140    11900    83300 |    63992    61047     43 |  0.005 % |
30.44/30.55	c |     78227 |     140    11900    83300 |    63992    61645     43 |  0.005 % |
30.84/30.99	c |     78882 |     140    11900    83300 |    63992    62300     43 |  0.005 % |
31.34/31.47	c |     79603 |     140    11900    83300 |    63992    63021     43 |  0.005 % |
31.94/32.00	c |     80396 |     140    11900    83300 |    63422    52958     43 |  0.005 % |
32.44/32.50	c |     81267 |     140    11900    83300 |    63422    53829     43 |  0.005 % |
32.84/32.99	c |     82226 |     140    11900    83300 |    63422    54788     43 |  0.005 % |
32.94/33.05	c |     82326 |     140    11900    83300 |    63422    54888     43 |  0.005 % |
33.03/33.11	c |     82436 |     140    11900    83300 |    63422    54998     43 |  0.005 % |
33.13/33.20	c |     82558 |     140    11900    83300 |    63422    55120     43 |  0.005 % |
33.23/33.30	c |     82691 |     140    11900    83300 |    63422    55253     43 |  0.005 % |
33.33/33.40	c |     82838 |     140    11900    83300 |    63422    55400     43 |  0.005 % |
33.43/33.50	c |     82999 |     140    11900    83300 |    63422    55561     43 |  0.005 % |
33.53/33.62	c |     83178 |     140    11900    83300 |    63422    55740     43 |  0.005 % |
33.63/33.74	c |     83371 |     140    11900    83300 |    63422    55933     43 |  0.005 % |
33.73/33.87	c |     83583 |     140    11900    83300 |    63422    56145     43 |  0.005 % |
33.93/34.04	c |     83817 |     140    11900    83300 |    63422    56379     43 |  0.005 % |
34.13/34.23	c |     84073 |     140    11900    83300 |    63422    56635     43 |  0.005 % |
34.33/34.46	c |     84356 |     140    11900    83300 |    63422    56918     43 |  0.005 % |
34.53/34.65	c |     84666 |     140    11900    83300 |    63422    57228     43 |  0.005 % |
34.73/34.87	c |     85007 |     140    11900    83300 |    63422    57569     43 |  0.005 % |
35.03/35.17	c |     85379 |     140    11900    83300 |    63422    57941     43 |  0.005 % |
35.33/35.48	c |     85789 |     140    11900    83300 |    63422    58351     43 |  0.005 % |
35.63/35.75	c |     86238 |     140    11900    83300 |    63422    58800     43 |  0.005 % |
35.93/36.07	c |     86731 |     140    11900    83300 |    63422    59293     43 |  0.005 % |
36.33/36.42	c |     87273 |     140    11900    83300 |    63422    59835     43 |  0.005 % |
36.63/36.79	c |     87870 |     140    11900    83300 |    63422    60432     43 |  0.005 % |
37.03/37.19	c |     88525 |     140    11900    83300 |    63422    61087     43 |  0.005 % |
37.63/37.80	c |     89245 |     140    11900    83300 |    63422    61807     43 |  0.005 % |
38.23/38.35	c |     90037 |     140    11900    83300 |    62564    62599     43 |  0.005 % |
38.83/38.96	c |     90909 |     140    11900    83300 |    62564    53079     43 |  0.005 % |
39.43/39.57	c |     91867 |     140    11900    83300 |    62564    54037     43 |  0.005 % |
40.02/40.19	c |     92922 |     140    11900    83300 |    62564    55092     43 |  0.005 % |
40.12/40.26	c |     93026 |     140    11900    83300 |    62564    55196     43 |  0.005 % |
40.22/40.36	c |     93136 |     140    11900    83300 |    62564    55306     43 |  0.005 % |
40.32/40.44	c |     93257 |     140    11900    83300 |    62564    55427     43 |  0.005 % |
40.42/40.51	c |     93390 |     140    11900    83300 |    62564    55560     43 |  0.005 % |
40.53/40.61	c |     93536 |     140    11900    83300 |    62564    55706     43 |  0.005 % |
40.63/40.73	c |     93696 |     140    11900    83300 |    62564    55866     43 |  0.005 % |
40.72/40.85	c |     93872 |     140    11900    83300 |    62564    56042     43 |  0.005 % |
40.82/40.99	c |     94065 |     140    11900    83300 |    62564    56235     43 |  0.005 % |
41.02/41.16	c |     94278 |     140    11900    83300 |    62564    56448     43 |  0.005 % |
41.22/41.32	c |     94511 |     140    11900    83300 |    62564    56681     43 |  0.005 % |
41.42/41.54	c |     94767 |     140    11900    83300 |    62564    56937     43 |  0.005 % |
41.63/41.75	c |     95048 |     140    11900    83300 |    62564    57218     43 |  0.005 % |
41.82/41.97	c |     95358 |     140    11900    83300 |    62564    57528     43 |  0.005 % |
42.12/42.22	c |     95697 |     140    11900    83300 |    62564    57867     43 |  0.005 % |
42.32/42.48	c |     96071 |     140    11900    83300 |    62564    58241     43 |  0.005 % |
42.73/42.81	c |     96482 |     140    11900    83300 |    62564    58652     43 |  0.005 % |
43.02/43.14	c |     96932 |     140    11900    83300 |    62564    59102     43 |  0.005 % |
43.32/43.49	c |     97425 |     140    11900    83300 |    62564    59595     43 |  0.005 % |
43.72/43.84	c |     97969 |     140    11900    83300 |    62564    60139     43 |  0.005 % |
44.12/44.24	c |     98566 |     140    11900    83300 |    62564    60736     43 |  0.005 % |
44.62/44.78	c |     99221 |     140    11900    83300 |    62564    61391     43 |  0.005 % |
45.22/45.31	c |     99941 |     140    11900    83300 |    62564    62111     43 |  0.005 % |
45.72/45.88	c |    100734 |     140    11900    83300 |    62173    52249     43 |  0.005 % |
46.22/46.35	c |    101607 |     140    11900    83300 |    62173    53122     43 |  0.005 % |
46.72/46.84	c |    102565 |     140    11900    83300 |    62173    54080     43 |  0.005 % |
47.52/47.61	c |    103619 |     140    11900    83300 |    62173    55134     43 |  0.005 % |
48.22/48.39	c |    104777 |     140    11900    83300 |    62173    56292     43 |  0.005 % |
48.33/48.47	c |    104878 |     140    11900    83300 |    62173    56393     43 |  0.005 % |
48.42/48.56	c |    104989 |     140    11900    83300 |    62173    56504     43 |  0.005 % |
48.52/48.65	c |    105112 |     140    11900    83300 |    62173    56627     43 |  0.005 % |
48.62/48.74	c |    105245 |     140    11900    83300 |    62173    56760     43 |  0.005 % |
48.72/48.84	c |    105392 |     140    11900    83300 |    62173    56907     43 |  0.005 % |
48.82/48.94	c |    105554 |     140    11900    83300 |    62173    57069     43 |  0.005 % |
48.92/49.09	c |    105731 |     140    11900    83300 |    62173    57246     43 |  0.005 % |
49.12/49.22	c |    105925 |     140    11900    83300 |    62173    57440     43 |  0.005 % |
49.22/49.39	c |    106139 |     140    11900    83300 |    62173    57654     43 |  0.005 % |
49.43/49.55	c |    106372 |     140    11900    83300 |    62173    57887     43 |  0.005 % |
49.62/49.71	c |    106628 |     140    11900    83300 |    62173    58143     43 |  0.005 % |
49.72/49.87	c |    106909 |     140    11900    83300 |    62173    58424     43 |  0.005 % |
49.92/50.06	c |    107218 |     140    11900    83300 |    62173    58733     43 |  0.005 % |
50.12/50.29	c |    107557 |     140    11900    83300 |    62173    59072     43 |  0.005 % |
50.42/50.55	c |    107930 |     140    11900    83300 |    62173    59445     43 |  0.005 % |
50.72/50.82	c |    108345 |     140    11900    83300 |    62173    59860     43 |  0.005 % |
51.02/51.13	c |    108794 |     140    11900    83300 |    62173    60309     43 |  0.005 % |
51.32/51.45	c |    109288 |     140    11900    83300 |    62173    60803     43 |  0.005 % |
51.72/51.85	c |    109830 |     140    11900    83300 |    62173    61345     43 |  0.005 % |
52.22/52.31	c |    110426 |     140    11900    83300 |    61517    51680     43 |  0.005 % |
52.52/52.70	c |    111083 |     140    11900    83300 |    61517    52337     43 |  0.005 % |
53.02/53.19	c |    111804 |     140    11900    83300 |    61517    53058     43 |  0.005 % |
53.62/53.70	c |    112596 |     140    11900    83300 |    61517    53850     43 |  0.005 % |
54.11/54.26	c |    113467 |     140    11900    83300 |    61517    54721     43 |  0.005 % |
54.71/54.88	c |    114426 |     140    11900    83300 |    61517    55680     43 |  0.005 % |
55.31/55.49	c |    115480 |     140    11900    83300 |    61517    56734     43 |  0.005 % |
56.11/56.24	c |    116638 |     140    11900    83300 |    61517    57892     44 |  0.005 % |
56.81/56.96	c |    117912 |     140    11900    83300 |    61517    59166     43 |  0.005 % |
56.91/57.02	c |    118013 |     140    11900    83300 |    61517    59267     43 |  0.005 % |
57.02/57.13	c |    118126 |     140    11900    83300 |    61517    59380     43 |  0.005 % |
57.12/57.22	c |    118247 |     140    11900    83300 |    61517    59501     43 |  0.005 % |
57.22/57.33	c |    118381 |     140    11900    83300 |    61517    59635     43 |  0.005 % |
57.32/57.44	c |    118528 |     140    11900    83300 |    61517    59782     43 |  0.005 % |
57.42/57.57	c |    118688 |     140    11900    83300 |    61517    59942     43 |  0.005 % |
57.61/57.71	c |    118866 |     140    11900    83300 |    61517    60120     43 |  0.005 % |
57.71/57.85	c |    119059 |     140    11900    83300 |    61517    60313     43 |  0.005 % |
57.91/58.04	c |    119271 |     140    11900    83300 |    61517    60525     43 |  0.005 % |
58.12/58.24	c |    119505 |     140    11900    83300 |    61517    60759     43 |  0.005 % |
58.31/58.47	c |    119763 |     140    11900    83300 |    61517    61017     43 |  0.005 % |
58.51/58.69	c |    120044 |     140    11900    83300 |    61256    61298     43 |  0.005 % |
58.81/58.95	c |    120353 |     140    11900    83300 |    61256    51710     43 |  0.005 % |
59.01/59.14	c |    120693 |     140    11900    83300 |    61256    52050     43 |  0.005 % |
59.22/59.36	c |    121065 |     140    11900    83300 |    61256    52422     43 |  0.005 % |
59.51/59.65	c |    121474 |     140    11900    83300 |    61256    52831     43 |  0.005 % |
59.81/59.92	c |    121923 |     140    11900    83300 |    61256    53280     43 |  0.005 % |
60.11/60.25	c |    122416 |     140    11900    83300 |    61256    53773     43 |  0.005 % |
60.41/60.58	c |    122959 |     140    11900    83300 |    61256    54316     43 |  0.005 % |
60.81/60.97	c |    123555 |     140    11900    83300 |    61256    54912     43 |  0.005 % |
61.31/61.44	c |    124210 |     140    11900    83300 |    61256    55567     43 |  0.005 % |
61.71/61.87	c |    124931 |     140    11900    83300 |    61256    56288     43 |  0.005 % |
62.21/62.39	c |    125723 |     140    11900    83300 |    61256    57080     43 |  0.005 % |
62.81/62.90	c |    126594 |     140    11900    83300 |    61256    57951     43 |  0.005 % |
63.51/63.61	c |    127552 |     140    11900    83300 |    61256    58909     43 |  0.005 % |
64.21/64.36	c |    128606 |     140    11900    83300 |    61256    59963     43 |  0.005 % |
65.01/65.10	c |    129764 |     140    11900    83300 |    61256    61121     43 |  0.005 % |
65.71/65.82	c |    131037 |     140    11900    83300 |    51465    44260     43 |  0.005 % |
66.41/66.51	c |    132439 |     140    11900    83300 |    51465    45662     44 |  0.005 % |
66.41/66.57	c |    132539 |     140    11900    83300 |    51465    45762     44 |  0.005 % |
66.51/66.64	c |    132651 |     140    11900    83300 |    51465    45874     44 |  0.005 % |
66.61/66.71	c |    132772 |     140    11900    83300 |    51465    45995     44 |  0.005 % |
66.61/66.77	c |    132906 |     140    11900    83300 |    51465    46129     44 |  0.005 % |
66.71/66.86	c |    133054 |     140    11900    83300 |    51465    46277     44 |  0.005 % |
66.81/66.96	c |    133214 |     140    11900    83300 |    51465    46437     44 |  0.005 % |
66.91/67.06	c |    133391 |     140    11900    83300 |    51465    46614     44 |  0.005 % |
67.01/67.18	c |    133585 |     140    11900    83300 |    51465    46808     43 |  0.005 % |
67.21/67.33	c |    133797 |     140    11900    83300 |    51465    47020     44 |  0.005 % |
67.31/67.47	c |    134030 |     140    11900    83300 |    51465    47253     44 |  0.005 % |
67.51/67.64	c |    134286 |     140    11900    83300 |    51465    47509     44 |  0.005 % |
67.71/67.80	c |    134567 |     140    11900    83300 |    51465    47790     44 |  0.005 % |
67.91/68.00	c |    134876 |     140    11900    83300 |    51465    48099     44 |  0.005 % |
68.11/68.21	c |    135216 |     140    11900    83300 |    51465    48439     44 |  0.005 % |
68.21/68.40	c |    135588 |     140    11900    83300 |    51465    48811     44 |  0.005 % |
68.51/68.67	c |    135997 |     140    11900    83300 |    51465    49220     44 |  0.005 % |
68.81/68.94	c |    136447 |     140    11900    83300 |    51465    49670     44 |  0.005 % |
69.11/69.25	c |    136940 |     140    11900    83300 |    51465    50163     44 |  0.005 % |
69.41/69.56	c |    137483 |     140    11900    83300 |    51465    50706     44 |  0.005 % |
69.71/69.87	c |    138079 |     140    11900    83300 |    51465    51302     44 |  0.005 % |
70.11/70.25	c |    138737 |     140    11900    83300 |    51465    45892     43 |  0.005 % |
70.51/70.62	c |    139457 |     140    11900    83300 |    51465    46612     43 |  0.005 % |
70.91/71.04	c |    140250 |     140    11900    83300 |    47156    42068     44 |  0.005 % |
71.31/71.43	c |    141121 |     140    11900    83300 |    47156    42939     44 |  0.005 % |
71.70/71.89	c |    142080 |     140    11900    83300 |    47156    43898     44 |  0.005 % |
72.30/72.43	c |    143134 |     140    11900    83300 |    47156    44952     44 |  0.005 % |
72.90/73.01	c |    144293 |     140    11900    83300 |    47156    46111     44 |  0.005 % |
73.61/73.72	c |    145567 |     140    11900    83300 |    47156    42664     44 |  0.005 % |
74.40/74.51	c |    146968 |     140    11900    83300 |    47156    44065     44 |  0.005 % |
75.10/75.28	c |    148508 |     140    11900    83300 |    47156    45605     44 |  0.005 % |
75.20/75.35	c |    148608 |     140    11900    83300 |    47156    45705     44 |  0.005 % |
75.30/75.41	c |    148719 |     140    11900    83300 |    47156    45816     44 |  0.005 % |
75.30/75.47	c |    148840 |     140    11900    83300 |    47156    45937     44 |  0.005 % |
75.40/75.55	c |    148974 |     140    11900    83300 |    47156    46071     44 |  0.005 % |
75.50/75.63	c |    149122 |     140    11900    83300 |    47156    46219     44 |  0.005 % |
75.60/75.71	c |    149283 |     140    11900    83300 |    47156    46380     44 |  0.005 % |
75.71/75.81	c |    149459 |     140    11900    83300 |    47156    46556     44 |  0.005 % |
75.81/75.93	c |    149653 |     140    11900    83300 |    47156    46750     44 |  0.005 % |
75.90/76.04	c |    149865 |     140    11900    83300 |    47156    46962     44 |  0.005 % |
76.00/76.17	c |    150102 |     140    11900    83300 | 2147483647    47199     44 |  0.005 % |
76.10/76.29	c |    150358 |     140    11900    83300 | 2147483647    47455     44 |  0.005 % |
76.30/76.45	c |    150639 |     140    11900    83300 | 2147483647    47736     44 |  0.005 % |
76.50/76.62	c |    150950 |     140    11900    83300 | 2147483647    48047     44 |  0.005 % |
76.70/76.81	c |    151289 |     140    11900    83300 | 2147483647    48386     44 |  0.005 % |
76.91/77.02	c |    151662 |     140    11900    83300 | 2147483647    48759     44 |  0.005 % |
77.10/77.23	c |    152071 |     140    11900    83300 | 2147483647    49168     44 |  0.005 % |
77.40/77.53	c |    152520 |     140    11900    83300 | 2147483647    49617     44 |  0.005 % |
77.70/77.87	c |    153013 |     140    11900    83300 | 2147483647    50110     44 |  0.005 % |
78.10/78.28	c |    153555 |     140    11900    83300 | 2147483647    50652     44 |  0.005 % |
78.60/78.72	c |    154153 |     140    11900    83300 | 2147483647    51250     44 |  0.005 % |
79.00/79.10	c |    154809 |     140    11900    83300 | 2147483647    51906     44 |  0.005 % |
79.39/79.53	c |    155529 |     140    11900    83300 | 2147483647    52626     44 |  0.005 % |
79.99/80.12	c |    156324 |     140    11900    83300 | 2147483647    53421     44 |  0.005 % |
80.49/80.66	c |    157195 |     140    11900    83300 | 2147483647    54292     44 |  0.005 % |
81.09/81.29	c |    158153 |     140    11900    83300 | 2147483647    55250     44 |  0.005 % |
81.78/81.97	c |    159206 |     140    11900    83300 | 2147483647    56303     44 |  0.005 % |
82.58/82.78	c |    160364 |     140    11900    83300 |    57097    50541     44 |  0.005 % |
83.28/83.43	c |    161637 |     140    11900    83300 |    57097    51814     44 |  0.005 % |
84.08/84.23	c |    163037 |     140    11900    83300 |    57097    53214     44 |  0.005 % |
85.07/85.27	c |    164578 |     140    11900    83300 |    57097    54755     44 |  0.005 % |
86.17/86.40	c |    166273 |     140    11900    83300 |    57097    56450     44 |  0.005 % |
86.27/86.46	c |    166373 |     140    11900    83300 |    57097    56550     44 |  0.005 % |
86.37/86.55	c |    166485 |     140    11900    83300 |    57097    56662     44 |  0.005 % |
86.47/86.63	c |    166606 |     140    11900    83300 |    57097    56783     44 |  0.005 % |
86.57/86.74	c |    166740 |     140    11900    83300 |    57097    56917     44 |  0.005 % |
86.68/86.84	c |    166886 |     140    11900    83300 |    57097    57063     44 |  0.005 % |
86.78/86.98	c |    167047 |     140    11900    83300 |    57097    49684     43 |  0.005 % |
86.97/87.10	c |    167223 |     140    11900    83300 |    57097    49860     43 |  0.005 % |
87.07/87.24	c |    167417 |     140    11900    83300 |    57097    50054     43 |  0.005 % |
87.17/87.37	c |    167630 |     140    11900    83300 |    57097    50267     43 |  0.005 % |
87.37/87.51	c |    167865 |     140    11900    83300 |    57097    50502     43 |  0.005 % |
87.47/87.67	c |    168121 |     140    11900    83300 |    57097    50758     43 |  0.005 % |
87.67/87.82	c |    168402 |     140    11900    83300 |    57097    51039     43 |  0.005 % |
87.78/88.00	c |    168711 |     140    11900    83300 |    57097    51348     43 |  0.005 % |
87.97/88.20	c |    169050 |     140    11900    83300 |    57097    51687     43 |  0.005 % |
88.27/88.44	c |    169422 |     140    11900    83300 |    57097    52059     44 |  0.005 % |
88.57/88.71	c |    169832 |     140    11900    83300 |    57097    52469     44 |  0.005 % |
88.87/89.01	c |    170281 |     140    11900    83300 |    52637    45907     44 |  0.005 % |
89.07/89.25	c |    170775 |     140    11900    83300 |    52637    46401     43 |  0.005 % |
89.37/89.56	c |    171318 |     140    11900    83300 |    52637    46944     43 |  0.005 % |
89.67/89.87	c |    171914 |     140    11900    83300 |    52637    47540     43 |  0.005 % |
89.97/90.19	c |    172570 |     140    11900    83300 |    52637    48196     43 |  0.005 % |
90.47/90.64	c |    173291 |     140    11900    83300 |    52637    48917     43 |  0.005 % |
90.87/91.10	c |    174084 |     140    11900    83300 |    52637    49710     44 |  0.005 % |
91.47/91.60	c |    174956 |     140    11900    83300 |    52637    50582     43 |  0.005 % |
91.97/92.12	c |    175915 |     140    11900    83300 |    52637    51541     44 |  0.005 % |
92.57/92.70	c |    176968 |     140    11900    83300 |    52637    52594     44 |  0.005 % |
93.17/93.33	c |    178128 |     140    11900    83300 |    52637    47718     44 |  0.005 % |
93.77/93.97	c |    179401 |     140    11900    83300 |    52637    48991     44 |  0.005 % |
94.47/94.64	c |    180801 |     140    11900    83300 |    49590    45145     44 |  0.005 % |
95.27/95.40	c |    182341 |     140    11900    83300 |    49590    46685     44 |  0.005 % |
96.07/96.27	c |    184035 |     140    11900    83300 |    49590    48379     44 |  0.005 % |
97.27/97.40	c |    185898 |     140    11900    83300 |    49590    45277     44 |  0.005 % |
97.27/97.46	c |    185999 |     140    11900    83300 |    49590    45378     44 |  0.005 % |
97.37/97.52	c |    186110 |     140    11900    83300 |    49590    45489     44 |  0.005 % |
97.37/97.57	c |    186231 |     140    11900    83300 |    49590    45610     44 |  0.005 % |
97.47/97.64	c |    186365 |     140    11900    83300 |    49590    45744     44 |  0.005 % |
97.57/97.71	c |    186512 |     140    11900    83300 |    49590    45891     44 |  0.005 % |
97.68/97.82	c |    186672 |     140    11900    83300 |    49590    46051     44 |  0.005 % |
97.78/97.92	c |    186848 |     140    11900    83300 |    49590    46227     44 |  0.005 % |
97.87/98.03	c |    187044 |     140    11900    83300 |    49590    46423     44 |  0.005 % |
97.97/98.16	c |    187258 |     140    11900    83300 |    49590    46637     44 |  0.005 % |
98.07/98.28	c |    187491 |     140    11900    83300 |    49590    46870     44 |  0.005 % |
98.27/98.42	c |    187749 |     140    11900    83300 |    49590    47128     44 |  0.005 % |
98.37/98.55	c |    188031 |     140    11900    83300 |    49590    47410     44 |  0.005 % |
98.57/98.75	c |    188341 |     140    11900    83300 |    49590    47720     44 |  0.005 % |
98.78/98.94	c |    188683 |     140    11900    83300 |    49590    48062     44 |  0.005 % |
98.97/99.16	c |    189055 |     140    11900    83300 |    49590    48434     44 |  0.005 % |
99.27/99.44	c |    189464 |     140    11900    83300 |    49590    48843     44 |  0.005 % |
99.57/99.74	c |    189913 |     140    11900    83300 |    49590    49292     44 |  0.005 % |
99.88/100.03	c |    190406 |     140    11900    83300 | 2147483647    49785     44 |  0.005 % |
100.17/100.36	c |    190948 |     140    11900    83300 | 2147483647    50327     44 |  0.005 % |
100.47/100.69	c |    191545 |     140    11900    83300 | 2147483647    50924     44 |  0.005 % |
100.98/101.13	c |    192201 |     140    11900    83300 | 2147483647    51580     44 |  0.005 % |
101.37/101.56	c |    192921 |     140    11900    83300 | 2147483647    52300     44 |  0.005 % |
101.87/102.05	c |    193716 |     140    11900    83300 | 2147483647    53095     44 |  0.005 % |
102.37/102.57	c |    194589 |     140    11900    83300 | 2147483647    53968     44 |  0.005 % |
103.07/103.23	c |    195549 |     140    11900    83300 | 2147483647    54928     44 |  0.005 % |
103.77/103.95	c |    196603 |     140    11900    83300 | 2147483647    55982     44 |  0.005 % |
104.47/104.67	c |    197762 |     140    11900    83300 | 2147483647    57141     44 |  0.005 % |
105.27/105.40	c |    199035 |     140    11900    83300 | 2147483647    58414     44 |  0.005 % |
106.27/106.40	c |    200435 |     140    11900    83300 |    59379    51728     44 |  0.005 % |
107.17/107.32	c |    201975 |     140    11900    83300 |    59379    53268     44 |  0.005 % |
108.17/108.30	c |    203669 |     140    11900    83300 |    59379    54962     44 |  0.005 % |
109.17/109.40	c |    205533 |     140    11900    83300 |    59379    56826     44 |  0.005 % |
110.67/110.82	c |    207584 |     140    11900    83300 |    59379    58877     44 |  0.005 % |
110.67/110.89	c |    207684 |     140    11900    83300 |    59379    58977     44 |  0.005 % |
110.77/110.97	c |    207796 |     140    11900    83300 |    59379    59089     44 |  0.005 % |
110.87/111.06	c |    207917 |     140    11900    83300 |    59379    59210     44 |  0.005 % |
110.97/111.14	c |    208051 |     140    11900    83300 |    59379    59344     44 |  0.005 % |
111.17/111.32	c |    208200 |     140    11900    83300 |    59379    50925     44 |  0.005 % |
111.27/111.41	c |    208360 |     140    11900    83300 |    59379    51085     44 |  0.005 % |
111.37/111.53	c |    208536 |     140    11900    83300 |    59379    51261     44 |  0.005 % |
111.47/111.66	c |    208729 |     140    11900    83300 |    59379    51454     44 |  0.005 % |
111.67/111.81	c |    208941 |     140    11900    83300 |    59379    51666     44 |  0.005 % |
111.77/111.96	c |    209174 |     140    11900    83300 |    59379    51899     44 |  0.005 % |
111.97/112.11	c |    209431 |     140    11900    83300 |    59379    52156     44 |  0.005 % |
112.07/112.28	c |    209712 |     140    11900    83300 |    59379    52437     44 |  0.005 % |
112.26/112.46	c |    210023 |     140    11900    83300 |    52725    52748     44 |  0.005 % |
112.56/112.71	c |    210362 |     140    11900    83300 |    52725    45572     44 |  0.005 % |
112.76/112.93	c |    210735 |     140    11900    83300 |    52725    45945     44 |  0.005 % |
112.96/113.16	c |    211145 |     140    11900    83300 |    52725    46355     44 |  0.005 % |
113.16/113.38	c |    211594 |     140    11900    83300 |    52725    46804     44 |  0.005 % |
113.46/113.68	c |    212088 |     140    11900    83300 |    52725    47298     44 |  0.005 % |
113.86/114.01	c |    212632 |     140    11900    83300 |    52725    47842     44 |  0.005 % |
114.16/114.34	c |    213229 |     140    11900    83300 |    52725    48439     44 |  0.005 % |
114.46/114.67	c |    213884 |     140    11900    83300 |    52725    49094     44 |  0.005 % |
114.86/115.02	c |    214605 |     140    11900    83300 |    52725    49815     44 |  0.005 % |
115.26/115.41	c |    215397 |     140    11900    83300 |    52725    50607     44 |  0.005 % |
115.66/115.88	c |    216270 |     140    11900    83300 |    52725    51480     44 |  0.005 % |
116.16/116.36	c |    217229 |     140    11900    83300 |    52725    52439     44 |  0.005 % |
116.76/116.95	c |    218282 |     140    11900    83300 |    52725    47755     44 |  0.005 % |
117.26/117.49	c |    219440 |     140    11900    83300 |    52725    48913     44 |  0.005 % |
117.96/118.12	c |    220713 |     140    11900    83300 |    49473    45168     44 |  0.005 % |
118.56/118.80	c |    222113 |     140    11900    83300 |    49473    46568     44 |  0.005 % |
119.36/119.54	c |    223653 |     140    11900    83300 |    49473    48108     44 |  0.005 % |
120.26/120.41	c |    225347 |     140    11900    83300 |    49473    44849     43 |  0.005 % |
121.06/121.29	c |    227210 |     140    11900    83300 |    49473    46712     43 |  0.005 % |
122.06/122.29	c |    229259 |     140    11900    83300 |    49473    48761     43 |  0.005 % |
123.16/123.38	c |    231513 |     140    11900    83300 | 2147483647    51015     43 |  0.005 % |
123.25/123.46	c |    231613 |     140    11900    83300 | 2147483647    51115     43 |  0.005 % |
123.35/123.54	c |    231723 |     140    11900    83300 | 2147483647    51225     43 |  0.005 % |
123.45/123.60	c |    231844 |     140    11900    83300 | 2147483647    51346     43 |  0.005 % |
123.45/123.67	c |    231977 |     140    11900    83300 | 2147483647    51479     43 |  0.005 % |
123.55/123.76	c |    232124 |     140    11900    83300 | 2147483647    51626     43 |  0.005 % |
123.65/123.85	c |    232285 |     140    11900    83300 | 2147483647    51787     43 |  0.005 % |
123.75/123.97	c |    232461 |     140    11900    83300 | 2147483647    51963     43 |  0.005 % |
123.85/124.08	c |    232655 |     140    11900    83300 | 2147483647    52157     43 |  0.005 % |
124.05/124.22	c |    232869 |     140    11900    83300 | 2147483647    52371     43 |  0.005 % |
124.15/124.36	c |    233103 |     140    11900    83300 | 2147483647    52605     43 |  0.005 % |
124.35/124.53	c |    233359 |     140    11900    83300 | 2147483647    52861     43 |  0.005 % |
124.55/124.71	c |    233640 |     140    11900    83300 | 2147483647    53142     43 |  0.005 % |
124.75/124.91	c |    233950 |     140    11900    83300 | 2147483647    53452     43 |  0.005 % |
124.95/125.17	c |    234289 |     140    11900    83300 | 2147483647    53791     43 |  0.005 % |
125.15/125.40	c |    234661 |     140    11900    83300 | 2147483647    54163     43 |  0.005 % |
125.45/125.64	c |    235071 |     140    11900    83300 | 2147483647    54573     43 |  0.005 % |
125.75/125.99	c |    235520 |     140    11900    83300 | 2147483647    55022     43 |  0.005 % |
126.15/126.33	c |    236013 |     140    11900    83300 | 2147483647    55515     43 |  0.005 % |
126.55/126.72	c |    236556 |     140    11900    83300 | 2147483647    56058     43 |  0.005 % |
126.95/127.14	c |    237152 |     140    11900    83300 | 2147483647    56654     43 |  0.005 % |
127.35/127.56	c |    237807 |     140    11900    83300 | 2147483647    57309     43 |  0.005 % |
127.85/128.00	c |    238528 |     140    11900    83300 | 2147483647    58030     43 |  0.005 % |
128.35/128.60	c |    239320 |     140    11900    83300 | 2147483647    58822     43 |  0.005 % |
129.04/129.24	c |    240191 |     140    11900    83300 |    59504    51736     43 |  0.005 % |
129.65/129.85	c |    241150 |     140    11900    83300 |    59504    52695     43 |  0.005 % |
130.24/130.46	c |    242204 |     140    11900    83300 |    59504    53749     43 |  0.005 % |
130.94/131.14	c |    243363 |     140    11900    83300 |    59504    54908     43 |  0.005 % |
131.64/131.85	c |    244637 |     140    11900    83300 |    59504    56182     43 |  0.005 % |
132.54/132.71	c |    246039 |     140    11900    83300 |    59504    57584     43 |  0.005 % |
133.64/133.82	c |    247581 |     140    11900    83300 |    59504    59126     43 |  0.005 % |
134.74/134.93	c |    249275 |     140    11900    83300 |    59504    52159     43 |  0.005 % |
135.74/135.94	c |    251138 |     140    11900    83300 |    52885    46455     43 |  0.005 % |
136.74/136.95	c |    253188 |     140    11900    83300 |    52885    48505     43 |  0.005 % |
137.84/138.03	c |    255442 |     140    11900    83300 |    52885    50759     43 |  0.005 % |
139.14/139.30	c |    257921 |     140    11900    83300 |    52885    47943     43 |  0.005 % |
139.14/139.35	c |    258021 |     140    11900    83300 |    52885    48043     43 |  0.005 % |
139.24/139.43	c |    258132 |     140    11900    83300 |    52885    48154     43 |  0.005 % |
139.33/139.50	c |    258255 |     140    11900    83300 |    52885    48277     43 |  0.005 % |
139.33/139.58	c |    258388 |     140    11900    83300 |    52885    48410     43 |  0.005 % |
139.44/139.67	c |    258535 |     140    11900    83300 |    52885    48557     43 |  0.005 % |
139.54/139.77	c |    258695 |     140    11900    83300 |    52885    48717     43 |  0.005 % |
139.63/139.87	c |    258871 |     140    11900    83300 |    52885    48893     43 |  0.005 % |
139.83/140.01	c |    259065 |     140    11900    83300 |    52885    49087     43 |  0.005 % |
139.93/140.15	c |    259277 |     140    11900    83300 |    52885    49299     43 |  0.005 % |
140.13/140.30	c |    259510 |     140    11900    83300 |    52885    49532     43 |  0.005 % |
140.23/140.45	c |    259767 |     140    11900    83300 |    52885    49789     43 |  0.005 % |
140.43/140.64	c |    260051 |     140    11900    83300 |    50025    50073     43 |  0.005 % |
140.64/140.82	c |    260362 |     140    11900    83300 |    50025    45222     43 |  0.005 % |
140.83/141.01	c |    260702 |     140    11900    83300 |    50025    45562     43 |  0.005 % |
140.93/141.20	c |    261074 |     140    11900    83300 |    50025    45934     43 |  0.005 % |
141.23/141.42	c |    261484 |     140    11900    83300 |    50025    46344     43 |  0.005 % |
141.43/141.65	c |    261934 |     140    11900    83300 |    50025    46794     43 |  0.005 % |
141.64/141.89	c |    262427 |     140    11900    83300 |    50025    47287     43 |  0.005 % |
141.93/142.15	c |    262970 |     140    11900    83300 |    50025    47830     43 |  0.005 % |
142.23/142.43	c |    263566 |     140    11900    83300 |    50025    48426     43 |  0.005 % |
142.63/142.81	c |    264222 |     140    11900    83300 |    50025    49082     43 |  0.005 % |
143.03/143.23	c |    264943 |     140    11900    83300 |    50025    49803     43 |  0.005 % |
143.53/143.72	c |    265736 |     140    11900    83300 |    50025    45588     43 |  0.005 % |
143.93/144.16	c |    266608 |     140    11900    83300 |    50025    46460     43 |  0.005 % |
144.43/144.63	c |    267566 |     140    11900    83300 |    50025    47418     43 |  0.005 % |
145.03/145.23	c |    268619 |     140    11900    83300 |    50025    48471     43 |  0.005 % |
145.63/145.84	c |    269780 |     140    11900    83300 |    50025    49632     43 |  0.005 % |
146.33/146.55	c |    271053 |     140    11900    83300 | 2147483647    50905     43 |  0.005 % |
147.03/147.30	c |    272454 |     140    11900    83300 | 2147483647    52306     43 |  0.005 % |
147.93/148.12	c |    273994 |     140    11900    83300 | 2147483647    53846     43 |  0.005 % |
148.83/149.00	c |    275689 |     140    11900    83300 | 2147483647    55541     43 |  0.005 % |
149.83/150.03	c |    277552 |     140    11900    83300 | 2147483647    57404     43 |  0.005 % |
151.13/151.37	c |    279602 |     140    11900    83300 | 2147483647    59454     43 |  0.005 % |
152.43/152.67	c |    281855 |     140    11900    83300 |    59852    54536     43 |  0.005 % |
153.73/153.96	c |    284333 |     140    11900    83300 |    59852    57014     43 |  0.005 % |
155.33/155.55	c |    287059 |     140    11900    83300 |    59852    59740     43 |  0.005 % |
155.43/155.63	c |    287159 |     140    11900    83300 |    59852    59840     43 |  0.005 % |
155.53/155.76	c |    287269 |     140    11900    83300 |    59852    52389     44 |  0.005 % |
155.62/155.84	c |    287391 |     140    11900    83300 |    59852    52511     44 |  0.005 % |
155.72/155.92	c |    287525 |     140    11900    83300 |    59852    52645     44 |  0.005 % |
155.82/156.05	c |    287671 |     140    11900    83300 |    59852    52791     44 |  0.005 % |
155.93/156.17	c |    287832 |     140    11900    83300 |    59852    52952     44 |  0.005 % |
156.03/156.28	c |    288008 |     140    11900    83300 |    59852    53128     44 |  0.005 % |
156.22/156.43	c |    288203 |     140    11900    83300 |    59852    53323     44 |  0.005 % |
156.32/156.57	c |    288415 |     140    11900    83300 |    59852    53535     44 |  0.005 % |
156.52/156.70	c |    288650 |     140    11900    83300 |    59852    53770     44 |  0.005 % |
156.62/156.85	c |    288906 |     140    11900    83300 |    59852    54026     44 |  0.005 % |
156.82/157.03	c |    289188 |     140    11900    83300 |    59852    54308     44 |  0.005 % |
157.03/157.22	c |    289497 |     140    11900    83300 |    59852    54617     44 |  0.005 % |
157.22/157.40	c |    289837 |     140    11900    83300 |    59852    54957     44 |  0.005 % |
157.42/157.66	c |    290210 |     140    11900    83300 |    55120    48009     44 |  0.005 % |
157.62/157.84	c |    290619 |     140    11900    83300 |    55120    48418     44 |  0.005 % |
157.82/158.04	c |    291068 |     140    11900    83300 |    55120    48867     44 |  0.005 % |
158.13/158.36	c |    291561 |     140    11900    83300 |    55120    49360     44 |  0.005 % |
158.52/158.72	c |    292105 |     140    11900    83300 |    55120    49904     44 |  0.005 % |
158.92/159.12	c |    292702 |     140    11900    83300 |    55120    50501     44 |  0.005 % |
159.23/159.49	c |    293358 |     140    11900    83300 |    55120    51157     44 |  0.005 % |
159.62/159.89	c |    294079 |     140    11900    83300 |    55120    51878     44 |  0.005 % |
160.22/160.42	c |    294874 |     140    11900    83300 |    55120    52673     44 |  0.005 % |
160.72/160.91	c |    295745 |     140    11900    83300 |    55120    53544     44 |  0.005 % |
161.22/161.42	c |    296705 |     140    11900    83300 |    55120    54504     44 |  0.005 % |
161.82/162.09	c |    297758 |     140    11900    83300 |    55120    48843     44 |  0.005 % |
162.53/162.72	c |    298918 |     140    11900    83300 |    55120    50003     44 |  0.005 % |
163.22/163.41	c |    300192 |     140    11900    83300 |    51086    45258     43 |  0.005 % |
163.82/164.08	c |    301593 |     140    11900    83300 |    51086    46659     44 |  0.005 % |
164.62/164.88	c |    303133 |     140    11900    83300 |    51086    48199     44 |  0.005 % |
165.52/165.75	c |    304827 |     140    11900    83300 |    51086    49893     44 |  0.005 % |
166.42/166.66	c |    306692 |     140    11900    83300 |    51086    46643     44 |  0.005 % |
167.32/167.55	c |    308742 |     140    11900    83300 |    51086    48693     44 |  0.005 % |
168.42/168.60	c |    310996 |     140    11900    83300 | 2147483647    50947     44 |  0.005 % |
169.71/169.99	c |    313474 |     140    11900    83300 | 2147483647    53425     44 |  0.005 % |
171.31/171.56	c |    316200 |     140    11900    83300 | 2147483647    56151     44 |  0.005 % |
173.01/173.30	c |    319198 |     140    11900    83300 | 2147483647    59149     44 |  0.005 % |
173.11/173.37	c |    319299 |     140    11900    83300 | 2147483647    59250     44 |  0.005 % |
173.21/173.45	c |    319410 |     140    11900    83300 | 2147483647    59361     44 |  0.005 % |
173.31/173.55	c |    319531 |     140    11900    83300 | 2147483647    59482     44 |  0.005 % |
173.41/173.69	c |    319664 |     140    11900    83300 | 2147483647    59615     44 |  0.005 % |
173.61/173.80	c |    319810 |     140    11900    83300 | 2147483647    59761     44 |  0.005 % |
173.71/173.92	c |    319971 |     140    11900    83300 | 2147483647    59922     44 |  0.005 % |
173.91/174.10	c |    320147 |     140    11900    83300 |    59952    53105     44 |  0.005 % |
174.01/174.23	c |    320340 |     140    11900    83300 |    59952    53298     44 |  0.005 % |
174.11/174.36	c |    320554 |     140    11900    83300 |    59952    53512     44 |  0.005 % |
174.31/174.52	c |    320790 |     140    11900    83300 |    59952    53748     44 |  0.005 % |
174.41/174.70	c |    321046 |     140    11900    83300 |    59952    54004     44 |  0.005 % |
174.61/174.88	c |    321328 |     140    11900    83300 |    59952    54286     44 |  0.005 % |
174.81/175.08	c |    321637 |     140    11900    83300 |    59952    54595     44 |  0.005 % |
175.01/175.29	c |    321976 |     140    11900    83300 |    59952    54934     44 |  0.005 % |
175.31/175.54	c |    322349 |     140    11900    83300 |    59952    55307     44 |  0.005 % |
175.51/175.77	c |    322759 |     140    11900    83300 |    59952    55717     44 |  0.005 % |
175.81/176.05	c |    323210 |     140    11900    83300 |    59952    56168     44 |  0.005 % |
176.11/176.35	c |    323704 |     140    11900    83300 |    59952    56662     44 |  0.005 % |
176.41/176.69	c |    324247 |     140    11900    83300 |    59952    57205     44 |  0.005 % |
176.71/177.00	c |    324843 |     140    11900    83300 |    59952    57801     44 |  0.005 % |
177.11/177.39	c |    325499 |     140    11900    83300 |    59952    58457     44 |  0.005 % |
177.61/177.85	c |    326219 |     140    11900    83300 |    59952    59177     44 |  0.005 % |
178.21/178.40	c |    327011 |     140    11900    83300 |    59952    59969     44 |  0.005 % |
178.81/179.03	c |    327883 |     140    11900    83300 |    59952    52580     44 |  0.005 % |
179.41/179.64	c |    328843 |     140    11900    83300 |    59952    53540     44 |  0.005 % |
180.00/180.24	c |    329896 |     140    11900    83300 |    59952    54593     44 |  0.005 % |
180.60/180.88	c |    331054 |     140    11900    83300 |    54699    47983     44 |  0.005 % |
181.31/181.55	c |    332327 |     140    11900    83300 |    54699    49256     44 |  0.005 % |
182.00/182.27	c |    333727 |     140    11900    83300 |    54699    50656     44 |  0.005 % |
182.90/183.10	c |    335267 |     140    11900    83300 |    54699    52196     44 |  0.005 % |
183.70/183.92	c |    336962 |     140    11900    83300 |    54699    53891     44 |  0.005 % |
184.70/184.91	c |    338826 |     140    11900    83300 |    54699    49501     44 |  0.005 % |
185.71/185.91	c |    340876 |     140    11900    83300 |    50675    46051     44 |  0.005 % |
186.71/186.92	c |    343129 |     140    11900    83300 |    50675    48304     44 |  0.005 % |
187.80/188.07	c |    345609 |     140    11900    83300 |    50675    45710     44 |  0.005 % |
189.10/189.36	c |    348335 |     140    11900    83300 |    50675    48436     44 |  0.005 % |
190.60/190.86	c |    351332 |     140    11900    83300 | 2147483647    51433     44 |  0.005 % |
192.40/192.60	c |    354630 |     140    11900    83300 | 2147483647    54731     44 |  0.005 % |
192.40/192.67	c |    354730 |     140    11900    83300 | 2147483647    54831     44 |  0.005 % |
192.50/192.75	c |    354843 |     140    11900    83300 | 2147483647    54944     44 |  0.005 % |
192.60/192.82	c |    354965 |     140    11900    83300 | 2147483647    55066     44 |  0.005 % |
192.60/192.89	c |    355098 |     140    11900    83300 | 2147483647    55199     44 |  0.005 % |
192.80/193.00	c |    355245 |     140    11900    83300 | 2147483647    55346     44 |  0.005 % |
192.90/193.10	c |    355406 |     140    11900    83300 | 2147483647    55507     44 |  0.005 % |
193.00/193.22	c |    355582 |     140    11900    83300 | 2147483647    55683     44 |  0.005 % |
193.10/193.36	c |    355777 |     140    11900    83300 | 2147483647    55878     44 |  0.005 % |
193.30/193.51	c |    355990 |     140    11900    83300 | 2147483647    56091     44 |  0.005 % |
193.40/193.68	c |    356224 |     140    11900    83300 | 2147483647    56325     44 |  0.005 % |
193.60/193.83	c |    356480 |     140    11900    83300 | 2147483647    56581     44 |  0.005 % |
193.80/194.01	c |    356763 |     140    11900    83300 | 2147483647    56864     44 |  0.005 % |
194.00/194.20	c |    357073 |     140    11900    83300 | 2147483647    57174     44 |  0.005 % |
194.20/194.45	c |    357412 |     140    11900    83300 | 2147483647    57513     44 |  0.005 % |
194.50/194.73	c |    357785 |     140    11900    83300 | 2147483647    57886     44 |  0.005 % |
194.80/195.00	c |    358194 |     140    11900    83300 | 2147483647    58295     44 |  0.005 % |
195.00/195.27	c |    358645 |     140    11900    83300 | 2147483647    58746     44 |  0.005 % |
195.30/195.58	c |    359138 |     140    11900    83300 | 2147483647    59239     44 |  0.005 % |
195.60/195.89	c |    359681 |     140    11900    83300 | 2147483647    59782     44 |  0.005 % |
196.10/196.31	c |    360278 |     140    11900    83300 |    60101    53037     44 |  0.005 % |
196.40/196.67	c |    360933 |     140    11900    83300 |    60101    53692     44 |  0.005 % |
196.79/197.06	c |    361653 |     140    11900    83300 |    60101    54412     44 |  0.005 % |
197.19/197.49	c |    362445 |     140    11900    83300 |    60101    55204     44 |  0.005 % |
197.70/197.99	c |    363316 |     140    11900    83300 |    60101    56075     44 |  0.005 % |
198.29/198.53	c |    364274 |     140    11900    83300 |    60101    57033     44 |  0.005 % |
198.90/199.12	c |    365329 |     140    11900    83300 |    60101    58088     44 |  0.005 % |
199.49/199.79	c |    366489 |     140    11900    83300 |    60101    59248     44 |  0.005 % |
200.29/200.53	c |    367766 |     140    11900    83300 |    60101    52923     44 |  0.005 % |
201.00/201.24	c |    369166 |     140    11900    83300 |    60101    54323     44 |  0.005 % |
201.79/202.07	c |    370706 |     140    11900    83300 |    55159    49097     44 |  0.005 % |
202.59/202.87	c |    372400 |     140    11900    83300 |    55159    50791     44 |  0.005 % |
203.59/203.82	c |    374264 |     140    11900    83300 |    55159    52655     44 |  0.005 % |
204.59/204.87	c |    376313 |     140    11900    83300 |    55159    54704     44 |  0.005 % |
205.89/206.10	c |    378566 |     140    11900    83300 |    55159    51284     44 |  0.005 % |
207.19/207.42	c |    381045 |     140    11900    83300 |    52719    48200     44 |  0.005 % |
208.59/208.80	c |    383772 |     140    11900    83300 |    52719    50927     44 |  0.005 % |
209.99/210.21	c |    386769 |     140    11900    83300 |    52719    48646     44 |  0.005 % |
211.49/211.71	c |    390065 |     140    11900    83300 | 2147483647    51942     44 |  0.005 % |
213.39/213.69	c |    393692 |     140    11900    83300 | 2147483647    55569     44 |  0.005 % |
213.49/213.76	c |    393792 |     140    11900    83300 | 2147483647    55669     44 |  0.005 % |
213.59/213.83	c |    393904 |     140    11900    83300 | 2147483647    55781     44 |  0.005 % |
213.68/213.91	c |    394026 |     140    11900    83300 | 2147483647    55903     44 |  0.005 % |
213.78/214.01	c |    394160 |     140    11900    83300 | 2147483647    56037     44 |  0.005 % |
213.88/214.10	c |    394306 |     140    11900    83300 | 2147483647    56183     44 |  0.005 % |
213.98/214.20	c |    394466 |     140    11900    83300 | 2147483647    56343     44 |  0.005 % |
214.08/214.31	c |    394642 |     140    11900    83300 | 2147483647    56519     44 |  0.005 % |
214.19/214.43	c |    394835 |     140    11900    83300 | 2147483647    56712     44 |  0.005 % |
214.29/214.57	c |    395047 |     140    11900    83300 | 2147483647    56924     44 |  0.005 % |
214.48/214.73	c |    395281 |     140    11900    83300 | 2147483647    57158     44 |  0.005 % |
214.58/214.88	c |    395537 |     140    11900    83300 | 2147483647    57414     44 |  0.005 % |
214.78/215.07	c |    395819 |     140    11900    83300 | 2147483647    57696     44 |  0.005 % |
214.98/215.29	c |    396128 |     140    11900    83300 | 2147483647    58005     44 |  0.005 % |
215.18/215.49	c |    396467 |     140    11900    83300 | 2147483647    58344     44 |  0.005 % |
215.48/215.74	c |    396839 |     140    11900    83300 | 2147483647    58716     44 |  0.005 % |
215.78/216.00	c |    397248 |     140    11900    83300 | 2147483647    59125     44 |  0.005 % |
216.08/216.32	c |    397698 |     140    11900    83300 | 2147483647    59575     44 |  0.005 % |
216.38/216.65	c |    398192 |     140    11900    83300 | 2147483647    60069     44 |  0.005 % |
216.78/217.02	c |    398734 |     140    11900    83300 | 2147483647    60611     44 |  0.005 % |
217.08/217.35	c |    399333 |     140    11900    83300 | 2147483647    61210     44 |  0.005 % |
217.48/217.76	c |    399989 |     140    11900    83300 | 2147483647    61866     44 |  0.005 % |
217.98/218.27	c |    400709 |     140    11900    83300 |    61881    54317     44 |  0.005 % |
218.48/218.70	c |    401501 |     140    11900    83300 |    61881    55109     44 |  0.005 % |
218.98/219.29	c |    402373 |     140    11900    83300 |    61881    55981     44 |  0.005 % |
219.68/219.94	c |    403334 |     140    11900    83300 |    61881    56942     44 |  0.005 % |
220.28/220.59	c |    404388 |     140    11900    83300 |    61881    57996     44 |  0.005 % |
220.97/221.26	c |    405547 |     140    11900    83300 |    61881    59155     44 |  0.005 % |
221.77/222.08	c |    406820 |     140    11900    83300 |    61881    60428     44 |  0.005 % |
222.77/223.00	c |    408220 |     140    11900    83300 |    61881    61828     44 |  0.005 % |
223.67/223.91	c |    409760 |     140    11900    83300 |    61881    54178     44 |  0.005 % |
224.47/224.72	c |    411455 |     140    11900    83300 |    54418    48034     44 |  0.005 % |
225.28/225.51	c |    413318 |     140    11900    83300 |    54418    49897     44 |  0.005 % |
226.28/226.53	c |    415368 |     140    11900    83300 |    54418    51947     44 |  0.005 % |
227.48/227.71	c |    417622 |     140    11900    83300 |    54418    54201     44 |  0.005 % |
228.67/228.99	c |    420101 |     140    11900    83300 | 2147483647    51218     44 |  0.005 % |
230.27/230.56	c |    422826 |     140    11900    83300 | 2147483647    53943     44 |  0.005 % |
232.07/232.38	c |    425823 |     140    11900    83300 | 2147483647    56940     44 |  0.005 % |
234.07/234.38	c |    429120 |     140    11900    83300 | 2147483647    60237     44 |  0.005 % |
236.27/236.51	c |    432745 |     140    11900    83300 |    61117    55761     44 |  0.005 % |
238.47/238.75	c |    436733 |     140    11900    83300 |    61117    59749     44 |  0.005 % |
238.57/238.82	c |    436834 |     140    11900    83300 |    61117    59850     44 |  0.005 % |
238.57/238.89	c |    436944 |     140    11900    83300 |    61117    59960     44 |  0.005 % |
238.67/238.99	c |    437066 |     140    11900    83300 |    61117    60082     44 |  0.005 % |
238.87/239.11	c |    437200 |     140    11900    83300 |    61117    60216     44 |  0.005 % |
238.97/239.21	c |    437346 |     140    11900    83300 |    61117    60362     44 |  0.005 % |
239.07/239.33	c |    437507 |     140    11900    83300 |    61117    60523     44 |  0.005 % |
239.17/239.47	c |    437683 |     140    11900    83300 |    61117    60699     44 |  0.005 % |
239.37/239.62	c |    437876 |     140    11900    83300 |    61117    60892     44 |  0.005 % |
239.47/239.79	c |    438090 |     140    11900    83300 |    61117    61106     44 |  0.005 % |
239.77/240.01	c |    438324 |     140    11900    83300 |    61117    52732     44 |  0.005 % |
239.87/240.15	c |    438580 |     140    11900    83300 |    61117    52988     44 |  0.005 % |
240.07/240.32	c |    438861 |     140    11900    83300 |    61117    53269     44 |  0.005 % |
240.27/240.51	c |    439171 |     140    11900    83300 |    61117    53579     44 |  0.005 % |
240.47/240.72	c |    439510 |     140    11900    83300 |    61117    53918     44 |  0.005 % |
240.67/240.95	c |    439884 |     140    11900    83300 |    61117    54292     44 |  0.005 % |
240.97/241.25	c |    440294 |     140    11900    83300 |    54408    46963     44 |  0.005 % |
241.17/241.47	c |    440744 |     140    11900    83300 |    54408    47413     44 |  0.005 % |
241.47/241.72	c |    441237 |     140    11900    83300 |    54408    47906     44 |  0.005 % |
241.67/241.98	c |    441781 |     140    11900    83300 |    54408    48450     44 |  0.005 % |
241.97/242.28	c |    442377 |     140    11900    83300 |    54408    49046     44 |  0.005 % |
242.37/242.60	c |    443032 |     140    11900    83300 |    54408    49701     44 |  0.005 % |
242.77/243.07	c |    443753 |     140    11900    83300 |    54408    50422     44 |  0.005 % |
243.26/243.51	c |    444546 |     140    11900    83300 |    54408    51215     44 |  0.005 % |
243.66/243.99	c |    445418 |     140    11900    83300 |    54408    52087     44 |  0.005 % |
244.26/244.53	c |    446378 |     140    11900    83300 |    54408    53047     44 |  0.005 % |
244.76/245.08	c |    447433 |     140    11900    83300 |    54408    54102     44 |  0.005 % |
245.46/245.70	c |    448591 |     140    11900    83300 |    54408    48903     44 |  0.005 % |
246.07/246.39	c |    449865 |     140    11900    83300 |    54408    50177     44 |  0.005 % |
246.76/247.07	c |    451265 |     140    11900    83300 |    50314    45775     44 |  0.005 % |
247.56/247.81	c |    452809 |     140    11900    83300 |    50314    47319     44 |  0.005 % |
248.27/248.54	c |    454503 |     140    11900    83300 |    50314    49013     44 |  0.005 % |
249.26/249.54	c |    456366 |     140    11900    83300 |    50314    45838     44 |  0.005 % |
250.26/250.54	c |    458415 |     140    11900    83300 |    50314    47887     44 |  0.005 % |
251.36/251.62	c |    460668 |     140    11900    83300 | 2147483647    50140     44 |  0.005 % |
252.56/252.84	c |    463147 |     140    11900    83300 | 2147483647    52619     44 |  0.005 % |
253.96/254.30	c |    465874 |     140    11900    83300 | 2147483647    55346     44 |  0.005 % |
255.76/256.09	c |    468872 |     140    11900    83300 | 2147483647    58344     44 |  0.005 % |
257.96/258.20	c |    472168 |     140    11900    83300 |    59472    54975     44 |  0.005 % |
260.16/260.43	c |    475793 |     140    11900    83300 |    59472    58600     44 |  0.005 % |
262.36/262.67	c |    479782 |     140    11900    83300 |    59472    54955     44 |  0.005 % |
264.55/264.89	c |    484167 |     140    11900    83300 |    55173    52501     44 |  0.005 % |
264.65/264.94	c |    484267 |     140    11900    83300 |    55173    52601     44 |  0.005 % |
264.76/265.01	c |    484377 |     140    11900    83300 |    55173    52711     44 |  0.005 % |
264.76/265.07	c |    484498 |     140    11900    83300 |    55173    52832     44 |  0.005 % |
264.86/265.15	c |    484631 |     140    11900    83300 |    55173    52965     44 |  0.005 % |
264.95/265.24	c |    484779 |     140    11900    83300 |    55173    53113     44 |  0.005 % |
265.05/265.33	c |    484940 |     140    11900    83300 |    55173    53274     44 |  0.005 % |
265.15/265.44	c |    485117 |     140    11900    83300 |    55173    53451     44 |  0.005 % |
265.25/265.54	c |    485310 |     140    11900    83300 |    55173    53644     44 |  0.005 % |
265.35/265.67	c |    485523 |     140    11900    83300 |    55173    53857     44 |  0.005 % |
265.55/265.82	c |    485756 |     140    11900    83300 |    55173    54090     44 |  0.005 % |
265.65/265.97	c |    486013 |     140    11900    83300 |    55173    54347     44 |  0.005 % |
265.86/266.15	c |    486294 |     140    11900    83300 |    55173    54628     44 |  0.005 % |
266.05/266.33	c |    486603 |     140    11900    83300 |    55173    54937     44 |  0.005 % |
266.35/266.60	c |    486943 |     140    11900    83300 |    55173    49087     44 |  0.005 % |
266.55/266.83	c |    487316 |     140    11900    83300 |    55173    49460     44 |  0.005 % |
266.75/267.06	c |    487726 |     140    11900    83300 |    55173    49870     44 |  0.005 % |
266.96/267.28	c |    488175 |     140    11900    83300 |    55173    50319     44 |  0.005 % |
267.25/267.54	c |    488668 |     140    11900    83300 |    55173    50812     44 |  0.005 % |
267.55/267.82	c |    489210 |     140    11900    83300 |    55173    51354     44 |  0.005 % |
267.85/268.14	c |    489806 |     140    11900    83300 |    55173    51950     44 |  0.005 % |
268.25/268.52	c |    490462 |     140    11900    83300 |    52144    46809     44 |  0.005 % |
268.55/268.89	c |    491184 |     140    11900    83300 |    52144    47531     44 |  0.005 % |
269.05/269.31	c |    491977 |     140    11900    83300 |    52144    48324     44 |  0.005 % |
269.45/269.76	c |    492848 |     140    11900    83300 |    52144    49195     44 |  0.005 % |
269.95/270.26	c |    493806 |     140    11900    83300 |    52144    50153     44 |  0.005 % |
270.45/270.79	c |    494859 |     140    11900    83300 |    52144    51206     44 |  0.005 % |
271.15/271.47	c |    496018 |     140    11900    83300 |    52144    47144     44 |  0.005 % |
271.75/272.09	c |    497291 |     140    11900    83300 |    52144    48417     44 |  0.005 % |
272.55/272.83	c |    498691 |     140    11900    83300 |    52144    49817     44 |  0.005 % |
273.35/273.64	c |    500231 |     140    11900    83300 | 2147483647    51357     44 |  0.005 % |
274.25/274.53	c |    501926 |     140    11900    83300 | 2147483647    53052     44 |  0.005 % |
275.25/275.57	c |    503790 |     140    11900    83300 | 2147483647    54916     44 |  0.005 % |
276.35/276.68	c |    505839 |     140    11900    83300 | 2147483647    56965     44 |  0.005 % |
277.55/277.89	c |    508092 |     140    11900    83300 | 2147483647    59218     44 |  0.005 % |
279.25/279.52	c |    510572 |     140    11900    83300 |    61128    54180     44 |  0.005 % |
280.75/281.06	c |    513297 |     140    11900    83300 |    61128    56905     44 |  0.005 % |
282.55/282.85	c |    516295 |     140    11900    83300 |    61128    59903     44 |  0.005 % |
284.45/284.70	c |    519591 |     140    11900    83300 |    61128    54580     44 |  0.005 % |
286.35/286.63	c |    523216 |     140    11900    83300 |    54989    50757     44 |  0.005 % |
288.35/288.68	c |    527203 |     140    11900    83300 |    54989    54744     44 |  0.005 % |
290.54/290.89	c |    531588 |     140    11900    83300 |    51123    47145     44 |  0.005 % |
293.24/293.56	c |    536411 |     140    11900    83300 |    51123    46459     44 |  0.005 % |
293.35/293.61	c |    536511 |     140    11900    83300 |    51123    46559     44 |  0.005 % |
293.35/293.68	c |    536621 |     140    11900    83300 |    51123    46669     44 |  0.005 % |
293.45/293.74	c |    536742 |     140    11900    83300 |    51123    46790     44 |  0.005 % |
293.54/293.82	c |    536876 |     140    11900    83300 |    51123    46924     44 |  0.005 % |
293.64/293.90	c |    537022 |     140    11900    83300 |    51123    47070     44 |  0.005 % |
293.74/294.00	c |    537183 |     140    11900    83300 |    51123    47231     44 |  0.005 % |
293.74/294.08	c |    537360 |     140    11900    83300 |    51123    47408     44 |  0.005 % |
293.84/294.19	c |    537553 |     140    11900    83300 |    51123    47601     44 |  0.005 % |
294.04/294.33	c |    537766 |     140    11900    83300 |    51123    47814     44 |  0.005 % |
294.14/294.47	c |    538003 |     140    11900    83300 |    51123    48051     44 |  0.005 % |
294.34/294.62	c |    538260 |     140    11900    83300 |    51123    48308     44 |  0.005 % |
294.44/294.79	c |    538541 |     140    11900    83300 |    51123    48589     44 |  0.005 % |
294.64/294.99	c |    538850 |     140    11900    83300 |    51123    48898     44 |  0.005 % |
294.94/295.20	c |    539190 |     140    11900    83300 |    51123    49238     44 |  0.005 % |
295.14/295.42	c |    539562 |     140    11900    83300 |    51123    49610     44 |  0.005 % |
295.34/295.68	c |    539972 |     140    11900    83300 |    51123    50020     44 |  0.005 % |
295.64/295.97	c |    540421 |     140    11900    83300 |    50050    44959     44 |  0.005 % |
295.94/296.20	c |    540915 |     140    11900    83300 |    50050    45453     44 |  0.005 % |
296.14/296.45	c |    541457 |     140    11900    83300 |    50050    45995     44 |  0.005 % |
296.44/296.76	c |    542053 |     140    11900    83300 |    50050    46591     44 |  0.005 % |
296.84/297.14	c |    542708 |     140    11900    83300 |    50050    47246     44 |  0.005 % |
297.24/297.55	c |    543428 |     140    11900    83300 |    50050    47966     44 |  0.005 % |
297.64/297.99	c |    544221 |     140    11900    83300 |    50050    48759     44 |  0.005 % |
298.14/298.46	c |    545093 |     140    11900    83300 |    50050    49631     44 |  0.005 % |
298.74/299.09	c |    546052 |     140    11900    83300 |    50050    45537     44 |  0.005 % |
299.34/299.65	c |    547107 |     140    11900    83300 |    50050    46592     44 |  0.005 % |
299.94/300.27	c |    548268 |     140    11900    83300 |    50050    47753     44 |  0.005 % |
300.64/300.92	c |    549541 |     140    11900    83300 |    50050    49026     44 |  0.005 % |
301.44/301.78	c |    550942 |     140    11900    83300 | 2147483647    50427     44 |  0.005 % |
302.24/302.53	c |    552482 |     140    11900    83300 | 2147483647    51967     44 |  0.005 % |
303.13/303.44	c |    554177 |     140    11900    83300 | 2147483647    53662     44 |  0.005 % |
304.23/304.51	c |    556041 |     140    11900    83300 | 2147483647    55526     44 |  0.005 % |
305.63/305.91	c |    558092 |     140    11900    83300 | 2147483647    57577     44 |  0.005 % |
307.13/307.46	c |    560346 |     140    11900    83300 |    59485    51953     44 |  0.005 % |
308.73/309.03	c |    562825 |     140    11900    83300 |    59485    54432     44 |  0.005 % |
310.13/310.43	c |    565550 |     140    11900    83300 |    59485    57157     44 |  0.005 % |
312.04/312.32	c |    568548 |     140    11900    83300 |    59485    51932     44 |  0.005 % |
313.84/314.15	c |    571845 |     140    11900    83300 |    53384    47997     44 |  0.005 % |
315.64/315.97	c |    575471 |     140    11900    83300 |    53384    51623     44 |  0.005 % |
317.84/318.10	c |    579459 |     140    11900    83300 |    53384    49754     44 |  0.005 % |
320.04/320.35	c |    583846 |     140    11900    83300 |    50297    48827     44 |  0.005 % |
322.64/322.92	c |    588669 |     140    11900    83300 |    50297    48614     44 |  0.005 % |
325.34/325.64	c |    593974 |     140    11900    83300 | 2147483647    53919     44 |  0.005 % |
325.43/325.70	c |    594075 |     140    11900    83300 | 2147483647    54020     44 |  0.005 % |
325.43/325.78	c |    594186 |     140    11900    83300 | 2147483647    54131     44 |  0.005 % |
325.53/325.86	c |    594310 |     140    11900    83300 | 2147483647    54255     44 |  0.005 % |
325.63/325.95	c |    594444 |     140    11900    83300 | 2147483647    54389     44 |  0.005 % |
325.73/326.04	c |    594590 |     140    11900    83300 | 2147483647    54535     44 |  0.005 % |
325.83/326.16	c |    594751 |     140    11900    83300 | 2147483647    54696     44 |  0.005 % |
325.93/326.29	c |    594927 |     140    11900    83300 | 2147483647    54872     44 |  0.005 % |
326.13/326.42	c |    595120 |     140    11900    83300 | 2147483647    55065     44 |  0.005 % |
326.23/326.55	c |    595334 |     140    11900    83300 | 2147483647    55279     44 |  0.005 % |
326.44/326.71	c |    595567 |     140    11900    83300 | 2147483647    55512     44 |  0.005 % |
326.63/326.90	c |    595824 |     140    11900    83300 | 2147483647    55769     44 |  0.005 % |
326.73/327.07	c |    596106 |     140    11900    83300 | 2147483647    56051     44 |  0.005 % |
326.93/327.25	c |    596416 |     140    11900    83300 | 2147483647    56361     44 |  0.005 % |
327.13/327.44	c |    596757 |     140    11900    83300 | 2147483647    56702     44 |  0.005 % |
327.33/327.69	c |    597130 |     140    11900    83300 | 2147483647    57075     44 |  0.005 % |
327.54/327.90	c |    597540 |     140    11900    83300 | 2147483647    57485     44 |  0.005 % |
327.93/328.24	c |    597989 |     140    11900    83300 | 2147483647    57934     44 |  0.005 % |
328.23/328.59	c |    598484 |     140    11900    83300 | 2147483647    58429     44 |  0.005 % |
328.64/328.93	c |    599026 |     140    11900    83300 | 2147483647    58971     44 |  0.005 % |
329.03/329.38	c |    599623 |     140    11900    83300 | 2147483647    59568     44 |  0.005 % |
329.53/329.87	c |    600280 |     140    11900    83300 |    59945    52583     44 |  0.005 % |
329.93/330.25	c |    601000 |     140    11900    83300 |    59945    53303     44 |  0.005 % |
330.43/330.75	c |    601794 |     140    11900    83300 |    59945    54097     44 |  0.005 % |
330.93/331.29	c |    602666 |     140    11900    83300 |    59945    54969     44 |  0.005 % |
331.53/331.84	c |    603624 |     140    11900    83300 |    59945    55927     44 |  0.005 % |
332.13/332.42	c |    604677 |     140    11900    83300 |    59945    56980     44 |  0.005 % |
332.73/333.07	c |    605838 |     140    11900    83300 |    59945    58141     44 |  0.005 % |
333.43/333.80	c |    607114 |     140    11900    83300 |    59945    59417     44 |  0.005 % |
334.43/334.71	c |    608514 |     140    11900    83300 |    59945    52510     44 |  0.005 % |
335.43/335.79	c |    610054 |     140    11900    83300 |    53997    54050     44 |  0.005 % |
336.53/336.82	c |    611749 |     140    11900    83300 |    53997    48256     44 |  0.005 % |
337.43/337.79	c |    613612 |     140    11900    83300 |    53997    50119     44 |  0.005 % |
338.53/338.85	c |    615662 |     140    11900    83300 |    53997    52169     44 |  0.005 % |
339.83/340.12	c |    617915 |     140    11900    83300 |    53997    48167     44 |  0.005 % |
341.03/341.34	c |    620394 |     140    11900    83300 |    50252    45286     44 |  0.005 % |
342.23/342.53	c |    623120 |     140    11900    83300 |    50252    48012     44 |  0.005 % |
343.73/344.08	c |    626117 |     140    11900    83300 |    50252    45978     44 |  0.005 % |
345.43/345.74	c |    629413 |     140    11900    83300 |    50252    49274     44 |  0.005 % |
347.33/347.62	c |    633038 |     140    11900    83300 | 2147483647    52899     44 |  0.005 % |
349.62/349.94	c |    637026 |     140    11900    83300 | 2147483647    56887     44 |  0.005 % |
352.11/352.46	c |    641412 |     140    11900    83300 |    59861    54049     44 |  0.005 % |
354.71/355.09	c |    646235 |     140    11900    83300 |    59861    58872     44 |  0.005 % |
357.71/358.09	c |    651540 |     140    11900    83300 |    54698    49028     44 |  0.005 % |
360.91/361.30	c |    657376 |     140    11900    83300 |    54698    48230     44 |  0.005 % |
361.01/361.35	c |    657476 |     140    11900    83300 |    54698    48330     44 |  0.005 % |
361.11/361.41	c |    657586 |     140    11900    83300 |    54698    48440     44 |  0.005 % |
361.11/361.49	c |    657708 |     140    11900    83300 |    54698    48562     44 |  0.005 % |
361.21/361.56	c |    657841 |     140    11900    83300 |    54698    48695     44 |  0.005 % |
361.31/361.66	c |    657988 |     140    11900    83300 |    54698    48842     44 |  0.005 % |
361.41/361.76	c |    658150 |     140    11900    83300 |    54698    49004     44 |  0.005 % |
361.51/361.86	c |    658326 |     140    11900    83300 |    54698    49180     44 |  0.005 % |
361.61/361.96	c |    658521 |     140    11900    83300 |    54698    49375     44 |  0.005 % |
361.81/362.10	c |    658733 |     140    11900    83300 |    54698    49587     44 |  0.005 % |
361.90/362.24	c |    658967 |     140    11900    83300 |    54698    49821     44 |  0.005 % |
362.10/362.40	c |    659225 |     140    11900    83300 |    54698    50079     44 |  0.005 % |
362.20/362.56	c |    659506 |     140    11900    83300 |    54698    50360     44 |  0.005 % |
362.40/362.75	c |    659816 |     140    11900    83300 |    54698    50670     44 |  0.005 % |
362.71/363.00	c |    660155 |     140    11900    83300 |    50854    44825     44 |  0.005 % |
362.90/363.21	c |    660527 |     140    11900    83300 |    50854    45197     44 |  0.005 % |
363.10/363.43	c |    660936 |     140    11900    83300 |    50854    45606     44 |  0.005 % |
363.30/363.66	c |    661385 |     140    11900    83300 |    50854    46055     44 |  0.005 % |
363.60/363.94	c |    661879 |     140    11900    83300 |    50854    46549     44 |  0.005 % |
363.90/364.26	c |    662421 |     140    11900    83300 |    50854    47091     44 |  0.005 % |
364.20/364.58	c |    663017 |     140    11900    83300 |    50854    47687     44 |  0.005 % |
364.60/364.95	c |    663674 |     140    11900    83300 |    50854    48344     44 |  0.005 % |
365.00/365.31	c |    664394 |     140    11900    83300 |    50854    49064     44 |  0.005 % |
365.30/365.69	c |    665188 |     140    11900    83300 |    50854    49858     44 |  0.005 % |
365.80/366.18	c |    666059 |     140    11900    83300 |    50854    50729     44 |  0.005 % |
366.40/366.77	c |    667018 |     140    11900    83300 |    50854    46481     44 |  0.005 % |
367.00/367.38	c |    668071 |     140    11900    83300 |    50854    47534     44 |  0.005 % |
367.70/368.03	c |    669229 |     140    11900    83300 |    50854    48692     44 |  0.005 % |
368.40/368.75	c |    670502 |     140    11900    83300 |    49463    44741     44 |  0.005 % |
369.10/369.49	c |    671902 |     140    11900    83300 |    49463    46141     44 |  0.005 % |
370.00/370.34	c |    673443 |     140    11900    83300 |    49463    47682     44 |  0.005 % |
370.90/371.24	c |    675137 |     140    11900    83300 |    49463    49376     44 |  0.005 % |
371.80/372.17	c |    677002 |     140    11900    83300 |    49463    46288     44 |  0.005 % |
373.00/373.31	c |    679053 |     140    11900    83300 |    49463    48339     44 |  0.005 % |
374.20/374.59	c |    681306 |     140    11900    83300 |    49287    45619     44 |  0.005 % |
375.50/375.81	c |    683786 |     140    11900    83300 |    49287    48099     44 |  0.005 % |
376.80/377.16	c |    686513 |     140    11900    83300 |    49287    45891     44 |  0.005 % |
378.50/378.85	c |    689512 |     140    11900    83300 |    49287    48890     44 |  0.005 % |
380.30/380.66	c |    692809 |     140    11900    83300 | 2147483647    47252     44 |  0.005 % |
382.10/382.47	c |    696435 |     140    11900    83300 | 2147483647    50878     44 |  0.005 % |
384.19/384.56	c |    700422 |     140    11900    83300 | 2147483647    54865     44 |  0.005 % |
386.59/386.97	c |    704809 |     140    11900    83300 | 2147483647    59252     44 |  0.005 % |
389.49/389.82	c |    709632 |     140    11900    83300 | 2147483647    64075     44 |  0.005 % |
392.79/393.19	c |    714937 |     140    11900    83300 |    64443    61350     44 |  0.005 % |
396.38/396.77	c |    720772 |     140    11900    83300 |    57044    49715     44 |  0.005 % |
399.89/400.22	c |    727192 |     140    11900    83300 |    57044    56135     44 |  0.005 % |
399.89/400.27	c |    727293 |     140    11900    83300 |    57044    56236     44 |  0.005 % |
399.99/400.34	c |    727403 |     140    11900    83300 |    57044    56346     44 |  0.005 % |
400.09/400.42	c |    727526 |     140    11900    83300 |    57044    56469     44 |  0.005 % |
400.19/400.53	c |    727661 |     140    11900    83300 |    57044    56604     44 |  0.005 % |
400.28/400.64	c |    727808 |     140    11900    83300 |    57044    56751     44 |  0.005 % |
400.38/400.76	c |    727969 |     140    11900    83300 |    57044    56912     44 |  0.005 % |
400.48/400.87	c |    728145 |     140    11900    83300 |    57044    57088     44 |  0.005 % |
400.68/401.02	c |    728340 |     140    11900    83300 |    57044    50359     44 |  0.005 % |
400.78/401.14	c |    728554 |     140    11900    83300 |    57044    50573     44 |  0.005 % |
400.98/401.31	c |    728788 |     140    11900    83300 |    57044    50807     44 |  0.005 % |
401.09/401.47	c |    729045 |     140    11900    83300 |    57044    51064     44 |  0.005 % |
401.28/401.67	c |    729326 |     140    11900    83300 |    57044    51345     44 |  0.005 % |
401.48/401.88	c |    729637 |     140    11900    83300 |    57044    51656     44 |  0.005 % |
401.68/402.08	c |    729976 |     140    11900    83300 |    57044    51995     44 |  0.005 % |
401.98/402.31	c |    730348 |     140    11900    83300 |    52020    45887     44 |  0.005 % |
402.19/402.52	c |    730759 |     140    11900    83300 |    52020    46298     44 |  0.005 % |
402.38/402.76	c |    731209 |     140    11900    83300 |    52020    46748     44 |  0.005 % |
402.68/403.02	c |    731702 |     140    11900    83300 |    52020    47241     44 |  0.005 % |
402.98/403.31	c |    732245 |     140    11900    83300 |    52020    47784     44 |  0.005 % |
403.29/403.63	c |    732841 |     140    11900    83300 |    52020    48380     44 |  0.005 % |
403.58/403.98	c |    733496 |     140    11900    83300 |    52020    49035     44 |  0.005 % |
403.98/404.34	c |    734217 |     140    11900    83300 |    52020    49756     44 |  0.005 % |
404.48/404.81	c |    735009 |     140    11900    83300 |    52020    50548     44 |  0.005 % |
404.98/405.36	c |    735880 |     140    11900    83300 |    52020    51419     44 |  0.005 % |
405.48/405.87	c |    736838 |     140    11900    83300 |    52020    46648     44 |  0.005 % |
405.98/406.36	c |    737893 |     140    11900    83300 |    52020    47703     44 |  0.005 % |
406.58/406.95	c |    739051 |     140    11900    83300 |    52020    48861     44 |  0.005 % |
407.28/407.65	c |    740324 |     140    11900    83300 |    49812    44917     44 |  0.005 % |
407.88/408.26	c |    741724 |     140    11900    83300 |    49812    46317     44 |  0.005 % |
408.58/408.93	c |    743264 |     140    11900    83300 |    49812    47857     44 |  0.005 % |
409.38/409.78	c |    744959 |     140    11900    83300 |    49812    49552     44 |  0.005 % |
410.28/410.66	c |    746823 |     140    11900    83300 |    49812    46428     44 |  0.005 % |
411.18/411.55	c |    748874 |     140    11900    83300 |    49812    48479     44 |  0.005 % |
412.28/412.64	c |    751128 |     140    11900    83300 | 2147483647    50733     44 |  0.005 % |
413.48/413.89	c |    753610 |     140    11900    83300 | 2147483647    53215     44 |  0.005 % |
414.98/415.33	c |    756335 |     140    11900    83300 | 2147483647    55940     44 |  0.005 % |
416.68/417.03	c |    759332 |     140    11900    83300 | 2147483647    58937     44 |  0.005 % |
418.48/418.90	c |    762628 |     140    11900    83300 |    59605    55793     44 |  0.005 % |
420.58/420.99	c |    766253 |     140    11900    83300 |    59605    59418     44 |  0.005 % |
422.68/423.04	c |    770240 |     140    11900    83300 |    56208    49996     44 |  0.005 % |
424.78/425.18	c |    774627 |     140    11900    83300 |    56208    54383     44 |  0.005 % |
427.28/427.62	c |    779451 |     140    11900    83300 |    56208    53412     44 |  0.005 % |
429.97/430.37	c |    784756 |     140    11900    83300 |    53962    53290     44 |  0.005 % |
432.98/433.37	c |    790592 |     140    11900    83300 | 2147483647    53724     44 |  0.005 % |
436.47/436.85	c |    797013 |     140    11900    83300 | 2147483647    60145     44 |  0.005 % |
440.17/440.57	c |    804073 |     140    11900    83300 |    63134    58267     44 |  0.005 % |
440.27/440.64	c |    804175 |     140    11900    83300 |    63134    58369     44 |  0.005 % |
440.37/440.72	c |    804285 |     140    11900    83300 |    63134    58479     44 |  0.005 % |
440.37/440.79	c |    804410 |     140    11900    83300 |    63134    58604     44 |  0.005 % |
440.47/440.88	c |    804546 |     140    11900    83300 |    63134    58740     44 |  0.005 % |
440.57/440.99	c |    804692 |     140    11900    83300 |    63134    58886     44 |  0.005 % |
440.77/441.11	c |    804853 |     140    11900    83300 |    63134    59047     44 |  0.005 % |
440.87/441.23	c |    805030 |     140    11900    83300 |    63134    59224     44 |  0.005 % |
440.97/441.38	c |    805226 |     140    11900    83300 |    63134    59420     44 |  0.005 % |
441.17/441.53	c |    805440 |     140    11900    83300 |    63134    59634     44 |  0.005 % |
441.27/441.69	c |    805675 |     140    11900    83300 |    63134    59869     44 |  0.005 % |
441.47/441.86	c |    805931 |     140    11900    83300 |    63134    60125     44 |  0.005 % |
441.67/442.04	c |    806213 |     140    11900    83300 |    63134    60407     44 |  0.005 % |
441.87/442.24	c |    806523 |     140    11900    83300 |    63134    60717     44 |  0.005 % |
442.07/442.50	c |    806862 |     140    11900    83300 |    63134    61056     44 |  0.005 % |
442.37/442.75	c |    807234 |     140    11900    83300 |    63134    61428     44 |  0.005 % |
442.67/443.04	c |    807643 |     140    11900    83300 |    63134    61837     44 |  0.005 % |
442.97/443.33	c |    808093 |     140    11900    83300 |    63134    62287     44 |  0.005 % |
443.27/443.67	c |    808586 |     140    11900    83300 |    63134    62780     44 |  0.005 % |
443.77/444.13	c |    809129 |     140    11900    83300 |    63134    53565     44 |  0.005 % |
444.07/444.49	c |    809726 |     140    11900    83300 |    63134    54162     44 |  0.005 % |
444.57/444.91	c |    810381 |     140    11900    83300 |    54438    46435     44 |  0.005 % |
444.87/445.26	c |    811101 |     140    11900    83300 |    54438    47155     44 |  0.005 % |
445.27/445.68	c |    811893 |     140    11900    83300 |    54438    47947     44 |  0.005 % |
445.77/446.12	c |    812765 |     140    11900    83300 |    54438    48819     44 |  0.005 % |
446.17/446.57	c |    813723 |     140    11900    83300 |    54438    49777     44 |  0.005 % |
446.67/447.06	c |    814776 |     140    11900    83300 |    54438    50830     44 |  0.005 % |
447.27/447.63	c |    815935 |     140    11900    83300 |    54438    51989     44 |  0.005 % |
447.97/448.33	c |    817208 |     140    11900    83300 |    54438    53262     44 |  0.005 % |
448.67/449.09	c |    818609 |     140    11900    83300 |    54438    48775     44 |  0.005 % |
449.47/449.89	c |    820153 |     140    11900    83300 |    50167    45095     44 |  0.005 % |
450.37/450.70	c |    821847 |     140    11900    83300 |    50167    46789     44 |  0.005 % |
451.27/451.62	c |    823711 |     140    11900    83300 |    50167    48653     44 |  0.005 % |
452.37/452.74	c |    825760 |     140    11900    83300 |    50167    45678     44 |  0.005 % |
453.37/453.78	c |    828013 |     140    11900    83300 |    50167    47931     44 |  0.005 % |
454.76/455.19	c |    830492 |     140    11900    83300 | 2147483647    50410     44 |  0.005 % |
456.36/456.71	c |    833218 |     140    11900    83300 | 2147483647    53136     44 |  0.005 % |
458.06/458.48	c |    836216 |     140    11900    83300 | 2147483647    56134     44 |  0.005 % |
459.96/460.31	c |    839513 |     140    11900    83300 | 2147483647    59431     44 |  0.005 % |
462.16/462.53	c |    843139 |     140    11900    83300 |    59920    55854     44 |  0.005 % |
464.46/464.82	c |    847126 |     140    11900    83300 |    59920    59841     44 |  0.005 % |
466.76/467.20	c |    851513 |     140    11900    83300 |    54591    48888     44 |  0.005 % |
469.46/469.84	c |    856337 |     140    11900    83300 |    54591    53712     44 |  0.005 % |
472.36/472.71	c |    861643 |     140    11900    83300 |    50781    46625     44 |  0.005 % |
474.96/475.35	c |    867478 |     140    11900    83300 |    50781    47377     44 |  0.005 % |
478.06/478.48	c |    873896 |     140    11900    83300 | 2147483647    53795     44 |  0.005 % |
481.85/482.27	c |    880956 |     140    11900    83300 | 2147483647    60855     44 |  0.005 % |
486.66/487.01	c |    888722 |     140    11900    83300 | 2147483647    68621     44 |  0.005 % |
486.66/487.07	c |    888823 |     140    11900    83300 | 2147483647    68722     44 |  0.005 % |
486.75/487.14	c |    888933 |     140    11900    83300 | 2147483647    68832     44 |  0.005 % |
486.86/487.24	c |    889054 |     140    11900    83300 | 2147483647    68953     44 |  0.005 % |
486.96/487.40	c |    889187 |     140    11900    83300 | 2147483647    69086     44 |  0.005 % |
487.15/487.51	c |    889335 |     140    11900    83300 | 2147483647    69234     44 |  0.005 % |
487.25/487.65	c |    889495 |     140    11900    83300 | 2147483647    69394     44 |  0.005 % |
487.45/487.81	c |    889675 |     140    11900    83300 | 2147483647    69574     44 |  0.005 % |
487.55/487.97	c |    889870 |     140    11900    83300 | 2147483647    69769     44 |  0.005 % |
487.85/488.22	c |    890085 |     140    11900    83300 |    69900    58642     44 |  0.005 % |
488.05/488.43	c |    890318 |     140    11900    83300 |    69900    58875     44 |  0.005 % |
488.15/488.59	c |    890574 |     140    11900    83300 |    69900    59131     44 |  0.005 % |
488.45/488.82	c |    890857 |     140    11900    83300 |    69900    59414     44 |  0.005 % |
488.65/489.06	c |    891167 |     140    11900    83300 |    69900    59724     44 |  0.005 % |
488.85/489.29	c |    891506 |     140    11900    83300 |    69900    60063     44 |  0.005 % |
489.15/489.53	c |    891878 |     140    11900    83300 |    69900    60435     44 |  0.005 % |
489.45/489.81	c |    892288 |     140    11900    83300 |    69900    60845     44 |  0.005 % |
489.75/490.14	c |    892739 |     140    11900    83300 |    69900    61296     44 |  0.005 % |
490.05/490.49	c |    893232 |     140    11900    83300 |    69900    61789     44 |  0.005 % |
490.55/490.92	c |    893774 |     140    11900    83300 |    69900    62331     44 |  0.005 % |
490.95/491.38	c |    894371 |     140    11900    83300 |    69900    62928     44 |  0.005 % |
491.45/491.83	c |    895026 |     140    11900    83300 |    69900    63583     44 |  0.005 % |
492.05/492.44	c |    895746 |     140    11900    83300 |    69900    64303     44 |  0.005 % |
492.65/493.03	c |    896539 |     140    11900    83300 |    69900    65096     44 |  0.005 % |
493.35/493.76	c |    897410 |     140    11900    83300 |    69900    65967     44 |  0.005 % |
494.15/494.50	c |    898370 |     140    11900    83300 |    69900    66927     44 |  0.005 % |
494.94/495.32	c |    899424 |     140    11900    83300 |    69900    67981     44 |  0.005 % |
495.84/496.22	c |    900583 |     140    11900    83300 |    68558    55881     44 |  0.005 % |
496.64/497.07	c |    901860 |     140    11900    83300 |    68558    57158     44 |  0.005 % |
497.54/497.92	c |    903261 |     140    11900    83300 |    68558    58559     44 |  0.005 % |
498.44/498.80	c |    904801 |     140    11900    83300 |    68558    60099     44 |  0.005 % |
499.54/499.91	c |    906495 |     140    11900    83300 |    68558    61793     44 |  0.005 % |
500.64/501.05	c |    908360 |     140    11900    83300 |    68558    63658     44 |  0.005 % |
502.04/502.46	c |    910410 |     140    11900    83300 |    65298    54210     44 |  0.005 % |
503.24/503.61	c |    912663 |     140    11900    83300 |    65298    56463     44 |  0.005 % |
504.64/505.02	c |    915142 |     140    11900    83300 |    65298    58942     44 |  0.005 % |
506.34/506.72	c |    917867 |     140    11900    83300 |    65298    61667     44 |  0.005 % |
508.14/508.59	c |    920864 |     140    11900    83300 |    63800    55040     44 |  0.005 % |
510.05/510.47	c |    924161 |     140    11900    83300 |    63800    58337     44 |  0.005 % |
512.34/512.70	c |    927787 |     140    11900    83300 |    63800    61963     44 |  0.005 % |
514.64/515.08	c |    931774 |     140    11900    83300 |    54977    48844     44 |  0.005 % |
517.04/517.42	c |    936161 |     140    11900    83300 |    54977    53231     44 |  0.005 % |
519.64/520.09	c |    940984 |     140    11900    83300 |    51219    47021     44 |  0.005 % |
522.34/522.79	c |    946291 |     140    11900    83300 |    51219    47200     44 |  0.005 % |
525.63/526.07	c |    952128 |     140    11900    83300 | 2147483647    53037     44 |  0.005 % |
529.53/529.91	c |    958548 |     140    11900    83300 | 2147483647    59457     44 |  0.005 % |
533.43/533.87	c |    965607 |     140    11900    83300 |    60909    58758     44 |  0.005 % |
537.33/537.70	c |    973372 |     140    11900    83300 |    54281    50040     44 |  0.005 % |
541.52/541.97	c |    981912 |     140    11900    83300 | 2147483647    53105     44 |  0.005 % |
541.62/542.03	c |    982012 |     140    11900    83300 | 2147483647    53205     44 |  0.005 % |
541.72/542.12	c |    982122 |     140    11900    83300 | 2147483647    53315     44 |  0.005 % |
541.83/542.21	c |    982243 |     140    11900    83300 | 2147483647    53436     44 |  0.005 % |
541.83/542.28	c |    982377 |     140    11900    83300 | 2147483647    53570     44 |  0.005 % |
541.93/542.37	c |    982523 |     140    11900    83300 | 2147483647    53716     44 |  0.005 % |
542.02/542.47	c |    982684 |     140    11900    83300 | 2147483647    53877     44 |  0.005 % |
542.12/542.58	c |    982860 |     140    11900    83300 | 2147483647    54053     44 |  0.005 % |
542.32/542.72	c |    983053 |     140    11900    83300 | 2147483647    54246     44 |  0.005 % |
542.42/542.86	c |    983265 |     140    11900    83300 | 2147483647    54458     44 |  0.005 % |
542.52/543.00	c |    983498 |     140    11900    83300 | 2147483647    54691     44 |  0.005 % |
542.72/543.16	c |    983754 |     140    11900    83300 | 2147483647    54947     44 |  0.005 % |
542.93/543.34	c |    984036 |     140    11900    83300 | 2147483647    55229     44 |  0.005 % |
543.12/543.55	c |    984346 |     140    11900    83300 | 2147483647    55539     44 |  0.005 % |
543.32/543.77	c |    984685 |     140    11900    83300 | 2147483647    55878     44 |  0.005 % |
543.62/544.01	c |    985058 |     140    11900    83300 | 2147483647    56251     44 |  0.005 % |
543.82/544.26	c |    985467 |     140    11900    83300 | 2147483647    56660     44 |  0.005 % |
544.13/544.55	c |    985917 |     140    11900    83300 | 2147483647    57110     44 |  0.005 % |
544.42/544.87	c |    986413 |     140    11900    83300 | 2147483647    57606     44 |  0.005 % |
544.82/545.21	c |    986955 |     140    11900    83300 | 2147483647    58148     44 |  0.005 % |
545.12/545.55	c |    987551 |     140    11900    83300 | 2147483647    58744     44 |  0.005 % |
545.62/546.00	c |    988206 |     140    11900    83300 | 2147483647    59399     44 |  0.005 % |
546.12/546.50	c |    988926 |     140    11900    83300 | 2147483647    60119     44 |  0.005 % |
546.62/547.04	c |    989718 |     140    11900    83300 | 2147483647    60911     44 |  0.005 % |
547.12/547.59	c |    990590 |     140    11900    83300 |    61193    53108     45 |  0.005 % |
547.72/548.19	c |    991549 |     140    11900    83300 |    61193    54067     45 |  0.005 % |
548.42/548.83	c |    992602 |     140    11900    83300 |    61193    55120     44 |  0.005 % |
549.02/549.49	c |    993761 |     140    11900    83300 |    61193    56279     44 |  0.005 % |
549.82/550.25	c |    995036 |     140    11900    83300 |    61193    57554     44 |  0.005 % |
550.72/551.17	c |    996437 |     140    11900    83300 |    61193    58955     44 |  0.005 % |
551.82/552.26	c |    997977 |     140    11900    83300 |    61193    60495     44 |  0.005 % |
552.92/553.34	c |    999673 |     140    11900    83300 |    61193    52896     44 |  0.005 % |
553.92/554.33	c |   1001538 |     140    11900    83300 |    53223    46836     44 |  0.005 % |
555.12/555.55	c |   1003587 |     140    11900    83300 |    53223    48885     44 |  0.005 % |
556.51/556.91	c |   1005840 |     140    11900    83300 |    53223    51138     44 |  0.005 % |
557.81/558.25	c |   1008320 |     140    11900    83300 |    53223    47329     44 |  0.005 % |
559.31/559.70	c |   1011045 |     140    11900    83300 |    49012    44429     44 |  0.005 % |
560.81/561.23	c |   1014042 |     140    11900    83300 |    49012    47426     44 |  0.005 % |
562.41/562.89	c |   1017339 |     140    11900    83300 |    49012    45816     44 |  0.005 % |
564.21/564.64	c |   1020965 |     140    11900    83300 | 2147483647    49442     44 |  0.005 % |
566.21/566.68	c |   1024952 |     140    11900    83300 | 2147483647    53429     44 |  0.005 % |
568.71/569.13	c |   1029339 |     140    11900    83300 | 2147483647    57816     44 |  0.005 % |
571.51/571.98	c |   1034162 |     140    11900    83300 |    58478    56440     44 |  0.005 % |
574.60/575.08	c |   1039469 |     140    11900    83300 |    58478    54571     44 |  0.005 % |
577.60/578.08	c |   1045304 |     140    11900    83300 |    55104    53814     44 |  0.005 % |
581.30/581.78	c |   1051724 |     140    11900    83300 |    52504    48610     44 |  0.005 % |
584.70/585.12	c |   1058783 |     140    11900    83300 |    52504    50413     44 |  0.005 % |
588.70/589.12	c |   1066548 |     140    11900    83300 | 2147483647    58178     44 |  0.005 % |
593.09/593.52	c |   1075088 |     140    11900    83300 |    61630    59560     44 |  0.005 % |
597.49/597.96	c |   1084482 |     140    11900    83300 |    56799    54480     44 |  0.005 % |
597.59/598.03	c |   1084582 |     140    11900    83300 |    56799    54580     44 |  0.005 % |
597.69/598.10	c |   1084692 |     140    11900    83300 |    56799    54690     44 |  0.005 % |
597.69/598.18	c |   1084813 |     140    11900    83300 |    56799    54811     44 |  0.005 % |
597.79/598.28	c |   1084946 |     140    11900    83300 |    56799    54944     44 |  0.005 % |
597.90/598.38	c |   1085093 |     140    11900    83300 |    56799    55091     44 |  0.005 % |
598.00/598.49	c |   1085255 |     140    11900    83300 |    56799    55253     44 |  0.005 % |
598.19/598.61	c |   1085431 |     140    11900    83300 |    56799    55429     44 |  0.005 % |
598.29/598.73	c |   1085624 |     140    11900    83300 |    56799    55622     44 |  0.005 % |
598.39/598.85	c |   1085838 |     140    11900    83300 |    56799    55836     44 |  0.005 % |
598.49/598.99	c |   1086071 |     140    11900    83300 |    56799    56069     44 |  0.005 % |
598.69/599.17	c |   1086328 |     140    11900    83300 |    56799    56326     44 |  0.005 % |
598.89/599.32	c |   1086610 |     140    11900    83300 |    56799    56608     44 |  0.005 % |
599.10/599.55	c |   1086921 |     140    11900    83300 |    56799    50498     44 |  0.005 % |
599.29/599.75	c |   1087260 |     140    11900    83300 |    56799    50837     44 |  0.005 % |
599.49/599.96	c |   1087633 |     140    11900    83300 |    56799    51210     44 |  0.005 % |
599.69/600.18	c |   1088043 |     140    11900    83300 |    56799    51620     44 |  0.005 % |
600.10/600.50	c |   1088492 |     140    11900    83300 |    56799    52069     44 |  0.005 % |
600.39/600.83	c |   1088986 |     140    11900    83300 |    56799    52563     44 |  0.005 % |
600.69/601.19	c |   1089528 |     140    11900    83300 |    56799    53105     44 |  0.005 % |
601.20/601.63	c |   1090126 |     140    11900    83300 |    53577    47188     44 |  0.005 % |
601.59/602.03	c |   1090782 |     140    11900    83300 |    53577    47844     44 |  0.005 % |
601.99/602.49	c |   1091504 |     140    11900    83300 |    53577    48566     44 |  0.005 % |
602.49/602.99	c |   1092296 |     140    11900    83300 |    53577    49358     44 |  0.005 % |
602.99/603.45	c |   1093168 |     140    11900    83300 |    53577    50230     44 |  0.005 % |
603.50/604.00	c |   1094127 |     140    11900    83300 |    53577    51189     44 |  0.005 % |
604.09/604.59	c |   1095180 |     140    11900    83300 |    53577    52242     44 |  0.005 % |
604.79/605.23	c |   1096338 |     140    11900    83300 |    53577    53400     44 |  0.005 % |
605.49/605.92	c |   1097611 |     140    11900    83300 |    53577    48319     44 |  0.005 % |
606.19/606.62	c |   1099011 |     140    11900    83300 |    53577    49719     44 |  0.005 % |
607.09/607.50	c |   1100551 |     140    11900    83300 |    50708    45543     44 |  0.005 % |
607.99/608.44	c |   1102247 |     140    11900    83300 |    50708    47239     44 |  0.005 % |
608.99/609.48	c |   1104111 |     140    11900    83300 |    50708    49103     44 |  0.005 % |
610.09/610.57	c |   1106161 |     140    11900    83300 |    50708    45993     44 |  0.005 % |
611.29/611.76	c |   1108415 |     140    11900    83300 |    50708    48247     44 |  0.005 % |
612.59/613.08	c |   1110893 |     140    11900    83300 | 2147483647    50725     44 |  0.005 % |
614.09/614.57	c |   1113618 |     140    11900    83300 | 2147483647    53450     44 |  0.005 % |
615.89/616.36	c |   1116615 |     140    11900    83300 | 2147483647    56447     44 |  0.005 % |
617.98/618.42	c |   1119911 |     140    11900    83300 | 2147483647    59743     44 |  0.005 % |
619.98/620.47	c |   1123537 |     140    11900    83300 |    59832    56300     44 |  0.005 % |
622.78/623.21	c |   1127524 |     140    11900    83300 |    59832    51708     44 |  0.005 % |
625.38/625.81	c |   1131909 |     140    11900    83300 |    54184    48211     44 |  0.005 % |
627.68/628.18	c |   1136734 |     140    11900    83300 |    54184    53036     44 |  0.005 % |
630.27/630.74	c |   1142039 |     140    11900    83300 |    50499    47449     44 |  0.005 % |
633.08/633.52	c |   1147874 |     140    11900    83300 |    50499    48228     44 |  0.005 % |
636.27/636.70	c |   1154293 |     140    11900    83300 | 2147483647    54647     44 |  0.005 % |
640.27/640.76	c |   1161352 |     140    11900    83300 |    60355    54617     44 |  0.005 % |
644.67/645.13	c |   1169117 |     140    11900    83300 |    60355    54600     44 |  0.005 % |
649.87/650.35	c |   1177657 |     140    11900    83300 |    55485    49617     44 |  0.005 % |
654.96/655.50	c |   1187052 |     140    11900    83300 |    51962    47315     44 |  0.005 % |
659.76/660.26	c |   1197385 |     140    11900    83300 |    50263    47473     44 |  0.005 % |
659.86/660.31	c |   1197486 |     140    11900    83300 |    50263    47574     44 |  0.005 % |
659.86/660.36	c |   1197596 |     140    11900    83300 |    50263    47684     44 |  0.005 % |
659.96/660.44	c |   1197717 |     140    11900    83300 |    50263    47805     44 |  0.005 % |
660.06/660.50	c |   1197851 |     140    11900    83300 |    50263    47939     44 |  0.005 % |
660.06/660.58	c |   1197998 |     140    11900    83300 |    50263    48086     44 |  0.005 % |
660.16/660.66	c |   1198159 |     140    11900    83300 |    50263    48247     44 |  0.005 % |
660.26/660.75	c |   1198337 |     140    11900    83300 |    50263    48425     44 |  0.005 % |
660.36/660.88	c |   1198530 |     140    11900    83300 |    50263    48618     44 |  0.005 % |
660.57/661.02	c |   1198743 |     140    11900    83300 |    50263    48831     44 |  0.005 % |
660.67/661.16	c |   1198976 |     140    11900    83300 |    50263    49064     44 |  0.005 % |
660.86/661.31	c |   1199232 |     140    11900    83300 |    50263    49320     44 |  0.005 % |
660.96/661.49	c |   1199518 |     140    11900    83300 |    50263    49606     44 |  0.005 % |
661.26/661.70	c |   1199828 |     140    11900    83300 |    50263    49916     44 |  0.005 % |
661.46/661.92	c |   1200169 |     140    11900    83300 | 2147483647    50257     44 |  0.005 % |
661.66/662.13	c |   1200542 |     140    11900    83300 | 2147483647    50630     44 |  0.005 % |
661.96/662.41	c |   1200953 |     140    11900    83300 | 2147483647    51041     44 |  0.005 % |
662.26/662.72	c |   1201403 |     140    11900    83300 | 2147483647    51491     44 |  0.005 % |
662.56/663.02	c |   1201896 |     140    11900    83300 | 2147483647    51984     44 |  0.005 % |
662.86/663.35	c |   1202439 |     140    11900    83300 | 2147483647    52527     44 |  0.005 % |
663.26/663.71	c |   1203035 |     140    11900    83300 | 2147483647    53123     44 |  0.005 % |
663.66/664.12	c |   1203691 |     140    11900    83300 | 2147483647    53779     44 |  0.005 % |
664.06/664.60	c |   1204412 |     140    11900    83300 | 2147483647    54500     44 |  0.005 % |
664.66/665.15	c |   1205205 |     140    11900    83300 | 2147483647    55293     44 |  0.005 % |
665.26/665.70	c |   1206077 |     140    11900    83300 | 2147483647    56165     44 |  0.005 % |
665.85/666.33	c |   1207037 |     140    11900    83300 | 2147483647    57125     44 |  0.005 % |
666.55/667.00	c |   1208091 |     140    11900    83300 | 2147483647    58179     44 |  0.005 % |
667.26/667.70	c |   1209249 |     140    11900    83300 | 2147483647    59337     44 |  0.005 % |
668.05/668.57	c |   1210523 |     140    11900    83300 |    60089    52025     44 |  0.005 % |
668.95/669.41	c |   1211923 |     140    11900    83300 |    60089    53425     44 |  0.005 % |
669.85/670.35	c |   1213463 |     140    11900    83300 |    60089    54965     44 |  0.005 % |
670.85/671.35	c |   1215158 |     140    11900    83300 |    60089    56660     44 |  0.005 % |
671.95/672.43	c |   1217024 |     140    11900    83300 |    60089    58526     44 |  0.005 % |
673.35/673.83	c |   1219073 |     140    11900    83300 |    60089    52054     44 |  0.005 % |
674.75/675.23	c |   1221326 |     140    11900    83300 |    52982    46770     44 |  0.005 % |
675.85/676.38	c |   1223804 |     140    11900    83300 |    52982    49248     44 |  0.005 % |
677.25/677.76	c |   1226529 |     140    11900    83300 |    52982    51973     44 |  0.005 % |
679.15/679.60	c |   1229528 |     140    11900    83300 |    52982    48674     44 |  0.005 % |
680.75/681.27	c |   1232824 |     140    11900    83300 |    49146    46273     44 |  0.005 % |
682.75/683.25	c |   1236449 |     140    11900    83300 |    49146    44978     44 |  0.005 % |
684.85/685.37	c |   1240436 |     140    11900    83300 | 2147483647    48965     44 |  0.005 % |
687.45/687.94	c |   1244822 |     140    11900    83300 | 2147483647    53351     44 |  0.005 % |
690.35/690.83	c |   1249646 |     140    11900    83300 | 2147483647    58175     44 |  0.005 % |
693.65/694.17	c |   1254951 |     140    11900    83300 |    58529    56505     44 |  0.005 % |
697.25/697.74	c |   1260786 |     140    11900    83300 |    53483    47168     44 |  0.005 % |
700.64/701.10	c |   1267206 |     140    11900    83300 |    53483    48123     44 |  0.005 % |
704.34/704.86	c |   1274269 |     140    11900    83300 |    50917    49899     44 |  0.005 % |
708.34/708.87	c |   1282033 |     140    11900    83300 | 2147483647    52510     44 |  0.005 % |
713.04/713.53	c |   1290574 |     140    11900    83300 |    60477    52932     44 |  0.005 % |
717.74/718.21	c |   1299970 |     140    11900    83300 |    60477    54589     44 |  0.005 % |
722.63/723.13	c |   1310303 |     140    11900    83300 | 2147483647    52522     44 |  0.005 % |
729.13/729.68	c |   1321670 |     140    11900    83300 |    62222    56336     44 |  0.005 % |
729.23/729.75	c |   1321770 |     140    11900    83300 |    62222    56436     44 |  0.005 % |
729.33/729.81	c |   1321880 |     140    11900    83300 |    62222    56546     44 |  0.005 % |
729.33/729.88	c |   1322001 |     140    11900    83300 |    62222    56667     44 |  0.005 % |
729.43/729.99	c |   1322135 |     140    11900    83300 |    62222    56801     44 |  0.005 % |
729.63/730.10	c |   1322284 |     140    11900    83300 |    62222    56950     44 |  0.005 % |
729.73/730.21	c |   1322444 |     140    11900    83300 |    62222    57110     44 |  0.005 % |
729.84/730.32	c |   1322621 |     140    11900    83300 |    62222    57287     44 |  0.005 % |
729.94/730.45	c |   1322814 |     140    11900    83300 |    62222    57480     44 |  0.005 % |
730.03/730.59	c |   1323027 |     140    11900    83300 |    62222    57693     44 |  0.005 % |
730.33/730.80	c |   1323263 |     140    11900    83300 |    62222    57929     44 |  0.005 % |
730.43/730.98	c |   1323522 |     140    11900    83300 |    62222    58188     44 |  0.005 % |
730.73/731.21	c |   1323803 |     140    11900    83300 |    62222    58469     44 |  0.005 % |
730.93/731.40	c |   1324112 |     140    11900    83300 |    62222    58778     44 |  0.005 % |
731.13/731.62	c |   1324452 |     140    11900    83300 |    62222    59118     44 |  0.005 % |
731.33/731.82	c |   1324824 |     140    11900    83300 |    62222    59490     44 |  0.005 % |
731.53/732.07	c |   1325235 |     140    11900    83300 |    62222    59901     44 |  0.005 % |
731.83/732.32	c |   1325684 |     140    11900    83300 |    62222    60350     44 |  0.005 % |
732.13/732.64	c |   1326177 |     140    11900    83300 |    62222    60843     44 |  0.005 % |
732.43/732.96	c |   1326719 |     140    11900    83300 |    62222    61385     44 |  0.005 % |
732.83/733.37	c |   1327315 |     140    11900    83300 |    62222    61981     44 |  0.005 % |
733.33/733.80	c |   1327971 |     140    11900    83300 |    62222    53587     44 |  0.005 % |
733.73/734.22	c |   1328693 |     140    11900    83300 |    62222    54309     44 |  0.005 % |
734.13/734.67	c |   1329486 |     140    11900    83300 |    62222    55102     44 |  0.005 % |
734.63/735.20	c |   1330357 |     140    11900    83300 |    55616    48045     44 |  0.005 % |
735.23/735.72	c |   1331315 |     140    11900    83300 |    55616    49003     44 |  0.005 % |
735.73/736.23	c |   1332368 |     140    11900    83300 |    55616    50056     44 |  0.005 % |
736.23/736.77	c |   1333526 |     140    11900    83300 |    55616    51214     44 |  0.005 % |
737.03/737.57	c |   1334801 |     140    11900    83300 |    55616    52489     44 |  0.005 % |
737.83/738.37	c |   1336201 |     140    11900    83300 |    55616    53889     44 |  0.005 % |
738.73/739.28	c |   1337742 |     140    11900    83300 |    55616    55430     44 |  0.005 % |
739.63/740.13	c |   1339436 |     140    11900    83300 |    55616    50272     44 |  0.005 % |
740.43/740.94	c |   1341299 |     140    11900    83300 |    50836    46181     44 |  0.005 % |
741.33/741.88	c |   1343348 |     140    11900    83300 |    50836    48230     44 |  0.005 % |
742.33/742.89	c |   1345601 |     140    11900    83300 |    50836    50483     44 |  0.005 % |
743.52/744.00	c |   1348079 |     140    11900    83300 |    50836    47871     44 |  0.005 % |
744.82/745.32	c |   1350809 |     140    11900    83300 | 2147483647    50601     44 |  0.005 % |
746.12/746.64	c |   1353807 |     140    11900    83300 | 2147483647    53599     44 |  0.005 % |
747.92/748.49	c |   1357105 |     140    11900    83300 | 2147483647    56897     44 |  0.005 % |
750.12/750.61	c |   1360730 |     140    11900    83300 |    59795    54100     44 |  0.005 % |
752.42/752.90	c |   1364717 |     140    11900    83300 |    59795    58087     44 |  0.005 % |
755.02/755.57	c |   1369102 |     140    11900    83300 |    59795    55042     44 |  0.005 % |
757.81/758.33	c |   1373925 |     140    11900    83300 |    55940    52999     44 |  0.005 % |
760.91/761.45	c |   1379233 |     140    11900    83300 |    55940    51920     44 |  0.005 % |
764.02/764.51	c |   1385069 |     140    11900    83300 |    52687    51897     44 |  0.005 % |
766.91/767.48	c |   1391487 |     140    11900    83300 |    51338    47403     44 |  0.005 % |
770.21/770.72	c |   1398546 |     140    11900    83300 |    51338    49322     44 |  0.005 % |
774.11/774.66	c |   1406310 |     140    11900    83300 | 2147483647    57086     44 |  0.005 % |
778.91/779.45	c |   1414854 |     140    11900    83300 |    60778    58117     44 |  0.005 % |
784.01/784.59	c |   1424248 |     140    11900    83300 |    55274    52442     44 |  0.005 % |
789.31/789.82	c |   1434581 |     140    11900    83300 | 2147483647    57104     44 |  0.005 % |
796.00/796.56	c |   1445947 |     140    11900    83300 |    62523    59487     44 |  0.005 % |
802.40/802.96	c |   1458450 |     140    11900    83300 |    53577    47599     44 |  0.005 % |
802.50/803.01	c |   1458551 |     140    11900    83300 |    53577    47700     44 |  0.005 % |
802.50/803.08	c |   1458662 |     140    11900    83300 |    53577    47811     44 |  0.005 % |
802.60/803.14	c |   1458783 |     140    11900    83300 |    53577    47932     44 |  0.005 % |
802.70/803.22	c |   1458918 |     140    11900    83300 |    53577    48067     44 |  0.005 % |
802.80/803.31	c |   1459064 |     140    11900    83300 |    53577    48213     44 |  0.005 % |
802.90/803.41	c |   1459224 |     140    11900    83300 |    53577    48373     44 |  0.005 % |
803.00/803.51	c |   1459400 |     140    11900    83300 |    53577    48549     44 |  0.005 % |
803.10/803.63	c |   1459594 |     140    11900    83300 |    53577    48743     44 |  0.005 % |
803.20/803.75	c |   1459806 |     140    11900    83300 |    53577    48955     44 |  0.005 % |
803.30/803.89	c |   1460040 |     140    11900    83300 |    49150    49189     44 |  0.005 % |
803.60/804.11	c |   1460296 |     140    11900    83300 |    49150    43877     44 |  0.005 % |
803.70/804.26	c |   1460577 |     140    11900    83300 |    49150    44158     44 |  0.005 % |
803.90/804.43	c |   1460887 |     140    11900    83300 |    49150    44468     44 |  0.005 % |
804.10/804.61	c |   1461227 |     140    11900    83300 |    49150    44808     44 |  0.005 % |
804.30/804.81	c |   1461599 |     140    11900    83300 |    49150    45180     44 |  0.005 % |
804.50/805.05	c |   1462011 |     140    11900    83300 |    49150    45592     44 |  0.005 % |
804.80/805.31	c |   1462461 |     140    11900    83300 |    49150    46042     44 |  0.005 % |
805.00/805.57	c |   1462954 |     140    11900    83300 |    49150    46535     44 |  0.005 % |
805.30/805.86	c |   1463496 |     140    11900    83300 |    49150    47077     44 |  0.005 % |
805.60/806.14	c |   1464092 |     140    11900    83300 |    49150    47673     44 |  0.005 % |
805.99/806.51	c |   1464749 |     140    11900    83300 |    49150    48330     44 |  0.005 % |
806.29/806.87	c |   1465470 |     140    11900    83300 |    49150    49051     44 |  0.005 % |
806.69/807.27	c |   1466262 |     140    11900    83300 |    49150    44827     44 |  0.005 % |
807.09/807.68	c |   1467134 |     140    11900    83300 |    49150    45699     44 |  0.005 % |
807.49/808.06	c |   1468092 |     140    11900    83300 |    49150    46657     44 |  0.005 % |
808.09/808.69	c |   1469145 |     140    11900    83300 |    49150    47710     44 |  0.005 % |
808.79/809.33	c |   1470304 |     140    11900    83300 | 2147483647    48869     44 |  0.005 % |
809.49/810.07	c |   1471577 |     140    11900    83300 | 2147483647    50142     44 |  0.005 % |
810.49/811.02	c |   1472977 |     140    11900    83300 | 2147483647    51542     44 |  0.005 % |
811.30/811.82	c |   1474517 |     140    11900    83300 | 2147483647    53082     44 |  0.005 % |
812.19/812.78	c |   1476212 |     140    11900    83300 | 2147483647    54777     44 |  0.005 % |
813.19/813.74	c |   1478077 |     140    11900    83300 | 2147483647    56642     44 |  0.005 % |
814.69/815.29	c |   1480128 |     140    11900    83300 |    58565    51174     44 |  0.005 % |
815.99/816.55	c |   1482381 |     140    11900    83300 |    58565    53427     44 |  0.005 % |
817.39/817.92	c |   1484860 |     140    11900    83300 |    58565    55906     44 |  0.005 % |
818.89/819.50	c |   1487585 |     140    11900    83300 |    58565    58631     44 |  0.005 % |
820.89/821.40	c |   1490582 |     140    11900    83300 |    53933    47636     44 |  0.005 % |
822.79/823.32	c |   1493879 |     140    11900    83300 |    53933    50933     44 |  0.005 % |
824.59/825.13	c |   1497504 |     140    11900    83300 |    53933    48388     44 |  0.005 % |
826.89/827.40	c |   1501491 |     140    11900    83300 |    50884    46763     44 |  0.005 % |
829.19/829.74	c |   1505876 |     140    11900    83300 |    50884    46053     44 |  0.005 % |
831.89/832.41	c |   1510699 |     140    11900    83300 | 2147483647    50876     44 |  0.005 % |
834.69/835.27	c |   1516008 |     140    11900    83300 | 2147483647    56185     44 |  0.005 % |
838.48/839.05	c |   1521844 |     140    11900    83300 |    60177    54197     44 |  0.005 % |
842.28/842.89	c |   1528263 |     140    11900    83300 |    60177    52039     44 |  0.005 % |
845.88/846.40	c |   1535322 |     140    11900    83300 |    53776    51814     44 |  0.005 % |
850.18/850.77	c |   1543087 |     140    11900    83300 | 2147483647    54195     44 |  0.005 % |
855.67/856.23	c |   1551627 |     140    11900    83300 |    61112    54319     44 |  0.005 % |
860.87/861.41	c |   1561021 |     140    11900    83300 |    54335    48060     45 |  0.005 % |
866.57/867.15	c |   1571354 |     140    11900    83300 |    50082    45293     44 |  0.005 % |
871.87/872.48	c |   1582721 |     140    11900    83300 | 2147483647    51645     44 |  0.005 % |
878.67/879.20	c |   1595223 |     140    11900    83300 |    58924    57951     44 |  0.005 % |
885.87/886.47	c |   1608975 |     140    11900    83300 |    55627    51711     44 |  0.005 % |
885.97/886.54	c |   1609075 |     140    11900    83300 |    55627    51811     44 |  0.005 % |
886.07/886.62	c |   1609186 |     140    11900    83300 |    55627    51922     44 |  0.005 % |
886.17/886.71	c |   1609308 |     140    11900    83300 |    55627    52044     44 |  0.005 % |
886.17/886.79	c |   1609443 |     140    11900    83300 |    55627    52179     44 |  0.005 % |
886.26/886.88	c |   1609590 |     140    11900    83300 |    55627    52326     44 |  0.005 % |
886.36/886.98	c |   1609750 |     140    11900    83300 |    55627    52486     44 |  0.005 % |
886.47/887.08	c |   1609926 |     140    11900    83300 |    55627    52662     44 |  0.005 % |
886.66/887.25	c |   1610122 |     140    11900    83300 |    52737    47003     44 |  0.005 % |
886.76/887.37	c |   1610334 |     140    11900    83300 |    52737    47215     44 |  0.005 % |
886.86/887.49	c |   1610567 |     140    11900    83300 |    52737    47448     44 |  0.005 % |
887.07/887.65	c |   1610823 |     140    11900    83300 |    52737    47704     44 |  0.005 % |
887.26/887.82	c |   1611106 |     140    11900    83300 |    52737    47987     44 |  0.005 % |
887.36/887.97	c |   1611418 |     140    11900    83300 |    52737    48299     44 |  0.005 % |
887.56/888.13	c |   1611758 |     140    11900    83300 |    52737    48639     44 |  0.005 % |
887.66/888.28	c |   1612130 |     140    11900    83300 |    52737    49011     44 |  0.005 % |
887.96/888.50	c |   1612539 |     140    11900    83300 |    52737    49420     44 |  0.005 % |
888.27/888.83	c |   1612988 |     140    11900    83300 |    52737    49869     44 |  0.005 % |
888.56/889.13	c |   1613482 |     140    11900    83300 |    52737    50363     44 |  0.005 % |
888.86/889.50	c |   1614024 |     140    11900    83300 |    52737    50905     44 |  0.005 % |
889.26/889.88	c |   1614621 |     140    11900    83300 |    52737    51502     44 |  0.005 % |
889.66/890.22	c |   1615278 |     140    11900    83300 |    52737    52159     44 |  0.005 % |
890.06/890.64	c |   1616000 |     140    11900    83300 |    52737    46842     44 |  0.005 % |
890.56/891.19	c |   1616794 |     140    11900    83300 |    52737    47636     44 |  0.005 % |
891.06/891.69	c |   1617665 |     140    11900    83300 |    52737    48507     44 |  0.005 % |
891.56/892.16	c |   1618624 |     140    11900    83300 |    52737    49466     44 |  0.005 % |
892.16/892.75	c |   1619677 |     140    11900    83300 |    52737    50519     44 |  0.005 % |
892.86/893.40	c |   1620835 |     140    11900    83300 |    50842    45980     44 |  0.005 % |
893.46/894.05	c |   1622108 |     140    11900    83300 |    50842    47253     44 |  0.005 % |
894.26/894.80	c |   1623508 |     140    11900    83300 |    50842    48653     44 |  0.005 % |
895.26/895.86	c |   1625048 |     140    11900    83300 |    50842    50193     44 |  0.005 % |
896.26/896.88	c |   1626744 |     140    11900    83300 |    50842    46340     44 |  0.005 % |
897.45/898.03	c |   1628607 |     140    11900    83300 |    50842    48203     44 |  0.005 % |
898.65/899.25	c |   1630657 |     140    11900    83300 |    49597    44793     44 |  0.005 % |
899.85/900.47	c |   1632913 |     140    11900    83300 |    49597    47049     44 |  0.005 % |
901.15/901.76	c |   1635391 |     140    11900    83300 |    49597    49527     44 |  0.005 % |
902.25/902.86	c |   1638116 |     140    11900    83300 |    49597    47286     44 |  0.005 % |
903.66/904.25	c |   1641113 |     140    11900    83300 | 2147483647    50283     44 |  0.005 % |
905.15/905.76	c |   1644411 |     140    11900    83300 | 2147483647    53581     44 |  0.005 % |
907.15/907.77	c |   1648036 |     140    11900    83300 | 2147483647    57206     44 |  0.005 % |
909.55/910.10	c |   1652024 |     140    11900    83300 |    59170    54900     44 |  0.005 % |
912.16/912.77	c |   1656409 |     140    11900    83300 |    59170    51240     44 |  0.005 % |
914.76/915.34	c |   1661233 |     140    11900    83300 |    54831    48971     44 |  0.005 % |
917.56/918.14	c |   1666540 |     140    11900    83300 |    54831    54278     44 |  0.005 % |
920.66/921.23	c |   1672375 |     140    11900    83300 |    51855    48725     44 |  0.005 % |
923.95/924.50	c |   1678793 |     140    11900    83300 |    51855    49951     44 |  0.005 % |
927.55/928.12	c |   1685854 |     140    11900    83300 | 2147483647    57012     44 |  0.005 % |
931.75/932.36	c |   1693619 |     140    11900    83300 |    61158    58088     44 |  0.005 % |
936.44/937.09	c |   1702159 |     140    11900    83300 |    56571    51441     44 |  0.005 % |
941.64/942.20	c |   1711555 |     140    11900    83300 |    52793    48463     44 |  0.005 % |
946.44/947.04	c |   1721888 |     140    11900    83300 | 2147483647    53510     44 |  0.005 % |
952.53/953.10	c |   1733256 |     140    11900    83300 |    61624    57942     44 |  0.005 % |
959.13/959.74	c |   1745759 |     140    11900    83300 |    57322    56098     44 |  0.005 % |
966.33/966.91	c |   1759511 |     140    11900    83300 |    54136    52545     44 |  0.005 % |
974.53/975.19	c |   1774639 |     140    11900    83300 |    63035    59123     44 |  0.005 % |
974.63/975.26	c |   1774740 |     140    11900    83300 |    63035    59224     45 |  0.005 % |
974.73/975.32	c |   1774851 |     140    11900    83300 |    63035    59335     44 |  0.005 % |
974.73/975.39	c |   1774972 |     140    11900    83300 |    63035    59456     44 |  0.005 % |
974.83/975.47	c |   1775105 |     140    11900    83300 |    63035    59589     44 |  0.005 % |
974.93/975.57	c |   1775251 |     140    11900    83300 |    63035    59735     44 |  0.005 % |
975.03/975.67	c |   1775411 |     140    11900    83300 |    63035    59895     44 |  0.005 % |
975.13/975.79	c |   1775587 |     140    11900    83300 |    63035    60071     44 |  0.005 % |
975.33/975.95	c |   1775780 |     140    11900    83300 |    63035    60264     44 |  0.005 % |
975.53/976.14	c |   1775992 |     140    11900    83300 |    63035    60476     44 |  0.005 % |
975.73/976.32	c |   1776225 |     140    11900    83300 |    63035    60709     44 |  0.005 % |
975.83/976.50	c |   1776482 |     140    11900    83300 |    63035    60966     44 |  0.005 % |
976.13/976.71	c |   1776763 |     140    11900    83300 |    63035    61247     44 |  0.005 % |
976.33/976.92	c |   1777072 |     140    11900    83300 |    63035    61556     44 |  0.005 % |
976.63/977.20	c |   1777414 |     140    11900    83300 |    63035    61898     44 |  0.005 % |
976.82/977.48	c |   1777788 |     140    11900    83300 |    63035    62272     44 |  0.005 % |
977.23/977.82	c |   1778198 |     140    11900    83300 |    63035    62682     44 |  0.005 % |
977.62/978.21	c |   1778647 |     140    11900    83300 |    63035    53339     44 |  0.005 % |
977.82/978.49	c |   1779140 |     140    11900    83300 |    63035    53832     44 |  0.005 % |
978.22/978.82	c |   1779682 |     140    11900    83300 |    63035    54374     44 |  0.005 % |
978.52/979.19	c |   1780278 |     140    11900    83300 |    54692    46654     44 |  0.005 % |
978.82/979.49	c |   1780933 |     140    11900    83300 |    54692    47309     44 |  0.005 % |
979.22/979.88	c |   1781655 |     140    11900    83300 |    54692    48031     44 |  0.005 % |
979.72/980.32	c |   1782449 |     140    11900    83300 |    54692    48825     44 |  0.005 % |
980.12/980.79	c |   1783324 |     140    11900    83300 |    54692    49700     44 |  0.005 % |
980.62/981.26	c |   1784282 |     140    11900    83300 |    54692    50658     44 |  0.005 % |
981.12/981.76	c |   1785336 |     140    11900    83300 |    54692    51712     44 |  0.005 % |
981.72/982.33	c |   1786495 |     140    11900    83300 |    54692    52871     44 |  0.005 % |
982.32/982.96	c |   1787771 |     140    11900    83300 |    54692    54147     44 |  0.005 % |
983.12/983.71	c |   1789172 |     140    11900    83300 |    54692    49408     44 |  0.005 % |
983.92/984.52	c |   1790712 |     140    11900    83300 |    50236    45466     44 |  0.005 % |
984.62/985.25	c |   1792406 |     140    11900    83300 |    50236    47160     44 |  0.005 % |
985.42/986.07	c |   1794270 |     140    11900    83300 |    50236    49024     44 |  0.005 % |
986.42/987.00	c |   1796321 |     140    11900    83300 |    50236    46045     44 |  0.005 % |
987.42/988.01	c |   1798574 |     140    11900    83300 |    50236    48298     44 |  0.005 % |
988.82/989.43	c |   1801053 |     140    11900    83300 | 2147483647    50777     44 |  0.005 % |
990.42/991.05	c |   1803778 |     140    11900    83300 | 2147483647    53502     44 |  0.005 % |
992.22/992.80	c |   1806776 |     140    11900    83300 | 2147483647    56500     44 |  0.005 % |
994.11/994.79	c |   1810074 |     140    11900    83300 |    59726    52235     44 |  0.005 % |
996.11/996.70	c |   1813701 |     140    11900    83300 |    59726    55862     44 |  0.005 % |
998.41/999.03	c |   1817689 |     140    11900    83300 |    59726    51820     44 |  0.005 % |
1000.71/1001.36	c |   1822075 |     140    11900    83300 |    54131    49095     44 |  0.005 % |
1003.31/1003.92	c |   1826899 |     140    11900    83300 |    54131    53919     44 |  0.005 % |
1006.01/1006.69	c |   1832204 |     140    11900    83300 |    51171    48061     44 |  0.005 % |
1008.91/1009.50	c |   1838039 |     140    11900    83300 |    51171    48773     44 |  0.005 % |
1012.31/1012.93	c |   1844457 |     140    11900    83300 | 2147483647    55191     44 |  0.005 % |
1016.41/1017.09	c |   1851517 |     140    11900    83300 |    60734    54316     44 |  0.005 % |
1021.51/1022.13	c |   1859282 |     140    11900    83300 |    60734    52939     45 |  0.005 % |
1025.71/1026.37	c |   1867822 |     140    11900    83300 |    53657    53561     45 |  0.005 % |
1030.40/1031.04	c |   1877217 |     140    11900    83300 |    49645    46557     44 |  0.005 % |
1036.30/1036.96	c |   1887550 |     140    11900    83300 | 2147483647    56890     44 |  0.005 % |
1042.80/1043.43	c |   1898917 |     140    11900    83300 |    59341    53534     44 |  0.005 % |
1049.60/1050.26	c |   1911419 |     140    11900    83300 |    50929    46626     44 |  0.005 % |
1056.09/1056.70	c |   1925171 |     140    11900    83300 | 2147483647    55279     44 |  0.005 % |
1064.29/1064.97	c |   1940298 |     140    11900    83300 |    56132    49336     45 |  0.005 % |
1072.19/1072.80	c |   1956938 |     140    11900    83300 |    52800    48927     45 |  0.005 % |
1072.19/1072.85	c |   1957039 |     140    11900    83300 |    52800    49028     45 |  0.005 % |
1072.29/1072.93	c |   1957149 |     140    11900    83300 |    52800    49138     45 |  0.005 % |
1072.38/1073.00	c |   1957270 |     140    11900    83300 |    52800    49259     45 |  0.005 % |
1072.38/1073.07	c |   1957404 |     140    11900    83300 |    52800    49393     45 |  0.005 % |
1072.48/1073.14	c |   1957550 |     140    11900    83300 |    52800    49539     45 |  0.005 % |
1072.58/1073.23	c |   1957710 |     140    11900    83300 |    52800    49699     45 |  0.005 % |
1072.68/1073.34	c |   1957887 |     140    11900    83300 |    52800    49876     45 |  0.005 % |
1072.78/1073.46	c |   1958085 |     140    11900    83300 |    52800    50074     45 |  0.005 % |
1072.89/1073.59	c |   1958297 |     140    11900    83300 |    52800    50286     45 |  0.005 % |
1073.08/1073.72	c |   1958531 |     140    11900    83300 |    52800    50520     45 |  0.005 % |
1073.18/1073.88	c |   1958789 |     140    11900    83300 |    52800    50778     45 |  0.005 % |
1073.38/1074.08	c |   1959070 |     140    11900    83300 |    52800    51059     45 |  0.005 % |
1073.58/1074.29	c |   1959379 |     140    11900    83300 |    52800    51368     45 |  0.005 % |
1073.88/1074.53	c |   1959722 |     140    11900    83300 |    52800    51711     45 |  0.005 % |
1074.09/1074.73	c |   1960094 |     140    11900    83300 | 2147483647    52083     45 |  0.005 % |
1074.38/1075.02	c |   1960504 |     140    11900    83300 | 2147483647    52493     45 |  0.005 % |
1074.58/1075.25	c |   1960954 |     140    11900    83300 | 2147483647    52943     45 |  0.005 % |
1074.78/1075.49	c |   1961450 |     140    11900    83300 | 2147483647    53439     45 |  0.005 % |
1075.09/1075.78	c |   1961993 |     140    11900    83300 | 2147483647    53982     45 |  0.005 % |
1075.38/1076.08	c |   1962589 |     140    11900    83300 | 2147483647    54578     45 |  0.005 % |
1075.88/1076.50	c |   1963244 |     140    11900    83300 | 2147483647    55233     45 |  0.005 % |
1076.28/1076.96	c |   1963966 |     140    11900    83300 | 2147483647    55955     45 |  0.005 % |
1076.78/1077.40	c |   1964758 |     140    11900    83300 | 2147483647    56747     45 |  0.005 % |
1077.28/1077.91	c |   1965632 |     140    11900    83300 | 2147483647    57621     45 |  0.005 % |
1077.88/1078.51	c |   1966591 |     140    11900    83300 | 2147483647    58580     45 |  0.005 % |
1078.38/1079.04	c |   1967644 |     140    11900    83300 | 2147483647    59633     45 |  0.005 % |
1079.08/1079.73	c |   1968804 |     140    11900    83300 | 2147483647    60793     45 |  0.005 % |
1079.88/1080.54	c |   1970077 |     140    11900    83300 |    61991    53921     45 |  0.005 % |
1080.78/1081.41	c |   1971480 |     140    11900    83300 |    61991    55324     45 |  0.005 % |
1081.58/1082.27	c |   1973020 |     140    11900    83300 |    61991    56864     45 |  0.005 % |
1082.58/1083.28	c |   1974714 |     140    11900    83300 |    61991    58558     45 |  0.005 % |
1083.88/1084.56	c |   1976577 |     140    11900    83300 |    61991    60421     45 |  0.005 % |
1085.18/1085.84	c |   1978628 |     140    11900    83300 |    61991    52810     45 |  0.005 % |
1086.28/1086.92	c |   1980883 |     140    11900    83300 |    54182    47070     44 |  0.005 % |
1087.38/1088.01	c |   1983361 |     140    11900    83300 |    54182    49548     44 |  0.005 % |
1088.67/1089.32	c |   1986087 |     140    11900    83300 |    54182    52274     44 |  0.005 % |
1090.37/1091.03	c |   1989084 |     140    11900    83300 |    54182    49586     44 |  0.005 % |
1092.17/1092.84	c |   1992383 |     140    11900    83300 |    50502    47533     44 |  0.005 % |
1094.07/1094.75	c |   1996008 |     140    11900    83300 |    50502    46102     44 |  0.005 % |
1096.27/1096.93	c |   1999995 |     140    11900    83300 |    50502    50089     44 |  0.005 % |
1098.57/1099.26	c |   2004380 |     140    11900    83300 | 2147483647    54474     44 |  0.005 % |
1101.57/1102.24	c |   2009203 |     140    11900    83300 | 2147483647    59297     44 |  0.005 % |
1104.57/1105.24	c |   2014509 |     140    11900    83300 |    60094    57480     44 |  0.005 % |
1108.07/1108.74	c |   2020344 |     140    11900    83300 |    54830    47914     44 |  0.005 % |
1111.47/1112.19	c |   2026765 |     140    11900    83300 |    54830    54335     44 |  0.005 % |
1115.45/1116.12	c |   2033826 |     140    11900    83300 |    51353    49505     44 |  0.005 % |
1119.65/1120.32	c |   2041590 |     140    11900    83300 | 2147483647    52127     44 |  0.005 % |
1124.75/1125.40	c |   2050131 |     140    11900    83300 |    60538    52410     44 |  0.005 % |
1130.16/1130.89	c |   2059527 |     140    11900    83300 |    60538    53656     44 |  0.005 % |
1136.15/1136.88	c |   2069861 |     140    11900    83300 |    54130    49579     45 |  0.005 % |
1141.35/1142.05	c |   2081232 |     140    11900    83300 | 2147483647    49638     45 |  0.005 % |
1147.85/1148.53	c |   2093736 |     140    11900    83300 |    58406    55405     45 |  0.005 % |
1155.35/1156.01	c |   2107489 |     140    11900    83300 |    54231    48373     45 |  0.005 % |
1162.74/1163.48	c |   2122618 |     140    11900    83300 | 2147483647    52758     45 |  0.005 % |
1172.44/1173.19	c |   2139257 |     140    11900    83300 |    60140    54320     45 |  0.005 % |
1182.43/1183.17	c |   2157560 |     140    11900    83300 |    51146    47713     44 |  0.005 % |
1182.53/1183.21	c |   2157660 |     140    11900    83300 |    51146    47813     44 |  0.005 % |
1182.53/1183.26	c |   2157770 |     140    11900    83300 |    51146    47923     44 |  0.005 % |
1182.63/1183.32	c |   2157895 |     140    11900    83300 |    51146    48048     44 |  0.005 % |
1182.63/1183.39	c |   2158028 |     140    11900    83300 |    51146    48181     44 |  0.005 % |
1182.73/1183.47	c |   2158174 |     140    11900    83300 |    51146    48327     44 |  0.005 % |
1182.84/1183.55	c |   2158335 |     140    11900    83300 |    51146    48488     44 |  0.005 % |
1182.94/1183.63	c |   2158512 |     140    11900    83300 |    51146    48665     44 |  0.005 % |
1183.03/1183.72	c |   2158705 |     140    11900    83300 |    51146    48858     44 |  0.005 % |
1183.13/1183.84	c |   2158918 |     140    11900    83300 |    51146    49071     44 |  0.005 % |
1183.23/1183.94	c |   2159152 |     140    11900    83300 |    51146    49305     44 |  0.005 % |
1183.33/1184.05	c |   2159408 |     140    11900    83300 |    51146    49561     44 |  0.005 % |
1183.43/1184.19	c |   2159690 |     140    11900    83300 |    51146    49843     44 |  0.005 % |
1183.63/1184.31	c |   2160000 |     140    11900    83300 |    51146    50153     44 |  0.005 % |
1183.73/1184.49	c |   2160339 |     140    11900    83300 | 2147483647    50492     44 |  0.005 % |
1183.94/1184.63	c |   2160712 |     140    11900    83300 | 2147483647    50865     44 |  0.005 % |
1184.13/1184.84	c |   2161122 |     140    11900    83300 | 2147483647    51275     44 |  0.005 % |
1184.33/1185.09	c |   2161572 |     140    11900    83300 | 2147483647    51725     44 |  0.005 % |
1184.63/1185.39	c |   2162066 |     140    11900    83300 | 2147483647    52219     44 |  0.005 % |
1185.04/1185.71	c |   2162609 |     140    11900    83300 | 2147483647    52762     44 |  0.005 % |
1185.43/1186.12	c |   2163205 |     140    11900    83300 | 2147483647    53358     44 |  0.005 % |
1185.83/1186.55	c |   2163860 |     140    11900    83300 | 2147483647    54013     44 |  0.005 % |
1186.24/1186.91	c |   2164580 |     140    11900    83300 | 2147483647    54733     44 |  0.005 % |
1186.63/1187.35	c |   2165373 |     140    11900    83300 | 2147483647    55526     44 |  0.005 % |
1187.13/1187.84	c |   2166245 |     140    11900    83300 | 2147483647    56398     44 |  0.005 % |
1187.63/1188.33	c |   2167205 |     140    11900    83300 | 2147483647    57358     44 |  0.005 % |
1188.23/1188.96	c |   2168258 |     140    11900    83300 | 2147483647    58411     44 |  0.005 % |
1189.03/1189.73	c |   2169416 |     140    11900    83300 | 2147483647    59569     44 |  0.005 % |
1189.83/1190.58	c |   2170690 |     140    11900    83300 |    60154    52936     44 |  0.005 % |
1190.64/1191.36	c |   2172092 |     140    11900    83300 |    60154    54338     44 |  0.005 % |
1191.53/1192.25	c |   2173632 |     140    11900    83300 |    60154    55878     44 |  0.005 % |
1192.33/1193.07	c |   2175327 |     140    11900    83300 |    60154    57573     44 |  0.005 % |
1193.33/1194.09	c |   2177191 |     140    11900    83300 |    60154    59437     44 |  0.005 % |
1194.53/1195.29	c |   2179240 |     140    11900    83300 |    60154    53168     44 |  0.005 % |
1195.63/1196.39	c |   2181497 |     140    11900    83300 |    53928    48374     44 |  0.005 % |
1196.93/1197.69	c |   2183977 |     140    11900    83300 |    53928    50854     44 |  0.005 % |
1198.43/1199.13	c |   2186703 |     140    11900    83300 |    53928    53580     44 |  0.005 % |
1200.03/1200.70	HOME/SatELiteGTI: line 36:  8259 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-1832629-1242785323/watcher-1832629-1242785323 -o /tmp/evaluation-result-1832629-1242785323/solver-1832629-1242785323 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832629-1242785323.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: 0.92 0.98 0.99 3/64 8253
/proc/meminfo: memFree=1627704/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 306558292 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 233402237010 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/8253/statm: 1339 235 195 169 0 50 0
[pid=8254] ppid=8253 vsize=5356 CPUtime=0
/proc/8254/stat : 8254 (SatELiteGTI) R 8253 8253 7661 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306558293 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/8254/statm: 1339 238 198 169 0 50 0
[pid=8256] ppid=8254 vsize=0 CPUtime=0
/proc/8256/stat : 8256 (sed) Z 8254 8253 7661 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 306558293 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/8256/statm: 0 0 0 0 0 0 0

[startup+0.066903 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8253
/proc/meminfo: memFree=1627704/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.101899 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8253
/proc/meminfo: memFree=1627704/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.301921 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8253
/proc/meminfo: memFree=1627704/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.701961 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 8253
/proc/meminfo: memFree=1627704/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+1.50104 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1624744/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=4668 CPUtime=1.43
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 896 0 0 0 143 0 0 0 25 0 1 0 306558297 4780032 882 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 1167 882 76 171 0 994 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10024

[startup+3.1012 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1622824/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=6708 CPUtime=3.03
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 1385 0 0 0 302 1 0 0 25 0 1 0 306558297 6868992 1371 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 1677 1371 76 171 0 1504 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12064

[startup+6.30252 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1619752/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=9116 CPUtime=6.22
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 1999 0 0 0 621 1 0 0 25 0 1 0 306558297 9334784 1985 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 2279 1985 76 171 0 2106 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 14472

[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1616232/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=12264 CPUtime=12.61
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 2778 0 0 0 1259 2 0 0 25 0 1 0 306558297 12558336 2764 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 3066 2764 76 171 0 2893 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 17620

[startup+25.5014 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1612072/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=16368 CPUtime=25.41
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 3780 0 0 0 2537 4 0 0 25 0 1 0 306558297 16760832 3766 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4092 3766 76 171 0 3919 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 21724

[startup+51.102 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1612008/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=16368 CPUtime=50.99
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 3780 0 0 0 5095 4 0 0 25 0 1 0 306558297 16760832 3766 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4092 3766 76 171 0 3919 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 21724

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1611816/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=16368 CPUtime=102.14
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 3780 0 0 0 10209 5 0 0 25 0 1 0 306558297 16760832 3766 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4092 3766 76 171 0 3919 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 21724

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1611624/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=16368 CPUtime=162.09
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 3790 0 0 0 16204 5 0 0 25 0 1 0 306558297 16760832 3776 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4092 3776 76 171 0 3919 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 21724

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1610856/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=17164 CPUtime=222.04
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 3973 0 0 0 22199 5 0 0 25 0 1 0 306558297 17575936 3959 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4291 3959 76 171 0 4118 0
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (KiB) 22520

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1610664/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=17164 CPUtime=282.02
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 3986 0 0 0 28197 5 0 0 25 0 1 0 306558297 17575936 3972 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4291 3972 76 171 0 4118 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 22520

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1610344/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=17304 CPUtime=342
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 4034 0 0 0 34194 6 0 0 25 0 1 0 306558297 17719296 4020 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4326 4020 76 171 0 4153 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 22660

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1609640/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=18104 CPUtime=401.95

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

[pid=8259] ppid=8253 vsize=19568 CPUtime=521.91
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 4581 0 0 0 52184 7 0 0 25 0 1 0 306558297 20037632 4567 1992294400 134512640 135215339 4294956240 18446744073709551615 134528679 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4892 4567 76 171 0 4719 0
Current children cumulated CPU time (s) 521.94
Current children cumulated vsize (KiB) 24924

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1607848/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=19568 CPUtime=581.87
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 4581 0 0 0 58180 7 0 0 25 0 1 0 306558297 20037632 4567 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4892 4567 76 171 0 4719 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 24924

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1607720/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=19568 CPUtime=641.84
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 4581 0 0 0 64177 7 0 0 25 0 1 0 306558297 20037632 4567 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4892 4567 76 171 0 4719 0
Current children cumulated CPU time (s) 641.87
Current children cumulated vsize (KiB) 24924

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1607528/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=19568 CPUtime=701.81
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 4581 0 0 0 70174 7 0 0 25 0 1 0 306558297 20037632 4567 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4892 4567 76 171 0 4719 0
Current children cumulated CPU time (s) 701.84
Current children cumulated vsize (KiB) 24924

[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1607400/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=19568 CPUtime=761.79
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 4581 0 0 0 76172 7 0 0 25 0 1 0 306558297 20037632 4567 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4892 4567 76 171 0 4719 0
Current children cumulated CPU time (s) 761.82
Current children cumulated vsize (KiB) 24924

[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1607400/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=19568 CPUtime=821.76
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 4581 0 0 0 82169 7 0 0 25 0 1 0 306558297 20037632 4567 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4892 4567 76 171 0 4719 0
Current children cumulated CPU time (s) 821.79
Current children cumulated vsize (KiB) 24924

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1607336/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=19568 CPUtime=881.74
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 4581 0 0 0 88167 7 0 0 25 0 1 0 306558297 20037632 4567 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4892 4567 76 171 0 4719 0
Current children cumulated CPU time (s) 881.77
Current children cumulated vsize (KiB) 24924

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1607208/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=19568 CPUtime=941.71
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 4581 0 0 0 94163 8 0 0 25 0 1 0 306558297 20037632 4567 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4892 4567 76 171 0 4719 0
Current children cumulated CPU time (s) 941.74
Current children cumulated vsize (KiB) 24924

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1607080/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=19568 CPUtime=1001.68
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 4583 0 0 0 100160 8 0 0 25 0 1 0 306558297 20037632 4569 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4892 4569 76 171 0 4719 0
Current children cumulated CPU time (s) 1001.71
Current children cumulated vsize (KiB) 24924

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1607016/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=19568 CPUtime=1061.66
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 4583 0 0 0 106158 8 0 0 25 0 1 0 306558297 20037632 4569 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4892 4569 76 171 0 4719 0
Current children cumulated CPU time (s) 1061.69
Current children cumulated vsize (KiB) 24924

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1606952/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=19568 CPUtime=1121.62
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 4583 0 0 0 112153 9 0 0 25 0 1 0 306558297 20037632 4569 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4892 4569 76 171 0 4719 0
Current children cumulated CPU time (s) 1121.65
Current children cumulated vsize (KiB) 24924

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1606760/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=19568 CPUtime=1181.6
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 4583 0 0 0 118151 9 0 0 25 0 1 0 306558297 20037632 4569 1992294400 134512640 135215339 4294956240 18446744073709551615 134545713 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4892 4569 76 171 0 4719 0
Current children cumulated CPU time (s) 1181.63
Current children cumulated vsize (KiB) 24924



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1606696/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=19568 CPUtime=1200
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 4583 0 0 0 119991 9 0 0 25 0 1 0 306558297 20037632 4569 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4892 4569 76 171 0 4719 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 24924

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: 0.99 0.98 0.99 2/66 8259
/proc/meminfo: memFree=1606696/2055920 swapFree=4179764/4192956
[pid=8253] ppid=8251 vsize=5356 CPUtime=0.03
/proc/8253/stat : 8253 (SatELiteGTI) S 8251 8253 7661 0 -1 4194304 336 629 0 0 0 0 3 0 16 0 1 0 306558292 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 233402065732 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/8253/statm: 1339 239 197 169 0 50 0
[pid=8259] ppid=8253 vsize=19568 CPUtime=1200
/proc/8259/stat : 8259 (minisat_static) R 8253 8253 7661 0 -1 4194304 4583 0 0 0 119991 9 0 0 25 0 1 0 306558297 20037632 4569 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 0 0 0
/proc/8259/statm: 4892 4569 76 171 0 4719 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 24924

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.71
CPU time (s): 1200.06
CPU user time (s): 1199.95
CPU system time (s): 0.102984
CPU usage (%): 99.9454
Max. virtual memory (cumulated for all children) (KiB): 24924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.95
system time used= 0.102984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5579
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= 31
involuntary context switches= 6208

runsolver used 1.3148 second user time and 3.22151 second system time

The end

Launcher Data

Begin job on node70 at 2009-05-20 04:08:43
IDJOB=1832629
IDBENCH=70278
IDSOLVER=671
FILE ID=node70/1832629-1242785323
PBS_JOBID= 9322367
Free space on /tmp= 66184 MiB

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

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

MD5SUM BENCH= e3b225dad76097977d4c5c88712eb95a
RANDOM SEED=1728548118

node70.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.213
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.213
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:       1628248 kB
Buffers:         24948 kB
Cached:         351612 kB
SwapCached:       7436 kB
Active:          79140 kB
Inactive:       306340 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1628248 kB
SwapTotal:     4192956 kB
SwapFree:      4179764 kB
Dirty:            1904 kB
Writeback:           0 kB
Mapped:          14088 kB
Slab:            28272 kB
Committed_AS:   963672 kB
PageTables:       1376 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= 66180 MiB
End job on node70 at 2009-05-20 04:28:45