Trace number 1832637

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

General information on the benchmark

NameRANDOM/LARGE/7SAT/UNKNOWN/140/
unif-k7-r85-v140-c11900-S2059720696-001.cnf
MD5SUMc4a0eb3415818159d561f36b2a8ffa74
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark27.9298
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.011998 s
0.00/0.02	c ==============================================================================
0.00/0.04	c This is MiniSat 2.0 beta
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Number of variables:  140                                                  |
0.00/0.04	c |  Number of clauses:    11900                                                |
0.03/0.06	c |  Parsing time:         0.01         s                                       |
0.03/0.06	c ============================[ Search Statistics ]==============================
0.03/0.06	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.03/0.06	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.03/0.06	c ===============================================================================
0.03/0.06	c |         0 |     140    11900    83300 |     3966        0    nan |  0.000 % |
0.03/0.07	c |       102 |     140    11900    83300 |     3966      102     43 |  0.005 % |
0.03/0.07	c |       202 |     140    11900    83300 |     3966      202     43 |  0.005 % |
0.03/0.08	c |       305 |     140    11900    83300 |     3966      305     43 |  0.005 % |
0.03/0.09	c |       416 |     140    11900    83300 |     3966      416     43 |  0.005 % |
0.03/0.10	c |       516 |     140    11900    83300 |     3966      516     43 |  0.005 % |
0.03/0.11	c |       626 |     140    11900    83300 |     3966      626     43 |  0.005 % |
0.03/0.11	c |       749 |     140    11900    83300 |     3966      749     43 |  0.005 % |
0.03/0.12	c |       849 |     140    11900    83300 |     3966      849     43 |  0.005 % |
0.03/0.13	c |       959 |     140    11900    83300 |     3966      959     43 |  0.005 % |
0.03/0.14	c |      1081 |     140    11900    83300 |     3966     1081     43 |  0.005 % |
0.03/0.15	c |      1214 |     140    11900    83300 |     3966     1214     43 |  0.005 % |
0.03/0.15	c |      1314 |     140    11900    83300 |     3966     1314     43 |  0.005 % |
0.03/0.16	c |      1425 |     140    11900    83300 |     3966     1425     43 |  0.005 % |
0.03/0.17	c |      1547 |     140    11900    83300 |     3966     1547     43 |  0.005 % |
0.03/0.18	c |      1680 |     140    11900    83300 |     3966     1680     43 |  0.005 % |
0.03/0.19	c |      1826 |     140    11900    83300 |     3966     1826     43 |  0.005 % |
0.03/0.20	c |      1926 |     140    11900    83300 |     3966     1926     44 |  0.005 % |
0.03/0.20	c |      2036 |     140    11900    83300 |     3966     2036     43 |  0.005 % |
0.03/0.21	c |      2159 |     140    11900    83300 |     3966     2159     43 |  0.005 % |
0.03/0.22	c |      2292 |     140    11900    83300 |     3966     2292     43 |  0.005 % |
0.03/0.23	c |      2440 |     140    11900    83300 |     3966     2440     43 |  0.005 % |
0.03/0.25	c |      2600 |     140    11900    83300 |     3966     2600     43 |  0.005 % |
0.03/0.26	c |      2700 |     140    11900    83300 |     3966     2700     43 |  0.005 % |
0.03/0.26	c |      2810 |     140    11900    83300 |     3966     2810     43 |  0.005 % |
0.03/0.27	c |      2931 |     140    11900    83300 |     3966     2931     43 |  0.005 % |
0.03/0.29	c |      3065 |     140    11900    83300 |     3966     3065     43 |  0.005 % |
0.03/0.30	c |      3211 |     140    11900    83300 |     3966     3211     43 |  0.005 % |
0.03/0.31	c |      3371 |     140    11900    83300 |     3966     3371     43 |  0.005 % |
0.03/0.33	c |      3549 |     140    11900    83300 |     3966     3549     43 |  0.005 % |
0.03/0.34	c |      3649 |     140    11900    83300 |     3966     3649     43 |  0.005 % |
0.03/0.34	c |      3759 |     140    11900    83300 |     3966     3759     43 |  0.005 % |
0.03/0.35	c |      3883 |     140    11900    83300 |     3966     3883     43 |  0.005 % |
0.03/0.37	c |      4017 |     140    11900    83300 |     3966     4017     43 |  0.005 % |
0.03/0.38	c |      4164 |     140    11900    83300 |     3966     3763     43 |  0.005 % |
0.03/0.39	c |      4325 |     140    11900    83300 |     3966     3924     43 |  0.005 % |
0.03/0.41	c |      4501 |     140    11900    83300 |     3966     3697     43 |  0.005 % |
0.03/0.43	c |      4695 |     140    11900    83300 |     3966     3891     42 |  0.005 % |
0.03/0.43	c |      4796 |     140    11900    83300 |     3966     3992     43 |  0.005 % |
0.03/0.44	c |      4907 |     140    11900    83300 |     3966     3704     42 |  0.005 % |
0.03/0.45	c |      5029 |     140    11900    83300 |     3966     3826     42 |  0.005 % |
0.03/0.46	c |      5162 |     140    11900    83300 |     3966     3959     42 |  0.005 % |
0.03/0.48	c |      5309 |     140    11900    83300 |     3966     3703     42 |  0.005 % |
0.03/0.49	c |      5469 |     140    11900    83300 |     3966     3863     42 |  0.005 % |
0.03/0.50	c |      5646 |     140    11900    83300 |     3966     3638     42 |  0.005 % |
0.03/0.52	c |      5840 |     140    11900    83300 |     3966     3832     42 |  0.005 % |
0.03/0.54	c |      6053 |     140    11900    83300 |     3966     3642     42 |  0.005 % |
0.03/0.55	c |      6154 |     140    11900    83300 |     3966     3743     42 |  0.005 % |
0.03/0.56	c |      6265 |     140    11900    83300 |     3966     3854     42 |  0.005 % |
0.03/0.57	c |      6386 |     140    11900    83300 |     3966     3975     42 |  0.005 % |
0.03/0.58	c |      6519 |     140    11900    83300 |     3966     3711     42 |  0.005 % |
0.03/0.59	c |      6665 |     140    11900    83300 |     3966     3857     42 |  0.005 % |
0.03/0.60	c |      6827 |     140    11900    83300 |     3966     4019     42 |  0.005 % |
0.03/0.62	c |      7003 |     140    11900    83300 |     3966     3794     42 |  0.005 % |
0.03/0.64	c |      7197 |     140    11900    83300 |     3966     3988     42 |  0.005 % |
0.03/0.66	c |      7409 |     140    11900    83300 |     3966     3802     43 |  0.005 % |
0.03/0.68	c |      7643 |     140    11900    83300 |     3966     4036     43 |  0.005 % |
0.03/0.69	c |      7744 |     140    11900    83300 |     3966     3734     43 |  0.005 % |
0.03/0.70	c |      7855 |     140    11900    83300 |     3966     3845     43 |  0.005 % |
0.03/0.71	c |      7976 |     140    11900    83300 |     3966     3966     43 |  0.005 % |
0.03/0.72	c |      8109 |     140    11900    83300 |     3966     3703     42 |  0.005 % |
0.03/0.73	c |      8257 |     140    11900    83300 |     3966     3851     42 |  0.005 % |
0.03/0.75	c |      8418 |     140    11900    83300 |     3966     4012     42 |  0.005 % |
0.03/0.76	c |      8596 |     140    11900    83300 |     3966     3789     42 |  0.005 % |
0.03/0.78	c |      8789 |     140    11900    83300 |     3966     3982     43 |  0.005 % |
0.03/0.80	c |      9002 |     140    11900    83300 |     3966     3797     43 |  0.005 % |
0.03/0.81	c |      9235 |     140    11900    83300 |     3966     4030     43 |  0.005 % |
0.03/0.84	c |      9491 |     140    11900    83300 |     3966     3883     43 |  0.005 % |
0.03/0.85	c |      9593 |     140    11900    83300 |     3966     3985     43 |  0.005 % |
0.03/0.86	c |      9705 |     140    11900    83300 |     3966     3699     43 |  0.005 % |
0.03/0.86	c |      9827 |     140    11900    83300 |     3966     3821     43 |  0.005 % |
0.03/0.88	c |      9960 |     140    11900    83300 |     3966     3954     43 |  0.005 % |
0.03/0.89	c |     10106 |     140    11900    83300 | 2147483647     4100     43 |  0.005 % |
0.03/0.90	c |     10267 |     140    11900    83300 | 2147483647     4261     43 |  0.005 % |
0.03/0.92	c |     10444 |     140    11900    83300 | 2147483647     4438     43 |  0.005 % |
0.03/0.93	c |     10640 |     140    11900    83300 | 2147483647     4634     43 |  0.005 % |
0.03/0.95	c |     10853 |     140    11900    83300 | 2147483647     4847     43 |  0.005 % |
0.03/0.97	c |     11086 |     140    11900    83300 | 2147483647     5080     43 |  0.005 % |
0.03/1.00	c |     11343 |     140    11900    83300 | 2147483647     5337     43 |  0.005 % |
0.97/1.02	c |     11624 |     140    11900    83300 | 2147483647     5618     43 |  0.005 % |
0.97/1.03	c |     11725 |     140    11900    83300 | 2147483647     5719     43 |  0.005 % |
0.97/1.04	c |     11836 |     140    11900    83300 | 2147483647     5830     43 |  0.005 % |
0.97/1.05	c |     11958 |     140    11900    83300 | 2147483647     5952     43 |  0.005 % |
0.97/1.07	c |     12092 |     140    11900    83300 | 2147483647     6086     43 |  0.005 % |
0.97/1.08	c |     12239 |     140    11900    83300 | 2147483647     6233     43 |  0.005 % |
0.97/1.10	c |     12399 |     140    11900    83300 | 2147483647     6393     43 |  0.005 % |
1.07/1.12	c |     12575 |     140    11900    83300 | 2147483647     6569     43 |  0.005 % |
1.07/1.13	c |     12769 |     140    11900    83300 | 2147483647     6763     43 |  0.005 % |
1.07/1.16	c |     12981 |     140    11900    83300 | 2147483647     6975     43 |  0.005 % |
1.07/1.18	c |     13214 |     140    11900    83300 | 2147483647     7208     43 |  0.005 % |
1.16/1.20	c |     13470 |     140    11900    83300 | 2147483647     7464     43 |  0.005 % |
1.16/1.23	c |     13752 |     140    11900    83300 | 2147483647     7746     43 |  0.005 % |
1.16/1.27	c |     14061 |     140    11900    83300 | 2147483647     8055     43 |  0.005 % |
1.16/1.28	c |     14161 |     140    11900    83300 | 2147483647     8155     43 |  0.005 % |
1.16/1.29	c |     14271 |     140    11900    83300 | 2147483647     8265     43 |  0.005 % |
1.26/1.31	c |     14393 |     140    11900    83300 | 2147483647     8387     43 |  0.005 % |
1.26/1.32	c |     14529 |     140    11900    83300 | 2147483647     8523     43 |  0.005 % |
1.26/1.34	c |     14677 |     140    11900    83300 | 2147483647     8671     43 |  0.005 % |
1.26/1.36	c |     14839 |     140    11900    83300 | 2147483647     8833     43 |  0.005 % |
1.26/1.38	c |     15018 |     140    11900    83300 | 2147483647     9012     43 |  0.005 % |
1.36/1.41	c |     15211 |     140    11900    83300 | 2147483647     9205     43 |  0.005 % |
1.36/1.43	c |     15423 |     140    11900    83300 | 2147483647     9417     43 |  0.005 % |
1.36/1.46	c |     15658 |     140    11900    83300 | 2147483647     9652     43 |  0.005 % |
1.36/1.49	c |     15914 |     140    11900    83300 | 2147483647     9908     43 |  0.005 % |
1.46/1.52	c |     16196 |     140    11900    83300 | 2147483647    10190     43 |  0.005 % |
1.46/1.56	c |     16506 |     140    11900    83300 | 2147483647    10500     43 |  0.005 % |
1.56/1.61	c |     16850 |     140    11900    83300 | 2147483647    10844     43 |  0.005 % |
1.56/1.62	c |     16950 |     140    11900    83300 | 2147483647    10944     43 |  0.005 % |
1.56/1.64	c |     17060 |     140    11900    83300 | 2147483647    11054     43 |  0.005 % |
1.56/1.66	c |     17181 |     140    11900    83300 | 2147483647    11175     43 |  0.005 % |
1.56/1.68	c |     17316 |     140    11900    83300 | 2147483647    11310     43 |  0.005 % |
1.66/1.70	c |     17462 |     140    11900    83300 | 2147483647    11456     43 |  0.005 % |
1.66/1.72	c |     17625 |     140    11900    83300 | 2147483647    11619     43 |  0.005 % |
1.66/1.75	c |     17801 |     140    11900    83300 | 2147483647    11795     43 |  0.005 % |
1.66/1.78	c |     17995 |     140    11900    83300 | 2147483647    11989     43 |  0.005 % |
1.76/1.81	c |     18207 |     140    11900    83300 | 2147483647    12201     43 |  0.005 % |
1.76/1.84	c |     18440 |     140    11900    83300 | 2147483647    12434     43 |  0.005 % |
1.76/1.87	c |     18696 |     140    11900    83300 | 2147483647    12690     43 |  0.005 % |
1.86/1.91	c |     18979 |     140    11900    83300 | 2147483647    12973     43 |  0.005 % |
1.86/1.96	c |     19289 |     140    11900    83300 | 2147483647    13283     43 |  0.005 % |
1.96/2.01	c |     19628 |     140    11900    83300 | 2147483647    13622     43 |  0.005 % |
1.96/2.07	c |     20001 |     140    11900    83300 | 2147483647    13995     43 |  0.005 % |
1.96/2.09	c |     20102 |     140    11900    83300 | 2147483647    14096     43 |  0.005 % |
2.06/2.11	c |     20215 |     140    11900    83300 | 2147483647    14209     43 |  0.005 % |
2.06/2.13	c |     20336 |     140    11900    83300 | 2147483647    14330     43 |  0.005 % |
2.06/2.15	c |     20470 |     140    11900    83300 | 2147483647    14464     43 |  0.005 % |
2.06/2.18	c |     20617 |     140    11900    83300 | 2147483647    14611     43 |  0.005 % |
2.16/2.21	c |     20777 |     140    11900    83300 | 2147483647    14771     43 |  0.005 % |
2.16/2.24	c |     20954 |     140    11900    83300 | 2147483647    14948     43 |  0.005 % |
2.16/2.27	c |     21147 |     140    11900    83300 | 2147483647    15141     43 |  0.005 % |
2.26/2.31	c |     21361 |     140    11900    83300 | 2147483647    15355     43 |  0.005 % |
2.26/2.35	c |     21594 |     140    11900    83300 | 2147483647    15588     43 |  0.005 % |
2.36/2.40	c |     21850 |     140    11900    83300 | 2147483647    15844     43 |  0.005 % |
2.36/2.46	c |     22131 |     140    11900    83300 | 2147483647    16125     43 |  0.005 % |
2.46/2.52	c |     22440 |     140    11900    83300 | 2147483647    16434     43 |  0.005 % |
2.46/2.58	c |     22779 |     140    11900    83300 | 2147483647    16773     43 |  0.005 % |
2.56/2.65	c |     23152 |     140    11900    83300 | 2147483647    17146     43 |  0.005 % |
2.66/2.73	c |     23561 |     140    11900    83300 | 2147483647    17555     43 |  0.005 % |
2.66/2.75	c |     23661 |     140    11900    83300 | 2147483647    17655     43 |  0.005 % |
2.66/2.78	c |     23771 |     140    11900    83300 | 2147483647    17765     43 |  0.005 % |
2.76/2.80	c |     23892 |     140    11900    83300 | 2147483647    17886     43 |  0.005 % |
2.76/2.83	c |     24025 |     140    11900    83300 | 2147483647    18019     43 |  0.005 % |
2.76/2.86	c |     24171 |     140    11900    83300 | 2147483647    18165     43 |  0.005 % |
2.76/2.89	c |     24332 |     140    11900    83300 | 2147483647    18326     43 |  0.005 % |
2.86/2.93	c |     24508 |     140    11900    83300 | 2147483647    18502     43 |  0.005 % |
2.86/2.97	c |     24701 |     140    11900    83300 | 2147483647    18695     43 |  0.005 % |
2.96/3.03	c |     24914 |     140    11900    83300 | 2147483647    18908     43 |  0.005 % |
2.96/3.08	c |     25148 |     140    11900    83300 | 2147483647    19142     43 |  0.005 % |
3.06/3.13	c |     25404 |     140    11900    83300 | 2147483647    19398     43 |  0.005 % |
3.06/3.19	c |     25685 |     140    11900    83300 | 2147483647    19679     43 |  0.005 % |
3.17/3.26	c |     25994 |     140    11900    83300 | 2147483647    19988     43 |  0.005 % |
3.27/3.33	c |     26334 |     140    11900    83300 | 2147483647    20328     43 |  0.005 % |
3.36/3.40	c |     26710 |     140    11900    83300 | 2147483647    20704     43 |  0.005 % |
3.36/3.48	c |     27120 |     140    11900    83300 | 2147483647    21114     43 |  0.005 % |
3.46/3.58	c |     27569 |     140    11900    83300 | 2147483647    21563     43 |  0.005 % |
3.56/3.62	c |     27669 |     140    11900    83300 | 2147483647    21663     43 |  0.005 % |
3.56/3.65	c |     27779 |     140    11900    83300 | 2147483647    21773     43 |  0.005 % |
3.56/3.67	c |     27902 |     140    11900    83300 | 2147483647    21896     43 |  0.005 % |
3.66/3.71	c |     28035 |     140    11900    83300 | 2147483647    22029     43 |  0.005 % |
3.66/3.75	c |     28181 |     140    11900    83300 | 2147483647    22175     43 |  0.005 % |
3.76/3.80	c |     28341 |     140    11900    83300 | 2147483647    22335     43 |  0.005 % |
3.76/3.84	c |     28517 |     140    11900    83300 | 2147483647    22511     43 |  0.005 % |
3.86/3.90	c |     28711 |     140    11900    83300 | 2147483647    22705     43 |  0.005 % |
3.86/3.95	c |     28926 |     140    11900    83300 | 2147483647    22920     43 |  0.005 % |
3.96/4.02	c |     29159 |     140    11900    83300 | 2147483647    23153     43 |  0.005 % |
3.96/4.09	c |     29415 |     140    11900    83300 | 2147483647    23409     43 |  0.005 % |
4.06/4.16	c |     29696 |     140    11900    83300 | 2147483647    23690     43 |  0.005 % |
4.16/4.25	c |     30005 |     140    11900    83300 | 2147483647    23999     43 |  0.005 % |
4.26/4.36	c |     30344 |     140    11900    83300 | 2147483647    24338     43 |  0.005 % |
4.36/4.47	c |     30719 |     140    11900    83300 | 2147483647    24713     43 |  0.005 % |
4.46/4.59	c |     31131 |     140    11900    83300 | 2147483647    25125     43 |  0.005 % |
4.66/4.72	c |     31580 |     140    11900    83300 | 2147483647    25574     43 |  0.005 % |
4.76/4.88	c |     32073 |     140    11900    83300 | 2147483647    26067     43 |  0.005 % |
4.86/4.91	c |     32176 |     140    11900    83300 | 2147483647    26170     43 |  0.005 % |
4.86/4.94	c |     32286 |     140    11900    83300 | 2147483647    26280     43 |  0.005 % |
4.86/4.98	c |     32407 |     140    11900    83300 | 2147483647    26401     43 |  0.005 % |
4.96/5.02	c |     32541 |     140    11900    83300 | 2147483647    26535     43 |  0.005 % |
4.96/5.07	c |     32687 |     140    11900    83300 | 2147483647    26681     43 |  0.005 % |
5.06/5.12	c |     32847 |     140    11900    83300 | 2147483647    26841     43 |  0.005 % |
5.06/5.17	c |     33023 |     140    11900    83300 | 2147483647    27017     43 |  0.005 % |
5.16/5.24	c |     33217 |     140    11900    83300 | 2147483647    27211     43 |  0.005 % |
5.25/5.30	c |     33431 |     140    11900    83300 | 2147483647    27425     43 |  0.005 % |
5.25/5.38	c |     33664 |     140    11900    83300 | 2147483647    27658     43 |  0.005 % |
5.36/5.45	c |     33921 |     140    11900    83300 | 2147483647    27915     43 |  0.005 % |
5.46/5.54	c |     34202 |     140    11900    83300 | 2147483647    28196     43 |  0.005 % |
5.55/5.64	c |     34511 |     140    11900    83300 | 2147483647    28505     43 |  0.005 % |
5.65/5.76	c |     34851 |     140    11900    83300 | 2147483647    28845     43 |  0.005 % |
5.75/5.88	c |     35225 |     140    11900    83300 | 2147483647    29219     43 |  0.005 % |
5.95/6.00	c |     35636 |     140    11900    83300 | 2147483647    29630     43 |  0.005 % |
6.05/6.16	c |     36085 |     140    11900    83300 | 2147483647    30079     43 |  0.005 % |
6.25/6.35	c |     36579 |     140    11900    83300 | 2147483647    30573     43 |  0.005 % |
6.46/6.54	c |     37123 |     140    11900    83300 | 2147483647    31117     43 |  0.005 % |
6.46/6.58	c |     37224 |     140    11900    83300 | 2147483647    31218     43 |  0.005 % |
6.56/6.62	c |     37334 |     140    11900    83300 | 2147483647    31328     43 |  0.005 % |
6.56/6.66	c |     37457 |     140    11900    83300 | 2147483647    31451     43 |  0.005 % |
6.65/6.72	c |     37592 |     140    11900    83300 | 2147483647    31586     43 |  0.005 % |
6.65/6.78	c |     37740 |     140    11900    83300 | 2147483647    31734     43 |  0.005 % |
6.75/6.84	c |     37900 |     140    11900    83300 | 2147483647    31894     43 |  0.005 % |
6.85/6.90	c |     38077 |     140    11900    83300 | 2147483647    32071     43 |  0.005 % |
6.85/6.98	c |     38270 |     140    11900    83300 | 2147483647    32264     43 |  0.005 % |
6.95/7.06	c |     38482 |     140    11900    83300 | 2147483647    32476     43 |  0.005 % |
7.05/7.15	c |     38716 |     140    11900    83300 | 2147483647    32710     43 |  0.005 % |
7.15/7.24	c |     38972 |     140    11900    83300 | 2147483647    32966     43 |  0.005 % |
7.25/7.34	c |     39253 |     140    11900    83300 | 2147483647    33247     43 |  0.005 % |
7.35/7.45	c |     39562 |     140    11900    83300 | 2147483647    33556     43 |  0.005 % |
7.45/7.59	c |     39905 |     140    11900    83300 | 2147483647    33899     43 |  0.005 % |
7.66/7.73	c |     40277 |     140    11900    83300 | 2147483647    34271     43 |  0.005 % |
7.85/7.90	c |     40686 |     140    11900    83300 | 2147483647    34680     43 |  0.005 % |
7.95/8.07	c |     41136 |     140    11900    83300 | 2147483647    35130     43 |  0.005 % |
8.16/8.27	c |     41630 |     140    11900    83300 | 2147483647    35624     43 |  0.005 % |
8.36/8.48	c |     42173 |     140    11900    83300 | 2147483647    36167     43 |  0.005 % |
8.66/8.71	c |     42769 |     140    11900    83300 | 2147483647    36763     43 |  0.005 % |
8.66/8.75	c |     42870 |     140    11900    83300 | 2147483647    36864     43 |  0.005 % |
8.66/8.79	c |     42982 |     140    11900    83300 | 2147483647    36976     43 |  0.005 % |
8.76/8.83	c |     43104 |     140    11900    83300 | 2147483647    37098     43 |  0.005 % |
8.76/8.89	c |     43238 |     140    11900    83300 | 2147483647    37232     43 |  0.005 % |
8.86/8.95	c |     43387 |     140    11900    83300 | 2147483647    37381     43 |  0.005 % |
8.96/9.02	c |     43547 |     140    11900    83300 | 2147483647    37541     43 |  0.005 % |
9.06/9.12	c |     43723 |     140    11900    83300 | 2147483647    37717     43 |  0.005 % |
9.16/9.22	c |     43916 |     140    11900    83300 | 2147483647    37910     43 |  0.005 % |
9.26/9.33	c |     44128 |     140    11900    83300 | 2147483647    38122     43 |  0.005 % |
9.36/9.43	c |     44361 |     140    11900    83300 | 2147483647    38355     43 |  0.005 % |
9.46/9.55	c |     44618 |     140    11900    83300 | 2147483647    38612     43 |  0.005 % |
9.56/9.67	c |     44899 |     140    11900    83300 | 2147483647    38893     43 |  0.005 % |
9.66/9.80	c |     45209 |     140    11900    83300 | 2147483647    39203     43 |  0.005 % |
9.86/9.93	c |     45548 |     140    11900    83300 | 2147483647    39542     43 |  0.005 % |
10.05/10.13	c |     45921 |     140    11900    83300 | 2147483647    39915     43 |  0.005 % |
10.25/10.32	c |     46331 |     140    11900    83300 | 2147483647    40325     43 |  0.005 % |
10.45/10.51	c |     46780 |     140    11900    83300 | 2147483647    40774     43 |  0.005 % |
10.65/10.72	c |     47275 |     140    11900    83300 | 2147483647    41269     43 |  0.005 % |
10.86/10.97	c |     47817 |     140    11900    83300 | 2147483647    41811     43 |  0.005 % |
11.15/11.22	c |     48414 |     140    11900    83300 | 2147483647    42408     43 |  0.005 % |
11.45/11.52	c |     49069 |     140    11900    83300 | 2147483647    43063     43 |  0.005 % |
11.45/11.59	c |     49169 |     140    11900    83300 | 2147483647    43163     43 |  0.005 % |
11.55/11.65	c |     49281 |     140    11900    83300 | 2147483647    43275     43 |  0.005 % |
11.65/11.72	c |     49403 |     140    11900    83300 | 2147483647    43397     43 |  0.005 % |
11.65/11.79	c |     49536 |     140    11900    83300 | 2147483647    43530     43 |  0.005 % |
11.85/11.90	c |     49683 |     140    11900    83300 | 2147483647    43677     43 |  0.005 % |
11.85/11.98	c |     49844 |     140    11900    83300 | 2147483647    43838     43 |  0.005 % |
11.95/12.07	c |     50021 |     140    11900    83300 | 2147483647    44015     43 |  0.005 % |
12.15/12.20	c |     50214 |     140    11900    83300 | 2147483647    44208     43 |  0.005 % |
12.25/12.31	c |     50426 |     140    11900    83300 | 2147483647    44420     43 |  0.005 % |
12.35/12.43	c |     50659 |     140    11900    83300 | 2147483647    44653     43 |  0.005 % |
12.45/12.56	c |     50915 |     140    11900    83300 | 2147483647    44909     43 |  0.005 % |
12.55/12.69	c |     51196 |     140    11900    83300 | 2147483647    45190     43 |  0.005 % |
12.75/12.84	c |     51505 |     140    11900    83300 | 2147483647    45499     43 |  0.005 % |
12.95/13.07	c |     51845 |     140    11900    83300 | 2147483647    45839     43 |  0.005 % |
13.25/13.31	c |     52217 |     140    11900    83300 | 2147483647    46211     43 |  0.005 % |
13.45/13.54	c |     52628 |     140    11900    83300 | 2147483647    46622     43 |  0.005 % |
13.65/13.80	c |     53078 |     140    11900    83300 | 2147483647    47072     43 |  0.005 % |
13.95/14.08	c |     53571 |     140    11900    83300 | 2147483647    47565     43 |  0.005 % |
14.35/14.40	c |     54114 |     140    11900    83300 | 2147483647    48108     43 |  0.005 % |
14.65/14.73	c |     54710 |     140    11900    83300 | 2147483647    48704     43 |  0.005 % |
15.05/15.12	c |     55366 |     140    11900    83300 | 2147483647    49360     43 |  0.005 % |
15.45/15.50	c |     56086 |     140    11900    83300 | 2147483647    50080     43 |  0.005 % |
15.45/15.59	c |     56186 |     140    11900    83300 | 2147483647    50180     43 |  0.005 % |
15.55/15.66	c |     56296 |     140    11900    83300 | 2147483647    50290     43 |  0.005 % |
15.65/15.75	c |     56417 |     140    11900    83300 | 2147483647    50411     43 |  0.005 % |
15.75/15.82	c |     56551 |     140    11900    83300 | 2147483647    50545     43 |  0.005 % |
15.85/15.94	c |     56698 |     140    11900    83300 | 2147483647    50692     43 |  0.005 % |
15.95/16.05	c |     56858 |     140    11900    83300 | 2147483647    50852     43 |  0.005 % |
16.05/16.15	c |     57040 |     140    11900    83300 | 2147483647    51034     43 |  0.005 % |
16.15/16.28	c |     57234 |     140    11900    83300 | 2147483647    51228     43 |  0.005 % |
16.36/16.41	c |     57448 |     140    11900    83300 | 2147483647    51442     43 |  0.005 % |
16.46/16.56	c |     57681 |     140    11900    83300 | 2147483647    51675     43 |  0.005 % |
16.65/16.72	c |     57937 |     140    11900    83300 | 2147483647    51931     43 |  0.005 % |
16.75/16.89	c |     58218 |     140    11900    83300 | 2147483647    52212     43 |  0.005 % |
16.95/17.07	c |     58527 |     140    11900    83300 | 2147483647    52521     43 |  0.005 % |
17.25/17.34	c |     58866 |     140    11900    83300 | 2147483647    52860     43 |  0.005 % |
17.45/17.60	c |     59238 |     140    11900    83300 | 2147483647    53232     43 |  0.005 % |
17.75/17.87	c |     59647 |     140    11900    83300 | 2147483647    53641     43 |  0.005 % |
18.05/18.14	c |     60096 |     140    11900    83300 | 2147483647    54090     43 |  0.005 % |
18.35/18.48	c |     60590 |     140    11900    83300 | 2147483647    54584     43 |  0.005 % |
18.75/18.84	c |     61134 |     140    11900    83300 | 2147483647    55128     43 |  0.005 % |
19.14/19.23	c |     61731 |     140    11900    83300 | 2147483647    55725     43 |  0.005 % |
19.54/19.65	c |     62387 |     140    11900    83300 | 2147483647    56381     43 |  0.005 % |
19.94/20.07	c |     63109 |     140    11900    83300 | 2147483647    57103     43 |  0.005 % |
20.44/20.51	c |     63901 |     140    11900    83300 | 2147483647    57895     43 |  0.005 % |
20.44/20.57	c |     64003 |     140    11900    83300 | 2147483647    57997     43 |  0.005 % |
20.54/20.69	c |     64113 |     140    11900    83300 | 2147483647    58107     43 |  0.005 % |
20.64/20.79	c |     64235 |     140    11900    83300 | 2147483647    58229     43 |  0.005 % |
20.74/20.90	c |     64368 |     140    11900    83300 | 2147483647    58362     43 |  0.005 % |
20.94/21.00	c |     64515 |     140    11900    83300 | 2147483647    58509     43 |  0.005 % |
21.04/21.13	c |     64676 |     140    11900    83300 | 2147483647    58670     43 |  0.005 % |
21.14/21.28	c |     64852 |     140    11900    83300 | 2147483647    58846     43 |  0.005 % |
21.34/21.43	c |     65048 |     140    11900    83300 | 2147483647    59042     43 |  0.005 % |
21.54/21.62	c |     65260 |     140    11900    83300 | 2147483647    59254     43 |  0.005 % |
21.74/21.80	c |     65494 |     140    11900    83300 | 2147483647    59488     43 |  0.005 % |
21.84/22.00	c |     65752 |     140    11900    83300 | 2147483647    59746     43 |  0.005 % |
22.15/22.20	c |     66034 |     140    11900    83300 | 2147483647    60028     43 |  0.005 % |
22.35/22.46	c |     66344 |     140    11900    83300 | 2147483647    60338     43 |  0.005 % |
22.65/22.70	c |     66684 |     140    11900    83300 | 2147483647    60678     43 |  0.005 % |
22.85/22.98	c |     67056 |     140    11900    83300 | 2147483647    61050     43 |  0.005 % |
23.25/23.32	c |     67467 |     140    11900    83300 | 2147483647    61461     43 |  0.005 % |
23.55/23.64	c |     67916 |     140    11900    83300 | 2147483647    61910     43 |  0.005 % |
23.85/23.98	c |     68409 |     140    11900    83300 | 2147483647    62403     43 |  0.005 % |
24.35/24.40	c |     68953 |     140    11900    83300 | 2147483647    62947     43 |  0.005 % |
24.75/24.81	c |     69550 |     140    11900    83300 | 2147483647    63544     43 |  0.005 % |
25.25/25.37	c |     70207 |     140    11900    83300 |    63995    53887     43 |  0.005 % |
25.75/25.81	c |     70927 |     140    11900    83300 |    63995    54607     43 |  0.005 % |
26.15/26.26	c |     71722 |     140    11900    83300 |    63995    55402     43 |  0.005 % |
26.64/26.78	c |     72593 |     140    11900    83300 |    63995    56273     43 |  0.005 % |
26.74/26.87	c |     72694 |     140    11900    83300 |    63995    56374     43 |  0.005 % |
26.84/26.95	c |     72804 |     140    11900    83300 |    63995    56484     43 |  0.005 % |
26.94/27.04	c |     72925 |     140    11900    83300 |    63995    56605     43 |  0.005 % |
27.04/27.14	c |     73058 |     140    11900    83300 |    63995    56738     43 |  0.005 % |
27.14/27.27	c |     73204 |     140    11900    83300 |    63995    56884     43 |  0.005 % |
27.24/27.38	c |     73365 |     140    11900    83300 |    63995    57045     43 |  0.005 % |
27.45/27.51	c |     73541 |     140    11900    83300 |    63995    57221     43 |  0.005 % |
27.54/27.68	c |     73734 |     140    11900    83300 |    63995    57414     43 |  0.005 % |
27.74/27.84	c |     73948 |     140    11900    83300 |    63995    57628     43 |  0.005 % |
27.94/28.00	c |     74182 |     140    11900    83300 |    63995    57862     43 |  0.005 % |
28.04/28.16	c |     74440 |     140    11900    83300 |    63995    58120     43 |  0.005 % |
28.24/28.36	c |     74722 |     140    11900    83300 |    63995    58402     43 |  0.005 % |
28.45/28.56	c |     75033 |     140    11900    83300 |    63995    58713     43 |  0.005 % |
28.74/28.83	c |     75372 |     140    11900    83300 |    63995    59052     43 |  0.005 % |
29.04/29.10	c |     75746 |     140    11900    83300 |    63995    59426     43 |  0.005 % |
29.24/29.38	c |     76158 |     140    11900    83300 |    63995    59838     43 |  0.005 % |
29.55/29.64	c |     76607 |     140    11900    83300 |    63995    60287     43 |  0.005 % |
29.84/29.94	c |     77102 |     140    11900    83300 |    63995    60782     43 |  0.005 % |
30.14/30.24	c |     77644 |     140    11900    83300 |    63995    61324     43 |  0.005 % |
30.54/30.60	c |     78240 |     140    11900    83300 |    63995    61920     43 |  0.005 % |
30.94/31.01	c |     78897 |     140    11900    83300 |    63995    62577     43 |  0.005 % |
31.34/31.45	c |     79617 |     140    11900    83300 |    63995    63297     43 |  0.005 % |
31.84/31.96	c |     80411 |     140    11900    83300 |    63680    53609     43 |  0.005 % |
32.34/32.42	c |     81283 |     140    11900    83300 |    63680    54481     43 |  0.005 % |
32.84/32.92	c |     82243 |     140    11900    83300 |    63680    55441     43 |  0.005 % |
32.84/32.99	c |     82343 |     140    11900    83300 |    63680    55541     43 |  0.005 % |
32.94/33.05	c |     82453 |     140    11900    83300 |    63680    55651     43 |  0.005 % |
33.04/33.12	c |     82575 |     140    11900    83300 |    63680    55773     43 |  0.005 % |
33.14/33.25	c |     82711 |     140    11900    83300 |    63680    55909     43 |  0.005 % |
33.24/33.36	c |     82858 |     140    11900    83300 |    63680    56056     43 |  0.005 % |
33.34/33.46	c |     83020 |     140    11900    83300 |    63680    56218     43 |  0.005 % |
33.54/33.64	c |     83198 |     140    11900    83300 |    63680    56396     43 |  0.005 % |
33.74/33.80	c |     83391 |     140    11900    83300 |    63680    56589     43 |  0.005 % |
33.84/33.96	c |     83603 |     140    11900    83300 |    63680    56801     43 |  0.005 % |
34.04/34.12	c |     83837 |     140    11900    83300 |    63680    57035     43 |  0.005 % |
34.24/34.30	c |     84094 |     140    11900    83300 |    63680    57292     43 |  0.005 % |
34.44/34.51	c |     84376 |     140    11900    83300 |    63680    57574     43 |  0.005 % |
34.64/34.75	c |     84685 |     140    11900    83300 |    63680    57883     43 |  0.005 % |
34.84/34.97	c |     85025 |     140    11900    83300 |    63680    58223     43 |  0.005 % |
35.14/35.28	c |     85398 |     140    11900    83300 |    63680    58596     43 |  0.005 % |
35.44/35.56	c |     85808 |     140    11900    83300 |    63680    59006     43 |  0.005 % |
35.74/35.87	c |     86258 |     140    11900    83300 |    63680    59456     43 |  0.005 % |
36.04/36.19	c |     86751 |     140    11900    83300 |    63680    59949     43 |  0.005 % |
36.44/36.54	c |     87298 |     140    11900    83300 |    63680    60496     43 |  0.005 % |
36.84/36.92	c |     87896 |     140    11900    83300 |    63680    61094     43 |  0.005 % |
37.24/37.34	c |     88551 |     140    11900    83300 |    63680    61749     43 |  0.005 % |
37.84/37.91	c |     89273 |     140    11900    83300 |    63680    62471     43 |  0.005 % |
38.34/38.49	c |     90067 |     140    11900    83300 |    63199    63265     43 |  0.005 % |
38.94/39.08	c |     90938 |     140    11900    83300 |    63199    53634     43 |  0.005 % |
39.53/39.62	c |     91896 |     140    11900    83300 |    63199    54592     43 |  0.005 % |
40.03/40.17	c |     92949 |     140    11900    83300 |    63199    55645     43 |  0.005 % |
40.13/40.24	c |     93050 |     140    11900    83300 |    63199    55746     43 |  0.005 % |
40.23/40.33	c |     93160 |     140    11900    83300 |    63199    55856     43 |  0.005 % |
40.33/40.43	c |     93282 |     140    11900    83300 |    63199    55978     43 |  0.005 % |
40.43/40.51	c |     93417 |     140    11900    83300 |    63199    56113     43 |  0.005 % |
40.53/40.61	c |     93563 |     140    11900    83300 |    63199    56259     43 |  0.005 % |
40.63/40.73	c |     93723 |     140    11900    83300 |    63199    56419     43 |  0.005 % |
40.73/40.86	c |     93899 |     140    11900    83300 |    63199    56595     43 |  0.005 % |
40.83/40.99	c |     94095 |     140    11900    83300 |    63199    56791     43 |  0.005 % |
41.03/41.17	c |     94308 |     140    11900    83300 |    63199    57004     43 |  0.005 % |
41.23/41.35	c |     94541 |     140    11900    83300 |    63199    57237     43 |  0.005 % |
41.43/41.53	c |     94799 |     140    11900    83300 |    63199    57495     43 |  0.005 % |
41.63/41.70	c |     95080 |     140    11900    83300 |    63199    57776     43 |  0.005 % |
41.83/41.93	c |     95389 |     140    11900    83300 |    63199    58085     43 |  0.005 % |
42.03/42.16	c |     95729 |     140    11900    83300 |    63199    58425     43 |  0.005 % |
42.33/42.40	c |     96102 |     140    11900    83300 |    63199    58798     43 |  0.005 % |
42.52/42.68	c |     96511 |     140    11900    83300 |    63199    59207     43 |  0.005 % |
42.93/43.03	c |     96960 |     140    11900    83300 |    63199    59656     43 |  0.005 % |
43.23/43.40	c |     97454 |     140    11900    83300 |    63199    60150     43 |  0.005 % |
43.62/43.80	c |     97996 |     140    11900    83300 |    63199    60692     43 |  0.005 % |
44.12/44.23	c |     98593 |     140    11900    83300 |    63199    61289     43 |  0.005 % |
44.62/44.77	c |     99249 |     140    11900    83300 |    63199    61945     43 |  0.005 % |
45.22/45.36	c |     99969 |     140    11900    83300 |    63199    62665     43 |  0.005 % |
45.82/45.92	c |    100765 |     140    11900    83300 |    62696    52875     43 |  0.005 % |
46.32/46.42	c |    101636 |     140    11900    83300 |    62696    53746     43 |  0.005 % |
46.92/47.00	c |    102594 |     140    11900    83300 |    62696    54704     43 |  0.005 % |
47.62/47.77	c |    103647 |     140    11900    83300 |    62696    55757     43 |  0.005 % |
48.33/48.45	c |    104807 |     140    11900    83300 |    62696    56917     43 |  0.005 % |
48.42/48.52	c |    104907 |     140    11900    83300 |    62696    57017     43 |  0.005 % |
48.52/48.60	c |    105017 |     140    11900    83300 |    62696    57127     43 |  0.005 % |
48.62/48.72	c |    105139 |     140    11900    83300 |    62696    57249     43 |  0.005 % |
48.72/48.82	c |    105273 |     140    11900    83300 |    62696    57383     43 |  0.005 % |
48.82/48.92	c |    105420 |     140    11900    83300 |    62696    57530     43 |  0.005 % |
48.92/49.03	c |    105580 |     140    11900    83300 |    62696    57690     43 |  0.005 % |
49.12/49.20	c |    105758 |     140    11900    83300 |    62696    57868     43 |  0.005 % |
49.22/49.35	c |    105953 |     140    11900    83300 |    62696    58063     43 |  0.005 % |
49.32/49.49	c |    106165 |     140    11900    83300 |    62696    58275     43 |  0.005 % |
49.52/49.68	c |    106399 |     140    11900    83300 |    62696    58509     43 |  0.005 % |
49.72/49.86	c |    106657 |     140    11900    83300 |    62696    58767     43 |  0.005 % |
49.92/50.04	c |    106938 |     140    11900    83300 |    62696    59048     43 |  0.005 % |
50.12/50.25	c |    107248 |     140    11900    83300 |    62696    59358     43 |  0.005 % |
50.32/50.49	c |    107587 |     140    11900    83300 |    62696    59697     43 |  0.005 % |
50.72/50.82	c |    107963 |     140    11900    83300 |    62696    60073     43 |  0.005 % |
51.02/51.13	c |    108373 |     140    11900    83300 |    62696    60483     43 |  0.005 % |
51.32/51.47	c |    108822 |     140    11900    83300 |    62696    60932     43 |  0.005 % |
51.62/51.79	c |    109315 |     140    11900    83300 |    62696    61425     43 |  0.005 % |
52.02/52.16	c |    109858 |     140    11900    83300 |    62696    61968     43 |  0.005 % |
52.42/52.59	c |    110455 |     140    11900    83300 |    62111    52614     43 |  0.005 % |
52.82/52.98	c |    111110 |     140    11900    83300 |    62111    53269     43 |  0.005 % |
53.32/53.44	c |    111833 |     140    11900    83300 |    62111    53992     43 |  0.005 % |
53.72/53.89	c |    112625 |     140    11900    83300 |    62111    54784     43 |  0.005 % |
54.32/54.43	c |    113496 |     140    11900    83300 |    62111    55655     43 |  0.005 % |
54.82/54.97	c |    114456 |     140    11900    83300 |    62111    56615     43 |  0.005 % |
55.42/55.57	c |    115509 |     140    11900    83300 |    62111    57668     43 |  0.005 % |
56.32/56.42	c |    116667 |     140    11900    83300 |    62111    58826     43 |  0.005 % |
57.22/57.32	c |    117942 |     140    11900    83300 |    62111    60101     43 |  0.005 % |
57.22/57.38	c |    118045 |     140    11900    83300 |    62111    60204     43 |  0.005 % |
57.32/57.49	c |    118155 |     140    11900    83300 |    62111    60314     43 |  0.005 % |
57.42/57.57	c |    118276 |     140    11900    83300 |    62111    60435     43 |  0.005 % |
57.52/57.68	c |    118409 |     140    11900    83300 |    62111    60568     43 |  0.005 % |
57.62/57.79	c |    118555 |     140    11900    83300 |    62111    60714     43 |  0.005 % |
57.82/57.92	c |    118717 |     140    11900    83300 |    62111    60876     43 |  0.005 % |
57.92/58.05	c |    118893 |     140    11900    83300 |    62111    61052     43 |  0.005 % |
58.02/58.19	c |    119090 |     140    11900    83300 |    62111    61249     43 |  0.005 % |
58.22/58.38	c |    119302 |     140    11900    83300 |    62111    61461     43 |  0.005 % |
58.42/58.56	c |    119535 |     140    11900    83300 |    62111    61694     43 |  0.005 % |
58.62/58.77	c |    119792 |     140    11900    83300 |    62111    61951     43 |  0.005 % |
58.92/59.03	c |    120074 |     140    11900    83300 |    62159    52257     43 |  0.005 % |
59.12/59.22	c |    120383 |     140    11900    83300 |    62159    52566     43 |  0.005 % |
59.32/59.43	c |    120724 |     140    11900    83300 |    62159    52907     43 |  0.005 % |
59.52/59.67	c |    121096 |     140    11900    83300 |    62159    53279     43 |  0.005 % |
59.82/59.94	c |    121505 |     140    11900    83300 |    62159    53688     43 |  0.005 % |
60.12/60.22	c |    121954 |     140    11900    83300 |    62159    54137     43 |  0.005 % |
60.42/60.53	c |    122449 |     140    11900    83300 |    62159    54632     43 |  0.005 % |
60.72/60.87	c |    122991 |     140    11900    83300 |    62159    55174     43 |  0.005 % |
61.12/61.22	c |    123589 |     140    11900    83300 |    62159    55772     43 |  0.005 % |
61.52/61.68	c |    124244 |     140    11900    83300 |    62159    56427     43 |  0.005 % |
62.01/62.14	c |    124964 |     140    11900    83300 |    62159    57147     43 |  0.005 % |
62.52/62.64	c |    125756 |     140    11900    83300 |    62159    57939     43 |  0.005 % |
63.01/63.15	c |    126627 |     140    11900    83300 |    62159    58810     43 |  0.005 % |
63.52/63.70	c |    127585 |     140    11900    83300 |    62159    59768     43 |  0.005 % |
64.31/64.44	c |    128638 |     140    11900    83300 |    62159    60821     43 |  0.005 % |
65.11/65.22	c |    129796 |     140    11900    83300 |    62159    61979     43 |  0.005 % |
65.92/66.06	c |    131071 |     140    11900    83300 |    62185    53408     43 |  0.005 % |
66.71/66.89	c |    132473 |     140    11900    83300 |    62185    54810     43 |  0.005 % |
66.81/66.96	c |    132575 |     140    11900    83300 |    62185    54912     43 |  0.005 % |
66.92/67.04	c |    132685 |     140    11900    83300 |    62185    55022     43 |  0.005 % |
67.02/67.13	c |    132806 |     140    11900    83300 |    62185    55143     43 |  0.005 % |
67.11/67.22	c |    132939 |     140    11900    83300 |    62185    55276     43 |  0.005 % |
67.21/67.33	c |    133087 |     140    11900    83300 |    62185    55424     43 |  0.005 % |
67.31/67.46	c |    133248 |     140    11900    83300 |    62185    55585     43 |  0.005 % |
67.51/67.60	c |    133424 |     140    11900    83300 |    62185    55761     43 |  0.005 % |
67.61/67.73	c |    133617 |     140    11900    83300 |    62185    55954     43 |  0.005 % |
67.71/67.85	c |    133830 |     140    11900    83300 |    62185    56167     43 |  0.005 % |
67.91/68.00	c |    134063 |     140    11900    83300 |    62185    56400     43 |  0.005 % |
68.01/68.19	c |    134319 |     140    11900    83300 |    62185    56656     43 |  0.005 % |
68.21/68.39	c |    134601 |     140    11900    83300 |    62185    56938     43 |  0.005 % |
68.51/68.61	c |    134910 |     140    11900    83300 |    62185    57247     43 |  0.005 % |
68.71/68.84	c |    135249 |     140    11900    83300 |    62185    57586     43 |  0.005 % |
69.01/69.10	c |    135623 |     140    11900    83300 |    62185    57960     43 |  0.005 % |
69.21/69.35	c |    136032 |     140    11900    83300 |    62185    58369     43 |  0.005 % |
69.51/69.69	c |    136481 |     140    11900    83300 |    62185    58818     43 |  0.005 % |
69.91/70.01	c |    136974 |     140    11900    83300 |    62185    59311     43 |  0.005 % |
70.21/70.35	c |    137516 |     140    11900    83300 |    62185    59853     43 |  0.005 % |
70.71/70.86	c |    138112 |     140    11900    83300 |    62185    60449     43 |  0.005 % |
71.21/71.33	c |    138767 |     140    11900    83300 |    62185    61104     43 |  0.005 % |
71.71/71.84	c |    139487 |     140    11900    83300 |    62185    61824     43 |  0.005 % |
72.31/72.44	c |    140280 |     140    11900    83300 |    52274    44168     43 |  0.005 % |
72.71/72.87	c |    141152 |     140    11900    83300 |    52274    45040     43 |  0.005 % |
73.21/73.39	c |    142112 |     140    11900    83300 |    52274    46000     43 |  0.005 % |
73.81/73.93	c |    143165 |     140    11900    83300 |    52274    47053     43 |  0.005 % |
74.40/74.51	c |    144325 |     140    11900    83300 |    52274    48213     43 |  0.005 % |
75.00/75.12	c |    145598 |     140    11900    83300 |    52274    49486     43 |  0.005 % |
75.81/75.93	c |    146998 |     140    11900    83300 |    52274    50886     43 |  0.005 % |
76.70/76.83	c |    148539 |     140    11900    83300 |    52274    46656     43 |  0.005 % |
76.81/76.90	c |    148639 |     140    11900    83300 |    52274    46756     43 |  0.005 % |
76.81/76.97	c |    148749 |     140    11900    83300 |    52274    46866     43 |  0.005 % |
76.91/77.04	c |    148870 |     140    11900    83300 |    52274    46987     43 |  0.005 % |
77.00/77.12	c |    149003 |     140    11900    83300 |    52274    47120     43 |  0.005 % |
77.10/77.22	c |    149149 |     140    11900    83300 |    52274    47266     43 |  0.005 % |
77.20/77.31	c |    149309 |     140    11900    83300 |    52274    47426     43 |  0.005 % |
77.30/77.41	c |    149485 |     140    11900    83300 |    52274    47602     43 |  0.005 % |
77.40/77.53	c |    149678 |     140    11900    83300 |    52274    47795     43 |  0.005 % |
77.50/77.64	c |    149890 |     140    11900    83300 |    52274    48007     43 |  0.005 % |
77.60/77.79	c |    150124 |     140    11900    83300 |    48117    43014     43 |  0.005 % |
77.80/77.91	c |    150382 |     140    11900    83300 |    48117    43272     43 |  0.005 % |
77.91/78.05	c |    150664 |     140    11900    83300 |    48117    43554     43 |  0.005 % |
78.01/78.20	c |    150973 |     140    11900    83300 |    48117    43863     43 |  0.005 % |
78.20/78.36	c |    151312 |     140    11900    83300 |    48117    44202     43 |  0.005 % |
78.40/78.56	c |    151684 |     140    11900    83300 |    48117    44574     43 |  0.005 % |
78.60/78.76	c |    152093 |     140    11900    83300 |    48117    44983     43 |  0.005 % |
78.90/79.04	c |    152542 |     140    11900    83300 |    48117    45432     43 |  0.005 % |
79.20/79.32	c |    153035 |     140    11900    83300 |    48117    45925     43 |  0.005 % |
79.50/79.62	c |    153577 |     140    11900    83300 |    48117    46467     43 |  0.005 % |
79.80/79.94	c |    154173 |     140    11900    83300 |    48117    47063     43 |  0.005 % |
80.10/80.30	c |    154828 |     140    11900    83300 |    48117    47718     43 |  0.005 % |
80.50/80.69	c |    155548 |     140    11900    83300 |    48117    43620     43 |  0.005 % |
80.90/81.07	c |    156340 |     140    11900    83300 |    48117    44412     43 |  0.005 % |
81.40/81.50	c |    157211 |     140    11900    83300 |    48117    45283     43 |  0.005 % |
81.80/81.99	c |    158171 |     140    11900    83300 |    48117    46243     43 |  0.005 % |
82.40/82.51	c |    159224 |     140    11900    83300 |    48117    47296     43 |  0.005 % |
82.90/83.09	c |    160383 |     140    11900    83300 | 2147483647    48455     43 |  0.005 % |
83.50/83.68	c |    161657 |     140    11900    83300 | 2147483647    49729     43 |  0.005 % |
84.19/84.30	c |    163058 |     140    11900    83300 | 2147483647    51130     43 |  0.005 % |
85.09/85.25	c |    164599 |     140    11900    83300 | 2147483647    52671     43 |  0.005 % |
86.09/86.26	c |    166293 |     140    11900    83300 | 2147483647    54365     43 |  0.005 % |
86.19/86.32	c |    166395 |     140    11900    83300 | 2147483647    54467     43 |  0.005 % |
86.29/86.40	c |    166507 |     140    11900    83300 | 2147483647    54579     43 |  0.005 % |
86.39/86.50	c |    166630 |     140    11900    83300 | 2147483647    54702     43 |  0.005 % |
86.49/86.60	c |    166764 |     140    11900    83300 | 2147483647    54836     43 |  0.005 % |
86.59/86.70	c |    166911 |     140    11900    83300 | 2147483647    54983     43 |  0.005 % |
86.69/86.81	c |    167071 |     140    11900    83300 | 2147483647    55143     43 |  0.005 % |
86.79/86.96	c |    167247 |     140    11900    83300 | 2147483647    55319     43 |  0.005 % |
86.89/87.08	c |    167440 |     140    11900    83300 | 2147483647    55512     43 |  0.005 % |
87.09/87.23	c |    167653 |     140    11900    83300 | 2147483647    55725     43 |  0.005 % |
87.19/87.38	c |    167886 |     140    11900    83300 | 2147483647    55958     43 |  0.005 % |
87.39/87.53	c |    168142 |     140    11900    83300 | 2147483647    56214     43 |  0.005 % |
87.59/87.70	c |    168423 |     140    11900    83300 | 2147483647    56495     43 |  0.005 % |
87.79/87.92	c |    168732 |     140    11900    83300 | 2147483647    56804     43 |  0.005 % |
87.99/88.14	c |    169072 |     140    11900    83300 | 2147483647    57144     43 |  0.005 % |
88.29/88.46	c |    169444 |     140    11900    83300 | 2147483647    57516     43 |  0.005 % |
88.59/88.73	c |    169854 |     140    11900    83300 | 2147483647    57926     43 |  0.005 % |
88.89/89.05	c |    170303 |     140    11900    83300 |    58073    51461     43 |  0.005 % |
89.19/89.31	c |    170796 |     140    11900    83300 |    58073    51954     43 |  0.005 % |
89.39/89.60	c |    171339 |     140    11900    83300 |    58073    52497     43 |  0.005 % |
89.69/89.89	c |    171936 |     140    11900    83300 |    58073    53094     43 |  0.005 % |
90.19/90.30	c |    172591 |     140    11900    83300 |    58073    53749     43 |  0.005 % |
90.59/90.79	c |    173314 |     140    11900    83300 |    58073    54472     43 |  0.005 % |
91.19/91.34	c |    174106 |     140    11900    83300 |    58073    55264     43 |  0.005 % |
91.69/91.84	c |    174977 |     140    11900    83300 |    58073    56135     43 |  0.005 % |
92.19/92.38	c |    175935 |     140    11900    83300 |    58073    57093     43 |  0.005 % |
92.89/93.05	c |    176989 |     140    11900    83300 |    58073    50699     43 |  0.005 % |
93.49/93.67	c |    178147 |     140    11900    83300 |    58073    51857     43 |  0.005 % |
94.29/94.41	c |    179420 |     140    11900    83300 |    58073    53130     43 |  0.005 % |
94.99/95.18	c |    180821 |     140    11900    83300 |    53710    47959     43 |  0.005 % |
95.88/96.00	c |    182362 |     140    11900    83300 |    53710    49500     43 |  0.005 % |
96.78/96.94	c |    184056 |     140    11900    83300 |    53710    51194     43 |  0.005 % |
97.88/98.01	c |    185920 |     140    11900    83300 |    53710    53058     43 |  0.005 % |
97.88/98.07	c |    186020 |     140    11900    83300 |    53710    53158     43 |  0.005 % |
97.98/98.15	c |    186130 |     140    11900    83300 |    53710    53268     43 |  0.005 % |
98.08/98.24	c |    186251 |     140    11900    83300 |    53710    53389     43 |  0.005 % |
98.18/98.33	c |    186385 |     140    11900    83300 |    53710    53523     43 |  0.005 % |
98.28/98.41	c |    186532 |     140    11900    83300 |    53710    53670     43 |  0.005 % |
98.38/98.57	c |    186692 |     140    11900    83300 |    53710    47610     44 |  0.005 % |
98.48/98.69	c |    186871 |     140    11900    83300 |    53710    47789     44 |  0.005 % |
98.69/98.81	c |    187064 |     140    11900    83300 |    53710    47982     44 |  0.005 % |
98.79/98.95	c |    187277 |     140    11900    83300 |    53710    48195     44 |  0.005 % |
98.89/99.09	c |    187512 |     140    11900    83300 |    53710    48430     44 |  0.005 % |
99.08/99.26	c |    187768 |     140    11900    83300 |    53710    48686     44 |  0.005 % |
99.28/99.43	c |    188049 |     140    11900    83300 |    53710    48967     44 |  0.005 % |
99.48/99.64	c |    188358 |     140    11900    83300 |    53710    49276     44 |  0.005 % |
99.68/99.84	c |    188697 |     140    11900    83300 |    53710    49615     44 |  0.005 % |
99.89/100.05	c |    189069 |     140    11900    83300 |    53710    49987     44 |  0.005 % |
100.18/100.31	c |    189478 |     140    11900    83300 |    53710    50396     44 |  0.005 % |
100.38/100.59	c |    189930 |     140    11900    83300 |    53710    50848     44 |  0.005 % |
100.68/100.89	c |    190423 |     140    11900    83300 |    50920    45370     44 |  0.005 % |
100.98/101.13	c |    190965 |     140    11900    83300 |    50920    45912     44 |  0.005 % |
101.18/101.39	c |    191561 |     140    11900    83300 |    50920    46508     44 |  0.005 % |
101.68/101.81	c |    192216 |     140    11900    83300 |    50920    47163     44 |  0.005 % |
102.08/102.21	c |    192936 |     140    11900    83300 |    50920    47883     44 |  0.005 % |
102.48/102.65	c |    193728 |     140    11900    83300 |    50920    48675     44 |  0.005 % |
102.98/103.12	c |    194599 |     140    11900    83300 |    50920    49546     44 |  0.005 % |
103.48/103.69	c |    195557 |     140    11900    83300 |    50920    50504     44 |  0.005 % |
104.18/104.30	c |    196611 |     140    11900    83300 |    50920    46152     44 |  0.005 % |
104.68/104.83	c |    197769 |     140    11900    83300 |    50920    47310     44 |  0.005 % |
105.28/105.45	c |    199042 |     140    11900    83300 |    50920    48583     44 |  0.005 % |
106.07/106.25	c |    200442 |     140    11900    83300 | 2147483647    49983     44 |  0.005 % |
106.87/107.01	c |    201984 |     140    11900    83300 | 2147483647    51525     44 |  0.005 % |
107.68/107.87	c |    203680 |     140    11900    83300 | 2147483647    53221     44 |  0.005 % |
108.78/108.95	c |    205545 |     140    11900    83300 | 2147483647    55086     44 |  0.005 % |
110.07/110.24	c |    207594 |     140    11900    83300 | 2147483647    57135     44 |  0.005 % |
110.17/110.33	c |    207696 |     140    11900    83300 | 2147483647    57237     44 |  0.005 % |
110.17/110.40	c |    207806 |     140    11900    83300 | 2147483647    57347     44 |  0.005 % |
110.27/110.49	c |    207927 |     140    11900    83300 | 2147483647    57468     44 |  0.005 % |
110.37/110.59	c |    208060 |     140    11900    83300 | 2147483647    57601     44 |  0.005 % |
110.57/110.72	c |    208206 |     140    11900    83300 | 2147483647    57747     44 |  0.005 % |
110.67/110.85	c |    208367 |     140    11900    83300 | 2147483647    57908     44 |  0.005 % |
110.77/110.99	c |    208543 |     140    11900    83300 | 2147483647    58084     44 |  0.005 % |
110.97/111.14	c |    208737 |     140    11900    83300 | 2147483647    58278     44 |  0.005 % |
111.17/111.32	c |    208951 |     140    11900    83300 | 2147483647    58492     44 |  0.005 % |
111.27/111.48	c |    209184 |     140    11900    83300 | 2147483647    58725     44 |  0.005 % |
111.47/111.66	c |    209441 |     140    11900    83300 | 2147483647    58982     44 |  0.005 % |
111.67/111.84	c |    209723 |     140    11900    83300 | 2147483647    59264     44 |  0.005 % |
111.87/112.03	c |    210033 |     140    11900    83300 |    59543    59574     44 |  0.005 % |
112.17/112.33	c |    210373 |     140    11900    83300 |    59543    51903     44 |  0.005 % |
112.37/112.56	c |    210745 |     140    11900    83300 |    59543    52275     44 |  0.005 % |
112.67/112.81	c |    211155 |     140    11900    83300 |    59543    52685     44 |  0.005 % |
112.87/113.06	c |    211605 |     140    11900    83300 |    59543    53135     44 |  0.005 % |
113.17/113.32	c |    212099 |     140    11900    83300 |    59543    53629     44 |  0.005 % |
113.47/113.68	c |    212642 |     140    11900    83300 |    59543    54172     44 |  0.005 % |
113.87/114.06	c |    213238 |     140    11900    83300 |    59543    54768     44 |  0.005 % |
114.27/114.47	c |    213893 |     140    11900    83300 |    59543    55423     44 |  0.005 % |
114.77/114.94	c |    214613 |     140    11900    83300 |    59543    56143     44 |  0.005 % |
115.17/115.38	c |    215406 |     140    11900    83300 |    59543    56936     44 |  0.005 % |
115.67/115.89	c |    216277 |     140    11900    83300 |    59543    57807     44 |  0.005 % |
116.27/116.49	c |    217235 |     140    11900    83300 |    59543    58765     44 |  0.005 % |
116.97/117.17	c |    218289 |     140    11900    83300 |    59543    51676     44 |  0.005 % |
117.57/117.77	c |    219448 |     140    11900    83300 |    59543    52835     44 |  0.005 % |
118.27/118.44	c |    220723 |     140    11900    83300 |    53388    46983     44 |  0.005 % |
118.97/119.12	c |    222124 |     140    11900    83300 |    53388    48384     44 |  0.005 % |
119.77/119.90	c |    223664 |     140    11900    83300 |    53388    49924     44 |  0.005 % |
120.57/120.77	c |    225358 |     140    11900    83300 |    53388    51618     44 |  0.005 % |
121.67/121.87	c |    227222 |     140    11900    83300 |    53388    47946     44 |  0.005 % |
122.57/122.75	c |    229271 |     140    11900    83300 |    53388    49995     44 |  0.005 % |
123.57/123.79	c |    231524 |     140    11900    83300 | 2147483647    52248     44 |  0.005 % |
123.67/123.88	c |    231624 |     140    11900    83300 | 2147483647    52348     44 |  0.005 % |
123.77/123.95	c |    231737 |     140    11900    83300 | 2147483647    52461     44 |  0.005 % |
123.87/124.03	c |    231859 |     140    11900    83300 | 2147483647    52583     44 |  0.005 % |
123.97/124.12	c |    231993 |     140    11900    83300 | 2147483647    52717     44 |  0.005 % |
124.08/124.20	c |    232139 |     140    11900    83300 | 2147483647    52863     44 |  0.005 % |
124.08/124.29	c |    232299 |     140    11900    83300 | 2147483647    53023     44 |  0.005 % |
124.18/124.39	c |    232476 |     140    11900    83300 | 2147483647    53200     44 |  0.005 % |
124.27/124.48	c |    232670 |     140    11900    83300 | 2147483647    53394     44 |  0.005 % |
124.47/124.60	c |    232883 |     140    11900    83300 | 2147483647    53607     44 |  0.005 % |
124.57/124.74	c |    233117 |     140    11900    83300 | 2147483647    53841     44 |  0.005 % |
124.67/124.88	c |    233375 |     140    11900    83300 | 2147483647    54099     44 |  0.005 % |
124.87/125.04	c |    233658 |     140    11900    83300 | 2147483647    54382     44 |  0.005 % |
125.07/125.23	c |    233967 |     140    11900    83300 | 2147483647    54691     44 |  0.005 % |
125.27/125.44	c |    234307 |     140    11900    83300 | 2147483647    55031     44 |  0.005 % |
125.47/125.67	c |    234679 |     140    11900    83300 | 2147483647    55403     44 |  0.005 % |
125.77/125.92	c |    235088 |     140    11900    83300 | 2147483647    55812     44 |  0.005 % |
126.07/126.28	c |    235538 |     140    11900    83300 | 2147483647    56262     44 |  0.005 % |
126.47/126.62	c |    236031 |     140    11900    83300 | 2147483647    56755     44 |  0.005 % |
126.87/127.02	c |    236573 |     140    11900    83300 | 2147483647    57297     44 |  0.005 % |
127.27/127.42	c |    237169 |     140    11900    83300 | 2147483647    57893     44 |  0.005 % |
127.67/127.85	c |    237826 |     140    11900    83300 | 2147483647    58550     44 |  0.005 % |
128.17/128.34	c |    238550 |     140    11900    83300 | 2147483647    59274     44 |  0.005 % |
128.67/128.87	c |    239342 |     140    11900    83300 | 2147483647    60066     44 |  0.005 % |
129.27/129.49	c |    240213 |     140    11900    83300 |    60724    52472     44 |  0.005 % |
129.76/129.99	c |    241171 |     140    11900    83300 |    60724    53430     44 |  0.005 % |
130.36/130.57	c |    242226 |     140    11900    83300 |    60724    54485     44 |  0.005 % |
130.96/131.19	c |    243387 |     140    11900    83300 |    60724    55646     44 |  0.005 % |
131.66/131.82	c |    244662 |     140    11900    83300 |    60724    56921     44 |  0.005 % |
132.46/132.61	c |    246063 |     140    11900    83300 |    60724    58322     44 |  0.005 % |
133.46/133.64	c |    247603 |     140    11900    83300 |    60724    59862     44 |  0.005 % |
134.56/134.74	c |    249297 |     140    11900    83300 |    60724    53427     44 |  0.005 % |
135.46/135.68	c |    251160 |     140    11900    83300 |    54132    48198     44 |  0.005 % |
136.46/136.67	c |    253210 |     140    11900    83300 |    54132    50248     44 |  0.005 % |
137.56/137.79	c |    255464 |     140    11900    83300 |    54132    52502     44 |  0.005 % |
138.85/139.03	c |    257943 |     140    11900    83300 |    54132    49337     44 |  0.005 % |
138.85/139.09	c |    258043 |     140    11900    83300 |    54132    49437     44 |  0.005 % |
138.95/139.16	c |    258153 |     140    11900    83300 |    54132    49547     44 |  0.005 % |
139.05/139.24	c |    258274 |     140    11900    83300 |    54132    49668     44 |  0.005 % |
139.15/139.31	c |    258408 |     140    11900    83300 |    54132    49802     44 |  0.005 % |
139.15/139.39	c |    258554 |     140    11900    83300 |    54132    49948     44 |  0.005 % |
139.25/139.49	c |    258714 |     140    11900    83300 |    54132    50108     44 |  0.005 % |
139.35/139.59	c |    258891 |     140    11900    83300 |    54132    50285     44 |  0.005 % |
139.56/139.70	c |    259085 |     140    11900    83300 |    54132    50479     44 |  0.005 % |
139.65/139.84	c |    259299 |     140    11900    83300 |    54132    50693     44 |  0.005 % |
139.75/139.98	c |    259532 |     140    11900    83300 |    54132    50926     44 |  0.005 % |
139.95/140.14	c |    259789 |     140    11900    83300 |    54132    51183     44 |  0.005 % |
140.15/140.33	c |    260071 |     140    11900    83300 |    51394    46022     44 |  0.005 % |
140.35/140.52	c |    260380 |     140    11900    83300 |    51394    46331     44 |  0.005 % |
140.45/140.68	c |    260720 |     140    11900    83300 |    51394    46671     44 |  0.005 % |
140.66/140.88	c |    261092 |     140    11900    83300 |    51394    47043     44 |  0.005 % |
140.85/141.07	c |    261501 |     140    11900    83300 |    51394    47452     44 |  0.005 % |
141.15/141.32	c |    261950 |     140    11900    83300 |    51394    47901     44 |  0.005 % |
141.45/141.61	c |    262444 |     140    11900    83300 |    51394    48395     44 |  0.005 % |
141.76/141.91	c |    262987 |     140    11900    83300 |    51394    48938     44 |  0.005 % |
142.05/142.23	c |    263583 |     140    11900    83300 |    51394    49534     44 |  0.005 % |
142.35/142.60	c |    264239 |     140    11900    83300 |    51394    50190     44 |  0.005 % |
142.76/142.98	c |    264960 |     140    11900    83300 |    51394    50911     44 |  0.005 % |
143.25/143.46	c |    265753 |     140    11900    83300 |    51394    46559     44 |  0.005 % |
143.65/143.86	c |    266625 |     140    11900    83300 |    51394    47431     44 |  0.005 % |
144.15/144.32	c |    267583 |     140    11900    83300 |    51394    48389     44 |  0.005 % |
144.75/144.90	c |    268636 |     140    11900    83300 |    51394    49442     44 |  0.005 % |
145.25/145.48	c |    269795 |     140    11900    83300 |    51394    50601     44 |  0.005 % |
145.95/146.15	c |    271068 |     140    11900    83300 | 2147483647    51874     44 |  0.005 % |
146.75/146.95	c |    272470 |     140    11900    83300 | 2147483647    53276     44 |  0.005 % |
147.65/147.83	c |    274010 |     140    11900    83300 | 2147483647    54816     44 |  0.005 % |
148.75/148.93	c |    275704 |     140    11900    83300 | 2147483647    56510     44 |  0.005 % |
149.85/150.09	c |    277568 |     140    11900    83300 | 2147483647    58374     44 |  0.005 % |
151.15/151.37	c |    279617 |     140    11900    83300 | 2147483647    60423     44 |  0.005 % |
152.45/152.67	c |    281870 |     140    11900    83300 |    60807    54364     44 |  0.005 % |
153.95/154.13	c |    284348 |     140    11900    83300 |    60807    56842     44 |  0.005 % |
155.65/155.80	c |    287073 |     140    11900    83300 |    60807    59567     44 |  0.005 % |
155.65/155.88	c |    287173 |     140    11900    83300 |    60807    59667     44 |  0.005 % |
155.75/155.96	c |    287284 |     140    11900    83300 |    60807    59778     44 |  0.005 % |
155.85/156.05	c |    287405 |     140    11900    83300 |    60807    59899     44 |  0.005 % |
155.95/156.15	c |    287539 |     140    11900    83300 |    60807    60033     44 |  0.005 % |
156.05/156.27	c |    287685 |     140    11900    83300 |    60807    60179     44 |  0.005 % |
156.14/156.37	c |    287845 |     140    11900    83300 |    60807    60339     44 |  0.005 % |
156.24/156.48	c |    288021 |     140    11900    83300 |    60807    60515     44 |  0.005 % |
156.44/156.68	c |    288216 |     140    11900    83300 |    60807    60710     44 |  0.005 % |
156.74/156.90	c |    288428 |     140    11900    83300 |    60807    52535     44 |  0.005 % |
156.84/157.07	c |    288663 |     140    11900    83300 |    60807    52770     44 |  0.005 % |
157.05/157.24	c |    288919 |     140    11900    83300 |    60807    53026     44 |  0.005 % |
157.24/157.42	c |    289202 |     140    11900    83300 |    60807    53309     44 |  0.005 % |
157.44/157.60	c |    289511 |     140    11900    83300 |    60807    53618     44 |  0.005 % |
157.64/157.86	c |    289852 |     140    11900    83300 |    60807    53959     44 |  0.005 % |
157.94/158.13	c |    290224 |     140    11900    83300 |    54108    46805     44 |  0.005 % |
158.15/158.34	c |    290633 |     140    11900    83300 |    54108    47214     44 |  0.005 % |
158.34/158.59	c |    291083 |     140    11900    83300 |    54108    47664     44 |  0.005 % |
158.64/158.89	c |    291576 |     140    11900    83300 |    54108    48157     44 |  0.005 % |
159.04/159.21	c |    292118 |     140    11900    83300 |    54108    48699     44 |  0.005 % |
159.35/159.54	c |    292714 |     140    11900    83300 |    54108    49295     44 |  0.005 % |
159.74/159.90	c |    293369 |     140    11900    83300 |    54108    49950     44 |  0.005 % |
160.04/160.27	c |    294089 |     140    11900    83300 |    54108    50670     44 |  0.005 % |
160.54/160.76	c |    294881 |     140    11900    83300 |    54108    51462     44 |  0.005 % |
161.04/161.26	c |    295754 |     140    11900    83300 |    54108    52335     44 |  0.005 % |
161.64/161.80	c |    296713 |     140    11900    83300 |    54108    53294     44 |  0.005 % |
162.14/162.38	c |    297767 |     140    11900    83300 |    54108    48066     44 |  0.005 % |
162.74/162.94	c |    298925 |     140    11900    83300 |    54108    49224     44 |  0.005 % |
163.34/163.56	c |    300198 |     140    11900    83300 |    50300    45027     44 |  0.005 % |
163.94/164.18	c |    301599 |     140    11900    83300 |    50300    46428     44 |  0.005 % |
164.94/165.10	c |    303140 |     140    11900    83300 |    50300    47969     44 |  0.005 % |
165.84/166.02	c |    304835 |     140    11900    83300 |    50300    49664     44 |  0.005 % |
166.74/166.98	c |    306699 |     140    11900    83300 |    50300    46494     44 |  0.005 % |
167.74/167.97	c |    308748 |     140    11900    83300 |    50300    48543     44 |  0.005 % |
169.04/169.25	c |    311003 |     140    11900    83300 | 2147483647    50798     44 |  0.005 % |
170.54/170.77	c |    313481 |     140    11900    83300 | 2147483647    53276     44 |  0.005 % |
172.04/172.27	c |    316207 |     140    11900    83300 | 2147483647    56002     44 |  0.005 % |
173.84/174.06	c |    319205 |     140    11900    83300 | 2147483647    59000     44 |  0.005 % |
173.93/174.13	c |    319306 |     140    11900    83300 | 2147483647    59101     44 |  0.005 % |
174.03/174.21	c |    319417 |     140    11900    83300 | 2147483647    59212     44 |  0.005 % |
174.03/174.29	c |    319538 |     140    11900    83300 | 2147483647    59333     44 |  0.005 % |
174.23/174.43	c |    319673 |     140    11900    83300 | 2147483647    59468     44 |  0.005 % |
174.33/174.53	c |    319821 |     140    11900    83300 | 2147483647    59616     44 |  0.005 % |
174.43/174.67	c |    319983 |     140    11900    83300 | 2147483647    59778     44 |  0.005 % |
174.63/174.85	c |    320159 |     140    11900    83300 |    59796    52320     44 |  0.005 % |
174.73/174.97	c |    320352 |     140    11900    83300 |    59796    52513     44 |  0.005 % |
174.93/175.11	c |    320564 |     140    11900    83300 |    59796    52725     44 |  0.005 % |
175.13/175.31	c |    320800 |     140    11900    83300 |    59796    52961     44 |  0.005 % |
175.23/175.47	c |    321056 |     140    11900    83300 |    59796    53217     44 |  0.005 % |
175.43/175.67	c |    321338 |     140    11900    83300 |    59796    53499     44 |  0.005 % |
175.63/175.89	c |    321648 |     140    11900    83300 |    59796    53809     44 |  0.005 % |
175.93/176.10	c |    321988 |     140    11900    83300 |    59796    54149     44 |  0.005 % |
176.13/176.33	c |    322362 |     140    11900    83300 |    59796    54523     44 |  0.005 % |
176.33/176.59	c |    322771 |     140    11900    83300 |    59796    54932     44 |  0.005 % |
176.63/176.85	c |    323220 |     140    11900    83300 |    59796    55381     44 |  0.005 % |
176.93/177.13	c |    323713 |     140    11900    83300 |    59796    55874     44 |  0.005 % |
177.23/177.44	c |    324255 |     140    11900    83300 |    59796    56416     44 |  0.005 % |
177.53/177.78	c |    324852 |     140    11900    83300 |    59796    57013     44 |  0.005 % |
177.93/178.18	c |    325507 |     140    11900    83300 |    59796    57668     44 |  0.005 % |
178.53/178.75	c |    326227 |     140    11900    83300 |    59796    58388     44 |  0.005 % |
179.03/179.28	c |    327019 |     140    11900    83300 |    59796    59180     44 |  0.005 % |
179.73/179.95	c |    327890 |     140    11900    83300 |    59796    51165     44 |  0.005 % |
180.23/180.46	c |    328848 |     140    11900    83300 |    59796    52123     44 |  0.005 % |
180.92/181.10	c |    329901 |     140    11900    83300 |    59796    53176     44 |  0.005 % |
181.42/181.69	c |    331059 |     140    11900    83300 |    53276    46679     44 |  0.005 % |
182.12/182.33	c |    332332 |     140    11900    83300 |    53276    47952     44 |  0.005 % |
182.82/183.07	c |    333732 |     140    11900    83300 |    53276    49352     44 |  0.005 % |
183.72/183.90	c |    335272 |     140    11900    83300 |    53276    50892     44 |  0.005 % |
184.63/184.84	c |    336967 |     140    11900    83300 |    53276    52587     44 |  0.005 % |
185.52/185.78	c |    338830 |     140    11900    83300 |    53276    48430     44 |  0.005 % |
186.52/186.74	c |    340879 |     140    11900    83300 |    49603    45461     44 |  0.005 % |
187.52/187.78	c |    343135 |     140    11900    83300 |    49603    47717     44 |  0.005 % |
188.72/188.96	c |    345613 |     140    11900    83300 |    49603    45229     44 |  0.005 % |
190.03/190.22	c |    348339 |     140    11900    83300 |    49603    47955     44 |  0.005 % |
191.52/191.76	c |    351336 |     140    11900    83300 | 2147483647    50952     44 |  0.005 % |
193.32/193.59	c |    354633 |     140    11900    83300 | 2147483647    54249     44 |  0.005 % |
193.42/193.66	c |    354733 |     140    11900    83300 | 2147483647    54349     44 |  0.005 % |
193.52/193.73	c |    354845 |     140    11900    83300 | 2147483647    54461     44 |  0.005 % |
193.62/193.80	c |    354966 |     140    11900    83300 | 2147483647    54582     44 |  0.005 % |
193.62/193.88	c |    355100 |     140    11900    83300 | 2147483647    54716     44 |  0.005 % |
193.72/193.98	c |    355248 |     140    11900    83300 | 2147483647    54864     44 |  0.005 % |
193.82/194.07	c |    355410 |     140    11900    83300 | 2147483647    55026     44 |  0.005 % |
193.92/194.18	c |    355587 |     140    11900    83300 | 2147483647    55203     44 |  0.005 % |
194.12/194.34	c |    355780 |     140    11900    83300 | 2147483647    55396     44 |  0.005 % |
194.22/194.49	c |    355993 |     140    11900    83300 | 2147483647    55609     44 |  0.005 % |
194.42/194.66	c |    356228 |     140    11900    83300 | 2147483647    55844     44 |  0.005 % |
194.62/194.81	c |    356484 |     140    11900    83300 | 2147483647    56100     44 |  0.005 % |
194.72/194.99	c |    356766 |     140    11900    83300 | 2147483647    56382     44 |  0.005 % |
195.02/195.20	c |    357075 |     140    11900    83300 | 2147483647    56691     44 |  0.005 % |
195.22/195.47	c |    357415 |     140    11900    83300 | 2147483647    57031     44 |  0.005 % |
195.52/195.75	c |    357787 |     140    11900    83300 | 2147483647    57403     44 |  0.005 % |
195.82/196.05	c |    358196 |     140    11900    83300 | 2147483647    57812     44 |  0.005 % |
196.12/196.35	c |    358645 |     140    11900    83300 | 2147483647    58261     44 |  0.005 % |
196.42/196.66	c |    359139 |     140    11900    83300 | 2147483647    58755     44 |  0.005 % |
196.82/197.01	c |    359681 |     140    11900    83300 | 2147483647    59297     44 |  0.005 % |
197.12/197.39	c |    360279 |     140    11900    83300 |    59616    52664     44 |  0.005 % |
197.52/197.73	c |    360934 |     140    11900    83300 |    59616    53319     44 |  0.005 % |
197.82/198.10	c |    361654 |     140    11900    83300 |    59616    54039     44 |  0.005 % |
198.32/198.54	c |    362447 |     140    11900    83300 |    59616    54832     44 |  0.005 % |
198.72/198.99	c |    363318 |     140    11900    83300 |    59616    55703     44 |  0.005 % |
199.32/199.57	c |    364276 |     140    11900    83300 |    59616    56661     44 |  0.005 % |
200.02/200.24	c |    365330 |     140    11900    83300 |    59616    57715     44 |  0.005 % |
200.72/200.94	c |    366490 |     140    11900    83300 |    59616    58875     44 |  0.005 % |
201.52/201.74	c |    367763 |     140    11900    83300 |    59616    52464     44 |  0.005 % |
202.32/202.51	c |    369163 |     140    11900    83300 |    59616    53864     44 |  0.005 % |
203.22/203.46	c |    370706 |     140    11900    83300 |    54701    48436     44 |  0.005 % |
204.01/204.29	c |    372400 |     140    11900    83300 |    54701    50130     44 |  0.005 % |
204.91/205.18	c |    374263 |     140    11900    83300 |    54701    51993     44 |  0.005 % |
206.01/206.28	c |    376312 |     140    11900    83300 |    54701    54042     44 |  0.005 % |
207.21/207.47	c |    378567 |     140    11900    83300 |    54701    50822     44 |  0.005 % |
208.51/208.77	c |    381047 |     140    11900    83300 | 2147483647    53302     44 |  0.005 % |
210.01/210.21	c |    383772 |     140    11900    83300 | 2147483647    56027     44 |  0.005 % |
211.81/212.01	c |    386770 |     140    11900    83300 | 2147483647    59025     44 |  0.005 % |
214.01/214.27	c |    390066 |     140    11900    83300 |    62255    54112     44 |  0.005 % |
216.01/216.23	c |    393691 |     140    11900    83300 |    62255    57737     44 |  0.005 % |
216.01/216.28	c |    393793 |     140    11900    83300 |    62255    57839     44 |  0.005 % |
216.11/216.35	c |    393903 |     140    11900    83300 |    62255    57949     44 |  0.005 % |
216.21/216.44	c |    394024 |     140    11900    83300 |    62255    58070     44 |  0.005 % |
216.31/216.55	c |    394158 |     140    11900    83300 |    62255    58204     44 |  0.005 % |
216.41/216.65	c |    394306 |     140    11900    83300 |    62255    58352     44 |  0.005 % |
216.51/216.75	c |    394466 |     140    11900    83300 |    62255    58512     44 |  0.005 % |
216.61/216.87	c |    394643 |     140    11900    83300 |    62255    58689     44 |  0.005 % |
216.71/216.99	c |    394837 |     140    11900    83300 |    62255    58883     44 |  0.005 % |
216.91/217.13	c |    395051 |     140    11900    83300 |    62255    59097     44 |  0.005 % |
217.11/217.31	c |    395284 |     140    11900    83300 |    62255    59330     44 |  0.005 % |
217.20/217.49	c |    395542 |     140    11900    83300 |    62255    59588     44 |  0.005 % |
217.51/217.73	c |    395825 |     140    11900    83300 |    62255    59871     44 |  0.005 % |
217.70/217.95	c |    396136 |     140    11900    83300 |    62255    60182     44 |  0.005 % |
217.90/218.19	c |    396475 |     140    11900    83300 |    62255    60521     44 |  0.005 % |
218.20/218.44	c |    396847 |     140    11900    83300 |    62255    60893     44 |  0.005 % |
218.50/218.70	c |    397256 |     140    11900    83300 |    62255    61302     44 |  0.005 % |
218.80/219.03	c |    397705 |     140    11900    83300 |    62255    61751     44 |  0.005 % |
219.10/219.35	c |    398201 |     140    11900    83300 |    62255    62247     44 |  0.005 % |
219.50/219.73	c |    398743 |     140    11900    83300 |    62255    53531     44 |  0.005 % |
219.90/220.11	c |    399340 |     140    11900    83300 |    62255    54128     44 |  0.005 % |
220.30/220.52	c |    399996 |     140    11900    83300 |    62255    54784     44 |  0.005 % |
220.70/220.96	c |    400716 |     140    11900    83300 |    54790    47465     44 |  0.005 % |
221.09/221.39	c |    401510 |     140    11900    83300 |    54790    48259     44 |  0.005 % |
221.59/221.89	c |    402382 |     140    11900    83300 |    54790    49131     44 |  0.005 % |
222.09/222.37	c |    403341 |     140    11900    83300 |    54790    50090     44 |  0.005 % |
222.69/222.93	c |    404395 |     140    11900    83300 |    54790    51144     44 |  0.005 % |
223.29/223.55	c |    405553 |     140    11900    83300 |    54790    52302     44 |  0.005 % |
224.19/224.41	c |    406829 |     140    11900    83300 |    54790    53578     44 |  0.005 % |
225.09/225.30	c |    408230 |     140    11900    83300 |    54790    47978     44 |  0.005 % |
225.89/226.11	c |    409770 |     140    11900    83300 |    54790    49518     44 |  0.005 % |
226.69/226.96	c |    411465 |     140    11900    83300 |    49748    45207     44 |  0.005 % |
227.59/227.84	c |    413329 |     140    11900    83300 |    49748    47071     44 |  0.005 % |
228.59/228.83	c |    415378 |     140    11900    83300 |    49748    49120     44 |  0.005 % |
229.59/229.89	c |    417631 |     140    11900    83300 |    49748    46392     44 |  0.005 % |
230.89/231.10	c |    420111 |     140    11900    83300 | 2147483647    48872     44 |  0.005 % |
232.29/232.58	c |    422836 |     140    11900    83300 | 2147483647    51597     44 |  0.005 % |
234.09/234.30	c |    425833 |     140    11900    83300 | 2147483647    54594     44 |  0.005 % |
235.89/236.14	c |    429129 |     140    11900    83300 | 2147483647    57890     44 |  0.005 % |
237.98/238.25	c |    432756 |     140    11900    83300 |    58761    55217     44 |  0.005 % |
240.28/240.55	c |    436743 |     140    11900    83300 |    58761    52480     44 |  0.005 % |
240.38/240.60	c |    436844 |     140    11900    83300 |    58761    52581     44 |  0.005 % |
240.38/240.65	c |    436954 |     140    11900    83300 |    58761    52691     44 |  0.005 % |
240.48/240.73	c |    437075 |     140    11900    83300 |    58761    52812     44 |  0.005 % |
240.59/240.84	c |    437210 |     140    11900    83300 |    58761    52947     44 |  0.005 % |
240.69/240.92	c |    437356 |     140    11900    83300 |    58761    53093     44 |  0.005 % |
240.78/241.03	c |    437518 |     140    11900    83300 |    58761    53255     44 |  0.005 % |
240.88/241.15	c |    437695 |     140    11900    83300 |    58761    53432     44 |  0.005 % |
240.98/241.27	c |    437888 |     140    11900    83300 |    58761    53625     44 |  0.005 % |
241.08/241.39	c |    438100 |     140    11900    83300 |    58761    53837     44 |  0.005 % |
241.28/241.52	c |    438333 |     140    11900    83300 |    58761    54070     44 |  0.005 % |
241.38/241.66	c |    438589 |     140    11900    83300 |    58761    54326     44 |  0.005 % |
241.58/241.84	c |    438870 |     140    11900    83300 |    58761    54607     44 |  0.005 % |
241.79/242.04	c |    439179 |     140    11900    83300 |    58761    54916     44 |  0.005 % |
241.98/242.24	c |    439519 |     140    11900    83300 |    58761    55256     44 |  0.005 % |
242.18/242.48	c |    439891 |     140    11900    83300 |    58761    55628     44 |  0.005 % |
242.48/242.79	c |    440301 |     140    11900    83300 |    55737    49337     44 |  0.005 % |
242.78/243.03	c |    440751 |     140    11900    83300 |    55737    49787     44 |  0.005 % |
243.08/243.31	c |    441244 |     140    11900    83300 |    55737    50280     44 |  0.005 % |
243.38/243.62	c |    441788 |     140    11900    83300 |    55737    50824     44 |  0.005 % |
243.68/243.96	c |    442385 |     140    11900    83300 |    55737    51421     44 |  0.005 % |
244.08/244.34	c |    443040 |     140    11900    83300 |    55737    52076     44 |  0.005 % |
244.58/244.84	c |    443760 |     140    11900    83300 |    55737    52796     44 |  0.005 % |
245.08/245.30	c |    444553 |     140    11900    83300 |    55737    53589     44 |  0.005 % |
245.58/245.82	c |    445425 |     140    11900    83300 |    55737    54461     44 |  0.005 % |
246.08/246.35	c |    446383 |     140    11900    83300 |    55737    55419     44 |  0.005 % |
246.78/247.00	c |    447436 |     140    11900    83300 |    55737    49718     44 |  0.005 % |
247.28/247.59	c |    448595 |     140    11900    83300 |    55737    50877     44 |  0.005 % |
247.98/248.26	c |    449868 |     140    11900    83300 |    55737    52150     44 |  0.005 % |
248.68/248.97	c |    451270 |     140    11900    83300 |    52282    47490     44 |  0.005 % |
249.48/249.72	c |    452812 |     140    11900    83300 |    52282    49032     44 |  0.005 % |
250.17/250.48	c |    454507 |     140    11900    83300 |    52282    50727     44 |  0.005 % |
251.28/251.54	c |    456370 |     140    11900    83300 |    52282    47356     44 |  0.005 % |
252.17/252.43	c |    458420 |     140    11900    83300 |    52282    49406     44 |  0.005 % |
253.17/253.48	c |    460675 |     140    11900    83300 | 2147483647    51661     44 |  0.005 % |
254.37/254.69	c |    463153 |     140    11900    83300 | 2147483647    54139     44 |  0.005 % |
255.87/256.15	c |    465879 |     140    11900    83300 | 2147483647    56865     44 |  0.005 % |
257.57/257.87	c |    468876 |     140    11900    83300 | 2147483647    59862     44 |  0.005 % |
259.38/259.69	c |    472173 |     140    11900    83300 |    60987    56388     44 |  0.005 % |
261.27/261.56	c |    475799 |     140    11900    83300 |    60987    60014     44 |  0.005 % |
263.57/263.84	c |    479786 |     140    11900    83300 |    60987    56629     44 |  0.005 % |
266.06/266.39	c |    484171 |     140    11900    83300 |    56843    53985     44 |  0.005 % |
266.16/266.45	c |    484271 |     140    11900    83300 |    56843    54085     44 |  0.005 % |
266.26/266.54	c |    484381 |     140    11900    83300 |    56843    54195     44 |  0.005 % |
266.36/266.62	c |    484502 |     140    11900    83300 |    56843    54316     44 |  0.005 % |
266.46/266.74	c |    484637 |     140    11900    83300 |    56843    54451     44 |  0.005 % |
266.56/266.84	c |    484783 |     140    11900    83300 |    56843    54597     44 |  0.005 % |
266.66/266.95	c |    484944 |     140    11900    83300 |    56843    54758     44 |  0.005 % |
266.76/267.07	c |    485122 |     140    11900    83300 |    56843    54936     44 |  0.005 % |
266.86/267.18	c |    485317 |     140    11900    83300 |    56843    55131     44 |  0.005 % |
267.06/267.30	c |    485529 |     140    11900    83300 |    56843    55343     44 |  0.005 % |
267.16/267.49	c |    485763 |     140    11900    83300 |    56843    55577     44 |  0.005 % |
267.46/267.70	c |    486020 |     140    11900    83300 |    56843    55834     44 |  0.005 % |
267.66/267.91	c |    486303 |     140    11900    83300 |    56843    56117     44 |  0.005 % |
267.86/268.11	c |    486614 |     140    11900    83300 |    56843    56428     44 |  0.005 % |
268.06/268.33	c |    486953 |     140    11900    83300 |    56843    56767     44 |  0.005 % |
268.26/268.57	c |    487326 |     140    11900    83300 |    56843    49887     44 |  0.005 % |
268.46/268.79	c |    487735 |     140    11900    83300 |    56843    50296     44 |  0.005 % |
268.76/269.06	c |    488186 |     140    11900    83300 |    56843    50747     44 |  0.005 % |
269.06/269.33	c |    488680 |     140    11900    83300 |    56843    51241     44 |  0.005 % |
269.36/269.64	c |    489226 |     140    11900    83300 |    56843    51787     44 |  0.005 % |
269.66/269.93	c |    489824 |     140    11900    83300 |    56843    52385     44 |  0.005 % |
270.05/270.32	c |    490481 |     140    11900    83300 |    52561    46552     44 |  0.005 % |
270.36/270.68	c |    491201 |     140    11900    83300 |    52561    47272     44 |  0.005 % |
270.75/271.04	c |    491995 |     140    11900    83300 |    52561    48066     44 |  0.005 % |
271.15/271.49	c |    492866 |     140    11900    83300 |    52561    48937     44 |  0.005 % |
271.66/271.99	c |    493824 |     140    11900    83300 |    52561    49895     44 |  0.005 % |
272.35/272.61	c |    494877 |     140    11900    83300 |    52561    50948     44 |  0.005 % |
272.95/273.21	c |    496035 |     140    11900    83300 |    52561    52106     44 |  0.005 % |
273.66/273.94	c |    497308 |     140    11900    83300 |    52561    48109     44 |  0.005 % |
274.35/274.63	c |    498708 |     140    11900    83300 |    52561    49509     44 |  0.005 % |
275.15/275.40	c |    500254 |     140    11900    83300 | 2147483647    51055     44 |  0.005 % |
276.05/276.37	c |    501948 |     140    11900    83300 | 2147483647    52749     44 |  0.005 % |
277.15/277.46	c |    503811 |     140    11900    83300 | 2147483647    54612     44 |  0.005 % |
278.35/278.67	c |    505860 |     140    11900    83300 | 2147483647    56661     44 |  0.005 % |
279.65/279.99	c |    508114 |     140    11900    83300 | 2147483647    58915     44 |  0.005 % |
281.25/281.50	c |    510592 |     140    11900    83300 |    60803    53957     44 |  0.005 % |
282.85/283.11	c |    513317 |     140    11900    83300 |    60803    56682     44 |  0.005 % |
284.55/284.83	c |    516316 |     140    11900    83300 |    60803    59681     44 |  0.005 % |
286.45/286.78	c |    519612 |     140    11900    83300 |    60803    54669     44 |  0.005 % |
288.35/288.62	c |    523237 |     140    11900    83300 |    55059    51042     44 |  0.005 % |
290.45/290.72	c |    527225 |     140    11900    83300 |    55059    55030     44 |  0.005 % |
292.85/293.10	c |    531612 |     140    11900    83300 |    52079    48439     44 |  0.005 % |
295.25/295.51	c |    536435 |     140    11900    83300 |    52079    48047     44 |  0.005 % |
295.25/295.56	c |    536535 |     140    11900    83300 |    52079    48147     44 |  0.005 % |
295.35/295.65	c |    536646 |     140    11900    83300 |    52079    48258     44 |  0.005 % |
295.45/295.72	c |    536768 |     140    11900    83300 |    52079    48380     44 |  0.005 % |
295.45/295.79	c |    536902 |     140    11900    83300 |    52079    48514     44 |  0.005 % |
295.55/295.87	c |    537049 |     140    11900    83300 |    52079    48661     44 |  0.005 % |
295.65/295.96	c |    537211 |     140    11900    83300 |    52079    48823     44 |  0.005 % |
295.75/296.07	c |    537390 |     140    11900    83300 |    52079    49002     44 |  0.005 % |
295.85/296.19	c |    537583 |     140    11900    83300 |    52079    49195     44 |  0.005 % |
296.04/296.33	c |    537795 |     140    11900    83300 |    52079    49407     44 |  0.005 % |
296.14/296.47	c |    538028 |     140    11900    83300 |    52079    49640     44 |  0.005 % |
296.34/296.63	c |    538285 |     140    11900    83300 |    52079    49897     44 |  0.005 % |
296.54/296.81	c |    538568 |     140    11900    83300 |    52079    50180     44 |  0.005 % |
296.75/297.01	c |    538877 |     140    11900    83300 |    52079    50489     44 |  0.005 % |
296.94/297.21	c |    539216 |     140    11900    83300 |    52079    50828     44 |  0.005 % |
297.04/297.40	c |    539588 |     140    11900    83300 |    52079    51200     44 |  0.005 % |
297.34/297.62	c |    539999 |     140    11900    83300 |    52079    51611     44 |  0.005 % |
297.54/297.85	c |    540451 |     140    11900    83300 | 2147483647    52063     44 |  0.005 % |
297.85/298.15	c |    540944 |     140    11900    83300 | 2147483647    52556     44 |  0.005 % |
298.14/298.47	c |    541487 |     140    11900    83300 | 2147483647    53099     44 |  0.005 % |
298.54/298.84	c |    542084 |     140    11900    83300 | 2147483647    53696     44 |  0.005 % |
298.95/299.27	c |    542740 |     140    11900    83300 | 2147483647    54352     44 |  0.005 % |
299.44/299.77	c |    543460 |     140    11900    83300 | 2147483647    55072     44 |  0.005 % |
299.95/300.27	c |    544253 |     140    11900    83300 | 2147483647    55865     44 |  0.005 % |
300.54/300.82	c |    545124 |     140    11900    83300 | 2147483647    56736     44 |  0.005 % |
301.05/301.37	c |    546084 |     140    11900    83300 | 2147483647    57696     44 |  0.005 % |
301.84/302.11	c |    547137 |     140    11900    83300 | 2147483647    58749     44 |  0.005 % |
302.64/302.96	c |    548295 |     140    11900    83300 | 2147483647    59907     44 |  0.005 % |
303.44/303.78	c |    549569 |     140    11900    83300 | 2147483647    61181     44 |  0.005 % |
304.44/304.74	c |    550969 |     140    11900    83300 |    61614    53521     44 |  0.005 % |
305.34/305.64	c |    552509 |     140    11900    83300 |    61614    55061     44 |  0.005 % |
306.34/306.66	c |    554203 |     140    11900    83300 |    61614    56755     44 |  0.005 % |
307.44/307.77	c |    556069 |     140    11900    83300 |    61614    58621     44 |  0.005 % |
308.84/309.11	c |    558119 |     140    11900    83300 |    61614    60671     44 |  0.005 % |
310.23/310.52	c |    560374 |     140    11900    83300 |    53246    45739     44 |  0.005 % |
311.43/311.79	c |    562854 |     140    11900    83300 |    53246    48219     44 |  0.005 % |
313.14/313.48	c |    565579 |     140    11900    83300 |    53246    50944     44 |  0.005 % |
314.73/315.02	c |    568577 |     140    11900    83300 |    53246    47830     44 |  0.005 % |
316.44/316.76	c |    571874 |     140    11900    83300 |    49253    45604     44 |  0.005 % |
318.13/318.46	c |    575499 |     140    11900    83300 |    49253    49229     44 |  0.005 % |
320.23/320.52	c |    579488 |     140    11900    83300 |    49253    48286     44 |  0.005 % |
322.33/322.63	c |    583874 |     140    11900    83300 | 2147483647    52672     44 |  0.005 % |
324.93/325.27	c |    588699 |     140    11900    83300 | 2147483647    57497     44 |  0.005 % |
327.83/328.13	c |    594006 |     140    11900    83300 |    58799    56679     44 |  0.005 % |
327.93/328.22	c |    594107 |     140    11900    83300 |    58799    56780     44 |  0.005 % |
328.03/328.30	c |    594217 |     140    11900    83300 |    58799    56890     44 |  0.005 % |
328.03/328.37	c |    594339 |     140    11900    83300 |    58799    57012     44 |  0.005 % |
328.13/328.44	c |    594472 |     140    11900    83300 |    58799    57145     44 |  0.005 % |
328.23/328.52	c |    594618 |     140    11900    83300 |    58799    57291     44 |  0.005 % |
328.33/328.61	c |    594779 |     140    11900    83300 |    58799    57452     44 |  0.005 % |
328.43/328.71	c |    594957 |     140    11900    83300 |    58799    57630     44 |  0.005 % |
328.53/328.81	c |    595152 |     140    11900    83300 |    58799    57825     44 |  0.005 % |
328.63/328.95	c |    595367 |     140    11900    83300 |    58799    58040     44 |  0.005 % |
328.73/329.08	c |    595603 |     140    11900    83300 |    58799    58276     44 |  0.005 % |
328.93/329.22	c |    595860 |     140    11900    83300 |    58799    58533     44 |  0.005 % |
329.03/329.40	c |    596141 |     140    11900    83300 |    58799    58814     44 |  0.005 % |
329.33/329.60	c |    596451 |     140    11900    83300 |    58799    52523     44 |  0.005 % |
329.53/329.82	c |    596790 |     140    11900    83300 |    58799    52862     44 |  0.005 % |
329.73/330.04	c |    597162 |     140    11900    83300 |    58799    53234     44 |  0.005 % |
330.03/330.30	c |    597572 |     140    11900    83300 |    58799    53644     44 |  0.005 % |
330.33/330.68	c |    598021 |     140    11900    83300 |    58799    54093     44 |  0.005 % |
330.73/331.09	c |    598514 |     140    11900    83300 |    58799    54586     44 |  0.005 % |
331.13/331.49	c |    599057 |     140    11900    83300 |    58799    55129     44 |  0.005 % |
331.53/331.90	c |    599654 |     140    11900    83300 |    58799    55726     44 |  0.005 % |
332.03/332.37	c |    600310 |     140    11900    83300 |    56074    49167     44 |  0.005 % |
332.43/332.73	c |    601031 |     140    11900    83300 |    56074    49888     44 |  0.005 % |
332.93/333.21	c |    601824 |     140    11900    83300 |    56074    50681     44 |  0.005 % |
333.42/333.74	c |    602696 |     140    11900    83300 |    56074    51553     44 |  0.005 % |
334.03/334.31	c |    603654 |     140    11900    83300 |    56074    52511     44 |  0.005 % |
334.52/334.88	c |    604711 |     140    11900    83300 |    56074    53568     44 |  0.005 % |
335.23/335.56	c |    605871 |     140    11900    83300 |    56074    54728     44 |  0.005 % |
335.92/336.25	c |    607146 |     140    11900    83300 |    56074    56003     44 |  0.005 % |
336.72/337.04	c |    608546 |     140    11900    83300 |    56074    50557     44 |  0.005 % |
337.62/337.98	c |    610089 |     140    11900    83300 |    52011    45952     44 |  0.005 % |
338.62/338.90	c |    611783 |     140    11900    83300 |    52011    47646     44 |  0.005 % |
339.42/339.78	c |    613646 |     140    11900    83300 |    52011    49509     44 |  0.005 % |
340.42/340.76	c |    615696 |     140    11900    83300 |    52011    51559     44 |  0.005 % |
341.52/341.82	c |    617950 |     140    11900    83300 |    52011    48606     44 |  0.005 % |
342.62/342.98	c |    620428 |     140    11900    83300 | 2147483647    51084     44 |  0.005 % |
344.12/344.47	c |    623153 |     140    11900    83300 | 2147483647    53809     44 |  0.005 % |
345.72/346.04	c |    626150 |     140    11900    83300 | 2147483647    56806     44 |  0.005 % |
347.62/347.99	c |    629446 |     140    11900    83300 | 2147483647    60102     44 |  0.005 % |
349.62/349.98	c |    633072 |     140    11900    83300 |    60656    56958     44 |  0.005 % |
352.12/352.43	c |    637059 |     140    11900    83300 |    60656    53173     44 |  0.005 % |
354.61/354.96	c |    641446 |     140    11900    83300 |    56116    50537     43 |  0.005 % |
357.31/357.61	c |    646271 |     140    11900    83300 |    56116    55362     43 |  0.005 % |
360.11/360.47	c |    651577 |     140    11900    83300 |    52957    49014     44 |  0.005 % |
363.11/363.43	c |    657412 |     140    11900    83300 |    52957    49547     44 |  0.005 % |
363.11/363.48	c |    657512 |     140    11900    83300 |    52957    49647     44 |  0.005 % |
363.21/363.55	c |    657622 |     140    11900    83300 |    52957    49757     44 |  0.005 % |
363.31/363.63	c |    657743 |     140    11900    83300 |    52957    49878     44 |  0.005 % |
363.41/363.71	c |    657876 |     140    11900    83300 |    52957    50011     44 |  0.005 % |
363.41/363.79	c |    658024 |     140    11900    83300 |    52957    50159     44 |  0.005 % |
363.61/363.93	c |    658184 |     140    11900    83300 |    52957    50319     44 |  0.005 % |
363.71/364.05	c |    658360 |     140    11900    83300 |    52957    50495     44 |  0.005 % |
363.81/364.17	c |    658553 |     140    11900    83300 |    52957    50688     44 |  0.005 % |
364.01/364.33	c |    658765 |     140    11900    83300 |    52957    50900     44 |  0.005 % |
364.11/364.45	c |    658998 |     140    11900    83300 |    52957    51133     44 |  0.005 % |
364.31/364.61	c |    659254 |     140    11900    83300 |    52957    51389     44 |  0.005 % |
364.40/364.76	c |    659535 |     140    11900    83300 |    52957    51670     44 |  0.005 % |
364.60/364.97	c |    659846 |     140    11900    83300 |    52957    51981     44 |  0.005 % |
364.81/365.16	c |    660185 |     140    11900    83300 | 2147483647    52320     44 |  0.005 % |
365.00/365.36	c |    660558 |     140    11900    83300 | 2147483647    52693     44 |  0.005 % |
365.40/365.71	c |    660968 |     140    11900    83300 | 2147483647    53103     44 |  0.005 % |
365.70/366.00	c |    661417 |     140    11900    83300 | 2147483647    53552     44 |  0.005 % |
365.91/366.28	c |    661911 |     140    11900    83300 | 2147483647    54046     44 |  0.005 % |
366.20/366.59	c |    662454 |     140    11900    83300 | 2147483647    54589     44 |  0.005 % |
366.60/366.92	c |    663050 |     140    11900    83300 | 2147483647    55185     44 |  0.005 % |
367.11/367.41	c |    663705 |     140    11900    83300 | 2147483647    55840     44 |  0.005 % |
367.50/367.86	c |    664425 |     140    11900    83300 | 2147483647    56560     44 |  0.005 % |
367.90/368.29	c |    665217 |     140    11900    83300 | 2147483647    57352     44 |  0.005 % |
368.50/368.80	c |    666091 |     140    11900    83300 | 2147483647    58226     44 |  0.005 % |
369.20/369.54	c |    667051 |     140    11900    83300 | 2147483647    59186     44 |  0.005 % |
369.90/370.21	c |    668104 |     140    11900    83300 | 2147483647    60239     44 |  0.005 % |
370.70/371.06	c |    669264 |     140    11900    83300 | 2147483647    61399     44 |  0.005 % |
371.70/372.01	c |    670537 |     140    11900    83300 |    62135    54027     44 |  0.005 % |
372.60/372.92	c |    671937 |     140    11900    83300 |    62135    55427     44 |  0.005 % |
373.70/374.02	c |    673478 |     140    11900    83300 |    62135    56968     44 |  0.005 % |
374.80/375.12	c |    675173 |     140    11900    83300 |    62135    58663     44 |  0.005 % |
375.99/376.31	c |    677037 |     140    11900    83300 |    62135    60527     44 |  0.005 % |
377.49/377.83	c |    679087 |     140    11900    83300 |    62135    52513     44 |  0.005 % |
378.69/379.07	c |    681342 |     140    11900    83300 |    53427    46284     44 |  0.005 % |
379.99/380.31	c |    683820 |     140    11900    83300 |    53427    48762     44 |  0.005 % |
381.30/381.64	c |    686547 |     140    11900    83300 |    53427    51489     44 |  0.005 % |
383.19/383.55	c |    689544 |     140    11900    83300 |    53427    48355     44 |  0.005 % |
385.09/385.48	c |    692841 |     140    11900    83300 |    48813    46065     44 |  0.005 % |
387.09/387.40	c |    696467 |     140    11900    83300 |    48813    44803     44 |  0.005 % |
388.99/389.33	c |    700454 |     140    11900    83300 | 2147483647    48790     44 |  0.005 % |
391.39/391.70	c |    704839 |     140    11900    83300 | 2147483647    53175     44 |  0.005 % |
394.19/394.52	c |    709663 |     140    11900    83300 | 2147483647    57999     44 |  0.005 % |
397.18/397.59	c |    714974 |     140    11900    83300 |    58336    57006     44 |  0.005 % |
400.38/400.76	c |    720809 |     140    11900    83300 |    55183    49862     44 |  0.005 % |
403.98/404.31	c |    727227 |     140    11900    83300 |    55183    50427     44 |  0.005 % |
403.98/404.37	c |    727327 |     140    11900    83300 |    55183    50527     44 |  0.005 % |
404.08/404.43	c |    727437 |     140    11900    83300 |    55183    50637     44 |  0.005 % |
404.08/404.49	c |    727558 |     140    11900    83300 |    55183    50758     44 |  0.005 % |
404.27/404.60	c |    727691 |     140    11900    83300 |    55183    50891     44 |  0.005 % |
404.38/404.71	c |    727837 |     140    11900    83300 |    55183    51037     44 |  0.005 % |
404.38/404.80	c |    727998 |     140    11900    83300 |    55183    51198     44 |  0.005 % |
404.57/404.91	c |    728175 |     140    11900    83300 |    55183    51375     44 |  0.005 % |
404.67/405.01	c |    728369 |     140    11900    83300 |    55183    51569     44 |  0.005 % |
404.77/405.14	c |    728581 |     140    11900    83300 |    55183    51781     44 |  0.005 % |
404.97/405.30	c |    728815 |     140    11900    83300 |    55183    52015     44 |  0.005 % |
405.07/405.48	c |    729071 |     140    11900    83300 |    55183    52271     44 |  0.005 % |
405.27/405.68	c |    729353 |     140    11900    83300 |    55183    52553     44 |  0.005 % |
405.48/405.90	c |    729662 |     140    11900    83300 |    55183    52862     44 |  0.005 % |
405.67/406.09	c |    730002 |     140    11900    83300 |    53200    53202     44 |  0.005 % |
405.97/406.34	c |    730374 |     140    11900    83300 |    53200    47687     44 |  0.005 % |
406.17/406.56	c |    730783 |     140    11900    83300 |    53200    48096     44 |  0.005 % |
406.37/406.78	c |    731232 |     140    11900    83300 |    53200    48545     44 |  0.005 % |
406.67/407.03	c |    731725 |     140    11900    83300 |    53200    49038     44 |  0.005 % |
406.87/407.29	c |    732268 |     140    11900    83300 |    53200    49581     44 |  0.005 % |
407.27/407.63	c |    732865 |     140    11900    83300 |    53200    50178     43 |  0.005 % |
407.57/407.98	c |    733520 |     140    11900    83300 |    53200    50833     43 |  0.005 % |
408.07/408.45	c |    734240 |     140    11900    83300 |    53200    51553     44 |  0.005 % |
408.67/409.00	c |    735033 |     140    11900    83300 |    53200    52346     44 |  0.005 % |
409.17/409.58	c |    735904 |     140    11900    83300 |    53200    53217     44 |  0.005 % |
409.77/410.16	c |    736863 |     140    11900    83300 |    53200    47922     43 |  0.005 % |
410.37/410.73	c |    737917 |     140    11900    83300 |    53200    48976     43 |  0.005 % |
410.97/411.32	c |    739076 |     140    11900    83300 |    53200    50135     43 |  0.005 % |
411.67/412.04	c |    740350 |     140    11900    83300 |    51059    45950     43 |  0.005 % |
412.37/412.78	c |    741750 |     140    11900    83300 |    51059    47350     43 |  0.005 % |
413.17/413.59	c |    743290 |     140    11900    83300 |    51059    48890     43 |  0.005 % |
414.17/414.55	c |    744986 |     140    11900    83300 |    51059    50586     43 |  0.005 % |
415.17/415.52	c |    746849 |     140    11900    83300 |    51059    47336     43 |  0.005 % |
416.37/416.75	c |    748898 |     140    11900    83300 |    51059    49385     43 |  0.005 % |
417.77/418.10	c |    751153 |     140    11900    83300 | 2147483647    51640     43 |  0.005 % |
419.16/419.55	c |    753632 |     140    11900    83300 | 2147483647    54119     43 |  0.005 % |
420.66/421.08	c |    756358 |     140    11900    83300 | 2147483647    56845     43 |  0.005 % |
422.26/422.68	c |    759355 |     140    11900    83300 | 2147483647    59842     43 |  0.005 % |
424.17/424.52	c |    762651 |     140    11900    83300 |    60487    56012     43 |  0.005 % |
426.26/426.65	c |    766277 |     140    11900    83300 |    60487    59638     43 |  0.005 % |
428.57/428.95	c |    770264 |     140    11900    83300 |    55750    49137     44 |  0.005 % |
430.86/431.24	c |    774649 |     140    11900    83300 |    55750    53522     44 |  0.005 % |
433.56/433.92	c |    779472 |     140    11900    83300 |    55750    52516     44 |  0.005 % |
436.36/436.75	c |    784778 |     140    11900    83300 |    53044    52451     44 |  0.005 % |
439.46/439.85	c |    790614 |     140    11900    83300 | 2147483647    52976     44 |  0.005 % |
443.06/443.44	c |    797032 |     140    11900    83300 | 2147483647    59394     43 |  0.005 % |
447.15/447.58	c |    804091 |     140    11900    83300 |    62362    58609     43 |  0.005 % |
447.25/447.65	c |    804193 |     140    11900    83300 |    62362    58711     43 |  0.005 % |
447.35/447.73	c |    804303 |     140    11900    83300 |    62362    58821     43 |  0.005 % |
447.46/447.82	c |    804425 |     140    11900    83300 |    62362    58943     43 |  0.005 % |
447.56/447.91	c |    804558 |     140    11900    83300 |    62362    59076     43 |  0.005 % |
447.66/448.03	c |    804704 |     140    11900    83300 |    62362    59222     43 |  0.005 % |
447.76/448.14	c |    804864 |     140    11900    83300 |    62362    59382     43 |  0.005 % |
447.86/448.27	c |    805040 |     140    11900    83300 |    62362    59558     43 |  0.005 % |
448.06/448.42	c |    805233 |     140    11900    83300 |    62362    59751     43 |  0.005 % |
448.16/448.58	c |    805447 |     140    11900    83300 |    62362    59965     43 |  0.005 % |
448.36/448.76	c |    805681 |     140    11900    83300 |    62362    60199     43 |  0.005 % |
448.56/448.93	c |    805940 |     140    11900    83300 |    62362    60458     43 |  0.005 % |
448.76/449.11	c |    806221 |     140    11900    83300 |    62362    60739     43 |  0.005 % |
448.96/449.31	c |    806530 |     140    11900    83300 |    62362    61048     43 |  0.005 % |
449.16/449.56	c |    806869 |     140    11900    83300 |    62362    61387     43 |  0.005 % |
449.36/449.79	c |    807242 |     140    11900    83300 |    62362    61760     43 |  0.005 % |
449.65/450.07	c |    807652 |     140    11900    83300 |    62362    62170     43 |  0.005 % |
450.05/450.43	c |    808102 |     140    11900    83300 |    62362    52992     43 |  0.005 % |
450.35/450.73	c |    808595 |     140    11900    83300 |    62362    53485     43 |  0.005 % |
450.66/451.03	c |    809137 |     140    11900    83300 |    62362    54027     43 |  0.005 % |
450.95/451.35	c |    809734 |     140    11900    83300 |    62362    54624     43 |  0.005 % |
451.35/451.75	c |    810389 |     140    11900    83300 |    54892    47071     43 |  0.005 % |
451.76/452.17	c |    811111 |     140    11900    83300 |    54892    47793     43 |  0.005 % |
452.15/452.59	c |    811903 |     140    11900    83300 |    54892    48585     43 |  0.005 % |
452.65/453.08	c |    812775 |     140    11900    83300 |    54892    49457     43 |  0.005 % |
453.25/453.62	c |    813734 |     140    11900    83300 |    54892    50416     43 |  0.005 % |
453.86/454.21	c |    814787 |     140    11900    83300 |    54892    51469     43 |  0.005 % |
454.45/454.84	c |    815945 |     140    11900    83300 |    54892    52627     43 |  0.005 % |
455.15/455.55	c |    817223 |     140    11900    83300 |    54892    53905     43 |  0.005 % |
455.95/456.30	c |    818624 |     140    11900    83300 |    54892    48743     43 |  0.005 % |
456.65/457.05	c |    820164 |     140    11900    83300 |    50120    44692     43 |  0.005 % |
457.45/457.83	c |    821859 |     140    11900    83300 |    50120    46387     43 |  0.005 % |
458.25/458.70	c |    823722 |     140    11900    83300 |    50120    48250     43 |  0.005 % |
459.25/459.70	c |    825771 |     140    11900    83300 |    50120    45281     43 |  0.005 % |
460.25/460.66	c |    828027 |     140    11900    83300 |    50120    47537     43 |  0.005 % |
461.55/461.95	c |    830505 |     140    11900    83300 | 2147483647    50015     43 |  0.005 % |
462.95/463.30	c |    833235 |     140    11900    83300 | 2147483647    52745     43 |  0.005 % |
464.45/464.83	c |    836233 |     140    11900    83300 | 2147483647    55743     44 |  0.005 % |
466.45/466.82	c |    839529 |     140    11900    83300 | 2147483647    59039     44 |  0.005 % |
468.55/468.94	c |    843154 |     140    11900    83300 |    59510    56021     44 |  0.005 % |
470.75/471.15	c |    847143 |     140    11900    83300 |    59510    52813     44 |  0.005 % |
473.25/473.60	c |    851528 |     140    11900    83300 |    55670    50468     44 |  0.005 % |
475.95/476.36	c |    856351 |     140    11900    83300 |    55670    55291     44 |  0.005 % |
478.54/478.98	c |    861656 |     140    11900    83300 |    52676    48700     44 |  0.005 % |
481.35/481.72	c |    867492 |     140    11900    83300 |    52676    49262     44 |  0.005 % |
484.44/484.89	c |    873911 |     140    11900    83300 | 2147483647    55681     44 |  0.005 % |
488.64/489.00	c |    880971 |     140    11900    83300 |    61770    55683     44 |  0.005 % |
493.13/493.53	c |    888735 |     140    11900    83300 |    61770    55614     44 |  0.005 % |
493.13/493.59	c |    888835 |     140    11900    83300 |    61770    55714     44 |  0.005 % |
493.23/493.66	c |    888945 |     140    11900    83300 |    61770    55824     44 |  0.005 % |
493.33/493.74	c |    889067 |     140    11900    83300 |    61770    55946     44 |  0.005 % |
493.44/493.84	c |    889200 |     140    11900    83300 |    61770    56079     44 |  0.005 % |
493.54/493.94	c |    889347 |     140    11900    83300 |    61770    56226     44 |  0.005 % |
493.63/494.05	c |    889507 |     140    11900    83300 |    61770    56386     44 |  0.005 % |
493.73/494.18	c |    889683 |     140    11900    83300 |    61770    56562     44 |  0.005 % |
493.93/494.30	c |    889877 |     140    11900    83300 |    61770    56756     44 |  0.005 % |
494.03/494.48	c |    890089 |     140    11900    83300 |    56879    49652     44 |  0.005 % |
494.23/494.61	c |    890323 |     140    11900    83300 |    56879    49886     44 |  0.005 % |
494.33/494.78	c |    890579 |     140    11900    83300 |    56879    50142     44 |  0.005 % |
494.54/494.95	c |    890860 |     140    11900    83300 |    56879    50423     44 |  0.005 % |
494.73/495.12	c |    891170 |     140    11900    83300 |    56879    50733     44 |  0.005 % |
494.93/495.30	c |    891509 |     140    11900    83300 |    56879    51072     44 |  0.005 % |
495.13/495.54	c |    891881 |     140    11900    83300 |    56879    51444     44 |  0.005 % |
495.33/495.79	c |    892292 |     140    11900    83300 |    56879    51855     44 |  0.005 % |
495.64/496.09	c |    892743 |     140    11900    83300 |    56879    52306     44 |  0.005 % |
495.93/496.36	c |    893237 |     140    11900    83300 |    56879    52800     44 |  0.005 % |
496.23/496.66	c |    893780 |     140    11900    83300 |    56879    53343     44 |  0.005 % |
496.63/497.00	c |    894378 |     140    11900    83300 |    56879    53941     44 |  0.005 % |
496.93/497.38	c |    895033 |     140    11900    83300 |    56879    54596     44 |  0.005 % |
497.53/497.90	c |    895754 |     140    11900    83300 |    56879    55317     44 |  0.005 % |
498.03/498.49	c |    896546 |     140    11900    83300 |    56879    56109     44 |  0.005 % |
498.73/499.15	c |    897421 |     140    11900    83300 |    56879    49320     44 |  0.005 % |
499.23/499.66	c |    898379 |     140    11900    83300 |    56879    50278     44 |  0.005 % |
499.73/500.18	c |    899433 |     140    11900    83300 |    56879    51332     44 |  0.005 % |
500.43/500.83	c |    900591 |     140    11900    83300 |    51899    45817     44 |  0.005 % |
501.13/501.51	c |    901864 |     140    11900    83300 |    51899    47090     44 |  0.005 % |
501.83/502.24	c |    903264 |     140    11900    83300 |    51899    48490     44 |  0.005 % |
502.53/502.98	c |    904804 |     140    11900    83300 |    51899    50030     44 |  0.005 % |
503.43/503.89	c |    906501 |     140    11900    83300 |    51899    51727     44 |  0.005 % |
504.43/504.86	c |    908366 |     140    11900    83300 |    51899    48396     44 |  0.005 % |
505.53/505.93	c |    910417 |     140    11900    83300 | 2147483647    50447     44 |  0.005 % |
506.63/507.09	c |    912670 |     140    11900    83300 | 2147483647    52700     44 |  0.005 % |
508.02/508.42	c |    915148 |     140    11900    83300 | 2147483647    55178     44 |  0.005 % |
509.42/509.86	c |    917874 |     140    11900    83300 | 2147483647    57904     44 |  0.005 % |
511.13/511.54	c |    920871 |     140    11900    83300 |    60030    54251     44 |  0.005 % |
513.02/513.42	c |    924168 |     140    11900    83300 |    60030    57548     44 |  0.005 % |
515.12/515.56	c |    927793 |     140    11900    83300 |    60030    53856     44 |  0.005 % |
517.22/517.65	c |    931780 |     140    11900    83300 |    56065    51308     44 |  0.005 % |
519.52/519.97	c |    936165 |     140    11900    83300 |    56065    55693     44 |  0.005 % |
522.02/522.43	c |    940990 |     140    11900    83300 | 2147483647    54728     44 |  0.005 % |
525.12/525.58	c |    946295 |     140    11900    83300 | 2147483647    60033     44 |  0.005 % |
529.01/529.41	c |    952130 |     140    11900    83300 |    63738    57139     44 |  0.005 % |
533.01/533.44	c |    958548 |     140    11900    83300 |    63738    63557     44 |  0.005 % |
536.30/536.77	c |    965607 |     140    11900    83300 |    55212    52668     44 |  0.005 % |
539.70/540.15	c |    973372 |     140    11900    83300 | 2147483647    54905     44 |  0.005 % |
544.10/544.54	c |    981913 |     140    11900    83300 |    61534    57103     44 |  0.005 % |
544.20/544.61	c |    982014 |     140    11900    83300 |    61534    57204     44 |  0.005 % |
544.30/544.70	c |    982124 |     140    11900    83300 |    61534    57314     44 |  0.005 % |
544.30/544.79	c |    982246 |     140    11900    83300 |    61534    57436     44 |  0.005 % |
544.40/544.87	c |    982379 |     140    11900    83300 |    61534    57569     44 |  0.005 % |
544.50/544.96	c |    982525 |     140    11900    83300 |    61534    57715     44 |  0.005 % |
544.60/545.09	c |    982685 |     140    11900    83300 |    61534    57875     44 |  0.005 % |
544.79/545.20	c |    982861 |     140    11900    83300 |    61534    58051     44 |  0.005 % |
544.89/545.31	c |    983054 |     140    11900    83300 |    61534    58244     44 |  0.005 % |
544.99/545.48	c |    983267 |     140    11900    83300 |    61534    58457     44 |  0.005 % |
545.20/545.62	c |    983500 |     140    11900    83300 |    61534    58690     44 |  0.005 % |
545.39/545.81	c |    983759 |     140    11900    83300 |    61534    58949     44 |  0.005 % |
545.49/545.97	c |    984040 |     140    11900    83300 |    61534    59230     44 |  0.005 % |
545.69/546.16	c |    984349 |     140    11900    83300 |    61534    59539     44 |  0.005 % |
545.89/546.38	c |    984689 |     140    11900    83300 |    61534    59879     44 |  0.005 % |
546.20/546.61	c |    985061 |     140    11900    83300 |    61534    60251     44 |  0.005 % |
546.49/546.90	c |    985471 |     140    11900    83300 |    61534    60661     44 |  0.005 % |
546.79/547.23	c |    985920 |     140    11900    83300 |    61534    61110     44 |  0.005 % |
547.19/547.63	c |    986413 |     140    11900    83300 |    61534    53163     44 |  0.005 % |
547.49/547.96	c |    986956 |     140    11900    83300 |    61534    53706     44 |  0.005 % |
547.89/548.32	c |    987553 |     140    11900    83300 |    61534    54303     44 |  0.005 % |
548.29/548.75	c |    988208 |     140    11900    83300 |    61534    54958     44 |  0.005 % |
548.69/549.16	c |    988932 |     140    11900    83300 |    61534    55682     44 |  0.005 % |
549.19/549.63	c |    989724 |     140    11900    83300 |    61534    56474     44 |  0.005 % |
549.79/550.22	c |    990595 |     140    11900    83300 |    56750    49555     44 |  0.005 % |
550.39/550.86	c |    991553 |     140    11900    83300 |    56750    50513     44 |  0.005 % |
550.99/551.47	c |    992607 |     140    11900    83300 |    56750    51567     44 |  0.005 % |
551.70/552.15	c |    993766 |     140    11900    83300 |    56750    52726     44 |  0.005 % |
552.39/552.88	c |    995040 |     140    11900    83300 |    56750    54000     44 |  0.005 % |
553.29/553.77	c |    996441 |     140    11900    83300 |    56750    55401     44 |  0.005 % |
554.29/554.79	c |    997982 |     140    11900    83300 |    56750    49294     44 |  0.005 % |
555.29/555.71	c |    999677 |     140    11900    83300 |    56750    50989     44 |  0.005 % |
556.19/556.60	c |   1001541 |     140    11900    83300 |    51313    46368     44 |  0.005 % |
557.19/557.67	c |   1003590 |     140    11900    83300 |    51313    48417     44 |  0.005 % |
558.49/558.91	c |   1005845 |     140    11900    83300 |    51313    50672     44 |  0.005 % |
559.69/560.19	c |   1008324 |     140    11900    83300 |    51313    48014     44 |  0.005 % |
561.09/561.50	c |   1011050 |     140    11900    83300 | 2147483647    50740     44 |  0.005 % |
562.69/563.12	c |   1014049 |     140    11900    83300 | 2147483647    53739     44 |  0.005 % |
564.69/565.17	c |   1017345 |     140    11900    83300 | 2147483647    57035     44 |  0.005 % |
566.79/567.20	c |   1020970 |     140    11900    83300 |    59690    53568     44 |  0.005 % |
568.99/569.40	c |   1024958 |     140    11900    83300 |    59690    57556     44 |  0.005 % |
571.39/571.90	c |   1029343 |     140    11900    83300 |    59690    54192     44 |  0.005 % |
573.98/574.42	c |   1034168 |     140    11900    83300 |    54849    52250     44 |  0.005 % |
577.09/577.55	c |   1039475 |     140    11900    83300 |    54849    51937     44 |  0.005 % |
580.08/580.56	c |   1045310 |     140    11900    83300 |    52462    52498     44 |  0.005 % |
583.18/583.66	c |   1051729 |     140    11900    83300 | 2147483647    53668     44 |  0.005 % |
587.17/587.64	c |   1058788 |     140    11900    83300 | 2147483647    60727     44 |  0.005 % |
592.07/592.56	c |   1066553 |     140    11900    83300 |    61940    61252     44 |  0.005 % |
596.57/597.06	c |   1075093 |     140    11900    83300 |    56276    53659     44 |  0.005 % |
601.27/601.75	c |   1084487 |     140    11900    83300 |    51718    50183     44 |  0.005 % |
601.37/601.80	c |   1084588 |     140    11900    83300 |    51718    50284     44 |  0.005 % |
601.37/601.86	c |   1084698 |     140    11900    83300 |    51718    50394     44 |  0.005 % |
601.47/601.91	c |   1084819 |     140    11900    83300 |    51718    50515     44 |  0.005 % |
601.47/601.97	c |   1084954 |     140    11900    83300 |    51718    50650     44 |  0.005 % |
601.57/602.04	c |   1085100 |     140    11900    83300 |    51718    50796     44 |  0.005 % |
601.67/602.13	c |   1085261 |     140    11900    83300 |    51718    50957     44 |  0.005 % |
601.77/602.22	c |   1085438 |     140    11900    83300 |    51718    51134     44 |  0.005 % |
601.87/602.33	c |   1085632 |     140    11900    83300 |    51718    51328     44 |  0.005 % |
601.97/602.47	c |   1085844 |     140    11900    83300 |    51718    51540     44 |  0.005 % |
602.17/602.63	c |   1086079 |     140    11900    83300 |    51718    51775     44 |  0.005 % |
602.37/602.85	c |   1086336 |     140    11900    83300 |    51718    46855     44 |  0.005 % |
602.57/603.00	c |   1086619 |     140    11900    83300 |    51718    47138     44 |  0.005 % |
602.67/603.17	c |   1086929 |     140    11900    83300 |    51718    47448     44 |  0.005 % |
602.87/603.34	c |   1087269 |     140    11900    83300 |    51718    47788     44 |  0.005 % |
603.07/603.52	c |   1087642 |     140    11900    83300 |    51718    48161     44 |  0.005 % |
603.27/603.73	c |   1088051 |     140    11900    83300 |    51718    48570     44 |  0.005 % |
603.47/603.98	c |   1088500 |     140    11900    83300 |    51718    49019     44 |  0.005 % |
603.77/604.29	c |   1088993 |     140    11900    83300 |    51718    49512     44 |  0.005 % |
604.07/604.59	c |   1089535 |     140    11900    83300 |    51718    50054     44 |  0.005 % |
604.47/604.99	c |   1090131 |     140    11900    83300 | 2147483647    50650     44 |  0.005 % |
604.87/605.40	c |   1090786 |     140    11900    83300 | 2147483647    51305     44 |  0.005 % |
605.26/605.76	c |   1091507 |     140    11900    83300 | 2147483647    52026     44 |  0.005 % |
605.86/606.31	c |   1092300 |     140    11900    83300 | 2147483647    52819     44 |  0.005 % |
606.37/606.82	c |   1093172 |     140    11900    83300 | 2147483647    53691     44 |  0.005 % |
606.96/607.41	c |   1094130 |     140    11900    83300 | 2147483647    54649     44 |  0.005 % |
607.56/608.03	c |   1095183 |     140    11900    83300 | 2147483647    55702     44 |  0.005 % |
608.16/608.69	c |   1096341 |     140    11900    83300 | 2147483647    56860     44 |  0.005 % |
608.97/609.41	c |   1097615 |     140    11900    83300 | 2147483647    58134     44 |  0.005 % |
609.86/610.35	c |   1099017 |     140    11900    83300 | 2147483647    59536     44 |  0.005 % |
610.96/611.49	c |   1100557 |     140    11900    83300 |    60520    52661     44 |  0.005 % |
612.06/612.51	c |   1102252 |     140    11900    83300 |    60520    54356     44 |  0.005 % |
613.16/613.68	c |   1104117 |     140    11900    83300 |    60520    56221     44 |  0.005 % |
614.36/614.84	c |   1106166 |     140    11900    83300 |    60520    58270     44 |  0.005 % |
615.76/616.26	c |   1108419 |     140    11900    83300 |    60520    60523     44 |  0.005 % |
617.16/617.66	c |   1110898 |     140    11900    83300 |    53543    47116     44 |  0.005 % |
618.46/618.94	c |   1113625 |     140    11900    83300 |    53543    49843     44 |  0.005 % |
619.96/620.44	c |   1116623 |     140    11900    83300 |    53543    52841     44 |  0.005 % |
621.56/622.00	c |   1119920 |     140    11900    83300 |    53543    50778     44 |  0.005 % |
623.36/623.81	c |   1123545 |     140    11900    83300 | 2147483647    54403     44 |  0.005 % |
625.95/626.42	c |   1127532 |     140    11900    83300 | 2147483647    58390     44 |  0.005 % |
628.55/629.10	c |   1131918 |     140    11900    83300 |    60860    55142     44 |  0.005 % |
631.24/631.75	c |   1136742 |     140    11900    83300 |    60860    59966     44 |  0.005 % |
634.34/634.83	c |   1142049 |     140    11900    83300 |    55137    50059     44 |  0.005 % |
637.34/637.82	c |   1147884 |     140    11900    83300 |    55137    50039     44 |  0.005 % |
640.34/640.85	c |   1154303 |     140    11900    83300 |    52155    51176     44 |  0.005 % |
643.64/644.14	c |   1161363 |     140    11900    83300 | 2147483647    53014     44 |  0.005 % |
648.24/648.76	c |   1169129 |     140    11900    83300 | 2147483647    60780     44 |  0.005 % |
653.34/653.81	c |   1177670 |     140    11900    83300 |    61651    54889     44 |  0.005 % |
658.44/658.98	c |   1187067 |     140    11900    83300 |    57219    57061     44 |  0.005 % |
663.84/664.31	c |   1197400 |     140    11900    83300 |    53369    49015     44 |  0.005 % |
663.84/664.36	c |   1197500 |     140    11900    83300 |    53369    49115     44 |  0.005 % |
663.94/664.42	c |   1197610 |     140    11900    83300 |    53369    49225     44 |  0.005 % |
663.94/664.48	c |   1197731 |     140    11900    83300 |    53369    49346     44 |  0.005 % |
664.03/664.56	c |   1197864 |     140    11900    83300 |    53369    49479     44 |  0.005 % |
664.13/664.66	c |   1198010 |     140    11900    83300 |    53369    49625     44 |  0.005 % |
664.23/664.79	c |   1198172 |     140    11900    83300 |    53369    49787     44 |  0.005 % |
664.33/664.89	c |   1198348 |     140    11900    83300 |    53369    49963     44 |  0.005 % |
664.53/665.01	c |   1198542 |     140    11900    83300 |    53369    50157     44 |  0.005 % |
664.63/665.16	c |   1198754 |     140    11900    83300 |    53369    50369     44 |  0.005 % |
664.73/665.28	c |   1198988 |     140    11900    83300 |    53369    50603     44 |  0.005 % |
664.94/665.41	c |   1199247 |     140    11900    83300 |    53369    50862     44 |  0.005 % |
665.04/665.56	c |   1199529 |     140    11900    83300 |    53369    51144     44 |  0.005 % |
665.23/665.75	c |   1199838 |     140    11900    83300 |    53369    51453     44 |  0.005 % |
665.53/666.00	c |   1200179 |     140    11900    83300 |    51615    46353     44 |  0.005 % |
665.63/666.19	c |   1200552 |     140    11900    83300 |    51615    46726     44 |  0.005 % |
665.93/666.45	c |   1200963 |     140    11900    83300 |    51615    47137     44 |  0.005 % |
666.23/666.70	c |   1201414 |     140    11900    83300 |    51615    47588     44 |  0.005 % |
666.43/666.96	c |   1201907 |     140    11900    83300 |    51615    48081     44 |  0.005 % |
666.73/667.24	c |   1202449 |     140    11900    83300 |    51615    48623     44 |  0.005 % |
667.03/667.56	c |   1203046 |     140    11900    83300 |    51615    49220     44 |  0.005 % |
667.43/667.90	c |   1203702 |     140    11900    83300 |    51615    49876     44 |  0.005 % |
667.73/668.25	c |   1204424 |     140    11900    83300 |    51615    50598     44 |  0.005 % |
668.13/668.67	c |   1205219 |     140    11900    83300 |    51615    51393     44 |  0.005 % |
668.63/669.14	c |   1206091 |     140    11900    83300 |    51615    47098     44 |  0.005 % |
669.23/669.70	c |   1207049 |     140    11900    83300 |    51615    48056     44 |  0.005 % |
669.83/670.35	c |   1208102 |     140    11900    83300 |    51615    49109     44 |  0.005 % |
670.43/670.99	c |   1209260 |     140    11900    83300 |    51615    50267     44 |  0.005 % |
671.13/671.68	c |   1210534 |     140    11900    83300 |    51007    46434     44 |  0.005 % |
671.82/672.39	c |   1211936 |     140    11900    83300 |    51007    47836     44 |  0.005 % |
672.52/673.08	c |   1213476 |     140    11900    83300 |    51007    49376     44 |  0.005 % |
673.32/673.87	c |   1215170 |     140    11900    83300 |    51007    51070     44 |  0.005 % |
674.32/674.82	c |   1217035 |     140    11900    83300 |    51007    47828     44 |  0.005 % |
675.42/675.95	c |   1219085 |     140    11900    83300 |    51007    49878     44 |  0.005 % |
676.62/677.14	c |   1221338 |     140    11900    83300 | 2147483647    52131     44 |  0.005 % |
678.02/678.50	c |   1223816 |     140    11900    83300 | 2147483647    54609     44 |  0.005 % |
679.52/680.05	c |   1226542 |     140    11900    83300 | 2147483647    57335     44 |  0.005 % |
681.43/681.96	c |   1229539 |     140    11900    83300 | 2147483647    60332     44 |  0.005 % |
683.42/683.95	c |   1232835 |     140    11900    83300 |    60797    55752     44 |  0.005 % |
685.62/686.13	c |   1236460 |     140    11900    83300 |    60797    59377     44 |  0.005 % |
687.92/688.49	c |   1240449 |     140    11900    83300 |    54704    48018     44 |  0.005 % |
690.32/690.83	c |   1244836 |     140    11900    83300 |    54704    52405     44 |  0.005 % |
692.82/693.38	c |   1249659 |     140    11900    83300 |    54704    51523     44 |  0.005 % |
695.92/696.49	c |   1254966 |     140    11900    83300 | 2147483647    56830     44 |  0.005 % |
699.41/700.00	c |   1260801 |     140    11900    83300 |    61864    55181     44 |  0.005 % |
703.02/703.59	c |   1267219 |     140    11900    83300 |    61864    61599     44 |  0.005 % |
707.21/707.76	c |   1274278 |     140    11900    83300 |    56105    52967     44 |  0.005 % |
711.61/712.16	c |   1282042 |     140    11900    83300 |    52022    47956     44 |  0.005 % |
715.61/716.14	c |   1290582 |     140    11900    83300 | 2147483647    51090     44 |  0.005 % |
720.70/721.27	c |   1299976 |     140    11900    83300 | 2147483647    60484     44 |  0.005 % |
726.40/726.95	c |   1310310 |     140    11900    83300 |    55639    49448     44 |  0.005 % |
732.00/732.53	c |   1321676 |     140    11900    83300 | 2147483647    55244     44 |  0.005 % |
732.00/732.59	c |   1321776 |     140    11900    83300 | 2147483647    55344     44 |  0.005 % |
732.10/732.67	c |   1321887 |     140    11900    83300 | 2147483647    55455     44 |  0.005 % |
732.19/732.75	c |   1322008 |     140    11900    83300 | 2147483647    55576     44 |  0.005 % |
732.29/732.86	c |   1322141 |     140    11900    83300 | 2147483647    55709     44 |  0.005 % |
732.39/732.96	c |   1322288 |     140    11900    83300 | 2147483647    55856     44 |  0.005 % |
732.49/733.08	c |   1322448 |     140    11900    83300 | 2147483647    56016     44 |  0.005 % |
732.69/733.20	c |   1322626 |     140    11900    83300 | 2147483647    56194     44 |  0.005 % |
732.79/733.32	c |   1322819 |     140    11900    83300 | 2147483647    56387     44 |  0.005 % |
732.89/733.45	c |   1323033 |     140    11900    83300 | 2147483647    56601     44 |  0.005 % |
733.10/733.63	c |   1323266 |     140    11900    83300 | 2147483647    56834     44 |  0.005 % |
733.29/733.82	c |   1323522 |     140    11900    83300 | 2147483647    57090     44 |  0.005 % |
733.49/734.03	c |   1323803 |     140    11900    83300 | 2147483647    57371     44 |  0.005 % |
733.69/734.23	c |   1324112 |     140    11900    83300 | 2147483647    57680     44 |  0.005 % |
733.89/734.45	c |   1324451 |     140    11900    83300 | 2147483647    58019     44 |  0.005 % |
734.20/734.70	c |   1324823 |     140    11900    83300 | 2147483647    58391     44 |  0.005 % |
734.39/734.99	c |   1325234 |     140    11900    83300 | 2147483647    58802     44 |  0.005 % |
734.79/735.31	c |   1325684 |     140    11900    83300 | 2147483647    59252     44 |  0.005 % |
735.09/735.68	c |   1326179 |     140    11900    83300 | 2147483647    59747     44 |  0.005 % |
735.49/736.06	c |   1326722 |     140    11900    83300 | 2147483647    60290     44 |  0.005 % |
735.89/736.45	c |   1327321 |     140    11900    83300 | 2147483647    60889     44 |  0.005 % |
736.29/736.86	c |   1327978 |     140    11900    83300 | 2147483647    61546     44 |  0.005 % |
736.79/737.39	c |   1328699 |     140    11900    83300 | 2147483647    62267     44 |  0.005 % |
737.29/737.89	c |   1329493 |     140    11900    83300 | 2147483647    63061     44 |  0.005 % |
737.89/738.48	c |   1330365 |     140    11900    83300 |    63568    54758     44 |  0.005 % |
738.39/738.98	c |   1331324 |     140    11900    83300 |    63568    55717     44 |  0.005 % |
739.00/739.50	c |   1332378 |     140    11900    83300 |    63568    56771     44 |  0.005 % |
739.60/740.13	c |   1333537 |     140    11900    83300 |    63568    57930     44 |  0.005 % |
740.40/740.94	c |   1334811 |     140    11900    83300 |    63568    59204     44 |  0.005 % |
741.30/741.88	c |   1336213 |     140    11900    83300 |    63568    60606     44 |  0.005 % |
742.39/742.96	c |   1337753 |     140    11900    83300 |    63568    62146     44 |  0.005 % |
743.59/744.12	c |   1339448 |     140    11900    83300 |    63568    53914     44 |  0.005 % |
744.49/745.08	c |   1341311 |     140    11900    83300 |    54466    47432     44 |  0.005 % |
745.59/746.13	c |   1343361 |     140    11900    83300 |    54466    49482     44 |  0.005 % |
746.69/747.26	c |   1345615 |     140    11900    83300 |    54466    51736     44 |  0.005 % |
747.99/748.56	c |   1348093 |     140    11900    83300 |    54466    54214     44 |  0.005 % |
749.49/750.05	c |   1350819 |     140    11900    83300 |    50332    45734     44 |  0.005 % |
750.99/751.57	c |   1353816 |     140    11900    83300 |    50332    48731     44 |  0.005 % |
752.69/753.21	c |   1357115 |     140    11900    83300 |    50332    46990     44 |  0.005 % |
754.59/755.10	c |   1360742 |     140    11900    83300 | 2147483647    50617     44 |  0.005 % |
756.79/757.32	c |   1364730 |     140    11900    83300 | 2147483647    54605     44 |  0.005 % |
759.29/759.86	c |   1369115 |     140    11900    83300 | 2147483647    58990     44 |  0.005 % |
761.88/762.41	c |   1373940 |     140    11900    83300 |    59875    56686     44 |  0.005 % |
764.68/765.29	c |   1379245 |     140    11900    83300 |    59875    54486     44 |  0.005 % |
767.58/768.17	c |   1385080 |     140    11900    83300 |    55241    53678     44 |  0.005 % |
770.68/771.29	c |   1391499 |     140    11900    83300 |    52847    49038     44 |  0.005 % |
774.08/774.62	c |   1398560 |     140    11900    83300 |    52847    50808     44 |  0.005 % |
778.38/778.94	c |   1406324 |     140    11900    83300 | 2147483647    58572     44 |  0.005 % |
783.68/784.26	c |   1414864 |     140    11900    83300 |    62248    58185     44 |  0.005 % |
788.87/789.49	c |   1424259 |     140    11900    83300 |    54491    51175     44 |  0.005 % |
794.27/794.82	c |   1434592 |     140    11900    83300 | 2147483647    56039     44 |  0.005 % |
801.57/802.10	c |   1445958 |     140    11900    83300 |    61448    59210     44 |  0.005 % |
807.87/808.45	c |   1458461 |     140    11900    83300 |    54421    50027     44 |  0.005 % |
807.97/808.52	c |   1458563 |     140    11900    83300 |    54421    50129     44 |  0.005 % |
807.97/808.59	c |   1458674 |     140    11900    83300 |    54421    50240     44 |  0.005 % |
808.06/808.69	c |   1458795 |     140    11900    83300 |    54421    50361     44 |  0.005 % |
808.16/808.79	c |   1458928 |     140    11900    83300 |    54421    50494     44 |  0.005 % |
808.26/808.87	c |   1459074 |     140    11900    83300 |    54421    50640     44 |  0.005 % |
808.36/808.99	c |   1459234 |     140    11900    83300 |    54421    50800     44 |  0.005 % |
808.56/809.10	c |   1459411 |     140    11900    83300 |    54421    50977     44 |  0.005 % |
808.66/809.23	c |   1459605 |     140    11900    83300 |    54421    51171     44 |  0.005 % |
808.76/809.36	c |   1459818 |     140    11900    83300 |    54421    51384     44 |  0.005 % |
808.86/809.49	c |   1460052 |     140    11900    83300 |    51566    51618     44 |  0.005 % |
809.16/809.72	c |   1460308 |     140    11900    83300 |    51566    46661     44 |  0.005 % |
809.36/809.91	c |   1460590 |     140    11900    83300 |    51566    46943     44 |  0.005 % |
809.46/810.08	c |   1460899 |     140    11900    83300 |    51566    47252     44 |  0.005 % |
809.66/810.24	c |   1461238 |     140    11900    83300 |    51566    47591     44 |  0.005 % |
809.86/810.43	c |   1461610 |     140    11900    83300 |    51566    47963     44 |  0.005 % |
810.06/810.62	c |   1462020 |     140    11900    83300 |    51566    48373     44 |  0.005 % |
810.26/810.87	c |   1462470 |     140    11900    83300 |    51566    48823     44 |  0.005 % |
810.56/811.15	c |   1462963 |     140    11900    83300 |    51566    49316     44 |  0.005 % |
810.86/811.44	c |   1463505 |     140    11900    83300 |    51566    49858     44 |  0.005 % |
811.26/811.83	c |   1464101 |     140    11900    83300 |    51566    50454     44 |  0.005 % |
811.66/812.23	c |   1464757 |     140    11900    83300 |    51566    51110     44 |  0.005 % |
812.16/812.70	c |   1465477 |     140    11900    83300 |    51566    46346     44 |  0.005 % |
812.46/813.09	c |   1466270 |     140    11900    83300 |    51566    47139     44 |  0.005 % |
812.86/813.47	c |   1467141 |     140    11900    83300 |    51566    48010     44 |  0.005 % |
813.36/813.95	c |   1468100 |     140    11900    83300 |    51566    48969     44 |  0.005 % |
813.96/814.52	c |   1469155 |     140    11900    83300 |    51566    50024     44 |  0.005 % |
814.46/815.05	c |   1470314 |     140    11900    83300 | 2147483647    51183     44 |  0.005 % |
815.16/815.76	c |   1471587 |     140    11900    83300 | 2147483647    52456     44 |  0.005 % |
816.15/816.75	c |   1472990 |     140    11900    83300 | 2147483647    53859     44 |  0.005 % |
817.15/817.70	c |   1474530 |     140    11900    83300 | 2147483647    55399     44 |  0.005 % |
818.35/818.91	c |   1476224 |     140    11900    83300 | 2147483647    57093     44 |  0.005 % |
819.45/820.07	c |   1478087 |     140    11900    83300 | 2147483647    58956     44 |  0.005 % |
820.95/821.53	c |   1480138 |     140    11900    83300 |    60871    52497     44 |  0.005 % |
822.16/822.74	c |   1482391 |     140    11900    83300 |    60871    54750     44 |  0.005 % |
823.45/824.05	c |   1484872 |     140    11900    83300 |    60871    57231     44 |  0.005 % |
825.05/825.68	c |   1487597 |     140    11900    83300 |    60871    59956     44 |  0.005 % |
827.15/827.76	c |   1490595 |     140    11900    83300 |    54070    47226     44 |  0.005 % |
828.95/829.55	c |   1493892 |     140    11900    83300 |    54070    50523     44 |  0.005 % |
831.05/831.61	c |   1497517 |     140    11900    83300 |    54070    47957     44 |  0.005 % |
833.05/833.61	c |   1501506 |     140    11900    83300 |    50441    46276     44 |  0.005 % |
835.25/835.84	c |   1505892 |     140    11900    83300 |    50441    45611     44 |  0.005 % |
837.65/838.24	c |   1510717 |     140    11900    83300 | 2147483647    50436     44 |  0.005 % |
840.35/840.91	c |   1516022 |     140    11900    83300 | 2147483647    55741     44 |  0.005 % |
843.74/844.38	c |   1521858 |     140    11900    83300 |    59719    54388     44 |  0.005 % |
847.04/847.60	c |   1528276 |     140    11900    83300 |    59719    53475     44 |  0.005 % |
850.64/851.27	c |   1535336 |     140    11900    83300 |    55199    54045     44 |  0.005 % |
854.73/855.30	c |   1543102 |     140    11900    83300 | 2147483647    56286     44 |  0.005 % |
859.83/860.46	c |   1551644 |     140    11900    83300 |    63184    56852     44 |  0.005 % |
865.03/865.68	c |   1561038 |     140    11900    83300 |    56833    50437     44 |  0.005 % |
870.02/870.61	c |   1571371 |     140    11900    83300 |    52957    48569     44 |  0.005 % |
875.52/876.11	c |   1582738 |     140    11900    83300 | 2147483647    54635     43 |  0.005 % |
883.02/883.62	c |   1595240 |     140    11900    83300 |    61897    59970     43 |  0.005 % |
890.22/890.85	c |   1608993 |     140    11900    83300 |    56341    52349     43 |  0.005 % |
890.32/890.91	c |   1609095 |     140    11900    83300 |    56341    52451     43 |  0.005 % |
890.32/891.00	c |   1609205 |     140    11900    83300 |    56341    52561     43 |  0.005 % |
890.42/891.07	c |   1609327 |     140    11900    83300 |    56341    52683     43 |  0.005 % |
890.52/891.17	c |   1609460 |     140    11900    83300 |    56341    52816     43 |  0.005 % |
890.62/891.27	c |   1609607 |     140    11900    83300 |    56341    52963     43 |  0.005 % |
890.72/891.36	c |   1609767 |     140    11900    83300 |    56341    53123     43 |  0.005 % |
890.82/891.47	c |   1609944 |     140    11900    83300 |    56341    53300     43 |  0.005 % |
890.91/891.59	c |   1610139 |     140    11900    83300 | 2147483647    53495     43 |  0.005 % |
891.11/891.72	c |   1610353 |     140    11900    83300 | 2147483647    53709     43 |  0.005 % |
891.21/891.83	c |   1610586 |     140    11900    83300 | 2147483647    53942     43 |  0.005 % |
891.42/892.03	c |   1610842 |     140    11900    83300 | 2147483647    54198     43 |  0.005 % |
891.61/892.21	c |   1611123 |     140    11900    83300 | 2147483647    54479     43 |  0.005 % |
891.81/892.42	c |   1611433 |     140    11900    83300 | 2147483647    54789     43 |  0.005 % |
892.01/892.66	c |   1611772 |     140    11900    83300 | 2147483647    55128     43 |  0.005 % |
892.31/892.93	c |   1612147 |     140    11900    83300 | 2147483647    55503     43 |  0.005 % |
892.62/893.21	c |   1612557 |     140    11900    83300 | 2147483647    55913     43 |  0.005 % |
892.91/893.54	c |   1613006 |     140    11900    83300 | 2147483647    56362     43 |  0.005 % |
893.31/893.93	c |   1613502 |     140    11900    83300 | 2147483647    56858     43 |  0.005 % |
893.71/894.34	c |   1614044 |     140    11900    83300 | 2147483647    57400     43 |  0.005 % |
894.11/894.79	c |   1614642 |     140    11900    83300 | 2147483647    57998     43 |  0.005 % |
894.71/895.30	c |   1615297 |     140    11900    83300 | 2147483647    58653     43 |  0.005 % |
895.11/895.77	c |   1616018 |     140    11900    83300 | 2147483647    59374     43 |  0.005 % |
895.61/896.28	c |   1616813 |     140    11900    83300 | 2147483647    60169     43 |  0.005 % |
896.21/896.81	c |   1617684 |     140    11900    83300 | 2147483647    61040     43 |  0.005 % |
896.81/897.42	c |   1618642 |     140    11900    83300 | 2147483647    61998     43 |  0.005 % |
897.41/898.03	c |   1619697 |     140    11900    83300 | 2147483647    63053     43 |  0.005 % |
898.11/898.75	c |   1620856 |     140    11900    83300 |    63360    55131     43 |  0.005 % |
898.81/899.43	c |   1622131 |     140    11900    83300 |    63360    56406     43 |  0.005 % |
899.60/900.25	c |   1623531 |     140    11900    83300 |    63360    57806     43 |  0.005 % |
900.70/901.32	c |   1625072 |     140    11900    83300 |    63360    59347     43 |  0.005 % |
901.70/902.38	c |   1626769 |     140    11900    83300 |    63360    61044     43 |  0.005 % |
902.90/903.57	c |   1628634 |     140    11900    83300 |    63360    62909     43 |  0.005 % |
904.20/904.83	c |   1630683 |     140    11900    83300 |    54699    47259     43 |  0.005 % |
905.30/905.93	c |   1632937 |     140    11900    83300 |    54699    49513     43 |  0.005 % |
906.50/907.17	c |   1635415 |     140    11900    83300 |    54699    51991     43 |  0.005 % |
908.10/908.75	c |   1638140 |     140    11900    83300 |    54699    54716     43 |  0.005 % |
909.60/910.23	c |   1641137 |     140    11900    83300 |    50540    46409     43 |  0.005 % |
911.10/911.74	c |   1644434 |     140    11900    83300 |    50540    49706     43 |  0.005 % |
913.00/913.67	c |   1648059 |     140    11900    83300 |    50540    48271     43 |  0.005 % |
915.10/915.70	c |   1652046 |     140    11900    83300 | 2147483647    52258     44 |  0.005 % |
917.40/918.02	c |   1656431 |     140    11900    83300 | 2147483647    56643     44 |  0.005 % |
920.30/920.94	c |   1661254 |     140    11900    83300 |    60212    54513     44 |  0.005 % |
923.30/923.98	c |   1666559 |     140    11900    83300 |    60212    59818     44 |  0.005 % |
926.60/927.29	c |   1672394 |     140    11900    83300 |    55928    51216     44 |  0.005 % |
929.69/930.38	c |   1678813 |     140    11900    83300 |    55928    51864     44 |  0.005 % |
933.39/934.07	c |   1685872 |     140    11900    83300 |    53052    48191     44 |  0.005 % |
937.49/938.17	c |   1693637 |     140    11900    83300 | 2147483647    55956     44 |  0.005 % |
942.58/943.21	c |   1702177 |     140    11900    83300 |    62320    56838     44 |  0.005 % |
947.68/948.35	c |   1711571 |     140    11900    83300 |    56674    51185     44 |  0.005 % |
952.98/953.60	c |   1721907 |     140    11900    83300 |    52896    48840     44 |  0.005 % |
958.18/958.84	c |   1733273 |     140    11900    83300 | 2147483647    54911     44 |  0.005 % |
964.97/965.62	c |   1745776 |     140    11900    83300 |    61639    60427     44 |  0.005 % |
972.27/973.00	c |   1759529 |     140    11900    83300 |    56659    52960     44 |  0.005 % |
979.98/980.65	c |   1774658 |     140    11900    83300 |    51289    50502     44 |  0.005 % |
980.08/980.70	c |   1774758 |     140    11900    83300 |    51289    50602     44 |  0.005 % |
980.08/980.75	c |   1774869 |     140    11900    83300 |    51289    50713     44 |  0.005 % |
980.18/980.83	c |   1774992 |     140    11900    83300 |    51289    50836     44 |  0.005 % |
980.28/980.92	c |   1775125 |     140    11900    83300 |    51289    50969     44 |  0.005 % |
980.38/981.01	c |   1775273 |     140    11900    83300 |    51289    51117     44 |  0.005 % |
980.38/981.09	c |   1775434 |     140    11900    83300 |    51289    51278     44 |  0.005 % |
980.58/981.25	c |   1775610 |     140    11900    83300 |    51289    46319     44 |  0.005 % |
980.68/981.37	c |   1775805 |     140    11900    83300 |    51289    46514     44 |  0.005 % |
980.88/981.51	c |   1776019 |     140    11900    83300 |    51289    46728     44 |  0.005 % |
980.98/981.67	c |   1776252 |     140    11900    83300 |    51289    46961     44 |  0.005 % |
981.08/981.78	c |   1776508 |     140    11900    83300 |    51289    47217     44 |  0.005 % |
981.28/981.94	c |   1776790 |     140    11900    83300 |    51289    47499     44 |  0.005 % |
981.48/982.12	c |   1777099 |     140    11900    83300 |    51289    47808     44 |  0.005 % |
981.68/982.35	c |   1777440 |     140    11900    83300 |    51289    48149     44 |  0.005 % |
981.88/982.54	c |   1777812 |     140    11900    83300 |    51289    48521     44 |  0.005 % |
982.08/982.74	c |   1778221 |     140    11900    83300 |    51289    48930     44 |  0.005 % |
982.28/982.95	c |   1778670 |     140    11900    83300 |    51289    49379     44 |  0.005 % |
982.48/983.16	c |   1779164 |     140    11900    83300 |    51289    49873     44 |  0.005 % |
982.68/983.40	c |   1779706 |     140    11900    83300 |    51289    50415     44 |  0.005 % |
982.97/983.65	c |   1780302 |     140    11900    83300 | 2147483647    51011     44 |  0.005 % |
983.27/983.94	c |   1780957 |     140    11900    83300 | 2147483647    51666     44 |  0.005 % |
983.57/984.30	c |   1781678 |     140    11900    83300 | 2147483647    52387     44 |  0.005 % |
983.97/984.66	c |   1782471 |     140    11900    83300 | 2147483647    53180     44 |  0.005 % |
984.47/985.11	c |   1783342 |     140    11900    83300 | 2147483647    54051     44 |  0.005 % |
984.97/985.66	c |   1784300 |     140    11900    83300 | 2147483647    55009     44 |  0.005 % |
985.57/986.26	c |   1785353 |     140    11900    83300 | 2147483647    56062     44 |  0.005 % |
986.17/986.89	c |   1786512 |     140    11900    83300 | 2147483647    57221     44 |  0.005 % |
987.26/987.99	c |   1787786 |     140    11900    83300 | 2147483647    58495     44 |  0.005 % |
988.27/988.97	c |   1789186 |     140    11900    83300 | 2147483647    59895     44 |  0.005 % |
989.27/989.96	c |   1790728 |     140    11900    83300 |    60711    53586     44 |  0.005 % |
990.16/990.84	c |   1792423 |     140    11900    83300 |    60711    55281     44 |  0.005 % |
991.26/991.92	c |   1794287 |     140    11900    83300 |    60711    57145     44 |  0.005 % |
992.26/992.98	c |   1796336 |     140    11900    83300 |    60711    59194     44 |  0.005 % |
993.66/994.31	c |   1798591 |     140    11900    83300 |    60711    53407     44 |  0.005 % |
995.26/995.92	c |   1801069 |     140    11900    83300 |    54818    48579     44 |  0.005 % |
996.66/997.39	c |   1803796 |     140    11900    83300 |    54818    51306     44 |  0.005 % |
998.36/999.07	c |   1806794 |     140    11900    83300 |    54818    54304     44 |  0.005 % |
1000.16/1000.85	c |   1810090 |     140    11900    83300 |    51121    45559     44 |  0.005 % |
1002.06/1002.73	c |   1813716 |     140    11900    83300 |    51121    49185     44 |  0.005 % |
1003.96/1004.62	c |   1817703 |     140    11900    83300 |    51121    48053     44 |  0.005 % |
1006.06/1006.79	c |   1822088 |     140    11900    83300 | 2147483647    52438     44 |  0.005 % |
1008.85/1009.52	c |   1826911 |     140    11900    83300 | 2147483647    57261     44 |  0.005 % |
1011.55/1012.27	c |   1832218 |     140    11900    83300 |    60350    55290     44 |  0.005 % |
1014.95/1015.64	c |   1838054 |     140    11900    83300 |    60350    53253     44 |  0.005 % |
1018.55/1019.27	c |   1844472 |     140    11900    83300 |    55199    52360     44 |  0.005 % |
1022.05/1022.76	c |   1851531 |     140    11900    83300 |    51584    47578     44 |  0.005 % |
1026.15/1026.88	c |   1859296 |     140    11900    83300 |    51584    50059     44 |  0.005 % |
1030.24/1030.97	c |   1867836 |     140    11900    83300 |    50764    48342     44 |  0.005 % |
1035.14/1035.83	c |   1877233 |     140    11900    83300 | 2147483647    57739     45 |  0.005 % |
1041.64/1042.32	c |   1887567 |     140    11900    83300 |    60506    53493     44 |  0.005 % |
1047.84/1048.55	c |   1898936 |     140    11900    83300 |    55926    50877     44 |  0.005 % |
1054.04/1054.79	c |   1911439 |     140    11900    83300 | 2147483647    52317     44 |  0.005 % |
1062.13/1062.84	c |   1925192 |     140    11900    83300 |    60880    58650     44 |  0.005 % |
1070.73/1071.46	c |   1940319 |     140    11900    83300 |    50911    45225     44 |  0.005 % |
1080.02/1080.75	c |   1956959 |     140    11900    83300 | 2147483647    56768     44 |  0.005 % |
1080.12/1080.82	c |   1957059 |     140    11900    83300 | 2147483647    56868     44 |  0.005 % |
1080.22/1080.91	c |   1957171 |     140    11900    83300 | 2147483647    56980     44 |  0.005 % |
1080.32/1081.00	c |   1957292 |     140    11900    83300 | 2147483647    57101     44 |  0.005 % |
1080.32/1081.08	c |   1957426 |     140    11900    83300 | 2147483647    57235     44 |  0.005 % |
1080.42/1081.18	c |   1957573 |     140    11900    83300 | 2147483647    57382     44 |  0.005 % |
1080.62/1081.31	c |   1957733 |     140    11900    83300 | 2147483647    57542     44 |  0.005 % |
1080.72/1081.42	c |   1957912 |     140    11900    83300 | 2147483647    57721     44 |  0.005 % |
1080.82/1081.55	c |   1958105 |     140    11900    83300 | 2147483647    57914     44 |  0.005 % |
1080.92/1081.65	c |   1958319 |     140    11900    83300 | 2147483647    58128     44 |  0.005 % |
1081.12/1081.83	c |   1958553 |     140    11900    83300 | 2147483647    58362     44 |  0.005 % |
1081.32/1082.02	c |   1958810 |     140    11900    83300 | 2147483647    58619     44 |  0.005 % |
1081.42/1082.17	c |   1959091 |     140    11900    83300 | 2147483647    58900     44 |  0.005 % |
1081.62/1082.37	c |   1959402 |     140    11900    83300 | 2147483647    59211     44 |  0.005 % |
1081.82/1082.60	c |   1959741 |     140    11900    83300 | 2147483647    59550     44 |  0.005 % |
1082.22/1082.92	c |   1960113 |     140    11900    83300 |    59809    52257     44 |  0.005 % |
1082.42/1083.17	c |   1960522 |     140    11900    83300 |    59809    52666     44 |  0.005 % |
1082.72/1083.46	c |   1960971 |     140    11900    83300 |    59809    53115     44 |  0.005 % |
1083.12/1083.81	c |   1961466 |     140    11900    83300 |    59809    53610     44 |  0.005 % |
1083.42/1084.19	c |   1962009 |     140    11900    83300 |    59809    54153     44 |  0.005 % |
1083.82/1084.57	c |   1962605 |     140    11900    83300 |    59809    54749     44 |  0.005 % |
1084.22/1084.97	c |   1963260 |     140    11900    83300 |    59809    55404     44 |  0.005 % |
1084.72/1085.40	c |   1963980 |     140    11900    83300 |    59809    56124     44 |  0.005 % |
1085.12/1085.82	c |   1964773 |     140    11900    83300 |    59809    56917     44 |  0.005 % |
1085.61/1086.32	c |   1965644 |     140    11900    83300 |    59809    57788     44 |  0.005 % |
1086.21/1086.91	c |   1966602 |     140    11900    83300 |    59809    58746     44 |  0.005 % |
1086.81/1087.53	c |   1967655 |     140    11900    83300 |    59809    59799     44 |  0.005 % |
1087.51/1088.25	c |   1968813 |     140    11900    83300 |    59809    52427     44 |  0.005 % |
1088.22/1088.95	c |   1970088 |     140    11900    83300 |    53615    46593     44 |  0.005 % |
1088.91/1089.67	c |   1971488 |     140    11900    83300 |    53615    47993     44 |  0.005 % |
1089.81/1090.50	c |   1973029 |     140    11900    83300 |    53615    49534     44 |  0.005 % |
1090.61/1091.36	c |   1974727 |     140    11900    83300 |    53615    51232     44 |  0.005 % |
1091.62/1092.35	c |   1976592 |     140    11900    83300 |    53615    53097     44 |  0.005 % |
1092.71/1093.48	c |   1978641 |     140    11900    83300 |    53615    49275     44 |  0.005 % |
1093.91/1094.61	c |   1980895 |     140    11900    83300 |    50636    46423     44 |  0.005 % |
1094.91/1095.69	c |   1983373 |     140    11900    83300 |    50636    48901     44 |  0.005 % |
1096.31/1097.06	c |   1986100 |     140    11900    83300 |    50636    46558     44 |  0.005 % |
1097.81/1098.50	c |   1989097 |     140    11900    83300 |    50636    49555     44 |  0.005 % |
1099.51/1100.24	c |   1992393 |     140    11900    83300 | 2147483647    52851     44 |  0.005 % |
1101.61/1102.31	c |   1996019 |     140    11900    83300 | 2147483647    56477     44 |  0.005 % |
1104.11/1104.86	c |   2000006 |     140    11900    83300 |    60458    60464     44 |  0.005 % |
1106.71/1107.43	c |   2004391 |     140    11900    83300 |    60458    57283     43 |  0.005 % |
1109.71/1110.44	c |   2009216 |     140    11900    83300 |    60458    53909     43 |  0.005 % |
1112.80/1113.51	c |   2014523 |     140    11900    83300 |    54695    51872     43 |  0.005 % |
1116.20/1116.98	c |   2020358 |     140    11900    83300 |    50986    45459     43 |  0.005 % |
1119.60/1120.35	c |   2026777 |     140    11900    83300 |    50986    46774     44 |  0.005 % |
1122.99/1123.80	c |   2033836 |     140    11900    83300 | 2147483647    53833     44 |  0.005 % |
1127.69/1128.47	c |   2041600 |     140    11900    83300 |    59998    54612     44 |  0.005 % |
1132.29/1133.07	c |   2050142 |     140    11900    83300 |    55153    48333     44 |  0.005 % |
1137.29/1138.03	c |   2059536 |     140    11900    83300 |    55153    51369     44 |  0.005 % |
1141.99/1142.78	c |   2069869 |     140    11900    83300 |    51833    50290     45 |  0.005 % |
1147.18/1147.98	c |   2081238 |     140    11900    83300 | 2147483647    51520     45 |  0.005 % |
1153.88/1154.64	c |   2093742 |     140    11900    83300 |    60283    57121     45 |  0.005 % |
1161.38/1162.18	c |   2107494 |     140    11900    83300 |    56183    51412     45 |  0.005 % |
1169.47/1170.21	c |   2122622 |     140    11900    83300 | 2147483647    55540     44 |  0.005 % |
1178.87/1179.64	c |   2139262 |     140    11900    83300 |    62920    56322     44 |  0.005 % |
1188.27/1189.03	c |   2157564 |     140    11900    83300 | 2147483647    61758     44 |  0.005 % |
1188.27/1189.10	c |   2157664 |     140    11900    83300 | 2147483647    61858     44 |  0.005 % |
1188.37/1189.16	c |   2157776 |     140    11900    83300 | 2147483647    61970     44 |  0.005 % |
1188.46/1189.26	c |   2157898 |     140    11900    83300 | 2147483647    62092     44 |  0.005 % |
1188.56/1189.38	c |   2158033 |     140    11900    83300 | 2147483647    62227     44 |  0.005 % |
1188.66/1189.50	c |   2158180 |     140    11900    83300 | 2147483647    62374     44 |  0.005 % |
1188.86/1189.62	c |   2158340 |     140    11900    83300 | 2147483647    62534     44 |  0.005 % |
1188.96/1189.73	c |   2158516 |     140    11900    83300 | 2147483647    62710     44 |  0.005 % |
1189.06/1189.85	c |   2158709 |     140    11900    83300 | 2147483647    62903     44 |  0.005 % |
1189.26/1190.00	c |   2158921 |     140    11900    83300 | 2147483647    63115     44 |  0.005 % |
1189.37/1190.14	c |   2159154 |     140    11900    83300 | 2147483647    63348     44 |  0.005 % |
1189.56/1190.33	c |   2159411 |     140    11900    83300 | 2147483647    63605     44 |  0.005 % |
1189.76/1190.55	c |   2159694 |     140    11900    83300 | 2147483647    63888     44 |  0.005 % |
1190.06/1190.82	c |   2160003 |     140    11900    83300 |    64196    64197     44 |  0.005 % |
1190.36/1191.14	c |   2160343 |     140    11900    83300 |    64196    56161     43 |  0.005 % |
1190.66/1191.42	c |   2160717 |     140    11900    83300 |    64196    56535     43 |  0.005 % |
1190.96/1191.70	c |   2161126 |     140    11900    83300 |    64196    56944     43 |  0.005 % |
1191.16/1191.97	c |   2161575 |     140    11900    83300 |    64196    57393     43 |  0.005 % |
1191.46/1192.29	c |   2162071 |     140    11900    83300 |    64196    57889     43 |  0.005 % |
1191.86/1192.65	c |   2162614 |     140    11900    83300 |    64196    58432     43 |  0.005 % |
1192.16/1192.94	c |   2163211 |     140    11900    83300 |    64196    59029     43 |  0.005 % |
1192.56/1193.32	c |   2163868 |     140    11900    83300 |    64196    59686     43 |  0.005 % |
1192.96/1193.73	c |   2164590 |     140    11900    83300 |    64196    60408     43 |  0.005 % |
1193.46/1194.25	c |   2165382 |     140    11900    83300 |    64196    61200     43 |  0.005 % |
1193.96/1194.78	c |   2166253 |     140    11900    83300 |    64196    62071     43 |  0.005 % |
1194.56/1195.38	c |   2167211 |     140    11900    83300 |    64196    63029     43 |  0.005 % |
1195.26/1196.02	c |   2168266 |     140    11900    83300 |    64196    64084     43 |  0.005 % |
1196.06/1196.83	c |   2169424 |     140    11900    83300 |    64196    55261     43 |  0.005 % |
1196.76/1197.54	c |   2170697 |     140    11900    83300 |    55837    47981     43 |  0.005 % |
1197.46/1198.25	c |   2172097 |     140    11900    83300 |    55837    49381     43 |  0.005 % |
1198.26/1199.04	c |   2173638 |     140    11900    83300 |    55837    50922     43 |  0.005 % |
1199.06/1199.83	c |   2175332 |     140    11900    83300 |    55837    52616     43 |  0.005 % |
1199.96/1200.76	c |   2177197 |     140    11900    83300 |    55837    54481     43 |  0.005 % |
1200.06/1200.80	HOME/SatELiteGTI: line 36: 11360 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-1832637-1242785542/watcher-1832637-1242785542 -o /tmp/evaluation-result-1832637-1242785542/solver-1832637-1242785542 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832637-1242785542.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.05 1.03 3/64 11354
/proc/meminfo: memFree=1885440/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306582813 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 213116485714 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/11354/statm: 1339 235 195 169 0 50 0
[pid=11355] ppid=11354 vsize=5356 CPUtime=0
/proc/11355/stat : 11355 (SatELiteGTI) S 11354 11354 10762 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306582813 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/11355/statm: 1339 238 198 169 0 50 0
[pid=11357] ppid=11355 vsize=192 CPUtime=0
/proc/11357/stat : 11357 (sed) R 11355 11354 10762 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 306582813 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 213113697557 0 0 4096 0 0 0 0 17 0 0 0
/proc/11357/statm: 48 23 16 11 0 11 0

