Trace number 1832623

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.03 1200.51

General information on the benchmark

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

Solver Data

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   11900    83300 |    3569       0        0     nan |  0.000 % |
0.00/0.02	c ==============================================================================
0.00/0.02	c Result  :   #vars: 140   #clauses: 11900   #literals: 83300
0.00/0.02	c CPU time:   0.013997 s
0.00/0.02	c ==============================================================================
0.00/0.04	c This is MiniSat 2.0 beta
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Number of variables:  140                                                  |
0.00/0.04	c |  Number of clauses:    11900                                                |
0.00/0.05	c |  Parsing time:         0.01         s                                       |
0.00/0.05	c ============================[ Search Statistics ]==============================
0.00/0.05	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.05	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.05	c ===============================================================================
0.00/0.05	c |         0 |     140    11900    83300 |     3966        0    nan |  0.000 % |
0.00/0.06	c |       104 |     140    11900    83300 |     3966      104     45 |  0.005 % |
0.00/0.07	c |       205 |     140    11900    83300 |     3966      205     44 |  0.005 % |
0.00/0.08	c |       305 |     140    11900    83300 |     3966      305     43 |  0.005 % |
0.00/0.09	c |       416 |     140    11900    83300 |     3966      416     44 |  0.005 % |
0.00/0.09	c |       516 |     140    11900    83300 |     3966      516     44 |  0.005 % |
0.03/0.10	c |       626 |     140    11900    83300 |     3966      626     44 |  0.005 % |
0.03/0.11	c |       747 |     140    11900    83300 |     3966      747     43 |  0.005 % |
0.03/0.12	c |       847 |     140    11900    83300 |     3966      847     44 |  0.005 % |
0.03/0.12	c |       958 |     140    11900    83300 |     3966      958     44 |  0.005 % |
0.03/0.13	c |      1079 |     140    11900    83300 |     3966     1079     43 |  0.005 % |
0.03/0.14	c |      1212 |     140    11900    83300 |     3966     1212     43 |  0.005 % |
0.03/0.15	c |      1312 |     140    11900    83300 |     3966     1312     43 |  0.005 % |
0.03/0.15	c |      1423 |     140    11900    83300 |     3966     1423     43 |  0.005 % |
0.03/0.16	c |      1544 |     140    11900    83300 |     3966     1544     43 |  0.005 % |
0.03/0.17	c |      1678 |     140    11900    83300 |     3966     1678     43 |  0.005 % |
0.03/0.18	c |      1825 |     140    11900    83300 |     3966     1825     44 |  0.005 % |
0.03/0.19	c |      1925 |     140    11900    83300 |     3966     1925     43 |  0.005 % |
0.03/0.20	c |      2037 |     140    11900    83300 |     3966     2037     44 |  0.005 % |
0.03/0.21	c |      2158 |     140    11900    83300 |     3966     2158     44 |  0.005 % |
0.03/0.22	c |      2291 |     140    11900    83300 |     3966     2291     44 |  0.005 % |
0.03/0.23	c |      2437 |     140    11900    83300 |     3966     2437     44 |  0.005 % |
0.03/0.24	c |      2599 |     140    11900    83300 |     3966     2599     44 |  0.005 % |
0.03/0.25	c |      2699 |     140    11900    83300 |     3966     2699     44 |  0.005 % |
0.03/0.26	c |      2812 |     140    11900    83300 |     3966     2812     44 |  0.005 % |
0.03/0.27	c |      2934 |     140    11900    83300 |     3966     2934     44 |  0.005 % |
0.03/0.28	c |      3067 |     140    11900    83300 |     3966     3067     44 |  0.005 % |
0.03/0.29	c |      3214 |     140    11900    83300 |     3966     3214     44 |  0.005 % |
0.03/0.30	c |      3374 |     140    11900    83300 |     3966     3374     44 |  0.005 % |
0.03/0.31	c |      3551 |     140    11900    83300 |     3966     3551     44 |  0.005 % |
0.03/0.32	c |      3653 |     140    11900    83300 |     3966     3653     44 |  0.005 % |
0.03/0.33	c |      3765 |     140    11900    83300 |     3966     3765     43 |  0.005 % |
0.03/0.34	c |      3886 |     140    11900    83300 |     3966     3886     43 |  0.005 % |
0.03/0.36	c |      4019 |     140    11900    83300 |     3966     4019     43 |  0.005 % |
0.03/0.37	c |      4165 |     140    11900    83300 |     3966     3764     43 |  0.005 % |
0.03/0.38	c |      4326 |     140    11900    83300 |     3966     3925     43 |  0.005 % |
0.03/0.40	c |      4502 |     140    11900    83300 |     3966     3697     43 |  0.005 % |
0.03/0.41	c |      4695 |     140    11900    83300 |     3966     3890     43 |  0.005 % |
0.03/0.42	c |      4795 |     140    11900    83300 |     3966     3990     43 |  0.005 % |
0.03/0.43	c |      4905 |     140    11900    83300 |     3966     3701     43 |  0.005 % |
0.03/0.44	c |      5026 |     140    11900    83300 |     3966     3822     43 |  0.005 % |
0.03/0.46	c |      5159 |     140    11900    83300 |     3966     3955     43 |  0.005 % |
0.03/0.47	c |      5305 |     140    11900    83300 |     3966     3699     43 |  0.005 % |
0.03/0.48	c |      5466 |     140    11900    83300 |     3966     3860     43 |  0.005 % |
0.03/0.50	c |      5643 |     140    11900    83300 |     3966     3635     43 |  0.005 % |
0.03/0.51	c |      5836 |     140    11900    83300 |     3966     3828     43 |  0.005 % |
0.03/0.53	c |      6050 |     140    11900    83300 |     3966     3641     43 |  0.005 % |
0.03/0.54	c |      6151 |     140    11900    83300 |     3966     3742     43 |  0.005 % |
0.03/0.55	c |      6262 |     140    11900    83300 |     3966     3853     43 |  0.005 % |
0.03/0.56	c |      6384 |     140    11900    83300 |     3966     3975     43 |  0.005 % |
0.03/0.57	c |      6517 |     140    11900    83300 |     3966     3711     43 |  0.005 % |
0.03/0.58	c |      6665 |     140    11900    83300 |     3966     3859     43 |  0.005 % |
0.03/0.60	c |      6826 |     140    11900    83300 |     3966     4020     43 |  0.005 % |
0.03/0.61	c |      7005 |     140    11900    83300 |     3966     3797     43 |  0.005 % |
0.03/0.63	c |      7198 |     140    11900    83300 |     3966     3990     43 |  0.005 % |
0.03/0.65	c |      7410 |     140    11900    83300 |     3966     3803     43 |  0.005 % |
0.03/0.67	c |      7645 |     140    11900    83300 |     3966     3635     43 |  0.005 % |
0.03/0.68	c |      7745 |     140    11900    83300 |     3966     3735     43 |  0.005 % |
0.03/0.69	c |      7855 |     140    11900    83300 |     3966     3845     43 |  0.005 % |
0.03/0.70	c |      7977 |     140    11900    83300 |     3966     3967     43 |  0.005 % |
0.03/0.71	c |      8111 |     140    11900    83300 |     3966     3705     43 |  0.005 % |
0.03/0.72	c |      8257 |     140    11900    83300 |     3966     3851     43 |  0.005 % |
0.03/0.74	c |      8418 |     140    11900    83300 |     3966     4012     43 |  0.005 % |
0.03/0.75	c |      8594 |     140    11900    83300 |     3966     3787     43 |  0.005 % |
0.03/0.77	c |      8787 |     140    11900    83300 |     3966     3980     43 |  0.005 % |
0.03/0.78	c |      8999 |     140    11900    83300 |     3966     3794     43 |  0.005 % |
0.03/0.81	c |      9233 |     140    11900    83300 |     3966     4028     43 |  0.005 % |
0.03/0.83	c |      9489 |     140    11900    83300 |     3966     3882     43 |  0.005 % |
0.03/0.83	c |      9590 |     140    11900    83300 |     3966     3983     43 |  0.005 % |
0.03/0.85	c |      9700 |     140    11900    83300 |     3966     3695     43 |  0.005 % |
0.03/0.86	c |      9821 |     140    11900    83300 |     3966     3816     43 |  0.005 % |
0.03/0.87	c |      9954 |     140    11900    83300 |     3966     3949     43 |  0.005 % |
0.03/0.88	c |     10103 |     140    11900    83300 | 2147483647     4098     43 |  0.005 % |
0.03/0.89	c |     10263 |     140    11900    83300 | 2147483647     4258     43 |  0.005 % |
0.03/0.91	c |     10439 |     140    11900    83300 | 2147483647     4434     43 |  0.005 % |
0.03/0.93	c |     10633 |     140    11900    83300 | 2147483647     4628     43 |  0.005 % |
0.03/0.94	c |     10846 |     140    11900    83300 | 2147483647     4841     43 |  0.005 % |
0.03/0.96	c |     11079 |     140    11900    83300 | 2147483647     5074     43 |  0.005 % |
0.03/0.99	c |     11336 |     140    11900    83300 | 2147483647     5331     43 |  0.005 % |
0.97/1.02	c |     11617 |     140    11900    83300 | 2147483647     5612     43 |  0.005 % |
0.97/1.02	c |     11719 |     140    11900    83300 | 2147483647     5714     43 |  0.005 % |
0.97/1.04	c |     11829 |     140    11900    83300 | 2147483647     5824     43 |  0.005 % |
0.97/1.05	c |     11951 |     140    11900    83300 | 2147483647     5946     43 |  0.005 % |
0.97/1.06	c |     12084 |     140    11900    83300 | 2147483647     6079     43 |  0.005 % |
0.97/1.08	c |     12233 |     140    11900    83300 | 2147483647     6228     43 |  0.005 % |
0.97/1.09	c |     12394 |     140    11900    83300 | 2147483647     6389     43 |  0.005 % |
1.07/1.11	c |     12571 |     140    11900    83300 | 2147483647     6566     43 |  0.005 % |
1.07/1.13	c |     12764 |     140    11900    83300 | 2147483647     6759     43 |  0.005 % |
1.07/1.15	c |     12976 |     140    11900    83300 | 2147483647     6971     43 |  0.005 % |
1.07/1.17	c |     13210 |     140    11900    83300 | 2147483647     7205     43 |  0.005 % |
1.07/1.20	c |     13468 |     140    11900    83300 | 2147483647     7463     43 |  0.005 % |
1.17/1.23	c |     13752 |     140    11900    83300 | 2147483647     7747     43 |  0.005 % |
1.17/1.26	c |     14063 |     140    11900    83300 | 2147483647     8058     43 |  0.005 % |
1.17/1.27	c |     14165 |     140    11900    83300 | 2147483647     8160     43 |  0.005 % |
1.17/1.29	c |     14275 |     140    11900    83300 | 2147483647     8270     43 |  0.005 % |
1.27/1.30	c |     14399 |     140    11900    83300 | 2147483647     8394     43 |  0.005 % |
1.27/1.32	c |     14533 |     140    11900    83300 | 2147483647     8528     43 |  0.005 % |
1.27/1.34	c |     14680 |     140    11900    83300 | 2147483647     8675     43 |  0.005 % |
1.27/1.36	c |     14842 |     140    11900    83300 | 2147483647     8837     43 |  0.005 % |
1.27/1.38	c |     15018 |     140    11900    83300 | 2147483647     9013     43 |  0.005 % |
1.37/1.40	c |     15212 |     140    11900    83300 | 2147483647     9207     43 |  0.005 % |
1.37/1.43	c |     15425 |     140    11900    83300 | 2147483647     9420     43 |  0.005 % |
1.37/1.45	c |     15658 |     140    11900    83300 | 2147483647     9653     43 |  0.005 % |
1.37/1.49	c |     15915 |     140    11900    83300 | 2147483647     9910     43 |  0.005 % |
1.46/1.52	c |     16196 |     140    11900    83300 | 2147483647    10191     43 |  0.005 % |
1.46/1.56	c |     16506 |     140    11900    83300 | 2147483647    10501     43 |  0.005 % |
1.56/1.61	c |     16847 |     140    11900    83300 | 2147483647    10842     43 |  0.005 % |
1.56/1.62	c |     16948 |     140    11900    83300 | 2147483647    10943     43 |  0.005 % |
1.56/1.64	c |     17058 |     140    11900    83300 | 2147483647    11053     43 |  0.005 % |
1.56/1.66	c |     17180 |     140    11900    83300 | 2147483647    11175     43 |  0.005 % |
1.56/1.68	c |     17315 |     140    11900    83300 | 2147483647    11310     43 |  0.005 % |
1.66/1.70	c |     17461 |     140    11900    83300 | 2147483647    11456     43 |  0.005 % |
1.66/1.72	c |     17623 |     140    11900    83300 | 2147483647    11618     43 |  0.005 % |
1.66/1.75	c |     17799 |     140    11900    83300 | 2147483647    11794     43 |  0.005 % |
1.66/1.78	c |     17992 |     140    11900    83300 | 2147483647    11987     43 |  0.005 % |
1.76/1.81	c |     18204 |     140    11900    83300 | 2147483647    12199     43 |  0.005 % |
1.76/1.84	c |     18438 |     140    11900    83300 | 2147483647    12433     43 |  0.005 % |
1.76/1.88	c |     18695 |     140    11900    83300 | 2147483647    12690     43 |  0.005 % |
1.86/1.92	c |     18977 |     140    11900    83300 | 2147483647    12972     43 |  0.005 % |
1.86/1.96	c |     19286 |     140    11900    83300 | 2147483647    13281     43 |  0.005 % |
1.96/2.01	c |     19625 |     140    11900    83300 | 2147483647    13620     43 |  0.005 % |
1.96/2.07	c |     19998 |     140    11900    83300 | 2147483647    13993     43 |  0.005 % |
1.96/2.09	c |     20098 |     140    11900    83300 | 2147483647    14093     43 |  0.005 % |
2.07/2.11	c |     20210 |     140    11900    83300 | 2147483647    14205     43 |  0.005 % |
2.07/2.13	c |     20332 |     140    11900    83300 | 2147483647    14327     43 |  0.005 % |
2.07/2.16	c |     20468 |     140    11900    83300 | 2147483647    14463     43 |  0.005 % |
2.07/2.18	c |     20614 |     140    11900    83300 | 2147483647    14609     43 |  0.005 % |
2.18/2.21	c |     20774 |     140    11900    83300 | 2147483647    14769     43 |  0.005 % |
2.18/2.24	c |     20951 |     140    11900    83300 | 2147483647    14946     43 |  0.005 % |
2.18/2.27	c |     21145 |     140    11900    83300 | 2147483647    15140     43 |  0.005 % |
2.27/2.30	c |     21358 |     140    11900    83300 | 2147483647    15353     43 |  0.005 % |
2.27/2.34	c |     21592 |     140    11900    83300 | 2147483647    15587     43 |  0.005 % |
2.27/2.39	c |     21848 |     140    11900    83300 | 2147483647    15843     43 |  0.005 % |
2.37/2.44	c |     22129 |     140    11900    83300 | 2147483647    16124     43 |  0.005 % |
2.37/2.50	c |     22438 |     140    11900    83300 | 2147483647    16433     43 |  0.005 % |
2.47/2.56	c |     22777 |     140    11900    83300 | 2147483647    16772     43 |  0.005 % |
2.57/2.63	c |     23149 |     140    11900    83300 | 2147483647    17144     43 |  0.005 % |
2.67/2.72	c |     23558 |     140    11900    83300 | 2147483647    17553     43 |  0.005 % |
2.67/2.74	c |     23658 |     140    11900    83300 | 2147483647    17653     43 |  0.005 % |
2.67/2.76	c |     23768 |     140    11900    83300 | 2147483647    17763     43 |  0.005 % |
2.67/2.79	c |     23889 |     140    11900    83300 | 2147483647    17884     43 |  0.005 % |
2.77/2.82	c |     24023 |     140    11900    83300 | 2147483647    18018     43 |  0.005 % |
2.77/2.85	c |     24170 |     140    11900    83300 | 2147483647    18165     43 |  0.005 % |
2.77/2.89	c |     24330 |     140    11900    83300 | 2147483647    18325     43 |  0.005 % |
2.87/2.92	c |     24506 |     140    11900    83300 | 2147483647    18501     43 |  0.005 % |
2.87/2.96	c |     24700 |     140    11900    83300 | 2147483647    18695     43 |  0.005 % |
2.97/3.01	c |     24913 |     140    11900    83300 | 2147483647    18908     43 |  0.005 % |
2.97/3.06	c |     25146 |     140    11900    83300 | 2147483647    19141     43 |  0.005 % |
3.07/3.10	c |     25402 |     140    11900    83300 | 2147483647    19397     43 |  0.005 % |
3.07/3.15	c |     25684 |     140    11900    83300 | 2147483647    19679     43 |  0.005 % |
3.17/3.21	c |     25993 |     140    11900    83300 | 2147483647    19988     43 |  0.005 % |
3.17/3.28	c |     26332 |     140    11900    83300 | 2147483647    20327     43 |  0.005 % |
3.27/3.36	c |     26704 |     140    11900    83300 | 2147483647    20699     43 |  0.005 % |
3.37/3.46	c |     27114 |     140    11900    83300 | 2147483647    21109     43 |  0.005 % |
3.47/3.56	c |     27563 |     140    11900    83300 | 2147483647    21558     43 |  0.005 % |
3.47/3.59	c |     27663 |     140    11900    83300 | 2147483647    21658     43 |  0.005 % |
3.57/3.62	c |     27774 |     140    11900    83300 | 2147483647    21769     43 |  0.005 % |
3.57/3.65	c |     27896 |     140    11900    83300 | 2147483647    21891     43 |  0.005 % |
3.57/3.68	c |     28029 |     140    11900    83300 | 2147483647    22024     43 |  0.005 % |
3.67/3.73	c |     28175 |     140    11900    83300 | 2147483647    22170     43 |  0.005 % |
3.67/3.78	c |     28336 |     140    11900    83300 | 2147483647    22331     43 |  0.005 % |
3.77/3.82	c |     28512 |     140    11900    83300 | 2147483647    22507     43 |  0.005 % |
3.77/3.88	c |     28706 |     140    11900    83300 | 2147483647    22701     43 |  0.005 % |
3.86/3.94	c |     28919 |     140    11900    83300 | 2147483647    22914     43 |  0.005 % |
3.96/4.00	c |     29152 |     140    11900    83300 | 2147483647    23147     43 |  0.005 % |
3.96/4.08	c |     29408 |     140    11900    83300 | 2147483647    23403     43 |  0.005 % |
4.06/4.15	c |     29689 |     140    11900    83300 | 2147483647    23684     43 |  0.005 % |
4.16/4.23	c |     29998 |     140    11900    83300 | 2147483647    23993     43 |  0.005 % |
4.27/4.31	c |     30338 |     140    11900    83300 | 2147483647    24333     43 |  0.005 % |
4.37/4.41	c |     30712 |     140    11900    83300 | 2147483647    24707     43 |  0.005 % |
4.46/4.52	c |     31121 |     140    11900    83300 | 2147483647    25116     43 |  0.005 % |
4.56/4.65	c |     31571 |     140    11900    83300 | 2147483647    25566     43 |  0.005 % |
4.76/4.81	c |     32064 |     140    11900    83300 | 2147483647    26059     43 |  0.005 % |
4.76/4.84	c |     32164 |     140    11900    83300 | 2147483647    26159     43 |  0.005 % |
4.76/4.88	c |     32274 |     140    11900    83300 | 2147483647    26269     43 |  0.005 % |
4.86/4.91	c |     32397 |     140    11900    83300 | 2147483647    26392     43 |  0.005 % |
4.86/4.96	c |     32530 |     140    11900    83300 | 2147483647    26525     43 |  0.005 % |
4.96/5.02	c |     32678 |     140    11900    83300 | 2147483647    26673     43 |  0.005 % |
4.96/5.07	c |     32839 |     140    11900    83300 | 2147483647    26834     43 |  0.005 % |
5.06/5.13	c |     33016 |     140    11900    83300 | 2147483647    27011     43 |  0.005 % |
5.06/5.19	c |     33209 |     140    11900    83300 | 2147483647    27204     43 |  0.005 % |
5.16/5.26	c |     33421 |     140    11900    83300 | 2147483647    27416     43 |  0.005 % |
5.26/5.33	c |     33654 |     140    11900    83300 | 2147483647    27649     43 |  0.005 % |
5.36/5.41	c |     33912 |     140    11900    83300 | 2147483647    27907     43 |  0.005 % |
5.36/5.49	c |     34195 |     140    11900    83300 | 2147483647    28190     43 |  0.005 % |
5.47/5.59	c |     34504 |     140    11900    83300 | 2147483647    28499     43 |  0.005 % |
5.67/5.72	c |     34845 |     140    11900    83300 | 2147483647    28840     43 |  0.005 % |
5.77/5.83	c |     35218 |     140    11900    83300 | 2147483647    29213     43 |  0.005 % |
5.87/5.97	c |     35629 |     140    11900    83300 | 2147483647    29624     43 |  0.005 % |
6.07/6.12	c |     36078 |     140    11900    83300 | 2147483647    30073     44 |  0.005 % |
6.27/6.31	c |     36572 |     140    11900    83300 | 2147483647    30567     44 |  0.005 % |
6.37/6.49	c |     37115 |     140    11900    83300 | 2147483647    31110     44 |  0.005 % |
6.47/6.53	c |     37215 |     140    11900    83300 | 2147483647    31210     44 |  0.005 % |
6.47/6.57	c |     37325 |     140    11900    83300 | 2147483647    31320     44 |  0.005 % |
6.57/6.60	c |     37446 |     140    11900    83300 | 2147483647    31441     44 |  0.005 % |
6.57/6.66	c |     37579 |     140    11900    83300 | 2147483647    31574     44 |  0.005 % |
6.67/6.71	c |     37725 |     140    11900    83300 | 2147483647    31720     44 |  0.005 % |
6.67/6.77	c |     37885 |     140    11900    83300 | 2147483647    31880     44 |  0.005 % |
6.77/6.83	c |     38062 |     140    11900    83300 | 2147483647    32057     44 |  0.005 % |
6.87/6.91	c |     38257 |     140    11900    83300 | 2147483647    32252     44 |  0.005 % |
6.87/6.99	c |     38469 |     140    11900    83300 | 2147483647    32464     44 |  0.005 % |
6.97/7.09	c |     38704 |     140    11900    83300 | 2147483647    32699     44 |  0.005 % |
7.07/7.19	c |     38960 |     140    11900    83300 | 2147483647    32955     44 |  0.005 % |
7.27/7.30	c |     39241 |     140    11900    83300 | 2147483647    33236     44 |  0.005 % |
7.37/7.42	c |     39551 |     140    11900    83300 | 2147483647    33546     44 |  0.005 % |
7.46/7.55	c |     39893 |     140    11900    83300 | 2147483647    33888     44 |  0.005 % |
7.67/7.71	c |     40265 |     140    11900    83300 | 2147483647    34260     44 |  0.005 % |
7.76/7.88	c |     40674 |     140    11900    83300 | 2147483647    34669     44 |  0.005 % |
7.96/8.05	c |     41123 |     140    11900    83300 | 2147483647    35118     44 |  0.005 % |
8.16/8.24	c |     41617 |     140    11900    83300 | 2147483647    35612     44 |  0.005 % |
8.36/8.48	c |     42160 |     140    11900    83300 | 2147483647    36155     44 |  0.005 % |
8.67/8.72	c |     42757 |     140    11900    83300 | 2147483647    36752     44 |  0.005 % |
8.67/8.77	c |     42860 |     140    11900    83300 | 2147483647    36855     44 |  0.005 % |
8.77/8.82	c |     42971 |     140    11900    83300 | 2147483647    36966     44 |  0.005 % |
8.77/8.88	c |     43093 |     140    11900    83300 | 2147483647    37088     44 |  0.005 % |
8.86/8.95	c |     43226 |     140    11900    83300 | 2147483647    37221     44 |  0.005 % |
8.96/9.01	c |     43373 |     140    11900    83300 | 2147483647    37368     44 |  0.005 % |
8.96/9.08	c |     43534 |     140    11900    83300 | 2147483647    37529     44 |  0.005 % |
9.06/9.17	c |     43710 |     140    11900    83300 | 2147483647    37705     44 |  0.005 % |
9.16/9.25	c |     43904 |     140    11900    83300 | 2147483647    37899     44 |  0.005 % |
9.26/9.34	c |     44118 |     140    11900    83300 | 2147483647    38113     44 |  0.005 % |
9.36/9.44	c |     44351 |     140    11900    83300 | 2147483647    38346     44 |  0.005 % |
9.46/9.54	c |     44607 |     140    11900    83300 | 2147483647    38602     44 |  0.005 % |
9.56/9.65	c |     44891 |     140    11900    83300 | 2147483647    38886     44 |  0.005 % |
9.66/9.78	c |     45200 |     140    11900    83300 | 2147483647    39195     44 |  0.005 % |
9.86/9.92	c |     45539 |     140    11900    83300 | 2147483647    39534     44 |  0.005 % |
10.06/10.12	c |     45911 |     140    11900    83300 | 2147483647    39906     44 |  0.005 % |
10.26/10.30	c |     46320 |     140    11900    83300 | 2147483647    40315     44 |  0.005 % |
10.36/10.49	c |     46770 |     140    11900    83300 | 2147483647    40765     44 |  0.005 % |
10.66/10.71	c |     47263 |     140    11900    83300 | 2147483647    41258     44 |  0.005 % |
10.86/10.93	c |     47805 |     140    11900    83300 | 2147483647    41800     44 |  0.005 % |
11.06/11.19	c |     48402 |     140    11900    83300 | 2147483647    42397     44 |  0.005 % |
11.36/11.47	c |     49058 |     140    11900    83300 | 2147483647    43053     44 |  0.005 % |
11.47/11.54	c |     49158 |     140    11900    83300 | 2147483647    43153     44 |  0.005 % |
11.57/11.61	c |     49271 |     140    11900    83300 | 2147483647    43266     44 |  0.005 % |
11.57/11.67	c |     49393 |     140    11900    83300 | 2147483647    43388     44 |  0.005 % |
11.67/11.74	c |     49526 |     140    11900    83300 | 2147483647    43521     44 |  0.005 % |
11.77/11.83	c |     49674 |     140    11900    83300 | 2147483647    43669     44 |  0.005 % |
11.87/11.91	c |     49834 |     140    11900    83300 | 2147483647    43829     44 |  0.005 % |
11.97/12.01	c |     50011 |     140    11900    83300 | 2147483647    44006     44 |  0.005 % |
12.07/12.12	c |     50206 |     140    11900    83300 | 2147483647    44201     44 |  0.005 % |
12.17/12.24	c |     50418 |     140    11900    83300 | 2147483647    44413     44 |  0.005 % |
12.27/12.37	c |     50651 |     140    11900    83300 | 2147483647    44646     44 |  0.005 % |
12.47/12.50	c |     50908 |     140    11900    83300 | 2147483647    44903     44 |  0.005 % |
12.57/12.64	c |     51190 |     140    11900    83300 | 2147483647    45185     44 |  0.005 % |
12.67/12.79	c |     51500 |     140    11900    83300 | 2147483647    45495     44 |  0.005 % |
12.96/13.01	c |     51839 |     140    11900    83300 | 2147483647    45834     44 |  0.005 % |
13.17/13.22	c |     52211 |     140    11900    83300 | 2147483647    46206     44 |  0.005 % |
13.36/13.42	c |     52620 |     140    11900    83300 | 2147483647    46615     44 |  0.005 % |
13.56/13.65	c |     53072 |     140    11900    83300 | 2147483647    47067     44 |  0.005 % |
13.86/13.94	c |     53565 |     140    11900    83300 | 2147483647    47560     44 |  0.005 % |
14.16/14.27	c |     54108 |     140    11900    83300 | 2147483647    48103     44 |  0.005 % |
14.56/14.61	c |     54704 |     140    11900    83300 | 2147483647    48699     44 |  0.005 % |
14.86/14.95	c |     55360 |     140    11900    83300 | 2147483647    49355     44 |  0.005 % |
15.26/15.31	c |     56082 |     140    11900    83300 | 2147483647    50077     44 |  0.005 % |
15.26/15.38	c |     56182 |     140    11900    83300 | 2147483647    50177     44 |  0.005 % |
15.36/15.45	c |     56292 |     140    11900    83300 | 2147483647    50287     44 |  0.005 % |
15.46/15.53	c |     56414 |     140    11900    83300 | 2147483647    50409     44 |  0.005 % |
15.56/15.62	c |     56548 |     140    11900    83300 | 2147483647    50543     44 |  0.005 % |
15.66/15.73	c |     56694 |     140    11900    83300 | 2147483647    50689     44 |  0.005 % |
15.76/15.82	c |     56855 |     140    11900    83300 | 2147483647    50850     44 |  0.005 % |
15.86/15.93	c |     57031 |     140    11900    83300 | 2147483647    51026     44 |  0.005 % |
15.96/16.07	c |     57224 |     140    11900    83300 | 2147483647    51219     44 |  0.005 % |
16.16/16.21	c |     57436 |     140    11900    83300 | 2147483647    51431     44 |  0.005 % |
16.26/16.34	c |     57669 |     140    11900    83300 | 2147483647    51664     44 |  0.005 % |
16.36/16.49	c |     57927 |     140    11900    83300 | 2147483647    51922     43 |  0.005 % |
16.56/16.65	c |     58209 |     140    11900    83300 | 2147483647    52204     44 |  0.005 % |
16.77/16.80	c |     58518 |     140    11900    83300 | 2147483647    52513     44 |  0.005 % |
16.97/17.06	c |     58861 |     140    11900    83300 | 2147483647    52856     44 |  0.005 % |
17.17/17.28	c |     59235 |     140    11900    83300 | 2147483647    53230     44 |  0.005 % |
17.47/17.51	c |     59645 |     140    11900    83300 | 2147483647    53640     44 |  0.005 % |
17.67/17.77	c |     60095 |     140    11900    83300 | 2147483647    54090     44 |  0.005 % |
18.06/18.14	c |     60589 |     140    11900    83300 | 2147483647    54584     44 |  0.005 % |
18.46/18.52	c |     61132 |     140    11900    83300 | 2147483647    55127     44 |  0.005 % |
18.76/18.88	c |     61728 |     140    11900    83300 | 2147483647    55723     44 |  0.005 % |
19.16/19.29	c |     62383 |     140    11900    83300 | 2147483647    56378     44 |  0.005 % |
19.67/19.71	c |     63104 |     140    11900    83300 | 2147483647    57099     44 |  0.005 % |
20.06/20.16	c |     63896 |     140    11900    83300 | 2147483647    57891     44 |  0.005 % |
20.16/20.22	c |     63996 |     140    11900    83300 | 2147483647    57991     44 |  0.005 % |
20.26/20.31	c |     64106 |     140    11900    83300 | 2147483647    58101     44 |  0.005 % |
20.26/20.39	c |     64227 |     140    11900    83300 | 2147483647    58222     44 |  0.005 % |
20.36/20.47	c |     64360 |     140    11900    83300 | 2147483647    58355     44 |  0.005 % |
20.46/20.57	c |     64507 |     140    11900    83300 | 2147483647    58502     44 |  0.005 % |
20.66/20.71	c |     64672 |     140    11900    83300 | 2147483647    58667     44 |  0.005 % |
20.76/20.84	c |     64849 |     140    11900    83300 | 2147483647    58844     44 |  0.005 % |
20.86/20.99	c |     65042 |     140    11900    83300 | 2147483647    59037     44 |  0.005 % |
21.06/21.16	c |     65254 |     140    11900    83300 | 2147483647    59249     44 |  0.005 % |
21.26/21.33	c |     65487 |     140    11900    83300 | 2147483647    59482     44 |  0.005 % |
21.46/21.52	c |     65746 |     140    11900    83300 | 2147483647    59741     44 |  0.005 % |
21.66/21.72	c |     66027 |     140    11900    83300 | 2147483647    60022     44 |  0.005 % |
21.86/21.98	c |     66336 |     140    11900    83300 | 2147483647    60331     44 |  0.005 % |
22.16/22.26	c |     66675 |     140    11900    83300 | 2147483647    60670     44 |  0.005 % |
22.46/22.54	c |     67047 |     140    11900    83300 | 2147483647    61042     44 |  0.005 % |
22.76/22.87	c |     67456 |     140    11900    83300 | 2147483647    61451     44 |  0.005 % |
23.06/23.16	c |     67905 |     140    11900    83300 | 2147483647    61900     44 |  0.005 % |
23.36/23.47	c |     68400 |     140    11900    83300 | 2147483647    62395     44 |  0.005 % |
23.76/23.81	c |     68943 |     140    11900    83300 | 2147483647    62938     44 |  0.005 % |
24.16/24.23	c |     69540 |     140    11900    83300 | 2147483647    63535     44 |  0.005 % |
24.66/24.75	c |     70195 |     140    11900    83300 |    63995    54460     44 |  0.005 % |
25.16/25.21	c |     70916 |     140    11900    83300 |    63995    55181     44 |  0.005 % |
25.56/25.66	c |     71708 |     140    11900    83300 |    63995    55973     44 |  0.005 % |
26.16/26.22	c |     72580 |     140    11900    83300 |    63995    56845     44 |  0.005 % |
26.26/26.31	c |     72680 |     140    11900    83300 |    63995    56945     44 |  0.005 % |
26.26/26.40	c |     72790 |     140    11900    83300 |    63995    57055     44 |  0.005 % |
26.36/26.48	c |     72912 |     140    11900    83300 |    63995    57177     44 |  0.005 % |
26.45/26.56	c |     73045 |     140    11900    83300 |    63995    57310     44 |  0.005 % |
26.55/26.69	c |     73192 |     140    11900    83300 |    63995    57457     44 |  0.005 % |
26.75/26.81	c |     73352 |     140    11900    83300 |    63995    57617     44 |  0.005 % |
26.85/26.92	c |     73528 |     140    11900    83300 |    63995    57793     44 |  0.005 % |
26.95/27.10	c |     73721 |     140    11900    83300 |    63995    57986     44 |  0.005 % |
27.15/27.24	c |     73933 |     140    11900    83300 |    63995    58198     44 |  0.005 % |
27.25/27.40	c |     74166 |     140    11900    83300 |    63995    58431     44 |  0.005 % |
27.46/27.59	c |     74422 |     140    11900    83300 |    63995    58687     44 |  0.005 % |
27.65/27.78	c |     74703 |     140    11900    83300 |    63995    58968     44 |  0.005 % |
27.85/27.97	c |     75012 |     140    11900    83300 |    63995    59277     44 |  0.005 % |
28.15/28.24	c |     75353 |     140    11900    83300 |    63995    59618     44 |  0.005 % |
28.46/28.50	c |     75725 |     140    11900    83300 |    63995    59990     44 |  0.005 % |
28.65/28.79	c |     76134 |     140    11900    83300 |    63995    60399     44 |  0.005 % |
28.95/29.06	c |     76583 |     140    11900    83300 |    63995    60848     44 |  0.005 % |
29.35/29.44	c |     77076 |     140    11900    83300 |    63995    61341     44 |  0.005 % |
29.75/29.87	c |     77618 |     140    11900    83300 |    63995    61883     44 |  0.005 % |
30.15/30.28	c |     78214 |     140    11900    83300 |    63995    62479     44 |  0.005 % |
30.65/30.74	c |     78869 |     140    11900    83300 |    63995    63134     44 |  0.005 % |
31.16/31.24	c |     79593 |     140    11900    83300 |    63995    63858     44 |  0.005 % |
31.76/31.83	c |     80385 |     140    11900    83300 |    53372    44747     43 |  0.005 % |
32.16/32.26	c |     81258 |     140    11900    83300 |    53372    45620     43 |  0.005 % |
32.66/32.71	c |     82216 |     140    11900    83300 |    53372    46578     44 |  0.005 % |
32.66/32.77	c |     82317 |     140    11900    83300 |    53372    46679     44 |  0.005 % |
32.76/32.83	c |     82430 |     140    11900    83300 |    53372    46792     44 |  0.005 % |
32.86/32.90	c |     82551 |     140    11900    83300 |    53372    46913     44 |  0.005 % |
32.86/32.99	c |     82685 |     140    11900    83300 |    53372    47047     44 |  0.005 % |
32.96/33.07	c |     82832 |     140    11900    83300 |    53372    47194     44 |  0.005 % |
33.06/33.16	c |     82992 |     140    11900    83300 |    53372    47354     44 |  0.005 % |
33.16/33.26	c |     83168 |     140    11900    83300 |    53372    47530     44 |  0.005 % |
33.26/33.37	c |     83361 |     140    11900    83300 |    53372    47723     44 |  0.005 % |
33.36/33.46	c |     83573 |     140    11900    83300 |    53372    47935     44 |  0.005 % |
33.56/33.62	c |     83808 |     140    11900    83300 |    53372    48170     44 |  0.005 % |
33.66/33.76	c |     84064 |     140    11900    83300 |    53372    48426     44 |  0.005 % |
33.86/33.94	c |     84346 |     140    11900    83300 |    53372    48708     44 |  0.005 % |
34.06/34.11	c |     84655 |     140    11900    83300 |    53372    49017     44 |  0.005 % |
34.16/34.29	c |     84996 |     140    11900    83300 |    53372    49358     44 |  0.005 % |
34.36/34.50	c |     85368 |     140    11900    83300 |    53372    49730     43 |  0.005 % |
34.66/34.72	c |     85778 |     140    11900    83300 |    53372    50140     43 |  0.005 % |
34.86/34.96	c |     86227 |     140    11900    83300 |    53372    50589     43 |  0.005 % |
35.16/35.22	c |     86720 |     140    11900    83300 |    53372    51082     43 |  0.005 % |
35.36/35.48	c |     87262 |     140    11900    83300 |    53372    51624     43 |  0.005 % |
35.66/35.78	c |     87859 |     140    11900    83300 |    53372    52221     43 |  0.005 % |
36.06/36.14	c |     88514 |     140    11900    83300 |    53372    52876     43 |  0.005 % |
36.56/36.65	c |     89236 |     140    11900    83300 |    53372    47216     43 |  0.005 % |
36.96/37.07	c |     90028 |     140    11900    83300 |    47980    48008     43 |  0.005 % |
37.46/37.58	c |     90901 |     140    11900    83300 |    47980    43290     43 |  0.005 % |
37.96/38.04	c |     91859 |     140    11900    83300 |    47980    44248     43 |  0.005 % |
38.46/38.53	c |     92912 |     140    11900    83300 |    47980    45301     43 |  0.005 % |
38.46/38.59	c |     93012 |     140    11900    83300 |    47980    45401     43 |  0.005 % |
38.55/38.66	c |     93122 |     140    11900    83300 |    47980    45511     43 |  0.005 % |
38.65/38.73	c |     93243 |     140    11900    83300 |    47980    45632     43 |  0.005 % |
38.75/38.81	c |     93376 |     140    11900    83300 |    47980    45765     43 |  0.005 % |
38.75/38.89	c |     93524 |     140    11900    83300 |    47980    45913     43 |  0.005 % |
38.95/39.01	c |     93684 |     140    11900    83300 |    47980    46073     43 |  0.005 % |
39.05/39.11	c |     93860 |     140    11900    83300 |    47980    46249     43 |  0.005 % |
39.15/39.22	c |     94053 |     140    11900    83300 |    47980    46442     44 |  0.005 % |
39.25/39.36	c |     94265 |     140    11900    83300 |    47980    46654     44 |  0.005 % |
39.35/39.49	c |     94499 |     140    11900    83300 |    47980    46888     44 |  0.005 % |
39.56/39.62	c |     94756 |     140    11900    83300 |    47980    47145     44 |  0.005 % |
39.65/39.75	c |     95038 |     140    11900    83300 |    47980    47427     43 |  0.005 % |
39.85/39.94	c |     95348 |     140    11900    83300 |    47980    47737     43 |  0.005 % |
40.05/40.17	c |     95688 |     140    11900    83300 |    47980    43273     43 |  0.005 % |
40.25/40.34	c |     96062 |     140    11900    83300 |    47980    43647     43 |  0.005 % |
40.45/40.58	c |     96472 |     140    11900    83300 |    47980    44057     43 |  0.005 % |
40.75/40.80	c |     96921 |     140    11900    83300 |    47980    44506     43 |  0.005 % |
40.95/41.07	c |     97417 |     140    11900    83300 |    47980    45002     43 |  0.005 % |
41.25/41.33	c |     97959 |     140    11900    83300 |    47980    45544     44 |  0.005 % |
41.55/41.61	c |     98557 |     140    11900    83300 |    47980    46142     44 |  0.005 % |
41.85/41.99	c |     99213 |     140    11900    83300 |    47980    46798     44 |  0.005 % |
42.25/42.38	c |     99934 |     140    11900    83300 |    47980    47519     44 |  0.005 % |
42.75/42.81	c |    100727 |     140    11900    83300 | 2147483647    48312     44 |  0.005 % |
43.15/43.26	c |    101600 |     140    11900    83300 | 2147483647    49185     44 |  0.005 % |
43.65/43.77	c |    102559 |     140    11900    83300 | 2147483647    50144     44 |  0.005 % |
44.35/44.41	c |    103613 |     140    11900    83300 | 2147483647    51198     44 |  0.005 % |
44.95/45.10	c |    104771 |     140    11900    83300 | 2147483647    52356     44 |  0.005 % |
45.05/45.15	c |    104872 |     140    11900    83300 | 2147483647    52457     44 |  0.005 % |
45.15/45.21	c |    104982 |     140    11900    83300 | 2147483647    52567     44 |  0.005 % |
45.15/45.29	c |    105103 |     140    11900    83300 | 2147483647    52688     44 |  0.005 % |
45.25/45.38	c |    105238 |     140    11900    83300 | 2147483647    52823     44 |  0.005 % |
45.35/45.47	c |    105384 |     140    11900    83300 | 2147483647    52969     44 |  0.005 % |
45.45/45.56	c |    105544 |     140    11900    83300 | 2147483647    53129     44 |  0.005 % |
45.55/45.69	c |    105721 |     140    11900    83300 | 2147483647    53306     44 |  0.005 % |
45.75/45.81	c |    105915 |     140    11900    83300 | 2147483647    53500     44 |  0.005 % |
45.85/45.94	c |    106129 |     140    11900    83300 | 2147483647    53714     44 |  0.005 % |
45.95/46.07	c |    106364 |     140    11900    83300 | 2147483647    53949     44 |  0.005 % |
46.15/46.24	c |    106620 |     140    11900    83300 | 2147483647    54205     44 |  0.005 % |
46.35/46.42	c |    106901 |     140    11900    83300 | 2147483647    54486     44 |  0.005 % |
46.55/46.61	c |    107211 |     140    11900    83300 | 2147483647    54796     44 |  0.005 % |
46.75/46.82	c |    107550 |     140    11900    83300 | 2147483647    55135     44 |  0.005 % |
47.05/47.10	c |    107923 |     140    11900    83300 | 2147483647    55508     44 |  0.005 % |
47.25/47.34	c |    108333 |     140    11900    83300 | 2147483647    55918     44 |  0.005 % |
47.45/47.60	c |    108782 |     140    11900    83300 | 2147483647    56367     44 |  0.005 % |
47.85/47.92	c |    109277 |     140    11900    83300 | 2147483647    56862     44 |  0.005 % |
48.15/48.25	c |    109820 |     140    11900    83300 | 2147483647    57405     44 |  0.005 % |
48.55/48.68	c |    110416 |     140    11900    83300 |    57585    51134     44 |  0.005 % |
48.95/49.06	c |    111073 |     140    11900    83300 |    57585    51791     44 |  0.005 % |
49.45/49.51	c |    111794 |     140    11900    83300 |    57585    52512     44 |  0.005 % |
49.95/50.00	c |    112587 |     140    11900    83300 |    57585    53305     44 |  0.005 % |
50.45/50.54	c |    113458 |     140    11900    83300 |    57585    54176     44 |  0.005 % |
51.05/51.13	c |    114416 |     140    11900    83300 |    57585    55134     44 |  0.005 % |
51.65/51.76	c |    115469 |     140    11900    83300 |    57585    56187     44 |  0.005 % |
52.35/52.40	c |    116628 |     140    11900    83300 |    57585    57346     44 |  0.005 % |
52.95/53.10	c |    117902 |     140    11900    83300 |    57585    51242     44 |  0.005 % |
53.05/53.16	c |    118004 |     140    11900    83300 |    57585    51344     44 |  0.005 % |
53.15/53.26	c |    118114 |     140    11900    83300 |    57585    51454     44 |  0.005 % |
53.25/53.34	c |    118235 |     140    11900    83300 |    57585    51575     44 |  0.005 % |
53.35/53.42	c |    118371 |     140    11900    83300 |    57585    51711     44 |  0.005 % |
53.45/53.51	c |    118517 |     140    11900    83300 |    57585    51857     44 |  0.005 % |
53.55/53.63	c |    118679 |     140    11900    83300 |    57585    52019     44 |  0.005 % |
53.65/53.75	c |    118855 |     140    11900    83300 |    57585    52195     44 |  0.005 % |
53.75/53.87	c |    119048 |     140    11900    83300 |    57585    52388     44 |  0.005 % |
53.95/54.04	c |    119260 |     140    11900    83300 |    57585    52600     44 |  0.005 % |
54.05/54.19	c |    119497 |     140    11900    83300 |    57585    52837     44 |  0.005 % |
54.25/54.38	c |    119754 |     140    11900    83300 |    57585    53094     44 |  0.005 % |
54.45/54.54	c |    120035 |     140    11900    83300 |    53341    53375     44 |  0.005 % |
54.65/54.77	c |    120345 |     140    11900    83300 |    53341    46853     44 |  0.005 % |
54.85/54.97	c |    120684 |     140    11900    83300 |    53341    47192     44 |  0.005 % |
55.05/55.17	c |    121057 |     140    11900    83300 |    53341    47565     44 |  0.005 % |
55.34/55.40	c |    121466 |     140    11900    83300 |    53341    47974     44 |  0.005 % |
55.54/55.65	c |    121917 |     140    11900    83300 |    53341    48425     44 |  0.005 % |
55.84/55.92	c |    122410 |     140    11900    83300 |    53341    48918     44 |  0.005 % |
56.14/56.24	c |    122955 |     140    11900    83300 |    53341    49463     44 |  0.005 % |
56.44/56.57	c |    123555 |     140    11900    83300 |    53341    50063     44 |  0.005 % |
56.84/56.97	c |    124210 |     140    11900    83300 |    53341    50718     44 |  0.005 % |
57.24/57.36	c |    124931 |     140    11900    83300 |    53341    51439     44 |  0.005 % |
57.74/57.81	c |    125724 |     140    11900    83300 |    53341    52232     44 |  0.005 % |
58.15/58.28	c |    126595 |     140    11900    83300 |    53341    53103     44 |  0.005 % |
58.74/58.84	c |    127554 |     140    11900    83300 |    53341    48073     44 |  0.005 % |
59.35/59.46	c |    128608 |     140    11900    83300 |    53341    49127     44 |  0.005 % |
59.94/60.08	c |    129766 |     140    11900    83300 |    53341    50285     44 |  0.005 % |
60.64/60.73	c |    131039 |     140    11900    83300 |    50519    46147     44 |  0.005 % |
61.45/61.55	c |    132440 |     140    11900    83300 |    50519    47548     44 |  0.005 % |
61.55/61.61	c |    132540 |     140    11900    83300 |    50519    47648     44 |  0.005 % |
61.55/61.69	c |    132652 |     140    11900    83300 |    50519    47760     44 |  0.005 % |
61.64/61.76	c |    132774 |     140    11900    83300 |    50519    47882     44 |  0.005 % |
61.74/61.84	c |    132908 |     140    11900    83300 |    50519    48016     44 |  0.005 % |
61.84/61.94	c |    133055 |     140    11900    83300 |    50519    48163     44 |  0.005 % |
61.94/62.03	c |    133215 |     140    11900    83300 |    50519    48323     44 |  0.005 % |
62.04/62.13	c |    133391 |     140    11900    83300 |    50519    48499     44 |  0.005 % |
62.14/62.26	c |    133585 |     140    11900    83300 |    50519    48693     44 |  0.005 % |
62.34/62.41	c |    133801 |     140    11900    83300 |    50519    48909     44 |  0.005 % |
62.44/62.55	c |    134034 |     140    11900    83300 |    50519    49142     44 |  0.005 % |
62.64/62.72	c |    134290 |     140    11900    83300 |    50519    49398     44 |  0.005 % |
62.74/62.89	c |    134573 |     140    11900    83300 |    50519    49681     44 |  0.005 % |
62.94/63.09	c |    134882 |     140    11900    83300 |    50519    49990     44 |  0.005 % |
63.24/63.31	c |    135222 |     140    11900    83300 |    50519    50330     44 |  0.005 % |
63.44/63.56	c |    135594 |     140    11900    83300 |    50519    45477     44 |  0.005 % |
63.74/63.81	c |    136003 |     140    11900    83300 |    50519    45886     44 |  0.005 % |
63.94/64.06	c |    136453 |     140    11900    83300 |    50519    46336     44 |  0.005 % |
64.24/64.30	c |    136946 |     140    11900    83300 |    50519    46829     44 |  0.005 % |
64.44/64.58	c |    137490 |     140    11900    83300 |    50519    47373     44 |  0.005 % |
64.74/64.90	c |    138087 |     140    11900    83300 |    50519    47970     44 |  0.005 % |
65.14/65.29	c |    138744 |     140    11900    83300 |    50519    48627     44 |  0.005 % |
65.64/65.71	c |    139466 |     140    11900    83300 |    50519    49349     44 |  0.005 % |
66.04/66.16	c |    140258 |     140    11900    83300 |    49883    45047     44 |  0.005 % |
66.54/66.62	c |    141131 |     140    11900    83300 |    49883    45920     44 |  0.005 % |
66.94/67.08	c |    142090 |     140    11900    83300 |    49883    46879     44 |  0.005 % |
67.64/67.74	c |    143145 |     140    11900    83300 |    49883    47934     44 |  0.005 % |
68.24/68.39	c |    144303 |     140    11900    83300 |    49883    49092     44 |  0.005 % |
68.94/69.08	c |    145576 |     140    11900    83300 |    49883    45371     44 |  0.005 % |
69.74/69.83	c |    146977 |     140    11900    83300 |    49883    46772     44 |  0.005 % |
70.54/70.68	c |    148518 |     140    11900    83300 |    49883    48313     44 |  0.005 % |
70.64/70.74	c |    148618 |     140    11900    83300 |    49883    48413     44 |  0.005 % |
70.74/70.81	c |    148729 |     140    11900    83300 |    49883    48524     44 |  0.005 % |
70.74/70.88	c |    148851 |     140    11900    83300 |    49883    48646     44 |  0.005 % |
70.84/70.96	c |    148985 |     140    11900    83300 |    49883    48780     44 |  0.005 % |
70.94/71.05	c |    149133 |     140    11900    83300 |    49883    48928     44 |  0.005 % |
71.04/71.15	c |    149293 |     140    11900    83300 |    49883    49088     44 |  0.005 % |
71.14/71.26	c |    149469 |     140    11900    83300 |    49883    49264     44 |  0.005 % |
71.24/71.38	c |    149662 |     140    11900    83300 |    49883    49457     44 |  0.005 % |
71.34/71.49	c |    149874 |     140    11900    83300 |    49883    49669     44 |  0.005 % |
71.53/71.62	c |    150107 |     140    11900    83300 | 2147483647    49902     44 |  0.005 % |
71.64/71.77	c |    150364 |     140    11900    83300 | 2147483647    50159     44 |  0.005 % |
71.83/71.93	c |    150646 |     140    11900    83300 | 2147483647    50441     44 |  0.005 % |
72.03/72.11	c |    150955 |     140    11900    83300 | 2147483647    50750     44 |  0.005 % |
72.23/72.31	c |    151294 |     140    11900    83300 | 2147483647    51089     44 |  0.005 % |
72.44/72.51	c |    151667 |     140    11900    83300 | 2147483647    51462     44 |  0.005 % |
72.63/72.75	c |    152077 |     140    11900    83300 | 2147483647    51872     44 |  0.005 % |
73.03/73.10	c |    152526 |     140    11900    83300 | 2147483647    52321     44 |  0.005 % |
73.33/73.45	c |    153019 |     140    11900    83300 | 2147483647    52814     44 |  0.005 % |
73.73/73.87	c |    153562 |     140    11900    83300 | 2147483647    53357     44 |  0.005 % |
74.13/74.29	c |    154159 |     140    11900    83300 | 2147483647    53954     44 |  0.005 % |
74.53/74.68	c |    154815 |     140    11900    83300 | 2147483647    54610     44 |  0.005 % |
75.03/75.14	c |    155535 |     140    11900    83300 | 2147483647    55330     44 |  0.005 % |
75.63/75.73	c |    156327 |     140    11900    83300 | 2147483647    56122     44 |  0.005 % |
76.23/76.36	c |    157198 |     140    11900    83300 | 2147483647    56993     44 |  0.005 % |
76.83/76.97	c |    158158 |     140    11900    83300 | 2147483647    57953     44 |  0.005 % |
77.53/77.63	c |    159211 |     140    11900    83300 | 2147483647    59006     44 |  0.005 % |
78.23/78.35	c |    160369 |     140    11900    83300 |    59796    51851     44 |  0.005 % |
78.93/79.02	c |    161642 |     140    11900    83300 |    59796    53124     44 |  0.005 % |
79.63/79.77	c |    163042 |     140    11900    83300 |    59796    54524     44 |  0.005 % |
80.73/80.81	c |    164584 |     140    11900    83300 |    59796    56066     44 |  0.005 % |
81.83/81.96	c |    166278 |     140    11900    83300 |    59796    57760     44 |  0.005 % |
81.93/82.03	c |    166378 |     140    11900    83300 |    59796    57860     44 |  0.005 % |
82.03/82.11	c |    166488 |     140    11900    83300 |    59796    57970     44 |  0.005 % |
82.13/82.21	c |    166610 |     140    11900    83300 |    59796    58092     44 |  0.005 % |
82.23/82.30	c |    166743 |     140    11900    83300 |    59796    58225     44 |  0.005 % |
82.23/82.40	c |    166890 |     140    11900    83300 |    59796    58372     44 |  0.005 % |
82.43/82.51	c |    167050 |     140    11900    83300 |    59796    58532     44 |  0.005 % |
82.53/82.68	c |    167226 |     140    11900    83300 |    59796    58708     44 |  0.005 % |
82.73/82.84	c |    167419 |     140    11900    83300 |    59796    58901     44 |  0.005 % |
82.93/83.00	c |    167631 |     140    11900    83300 |    59796    59113     44 |  0.005 % |
83.03/83.17	c |    167865 |     140    11900    83300 |    59796    59347     44 |  0.005 % |
83.23/83.34	c |    168121 |     140    11900    83300 |    59796    59603     44 |  0.005 % |
83.43/83.57	c |    168402 |     140    11900    83300 |    59796    51055     44 |  0.005 % |
83.63/83.77	c |    168711 |     140    11900    83300 |    59796    51364     44 |  0.005 % |
83.83/83.96	c |    169052 |     140    11900    83300 |    59796    51705     44 |  0.005 % |
84.13/84.21	c |    169424 |     140    11900    83300 |    59796    52077     44 |  0.005 % |
84.33/84.49	c |    169833 |     140    11900    83300 |    59796    52486     44 |  0.005 % |
84.63/84.79	c |    170284 |     140    11900    83300 |    52655    45215     44 |  0.005 % |
84.93/85.04	c |    170779 |     140    11900    83300 |    52655    45710     44 |  0.005 % |
85.22/85.33	c |    171321 |     140    11900    83300 |    52655    46252     44 |  0.005 % |
85.52/85.64	c |    171917 |     140    11900    83300 |    52655    46848     44 |  0.005 % |
85.82/85.95	c |    172572 |     140    11900    83300 |    52655    47503     44 |  0.005 % |
86.22/86.37	c |    173293 |     140    11900    83300 |    52655    48224     44 |  0.005 % |
86.73/86.86	c |    174086 |     140    11900    83300 |    52655    49017     44 |  0.005 % |
87.32/87.43	c |    174957 |     140    11900    83300 |    52655    49888     44 |  0.005 % |
87.93/88.04	c |    175915 |     140    11900    83300 |    52655    50846     44 |  0.005 % |
88.42/88.59	c |    176971 |     140    11900    83300 |    52655    51902     44 |  0.005 % |
89.12/89.25	c |    178129 |     140    11900    83300 |    52655    47105     44 |  0.005 % |
89.72/89.83	c |    179402 |     140    11900    83300 |    52655    48378     44 |  0.005 % |
90.32/90.49	c |    180803 |     140    11900    83300 |    48977    44673     44 |  0.005 % |
91.02/91.16	c |    182343 |     140    11900    83300 |    48977    46213     44 |  0.005 % |
91.82/91.97	c |    184040 |     140    11900    83300 |    48977    47910     44 |  0.005 % |
92.92/93.06	c |    185904 |     140    11900    83300 |    48977    44870     44 |  0.005 % |
93.02/93.11	c |    186006 |     140    11900    83300 |    48977    44972     44 |  0.005 % |
93.02/93.18	c |    186118 |     140    11900    83300 |    48977    45084     44 |  0.005 % |
93.12/93.25	c |    186239 |     140    11900    83300 |    48977    45205     44 |  0.005 % |
93.22/93.32	c |    186373 |     140    11900    83300 |    48977    45339     44 |  0.005 % |
93.22/93.39	c |    186519 |     140    11900    83300 |    48977    45485     44 |  0.005 % |
93.32/93.50	c |    186679 |     140    11900    83300 |    48977    45645     44 |  0.005 % |
93.42/93.59	c |    186857 |     140    11900    83300 |    48977    45823     44 |  0.005 % |
93.52/93.69	c |    187050 |     140    11900    83300 |    48977    46016     44 |  0.005 % |
93.72/93.84	c |    187263 |     140    11900    83300 |    48977    46229     44 |  0.005 % |
93.82/93.96	c |    187496 |     140    11900    83300 |    48977    46462     44 |  0.005 % |
93.92/94.08	c |    187752 |     140    11900    83300 |    48977    46718     44 |  0.005 % |
94.12/94.22	c |    188033 |     140    11900    83300 |    48977    46999     44 |  0.005 % |
94.32/94.42	c |    188343 |     140    11900    83300 |    48977    47309     44 |  0.005 % |
94.52/94.61	c |    188683 |     140    11900    83300 |    48977    47649     44 |  0.005 % |
94.72/94.80	c |    189055 |     140    11900    83300 |    48977    48021     44 |  0.005 % |
94.92/95.08	c |    189466 |     140    11900    83300 |    48977    48432     44 |  0.005 % |
95.22/95.34	c |    189916 |     140    11900    83300 |    48977    48882     44 |  0.005 % |
95.52/95.66	c |    190411 |     140    11900    83300 | 2147483647    49377     44 |  0.005 % |
95.82/95.95	c |    190955 |     140    11900    83300 | 2147483647    49921     44 |  0.005 % |
96.12/96.27	c |    191551 |     140    11900    83300 | 2147483647    50517     44 |  0.005 % |
96.62/96.72	c |    192209 |     140    11900    83300 | 2147483647    51175     44 |  0.005 % |
97.02/97.19	c |    192930 |     140    11900    83300 | 2147483647    51896     44 |  0.005 % |
97.52/97.66	c |    193722 |     140    11900    83300 | 2147483647    52688     44 |  0.005 % |
98.12/98.20	c |    194595 |     140    11900    83300 | 2147483647    53561     44 |  0.005 % |
98.72/98.86	c |    195554 |     140    11900    83300 | 2147483647    54520     44 |  0.005 % |
99.42/99.52	c |    196608 |     140    11900    83300 | 2147483647    55574     44 |  0.005 % |
100.02/100.20	c |    197766 |     140    11900    83300 | 2147483647    56732     44 |  0.005 % |
100.82/100.96	c |    199039 |     140    11900    83300 | 2147483647    58005     44 |  0.005 % |
101.92/102.01	c |    200440 |     140    11900    83300 |    58966    51820     44 |  0.005 % |
102.72/102.87	c |    201981 |     140    11900    83300 |    58966    53361     44 |  0.005 % |
103.72/103.83	c |    203676 |     140    11900    83300 |    58966    55056     44 |  0.005 % |
104.82/104.92	c |    205539 |     140    11900    83300 |    58966    56919     44 |  0.005 % |
106.21/106.30	c |    207588 |     140    11900    83300 |    58966    58968     44 |  0.005 % |
106.31/106.43	c |    207688 |     140    11900    83300 |    58966    51193     44 |  0.005 % |
106.41/106.51	c |    207799 |     140    11900    83300 |    58966    51304     44 |  0.005 % |
106.41/106.58	c |    207920 |     140    11900    83300 |    58966    51425     44 |  0.005 % |
106.52/106.66	c |    208053 |     140    11900    83300 |    58966    51558     44 |  0.005 % |
106.62/106.76	c |    208199 |     140    11900    83300 |    58966    51704     44 |  0.005 % |
106.71/106.87	c |    208360 |     140    11900    83300 |    58966    51865     44 |  0.005 % |
106.81/106.98	c |    208536 |     140    11900    83300 |    58966    52041     44 |  0.005 % |
106.91/107.09	c |    208729 |     140    11900    83300 |    58966    52234     44 |  0.005 % |
107.11/107.22	c |    208943 |     140    11900    83300 |    58966    52448     44 |  0.005 % |
107.21/107.36	c |    209177 |     140    11900    83300 |    58966    52682     44 |  0.005 % |
107.41/107.50	c |    209433 |     140    11900    83300 |    58966    52938     44 |  0.005 % |
107.51/107.66	c |    209715 |     140    11900    83300 |    58966    53220     44 |  0.005 % |
107.72/107.82	c |    210024 |     140    11900    83300 |    53505    53529     44 |  0.005 % |
107.91/108.08	c |    210364 |     140    11900    83300 |    53505    46845     44 |  0.005 % |
108.11/108.29	c |    210740 |     140    11900    83300 |    53505    47221     44 |  0.005 % |
108.41/108.53	c |    211151 |     140    11900    83300 |    53505    47632     44 |  0.005 % |
108.61/108.76	c |    211600 |     140    11900    83300 |    53505    48081     44 |  0.005 % |
108.91/109.01	c |    212093 |     140    11900    83300 |    53505    48574     44 |  0.005 % |
109.21/109.36	c |    212635 |     140    11900    83300 |    53505    49116     44 |  0.005 % |
109.51/109.69	c |    213231 |     140    11900    83300 |    53505    49712     44 |  0.005 % |
109.91/110.05	c |    213886 |     140    11900    83300 |    53505    50367     44 |  0.005 % |
110.31/110.46	c |    214609 |     140    11900    83300 |    53505    51090     44 |  0.005 % |
110.71/110.87	c |    215403 |     140    11900    83300 |    53505    51884     44 |  0.005 % |
111.21/111.36	c |    216276 |     140    11900    83300 |    53505    52757     44 |  0.005 % |
111.71/111.89	c |    217234 |     140    11900    83300 |    53505    47821     44 |  0.005 % |
112.21/112.39	c |    218289 |     140    11900    83300 |    53505    48876     44 |  0.005 % |
112.81/112.97	c |    219448 |     140    11900    83300 |    53505    50035     44 |  0.005 % |
113.41/113.59	c |    220722 |     140    11900    83300 |    50588    46231     44 |  0.005 % |
114.11/114.24	c |    222125 |     140    11900    83300 |    50588    47634     44 |  0.005 % |
114.81/114.96	c |    223667 |     140    11900    83300 |    50588    49176     44 |  0.005 % |
115.71/115.85	c |    225362 |     140    11900    83300 |    50588    45807     44 |  0.005 % |
116.61/116.72	c |    227225 |     140    11900    83300 |    50588    47670     44 |  0.005 % |
117.51/117.70	c |    229275 |     140    11900    83300 |    50588    49720     44 |  0.005 % |
118.71/118.86	c |    231528 |     140    11900    83300 | 2147483647    51973     44 |  0.005 % |
118.81/118.95	c |    231628 |     140    11900    83300 | 2147483647    52073     44 |  0.005 % |
118.90/119.02	c |    231742 |     140    11900    83300 | 2147483647    52187     44 |  0.005 % |
118.90/119.09	c |    231865 |     140    11900    83300 | 2147483647    52310     44 |  0.005 % |
119.00/119.17	c |    231998 |     140    11900    83300 | 2147483647    52443     44 |  0.005 % |
119.10/119.27	c |    232144 |     140    11900    83300 | 2147483647    52589     44 |  0.005 % |
119.20/119.35	c |    232304 |     140    11900    83300 | 2147483647    52749     44 |  0.005 % |
119.30/119.46	c |    232481 |     140    11900    83300 | 2147483647    52926     44 |  0.005 % |
119.40/119.58	c |    232675 |     140    11900    83300 | 2147483647    53120     44 |  0.005 % |
119.50/119.69	c |    232888 |     140    11900    83300 | 2147483647    53333     44 |  0.005 % |
119.71/119.82	c |    233121 |     140    11900    83300 | 2147483647    53566     44 |  0.005 % |
119.81/119.97	c |    233377 |     140    11900    83300 | 2147483647    53822     44 |  0.005 % |
120.00/120.13	c |    233659 |     140    11900    83300 | 2147483647    54104     44 |  0.005 % |
120.20/120.33	c |    233968 |     140    11900    83300 | 2147483647    54413     44 |  0.005 % |
120.40/120.54	c |    234307 |     140    11900    83300 | 2147483647    54752     44 |  0.005 % |
120.60/120.77	c |    234679 |     140    11900    83300 | 2147483647    55124     44 |  0.005 % |
120.91/121.02	c |    235088 |     140    11900    83300 | 2147483647    55533     44 |  0.005 % |
121.20/121.37	c |    235538 |     140    11900    83300 | 2147483647    55983     44 |  0.005 % |
121.60/121.72	c |    236032 |     140    11900    83300 | 2147483647    56477     44 |  0.005 % |
121.91/122.07	c |    236574 |     140    11900    83300 | 2147483647    57019     44 |  0.005 % |
122.30/122.43	c |    237172 |     140    11900    83300 | 2147483647    57617     44 |  0.005 % |
122.70/122.87	c |    237827 |     140    11900    83300 | 2147483647    58272     44 |  0.005 % |
123.20/123.32	c |    238548 |     140    11900    83300 | 2147483647    58993     44 |  0.005 % |
123.70/123.85	c |    239340 |     140    11900    83300 | 2147483647    59785     44 |  0.005 % |
124.40/124.51	c |    240211 |     140    11900    83300 |    60449    52858     44 |  0.005 % |
124.90/125.08	c |    241170 |     140    11900    83300 |    60449    53817     44 |  0.005 % |
125.60/125.70	c |    242224 |     140    11900    83300 |    60449    54871     44 |  0.005 % |
126.30/126.44	c |    243383 |     140    11900    83300 |    60449    56030     44 |  0.005 % |
127.10/127.21	c |    244657 |     140    11900    83300 |    60449    57304     44 |  0.005 % |
127.90/128.04	c |    246057 |     140    11900    83300 |    60449    58704     44 |  0.005 % |
129.00/129.20	c |    247597 |     140    11900    83300 |    60449    60244     44 |  0.005 % |
130.20/130.32	c |    249291 |     140    11900    83300 |    60449    53252     44 |  0.005 % |
131.30/131.42	c |    251154 |     140    11900    83300 |    53961    47493     44 |  0.005 % |
132.19/132.40	c |    253205 |     140    11900    83300 |    53961    49544     44 |  0.005 % |
133.39/133.55	c |    255459 |     140    11900    83300 |    53961    51798     44 |  0.005 % |
134.69/134.87	c |    257937 |     140    11900    83300 |    53961    48632     44 |  0.005 % |
134.79/134.93	c |    258037 |     140    11900    83300 |    53961    48732     44 |  0.005 % |
134.89/135.01	c |    258147 |     140    11900    83300 |    53961    48842     44 |  0.005 % |
134.89/135.08	c |    258268 |     140    11900    83300 |    53961    48963     44 |  0.005 % |
134.99/135.16	c |    258401 |     140    11900    83300 |    53961    49096     44 |  0.005 % |
135.10/135.25	c |    258548 |     140    11900    83300 |    53961    49243     44 |  0.005 % |
135.20/135.37	c |    258709 |     140    11900    83300 |    53961    49404     44 |  0.005 % |
135.29/135.47	c |    258886 |     140    11900    83300 |    53961    49581     44 |  0.005 % |
135.39/135.58	c |    259081 |     140    11900    83300 |    53961    49776     44 |  0.005 % |
135.59/135.72	c |    259293 |     140    11900    83300 |    53961    49988     44 |  0.005 % |
135.69/135.86	c |    259526 |     140    11900    83300 |    53961    50221     44 |  0.005 % |
135.89/136.00	c |    259784 |     140    11900    83300 |    53961    50479     44 |  0.005 % |
135.99/136.17	c |    260065 |     140    11900    83300 |    50695    50760     44 |  0.005 % |
136.20/136.38	c |    260374 |     140    11900    83300 |    50695    45473     44 |  0.005 % |
136.39/136.55	c |    260713 |     140    11900    83300 |    50695    45812     44 |  0.005 % |
136.59/136.74	c |    261085 |     140    11900    83300 |    50695    46184     44 |  0.005 % |
136.79/136.97	c |    261496 |     140    11900    83300 |    50695    46595     44 |  0.005 % |
137.09/137.21	c |    261945 |     140    11900    83300 |    50695    47044     44 |  0.005 % |
137.30/137.46	c |    262439 |     140    11900    83300 |    50695    47538     44 |  0.005 % |
137.59/137.74	c |    262981 |     140    11900    83300 |    50695    48080     44 |  0.005 % |
137.89/138.04	c |    263577 |     140    11900    83300 |    50695    48676     44 |  0.005 % |
138.19/138.39	c |    264232 |     140    11900    83300 |    50695    49331     44 |  0.005 % |
138.59/138.74	c |    264953 |     140    11900    83300 |    50695    50052     44 |  0.005 % |
138.99/139.16	c |    265746 |     140    11900    83300 |    50695    45769     44 |  0.005 % |
139.39/139.60	c |    266617 |     140    11900    83300 |    50695    46640     44 |  0.005 % |
139.99/140.14	c |    267576 |     140    11900    83300 |    50695    47599     44 |  0.005 % |
140.59/140.75	c |    268629 |     140    11900    83300 |    50695    48652     44 |  0.005 % |
141.29/141.45	c |    269788 |     140    11900    83300 |    50695    49811     44 |  0.005 % |
141.99/142.19	c |    271061 |     140    11900    83300 | 2147483647    51084     44 |  0.005 % |
142.89/143.04	c |    272462 |     140    11900    83300 | 2147483647    52485     44 |  0.005 % |
143.69/143.87	c |    274003 |     140    11900    83300 | 2147483647    54026     44 |  0.005 % |
144.79/144.93	c |    275697 |     140    11900    83300 | 2147483647    55720     44 |  0.005 % |
145.99/146.15	c |    277562 |     140    11900    83300 | 2147483647    57585     44 |  0.005 % |
147.39/147.52	c |    279615 |     140    11900    83300 | 2147483647    59638     44 |  0.005 % |
148.79/148.92	c |    281869 |     140    11900    83300 |    60026    53771     44 |  0.005 % |
150.19/150.38	c |    284347 |     140    11900    83300 |    60026    56249     44 |  0.005 % |
151.89/152.02	c |    287073 |     140    11900    83300 |    60026    58975     44 |  0.005 % |
151.99/152.11	c |    287173 |     140    11900    83300 |    60026    59075     44 |  0.005 % |
151.99/152.19	c |    287284 |     140    11900    83300 |    60026    59186     44 |  0.005 % |
152.09/152.29	c |    287407 |     140    11900    83300 |    60026    59309     44 |  0.005 % |
152.19/152.38	c |    287541 |     140    11900    83300 |    60026    59443     44 |  0.005 % |
152.39/152.50	c |    287688 |     140    11900    83300 |    60026    59590     44 |  0.005 % |
152.49/152.62	c |    287851 |     140    11900    83300 |    60026    59753     44 |  0.005 % |
152.59/152.74	c |    288028 |     140    11900    83300 |    60026    59930     44 |  0.005 % |
152.79/152.95	c |    288221 |     140    11900    83300 |    60026    51745     44 |  0.005 % |
152.89/153.09	c |    288433 |     140    11900    83300 |    60026    51957     44 |  0.005 % |
153.08/153.24	c |    288666 |     140    11900    83300 |    60026    52190     44 |  0.005 % |
153.18/153.39	c |    288924 |     140    11900    83300 |    60026    52448     44 |  0.005 % |
153.38/153.56	c |    289205 |     140    11900    83300 |    60026    52729     44 |  0.005 % |
153.58/153.72	c |    289515 |     140    11900    83300 |    60026    53039     44 |  0.005 % |
153.78/153.98	c |    289857 |     140    11900    83300 |    60026    53381     44 |  0.005 % |
154.08/154.25	c |    290230 |     140    11900    83300 |    53525    46277     43 |  0.005 % |
154.28/154.46	c |    290642 |     140    11900    83300 |    53525    46689     43 |  0.005 % |
154.58/154.70	c |    291092 |     140    11900    83300 |    53525    47139     44 |  0.005 % |
154.88/155.03	c |    291585 |     140    11900    83300 |    53525    47632     44 |  0.005 % |
155.18/155.36	c |    292127 |     140    11900    83300 |    53525    48174     44 |  0.005 % |
155.58/155.73	c |    292723 |     140    11900    83300 |    53525    48770     44 |  0.005 % |
155.88/156.08	c |    293378 |     140    11900    83300 |    53525    49425     44 |  0.005 % |
156.28/156.42	c |    294098 |     140    11900    83300 |    53525    50145     44 |  0.005 % |
156.78/156.92	c |    294890 |     140    11900    83300 |    53525    50937     44 |  0.005 % |
157.28/157.40	c |    295764 |     140    11900    83300 |    53525    51811     44 |  0.005 % |
157.78/157.94	c |    296722 |     140    11900    83300 |    53525    52769     44 |  0.005 % |
158.38/158.56	c |    297777 |     140    11900    83300 |    53525    47474     43 |  0.005 % |
158.98/159.10	c |    298935 |     140    11900    83300 |    53525    48632     43 |  0.005 % |
159.58/159.78	c |    300211 |     140    11900    83300 |    49697    44397     44 |  0.005 % |
160.18/160.36	c |    301612 |     140    11900    83300 |    49697    45798     44 |  0.005 % |
160.88/161.00	c |    303152 |     140    11900    83300 |    49697    47338     44 |  0.005 % |
161.58/161.79	c |    304848 |     140    11900    83300 |    49697    49034     44 |  0.005 % |
162.58/162.77	c |    306711 |     140    11900    83300 |    49697    45921     44 |  0.005 % |
163.58/163.73	c |    308761 |     140    11900    83300 |    49697    47971     44 |  0.005 % |
164.58/164.74	c |    311016 |     140    11900    83300 | 2147483647    50226     44 |  0.005 % |
165.98/166.19	c |    313495 |     140    11900    83300 | 2147483647    52705     44 |  0.005 % |
167.68/167.83	c |    316221 |     140    11900    83300 | 2147483647    55431     44 |  0.005 % |
169.38/169.55	c |    319218 |     140    11900    83300 | 2147483647    58428     44 |  0.005 % |
169.48/169.62	c |    319319 |     140    11900    83300 | 2147483647    58529     44 |  0.005 % |
169.48/169.69	c |    319430 |     140    11900    83300 | 2147483647    58640     44 |  0.005 % |
169.58/169.77	c |    319551 |     140    11900    83300 | 2147483647    58761     44 |  0.005 % |
169.68/169.88	c |    319685 |     140    11900    83300 | 2147483647    58895     44 |  0.005 % |
169.78/169.99	c |    319832 |     140    11900    83300 | 2147483647    59042     44 |  0.005 % |
169.88/170.10	c |    319992 |     140    11900    83300 | 2147483647    59202     44 |  0.005 % |
170.07/170.25	c |    320169 |     140    11900    83300 |    59210    52496     44 |  0.005 % |
170.17/170.36	c |    320362 |     140    11900    83300 |    59210    52689     44 |  0.005 % |
170.38/170.50	c |    320575 |     140    11900    83300 |    59210    52902     44 |  0.005 % |
170.47/170.67	c |    320808 |     140    11900    83300 |    59210    53135     44 |  0.005 % |
170.67/170.83	c |    321064 |     140    11900    83300 |    59210    53391     44 |  0.005 % |
170.87/171.04	c |    321346 |     140    11900    83300 |    59210    53673     44 |  0.005 % |
171.07/171.24	c |    321655 |     140    11900    83300 |    59210    53982     44 |  0.005 % |
171.27/171.44	c |    321994 |     140    11900    83300 |    59210    54321     44 |  0.005 % |
171.48/171.67	c |    322366 |     140    11900    83300 |    59210    54693     44 |  0.005 % |
171.77/171.91	c |    322775 |     140    11900    83300 |    59210    55102     44 |  0.005 % |
172.07/172.22	c |    323225 |     140    11900    83300 |    59210    55552     44 |  0.005 % |
172.37/172.51	c |    323718 |     140    11900    83300 |    59210    56045     44 |  0.005 % |
172.67/172.82	c |    324260 |     140    11900    83300 |    59210    56587     44 |  0.005 % |
172.97/173.19	c |    324856 |     140    11900    83300 |    59210    57183     44 |  0.005 % |
173.37/173.56	c |    325511 |     140    11900    83300 |    59210    57838     44 |  0.005 % |
173.97/174.11	c |    326231 |     140    11900    83300 |    59210    58558     44 |  0.005 % |
174.47/174.66	c |    327026 |     140    11900    83300 |    59210    51120     44 |  0.005 % |
175.07/175.20	c |    327897 |     140    11900    83300 |    59210    51991     44 |  0.005 % |
175.57/175.76	c |    328861 |     140    11900    83300 |    59210    52955     44 |  0.005 % |
176.17/176.39	c |    329915 |     140    11900    83300 |    59210    54009     44 |  0.005 % |
176.88/177.07	c |    331074 |     140    11900    83300 |    54094    47706     44 |  0.005 % |
177.57/177.78	c |    332349 |     140    11900    83300 |    54094    48981     44 |  0.005 % |
178.27/178.49	c |    333750 |     140    11900    83300 |    54094    50382     44 |  0.005 % |
179.08/179.27	c |    335290 |     140    11900    83300 |    54094    51922     44 |  0.005 % |
179.97/180.12	c |    336986 |     140    11900    83300 |    54094    53618     44 |  0.005 % |
180.97/181.11	c |    338849 |     140    11900    83300 |    54094    49679     44 |  0.005 % |
181.97/182.10	c |    340898 |     140    11900    83300 |    50831    46633     44 |  0.005 % |
183.07/183.21	c |    343152 |     140    11900    83300 |    50831    48887     44 |  0.005 % |
184.27/184.40	c |    345630 |     140    11900    83300 |    50831    46275     44 |  0.005 % |
185.57/185.70	c |    348355 |     140    11900    83300 |    50831    49000     44 |  0.005 % |
186.97/187.17	c |    351357 |     140    11900    83300 | 2147483647    52002     44 |  0.005 % |
188.77/188.96	c |    354653 |     140    11900    83300 | 2147483647    55298     44 |  0.005 % |
188.87/189.02	c |    354753 |     140    11900    83300 | 2147483647    55398     44 |  0.005 % |
188.97/189.10	c |    354863 |     140    11900    83300 | 2147483647    55508     44 |  0.005 % |
188.97/189.18	c |    354984 |     140    11900    83300 | 2147483647    55629     44 |  0.005 % |
189.07/189.26	c |    355117 |     140    11900    83300 | 2147483647    55762     44 |  0.005 % |
189.17/189.35	c |    355263 |     140    11900    83300 | 2147483647    55908     44 |  0.005 % |
189.27/189.45	c |    355423 |     140    11900    83300 | 2147483647    56068     44 |  0.005 % |
189.37/189.59	c |    355600 |     140    11900    83300 | 2147483647    56245     44 |  0.005 % |
189.57/189.71	c |    355795 |     140    11900    83300 | 2147483647    56440     44 |  0.005 % |
189.67/189.87	c |    356007 |     140    11900    83300 | 2147483647    56652     44 |  0.005 % |
189.87/190.04	c |    356243 |     140    11900    83300 | 2147483647    56888     44 |  0.005 % |
190.07/190.22	c |    356499 |     140    11900    83300 | 2147483647    57144     44 |  0.005 % |
190.17/190.39	c |    356782 |     140    11900    83300 | 2147483647    57427     44 |  0.005 % |
190.47/190.61	c |    357092 |     140    11900    83300 | 2147483647    57737     44 |  0.005 % |
190.67/190.84	c |    357432 |     140    11900    83300 | 2147483647    58077     44 |  0.005 % |
190.87/191.09	c |    357804 |     140    11900    83300 | 2147483647    58449     44 |  0.005 % |
191.17/191.35	c |    358213 |     140    11900    83300 | 2147483647    58858     44 |  0.005 % |
191.47/191.63	c |    358662 |     140    11900    83300 | 2147483647    59307     44 |  0.005 % |
191.77/191.92	c |    359156 |     140    11900    83300 | 2147483647    59801     44 |  0.005 % |
192.07/192.25	c |    359698 |     140    11900    83300 | 2147483647    60343     44 |  0.005 % |
192.47/192.63	c |    360294 |     140    11900    83300 |    60645    53636     44 |  0.005 % |
192.77/192.99	c |    360949 |     140    11900    83300 |    60645    54291     44 |  0.005 % |
193.17/193.37	c |    361670 |     140    11900    83300 |    60645    55012     44 |  0.005 % |
193.67/193.80	c |    362464 |     140    11900    83300 |    60645    55806     44 |  0.005 % |
194.17/194.33	c |    363336 |     140    11900    83300 |    60645    56678     44 |  0.005 % |
194.77/194.94	c |    364296 |     140    11900    83300 |    60645    57638     44 |  0.005 % |
195.37/195.57	c |    365350 |     140    11900    83300 |    60645    58692     44 |  0.005 % |
196.07/196.27	c |    366510 |     140    11900    83300 |    60645    59852     44 |  0.005 % |
196.87/197.10	c |    367784 |     140    11900    83300 |    60645    52797     44 |  0.005 % |
197.77/197.91	c |    369184 |     140    11900    83300 |    60645    54197     44 |  0.005 % |
198.56/198.76	c |    370724 |     140    11900    83300 |    55013    48333     44 |  0.005 % |
199.36/199.53	c |    372423 |     140    11900    83300 |    55013    50032     44 |  0.005 % |
200.26/200.44	c |    374286 |     140    11900    83300 |    55013    51895     44 |  0.005 % |
201.26/201.46	c |    376336 |     140    11900    83300 |    55013    53945     44 |  0.005 % |
202.46/202.67	c |    378590 |     140    11900    83300 |    55013    50480     44 |  0.005 % |
203.66/203.88	c |    381068 |     140    11900    83300 |    51890    47681     44 |  0.005 % |
204.96/205.12	c |    383795 |     140    11900    83300 |    51890    50408     44 |  0.005 % |
206.46/206.62	c |    386797 |     140    11900    83300 |    51890    48215     44 |  0.005 % |
208.16/208.30	c |    390093 |     140    11900    83300 | 2147483647    51511     44 |  0.005 % |
209.96/210.18	c |    393718 |     140    11900    83300 | 2147483647    55136     44 |  0.005 % |
210.06/210.23	c |    393820 |     140    11900    83300 | 2147483647    55238     44 |  0.005 % |
210.06/210.29	c |    393930 |     140    11900    83300 | 2147483647    55348     44 |  0.005 % |
210.16/210.37	c |    394053 |     140    11900    83300 | 2147483647    55471     44 |  0.005 % |
210.26/210.46	c |    394186 |     140    11900    83300 | 2147483647    55604     44 |  0.005 % |
210.36/210.57	c |    394332 |     140    11900    83300 | 2147483647    55750     44 |  0.005 % |
210.46/210.68	c |    394493 |     140    11900    83300 | 2147483647    55911     44 |  0.005 % |
210.56/210.80	c |    394670 |     140    11900    83300 | 2147483647    56088     44 |  0.005 % |
210.76/210.91	c |    394863 |     140    11900    83300 | 2147483647    56281     44 |  0.005 % |
210.86/211.03	c |    395078 |     140    11900    83300 | 2147483647    56496     44 |  0.005 % |
210.96/211.19	c |    395311 |     140    11900    83300 | 2147483647    56729     44 |  0.005 % |
211.16/211.35	c |    395570 |     140    11900    83300 | 2147483647    56988     44 |  0.005 % |
211.36/211.54	c |    395851 |     140    11900    83300 | 2147483647    57269     44 |  0.005 % |
211.56/211.74	c |    396161 |     140    11900    83300 | 2147483647    57579     44 |  0.005 % |
211.76/211.94	c |    396500 |     140    11900    83300 | 2147483647    57918     44 |  0.005 % |
211.96/212.18	c |    396873 |     140    11900    83300 | 2147483647    58291     44 |  0.005 % |
212.26/212.45	c |    397282 |     140    11900    83300 | 2147483647    58700     44 |  0.005 % |
212.56/212.73	c |    397733 |     140    11900    83300 | 2147483647    59151     44 |  0.005 % |
212.86/213.03	c |    398226 |     140    11900    83300 | 2147483647    59644     44 |  0.005 % |
213.16/213.36	c |    398770 |     140    11900    83300 | 2147483647    60188     44 |  0.005 % |
213.56/213.74	c |    399366 |     140    11900    83300 | 2147483647    60784     44 |  0.005 % |
213.96/214.13	c |    400021 |     140    11900    83300 |    61420    61439     44 |  0.005 % |
214.46/214.66	c |    400742 |     140    11900    83300 |    61420    54023     44 |  0.005 % |
214.96/215.18	c |    401536 |     140    11900    83300 |    61420    54817     44 |  0.005 % |
215.66/215.80	c |    402408 |     140    11900    83300 |    61420    55689     44 |  0.005 % |
216.26/216.43	c |    403366 |     140    11900    83300 |    61420    56647     44 |  0.005 % |
216.96/217.13	c |    404419 |     140    11900    83300 |    61420    57700     44 |  0.005 % |
217.66/217.81	c |    405578 |     140    11900    83300 |    61420    58859     44 |  0.005 % |
218.45/218.66	c |    406851 |     140    11900    83300 |    61420    60132     44 |  0.005 % |
219.35/219.57	c |    408252 |     140    11900    83300 |    61420    52179     44 |  0.005 % |
220.05/220.28	c |    409792 |     140    11900    83300 |    61420    53719     44 |  0.005 % |
220.96/221.13	c |    411486 |     140    11900    83300 |    53927    47715     44 |  0.005 % |
221.85/222.08	c |    413349 |     140    11900    83300 |    53927    49578     44 |  0.005 % |
222.95/223.16	c |    415398 |     140    11900    83300 |    53927    51627     44 |  0.005 % |
224.26/224.42	c |    417652 |     140    11900    83300 |    53927    53881     44 |  0.005 % |
225.55/225.79	c |    420131 |     140    11900    83300 | 2147483647    50921     44 |  0.005 % |
227.05/227.26	c |    422856 |     140    11900    83300 | 2147483647    53646     44 |  0.005 % |
228.95/229.13	c |    425853 |     140    11900    83300 | 2147483647    56643     44 |  0.005 % |
230.85/231.05	c |    429149 |     140    11900    83300 | 2147483647    59939     44 |  0.005 % |
232.95/233.17	c |    432776 |     140    11900    83300 |    60792    56596     44 |  0.005 % |
235.25/235.42	c |    436763 |     140    11900    83300 |    60792    60583     44 |  0.005 % |
235.35/235.50	c |    436863 |     140    11900    83300 |    60792    60683     44 |  0.005 % |
235.35/235.57	c |    436974 |     140    11900    83300 |    60792    60794     44 |  0.005 % |
235.55/235.70	c |    437097 |     140    11900    83300 |    60792    53491     44 |  0.005 % |
235.65/235.80	c |    437232 |     140    11900    83300 |    60792    53626     44 |  0.005 % |
235.75/235.90	c |    437378 |     140    11900    83300 |    60792    53772     44 |  0.005 % |
235.75/235.99	c |    437538 |     140    11900    83300 |    60792    53932     44 |  0.005 % |
235.95/236.12	c |    437715 |     140    11900    83300 |    60792    54109     44 |  0.005 % |
236.05/236.25	c |    437908 |     140    11900    83300 |    60792    54302     44 |  0.005 % |
236.25/236.42	c |    438121 |     140    11900    83300 |    60792    54515     44 |  0.005 % |
236.35/236.57	c |    438354 |     140    11900    83300 |    60792    54748     44 |  0.005 % |
236.55/236.76	c |    438611 |     140    11900    83300 |    60792    55005     44 |  0.005 % |
236.75/236.91	c |    438894 |     140    11900    83300 |    60792    55288     44 |  0.005 % |
236.95/237.11	c |    439204 |     140    11900    83300 |    60792    55598     44 |  0.005 % |
237.15/237.31	c |    439544 |     140    11900    83300 |    60792    55938     44 |  0.005 % |
237.35/237.59	c |    439916 |     140    11900    83300 |    60792    56310     44 |  0.005 % |
237.75/237.91	c |    440325 |     140    11900    83300 |    56397    49316     44 |  0.005 % |
237.95/238.14	c |    440775 |     140    11900    83300 |    56397    49766     44 |  0.005 % |
238.15/238.39	c |    441268 |     140    11900    83300 |    56397    50259     44 |  0.005 % |
238.45/238.66	c |    441811 |     140    11900    83300 |    56397    50802     44 |  0.005 % |
238.75/238.96	c |    442409 |     140    11900    83300 |    56397    51400     44 |  0.005 % |
239.05/239.29	c |    443066 |     140    11900    83300 |    56397    52057     44 |  0.005 % |
239.65/239.82	c |    443787 |     140    11900    83300 |    56397    52778     44 |  0.005 % |
240.15/240.33	c |    444579 |     140    11900    83300 |    56397    53570     44 |  0.005 % |
240.65/240.87	c |    445450 |     140    11900    83300 |    56397    54441     44 |  0.005 % |
241.25/241.44	c |    446408 |     140    11900    83300 |    56397    55399     44 |  0.005 % |
241.85/242.05	c |    447462 |     140    11900    83300 |    56397    56453     44 |  0.005 % |
242.45/242.69	c |    448620 |     140    11900    83300 |    56397    50325     44 |  0.005 % |
243.15/243.34	c |    449895 |     140    11900    83300 |    56397    51600     44 |  0.005 % |
243.84/244.03	c |    451295 |     140    11900    83300 |    51707    46750     44 |  0.005 % |
244.54/244.79	c |    452835 |     140    11900    83300 |    51707    48290     44 |  0.005 % |
245.44/245.66	c |    454529 |     140    11900    83300 |    51707    49984     44 |  0.005 % |
246.44/246.65	c |    456392 |     140    11900    83300 |    51707    46670     44 |  0.005 % |
247.44/247.63	c |    458443 |     140    11900    83300 |    51707    48721     44 |  0.005 % |
248.64/248.82	c |    460696 |     140    11900    83300 | 2147483647    50974     44 |  0.005 % |
249.94/250.13	c |    463175 |     140    11900    83300 | 2147483647    53453     44 |  0.005 % |
251.44/251.60	c |    465900 |     140    11900    83300 | 2147483647    56178     44 |  0.005 % |
253.04/253.26	c |    468897 |     140    11900    83300 | 2147483647    59175     44 |  0.005 % |
254.84/255.09	c |    472195 |     140    11900    83300 |    60278    55816     44 |  0.005 % |
257.04/257.24	c |    475820 |     140    11900    83300 |    60278    59441     44 |  0.005 % |
259.35/259.51	c |    479807 |     140    11900    83300 |    60278    55943     44 |  0.005 % |
261.64/261.81	c |    484192 |     140    11900    83300 |    56136    53503     44 |  0.005 % |
261.64/261.87	c |    484293 |     140    11900    83300 |    56136    53604     44 |  0.005 % |
261.74/261.95	c |    484403 |     140    11900    83300 |    56136    53714     44 |  0.005 % |
261.84/262.03	c |    484525 |     140    11900    83300 |    56136    53836     44 |  0.005 % |
261.94/262.13	c |    484658 |     140    11900    83300 |    56136    53969     44 |  0.005 % |
262.04/262.22	c |    484805 |     140    11900    83300 |    56136    54116     44 |  0.005 % |
262.14/262.34	c |    484967 |     140    11900    83300 |    56136    54278     44 |  0.005 % |
262.24/262.46	c |    485143 |     140    11900    83300 |    56136    54454     44 |  0.005 % |
262.34/262.60	c |    485336 |     140    11900    83300 |    56136    54647     44 |  0.005 % |
262.54/262.73	c |    485548 |     140    11900    83300 |    56136    54859     44 |  0.005 % |
262.64/262.88	c |    485781 |     140    11900    83300 |    56136    55092     44 |  0.005 % |
262.84/263.05	c |    486037 |     140    11900    83300 |    56136    55348     44 |  0.005 % |
263.04/263.22	c |    486319 |     140    11900    83300 |    56136    55630     44 |  0.005 % |
263.24/263.42	c |    486629 |     140    11900    83300 |    56136    55940     44 |  0.005 % |
263.44/263.67	c |    486968 |     140    11900    83300 |    56136    49746     44 |  0.005 % |
263.64/263.86	c |    487342 |     140    11900    83300 |    56136    50120     44 |  0.005 % |
263.84/264.09	c |    487754 |     140    11900    83300 |    56136    50532     44 |  0.005 % |
264.14/264.32	c |    488203 |     140    11900    83300 |    56136    50981     44 |  0.005 % |
264.34/264.59	c |    488696 |     140    11900    83300 |    56136    51474     44 |  0.005 % |
264.64/264.87	c |    489238 |     140    11900    83300 |    56136    52016     44 |  0.005 % |
265.04/265.21	c |    489834 |     140    11900    83300 |    56136    52612     44 |  0.005 % |
265.34/265.59	c |    490489 |     140    11900    83300 |    52779    47349     44 |  0.005 % |
265.74/265.97	c |    491209 |     140    11900    83300 |    52779    48069     44 |  0.005 % |
266.14/266.36	c |    492001 |     140    11900    83300 |    52779    48861     44 |  0.005 % |
266.64/266.86	c |    492874 |     140    11900    83300 |    52779    49734     44 |  0.005 % |
267.24/267.40	c |    493834 |     140    11900    83300 |    52779    50694     44 |  0.005 % |
267.74/267.96	c |    494888 |     140    11900    83300 |    52779    51748     44 |  0.005 % |
268.34/268.56	c |    496046 |     140    11900    83300 |    52779    47623     44 |  0.005 % |
269.04/269.23	c |    497320 |     140    11900    83300 |    52779    48897     44 |  0.005 % |
269.74/269.93	c |    498723 |     140    11900    83300 |    52779    50300     44 |  0.005 % |
270.54/270.71	c |    500264 |     140    11900    83300 | 2147483647    51841     44 |  0.005 % |
271.44/271.60	c |    501959 |     140    11900    83300 | 2147483647    53536     44 |  0.005 % |
272.44/272.70	c |    503823 |     140    11900    83300 | 2147483647    55400     44 |  0.005 % |
273.74/273.95	c |    505872 |     140    11900    83300 | 2147483647    57449     44 |  0.005 % |
275.24/275.41	c |    508125 |     140    11900    83300 | 2147483647    59702     44 |  0.005 % |
276.83/277.01	c |    510605 |     140    11900    83300 |    61580    54333     44 |  0.005 % |
278.33/278.54	c |    513331 |     140    11900    83300 |    61580    57059     44 |  0.005 % |
280.03/280.26	c |    516328 |     140    11900    83300 |    61580    60056     44 |  0.005 % |
281.93/282.19	c |    519626 |     140    11900    83300 |    61580    55002     44 |  0.005 % |
283.83/284.00	c |    523251 |     140    11900    83300 |    55376    51292     44 |  0.005 % |
285.93/286.15	c |    527239 |     140    11900    83300 |    55376    55280     44 |  0.005 % |
288.13/288.37	c |    531625 |     140    11900    83300 |    52127    48432     44 |  0.005 % |
290.53/290.70	c |    536449 |     140    11900    83300 |    52127    48037     44 |  0.005 % |
290.53/290.76	c |    536549 |     140    11900    83300 |    52127    48137     44 |  0.005 % |
290.63/290.83	c |    536659 |     140    11900    83300 |    52127    48247     44 |  0.005 % |
290.73/290.90	c |    536780 |     140    11900    83300 |    52127    48368     44 |  0.005 % |
290.73/290.97	c |    536913 |     140    11900    83300 |    52127    48501     44 |  0.005 % |
290.83/291.04	c |    537059 |     140    11900    83300 |    52127    48647     44 |  0.005 % |
290.93/291.14	c |    537220 |     140    11900    83300 |    52127    48808     44 |  0.005 % |
291.03/291.23	c |    537398 |     140    11900    83300 |    52127    48986     44 |  0.005 % |
291.13/291.35	c |    537593 |     140    11900    83300 |    52127    49181     44 |  0.005 % |
291.23/291.46	c |    537805 |     140    11900    83300 |    52127    49393     44 |  0.005 % |
291.33/291.58	c |    538038 |     140    11900    83300 |    52127    49626     44 |  0.005 % |
291.53/291.72	c |    538294 |     140    11900    83300 |    52127    49882     44 |  0.005 % |
291.63/291.88	c |    538576 |     140    11900    83300 |    52127    50164     44 |  0.005 % |
291.83/292.05	c |    538885 |     140    11900    83300 |    52127    50473     44 |  0.005 % |
292.03/292.24	c |    539224 |     140    11900    83300 |    52127    50812     44 |  0.005 % |
292.23/292.44	c |    539599 |     140    11900    83300 |    52127    51187     44 |  0.005 % |
292.43/292.67	c |    540008 |     140    11900    83300 | 2147483647    51596     44 |  0.005 % |
292.73/292.92	c |    540458 |     140    11900    83300 | 2147483647    52046     44 |  0.005 % |
293.02/293.20	c |    540951 |     140    11900    83300 | 2147483647    52539     44 |  0.005 % |
293.33/293.51	c |    541493 |     140    11900    83300 | 2147483647    53081     44 |  0.005 % |
293.62/293.81	c |    542090 |     140    11900    83300 | 2147483647    53678     44 |  0.005 % |
293.92/294.19	c |    542745 |     140    11900    83300 | 2147483647    54333     44 |  0.005 % |
294.32/294.59	c |    543466 |     140    11900    83300 | 2147483647    55054     44 |  0.005 % |
294.72/294.97	c |    544264 |     140    11900    83300 | 2147483647    55852     44 |  0.005 % |
295.22/295.48	c |    545135 |     140    11900    83300 | 2147483647    56723     44 |  0.005 % |
295.82/296.05	c |    546094 |     140    11900    83300 | 2147483647    57682     44 |  0.005 % |
296.52/296.75	c |    547147 |     140    11900    83300 | 2147483647    58735     44 |  0.005 % |
297.22/297.46	c |    548305 |     140    11900    83300 | 2147483647    59893     44 |  0.005 % |
298.02/298.28	c |    549580 |     140    11900    83300 | 2147483647    61168     44 |  0.005 % |
298.93/299.18	c |    550980 |     140    11900    83300 |    61588    54425     44 |  0.005 % |
299.72/299.99	c |    552521 |     140    11900    83300 |    61588    55966     44 |  0.005 % |
300.72/300.99	c |    554215 |     140    11900    83300 |    61588    57660     44 |  0.005 % |
301.92/302.15	c |    556079 |     140    11900    83300 |    61588    59524     44 |  0.005 % |
303.32/303.50	c |    558129 |     140    11900    83300 |    61588    61574     44 |  0.005 % |
304.62/304.82	c |    560382 |     140    11900    83300 |    54670    47477     44 |  0.005 % |
305.82/306.05	c |    562861 |     140    11900    83300 |    54670    49956     44 |  0.005 % |
307.32/307.58	c |    565586 |     140    11900    83300 |    54670    52681     44 |  0.005 % |
308.92/309.14	c |    568584 |     140    11900    83300 |    54670    49760     44 |  0.005 % |
310.52/310.76	c |    571880 |     140    11900    83300 |    51177    47764     44 |  0.005 % |
312.32/312.58	c |    575505 |     140    11900    83300 |    51177    46266     44 |  0.005 % |
314.32/314.55	c |    579492 |     140    11900    83300 |    51177    50253     44 |  0.005 % |
316.62/316.82	c |    583877 |     140    11900    83300 | 2147483647    54638     44 |  0.005 % |
319.02/319.26	c |    588700 |     140    11900    83300 | 2147483647    59461     44 |  0.005 % |
322.02/322.22	c |    594006 |     140    11900    83300 |    60761    58358     44 |  0.005 % |
322.12/322.31	c |    594106 |     140    11900    83300 |    60761    58458     44 |  0.005 % |
322.12/322.38	c |    594216 |     140    11900    83300 |    60761    58568     44 |  0.005 % |
322.21/322.46	c |    594339 |     140    11900    83300 |    60761    58691     44 |  0.005 % |
322.31/322.56	c |    594473 |     140    11900    83300 |    60761    58825     44 |  0.005 % |
322.41/322.66	c |    594619 |     140    11900    83300 |    60761    58971     44 |  0.005 % |
322.51/322.77	c |    594779 |     140    11900    83300 |    60761    59131     44 |  0.005 % |
322.71/322.91	c |    594956 |     140    11900    83300 |    60761    59308     44 |  0.005 % |
322.81/323.04	c |    595150 |     140    11900    83300 |    60761    59502     44 |  0.005 % |
322.91/323.19	c |    595364 |     140    11900    83300 |    60761    59716     44 |  0.005 % |
323.11/323.35	c |    595597 |     140    11900    83300 |    60761    59949     44 |  0.005 % |
323.31/323.58	c |    595855 |     140    11900    83300 |    60761    60207     44 |  0.005 % |
323.61/323.81	c |    596138 |     140    11900    83300 |    60761    60490     44 |  0.005 % |
323.81/324.03	c |    596447 |     140    11900    83300 |    60761    60799     44 |  0.005 % |
324.01/324.29	c |    596786 |     140    11900    83300 |    60761    53277     44 |  0.005 % |
324.31/324.54	c |    597159 |     140    11900    83300 |    60761    53650     44 |  0.005 % |
324.51/324.77	c |    597569 |     140    11900    83300 |    60761    54060     44 |  0.005 % |
324.91/325.11	c |    598020 |     140    11900    83300 |    60761    54511     44 |  0.005 % |
325.21/325.47	c |    598513 |     140    11900    83300 |    60761    55004     44 |  0.005 % |
325.61/325.85	c |    599056 |     140    11900    83300 |    60761    55547     44 |  0.005 % |
326.01/326.27	c |    599652 |     140    11900    83300 |    60761    56143     44 |  0.005 % |
326.51/326.73	c |    600307 |     140    11900    83300 |    56492    49042     44 |  0.005 % |
326.91/327.13	c |    601027 |     140    11900    83300 |    56492    49762     44 |  0.005 % |
327.41/327.61	c |    601820 |     140    11900    83300 |    56492    50555     44 |  0.005 % |
327.81/328.09	c |    602692 |     140    11900    83300 |    56492    51427     44 |  0.005 % |
328.41/328.63	c |    603650 |     140    11900    83300 |    56492    52385     44 |  0.005 % |
329.01/329.22	c |    604703 |     140    11900    83300 |    56492    53438     44 |  0.005 % |
329.61/329.88	c |    605861 |     140    11900    83300 |    56492    54596     44 |  0.005 % |
330.31/330.56	c |    607135 |     140    11900    83300 |    56492    55870     44 |  0.005 % |
331.11/331.34	c |    608536 |     140    11900    83300 |    56492    50546     44 |  0.005 % |
332.11/332.31	c |    610077 |     140    11900    83300 |    52011    45913     44 |  0.005 % |
332.91/333.14	c |    611771 |     140    11900    83300 |    52011    47607     44 |  0.005 % |
333.91/334.13	c |    613634 |     140    11900    83300 |    52011    49470     44 |  0.005 % |
334.91/335.18	c |    615683 |     140    11900    83300 |    52011    51519     44 |  0.005 % |
336.01/336.29	c |    617936 |     140    11900    83300 |    52011    48565     44 |  0.005 % |
337.20/337.43	c |    620414 |     140    11900    83300 | 2147483647    51043     44 |  0.005 % |
338.61/338.84	c |    623139 |     140    11900    83300 | 2147483647    53768     44 |  0.005 % |
340.20/340.48	c |    626139 |     140    11900    83300 | 2147483647    56768     44 |  0.005 % |
341.91/342.18	c |    629437 |     140    11900    83300 | 2147483647    60066     44 |  0.005 % |
344.00/344.27	c |    633062 |     140    11900    83300 |    60632    56756     44 |  0.005 % |
346.50/346.74	c |    637050 |     140    11900    83300 |    60632    52779     44 |  0.005 % |
348.90/349.14	c |    641435 |     140    11900    83300 |    55730    49868     44 |  0.005 % |
351.40/351.64	c |    646259 |     140    11900    83300 |    55730    54692     44 |  0.005 % |
354.10/354.39	c |    651564 |     140    11900    83300 |    52249    48351     44 |  0.005 % |
357.10/357.35	c |    657399 |     140    11900    83300 |    52249    48955     44 |  0.005 % |
357.20/357.41	c |    657500 |     140    11900    83300 |    52249    49056     44 |  0.005 % |
357.20/357.49	c |    657614 |     140    11900    83300 |    52249    49170     44 |  0.005 % |
357.30/357.56	c |    657736 |     140    11900    83300 |    52249    49292     44 |  0.005 % |
357.40/357.63	c |    657869 |     140    11900    83300 |    52249    49425     44 |  0.005 % |
357.50/357.72	c |    658016 |     140    11900    83300 |    52249    49572     44 |  0.005 % |
357.60/357.83	c |    658177 |     140    11900    83300 |    52249    49733     44 |  0.005 % |
357.70/357.95	c |    658356 |     140    11900    83300 |    52249    49912     44 |  0.005 % |
357.80/358.07	c |    658551 |     140    11900    83300 |    52249    50107     44 |  0.005 % |
358.00/358.22	c |    658763 |     140    11900    83300 |    52249    50319     44 |  0.005 % |
358.10/358.36	c |    658998 |     140    11900    83300 |    52249    50554     44 |  0.005 % |
358.20/358.50	c |    659255 |     140    11900    83300 |    52249    50811     44 |  0.005 % |
358.40/358.66	c |    659536 |     140    11900    83300 |    52249    51092     44 |  0.005 % |
358.70/358.90	c |    659846 |     140    11900    83300 |    52249    51402     44 |  0.005 % |
358.90/359.15	c |    660186 |     140    11900    83300 |    51559    46434     44 |  0.005 % |
359.10/359.34	c |    660558 |     140    11900    83300 |    51559    46806     44 |  0.005 % |
359.30/359.59	c |    660969 |     140    11900    83300 |    51559    47217     44 |  0.005 % |
359.60/359.86	c |    661420 |     140    11900    83300 |    51559    47668     44 |  0.005 % |
359.90/360.14	c |    661916 |     140    11900    83300 |    51559    48164     44 |  0.005 % |
360.20/360.42	c |    662458 |     140    11900    83300 |    51559    48706     44 |  0.005 % |
360.50/360.78	c |    663054 |     140    11900    83300 |    51559    49302     44 |  0.005 % |
360.89/361.15	c |    663709 |     140    11900    83300 |    51559    49957     44 |  0.005 % |
361.29/361.55	c |    664429 |     140    11900    83300 |    51559    50677     44 |  0.005 % |
361.80/362.00	c |    665222 |     140    11900    83300 |    51559    51470     44 |  0.005 % |
362.20/362.49	c |    666093 |     140    11900    83300 |    51559    46970     44 |  0.005 % |
362.80/363.03	c |    667053 |     140    11900    83300 |    51559    47930     44 |  0.005 % |
363.40/363.64	c |    668107 |     140    11900    83300 |    51559    48984     44 |  0.005 % |
364.00/364.27	c |    669265 |     140    11900    83300 |    51559    50142     44 |  0.005 % |
364.70/364.97	c |    670538 |     140    11900    83300 |    50877    46113     44 |  0.005 % |
365.50/365.70	c |    671940 |     140    11900    83300 |    50877    47515     44 |  0.005 % |
366.30/366.51	c |    673483 |     140    11900    83300 |    50877    49058     44 |  0.005 % |
367.10/367.34	c |    675177 |     140    11900    83300 |    50877    50752     44 |  0.005 % |
368.10/368.32	c |    677041 |     140    11900    83300 |    50877    47522     44 |  0.005 % |
369.30/369.57	c |    679090 |     140    11900    83300 |    50877    49571     44 |  0.005 % |
370.70/370.99	c |    681346 |     140    11900    83300 | 2147483647    51827     44 |  0.005 % |
372.20/372.42	c |    683824 |     140    11900    83300 | 2147483647    54305     44 |  0.005 % |
373.80/374.04	c |    686551 |     140    11900    83300 | 2147483647    57032     44 |  0.005 % |
375.90/376.19	c |    689548 |     140    11900    83300 | 2147483647    60029     44 |  0.005 % |
378.00/378.28	c |    692846 |     140    11900    83300 |    60481    54933     44 |  0.005 % |
380.30/380.56	c |    696472 |     140    11900    83300 |    60481    58559     44 |  0.005 % |
382.79/383.03	c |    700461 |     140    11900    83300 |    53533    46721     44 |  0.005 % |
385.09/385.37	c |    704847 |     140    11900    83300 |    53533    51107     44 |  0.005 % |
387.69/387.95	c |    709671 |     140    11900    83300 |    53533    50572     44 |  0.005 % |
390.79/391.06	c |    714977 |     140    11900    83300 | 2147483647    55878     44 |  0.005 % |
394.70/394.96	c |    720812 |     140    11900    83300 |    60901    54028     43 |  0.005 % |
398.39/398.68	c |    727230 |     140    11900    83300 |    60901    60446     44 |  0.005 % |
398.49/398.75	c |    727331 |     140    11900    83300 |    60901    60547     44 |  0.005 % |
398.59/398.81	c |    727441 |     140    11900    83300 |    60901    60657     44 |  0.005 % |
398.69/398.90	c |    727562 |     140    11900    83300 |    60901    60778     44 |  0.005 % |
398.79/399.03	c |    727695 |     140    11900    83300 |    60901    60911     44 |  0.005 % |
398.89/399.20	c |    727841 |     140    11900    83300 |    60901    52941     43 |  0.005 % |
398.99/399.30	c |    728002 |     140    11900    83300 |    60901    53102     43 |  0.005 % |
399.19/399.44	c |    728179 |     140    11900    83300 |    60901    53279     43 |  0.005 % |
399.29/399.57	c |    728373 |     140    11900    83300 |    60901    53473     43 |  0.005 % |
399.49/399.73	c |    728586 |     140    11900    83300 |    60901    53686     43 |  0.005 % |
399.59/399.88	c |    728821 |     140    11900    83300 |    60901    53921     43 |  0.005 % |
399.79/400.03	c |    729077 |     140    11900    83300 |    60901    54177     43 |  0.005 % |
399.99/400.23	c |    729358 |     140    11900    83300 |    60901    54458     43 |  0.005 % |
400.19/400.44	c |    729668 |     140    11900    83300 |    60901    54768     43 |  0.005 % |
400.39/400.67	c |    730007 |     140    11900    83300 |    55101    55107     43 |  0.005 % |
400.69/400.92	c |    730379 |     140    11900    83300 |    55101    47794     43 |  0.005 % |
400.89/401.17	c |    730788 |     140    11900    83300 |    55101    48203     43 |  0.005 % |
401.09/401.39	c |    731239 |     140    11900    83300 |    55101    48654     43 |  0.005 % |
401.39/401.66	c |    731733 |     140    11900    83300 |    55101    49148     43 |  0.005 % |
401.69/401.95	c |    732279 |     140    11900    83300 |    55101    49694     43 |  0.005 % |
401.99/402.29	c |    732875 |     140    11900    83300 |    55101    50290     43 |  0.005 % |
402.39/402.64	c |    733530 |     140    11900    83300 |    55101    50945     43 |  0.005 % |
402.89/403.17	c |    734250 |     140    11900    83300 |    55101    51665     43 |  0.005 % |
403.39/403.64	c |    735042 |     140    11900    83300 |    55101    52457     43 |  0.005 % |
403.99/404.21	c |    735913 |     140    11900    83300 |    55101    53328     43 |  0.005 % |
404.49/404.79	c |    736871 |     140    11900    83300 |    55101    54286     43 |  0.005 % |
405.19/405.45	c |    737924 |     140    11900    83300 |    55101    48331     43 |  0.005 % |
405.79/406.07	c |    739082 |     140    11900    83300 |    55101    49489     43 |  0.005 % |
406.58/406.82	c |    740355 |     140    11900    83300 |    50409    44617     43 |  0.005 % |
407.28/407.54	c |    741756 |     140    11900    83300 |    50409    46018     43 |  0.005 % |
407.98/408.26	c |    743296 |     140    11900    83300 |    50409    47558     43 |  0.005 % |
408.78/409.03	c |    744991 |     140    11900    83300 |    50409    49253     43 |  0.005 % |
409.68/409.96	c |    746854 |     140    11900    83300 |    50409    46068     43 |  0.005 % |
410.68/410.98	c |    748903 |     140    11900    83300 |    50409    48117     43 |  0.005 % |
411.98/412.28	c |    751158 |     140    11900    83300 | 2147483647    50372     43 |  0.005 % |
413.48/413.72	c |    753636 |     140    11900    83300 | 2147483647    52850     43 |  0.005 % |
415.18/415.42	c |    756361 |     140    11900    83300 | 2147483647    55575     43 |  0.005 % |
416.68/416.95	c |    759358 |     140    11900    83300 | 2147483647    58572     43 |  0.005 % |
418.48/418.75	c |    762654 |     140    11900    83300 |    59215    54846     44 |  0.005 % |
420.38/420.63	c |    766279 |     140    11900    83300 |    59215    58471     44 |  0.005 % |
422.58/422.85	c |    770268 |     140    11900    83300 |    54986    48859     44 |  0.005 % |
424.98/425.27	c |    774654 |     140    11900    83300 |    54986    53245     44 |  0.005 % |
427.68/427.91	c |    779480 |     140    11900    83300 |    54986    52168     44 |  0.005 % |
430.48/430.77	c |    784789 |     140    11900    83300 |    52689    52099     44 |  0.005 % |
433.58/433.84	c |    790627 |     140    11900    83300 | 2147483647    52662     43 |  0.005 % |
437.17/437.48	c |    797045 |     140    11900    83300 | 2147483647    59080     43 |  0.005 % |
441.27/441.56	c |    804104 |     140    11900    83300 |    62038    58146     44 |  0.005 % |
441.37/441.62	c |    804204 |     140    11900    83300 |    62038    58246     44 |  0.005 % |
441.37/441.69	c |    804315 |     140    11900    83300 |    62038    58357     44 |  0.005 % |
441.47/441.78	c |    804437 |     140    11900    83300 |    62038    58479     44 |  0.005 % |
441.57/441.87	c |    804574 |     140    11900    83300 |    62038    58616     44 |  0.005 % |
441.67/441.98	c |    804720 |     140    11900    83300 |    62038    58762     44 |  0.005 % |
441.77/442.09	c |    804880 |     140    11900    83300 |    62038    58922     44 |  0.005 % |
441.97/442.20	c |    805056 |     140    11900    83300 |    62038    59098     44 |  0.005 % |
442.07/442.32	c |    805249 |     140    11900    83300 |    62038    59291     44 |  0.005 % |
442.17/442.44	c |    805461 |     140    11900    83300 |    62038    59503     44 |  0.005 % |
442.27/442.58	c |    805694 |     140    11900    83300 |    62038    59736     44 |  0.005 % |
442.47/442.76	c |    805950 |     140    11900    83300 |    62038    59992     44 |  0.005 % |
442.67/442.95	c |    806231 |     140    11900    83300 |    62038    60273     44 |  0.005 % |
442.87/443.14	c |    806540 |     140    11900    83300 |    62038    60582     44 |  0.005 % |
443.07/443.36	c |    806880 |     140    11900    83300 |    62038    60922     44 |  0.005 % |
443.37/443.60	c |    807252 |     140    11900    83300 |    62038    61294     44 |  0.005 % |
443.67/443.91	c |    807661 |     140    11900    83300 |    62038    61703     44 |  0.005 % |
444.07/444.30	c |    808111 |     140    11900    83300 |    62038    53015     44 |  0.005 % |
444.36/444.61	c |    808605 |     140    11900    83300 |    62038    53509     44 |  0.005 % |
444.66/444.93	c |    809147 |     140    11900    83300 |    62038    54051     44 |  0.005 % |
444.96/445.28	c |    809746 |     140    11900    83300 |    62038    54650     44 |  0.005 % |
445.46/445.71	c |    810401 |     140    11900    83300 |    54904    47275     43 |  0.005 % |
445.76/446.06	c |    811123 |     140    11900    83300 |    54904    47997     43 |  0.005 % |
446.16/446.45	c |    811915 |     140    11900    83300 |    54904    48789     43 |  0.005 % |
446.66/446.91	c |    812787 |     140    11900    83300 |    54904    49661     43 |  0.005 % |
447.06/447.39	c |    813745 |     140    11900    83300 |    54904    50619     43 |  0.005 % |
447.66/447.99	c |    814799 |     140    11900    83300 |    54904    51673     43 |  0.005 % |
448.36/448.60	c |    815957 |     140    11900    83300 |    54904    52831     43 |  0.005 % |
448.96/449.25	c |    817230 |     140    11900    83300 |    54904    54104     43 |  0.005 % |
449.67/449.98	c |    818631 |     140    11900    83300 |    54904    49978     43 |  0.005 % |
450.46/450.73	c |    820171 |     140    11900    83300 | 2147483647    51518     43 |  0.005 % |
451.26/451.58	c |    821866 |     140    11900    83300 | 2147483647    53213     43 |  0.005 % |
452.16/452.48	c |    823729 |     140    11900    83300 | 2147483647    55076     43 |  0.005 % |
453.26/453.57	c |    825778 |     140    11900    83300 | 2147483647    57125     43 |  0.005 % |
454.66/454.91	c |    828031 |     140    11900    83300 | 2147483647    59378     43 |  0.005 % |
456.17/456.46	c |    830510 |     140    11900    83300 |    61347    54093     44 |  0.005 % |
457.66/457.98	c |    833235 |     140    11900    83300 |    61347    56818     44 |  0.005 % |
459.36/459.69	c |    836234 |     140    11900    83300 |    61347    59817     44 |  0.005 % |
461.26/461.55	c |    839530 |     140    11900    83300 |    61347    54370     44 |  0.005 % |
463.26/463.55	c |    843155 |     140    11900    83300 |    54841    50429     44 |  0.005 % |
465.36/465.67	c |    847143 |     140    11900    83300 |    54841    54417     44 |  0.005 % |
467.66/467.96	c |    851530 |     140    11900    83300 |    50937    46894     44 |  0.005 % |
469.96/470.20	c |    856353 |     140    11900    83300 |    50937    46617     44 |  0.005 % |
472.46/472.77	c |    861659 |     140    11900    83300 | 2147483647    51923     44 |  0.005 % |
475.45/475.75	c |    867496 |     140    11900    83300 | 2147483647    57760     44 |  0.005 % |
479.05/479.38	c |    873916 |     140    11900    83300 |    60264    57434     44 |  0.005 % |
483.05/483.36	c |    880976 |     140    11900    83300 |    55959    50261     44 |  0.005 % |
487.15/487.47	c |    888740 |     140    11900    83300 |    55959    52423     44 |  0.005 % |
487.25/487.53	c |    888842 |     140    11900    83300 |    55959    52525     44 |  0.005 % |
487.35/487.60	c |    888952 |     140    11900    83300 |    55959    52635     44 |  0.005 % |
487.35/487.69	c |    889074 |     140    11900    83300 |    55959    52757     44 |  0.005 % |
487.55/487.80	c |    889208 |     140    11900    83300 |    55959    52891     44 |  0.005 % |
487.55/487.87	c |    889354 |     140    11900    83300 |    55959    53037     44 |  0.005 % |
487.65/487.97	c |    889514 |     140    11900    83300 |    55959    53197     44 |  0.005 % |
487.85/488.10	c |    889692 |     140    11900    83300 |    55959    53375     44 |  0.005 % |
487.95/488.23	c |    889885 |     140    11900    83300 |    55959    53568     44 |  0.005 % |
488.05/488.39	c |    890098 |     140    11900    83300 |    53683    48289     44 |  0.005 % |
488.25/488.55	c |    890333 |     140    11900    83300 |    53683    48524     44 |  0.005 % |
488.35/488.69	c |    890591 |     140    11900    83300 |    53683    48782     44 |  0.005 % |
488.55/488.87	c |    890872 |     140    11900    83300 |    53683    49063     44 |  0.005 % |
488.75/489.05	c |    891181 |     140    11900    83300 |    53683    49372     44 |  0.005 % |
488.95/489.25	c |    891522 |     140    11900    83300 |    53683    49713     44 |  0.005 % |
489.15/489.45	c |    891895 |     140    11900    83300 |    53683    50086     44 |  0.005 % |
489.35/489.66	c |    892305 |     140    11900    83300 |    53683    50496     44 |  0.005 % |
489.64/489.91	c |    892756 |     140    11900    83300 |    53683    50947     44 |  0.005 % |
489.95/490.28	c |    893250 |     140    11900    83300 |    53683    51441     44 |  0.005 % |
490.35/490.62	c |    893792 |     140    11900    83300 |    53683    51983     44 |  0.005 % |
490.64/490.96	c |    894388 |     140    11900    83300 |    53683    52579     44 |  0.005 % |
491.04/491.35	c |    895044 |     140    11900    83300 |    53683    53235     44 |  0.005 % |
491.54/491.85	c |    895764 |     140    11900    83300 |    53683    47687     44 |  0.005 % |
491.94/492.24	c |    896556 |     140    11900    83300 |    53683    48479     44 |  0.005 % |
492.45/492.75	c |    897428 |     140    11900    83300 |    53683    49351     44 |  0.005 % |
492.94/493.28	c |    898386 |     140    11900    83300 |    53683    50309     44 |  0.005 % |
493.55/493.88	c |    899440 |     140    11900    83300 |    53683    51363     44 |  0.005 % |
494.24/494.59	c |    900598 |     140    11900    83300 |    51924    46653     44 |  0.005 % |
494.94/495.27	c |    901873 |     140    11900    83300 |    51924    47928     44 |  0.005 % |
495.64/495.94	c |    903273 |     140    11900    83300 |    51924    49328     44 |  0.005 % |
496.44/496.72	c |    904813 |     140    11900    83300 |    51924    50868     44 |  0.005 % |
497.24/497.54	c |    906507 |     140    11900    83300 |    51924    47363     44 |  0.005 % |
498.34/498.65	c |    908371 |     140    11900    83300 |    51924    49227     44 |  0.005 % |
499.44/499.76	c |    910420 |     140    11900    83300 | 2147483647    51276     44 |  0.005 % |
500.74/501.10	c |    912673 |     140    11900    83300 | 2147483647    53529     44 |  0.005 % |
502.24/502.55	c |    915153 |     140    11900    83300 | 2147483647    56009     44 |  0.005 % |
503.94/504.28	c |    917879 |     140    11900    83300 | 2147483647    58735     44 |  0.005 % |
505.84/506.18	c |    920878 |     140    11900    83300 |    60856    53914     44 |  0.005 % |
507.84/508.13	c |    924175 |     140    11900    83300 |    60856    57211     44 |  0.005 % |
510.14/510.42	c |    927801 |     140    11900    83300 |    60856    60837     44 |  0.005 % |
512.44/512.76	c |    931790 |     140    11900    83300 |    54827    49445     44 |  0.005 % |
514.83/515.12	c |    936176 |     140    11900    83300 |    54827    53831     44 |  0.005 % |
517.33/517.66	c |    941001 |     140    11900    83300 | 2147483647    53086     44 |  0.005 % |
520.33/520.63	c |    946310 |     140    11900    83300 | 2147483647    58395     44 |  0.005 % |
523.73/524.09	c |    952146 |     140    11900    83300 |    62086    56240     44 |  0.005 % |
527.83/528.12	c |    958564 |     140    11900    83300 |    62086    53910     44 |  0.005 % |
531.53/531.86	c |    965623 |     140    11900    83300 |    55348    53266     44 |  0.005 % |
535.63/535.92	c |    973387 |     140    11900    83300 |    51318    49218     44 |  0.005 % |
539.92/540.20	c |    981928 |     140    11900    83300 | 2147483647    52621     44 |  0.005 % |
539.92/540.26	c |    982028 |     140    11900    83300 | 2147483647    52721     44 |  0.005 % |
540.02/540.35	c |    982139 |     140    11900    83300 | 2147483647    52832     44 |  0.005 % |
540.12/540.42	c |    982260 |     140    11900    83300 | 2147483647    52953     44 |  0.005 % |
540.22/540.50	c |    982394 |     140    11900    83300 | 2147483647    53087     44 |  0.005 % |
540.22/540.58	c |    982542 |     140    11900    83300 | 2147483647    53235     44 |  0.005 % |
540.42/540.72	c |    982702 |     140    11900    83300 | 2147483647    53395     44 |  0.005 % |
540.52/540.83	c |    982878 |     140    11900    83300 | 2147483647    53571     44 |  0.005 % |
540.62/540.94	c |    983071 |     140    11900    83300 | 2147483647    53764     44 |  0.005 % |
540.72/541.10	c |    983283 |     140    11900    83300 | 2147483647    53976     44 |  0.005 % |
540.93/541.27	c |    983517 |     140    11900    83300 | 2147483647    54210     44 |  0.005 % |
541.12/541.43	c |    983773 |     140    11900    83300 | 2147483647    54466     44 |  0.005 % |
541.32/541.61	c |    984054 |     140    11900    83300 | 2147483647    54747     44 |  0.005 % |
541.52/541.85	c |    984363 |     140    11900    83300 | 2147483647    55056     44 |  0.005 % |
541.72/542.07	c |    984703 |     140    11900    83300 | 2147483647    55396     44 |  0.005 % |
541.93/542.29	c |    985075 |     140    11900    83300 | 2147483647    55768     44 |  0.005 % |
542.22/542.59	c |    985484 |     140    11900    83300 | 2147483647    56177     44 |  0.005 % |
542.52/542.89	c |    985933 |     140    11900    83300 | 2147483647    56626     44 |  0.005 % |
542.92/543.22	c |    986426 |     140    11900    83300 | 2147483647    57119     44 |  0.005 % |
543.22/543.56	c |    986968 |     140    11900    83300 | 2147483647    57661     44 |  0.005 % |
543.62/543.93	c |    987564 |     140    11900    83300 | 2147483647    58257     44 |  0.005 % |
544.13/544.44	c |    988220 |     140    11900    83300 | 2147483647    58913     44 |  0.005 % |
544.52/544.88	c |    988941 |     140    11900    83300 | 2147483647    59634     44 |  0.005 % |
545.02/545.37	c |    989736 |     140    11900    83300 | 2147483647    60429     44 |  0.005 % |
545.62/545.91	c |    990610 |     140    11900    83300 |    60693    53324     44 |  0.005 % |
546.22/546.51	c |    991569 |     140    11900    83300 |    60693    54283     44 |  0.005 % |
546.92/547.27	c |    992625 |     140    11900    83300 |    60693    55339     44 |  0.005 % |
547.72/548.04	c |    993785 |     140    11900    83300 |    60693    56499     44 |  0.005 % |
548.52/548.87	c |    995058 |     140    11900    83300 |    60693    57772     44 |  0.005 % |
549.52/549.85	c |    996459 |     140    11900    83300 |    60693    59173     44 |  0.005 % |
550.42/550.75	c |    998002 |     140    11900    83300 |    60693    60716     44 |  0.005 % |
551.62/551.92	c |    999697 |     140    11900    83300 |    60693    53302     44 |  0.005 % |
552.52/552.88	c |   1001560 |     140    11900    83300 |    53607    47237     44 |  0.005 % |
553.82/554.16	c |   1003609 |     140    11900    83300 |    53607    49286     44 |  0.005 % |
555.22/555.52	c |   1005862 |     140    11900    83300 |    53607    51539     44 |  0.005 % |
556.72/557.06	c |   1008341 |     140    11900    83300 |    53607    47449     44 |  0.005 % |
558.12/558.42	c |   1011067 |     140    11900    83300 |    49108    44519     44 |  0.005 % |
559.62/559.96	c |   1014065 |     140    11900    83300 |    49108    47517     44 |  0.005 % |
561.42/561.76	c |   1017362 |     140    11900    83300 |    49108    45898     44 |  0.005 % |
563.22/563.53	c |   1020988 |     140    11900    83300 | 2147483647    49524     44 |  0.005 % |
565.21/565.56	c |   1024975 |     140    11900    83300 | 2147483647    53511     44 |  0.005 % |
567.51/567.89	c |   1029360 |     140    11900    83300 | 2147483647    57896     44 |  0.005 % |
570.21/570.59	c |   1034183 |     140    11900    83300 | 2147483647    62719     44 |  0.005 % |
573.52/573.85	c |   1039489 |     140    11900    83300 | 2147483647    68025     44 |  0.005 % |
577.02/577.39	c |   1045324 |     140    11900    83300 |    68536    63837     44 |  0.005 % |
581.52/581.89	c |   1051743 |     140    11900    83300 |    68513    58559     44 |  0.005 % |
586.31/586.62	c |   1058803 |     140    11900    83300 |    68513    65619     44 |  0.005 % |
590.91/591.29	c |   1066568 |     140    11900    83300 |    66817    61981     44 |  0.005 % |
595.61/595.97	c |   1075108 |     140    11900    83300 |    65413    59918     44 |  0.005 % |
600.71/601.08	c |   1084502 |     140    11900    83300 |    64812    59645     44 |  0.005 % |
600.81/601.15	c |   1084602 |     140    11900    83300 |    64812    59745     44 |  0.005 % |
600.91/601.22	c |   1084712 |     140    11900    83300 |    64812    59855     44 |  0.005 % |
600.91/601.29	c |   1084834 |     140    11900    83300 |    64812    59977     44 |  0.005 % |
601.01/601.38	c |   1084968 |     140    11900    83300 |    64812    60111     44 |  0.005 % |
601.11/601.49	c |   1085114 |     140    11900    83300 |    64812    60257     44 |  0.005 % |
601.21/601.58	c |   1085275 |     140    11900    83300 |    64812    60418     44 |  0.005 % |
601.31/601.69	c |   1085451 |     140    11900    83300 |    64812    60594     44 |  0.005 % |
601.51/601.82	c |   1085644 |     140    11900    83300 |    64812    60787     44 |  0.005 % |
601.61/601.97	c |   1085856 |     140    11900    83300 |    64812    60999     44 |  0.005 % |
601.81/602.14	c |   1086089 |     140    11900    83300 |    64812    61232     44 |  0.005 % |
602.01/602.33	c |   1086345 |     140    11900    83300 |    64812    61488     44 |  0.005 % |
602.21/602.55	c |   1086626 |     140    11900    83300 |    64812    61769     44 |  0.005 % |
602.41/602.76	c |   1086935 |     140    11900    83300 |    64812    62078     44 |  0.005 % |
602.71/603.00	c |   1087275 |     140    11900    83300 |    64812    62418     44 |  0.005 % |
602.90/603.27	c |   1087647 |     140    11900    83300 |    64812    62790     44 |  0.005 % |
603.20/603.59	c |   1088056 |     140    11900    83300 |    64812    63199     44 |  0.005 % |
603.61/603.94	c |   1088505 |     140    11900    83300 |    64812    63648     44 |  0.005 % |
604.00/604.33	c |   1088999 |     140    11900    83300 |    64812    64142     44 |  0.005 % |
604.40/604.77	c |   1089543 |     140    11900    83300 |    64812    64686     44 |  0.005 % |
605.00/605.30	c |   1090139 |     140    11900    83300 |    55062    46613     44 |  0.005 % |
605.30/605.63	c |   1090794 |     140    11900    83300 |    55062    47268     44 |  0.005 % |
605.71/606.00	c |   1091514 |     140    11900    83300 |    55062    47988     44 |  0.005 % |
606.10/606.49	c |   1092308 |     140    11900    83300 |    55062    48782     44 |  0.005 % |
606.70/607.01	c |   1093179 |     140    11900    83300 |    55062    49653     44 |  0.005 % |
607.20/607.51	c |   1094141 |     140    11900    83300 |    55062    50615     44 |  0.005 % |
607.70/608.10	c |   1095194 |     140    11900    83300 |    55062    51668     44 |  0.005 % |
608.40/608.78	c |   1096352 |     140    11900    83300 |    55062    52826     44 |  0.005 % |
609.10/609.45	c |   1097628 |     140    11900    83300 |    55062    54102     44 |  0.005 % |
609.90/610.26	c |   1099028 |     140    11900    83300 |    55062    49016     44 |  0.005 % |
610.80/611.19	c |   1100568 |     140    11900    83300 |    49990    44653     44 |  0.005 % |
611.70/612.06	c |   1102263 |     140    11900    83300 |    49990    46348     44 |  0.005 % |
612.70/613.05	c |   1104126 |     140    11900    83300 |    49990    48211     44 |  0.005 % |
613.80/614.14	c |   1106175 |     140    11900    83300 |    49990    45073     44 |  0.005 % |
614.80/615.14	c |   1108428 |     140    11900    83300 |    49990    47326     44 |  0.005 % |
615.99/616.35	c |   1110906 |     140    11900    83300 | 2147483647    49804     44 |  0.005 % |
617.49/617.82	c |   1113633 |     140    11900    83300 | 2147483647    52531     44 |  0.005 % |
619.19/619.55	c |   1116632 |     140    11900    83300 | 2147483647    55530     44 |  0.005 % |
621.20/621.57	c |   1119928 |     140    11900    83300 | 2147483647    58826     44 |  0.005 % |
623.40/623.72	c |   1123553 |     140    11900    83300 |    58899    55717     44 |  0.005 % |
625.89/626.22	c |   1127541 |     140    11900    83300 |    58899    52003     44 |  0.005 % |
628.39/628.70	c |   1131926 |     140    11900    83300 |    54462    49136     44 |  0.005 % |
630.99/631.32	c |   1136751 |     140    11900    83300 |    54462    53961     44 |  0.005 % |
633.59/633.95	c |   1142057 |     140    11900    83300 |    50956    47443     44 |  0.005 % |
636.79/637.17	c |   1147892 |     140    11900    83300 |    50956    48177     44 |  0.005 % |
640.08/640.47	c |   1154310 |     140    11900    83300 | 2147483647    54595     44 |  0.005 % |
644.08/644.45	c |   1161369 |     140    11900    83300 |    60285    55519     44 |  0.005 % |
648.38/648.75	c |   1169134 |     140    11900    83300 |    60285    56417     44 |  0.005 % |
652.78/653.15	c |   1177674 |     140    11900    83300 |    57284    52853     44 |  0.005 % |
658.28/658.63	c |   1187068 |     140    11900    83300 | 2147483647    62247     43 |  0.005 % |
664.08/664.43	c |   1197401 |     140    11900    83300 |    65180    63580     44 |  0.005 % |
664.17/664.50	c |   1197501 |     140    11900    83300 |    65180    63680     44 |  0.005 % |
664.17/664.59	c |   1197613 |     140    11900    83300 |    65180    63792     44 |  0.005 % |
664.37/664.70	c |   1197734 |     140    11900    83300 |    65180    63913     44 |  0.005 % |
664.47/664.80	c |   1197867 |     140    11900    83300 |    65180    64046     44 |  0.005 % |
664.57/664.92	c |   1198014 |     140    11900    83300 |    65180    64193     44 |  0.005 % |
664.67/665.04	c |   1198174 |     140    11900    83300 |    65180    64353     44 |  0.005 % |
664.77/665.18	c |   1198350 |     140    11900    83300 |    65180    64529     44 |  0.005 % |
664.97/665.34	c |   1198545 |     140    11900    83300 |    65180    64724     44 |  0.005 % |
665.08/665.50	c |   1198758 |     140    11900    83300 |    65180    64937     44 |  0.005 % |
665.27/665.67	c |   1198992 |     140    11900    83300 |    65180    65171     44 |  0.005 % |
665.57/665.95	c |   1199248 |     140    11900    83300 |    65180    55219     44 |  0.005 % |
665.77/666.14	c |   1199531 |     140    11900    83300 |    65180    55502     44 |  0.005 % |
665.97/666.36	c |   1199842 |     140    11900    83300 |    65180    55813     44 |  0.005 % |
666.27/666.63	c |   1200181 |     140    11900    83300 |    55971    47385     44 |  0.005 % |
666.47/666.86	c |   1200553 |     140    11900    83300 |    55971    47757     44 |  0.005 % |
666.67/667.08	c |   1200966 |     140    11900    83300 |    55971    48170     44 |  0.005 % |
666.97/667.34	c |   1201416 |     140    11900    83300 |    55971    48620     44 |  0.005 % |
667.17/667.60	c |   1201911 |     140    11900    83300 |    55971    49115     44 |  0.005 % |
667.47/667.88	c |   1202454 |     140    11900    83300 |    55971    49658     44 |  0.005 % |
667.87/668.20	c |   1203051 |     140    11900    83300 |    55971    50255     44 |  0.005 % |
668.27/668.63	c |   1203708 |     140    11900    83300 |    55971    50912     44 |  0.005 % |
668.67/669.01	c |   1204429 |     140    11900    83300 |    55971    51633     44 |  0.005 % |
669.07/669.44	c |   1205221 |     140    11900    83300 |    55971    52425     44 |  0.005 % |
669.57/669.99	c |   1206092 |     140    11900    83300 |    55971    53296     44 |  0.005 % |
670.17/670.59	c |   1207051 |     140    11900    83300 |    55971    54255     44 |  0.005 % |
670.87/671.28	c |   1208105 |     140    11900    83300 |    55971    55309     44 |  0.005 % |
671.57/671.95	c |   1209265 |     140    11900    83300 |    55971    49098     44 |  0.005 % |
672.27/672.60	c |   1210538 |     140    11900    83300 |    49833    43992     44 |  0.005 % |
672.97/673.31	c |   1211941 |     140    11900    83300 |    49833    45395     44 |  0.005 % |
673.67/674.09	c |   1213482 |     140    11900    83300 |    49833    46936     44 |  0.005 % |
674.47/674.88	c |   1215176 |     140    11900    83300 |    49833    48630     44 |  0.005 % |
675.47/675.87	c |   1217040 |     140    11900    83300 |    49833    45505     44 |  0.005 % |
676.67/677.03	c |   1219089 |     140    11900    83300 |    49833    47554     44 |  0.005 % |
677.87/678.29	c |   1221342 |     140    11900    83300 | 2147483647    49807     44 |  0.005 % |
679.26/679.66	c |   1223821 |     140    11900    83300 | 2147483647    52286     44 |  0.005 % |
680.76/681.15	c |   1226548 |     140    11900    83300 | 2147483647    55013     44 |  0.005 % |
682.67/683.09	c |   1229547 |     140    11900    83300 | 2147483647    58012     44 |  0.005 % |
684.66/685.09	c |   1232844 |     140    11900    83300 |    58465    54542     44 |  0.005 % |
686.66/687.06	c |   1236469 |     140    11900    83300 |    58465    58167     44 |  0.005 % |
689.06/689.44	c |   1240457 |     140    11900    83300 |    54500    48329     44 |  0.005 % |
691.16/691.58	c |   1244843 |     140    11900    83300 |    54500    52715     44 |  0.005 % |
693.46/693.87	c |   1249668 |     140    11900    83300 |    54500    52084     44 |  0.005 % |
696.36/696.73	c |   1254973 |     140    11900    83300 | 2147483647    57389     44 |  0.005 % |
699.66/700.00	c |   1260809 |     140    11900    83300 |    62419    55929     44 |  0.005 % |
703.36/703.72	c |   1267227 |     140    11900    83300 |    62419    62347     44 |  0.005 % |
707.16/707.55	c |   1274287 |     140    11900    83300 |    56910    53856     44 |  0.005 % |
711.36/711.74	c |   1282053 |     140    11900    83300 |    53614    50289     44 |  0.005 % |
715.25/715.68	c |   1290593 |     140    11900    83300 |    52785    48041     44 |  0.005 % |
719.65/720.05	c |   1299987 |     140    11900    83300 |    52785    52150     44 |  0.005 % |
725.35/725.73	c |   1310320 |     140    11900    83300 |    62166    55174     45 |  0.005 % |
731.45/731.84	c |   1321686 |     140    11900    83300 |    56942    51467     45 |  0.005 % |
731.55/731.91	c |   1321786 |     140    11900    83300 |    56942    51567     45 |  0.005 % |
731.55/731.97	c |   1321896 |     140    11900    83300 |    56942    51677     45 |  0.005 % |
731.65/732.03	c |   1322017 |     140    11900    83300 |    56942    51798     45 |  0.005 % |
731.75/732.13	c |   1322150 |     140    11900    83300 |    56942    51931     45 |  0.005 % |
731.85/732.21	c |   1322296 |     140    11900    83300 |    56942    52077     45 |  0.005 % |
731.95/732.33	c |   1322458 |     140    11900    83300 |    56942    52239     45 |  0.005 % |
732.05/732.43	c |   1322635 |     140    11900    83300 |    56942    52416     45 |  0.005 % |
732.15/732.55	c |   1322828 |     140    11900    83300 |    56942    52609     45 |  0.005 % |
732.25/732.66	c |   1323040 |     140    11900    83300 |    56942    52821     45 |  0.005 % |
732.45/732.82	c |   1323274 |     140    11900    83300 |    56942    53055     45 |  0.005 % |
732.55/732.97	c |   1323531 |     140    11900    83300 |    56942    53312     45 |  0.005 % |
732.75/733.17	c |   1323812 |     140    11900    83300 |    56942    53593     45 |  0.005 % |
732.95/733.37	c |   1324121 |     140    11900    83300 |    56942    53902     45 |  0.005 % |
733.15/733.55	c |   1324461 |     140    11900    83300 |    56942    54242     45 |  0.005 % |
733.45/733.80	c |   1324834 |     140    11900    83300 |    56942    54615     45 |  0.005 % |
733.75/734.10	c |   1325243 |     140    11900    83300 |    56942    55024     45 |  0.005 % |
733.95/734.39	c |   1325692 |     140    11900    83300 |    56942    55473     45 |  0.005 % |
734.35/734.72	c |   1326187 |     140    11900    83300 |    56942    55968     45 |  0.005 % |
734.65/735.08	c |   1326730 |     140    11900    83300 |    56942    56511     45 |  0.005 % |
735.15/735.50	c |   1327328 |     140    11900    83300 |    56942    49709     45 |  0.005 % |
735.45/735.89	c |   1327983 |     140    11900    83300 |    56942    50364     45 |  0.005 % |
735.95/736.31	c |   1328703 |     140    11900    83300 |    56942    51084     45 |  0.005 % |
736.35/736.76	c |   1329496 |     140    11900    83300 |    56942    51877     45 |  0.005 % |
736.84/737.24	c |   1330367 |     140    11900    83300 |    52382    45913     45 |  0.005 % |
737.34/737.71	c |   1331326 |     140    11900    83300 |    52382    46872     45 |  0.005 % |
737.75/738.17	c |   1332380 |     140    11900    83300 |    52382    47926     45 |  0.005 % |
738.35/738.73	c |   1333538 |     140    11900    83300 |    52382    49084     45 |  0.005 % |
739.24/739.62	c |   1334811 |     140    11900    83300 |    52382    50357     45 |  0.005 % |
739.95/740.38	c |   1336211 |     140    11900    83300 |    52382    51757     45 |  0.005 % |
740.74/741.19	c |   1337754 |     140    11900    83300 |    52382    47299     45 |  0.005 % |
741.64/742.05	c |   1339448 |     140    11900    83300 |    52382    48993     45 |  0.005 % |
742.54/742.98	c |   1341313 |     140    11900    83300 |    49545    45678     44 |  0.005 % |
743.54/743.93	c |   1343365 |     140    11900    83300 |    49545    47730     44 |  0.005 % |
744.54/744.99	c |   1345619 |     140    11900    83300 |    49545    45023     44 |  0.005 % |
745.64/746.02	c |   1348097 |     140    11900    83300 |    49545    47501     44 |  0.005 % |
747.14/747.51	c |   1350822 |     140    11900    83300 | 2147483647    50226     44 |  0.005 % |
748.84/749.25	c |   1353822 |     140    11900    83300 | 2147483647    53226     44 |  0.005 % |
750.74/751.11	c |   1357118 |     140    11900    83300 | 2147483647    56522     44 |  0.005 % |
752.74/753.13	c |   1360743 |     140    11900    83300 |    59404    53222     44 |  0.005 % |
754.74/755.15	c |   1364731 |     140    11900    83300 |    59404    57210     44 |  0.005 % |
757.04/757.47	c |   1369116 |     140    11900    83300 |    59404    54615     44 |  0.005 % |
759.54/759.94	c |   1373939 |     140    11900    83300 |    55499    53082     44 |  0.005 % |
762.24/762.69	c |   1379246 |     140    11900    83300 |    55499    52833     44 |  0.005 % |
765.63/766.01	c |   1385082 |     140    11900    83300 | 2147483647    58669     44 |  0.005 % |
769.43/769.85	c |   1391500 |     140    11900    83300 |    63587    56571     44 |  0.005 % |
773.53/773.91	c |   1398560 |     140    11900    83300 |    63587    63631     44 |  0.005 % |
777.43/777.80	c |   1406325 |     140    11900    83300 |    55567    53785     44 |  0.005 % |
782.03/782.42	c |   1414866 |     140    11900    83300 |    51528    50987     44 |  0.005 % |
787.03/787.44	c |   1424261 |     140    11900    83300 | 2147483647    55223     44 |  0.005 % |
792.63/793.07	c |   1434594 |     140    11900    83300 |    60965    59169     44 |  0.005 % |
799.12/799.58	c |   1445961 |     140    11900    83300 |    56456    54429     44 |  0.005 % |
805.42/805.82	c |   1458465 |     140    11900    83300 |    51315    48398     45 |  0.005 % |
805.42/805.87	c |   1458565 |     140    11900    83300 |    51315    48498     45 |  0.005 % |
805.52/805.95	c |   1458675 |     140    11900    83300 |    51315    48608     45 |  0.005 % |
805.62/806.04	c |   1458798 |     140    11900    83300 |    51315    48731     45 |  0.005 % |
805.72/806.13	c |   1458931 |     140    11900    83300 |    51315    48864     45 |  0.005 % |
805.83/806.21	c |   1459078 |     140    11900    83300 |    51315    49011     45 |  0.005 % |
805.93/806.34	c |   1459239 |     140    11900    83300 |    51315    49172     45 |  0.005 % |
806.02/806.46	c |   1459416 |     140    11900    83300 |    51315    49349     45 |  0.005 % |
806.22/806.60	c |   1459609 |     140    11900    83300 |    51315    49542     45 |  0.005 % |
806.32/806.72	c |   1459822 |     140    11900    83300 |    51315    49755     45 |  0.005 % |
806.42/806.84	c |   1460056 |     140    11900    83300 | 2147483647    49989     45 |  0.005 % |
806.62/807.01	c |   1460316 |     140    11900    83300 | 2147483647    50249     45 |  0.005 % |
806.72/807.18	c |   1460597 |     140    11900    83300 | 2147483647    50530     45 |  0.005 % |
806.93/807.37	c |   1460906 |     140    11900    83300 | 2147483647    50839     45 |  0.005 % |
807.12/807.56	c |   1461245 |     140    11900    83300 | 2147483647    51178     45 |  0.005 % |
807.32/807.78	c |   1461618 |     140    11900    83300 | 2147483647    51551     45 |  0.005 % |
807.62/808.03	c |   1462029 |     140    11900    83300 | 2147483647    51962     45 |  0.005 % |
807.92/808.36	c |   1462478 |     140    11900    83300 | 2147483647    52411     45 |  0.005 % |
808.22/808.63	c |   1462972 |     140    11900    83300 | 2147483647    52905     45 |  0.005 % |
808.52/808.95	c |   1463514 |     140    11900    83300 | 2147483647    53447     45 |  0.005 % |
808.92/809.35	c |   1464110 |     140    11900    83300 | 2147483647    54043     45 |  0.005 % |
809.32/809.75	c |   1464766 |     140    11900    83300 | 2147483647    54699     45 |  0.005 % |
809.72/810.17	c |   1465489 |     140    11900    83300 | 2147483647    55422     45 |  0.005 % |
810.22/810.63	c |   1466284 |     140    11900    83300 | 2147483647    56217     44 |  0.005 % |
810.72/811.19	c |   1467155 |     140    11900    83300 | 2147483647    57088     44 |  0.005 % |
811.32/811.71	c |   1468113 |     140    11900    83300 | 2147483647    58046     44 |  0.005 % |
811.92/812.40	c |   1469166 |     140    11900    83300 | 2147483647    59099     44 |  0.005 % |
812.72/813.19	c |   1470324 |     140    11900    83300 |    59933    52706     44 |  0.005 % |
813.52/813.95	c |   1471597 |     140    11900    83300 |    59933    53979     44 |  0.005 % |
814.52/814.93	c |   1472997 |     140    11900    83300 |    59933    55379     44 |  0.005 % |
815.62/816.04	c |   1474537 |     140    11900    83300 |    59933    56919     44 |  0.005 % |
816.92/817.32	c |   1476231 |     140    11900    83300 |    59933    58613     44 |  0.005 % |
818.02/818.49	c |   1478094 |     140    11900    83300 |    59933    51493     45 |  0.005 % |
819.42/819.87	c |   1480146 |     140    11900    83300 |    53400    45514     45 |  0.005 % |
820.62/821.05	c |   1482400 |     140    11900    83300 |    53400    47768     45 |  0.005 % |
822.02/822.43	c |   1484878 |     140    11900    83300 |    53400    50246     45 |  0.005 % |
823.52/823.95	c |   1487603 |     140    11900    83300 |    53400    52971     45 |  0.005 % |
825.12/825.54	c |   1490600 |     140    11900    83300 |    49094    44334     44 |  0.005 % |
826.72/827.17	c |   1493897 |     140    11900    83300 |    49094    47631     44 |  0.005 % |
828.52/828.97	c |   1497523 |     140    11900    83300 |    49094    46342     44 |  0.005 % |
830.61/831.06	c |   1501511 |     140    11900    83300 | 2147483647    50330     44 |  0.005 % |
833.01/833.48	c |   1505896 |     140    11900    83300 | 2147483647    54715     44 |  0.005 % |
835.81/836.21	c |   1510721 |     140    11900    83300 |    58820    53007     44 |  0.005 % |
838.61/839.09	c |   1516026 |     140    11900    83300 |    58820    58312     44 |  0.005 % |
841.81/842.25	c |   1521861 |     140    11900    83300 |    55157    50655     44 |  0.005 % |
845.11/845.51	c |   1528280 |     140    11900    83300 |    55157    51553     44 |  0.005 % |
849.01/849.48	c |   1535339 |     140    11900    83300 | 2147483647    58612     44 |  0.005 % |
853.41/853.89	c |   1543104 |     140    11900    83300 |    63273    58282     44 |  0.005 % |
858.41/858.88	c |   1551644 |     140    11900    83300 |    56730    50910     44 |  0.005 % |
863.50/863.93	c |   1561038 |     140    11900    83300 |    52992    48383     44 |  0.005 % |
868.61/869.04	c |   1571371 |     140    11900    83300 |    51608    47427     44 |  0.005 % |
873.60/874.03	c |   1582737 |     140    11900    83300 | 2147483647    53626     44 |  0.005 % |
880.20/880.67	c |   1595240 |     140    11900    83300 |    60890    59909     44 |  0.005 % |
887.80/888.26	c |   1608992 |     140    11900    83300 |    57333    52616     44 |  0.005 % |
887.90/888.32	c |   1609092 |     140    11900    83300 |    57333    52716     44 |  0.005 % |
887.90/888.39	c |   1609203 |     140    11900    83300 |    57333    52827     44 |  0.005 % |
888.00/888.46	c |   1609324 |     140    11900    83300 |    57333    52948     44 |  0.005 % |
888.10/888.55	c |   1609458 |     140    11900    83300 |    57333    53082     44 |  0.005 % |
888.20/888.63	c |   1609605 |     140    11900    83300 |    57333    53229     44 |  0.005 % |
888.30/888.74	c |   1609766 |     140    11900    83300 |    57333    53390     44 |  0.005 % |
888.40/888.84	c |   1609942 |     140    11900    83300 |    57333    53566     44 |  0.005 % |
888.50/888.99	c |   1610135 |     140    11900    83300 |    53624    47622     45 |  0.005 % |
888.60/889.09	c |   1610348 |     140    11900    83300 |    53624    47835     45 |  0.005 % |
888.80/889.22	c |   1610581 |     140    11900    83300 |    53624    48068     45 |  0.005 % |
888.89/889.39	c |   1610837 |     140    11900    83300 |    53624    48324     45 |  0.005 % |
889.09/889.56	c |   1611118 |     140    11900    83300 |    53624    48605     45 |  0.005 % |
889.29/889.70	c |   1611427 |     140    11900    83300 |    53624    48914     45 |  0.005 % |
889.40/889.87	c |   1611766 |     140    11900    83300 |    53624    49253     45 |  0.005 % |
889.59/890.08	c |   1612138 |     140    11900    83300 |    53624    49625     45 |  0.005 % |
889.79/890.27	c |   1612547 |     140    11900    83300 |    53624    50034     45 |  0.005 % |
890.09/890.52	c |   1612997 |     140    11900    83300 |    53624    50484     45 |  0.005 % |
890.39/890.80	c |   1613490 |     140    11900    83300 |    53624    50977     45 |  0.005 % |
890.60/891.09	c |   1614032 |     140    11900    83300 |    53624    51519     45 |  0.005 % |
890.99/891.48	c |   1614631 |     140    11900    83300 |    53624    52118     44 |  0.005 % |
891.39/891.89	c |   1615287 |     140    11900    83300 |    53624    52774     44 |  0.005 % |
891.79/892.28	c |   1616007 |     140    11900    83300 |    53624    53494     44 |  0.005 % |
892.29/892.78	c |   1616799 |     140    11900    83300 |    53624    48239     44 |  0.005 % |
892.80/893.24	c |   1617671 |     140    11900    83300 |    53624    49111     44 |  0.005 % |
893.29/893.74	c |   1618630 |     140    11900    83300 |    53624    50070     44 |  0.005 % |
893.80/894.28	c |   1619684 |     140    11900    83300 |    53624    51124     44 |  0.005 % |
894.39/894.89	c |   1620843 |     140    11900    83300 |    51441    46827     44 |  0.005 % |
894.99/895.47	c |   1622117 |     140    11900    83300 |    51441    48101     44 |  0.005 % |
895.69/896.18	c |   1623517 |     140    11900    83300 |    51441    49501     44 |  0.005 % |
896.59/897.04	c |   1625057 |     140    11900    83300 |    51441    51041     44 |  0.005 % |
897.59/898.02	c |   1626753 |     140    11900    83300 |    51441    47587     44 |  0.005 % |
898.59/899.07	c |   1628616 |     140    11900    83300 |    51441    49450     44 |  0.005 % |
899.79/900.23	c |   1630667 |     140    11900    83300 | 2147483647    51501     44 |  0.005 % |
901.09/901.55	c |   1632921 |     140    11900    83300 | 2147483647    53755     44 |  0.005 % |
902.49/902.92	c |   1635400 |     140    11900    83300 | 2147483647    56234     44 |  0.005 % |
903.99/904.41	c |   1638126 |     140    11900    83300 | 2147483647    58960     44 |  0.005 % |
905.69/906.12	c |   1641126 |     140    11900    83300 |    60836    54492     44 |  0.005 % |
907.49/907.94	c |   1644425 |     140    11900    83300 |    60836    57791     44 |  0.005 % |
909.59/910.06	c |   1648050 |     140    11900    83300 |    60836    53846     44 |  0.005 % |
911.69/912.19	c |   1652037 |     140    11900    83300 |    55796    50805     44 |  0.005 % |
914.19/914.62	c |   1656423 |     140    11900    83300 |    55796    55191     44 |  0.005 % |
916.78/917.23	c |   1661249 |     140    11900    83300 |    51986    47328     44 |  0.005 % |
919.38/919.81	c |   1666554 |     140    11900    83300 |    51986    47430     44 |  0.005 % |
922.28/922.74	c |   1672390 |     140    11900    83300 | 2147483647    53266     44 |  0.005 % |
925.78/926.23	c |   1678809 |     140    11900    83300 | 2147483647    59685     44 |  0.005 % |
929.88/930.38	c |   1685869 |     140    11900    83300 |    60877    59598     44 |  0.005 % |
933.88/934.39	c |   1693633 |     140    11900    83300 |    56010    52862     44 |  0.005 % |
938.37/938.80	c |   1702173 |     140    11900    83300 | 2147483647    55794     44 |  0.005 % |
944.07/944.53	c |   1711567 |     140    11900    83300 |    63621    56965     44 |  0.005 % |
949.87/950.31	c |   1721900 |     140    11900    83300 |    55794    49479     45 |  0.005 % |
955.57/956.01	c |   1733267 |     140    11900    83300 |    51682    49694     45 |  0.005 % |
961.37/961.89	c |   1745769 |     140    11900    83300 | 2147483647    57022     45 |  0.005 % |
969.68/970.11	c |   1759521 |     140    11900    83300 | 2147483647    70774     45 |  0.005 % |
978.27/978.71	c |   1774649 |     140    11900    83300 |    70306    62685     45 |  0.005 % |
978.27/978.77	c |   1774750 |     140    11900    83300 |    70306    62786     45 |  0.005 % |
978.37/978.83	c |   1774860 |     140    11900    83300 |    70306    62896     45 |  0.005 % |
978.47/978.91	c |   1774981 |     140    11900    83300 |    70306    63017     45 |  0.005 % |
978.47/979.00	c |   1775114 |     140    11900    83300 |    70306    63150     45 |  0.005 % |
978.67/979.10	c |   1775261 |     140    11900    83300 |    70306    63297     45 |  0.005 % |
978.77/979.22	c |   1775421 |     140    11900    83300 |    70306    63457     45 |  0.005 % |
978.87/979.35	c |   1775598 |     140    11900    83300 |    70306    63634     45 |  0.005 % |
979.07/979.53	c |   1775791 |     140    11900    83300 |    70306    63827     45 |  0.005 % |
979.27/979.70	c |   1776003 |     140    11900    83300 |    70306    64039     45 |  0.005 % |
979.47/979.91	c |   1776237 |     140    11900    83300 |    70306    64273     45 |  0.005 % |
979.67/980.10	c |   1776493 |     140    11900    83300 |    70306    64529     45 |  0.005 % |
979.87/980.32	c |   1776777 |     140    11900    83300 |    70306    64813     45 |  0.005 % |
980.07/980.55	c |   1777086 |     140    11900    83300 |    70306    65122     45 |  0.005 % |
980.37/980.83	c |   1777425 |     140    11900    83300 |    70306    65461     45 |  0.005 % |
980.67/981.12	c |   1777799 |     140    11900    83300 |    70306    65835     45 |  0.005 % |
980.87/981.39	c |   1778210 |     140    11900    83300 |    70306    66246     45 |  0.005 % |
981.27/981.76	c |   1778660 |     140    11900    83300 |    70306    66696     45 |  0.005 % |
981.67/982.15	c |   1779153 |     140    11900    83300 |    70306    67189     45 |  0.005 % |
982.07/982.58	c |   1779695 |     140    11900    83300 |    70306    67731     45 |  0.005 % |
982.67/983.11	c |   1780292 |     140    11900    83300 |    68038    55871     45 |  0.005 % |
982.97/983.49	c |   1780947 |     140    11900    83300 |    68038    56526     45 |  0.005 % |
983.47/983.94	c |   1781668 |     140    11900    83300 |    68038    57247     45 |  0.005 % |
983.97/984.40	c |   1782461 |     140    11900    83300 |    68038    58040     45 |  0.005 % |
984.47/984.91	c |   1783333 |     140    11900    83300 |    68038    58912     45 |  0.005 % |
984.97/985.50	c |   1784293 |     140    11900    83300 |    68038    59872     45 |  0.005 % |
985.57/986.08	c |   1785348 |     140    11900    83300 |    68038    60927     45 |  0.005 % |
986.27/986.73	c |   1786506 |     140    11900    83300 |    68038    62085     45 |  0.005 % |
987.37/987.84	c |   1787781 |     140    11900    83300 |    68038    63360     45 |  0.005 % |
988.47/988.97	c |   1789182 |     140    11900    83300 |    68038    64761     45 |  0.005 % |
989.67/990.10	c |   1790723 |     140    11900    83300 |    65581    54668     45 |  0.005 % |
990.67/991.13	c |   1792417 |     140    11900    83300 |    65581    56362     44 |  0.005 % |
991.67/992.13	c |   1794281 |     140    11900    83300 |    65581    58226     44 |  0.005 % |
992.77/993.29	c |   1796331 |     140    11900    83300 |    65581    60276     44 |  0.005 % |
994.06/994.55	c |   1798585 |     140    11900    83300 |    65581    62530     44 |  0.005 % |
995.66/996.15	c |   1801063 |     140    11900    83300 |    63945    54981     44 |  0.005 % |
997.36/997.82	c |   1803789 |     140    11900    83300 |    63945    57707     45 |  0.005 % |
999.06/999.52	c |   1806791 |     140    11900    83300 |    63945    60709     45 |  0.005 % |
1001.06/1001.54	c |   1810088 |     140    11900    83300 |    63918    54611     44 |  0.005 % |
1003.16/1003.70	c |   1813713 |     140    11900    83300 |    63918    58236     44 |  0.005 % |
1006.06/1006.57	c |   1817700 |     140    11900    83300 |    63918    62223     44 |  0.005 % |
1008.86/1009.35	c |   1822086 |     140    11900    83300 |    54302    47786     44 |  0.005 % |
1011.36/1011.89	c |   1826912 |     140    11900    83300 |    54302    52612     44 |  0.005 % |
1014.26/1014.72	c |   1832218 |     140    11900    83300 |    49343    45987     44 |  0.005 % |
1016.86/1017.37	c |   1838055 |     140    11900    83300 |    49343    46883     44 |  0.005 % |
1019.86/1020.39	c |   1844473 |     140    11900    83300 | 2147483647    53301     44 |  0.005 % |
1023.76/1024.25	c |   1851533 |     140    11900    83300 |    58829    54270     44 |  0.005 % |
1028.25/1028.80	c |   1859297 |     140    11900    83300 |    58829    54556     44 |  0.005 % |
1032.95/1033.44	c |   1867838 |     140    11900    83300 |    55260    49832     45 |  0.005 % |
1037.96/1038.41	c |   1877232 |     140    11900    83300 |    51994    48400     45 |  0.005 % |
1043.75/1044.27	c |   1887565 |     140    11900    83300 | 2147483647    58733     45 |  0.005 % |
1050.55/1051.02	c |   1898931 |     140    11900    83300 |    61168    54154     45 |  0.005 % |
1056.74/1057.27	c |   1911433 |     140    11900    83300 |    51994    47971     45 |  0.005 % |
1065.04/1065.54	c |   1925185 |     140    11900    83300 | 2147483647    56358     45 |  0.005 % |
1075.54/1076.07	c |   1940312 |     140    11900    83300 |    52764    45047     45 |  0.005 % |
1084.74/1085.21	c |   1956951 |     140    11900    83300 | 2147483647    56152     45 |  0.005 % |
1084.74/1085.27	c |   1957052 |     140    11900    83300 | 2147483647    56253     45 |  0.005 % |
1084.84/1085.36	c |   1957162 |     140    11900    83300 | 2147483647    56363     45 |  0.005 % |
1084.94/1085.44	c |   1957284 |     140    11900    83300 | 2147483647    56485     45 |  0.005 % |
1085.04/1085.53	c |   1957417 |     140    11900    83300 | 2147483647    56618     45 |  0.005 % |
1085.14/1085.62	c |   1957564 |     140    11900    83300 | 2147483647    56765     45 |  0.005 % |
1085.24/1085.73	c |   1957724 |     140    11900    83300 | 2147483647    56925     45 |  0.005 % |
1085.34/1085.87	c |   1957901 |     140    11900    83300 | 2147483647    57102     45 |  0.005 % |
1085.54/1086.02	c |   1958096 |     140    11900    83300 | 2147483647    57297     45 |  0.005 % |
1085.64/1086.18	c |   1958310 |     140    11900    83300 | 2147483647    57511     45 |  0.005 % |
1085.84/1086.35	c |   1958543 |     140    11900    83300 | 2147483647    57744     45 |  0.005 % |
1086.04/1086.54	c |   1958799 |     140    11900    83300 | 2147483647    58000     45 |  0.005 % |
1086.24/1086.76	c |   1959081 |     140    11900    83300 | 2147483647    58282     45 |  0.005 % |
1086.54/1087.03	c |   1959391 |     140    11900    83300 | 2147483647    58592     44 |  0.005 % |
1086.74/1087.23	c |   1959732 |     140    11900    83300 | 2147483647    58933     44 |  0.005 % |
1087.04/1087.52	c |   1960104 |     140    11900    83300 |    59202    52178     44 |  0.005 % |
1087.24/1087.73	c |   1960515 |     140    11900    83300 |    59202    52589     44 |  0.005 % |
1087.54/1088.01	c |   1960965 |     140    11900    83300 |    59202    53039     44 |  0.005 % |
1087.74/1088.29	c |   1961459 |     140    11900    83300 |    59202    53533     44 |  0.005 % |
1088.14/1088.61	c |   1962001 |     140    11900    83300 |    59202    54075     44 |  0.005 % |
1088.44/1088.97	c |   1962598 |     140    11900    83300 |    59202    54672     44 |  0.005 % |
1088.84/1089.39	c |   1963253 |     140    11900    83300 |    59202    55327     44 |  0.005 % |
1089.44/1089.90	c |   1963973 |     140    11900    83300 |    59202    56047     44 |  0.005 % |
1089.84/1090.39	c |   1964765 |     140    11900    83300 |    59202    56839     44 |  0.005 % |
1090.44/1090.95	c |   1965636 |     140    11900    83300 |    59202    57710     44 |  0.005 % |
1091.03/1091.56	c |   1966594 |     140    11900    83300 |    59202    58668     44 |  0.005 % |
1091.84/1092.31	c |   1967647 |     140    11900    83300 |    59202    51049     44 |  0.005 % |
1092.43/1092.91	c |   1968806 |     140    11900    83300 |    59202    52208     44 |  0.005 % |
1093.13/1093.62	c |   1970079 |     140    11900    83300 |    53403    46051     44 |  0.005 % |
1093.83/1094.33	c |   1971480 |     140    11900    83300 |    53403    47452     45 |  0.005 % |
1094.63/1095.13	c |   1973021 |     140    11900    83300 |    53403    48993     44 |  0.005 % |
1095.43/1095.96	c |   1974716 |     140    11900    83300 |    53403    50688     45 |  0.005 % |
1096.24/1096.78	c |   1976580 |     140    11900    83300 |    53403    52552     45 |  0.005 % |
1097.34/1097.89	c |   1978629 |     140    11900    83300 |    53403    49083     44 |  0.005 % |
1098.53/1099.03	c |   1980882 |     140    11900    83300 | 2147483647    51336     44 |  0.005 % |
1099.83/1100.34	c |   1983361 |     140    11900    83300 | 2147483647    53815     44 |  0.005 % |
1101.43/1101.91	c |   1986086 |     140    11900    83300 | 2147483647    56540     44 |  0.005 % |
1103.23/1103.75	c |   1989083 |     140    11900    83300 | 2147483647    59537     45 |  0.005 % |
1105.23/1105.73	c |   1992379 |     140    11900    83300 |    60455    55067     44 |  0.005 % |
1107.13/1107.66	c |   1996004 |     140    11900    83300 |    60455    58692     44 |  0.005 % |
1109.63/1110.12	c |   1999993 |     140    11900    83300 |    60455    54949     44 |  0.005 % |
1111.93/1112.47	c |   2004379 |     140    11900    83300 |    54958    52375     44 |  0.005 % |
1114.73/1115.20	c |   2009202 |     140    11900    83300 |    54958    50767     44 |  0.005 % |
1117.33/1117.88	c |   2014507 |     140    11900    83300 |    51566    50245     44 |  0.005 % |
1120.73/1121.23	c |   2020342 |     140    11900    83300 | 2147483647    50917     45 |  0.005 % |
1124.53/1125.01	c |   2026760 |     140    11900    83300 | 2147483647    57335     44 |  0.005 % |
1128.62/1129.13	c |   2033820 |     140    11900    83300 |    60575    56824     44 |  0.005 % |
1133.12/1133.69	c |   2041585 |     140    11900    83300 |    55385    50214     44 |  0.005 % |
1137.52/1138.04	c |   2050126 |     140    11900    83300 |    52332    46763     44 |  0.005 % |
1142.02/1142.55	c |   2059520 |     140    11900    83300 |    52332    50917     44 |  0.005 % |
1147.72/1148.24	c |   2069854 |     140    11900    83300 | 2147483647    61251     44 |  0.005 % |
1153.82/1154.37	c |   2081220 |     140    11900    83300 |    55972    50169     44 |  0.005 % |
1160.21/1160.79	c |   2093724 |     140    11900    83300 |    52585    50466     44 |  0.005 % |
1167.11/1167.68	c |   2107476 |     140    11900    83300 | 2147483647    58953     44 |  0.005 % |
1175.51/1176.01	c |   2122604 |     140    11900    83300 |    57509    53483     44 |  0.005 % |
1184.91/1185.44	c |   2139244 |     140    11900    83300 |    54900    52920     44 |  0.005 % |
1196.21/1196.73	c |   2157547 |     140    11900    83300 |    52086    48312     44 |  0.005 % |
1196.21/1196.80	c |   2157647 |     140    11900    83300 |    52086    48412     44 |  0.005 % |
1196.31/1196.85	c |   2157758 |     140    11900    83300 |    52086    48523     44 |  0.005 % |
1196.40/1196.91	c |   2157880 |     140    11900    83300 |    52086    48645     44 |  0.005 % |
1196.40/1196.98	c |   2158013 |     140    11900    83300 |    52086    48778     44 |  0.005 % |
1196.50/1197.06	c |   2158160 |     140    11900    83300 |    52086    48925     44 |  0.005 % |
1196.60/1197.15	c |   2158321 |     140    11900    83300 |    52086    49086     44 |  0.005 % |
1196.70/1197.23	c |   2158498 |     140    11900    83300 |    52086    49263     44 |  0.005 % |
1196.80/1197.34	c |   2158693 |     140    11900    83300 |    52086    49458     44 |  0.005 % |
1196.90/1197.46	c |   2158906 |     140    11900    83300 |    52086    49671     44 |  0.005 % |
1197.00/1197.59	c |   2159139 |     140    11900    83300 |    52086    49904     44 |  0.005 % |
1197.20/1197.74	c |   2159398 |     140    11900    83300 |    52086    50163     44 |  0.005 % |
1197.41/1197.90	c |   2159679 |     140    11900    83300 |    52086    50444     44 |  0.005 % |
1197.50/1198.07	c |   2159989 |     140    11900    83300 |    52086    50754     44 |  0.005 % |
1197.70/1198.28	c |   2160329 |     140    11900    83300 |    50768    45763     44 |  0.005 % |
1197.90/1198.46	c |   2160704 |     140    11900    83300 |    50768    46138     44 |  0.005 % |
1198.10/1198.67	c |   2161114 |     140    11900    83300 |    50768    46548     44 |  0.005 % |
1198.30/1198.86	c |   2161563 |     140    11900    83300 |    50768    46997     44 |  0.005 % |
1198.60/1199.17	c |   2162058 |     140    11900    83300 |    50768    47492     44 |  0.005 % |
1198.90/1199.43	c |   2162600 |     140    11900    83300 |    50768    48034     44 |  0.005 % |
1199.20/1199.70	c |   2163197 |     140    11900    83300 |    50768    48631     44 |  0.005 % |
1199.50/1200.02	c |   2163852 |     140    11900    83300 |    50768    49286     44 |  0.005 % |
1199.80/1200.38	c |   2164574 |     140    11900    83300 |    50768    50008     44 |  0.005 % |
1200.01/1200.51	HOME/SatELiteGTI: line 36:  3417 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-1832623-1242785180/watcher-1832623-1242785180 -o /tmp/evaluation-result-1832623-1242785180/solver-1832623-1242785180 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832623-1242785180.cnf 

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


