Trace number 1832373

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.13 1200.61

General information on the benchmark

Namecrafted/Difficult/contest-02-03-04/
contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
MD5SUM3c6e2bf4052a26ce5bdb6cfc9e1f735c
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark506.219
Satisfiable
(Un)Satisfiability was proved
Number of variables1075
Number of clauses7545
Sum of the clauses size30180
Maximum clause length4
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 47545
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.01	c ==============================================================================
0.00/0.01	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.01	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.01	c ==============================================================================
0.00/0.01	c |         0 |    7545    30180 |    2263       0        0     nan |  0.000 % |
0.00/0.01	c |         0 |    7072    28213 |      --       0       --      -- |     --   | -473/-1967
0.00/0.01	c ==============================================================================
0.00/0.01	c Result  :   #vars: 987   #clauses: 7072   #literals: 28213
0.00/0.01	c CPU time:   0.011998 s
0.00/0.01	c ==============================================================================
0.00/0.02	c This is MiniSat 2.0 beta
0.00/0.02	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.02	c ============================[ Problem Statistics ]=============================
0.00/0.02	c |                                                                             |
0.00/0.02	c |  Number of variables:  987                                                  |
0.00/0.02	c |  Number of clauses:    7072                                                 |
0.00/0.03	c |  Parsing time:         0.00         s                                       |
0.00/0.03	c ============================[ Search Statistics ]==============================
0.00/0.03	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.03	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.03	c ===============================================================================
0.00/0.03	c |         0 |     987     7072    28213 |     2357        0    nan |  0.000 % |
0.00/0.03	c |       100 |     987     7072    28213 |     2357      100      3 |  0.000 % |
0.00/0.04	c |       200 |     987     7072    28213 |     2357      200      3 |  0.000 % |
0.00/0.05	c |       300 |     987     7072    28213 |     2357      300      3 |  0.000 % |
0.00/0.05	c |       411 |     987     7072    28213 |     2357      411      3 |  0.000 % |
0.00/0.06	c |       511 |     987     7072    28213 |     2357      511      3 |  0.000 % |
0.01/0.06	c |       621 |     987     7072    28213 |     2357      621      3 |  0.000 % |
0.01/0.07	c |       742 |     987     7072    28213 |     2357      742      3 |  0.000 % |
0.01/0.07	c |       842 |     987     7072    28213 |     2357      842      3 |  0.000 % |
0.01/0.08	c |       952 |     987     7072    28213 |     2357      952      3 |  0.001 % |
0.01/0.08	c |      1076 |     987     7072    28213 |     2357     1076      3 |  0.000 % |
0.01/0.09	c |      1209 |     987     7072    28213 |     2357     1209      3 |  0.000 % |
0.01/0.09	c |      1309 |     987     7072    28213 |     2357     1309      3 |  0.001 % |
0.01/0.10	c |      1421 |     987     7072    28213 |     2357     1421      4 |  0.000 % |
0.01/0.10	c |      1543 |     987     7072    28213 |     2357     1543      4 |  0.000 % |
0.01/0.11	c |      1676 |     987     7072    28213 |     2357     1676      4 |  0.000 % |
0.01/0.11	c |      1822 |     987     7072    28213 |     2357     1822      5 |  0.000 % |
0.01/0.12	c |      1923 |     987     7072    28213 |     2357     1923      5 |  0.000 % |
0.01/0.12	c |      2033 |     987     7072    28213 |     2357     2033      6 |  0.000 % |
0.01/0.13	c |      2157 |     987     7072    28213 |     2357     2157      6 |  0.000 % |
0.01/0.14	c |      2290 |     987     7072    28213 |     2357     2290      7 |  0.000 % |
0.01/0.15	c |      2437 |     987     7072    28213 |     2357     2195      8 |  0.000 % |
0.01/0.16	c |      2597 |     987     7072    28213 |     2357     2355      9 |  0.000 % |
0.01/0.16	c |      2699 |     987     7072    28213 |     2357     2217      9 |  0.000 % |
0.01/0.17	c |      2809 |     987     7072    28213 |     2357     2327      9 |  0.001 % |
0.01/0.18	c |      2931 |     987     7072    28213 |     2357     2208      9 |  0.000 % |
0.01/0.18	c |      3064 |     987     7072    28213 |     2357     2341     10 |  0.000 % |
0.01/0.19	c |      3210 |     987     7072    28213 |     2357     2246      9 |  0.000 % |
0.01/0.20	c |      3370 |     987     7072    28213 |     2357     2406     10 |  0.000 % |
0.01/0.22	c |      3546 |     987     7072    28213 |     2357     2342     10 |  0.000 % |
0.01/0.22	c |      3646 |     987     7072    28213 |     2357     2442     10 |  0.000 % |
0.01/0.23	c |      3756 |     987     7072    28213 |     2357     2308      9 |  0.000 % |
0.01/0.24	c |      3877 |     987     7072    28213 |     2357     2429     10 |  0.000 % |
0.01/0.25	c |      4010 |     987     7072    28213 |     2357     2320     10 |  0.000 % |
0.01/0.25	c |      4156 |     987     7072    28213 |     2357     2231      9 |  0.000 % |
0.01/0.26	c |      4316 |     987     7072    28213 |     2357     2391     10 |  0.000 % |
0.01/0.28	c |      4492 |     987     7072    28213 |     2357     2328      9 |  0.000 % |
0.01/0.29	c |      4685 |     987     7072    28213 |     2357     2278      9 |  0.000 % |
0.01/0.30	c |      4789 |     987     7072    28213 |     2357     2382      9 |  0.000 % |
0.01/0.31	c |      4901 |     987     7072    28213 |     2357     2256      9 |  0.000 % |
0.01/0.32	c |      5023 |     987     7072    28213 |     2357     2378      9 |  0.000 % |
0.01/0.32	c |      5156 |     987     7072    28213 |     2357     2274      9 |  0.001 % |
0.01/0.33	c |      5305 |     987     7072    28213 |     2357     2423      9 |  0.000 % |
0.01/0.35	c |      5467 |     987     7072    28213 |     2357     2343      9 |  0.000 % |
0.01/0.36	c |      5645 |     987     7072    28213 |     2357     2279      8 |  0.000 % |
0.01/0.37	c |      5839 |     987     7072    28213 |     2357     2234      8 |  0.000 % |
0.01/0.39	c |      6051 |     987     7072    28213 |     2357     2446      9 |  0.000 % |
0.01/0.40	c |      6151 |     987     7072    28213 |     2357     2302      8 |  0.000 % |
0.01/0.40	c |      6264 |     987     7072    28213 |     2357     2415      9 |  0.000 % |
0.01/0.41	c |      6385 |     987     7072    28213 |     2357     2295      8 |  0.000 % |
0.01/0.42	c |      6519 |     987     7072    28213 |     2357     2190      8 |  0.000 % |
0.01/0.43	c |      6666 |     987     7072    28213 |     2357     2337      8 |  0.000 % |
0.01/0.44	c |      6826 |     987     7072    28213 |     2357     2253      8 |  0.000 % |
0.01/0.45	c |      7002 |     987     7072    28213 |     2357     2429      9 |  0.000 % |
0.01/0.46	c |      7196 |     987     7072    28213 |     2357     2381      9 |  0.000 % |
0.01/0.48	c |      7409 |     987     7072    28213 |     2357     2356      9 |  0.000 % |
0.01/0.50	c |      7642 |     987     7072    28213 |     2357     2346      8 |  0.000 % |
0.01/0.50	c |      7742 |     987     7072    28213 |     2357     2446      9 |  0.000 % |
0.01/0.51	c |      7854 |     987     7072    28213 |     2357     2314      8 |  0.000 % |
0.01/0.52	c |      7975 |     987     7072    28213 |     2357     2435      9 |  0.000 % |
0.01/0.53	c |      8108 |     987     7072    28213 |     2357     2325      8 |  0.000 % |
0.01/0.54	c |      8257 |     987     7072    28213 |     2357     2234      8 |  0.000 % |
0.01/0.55	c |      8417 |     987     7072    28213 |     2357     2394      9 |  0.000 % |
0.01/0.56	c |      8594 |     987     7072    28213 |     2357     2332      9 |  0.000 % |
0.01/0.58	c |      8787 |     987     7072    28213 |     2357     2282      8 |  0.000 % |
0.01/0.59	c |      9001 |     987     7072    28213 |     2357     2255      8 |  0.000 % |
0.01/0.61	c |      9235 |     987     7072    28213 |     2357     2249      8 |  0.000 % |
0.01/0.63	c |      9491 |     987     7072    28213 |     2357     2264      8 |  0.000 % |
0.01/0.64	c |      9593 |     987     7072    28213 |     2357     2366      9 |  0.000 % |
0.01/0.65	c |      9703 |     987     7072    28213 |     2357     2240      8 |  0.000 % |
0.01/0.65	c |      9824 |     987     7072    28213 |     2357     2361      9 |  0.000 % |
0.01/0.66	c |      9959 |     987     7072    28213 |     2357     2260      8 |  0.000 % |
0.01/0.68	c |     10105 |     987     7072    28213 | 2147483647     2406      9 |  0.000 % |
0.01/0.69	c |     10266 |     987     7072    28213 | 2147483647     2567     10 |  0.000 % |
0.01/0.70	c |     10442 |     987     7072    28213 | 2147483647     2743     10 |  0.000 % |
0.01/0.71	c |     10635 |     987     7072    28213 | 2147483647     2936     11 |  0.000 % |
0.01/0.73	c |     10847 |     987     7072    28213 | 2147483647     3148     12 |  0.000 % |
0.01/0.75	c |     11080 |     987     7072    28213 | 2147483647     3381     13 |  0.000 % |
0.01/0.77	c |     11340 |     987     7072    28213 | 2147483647     3641     14 |  0.000 % |
0.01/0.79	c |     11623 |     987     7072    28213 | 2147483647     3924     14 |  0.000 % |
0.01/0.80	c |     11723 |     987     7072    28213 | 2147483647     4024     14 |  0.000 % |
0.01/0.81	c |     11833 |     987     7072    28213 | 2147483647     4134     15 |  0.000 % |
0.01/0.82	c |     11954 |     987     7072    28213 | 2147483647     4255     15 |  0.000 % |
0.01/0.83	c |     12091 |     987     7072    28213 | 2147483647     4392     15 |  0.000 % |
0.01/0.84	c |     12239 |     987     7072    28213 | 2147483647     4540     15 |  0.000 % |
0.01/0.86	c |     12400 |     987     7072    28213 | 2147483647     4701     15 |  0.000 % |
0.01/0.87	c |     12576 |     987     7072    28213 | 2147483647     4877     15 |  0.000 % |
0.01/0.89	c |     12769 |     987     7072    28213 | 2147483647     5070     15 |  0.000 % |
0.01/0.91	c |     12982 |     987     7072    28213 | 2147483647     5283     16 |  0.000 % |
0.01/0.93	c |     13217 |     987     7072    28213 | 2147483647     5518     16 |  0.000 % |
0.01/0.96	c |     13473 |     987     7072    28213 | 2147483647     5774     16 |  0.000 % |
0.01/0.98	c |     13756 |     987     7072    28213 | 2147483647     6057     17 |  0.000 % |
0.97/1.02	c |     14065 |     987     7072    28213 | 2147483647     6366     17 |  0.000 % |
0.97/1.03	c |     14167 |     987     7072    28213 | 2147483647     6468     17 |  0.001 % |
0.97/1.04	c |     14277 |     987     7072    28213 | 2147483647     6578     17 |  0.000 % |
0.97/1.05	c |     14398 |     987     7072    28213 | 2147483647     6699     17 |  0.000 % |
0.97/1.07	c |     14532 |     987     7072    28213 | 2147483647     6833     17 |  0.001 % |
0.97/1.09	c |     14678 |     987     7072    28213 | 2147483647     6979     17 |  0.000 % |
1.07/1.10	c |     14839 |     987     7072    28213 | 2147483647     7140     17 |  0.000 % |
1.07/1.12	c |     15015 |     987     7072    28213 | 2147483647     7316     18 |  0.000 % |
1.07/1.14	c |     15209 |     987     7072    28213 | 2147483647     7510     18 |  0.000 % |
1.07/1.16	c |     15423 |     987     7072    28213 | 2147483647     7724     18 |  0.000 % |
1.07/1.19	c |     15656 |     987     7072    28213 | 2147483647     7957     18 |  0.000 % |
1.16/1.22	c |     15913 |     987     7072    28213 | 2147483647     8214     18 |  0.000 % |
1.16/1.25	c |     16195 |     987     7072    28213 | 2147483647     8496     19 |  0.000 % |
1.16/1.29	c |     16505 |     987     7072    28213 | 2147483647     8806     19 |  0.000 % |
1.26/1.33	c |     16844 |     987     7072    28213 | 2147483647     9145     19 |  0.000 % |
1.26/1.34	c |     16945 |     987     7072    28213 | 2147483647     9246     19 |  0.000 % |
1.26/1.36	c |     17055 |     987     7072    28213 | 2147483647     9356     19 |  0.001 % |
1.26/1.37	c |     17177 |     987     7072    28213 | 2147483647     9478     19 |  0.000 % |
1.26/1.39	c |     17312 |     987     7072    28213 | 2147483647     9613     19 |  0.000 % |
1.36/1.41	c |     17458 |     987     7072    28213 | 2147483647     9759     19 |  0.000 % |
1.36/1.43	c |     17618 |     987     7072    28213 | 2147483647     9919     19 |  0.000 % |
1.36/1.45	c |     17795 |     987     7072    28213 | 2147483647    10096     19 |  0.000 % |
1.36/1.48	c |     17988 |     987     7072    28213 | 2147483647    10289     19 |  0.000 % |
1.46/1.50	c |     18201 |     987     7072    28213 | 2147483647    10502     19 |  0.000 % |
1.46/1.54	c |     18435 |     987     7072    28213 | 2147483647    10736     19 |  0.000 % |
1.46/1.57	c |     18691 |     987     7072    28213 | 2147483647    10992     19 |  0.000 % |
1.56/1.60	c |     18972 |     987     7072    28213 | 2147483647    11273     19 |  0.000 % |
1.56/1.64	c |     19282 |     987     7072    28213 | 2147483647    11583     20 |  0.000 % |
1.56/1.69	c |     19621 |     987     7072    28213 | 2147483647    11922     20 |  0.000 % |
1.66/1.75	c |     19993 |     987     7072    28213 | 2147483647    12294     20 |  0.000 % |
1.66/1.77	c |     20094 |     987     7072    28213 | 2147483647    12395     20 |  0.000 % |
1.66/1.79	c |     20204 |     987     7072    28213 | 2147483647    12505     20 |  0.000 % |
1.76/1.81	c |     20325 |     987     7072    28213 | 2147483647    12626     20 |  0.000 % |
1.76/1.83	c |     20458 |     987     7072    28213 | 2147483647    12759     20 |  0.000 % |
1.76/1.85	c |     20604 |     987     7072    28213 | 2147483647    12905     20 |  0.000 % |
1.76/1.88	c |     20765 |     987     7072    28213 | 2147483647    13066     20 |  0.000 % |
1.86/1.91	c |     20941 |     987     7072    28213 | 2147483647    13242     20 |  0.000 % |
1.86/1.94	c |     21135 |     987     7072    28213 | 2147483647    13436     20 |  0.000 % |
1.86/1.98	c |     21348 |     987     7072    28213 | 2147483647    13649     20 |  0.000 % |
1.96/2.01	c |     21581 |     987     7072    28213 | 2147483647    13882     20 |  0.000 % |
1.96/2.06	c |     21837 |     987     7072    28213 | 2147483647    14138     20 |  0.001 % |
2.07/2.10	c |     22121 |     987     7072    28213 | 2147483647    14422     20 |  0.000 % |
2.07/2.14	c |     22433 |     987     7072    28213 | 2147483647    14734     20 |  0.000 % |
2.07/2.20	c |     22773 |     987     7072    28213 | 2147483647    15074     20 |  0.000 % |
2.17/2.26	c |     23145 |     987     7072    28213 | 2147483647    15446     20 |  0.000 % |
2.26/2.35	c |     23555 |     987     7072    28213 | 2147483647    15856     20 |  0.000 % |
2.26/2.37	c |     23656 |     987     7072    28213 | 2147483647    15957     20 |  0.000 % |
2.36/2.40	c |     23766 |     987     7072    28213 | 2147483647    16067     20 |  0.000 % |
2.36/2.43	c |     23887 |     987     7072    28213 | 2147483647    16188     20 |  0.000 % |
2.36/2.45	c |     24020 |     987     7072    28213 | 2147483647    16321     20 |  0.000 % |
2.36/2.49	c |     24167 |     987     7072    28213 | 2147483647    16468     20 |  0.000 % |
2.46/2.52	c |     24330 |     987     7072    28213 | 2147483647    16631     20 |  0.000 % |
2.46/2.55	c |     24506 |     987     7072    28213 | 2147483647    16807     20 |  0.000 % |
2.46/2.60	c |     24700 |     987     7072    28213 | 2147483647    17001     20 |  0.000 % |
2.56/2.64	c |     24912 |     987     7072    28213 | 2147483647    17213     20 |  0.000 % |
2.66/2.70	c |     25145 |     987     7072    28213 | 2147483647    17446     20 |  0.000 % |
2.66/2.76	c |     25401 |     987     7072    28213 | 2147483647    17702     20 |  0.000 % |
2.76/2.83	c |     25684 |     987     7072    28213 | 2147483647    17985     20 |  0.000 % |
2.86/2.91	c |     25994 |     987     7072    28213 | 2147483647    18295     20 |  0.000 % |
2.86/2.98	c |     26337 |     987     7072    28213 | 2147483647    18638     21 |  0.000 % |
2.96/3.07	c |     26709 |     987     7072    28213 | 2147483647    19010     21 |  0.000 % |
3.06/3.16	c |     27118 |     987     7072    28213 | 2147483647    19419     21 |  0.000 % |
3.17/3.26	c |     27568 |     987     7072    28213 | 2147483647    19869     21 |  0.000 % |
3.17/3.29	c |     27670 |     987     7072    28213 | 2147483647    19971     21 |  0.000 % |
3.27/3.31	c |     27781 |     987     7072    28213 | 2147483647    20082     21 |  0.000 % |
3.27/3.34	c |     27903 |     987     7072    28213 | 2147483647    20204     21 |  0.000 % |
3.27/3.38	c |     28038 |     987     7072    28213 | 2147483647    20339     21 |  0.000 % |
3.36/3.41	c |     28184 |     987     7072    28213 | 2147483647    20485     21 |  0.000 % |
3.36/3.45	c |     28344 |     987     7072    28213 | 2147483647    20645     21 |  0.000 % |
3.46/3.50	c |     28520 |     987     7072    28213 | 2147483647    20821     21 |  0.000 % |
3.46/3.56	c |     28713 |     987     7072    28213 | 2147483647    21014     21 |  0.001 % |
3.56/3.62	c |     28925 |     987     7072    28213 | 2147483647    21226     21 |  0.001 % |
3.56/3.67	c |     29159 |     987     7072    28213 | 2147483647    21460     21 |  0.000 % |
3.66/3.73	c |     29417 |     987     7072    28213 | 2147483647    21718     21 |  0.000 % |
3.76/3.81	c |     29698 |     987     7072    28213 | 2147483647    21999     21 |  0.000 % |
3.86/3.90	c |     30007 |     987     7072    28213 | 2147483647    22308     21 |  0.000 % |
3.96/4.00	c |     30346 |     987     7072    28213 | 2147483647    22647     21 |  0.000 % |
3.96/4.09	c |     30718 |     987     7072    28213 | 2147483647    23019     21 |  0.000 % |
4.16/4.21	c |     31128 |     987     7072    28213 | 2147483647    23429     21 |  0.000 % |
4.26/4.33	c |     31577 |     987     7072    28213 | 2147483647    23878     21 |  0.000 % |
4.36/4.47	c |     32070 |     987     7072    28213 | 2147483647    24371     21 |  0.001 % |
4.46/4.50	c |     32170 |     987     7072    28213 | 2147483647    24471     21 |  0.000 % |
4.46/4.53	c |     32282 |     987     7072    28213 | 2147483647    24583     21 |  0.000 % |
4.46/4.57	c |     32404 |     987     7072    28213 | 2147483647    24705     21 |  0.000 % |
4.56/4.61	c |     32538 |     987     7072    28213 | 2147483647    24839     21 |  0.000 % |
4.56/4.66	c |     32684 |     987     7072    28213 | 2147483647    24985     21 |  0.000 % |
4.66/4.72	c |     32845 |     987     7072    28213 | 2147483647    25146     21 |  0.000 % |
4.66/4.78	c |     33022 |     987     7072    28213 | 2147483647    25323     21 |  0.000 % |
4.76/4.83	c |     33215 |     987     7072    28213 | 2147483647    25516     21 |  0.000 % |
4.76/4.90	c |     33427 |     987     7072    28213 | 2147483647    25728     21 |  0.000 % |
4.86/4.98	c |     33660 |     987     7072    28213 | 2147483647    25961     21 |  0.000 % |
4.96/5.06	c |     33916 |     987     7072    28213 | 2147483647    26217     21 |  0.000 % |
5.06/5.14	c |     34197 |     987     7072    28213 | 2147483647    26498     21 |  0.000 % |
5.16/5.24	c |     34506 |     987     7072    28213 | 2147483647    26807     21 |  0.000 % |
5.26/5.34	c |     34845 |     987     7072    28213 | 2147483647    27146     21 |  0.000 % |
5.36/5.44	c |     35217 |     987     7072    28213 | 2147483647    27518     21 |  0.002 % |
5.56/5.60	c |     35626 |     987     7072    28213 | 2147483647    27927     21 |  0.001 % |
5.66/5.74	c |     36075 |     987     7072    28213 | 2147483647    28376     21 |  0.000 % |
5.86/5.90	c |     36568 |     987     7072    28213 | 2147483647    28869     21 |  0.000 % |
6.06/6.12	c |     37113 |     987     7072    28213 | 2147483647    29414     21 |  0.001 % |
6.06/6.17	c |     37213 |     987     7072    28213 | 2147483647    29514     21 |  0.000 % |
6.16/6.21	c |     37326 |     987     7072    28213 | 2147483647    29627     21 |  0.000 % |
6.16/6.26	c |     37448 |     987     7072    28213 | 2147483647    29749     21 |  0.000 % |
6.26/6.32	c |     37582 |     987     7072    28213 | 2147483647    29883     21 |  0.000 % |
6.26/6.38	c |     37729 |     987     7072    28213 | 2147483647    30030     21 |  0.001 % |
6.36/6.45	c |     37889 |     987     7072    28213 | 2147483647    30190     21 |  0.000 % |
6.46/6.53	c |     38066 |     987     7072    28213 | 2147483647    30367     21 |  0.000 % |
6.56/6.61	c |     38260 |     987     7072    28213 | 2147483647    30561     21 |  0.000 % |
6.56/6.68	c |     38472 |     987     7072    28213 | 2147483647    30773     21 |  0.000 % |
6.66/6.77	c |     38707 |     987     7072    28213 | 2147483647    31008     21 |  0.000 % |
6.76/6.88	c |     38963 |     987     7072    28213 | 2147483647    31264     21 |  0.000 % |
6.96/7.01	c |     39244 |     987     7072    28213 | 2147483647    31545     21 |  0.000 % |
7.06/7.16	c |     39553 |     987     7072    28213 | 2147483647    31854     21 |  0.000 % |
7.26/7.31	c |     39892 |     987     7072    28213 | 2147483647    32193     21 |  0.000 % |
7.36/7.49	c |     40267 |     987     7072    28213 | 2147483647    32568     21 |  0.000 % |
7.56/7.67	c |     40679 |     987     7072    28213 | 2147483647    32980     21 |  0.000 % |
7.76/7.86	c |     41130 |     987     7072    28213 | 2147483647    33431     21 |  0.000 % |
7.96/8.09	c |     41623 |     987     7072    28213 | 2147483647    33924     21 |  0.000 % |
8.26/8.33	c |     42167 |     987     7072    28213 | 2147483647    34468     21 |  0.000 % |
8.46/8.60	c |     42763 |     987     7072    28213 | 2147483647    35064     21 |  0.000 % |
8.56/8.65	c |     42864 |     987     7072    28213 | 2147483647    35165     21 |  0.000 % |
8.66/8.70	c |     42977 |     987     7072    28213 | 2147483647    35278     21 |  0.000 % |
8.66/8.77	c |     43098 |     987     7072    28213 | 2147483647    35399     21 |  0.000 % |
8.76/8.84	c |     43232 |     987     7072    28213 | 2147483647    35533     21 |  0.000 % |
8.86/8.90	c |     43380 |     987     7072    28213 | 2147483647    35681     21 |  0.000 % |
8.86/8.97	c |     43540 |     987     7072    28213 | 2147483647    35841     21 |  0.000 % |
8.96/9.07	c |     43718 |     987     7072    28213 | 2147483647    36019     21 |  0.000 % |
9.06/9.16	c |     43911 |     987     7072    28213 | 2147483647    36212     21 |  0.000 % |
9.16/9.29	c |     44123 |     987     7072    28213 | 2147483647    36424     21 |  0.000 % |
9.26/9.38	c |     44357 |     987     7072    28213 | 2147483647    36658     21 |  0.000 % |
9.46/9.50	c |     44614 |     987     7072    28213 | 2147483647    36915     21 |  0.000 % |
9.56/9.65	c |     44898 |     987     7072    28213 | 2147483647    37199     21 |  0.000 % |
9.76/9.83	c |     45207 |     987     7072    28213 | 2147483647    37508     21 |  0.000 % |
9.86/9.99	c |     45547 |     987     7072    28213 | 2147483647    37848     21 |  0.000 % |
10.06/10.18	c |     45919 |     987     7072    28213 | 2147483647    38220     21 |  0.000 % |
10.36/10.40	c |     46330 |     987     7072    28213 | 2147483647    38631     21 |  0.000 % |
10.56/10.64	c |     46779 |     987     7072    28213 | 2147483647    39080     21 |  0.000 % |
10.86/10.91	c |     47274 |     987     7072    28213 | 2147483647    39575     21 |  0.000 % |
11.06/11.14	c |     47816 |     987     7072    28213 | 2147483647    40117     21 |  0.000 % |
11.36/11.44	c |     48413 |     987     7072    28213 | 2147483647    40714     21 |  0.000 % |
11.76/11.80	c |     49068 |     987     7072    28213 | 2147483647    41369     21 |  0.000 % |
11.76/11.87	c |     49168 |     987     7072    28213 | 2147483647    41469     21 |  0.001 % |
11.86/11.93	c |     49279 |     987     7072    28213 | 2147483647    41580     21 |  0.000 % |
11.96/12.02	c |     49401 |     987     7072    28213 | 2147483647    41702     21 |  0.000 % |
12.06/12.12	c |     49534 |     987     7072    28213 | 2147483647    41835     21 |  0.000 % |
12.16/12.22	c |     49680 |     987     7072    28213 | 2147483647    41981     21 |  0.000 % |
12.26/12.30	c |     49841 |     987     7072    28213 | 2147483647    42142     21 |  0.000 % |
12.36/12.40	c |     50018 |     987     7072    28213 |    42301    42319     21 |  0.001 % |
12.46/12.52	c |     50212 |     987     7072    28213 |    42301    34951     20 |  0.000 % |
12.56/12.61	c |     50424 |     987     7072    28213 |    42301    35163     20 |  0.000 % |
12.66/12.72	c |     50659 |     987     7072    28213 |    42301    35398     20 |  0.000 % |
12.76/12.83	c |     50915 |     987     7072    28213 |    42301    35654     20 |  0.000 % |
12.86/12.99	c |     51196 |     987     7072    28213 |    42301    35935     20 |  0.000 % |
13.06/13.12	c |     51506 |     987     7072    28213 |    42301    36245     20 |  0.000 % |
13.16/13.27	c |     51845 |     987     7072    28213 |    42301    36584     20 |  0.000 % |
13.35/13.45	c |     52218 |     987     7072    28213 |    42301    36957     20 |  0.000 % |
13.55/13.64	c |     52627 |     987     7072    28213 |    42301    37366     21 |  0.000 % |
13.85/13.90	c |     53077 |     987     7072    28213 |    42301    37816     21 |  0.000 % |
14.05/14.13	c |     53570 |     987     7072    28213 |    42301    38309     21 |  0.000 % |
14.26/14.38	c |     54113 |     987     7072    28213 |    42301    38852     21 |  0.000 % |
14.55/14.66	c |     54709 |     987     7072    28213 |    42301    39448     21 |  0.000 % |
14.85/14.98	c |     55364 |     987     7072    28213 |    42301    40103     21 |  0.000 % |
15.26/15.36	c |     56086 |     987     7072    28213 |    42301    40825     21 |  0.000 % |
15.36/15.41	c |     56186 |     987     7072    28213 |    42301    40925     21 |  0.000 % |
15.36/15.47	c |     56296 |     987     7072    28213 |    42301    41035     21 |  0.000 % |
15.45/15.52	c |     56417 |     987     7072    28213 |    42301    41156     21 |  0.000 % |
15.45/15.58	c |     56550 |     987     7072    28213 |    42301    41289     21 |  0.000 % |
15.55/15.67	c |     56698 |     987     7072    28213 |    42301    41437     21 |  0.002 % |
15.65/15.76	c |     56859 |     987     7072    28213 |    42301    41598     21 |  0.000 % |
15.75/15.86	c |     57037 |     987     7072    28213 |    42301    41776     21 |  0.000 % |
15.85/15.95	c |     57231 |     987     7072    28213 |    42301    41970     21 |  0.001 % |
15.95/16.06	c |     57443 |     987     7072    28213 |    42301    42182     21 |  0.001 % |
16.15/16.23	c |     57676 |     987     7072    28213 |    42301    34059     20 |  0.000 % |
16.25/16.32	c |     57933 |     987     7072    28213 |    42301    34316     20 |  0.000 % |
16.36/16.44	c |     58214 |     987     7072    28213 |    42301    34597     20 |  0.000 % |
16.46/16.58	c |     58523 |     987     7072    28213 |    42301    34906     20 |  0.000 % |
16.65/16.73	c |     58863 |     987     7072    28213 |    42301    35246     20 |  0.000 % |
16.75/16.86	c |     59238 |     987     7072    28213 |    42301    35621     20 |  0.000 % |
16.95/17.03	c |     59650 |     987     7072    28213 |    42301    36033     20 |  0.000 % |
17.15/17.23	c |     60101 |     987     7072    28213 |    36386    36484     20 |  0.000 % |
17.35/17.44	c |     60597 |     987     7072    28213 |    36386    29994     19 |  0.000 % |
17.56/17.65	c |     61143 |     987     7072    28213 |    36386    30540     19 |  0.000 % |
17.75/17.86	c |     61739 |     987     7072    28213 |    36386    31136     19 |  0.000 % |
18.05/18.11	c |     62394 |     987     7072    28213 |    36386    31791     19 |  0.000 % |
18.26/18.37	c |     63114 |     987     7072    28213 |    36386    32511     19 |  0.000 % |
18.57/18.66	c |     63907 |     987     7072    28213 |    36386    33304     20 |  0.000 % |
18.57/18.70	c |     64008 |     987     7072    28213 |    36386    33405     20 |  0.000 % |
18.67/18.76	c |     64119 |     987     7072    28213 |    36386    33516     20 |  0.000 % |
18.76/18.81	c |     64241 |     987     7072    28213 |    36386    33638     20 |  0.000 % |
18.76/18.86	c |     64374 |     987     7072    28213 |    36386    33771     20 |  0.000 % |
18.86/18.92	c |     64521 |     987     7072    28213 |    36386    33918     20 |  0.000 % |
18.96/19.01	c |     64682 |     987     7072    28213 |    36386    34079     20 |  0.000 % |
18.96/19.09	c |     64859 |     987     7072    28213 |    36386    34256     20 |  0.000 % |
19.06/19.18	c |     65052 |     987     7072    28213 |    36386    34449     20 |  0.000 % |
19.16/19.27	c |     65265 |     987     7072    28213 |    36386    34662     20 |  0.000 % |
19.26/19.39	c |     65499 |     987     7072    28213 |    36386    34896     20 |  0.000 % |
19.46/19.50	c |     65755 |     987     7072    28213 |    36386    35152     20 |  0.000 % |
19.56/19.61	c |     66036 |     987     7072    28213 |    36386    35433     20 |  0.000 % |
19.67/19.74	c |     66347 |     987     7072    28213 |    36386    35744     20 |  0.000 % |
19.86/19.91	c |     66686 |     987     7072    28213 |    36386    36083     20 |  0.000 % |
20.06/20.14	c |     67058 |     987     7072    28213 |    36386    30360     19 |  0.000 % |
20.16/20.29	c |     67467 |     987     7072    28213 |    36386    30769     19 |  0.000 % |
20.36/20.46	c |     67916 |     987     7072    28213 |    36386    31218     19 |  0.000 % |
20.56/20.67	c |     68410 |     987     7072    28213 |    36386    31712     19 |  0.000 % |
20.76/20.89	c |     68952 |     987     7072    28213 |    36386    32254     20 |  0.000 % |
21.06/21.14	c |     69549 |     987     7072    28213 |    36386    32851     20 |  0.000 % |
21.36/21.45	c |     70205 |     987     7072    28213 |    33302    28019     19 |  0.001 % |
21.66/21.71	c |     70928 |     987     7072    28213 |    33302    28742     19 |  0.000 % |
21.86/21.99	c |     71722 |     987     7072    28213 |    33302    29536     19 |  0.000 % |
22.26/22.30	c |     72593 |     987     7072    28213 |    33302    30407     19 |  0.000 % |
22.26/22.35	c |     72693 |     987     7072    28213 |    33302    30507     19 |  0.000 % |
22.26/22.39	c |     72805 |     987     7072    28213 |    33302    30619     19 |  0.000 % |
22.36/22.45	c |     72926 |     987     7072    28213 |    33302    30740     19 |  0.000 % |
22.46/22.50	c |     73059 |     987     7072    28213 |    33302    30873     19 |  0.000 % |
22.46/22.56	c |     73205 |     987     7072    28213 |    33302    31019     19 |  0.000 % |
22.56/22.64	c |     73367 |     987     7072    28213 |    33302    31181     19 |  0.000 % |
22.66/22.72	c |     73543 |     987     7072    28213 |    33302    31357     20 |  0.000 % |
22.76/22.81	c |     73736 |     987     7072    28213 |    33302    31550     19 |  0.000 % |
22.86/22.90	c |     73949 |     987     7072    28213 |    33302    31763     19 |  0.000 % |
22.96/23.01	c |     74182 |     987     7072    28213 |    33302    31996     20 |  0.000 % |
22.96/23.10	c |     74438 |     987     7072    28213 |    33302    32252     20 |  0.000 % |
23.16/23.21	c |     74719 |     987     7072    28213 |    33302    32533     20 |  0.000 % |
23.26/23.33	c |     75029 |     987     7072    28213 |    33302    32843     20 |  0.000 % |
23.36/23.48	c |     75369 |     987     7072    28213 |    33302    33183     20 |  0.000 % |
23.56/23.67	c |     75742 |     987     7072    28213 |    33302    28705     19 |  0.000 % |
23.76/23.83	c |     76151 |     987     7072    28213 |    33302    29114     19 |  0.000 % |
23.96/24.00	c |     76601 |     987     7072    28213 |    33302    29564     19 |  0.000 % |
24.16/24.21	c |     77096 |     987     7072    28213 |    33302    30059     19 |  0.000 % |
24.36/24.42	c |     77638 |     987     7072    28213 |    33302    30601     19 |  0.000 % |
24.56/24.61	c |     78234 |     987     7072    28213 |    33302    31197     19 |  0.000 % |
24.76/24.87	c |     78890 |     987     7072    28213 |    33302    31853     19 |  0.000 % |
25.16/25.25	c |     79610 |     987     7072    28213 |    33302    32573     19 |  0.000 % |
25.46/25.56	c |     80402 |     987     7072    28213 |    32964    28588     19 |  0.000 % |
25.76/25.89	c |     81273 |     987     7072    28213 |    32964    29459     19 |  0.000 % |
26.16/26.23	c |     82231 |     987     7072    28213 |    32964    30417     19 |  0.000 % |
26.16/26.26	c |     82331 |     987     7072    28213 |    32964    30517     19 |  0.000 % |
26.16/26.29	c |     82441 |     987     7072    28213 |    32964    30627     19 |  0.000 % |
26.26/26.34	c |     82562 |     987     7072    28213 |    32964    30748     19 |  0.000 % |
26.26/26.39	c |     82696 |     987     7072    28213 |    32964    30882     19 |  0.000 % |
26.36/26.45	c |     82843 |     987     7072    28213 |    32964    31029     19 |  0.000 % |
26.46/26.50	c |     83003 |     987     7072    28213 |    32964    31189     19 |  0.000 % |
26.46/26.57	c |     83180 |     987     7072    28213 |    32964    31366     19 |  0.000 % |
26.56/26.65	c |     83373 |     987     7072    28213 |    32964    31559     19 |  0.000 % |
26.66/26.73	c |     83586 |     987     7072    28213 |    32964    31772     19 |  0.000 % |
26.76/26.83	c |     83819 |     987     7072    28213 |    32964    32005     19 |  0.000 % |
26.85/26.95	c |     84076 |     987     7072    28213 |    32964    32262     19 |  0.000 % |
26.95/27.07	c |     84357 |     987     7072    28213 |    32964    32543     19 |  0.000 % |
27.05/27.18	c |     84666 |     987     7072    28213 |    32964    32852     19 |  0.000 % |
27.25/27.33	c |     85005 |     987     7072    28213 |    32964    28846     19 |  0.000 % |
27.36/27.48	c |     85377 |     987     7072    28213 |    32964    29218     19 |  0.000 % |
27.55/27.63	c |     85786 |     987     7072    28213 |    32964    29627     19 |  0.000 % |
27.75/27.83	c |     86236 |     987     7072    28213 |    32964    30077     19 |  0.000 % |
27.95/28.02	c |     86729 |     987     7072    28213 |    32964    30570     19 |  0.000 % |
28.15/28.23	c |     87272 |     987     7072    28213 |    32964    31113     19 |  0.000 % |
28.46/28.52	c |     87868 |     987     7072    28213 |    32964    31709     19 |  0.000 % |
28.75/28.83	c |     88523 |     987     7072    28213 |    32964    32364     19 |  0.000 % |
29.05/29.16	c |     89243 |     987     7072    28213 |    32964    28530     18 |  0.000 % |
29.35/29.43	c |     90035 |     987     7072    28213 |    29287    29322     18 |  0.000 % |
29.66/29.75	c |     90907 |     987     7072    28213 |    29287    26237     18 |  0.000 % |
30.05/30.12	c |     91865 |     987     7072    28213 |    29287    27195     18 |  0.000 % |
30.45/30.53	c |     92919 |     987     7072    28213 |    29287    28249     18 |  0.000 % |
30.45/30.57	c |     93019 |     987     7072    28213 |    29287    28349     18 |  0.000 % |
30.55/30.62	c |     93131 |     987     7072    28213 |    29287    28461     18 |  0.001 % |
30.55/30.68	c |     93252 |     987     7072    28213 |    29287    28582     18 |  0.000 % |
30.66/30.74	c |     93386 |     987     7072    28213 |    29287    28716     18 |  0.000 % |
30.66/30.79	c |     93533 |     987     7072    28213 |    29287    28863     18 |  0.000 % |
30.76/30.87	c |     93693 |     987     7072    28213 |    29287    29023     18 |  0.000 % |
30.85/30.94	c |     93869 |     987     7072    28213 |    29287    29199     18 |  0.000 % |
30.95/31.03	c |     94063 |     987     7072    28213 |    29287    25624     18 |  0.000 % |
31.05/31.10	c |     94277 |     987     7072    28213 |    29287    25838     18 |  0.000 % |
31.05/31.16	c |     94511 |     987     7072    28213 |    29287    26072     18 |  0.000 % |
31.15/31.25	c |     94767 |     987     7072    28213 |    29287    26328     18 |  0.000 % |
31.25/31.37	c |     95049 |     987     7072    28213 |    29287    26610     18 |  0.000 % |
31.45/31.52	c |     95360 |     987     7072    28213 |    29287    26921     18 |  0.000 % |
31.55/31.65	c |     95700 |     987     7072    28213 |    29287    27261     18 |  0.000 % |
31.76/31.80	c |     96073 |     987     7072    28213 |    29287    27634     18 |  0.000 % |
31.86/31.94	c |     96482 |     987     7072    28213 |    29287    28043     18 |  0.000 % |
31.95/32.09	c |     96931 |     987     7072    28213 |    29287    28492     18 |  0.000 % |
32.15/32.28	c |     97425 |     987     7072    28213 |    29287    28986     18 |  0.000 % |
32.35/32.48	c |     97969 |     987     7072    28213 |    29287    25897     17 |  0.000 % |
32.55/32.67	c |     98569 |     987     7072    28213 |    29287    26497     17 |  0.000 % |
32.75/32.89	c |     99225 |     987     7072    28213 |    29287    27153     17 |  0.000 % |
33.05/33.11	c |     99946 |     987     7072    28213 |    29287    27874     18 |  0.001 % |
33.25/33.36	c |    100741 |     987     7072    28213 |    27929    25355     17 |  0.000 % |
33.55/33.63	c |    101612 |     987     7072    28213 |    27929    26226     17 |  0.000 % |
33.85/33.95	c |    102570 |     987     7072    28213 |    27929    27184     18 |  0.000 % |
34.25/34.33	c |    103628 |     987     7072    28213 |    27929    25443     17 |  0.001 % |
34.55/34.69	c |    104787 |     987     7072    28213 |    27929    26602     17 |  0.000 % |
34.65/34.72	c |    104887 |     987     7072    28213 |    27929    26702     17 |  0.000 % |
34.65/34.76	c |    104997 |     987     7072    28213 |    27929    26812     17 |  0.000 % |
34.75/34.82	c |    105118 |     987     7072    28213 |    27929    26933     17 |  0.000 % |
34.75/34.86	c |    105253 |     987     7072    28213 |    27929    27068     17 |  0.000 % |
34.85/34.90	c |    105399 |     987     7072    28213 |    27929    27214     18 |  0.000 % |
34.85/34.96	c |    105559 |     987     7072    28213 |    27929    27374     18 |  0.000 % |
34.95/35.01	c |    105735 |     987     7072    28213 |    27929    27550     18 |  0.000 % |
34.95/35.09	c |    105931 |     987     7072    28213 |    27929    27746     18 |  0.000 % |
35.05/35.16	c |    106145 |     987     7072    28213 |    27929    27960     18 |  0.000 % |
35.15/35.24	c |    106378 |     987     7072    28213 |    27929    25397     17 |  0.000 % |
35.25/35.32	c |    106635 |     987     7072    28213 |    27929    25654     17 |  0.000 % |
35.35/35.40	c |    106916 |     987     7072    28213 |    27929    25935     17 |  0.000 % |
35.45/35.50	c |    107225 |     987     7072    28213 |    27929    26244     17 |  0.000 % |
35.55/35.61	c |    107566 |     987     7072    28213 |    27929    26585     17 |  0.000 % |
35.65/35.72	c |    107938 |     987     7072    28213 |    27929    26957     17 |  0.000 % |
35.75/35.85	c |    108347 |     987     7072    28213 |    27929    27366     17 |  0.000 % |
35.85/35.97	c |    108797 |     987     7072    28213 |    27929    27816     17 |  0.000 % |
36.05/36.13	c |    109291 |     987     7072    28213 |    27929    25509     17 |  0.000 % |
36.15/36.29	c |    109833 |     987     7072    28213 |    27929    26051     17 |  0.000 % |
36.35/36.47	c |    110429 |     987     7072    28213 | 2147483647    26647     17 |  0.000 % |
36.55/36.70	c |    111084 |     987     7072    28213 | 2147483647    27302     17 |  0.000 % |
36.85/36.94	c |    111804 |     987     7072    28213 | 2147483647    28022     17 |  0.000 % |
37.15/37.26	c |    112597 |     987     7072    28213 | 2147483647    28815     17 |  0.000 % |
37.45/37.54	c |    113468 |     987     7072    28213 | 2147483647    29686     17 |  0.000 % |
37.75/37.83	c |    114428 |     987     7072    28213 | 2147483647    30646     18 |  0.000 % |
38.15/38.24	c |    115481 |     987     7072    28213 | 2147483647    31699     18 |  0.000 % |
38.55/38.63	c |    116640 |     987     7072    28213 | 2147483647    32858     18 |  0.000 % |
39.05/39.12	c |    117914 |     987     7072    28213 | 2147483647    34132     18 |  0.000 % |
39.05/39.16	c |    118014 |     987     7072    28213 | 2147483647    34232     18 |  0.000 % |
39.15/39.22	c |    118124 |     987     7072    28213 | 2147483647    34342     18 |  0.000 % |
39.15/39.26	c |    118246 |     987     7072    28213 | 2147483647    34464     18 |  0.000 % |
39.25/39.31	c |    118379 |     987     7072    28213 | 2147483647    34597     18 |  0.000 % |
39.25/39.37	c |    118525 |     987     7072    28213 | 2147483647    34743     18 |  0.000 % |
39.35/39.44	c |    118686 |     987     7072    28213 | 2147483647    34904     18 |  0.000 % |
39.45/39.51	c |    118862 |     987     7072    28213 | 2147483647    35080     18 |  0.000 % |
39.55/39.61	c |    119057 |     987     7072    28213 | 2147483647    35275     18 |  0.000 % |
39.65/39.73	c |    119270 |     987     7072    28213 | 2147483647    35488     18 |  0.000 % |
39.75/39.81	c |    119505 |     987     7072    28213 | 2147483647    35723     18 |  0.000 % |
39.85/39.92	c |    119762 |     987     7072    28213 | 2147483647    35980     18 |  0.000 % |
39.95/40.02	c |    120043 |     987     7072    28213 |    36219    36261     18 |  0.000 % |
40.05/40.19	c |    120352 |     987     7072    28213 |    36219    32304     18 |  0.000 % |
40.25/40.33	c |    120693 |     987     7072    28213 |    36219    32645     18 |  0.000 % |
40.45/40.52	c |    121065 |     987     7072    28213 |    36219    33017     18 |  0.000 % |
40.55/40.68	c |    121474 |     987     7072    28213 |    36219    33426     18 |  0.000 % |
40.75/40.88	c |    121923 |     987     7072    28213 |    36219    33875     18 |  0.000 % |
40.95/41.09	c |    122418 |     987     7072    28213 |    36219    34370     18 |  0.000 % |
41.15/41.29	c |    122960 |     987     7072    28213 |    36219    34912     18 |  0.000 % |
41.45/41.54	c |    123556 |     987     7072    28213 |    36219    35508     18 |  0.000 % |
41.75/41.81	c |    124211 |     987     7072    28213 |    36219    36163     18 |  0.000 % |
41.95/42.09	c |    124932 |     987     7072    28213 |    36219    31861     18 |  0.000 % |
42.35/42.40	c |    125725 |     987     7072    28213 |    36219    32654     18 |  0.000 % |
42.65/42.75	c |    126596 |     987     7072    28213 |    36219    33525     18 |  0.000 % |
43.05/43.11	c |    127554 |     987     7072    28213 |    36219    34483     18 |  0.000 % |
43.45/43.55	c |    128609 |     987     7072    28213 |    36219    35538     18 |  0.001 % |
43.95/44.04	c |    129768 |     987     7072    28213 |    36219    31411     18 |  0.000 % |
44.35/44.49	c |    131041 |     987     7072    28213 |    31643    28095     17 |  0.000 % |
44.95/45.02	c |    132442 |     987     7072    28213 |    31643    29496     18 |  0.000 % |
44.95/45.05	c |    132542 |     987     7072    28213 |    31643    29596     18 |  0.000 % |
44.95/45.09	c |    132652 |     987     7072    28213 |    31643    29706     18 |  0.001 % |
45.05/45.15	c |    132775 |     987     7072    28213 |    31643    29829     18 |  0.000 % |
45.15/45.21	c |    132908 |     987     7072    28213 |    31643    29962     18 |  0.000 % |
45.15/45.28	c |    133056 |     987     7072    28213 |    31643    30110     18 |  0.000 % |
45.25/45.36	c |    133217 |     987     7072    28213 |    31643    30271     18 |  0.000 % |
45.35/45.44	c |    133399 |     987     7072    28213 |    31643    30453     18 |  0.000 % |
45.45/45.53	c |    133592 |     987     7072    28213 |    31643    30646     18 |  0.000 % |
45.55/45.62	c |    133805 |     987     7072    28213 |    31643    30859     18 |  0.000 % |
45.65/45.71	c |    134039 |     987     7072    28213 |    31643    31093     18 |  0.000 % |
45.75/45.80	c |    134296 |     987     7072    28213 |    31643    31350     18 |  0.000 % |
45.75/45.90	c |    134577 |     987     7072    28213 |    31643    31631     18 |  0.000 % |
45.95/46.04	c |    134886 |     987     7072    28213 |    31643    27720     17 |  0.000 % |
46.05/46.16	c |    135227 |     987     7072    28213 |    31643    28061     18 |  0.000 % |
46.15/46.27	c |    135599 |     987     7072    28213 |    31643    28433     18 |  0.000 % |
46.35/46.40	c |    136008 |     987     7072    28213 |    31643    28842     18 |  0.000 % |
46.45/46.55	c |    136458 |     987     7072    28213 |    31643    29292     18 |  0.002 % |
46.65/46.73	c |    136952 |     987     7072    28213 |    31643    29786     18 |  0.001 % |
46.85/46.94	c |    137494 |     987     7072    28213 |    31643    30328     18 |  0.000 % |
47.05/47.13	c |    138091 |     987     7072    28213 |    31643    30925     18 |  0.000 % |
47.25/47.35	c |    138746 |     987     7072    28213 |    31643    31580     18 |  0.001 % |
47.45/47.59	c |    139467 |     987     7072    28213 |    31643    28616     18 |  0.000 % |
47.75/47.83	c |    140259 |     987     7072    28213 |    29149    26182     17 |  0.000 % |
47.95/48.08	c |    141131 |     987     7072    28213 |    29149    27054     17 |  0.000 % |
48.25/48.36	c |    142092 |     987     7072    28213 |    29149    28015     17 |  0.000 % |
48.65/48.73	c |    143146 |     987     7072    28213 |    29149    29069     18 |  0.000 % |
48.95/49.09	c |    144304 |     987     7072    28213 |    29149    27304     17 |  0.000 % |
49.45/49.50	c |    145577 |     987     7072    28213 |    29149    28577     17 |  0.000 % |
49.85/49.92	c |    146977 |     987     7072    28213 |    29149    27044     17 |  0.000 % |
50.25/50.38	c |    148517 |     987     7072    28213 |    29149    28584     17 |  0.000 % |
50.35/50.43	c |    148618 |     987     7072    28213 |    29149    28685     17 |  0.000 % |
50.35/50.47	c |    148728 |     987     7072    28213 |    29149    28795     17 |  0.000 % |
50.45/50.52	c |    148850 |     987     7072    28213 |    29149    28917     17 |  0.000 % |
50.45/50.57	c |    148983 |     987     7072    28213 |    29149    29050     17 |  0.000 % |
50.55/50.65	c |    149129 |     987     7072    28213 |    29149    26277     17 |  0.000 % |
50.65/50.70	c |    149290 |     987     7072    28213 |    29149    26438     17 |  0.000 % |
50.65/50.76	c |    149466 |     987     7072    28213 |    29149    26614     17 |  0.000 % |
50.75/50.82	c |    149659 |     987     7072    28213 |    29149    26807     17 |  0.000 % |
50.75/50.90	c |    149874 |     987     7072    28213 |    29149    27022     17 |  0.000 % |
50.85/50.97	c |    150108 |     987     7072    28213 | 2147483647    27256     17 |  0.000 % |
50.95/51.05	c |    150364 |     987     7072    28213 | 2147483647    27512     17 |  0.000 % |
51.05/51.13	c |    150648 |     987     7072    28213 | 2147483647    27796     17 |  0.000 % |
51.15/51.24	c |    150957 |     987     7072    28213 | 2147483647    28105     17 |  0.000 % |
51.25/51.38	c |    151296 |     987     7072    28213 | 2147483647    28444     17 |  0.000 % |
51.45/51.53	c |    151669 |     987     7072    28213 | 2147483647    28817     17 |  0.000 % |
51.55/51.68	c |    152078 |     987     7072    28213 | 2147483647    29226     17 |  0.000 % |
51.75/51.81	c |    152528 |     987     7072    28213 | 2147483647    29676     17 |  0.000 % |
51.95/52.01	c |    153021 |     987     7072    28213 | 2147483647    30169     17 |  0.000 % |
52.14/52.22	c |    153563 |     987     7072    28213 | 2147483647    30711     17 |  0.000 % |
52.34/52.46	c |    154160 |     987     7072    28213 | 2147483647    31308     17 |  0.000 % |
52.65/52.75	c |    154815 |     987     7072    28213 | 2147483647    31963     18 |  0.000 % |
52.84/52.99	c |    155535 |     987     7072    28213 | 2147483647    32683     18 |  0.000 % |
53.14/53.29	c |    156328 |     987     7072    28213 | 2147483647    33476     18 |  0.001 % |
53.54/53.62	c |    157200 |     987     7072    28213 | 2147483647    34348     18 |  0.000 % |
53.85/53.98	c |    158158 |     987     7072    28213 | 2147483647    35306     18 |  0.000 % |
54.24/54.36	c |    159211 |     987     7072    28213 | 2147483647    36359     18 |  0.000 % |
54.74/54.85	c |    160370 |     987     7072    28213 |    37148    32832     18 |  0.000 % |
55.24/55.38	c |    161644 |     987     7072    28213 |    37148    34106     18 |  0.000 % |
55.74/55.87	c |    163044 |     987     7072    28213 |    37148    35506     18 |  0.000 % |
56.34/56.43	c |    164584 |     987     7072    28213 |    37148    37046     18 |  0.000 % |
56.94/57.05	c |    166278 |     987     7072    28213 |    37148    33870     18 |  0.000 % |
57.05/57.10	c |    166378 |     987     7072    28213 |    37148    33970     18 |  0.000 % |
57.05/57.14	c |    166488 |     987     7072    28213 |    37148    34080     18 |  0.000 % |
57.05/57.19	c |    166611 |     987     7072    28213 |    37148    34203     18 |  0.000 % |
57.15/57.25	c |    166744 |     987     7072    28213 |    37148    34336     18 |  0.000 % |
57.24/57.32	c |    166891 |     987     7072    28213 |    37148    34483     18 |  0.000 % |
57.24/57.38	c |    167051 |     987     7072    28213 |    37148    34643     18 |  0.000 % |
57.34/57.47	c |    167228 |     987     7072    28213 |    37148    34820     18 |  0.000 % |
57.44/57.55	c |    167423 |     987     7072    28213 |    37148    35015     18 |  0.000 % |
57.54/57.63	c |    167635 |     987     7072    28213 |    37148    35227     18 |  0.000 % |
57.64/57.72	c |    167870 |     987     7072    28213 |    37148    35462     18 |  0.000 % |
57.74/57.82	c |    168126 |     987     7072    28213 |    37148    35718     18 |  0.000 % |
57.84/57.93	c |    168408 |     987     7072    28213 |    37148    36000     18 |  0.000 % |
57.94/58.04	c |    168718 |     987     7072    28213 |    37148    36310     18 |  0.000 % |
58.04/58.15	c |    169057 |     987     7072    28213 |    37148    36649     18 |  0.000 % |
58.25/58.32	c |    169430 |     987     7072    28213 |    37148    37022     18 |  0.000 % |
58.44/58.52	c |    169840 |     987     7072    28213 |    37148    32340     18 |  0.000 % |
58.64/58.70	c |    170289 |     987     7072    28213 |    32500    28308     17 |  0.000 % |
58.74/58.86	c |    170782 |     987     7072    28213 |    32500    28801     17 |  0.000 % |
58.94/59.04	c |    171324 |     987     7072    28213 |    32500    29343     17 |  0.000 % |
59.14/59.24	c |    171922 |     987     7072    28213 |    32500    29941     17 |  0.000 % |
59.35/59.48	c |    172577 |     987     7072    28213 |    32500    30596     18 |  0.000 % |
59.64/59.76	c |    173298 |     987     7072    28213 |    32500    31317     18 |  0.000 % |
59.94/60.05	c |    174090 |     987     7072    28213 |    32500    32109     18 |  0.000 % |
60.24/60.36	c |    174961 |     987     7072    28213 |    32500    28876     17 |  0.000 % |
60.64/60.74	c |    175919 |     987     7072    28213 |    32500    29834     17 |  0.000 % |
61.04/61.14	c |    176973 |     987     7072    28213 |    32500    30888     18 |  0.000 % |
61.45/61.54	c |    178135 |     987     7072    28213 |    32500    32050     18 |  0.000 % |
61.84/61.98	c |    179409 |     987     7072    28213 |    32500    29321     17 |  0.000 % |
62.24/62.35	c |    180810 |     987     7072    28213 |    29912    27267     17 |  0.000 % |
62.65/62.78	c |    182350 |     987     7072    28213 |    29912    28807     18 |  0.000 % |
63.24/63.36	c |    184044 |     987     7072    28213 |    29912    27502     18 |  0.000 % |
63.84/63.92	c |    185908 |     987     7072    28213 |    29912    29366     18 |  0.000 % |
63.84/63.95	c |    186008 |     987     7072    28213 |    29912    29466     18 |  0.000 % |
63.94/64.00	c |    186119 |     987     7072    28213 |    29912    29577     18 |  0.000 % |
63.94/64.04	c |    186242 |     987     7072    28213 |    29912    29700     18 |  0.000 % |
63.94/64.09	c |    186376 |     987     7072    28213 |    29912    29834     18 |  0.000 % |
64.04/64.13	c |    186522 |     987     7072    28213 |    29912    29980     18 |  0.001 % |
64.14/64.21	c |    186683 |     987     7072    28213 |    29912    27143     18 |  0.000 % |
64.14/64.28	c |    186859 |     987     7072    28213 |    29912    27319     18 |  0.000 % |
64.24/64.34	c |    187052 |     987     7072    28213 |    29912    27512     18 |  0.000 % |
64.34/64.42	c |    187269 |     987     7072    28213 |    29912    27729     18 |  0.000 % |
64.44/64.51	c |    187505 |     987     7072    28213 |    29912    27965     18 |  0.000 % |
64.54/64.62	c |    187762 |     987     7072    28213 |    29912    28222     18 |  0.000 % |
64.64/64.71	c |    188043 |     987     7072    28213 |    29912    28503     18 |  0.000 % |
64.74/64.82	c |    188354 |     987     7072    28213 |    29912    28814     18 |  0.000 % |
64.84/64.93	c |    188694 |     987     7072    28213 |    29912    29154     18 |  0.000 % |
64.94/65.07	c |    189067 |     987     7072    28213 |    29912    29527     18 |  0.000 % |
65.04/65.20	c |    189482 |     987     7072    28213 |    29912    29942     18 |  0.000 % |
65.24/65.35	c |    189931 |     987     7072    28213 |    29912    27397     18 |  0.000 % |
65.44/65.51	c |    190424 |     987     7072    28213 | 2147483647    27890     18 |  0.000 % |
65.54/65.67	c |    190968 |     987     7072    28213 | 2147483647    28434     18 |  0.000 % |
65.74/65.86	c |    191564 |     987     7072    28213 | 2147483647    29030     18 |  0.000 % |
65.94/66.09	c |    192220 |     987     7072    28213 | 2147483647    29686     18 |  0.000 % |
66.24/66.32	c |    192942 |     987     7072    28213 | 2147483647    30408     18 |  0.000 % |
66.44/66.56	c |    193734 |     987     7072    28213 | 2147483647    31200     18 |  0.000 % |
66.74/66.84	c |    194607 |     987     7072    28213 | 2147483647    32073     18 |  0.000 % |
67.04/67.16	c |    195567 |     987     7072    28213 | 2147483647    33033     18 |  0.001 % |
67.44/67.55	c |    196623 |     987     7072    28213 | 2147483647    34089     18 |  0.000 % |
67.84/67.99	c |    197782 |     987     7072    28213 | 2147483647    35248     18 |  0.000 % |
68.44/68.55	c |    199056 |     987     7072    28213 | 2147483647    36522     18 |  0.000 % |
69.04/69.16	c |    200456 |     987     7072    28213 |    37466    33677     18 |  0.000 % |
69.64/69.78	c |    201997 |     987     7072    28213 |    37466    35218     18 |  0.000 % |
70.34/70.49	c |    203691 |     987     7072    28213 |    37466    36912     19 |  0.000 % |
71.14/71.29	c |    205554 |     987     7072    28213 |    37466    33797     18 |  0.000 % |
72.04/72.16	c |    207604 |     987     7072    28213 |    37466    35847     18 |  0.000 % |
72.14/72.21	c |    207704 |     987     7072    28213 |    37466    35947     18 |  0.000 % |
72.14/72.25	c |    207814 |     987     7072    28213 |    37466    36057     18 |  0.000 % |
72.14/72.30	c |    207935 |     987     7072    28213 |    37466    36178     18 |  0.000 % |
72.24/72.35	c |    208068 |     987     7072    28213 |    37466    36311     18 |  0.000 % |
72.34/72.42	c |    208214 |     987     7072    28213 |    37466    36457     18 |  0.000 % |
72.34/72.49	c |    208374 |     987     7072    28213 |    37466    36617     18 |  0.000 % |
72.44/72.57	c |    208550 |     987     7072    28213 |    37466    36793     18 |  0.000 % |
72.54/72.66	c |    208744 |     987     7072    28213 |    37466    36987     18 |  0.000 % |
72.64/72.75	c |    208956 |     987     7072    28213 |    37466    37199     18 |  0.000 % |
72.74/72.83	c |    209191 |     987     7072    28213 |    37466    37434     19 |  0.000 % |
72.84/72.96	c |    209449 |     987     7072    28213 |    37466    32290     18 |  0.000 % |
72.94/73.05	c |    209730 |     987     7072    28213 |    37466    32571     18 |  0.000 % |
73.04/73.17	c |    210040 |     987     7072    28213 |    32841    32881     18 |  0.000 % |
73.24/73.31	c |    210379 |     987     7072    28213 |    32841    28626     17 |  0.000 % |
73.34/73.42	c |    210752 |     987     7072    28213 |    32841    28999     18 |  0.000 % |
73.44/73.55	c |    211161 |     987     7072    28213 |    32841    29408     18 |  0.000 % |
73.54/73.69	c |    211610 |     987     7072    28213 |    32841    29857     18 |  0.000 % |
73.74/73.86	c |    212103 |     987     7072    28213 |    32841    30350     18 |  0.000 % |
73.94/74.01	c |    212645 |     987     7072    28213 |    32841    30892     18 |  0.000 % |
74.04/74.19	c |    213242 |     987     7072    28213 |    32841    31489     18 |  0.000 % |
74.24/74.37	c |    213898 |     987     7072    28213 |    32841    32145     18 |  0.000 % |
74.54/74.63	c |    214618 |     987     7072    28213 |    32841    32865     18 |  0.000 % |
74.83/74.92	c |    215413 |     987     7072    28213 |    32841    30246     18 |  0.000 % |
75.13/75.23	c |    216284 |     987     7072    28213 |    32841    31117     18 |  0.000 % |
75.43/75.55	c |    217243 |     987     7072    28213 |    32841    32076     18 |  0.000 % |
75.84/75.93	c |    218297 |     987     7072    28213 |    32841    29836     18 |  0.000 % |
76.23/76.30	c |    219457 |     987     7072    28213 |    32841    30996     18 |  0.000 % |
76.64/76.74	c |    220730 |     987     7072    28213 | 2147483647    32269     18 |  0.000 % |
77.14/77.29	c |    222131 |     987     7072    28213 | 2147483647    33670     19 |  0.000 % |
77.73/77.86	c |    223671 |     987     7072    28213 | 2147483647    35210     19 |  0.000 % |
78.43/78.52	c |    225366 |     987     7072    28213 | 2147483647    36905     19 |  0.000 % |
79.23/79.33	c |    227230 |     987     7072    28213 | 2147483647    38769     19 |  0.000 % |
80.14/80.28	c |    229281 |     987     7072    28213 | 2147483647    40820     19 |  0.000 % |
81.13/81.24	c |    231534 |     987     7072    28213 |    41539    36906     19 |  0.000 % |
81.13/81.28	c |    231637 |     987     7072    28213 |    41539    37009     19 |  0.000 % |
81.24/81.33	c |    231751 |     987     7072    28213 |    41539    37123     19 |  0.000 % |
81.24/81.38	c |    231873 |     987     7072    28213 |    41539    37245     19 |  0.000 % |
81.34/81.44	c |    232006 |     987     7072    28213 |    41539    37378     19 |  0.000 % |
81.43/81.51	c |    232152 |     987     7072    28213 |    41539    37524     19 |  0.000 % |
81.43/81.57	c |    232313 |     987     7072    28213 |    41539    37685     19 |  0.000 % |
81.53/81.66	c |    232493 |     987     7072    28213 |    41539    37865     19 |  0.000 % |
81.63/81.75	c |    232687 |     987     7072    28213 |    41539    38059     19 |  0.000 % |
81.73/81.85	c |    232900 |     987     7072    28213 |    41539    38272     19 |  0.000 % |
81.83/81.94	c |    233133 |     987     7072    28213 |    41539    38505     19 |  0.000 % |
81.93/82.08	c |    233389 |     987     7072    28213 |    41539    38761     19 |  0.000 % |
82.13/82.20	c |    233670 |     987     7072    28213 |    41539    39042     19 |  0.000 % |
82.23/82.33	c |    233979 |     987     7072    28213 |    41539    39351     19 |  0.000 % |
82.44/82.52	c |    234318 |     987     7072    28213 |    41539    39690     19 |  0.000 % |
82.63/82.74	c |    234691 |     987     7072    28213 |    41539    40063     19 |  0.000 % |
82.83/82.92	c |    235100 |     987     7072    28213 |    41539    40472     19 |  0.000 % |
83.03/83.17	c |    235551 |     987     7072    28213 |    41539    40923     19 |  0.000 % |
83.23/83.38	c |    236044 |     987     7072    28213 |    41539    41416     19 |  0.001 % |
83.54/83.67	c |    236587 |     987     7072    28213 |    41539    34634     19 |  0.000 % |
83.73/83.89	c |    237183 |     987     7072    28213 |    41539    35230     19 |  0.001 % |
84.03/84.17	c |    237839 |     987     7072    28213 |    41539    35886     19 |  0.000 % |
84.33/84.43	c |    238560 |     987     7072    28213 |    41539    36607     19 |  0.000 % |
84.64/84.77	c |    239353 |     987     7072    28213 |    41539    37400     19 |  0.000 % |
85.03/85.19	c |    240224 |     987     7072    28213 |    38048    31690     18 |  0.000 % |
85.43/85.54	c |    241183 |     987     7072    28213 |    38048    32649     18 |  0.000 % |
85.83/85.94	c |    242236 |     987     7072    28213 |    38048    33702     19 |  0.000 % |
86.23/86.37	c |    243394 |     987     7072    28213 |    38048    34860     19 |  0.000 % |
86.74/86.86	c |    244667 |     987     7072    28213 |    38048    36133     19 |  0.000 % |
87.23/87.39	c |    246067 |     987     7072    28213 |    38048    37533     19 |  0.000 % |
87.94/88.08	c |    247607 |     987     7072    28213 |    38048    33319     19 |  0.000 % |
88.73/88.85	c |    249301 |     987     7072    28213 |    38048    35013     19 |  0.000 % |
89.53/89.62	c |    251164 |     987     7072    28213 |    35714    31195     19 |  0.000 % |
90.33/90.43	c |    253214 |     987     7072    28213 |    35714    33245     19 |  0.000 % |
91.24/91.39	c |    255467 |     987     7072    28213 |    35714    35498     19 |  0.000 % |
92.33/92.41	c |    257945 |     987     7072    28213 |    35714    32507     19 |  0.000 % |
92.33/92.46	c |    258045 |     987     7072    28213 |    35714    32607     19 |  0.000 % |
92.43/92.51	c |    258156 |     987     7072    28213 |    35714    32718     19 |  0.000 % |
92.43/92.56	c |    258277 |     987     7072    28213 |    35714    32839     19 |  0.000 % |
92.53/92.62	c |    258412 |     987     7072    28213 |    35714    32974     19 |  0.000 % |
92.63/92.70	c |    258562 |     987     7072    28213 |    35714    33124     19 |  0.000 % |
92.63/92.77	c |    258722 |     987     7072    28213 |    35714    33284     19 |  0.000 % |
92.73/92.86	c |    258899 |     987     7072    28213 |    35714    33461     19 |  0.000 % |
92.83/92.92	c |    259092 |     987     7072    28213 |    35714    33654     19 |  0.001 % |
92.93/93.02	c |    259305 |     987     7072    28213 |    35714    33867     19 |  0.000 % |
93.03/93.12	c |    259541 |     987     7072    28213 |    35714    34103     19 |  0.000 % |
93.13/93.23	c |    259799 |     987     7072    28213 |    35714    34361     19 |  0.000 % |
93.23/93.37	c |    260080 |     987     7072    28213 |    34563    34642     19 |  0.000 % |
93.43/93.54	c |    260390 |     987     7072    28213 |    34563    29527     18 |  0.000 % |
93.53/93.65	c |    260730 |     987     7072    28213 |    34563    29867     18 |  0.000 % |
93.73/93.83	c |    261104 |     987     7072    28213 |    34563    30241     18 |  0.000 % |
93.83/93.97	c |    261516 |     987     7072    28213 |    34563    30653     18 |  0.000 % |
94.03/94.13	c |    261965 |     987     7072    28213 |    34563    31102     18 |  0.000 % |
94.13/94.27	c |    262458 |     987     7072    28213 |    34563    31595     19 |  0.000 % |
94.33/94.45	c |    263000 |     987     7072    28213 |    34563    32137     19 |  0.000 % |
94.53/94.67	c |    263596 |     987     7072    28213 |    34563    32733     19 |  0.001 % |
94.83/94.94	c |    264251 |     987     7072    28213 |    34563    33388     19 |  0.000 % |
95.13/95.23	c |    264973 |     987     7072    28213 |    34563    34110     19 |  0.000 % |
95.43/95.57	c |    265765 |     987     7072    28213 |    34563    29815     18 |  0.000 % |
95.83/95.91	c |    266636 |     987     7072    28213 |    34563    30686     18 |  0.000 % |
96.13/96.28	c |    267596 |     987     7072    28213 |    34563    31646     18 |  0.000 % |
96.53/96.65	c |    268649 |     987     7072    28213 |    34563    32699     18 |  0.000 % |
96.93/97.03	c |    269807 |     987     7072    28213 |    34563    33857     18 |  0.000 % |
97.43/97.53	c |    271080 |     987     7072    28213 |    34050    30236     17 |  0.000 % |
97.83/97.96	c |    272481 |     987     7072    28213 |    34050    31637     17 |  0.000 % |
98.43/98.54	c |    274021 |     987     7072    28213 |    34050    33177     18 |  0.000 % |
99.03/99.17	c |    275715 |     987     7072    28213 |    34050    30535     17 |  0.000 % |
99.73/99.81	c |    277578 |     987     7072    28213 |    34050    32398     17 |  0.000 % |
100.43/100.54	c |    279628 |     987     7072    28213 |    34050    30294     17 |  0.000 % |
101.23/101.38	c |    281881 |     987     7072    28213 |    30668    28946     17 |  0.000 % |
102.13/102.21	c |    284359 |     987     7072    28213 |    30668    27859     17 |  0.000 % |
102.93/103.08	c |    287086 |     987     7072    28213 |    30668    30586     17 |  0.000 % |
103.03/103.12	c |    287188 |     987     7072    28213 |    30668    30688     17 |  0.000 % |
103.03/103.19	c |    287298 |     987     7072    28213 |    30668    27501     17 |  0.000 % |
103.13/103.24	c |    287419 |     987     7072    28213 |    30668    27622     17 |  0.000 % |
103.13/103.30	c |    287554 |     987     7072    28213 |    30668    27757     17 |  0.000 % |
103.23/103.35	c |    287702 |     987     7072    28213 |    30668    27905     17 |  0.000 % |
103.23/103.40	c |    287863 |     987     7072    28213 |    30668    28066     17 |  0.000 % |
103.33/103.45	c |    288040 |     987     7072    28213 |    30668    28243     17 |  0.000 % |
103.43/103.52	c |    288233 |     987     7072    28213 |    30668    28436     17 |  0.000 % |
103.43/103.57	c |    288445 |     987     7072    28213 |    30668    28648     17 |  0.000 % |
103.53/103.65	c |    288678 |     987     7072    28213 |    30668    28881     17 |  0.000 % |
103.63/103.74	c |    288934 |     987     7072    28213 |    30668    29137     17 |  0.000 % |
103.73/103.81	c |    289216 |     987     7072    28213 |    30668    29419     17 |  0.000 % |
103.83/103.92	c |    289525 |     987     7072    28213 |    30668    29728     17 |  0.000 % |
103.93/104.04	c |    289864 |     987     7072    28213 |    30668    30067     17 |  0.000 % |
104.03/104.18	c |    290240 |     987     7072    28213 |    30203    27221     17 |  0.000 % |
104.13/104.28	c |    290650 |     987     7072    28213 |    30203    27631     17 |  0.000 % |
104.23/104.40	c |    291099 |     987     7072    28213 |    30203    28080     17 |  0.000 % |
104.43/104.57	c |    291593 |     987     7072    28213 |    30203    28574     17 |  0.000 % |
104.64/104.76	c |    292135 |     987     7072    28213 |    30203    29116     17 |  0.000 % |
104.84/104.94	c |    292731 |     987     7072    28213 |    30203    29712     17 |  0.000 % |
105.14/105.21	c |    293387 |     987     7072    28213 |    30203    27341     17 |  0.000 % |
105.33/105.41	c |    294108 |     987     7072    28213 |    30203    28062     17 |  0.000 % |
105.54/105.64	c |    294902 |     987     7072    28213 |    30203    28856     17 |  0.000 % |
105.83/105.90	c |    295773 |     987     7072    28213 |    30203    29727     17 |  0.000 % |
106.03/106.18	c |    296734 |     987     7072    28213 |    30203    27658     17 |  0.000 % |
106.43/106.54	c |    297787 |     987     7072    28213 |    30203    28711     17 |  0.000 % |
106.83/106.95	c |    298945 |     987     7072    28213 |    30203    29869     17 |  0.000 % |
107.23/107.38	c |    300218 |     987     7072    28213 | 2147483647    28112     17 |  0.000 % |
107.74/107.83	c |    301618 |     987     7072    28213 | 2147483647    29512     17 |  0.000 % |
108.33/108.44	c |    303160 |     987     7072    28213 | 2147483647    31054     17 |  0.000 % |
108.93/109.08	c |    304857 |     987     7072    28213 | 2147483647    32751     17 |  0.000 % |
109.63/109.78	c |    306723 |     987     7072    28213 | 2147483647    34617     17 |  0.000 % |
110.43/110.59	c |    308774 |     987     7072    28213 | 2147483647    36668     18 |  0.000 % |
111.53/111.69	c |    311027 |     987     7072    28213 |    37894    33326     17 |  0.000 % |
112.63/112.71	c |    313505 |     987     7072    28213 |    37894    35804     17 |  0.000 % |
113.73/113.83	c |    316230 |     987     7072    28213 |    37894    32432     17 |  0.000 % |
114.73/114.81	c |    319230 |     987     7072    28213 |    37894    35432     17 |  0.000 % |
114.73/114.85	c |    319331 |     987     7072    28213 |    37894    35533     17 |  0.000 % |
114.73/114.89	c |    319443 |     987     7072    28213 |    37894    35645     17 |  0.000 % |
114.83/114.93	c |    319564 |     987     7072    28213 |    37894    35766     17 |  0.000 % |
114.83/114.99	c |    319697 |     987     7072    28213 |    37894    35899     17 |  0.000 % |
114.93/115.05	c |    319843 |     987     7072    28213 |    37894    36045     17 |  0.000 % |
115.03/115.12	c |    320003 |     987     7072    28213 |    36202    36205     17 |  0.000 % |
115.13/115.21	c |    320182 |     987     7072    28213 |    36202    31155     17 |  0.000 % |
115.13/115.28	c |    320375 |     987     7072    28213 |    36202    31348     17 |  0.000 % |
115.23/115.35	c |    320587 |     987     7072    28213 |    36202    31560     17 |  0.000 % |
115.33/115.44	c |    320820 |     987     7072    28213 |    36202    31793     17 |  0.000 % |
115.43/115.55	c |    321076 |     987     7072    28213 |    36202    32049     17 |  0.000 % |
115.53/115.66	c |    321357 |     987     7072    28213 |    36202    32330     17 |  0.000 % |
115.63/115.79	c |    321667 |     987     7072    28213 |    36202    32640     17 |  0.000 % |
115.73/115.89	c |    322007 |     987     7072    28213 |    36202    32980     17 |  0.000 % |
115.93/116.04	c |    322379 |     987     7072    28213 |    36202    33352     17 |  0.000 % |
116.03/116.18	c |    322790 |     987     7072    28213 |    36202    33763     17 |  0.000 % |
116.23/116.33	c |    323239 |     987     7072    28213 |    36202    34212     17 |  0.000 % |
116.43/116.51	c |    323732 |     987     7072    28213 |    36202    34705     17 |  0.000 % |
116.63/116.71	c |    324277 |     987     7072    28213 |    36202    35250     17 |  0.000 % |
116.83/116.91	c |    324873 |     987     7072    28213 |    36202    35846     17 |  0.000 % |
117.03/117.19	c |    325528 |     987     7072    28213 |    36202    31606     17 |  0.000 % |
117.33/117.43	c |    326248 |     987     7072    28213 |    36202    32326     17 |  0.001 % |
117.53/117.69	c |    327040 |     987     7072    28213 |    36202    33118     17 |  0.000 % |
117.83/117.98	c |    327912 |     987     7072    28213 |    36202    33990     17 |  0.000 % |
118.33/118.40	c |    328871 |     987     7072    28213 |    36202    34949     17 |  0.000 % |
118.63/118.79	c |    329925 |     987     7072    28213 |    36202    36003     17 |  0.000 % |
119.02/119.18	c |    331084 |     987     7072    28213 |    36078    32270     17 |  0.000 % |
119.43/119.58	c |    332358 |     987     7072    28213 |    36078    33544     17 |  0.000 % |
119.93/120.01	c |    333758 |     987     7072    28213 |    36078    34944     17 |  0.000 % |
120.52/120.62	c |    335298 |     987     7072    28213 |    36078    31923     17 |  0.000 % |
121.12/121.22	c |    336992 |     987     7072    28213 |    36078    33617     17 |  0.000 % |
121.72/121.84	c |    338856 |     987     7072    28213 |    36078    35481     18 |  0.000 % |
122.42/122.59	c |    340905 |     987     7072    28213 |    31793    28469     17 |  0.000 % |
123.13/123.28	c |    343158 |     987     7072    28213 |    31793    30722     17 |  0.000 % |
123.92/124.07	c |    345637 |     987     7072    28213 |    31793    29919     17 |  0.000 % |
124.82/124.92	c |    348363 |     987     7072    28213 |    31793    29461     17 |  0.000 % |
125.82/126.00	c |    351360 |     987     7072    28213 | 2147483647    32458     18 |  0.001 % |
126.92/127.05	c |    354658 |     987     7072    28213 | 2147483647    35756     18 |  0.000 % |
126.92/127.08	c |    354758 |     987     7072    28213 | 2147483647    35856     18 |  0.000 % |
127.02/127.14	c |    354868 |     987     7072    28213 | 2147483647    35966     18 |  0.000 % |
127.02/127.18	c |    354989 |     987     7072    28213 | 2147483647    36087     18 |  0.000 % |
127.12/127.23	c |    355123 |     987     7072    28213 | 2147483647    36221     18 |  0.000 % |
127.12/127.29	c |    355270 |     987     7072    28213 | 2147483647    36368     18 |  0.000 % |
127.22/127.35	c |    355430 |     987     7072    28213 | 2147483647    36528     18 |  0.000 % |
127.32/127.42	c |    355607 |     987     7072    28213 | 2147483647    36705     18 |  0.000 % |
127.32/127.49	c |    355802 |     987     7072    28213 | 2147483647    36900     18 |  0.000 % |
127.42/127.58	c |    356019 |     987     7072    28213 | 2147483647    37117     18 |  0.000 % |
127.52/127.65	c |    356252 |     987     7072    28213 | 2147483647    37350     18 |  0.000 % |
127.62/127.75	c |    356508 |     987     7072    28213 | 2147483647    37606     18 |  0.000 % |
127.72/127.87	c |    356790 |     987     7072    28213 | 2147483647    37888     18 |  0.000 % |
127.81/127.99	c |    357100 |     987     7072    28213 | 2147483647    38198     18 |  0.000 % |
128.02/128.12	c |    357439 |     987     7072    28213 | 2147483647    38537     18 |  0.000 % |
128.12/128.26	c |    357811 |     987     7072    28213 | 2147483647    38909     18 |  0.000 % |
128.32/128.41	c |    358223 |     987     7072    28213 | 2147483647    39321     18 |  0.000 % |
128.52/128.61	c |    358673 |     987     7072    28213 | 2147483647    39771     18 |  0.000 % |
128.72/128.82	c |    359166 |     987     7072    28213 | 2147483647    40264     18 |  0.000 % |
128.92/129.04	c |    359708 |     987     7072    28213 | 2147483647    40806     19 |  0.000 % |
129.21/129.39	c |    360305 |     987     7072    28213 |    41101    36166     18 |  0.000 % |
129.51/129.69	c |    360962 |     987     7072    28213 |    41101    36823     18 |  0.000 % |
129.91/130.03	c |    361683 |     987     7072    28213 |    41101    37544     18 |  0.000 % |
130.21/130.33	c |    362475 |     987     7072    28213 |    41101    38336     19 |  0.000 % |
130.51/130.69	c |    363346 |     987     7072    28213 |    41101    39207     19 |  0.000 % |
131.01/131.10	c |    364306 |     987     7072    28213 |    41101    40167     19 |  0.000 % |
131.41/131.58	c |    365361 |     987     7072    28213 |    41101    34870     18 |  0.000 % |
131.82/131.96	c |    366519 |     987     7072    28213 |    41101    36028     18 |  0.000 % |
132.31/132.43	c |    367792 |     987     7072    28213 |    41101    37301     18 |  0.000 % |
132.92/133.05	c |    369192 |     987     7072    28213 |    41101    38701     19 |  0.000 % |
133.61/133.78	c |    370733 |     987     7072    28213 |    39511    33956     18 |  0.000 % |
134.31/134.41	c |    372428 |     987     7072    28213 |    39511    35651     18 |  0.000 % |
135.12/135.22	c |    374292 |     987     7072    28213 |    39511    37515     19 |  0.000 % |
136.01/136.12	c |    376341 |     987     7072    28213 |    39511    39564     19 |  0.000 % |
136.91/137.05	c |    378595 |     987     7072    28213 |    39511    34885     18 |  0.000 % |
137.71/137.89	c |    381073 |     987     7072    28213 |    36295    31276     18 |  0.000 % |
138.61/138.79	c |    383799 |     987     7072    28213 |    36295    34002     18 |  0.000 % |
139.91/140.06	c |    386796 |     987     7072    28213 |    36295    31685     17 |  0.000 % |
141.01/141.15	c |    390093 |     987     7072    28213 |    34889    30252     17 |  0.000 % |
142.21/142.37	c |    393719 |     987     7072    28213 |    34889    33878     18 |  0.001 % |
142.31/142.43	c |    393820 |     987     7072    28213 |    34889    33979     18 |  0.000 % |
142.31/142.47	c |    393931 |     987     7072    28213 |    34889    34090     18 |  0.000 % |
142.41/142.53	c |    394052 |     987     7072    28213 |    34889    34211     18 |  0.000 % |
142.41/142.59	c |    394185 |     987     7072    28213 |    34889    34344     18 |  0.000 % |
142.51/142.65	c |    394331 |     987     7072    28213 |    34889    34490     18 |  0.000 % |
142.61/142.73	c |    394491 |     987     7072    28213 |    34889    34650     18 |  0.000 % |
142.71/142.82	c |    394669 |     987     7072    28213 |    34889    34828     18 |  0.000 % |
142.81/142.94	c |    394862 |     987     7072    28213 |    34889    30540     17 |  0.000 % |
142.91/143.02	c |    395076 |     987     7072    28213 |    34889    30754     17 |  0.000 % |
143.01/143.10	c |    395310 |     987     7072    28213 |    34889    30988     17 |  0.000 % |
143.11/143.21	c |    395567 |     987     7072    28213 |    34889    31245     17 |  0.000 % |
143.21/143.34	c |    395848 |     987     7072    28213 |    34889    31526     17 |  0.000 % |
143.31/143.45	c |    396157 |     987     7072    28213 |    34889    31835     17 |  0.000 % |
143.41/143.59	c |    396497 |     987     7072    28213 |    34889    32175     17 |  0.000 % |
143.61/143.72	c |    396869 |     987     7072    28213 |    34889    32547     18 |  0.000 % |
143.71/143.88	c |    397280 |     987     7072    28213 |    34889    32958     18 |  0.000 % |
143.91/144.03	c |    397729 |     987     7072    28213 |    34889    33407     18 |  0.000 % |
144.11/144.24	c |    398224 |     987     7072    28213 |    34889    33902     18 |  0.000 % |
144.31/144.44	c |    398766 |     987     7072    28213 |    34889    34444     18 |  0.000 % |
144.51/144.67	c |    399362 |     987     7072    28213 |    34889    30621     18 |  0.000 % |
144.81/144.92	c |    400017 |     987     7072    28213 |    31259    31276     18 |  0.000 % |
145.01/145.15	c |    400741 |     987     7072    28213 |    31259    28100     17 |  0.000 % |
145.31/145.40	c |    401533 |     987     7072    28213 |    31259    28892     18 |  0.000 % |
145.61/145.71	c |    402404 |     987     7072    28213 |    31259    29763     18 |  0.000 % |
145.91/146.02	c |    403364 |     987     7072    28213 |    31259    30723     18 |  0.000 % |
146.31/146.42	c |    404420 |     987     7072    28213 |    31259    28647     18 |  0.000 % |
146.61/146.77	c |    405578 |     987     7072    28213 |    31259    29805     18 |  0.000 % |
147.01/147.14	c |    406853 |     987     7072    28213 |    31259    31080     18 |  0.000 % |
147.41/147.57	c |    408254 |     987     7072    28213 |    31259    29347     18 |  0.000 % |
147.91/148.09	c |    409796 |     987     7072    28213 |    31259    30889     18 |  0.000 % |
148.51/148.61	c |    411490 |     987     7072    28213 | 2147483647    32583     19 |  0.000 % |
149.11/149.22	c |    413353 |     987     7072    28213 | 2147483647    34446     19 |  0.000 % |
149.81/150.00	c |    415402 |     987     7072    28213 | 2147483647    36495     19 |  0.000 % |
150.91/151.05	c |    417659 |     987     7072    28213 | 2147483647    38752     19 |  0.000 % |
152.10/152.20	c |    420140 |     987     7072    28213 |    41093    35769     19 |  0.000 % |
153.40/153.51	c |    422865 |     987     7072    28213 |    41093    38494     19 |  0.000 % |
154.60/154.75	c |    425862 |     987     7072    28213 |    41093    34261     18 |  0.000 % |
155.80/155.95	c |    429159 |     987     7072    28213 |    41093    37558     19 |  0.000 % |
157.11/157.21	c |    432784 |     987     7072    28213 |    38400    34861     18 |  0.000 % |
158.50/158.63	c |    436773 |     987     7072    28213 |    38400    33794     18 |  0.000 % |
158.50/158.67	c |    436875 |     987     7072    28213 |    38400    33896     18 |  0.000 % |
158.60/158.72	c |    436986 |     987     7072    28213 |    38400    34007     18 |  0.000 % |
158.60/158.78	c |    437108 |     987     7072    28213 |    38400    34129     18 |  0.001 % |
158.70/158.82	c |    437241 |     987     7072    28213 |    38400    34262     18 |  0.000 % |
158.70/158.89	c |    437388 |     987     7072    28213 |    38400    34409     18 |  0.000 % |
158.80/158.96	c |    437548 |     987     7072    28213 |    38400    34569     18 |  0.000 % |
158.90/159.03	c |    437724 |     987     7072    28213 |    38400    34745     18 |  0.000 % |
159.00/159.11	c |    437917 |     987     7072    28213 |    38400    34938     18 |  0.000 % |
159.00/159.19	c |    438129 |     987     7072    28213 |    38400    35150     18 |  0.000 % |
159.10/159.29	c |    438362 |     987     7072    28213 |    38400    35383     18 |  0.000 % |
159.20/159.39	c |    438618 |     987     7072    28213 |    38400    35639     18 |  0.000 % |
159.40/159.52	c |    438899 |     987     7072    28213 |    38400    35920     18 |  0.000 % |
159.50/159.68	c |    439209 |     987     7072    28213 |    38400    36230     18 |  0.000 % |
159.70/159.82	c |    439548 |     987     7072    28213 |    38400    36569     18 |  0.000 % |
159.80/159.97	c |    439920 |     987     7072    28213 |    38400    36941     19 |  0.000 % |
160.00/160.14	c |    440330 |     987     7072    28213 |    37021    32165     18 |  0.000 % |
160.10/160.28	c |    440780 |     987     7072    28213 |    37021    32615     18 |  0.000 % |
160.30/160.43	c |    441274 |     987     7072    28213 |    37021    33109     18 |  0.000 % |
160.50/160.64	c |    441819 |     987     7072    28213 |    37021    33654     18 |  0.000 % |
160.70/160.85	c |    442416 |     987     7072    28213 |    37021    34251     18 |  0.000 % |
160.90/161.05	c |    443071 |     987     7072    28213 |    37021    34906     18 |  0.000 % |
161.20/161.32	c |    443792 |     987     7072    28213 |    37021    35627     18 |  0.000 % |
161.50/161.61	c |    444584 |     987     7072    28213 |    37021    36419     18 |  0.000 % |
161.80/161.97	c |    445455 |     987     7072    28213 |    37021    32675     18 |  0.000 % |
162.10/162.27	c |    446415 |     987     7072    28213 |    37021    33635     18 |  0.000 % |
162.50/162.61	c |    447470 |     987     7072    28213 |    37021    34690     18 |  0.000 % |
162.80/162.99	c |    448628 |     987     7072    28213 |    37021    35848     18 |  0.000 % |
163.40/163.52	c |    449902 |     987     7072    28213 |    37021    32558     18 |  0.000 % |
163.80/163.98	c |    451303 |     987     7072    28213 |    32657    29946     17 |  0.000 % |
164.30/164.49	c |    452844 |     987     7072    28213 |    32657    31487     18 |  0.000 % |
165.00/165.13	c |    454539 |     987     7072    28213 |    32657    29909     17 |  0.000 % |
165.60/165.74	c |    456402 |     987     7072    28213 |    32657    31772     17 |  0.000 % |
166.20/166.36	c |    458451 |     987     7072    28213 |    32657    30542     17 |  0.000 % |
166.90/167.09	c |    460704 |     987     7072    28213 | 2147483647    32795     17 |  0.000 % |
167.80/167.97	c |    463182 |     987     7072    28213 | 2147483647    35273     18 |  0.000 % |
168.89/169.02	c |    465910 |     987     7072    28213 | 2147483647    38001     18 |  0.000 % |
170.19/170.35	c |    468907 |     987     7072    28213 | 2147483647    40998     18 |  0.000 % |
171.50/171.65	c |    472207 |     987     7072    28213 |    42091    37987     18 |  0.000 % |
173.09/173.25	c |    475832 |     987     7072    28213 |    42091    41612     18 |  0.000 % |
174.59/174.75	c |    479820 |     987     7072    28213 |    42091    39102     18 |  0.000 % |
176.29/176.41	c |    484206 |     987     7072    28213 |    39282    37550     19 |  0.000 % |
176.29/176.44	c |    484306 |     987     7072    28213 |    39282    37650     19 |  0.000 % |
176.29/176.49	c |    484416 |     987     7072    28213 |    39282    37760     19 |  0.000 % |
176.39/176.54	c |    484538 |     987     7072    28213 |    39282    37882     19 |  0.000 % |
176.49/176.62	c |    484671 |     987     7072    28213 |    39282    38015     19 |  0.000 % |
176.49/176.69	c |    484817 |     987     7072    28213 |    39282    38161     19 |  0.000 % |
176.59/176.78	c |    484978 |     987     7072    28213 |    39282    38322     19 |  0.000 % |
176.69/176.88	c |    485156 |     987     7072    28213 |    39282    38500     19 |  0.000 % |
176.79/176.97	c |    485349 |     987     7072    28213 |    39282    38693     19 |  0.000 % |
176.90/177.08	c |    485562 |     987     7072    28213 |    39282    38906     19 |  0.000 % |
177.00/177.19	c |    485798 |     987     7072    28213 |    39282    39142     19 |  0.000 % |
177.19/177.34	c |    486054 |     987     7072    28213 |    39282    33429     18 |  0.000 % |
177.29/177.45	c |    486335 |     987     7072    28213 |    39282    33710     18 |  0.000 % |
177.39/177.56	c |    486646 |     987     7072    28213 |    39282    34021     18 |  0.000 % |
177.59/177.70	c |    486985 |     987     7072    28213 |    39282    34360     18 |  0.000 % |
177.69/177.86	c |    487357 |     987     7072    28213 |    39282    34732     18 |  0.000 % |
177.89/178.04	c |    487766 |     987     7072    28213 |    39282    35141     18 |  0.000 % |
178.09/178.23	c |    488215 |     987     7072    28213 |    39282    35590     18 |  0.000 % |
178.29/178.45	c |    488708 |     987     7072    28213 |    39282    36083     18 |  0.000 % |
178.49/178.67	c |    489250 |     987     7072    28213 |    39282    36625     18 |  0.000 % |
178.79/178.90	c |    489846 |     987     7072    28213 |    39282    37221     19 |  0.000 % |
178.99/179.19	c |    490504 |     987     7072    28213 |    37375    32175     18 |  0.000 % |
179.29/179.47	c |    491224 |     987     7072    28213 |    37375    32895     18 |  0.000 % |
179.59/179.78	c |    492016 |     987     7072    28213 |    37375    33687     18 |  0.000 % |
179.89/180.10	c |    492887 |     987     7072    28213 |    37375    34558     18 |  0.000 % |
180.29/180.50	c |    493846 |     987     7072    28213 |    37375    35517     18 |  0.000 % |
180.79/180.91	c |    494900 |     987     7072    28213 |    37375    36571     19 |  0.000 % |
181.19/181.35	c |    496058 |     987     7072    28213 |    37375    32475     18 |  0.000 % |
181.69/181.81	c |    497332 |     987     7072    28213 |    37375    33749     18 |  0.000 % |
182.19/182.32	c |    498732 |     987     7072    28213 |    37375    35149     18 |  0.000 % |
182.79/182.95	c |    500274 |     987     7072    28213 |    36419    31733     18 |  0.000 % |
183.39/183.55	c |    501968 |     987     7072    28213 |    36419    33427     18 |  0.000 % |
184.09/184.21	c |    503832 |     987     7072    28213 |    36419    35291     19 |  0.000 % |
184.89/185.08	c |    505883 |     987     7072    28213 |    36419    32635     18 |  0.000 % |
185.79/185.98	c |    508137 |     987     7072    28213 |    36419    34889     18 |  0.000 % |
186.89/187.04	c |    510615 |     987     7072    28213 |    31704    27906     17 |  0.000 % |
187.89/188.05	c |    513342 |     987     7072    28213 |    31704    30633     18 |  0.000 % |
188.88/189.08	c |    516339 |     987     7072    28213 |    31704    29580     18 |  0.000 % |
189.98/190.20	c |    519636 |     987     7072    28213 |    31704    29217     18 |  0.000 % |
191.19/191.32	c |    523262 |     987     7072    28213 |    29581    26689     18 |  0.000 % |
192.48/192.63	c |    527250 |     987     7072    28213 |    29581    27713     18 |  0.000 % |
193.88/194.06	c |    531636 |     987     7072    28213 | 2147483647    29134     19 |  0.000 % |
195.69/195.87	c |    536460 |     987     7072    28213 | 2147483647    33958     19 |  0.000 % |
195.78/195.90	c |    536560 |     987     7072    28213 | 2147483647    34058     19 |  0.000 % |
195.78/195.95	c |    536671 |     987     7072    28213 | 2147483647    34169     19 |  0.000 % |
195.88/196.00	c |    536792 |     987     7072    28213 | 2147483647    34290     19 |  0.000 % |
195.88/196.07	c |    536926 |     987     7072    28213 | 2147483647    34424     19 |  0.000 % |
195.98/196.14	c |    537072 |     987     7072    28213 | 2147483647    34570     19 |  0.000 % |
196.08/196.21	c |    537233 |     987     7072    28213 | 2147483647    34731     19 |  0.000 % |
196.08/196.27	c |    537409 |     987     7072    28213 | 2147483647    34907     19 |  0.000 % |
196.18/196.35	c |    537602 |     987     7072    28213 | 2147483647    35100     19 |  0.000 % |
196.28/196.45	c |    537816 |     987     7072    28213 | 2147483647    35314     19 |  0.000 % |
196.38/196.57	c |    538049 |     987     7072    28213 | 2147483647    35547     19 |  0.000 % |
196.48/196.69	c |    538307 |     987     7072    28213 | 2147483647    35805     19 |  0.001 % |
196.69/196.80	c |    538588 |     987     7072    28213 | 2147483647    36086     20 |  0.000 % |
196.79/196.94	c |    538900 |     987     7072    28213 | 2147483647    36398     20 |  0.000 % |
196.88/197.07	c |    539240 |     987     7072    28213 | 2147483647    36738     20 |  0.000 % |
197.08/197.22	c |    539612 |     987     7072    28213 | 2147483647    37110     20 |  0.000 % |
197.18/197.39	c |    540022 |     987     7072    28213 |    37499    37520     20 |  0.000 % |
197.48/197.63	c |    540471 |     987     7072    28213 |    37499    33542     19 |  0.000 % |
197.68/197.86	c |    540966 |     987     7072    28213 |    37499    34037     19 |  0.000 % |
197.88/198.05	c |    541510 |     987     7072    28213 |    37499    34581     19 |  0.000 % |
198.18/198.30	c |    542108 |     987     7072    28213 |    37499    35179     20 |  0.000 % |
198.38/198.58	c |    542763 |     987     7072    28213 |    37499    35834     20 |  0.000 % |
198.78/198.91	c |    543484 |     987     7072    28213 |    37499    36555     20 |  0.000 % |
199.08/199.23	c |    544278 |     987     7072    28213 |    37499    37349     20 |  0.000 % |
199.48/199.62	c |    545149 |     987     7072    28213 |    37499    32812     19 |  0.000 % |
199.78/199.97	c |    546108 |     987     7072    28213 |    37499    33771     19 |  0.000 % |
200.18/200.37	c |    547163 |     987     7072    28213 |    37499    34826     19 |  0.000 % |
200.68/200.87	c |    548321 |     987     7072    28213 |    37499    35984     19 |  0.000 % |
201.28/201.46	c |    549594 |     987     7072    28213 |    37499    37257     19 |  0.000 % |
201.88/202.00	c |    550995 |     987     7072    28213 |    31960    28139     18 |  0.000 % |
202.38/202.58	c |    552535 |     987     7072    28213 |    31960    29679     18 |  0.000 % |
202.98/203.20	c |    554231 |     987     7072    28213 |    31960    31375     18 |  0.000 % |
203.68/203.80	c |    556094 |     987     7072    28213 |    31960    28952     17 |  0.000 % |
204.27/204.43	c |    558143 |     987     7072    28213 |    31960    31001     18 |  0.000 % |
205.17/205.30	c |    560397 |     987     7072    28213 |    29073    26069     17 |  0.000 % |
205.87/206.01	c |    562875 |     987     7072    28213 |    29073    28547     18 |  0.000 % |
206.77/206.91	c |    565600 |     987     7072    28213 |    29073    28357     18 |  0.000 % |
207.68/207.81	c |    568598 |     987     7072    28213 |    29073    28439     18 |  0.000 % |
208.57/208.74	c |    571895 |     987     7072    28213 | 2147483647    28821     18 |  0.000 % |
209.57/209.79	c |    575522 |     987     7072    28213 | 2147483647    32448     18 |  0.000 % |
211.08/211.24	c |    579509 |     987     7072    28213 | 2147483647    36435     19 |  0.000 % |
212.87/213.04	c |    583894 |     987     7072    28213 | 2147483647    40820     19 |  0.000 % |
214.97/215.15	c |    588717 |     987     7072    28213 | 2147483647    45643     19 |  0.000 % |
217.57/217.79	c |    594022 |     987     7072    28213 |    46927    42726     19 |  0.000 % |
217.67/217.85	c |    594123 |     987     7072    28213 |    46927    42827     19 |  0.000 % |
217.77/217.91	c |    594233 |     987     7072    28213 |    46927    42937     19 |  0.000 % |
217.77/217.97	c |    594354 |     987     7072    28213 |    46927    43058     19 |  0.000 % |
217.87/218.03	c |    594488 |     987     7072    28213 |    46927    43192     19 |  0.000 % |
217.97/218.11	c |    594635 |     987     7072    28213 |    46927    43339     19 |  0.000 % |
217.97/218.19	c |    594798 |     987     7072    28213 |    46927    43502     19 |  0.000 % |
218.07/218.29	c |    594975 |     987     7072    28213 |    46927    43679     19 |  0.000 % |
218.27/218.40	c |    595168 |     987     7072    28213 |    46927    43872     19 |  0.000 % |
218.37/218.53	c |    595383 |     987     7072    28213 |    46927    44087     19 |  0.000 % |
218.47/218.68	c |    595618 |     987     7072    28213 |    46927    44322     19 |  0.000 % |
218.67/218.83	c |    595877 |     987     7072    28213 |    46927    44581     19 |  0.000 % |
218.86/219.00	c |    596158 |     987     7072    28213 |    46927    44862     19 |  0.000 % |
218.96/219.16	c |    596468 |     987     7072    28213 |    46927    45172     19 |  0.000 % |
219.16/219.35	c |    596808 |     987     7072    28213 |    46927    45512     19 |  0.000 % |
219.36/219.55	c |    597180 |     987     7072    28213 |    46927    45884     19 |  0.000 % |
219.56/219.79	c |    597589 |     987     7072    28213 |    46927    46293     19 |  0.000 % |
219.87/220.05	c |    598038 |     987     7072    28213 |    46927    46742     19 |  0.000 % |
220.26/220.41	c |    598531 |     987     7072    28213 |    46927    36862     18 |  0.000 % |
220.46/220.65	c |    599075 |     987     7072    28213 |    46927    37406     18 |  0.000 % |
220.76/220.95	c |    599671 |     987     7072    28213 |    46927    38002     18 |  0.000 % |
221.06/221.22	c |    600327 |     987     7072    28213 |    38332    30361     18 |  0.000 % |
221.26/221.46	c |    601047 |     987     7072    28213 |    38332    31081     18 |  0.000 % |
221.56/221.77	c |    601842 |     987     7072    28213 |    38332    31876     18 |  0.000 % |
221.86/222.09	c |    602714 |     987     7072    28213 |    38332    32748     18 |  0.000 % |
222.26/222.41	c |    603672 |     987     7072    28213 |    38332    33706     18 |  0.000 % |
222.56/222.77	c |    604725 |     987     7072    28213 |    38332    34759     18 |  0.000 % |
222.96/223.14	c |    605884 |     987     7072    28213 |    38332    35918     18 |  0.000 % |
223.46/223.63	c |    607158 |     987     7072    28213 |    38332    37192     18 |  0.000 % |
224.06/224.21	c |    608558 |     987     7072    28213 |    38332    32737     18 |  0.000 % |
224.56/224.78	c |    610099 |     987     7072    28213 |    34182    34278     18 |  0.000 % |
225.16/225.40	c |    611795 |     987     7072    28213 |    34182    30857     18 |  0.000 % |
225.86/226.09	c |    613659 |     987     7072    28213 |    34182    32721     18 |  0.000 % |
226.76/226.90	c |    615709 |     987     7072    28213 |    34182    29870     18 |  0.000 % |
227.57/227.71	c |    617963 |     987     7072    28213 |    34182    32124     18 |  0.000 % |
228.56/228.74	c |    620441 |     987     7072    28213 |    34161    29730     18 |  0.000 % |
229.56/229.75	c |    623167 |     987     7072    28213 |    34161    32456     18 |  0.000 % |
230.76/230.97	c |    626166 |     987     7072    28213 |    34161    30668     18 |  0.000 % |
232.26/232.41	c |    629463 |     987     7072    28213 |    34161    33965     18 |  0.000 % |
233.56/233.71	c |    633090 |     987     7072    28213 |    29440    28156     17 |  0.000 % |
234.66/234.80	c |    637079 |     987     7072    28213 |    29440    28765     17 |  0.000 % |
235.96/236.11	c |    641464 |     987     7072    28213 | 2147483647    30202     17 |  0.000 % |
237.36/237.60	c |    646290 |     987     7072    28213 | 2147483647    35028     18 |  0.000 % |
239.36/239.53	c |    651595 |     987     7072    28213 | 2147483647    40333     19 |  0.000 % |
241.76/241.96	c |    657431 |     987     7072    28213 | 2147483647    46169     20 |  0.000 % |
241.86/242.03	c |    657533 |     987     7072    28213 | 2147483647    46271     20 |  0.000 % |
241.95/242.11	c |    657643 |     987     7072    28213 | 2147483647    46381     20 |  0.000 % |
241.95/242.18	c |    657767 |     987     7072    28213 | 2147483647    46505     20 |  0.000 % |
242.05/242.26	c |    657900 |     987     7072    28213 | 2147483647    46638     20 |  0.000 % |
242.15/242.36	c |    658046 |     987     7072    28213 | 2147483647    46784     20 |  0.001 % |
242.25/242.47	c |    658207 |     987     7072    28213 | 2147483647    46945     20 |  0.001 % |
242.35/242.56	c |    658383 |     987     7072    28213 | 2147483647    47121     20 |  0.000 % |
242.55/242.70	c |    658576 |     987     7072    28213 | 2147483647    47314     20 |  0.000 % |
242.65/242.83	c |    658790 |     987     7072    28213 | 2147483647    47528     20 |  0.000 % |
242.75/242.96	c |    659023 |     987     7072    28213 | 2147483647    47761     20 |  0.000 % |
242.96/243.14	c |    659281 |     987     7072    28213 | 2147483647    48019     20 |  0.000 % |
243.15/243.33	c |    659563 |     987     7072    28213 | 2147483647    48301     20 |  0.000 % |
243.35/243.52	c |    659874 |     987     7072    28213 | 2147483647    48612     20 |  0.000 % |
243.65/243.82	c |    660215 |     987     7072    28213 |    48740    39783     19 |  0.000 % |
243.85/244.01	c |    660587 |     987     7072    28213 |    48740    40155     19 |  0.000 % |
244.05/244.22	c |    660998 |     987     7072    28213 |    48740    40566     19 |  0.001 % |
244.25/244.44	c |    661447 |     987     7072    28213 |    48740    41015     19 |  0.000 % |
244.45/244.64	c |    661940 |     987     7072    28213 |    48740    41508     19 |  0.000 % |
244.65/244.87	c |    662484 |     987     7072    28213 |    48740    42052     19 |  0.000 % |
244.95/245.17	c |    663080 |     987     7072    28213 |    48740    42648     19 |  0.000 % |
245.35/245.51	c |    663735 |     987     7072    28213 |    48740    43303     19 |  0.000 % |
245.65/245.89	c |    664455 |     987     7072    28213 |    48740    44023     20 |  0.000 % |
246.15/246.31	c |    665250 |     987     7072    28213 |    48740    44818     20 |  0.000 % |
246.55/246.78	c |    666124 |     987     7072    28213 |    48740    45692     19 |  0.000 % |
247.05/247.27	c |    667083 |     987     7072    28213 |    48740    46651     19 |  0.000 % |
247.65/247.86	c |    668137 |     987     7072    28213 |    48740    47705     19 |  0.000 % |
248.35/248.54	c |    669296 |     987     7072    28213 |    48740    38284     19 |  0.000 % |
248.95/249.12	c |    670569 |     987     7072    28213 |    38988    31234     18 |  0.000 % |
249.45/249.63	c |    671971 |     987     7072    28213 |    38988    32636     18 |  0.000 % |
250.05/250.22	c |    673511 |     987     7072    28213 |    38988    34176     18 |  0.000 % |
250.75/250.90	c |    675207 |     987     7072    28213 |    38988    35872     18 |  0.000 % |
251.45/251.61	c |    677070 |     987     7072    28213 |    38988    37735     18 |  0.000 % |
252.25/252.41	c |    679119 |     987     7072    28213 |    38988    33417     17 |  0.000 % |
252.95/253.17	c |    681374 |     987     7072    28213 |    34298    30330     17 |  0.000 % |
253.85/254.07	c |    683853 |     987     7072    28213 |    34298    32809     17 |  0.000 % |
254.85/255.08	c |    686579 |     987     7072    28213 |    34298    31043     17 |  0.000 % |
255.85/256.06	c |    689577 |     987     7072    28213 |    34298    34041     17 |  0.000 % |
256.94/257.14	c |    692875 |     987     7072    28213 |    30115    29196     17 |  0.001 % |
258.04/258.21	c |    696500 |     987     7072    28213 |    30115    29804     17 |  0.000 % |
259.24/259.48	c |    700487 |     987     7072    28213 | 2147483647    27746     17 |  0.000 % |
260.55/260.79	c |    704872 |     987     7072    28213 | 2147483647    32131     17 |  0.000 % |
262.44/262.63	c |    709699 |     987     7072    28213 | 2147483647    36958     18 |  0.000 % |
264.44/264.64	c |    715004 |     987     7072    28213 |    37260    37290     18 |  0.000 % |
266.54/266.71	c |    720839 |     987     7072    28213 |    36833    32781     17 |  0.000 % |
268.84/269.04	c |    727257 |     987     7072    28213 |    36833    34252     18 |  0.000 % |
268.84/269.07	c |    727360 |     987     7072    28213 |    36833    34355     18 |  0.000 % |
268.94/269.11	c |    727472 |     987     7072    28213 |    36833    34467     18 |  0.000 % |
268.94/269.16	c |    727596 |     987     7072    28213 |    36833    34591     18 |  0.000 % |
269.04/269.21	c |    727731 |     987     7072    28213 |    36833    34726     18 |  0.000 % |
269.04/269.26	c |    727877 |     987     7072    28213 |    36833    34872     18 |  0.000 % |
269.14/269.34	c |    728038 |     987     7072    28213 |    36833    35033     18 |  0.000 % |
269.24/269.41	c |    728215 |     987     7072    28213 |    36833    35210     18 |  0.000 % |
269.24/269.48	c |    728410 |     987     7072    28213 |    36833    35405     18 |  0.000 % |
269.35/269.57	c |    728622 |     987     7072    28213 |    36833    35617     18 |  0.000 % |
269.45/269.67	c |    728857 |     987     7072    28213 |    36833    35852     18 |  0.000 % |
269.55/269.78	c |    729114 |     987     7072    28213 |    36833    36109     18 |  0.000 % |
269.75/269.92	c |    729395 |     987     7072    28213 |    36833    36390     18 |  0.000 % |
269.85/270.09	c |    729707 |     987     7072    28213 |    36833    36702     18 |  0.000 % |
270.15/270.30	c |    730048 |     987     7072    28213 |    31972    32017     18 |  0.000 % |
270.25/270.46	c |    730421 |     987     7072    28213 |    31972    28038     17 |  0.000 % |
270.35/270.58	c |    730830 |     987     7072    28213 |    31972    28447     17 |  0.000 % |
270.55/270.73	c |    731279 |     987     7072    28213 |    31972    28896     17 |  0.000 % |
270.65/270.89	c |    731774 |     987     7072    28213 |    31972    29391     17 |  0.000 % |
270.85/271.09	c |    732318 |     987     7072    28213 |    31972    29935     18 |  0.000 % |
271.15/271.31	c |    732914 |     987     7072    28213 |    31972    30531     18 |  0.000 % |
271.35/271.59	c |    733569 |     987     7072    28213 |    31972    31186     18 |  0.000 % |
271.65/271.85	c |    734289 |     987     7072    28213 |    31972    31906     18 |  0.000 % |
271.95/272.14	c |    735082 |     987     7072    28213 |    31972    28718     17 |  0.000 % |
272.25/272.41	c |    735954 |     987     7072    28213 |    31972    29590     18 |  0.000 % |
272.55/272.79	c |    736912 |     987     7072    28213 |    31972    30548     18 |  0.000 % |
273.05/273.20	c |    737965 |     987     7072    28213 |    31972    31601     18 |  0.000 % |
273.45/273.66	c |    739123 |     987     7072    28213 |    31972    28740     18 |  0.000 % |
273.95/274.12	c |    740396 |     987     7072    28213 |    29617    26493     17 |  0.000 % |
274.35/274.52	c |    741801 |     987     7072    28213 |    29617    27898     18 |  0.000 % |
274.94/275.11	c |    743341 |     987     7072    28213 |    29617    29438     18 |  0.000 % |
275.54/275.78	c |    745035 |     987     7072    28213 |    29617    28161     18 |  0.000 % |
276.14/276.34	c |    746900 |     987     7072    28213 |    29617    27053     18 |  0.000 % |
276.74/276.91	c |    748950 |     987     7072    28213 |    29617    29103     18 |  0.000 % |
277.54/277.71	c |    751203 |     987     7072    28213 | 2147483647    28388     18 |  0.000 % |
278.54/278.72	c |    753681 |     987     7072    28213 | 2147483647    30866     19 |  0.000 % |
279.54/279.79	c |    756408 |     987     7072    28213 | 2147483647    33593     19 |  0.000 % |
280.84/281.04	c |    759406 |     987     7072    28213 | 2147483647    36591     19 |  0.000 % |
282.04/282.27	c |    762702 |     987     7072    28213 |    37185    35011     19 |  0.000 % |
283.44/283.69	c |    766329 |     987     7072    28213 |    37185    34065     19 |  0.000 % |
284.84/285.06	c |    770317 |     987     7072    28213 |    33420    29938     19 |  0.000 % |
286.34/286.54	c |    774703 |     987     7072    28213 |    33420    30977     19 |  0.000 % |
288.04/288.24	c |    779528 |     987     7072    28213 |    33420    32452     20 |  0.000 % |
289.94/290.12	c |    784833 |     987     7072    28213 | 2147483647    37757     20 |  0.000 % |
292.24/292.48	c |    790668 |     987     7072    28213 |    42926    37952     20 |  0.000 % |
295.04/295.26	c |    797087 |     987     7072    28213 |    42926    37433     19 |  0.000 % |
297.63/297.88	c |    804148 |     987     7072    28213 |    40346    37846     19 |  0.000 % |
297.73/297.93	c |    804249 |     987     7072    28213 |    40346    37947     19 |  0.000 % |
297.73/297.98	c |    804359 |     987     7072    28213 |    40346    38057     19 |  0.000 % |
297.84/298.03	c |    804481 |     987     7072    28213 |    40346    38179     19 |  0.000 % |
297.84/298.09	c |    804614 |     987     7072    28213 |    40346    38312     19 |  0.000 % |
297.94/298.15	c |    804762 |     987     7072    28213 |    40346    38460     19 |  0.000 % |
298.03/298.21	c |    804924 |     987     7072    28213 |    40346    38622     19 |  0.000 % |
298.03/298.29	c |    805101 |     987     7072    28213 |    40346    38799     19 |  0.000 % |
298.13/298.38	c |    805294 |     987     7072    28213 |    40346    38992     19 |  0.000 % |
298.23/298.48	c |    805507 |     987     7072    28213 |    40346    39205     19 |  0.000 % |
298.43/298.61	c |    805740 |     987     7072    28213 |    40346    39438     19 |  0.000 % |
298.53/298.73	c |    805999 |     987     7072    28213 |    40346    39697     19 |  0.000 % |
298.63/298.87	c |    806280 |     987     7072    28213 |    40346    39978     19 |  0.000 % |
298.83/299.01	c |    806592 |     987     7072    28213 |    40346    40290     19 |  0.000 % |
298.94/299.19	c |    806935 |     987     7072    28213 |    40346    34254     18 |  0.000 % |
299.13/299.31	c |    807307 |     987     7072    28213 |    40346    34626     18 |  0.000 % |
299.23/299.45	c |    807716 |     987     7072    28213 |    40346    35035     18 |  0.000 % |
299.43/299.63	c |    808165 |     987     7072    28213 |    40346    35484     19 |  0.000 % |
299.63/299.85	c |    808658 |     987     7072    28213 |    40346    35977     19 |  0.000 % |
299.83/300.06	c |    809200 |     987     7072    28213 |    40346    36519     19 |  0.000 % |
300.14/300.31	c |    809797 |     987     7072    28213 |    40346    37116     19 |  0.000 % |
300.43/300.60	c |    810453 |     987     7072    28213 |    37321    32052     18 |  0.000 % |
300.63/300.81	c |    811174 |     987     7072    28213 |    37321    32773     18 |  0.000 % |
300.83/301.06	c |    811967 |     987     7072    28213 |    37321    33566     18 |  0.000 % |
301.14/301.35	c |    812844 |     987     7072    28213 |    37321    34443     18 |  0.000 % |
301.53/301.75	c |    813802 |     987     7072    28213 |    37321    35401     18 |  0.000 % |
301.93/302.14	c |    814855 |     987     7072    28213 |    37321    36454     18 |  0.000 % |
302.43/302.61	c |    816013 |     987     7072    28213 |    37321    32909     18 |  0.000 % |
302.83/303.02	c |    817287 |     987     7072    28213 |    37321    34183     18 |  0.000 % |
303.33/303.51	c |    818689 |     987     7072    28213 |    37321    35585     18 |  0.000 % |
303.83/304.09	c |    820231 |     987     7072    28213 |    36896    32819     19 |  0.000 % |
304.43/304.69	c |    821927 |     987     7072    28213 |    36896    34515     19 |  0.000 % |
305.13/305.31	c |    823794 |     987     7072    28213 |    36896    36382     19 |  0.000 % |
305.83/306.07	c |    825843 |     987     7072    28213 |    36896    34736     20 |  0.000 % |
306.73/306.96	c |    828096 |     987     7072    28213 |    36896    36989     20 |  0.000 % |
307.73/307.92	c |    830575 |     987     7072    28213 |    35196    32045     20 |  0.000 % |
308.83/309.01	c |    833300 |     987     7072    28213 |    35196    34770     20 |  0.001 % |
310.03/310.25	c |    836298 |     987     7072    28213 |    35196    33272     20 |  0.000 % |
311.32/311.53	c |    839595 |     987     7072    28213 |    35196    32042     20 |  0.000 % |
312.52/312.77	c |    843222 |     987     7072    28213 |    32447    31571     19 |  0.000 % |
314.02/314.28	c |    847210 |     987     7072    28213 |    32447    31933     19 |  0.000 % |
315.82/316.04	c |    851595 |     987     7072    28213 |    30976    29038     18 |  0.000 % |
317.52/317.70	c |    856418 |     987     7072    28213 |    30976    30573     17 |  0.000 % |
319.12/319.36	c |    861724 |     987     7072    28213 | 2147483647    32773     18 |  0.000 % |
321.22/321.48	c |    867560 |     987     7072    28213 | 2147483647    38609     18 |  0.000 % |
323.62/323.89	c |    873980 |     987     7072    28213 |    41049    40654     18 |  0.000 % |
326.62/326.85	c |    881039 |     987     7072    28213 |    40858    35778     18 |  0.000 % |
329.82/330.04	c |    888807 |     987     7072    28213 |    40858    36613     18 |  0.002 % |
329.92/330.10	c |    888908 |     987     7072    28213 |    40858    36714     18 |  0.000 % |
329.92/330.16	c |    889018 |     987     7072    28213 |    40858    36824     18 |  0.000 % |
330.02/330.22	c |    889139 |     987     7072    28213 |    40858    36945     18 |  0.000 % |
330.02/330.27	c |    889272 |     987     7072    28213 |    40858    37078     18 |  0.000 % |
330.12/330.31	c |    889419 |     987     7072    28213 |    40858    37225     18 |  0.000 % |
330.22/330.41	c |    889579 |     987     7072    28213 |    40858    37385     18 |  0.000 % |
330.22/330.50	c |    889755 |     987     7072    28213 |    40858    37561     18 |  0.000 % |
330.32/330.58	c |    889950 |     987     7072    28213 |    40858    37756     18 |  0.000 % |
330.52/330.71	c |    890162 |     987     7072    28213 |    37806    31742     18 |  0.000 % |
330.52/330.78	c |    890396 |     987     7072    28213 |    37806    31976     18 |  0.000 % |
330.62/330.86	c |    890653 |     987     7072    28213 |    37806    32233     18 |  0.000 % |
330.72/330.97	c |    890938 |     987     7072    28213 |    37806    32518     18 |  0.000 % |
330.92/331.11	c |    891247 |     987     7072    28213 |    37806    32827     18 |  0.000 % |
331.02/331.23	c |    891588 |     987     7072    28213 |    37806    33168     18 |  0.000 % |
331.12/331.35	c |    891962 |     987     7072    28213 |    37806    33542     18 |  0.000 % |
331.32/331.51	c |    892372 |     987     7072    28213 |    37806    33952     18 |  0.000 % |
331.52/331.70	c |    892821 |     987     7072    28213 |    37806    34401     18 |  0.000 % |
331.62/331.89	c |    893314 |     987     7072    28213 |    37806    34894     18 |  0.000 % |
331.82/332.07	c |    893859 |     987     7072    28213 |    37806    35439     18 |  0.000 % |
332.12/332.33	c |    894456 |     987     7072    28213 |    37806    36036     18 |  0.000 % |
332.42/332.62	c |    895111 |     987     7072    28213 |    37806    36691     18 |  0.000 % |
332.72/332.94	c |    895831 |     987     7072    28213 |    37806    37411     18 |  0.000 % |
333.02/333.28	c |    896628 |     987     7072    28213 |    37806    32817     18 |  0.000 % |
333.42/333.60	c |    897499 |     987     7072    28213 |    37806    33688     18 |  0.000 % |
333.72/333.97	c |    898457 |     987     7072    28213 |    37806    34646     18 |  0.000 % |
334.22/334.41	c |    899510 |     987     7072    28213 |    37806    35699     19 |  0.000 % |
334.61/334.85	c |    900669 |     987     7072    28213 |    36191    31809     18 |  0.000 % |
335.01/335.28	c |    901942 |     987     7072    28213 |    36191    33082     18 |  0.000 % |
335.61/335.82	c |    903342 |     987     7072    28213 |    36191    34482     18 |  0.000 % |
336.21/336.49	c |    904882 |     987     7072    28213 |    36191    36022     19 |  0.000 % |
336.91/337.17	c |    906578 |     987     7072    28213 |    36191    33091     19 |  0.000 % |
337.71/337.92	c |    908443 |     987     7072    28213 |    36191    34956     19 |  0.000 % |
338.52/338.79	c |    910492 |     987     7072    28213 |    31636    27854     18 |  0.000 % |
339.21/339.47	c |    912746 |     987     7072    28213 |    31636    30108     18 |  0.000 % |
340.11/340.33	c |    915229 |     987     7072    28213 |    31636    29098     18 |  0.000 % |
341.11/341.30	c |    917955 |     987     7072    28213 |    31636    28505     17 |  0.000 % |
342.21/342.46	c |    920952 |     987     7072    28213 |    30551    28038     17 |  0.000 % |
343.21/343.47	c |    924248 |     987     7072    28213 |    30551    28269     17 |  0.000 % |
344.41/344.60	c |    927875 |     987     7072    28213 |    30551    28838     17 |  0.000 % |
345.71/345.90	c |    931862 |     987     7072    28213 | 2147483647    29765     18 |  0.000 % |
347.21/347.46	c |    936247 |     987     7072    28213 | 2147483647    34150     18 |  0.000 % |
349.01/349.27	c |    941072 |     987     7072    28213 | 2147483647    38975     19 |  0.000 % |
351.51/351.73	c |    946378 |     987     7072    28213 | 2147483647    44281     19 |  0.000 % |
354.41/354.67	c |    952213 |     987     7072    28213 |    47903    40800     19 |  0.000 % |
357.11/357.40	c |    958631 |     987     7072    28213 |    47903    47218     20 |  0.000 % |
360.21/360.44	c |    965690 |     987     7072    28213 |    39405    37561     20 |  0.000 % |
363.40/363.66	c |    973455 |     987     7072    28213 |    35129    32740     21 |  0.000 % |
367.50/367.72	c |    981995 |     987     7072    28213 |    33597    30223     20 |  0.000 % |
367.50/367.76	c |    982098 |     987     7072    28213 |    33597    30326     20 |  0.000 % |
367.60/367.80	c |    982208 |     987     7072    28213 |    33597    30436     20 |  0.001 % |
367.60/367.85	c |    982330 |     987     7072    28213 |    33597    30558     20 |  0.000 % |
367.70/367.92	c |    982463 |     987     7072    28213 |    33597    30691     20 |  0.000 % |
367.80/368.02	c |    982609 |     987     7072    28213 |    33597    30837     20 |  0.000 % |
367.90/368.10	c |    982770 |     987     7072    28213 |    33597    30998     20 |  0.000 % |
367.90/368.19	c |    982947 |     987     7072    28213 |    33597    31175     20 |  0.000 % |
368.00/368.30	c |    983140 |     987     7072    28213 |    33597    31368     20 |  0.000 % |
368.10/368.39	c |    983352 |     987     7072    28213 |    33597    31580     20 |  0.000 % |
368.21/368.48	c |    983585 |     987     7072    28213 |    33597    31813     20 |  0.000 % |
368.31/368.58	c |    983842 |     987     7072    28213 |    33597    32070     20 |  0.000 % |
368.50/368.72	c |    984123 |     987     7072    28213 |    33597    32351     20 |  0.000 % |
368.60/368.86	c |    984434 |     987     7072    28213 |    33597    32662     20 |  0.000 % |
368.70/368.99	c |    984775 |     987     7072    28213 |    33597    33003     20 |  0.000 % |
368.90/369.12	c |    985151 |     987     7072    28213 |    33597    33379     20 |  0.000 % |
369.10/369.31	c |    985561 |     987     7072    28213 |    33597    28900     19 |  0.000 % |
369.20/369.46	c |    986010 |     987     7072    28213 |    33597    29349     19 |  0.000 % |
369.40/369.60	c |    986503 |     987     7072    28213 |    33597    29842     19 |  0.000 % |
369.50/369.76	c |    987046 |     987     7072    28213 |    33597    30385     19 |  0.000 % |
369.70/369.95	c |    987642 |     987     7072    28213 |    33597    30981     19 |  0.000 % |
369.90/370.18	c |    988297 |     987     7072    28213 |    33597    31636     19 |  0.000 % |
370.20/370.45	c |    989017 |     987     7072    28213 |    33597    32356     19 |  0.000 % |
370.50/370.72	c |    989809 |     987     7072    28213 |    33597    33148     19 |  0.000 % |
370.80/371.08	c |    990681 |     987     7072    28213 |    33339    29721     18 |  0.000 % |
371.20/371.43	c |    991640 |     987     7072    28213 |    33339    30680     18 |  0.000 % |
371.70/371.91	c |    992693 |     987     7072    28213 |    33339    31733     18 |  0.000 % |
372.10/372.31	c |    993851 |     987     7072    28213 |    33339    32891     18 |  0.000 % |
372.60/372.83	c |    995124 |     987     7072    28213 |    33339    30145     17 |  0.000 % |
373.10/373.37	c |    996524 |     987     7072    28213 |    33339    31545     17 |  0.000 % |
373.60/373.88	c |    998065 |     987     7072    28213 |    33339    33086     17 |  0.000 % |
374.20/374.47	c |    999760 |     987     7072    28213 |    33339    30810     17 |  0.000 % |
374.90/375.19	c |   1001623 |     987     7072    28213 |    31050    29086     17 |  0.000 % |
375.70/375.90	c |   1003673 |     987     7072    28213 |    31050    31136     18 |  0.000 % |
376.40/376.67	c |   1005926 |     987     7072    28213 |    31050    29978     18 |  0.000 % |
377.40/377.63	c |   1008404 |     987     7072    28213 |    31050    29239     18 |  0.000 % |
378.40/378.63	c |   1011129 |     987     7072    28213 | 2147483647    31964     18 |  0.000 % |
379.40/379.66	c |   1014126 |     987     7072    28213 | 2147483647    34961     19 |  0.000 % |
380.70/380.95	c |   1017423 |     987     7072    28213 | 2147483647    38258     19 |  0.000 % |
382.30/382.59	c |   1021050 |     987     7072    28213 |    40835    36754     19 |  0.000 % |
383.89/384.10	c |   1025038 |     987     7072    28213 |    40835    40742     19 |  0.000 % |
385.90/386.18	c |   1029425 |     987     7072    28213 |    40835    38904     19 |  0.000 % |
388.00/388.27	c |   1034249 |     987     7072    28213 |    39480    37396     19 |  0.000 % |
390.39/390.60	c |   1039555 |     987     7072    28213 |    39480    36186     18 |  0.000 % |
392.40/392.65	c |   1045391 |     987     7072    28213 |    36632    35900     18 |  0.000 % |
394.89/395.12	c |   1051810 |     987     7072    28213 |    36044    33460     18 |  0.000 % |
397.79/398.04	c |   1058871 |     987     7072    28213 |    36044    35273     18 |  0.000 % |
400.39/400.60	c |   1066636 |     987     7072    28213 |    30848    29543     17 |  0.000 % |
403.49/403.75	c |   1075177 |     987     7072    28213 |    29506    28305     18 |  0.000 % |
406.49/406.72	c |   1084571 |     987     7072    28213 | 2147483647    31660     19 |  0.000 % |
406.49/406.76	c |   1084672 |     987     7072    28213 | 2147483647    31761     19 |  0.000 % |
406.59/406.83	c |   1084782 |     987     7072    28213 | 2147483647    31871     19 |  0.000 % |
406.59/406.88	c |   1084904 |     987     7072    28213 | 2147483647    31993     19 |  0.000 % |
406.69/406.93	c |   1085037 |     987     7072    28213 | 2147483647    32126     19 |  0.000 % |
406.69/406.98	c |   1085185 |     987     7072    28213 | 2147483647    32274     19 |  0.000 % |
406.79/407.06	c |   1085345 |     987     7072    28213 | 2147483647    32434     19 |  0.000 % |
406.89/407.13	c |   1085521 |     987     7072    28213 | 2147483647    32610     19 |  0.000 % |
406.99/407.24	c |   1085716 |     987     7072    28213 | 2147483647    32805     19 |  0.000 % |
407.09/407.32	c |   1085928 |     987     7072    28213 | 2147483647    33017     19 |  0.000 % |
407.19/407.43	c |   1086162 |     987     7072    28213 | 2147483647    33251     19 |  0.000 % |
407.29/407.56	c |   1086418 |     987     7072    28213 | 2147483647    33507     19 |  0.000 % |
407.39/407.69	c |   1086699 |     987     7072    28213 | 2147483647    33788     19 |  0.000 % |
407.59/407.85	c |   1087008 |     987     7072    28213 | 2147483647    34097     19 |  0.000 % |
407.79/408.01	c |   1087347 |     987     7072    28213 | 2147483647    34436     19 |  0.000 % |
407.89/408.17	c |   1087719 |     987     7072    28213 | 2147483647    34808     19 |  0.000 % |
408.08/408.32	c |   1088131 |     987     7072    28213 | 2147483647    35220     19 |  0.000 % |
408.28/408.53	c |   1088581 |     987     7072    28213 | 2147483647    35670     19 |  0.000 % |
408.48/408.72	c |   1089074 |     987     7072    28213 | 2147483647    36163     19 |  0.000 % |
408.68/408.94	c |   1089616 |     987     7072    28213 | 2147483647    36705     19 |  0.000 % |
408.99/409.25	c |   1090214 |     987     7072    28213 |    37089    32821     19 |  0.000 % |
409.28/409.50	c |   1090869 |     987     7072    28213 |    37089    33476     19 |  0.000 % |
409.48/409.78	c |   1091589 |     987     7072    28213 |    37089    34196     19 |  0.000 % |
409.88/410.14	c |   1092381 |     987     7072    28213 |    37089    34988     19 |  0.000 % |
410.28/410.50	c |   1093253 |     987     7072    28213 |    37089    35860     19 |  0.000 % |
410.58/410.84	c |   1094211 |     987     7072    28213 |    37089    36818     19 |  0.000 % |
411.09/411.33	c |   1095264 |     987     7072    28213 |    37089    32968     18 |  0.000 % |
411.48/411.71	c |   1096426 |     987     7072    28213 |    37089    34130     19 |  0.000 % |
411.98/412.21	c |   1097699 |     987     7072    28213 |    37089    35403     19 |  0.000 % |
412.48/412.75	c |   1099099 |     987     7072    28213 |    37089    36803     19 |  0.000 % |
413.08/413.34	c |   1100640 |     987     7072    28213 |    32860    29178     18 |  0.000 % |
413.68/413.98	c |   1102334 |     987     7072    28213 |    32860    30872     18 |  0.000 % |
414.28/414.58	c |   1104198 |     987     7072    28213 |    32860    32736     18 |  0.000 % |
415.08/415.35	c |   1106249 |     987     7072    28213 |    32860    31079     18 |  0.000 % |
415.98/416.20	c |   1108503 |     987     7072    28213 |    32860    29715     18 |  0.000 % |
416.78/417.00	c |   1110982 |     987     7072    28213 |    31213    28953     18 |  0.000 % |
417.58/417.88	c |   1113708 |     987     7072    28213 |    31213    28553     18 |  0.000 % |
418.58/418.87	c |   1116705 |     987     7072    28213 |    31213    28421     18 |  0.000 % |
419.68/419.92	c |   1120001 |     987     7072    28213 | 2147483647    28590     18 |  0.000 % |
420.68/420.99	c |   1123626 |     987     7072    28213 | 2147483647    32215     18 |  0.000 % |
422.18/422.40	c |   1127614 |     987     7072    28213 | 2147483647    36203     18 |  0.000 % |
423.88/424.15	c |   1131999 |     987     7072    28213 |    38590    36355     19 |  0.000 % |
425.78/426.08	c |   1136822 |     987     7072    28213 |    38590    36057     18 |  0.000 % |
427.87/428.16	c |   1142128 |     987     7072    28213 |    33768    31156     18 |  0.000 % |
429.97/430.25	c |   1147967 |     987     7072    28213 |    33768    32589     18 |  0.000 % |
432.17/432.44	c |   1154386 |     987     7072    28213 |    30342    27687     17 |  0.000 % |
434.37/434.67	c |   1161447 |     987     7072    28213 |    30210    28515     17 |  0.000 % |
436.77/437.03	c |   1169211 |     987     7072    28213 |    30210    29978     18 |  0.000 % |
439.67/440.00	c |   1177751 |     987     7072    28213 | 2147483647    35485     19 |  0.000 % |
443.57/443.87	c |   1187145 |     987     7072    28213 |    37735    34504     19 |  0.000 % |
447.57/447.83	c |   1197479 |     987     7072    28213 |    37360    34363     20 |  0.000 % |
447.57/447.87	c |   1197579 |     987     7072    28213 |    37360    34463     20 |  0.000 % |
447.67/447.93	c |   1197690 |     987     7072    28213 |    37360    34574     20 |  0.000 % |
447.67/447.99	c |   1197811 |     987     7072    28213 |    37360    34695     20 |  0.000 % |
447.77/448.06	c |   1197944 |     987     7072    28213 |    37360    34828     20 |  0.000 % |
447.87/448.14	c |   1198090 |     987     7072    28213 |    37360    34974     20 |  0.000 % |
447.97/448.21	c |   1198250 |     987     7072    28213 |    37360    35134     20 |  0.000 % |
447.97/448.28	c |   1198427 |     987     7072    28213 |    37360    35311     20 |  0.000 % |
448.07/448.35	c |   1198621 |     987     7072    28213 |    37360    35505     20 |  0.000 % |
448.17/448.42	c |   1198834 |     987     7072    28213 |    37360    35718     20 |  0.000 % |
448.17/448.49	c |   1199068 |     987     7072    28213 |    37360    35952     20 |  0.000 % |
448.37/448.63	c |   1199324 |     987     7072    28213 |    37360    36208     20 |  0.000 % |
448.47/448.79	c |   1199606 |     987     7072    28213 |    37360    36490     20 |  0.000 % |
448.67/448.91	c |   1199915 |     987     7072    28213 |    37360    36799     20 |  0.000 % |
448.77/449.09	c |   1200255 |     987     7072    28213 |    36885    31982     19 |  0.000 % |
448.97/449.24	c |   1200630 |     987     7072    28213 |    36885    32357     19 |  0.000 % |
449.07/449.37	c |   1201039 |     987     7072    28213 |    36885    32766     19 |  0.000 % |
449.27/449.56	c |   1201491 |     987     7072    28213 |    36885    33218     19 |  0.000 % |
449.47/449.73	c |   1201986 |     987     7072    28213 |    36885    33713     19 |  0.001 % |
449.67/449.92	c |   1202528 |     987     7072    28213 |    36885    34255     19 |  0.000 % |
449.87/450.12	c |   1203124 |     987     7072    28213 |    36885    34851     19 |  0.000 % |
450.07/450.39	c |   1203781 |     987     7072    28213 |    36885    35508     20 |  0.000 % |
450.37/450.69	c |   1204501 |     987     7072    28213 |    36885    36228     20 |  0.000 % |
450.77/451.06	c |   1205295 |     987     7072    28213 |    36885    31928     19 |  0.000 % |
451.07/451.38	c |   1206167 |     987     7072    28213 |    36885    32800     19 |  0.000 % |
451.47/451.73	c |   1207125 |     987     7072    28213 |    36885    33758     19 |  0.000 % |
451.87/452.13	c |   1208178 |     987     7072    28213 |    36885    34811     19 |  0.000 % |
452.27/452.57	c |   1209336 |     987     7072    28213 |    36885    35969     20 |  0.000 % |
452.87/453.12	c |   1210610 |     987     7072    28213 |    36633    32293     19 |  0.000 % |
453.37/453.69	c |   1212011 |     987     7072    28213 |    36633    33694     20 |  0.000 % |
454.07/454.35	c |   1213553 |     987     7072    28213 |    36633    35236     20 |  0.000 % |
454.86/455.12	c |   1215250 |     987     7072    28213 |    36633    31589     19 |  0.000 % |
455.76/456.02	c |   1217116 |     987     7072    28213 |    36633    33455     19 |  0.000 % |
456.66/456.92	c |   1219165 |     987     7072    28213 |    36633    35504     19 |  0.000 % |
457.46/457.71	c |   1221418 |     987     7072    28213 |    36339    32342     18 |  0.000 % |
458.37/458.63	c |   1223898 |     987     7072    28213 |    36339    34822     19 |  0.000 % |
459.57/459.84	c |   1226623 |     987     7072    28213 |    36339    32829     18 |  0.000 % |
460.96/461.25	c |   1229620 |     987     7072    28213 |    36339    35826     19 |  0.000 % |
462.16/462.41	c |   1232916 |     987     7072    28213 |    36206    33942     19 |  0.000 % |
463.67/463.92	c |   1236541 |     987     7072    28213 |    36206    32806     18 |  0.000 % |
464.98/465.24	c |   1240528 |     987     7072    28213 |    36269    32541     18 |  0.000 % |
466.37/466.69	c |   1244915 |     987     7072    28213 |    36269    33293     18 |  0.000 % |
468.37/468.61	c |   1249738 |     987     7072    28213 |    36269    34228     19 |  0.000 % |
470.27/470.52	c |   1255043 |     987     7072    28213 |    34490    31678     19 |  0.000 % |
472.37/472.67	c |   1260879 |     987     7072    28213 |    32498    29549     18 |  0.000 % |
474.57/474.85	c |   1267300 |     987     7072    28213 |    32498    32249     18 |  0.000 % |
476.87/477.11	c |   1274360 |     987     7072    28213 |    31325    29371     18 |  0.000 % |
479.57/479.84	c |   1282125 |     987     7072    28213 |    28673    27924     18 |  0.000 % |
482.17/482.43	c |   1290665 |     987     7072    28213 | 2147483647    27840     19 |  0.000 % |
485.07/485.36	c |   1300061 |     987     7072    28213 | 2147483647    37236     20 |  0.000 % |
490.27/490.60	c |   1310394 |     987     7072    28213 |    47175    38573     21 |  0.000 % |
495.96/496.23	c |   1321761 |     987     7072    28213 |    38380    32164     19 |  0.000 % |
495.96/496.27	c |   1321861 |     987     7072    28213 |    38380    32264     20 |  0.000 % |
496.06/496.32	c |   1321971 |     987     7072    28213 |    38380    32374     20 |  0.000 % |
496.06/496.36	c |   1322093 |     987     7072    28213 |    38380    32496     20 |  0.000 % |
496.16/496.42	c |   1322228 |     987     7072    28213 |    38380    32631     20 |  0.000 % |
496.16/496.49	c |   1322376 |     987     7072    28213 |    38380    32779     20 |  0.000 % |
496.26/496.58	c |   1322536 |     987     7072    28213 |    38380    32939     20 |  0.000 % |
496.36/496.67	c |   1322712 |     987     7072    28213 |    38380    33115     20 |  0.000 % |
496.46/496.76	c |   1322905 |     987     7072    28213 |    38380    33308     20 |  0.000 % |
496.56/496.83	c |   1323118 |     987     7072    28213 |    38380    33521     20 |  0.000 % |
496.66/496.92	c |   1323353 |     987     7072    28213 |    38380    33756     20 |  0.000 % |
496.76/497.02	c |   1323609 |     987     7072    28213 |    38380    34012     20 |  0.000 % |
496.86/497.13	c |   1323890 |     987     7072    28213 |    38380    34293     20 |  0.000 % |
496.96/497.27	c |   1324201 |     987     7072    28213 |    38380    34604     20 |  0.000 % |
497.16/497.41	c |   1324542 |     987     7072    28213 |    38380    34945     20 |  0.000 % |
497.26/497.59	c |   1324914 |     987     7072    28213 |    38380    35317     20 |  0.000 % |
497.46/497.76	c |   1325323 |     987     7072    28213 |    38380    35726     20 |  0.000 % |
497.66/497.95	c |   1325772 |     987     7072    28213 |    38380    36175     20 |  0.000 % |
497.86/498.20	c |   1326267 |     987     7072    28213 |    38380    36670     20 |  0.000 % |
498.16/498.43	c |   1326809 |     987     7072    28213 |    38380    37212     20 |  0.000 % |
498.36/498.66	c |   1327405 |     987     7072    28213 |    38380    37808     20 |  0.000 % |
498.76/499.03	c |   1328060 |     987     7072    28213 |    38380    38463     20 |  0.000 % |
499.06/499.36	c |   1328782 |     987     7072    28213 |    38380    32321     19 |  0.000 % |
499.36/499.68	c |   1329577 |     987     7072    28213 |    38380    33116     19 |  0.000 % |
499.76/500.07	c |   1330450 |     987     7072    28213 |    33540    28208     18 |  0.000 % |
500.16/500.48	c |   1331408 |     987     7072    28213 |    33540    29166     18 |  0.000 % |
500.56/500.89	c |   1332461 |     987     7072    28213 |    33540    30219     18 |  0.000 % |
501.06/501.39	c |   1333619 |     987     7072    28213 |    33540    31377     19 |  0.000 % |
501.56/501.88	c |   1334892 |     987     7072    28213 |    33540    32650     19 |  0.000 % |
502.16/502.42	c |   1336292 |     987     7072    28213 |    33540    28765     18 |  0.000 % |
502.66/502.98	c |   1337835 |     987     7072    28213 |    33540    30308     18 |  0.000 % |
503.26/503.56	c |   1339531 |     987     7072    28213 |    33540    32004     19 |  0.000 % |
503.95/504.20	c |   1341394 |     987     7072    28213 |    32473    29142     18 |  0.000 % |
504.56/504.88	c |   1343443 |     987     7072    28213 |    32473    31191     19 |  0.000 % |
505.45/505.79	c |   1345697 |     987     7072    28213 |    32473    29504     19 |  0.000 % |
506.35/506.63	c |   1348176 |     987     7072    28213 |    32473    31983     19 |  0.000 % |
507.35/507.68	c |   1350901 |     987     7072    28213 |    30072    27504     18 |  0.000 % |
508.45/508.70	c |   1353898 |     987     7072    28213 |    30072    27304     18 |  0.000 % |
509.35/509.67	c |   1357194 |     987     7072    28213 |    30072    27579     18 |  0.000 % |
510.45/510.78	c |   1360820 |     987     7072    28213 | 2147483647    28187     19 |  0.000 % |
511.75/512.05	c |   1364807 |     987     7072    28213 | 2147483647    32174     19 |  0.000 % |
513.45/513.75	c |   1369192 |     987     7072    28213 | 2147483647    36559     20 |  0.000 % |
515.45/515.76	c |   1374015 |     987     7072    28213 |    37367    37413     20 |  0.000 % |
517.35/517.66	c |   1379320 |     987     7072    28213 |    37367    34064     20 |  0.000 % |
519.55/519.86	c |   1385156 |     987     7072    28213 |    34745    32200     20 |  0.000 % |
521.95/522.28	c |   1391577 |     987     7072    28213 |    33562    31606     19 |  0.000 % |
524.75/525.01	c |   1398639 |     987     7072    28213 |    33562    30208     18 |  0.000 % |
527.25/527.53	c |   1406404 |     987     7072    28213 |    31570    30912     18 |  0.000 % |
530.25/530.57	c |   1414946 |     987     7072    28213 | 2147483647    36293     20 |  0.000 % |
534.54/534.82	c |   1424340 |     987     7072    28213 |    41347    39898     21 |  0.000 % |
538.84/539.13	c |   1434675 |     987     7072    28213 |    38857    37332     22 |  0.000 % |
543.44/543.70	c |   1446041 |     987     7072    28213 |    36595    32370     20 |  0.000 % |
548.44/548.74	c |   1458544 |     987     7072    28213 |    36329    34096     19 |  0.000 % |
548.44/548.79	c |   1458644 |     987     7072    28213 |    36329    34196     19 |  0.000 % |
548.54/548.84	c |   1458754 |     987     7072    28213 |    36329    34306     19 |  0.000 % |
548.54/548.88	c |   1458875 |     987     7072    28213 |    36329    34427     19 |  0.000 % |
548.64/548.96	c |   1459008 |     987     7072    28213 |    36329    34560     19 |  0.000 % |
548.74/549.03	c |   1459155 |     987     7072    28213 |    36329    34707     19 |  0.000 % |
548.84/549.10	c |   1459315 |     987     7072    28213 |    36329    34867     19 |  0.000 % |
548.94/549.20	c |   1459491 |     987     7072    28213 |    36329    35043     19 |  0.000 % |
548.94/549.30	c |   1459684 |     987     7072    28213 |    36329    35236     19 |  0.000 % |
549.14/549.40	c |   1459896 |     987     7072    28213 |    36329    35448     19 |  0.000 % |
549.24/549.58	c |   1460129 |     987     7072    28213 |    35552    30142     19 |  0.000 % |
549.34/549.69	c |   1460385 |     987     7072    28213 |    35552    30398     19 |  0.000 % |
549.54/549.82	c |   1460666 |     987     7072    28213 |    35552    30679     19 |  0.000 % |
549.64/549.93	c |   1460975 |     987     7072    28213 |    35552    30988     19 |  0.000 % |
549.74/550.06	c |   1461315 |     987     7072    28213 |    35552    31328     19 |  0.000 % |
549.94/550.21	c |   1461688 |     987     7072    28213 |    35552    31701     19 |  0.000 % |
550.04/550.37	c |   1462100 |     987     7072    28213 |    35552    32113     19 |  0.000 % |
550.24/550.54	c |   1462550 |     987     7072    28213 |    35552    32563     19 |  0.000 % |
550.44/550.74	c |   1463044 |     987     7072    28213 |    35552    33057     19 |  0.000 % |
550.64/550.97	c |   1463587 |     987     7072    28213 |    35552    33600     19 |  0.000 % |
550.84/551.19	c |   1464184 |     987     7072    28213 |    35552    34197     19 |  0.002 % |
551.14/551.41	c |   1464840 |     987     7072    28213 |    35552    34853     19 |  0.000 % |
551.34/551.68	c |   1465560 |     987     7072    28213 |    35552    35573     19 |  0.000 % |
551.74/552.03	c |   1466352 |     987     7072    28213 |    35552    31167     19 |  0.000 % |
551.94/552.29	c |   1467224 |     987     7072    28213 |    35552    32039     19 |  0.000 % |
552.24/552.58	c |   1468183 |     987     7072    28213 |    35552    32998     19 |  0.000 % |
552.64/552.91	c |   1469237 |     987     7072    28213 |    35552    34052     19 |  0.000 % |
553.04/553.36	c |   1470395 |     987     7072    28213 |    34815    30711     19 |  0.000 % |
553.54/553.81	c |   1471668 |     987     7072    28213 |    34815    31984     19 |  0.000 % |
553.94/554.28	c |   1473068 |     987     7072    28213 |    34815    33384     19 |  0.000 % |
554.54/554.89	c |   1474609 |     987     7072    28213 |    34815    30940     18 |  0.002 % |
555.34/555.61	c |   1476304 |     987     7072    28213 |    34815    32635     18 |  0.000 % |
555.94/556.24	c |   1478167 |     987     7072    28213 |    34815    34498     19 |  0.000 % |
556.63/556.98	c |   1480220 |     987     7072    28213 |    32096    28620     18 |  0.000 % |
557.34/557.66	c |   1482474 |     987     7072    28213 |    32096    30874     18 |  0.000 % |
558.23/558.57	c |   1484952 |     987     7072    28213 |    32096    30136     18 |  0.000 % |
559.23/559.54	c |   1487678 |     987     7072    28213 |    32096    29642     19 |  0.000 % |
560.23/560.55	c |   1490677 |     987     7072    28213 | 2147483647    32641     19 |  0.000 % |
561.43/561.79	c |   1493974 |     987     7072    28213 | 2147483647    35938     19 |  0.000 % |
562.94/563.27	c |   1497599 |     987     7072    28213 | 2147483647    39563     20 |  0.000 % |
564.53/564.84	c |   1501587 |     987     7072    28213 |    41964    38201     20 |  0.001 % |
566.33/566.64	c |   1505972 |     987     7072    28213 |    41964    36259     19 |  0.002 % |
568.63/568.98	c |   1510798 |     987     7072    28213 |    40289    34542     19 |  0.000 % |
570.93/571.27	c |   1516103 |     987     7072    28213 |    40289    39847     19 |  0.000 % |
573.23/573.53	c |   1521939 |     987     7072    28213 |    36774    32500     17 |  0.000 % |
575.83/576.19	c |   1528358 |     987     7072    28213 |    36774    33272     18 |  0.000 % |
578.43/578.71	c |   1535420 |     987     7072    28213 |    34916    31348     18 |  0.000 % |
580.93/581.27	c |   1543185 |     987     7072    28213 | 2147483647    35612     19 |  0.000 % |
584.32/584.69	c |   1551727 |     987     7072    28213 |    42428    38998     20 |  0.000 % |
588.52/588.81	c |   1561122 |     987     7072    28213 |    40746    35398     21 |  0.000 % |
593.12/593.42	c |   1571456 |     987     7072    28213 |    37243    32506     20 |  0.000 % |
597.62/597.93	c |   1582824 |     987     7072    28213 |    34956    32388     19 |  0.000 % |
601.92/602.23	c |   1595327 |     987     7072    28213 |    34482    30695     18 |  0.000 % |
606.72/607.00	c |   1609079 |     987     7072    28213 |    30657    28311     17 |  0.000 % |
606.72/607.04	c |   1609181 |     987     7072    28213 |    30657    28413     17 |  0.000 % |
606.72/607.07	c |   1609291 |     987     7072    28213 |    30657    28523     17 |  0.000 % |
606.82/607.11	c |   1609412 |     987     7072    28213 |    30657    28644     17 |  0.000 % |
606.82/607.16	c |   1609545 |     987     7072    28213 |    30657    28777     17 |  0.000 % |
606.92/607.20	c |   1609692 |     987     7072    28213 |    30657    28924     17 |  0.001 % |
606.92/607.25	c |   1609853 |     987     7072    28213 |    30657    29085     17 |  0.000 % |
607.02/607.31	c |   1610029 |     987     7072    28213 |    29234    29261     18 |  0.000 % |
607.02/607.39	c |   1610223 |     987     7072    28213 |    29234    26302     17 |  0.000 % |
607.12/607.45	c |   1610437 |     987     7072    28213 |    29234    26516     17 |  0.000 % |
607.22/607.52	c |   1610672 |     987     7072    28213 |    29234    26751     17 |  0.000 % |
607.32/607.61	c |   1610929 |     987     7072    28213 |    29234    27008     17 |  0.000 % |
607.42/607.70	c |   1611211 |     987     7072    28213 |    29234    27290     17 |  0.000 % |
607.42/607.78	c |   1611520 |     987     7072    28213 |    29234    27599     17 |  0.000 % |
607.51/607.88	c |   1611860 |     987     7072    28213 |    29234    27939     17 |  0.000 % |
607.61/608.00	c |   1612232 |     987     7072    28213 |    29234    28311     17 |  0.000 % |
607.81/608.11	c |   1612641 |     987     7072    28213 |    29234    28720     17 |  0.000 % |
607.92/608.26	c |   1613091 |     987     7072    28213 |    29234    29170     17 |  0.000 % |
608.11/608.43	c |   1613584 |     987     7072    28213 |    29234    26733     17 |  0.000 % |
608.21/608.58	c |   1614126 |     987     7072    28213 |    29234    27275     17 |  0.000 % |
608.41/608.74	c |   1614722 |     987     7072    28213 |    29234    27871     17 |  0.000 % |
608.61/608.94	c |   1615378 |     987     7072    28213 |    29234    28527     17 |  0.000 % |
608.81/609.15	c |   1616098 |     987     7072    28213 |    29234    29247     17 |  0.000 % |
609.02/609.38	c |   1616892 |     987     7072    28213 |    29234    27117     17 |  0.000 % |
609.31/609.64	c |   1617763 |     987     7072    28213 |    29234    27988     17 |  0.000 % |
609.61/609.95	c |   1618722 |     987     7072    28213 |    29234    28947     18 |  0.000 % |
609.91/610.29	c |   1619775 |     987     7072    28213 |    29234    27070     17 |  0.000 % |
610.31/610.64	c |   1620933 |     987     7072    28213 | 2147483647    28228     18 |  0.001 % |
610.71/611.09	c |   1622207 |     987     7072    28213 | 2147483647    29502     18 |  0.000 % |
611.22/611.56	c |   1623607 |     987     7072    28213 | 2147483647    30902     18 |  0.000 % |
611.71/612.06	c |   1625147 |     987     7072    28213 | 2147483647    32442     18 |  0.000 % |
612.51/612.80	c |   1626841 |     987     7072    28213 | 2147483647    34136     19 |  0.000 % |
613.21/613.58	c |   1628705 |     987     7072    28213 | 2147483647    36000     19 |  0.000 % |
614.11/614.49	c |   1630755 |     987     7072    28213 | 2147483647    38050     19 |  0.000 % |
615.21/615.56	c |   1633008 |     987     7072    28213 | 2147483647    40303     19 |  0.000 % |
616.31/616.66	c |   1635487 |     987     7072    28213 | 2147483647    42782     19 |  0.000 % |
617.81/618.14	c |   1638212 |     987     7072    28213 | 2147483647    45507     19 |  0.000 % |
619.51/619.83	c |   1641209 |     987     7072    28213 |    47297    39538     20 |  0.000 % |
621.11/621.42	c |   1644505 |     987     7072    28213 |    47297    42834     20 |  0.000 % |
623.01/623.33	c |   1648130 |     987     7072    28213 |    47297    46459     20 |  0.000 % |
624.71/625.06	c |   1652117 |     987     7072    28213 |    38549    32885     19 |  0.000 % |
626.90/627.20	c |   1656502 |     987     7072    28213 |    38549    37270     20 |  0.000 % |
628.81/629.12	c |   1661325 |     987     7072    28213 |    33867    29413     19 |  0.000 % |
631.01/631.33	c |   1666632 |     987     7072    28213 |    33867    29837     19 |  0.000 % |
633.21/633.57	c |   1672468 |     987     7072    28213 |    33205    31107     19 |  0.000 % |
635.60/635.91	c |   1678886 |     987     7072    28213 |    33205    32627     19 |  0.000 % |
638.00/638.31	c |   1685946 |     987     7072    28213 |    29189    28098     18 |  0.000 % |
640.60/640.91	c |   1693711 |     987     7072    28213 | 2147483647    32939     19 |  0.000 % |
643.80/644.19	c |   1702251 |     987     7072    28213 |    39228    36899     20 |  0.000 % |
648.10/648.43	c |   1711645 |     987     7072    28213 |    39068    34660     20 |  0.000 % |
652.50/652.87	c |   1721978 |     987     7072    28213 |    36497    32528     20 |  0.000 % |
657.29/657.63	c |   1733348 |     987     7072    28213 |    35296    33598     21 |  0.000 % |
661.90/662.29	c |   1745850 |     987     7072    28213 |    30993    29588     20 |  0.000 % |
666.79/667.17	c |   1759605 |     987     7072    28213 |    30353    27489     19 |  0.000 % |
672.89/673.28	c |   1774732 |     987     7072    28213 |    37885    32803     20 |  0.000 % |
672.99/673.32	c |   1774832 |     987     7072    28213 |    37885    32903     20 |  0.000 % |
672.99/673.37	c |   1774947 |     987     7072    28213 |    37885    33018     20 |  0.000 % |
673.09/673.43	c |   1775068 |     987     7072    28213 |    37885    33139     20 |  0.000 % |
673.09/673.49	c |   1775201 |     987     7072    28213 |    37885    33272     20 |  0.000 % |
673.19/673.54	c |   1775348 |     987     7072    28213 |    37885    33419     20 |  0.000 % |
673.29/673.62	c |   1775508 |     987     7072    28213 |    37885    33579     20 |  0.000 % |
673.39/673.72	c |   1775685 |     987     7072    28213 |    37885    33756     20 |  0.002 % |
673.49/673.81	c |   1775880 |     987     7072    28213 |    37885    33951     20 |  0.000 % |
673.59/673.90	c |   1776092 |     987     7072    28213 |    37885    34163     20 |  0.000 % |
673.69/674.01	c |   1776326 |     987     7072    28213 |    37885    34397     20 |  0.001 % |
673.79/674.18	c |   1776582 |     987     7072    28213 |    37885    34653     20 |  0.000 % |
673.89/674.29	c |   1776863 |     987     7072    28213 |    37885    34934     20 |  0.000 % |
674.09/674.44	c |   1777172 |     987     7072    28213 |    37885    35243     20 |  0.000 % |
674.19/674.57	c |   1777511 |     987     7072    28213 |    37885    35582     20 |  0.000 % |
674.39/674.76	c |   1777883 |     987     7072    28213 |    37885    35954     20 |  0.000 % |
674.59/674.97	c |   1778294 |     987     7072    28213 |    37885    36365     20 |  0.000 % |
674.79/675.19	c |   1778743 |     987     7072    28213 |    37885    36814     20 |  0.000 % |
674.99/675.39	c |   1779237 |     987     7072    28213 |    37885    37308     20 |  0.000 % |
675.29/675.64	c |   1779780 |     987     7072    28213 |    37885    37851     20 |  0.000 % |
675.59/675.99	c |   1780377 |     987     7072    28213 |    32247    27687     20 |  0.000 % |
675.89/676.22	c |   1781032 |     987     7072    28213 |    32247    28342     20 |  0.000 % |
676.09/676.46	c |   1781756 |     987     7072    28213 |    32247    29066     20 |  0.000 % |
676.39/676.77	c |   1782548 |     987     7072    28213 |    32247    29858     20 |  0.000 % |
676.69/677.08	c |   1783419 |     987     7072    28213 |    32247    30729     20 |  0.000 % |
677.09/677.47	c |   1784379 |     987     7072    28213 |    32247    31689     20 |  0.000 % |
677.49/677.89	c |   1785433 |     987     7072    28213 |    32247    28506     19 |  0.000 % |
677.98/678.38	c |   1786591 |     987     7072    28213 |    32247    29664     19 |  0.000 % |
678.39/678.78	c |   1787864 |     987     7072    28213 |    32247    30937     19 |  0.000 % |
679.08/679.40	c |   1789264 |     987     7072    28213 |    32247    28243     19 |  0.000 % |
679.49/679.85	c |   1790804 |     987     7072    28213 |    28981    26304     18 |  0.000 % |
680.08/680.42	c |   1792500 |     987     7072    28213 |    28981    28000     19 |  0.000 % |
680.68/681.01	c |   1794364 |     987     7072    28213 |    28981    26958     18 |  0.000 % |
681.28/681.64	c |   1796417 |     987     7072    28213 |    28981    29011     18 |  0.000 % |
681.98/682.36	c |   1798671 |     987     7072    28213 |    28981    28364     18 |  0.000 % |
682.79/683.19	c |   1801149 |     987     7072    28213 | 2147483647    27938     18 |  0.000 % |
683.79/684.11	c |   1803874 |     987     7072    28213 | 2147483647    30663     18 |  0.000 % |
684.89/685.22	c |   1806873 |     987     7072    28213 | 2147483647    33662     18 |  0.000 % |
685.99/686.32	c |   1810169 |     987     7072    28213 | 2147483647    36958     19 |  0.000 % |
687.28/687.69	c |   1813794 |     987     7072    28213 | 2147483647    40583     19 |  0.000 % |
689.08/689.43	c |   1817782 |     987     7072    28213 | 2147483647    44571     20 |  0.000 % |
691.18/691.59	c |   1822167 |     987     7072    28213 |    46789    41413     20 |  0.000 % |
693.58/693.97	c |   1826994 |     987     7072    28213 |    46789    46240     20 |  0.000 % |
696.18/696.58	c |   1832299 |     987     7072    28213 |    39640    33789     19 |  0.001 % |
698.98/699.33	c |   1838139 |     987     7072    28213 |    39640    39629     19 |  0.000 % |
701.08/701.48	c |   1844557 |     987     7072    28213 |    33574    31830     17 |  0.000 % |
703.48/703.80	c |   1851616 |     987     7072    28213 |    33046    30560     17 |  0.000 % |
706.18/706.54	c |   1859381 |     987     7072    28213 |    33046    31287     17 |  0.000 % |
709.08/709.44	c |   1867922 |     987     7072    28213 |    31906    29831     18 |  0.000 % |
712.87/713.20	c |   1877317 |     987     7072    28213 | 2147483647    39226     19 |  0.000 % |
717.47/717.83	c |   1887650 |     987     7072    28213 |    41911    36024     20 |  0.000 % |
722.67/723.06	c |   1899016 |     987     7072    28213 |    38374    34301     20 |  0.000 % |
726.87/727.23	c |   1911518 |     987     7072    28213 |    35296    32662     20 |  0.000 % |
732.17/732.51	c |   1925271 |     987     7072    28213 |    32607    30228     20 |  0.000 % |
737.86/738.21	c |   1940401 |     987     7072    28213 |    29549    26399     18 |  0.000 % |
743.36/743.76	c |   1957041 |     987     7072    28213 | 2147483647    34157     19 |  0.000 % |
743.46/743.81	c |   1957141 |     987     7072    28213 | 2147483647    34257     19 |  0.000 % |
743.46/743.85	c |   1957253 |     987     7072    28213 | 2147483647    34369     19 |  0.000 % |
743.46/743.88	c |   1957374 |     987     7072    28213 | 2147483647    34490     19 |  0.000 % |
743.56/743.93	c |   1957509 |     987     7072    28213 | 2147483647    34625     19 |  0.000 % |
743.56/743.99	c |   1957657 |     987     7072    28213 | 2147483647    34773     19 |  0.000 % |
743.66/744.05	c |   1957818 |     987     7072    28213 | 2147483647    34934     19 |  0.000 % |
743.76/744.11	c |   1957996 |     987     7072    28213 | 2147483647    35112     19 |  0.000 % |
743.86/744.21	c |   1958189 |     987     7072    28213 | 2147483647    35305     19 |  0.001 % |
743.86/744.29	c |   1958401 |     987     7072    28213 | 2147483647    35517     19 |  0.000 % |
743.96/744.37	c |   1958635 |     987     7072    28213 | 2147483647    35751     19 |  0.000 % |
744.16/744.50	c |   1958892 |     987     7072    28213 | 2147483647    36008     19 |  0.000 % |
744.27/744.62	c |   1959173 |     987     7072    28213 | 2147483647    36289     19 |  0.000 % |
744.37/744.74	c |   1959483 |     987     7072    28213 | 2147483647    36599     19 |  0.000 % |
744.56/744.93	c |   1959823 |     987     7072    28213 | 2147483647    36939     19 |  0.000 % |
744.76/745.16	c |   1960196 |     987     7072    28213 |    37116    32533     19 |  0.000 % |
744.96/745.31	c |   1960607 |     987     7072    28213 |    37116    32944     19 |  0.000 % |
745.16/745.54	c |   1961059 |     987     7072    28213 |    37116    33396     19 |  0.000 % |
745.36/745.75	c |   1961552 |     987     7072    28213 |    37116    33889     19 |  0.000 % |
745.66/746.00	c |   1962095 |     987     7072    28213 |    37116    34432     19 |  0.000 % |
745.86/746.25	c |   1962693 |     987     7072    28213 |    37116    35030     19 |  0.000 % |
746.16/746.55	c |   1963348 |     987     7072    28213 |    37116    35685     19 |  0.000 % |
746.46/746.88	c |   1964068 |     987     7072    28213 |    37116    36405     19 |  0.000 % |
746.86/747.20	c |   1964860 |     987     7072    28213 |    37116    37197     19 |  0.000 % |
747.16/747.55	c |   1965732 |     987     7072    28213 |    37116    32267     19 |  0.000 % |
747.46/747.88	c |   1966691 |     987     7072    28213 |    37116    33226     19 |  0.000 % |
747.86/748.27	c |   1967746 |     987     7072    28213 |    37116    34281     19 |  0.000 % |
748.26/748.66	c |   1968906 |     987     7072    28213 |    37116    35441     19 |  0.000 % |
748.76/749.19	c |   1970180 |     987     7072    28213 |    36536    31763     18 |  0.000 % |
749.36/749.72	c |   1971581 |     987     7072    28213 |    36536    33164     19 |  0.000 % |
749.86/750.27	c |   1973123 |     987     7072    28213 |    36536    34706     19 |  0.000 % |
750.56/750.96	c |   1974817 |     987     7072    28213 |    36536    36400     19 |  0.000 % |
751.25/751.69	c |   1976680 |     987     7072    28213 |    36536    33573     19 |  0.000 % |
751.96/752.38	c |   1978729 |     987     7072    28213 |    36536    35622     19 |  0.000 % |
752.95/753.32	c |   1980984 |     987     7072    28213 |    32543    29665     19 |  0.000 % |
753.95/754.38	c |   1983463 |     987     7072    28213 |    32543    32144     19 |  0.000 % |
755.05/755.46	c |   1986190 |     987     7072    28213 |    32543    30848     19 |  0.000 % |
756.05/756.49	c |   1989190 |     987     7072    28213 |    32543    29907     19 |  0.000 % |
757.25/757.62	c |   1992486 |     987     7072    28213 |    30718    29643     19 |  0.000 % |
758.45/758.83	c |   1996115 |     987     7072    28213 |    30718    30192     19 |  0.000 % |
759.75/760.12	c |   2000103 |     987     7072    28213 | 2147483647    28017     18 |  0.000 % |
761.15/761.52	c |   2004488 |     987     7072    28213 | 2147483647    32402     19 |  0.000 % |
762.95/763.40	c |   2009311 |     987     7072    28213 | 2147483647    37225     19 |  0.000 % |
765.15/765.54	c |   2014616 |     987     7072    28213 |    37915    33591     19 |  0.000 % |
767.85/768.28	c |   2020451 |     987     7072    28213 |    33506    29055     18 |  0.000 % |
770.15/770.55	c |   2026869 |     987     7072    28213 |    33506    31195     18 |  0.000 % |
772.55/772.90	c |   2033928 |     987     7072    28213 |    30427    27865     18 |  0.000 % |
775.35/775.72	c |   2041692 |     987     7072    28213 |    27668    26460     17 |  0.000 % |
778.25/778.61	c |   2050232 |     987     7072    28213 | 2147483647    26681     17 |  0.000 % |
781.44/781.83	c |   2059626 |     987     7072    28213 | 2147483647    36075     17 |  0.000 % |
785.14/785.53	c |   2069961 |     987     7072    28213 |    36449    34972     17 |  0.000 % |
789.94/790.33	c |   2081328 |     987     7072    28213 |    45011    38932     17 |  0.000 % |
794.84/795.26	c |   2093832 |     987     7072    28213 |    39676    36780     18 |  0.000 % |
800.04/800.43	c |   2107585 |     987     7072    28213 |    36974    34455     20 |  0.000 % |
805.63/806.07	c |   2122712 |     987     7072    28213 |    32948    31275     20 |  0.000 % |
811.63/812.07	c |   2139351 |     987     7072    28213 |    30886    30899     20 |  0.000 % |
819.53/819.97	c |   2157654 |     987     7072    28213 |    38460    34281     19 |  0.000 % |
819.63/820.00	c |   2157756 |     987     7072    28213 |    38460    34383     19 |  0.000 % |
819.63/820.06	c |   2157867 |     987     7072    28213 |    38460    34494     19 |  0.000 % |
819.73/820.12	c |   2157988 |     987     7072    28213 |    38460    34615     19 |  0.000 % |
819.73/820.18	c |   2158122 |     987     7072    28213 |    38460    34749     19 |  0.000 % |
819.83/820.27	c |   2158268 |     987     7072    28213 |    38460    34895     19 |  0.000 % |
819.93/820.33	c |   2158428 |     987     7072    28213 |    38460    35055     19 |  0.000 % |
820.03/820.41	c |   2158609 |     987     7072    28213 |    38460    35236     19 |  0.000 % |
820.13/820.50	c |   2158805 |     987     7072    28213 |    38460    35432     19 |  0.000 % |
820.13/820.58	c |   2159019 |     987     7072    28213 |    38460    35646     19 |  0.000 % |
820.33/820.70	c |   2159252 |     987     7072    28213 |    38460    35879     19 |  0.000 % |
820.33/820.78	c |   2159508 |     987     7072    28213 |    38460    36135     19 |  0.000 % |
820.53/820.90	c |   2159790 |     987     7072    28213 |    38460    36417     19 |  0.000 % |
820.63/821.09	c |   2160102 |     987     7072    28213 |    36627    30885     18 |  0.000 % |
820.83/821.20	c |   2160441 |     987     7072    28213 |    36627    31224     18 |  0.000 % |
820.93/821.35	c |   2160813 |     987     7072    28213 |    36627    31596     18 |  0.000 % |
821.13/821.51	c |   2161222 |     987     7072    28213 |    36627    32005     18 |  0.000 % |
821.23/821.70	c |   2161672 |     987     7072    28213 |    36627    32455     18 |  0.000 % |
821.43/821.89	c |   2162167 |     987     7072    28213 |    36627    32950     18 |  0.000 % |
821.73/822.14	c |   2162709 |     987     7072    28213 |    36627    33492     18 |  0.000 % |
821.93/822.35	c |   2163307 |     987     7072    28213 |    36627    34090     18 |  0.000 % |
822.23/822.61	c |   2163963 |     987     7072    28213 |    36627    34746     19 |  0.000 % |
822.53/822.95	c |   2164683 |     987     7072    28213 |    36627    35466     19 |  0.000 % |
822.83/823.28	c |   2165475 |     987     7072    28213 |    36627    36258     19 |  0.000 % |
823.23/823.67	c |   2166349 |     987     7072    28213 |    36627    31637     18 |  0.000 % |
823.63/824.01	c |   2167307 |     987     7072    28213 |    36627    32595     18 |  0.000 % |
824.03/824.43	c |   2168360 |     987     7072    28213 |    36627    33648     18 |  0.000 % |
824.53/824.96	c |   2169518 |     987     7072    28213 |    36627    34806     19 |  0.000 % |
825.03/825.49	c |   2170793 |     987     7072    28213 |    35288    30913     18 |  0.000 % |
825.63/826.04	c |   2172194 |     987     7072    28213 |    35288    32314     18 |  0.000 % |
826.33/826.76	c |   2173735 |     987     7072    28213 |    35288    33855     18 |  0.000 % |
827.23/827.68	c |   2175429 |     987     7072    28213 |    35288    29917     18 |  0.000 % |
827.93/828.35	c |   2177292 |     987     7072    28213 |    35288    31780     18 |  0.000 % |
828.63/829.02	c |   2179343 |     987     7072    28213 |    35288    33831     18 |  0.000 % |
829.53/829.91	c |   2181597 |     987     7072    28213 |    34490    30934     19 |  0.000 % |
830.42/830.85	c |   2184075 |     987     7072    28213 |    34490    33412     19 |  0.000 % |
831.42/831.85	c |   2186800 |     987     7072    28213 |    34490    31866     18 |  0.000 % |
832.62/833.01	c |   2189798 |     987     7072    28213 |    34490    30847     18 |  0.000 % |
833.72/834.12	c |   2193097 |     987     7072    28213 |    31052    30553     18 |  0.000 % |
834.92/835.35	c |   2196723 |     987     7072    28213 |    31052    31067     18 |  0.000 % |
836.22/836.60	c |   2200711 |     987     7072    28213 | 2147483647    28839     18 |  0.000 % |
837.83/838.21	c |   2205096 |     987     7072    28213 | 2147483647    33224     18 |  0.000 % |
839.52/839.92	c |   2209919 |     987     7072    28213 | 2147483647    38047     19 |  0.000 % |
841.52/841.90	c |   2215224 |     987     7072    28213 |    38128    34474     19 |  0.000 % |
843.82/844.23	c |   2221061 |     987     7072    28213 |    34192    30748     19 |  0.000 % |
846.22/846.69	c |   2227479 |     987     7072    28213 |    34192    32686     19 |  0.000 % |
848.72/849.11	c |   2234539 |     987     7072    28213 |    30829    28462     19 |  0.000 % |
851.52/851.90	c |   2242304 |     987     7072    28213 | 2147483647    33140     19 |  0.000 % |
855.12/855.57	c |   2250844 |     987     7072    28213 |    40839    36096     19 |  0.000 % |
859.31/859.72	c |   2260238 |     987     7072    28213 |    38603    32539     17 |  0.000 % |
863.41/863.80	c |   2270574 |     987     7072    28213 |    35864    30670     16 |  0.000 % |
867.21/867.66	c |   2281942 |     987     7072    28213 |    34671    31881     17 |  0.000 % |
871.81/872.23	c |   2294444 |     987     7072    28213 |    31438    29072     18 |  0.000 % |
877.01/877.40	c |   2308200 |     987     7072    28213 | 2147483647    39676     19 |  0.000 % |
882.71/883.15	c |   2323329 |     987     7072    28213 |    40409    38745     19 |  0.000 % |
889.81/890.21	c |   2339971 |     987     7072    28213 |    39488    37905     19 |  0.000 % |
896.50/896.98	c |   2358273 |     987     7072    28213 |    37152    36407     19 |  0.000 % |
904.30/904.76	c |   2378407 |     987     7072    28213 |    32120    29502     21 |  0.000 % |
904.40/904.82	c |   2378507 |     987     7072    28213 |    32120    29602     21 |  0.000 % |
904.40/904.87	c |   2378619 |     987     7072    28213 |    32120    29714     21 |  0.000 % |
904.50/904.91	c |   2378741 |     987     7072    28213 |    32120    29836     21 |  0.000 % |
904.50/904.96	c |   2378874 |     987     7072    28213 |    32120    29969     21 |  0.000 % |
904.60/905.01	c |   2379020 |     987     7072    28213 |    32120    30115     21 |  0.000 % |
904.60/905.07	c |   2379180 |     987     7072    28213 |    32120    30275     21 |  0.000 % |
904.70/905.14	c |   2379356 |     987     7072    28213 |    32120    30451     21 |  0.000 % |
904.80/905.24	c |   2379549 |     987     7072    28213 |    32120    30644     21 |  0.000 % |
904.90/905.33	c |   2379764 |     987     7072    28213 |    32120    30859     21 |  0.000 % |
905.00/905.41	c |   2379997 |     987     7072    28213 |    32120    31092     21 |  0.000 % |
905.10/905.56	c |   2380254 |     987     7072    28213 |    31095    27686     21 |  0.000 % |
905.20/905.68	c |   2380535 |     987     7072    28213 |    31095    27967     21 |  0.000 % |
905.30/905.77	c |   2380846 |     987     7072    28213 |    31095    28278     21 |  0.000 % |
905.40/905.89	c |   2381186 |     987     7072    28213 |    31095    28618     21 |  0.000 % |
905.60/906.02	c |   2381559 |     987     7072    28213 |    31095    28991     21 |  0.000 % |
905.70/906.15	c |   2381970 |     987     7072    28213 |    31095    29402     21 |  0.000 % |
905.90/906.36	c |   2382419 |     987     7072    28213 |    31095    29851     21 |  0.000 % |
906.10/906.55	c |   2382915 |     987     7072    28213 |    31095    30347     21 |  0.000 % |
906.30/906.77	c |   2383457 |     987     7072    28213 |    31095    30889     21 |  0.000 % |
906.60/907.06	c |   2384053 |     987     7072    28213 |    31095    27746     20 |  0.000 % |
906.80/907.27	c |   2384708 |     987     7072    28213 |    31095    28401     20 |  0.000 % |
907.10/907.53	c |   2385429 |     987     7072    28213 |    31095    29122     20 |  0.000 % |
907.40/907.81	c |   2386221 |     987     7072    28213 |    31095    29914     20 |  0.000 % |
907.80/908.21	c |   2387092 |     987     7072    28213 |    31095    30785     21 |  0.000 % |
908.10/908.55	c |   2388050 |     987     7072    28213 |    31095    28243     20 |  0.000 % |
908.49/908.98	c |   2389105 |     987     7072    28213 |    31095    29298     20 |  0.000 % |
908.89/909.36	c |   2390265 |     987     7072    28213 |    30194    27332     20 |  0.000 % |
909.30/909.78	c |   2391539 |     987     7072    28213 |    30194    28606     20 |  0.000 % |
909.69/910.19	c |   2392941 |     987     7072    28213 |    30194    30008     20 |  0.000 % |
910.30/910.76	c |   2394481 |     987     7072    28213 |    30194    28518     19 |  0.000 % |
910.79/911.27	c |   2396178 |     987     7072    28213 |    30194    30215     20 |  0.000 % |
911.50/911.99	c |   2398042 |     987     7072    28213 |    30194    29058     19 |  0.000 % |
912.29/912.74	c |   2400091 |     987     7072    28213 | 2147483647    28079     19 |  0.000 % |
912.99/913.46	c |   2402346 |     987     7072    28213 | 2147483647    30334     19 |  0.000 % |
913.89/914.31	c |   2404824 |     987     7072    28213 | 2147483647    32812     19 |  0.000 % |
914.89/915.37	c |   2407549 |     987     7072    28213 | 2147483647    35537     19 |  0.000 % |
916.09/916.59	c |   2410547 |     987     7072    28213 | 2147483647    38535     19 |  0.000 % |
917.69/918.10	c |   2413845 |     987     7072    28213 | 2147483647    41833     20 |  0.000 % |
919.39/919.82	c |   2417472 |     987     7072    28213 | 2147483647    45460     20 |  0.000 % |
921.10/921.51	c |   2421460 |     987     7072    28213 |    47991    41523     20 |  0.000 % |
923.00/923.44	c |   2425848 |     987     7072    28213 |    47991    45911     20 |  0.000 % |
925.50/925.90	c |   2430671 |     987     7072    28213 |    40537    33063     19 |  0.000 % |
927.90/928.31	c |   2435976 |     987     7072    28213 |    40537    38368     20 |  0.000 % |
930.39/930.86	c |   2441814 |     987     7072    28213 |    34528    29728     19 |  0.000 % |
933.00/933.46	c |   2448233 |     987     7072    28213 |    34528    30917     20 |  0.000 % |
935.39/935.87	c |   2455295 |     987     7072    28213 |    32684    30312     20 |  0.000 % |
938.29/938.75	c |   2463059 |     987     7072    28213 | 2147483647    34801     21 |  0.000 % |
941.69/942.12	c |   2471602 |     987     7072    28213 |    41743    37984     21 |  0.000 % |
946.19/946.69	c |   2480996 |     987     7072    28213 |    38510    32541     20 |  0.000 % |
950.19/950.63	c |   2491330 |     987     7072    28213 |    35646    31812     20 |  0.000 % |
954.39/954.84	c |   2502698 |     987     7072    28213 |    32099    31180     21 |  0.000 % |
959.29/959.70	c |   2515200 |     987     7072    28213 | 2147483647    37041     21 |  0.000 % |
965.68/966.10	c |   2528958 |     987     7072    28213 |    41841    36714     20 |  0.000 % |
971.38/971.88	c |   2544085 |     987     7072    28213 |    35466    34326     19 |  0.000 % |
976.58/977.08	c |   2560725 |     987     7072    28213 | 2147483647    32673     19 |  0.001 % |
984.58/985.08	c |   2579028 |     987     7072    28213 |    41949    37082     19 |  0.000 % |
991.57/992.03	c |   2599160 |     987     7072    28213 |    36556    32189     18 |  0.000 % |
999.27/999.70	c |   2621305 |     987     7072    28213 | 2147483647    29087     18 |  0.000 % |
999.27/999.74	c |   2621405 |     987     7072    28213 | 2147483647    29187     18 |  0.000 % |
999.27/999.77	c |   2621515 |     987     7072    28213 | 2147483647    29297     18 |  0.000 % |
999.38/999.82	c |   2621637 |     987     7072    28213 | 2147483647    29419     18 |  0.000 % |
999.38/999.88	c |   2621771 |     987     7072    28213 | 2147483647    29553     18 |  0.000 % |
999.48/999.92	c |   2621919 |     987     7072    28213 | 2147483647    29701     18 |  0.001 % |
999.48/999.98	c |   2622079 |     987     7072    28213 | 2147483647    29861     18 |  0.000 % |
999.57/1000.05	c |   2622255 |     987     7072    28213 | 2147483647    30037     18 |  0.001 % |
999.67/1000.14	c |   2622448 |     987     7072    28213 | 2147483647    30230     18 |  0.000 % |
999.67/1000.19	c |   2622662 |     987     7072    28213 | 2147483647    30444     18 |  0.000 % |
999.77/1000.29	c |   2622895 |     987     7072    28213 | 2147483647    30677     18 |  0.000 % |
999.87/1000.36	c |   2623152 |     987     7072    28213 | 2147483647    30934     18 |  0.000 % |
999.97/1000.46	c |   2623434 |     987     7072    28213 | 2147483647    31216     18 |  0.000 % |
1000.07/1000.55	c |   2623744 |     987     7072    28213 | 2147483647    31526     18 |  0.000 % |
1000.17/1000.68	c |   2624083 |     987     7072    28213 | 2147483647    31865     18 |  0.000 % |
1000.37/1000.81	c |   2624456 |     987     7072    28213 | 2147483647    32238     18 |  0.000 % |
1000.48/1000.94	c |   2624865 |     987     7072    28213 | 2147483647    32647     18 |  0.000 % |
1000.57/1001.08	c |   2625314 |     987     7072    28213 | 2147483647    33096     18 |  0.000 % |
1000.77/1001.26	c |   2625807 |     987     7072    28213 | 2147483647    33589     18 |  0.000 % |
1000.97/1001.46	c |   2626350 |     987     7072    28213 | 2147483647    34132     18 |  0.000 % |
1001.27/1001.71	c |   2626946 |     987     7072    28213 | 2147483647    34728     18 |  0.000 % |
1001.47/1001.98	c |   2627601 |     987     7072    28213 | 2147483647    35383     18 |  0.000 % |
1001.77/1002.25	c |   2628322 |     987     7072    28213 | 2147483647    36104     18 |  0.000 % |
1002.07/1002.55	c |   2629116 |     987     7072    28213 | 2147483647    36898     19 |  0.000 % |
1002.47/1002.97	c |   2629991 |     987     7072    28213 | 2147483647    37773     19 |  0.000 % |
1002.97/1003.43	c |   2630949 |     987     7072    28213 |    37782    34262     18 |  0.000 % |
1003.37/1003.81	c |   2632002 |     987     7072    28213 |    37782    35315     18 |  0.000 % |
1003.87/1004.38	c |   2633160 |     987     7072    28213 |    37782    36473     18 |  0.000 % |
1004.47/1004.93	c |   2634434 |     987     7072    28213 |    37782    37747     18 |  0.000 % |
1005.07/1005.56	c |   2635835 |     987     7072    28213 |    37782    33575     18 |  0.000 % |
1005.76/1006.21	c |   2637375 |     987     7072    28213 |    37782    35115     18 |  0.000 % |
1006.36/1006.86	c |   2639069 |     987     7072    28213 |    37782    36809     18 |  0.000 % |
1007.17/1007.66	c |   2640933 |     987     7072    28213 |    37741    33014     18 |  0.000 % |
1007.96/1008.42	c |   2642982 |     987     7072    28213 |    37741    35063     18 |  0.000 % |
1008.76/1009.27	c |   2645235 |     987     7072    28213 |    37741    37316     18 |  0.000 % |
1009.66/1010.18	c |   2647713 |     987     7072    28213 |    37741    34436     18 |  0.000 % |
1010.56/1011.05	c |   2650438 |     987     7072    28213 |    36723    32467     18 |  0.000 % |
1011.57/1012.03	c |   2653435 |     987     7072    28213 |    36723    35464     18 |  0.000 % |
1012.86/1013.37	c |   2656731 |     987     7072    28213 |    36723    34582     18 |  0.000 % |
1014.06/1014.59	c |   2660356 |     987     7072    28213 |    33715    30389     18 |  0.000 % |
1015.26/1015.75	c |   2664344 |     987     7072    28213 |    33715    30999     18 |  0.000 % |
1016.66/1017.14	c |   2668730 |     987     7072    28213 |    33715    32006     19 |  0.000 % |
1018.36/1018.88	c |   2673553 |     987     7072    28213 | 2147483647    36829     19 |  0.000 % |
1020.56/1021.01	c |   2678858 |     987     7072    28213 | 2147483647    42134     20 |  0.000 % |
1023.06/1023.57	c |   2684693 |     987     7072    28213 |    43276    41958     19 |  0.000 % |
1025.86/1026.39	c |   2691111 |     987     7072    28213 |    39756    34114     19 |  0.000 % |
1028.86/1029.35	c |   2698170 |     987     7072    28213 |    39756    34441     19 |  0.000 % |
1031.76/1032.28	c |   2705937 |     987     7072    28213 |    36273    36140     18 |  0.000 % |
1035.26/1035.75	c |   2714481 |     987     7072    28213 |    35558    35389     19 |  0.000 % |
1038.55/1039.07	c |   2723875 |     987     7072    28213 |    30792    30374     19 |  0.000 % |
1042.26/1042.74	c |   2734208 |     987     7072    28213 |    29846    27063     18 |  0.000 % |
1046.05/1046.60	c |   2745578 |     987     7072    28213 |    29395    28761     18 |  0.000 % |
1050.25/1050.77	c |   2758080 |     987     7072    28213 | 2147483647    35234     19 |  0.002 % |
1055.45/1055.92	c |   2771837 |     987     7072    28213 |    32089    29312     19 |  0.000 % |
1060.55/1061.00	c |   2786966 |     987     7072    28213 |    30699    28392     18 |  0.000 % |
1067.04/1067.51	c |   2803605 |     987     7072    28213 |    38351    36291     19 |  0.000 % |
1074.24/1074.75	c |   2821908 |     987     7072    28213 |    35681    32704     18 |  0.000 % |
1081.24/1081.75	c |   2842040 |     987     7072    28213 | 2147483647    32874     19 |  0.000 % |
1090.24/1090.79	c |   2864187 |     987     7072    28213 |    36860    34376     19 |  0.001 % |
1099.13/1099.66	c |   2888546 |     987     7072    28213 |    31612    30425     17 |  0.000 % |
1099.23/1099.70	c |   2888648 |     987     7072    28213 |    31612    30527     17 |  0.000 % |
1099.23/1099.73	c |   2888759 |     987     7072    28213 |    31612    30638     17 |  0.000 % |
1099.23/1099.76	c |   2888880 |     987     7072    28213 |    31612    30759     17 |  0.000 % |
1099.23/1099.79	c |   2889015 |     987     7072    28213 |    31612    30894     17 |  0.000 % |
1099.33/1099.86	c |   2889162 |     987     7072    28213 |    31612    31041     17 |  0.000 % |
1099.44/1099.93	c |   2889324 |     987     7072    28213 |    31612    31203     17 |  0.000 % |
1099.54/1100.01	c |   2889500 |     987     7072    28213 |    31612    31379     17 |  0.000 % |
1099.54/1100.08	c |   2889693 |     987     7072    28213 |    31612    31572     17 |  0.000 % |
1099.63/1100.19	c |   2889905 |     987     7072    28213 |    31612    28616     17 |  0.000 % |
1099.73/1100.26	c |   2890139 |     987     7072    28213 | 2147483647    28850     17 |  0.000 % |
1099.83/1100.33	c |   2890396 |     987     7072    28213 | 2147483647    29107     17 |  0.000 % |
1099.93/1100.41	c |   2890677 |     987     7072    28213 | 2147483647    29388     17 |  0.000 % |
1100.03/1100.53	c |   2890986 |     987     7072    28213 | 2147483647    29697     18 |  0.000 % |
1100.13/1100.66	c |   2891326 |     987     7072    28213 | 2147483647    30037     18 |  0.000 % |
1100.23/1100.78	c |   2891698 |     987     7072    28213 | 2147483647    30409     18 |  0.000 % |
1100.43/1100.93	c |   2892108 |     987     7072    28213 | 2147483647    30819     18 |  0.000 % |
1100.53/1101.10	c |   2892557 |     987     7072    28213 | 2147483647    31268     18 |  0.001 % |
1100.83/1101.30	c |   2893052 |     987     7072    28213 | 2147483647    31763     18 |  0.000 % |
1100.93/1101.47	c |   2893594 |     987     7072    28213 | 2147483647    32305     18 |  0.000 % |
1101.13/1101.67	c |   2894191 |     987     7072    28213 | 2147483647    32902     18 |  0.000 % |
1101.43/1101.93	c |   2894847 |     987     7072    28213 | 2147483647    33558     18 |  0.000 % |
1101.63/1102.17	c |   2895567 |     987     7072    28213 | 2147483647    34278     18 |  0.000 % |
1101.93/1102.47	c |   2896359 |     987     7072    28213 | 2147483647    35070     18 |  0.000 % |
1102.33/1102.84	c |   2897231 |     987     7072    28213 | 2147483647    35942     18 |  0.000 % |
1102.73/1103.26	c |   2898190 |     987     7072    28213 | 2147483647    36901     18 |  0.000 % |
1103.23/1103.74	c |   2899243 |     987     7072    28213 | 2147483647    37954     18 |  0.000 % |
1103.73/1104.29	c |   2900401 |     987     7072    28213 |    38711    34587     18 |  0.000 % |
1104.32/1104.90	c |   2901674 |     987     7072    28213 |    38711    35860     18 |  0.000 % |
1104.93/1105.50	c |   2903074 |     987     7072    28213 |    38711    37260     19 |  0.000 % |
1105.82/1106.37	c |   2904615 |     987     7072    28213 |    38711    32625     18 |  0.000 % |
1106.52/1107.07	c |   2906310 |     987     7072    28213 |    38711    34320     18 |  0.000 % |
1107.32/1107.83	c |   2908174 |     987     7072    28213 |    38711    36184     19 |  0.000 % |
1108.23/1108.78	c |   2910225 |     987     7072    28213 |    38011    32361     18 |  0.000 % |
1109.12/1109.67	c |   2912479 |     987     7072    28213 |    38011    34615     19 |  0.000 % |
1110.32/1110.85	c |   2914958 |     987     7072    28213 |    38011    37094     19 |  0.000 % |
1111.53/1112.04	c |   2917684 |     987     7072    28213 |    38011    33226     19 |  0.000 % |
1112.72/1113.27	c |   2920681 |     987     7072    28213 |    35543    30318     18 |  0.000 % |
1114.02/1114.53	c |   2923979 |     987     7072    28213 |    35543    33616     19 |  0.000 % |
1115.62/1116.10	c |   2927606 |     987     7072    28213 |    35543    31703     18 |  0.000 % |
1117.02/1117.57	c |   2931593 |     987     7072    28213 |    34098    30679     18 |  0.000 % |
1118.62/1119.13	c |   2935980 |     987     7072    28213 |    34098    30476     18 |  0.000 % |
1120.22/1120.75	c |   2940803 |     987     7072    28213 |    30181    27207     18 |  0.000 % |
1121.72/1122.28	c |   2946108 |     987     7072    28213 |    30181    29487     18 |  0.000 % |
1123.72/1124.28	c |   2951943 |     987     7072    28213 | 2147483647    29272     18 |  0.000 % |
1126.12/1126.64	c |   2958362 |     987     7072    28213 | 2147483647    35691     19 |  0.000 % |
1129.02/1129.57	c |   2965421 |     987     7072    28213 |    37329    33679     18 |  0.000 % |
1131.71/1132.23	c |   2973185 |     987     7072    28213 |    33877    33134     18 |  0.000 % |
1134.81/1135.38	c |   2981726 |     987     7072    28213 |    33060    31460     17 |  0.000 % |
1137.92/1138.47	c |   2991121 |     987     7072    28213 | 2147483647    34231     18 |  0.000 % |
1142.41/1142.96	c |   3001455 |     987     7072    28213 |    43111    37463     18 |  0.000 % |
1147.31/1147.88	c |   3012824 |     987     7072    28213 |    38412    34639     18 |  0.000 % |
1152.61/1153.16	c |   3025327 |     987     7072    28213 |    35387    34509     17 |  0.000 % |
1157.51/1158.05	c |   3039080 |     987     7072    28213 |    33744    30477     17 |  0.000 % |
1162.30/1162.85	c |   3054207 |     987     7072    28213 | 2147483647    32682     19 |  0.000 % |
1169.70/1170.25	c |   3070846 |     987     7072    28213 |    48478    40210     19 |  0.000 % |
1177.30/1177.81	c |   3089148 |     987     7072    28213 |    39777    35347     19 |  0.000 % |
1185.90/1186.44	c |   3109281 |     987     7072    28213 |    36063    34257     19 |  0.000 % |
1194.19/1194.80	c |   3131427 |     987     7072    28213 |    31164    29174     22 |  0.000 % |
1200.10/1200.60	HOME/SatELiteGTI: line 36: 31525 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-1832373-1242772729/watcher-1832373-1242772729 -o /tmp/evaluation-result-1832373-1242772729/solver-1832373-1242772729 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832373-1242772729.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.99 0.98 0.99 3/65 31519
/proc/meminfo: memFree=1872512/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 305302043 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 270187331666 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/31519/statm: 1339 235 195 169 0 50 0
[pid=31520] ppid=31519 vsize=5356 CPUtime=0
/proc/31520/stat : 31520 (SatELiteGTI) S 31519 31519 31324 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 305302043 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/31520/statm: 1339 238 198 169 0 50 0
[pid=31522] ppid=31520 vsize=5356 CPUtime=0
/proc/31522/stat : 31522 (SatELiteGTI) R 31520 31519 31324 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187162919 0 0 4096 0 0 0 0 17 1 0 0
/proc/31522/statm: 1339 239 199 169 0 50 0