[startup+0.051999 s]
/proc/loadavg: 1.00 1.05 1.03 3/64 11354
/proc/meminfo: memFree=1885440/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.102003 s]
/proc/loadavg: 1.00 1.05 1.03 3/64 11354
/proc/meminfo: memFree=1885440/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.30104 s]
/proc/loadavg: 1.00 1.05 1.03 3/64 11354
/proc/meminfo: memFree=1885440/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.701115 s]
/proc/loadavg: 1.00 1.05 1.03 3/64 11354
/proc/meminfo: memFree=1885440/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+1.50127 s]
/proc/loadavg: 1.00 1.05 1.03 2/66 11360
/proc/meminfo: memFree=1882480/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=4668 CPUtime=1.43
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 899 0 0 0 143 0 0 0 25 0 1 0 306582818 4780032 885 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 1167 885 76 171 0 994 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10024

[startup+3.10157 s]
/proc/loadavg: 1.00 1.05 1.03 2/66 11360
/proc/meminfo: memFree=1880496/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=6720 CPUtime=3.03
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 1389 0 0 0 302 1 0 0 25 0 1 0 306582818 6881280 1375 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 1680 1375 76 171 0 1507 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 12076

[startup+6.30117 s]
/proc/loadavg: 1.00 1.05 1.03 2/66 11360
/proc/meminfo: memFree=1877488/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=9132 CPUtime=6.22
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 1983 0 0 0 621 1 0 0 25 0 1 0 306582818 9351168 1969 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 2283 1969 76 171 0 2110 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 14488