[startup+0 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 3411
/proc/meminfo: memFree=1804000/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306544178 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 244277018706 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/3411/statm: 1339 235 195 169 0 50 0

[startup+0.026591 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 3411
/proc/meminfo: memFree=1804000/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306544178 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/3411/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.1016 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 3411
/proc/meminfo: memFree=1804000/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.301623 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 3411
/proc/meminfo: memFree=1804000/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+0.701668 s]
/proc/loadavg: 0.92 0.99 0.99 3/64 3411
/proc/meminfo: memFree=1804000/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356

[startup+1.50176 s]
/proc/loadavg: 0.92 0.99 0.99 2/66 3417
/proc/meminfo: memFree=1800976/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=4672 CPUtime=1.43
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 899 0 0 0 143 0 0 0 25 0 1 0 306544183 4784128 885 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 1168 885 76 171 0 995 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 10028

[startup+3.10294 s]
/proc/loadavg: 0.92 0.99 0.99 2/66 3417
/proc/meminfo: memFree=1799056/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=6728 CPUtime=3.04
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 1393 0 0 0 303 1 0 0 25 0 1 0 306544183 6889472 1379 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 1682 1379 76 171 0 1509 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 12084

[startup+6.3013 s]
/proc/loadavg: 0.93 0.99 0.99 2/66 3417
/proc/meminfo: memFree=1796048/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=9136 CPUtime=6.24
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 1988 0 0 0 622 2 0 0 25 0 1 0 306544183 9355264 1974 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 2284 1974 76 171 0 2111 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 14492

[startup+12.701 s]
/proc/loadavg: 0.93 0.99 0.99 2/66 3417
/proc/meminfo: memFree=1792528/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=12260 CPUtime=12.64
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 2781 0 0 0 1261 3 0 0 25 0 1 0 306544183 12554240 2767 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 3065 2767 76 171 0 2892 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 17616

[startup+25.5015 s]
/proc/loadavg: 0.95 0.99 0.99 2/66 3417
/proc/meminfo: memFree=1788240/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=16252 CPUtime=25.43
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 3777 0 0 0 2539 4 0 0 25 0 1 0 306544183 16642048 3763 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 4063 3763 76 171 0 3890 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 21608

[startup+51.1014 s]
/proc/loadavg: 0.96 0.99 0.99 2/66 3417
/proc/meminfo: memFree=1788048/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=16516 CPUtime=51.02
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 3813 0 0 0 5097 5 0 0 25 0 1 0 306544183 16912384 3799 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 4129 3799 76 171 0 3956 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 21872

[startup+102.305 s]
/proc/loadavg: 0.98 0.99 0.99 2/66 3417
/proc/meminfo: memFree=1787856/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=16516 CPUtime=102.19
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 3813 0 0 0 10214 5 0 0 25 0 1 0 306544183 16912384 3799 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 4129 3799 76 171 0 3956 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 21872

[startup+162.301 s]
/proc/loadavg: 1.07 1.01 1.00 2/66 3417
/proc/meminfo: memFree=1787728/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=16516 CPUtime=162.15
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 3835 0 0 0 16210 5 0 0 25 0 1 0 306544183 16912384 3821 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 4129 3821 76 171 0 3956 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 21872

[startup+222.302 s]
/proc/loadavg: 1.10 1.02 1.00 2/66 3417
/proc/meminfo: memFree=1787152/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=17056 CPUtime=222.12
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 3952 0 0 0 22207 5 0 0 25 0 1 0 306544183 17465344 3938 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 4264 3938 76 171 0 4091 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 22412

[startup+282.302 s]
/proc/loadavg: 1.10 1.03 1.00 2/66 3417
/proc/meminfo: memFree=1786704/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=17320 CPUtime=282.1
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 4039 0 0 0 28205 5 0 0 25 0 1 0 306544183 17735680 4025 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 4330 4025 76 171 0 4157 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 22676

[startup+342.302 s]
/proc/loadavg: 1.10 1.04 1.00 2/66 3417
/proc/meminfo: memFree=1786384/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=17604 CPUtime=342.07
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 4079 0 0 0 34202 5 0 0 25 0 1 0 306544183 18026496 4065 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 4401 4065 76 171 0 4228 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 22960

[startup+402.302 s]
/proc/loadavg: 1.09 1.04 1.00 2/66 3417
/proc/meminfo: memFree=1786320/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=17604 CPUtime=402.06
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 4080 0 0 0 40200 6 0 0 25 0 1 0 306544183 18026496 4066 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 4401 4066 76 171 0 4228 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 22960

[startup+462.301 s]

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

[pid=3417] ppid=3411 vsize=17900 CPUtime=522
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 4155 0 0 0 52194 6 0 0 25 0 1 0 306544183 18329600 4141 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 4475 4141 76 171 0 4302 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 23256

[startup+582.301 s]
/proc/loadavg: 1.07 1.06 1.00 2/66 3417
/proc/meminfo: memFree=1784208/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=19364 CPUtime=581.98
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 4535 0 0 0 58191 7 0 0 25 0 1 0 306544183 19828736 4521 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 4841 4521 76 171 0 4668 0
Current children cumulated CPU time (s) 582.01
Current children cumulated vsize (KiB) 24720

[startup+642.302 s]
/proc/loadavg: 1.07 1.06 1.00 2/66 3417
/proc/meminfo: memFree=1783952/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=19500 CPUtime=641.96
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 4570 0 0 0 64189 7 0 0 25 0 1 0 306544183 19968000 4556 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 4875 4556 76 171 0 4702 0
Current children cumulated CPU time (s) 641.99
Current children cumulated vsize (KiB) 24856

[startup+702.302 s]
/proc/loadavg: 1.06 1.06 1.00 2/66 3417
/proc/meminfo: memFree=1783824/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=19500 CPUtime=701.93
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 4572 0 0 0 70186 7 0 0 25 0 1 0 306544183 19968000 4558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 4875 4558 76 171 0 4702 0
Current children cumulated CPU time (s) 701.96
Current children cumulated vsize (KiB) 24856

[startup+762.306 s]
/proc/loadavg: 1.06 1.06 1.00 2/66 3417
/proc/meminfo: memFree=1783696/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=19500 CPUtime=761.91
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 4572 0 0 0 76184 7 0 0 25 0 1 0 306544183 19968000 4558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 4875 4558 76 171 0 4702 0
Current children cumulated CPU time (s) 761.94
Current children cumulated vsize (KiB) 24856

[startup+822.301 s]
/proc/loadavg: 1.13 1.07 1.01 2/66 3417
/proc/meminfo: memFree=1783632/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=19500 CPUtime=821.89
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 4572 0 0 0 82182 7 0 0 25 0 1 0 306544183 19968000 4558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 4875 4558 76 171 0 4702 0
Current children cumulated CPU time (s) 821.92
Current children cumulated vsize (KiB) 24856

[startup+882.301 s]
/proc/loadavg: 1.12 1.07 1.00 2/66 3417
/proc/meminfo: memFree=1783568/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=19500 CPUtime=881.87
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 4572 0 0 0 88180 7 0 0 25 0 1 0 306544183 19968000 4558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 4875 4558 76 171 0 4702 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 24856

[startup+942.301 s]
/proc/loadavg: 1.11 1.07 1.00 2/66 3417
/proc/meminfo: memFree=1783440/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=19500 CPUtime=941.84
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 4573 0 0 0 94177 7 0 0 25 0 1 0 306544183 19968000 4559 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 4875 4559 76 171 0 4702 0
Current children cumulated CPU time (s) 941.87
Current children cumulated vsize (KiB) 24856

[startup+1002.3 s]
/proc/loadavg: 1.10 1.07 1.00 2/66 3417
/proc/meminfo: memFree=1782224/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=20696 CPUtime=1001.83
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 4860 0 0 0 100175 8 0 0 25 0 1 0 306544183 21192704 4846 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 5174 4846 76 171 0 5001 0
Current children cumulated CPU time (s) 1001.86
Current children cumulated vsize (KiB) 26052

[startup+1062.3 s]
/proc/loadavg: 1.14 1.09 1.01 2/66 3417
/proc/meminfo: memFree=1782096/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=20696 CPUtime=1061.81
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 4860 0 0 0 106173 8 0 0 25 0 1 0 306544183 21192704 4846 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 5174 4846 76 171 0 5001 0
Current children cumulated CPU time (s) 1061.84
Current children cumulated vsize (KiB) 26052

[startup+1122.3 s]
/proc/loadavg: 1.15 1.10 1.01 2/66 3417
/proc/meminfo: memFree=1781968/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=20696 CPUtime=1121.8
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 4862 0 0 0 112172 8 0 0 25 0 1 0 306544183 21192704 4848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 5174 4848 76 171 0 5001 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 26052

[startup+1182.3 s]
/proc/loadavg: 1.10 1.09 1.01 2/66 3417
/proc/meminfo: memFree=1781904/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=20696 CPUtime=1181.78
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 4863 0 0 0 118170 8 0 0 25 0 1 0 306544183 21192704 4849 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 5174 4849 76 171 0 5001 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 26052



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.07 1.08 1.01 2/66 3417
/proc/meminfo: memFree=1781840/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=20696 CPUtime=1199.98
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 4863 0 0 0 119990 8 0 0 25 0 1 0 306544183 21192704 4849 1992294400 134512640 135215339 4294956240 18446744073709551615 134532684 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 5174 4849 76 171 0 5001 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 26052

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

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

[startup+1200.5 s]
/proc/loadavg: 1.07 1.08 1.01 2/66 3417
/proc/meminfo: memFree=1781840/2055920 swapFree=4178548/4192956
[pid=3411] ppid=3409 vsize=5356 CPUtime=0.03
/proc/3411/stat : 3411 (SatELiteGTI) S 3409 3411 2846 0 -1 4194304 336 630 0 0 0 0 3 0 18 0 1 0 306544178 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 244276847428 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/3411/statm: 1339 239 197 169 0 50 0
[pid=3417] ppid=3411 vsize=20696 CPUtime=1199.98
/proc/3417/stat : 3417 (minisat_static) R 3411 3411 2846 0 -1 4194304 4863 0 0 0 119990 8 0 0 25 0 1 0 306544183 21192704 4849 1992294400 134512640 135215339 4294956240 18446744073709551615 134532684 0 0 4096 3 0 0 0 17 1 0 0
/proc/3417/statm: 5174 4849 76 171 0 5001 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 26052

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.03
CPU user time (s): 1199.94
CPU system time (s): 0.090986
CPU usage (%): 99.96
Max. virtual memory (cumulated for all children) (KiB): 26052

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

runsolver used 1.44578 second user time and 3.06853 second system time

The end

Launcher Data

Begin job on node63 at 2009-05-20 04:06:20
IDJOB=1832623
IDBENCH=70275
IDSOLVER=671
FILE ID=node63/1832623-1242785180
PBS_JOBID= 9322379
Free space on /tmp= 66248 MiB

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

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

MD5SUM BENCH= ad3646e0a0cdbfbd5513a638946c9f2e
RANDOM SEED=149255900

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1804544 kB
Buffers:         22600 kB
Cached:         181260 kB
SwapCached:       7892 kB
Active:          40300 kB
Inactive:       173148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1804544 kB
SwapTotal:     4192956 kB
SwapFree:      4178548 kB
Dirty:            1904 kB
Writeback:           0 kB
Mapped:          14864 kB
Slab:            23780 kB
Committed_AS:  1110156 kB
PageTables:       1456 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264960 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66244 MiB
End job on node63 at 2009-05-20 04:26:23