Trace number 1832627

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.07 1200.81

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S74035269-088.cnf
MD5SUMb57ad66e53e78b10a33d8e64aa605409
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark17.2114
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.012998 s
0.00/0.02	c ==============================================================================
0.00/0.05	c This is MiniSat 2.0 beta
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	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.07	c ============================[ Search Statistics ]==============================
0.00/0.07	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.07	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.07	c ===============================================================================
0.00/0.07	c |         0 |     140    11900    83300 |     3966        0    nan |  0.000 % |
0.03/0.08	c |       100 |     140    11900    83300 |     3966      100     42 |  0.005 % |
0.03/0.08	c |       200 |     140    11900    83300 |     3966      200     43 |  0.005 % |
0.03/0.09	c |       300 |     140    11900    83300 |     3966      300     43 |  0.005 % |
0.03/0.10	c |       412 |     140    11900    83300 |     3966      412     43 |  0.005 % |
0.03/0.10	c |       512 |     140    11900    83300 |     3966      512     43 |  0.005 % |
0.03/0.11	c |       623 |     140    11900    83300 |     3966      623     43 |  0.005 % |
0.03/0.12	c |       744 |     140    11900    83300 |     3966      744     43 |  0.005 % |
0.03/0.13	c |       844 |     140    11900    83300 |     3966      844     43 |  0.005 % |
0.03/0.14	c |       954 |     140    11900    83300 |     3966      954     43 |  0.005 % |
0.03/0.15	c |      1076 |     140    11900    83300 |     3966     1076     43 |  0.005 % |
0.03/0.16	c |      1209 |     140    11900    83300 |     3966     1209     43 |  0.005 % |
0.03/0.16	c |      1313 |     140    11900    83300 |     3966     1313     43 |  0.005 % |
0.03/0.17	c |      1425 |     140    11900    83300 |     3966     1425     43 |  0.005 % |
0.03/0.18	c |      1546 |     140    11900    83300 |     3966     1546     43 |  0.005 % |
0.03/0.19	c |      1681 |     140    11900    83300 |     3966     1681     43 |  0.005 % |
0.03/0.20	c |      1827 |     140    11900    83300 |     3966     1827     43 |  0.005 % |
0.03/0.21	c |      1928 |     140    11900    83300 |     3966     1928     43 |  0.005 % |
0.03/0.21	c |      2040 |     140    11900    83300 |     3966     2040     43 |  0.005 % |
0.03/0.22	c |      2161 |     140    11900    83300 |     3966     2161     43 |  0.005 % |
0.03/0.23	c |      2294 |     140    11900    83300 |     3966     2294     43 |  0.005 % |
0.03/0.24	c |      2441 |     140    11900    83300 |     3966     2441     43 |  0.005 % |
0.03/0.26	c |      2601 |     140    11900    83300 |     3966     2601     43 |  0.005 % |
0.03/0.26	c |      2702 |     140    11900    83300 |     3966     2702     43 |  0.005 % |
0.03/0.27	c |      2813 |     140    11900    83300 |     3966     2813     43 |  0.005 % |
0.03/0.28	c |      2934 |     140    11900    83300 |     3966     2934     43 |  0.005 % |
0.03/0.29	c |      3068 |     140    11900    83300 |     3966     3068     43 |  0.005 % |
0.03/0.31	c |      3215 |     140    11900    83300 |     3966     3215     43 |  0.005 % |
0.03/0.32	c |      3376 |     140    11900    83300 |     3966     3376     43 |  0.005 % |
0.03/0.33	c |      3553 |     140    11900    83300 |     3966     3553     43 |  0.005 % |
0.03/0.34	c |      3656 |     140    11900    83300 |     3966     3656     43 |  0.005 % |
0.03/0.35	c |      3766 |     140    11900    83300 |     3966     3766     43 |  0.005 % |
0.03/0.36	c |      3891 |     140    11900    83300 |     3966     3891     43 |  0.005 % |
0.03/0.38	c |      4025 |     140    11900    83300 |     3966     4025     43 |  0.005 % |
0.03/0.39	c |      4172 |     140    11900    83300 |     3966     3770     43 |  0.005 % |
0.03/0.40	c |      4332 |     140    11900    83300 |     3966     3930     43 |  0.005 % |
0.03/0.42	c |      4508 |     140    11900    83300 |     3966     3703     42 |  0.005 % |
0.03/0.43	c |      4703 |     140    11900    83300 |     3966     3898     42 |  0.005 % |
0.03/0.44	c |      4804 |     140    11900    83300 |     3966     3999     42 |  0.005 % |
0.03/0.45	c |      4915 |     140    11900    83300 |     3966     3711     42 |  0.005 % |
0.03/0.46	c |      5039 |     140    11900    83300 |     3966     3835     42 |  0.005 % |
0.03/0.48	c |      5174 |     140    11900    83300 |     3966     3970     42 |  0.005 % |
0.03/0.49	c |      5323 |     140    11900    83300 |     3966     3722     42 |  0.005 % |
0.03/0.50	c |      5483 |     140    11900    83300 |     3966     3882     42 |  0.005 % |
0.03/0.52	c |      5660 |     140    11900    83300 |     3966     3657     42 |  0.005 % |
0.03/0.53	c |      5853 |     140    11900    83300 |     3966     3850     42 |  0.005 % |
0.03/0.55	c |      6066 |     140    11900    83300 |     3966     3660     42 |  0.005 % |
0.03/0.56	c |      6167 |     140    11900    83300 |     3966     3761     42 |  0.005 % |
0.03/0.57	c |      6278 |     140    11900    83300 |     3966     3872     42 |  0.005 % |
0.03/0.58	c |      6399 |     140    11900    83300 |     3966     3993     42 |  0.005 % |
0.03/0.59	c |      6533 |     140    11900    83300 |     3966     3728     42 |  0.005 % |
0.03/0.61	c |      6680 |     140    11900    83300 |     3966     3875     42 |  0.005 % |
0.03/0.62	c |      6840 |     140    11900    83300 |     3966     3632     42 |  0.005 % |
0.03/0.63	c |      7017 |     140    11900    83300 |     3966     3809     42 |  0.005 % |
0.03/0.65	c |      7211 |     140    11900    83300 |     3966     4003     42 |  0.005 % |
0.03/0.67	c |      7423 |     140    11900    83300 |     3966     3815     42 |  0.005 % |
0.03/0.69	c |      7656 |     140    11900    83300 |     3966     3645     43 |  0.005 % |
0.03/0.69	c |      7757 |     140    11900    83300 |     3966     3746     43 |  0.005 % |
0.03/0.70	c |      7867 |     140    11900    83300 |     3966     3856     43 |  0.005 % |
0.03/0.71	c |      7988 |     140    11900    83300 |     3966     3977     43 |  0.005 % |
0.03/0.73	c |      8125 |     140    11900    83300 |     3966     3717     43 |  0.005 % |
0.03/0.74	c |      8273 |     140    11900    83300 |     3966     3865     43 |  0.005 % |
0.03/0.75	c |      8435 |     140    11900    83300 |     3966     4027     43 |  0.005 % |
0.03/0.77	c |      8612 |     140    11900    83300 |     3966     3802     43 |  0.005 % |
0.03/0.78	c |      8805 |     140    11900    83300 |     3966     3995     43 |  0.005 % |
0.03/0.80	c |      9017 |     140    11900    83300 |     3966     3808     43 |  0.005 % |
0.03/0.82	c |      9252 |     140    11900    83300 |     3966     3641     43 |  0.005 % |
0.03/0.84	c |      9508 |     140    11900    83300 |     3966     3897     43 |  0.005 % |
0.03/0.85	c |      9611 |     140    11900    83300 |     3966     4000     43 |  0.005 % |
0.03/0.86	c |      9721 |     140    11900    83300 |     3966     3710     42 |  0.005 % |
0.03/0.88	c |      9844 |     140    11900    83300 |     3966     3833     42 |  0.005 % |
0.03/0.89	c |      9978 |     140    11900    83300 |     3966     3967     42 |  0.005 % |
0.03/0.90	c |     10124 |     140    11900    83300 | 2147483647     3717     42 |  0.005 % |
0.03/0.91	c |     10285 |     140    11900    83300 | 2147483647     3878     42 |  0.005 % |
0.03/0.93	c |     10462 |     140    11900    83300 | 2147483647     4055     43 |  0.005 % |
0.03/0.95	c |     10655 |     140    11900    83300 | 2147483647     4248     43 |  0.005 % |
0.03/0.96	c |     10869 |     140    11900    83300 | 2147483647     4462     43 |  0.005 % |
0.03/0.98	c |     11103 |     140    11900    83300 | 2147483647     4696     43 |  0.005 % |
0.96/1.01	c |     11359 |     140    11900    83300 | 2147483647     4952     43 |  0.005 % |
0.96/1.04	c |     11640 |     140    11900    83300 | 2147483647     5233     43 |  0.005 % |
0.96/1.05	c |     11740 |     140    11900    83300 | 2147483647     5333     43 |  0.005 % |
0.96/1.06	c |     11850 |     140    11900    83300 | 2147483647     5443     43 |  0.005 % |
0.96/1.07	c |     11973 |     140    11900    83300 | 2147483647     5566     43 |  0.005 % |
0.96/1.08	c |     12106 |     140    11900    83300 | 2147483647     5699     43 |  0.005 % |
0.96/1.10	c |     12252 |     140    11900    83300 | 2147483647     5845     43 |  0.005 % |
1.06/1.11	c |     12414 |     140    11900    83300 | 2147483647     6007     43 |  0.005 % |
1.06/1.13	c |     12591 |     140    11900    83300 | 2147483647     6184     43 |  0.005 % |
1.06/1.15	c |     12786 |     140    11900    83300 | 2147483647     6379     43 |  0.005 % |
1.06/1.17	c |     12998 |     140    11900    83300 | 2147483647     6591     43 |  0.005 % |
1.06/1.19	c |     13231 |     140    11900    83300 | 2147483647     6824     43 |  0.005 % |
1.16/1.22	c |     13488 |     140    11900    83300 | 2147483647     7081     43 |  0.005 % |
1.16/1.25	c |     13771 |     140    11900    83300 | 2147483647     7364     43 |  0.005 % |
1.16/1.28	c |     14081 |     140    11900    83300 | 2147483647     7674     43 |  0.005 % |
1.16/1.29	c |     14182 |     140    11900    83300 | 2147483647     7775     43 |  0.005 % |
1.26/1.31	c |     14294 |     140    11900    83300 | 2147483647     7887     43 |  0.005 % |
1.26/1.32	c |     14415 |     140    11900    83300 | 2147483647     8008     43 |  0.005 % |
1.26/1.34	c |     14549 |     140    11900    83300 | 2147483647     8142     43 |  0.005 % |
1.26/1.35	c |     14696 |     140    11900    83300 | 2147483647     8289     43 |  0.005 % |
1.26/1.37	c |     14858 |     140    11900    83300 | 2147483647     8451     43 |  0.005 % |
1.26/1.39	c |     15035 |     140    11900    83300 | 2147483647     8628     43 |  0.005 % |
1.36/1.42	c |     15229 |     140    11900    83300 | 2147483647     8822     43 |  0.005 % |
1.36/1.44	c |     15442 |     140    11900    83300 | 2147483647     9035     43 |  0.005 % |
1.36/1.47	c |     15675 |     140    11900    83300 | 2147483647     9268     43 |  0.005 % |
1.45/1.50	c |     15931 |     140    11900    83300 | 2147483647     9524     43 |  0.005 % |
1.45/1.53	c |     16212 |     140    11900    83300 | 2147483647     9805     43 |  0.005 % |
1.45/1.57	c |     16521 |     140    11900    83300 | 2147483647    10114     43 |  0.005 % |
1.55/1.62	c |     16860 |     140    11900    83300 | 2147483647    10453     43 |  0.005 % |
1.55/1.64	c |     16960 |     140    11900    83300 | 2147483647    10553     43 |  0.005 % |
1.55/1.65	c |     17071 |     140    11900    83300 | 2147483647    10664     43 |  0.005 % |
1.55/1.67	c |     17192 |     140    11900    83300 | 2147483647    10785     43 |  0.005 % |
1.55/1.69	c |     17328 |     140    11900    83300 | 2147483647    10921     43 |  0.005 % |
1.65/1.71	c |     17474 |     140    11900    83300 | 2147483647    11067     43 |  0.005 % |
1.65/1.73	c |     17636 |     140    11900    83300 | 2147483647    11229     43 |  0.005 % |
1.65/1.76	c |     17813 |     140    11900    83300 | 2147483647    11406     43 |  0.005 % |
1.65/1.78	c |     18008 |     140    11900    83300 | 2147483647    11601     43 |  0.005 % |
1.75/1.82	c |     18223 |     140    11900    83300 | 2147483647    11816     43 |  0.005 % |
1.75/1.85	c |     18459 |     140    11900    83300 | 2147483647    12052     43 |  0.005 % |
1.75/1.89	c |     18715 |     140    11900    83300 | 2147483647    12308     43 |  0.005 % |
1.85/1.93	c |     18998 |     140    11900    83300 | 2147483647    12591     43 |  0.005 % |
1.85/1.98	c |     19307 |     140    11900    83300 | 2147483647    12900     43 |  0.005 % |
1.95/2.03	c |     19646 |     140    11900    83300 | 2147483647    13239     43 |  0.005 % |
1.95/2.09	c |     20019 |     140    11900    83300 | 2147483647    13612     43 |  0.005 % |
2.05/2.11	c |     20120 |     140    11900    83300 | 2147483647    13713     43 |  0.005 % |
2.05/2.13	c |     20232 |     140    11900    83300 | 2147483647    13825     43 |  0.005 % |
2.05/2.15	c |     20355 |     140    11900    83300 | 2147483647    13948     43 |  0.005 % |
2.05/2.17	c |     20488 |     140    11900    83300 | 2147483647    14081     43 |  0.005 % |
2.05/2.20	c |     20634 |     140    11900    83300 | 2147483647    14227     43 |  0.005 % |
2.15/2.23	c |     20795 |     140    11900    83300 | 2147483647    14388     43 |  0.005 % |
2.15/2.26	c |     20972 |     140    11900    83300 | 2147483647    14565     43 |  0.005 % |
2.15/2.29	c |     21165 |     140    11900    83300 | 2147483647    14758     43 |  0.005 % |
2.25/2.33	c |     21378 |     140    11900    83300 | 2147483647    14971     43 |  0.005 % |
2.25/2.37	c |     21612 |     140    11900    83300 | 2147483647    15205     43 |  0.005 % |
2.35/2.41	c |     21868 |     140    11900    83300 | 2147483647    15461     43 |  0.005 % |
2.35/2.46	c |     22151 |     140    11900    83300 | 2147483647    15744     43 |  0.005 % |
2.45/2.52	c |     22462 |     140    11900    83300 | 2147483647    16055     43 |  0.005 % |
2.45/2.58	c |     22802 |     140    11900    83300 | 2147483647    16395     43 |  0.005 % |
2.55/2.65	c |     23174 |     140    11900    83300 | 2147483647    16767     43 |  0.005 % |
2.65/2.73	c |     23585 |     140    11900    83300 | 2147483647    17178     43 |  0.005 % |
2.65/2.75	c |     23685 |     140    11900    83300 | 2147483647    17278     43 |  0.005 % |
2.65/2.77	c |     23799 |     140    11900    83300 | 2147483647    17392     43 |  0.005 % |
2.65/2.79	c |     23920 |     140    11900    83300 | 2147483647    17513     43 |  0.005 % |
2.75/2.83	c |     24055 |     140    11900    83300 | 2147483647    17648     43 |  0.005 % |
2.75/2.86	c |     24202 |     140    11900    83300 | 2147483647    17795     43 |  0.005 % |
2.75/2.90	c |     24362 |     140    11900    83300 | 2147483647    17955     43 |  0.005 % |
2.85/2.94	c |     24539 |     140    11900    83300 | 2147483647    18132     43 |  0.005 % |
2.85/2.97	c |     24732 |     140    11900    83300 | 2147483647    18325     43 |  0.005 % |
2.96/3.02	c |     24944 |     140    11900    83300 | 2147483647    18537     43 |  0.005 % |
2.96/3.07	c |     25178 |     140    11900    83300 | 2147483647    18771     43 |  0.005 % |
3.06/3.12	c |     25434 |     140    11900    83300 | 2147483647    19027     43 |  0.005 % |
3.06/3.17	c |     25716 |     140    11900    83300 | 2147483647    19309     43 |  0.005 % |
3.16/3.24	c |     26026 |     140    11900    83300 | 2147483647    19619     43 |  0.005 % |
3.26/3.32	c |     26366 |     140    11900    83300 | 2147483647    19959     43 |  0.005 % |
3.35/3.41	c |     26740 |     140    11900    83300 | 2147483647    20333     43 |  0.005 % |
3.35/3.50	c |     27149 |     140    11900    83300 | 2147483647    20742     43 |  0.005 % |
3.45/3.60	c |     27600 |     140    11900    83300 | 2147483647    21193     43 |  0.005 % |
3.55/3.62	c |     27701 |     140    11900    83300 | 2147483647    21294     43 |  0.005 % |
3.55/3.65	c |     27811 |     140    11900    83300 | 2147483647    21404     43 |  0.005 % |
3.55/3.68	c |     27932 |     140    11900    83300 | 2147483647    21525     43 |  0.005 % |
3.65/3.71	c |     28066 |     140    11900    83300 | 2147483647    21659     43 |  0.005 % |
3.65/3.75	c |     28212 |     140    11900    83300 | 2147483647    21805     43 |  0.005 % |
3.65/3.79	c |     28372 |     140    11900    83300 | 2147483647    21965     43 |  0.005 % |
3.75/3.84	c |     28549 |     140    11900    83300 | 2147483647    22142     43 |  0.005 % |
3.75/3.89	c |     28742 |     140    11900    83300 | 2147483647    22335     43 |  0.005 % |
3.85/3.93	c |     28954 |     140    11900    83300 | 2147483647    22547     43 |  0.005 % |
3.85/3.99	c |     29187 |     140    11900    83300 | 2147483647    22780     43 |  0.005 % |
3.95/4.05	c |     29443 |     140    11900    83300 | 2147483647    23036     43 |  0.005 % |
4.05/4.13	c |     29726 |     140    11900    83300 | 2147483647    23319     43 |  0.005 % |
4.15/4.20	c |     30035 |     140    11900    83300 | 2147483647    23628     43 |  0.005 % |
4.15/4.29	c |     30375 |     140    11900    83300 | 2147483647    23968     43 |  0.005 % |
4.25/4.40	c |     30748 |     140    11900    83300 | 2147483647    24341     43 |  0.005 % |
4.45/4.51	c |     31157 |     140    11900    83300 | 2147483647    24750     43 |  0.005 % |
4.55/4.63	c |     31607 |     140    11900    83300 | 2147483647    25200     43 |  0.005 % |
4.64/4.77	c |     32101 |     140    11900    83300 | 2147483647    25694     43 |  0.005 % |
4.64/4.79	c |     32201 |     140    11900    83300 | 2147483647    25794     43 |  0.005 % |
4.74/4.83	c |     32312 |     140    11900    83300 | 2147483647    25905     43 |  0.005 % |
4.74/4.87	c |     32434 |     140    11900    83300 | 2147483647    26027     43 |  0.005 % |
4.84/4.91	c |     32568 |     140    11900    83300 | 2147483647    26161     43 |  0.005 % |
4.84/4.96	c |     32715 |     140    11900    83300 | 2147483647    26308     43 |  0.005 % |
4.94/5.01	c |     32875 |     140    11900    83300 | 2147483647    26468     43 |  0.005 % |
4.94/5.08	c |     33052 |     140    11900    83300 | 2147483647    26645     43 |  0.005 % |
5.04/5.15	c |     33245 |     140    11900    83300 | 2147483647    26838     43 |  0.005 % |
5.14/5.22	c |     33460 |     140    11900    83300 | 2147483647    27053     43 |  0.005 % |
5.14/5.28	c |     33695 |     140    11900    83300 | 2147483647    27288     43 |  0.005 % |
5.24/5.35	c |     33951 |     140    11900    83300 | 2147483647    27544     43 |  0.005 % |
5.35/5.44	c |     34232 |     140    11900    83300 | 2147483647    27825     43 |  0.005 % |
5.45/5.53	c |     34542 |     140    11900    83300 | 2147483647    28135     43 |  0.005 % |
5.54/5.65	c |     34881 |     140    11900    83300 | 2147483647    28474     43 |  0.005 % |
5.64/5.77	c |     35253 |     140    11900    83300 | 2147483647    28846     43 |  0.005 % |
5.74/5.89	c |     35663 |     140    11900    83300 | 2147483647    29256     43 |  0.005 % |
5.94/6.03	c |     36113 |     140    11900    83300 | 2147483647    29706     43 |  0.005 % |
6.04/6.18	c |     36606 |     140    11900    83300 | 2147483647    30199     43 |  0.005 % |
6.24/6.35	c |     37148 |     140    11900    83300 | 2147483647    30741     43 |  0.005 % |
6.24/6.39	c |     37249 |     140    11900    83300 | 2147483647    30842     43 |  0.005 % |
6.34/6.42	c |     37359 |     140    11900    83300 | 2147483647    30952     43 |  0.005 % |
6.34/6.46	c |     37480 |     140    11900    83300 | 2147483647    31073     43 |  0.005 % |
6.44/6.50	c |     37613 |     140    11900    83300 | 2147483647    31206     43 |  0.005 % |
6.44/6.55	c |     37759 |     140    11900    83300 | 2147483647    31352     43 |  0.005 % |
6.54/6.61	c |     37919 |     140    11900    83300 | 2147483647    31512     43 |  0.005 % |
6.54/6.68	c |     38095 |     140    11900    83300 | 2147483647    31688     43 |  0.005 % |
6.64/6.76	c |     38289 |     140    11900    83300 | 2147483647    31882     43 |  0.005 % |
6.74/6.83	c |     38502 |     140    11900    83300 | 2147483647    32095     43 |  0.005 % |
6.84/6.93	c |     38735 |     140    11900    83300 | 2147483647    32328     43 |  0.005 % |
6.94/7.02	c |     38991 |     140    11900    83300 | 2147483647    32584     43 |  0.005 % |
7.04/7.13	c |     39273 |     140    11900    83300 | 2147483647    32866     43 |  0.005 % |
7.14/7.24	c |     39582 |     140    11900    83300 | 2147483647    33175     43 |  0.005 % |
7.24/7.38	c |     39921 |     140    11900    83300 | 2147483647    33514     43 |  0.005 % |
7.45/7.52	c |     40295 |     140    11900    83300 | 2147483647    33888     43 |  0.005 % |
7.55/7.67	c |     40704 |     140    11900    83300 | 2147483647    34297     43 |  0.005 % |
7.75/7.86	c |     41154 |     140    11900    83300 | 2147483647    34747     43 |  0.005 % |
7.95/8.05	c |     41650 |     140    11900    83300 | 2147483647    35243     43 |  0.005 % |
8.15/8.26	c |     42193 |     140    11900    83300 | 2147483647    35786     43 |  0.005 % |
8.35/8.50	c |     42790 |     140    11900    83300 | 2147483647    36383     43 |  0.005 % |
8.45/8.54	c |     42890 |     140    11900    83300 | 2147483647    36483     43 |  0.005 % |
8.45/8.59	c |     43001 |     140    11900    83300 | 2147483647    36594     43 |  0.005 % |
8.55/8.66	c |     43122 |     140    11900    83300 | 2147483647    36715     43 |  0.005 % |
8.65/8.72	c |     43258 |     140    11900    83300 | 2147483647    36851     43 |  0.005 % |
8.65/8.79	c |     43405 |     140    11900    83300 | 2147483647    36998     43 |  0.005 % |
8.75/8.86	c |     43565 |     140    11900    83300 | 2147483647    37158     43 |  0.005 % |
8.85/8.94	c |     43741 |     140    11900    83300 | 2147483647    37334     43 |  0.005 % |
8.95/9.02	c |     43936 |     140    11900    83300 | 2147483647    37529     43 |  0.005 % |
9.04/9.12	c |     44148 |     140    11900    83300 | 2147483647    37741     43 |  0.005 % |
9.14/9.21	c |     44381 |     140    11900    83300 | 2147483647    37974     43 |  0.005 % |
9.24/9.33	c |     44637 |     140    11900    83300 | 2147483647    38230     43 |  0.005 % |
9.34/9.44	c |     44921 |     140    11900    83300 | 2147483647    38514     43 |  0.005 % |
9.44/9.57	c |     45231 |     140    11900    83300 | 2147483647    38824     43 |  0.005 % |
9.64/9.72	c |     45571 |     140    11900    83300 | 2147483647    39164     43 |  0.005 % |
9.85/9.90	c |     45943 |     140    11900    83300 | 2147483647    39536     43 |  0.005 % |
9.94/10.09	c |     46352 |     140    11900    83300 | 2147483647    39945     43 |  0.005 % |
10.14/10.28	c |     46802 |     140    11900    83300 | 2147483647    40395     43 |  0.005 % |
10.34/10.49	c |     47295 |     140    11900    83300 | 2147483647    40888     43 |  0.005 % |
10.64/10.75	c |     47839 |     140    11900    83300 | 2147483647    41432     43 |  0.005 % |
10.95/11.00	c |     48435 |     140    11900    83300 | 2147483647    42028     43 |  0.005 % |
11.14/11.29	c |     49090 |     140    11900    83300 | 2147483647    42683     43 |  0.005 % |
11.24/11.36	c |     49191 |     140    11900    83300 | 2147483647    42784     43 |  0.005 % |
11.34/11.42	c |     49301 |     140    11900    83300 | 2147483647    42894     43 |  0.005 % |
11.34/11.48	c |     49422 |     140    11900    83300 | 2147483647    43015     43 |  0.005 % |
11.44/11.56	c |     49556 |     140    11900    83300 | 2147483647    43149     43 |  0.005 % |
11.54/11.65	c |     49703 |     140    11900    83300 | 2147483647    43296     43 |  0.005 % |
11.64/11.74	c |     49867 |     140    11900    83300 | 2147483647    43460     43 |  0.005 % |
11.74/11.83	c |     50043 |     140    11900    83300 | 2147483647    43636     43 |  0.005 % |
11.84/11.95	c |     50239 |     140    11900    83300 | 2147483647    43832     43 |  0.005 % |
11.95/12.08	c |     50452 |     140    11900    83300 | 2147483647    44045     43 |  0.005 % |
12.14/12.21	c |     50685 |     140    11900    83300 | 2147483647    44278     43 |  0.005 % |
12.24/12.35	c |     50941 |     140    11900    83300 | 2147483647    44534     43 |  0.005 % |
12.34/12.50	c |     51222 |     140    11900    83300 | 2147483647    44815     43 |  0.005 % |
12.54/12.67	c |     51533 |     140    11900    83300 | 2147483647    45126     43 |  0.005 % |
12.74/12.87	c |     51875 |     140    11900    83300 | 2147483647    45468     43 |  0.005 % |
12.94/13.08	c |     52247 |     140    11900    83300 | 2147483647    45840     43 |  0.005 % |
13.24/13.31	c |     52656 |     140    11900    83300 | 2147483647    46249     43 |  0.005 % |
13.44/13.55	c |     53108 |     140    11900    83300 | 2147483647    46701     43 |  0.005 % |
13.64/13.79	c |     53601 |     140    11900    83300 | 2147483647    47194     43 |  0.005 % |
13.94/14.06	c |     54144 |     140    11900    83300 | 2147483647    47737     43 |  0.005 % |
14.24/14.34	c |     54741 |     140    11900    83300 | 2147483647    48334     43 |  0.005 % |
14.54/14.69	c |     55396 |     140    11900    83300 | 2147483647    48989     43 |  0.005 % |
14.94/15.09	c |     56119 |     140    11900    83300 | 2147483647    49712     43 |  0.005 % |
15.04/15.15	c |     56221 |     140    11900    83300 | 2147483647    49814     43 |  0.005 % |
15.14/15.21	c |     56331 |     140    11900    83300 | 2147483647    49924     43 |  0.005 % |
15.14/15.28	c |     56452 |     140    11900    83300 | 2147483647    50045     43 |  0.005 % |
15.24/15.36	c |     56587 |     140    11900    83300 | 2147483647    50180     43 |  0.005 % |
15.34/15.46	c |     56733 |     140    11900    83300 | 2147483647    50326     43 |  0.005 % |
15.44/15.57	c |     56895 |     140    11900    83300 | 2147483647    50488     43 |  0.005 % |
15.54/15.67	c |     57071 |     140    11900    83300 | 2147483647    50664     43 |  0.005 % |
15.74/15.81	c |     57266 |     140    11900    83300 | 2147483647    50859     43 |  0.005 % |
15.83/15.95	c |     57480 |     140    11900    83300 | 2147483647    51073     43 |  0.005 % |
15.93/16.08	c |     57713 |     140    11900    83300 | 2147483647    51306     43 |  0.005 % |
16.13/16.23	c |     57972 |     140    11900    83300 | 2147483647    51565     43 |  0.005 % |
16.23/16.40	c |     58253 |     140    11900    83300 | 2147483647    51846     43 |  0.005 % |
16.44/16.59	c |     58563 |     140    11900    83300 | 2147483647    52156     43 |  0.005 % |
16.73/16.84	c |     58903 |     140    11900    83300 | 2147483647    52496     43 |  0.005 % |
16.93/17.09	c |     59278 |     140    11900    83300 | 2147483647    52871     43 |  0.005 % |
17.23/17.34	c |     59687 |     140    11900    83300 | 2147483647    53280     43 |  0.005 % |
17.53/17.60	c |     60139 |     140    11900    83300 | 2147483647    53732     43 |  0.005 % |
17.73/17.88	c |     60632 |     140    11900    83300 | 2147483647    54225     43 |  0.005 % |
18.03/18.18	c |     61174 |     140    11900    83300 | 2147483647    54767     43 |  0.005 % |
18.33/18.48	c |     61771 |     140    11900    83300 | 2147483647    55364     43 |  0.005 % |
18.74/18.82	c |     62426 |     140    11900    83300 | 2147483647    56019     43 |  0.005 % |
19.14/19.23	c |     63147 |     140    11900    83300 | 2147483647    56740     43 |  0.005 % |
19.54/19.68	c |     63941 |     140    11900    83300 | 2147483647    57534     43 |  0.005 % |
19.64/19.75	c |     64041 |     140    11900    83300 | 2147483647    57634     43 |  0.005 % |
19.74/19.85	c |     64151 |     140    11900    83300 | 2147483647    57744     43 |  0.005 % |
19.84/19.96	c |     64272 |     140    11900    83300 | 2147483647    57865     43 |  0.005 % |
19.94/20.05	c |     64405 |     140    11900    83300 | 2147483647    57998     43 |  0.005 % |
20.04/20.14	c |     64551 |     140    11900    83300 | 2147483647    58144     43 |  0.005 % |
20.14/20.28	c |     64712 |     140    11900    83300 | 2147483647    58305     43 |  0.005 % |
20.34/20.41	c |     64888 |     140    11900    83300 | 2147483647    58481     43 |  0.005 % |
20.44/20.54	c |     65081 |     140    11900    83300 | 2147483647    58674     43 |  0.005 % |
20.64/20.71	c |     65293 |     140    11900    83300 | 2147483647    58886     43 |  0.005 % |
20.74/20.88	c |     65526 |     140    11900    83300 | 2147483647    59119     43 |  0.005 % |
20.94/21.07	c |     65784 |     140    11900    83300 | 2147483647    59377     43 |  0.005 % |
21.13/21.29	c |     66067 |     140    11900    83300 | 2147483647    59660     43 |  0.005 % |
21.43/21.53	c |     66378 |     140    11900    83300 | 2147483647    59971     43 |  0.005 % |
21.63/21.77	c |     66721 |     140    11900    83300 | 2147483647    60314     43 |  0.005 % |
21.94/22.04	c |     67094 |     140    11900    83300 | 2147483647    60687     43 |  0.005 % |
22.23/22.35	c |     67505 |     140    11900    83300 | 2147483647    61098     43 |  0.005 % |
22.53/22.68	c |     67954 |     140    11900    83300 | 2147483647    61547     43 |  0.005 % |
22.93/23.02	c |     68449 |     140    11900    83300 | 2147483647    62042     43 |  0.005 % |
23.33/23.42	c |     68992 |     140    11900    83300 | 2147483647    62585     43 |  0.005 % |
23.73/23.84	c |     69588 |     140    11900    83300 | 2147483647    63181     43 |  0.005 % |
24.33/24.40	c |     70246 |     140    11900    83300 |    63599    54702     43 |  0.005 % |
24.73/24.87	c |     70966 |     140    11900    83300 |    63599    55422     43 |  0.005 % |
25.23/25.35	c |     71760 |     140    11900    83300 |    63599    56216     43 |  0.005 % |
25.73/25.86	c |     72632 |     140    11900    83300 |    63599    57088     43 |  0.005 % |
25.83/25.91	c |     72733 |     140    11900    83300 |    63599    57189     43 |  0.005 % |
25.83/25.98	c |     72843 |     140    11900    83300 |    63599    57299     43 |  0.005 % |
25.93/26.06	c |     72964 |     140    11900    83300 |    63599    57420     43 |  0.005 % |
26.03/26.14	c |     73097 |     140    11900    83300 |    63599    57553     43 |  0.005 % |
26.13/26.26	c |     73244 |     140    11900    83300 |    63599    57700     43 |  0.005 % |
26.23/26.37	c |     73405 |     140    11900    83300 |    63599    57861     43 |  0.005 % |
26.43/26.50	c |     73582 |     140    11900    83300 |    63599    58038     43 |  0.005 % |
26.53/26.65	c |     73777 |     140    11900    83300 |    63599    58233     43 |  0.005 % |
26.73/26.80	c |     73991 |     140    11900    83300 |    63599    58447     43 |  0.005 % |
26.83/26.97	c |     74225 |     140    11900    83300 |    63599    58681     43 |  0.005 % |
27.03/27.16	c |     74481 |     140    11900    83300 |    63599    58937     43 |  0.005 % |
27.23/27.36	c |     74764 |     140    11900    83300 |    63599    59220     43 |  0.005 % |
27.43/27.59	c |     75074 |     140    11900    83300 |    63599    59530     43 |  0.005 % |
27.73/27.85	c |     75413 |     140    11900    83300 |    63599    59869     43 |  0.005 % |
27.93/28.09	c |     75785 |     140    11900    83300 |    63599    60241     43 |  0.005 % |
28.23/28.38	c |     76194 |     140    11900    83300 |    63599    60650     43 |  0.005 % |
28.53/28.67	c |     76645 |     140    11900    83300 |    63599    61101     43 |  0.005 % |
28.83/28.97	c |     77138 |     140    11900    83300 |    63599    61594     43 |  0.005 % |
29.23/29.33	c |     77680 |     140    11900    83300 |    63599    62136     43 |  0.005 % |
29.53/29.70	c |     78277 |     140    11900    83300 |    63599    62733     43 |  0.005 % |
30.03/30.14	c |     78933 |     140    11900    83300 |    63599    63389     43 |  0.005 % |
30.53/30.64	c |     79654 |     140    11900    83300 |    63599    53932     43 |  0.005 % |
31.03/31.10	c |     80446 |     140    11900    83300 |    54278    46176     43 |  0.005 % |
31.43/31.55	c |     81319 |     140    11900    83300 |    54278    47049     43 |  0.005 % |
31.93/32.05	c |     82280 |     140    11900    83300 |    54278    48010     43 |  0.005 % |
32.02/32.10	c |     82381 |     140    11900    83300 |    54278    48111     43 |  0.005 % |
32.02/32.15	c |     82492 |     140    11900    83300 |    54278    48222     43 |  0.005 % |
32.12/32.22	c |     82615 |     140    11900    83300 |    54278    48345     43 |  0.005 % |
32.12/32.29	c |     82750 |     140    11900    83300 |    54278    48480     43 |  0.005 % |
32.22/32.36	c |     82896 |     140    11900    83300 |    54278    48626     43 |  0.005 % |
32.32/32.44	c |     83057 |     140    11900    83300 |    54278    48787     43 |  0.005 % |
32.42/32.57	c |     83233 |     140    11900    83300 |    54278    48963     43 |  0.005 % |
32.52/32.68	c |     83427 |     140    11900    83300 |    54278    49157     43 |  0.005 % |
32.62/32.80	c |     83639 |     140    11900    83300 |    54278    49369     43 |  0.005 % |
32.83/32.93	c |     83874 |     140    11900    83300 |    54278    49604     43 |  0.005 % |
32.93/33.07	c |     84130 |     140    11900    83300 |    54278    49860     43 |  0.005 % |
33.12/33.25	c |     84412 |     140    11900    83300 |    54278    50142     43 |  0.005 % |
33.32/33.42	c |     84723 |     140    11900    83300 |    54278    50453     43 |  0.005 % |
33.52/33.62	c |     85062 |     140    11900    83300 |    54278    50792     43 |  0.005 % |
33.82/33.92	c |     85434 |     140    11900    83300 |    54278    51164     43 |  0.005 % |
34.12/34.21	c |     85843 |     140    11900    83300 |    54278    51573     43 |  0.005 % |
34.42/34.51	c |     86292 |     140    11900    83300 |    54278    52022     43 |  0.005 % |
34.72/34.82	c |     86786 |     140    11900    83300 |    54278    52516     43 |  0.005 % |
35.02/35.15	c |     87329 |     140    11900    83300 |    54278    53059     43 |  0.005 % |
35.32/35.49	c |     87925 |     140    11900    83300 |    54278    53655     43 |  0.005 % |
35.72/35.88	c |     88580 |     140    11900    83300 |    54278    54310     43 |  0.005 % |
36.22/36.36	c |     89302 |     140    11900    83300 |    54278    48223     43 |  0.005 % |
36.72/36.87	c |     90095 |     140    11900    83300 |    48922    42968     43 |  0.005 % |
37.12/37.30	c |     90966 |     140    11900    83300 |    48922    43839     43 |  0.005 % |
37.62/37.75	c |     91924 |     140    11900    83300 |    48922    44797     43 |  0.005 % |
38.11/38.24	c |     92977 |     140    11900    83300 |    48922    45850     43 |  0.005 % |
38.21/38.30	c |     93078 |     140    11900    83300 |    48922    45951     43 |  0.005 % |
38.21/38.36	c |     93188 |     140    11900    83300 |    48922    46061     43 |  0.005 % |
38.31/38.45	c |     93311 |     140    11900    83300 |    48922    46184     43 |  0.005 % |
38.41/38.53	c |     93445 |     140    11900    83300 |    48922    46318     43 |  0.005 % |
38.51/38.62	c |     93591 |     140    11900    83300 |    48922    46464     43 |  0.005 % |
38.61/38.73	c |     93752 |     140    11900    83300 |    48922    46625     43 |  0.005 % |
38.71/38.84	c |     93929 |     140    11900    83300 |    48922    46802     43 |  0.005 % |
38.81/38.95	c |     94122 |     140    11900    83300 |    48922    46995     43 |  0.005 % |
38.91/39.07	c |     94334 |     140    11900    83300 |    48922    47207     43 |  0.005 % |
39.01/39.19	c |     94567 |     140    11900    83300 |    48922    47440     43 |  0.005 % |
39.21/39.36	c |     94826 |     140    11900    83300 |    48922    47699     43 |  0.005 % |
39.41/39.52	c |     95109 |     140    11900    83300 |    48922    47982     43 |  0.005 % |
39.60/39.71	c |     95419 |     140    11900    83300 |    48922    48292     43 |  0.005 % |
39.80/39.94	c |     95760 |     140    11900    83300 |    48922    48633     43 |  0.005 % |
40.00/40.19	c |     96133 |     140    11900    83300 |    48922    44108     43 |  0.005 % |
40.20/40.39	c |     96544 |     140    11900    83300 |    48922    44519     43 |  0.005 % |
40.50/40.66	c |     96994 |     140    11900    83300 |    48922    44969     43 |  0.005 % |
40.80/40.92	c |     97487 |     140    11900    83300 |    48922    45462     43 |  0.005 % |
41.10/41.22	c |     98029 |     140    11900    83300 |    48922    46004     43 |  0.005 % |
41.40/41.56	c |     98626 |     140    11900    83300 |    48922    46601     43 |  0.005 % |
41.80/41.90	c |     99283 |     140    11900    83300 |    48922    47258     43 |  0.005 % |
42.20/42.30	c |    100003 |     140    11900    83300 | 2147483647    47978     43 |  0.005 % |
42.60/42.77	c |    100796 |     140    11900    83300 | 2147483647    48771     43 |  0.005 % |
43.10/43.26	c |    101667 |     140    11900    83300 | 2147483647    49642     43 |  0.005 % |
43.60/43.76	c |    102625 |     140    11900    83300 | 2147483647    50600     43 |  0.005 % |
44.20/44.35	c |    103679 |     140    11900    83300 | 2147483647    51654     43 |  0.005 % |
44.80/44.96	c |    104837 |     140    11900    83300 | 2147483647    52812     43 |  0.005 % |
44.90/45.02	c |    104939 |     140    11900    83300 | 2147483647    52914     43 |  0.005 % |
44.90/45.09	c |    105050 |     140    11900    83300 | 2147483647    53025     43 |  0.005 % |
45.10/45.20	c |    105171 |     140    11900    83300 | 2147483647    53146     43 |  0.005 % |
45.20/45.30	c |    105304 |     140    11900    83300 | 2147483647    53279     43 |  0.005 % |
45.20/45.39	c |    105451 |     140    11900    83300 | 2147483647    53426     43 |  0.005 % |
45.40/45.51	c |    105611 |     140    11900    83300 | 2147483647    53586     43 |  0.005 % |
45.50/45.63	c |    105787 |     140    11900    83300 | 2147483647    53762     43 |  0.005 % |
45.60/45.76	c |    105980 |     140    11900    83300 | 2147483647    53955     43 |  0.005 % |
45.70/45.90	c |    106192 |     140    11900    83300 | 2147483647    54167     43 |  0.005 % |
45.90/46.04	c |    106428 |     140    11900    83300 | 2147483647    54403     43 |  0.005 % |
46.00/46.18	c |    106684 |     140    11900    83300 | 2147483647    54659     43 |  0.005 % |
46.20/46.34	c |    106966 |     140    11900    83300 | 2147483647    54941     43 |  0.005 % |
46.40/46.53	c |    107276 |     140    11900    83300 | 2147483647    55251     43 |  0.005 % |
46.60/46.73	c |    107615 |     140    11900    83300 | 2147483647    55590     43 |  0.005 % |
46.80/46.93	c |    107987 |     140    11900    83300 | 2147483647    55962     43 |  0.005 % |
47.00/47.17	c |    108398 |     140    11900    83300 | 2147483647    56373     43 |  0.005 % |
47.30/47.42	c |    108847 |     140    11900    83300 | 2147483647    56822     43 |  0.005 % |
47.60/47.70	c |    109340 |     140    11900    83300 | 2147483647    57315     43 |  0.005 % |
47.90/48.05	c |    109882 |     140    11900    83300 | 2147483647    57857     43 |  0.005 % |
48.30/48.46	c |    110478 |     140    11900    83300 |    57975    51826     43 |  0.005 % |
48.60/48.78	c |    111133 |     140    11900    83300 |    57975    52481     43 |  0.005 % |
49.00/49.16	c |    111853 |     140    11900    83300 |    57975    53201     43 |  0.005 % |
49.40/49.53	c |    112647 |     140    11900    83300 |    57975    53995     43 |  0.005 % |
49.90/50.01	c |    113522 |     140    11900    83300 |    57975    54870     43 |  0.005 % |
50.60/50.70	c |    114481 |     140    11900    83300 |    57975    55829     43 |  0.005 % |
51.20/51.31	c |    115534 |     140    11900    83300 |    57975    56882     43 |  0.005 % |
52.00/52.14	c |    116692 |     140    11900    83300 |    57975    50673     43 |  0.005 % |
52.70/52.82	c |    117965 |     140    11900    83300 |    57975    51946     44 |  0.005 % |
52.70/52.87	c |    118065 |     140    11900    83300 |    57975    52046     43 |  0.005 % |
52.80/52.95	c |    118177 |     140    11900    83300 |    57975    52158     43 |  0.005 % |
52.90/53.03	c |    118298 |     140    11900    83300 |    57975    52279     43 |  0.005 % |
53.00/53.12	c |    118431 |     140    11900    83300 |    57975    52412     43 |  0.005 % |
53.10/53.22	c |    118577 |     140    11900    83300 |    57975    52558     43 |  0.005 % |
53.20/53.34	c |    118737 |     140    11900    83300 |    57975    52718     43 |  0.005 % |
53.30/53.46	c |    118913 |     140    11900    83300 |    57975    52894     43 |  0.005 % |
53.40/53.58	c |    119106 |     140    11900    83300 |    57975    53087     43 |  0.005 % |
53.60/53.70	c |    119319 |     140    11900    83300 |    57975    53300     43 |  0.005 % |
53.70/53.82	c |    119554 |     140    11900    83300 |    57975    53535     43 |  0.005 % |
53.90/54.00	c |    119810 |     140    11900    83300 |    57975    53791     44 |  0.005 % |
54.09/54.22	c |    120092 |     140    11900    83300 |    53981    47142     43 |  0.005 % |
54.19/54.39	c |    120402 |     140    11900    83300 |    53981    47452     43 |  0.005 % |
54.39/54.59	c |    120743 |     140    11900    83300 |    53981    47793     43 |  0.005 % |
54.69/54.80	c |    121115 |     140    11900    83300 |    53981    48165     43 |  0.005 % |
54.90/55.04	c |    121527 |     140    11900    83300 |    53981    48577     43 |  0.005 % |
55.19/55.31	c |    121976 |     140    11900    83300 |    53981    49026     43 |  0.005 % |
55.49/55.61	c |    122469 |     140    11900    83300 |    53981    49519     43 |  0.005 % |
55.79/55.93	c |    123012 |     140    11900    83300 |    53981    50062     43 |  0.005 % |
56.09/56.29	c |    123609 |     140    11900    83300 |    53981    50659     43 |  0.005 % |
56.49/56.64	c |    124264 |     140    11900    83300 |    53981    51314     43 |  0.005 % |
56.89/57.07	c |    124985 |     140    11900    83300 |    53981    52035     43 |  0.005 % |
57.39/57.52	c |    125778 |     140    11900    83300 |    53981    52828     43 |  0.005 % |
57.89/58.05	c |    126649 |     140    11900    83300 |    53981    53699     43 |  0.005 % |
58.49/58.60	c |    127607 |     140    11900    83300 |    53981    48169     43 |  0.005 % |
58.99/59.15	c |    128660 |     140    11900    83300 |    53981    49222     43 |  0.005 % |
59.59/59.75	c |    129818 |     140    11900    83300 |    53981    50380     43 |  0.005 % |
60.30/60.41	c |    131091 |     140    11900    83300 |    50562    45966     43 |  0.005 % |
60.99/61.16	c |    132491 |     140    11900    83300 |    50562    47366     43 |  0.005 % |
61.09/61.22	c |    132592 |     140    11900    83300 |    50562    47467     43 |  0.005 % |
61.09/61.29	c |    132702 |     140    11900    83300 |    50562    47577     43 |  0.005 % |
61.19/61.38	c |    132824 |     140    11900    83300 |    50562    47699     43 |  0.005 % |
61.29/61.46	c |    132957 |     140    11900    83300 |    50562    47832     43 |  0.005 % |
61.40/61.57	c |    133103 |     140    11900    83300 |    50562    47978     43 |  0.005 % |
61.50/61.66	c |    133263 |     140    11900    83300 |    50562    48138     43 |  0.005 % |
61.59/61.78	c |    133441 |     140    11900    83300 |    50562    48316     43 |  0.005 % |
61.69/61.90	c |    133634 |     140    11900    83300 |    50562    48509     43 |  0.005 % |
61.89/62.00	c |    133846 |     140    11900    83300 |    50562    48721     43 |  0.005 % |
61.99/62.14	c |    134079 |     140    11900    83300 |    50562    48954     43 |  0.005 % |
62.19/62.32	c |    134337 |     140    11900    83300 |    50562    49212     43 |  0.005 % |
62.29/62.49	c |    134618 |     140    11900    83300 |    50562    49493     43 |  0.005 % |
62.50/62.66	c |    134927 |     140    11900    83300 |    50562    49802     43 |  0.005 % |
62.69/62.85	c |    135266 |     140    11900    83300 |    50562    50141     43 |  0.005 % |
62.89/63.05	c |    135639 |     140    11900    83300 |    50562    50514     43 |  0.005 % |
63.19/63.31	c |    136048 |     140    11900    83300 |    50562    45796     43 |  0.005 % |
63.39/63.58	c |    136497 |     140    11900    83300 |    50562    46245     43 |  0.005 % |
63.70/63.84	c |    136993 |     140    11900    83300 |    50562    46741     44 |  0.005 % |
63.99/64.12	c |    137535 |     140    11900    83300 |    50562    47283     43 |  0.005 % |
64.30/64.48	c |    138132 |     140    11900    83300 |    50562    47880     43 |  0.005 % |
64.70/64.84	c |    138788 |     140    11900    83300 |    50562    48536     43 |  0.005 % |
65.10/65.27	c |    139508 |     140    11900    83300 |    50562    49256     43 |  0.005 % |
65.60/65.73	c |    140303 |     140    11900    83300 | 2147483647    50051     43 |  0.005 % |
66.10/66.23	c |    141175 |     140    11900    83300 | 2147483647    50923     43 |  0.005 % |
66.60/66.79	c |    142135 |     140    11900    83300 | 2147483647    51883     43 |  0.005 % |
67.20/67.37	c |    143189 |     140    11900    83300 | 2147483647    52937     43 |  0.005 % |
67.90/68.00	c |    144348 |     140    11900    83300 | 2147483647    54096     43 |  0.005 % |
68.60/68.70	c |    145621 |     140    11900    83300 | 2147483647    55369     43 |  0.005 % |
69.30/69.46	c |    147021 |     140    11900    83300 | 2147483647    56769     43 |  0.005 % |
70.50/70.62	c |    148561 |     140    11900    83300 | 2147483647    58309     43 |  0.005 % |
70.60/70.70	c |    148662 |     140    11900    83300 | 2147483647    58410     43 |  0.005 % |
70.60/70.78	c |    148772 |     140    11900    83300 | 2147483647    58520     43 |  0.005 % |
70.70/70.86	c |    148895 |     140    11900    83300 | 2147483647    58643     43 |  0.005 % |
70.80/70.95	c |    149028 |     140    11900    83300 | 2147483647    58776     43 |  0.005 % |
70.90/71.08	c |    149174 |     140    11900    83300 | 2147483647    58922     43 |  0.005 % |
71.00/71.20	c |    149334 |     140    11900    83300 | 2147483647    59082     43 |  0.005 % |
71.20/71.32	c |    149510 |     140    11900    83300 | 2147483647    59258     43 |  0.005 % |
71.30/71.47	c |    149703 |     140    11900    83300 | 2147483647    59451     43 |  0.005 % |
71.50/71.63	c |    149915 |     140    11900    83300 | 2147483647    59663     43 |  0.005 % |
71.70/71.84	c |    150150 |     140    11900    83300 |    59749    52264     43 |  0.005 % |
71.90/72.00	c |    150406 |     140    11900    83300 |    59749    52520     43 |  0.005 % |
72.00/72.16	c |    150687 |     140    11900    83300 |    59749    52801     43 |  0.005 % |
72.20/72.36	c |    150997 |     140    11900    83300 |    59749    53111     43 |  0.005 % |
72.40/72.57	c |    151338 |     140    11900    83300 |    59749    53452     43 |  0.005 % |
72.69/72.81	c |    151711 |     140    11900    83300 |    59749    53825     43 |  0.005 % |
72.89/73.09	c |    152121 |     140    11900    83300 |    59749    54235     43 |  0.005 % |
73.19/73.36	c |    152570 |     140    11900    83300 |    59749    54684     43 |  0.005 % |
73.60/73.70	c |    153063 |     140    11900    83300 |    59749    55177     43 |  0.005 % |
73.89/74.05	c |    153605 |     140    11900    83300 |    59749    55719     43 |  0.005 % |
74.29/74.42	c |    154201 |     140    11900    83300 |    59749    56315     43 |  0.005 % |
74.69/74.81	c |    154857 |     140    11900    83300 |    59749    56971     43 |  0.005 % |
75.09/75.23	c |    155578 |     140    11900    83300 |    59749    57692     43 |  0.005 % |
75.69/75.82	c |    156370 |     140    11900    83300 |    59749    58484     43 |  0.005 % |
76.19/76.36	c |    157242 |     140    11900    83300 |    59749    59356     43 |  0.005 % |
76.89/77.01	c |    158200 |     140    11900    83300 |    59749    51659     43 |  0.005 % |
77.39/77.57	c |    159254 |     140    11900    83300 |    59749    52713     43 |  0.005 % |
78.09/78.26	c |    160412 |     140    11900    83300 |    53461    46466     43 |  0.005 % |
78.69/78.86	c |    161685 |     140    11900    83300 |    53461    47739     43 |  0.005 % |
79.39/79.53	c |    163085 |     140    11900    83300 |    53461    49139     43 |  0.005 % |
80.39/80.51	c |    164625 |     140    11900    83300 |    53461    50679     43 |  0.005 % |
81.39/81.55	c |    166319 |     140    11900    83300 |    53461    52373     43 |  0.005 % |
81.49/81.60	c |    166420 |     140    11900    83300 |    53461    52474     43 |  0.005 % |
81.49/81.68	c |    166531 |     140    11900    83300 |    53461    52585     43 |  0.005 % |
81.59/81.77	c |    166653 |     140    11900    83300 |    53461    52707     43 |  0.005 % |
81.69/81.88	c |    166787 |     140    11900    83300 |    53461    52841     43 |  0.005 % |
81.79/81.98	c |    166933 |     140    11900    83300 |    53461    52987     43 |  0.005 % |
81.89/82.09	c |    167093 |     140    11900    83300 |    53461    53147     43 |  0.005 % |
82.09/82.23	c |    167269 |     140    11900    83300 |    53461    53323     43 |  0.005 % |
82.18/82.38	c |    167464 |     140    11900    83300 |    53461    53518     43 |  0.005 % |
82.39/82.55	c |    167678 |     140    11900    83300 |    53461    47346     43 |  0.005 % |
82.48/82.67	c |    167911 |     140    11900    83300 |    53461    47579     43 |  0.005 % |
82.68/82.81	c |    168167 |     140    11900    83300 |    53461    47835     43 |  0.005 % |
82.78/82.97	c |    168449 |     140    11900    83300 |    53461    48117     43 |  0.005 % |
82.98/83.15	c |    168758 |     140    11900    83300 |    53461    48426     43 |  0.005 % |
83.18/83.32	c |    169098 |     140    11900    83300 |    53461    48766     43 |  0.005 % |
83.38/83.59	c |    169471 |     140    11900    83300 |    53461    49139     43 |  0.005 % |
83.68/83.86	c |    169884 |     140    11900    83300 |    53461    49552     43 |  0.005 % |
83.98/84.17	c |    170334 |     140    11900    83300 |    49669    44155     43 |  0.005 % |
84.28/84.42	c |    170827 |     140    11900    83300 |    49669    44648     43 |  0.005 % |
84.48/84.69	c |    171369 |     140    11900    83300 |    49669    45190     43 |  0.005 % |
84.88/85.03	c |    171965 |     140    11900    83300 |    49669    45786     43 |  0.005 % |
85.18/85.36	c |    172620 |     140    11900    83300 |    49669    46441     43 |  0.005 % |
85.58/85.73	c |    173340 |     140    11900    83300 |    49669    47161     43 |  0.005 % |
85.98/86.12	c |    174132 |     140    11900    83300 |    49669    47953     43 |  0.005 % |
86.38/86.53	c |    175004 |     140    11900    83300 |    49669    48825     43 |  0.005 % |
86.98/87.10	c |    175964 |     140    11900    83300 |    49669    44812     43 |  0.005 % |
87.48/87.62	c |    177019 |     140    11900    83300 |    49669    45867     43 |  0.005 % |
88.08/88.26	c |    178177 |     140    11900    83300 |    49669    47025     43 |  0.005 % |
88.77/88.91	c |    179451 |     140    11900    83300 |    49669    48299     43 |  0.005 % |
89.47/89.69	c |    180852 |     140    11900    83300 | 2147483647    49700     43 |  0.005 % |
90.37/90.51	c |    182392 |     140    11900    83300 | 2147483647    51240     43 |  0.005 % |
91.27/91.47	c |    184086 |     140    11900    83300 | 2147483647    52934     43 |  0.005 % |
92.47/92.60	c |    185949 |     140    11900    83300 | 2147483647    54797     43 |  0.005 % |
92.47/92.66	c |    186049 |     140    11900    83300 | 2147483647    54897     43 |  0.005 % |
92.57/92.75	c |    186159 |     140    11900    83300 | 2147483647    55007     43 |  0.005 % |
92.67/92.83	c |    186280 |     140    11900    83300 | 2147483647    55128     43 |  0.005 % |
92.77/92.92	c |    186414 |     140    11900    83300 | 2147483647    55262     43 |  0.005 % |
92.87/93.02	c |    186561 |     140    11900    83300 | 2147483647    55409     43 |  0.005 % |
92.97/93.14	c |    186722 |     140    11900    83300 | 2147483647    55570     43 |  0.005 % |
93.07/93.26	c |    186899 |     140    11900    83300 | 2147483647    55747     43 |  0.005 % |
93.17/93.40	c |    187092 |     140    11900    83300 | 2147483647    55940     43 |  0.005 % |
93.38/93.59	c |    187305 |     140    11900    83300 | 2147483647    56153     43 |  0.005 % |
93.57/93.76	c |    187539 |     140    11900    83300 | 2147483647    56387     43 |  0.005 % |
93.77/93.97	c |    187796 |     140    11900    83300 | 2147483647    56644     43 |  0.005 % |
93.97/94.19	c |    188077 |     140    11900    83300 | 2147483647    56925     43 |  0.005 % |
94.27/94.42	c |    188386 |     140    11900    83300 | 2147483647    57234     43 |  0.005 % |
94.48/94.66	c |    188725 |     140    11900    83300 | 2147483647    57573     43 |  0.005 % |
94.77/94.90	c |    189099 |     140    11900    83300 | 2147483647    57947     43 |  0.005 % |
94.97/95.18	c |    189509 |     140    11900    83300 | 2147483647    58357     43 |  0.005 % |
95.37/95.50	c |    189959 |     140    11900    83300 | 2147483647    58807     43 |  0.005 % |
95.67/95.84	c |    190454 |     140    11900    83300 |    58849    51777     43 |  0.005 % |
95.97/96.14	c |    190996 |     140    11900    83300 |    58849    52319     43 |  0.005 % |
96.27/96.48	c |    191592 |     140    11900    83300 |    58849    52915     43 |  0.005 % |
96.67/96.89	c |    192247 |     140    11900    83300 |    58849    53570     43 |  0.005 % |
97.17/97.34	c |    192968 |     140    11900    83300 |    58849    54291     43 |  0.005 % |
97.67/97.81	c |    193760 |     140    11900    83300 |    58849    55083     43 |  0.005 % |
98.17/98.35	c |    194631 |     140    11900    83300 |    58849    55954     43 |  0.005 % |
98.77/98.92	c |    195589 |     140    11900    83300 |    58849    56912     43 |  0.005 % |
99.47/99.65	c |    196644 |     140    11900    83300 |    58849    57967     43 |  0.005 % |
100.27/100.40	c |    197803 |     140    11900    83300 |    58849    51053     43 |  0.005 % |
100.87/101.10	c |    199076 |     140    11900    83300 |    58849    52326     43 |  0.005 % |
101.87/102.05	c |    200478 |     140    11900    83300 |    53250    46471     43 |  0.005 % |
102.67/102.80	c |    202018 |     140    11900    83300 |    53250    48011     43 |  0.005 % |
103.57/103.79	c |    203712 |     140    11900    83300 |    53250    49705     43 |  0.005 % |
104.67/104.87	c |    205576 |     140    11900    83300 |    53250    51569     43 |  0.005 % |
105.97/106.19	c |    207626 |     140    11900    83300 |    53250    47618     43 |  0.005 % |
106.07/106.25	c |    207726 |     140    11900    83300 |    53250    47718     43 |  0.005 % |
106.17/106.32	c |    207836 |     140    11900    83300 |    53250    47828     43 |  0.005 % |
106.17/106.39	c |    207957 |     140    11900    83300 |    53250    47949     43 |  0.005 % |
106.27/106.48	c |    208090 |     140    11900    83300 |    53250    48082     43 |  0.005 % |
106.37/106.58	c |    208236 |     140    11900    83300 |    53250    48228     43 |  0.005 % |
106.47/106.69	c |    208398 |     140    11900    83300 |    53250    48390     43 |  0.005 % |
106.57/106.79	c |    208576 |     140    11900    83300 |    53250    48568     43 |  0.005 % |
106.76/106.93	c |    208769 |     140    11900    83300 |    53250    48761     43 |  0.005 % |
106.86/107.06	c |    208983 |     140    11900    83300 |    53250    48975     43 |  0.005 % |
106.96/107.19	c |    209217 |     140    11900    83300 |    53250    49209     43 |  0.005 % |
107.16/107.32	c |    209474 |     140    11900    83300 |    53250    49466     43 |  0.005 % |
107.26/107.47	c |    209755 |     140    11900    83300 |    53250    49747     43 |  0.005 % |
107.46/107.68	c |    210065 |     140    11900    83300 |    49992    44502     43 |  0.005 % |
107.76/107.90	c |    210404 |     140    11900    83300 |    49992    44841     43 |  0.005 % |
107.86/108.09	c |    210777 |     140    11900    83300 |    49992    45214     43 |  0.005 % |
108.16/108.31	c |    211186 |     140    11900    83300 |    49992    45623     43 |  0.005 % |
108.36/108.54	c |    211635 |     140    11900    83300 |    49992    46072     43 |  0.005 % |
108.56/108.76	c |    212128 |     140    11900    83300 |    49992    46565     43 |  0.005 % |
108.86/109.01	c |    212671 |     140    11900    83300 |    49992    47108     43 |  0.005 % |
109.06/109.29	c |    213268 |     140    11900    83300 |    49992    47705     43 |  0.005 % |
109.36/109.59	c |    213924 |     140    11900    83300 |    49992    48361     43 |  0.005 % |
109.77/109.92	c |    214644 |     140    11900    83300 |    49992    49081     43 |  0.005 % |
110.06/110.29	c |    215438 |     140    11900    83300 |    49992    49875     43 |  0.005 % |
110.56/110.73	c |    216309 |     140    11900    83300 |    49992    45741     43 |  0.005 % |
110.97/111.16	c |    217268 |     140    11900    83300 |    49992    46700     43 |  0.005 % |
111.46/111.67	c |    218321 |     140    11900    83300 |    49992    47753     43 |  0.005 % |
112.06/112.20	c |    219479 |     140    11900    83300 |    49992    48911     43 |  0.005 % |
112.56/112.78	c |    220754 |     140    11900    83300 | 2147483647    50186     43 |  0.005 % |
113.26/113.45	c |    222155 |     140    11900    83300 | 2147483647    51587     43 |  0.005 % |
113.96/114.19	c |    223696 |     140    11900    83300 | 2147483647    53128     43 |  0.005 % |
114.86/115.03	c |    225390 |     140    11900    83300 | 2147483647    54822     43 |  0.005 % |
115.86/116.01	c |    227253 |     140    11900    83300 | 2147483647    56685     43 |  0.005 % |
116.96/117.10	c |    229302 |     140    11900    83300 | 2147483647    58734     43 |  0.005 % |
118.26/118.40	c |    231555 |     140    11900    83300 | 2147483647    60987     43 |  0.005 % |
118.26/118.49	c |    231656 |     140    11900    83300 | 2147483647    61088     43 |  0.005 % |
118.36/118.57	c |    231766 |     140    11900    83300 | 2147483647    61198     43 |  0.005 % |
118.46/118.65	c |    231888 |     140    11900    83300 | 2147483647    61320     43 |  0.005 % |
118.56/118.76	c |    232021 |     140    11900    83300 | 2147483647    61453     43 |  0.005 % |
118.76/118.90	c |    232167 |     140    11900    83300 | 2147483647    61599     43 |  0.005 % |
118.86/119.01	c |    232327 |     140    11900    83300 | 2147483647    61759     43 |  0.005 % |
118.96/119.13	c |    232503 |     140    11900    83300 | 2147483647    61935     43 |  0.005 % |
119.16/119.31	c |    232696 |     140    11900    83300 | 2147483647    62128     43 |  0.005 % |
119.26/119.46	c |    232909 |     140    11900    83300 | 2147483647    62341     43 |  0.005 % |
119.46/119.65	c |    233143 |     140    11900    83300 | 2147483647    62575     43 |  0.005 % |
119.66/119.84	c |    233400 |     140    11900    83300 | 2147483647    62832     43 |  0.005 % |
119.86/120.06	c |    233683 |     140    11900    83300 | 2147483647    63115     43 |  0.005 % |
120.06/120.28	c |    233996 |     140    11900    83300 | 2147483647    63428     43 |  0.005 % |
120.36/120.51	c |    234337 |     140    11900    83300 | 2147483647    63769     43 |  0.005 % |
120.56/120.76	c |    234710 |     140    11900    83300 | 2147483647    64142     43 |  0.005 % |
120.86/121.03	c |    235121 |     140    11900    83300 | 2147483647    64553     43 |  0.005 % |
121.16/121.33	c |    235570 |     140    11900    83300 | 2147483647    65002     43 |  0.005 % |
121.56/121.75	c |    236063 |     140    11900    83300 | 2147483647    65495     43 |  0.005 % |
122.05/122.21	c |    236605 |     140    11900    83300 | 2147483647    66037     43 |  0.005 % |
122.45/122.66	c |    237203 |     140    11900    83300 | 2147483647    66635     43 |  0.005 % |
123.07/123.20	c |    237858 |     140    11900    83300 | 2147483647    67290     43 |  0.005 % |
123.56/123.72	c |    238578 |     140    11900    83300 | 2147483647    68010     43 |  0.005 % |
124.16/124.35	c |    239370 |     140    11900    83300 | 2147483647    68802     43 |  0.005 % |
124.86/125.06	c |    240241 |     140    11900    83300 |    69432    57169     43 |  0.005 % |
125.46/125.67	c |    241201 |     140    11900    83300 |    69432    58129     43 |  0.005 % |
126.06/126.27	c |    242255 |     140    11900    83300 |    69432    59183     43 |  0.005 % |
126.86/127.01	c |    243413 |     140    11900    83300 |    69432    60341     43 |  0.005 % |
127.66/127.86	c |    244686 |     140    11900    83300 |    69432    61614     43 |  0.005 % |
128.56/128.74	c |    246087 |     140    11900    83300 |    69432    63015     43 |  0.005 % |
129.66/129.87	c |    247627 |     140    11900    83300 |    69432    64555     43 |  0.005 % |
130.86/131.07	c |    249321 |     140    11900    83300 |    69432    66249     43 |  0.005 % |
132.06/132.26	c |    251187 |     140    11900    83300 |    66929    56598     44 |  0.005 % |
133.25/133.41	c |    253238 |     140    11900    83300 |    66929    58649     44 |  0.005 % |
134.55/134.76	c |    255493 |     140    11900    83300 |    66929    60904     44 |  0.005 % |
136.26/136.43	c |    257972 |     140    11900    83300 |    66929    63383     44 |  0.005 % |
136.26/136.49	c |    258072 |     140    11900    83300 |    66929    63483     44 |  0.005 % |
136.36/136.58	c |    258182 |     140    11900    83300 |    66929    63593     44 |  0.005 % |
136.46/136.67	c |    258303 |     140    11900    83300 |    66929    63714     44 |  0.005 % |
136.56/136.78	c |    258437 |     140    11900    83300 |    66929    63848     44 |  0.005 % |
136.66/136.89	c |    258583 |     140    11900    83300 |    66929    63994     44 |  0.005 % |
136.86/137.05	c |    258745 |     140    11900    83300 |    66929    64156     44 |  0.005 % |
136.96/137.19	c |    258922 |     140    11900    83300 |    66929    64333     44 |  0.005 % |
137.15/137.31	c |    259118 |     140    11900    83300 |    66929    64529     44 |  0.005 % |
137.26/137.49	c |    259330 |     140    11900    83300 |    66929    64741     44 |  0.005 % |
137.45/137.67	c |    259564 |     140    11900    83300 |    66929    64975     44 |  0.005 % |
137.65/137.89	c |    259820 |     140    11900    83300 |    66929    65231     44 |  0.005 % |
137.95/138.16	c |    260101 |     140    11900    83300 |    65411    54368     44 |  0.005 % |
138.15/138.36	c |    260410 |     140    11900    83300 |    65411    54677     44 |  0.005 % |
138.36/138.59	c |    260750 |     140    11900    83300 |    65411    55017     44 |  0.005 % |
138.65/138.82	c |    261122 |     140    11900    83300 |    65411    55389     44 |  0.005 % |
138.85/139.06	c |    261533 |     140    11900    83300 |    65411    55800     44 |  0.005 % |
139.25/139.40	c |    261982 |     140    11900    83300 |    65411    56249     44 |  0.005 % |
139.56/139.72	c |    262476 |     140    11900    83300 |    65411    56743     44 |  0.005 % |
139.85/140.08	c |    263019 |     140    11900    83300 |    65411    57286     44 |  0.005 % |
140.25/140.49	c |    263615 |     140    11900    83300 |    65411    57882     44 |  0.005 % |
140.75/140.96	c |    264271 |     140    11900    83300 |    65411    58538     44 |  0.005 % |
141.25/141.40	c |    264991 |     140    11900    83300 |    65411    59258     44 |  0.005 % |
141.75/141.96	c |    265783 |     140    11900    83300 |    65411    60050     44 |  0.005 % |
142.25/142.45	c |    266654 |     140    11900    83300 |    65411    60921     44 |  0.005 % |
142.85/143.06	c |    267612 |     140    11900    83300 |    65411    61879     44 |  0.005 % |
143.55/143.78	c |    268668 |     140    11900    83300 |    65411    62935     44 |  0.005 % |
144.35/144.55	c |    269829 |     140    11900    83300 |    65411    64096     44 |  0.005 % |
145.15/145.34	c |    271105 |     140    11900    83300 |    64270    54576     44 |  0.005 % |
145.95/146.11	c |    272505 |     140    11900    83300 |    64270    55976     44 |  0.005 % |
146.95/147.10	c |    274045 |     140    11900    83300 |    64270    57516     44 |  0.005 % |
147.85/148.07	c |    275741 |     140    11900    83300 |    64270    59212     44 |  0.005 % |
148.95/149.19	c |    277604 |     140    11900    83300 |    64270    61075     44 |  0.005 % |
150.25/150.49	c |    279653 |     140    11900    83300 |    64270    63124     44 |  0.005 % |
151.55/151.75	c |    281907 |     140    11900    83300 |    63471    55605     44 |  0.005 % |
152.85/153.01	c |    284385 |     140    11900    83300 |    63471    58083     44 |  0.005 % |
154.35/154.54	c |    287111 |     140    11900    83300 |    63471    60809     44 |  0.005 % |
154.45/154.60	c |    287213 |     140    11900    83300 |    63471    60911     44 |  0.005 % |
154.45/154.68	c |    287324 |     140    11900    83300 |    63471    61022     44 |  0.005 % |
154.54/154.76	c |    287445 |     140    11900    83300 |    63471    61143     44 |  0.005 % |
154.64/154.85	c |    287580 |     140    11900    83300 |    63471    61278     44 |  0.005 % |
154.74/154.98	c |    287728 |     140    11900    83300 |    63471    61426     44 |  0.005 % |
154.85/155.08	c |    287888 |     140    11900    83300 |    63471    61586     44 |  0.005 % |
155.04/155.21	c |    288064 |     140    11900    83300 |    63471    61762     44 |  0.005 % |
155.14/155.38	c |    288259 |     140    11900    83300 |    63471    61957     44 |  0.005 % |
155.34/155.54	c |    288471 |     140    11900    83300 |    63471    62169     44 |  0.005 % |
155.54/155.71	c |    288704 |     140    11900    83300 |    63471    62402     44 |  0.005 % |
155.74/155.90	c |    288960 |     140    11900    83300 |    63471    62658     44 |  0.005 % |
155.84/156.08	c |    289241 |     140    11900    83300 |    63471    62939     44 |  0.005 % |
156.05/156.30	c |    289550 |     140    11900    83300 |    63471    63248     44 |  0.005 % |
156.44/156.61	c |    289889 |     140    11900    83300 |    63471    54328     44 |  0.005 % |
156.64/156.89	c |    290263 |     140    11900    83300 |    54440    46728     44 |  0.005 % |
156.94/157.13	c |    290673 |     140    11900    83300 |    54440    47138     44 |  0.005 % |
157.15/157.36	c |    291122 |     140    11900    83300 |    54440    47587     44 |  0.005 % |
157.44/157.62	c |    291615 |     140    11900    83300 |    54440    48080     44 |  0.005 % |
157.74/157.90	c |    292160 |     140    11900    83300 |    54440    48625     44 |  0.005 % |
158.04/158.22	c |    292756 |     140    11900    83300 |    54440    49221     44 |  0.005 % |
158.34/158.53	c |    293411 |     140    11900    83300 |    54440    49876     44 |  0.005 % |
158.64/158.89	c |    294133 |     140    11900    83300 |    54440    50598     44 |  0.005 % |
159.04/159.29	c |    294925 |     140    11900    83300 |    54440    51390     44 |  0.005 % |
159.54/159.74	c |    295796 |     140    11900    83300 |    54440    52261     44 |  0.005 % |
160.04/160.28	c |    296754 |     140    11900    83300 |    54440    53219     44 |  0.005 % |
160.64/160.85	c |    297808 |     140    11900    83300 |    54440    54273     44 |  0.005 % |
161.24/161.44	c |    298967 |     140    11900    83300 |    54440    49648     44 |  0.005 % |
161.84/162.05	c |    300241 |     140    11900    83300 |    50682    45815     44 |  0.005 % |
162.54/162.70	c |    301641 |     140    11900    83300 |    50682    47215     44 |  0.005 % |
163.24/163.49	c |    303183 |     140    11900    83300 |    50682    48757     44 |  0.005 % |
164.14/164.32	c |    304880 |     140    11900    83300 |    50682    50454     44 |  0.005 % |
164.94/165.18	c |    306743 |     140    11900    83300 |    50682    47243     44 |  0.005 % |
165.94/166.18	c |    308793 |     140    11900    83300 |    50682    49293     44 |  0.005 % |
167.13/167.31	c |    311049 |     140    11900    83300 | 2147483647    51549     44 |  0.005 % |
168.43/168.67	c |    313527 |     140    11900    83300 | 2147483647    54027     44 |  0.005 % |
169.93/170.19	c |    316253 |     140    11900    83300 | 2147483647    56753     44 |  0.005 % |
171.63/171.85	c |    319252 |     140    11900    83300 | 2147483647    59752     44 |  0.005 % |
171.73/171.91	c |    319353 |     140    11900    83300 | 2147483647    59853     44 |  0.005 % |
171.73/171.98	c |    319464 |     140    11900    83300 | 2147483647    59964     44 |  0.005 % |
171.83/172.07	c |    319586 |     140    11900    83300 | 2147483647    60086     44 |  0.005 % |
171.93/172.18	c |    319719 |     140    11900    83300 | 2147483647    60219     44 |  0.005 % |
172.03/172.29	c |    319865 |     140    11900    83300 | 2147483647    60365     44 |  0.005 % |
172.23/172.41	c |    320026 |     140    11900    83300 |    60500    60526     44 |  0.005 % |
172.33/172.57	c |    320202 |     140    11900    83300 |    60500    52989     44 |  0.005 % |
172.54/172.70	c |    320395 |     140    11900    83300 |    60500    53182     44 |  0.005 % |
172.63/172.85	c |    320608 |     140    11900    83300 |    60500    53395     44 |  0.005 % |
172.73/172.98	c |    320842 |     140    11900    83300 |    60500    53629     44 |  0.005 % |
172.93/173.14	c |    321099 |     140    11900    83300 |    60500    53886     44 |  0.005 % |
173.13/173.32	c |    321380 |     140    11900    83300 |    60500    54167     44 |  0.005 % |
173.33/173.51	c |    321689 |     140    11900    83300 |    60500    54476     44 |  0.005 % |
173.53/173.75	c |    322028 |     140    11900    83300 |    60500    54815     44 |  0.005 % |
173.83/174.00	c |    322402 |     140    11900    83300 |    60500    55189     44 |  0.005 % |
174.03/174.27	c |    322814 |     140    11900    83300 |    60500    55601     44 |  0.005 % |
174.33/174.52	c |    323264 |     140    11900    83300 |    60500    56051     44 |  0.005 % |
174.63/174.84	c |    323762 |     140    11900    83300 |    60500    56549     44 |  0.005 % |
174.93/175.18	c |    324304 |     140    11900    83300 |    60500    57091     44 |  0.005 % |
175.32/175.54	c |    324900 |     140    11900    83300 |    60500    57687     44 |  0.005 % |
175.73/175.95	c |    325555 |     140    11900    83300 |    60500    58342     44 |  0.005 % |
176.32/176.50	c |    326277 |     140    11900    83300 |    60500    59064     44 |  0.005 % |
176.83/177.07	c |    327069 |     140    11900    83300 |    60500    59856     44 |  0.005 % |
177.42/177.65	c |    327940 |     140    11900    83300 |    60500    51789     44 |  0.005 % |
177.93/178.19	c |    328898 |     140    11900    83300 |    60500    52747     44 |  0.005 % |
178.52/178.76	c |    329951 |     140    11900    83300 |    60500    53800     44 |  0.005 % |
179.13/179.38	c |    331109 |     140    11900    83300 |    53850    47330     44 |  0.005 % |
179.72/179.98	c |    332382 |     140    11900    83300 |    53850    48603     44 |  0.005 % |
180.42/180.63	c |    333782 |     140    11900    83300 |    53850    50003     44 |  0.005 % |
181.12/181.37	c |    335322 |     140    11900    83300 |    53850    51543     44 |  0.005 % |
182.02/182.29	c |    337016 |     140    11900    83300 |    53850    53237     44 |  0.005 % |
183.22/183.48	c |    338879 |     140    11900    83300 |    53850    49299     44 |  0.005 % |
184.22/184.46	c |    340932 |     140    11900    83300 |    50421    45940     44 |  0.005 % |
185.22/185.45	c |    343187 |     140    11900    83300 |    50421    48195     44 |  0.005 % |
186.52/186.71	c |    345666 |     140    11900    83300 |    50421    45626     44 |  0.005 % |
187.72/187.96	c |    348391 |     140    11900    83300 |    50421    48351     44 |  0.005 % |
189.12/189.34	c |    351388 |     140    11900    83300 | 2147483647    51348     44 |  0.005 % |
190.92/191.14	c |    354684 |     140    11900    83300 | 2147483647    54644     44 |  0.005 % |
190.92/191.19	c |    354784 |     140    11900    83300 | 2147483647    54744     44 |  0.005 % |
191.02/191.26	c |    354894 |     140    11900    83300 | 2147483647    54854     44 |  0.005 % |
191.12/191.34	c |    355015 |     140    11900    83300 | 2147483647    54975     44 |  0.005 % |
191.22/191.43	c |    355148 |     140    11900    83300 | 2147483647    55108     44 |  0.005 % |
191.32/191.53	c |    355294 |     140    11900    83300 | 2147483647    55254     44 |  0.005 % |
191.42/191.64	c |    355454 |     140    11900    83300 | 2147483647    55414     44 |  0.005 % |
191.52/191.77	c |    355630 |     140    11900    83300 | 2147483647    55590     44 |  0.005 % |
191.62/191.89	c |    355824 |     140    11900    83300 | 2147483647    55784     44 |  0.005 % |
191.82/192.03	c |    356036 |     140    11900    83300 | 2147483647    55996     44 |  0.005 % |
191.92/192.19	c |    356269 |     140    11900    83300 | 2147483647    56229     44 |  0.005 % |
192.12/192.37	c |    356528 |     140    11900    83300 | 2147483647    56488     44 |  0.005 % |
192.32/192.58	c |    356810 |     140    11900    83300 | 2147483647    56770     44 |  0.005 % |
192.52/192.77	c |    357119 |     140    11900    83300 | 2147483647    57079     44 |  0.005 % |
192.82/193.00	c |    357458 |     140    11900    83300 | 2147483647    57418     44 |  0.005 % |
193.02/193.23	c |    357830 |     140    11900    83300 | 2147483647    57790     44 |  0.005 % |
193.22/193.50	c |    358240 |     140    11900    83300 | 2147483647    58200     44 |  0.005 % |
193.52/193.78	c |    358689 |     140    11900    83300 | 2147483647    58649     44 |  0.005 % |
193.82/194.09	c |    359183 |     140    11900    83300 | 2147483647    59143     44 |  0.005 % |
194.22/194.44	c |    359727 |     140    11900    83300 | 2147483647    59687     44 |  0.005 % |
194.62/194.84	c |    360323 |     140    11900    83300 |    59960    53184     44 |  0.005 % |
195.02/195.24	c |    360978 |     140    11900    83300 |    59960    53839     44 |  0.005 % |
195.42/195.65	c |    361698 |     140    11900    83300 |    59960    54559     44 |  0.005 % |
195.92/196.11	c |    362490 |     140    11900    83300 |    59960    55351     44 |  0.005 % |
196.32/196.60	c |    363361 |     140    11900    83300 |    59960    56222     44 |  0.005 % |
196.92/197.13	c |    364320 |     140    11900    83300 |    59960    57181     44 |  0.005 % |
197.51/197.77	c |    365373 |     140    11900    83300 |    59960    58234     44 |  0.005 % |
198.21/198.50	c |    366531 |     140    11900    83300 |    59960    59392     44 |  0.005 % |
199.21/199.47	c |    367805 |     140    11900    83300 |    59960    53103     44 |  0.005 % |
200.11/200.39	c |    369206 |     140    11900    83300 |    59960    54504     44 |  0.005 % |
201.11/201.32	c |    370748 |     140    11900    83300 |    55298    48772     44 |  0.005 % |
201.91/202.15	c |    372443 |     140    11900    83300 |    55298    50467     44 |  0.005 % |
202.81/203.05	c |    374308 |     140    11900    83300 |    55298    52332     44 |  0.005 % |
203.91/204.13	c |    376357 |     140    11900    83300 |    55298    54381     44 |  0.005 % |
205.11/205.33	c |    378610 |     140    11900    83300 |    55298    51098     44 |  0.005 % |
206.41/206.67	c |    381089 |     140    11900    83300 | 2147483647    53577     44 |  0.005 % |
207.91/208.13	c |    383815 |     140    11900    83300 | 2147483647    56303     44 |  0.005 % |
209.51/209.76	c |    386814 |     140    11900    83300 | 2147483647    59302     44 |  0.005 % |
211.41/211.66	c |    390111 |     140    11900    83300 |    62488    55105     44 |  0.005 % |
213.21/213.49	c |    393736 |     140    11900    83300 |    62488    58730     44 |  0.005 % |
213.31/213.56	c |    393836 |     140    11900    83300 |    62488    58830     44 |  0.005 % |
213.41/213.63	c |    393947 |     140    11900    83300 |    62488    58941     44 |  0.005 % |
213.51/213.71	c |    394070 |     140    11900    83300 |    62488    59064     44 |  0.005 % |
213.61/213.84	c |    394203 |     140    11900    83300 |    62488    59197     44 |  0.005 % |
213.71/213.95	c |    394350 |     140    11900    83300 |    62488    59344     44 |  0.005 % |
213.81/214.06	c |    394510 |     140    11900    83300 |    62488    59504     44 |  0.005 % |
214.01/214.21	c |    394689 |     140    11900    83300 |    62488    59683     44 |  0.005 % |
214.11/214.36	c |    394882 |     140    11900    83300 |    62488    59876     44 |  0.005 % |
214.31/214.53	c |    395095 |     140    11900    83300 |    62488    60089     44 |  0.005 % |
214.50/214.71	c |    395329 |     140    11900    83300 |    62488    60323     44 |  0.005 % |
214.60/214.89	c |    395585 |     140    11900    83300 |    62488    60579     44 |  0.005 % |
214.90/215.11	c |    395866 |     140    11900    83300 |    62488    60860     44 |  0.005 % |
215.10/215.37	c |    396176 |     140    11900    83300 |    62488    61170     44 |  0.005 % |
215.41/215.61	c |    396517 |     140    11900    83300 |    62488    61511     44 |  0.005 % |
215.70/215.95	c |    396890 |     140    11900    83300 |    62488    61884     44 |  0.005 % |
216.00/216.25	c |    397302 |     140    11900    83300 |    62488    62296     44 |  0.005 % |
216.30/216.60	c |    397751 |     140    11900    83300 |    62488    53557     44 |  0.005 % |
216.70/216.90	c |    398244 |     140    11900    83300 |    62488    54050     44 |  0.005 % |
217.00/217.20	c |    398786 |     140    11900    83300 |    62488    54592     44 |  0.005 % |
217.30/217.53	c |    399382 |     140    11900    83300 |    62488    55188     44 |  0.005 % |
217.70/217.91	c |    400039 |     140    11900    83300 |    55806    55845     44 |  0.005 % |
218.10/218.39	c |    400761 |     140    11900    83300 |    55806    48560     44 |  0.005 % |
218.60/218.89	c |    401553 |     140    11900    83300 |    55806    49352     44 |  0.005 % |
219.09/219.35	c |    402425 |     140    11900    83300 |    55806    50224     44 |  0.005 % |
219.59/219.87	c |    403386 |     140    11900    83300 |    55806    51185     44 |  0.005 % |
220.19/220.47	c |    404439 |     140    11900    83300 |    55806    52238     44 |  0.005 % |
220.89/221.18	c |    405597 |     140    11900    83300 |    55806    53396     44 |  0.005 % |
221.69/221.99	c |    406870 |     140    11900    83300 |    55806    54669     44 |  0.005 % |
222.59/222.87	c |    408270 |     140    11900    83300 |    55806    48850     44 |  0.005 % |
223.49/223.70	c |    409811 |     140    11900    83300 |    55806    50391     44 |  0.005 % |
224.29/224.55	c |    411505 |     140    11900    83300 |    50580    45881     44 |  0.005 % |
225.19/225.48	c |    413369 |     140    11900    83300 |    50580    47745     44 |  0.005 % |
226.18/226.49	c |    415420 |     140    11900    83300 |    50580    49796     44 |  0.005 % |
227.28/227.55	c |    417675 |     140    11900    83300 |    50580    46988     44 |  0.005 % |
228.49/228.75	c |    420154 |     140    11900    83300 | 2147483647    49467     44 |  0.005 % |
229.88/230.19	c |    422879 |     140    11900    83300 | 2147483647    52192     44 |  0.005 % |
231.58/231.80	c |    425876 |     140    11900    83300 | 2147483647    55189     44 |  0.005 % |
233.48/233.71	c |    429172 |     140    11900    83300 | 2147483647    58485     44 |  0.005 % |
235.68/235.90	c |    432798 |     140    11900    83300 |    59315    55700     44 |  0.005 % |
238.08/238.34	c |    436785 |     140    11900    83300 |    59315    52272     44 |  0.005 % |
238.18/238.41	c |    436885 |     140    11900    83300 |    59315    52372     44 |  0.005 % |
238.18/238.48	c |    436999 |     140    11900    83300 |    59315    52486     44 |  0.005 % |
238.28/238.56	c |    437120 |     140    11900    83300 |    59315    52607     44 |  0.005 % |
238.39/238.64	c |    437254 |     140    11900    83300 |    59315    52741     44 |  0.005 % |
238.49/238.72	c |    437400 |     140    11900    83300 |    59315    52887     44 |  0.005 % |
238.58/238.83	c |    437560 |     140    11900    83300 |    59315    53047     44 |  0.005 % |
238.68/238.97	c |    437736 |     140    11900    83300 |    59315    53223     44 |  0.005 % |
238.88/239.11	c |    437929 |     140    11900    83300 |    59315    53416     44 |  0.005 % |
238.98/239.26	c |    438141 |     140    11900    83300 |    59315    53628     44 |  0.005 % |
239.18/239.40	c |    438374 |     140    11900    83300 |    59315    53861     44 |  0.005 % |
239.28/239.57	c |    438634 |     140    11900    83300 |    59315    54121     44 |  0.005 % |
239.49/239.73	c |    438915 |     140    11900    83300 |    59315    54402     44 |  0.005 % |
239.68/239.93	c |    439226 |     140    11900    83300 |    59315    54713     44 |  0.005 % |
239.88/240.17	c |    439565 |     140    11900    83300 |    59315    55052     44 |  0.005 % |
240.18/240.46	c |    439937 |     140    11900    83300 |    59315    55424     44 |  0.005 % |
240.48/240.76	c |    440346 |     140    11900    83300 |    55488    48515     43 |  0.005 % |
240.78/241.01	c |    440796 |     140    11900    83300 |    55488    48965     43 |  0.005 % |
240.98/241.28	c |    441290 |     140    11900    83300 |    55488    49459     43 |  0.005 % |
241.28/241.56	c |    441834 |     140    11900    83300 |    55488    50003     43 |  0.005 % |
241.68/241.91	c |    442430 |     140    11900    83300 |    55488    50599     43 |  0.005 % |
241.98/242.29	c |    443085 |     140    11900    83300 |    55488    51254     43 |  0.005 % |
242.48/242.73	c |    443805 |     140    11900    83300 |    55488    51974     43 |  0.005 % |
242.88/243.19	c |    444598 |     140    11900    83300 |    55488    52767     43 |  0.005 % |
243.48/243.75	c |    445470 |     140    11900    83300 |    55488    53639     43 |  0.005 % |
244.08/244.31	c |    446429 |     140    11900    83300 |    55488    54598     43 |  0.005 % |
244.68/244.95	c |    447483 |     140    11900    83300 |    55488    48802     43 |  0.005 % |
245.28/245.59	c |    448642 |     140    11900    83300 |    55488    49961     43 |  0.005 % |
245.98/246.23	c |    449919 |     140    11900    83300 |    55488    51238     43 |  0.005 % |
246.68/246.96	c |    451321 |     140    11900    83300 |    51320    46695     43 |  0.005 % |
247.48/247.77	c |    452861 |     140    11900    83300 |    51320    48235     44 |  0.005 % |
248.48/248.72	c |    454557 |     140    11900    83300 |    51320    49931     43 |  0.005 % |
249.48/249.79	c |    456421 |     140    11900    83300 |    51320    46658     43 |  0.005 % |
250.58/250.85	c |    458471 |     140    11900    83300 |    51320    48708     44 |  0.005 % |
251.68/251.96	c |    460724 |     140    11900    83300 | 2147483647    50961     44 |  0.005 % |
253.07/253.35	c |    463203 |     140    11900    83300 | 2147483647    53440     43 |  0.005 % |
254.57/254.82	c |    465928 |     140    11900    83300 | 2147483647    56165     43 |  0.005 % |
256.27/256.52	c |    468928 |     140    11900    83300 | 2147483647    59165     44 |  0.005 % |
258.28/258.51	c |    472227 |     140    11900    83300 |    60237    55409     44 |  0.005 % |
260.37/260.66	c |    475854 |     140    11900    83300 |    60237    59036     44 |  0.005 % |
262.67/262.97	c |    479841 |     140    11900    83300 |    60237    55293     44 |  0.005 % |
265.16/265.43	c |    484226 |     140    11900    83300 |    55453    52770     44 |  0.005 % |
265.16/265.49	c |    484326 |     140    11900    83300 |    55453    52870     44 |  0.005 % |
265.26/265.55	c |    484436 |     140    11900    83300 |    55453    52980     44 |  0.005 % |
265.36/265.63	c |    484558 |     140    11900    83300 |    55453    53102     44 |  0.005 % |
265.46/265.73	c |    484692 |     140    11900    83300 |    55453    53236     44 |  0.005 % |
265.56/265.84	c |    484838 |     140    11900    83300 |    55453    53382     44 |  0.005 % |
265.66/265.96	c |    484998 |     140    11900    83300 |    55453    53542     44 |  0.005 % |
265.76/266.10	c |    485175 |     140    11900    83300 |    55453    53719     44 |  0.005 % |
265.96/266.22	c |    485369 |     140    11900    83300 |    55453    53913     44 |  0.005 % |
266.06/266.35	c |    485582 |     140    11900    83300 |    55453    54126     44 |  0.005 % |
266.26/266.52	c |    485817 |     140    11900    83300 |    55453    54361     44 |  0.005 % |
266.36/266.69	c |    486073 |     140    11900    83300 |    55453    54617     44 |  0.005 % |
266.56/266.90	c |    486356 |     140    11900    83300 |    55453    54900     44 |  0.005 % |
266.86/267.10	c |    486667 |     140    11900    83300 |    55453    55211     44 |  0.005 % |
267.06/267.34	c |    487007 |     140    11900    83300 |    55453    48951     44 |  0.005 % |
267.26/267.56	c |    487380 |     140    11900    83300 |    55453    49324     44 |  0.005 % |
267.56/267.81	c |    487793 |     140    11900    83300 |    55453    49737     44 |  0.005 % |
267.76/268.05	c |    488243 |     140    11900    83300 |    55453    50187     44 |  0.005 % |
268.06/268.31	c |    488737 |     140    11900    83300 |    55453    50681     44 |  0.005 % |
268.26/268.58	c |    489279 |     140    11900    83300 |    55453    51223     44 |  0.005 % |
268.56/268.88	c |    489876 |     140    11900    83300 |    55453    51820     44 |  0.005 % |
268.96/269.27	c |    490532 |     140    11900    83300 |    51944    46515     44 |  0.005 % |
269.36/269.67	c |    491252 |     140    11900    83300 |    51944    47235     44 |  0.005 % |
269.76/270.08	c |    492044 |     140    11900    83300 |    51944    48027     44 |  0.005 % |
270.26/270.57	c |    492916 |     140    11900    83300 |    51944    48899     44 |  0.005 % |
270.86/271.10	c |    493875 |     140    11900    83300 |    51944    49858     44 |  0.005 % |
271.36/271.64	c |    494928 |     140    11900    83300 |    51944    50911     44 |  0.005 % |
272.06/272.31	c |    496086 |     140    11900    83300 |    51944    46868     44 |  0.005 % |
272.66/272.97	c |    497359 |     140    11900    83300 |    51944    48141     44 |  0.005 % |
273.36/273.68	c |    498759 |     140    11900    83300 |    51944    49541     44 |  0.005 % |
274.26/274.58	c |    500300 |     140    11900    83300 | 2147483647    51082     44 |  0.005 % |
275.26/275.50	c |    501994 |     140    11900    83300 | 2147483647    52776     44 |  0.005 % |
276.16/276.49	c |    503858 |     140    11900    83300 | 2147483647    54640     44 |  0.005 % |
277.25/277.59	c |    505907 |     140    11900    83300 | 2147483647    56689     44 |  0.005 % |
278.65/278.94	c |    508161 |     140    11900    83300 | 2147483647    58943     44 |  0.005 % |
280.16/280.43	c |    510639 |     140    11900    83300 |    60782    54124     44 |  0.005 % |
281.55/281.83	c |    513365 |     140    11900    83300 |    60782    56850     44 |  0.005 % |
283.25/283.52	c |    516362 |     140    11900    83300 |    60782    59847     44 |  0.005 % |
284.95/285.25	c |    519658 |     140    11900    83300 |    60782    55745     44 |  0.005 % |
286.75/287.08	c |    523285 |     140    11900    83300 |    56087    52766     44 |  0.005 % |
288.95/289.22	c |    527272 |     140    11900    83300 |    56087    50669     44 |  0.005 % |
291.35/291.63	c |    531660 |     140    11900    83300 |    53399    49328     44 |  0.005 % |
293.85/294.14	c |    536483 |     140    11900    83300 |    53399    48805     44 |  0.005 % |
293.85/294.19	c |    536586 |     140    11900    83300 |    53399    48908     44 |  0.005 % |
293.95/294.27	c |    536696 |     140    11900    83300 |    53399    49018     44 |  0.005 % |
294.05/294.34	c |    536818 |     140    11900    83300 |    53399    49140     44 |  0.005 % |
294.15/294.42	c |    536952 |     140    11900    83300 |    53399    49274     44 |  0.005 % |
294.25/294.51	c |    537100 |     140    11900    83300 |    53399    49422     44 |  0.005 % |
294.35/294.60	c |    537262 |     140    11900    83300 |    53399    49584     44 |  0.005 % |
294.45/294.70	c |    537439 |     140    11900    83300 |    53399    49761     44 |  0.005 % |
294.55/294.81	c |    537634 |     140    11900    83300 |    53399    49956     44 |  0.005 % |
294.65/294.93	c |    537849 |     140    11900    83300 |    53399    50171     44 |  0.005 % |
294.75/295.07	c |    538083 |     140    11900    83300 |    53399    50405     44 |  0.005 % |
294.95/295.21	c |    538339 |     140    11900    83300 |    53399    50661     44 |  0.005 % |
295.05/295.36	c |    538621 |     140    11900    83300 |    53399    50943     44 |  0.005 % |
295.25/295.50	c |    538930 |     140    11900    83300 |    53399    51252     44 |  0.005 % |
295.35/295.67	c |    539269 |     140    11900    83300 |    53399    51591     44 |  0.005 % |
295.55/295.87	c |    539642 |     140    11900    83300 |    53399    51964     44 |  0.005 % |
295.75/296.09	c |    540051 |     140    11900    83300 | 2147483647    52373     44 |  0.005 % |
296.05/296.37	c |    540500 |     140    11900    83300 | 2147483647    52822     44 |  0.005 % |
296.35/296.66	c |    540993 |     140    11900    83300 | 2147483647    53315     44 |  0.005 % |
296.65/296.94	c |    541535 |     140    11900    83300 | 2147483647    53857     44 |  0.005 % |
297.05/297.34	c |    542131 |     140    11900    83300 | 2147483647    54453     44 |  0.005 % |
297.45/297.71	c |    542790 |     140    11900    83300 | 2147483647    55112     44 |  0.005 % |
297.85/298.11	c |    543510 |     140    11900    83300 | 2147483647    55832     44 |  0.005 % |
298.25/298.60	c |    544303 |     140    11900    83300 | 2147483647    56625     44 |  0.005 % |
298.85/299.13	c |    545176 |     140    11900    83300 | 2147483647    57498     44 |  0.005 % |
299.35/299.65	c |    546136 |     140    11900    83300 | 2147483647    58458     44 |  0.005 % |
299.95/300.26	c |    547190 |     140    11900    83300 | 2147483647    59512     44 |  0.005 % |
300.65/300.92	c |    548349 |     140    11900    83300 | 2147483647    60671     44 |  0.005 % |
301.45/301.71	c |    549623 |     140    11900    83300 | 2147483647    61945     44 |  0.005 % |
302.25/302.51	c |    551024 |     140    11900    83300 |    62323    55002     44 |  0.005 % |
303.14/303.43	c |    552567 |     140    11900    83300 |    62323    56545     44 |  0.005 % |
304.14/304.46	c |    554262 |     140    11900    83300 |    62323    58240     44 |  0.005 % |
305.24/305.54	c |    556127 |     140    11900    83300 |    62323    60105     44 |  0.005 % |
306.44/306.77	c |    558177 |     140    11900    83300 |    62323    62155     44 |  0.005 % |
307.75/308.10	c |    560431 |     140    11900    83300 |    55239    48170     44 |  0.005 % |
308.94/309.25	c |    562912 |     140    11900    83300 |    55239    50651     44 |  0.005 % |
310.23/310.55	c |    565638 |     140    11900    83300 |    55239    53377     44 |  0.005 % |
311.73/312.10	c |    568636 |     140    11900    83300 |    55239    50659     44 |  0.005 % |
313.43/313.72	c |    571933 |     140    11900    83300 |    52025    48726     44 |  0.005 % |
315.23/315.57	c |    575559 |     140    11900    83300 |    52025    47144     44 |  0.005 % |
317.13/317.46	c |    579549 |     140    11900    83300 |    52025    51134     44 |  0.005 % |
319.63/319.93	c |    583935 |     140    11900    83300 | 2147483647    55520     44 |  0.005 % |
322.43/322.70	c |    588759 |     140    11900    83300 | 2147483647    60344     44 |  0.005 % |
325.73/326.09	c |    594067 |     140    11900    83300 |    61585    57985     44 |  0.005 % |
325.83/326.17	c |    594169 |     140    11900    83300 |    61585    58087     44 |  0.005 % |
325.93/326.26	c |    594279 |     140    11900    83300 |    61585    58197     44 |  0.005 % |
326.03/326.35	c |    594402 |     140    11900    83300 |    61585    58320     44 |  0.005 % |
326.13/326.44	c |    594537 |     140    11900    83300 |    61585    58455     44 |  0.005 % |
326.23/326.56	c |    594683 |     140    11900    83300 |    61585    58601     44 |  0.005 % |
326.33/326.66	c |    594844 |     140    11900    83300 |    61585    58762     44 |  0.005 % |
326.43/326.77	c |    595020 |     140    11900    83300 |    61585    58938     44 |  0.005 % |
326.63/326.94	c |    595213 |     140    11900    83300 |    61585    59131     44 |  0.005 % |
326.73/327.09	c |    595428 |     140    11900    83300 |    61585    59346     44 |  0.005 % |
326.93/327.29	c |    595663 |     140    11900    83300 |    61585    59581     44 |  0.005 % |
327.13/327.48	c |    595921 |     140    11900    83300 |    61585    59839     44 |  0.005 % |
327.33/327.68	c |    596203 |     140    11900    83300 |    61585    60121     44 |  0.005 % |
327.63/327.91	c |    596512 |     140    11900    83300 |    61585    60430     44 |  0.005 % |
327.83/328.17	c |    596853 |     140    11900    83300 |    61585    60771     44 |  0.005 % |
328.13/328.45	c |    597226 |     140    11900    83300 |    61585    61144     44 |  0.005 % |
328.43/328.74	c |    597635 |     140    11900    83300 |    61585    61553     44 |  0.005 % |
328.72/329.07	c |    598085 |     140    11900    83300 |    61585    52618     44 |  0.005 % |
329.02/329.36	c |    598579 |     140    11900    83300 |    61585    53112     44 |  0.005 % |
329.42/329.70	c |    599121 |     140    11900    83300 |    61585    53654     44 |  0.005 % |
329.63/330.00	c |    599717 |     140    11900    83300 |    61585    54250     44 |  0.005 % |
330.02/330.38	c |    600372 |     140    11900    83300 |    54534    46891     43 |  0.005 % |
330.32/330.69	c |    601092 |     140    11900    83300 |    54534    47611     43 |  0.005 % |
330.83/331.12	c |    601884 |     140    11900    83300 |    54534    48403     43 |  0.005 % |
331.22/331.54	c |    602755 |     140    11900    83300 |    54534    49274     43 |  0.005 % |
331.72/332.00	c |    603716 |     140    11900    83300 |    54534    50235     44 |  0.005 % |
332.22/332.57	c |    604769 |     140    11900    83300 |    54534    51288     44 |  0.005 % |
332.93/333.24	c |    605929 |     140    11900    83300 |    54534    52448     44 |  0.005 % |
333.62/333.96	c |    607204 |     140    11900    83300 |    54534    53723     44 |  0.005 % |
334.52/334.83	c |    608604 |     140    11900    83300 |    54534    48899     44 |  0.005 % |
335.32/335.61	c |    610144 |     140    11900    83300 |    50295    44998     44 |  0.005 % |
336.12/336.41	c |    611839 |     140    11900    83300 |    50295    46693     44 |  0.005 % |
337.02/337.34	c |    613703 |     140    11900    83300 |    50295    48557     44 |  0.005 % |
338.12/338.41	c |    615752 |     140    11900    83300 |    50295    45570     44 |  0.005 % |
339.22/339.54	c |    618006 |     140    11900    83300 |    50295    47824     44 |  0.005 % |
340.42/340.79	c |    620484 |     140    11900    83300 | 2147483647    50302     44 |  0.005 % |
341.93/342.23	c |    623210 |     140    11900    83300 | 2147483647    53028     44 |  0.005 % |
343.63/343.96	c |    626207 |     140    11900    83300 | 2147483647    56025     44 |  0.005 % |
345.52/345.87	c |    629504 |     140    11900    83300 | 2147483647    59322     44 |  0.005 % |
347.72/348.01	c |    633129 |     140    11900    83300 |    59819    55822     44 |  0.005 % |
350.02/350.38	c |    637117 |     140    11900    83300 |    59819    59810     44 |  0.005 % |
352.52/352.81	c |    641502 |     140    11900    83300 |    54552    48838     44 |  0.005 % |
355.22/355.56	c |    646325 |     140    11900    83300 |    54552    53661     44 |  0.005 % |
357.92/358.26	c |    651630 |     140    11900    83300 |    50666    46531     44 |  0.005 % |
360.42/360.79	c |    657465 |     140    11900    83300 |    50666    47294     44 |  0.005 % |
360.52/360.84	c |    657566 |     140    11900    83300 |    50666    47395     44 |  0.005 % |
360.61/360.91	c |    657676 |     140    11900    83300 |    50666    47505     44 |  0.005 % |
360.61/360.97	c |    657798 |     140    11900    83300 |    50666    47627     44 |  0.005 % |
360.71/361.03	c |    657932 |     140    11900    83300 |    50666    47761     44 |  0.005 % |
360.81/361.11	c |    658078 |     140    11900    83300 |    50666    47907     44 |  0.005 % |
360.91/361.21	c |    658238 |     140    11900    83300 |    50666    48067     44 |  0.005 % |
361.01/361.31	c |    658415 |     140    11900    83300 |    50666    48244     44 |  0.005 % |
361.11/361.40	c |    658608 |     140    11900    83300 |    50666    48437     44 |  0.005 % |
361.21/361.51	c |    658820 |     140    11900    83300 |    50666    48649     44 |  0.005 % |
361.31/361.63	c |    659053 |     140    11900    83300 |    50666    48882     44 |  0.005 % |
361.41/361.79	c |    659309 |     140    11900    83300 |    50666    49138     44 |  0.005 % |
361.61/361.96	c |    659593 |     140    11900    83300 |    50666    49422     44 |  0.005 % |
361.81/362.14	c |    659902 |     140    11900    83300 |    50666    49731     44 |  0.005 % |
362.01/362.33	c |    660241 |     140    11900    83300 | 2147483647    50070     44 |  0.005 % |
362.21/362.54	c |    660615 |     140    11900    83300 | 2147483647    50444     44 |  0.005 % |
362.41/362.79	c |    661024 |     140    11900    83300 | 2147483647    50853     44 |  0.005 % |
362.70/363.08	c |    661474 |     140    11900    83300 | 2147483647    51303     44 |  0.005 % |
363.00/363.36	c |    661969 |     140    11900    83300 | 2147483647    51798     44 |  0.005 % |
363.40/363.71	c |    662513 |     140    11900    83300 | 2147483647    52342     44 |  0.005 % |
363.80/364.13	c |    663109 |     140    11900    83300 | 2147483647    52938     44 |  0.005 % |
364.20/364.56	c |    663764 |     140    11900    83300 | 2147483647    53593     44 |  0.005 % |
364.60/364.99	c |    664484 |     140    11900    83300 | 2147483647    54313     44 |  0.005 % |
365.19/365.55	c |    665277 |     140    11900    83300 | 2147483647    55106     44 |  0.005 % |
365.79/366.11	c |    666148 |     140    11900    83300 | 2147483647    55977     44 |  0.005 % |
366.39/366.74	c |    667107 |     140    11900    83300 | 2147483647    56936     44 |  0.005 % |
366.89/367.28	c |    668161 |     140    11900    83300 | 2147483647    57990     44 |  0.005 % |
367.59/367.92	c |    669321 |     140    11900    83300 | 2147483647    59150     44 |  0.005 % |
368.29/368.68	c |    670594 |     140    11900    83300 |    59829    52936     44 |  0.005 % |
369.19/369.58	c |    671996 |     140    11900    83300 |    59829    54338     44 |  0.005 % |
370.19/370.53	c |    673537 |     140    11900    83300 |    59829    55879     44 |  0.005 % |
371.28/371.65	c |    675231 |     140    11900    83300 |    59829    57573     44 |  0.005 % |
372.38/372.79	c |    677094 |     140    11900    83300 |    59829    59436     44 |  0.005 % |
373.78/374.16	c |    679143 |     140    11900    83300 |    59829    53048     44 |  0.005 % |
375.18/375.56	c |    681397 |     140    11900    83300 |    53906    47916     44 |  0.005 % |
376.48/376.83	c |    683876 |     140    11900    83300 |    53906    50395     44 |  0.005 % |
377.88/378.22	c |    686601 |     140    11900    83300 |    53906    53120     44 |  0.005 % |
379.28/379.69	c |    689599 |     140    11900    83300 |    53906    50712     44 |  0.005 % |
381.48/381.82	c |    692895 |     140    11900    83300 | 2147483647    54008     44 |  0.005 % |
383.78/384.11	c |    696520 |     140    11900    83300 | 2147483647    57633     44 |  0.005 % |
386.28/386.65	c |    700507 |     140    11900    83300 |    61115    53975     44 |  0.005 % |
388.88/389.22	c |    704893 |     140    11900    83300 |    61115    58361     44 |  0.005 % |
391.68/392.05	c |    709716 |     140    11900    83300 |    61115    55180     44 |  0.005 % |
394.48/394.89	c |    715022 |     140    11900    83300 |    55464    53410     44 |  0.005 % |
397.88/398.22	c |    720860 |     140    11900    83300 |    52584    48005     44 |  0.005 % |
401.26/401.67	c |    727278 |     140    11900    83300 |    52584    49159     44 |  0.005 % |
401.36/401.73	c |    727378 |     140    11900    83300 |    52584    49259     44 |  0.005 % |
401.46/401.80	c |    727488 |     140    11900    83300 |    52584    49369     44 |  0.005 % |
401.46/401.88	c |    727610 |     140    11900    83300 |    52584    49491     44 |  0.005 % |
401.56/401.96	c |    727743 |     140    11900    83300 |    52584    49624     44 |  0.005 % |
401.66/402.04	c |    727890 |     140    11900    83300 |    52584    49771     44 |  0.005 % |
401.76/402.14	c |    728050 |     140    11900    83300 |    52584    49931     44 |  0.005 % |
401.86/402.27	c |    728226 |     140    11900    83300 |    52584    50107     44 |  0.005 % |
401.96/402.39	c |    728421 |     140    11900    83300 |    52584    50302     44 |  0.005 % |
402.16/402.53	c |    728634 |     140    11900    83300 |    52584    50515     44 |  0.005 % |
402.26/402.69	c |    728870 |     140    11900    83300 |    52584    50751     44 |  0.005 % |
402.46/402.87	c |    729126 |     140    11900    83300 |    52584    51007     44 |  0.005 % |
402.66/403.04	c |    729407 |     140    11900    83300 |    52584    51288     44 |  0.005 % |
402.86/403.23	c |    729716 |     140    11900    83300 |    52584    51597     44 |  0.005 % |
403.06/403.45	c |    730057 |     140    11900    83300 | 2147483647    51938     44 |  0.005 % |
403.36/403.76	c |    730430 |     140    11900    83300 | 2147483647    52311     44 |  0.005 % |
403.66/404.06	c |    730839 |     140    11900    83300 | 2147483647    52720     44 |  0.005 % |
403.96/404.35	c |    731291 |     140    11900    83300 | 2147483647    53172     44 |  0.005 % |
404.36/404.70	c |    731784 |     140    11900    83300 | 2147483647    53665     44 |  0.005 % |
404.66/405.06	c |    732327 |     140    11900    83300 | 2147483647    54208     44 |  0.005 % |
405.06/405.46	c |    732923 |     140    11900    83300 | 2147483647    54804     44 |  0.005 % |
405.56/405.92	c |    733579 |     140    11900    83300 | 2147483647    55460     44 |  0.005 % |
406.05/406.46	c |    734301 |     140    11900    83300 | 2147483647    56182     44 |  0.005 % |
406.66/407.03	c |    735093 |     140    11900    83300 | 2147483647    56974     44 |  0.005 % |
407.35/407.72	c |    735964 |     140    11900    83300 | 2147483647    57845     44 |  0.005 % |
407.95/408.35	c |    736922 |     140    11900    83300 | 2147483647    58803     44 |  0.005 % |
408.55/408.99	c |    737975 |     140    11900    83300 | 2147483647    59856     44 |  0.005 % |
409.35/409.73	c |    739133 |     140    11900    83300 | 2147483647    61014     44 |  0.005 % |
410.15/410.58	c |    740406 |     140    11900    83300 |    61881    52897     44 |  0.005 % |
411.06/411.41	c |    741807 |     140    11900    83300 |    61881    54298     44 |  0.005 % |
411.85/412.20	c |    743348 |     140    11900    83300 |    61881    55839     44 |  0.005 % |
412.75/413.11	c |    745042 |     140    11900    83300 |    61881    57533     44 |  0.005 % |
414.05/414.45	c |    746905 |     140    11900    83300 |    61881    59396     44 |  0.005 % |
415.45/415.86	c |    748954 |     140    11900    83300 |    61881    61445     44 |  0.005 % |
416.75/417.10	c |    751207 |     140    11900    83300 |    53623    47253     44 |  0.005 % |
418.05/418.43	c |    753685 |     140    11900    83300 |    53623    49731     44 |  0.005 % |
419.45/419.85	c |    756412 |     140    11900    83300 |    53623    52458     44 |  0.005 % |
420.95/421.36	c |    759409 |     140    11900    83300 |    53623    49837     44 |  0.005 % |
422.65/423.05	c |    762705 |     140    11900    83300 | 2147483647    53133     44 |  0.005 % |
424.65/425.04	c |    766333 |     140    11900    83300 | 2147483647    56761     44 |  0.005 % |
426.95/427.35	c |    770320 |     140    11900    83300 |    60428    53836     44 |  0.005 % |
429.44/429.82	c |    774705 |     140    11900    83300 |    60428    58221     44 |  0.005 % |
432.34/432.75	c |    779529 |     140    11900    83300 |    60428    55731     44 |  0.005 % |
435.04/435.46	c |    784834 |     140    11900    83300 |    56204    54102     44 |  0.005 % |
438.14/438.50	c |    790671 |     140    11900    83300 |    52765    47580     44 |  0.005 % |
441.04/441.49	c |    797089 |     140    11900    83300 |    52765    48716     44 |  0.005 % |
444.63/445.10	c |    804148 |     140    11900    83300 | 2147483647    55775     44 |  0.005 % |
444.73/445.15	c |    804248 |     140    11900    83300 | 2147483647    55875     44 |  0.005 % |
444.83/445.22	c |    804359 |     140    11900    83300 | 2147483647    55986     44 |  0.005 % |
444.93/445.30	c |    804481 |     140    11900    83300 | 2147483647    56108     44 |  0.005 % |
444.93/445.39	c |    804615 |     140    11900    83300 | 2147483647    56242     44 |  0.005 % |
445.04/445.49	c |    804762 |     140    11900    83300 | 2147483647    56389     44 |  0.005 % |
445.23/445.60	c |    804924 |     140    11900    83300 | 2147483647    56551     44 |  0.005 % |
445.23/445.70	c |    805101 |     140    11900    83300 | 2147483647    56728     44 |  0.005 % |
445.43/445.80	c |    805294 |     140    11900    83300 | 2147483647    56921     44 |  0.005 % |
445.53/445.92	c |    805506 |     140    11900    83300 | 2147483647    57133     44 |  0.005 % |
445.73/446.11	c |    805739 |     140    11900    83300 | 2147483647    57366     44 |  0.005 % |
445.83/446.29	c |    805997 |     140    11900    83300 | 2147483647    57624     44 |  0.005 % |
446.03/446.49	c |    806279 |     140    11900    83300 | 2147483647    57906     44 |  0.005 % |
446.23/446.68	c |    806589 |     140    11900    83300 | 2147483647    58216     44 |  0.005 % |
446.53/446.90	c |    806928 |     140    11900    83300 | 2147483647    58555     44 |  0.005 % |
446.73/447.12	c |    807300 |     140    11900    83300 | 2147483647    58927     44 |  0.005 % |
446.93/447.38	c |    807711 |     140    11900    83300 | 2147483647    59338     44 |  0.005 % |
447.23/447.69	c |    808161 |     140    11900    83300 | 2147483647    59788     44 |  0.005 % |
447.53/447.97	c |    808655 |     140    11900    83300 | 2147483647    60282     44 |  0.005 % |
447.93/448.34	c |    809197 |     140    11900    83300 | 2147483647    60824     44 |  0.005 % |
448.33/448.75	c |    809793 |     140    11900    83300 | 2147483647    61420     44 |  0.005 % |
448.83/449.22	c |    810449 |     140    11900    83300 |    61627    54208     44 |  0.005 % |
449.23/449.65	c |    811174 |     140    11900    83300 |    61627    54933     44 |  0.005 % |
449.73/450.15	c |    811966 |     140    11900    83300 |    61627    55725     44 |  0.005 % |
450.23/450.66	c |    812837 |     140    11900    83300 |    61627    56596     44 |  0.005 % |
450.73/451.19	c |    813795 |     140    11900    83300 |    61627    57554     44 |  0.005 % |
451.32/451.72	c |    814848 |     140    11900    83300 |    61627    58607     44 |  0.005 % |
451.92/452.35	c |    816007 |     140    11900    83300 |    61627    59766     44 |  0.005 % |
452.73/453.17	c |    817282 |     140    11900    83300 |    61627    61041     44 |  0.005 % |
453.72/454.12	c |    818683 |     140    11900    83300 |    61627    53823     44 |  0.005 % |
454.52/454.99	c |    820223 |     140    11900    83300 |    55140    47888     44 |  0.005 % |
455.42/455.81	c |    821917 |     140    11900    83300 |    55140    49582     44 |  0.005 % |
456.32/456.76	c |    823780 |     140    11900    83300 |    55140    51445     44 |  0.005 % |
457.32/457.77	c |    825829 |     140    11900    83300 |    55140    53494     44 |  0.005 % |
458.52/458.93	c |    828082 |     140    11900    83300 |    55140    50003     44 |  0.005 % |
460.12/460.53	c |    830561 |     140    11900    83300 |    51921    46874     44 |  0.005 % |
461.72/462.10	c |    833287 |     140    11900    83300 |    51921    49600     44 |  0.005 % |
463.62/464.01	c |    836285 |     140    11900    83300 |    51921    46791     44 |  0.005 % |
465.32/465.71	c |    839581 |     140    11900    83300 |    51921    50087     44 |  0.005 % |
467.42/467.81	c |    843206 |     140    11900    83300 | 2147483647    53712     44 |  0.005 % |
469.82/470.28	c |    847193 |     140    11900    83300 | 2147483647    57699     44 |  0.005 % |
472.32/472.75	c |    851578 |     140    11900    83300 |    60507    54433     44 |  0.005 % |
475.22/475.67	c |    856401 |     140    11900    83300 |    60507    59256     44 |  0.005 % |
478.02/478.43	c |    861707 |     140    11900    83300 |    54489    49033     44 |  0.005 % |
481.01/481.49	c |    867542 |     140    11900    83300 |    54489    49414     44 |  0.005 % |
484.51/484.99	c |    873962 |     140    11900    83300 |    51873    50487     44 |  0.005 % |
488.01/488.44	c |    881021 |     140    11900    83300 | 2147483647    52352     44 |  0.005 % |
492.41/492.87	c |    888785 |     140    11900    83300 | 2147483647    60116     44 |  0.005 % |
492.51/492.95	c |    888886 |     140    11900    83300 | 2147483647    60217     44 |  0.005 % |
492.61/493.03	c |    888996 |     140    11900    83300 | 2147483647    60327     44 |  0.005 % |
492.71/493.12	c |    889117 |     140    11900    83300 | 2147483647    60448     44 |  0.005 % |
492.81/493.20	c |    889251 |     140    11900    83300 | 2147483647    60582     44 |  0.005 % |
492.91/493.31	c |    889398 |     140    11900    83300 | 2147483647    60729     44 |  0.005 % |
493.01/493.42	c |    889558 |     140    11900    83300 | 2147483647    60889     44 |  0.005 % |
493.11/493.58	c |    889735 |     140    11900    83300 | 2147483647    61066     44 |  0.005 % |
493.31/493.73	c |    889928 |     140    11900    83300 | 2147483647    61259     44 |  0.005 % |
493.51/493.93	c |    890142 |     140    11900    83300 |    61331    53606     44 |  0.005 % |
493.61/494.09	c |    890377 |     140    11900    83300 |    61331    53841     44 |  0.005 % |
493.81/494.23	c |    890635 |     140    11900    83300 |    61331    54099     44 |  0.005 % |
494.00/494.41	c |    890917 |     140    11900    83300 |    61331    54381     44 |  0.005 % |
494.20/494.63	c |    891226 |     140    11900    83300 |    61331    54690     44 |  0.005 % |
494.40/494.86	c |    891567 |     140    11900    83300 |    61331    55031     44 |  0.005 % |
494.70/495.15	c |    891940 |     140    11900    83300 |    61331    55404     44 |  0.005 % |
495.01/495.41	c |    892350 |     140    11900    83300 |    61331    55814     44 |  0.005 % |
495.21/495.68	c |    892800 |     140    11900    83300 |    61331    56264     44 |  0.005 % |
495.50/495.94	c |    893295 |     140    11900    83300 |    61331    56759     44 |  0.005 % |
495.80/496.25	c |    893840 |     140    11900    83300 |    61331    57304     44 |  0.005 % |
496.10/496.59	c |    894439 |     140    11900    83300 |    61331    57903     44 |  0.005 % |
496.50/496.95	c |    895094 |     140    11900    83300 |    61331    58558     44 |  0.005 % |
497.10/497.55	c |    895814 |     140    11900    83300 |    61331    59278     44 |  0.005 % |
497.70/498.14	c |    896606 |     140    11900    83300 |    61331    60070     44 |  0.005 % |
498.30/498.73	c |    897477 |     140    11900    83300 |    61331    60941     44 |  0.005 % |
498.91/499.34	c |    898435 |     140    11900    83300 |    61331    53030     44 |  0.005 % |
499.50/499.91	c |    899488 |     140    11900    83300 |    61331    54083     44 |  0.005 % |
500.10/500.54	c |    900648 |     140    11900    83300 |    54595    47626     44 |  0.005 % |
500.70/501.19	c |    901922 |     140    11900    83300 |    54595    48900     44 |  0.005 % |
501.40/501.88	c |    903322 |     140    11900    83300 |    54595    50300     44 |  0.005 % |
502.20/502.69	c |    904862 |     140    11900    83300 |    54595    51840     44 |  0.005 % |
503.10/503.58	c |    906557 |     140    11900    83300 |    54595    53535     44 |  0.005 % |
504.30/504.80	c |    908420 |     140    11900    83300 |    54595    49373     44 |  0.005 % |
505.50/505.97	c |    910470 |     140    11900    83300 |    50954    45855     44 |  0.005 % |
506.60/507.10	c |    912723 |     140    11900    83300 |    50954    48108     44 |  0.005 % |
507.80/508.29	c |    915201 |     140    11900    83300 |    50954    50586     44 |  0.005 % |
509.10/509.55	c |    917926 |     140    11900    83300 |    50954    48209     44 |  0.005 % |
510.50/510.99	c |    920923 |     140    11900    83300 | 2147483647    51206     44 |  0.005 % |
512.10/512.59	c |    924221 |     140    11900    83300 | 2147483647    54504     44 |  0.005 % |
514.10/514.59	c |    927846 |     140    11900    83300 | 2147483647    58129     44 |  0.005 % |
516.30/516.76	c |    931834 |     140    11900    83300 |    60283    55979     44 |  0.005 % |
518.90/519.33	c |    936219 |     140    11900    83300 |    60283    53315     44 |  0.005 % |
521.79/522.23	c |    941045 |     140    11900    83300 |    57096    51293     44 |  0.005 % |
524.79/525.26	c |    946351 |     140    11900    83300 |    57096    56599     44 |  0.005 % |
527.79/528.21	c |    952187 |     140    11900    83300 |    53167    49060     44 |  0.005 % |
531.19/531.65	c |    958605 |     140    11900    83300 |    53167    50113     44 |  0.005 % |
534.68/535.16	c |    965665 |     140    11900    83300 | 2147483647    57173     44 |  0.005 % |
539.07/539.52	c |    973429 |     140    11900    83300 |    61508    58057     44 |  0.005 % |
543.86/544.36	c |    981970 |     140    11900    83300 |    56987    52228     44 |  0.005 % |
543.97/544.41	c |    982071 |     140    11900    83300 |    56987    52329     44 |  0.005 % |
543.97/544.49	c |    982182 |     140    11900    83300 |    56987    52440     44 |  0.005 % |
544.07/544.56	c |    982305 |     140    11900    83300 |    56987    52563     44 |  0.005 % |
544.16/544.65	c |    982438 |     140    11900    83300 |    56987    52696     44 |  0.005 % |
544.26/544.74	c |    982584 |     140    11900    83300 |    56987    52842     44 |  0.005 % |
544.36/544.86	c |    982744 |     140    11900    83300 |    56987    53002     44 |  0.005 % |
544.46/544.97	c |    982920 |     140    11900    83300 |    56987    53178     44 |  0.005 % |
544.56/545.10	c |    983113 |     140    11900    83300 |    56987    53371     44 |  0.005 % |
544.76/545.23	c |    983328 |     140    11900    83300 |    56987    53586     44 |  0.005 % |
544.86/545.37	c |    983562 |     140    11900    83300 |    56987    53820     44 |  0.005 % |
545.07/545.52	c |    983818 |     140    11900    83300 |    56987    54076     44 |  0.005 % |
545.17/545.69	c |    984099 |     140    11900    83300 |    56987    54357     44 |  0.005 % |
545.46/545.90	c |    984409 |     140    11900    83300 |    56987    54667     44 |  0.005 % |
545.66/546.11	c |    984749 |     140    11900    83300 |    56987    55007     44 |  0.005 % |
545.86/546.31	c |    985122 |     140    11900    83300 |    56987    55380     44 |  0.005 % |
546.06/546.54	c |    985531 |     140    11900    83300 |    56987    55789     44 |  0.005 % |
546.36/546.86	c |    985980 |     140    11900    83300 |    56987    56238     44 |  0.005 % |
546.66/547.15	c |    986474 |     140    11900    83300 |    56987    56732     44 |  0.005 % |
547.06/547.51	c |    987016 |     140    11900    83300 |    56987    50321     44 |  0.005 % |
547.37/547.86	c |    987614 |     140    11900    83300 |    56987    50919     44 |  0.005 % |
547.76/548.20	c |    988272 |     140    11900    83300 |    56987    51577     44 |  0.005 % |
548.06/548.59	c |    988995 |     140    11900    83300 |    56987    52300     44 |  0.005 % |
548.56/549.05	c |    989788 |     140    11900    83300 |    56987    53093     44 |  0.005 % |
548.96/549.49	c |    990659 |     140    11900    83300 |    53306    47790     44 |  0.005 % |
549.46/549.93	c |    991617 |     140    11900    83300 |    53306    48748     44 |  0.005 % |
549.86/550.39	c |    992670 |     140    11900    83300 |    53306    49801     44 |  0.005 % |
550.46/550.95	c |    993829 |     140    11900    83300 |    53306    50960     44 |  0.005 % |
551.16/551.61	c |    995103 |     140    11900    83300 |    53306    52234     44 |  0.005 % |
551.86/552.39	c |    996503 |     140    11900    83300 |    53306    48297     44 |  0.005 % |
552.76/553.26	c |    998044 |     140    11900    83300 |    53306    49838     44 |  0.005 % |
553.66/554.18	c |    999739 |     140    11900    83300 |    53306    51533     44 |  0.005 % |
554.76/555.30	c |   1001602 |     140    11900    83300 | 2147483647    53396     44 |  0.005 % |
555.96/556.45	c |   1003652 |     140    11900    83300 | 2147483647    55446     44 |  0.005 % |
557.26/557.76	c |   1005905 |     140    11900    83300 | 2147483647    57699     44 |  0.005 % |
558.76/559.28	c |   1008383 |     140    11900    83300 | 2147483647    60177     44 |  0.005 % |
560.46/560.93	c |   1011108 |     140    11900    83300 |    61795    55170     44 |  0.005 % |
562.15/562.61	c |   1014105 |     140    11900    83300 |    61795    58167     44 |  0.005 % |
564.15/564.61	c |   1017402 |     140    11900    83300 |    61795    61464     44 |  0.005 % |
566.35/566.88	c |   1021027 |     140    11900    83300 |    56188    50100     44 |  0.005 % |
568.55/569.08	c |   1025014 |     140    11900    83300 |    56188    54087     44 |  0.005 % |
571.15/571.67	c |   1029399 |     140    11900    83300 |    56188    51384     44 |  0.005 % |
573.75/574.20	c |   1034223 |     140    11900    83300 |    51985    50021     44 |  0.005 % |
576.45/576.91	c |   1039528 |     140    11900    83300 |    51985    50121     44 |  0.005 % |
579.84/580.38	c |   1045363 |     140    11900    83300 | 2147483647    55956     44 |  0.005 % |
583.73/584.24	c |   1051782 |     140    11900    83300 |    60593    54819     44 |  0.005 % |
587.93/588.45	c |   1058841 |     140    11900    83300 |    60593    53859     44 |  0.005 % |
591.93/592.44	c |   1066605 |     140    11900    83300 |    55019    54548     44 |  0.005 % |
596.23/596.71	c |   1075146 |     140    11900    83300 |    52011    51947     44 |  0.005 % |
601.02/601.55	c |   1084542 |     140    11900    83300 | 2147483647    56136     44 |  0.005 % |
601.13/601.64	c |   1084642 |     140    11900    83300 | 2147483647    56236     44 |  0.005 % |
601.23/601.71	c |   1084753 |     140    11900    83300 | 2147483647    56347     44 |  0.005 % |
601.23/601.78	c |   1084876 |     140    11900    83300 | 2147483647    56470     44 |  0.005 % |
601.32/601.87	c |   1085011 |     140    11900    83300 | 2147483647    56605     44 |  0.005 % |
601.42/601.98	c |   1085157 |     140    11900    83300 | 2147483647    56751     44 |  0.005 % |
601.62/602.10	c |   1085318 |     140    11900    83300 | 2147483647    56912     44 |  0.005 % |
601.72/602.20	c |   1085494 |     140    11900    83300 | 2147483647    57088     44 |  0.005 % |
601.82/602.33	c |   1085687 |     140    11900    83300 | 2147483647    57281     44 |  0.005 % |
601.92/602.45	c |   1085899 |     140    11900    83300 | 2147483647    57493     44 |  0.005 % |
602.12/602.61	c |   1086132 |     140    11900    83300 | 2147483647    57726     44 |  0.005 % |
602.23/602.74	c |   1086389 |     140    11900    83300 | 2147483647    57983     44 |  0.005 % |
602.42/602.90	c |   1086670 |     140    11900    83300 | 2147483647    58264     44 |  0.005 % |
602.52/603.07	c |   1086981 |     140    11900    83300 | 2147483647    58575     44 |  0.005 % |
602.72/603.29	c |   1087322 |     140    11900    83300 | 2147483647    58916     44 |  0.005 % |
603.02/603.53	c |   1087695 |     140    11900    83300 | 2147483647    59289     44 |  0.005 % |
603.22/603.77	c |   1088105 |     140    11900    83300 | 2147483647    59699     44 |  0.005 % |
603.52/604.04	c |   1088554 |     140    11900    83300 | 2147483647    60148     44 |  0.005 % |
603.92/604.43	c |   1089047 |     140    11900    83300 | 2147483647    60641     44 |  0.005 % |
604.42/604.93	c |   1089591 |     140    11900    83300 | 2147483647    61185     44 |  0.005 % |
604.82/605.40	c |   1090187 |     140    11900    83300 |    61595    54075     44 |  0.005 % |
605.22/605.76	c |   1090843 |     140    11900    83300 |    61595    54731     44 |  0.005 % |
605.72/606.22	c |   1091564 |     140    11900    83300 |    61595    55452     44 |  0.005 % |
606.22/606.77	c |   1092356 |     140    11900    83300 |    61595    56244     44 |  0.005 % |
606.82/607.38	c |   1093227 |     140    11900    83300 |    61595    57115     44 |  0.005 % |
607.52/608.05	c |   1094190 |     140    11900    83300 |    61595    58078     44 |  0.005 % |
608.22/608.72	c |   1095244 |     140    11900    83300 |    61595    59132     44 |  0.005 % |
608.92/609.43	c |   1096402 |     140    11900    83300 |    61595    60290     44 |  0.005 % |
609.72/610.28	c |   1097675 |     140    11900    83300 |    61595    61563     44 |  0.005 % |
610.62/611.10	c |   1099075 |     140    11900    83300 |    61595    53682     44 |  0.005 % |
611.52/612.04	c |   1100615 |     140    11900    83300 |    54608    47312     44 |  0.005 % |
612.22/612.80	c |   1102312 |     140    11900    83300 |    54608    49009     44 |  0.005 % |
613.12/613.65	c |   1104175 |     140    11900    83300 |    54608    50872     44 |  0.005 % |
614.02/614.55	c |   1106225 |     140    11900    83300 |    54608    52922     44 |  0.005 % |
615.22/615.74	c |   1108478 |     140    11900    83300 |    54608    49709     44 |  0.005 % |
616.52/617.03	c |   1110958 |     140    11900    83300 | 2147483647    52189     44 |  0.005 % |
617.91/618.41	c |   1113683 |     140    11900    83300 | 2147483647    54914     44 |  0.005 % |
619.51/620.03	c |   1116680 |     140    11900    83300 | 2147483647    57911     44 |  0.005 % |
621.41/621.93	c |   1119976 |     140    11900    83300 | 2147483647    61207     44 |  0.005 % |
623.61/624.11	c |   1123601 |     140    11900    83300 |    61231    57920     44 |  0.005 % |
625.91/626.49	c |   1127588 |     140    11900    83300 |    61231    54052     44 |  0.005 % |
628.21/628.78	c |   1131974 |     140    11900    83300 |    56465    51364     44 |  0.005 % |
630.92/631.40	c |   1136797 |     140    11900    83300 |    56465    56187     44 |  0.005 % |
633.61/634.13	c |   1142102 |     140    11900    83300 |    52932    49243     44 |  0.005 % |
636.61/637.13	c |   1147937 |     140    11900    83300 |    52932    49779     44 |  0.005 % |
640.11/640.64	c |   1154356 |     140    11900    83300 | 2147483647    56198     44 |  0.005 % |
644.51/645.06	c |   1161417 |     140    11900    83300 |    61842    55971     44 |  0.005 % |
649.31/649.83	c |   1169181 |     140    11900    83300 |    61842    55655     44 |  0.005 % |
654.30/654.81	c |   1177723 |     140    11900    83300 |    56474    50390     44 |  0.005 % |
660.20/660.77	c |   1187117 |     140    11900    83300 |    52668    48098     44 |  0.005 % |
665.70/666.27	c |   1197450 |     140    11900    83300 |    50982    48107     44 |  0.005 % |
665.80/666.32	c |   1197552 |     140    11900    83300 |    50982    48209     44 |  0.005 % |
665.80/666.38	c |   1197663 |     140    11900    83300 |    50982    48320     44 |  0.005 % |
665.90/666.44	c |   1197784 |     140    11900    83300 |    50982    48441     44 |  0.005 % |
666.00/666.52	c |   1197918 |     140    11900    83300 |    50982    48575     44 |  0.005 % |
666.00/666.60	c |   1198064 |     140    11900    83300 |    50982    48721     44 |  0.005 % |
666.10/666.69	c |   1198224 |     140    11900    83300 |    50982    48881     44 |  0.005 % |
666.20/666.79	c |   1198400 |     140    11900    83300 |    50982    49057     44 |  0.005 % |
666.30/666.89	c |   1198593 |     140    11900    83300 |    50982    49250     44 |  0.005 % |
666.50/667.01	c |   1198805 |     140    11900    83300 |    50982    49462     44 |  0.005 % |
666.60/667.16	c |   1199039 |     140    11900    83300 |    50982    49696     44 |  0.005 % |
666.70/667.29	c |   1199295 |     140    11900    83300 |    50982    49952     44 |  0.005 % |
666.90/667.45	c |   1199577 |     140    11900    83300 |    50982    50234     44 |  0.005 % |
667.10/667.62	c |   1199886 |     140    11900    83300 |    50982    50543     44 |  0.005 % |
667.30/667.81	c |   1200226 |     140    11900    83300 | 2147483647    50883     44 |  0.005 % |
667.40/667.97	c |   1200598 |     140    11900    83300 | 2147483647    51255     44 |  0.005 % |
667.70/668.22	c |   1201009 |     140    11900    83300 | 2147483647    51666     44 |  0.005 % |
667.90/668.47	c |   1201458 |     140    11900    83300 | 2147483647    52115     44 |  0.005 % |
668.20/668.76	c |   1201952 |     140    11900    83300 | 2147483647    52609     44 |  0.005 % |
668.49/669.04	c |   1202494 |     140    11900    83300 | 2147483647    53151     44 |  0.005 % |
668.79/669.32	c |   1203090 |     140    11900    83300 | 2147483647    53747     44 |  0.005 % |
669.09/669.67	c |   1203746 |     140    11900    83300 | 2147483647    54403     44 |  0.005 % |
669.59/670.10	c |   1204466 |     140    11900    83300 | 2147483647    55123     44 |  0.005 % |
669.99/670.53	c |   1205259 |     140    11900    83300 | 2147483647    55916     44 |  0.005 % |
670.50/671.04	c |   1206133 |     140    11900    83300 | 2147483647    56790     44 |  0.005 % |
671.09/671.60	c |   1207092 |     140    11900    83300 | 2147483647    57749     44 |  0.005 % |
671.69/672.29	c |   1208145 |     140    11900    83300 | 2147483647    58802     44 |  0.005 % |
672.39/672.99	c |   1209303 |     140    11900    83300 | 2147483647    59960     44 |  0.005 % |
673.29/673.80	c |   1210577 |     140    11900    83300 |    60658    54055     44 |  0.005 % |
674.09/674.62	c |   1211977 |     140    11900    83300 |    60658    55455     44 |  0.005 % |
675.09/675.65	c |   1213519 |     140    11900    83300 |    60658    56997     44 |  0.005 % |
676.19/676.76	c |   1215215 |     140    11900    83300 |    60658    58693     44 |  0.005 % |
677.39/677.95	c |   1217080 |     140    11900    83300 |    60658    60558     44 |  0.005 % |
678.59/679.15	c |   1219131 |     140    11900    83300 |    60658    54114     44 |  0.005 % |
679.79/680.36	c |   1221388 |     140    11900    83300 |    54984    48942     44 |  0.005 % |
681.09/681.63	c |   1223867 |     140    11900    83300 |    54984    51421     44 |  0.005 % |
682.59/683.16	c |   1226592 |     140    11900    83300 |    54984    54146     43 |  0.005 % |
684.39/684.93	c |   1229590 |     140    11900    83300 |    54984    50990     43 |  0.005 % |
686.09/686.62	c |   1232887 |     140    11900    83300 |    51401    48539     43 |  0.005 % |
687.89/688.40	c |   1236512 |     140    11900    83300 |    51401    47018     43 |  0.005 % |
690.09/690.60	c |   1240500 |     140    11900    83300 | 2147483647    51006     43 |  0.005 % |
692.49/693.09	c |   1244885 |     140    11900    83300 | 2147483647    55391     43 |  0.005 % |
695.28/695.87	c |   1249708 |     140    11900    83300 | 2147483647    60214     43 |  0.005 % |
698.48/699.06	c |   1255013 |     140    11900    83300 |    60506    58499     43 |  0.005 % |
702.29/702.80	c |   1260848 |     140    11900    83300 |    55459    48884     43 |  0.005 % |
705.88/706.48	c |   1267266 |     140    11900    83300 |    55459    55302     43 |  0.005 % |
709.68/710.22	c |   1274325 |     140    11900    83300 |    51731    50562     43 |  0.005 % |
713.77/714.36	c |   1282089 |     140    11900    83300 | 2147483647    53146     43 |  0.005 % |
719.17/719.76	c |   1290631 |     140    11900    83300 |    61058    53986     44 |  0.005 % |
724.87/725.49	c |   1300025 |     140    11900    83300 |    55341    55365     44 |  0.005 % |
730.37/730.97	c |   1310359 |     140    11900    83300 |    51957    46755     44 |  0.005 % |
736.07/736.61	c |   1321727 |     140    11900    83300 | 2147483647    52921     44 |  0.005 % |
736.07/736.67	c |   1321827 |     140    11900    83300 | 2147483647    53021     44 |  0.005 % |
736.17/736.72	c |   1321937 |     140    11900    83300 | 2147483647    53131     44 |  0.005 % |
736.27/736.80	c |   1322059 |     140    11900    83300 | 2147483647    53253     44 |  0.005 % |
736.37/736.91	c |   1322192 |     140    11900    83300 | 2147483647    53386     44 |  0.005 % |
736.47/737.01	c |   1322338 |     140    11900    83300 | 2147483647    53532     44 |  0.005 % |
736.57/737.12	c |   1322498 |     140    11900    83300 | 2147483647    53692     44 |  0.005 % |
736.67/737.25	c |   1322674 |     140    11900    83300 | 2147483647    53868     44 |  0.005 % |
736.77/737.37	c |   1322869 |     140    11900    83300 | 2147483647    54063     44 |  0.005 % |
736.96/737.52	c |   1323081 |     140    11900    83300 | 2147483647    54275     44 |  0.005 % |
737.16/737.71	c |   1323315 |     140    11900    83300 | 2147483647    54509     44 |  0.005 % |
737.26/737.89	c |   1323571 |     140    11900    83300 | 2147483647    54765     44 |  0.005 % |
737.47/738.08	c |   1323852 |     140    11900    83300 | 2147483647    55046     44 |  0.005 % |
737.66/738.29	c |   1324162 |     140    11900    83300 | 2147483647    55356     44 |  0.005 % |
737.96/738.51	c |   1324502 |     140    11900    83300 | 2147483647    55696     44 |  0.005 % |
738.26/738.82	c |   1324875 |     140    11900    83300 | 2147483647    56069     44 |  0.005 % |
738.57/739.11	c |   1325286 |     140    11900    83300 | 2147483647    56480     44 |  0.005 % |
738.76/739.39	c |   1325735 |     140    11900    83300 | 2147483647    56929     44 |  0.005 % |
739.16/739.73	c |   1326229 |     140    11900    83300 | 2147483647    57423     44 |  0.005 % |
739.56/740.13	c |   1326771 |     140    11900    83300 | 2147483647    57965     44 |  0.005 % |
739.96/740.55	c |   1327367 |     140    11900    83300 | 2147483647    58561     44 |  0.005 % |
740.36/740.99	c |   1328023 |     140    11900    83300 | 2147483647    59217     44 |  0.005 % |
741.06/741.62	c |   1328744 |     140    11900    83300 | 2147483647    59938     44 |  0.005 % |
741.66/742.27	c |   1329536 |     140    11900    83300 | 2147483647    60730     44 |  0.005 % |
742.46/743.08	c |   1330409 |     140    11900    83300 |    61194    52634     44 |  0.005 % |
743.16/743.78	c |   1331367 |     140    11900    83300 |    61194    53592     44 |  0.005 % |
743.86/744.46	c |   1332421 |     140    11900    83300 |    61194    54646     44 |  0.005 % |
744.56/745.16	c |   1333579 |     140    11900    83300 |    61194    55804     44 |  0.005 % |
745.56/746.18	c |   1334853 |     140    11900    83300 |    61194    57078     44 |  0.005 % |
746.56/747.17	c |   1336254 |     140    11900    83300 |    61194    58479     44 |  0.005 % |
747.66/748.23	c |   1337794 |     140    11900    83300 |    61194    60019     44 |  0.005 % |
748.66/749.29	c |   1339488 |     140    11900    83300 |    61194    52406     44 |  0.005 % |
749.67/750.24	c |   1341352 |     140    11900    83300 |    52923    46411     43 |  0.005 % |
750.56/751.13	c |   1343401 |     140    11900    83300 |    52923    48460     43 |  0.005 % |
751.66/752.25	c |   1345654 |     140    11900    83300 |    52923    50713     43 |  0.005 % |
752.96/753.55	c |   1348132 |     140    11900    83300 |    52923    47893     44 |  0.005 % |
754.26/754.81	c |   1350857 |     140    11900    83300 | 2147483647    50618     44 |  0.005 % |
755.66/756.27	c |   1353854 |     140    11900    83300 | 2147483647    53615     44 |  0.005 % |
757.36/757.97	c |   1357151 |     140    11900    83300 | 2147483647    56912     44 |  0.005 % |
759.55/760.14	c |   1360779 |     140    11900    83300 |    59765    54440     44 |  0.005 % |
761.65/762.24	c |   1364767 |     140    11900    83300 |    59765    58428     44 |  0.005 % |
764.05/764.62	c |   1369153 |     140    11900    83300 |    59765    56232     44 |  0.005 % |
766.55/767.19	c |   1373979 |     140    11900    83300 |    57079    54840     44 |  0.005 % |
769.55/770.12	c |   1379285 |     140    11900    83300 |    57079    54016     44 |  0.005 % |
772.55/773.15	c |   1385120 |     140    11900    83300 |    54732    54103     44 |  0.005 % |
776.24/776.83	c |   1391539 |     140    11900    83300 | 2147483647    55043     44 |  0.005 % |
779.94/780.52	c |   1398598 |     140    11900    83300 | 2147483647    62102     44 |  0.005 % |
784.04/784.62	c |   1406364 |     140    11900    83300 |    63506    61396     44 |  0.005 % |
788.74/789.36	c |   1414905 |     140    11900    83300 |    56279    53483     45 |  0.005 % |
793.64/794.29	c |   1424299 |     140    11900    83300 |    52573    51557     44 |  0.005 % |
799.44/800.03	c |   1434633 |     140    11900    83300 | 2147483647    56627     44 |  0.005 % |
806.93/807.53	c |   1446000 |     140    11900    83300 |    61994    60352     44 |  0.005 % |
813.33/813.98	c |   1458503 |     140    11900    83300 |    55321    50214     44 |  0.005 % |
813.43/814.04	c |   1458604 |     140    11900    83300 |    55321    50315     44 |  0.005 % |
813.52/814.12	c |   1458715 |     140    11900    83300 |    55321    50426     44 |  0.005 % |
813.52/814.19	c |   1458836 |     140    11900    83300 |    55321    50547     44 |  0.005 % |
813.62/814.26	c |   1458971 |     140    11900    83300 |    55321    50682     44 |  0.005 % |
813.72/814.33	c |   1459118 |     140    11900    83300 |    55321    50829     44 |  0.005 % |
813.82/814.40	c |   1459278 |     140    11900    83300 |    55321    50989     44 |  0.005 % |
813.82/814.49	c |   1459456 |     140    11900    83300 |    55321    51167     44 |  0.005 % |
814.02/814.61	c |   1459649 |     140    11900    83300 |    55321    51360     44 |  0.005 % |
814.12/814.72	c |   1459861 |     140    11900    83300 |    55321    51572     44 |  0.005 % |
814.32/814.92	c |   1460094 |     140    11900    83300 |    51711    46218     44 |  0.005 % |
814.43/815.06	c |   1460351 |     140    11900    83300 |    51711    46475     44 |  0.005 % |
814.62/815.21	c |   1460635 |     140    11900    83300 |    51711    46759     44 |  0.005 % |
814.72/815.38	c |   1460948 |     140    11900    83300 |    51711    47072     44 |  0.005 % |
814.92/815.54	c |   1461289 |     140    11900    83300 |    51711    47413     44 |  0.005 % |
815.12/815.72	c |   1461663 |     140    11900    83300 |    51711    47787     44 |  0.005 % |
815.32/815.95	c |   1462072 |     140    11900    83300 |    51711    48196     44 |  0.005 % |
815.63/816.23	c |   1462522 |     140    11900    83300 |    51711    48646     44 |  0.005 % |
815.92/816.52	c |   1463017 |     140    11900    83300 |    51711    49141     44 |  0.005 % |
816.22/816.85	c |   1463559 |     140    11900    83300 |    51711    49683     44 |  0.005 % |
816.62/817.20	c |   1464155 |     140    11900    83300 |    51711    50279     44 |  0.005 % |
816.92/817.53	c |   1464810 |     140    11900    83300 |    51711    50934     44 |  0.005 % |
817.22/817.89	c |   1465533 |     140    11900    83300 |    51711    51657     44 |  0.005 % |
817.82/818.45	c |   1466327 |     140    11900    83300 |    51711    47274     44 |  0.005 % |
818.42/819.02	c |   1467198 |     140    11900    83300 |    51711    48145     44 |  0.005 % |
819.02/819.61	c |   1468156 |     140    11900    83300 |    51711    49103     44 |  0.005 % |
819.62/820.26	c |   1469210 |     140    11900    83300 |    51711    50157     44 |  0.005 % |
820.22/820.85	c |   1470372 |     140    11900    83300 | 2147483647    51319     44 |  0.005 % |
820.92/821.54	c |   1471646 |     140    11900    83300 | 2147483647    52593     44 |  0.005 % |
821.62/822.28	c |   1473046 |     140    11900    83300 | 2147483647    53993     44 |  0.005 % |
822.82/823.41	c |   1474586 |     140    11900    83300 | 2147483647    55533     44 |  0.005 % |
823.92/824.58	c |   1476280 |     140    11900    83300 | 2147483647    57227     44 |  0.005 % |
825.32/825.94	c |   1478143 |     140    11900    83300 | 2147483647    59090     44 |  0.005 % |
826.62/827.27	c |   1480192 |     140    11900    83300 |    60947    52436     44 |  0.005 % |
827.82/828.44	c |   1482446 |     140    11900    83300 |    60947    54690     44 |  0.005 % |
829.02/829.69	c |   1484924 |     140    11900    83300 |    60947    57168     44 |  0.005 % |
830.71/831.31	c |   1487651 |     140    11900    83300 |    60947    59895     44 |  0.005 % |
832.51/833.11	c |   1490648 |     140    11900    83300 |    53922    47317     44 |  0.005 % |
833.91/834.58	c |   1493947 |     140    11900    83300 |    53922    50616     44 |  0.005 % |
835.81/836.50	c |   1497572 |     140    11900    83300 |    53922    48843     44 |  0.005 % |
838.11/838.78	c |   1501560 |     140    11900    83300 | 2147483647    52831     44 |  0.005 % |
840.81/841.45	c |   1505946 |     140    11900    83300 | 2147483647    57217     44 |  0.005 % |
843.51/844.13	c |   1510770 |     140    11900    83300 |    61272    54479     44 |  0.005 % |
846.31/846.92	c |   1516076 |     140    11900    83300 |    61272    59785     44 |  0.005 % |
849.80/850.45	c |   1521911 |     140    11900    83300 |    55470    50020     44 |  0.005 % |
853.20/853.81	c |   1528329 |     140    11900    83300 |    55470    50004     44 |  0.005 % |
856.60/857.28	c |   1535388 |     140    11900    83300 |    51675    51407     44 |  0.005 % |
860.50/861.14	c |   1543152 |     140    11900    83300 | 2147483647    53998     44 |  0.005 % |
865.40/866.00	c |   1551693 |     140    11900    83300 |    60846    56367     44 |  0.005 % |
871.09/871.76	c |   1561088 |     140    11900    83300 |    57192    51424     44 |  0.005 % |
876.49/877.18	c |   1571422 |     140    11900    83300 |    53367    48333     44 |  0.005 % |
882.39/883.07	c |   1582788 |     140    11900    83300 |    51075    48332     44 |  0.005 % |
888.79/889.48	c |   1595292 |     140    11900    83300 | 2147483647    55722     44 |  0.005 % |
896.58/897.27	c |   1609046 |     140    11900    83300 |    60430    55852     44 |  0.005 % |
896.68/897.35	c |   1609146 |     140    11900    83300 |    60430    55952     44 |  0.005 % |
896.78/897.42	c |   1609257 |     140    11900    83300 |    60430    56063     44 |  0.005 % |
896.78/897.50	c |   1609378 |     140    11900    83300 |    60430    56184     44 |  0.005 % |
896.88/897.59	c |   1609512 |     140    11900    83300 |    60430    56318     44 |  0.005 % |
897.08/897.70	c |   1609658 |     140    11900    83300 |    60430    56464     44 |  0.005 % |
897.18/897.80	c |   1609818 |     140    11900    83300 |    60430    56624     44 |  0.005 % |
897.28/897.91	c |   1609994 |     140    11900    83300 |    60430    56800     44 |  0.005 % |
897.38/898.08	c |   1610187 |     140    11900    83300 |    56806    50174     44 |  0.005 % |
897.58/898.20	c |   1610399 |     140    11900    83300 |    56806    50386     44 |  0.005 % |
897.68/898.32	c |   1610635 |     140    11900    83300 |    56806    50622     44 |  0.005 % |
897.78/898.47	c |   1610893 |     140    11900    83300 |    56806    50880     44 |  0.005 % |
897.98/898.62	c |   1611174 |     140    11900    83300 |    56806    51161     44 |  0.005 % |
898.18/898.81	c |   1611483 |     140    11900    83300 |    56806    51470     44 |  0.005 % |
898.38/899.01	c |   1611822 |     140    11900    83300 |    56806    51809     44 |  0.005 % |
898.58/899.22	c |   1612195 |     140    11900    83300 |    56806    52182     44 |  0.005 % |
898.78/899.42	c |   1612605 |     140    11900    83300 |    56806    52592     44 |  0.005 % |
898.98/899.63	c |   1613055 |     140    11900    83300 |    56806    53042     44 |  0.005 % |
899.28/899.97	c |   1613548 |     140    11900    83300 |    56806    53535     44 |  0.005 % |
899.68/900.37	c |   1614091 |     140    11900    83300 |    56806    54078     44 |  0.005 % |
900.08/900.79	c |   1614688 |     140    11900    83300 |    56806    54675     44 |  0.005 % |
900.48/901.17	c |   1615344 |     140    11900    83300 |    56806    55331     44 |  0.005 % |
900.98/901.62	c |   1616064 |     140    11900    83300 |    56806    56051     44 |  0.005 % |
901.48/902.20	c |   1616856 |     140    11900    83300 |    56806    56843     44 |  0.005 % |
902.08/902.72	c |   1617727 |     140    11900    83300 |    56806    50633     44 |  0.005 % |
902.58/903.24	c |   1618685 |     140    11900    83300 |    56806    51591     44 |  0.005 % |
903.08/903.78	c |   1619738 |     140    11900    83300 |    56806    52644     44 |  0.005 % |
903.78/904.41	c |   1620896 |     140    11900    83300 |    52906    47405     44 |  0.005 % |
904.37/905.05	c |   1622169 |     140    11900    83300 |    52906    48678     44 |  0.005 % |
905.07/905.72	c |   1623569 |     140    11900    83300 |    52906    50078     44 |  0.005 % |
906.07/906.74	c |   1625110 |     140    11900    83300 |    52906    51619     44 |  0.005 % |
907.07/907.75	c |   1626804 |     140    11900    83300 |    52906    47406     44 |  0.005 % |
907.98/908.64	c |   1628669 |     140    11900    83300 |    52906    49271     44 |  0.005 % |
908.98/909.65	c |   1630718 |     140    11900    83300 |    50604    46048     44 |  0.005 % |
909.97/910.61	c |   1632971 |     140    11900    83300 |    50604    48301     44 |  0.005 % |
911.07/911.80	c |   1635449 |     140    11900    83300 |    50604    45712     43 |  0.005 % |
912.38/913.03	c |   1638174 |     140    11900    83300 |    50604    48437     44 |  0.005 % |
913.87/914.51	c |   1641172 |     140    11900    83300 | 2147483647    51435     44 |  0.005 % |
915.47/916.13	c |   1644469 |     140    11900    83300 | 2147483647    54732     44 |  0.005 % |
917.37/918.00	c |   1648094 |     140    11900    83300 | 2147483647    58357     44 |  0.005 % |
919.67/920.32	c |   1652081 |     140    11900    83300 |    60265    56207     44 |  0.005 % |
922.17/922.90	c |   1656466 |     140    11900    83300 |    60265    52644     44 |  0.005 % |
924.87/925.52	c |   1661289 |     140    11900    83300 |    56180    50095     44 |  0.005 % |
927.67/928.31	c |   1666596 |     140    11900    83300 |    56180    55402     44 |  0.005 % |
930.56/931.29	c |   1672432 |     140    11900    83300 |    52554    49226     44 |  0.005 % |
933.66/934.35	c |   1678850 |     140    11900    83300 |    52554    50382     44 |  0.005 % |
937.36/938.05	c |   1685910 |     140    11900    83300 | 2147483647    57442     44 |  0.005 % |
942.05/942.74	c |   1693676 |     140    11900    83300 |    61532    58410     44 |  0.005 % |
947.45/948.11	c |   1702218 |     140    11900    83300 |    57092    52195     44 |  0.005 % |
952.65/953.34	c |   1711613 |     140    11900    83300 |    53158    48622     44 |  0.005 % |
957.74/958.42	c |   1721947 |     140    11900    83300 | 2147483647    53634     44 |  0.005 % |
963.84/964.52	c |   1733313 |     140    11900    83300 |    61687    57713     44 |  0.005 % |
971.04/971.70	c |   1745815 |     140    11900    83300 |    56789    55585     44 |  0.005 % |
977.84/978.54	c |   1759568 |     140    11900    83300 |    53182    51723     44 |  0.005 % |
985.33/986.02	c |   1774698 |     140    11900    83300 |    62156    60508     44 |  0.005 % |
985.33/986.07	c |   1774799 |     140    11900    83300 |    62156    60609     44 |  0.005 % |
985.43/986.15	c |   1774910 |     140    11900    83300 |    62156    60720     44 |  0.005 % |
985.53/986.23	c |   1775032 |     140    11900    83300 |    62156    60842     44 |  0.005 % |
985.63/986.35	c |   1775166 |     140    11900    83300 |    62156    60976     44 |  0.005 % |
985.73/986.46	c |   1775312 |     140    11900    83300 |    62156    61122     44 |  0.005 % |
985.83/986.57	c |   1775473 |     140    11900    83300 |    62156    61283     44 |  0.005 % |
985.93/986.68	c |   1775649 |     140    11900    83300 |    62156    61459     44 |  0.005 % |
986.13/986.84	c |   1775843 |     140    11900    83300 |    62156    61653     44 |  0.005 % |
986.23/986.99	c |   1776055 |     140    11900    83300 |    62156    61865     44 |  0.005 % |
986.53/987.20	c |   1776289 |     140    11900    83300 |    62156    62099     44 |  0.005 % |
986.73/987.46	c |   1776546 |     140    11900    83300 |    62156    54017     44 |  0.005 % |
986.93/987.65	c |   1776827 |     140    11900    83300 |    62156    54298     44 |  0.005 % |
987.13/987.85	c |   1777136 |     140    11900    83300 |    62156    54607     44 |  0.005 % |
987.33/988.07	c |   1777476 |     140    11900    83300 |    62156    54947     44 |  0.005 % |
987.63/988.33	c |   1777851 |     140    11900    83300 |    62156    55322     44 |  0.005 % |
987.83/988.59	c |   1778262 |     140    11900    83300 |    62156    55733     44 |  0.005 % |
988.13/988.89	c |   1778715 |     140    11900    83300 |    62156    56186     44 |  0.005 % |
988.53/989.20	c |   1779210 |     140    11900    83300 |    62156    56681     44 |  0.005 % |
988.83/989.54	c |   1779753 |     140    11900    83300 |    62156    57224     44 |  0.005 % |
989.23/989.92	c |   1780353 |     140    11900    83300 |    57471    49843     44 |  0.005 % |
989.53/990.22	c |   1781011 |     140    11900    83300 |    57471    50501     44 |  0.005 % |
989.92/990.65	c |   1781731 |     140    11900    83300 |    57471    51221     44 |  0.005 % |
990.33/991.05	c |   1782525 |     140    11900    83300 |    57471    52015     44 |  0.005 % |
990.82/991.56	c |   1783396 |     140    11900    83300 |    57471    52886     44 |  0.005 % |
991.43/992.14	c |   1784354 |     140    11900    83300 |    57471    53844     44 |  0.005 % |
991.93/992.70	c |   1785407 |     140    11900    83300 |    57471    54897     44 |  0.005 % |
992.63/993.38	c |   1786566 |     140    11900    83300 |    57471    56056     44 |  0.005 % |
993.42/994.16	c |   1787839 |     140    11900    83300 |    57471    57329     44 |  0.005 % |
994.22/994.97	c |   1789239 |     140    11900    83300 |    57471    51484     44 |  0.005 % |
995.02/995.72	c |   1790779 |     140    11900    83300 |    52246    46665     44 |  0.005 % |
995.83/996.53	c |   1792474 |     140    11900    83300 |    52246    48360     44 |  0.005 % |
996.72/997.44	c |   1794337 |     140    11900    83300 |    52246    50223     44 |  0.005 % |
997.72/998.42	c |   1796387 |     140    11900    83300 |    52246    52273     44 |  0.005 % |
998.72/999.49	c |   1798641 |     140    11900    83300 |    52246    49300     44 |  0.005 % |
1000.12/1000.83	c |   1801121 |     140    11900    83300 | 2147483647    51780     44 |  0.005 % |
1001.62/1002.32	c |   1803846 |     140    11900    83300 | 2147483647    54505     44 |  0.005 % |
1003.32/1004.05	c |   1806843 |     140    11900    83300 | 2147483647    57502     44 |  0.005 % |
1005.32/1006.07	c |   1810141 |     140    11900    83300 |    60659    53834     44 |  0.005 % |
1007.22/1007.93	c |   1813766 |     140    11900    83300 |    60659    57459     44 |  0.005 % |
1009.62/1010.32	c |   1817756 |     140    11900    83300 |    60659    54182     44 |  0.005 % |
1011.82/1012.55	c |   1822142 |     140    11900    83300 |    56428    51911     44 |  0.005 % |
1014.41/1015.16	c |   1826965 |     140    11900    83300 |    56428    50508     44 |  0.005 % |
1017.11/1017.81	c |   1832272 |     140    11900    83300 |    53543    50172     44 |  0.005 % |
1019.91/1020.69	c |   1838108 |     140    11900    83300 |    53543    50648     44 |  0.005 % |
1023.51/1024.29	c |   1844527 |     140    11900    83300 | 2147483647    57067     43 |  0.005 % |
1027.31/1028.06	c |   1851587 |     140    11900    83300 |    62541    56599     44 |  0.005 % |
1031.81/1032.56	c |   1859351 |     140    11900    83300 |    62541    55282     44 |  0.005 % |
1036.11/1036.82	c |   1867892 |     140    11900    83300 |    55931    55875     44 |  0.005 % |
1041.01/1041.71	c |   1877287 |     140    11900    83300 |    51897    48389     44 |  0.005 % |
1046.40/1047.15	c |   1887621 |     140    11900    83300 | 2147483647    58723     44 |  0.005 % |
1053.50/1054.20	c |   1898989 |     140    11900    83300 |    61103    54921     44 |  0.005 % |
1059.60/1060.36	c |   1911491 |     140    11900    83300 |    52557    48431     44 |  0.005 % |
1066.69/1067.49	c |   1925246 |     140    11900    83300 | 2147483647    56924     44 |  0.005 % |
1075.79/1076.55	c |   1940374 |     140    11900    83300 |    57869    51525     45 |  0.005 % |
1085.68/1086.44	c |   1957013 |     140    11900    83300 |    54149    49417     44 |  0.005 % |
1085.68/1086.50	c |   1957116 |     140    11900    83300 |    54149    49520     44 |  0.005 % |
1085.78/1086.55	c |   1957226 |     140    11900    83300 |    54149    49630     44 |  0.005 % |
1085.88/1086.61	c |   1957347 |     140    11900    83300 |    54149    49751     44 |  0.005 % |
1085.88/1086.69	c |   1957481 |     140    11900    83300 |    54149    49885     44 |  0.005 % |
1085.99/1086.77	c |   1957632 |     140    11900    83300 |    54149    50036     44 |  0.005 % |
1086.09/1086.85	c |   1957792 |     140    11900    83300 |    54149    50196     44 |  0.005 % |
1086.18/1086.95	c |   1957970 |     140    11900    83300 |    54149    50374     44 |  0.005 % |
1086.28/1087.05	c |   1958163 |     140    11900    83300 |    54149    50567     44 |  0.005 % |
1086.38/1087.15	c |   1958376 |     140    11900    83300 |    54149    50780     44 |  0.005 % |
1086.48/1087.29	c |   1958610 |     140    11900    83300 |    54149    51014     44 |  0.005 % |
1086.68/1087.43	c |   1958867 |     140    11900    83300 |    54149    51271     44 |  0.005 % |
1086.88/1087.60	c |   1959150 |     140    11900    83300 |    54149    51554     44 |  0.005 % |
1086.98/1087.77	c |   1959461 |     140    11900    83300 |    54149    51865     44 |  0.005 % |
1087.19/1087.96	c |   1959801 |     140    11900    83300 |    54149    52205     44 |  0.005 % |
1087.38/1088.19	c |   1960174 |     140    11900    83300 |    52405    47331     44 |  0.005 % |
1087.58/1088.37	c |   1960585 |     140    11900    83300 |    52405    47742     44 |  0.005 % |
1087.78/1088.59	c |   1961035 |     140    11900    83300 |    52405    48192     44 |  0.005 % |
1088.08/1088.83	c |   1961529 |     140    11900    83300 |    52405    48686     44 |  0.005 % |
1088.29/1089.08	c |   1962072 |     140    11900    83300 |    52405    49229     44 |  0.005 % |
1088.68/1089.44	c |   1962669 |     140    11900    83300 |    52405    49826     44 |  0.005 % |
1088.98/1089.79	c |   1963324 |     140    11900    83300 |    52405    50481     44 |  0.005 % |
1089.39/1090.18	c |   1964044 |     140    11900    83300 |    52405    51201     44 |  0.005 % |
1089.89/1090.60	c |   1964836 |     140    11900    83300 |    52405    51993     44 |  0.005 % |
1090.39/1091.12	c |   1965707 |     140    11900    83300 |    52405    47618     44 |  0.005 % |
1090.79/1091.60	c |   1966667 |     140    11900    83300 |    52405    48578     44 |  0.005 % |
1091.39/1092.11	c |   1967721 |     140    11900    83300 |    52405    49632     44 |  0.005 % |
1091.99/1092.71	c |   1968879 |     140    11900    83300 |    52405    50790     44 |  0.005 % |
1092.59/1093.37	c |   1970153 |     140    11900    83300 | 2147483647    52064     44 |  0.005 % |
1093.29/1094.07	c |   1971554 |     140    11900    83300 | 2147483647    53465     44 |  0.005 % |
1094.09/1094.84	c |   1973094 |     140    11900    83300 | 2147483647    55005     44 |  0.005 % |
1095.09/1095.81	c |   1974788 |     140    11900    83300 | 2147483647    56699     44 |  0.005 % |
1096.19/1096.92	c |   1976653 |     140    11900    83300 | 2147483647    58564     44 |  0.005 % |
1097.29/1098.09	c |   1978704 |     140    11900    83300 | 2147483647    60615     44 |  0.005 % |
1098.69/1099.48	c |   1980958 |     140    11900    83300 |    61911    54949     44 |  0.005 % |
1099.89/1100.68	c |   1983436 |     140    11900    83300 |    61911    57427     44 |  0.005 % |
1101.49/1102.23	c |   1986161 |     140    11900    83300 |    61911    60152     44 |  0.005 % |
1103.29/1104.08	c |   1989158 |     140    11900    83300 |    61911    55008     43 |  0.005 % |
1104.99/1105.75	c |   1992455 |     140    11900    83300 |    55852    51108     43 |  0.005 % |
1106.78/1107.60	c |   1996083 |     140    11900    83300 |    55852    54736     43 |  0.005 % |
1109.09/1109.88	c |   2000070 |     140    11900    83300 |    52806    47285     43 |  0.005 % |
1111.39/1112.17	c |   2004456 |     140    11900    83300 |    52806    51671     43 |  0.005 % |
1113.88/1114.69	c |   2009279 |     140    11900    83300 |    52806    51140     44 |  0.005 % |
1116.68/1117.46	c |   2014584 |     140    11900    83300 | 2147483647    56445     44 |  0.005 % |
1120.48/1121.20	c |   2020421 |     140    11900    83300 |    61864    53772     44 |  0.005 % |
1123.98/1124.76	c |   2026840 |     140    11900    83300 |    61864    60191     44 |  0.005 % |
1127.78/1128.54	c |   2033901 |     140    11900    83300 |    55183    51943     44 |  0.005 % |
1131.87/1132.70	c |   2041668 |     140    11900    83300 | 2147483647    54186     44 |  0.005 % |
1137.17/1137.90	c |   2050208 |     140    11900    83300 |    62519    54313     45 |  0.005 % |
1143.37/1144.12	c |   2059602 |     140    11900    83300 |    62519    53989     45 |  0.005 % |
1148.87/1149.60	c |   2069935 |     140    11900    83300 |    54388    50051     45 |  0.005 % |
1154.57/1155.38	c |   2081301 |     140    11900    83300 | 2147483647    51103     45 |  0.005 % |
1162.26/1163.03	c |   2093805 |     140    11900    83300 |    59802    56982     44 |  0.005 % |
1170.66/1171.41	c |   2107557 |     140    11900    83300 |    55775    50720     44 |  0.005 % |
1177.36/1178.10	c |   2122685 |     140    11900    83300 |    51907    49301     44 |  0.005 % |
1186.15/1186.91	c |   2139325 |     140    11900    83300 | 2147483647    60723     44 |  0.005 % |
1196.45/1197.20	c |   2157627 |     140    11900    83300 |    55897    50101     45 |  0.005 % |
1196.45/1197.27	c |   2157727 |     140    11900    83300 |    55897    50201     45 |  0.005 % |
1196.55/1197.33	c |   2157838 |     140    11900    83300 |    55897    50312     45 |  0.005 % |
1196.55/1197.40	c |   2157959 |     140    11900    83300 |    55897    50433     45 |  0.005 % |
1196.65/1197.47	c |   2158092 |     140    11900    83300 |    55897    50566     45 |  0.005 % |
1196.75/1197.56	c |   2158239 |     140    11900    83300 |    55897    50713     45 |  0.005 % |
1196.85/1197.67	c |   2158399 |     140    11900    83300 |    55897    50873     45 |  0.005 % |
1196.95/1197.78	c |   2158575 |     140    11900    83300 |    55897    51049     45 |  0.005 % |
1197.15/1197.95	c |   2158768 |     140    11900    83300 |    55897    51242     45 |  0.005 % |
1197.25/1198.09	c |   2158981 |     140    11900    83300 |    55897    51455     45 |  0.005 % |
1197.45/1198.26	c |   2159217 |     140    11900    83300 |    55897    51691     45 |  0.005 % |
1197.65/1198.43	c |   2159473 |     140    11900    83300 |    55897    51947     45 |  0.005 % |
1197.75/1198.59	c |   2159758 |     140    11900    83300 |    55897    52232     45 |  0.005 % |
1198.05/1198.82	c |   2160068 |     140    11900    83300 |    52474    46370     45 |  0.005 % |
1198.25/1199.01	c |   2160407 |     140    11900    83300 |    52474    46709     45 |  0.005 % |
1198.44/1199.20	c |   2160780 |     140    11900    83300 |    52474    47082     45 |  0.005 % |
1198.64/1199.40	c |   2161189 |     140    11900    83300 |    52474    47491     45 |  0.005 % |
1198.84/1199.61	c |   2161639 |     140    11900    83300 |    52474    47941     45 |  0.005 % |
1199.04/1199.85	c |   2162134 |     140    11900    83300 |    52474    48436     45 |  0.005 % |
1199.35/1200.12	c |   2162677 |     140    11900    83300 |    52474    48979     45 |  0.005 % |
1199.64/1200.40	c |   2163274 |     140    11900    83300 |    52474    49576     45 |  0.005 % |
1199.94/1200.74	c |   2163929 |     140    11900    83300 |    52474    50231     45 |  0.005 % |
1200.05/1200.80	HOME/SatELiteGTI: line 36: 16195 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-1832627-1242785281/watcher-1832627-1242785281 -o /tmp/evaluation-result-1832627-1242785281/solver-1832627-1242785281 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832627-1242785281.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16189
/proc/meminfo: memFree=1712848/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306556978 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 231882850386 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/16189/statm: 1339 235 195 169 0 50 0
[pid=16190] ppid=16189 vsize=5356 CPUtime=0
/proc/16190/stat : 16190 (SatELiteGTI) S 16189 16189 15570 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 306556978 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/16190/statm: 1339 238 198 169 0 50 0
[pid=16192] ppid=16190 vsize=5356 CPUtime=0
/proc/16192/stat : 16192 (SatELiteGTI) R 16190 16189 15570 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882681639 0 0 4096 0 0 0 0 17 1 0 0
/proc/16192/statm: 1339 239 199 169 0 50 0