[startup+12.7024 s]
/proc/loadavg: 1.00 1.04 1.02 2/66 11360
/proc/meminfo: memFree=1874160/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=12252 CPUtime=12.62
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 2764 0 0 0 1260 2 0 0 25 0 1 0 306582818 12546048 2750 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 3063 2750 76 171 0 2890 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 17608

[startup+25.5018 s]
/proc/loadavg: 1.00 1.04 1.02 2/66 11360
/proc/meminfo: memFree=1869872/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=16236 CPUtime=25.42
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 3761 0 0 0 2538 4 0 0 25 0 1 0 306582818 16625664 3747 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4059 3747 76 171 0 3886 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 21592

[startup+51.1016 s]
/proc/loadavg: 1.00 1.04 1.02 2/66 11360
/proc/meminfo: memFree=1869744/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=16368 CPUtime=50.99
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 3783 0 0 0 5095 4 0 0 25 0 1 0 306582818 16760832 3769 1992294400 134512640 135215339 4294956240 18446744073709551615 134529096 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4092 3769 76 171 0 3919 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 21724

[startup+102.305 s]
/proc/loadavg: 1.00 1.03 1.02 2/66 11360
/proc/meminfo: memFree=1869488/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=16500 CPUtime=102.15
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 3815 0 0 0 10211 4 0 0 25 0 1 0 306582818 16896000 3801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4125 3801 76 171 0 3952 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 21856