[startup+0.063534 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 31519
/proc/meminfo: memFree=1872512/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5356

[startup+0.102538 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 31519
/proc/meminfo: memFree=1872512/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5356

[startup+0.30256 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 31519
/proc/meminfo: memFree=1872512/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5356

[startup+0.701616 s]
/proc/loadavg: 0.99 0.98 0.99 3/65 31519
/proc/meminfo: memFree=1872512/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 5356

[startup+1.5017 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31525
/proc/meminfo: memFree=1870760/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=3400 CPUtime=1.45
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 543 0 0 0 145 0 0 0 25 0 1 0 305302046 3481600 529 1992294400 134512640 135215339 4294956240 18446744073709551615 134537957 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 850 529 77 171 0 677 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 8756

[startup+3.10188 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31525
/proc/meminfo: memFree=1869608/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=4640 CPUtime=3.05
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 828 0 0 0 305 0 0 0 25 0 1 0 305302046 4751360 814 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 1160 814 77 171 0 987 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 9996

[startup+6.30124 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31525
/proc/meminfo: memFree=1867624/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=5992 CPUtime=6.25
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 1178 0 0 0 625 0 0 0 25 0 1 0 305302046 6135808 1164 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 1498 1164 77 171 0 1325 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 11348

[startup+12.702 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31525
/proc/meminfo: memFree=1865840/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=7656 CPUtime=12.65
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 1577 0 0 0 1264 1 0 0 25 0 1 0 305302046 7839744 1563 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 1914 1563 77 171 0 1741 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 13012

[startup+25.5024 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31525
/proc/meminfo: memFree=1865584/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=7788 CPUtime=25.45
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 1617 0 0 0 2543 2 0 0 25 0 1 0 305302046 7974912 1603 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 1947 1603 77 171 0 1774 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 13144

[startup+51.1023 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31525
/proc/meminfo: memFree=1865392/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=8072 CPUtime=51.04
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 1660 0 0 0 5102 2 0 0 25 0 1 0 305302046 8265728 1646 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 2018 1646 77 171 0 1845 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 13428

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31525
/proc/meminfo: memFree=1864944/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=8356 CPUtime=102.22
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 1750 0 0 0 10220 2 0 0 25 0 1 0 305302046 8556544 1736 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 2089 1736 77 171 0 1916 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 13712

[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31525
/proc/meminfo: memFree=1864624/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=8528 CPUtime=162.19
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 1780 0 0 0 16216 3 0 0 25 0 1 0 305302046 8732672 1766 1992294400 134512640 135215339 4294956240 18446744073709551615 134538107 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 2132 1766 77 171 0 1959 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 13884

[startup+222.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31525
/proc/meminfo: memFree=1863920/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=9216 CPUtime=222.15
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 1950 0 0 0 22212 3 0 0 25 0 1 0 305302046 9437184 1936 1992294400 134512640 135215339 4294956240 18446744073709551615 134528700 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 2304 1936 77 171 0 2131 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 14572

[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31525
/proc/meminfo: memFree=1863344/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=9632 CPUtime=282.13
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 2049 0 0 0 28209 4 0 0 25 0 1 0 305302046 9863168 2035 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 2408 2035 77 171 0 2235 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 14988

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31527
/proc/meminfo: memFree=1863088/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=9632 CPUtime=342.1
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 2064 0 0 0 34206 4 0 0 25 0 1 0 305302046 9863168 2050 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 2408 2050 77 171 0 2235 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 14988

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31527
/proc/meminfo: memFree=1862768/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=9916 CPUtime=402.08

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

[pid=31525] ppid=31519 vsize=9916 CPUtime=462.05
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 2134 0 0 0 46201 4 0 0 25 0 1 0 305302046 10153984 2120 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 2479 2120 77 171 0 2306 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 15272

[startup+522.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31527
/proc/meminfo: memFree=1862128/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=10456 CPUtime=522.04
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 2252 0 0 0 52199 5 0 0 25 0 1 0 305302046 10706944 2238 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 2614 2238 77 171 0 2441 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 15812

[startup+582.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31527
/proc/meminfo: memFree=1861872/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=10604 CPUtime=582.02
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 2295 0 0 0 58197 5 0 0 25 0 1 0 305302046 10858496 2281 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 2651 2281 77 171 0 2478 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 15960

[startup+642.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31527
/proc/meminfo: memFree=1861744/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=10604 CPUtime=641.99
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 2307 0 0 0 64194 5 0 0 25 0 1 0 305302046 10858496 2293 1992294400 134512640 135215339 4294956240 18446744073709551615 134528795 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 2651 2293 77 171 0 2478 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 15960

[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31527
/proc/meminfo: memFree=1861488/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=10888 CPUtime=701.97
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 2344 0 0 0 70192 5 0 0 25 0 1 0 305302046 11149312 2330 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 2722 2330 77 171 0 2549 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 16244

[startup+762.305 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31527
/proc/meminfo: memFree=1861296/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=10888 CPUtime=761.94
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 2371 0 0 0 76189 5 0 0 25 0 1 0 305302046 11149312 2357 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 2722 2357 77 171 0 2549 0
Current children cumulated CPU time (s) 761.95
Current children cumulated vsize (KiB) 16244

[startup+822.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31527
/proc/meminfo: memFree=1860912/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=11304 CPUtime=821.92
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 2439 0 0 0 82187 5 0 0 25 0 1 0 305302046 11575296 2425 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 2826 2425 77 171 0 2653 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 16660

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31527
/proc/meminfo: memFree=1860720/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=11304 CPUtime=881.9
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 2460 0 0 0 88185 5 0 0 25 0 1 0 305302046 11575296 2446 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 2826 2446 77 171 0 2653 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 16660

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31527
/proc/meminfo: memFree=1860272/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=11712 CPUtime=941.88
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 2546 0 0 0 94182 6 0 0 25 0 1 0 305302046 11993088 2532 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 2928 2532 77 171 0 2755 0
Current children cumulated CPU time (s) 941.89
Current children cumulated vsize (KiB) 17068

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31527
/proc/meminfo: memFree=1860144/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=11712 CPUtime=1001.86
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 2557 0 0 0 100180 6 0 0 25 0 1 0 305302046 11993088 2543 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 2928 2543 77 171 0 2755 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 17068

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31527
/proc/meminfo: memFree=1859952/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=11864 CPUtime=1061.84
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 2578 0 0 0 106178 6 0 0 25 0 1 0 305302046 12148736 2564 1992294400 134512640 135215339 4294956240 18446744073709551615 134528852 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 2966 2564 77 171 0 2793 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 17220

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31527
/proc/meminfo: memFree=1859760/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=12012 CPUtime=1121.81
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 2608 0 0 0 112175 6 0 0 25 0 1 0 305302046 12300288 2594 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 3003 2594 77 171 0 2830 0
Current children cumulated CPU time (s) 1121.82
Current children cumulated vsize (KiB) 17368

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31527
/proc/meminfo: memFree=1859568/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=12012 CPUtime=1181.79
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 2631 0 0 0 118173 6 0 0 25 0 1 0 305302046 12300288 2617 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 3003 2617 77 171 0 2830 0
Current children cumulated CPU time (s) 1181.8
Current children cumulated vsize (KiB) 17368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.6 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 31527
/proc/meminfo: memFree=1859440/2055920 swapFree=4180328/4192956
[pid=31519] ppid=31517 vsize=5356 CPUtime=0.01
/proc/31519/stat : 31519 (SatELiteGTI) S 31517 31519 31324 0 -1 4194304 336 577 0 0 0 0 1 0 18 0 1 0 305302043 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 270187160388 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/31519/statm: 1339 239 197 169 0 50 0
[pid=31525] ppid=31519 vsize=12152 CPUtime=1200.09
/proc/31525/stat : 31525 (minisat_static) R 31519 31519 31324 0 -1 4194304 2661 0 0 0 120003 6 0 0 25 0 1 0 305302046 12443648 2647 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/31525/statm: 3038 2647 77 171 0 2865 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 17508

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.61
CPU time (s): 1200.13
CPU user time (s): 1200.05
CPU system time (s): 0.074988
CPU usage (%): 99.9596
Max. virtual memory (cumulated for all children) (KiB): 17508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.05
system time used= 0.074988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3605
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= 30
involuntary context switches= 3938

runsolver used 1.14682 second user time and 3.38348 second system time

The end

Launcher Data

Begin job on node88 at 2009-05-20 00:38:49
IDJOB=1832373
IDBENCH=24750
IDSOLVER=671
FILE ID=node88/1832373-1242772729
PBS_JOBID= 9322216
Free space on /tmp= 66144 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Difficult/contest-02-03-04/contest04-lksat-n1100-m7545-k4-l4-s310659001.sat05-524.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832373-1242772729/watcher-1832373-1242772729 -o /tmp/evaluation-result-1832373-1242772729/solver-1832373-1242772729 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832373-1242772729.cnf

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

MD5SUM BENCH= 3c6e2bf4052a26ce5bdb6cfc9e1f735c
RANDOM SEED=104880208

node88.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.229
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.229
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:       1872992 kB
Buffers:         15772 kB
Cached:         131076 kB
SwapCached:       6832 kB
Active:          30788 kB
Inactive:       124936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1872992 kB
SwapTotal:     4192956 kB
SwapFree:      4180328 kB
Dirty:            1728 kB
Writeback:           0 kB
Mapped:          13960 kB
Slab:            13064 kB
Committed_AS:   844716 kB
PageTables:       1448 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66140 MiB
End job on node88 at 2009-05-20 00:58:52