[startup+0.0744199 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16189
/proc/meminfo: memFree=1712848/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.102374 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16189
/proc/meminfo: memFree=1712848/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.302399 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16189
/proc/meminfo: memFree=1712848/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.701445 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16189
/proc/meminfo: memFree=1712848/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+1.50154 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1709888/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=4548 CPUtime=1.42
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 875 0 0 0 142 0 0 0 25 0 1 0 306556984 4657152 861 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 1137 861 76 171 0 964 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 9904

[startup+3.10172 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1707904/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=6592 CPUtime=3.03
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 1372 0 0 0 302 1 0 0 25 0 1 0 306556984 6750208 1358 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 1648 1358 76 171 0 1475 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 11948

[startup+6.3011 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1704896/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=9132 CPUtime=6.21
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 1988 0 0 0 620 1 0 0 25 0 1 0 306556984 9351168 1974 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 2283 1974 76 171 0 2110 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 14488

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1701376/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=12256 CPUtime=12.61
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 2771 0 0 0 1259 2 0 0 25 0 1 0 306556984 12550144 2757 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 3064 2757 76 171 0 2891 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 17612

[startup+25.5024 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1697280/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=16228 CPUtime=25.4
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 3752 0 0 0 2537 3 0 0 25 0 1 0 306556984 16617472 3738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4057 3738 76 171 0 3884 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 21584

[startup+51.1024 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1697088/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=16360 CPUtime=50.97
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 3786 0 0 0 5094 3 0 0 25 0 1 0 306556984 16752640 3772 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4090 3772 76 171 0 3917 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 21716

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1696896/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=16360 CPUtime=102.14
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 3786 0 0 0 10210 4 0 0 25 0 1 0 306556984 16752640 3772 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4090 3772 76 171 0 3917 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 21716

[startup+162.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1694976/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=18092 CPUtime=162.11
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 4230 0 0 0 16206 5 0 0 25 0 1 0 306556984 18526208 4216 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4523 4216 76 171 0 4350 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 23448

[startup+222.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1694912/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=18092 CPUtime=222.06
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 4230 0 0 0 22201 5 0 0 25 0 1 0 306556984 18526208 4216 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4523 4216 76 171 0 4350 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 23448

[startup+282.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1694784/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=18092 CPUtime=282.02
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 4230 0 0 0 28197 5 0 0 25 0 1 0 306556984 18526208 4216 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4523 4216 76 171 0 4350 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 23448

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1694664/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=18092 CPUtime=342
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 4231 0 0 0 34194 6 0 0 25 0 1 0 306556984 18526208 4217 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4523 4217 76 171 0 4350 0
Current children cumulated CPU time (s) 342.03
Current children cumulated vsize (KiB) 23448

[startup+402.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1694600/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=18092 CPUtime=401.93

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

[pid=16195] ppid=16189 vsize=18092 CPUtime=461.89
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 4231 0 0 0 46183 6 0 0 25 0 1 0 306556984 18526208 4217 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4523 4217 76 171 0 4350 0
Current children cumulated CPU time (s) 461.92
Current children cumulated vsize (KiB) 23448

[startup+522.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1694344/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=18092 CPUtime=521.86
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 4232 0 0 0 52180 6 0 0 25 0 1 0 306556984 18526208 4218 1992294400 134512640 135215339 4294956240 18446744073709551615 134528872 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4523 4218 76 171 0 4350 0
Current children cumulated CPU time (s) 521.89
Current children cumulated vsize (KiB) 23448

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1694216/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=18092 CPUtime=581.8
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 4233 0 0 0 58174 6 0 0 25 0 1 0 306556984 18526208 4219 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4523 4219 76 171 0 4350 0
Current children cumulated CPU time (s) 581.83
Current children cumulated vsize (KiB) 23448

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1694088/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=18092 CPUtime=641.78
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 4233 0 0 0 64171 7 0 0 25 0 1 0 306556984 18526208 4219 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4523 4219 76 171 0 4350 0
Current children cumulated CPU time (s) 641.81
Current children cumulated vsize (KiB) 23448

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1693768/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=18372 CPUtime=701.75
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 4291 0 0 0 70168 7 0 0 25 0 1 0 306556984 18812928 4277 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4593 4277 76 171 0 4420 0
Current children cumulated CPU time (s) 701.78
Current children cumulated vsize (KiB) 23728

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1693704/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=18372 CPUtime=761.72
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 4306 0 0 0 76165 7 0 0 25 0 1 0 306556984 18812928 4292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4593 4292 76 171 0 4420 0
Current children cumulated CPU time (s) 761.75
Current children cumulated vsize (KiB) 23728

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1693256/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=18920 CPUtime=821.69
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 4419 0 0 0 82162 7 0 0 25 0 1 0 306556984 19374080 4405 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4730 4405 76 171 0 4557 0
Current children cumulated CPU time (s) 821.72
Current children cumulated vsize (KiB) 24276

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1693128/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=18920 CPUtime=881.66
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 4419 0 0 0 88159 7 0 0 25 0 1 0 306556984 19374080 4405 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4730 4405 76 171 0 4557 0
Current children cumulated CPU time (s) 881.69
Current children cumulated vsize (KiB) 24276

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1693000/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=18920 CPUtime=941.62
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 4419 0 0 0 94155 7 0 0 25 0 1 0 306556984 19374080 4405 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4730 4405 76 171 0 4557 0
Current children cumulated CPU time (s) 941.65
Current children cumulated vsize (KiB) 24276

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1692808/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=19056 CPUtime=1001.59
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 4458 0 0 0 100152 7 0 0 25 0 1 0 306556984 19513344 4444 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4764 4444 76 171 0 4591 0
Current children cumulated CPU time (s) 1001.62
Current children cumulated vsize (KiB) 24412

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1692552/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=19192 CPUtime=1061.57
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 4493 0 0 0 106150 7 0 0 25 0 1 0 306556984 19652608 4479 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4798 4479 76 171 0 4625 0
Current children cumulated CPU time (s) 1061.6
Current children cumulated vsize (KiB) 24548

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1692232/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=19472 CPUtime=1121.55
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 4544 0 0 0 112147 8 0 0 25 0 1 0 306556984 19939328 4530 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4868 4530 76 171 0 4695 0
Current children cumulated CPU time (s) 1121.58
Current children cumulated vsize (KiB) 24828

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1692040/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=19608 CPUtime=1181.52
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 4581 0 0 0 118144 8 0 0 25 0 1 0 306556984 20078592 4567 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4902 4567 76 171 0 4729 0
Current children cumulated CPU time (s) 1181.55
Current children cumulated vsize (KiB) 24964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 16195
/proc/meminfo: memFree=1691976/2055920 swapFree=4179588/4192956
[pid=16189] ppid=16187 vsize=5356 CPUtime=0.03
/proc/16189/stat : 16189 (SatELiteGTI) S 16187 16189 15570 0 -1 4194304 336 629 0 0 0 0 3 0 17 0 1 0 306556978 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16189/statm: 1339 239 197 169 0 50 0
[pid=16195] ppid=16189 vsize=19608 CPUtime=1200.02
/proc/16195/stat : 16195 (minisat_static) R 16189 16189 15570 0 -1 4194304 4582 0 0 0 119994 8 0 0 25 0 1 0 306556984 20078592 4568 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/16195/statm: 4902 4568 76 171 0 4729 0
Current children cumulated CPU time (s) 1200.05
Current children cumulated vsize (KiB) 24964

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.81
CPU time (s): 1200.07
CPU user time (s): 1199.98
CPU system time (s): 0.093985
CPU usage (%): 99.9384
Max. virtual memory (cumulated for all children) (KiB): 24964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.98
system time used= 0.093985
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5556
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= 28
involuntary context switches= 6656

runsolver used 1.47778 second user time and 3.02754 second system time

The end

Launcher Data

Begin job on node75 at 2009-05-20 04:08:01
IDJOB=1832627
IDBENCH=70277
IDSOLVER=671
FILE ID=node75/1832627-1242785281
PBS_JOBID= 9322360
Free space on /tmp= 66268 MiB

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

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

MD5SUM BENCH= b57ad66e53e78b10a33d8e64aa605409
RANDOM SEED=998526217

node75.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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1713328 kB
Buffers:         25320 kB
Cached:         268080 kB
SwapCached:       7568 kB
Active:          48748 kB
Inactive:       254280 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1713328 kB
SwapTotal:     4192956 kB
SwapFree:      4179588 kB
Dirty:            1900 kB
Writeback:           0 kB
Mapped:          14596 kB
Slab:            25528 kB
Committed_AS:   875752 kB
PageTables:       1424 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= 66268 MiB
End job on node75 at 2009-05-20 04:28:04