[startup+162.302 s]
/proc/loadavg: 1.00 1.02 1.01 2/66 11360
/proc/meminfo: memFree=1869104/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=16644 CPUtime=162.11
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 3874 0 0 0 16206 5 0 0 25 0 1 0 306582818 17043456 3860 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4161 3860 76 171 0 3988 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 22000

[startup+222.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 11360
/proc/meminfo: memFree=1868528/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=17172 CPUtime=222.06
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 4001 0 0 0 22201 5 0 0 25 0 1 0 306582818 17584128 3987 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4293 3987 76 171 0 4120 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 22528

[startup+282.301 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 11360
/proc/meminfo: memFree=1868400/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=17304 CPUtime=282.02
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 4006 0 0 0 28197 5 0 0 25 0 1 0 306582818 17719296 3992 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4326 3992 76 171 0 4153 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 22660

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11360
/proc/meminfo: memFree=1868080/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=17452 CPUtime=341.99
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 4047 0 0 0 34194 5 0 0 25 0 1 0 306582818 17870848 4033 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4363 4033 76 171 0 4190 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 22808

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11360
/proc/meminfo: memFree=1867888/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=17584 CPUtime=401.95

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

[pid=11360] ppid=11354 vsize=17716 CPUtime=461.92
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 4134 0 0 0 46186 6 0 0 25 0 1 0 306582818 18141184 4120 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4429 4120 76 171 0 4256 0
Current children cumulated CPU time (s) 461.95
Current children cumulated vsize (KiB) 23072

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11360
/proc/meminfo: memFree=1867248/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=17980 CPUtime=521.89
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 4198 0 0 0 52183 6 0 0 25 0 1 0 306582818 18411520 4184 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4495 4184 76 171 0 4322 0
Current children cumulated CPU time (s) 521.92
Current children cumulated vsize (KiB) 23336

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11360
/proc/meminfo: memFree=1866864/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=18380 CPUtime=581.85
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 4279 0 0 0 58179 6 0 0 25 0 1 0 306582818 18821120 4265 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4595 4265 76 171 0 4422 0
Current children cumulated CPU time (s) 581.88
Current children cumulated vsize (KiB) 23736

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11360
/proc/meminfo: memFree=1866736/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=18380 CPUtime=641.82
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 4279 0 0 0 64176 6 0 0 25 0 1 0 306582818 18821120 4265 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4595 4265 76 171 0 4422 0
Current children cumulated CPU time (s) 641.85
Current children cumulated vsize (KiB) 23736

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11360
/proc/meminfo: memFree=1866480/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=18380 CPUtime=701.78
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 4279 0 0 0 70172 6 0 0 25 0 1 0 306582818 18821120 4265 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4595 4265 76 171 0 4422 0
Current children cumulated CPU time (s) 701.81
Current children cumulated vsize (KiB) 23736

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11360
/proc/meminfo: memFree=1866032/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=18780 CPUtime=761.76
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 4386 0 0 0 76169 7 0 0 25 0 1 0 306582818 19230720 4372 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4695 4372 76 171 0 4522 0
Current children cumulated CPU time (s) 761.79
Current children cumulated vsize (KiB) 24136

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11360
/proc/meminfo: memFree=1865968/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=18780 CPUtime=821.72
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 4387 0 0 0 82165 7 0 0 25 0 1 0 306582818 19230720 4373 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4695 4373 76 171 0 4522 0
Current children cumulated CPU time (s) 821.75
Current children cumulated vsize (KiB) 24136

[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11360
/proc/meminfo: memFree=1865840/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=18780 CPUtime=881.69
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 4393 0 0 0 88162 7 0 0 25 0 1 0 306582818 19230720 4379 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4695 4379 76 171 0 4522 0
Current children cumulated CPU time (s) 881.72
Current children cumulated vsize (KiB) 24136

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11360
/proc/meminfo: memFree=1865584/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=19068 CPUtime=941.65
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 4433 0 0 0 94158 7 0 0 25 0 1 0 306582818 19525632 4419 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4767 4419 76 171 0 4594 0
Current children cumulated CPU time (s) 941.68
Current children cumulated vsize (KiB) 24424

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11360
/proc/meminfo: memFree=1865328/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=19216 CPUtime=1001.63
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 4474 0 0 0 100155 8 0 0 25 0 1 0 306582818 19677184 4460 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4804 4460 76 171 0 4631 0
Current children cumulated CPU time (s) 1001.66
Current children cumulated vsize (KiB) 24572

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11360
/proc/meminfo: memFree=1865264/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=19216 CPUtime=1061.6
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 4489 0 0 0 106152 8 0 0 25 0 1 0 306582818 19677184 4475 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4804 4475 76 171 0 4631 0
Current children cumulated CPU time (s) 1061.63
Current children cumulated vsize (KiB) 24572

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11360
/proc/meminfo: memFree=1864944/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=19516 CPUtime=1121.57
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 4534 0 0 0 112149 8 0 0 25 0 1 0 306582818 19984384 4520 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4879 4520 76 171 0 4706 0
Current children cumulated CPU time (s) 1121.6
Current children cumulated vsize (KiB) 24872

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11360
/proc/meminfo: memFree=1864816/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=19516 CPUtime=1181.54
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 4546 0 0 0 118146 8 0 0 25 0 1 0 306582818 19984384 4532 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4879 4532 76 171 0 4706 0
Current children cumulated CPU time (s) 1181.57
Current children cumulated vsize (KiB) 24872



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 11360
/proc/meminfo: memFree=1864496/2055920 swapFree=4153476/4192956
[pid=11354] ppid=11352 vsize=5356 CPUtime=0.03
/proc/11354/stat : 11354 (SatELiteGTI) S 11352 11354 10762 0 -1 4194304 336 630 0 0 0 0 3 0 16 0 1 0 306582813 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/11354/statm: 1339 239 197 169 0 50 0
[pid=11360] ppid=11354 vsize=19808 CPUtime=1200.03
/proc/11360/stat : 11360 (minisat_static) R 11354 11354 10762 0 -1 4194304 4602 0 0 0 119995 8 0 0 25 0 1 0 306582818 20283392 4588 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/11360/statm: 4952 4588 76 171 0 4779 0
Current children cumulated CPU time (s) 1200.06
Current children cumulated vsize (KiB) 25164

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.09
CPU user time (s): 1199.99
CPU system time (s): 0.098984
CPU usage (%): 99.9399
Max. virtual memory (cumulated for all children) (KiB): 25164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.99
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5577
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= 26
involuntary context switches= 8156

runsolver used 1.02084 second user time and 3.49747 second system time

The end

Launcher Data

Begin job on node37 at 2009-05-20 04:12:22
IDJOB=1832637
IDBENCH=70282
IDSOLVER=671
FILE ID=node37/1832637-1242785542
PBS_JOBID= 9322374
Free space on /tmp= 66452 MiB

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

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

MD5SUM BENCH= c4a0eb3415818159d561f36b2a8ffa74
RANDOM SEED=1328908572

node37.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.259
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.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1885992 kB
Buffers:         21672 kB
Cached:          69880 kB
SwapCached:      34248 kB
Active:          58044 kB
Inactive:        69428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1885992 kB
SwapTotal:     4192956 kB
SwapFree:      4153476 kB
Dirty:            1900 kB
Writeback:           0 kB
Mapped:          14068 kB
Slab:            28596 kB
Committed_AS:  1107136 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66452 MiB
End job on node37 at 2009-05-20 04:32:25