Trace number 1832187

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.03 1200.51

General information on the benchmark

Namecrafted/Hard/contest04/connamacher/
connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
MD5SUMc2cb7643bd8a1926480278b8bba0ef3d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark714.136
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses8767
Sum of the clauses size26476
Maximum clause length4
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 38592
Number of clauses of size 4175
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 |    8767    26476 |    2630       0        0     nan |  0.000 % |
0.00/0.10	c |         0 |    8592    28720 |      --       0       --      -- |     --   | -175/2244
0.00/0.10	c ==============================================================================
0.00/0.10	c Result  :   #vars: 525   #clauses: 8592   #literals: 28720
0.00/0.10	c CPU time:   0.100984 s
0.00/0.10	c ==============================================================================
0.00/0.11	c This is MiniSat 2.0 beta
0.00/0.11	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.11	c ============================[ Problem Statistics ]=============================
0.00/0.11	c |                                                                             |
0.00/0.11	c |  Number of variables:  525                                                  |
0.00/0.11	c |  Number of clauses:    8592                                                 |
0.00/0.12	c |  Parsing time:         0.00         s                                       |
0.00/0.12	c ============================[ Search Statistics ]==============================
0.00/0.12	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.12	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.12	c ===============================================================================
0.00/0.12	c |         0 |     525     8592    28720 |     2864        0    nan |  0.000 % |
0.00/0.13	c |       101 |     525     8592    28720 |     2864      101     12 |  0.000 % |
0.00/0.13	c |       201 |     525     8592    28720 |     2864      201     18 |  0.000 % |
0.00/0.14	c |       301 |     525     8592    28720 |     2864      301     19 |  0.000 % |
0.00/0.15	c |       412 |     525     8592    28720 |     2864      412     18 |  0.000 % |
0.00/0.15	c |       512 |     525     8592    28720 |     2864      512     18 |  0.000 % |
0.00/0.16	c |       622 |     525     8592    28720 |     2864      622     19 |  0.000 % |
0.00/0.17	c |       745 |     525     8592    28720 |     2864      745     19 |  0.001 % |
0.00/0.18	c |       845 |     525     8592    28720 |     2864      845     18 |  0.000 % |
0.00/0.18	c |       955 |     525     8592    28720 |     2864      955     19 |  0.001 % |
0.00/0.19	c |      1078 |     525     8592    28720 |     2864     1078     18 |  0.000 % |
0.11/0.20	c |      1212 |     525     8592    28720 |     2864     1212     18 |  0.000 % |
0.11/0.20	c |      1312 |     525     8592    28720 |     2864     1312     18 |  0.000 % |
0.11/0.21	c |      1422 |     525     8592    28720 |     2864     1422     18 |  0.000 % |
0.11/0.22	c |      1543 |     525     8592    28720 |     2864     1543     18 |  0.000 % |
0.11/0.23	c |      1676 |     525     8592    28720 |     2864     1676     18 |  0.000 % |
0.11/0.24	c |      1823 |     525     8592    28720 |     2864     1823     18 |  0.000 % |
0.11/0.25	c |      1923 |     525     8592    28720 |     2864     1923     18 |  0.000 % |
0.11/0.26	c |      2033 |     525     8592    28720 |     2864     2033     18 |  0.000 % |
0.11/0.27	c |      2156 |     525     8592    28720 |     2864     2156     18 |  0.000 % |
0.11/0.28	c |      2289 |     525     8592    28720 |     2864     2289     18 |  0.000 % |
0.11/0.29	c |      2436 |     525     8592    28720 |     2864     2436     18 |  0.000 % |
0.11/0.31	c |      2597 |     525     8592    28720 |     2864     2597     18 |  0.000 % |
0.11/0.32	c |      2699 |     525     8592    28720 |     2864     2699     18 |  0.000 % |
0.11/0.32	c |      2812 |     525     8592    28720 |     2864     2812     19 |  0.000 % |
0.11/0.33	c |      2934 |     525     8592    28720 |     2864     2934     19 |  0.000 % |
0.11/0.34	c |      3068 |     525     8592    28720 |     2864     2775     18 |  0.000 % |
0.11/0.36	c |      3214 |     525     8592    28720 |     2864     2921     18 |  0.000 % |
0.11/0.38	c |      3375 |     525     8592    28720 |     2864     2790     18 |  0.000 % |
0.11/0.39	c |      3551 |     525     8592    28720 |     2864     2676     18 |  0.000 % |
0.11/0.40	c |      3651 |     525     8592    28720 |     2864     2776     18 |  0.000 % |
0.11/0.41	c |      3763 |     525     8592    28720 |     2864     2888     18 |  0.000 % |
0.11/0.42	c |      3884 |     525     8592    28720 |     2864     2721     18 |  0.000 % |
0.11/0.43	c |      4017 |     525     8592    28720 |     2864     2854     18 |  0.000 % |
0.11/0.44	c |      4163 |     525     8592    28720 |     2864     2709     18 |  0.000 % |
0.11/0.46	c |      4324 |     525     8592    28720 |     2864     2870     18 |  0.000 % |
0.11/0.47	c |      4500 |     525     8592    28720 |     2864     2759     18 |  0.000 % |
0.11/0.49	c |      4693 |     525     8592    28720 |     2864     2659     17 |  0.000 % |
0.11/0.50	c |      4793 |     525     8592    28720 |     2864     2759     17 |  0.000 % |
0.11/0.50	c |      4903 |     525     8592    28720 |     2864     2869     17 |  0.000 % |
0.11/0.51	c |      5024 |     525     8592    28720 |     2864     2704     17 |  0.000 % |
0.11/0.53	c |      5157 |     525     8592    28720 |     2864     2837     17 |  0.000 % |
0.11/0.54	c |      5303 |     525     8592    28720 |     2864     2687     17 |  0.000 % |
0.11/0.55	c |      5466 |     525     8592    28720 |     2864     2850     17 |  0.000 % |
0.11/0.57	c |      5642 |     525     8592    28720 |     2864     2734     17 |  0.000 % |
0.11/0.59	c |      5838 |     525     8592    28720 |     2864     2639     17 |  0.000 % |
0.11/0.61	c |      6051 |     525     8592    28720 |     2864     2852     16 |  0.000 % |
0.11/0.63	c |      6152 |     525     8592    28720 |     2864     2660     16 |  0.000 % |
0.11/0.64	c |      6262 |     525     8592    28720 |     2864     2770     16 |  0.000 % |
0.11/0.65	c |      6383 |     525     8592    28720 |     2864     2891     16 |  0.000 % |
0.11/0.66	c |      6516 |     525     8592    28720 |     2864     2735     16 |  0.000 % |
0.11/0.68	c |      6662 |     525     8592    28720 |     2864     2881     16 |  0.000 % |
0.11/0.69	c |      6824 |     525     8592    28720 |     2864     2755     16 |  0.000 % |
0.11/0.71	c |      7000 |     525     8592    28720 |     2864     2639     15 |  0.000 % |
0.11/0.73	c |      7197 |     525     8592    28720 |     2864     2836     16 |  0.000 % |
0.11/0.75	c |      7409 |     525     8592    28720 |     2864     2757     15 |  0.000 % |
0.11/0.77	c |      7642 |     525     8592    28720 |     2864     2692     15 |  0.000 % |
0.11/0.78	c |      7742 |     525     8592    28720 |     2864     2792     15 |  0.000 % |
0.11/0.79	c |      7852 |     525     8592    28720 |     2864     2902     16 |  0.000 % |
0.11/0.80	c |      7973 |     525     8592    28720 |     2864     2733     15 |  0.000 % |
0.11/0.82	c |      8106 |     525     8592    28720 |     2864     2866     16 |  0.000 % |
0.11/0.83	c |      8254 |     525     8592    28720 |     2864     2728     16 |  0.000 % |
0.11/0.84	c |      8414 |     525     8592    28720 |     2864     2888     16 |  0.000 % |
0.11/0.86	c |      8590 |     525     8592    28720 |     2864     2776     16 |  0.000 % |
0.11/0.88	c |      8783 |     525     8592    28720 |     2864     2674     15 |  0.000 % |
0.11/0.90	c |      8995 |     525     8592    28720 |     2864     2886     16 |  0.001 % |
0.11/0.92	c |      9228 |     525     8592    28720 |     2864     2831     15 |  0.001 % |
0.11/0.95	c |      9484 |     525     8592    28720 |     2864     2791     15 |  0.000 % |
0.11/0.96	c |      9584 |     525     8592    28720 |     2864     2891     15 |  0.000 % |
0.11/0.97	c |      9695 |     525     8592    28720 |     2864     2713     15 |  0.000 % |
0.11/0.98	c |      9819 |     525     8592    28720 |     2864     2837     15 |  0.000 % |
0.11/1.00	c |      9952 |     525     8592    28720 |     2864     2681     15 |  0.000 % |
0.98/1.02	c |     10099 |     525     8592    28720 | 2147483647     2828     15 |  0.000 % |
0.98/1.04	c |     10261 |     525     8592    28720 | 2147483647     2990     15 |  0.000 % |
0.98/1.05	c |     10437 |     525     8592    28720 | 2147483647     3166     16 |  0.000 % |
0.98/1.07	c |     10630 |     525     8592    28720 | 2147483647     3359     16 |  0.000 % |
0.98/1.10	c |     10842 |     525     8592    28720 | 2147483647     3571     16 |  0.000 % |
1.08/1.13	c |     11075 |     525     8592    28720 | 2147483647     3804     16 |  0.000 % |
1.08/1.16	c |     11332 |     525     8592    28720 | 2147483647     4061     16 |  0.000 % |
1.08/1.18	c |     11613 |     525     8592    28720 | 2147483647     4342     16 |  0.001 % |
1.08/1.19	c |     11713 |     525     8592    28720 | 2147483647     4442     16 |  0.000 % |
1.18/1.21	c |     11823 |     525     8592    28720 | 2147483647     4552     16 |  0.000 % |
1.18/1.22	c |     11945 |     525     8592    28720 | 2147483647     4674     16 |  0.000 % |
1.18/1.24	c |     12080 |     525     8592    28720 | 2147483647     4809     17 |  0.000 % |
1.18/1.25	c |     12227 |     525     8592    28720 | 2147483647     4956     17 |  0.000 % |
1.18/1.28	c |     12389 |     525     8592    28720 | 2147483647     5118     17 |  0.001 % |
1.28/1.30	c |     12566 |     525     8592    28720 | 2147483647     5295     17 |  0.001 % |
1.28/1.32	c |     12760 |     525     8592    28720 | 2147483647     5489     17 |  0.000 % |
1.28/1.35	c |     12973 |     525     8592    28720 | 2147483647     5702     17 |  0.000 % |
1.28/1.38	c |     13206 |     525     8592    28720 | 2147483647     5935     17 |  0.000 % |
1.38/1.41	c |     13463 |     525     8592    28720 | 2147483647     6192     17 |  0.000 % |
1.38/1.45	c |     13744 |     525     8592    28720 | 2147483647     6473     17 |  0.000 % |
1.48/1.50	c |     14054 |     525     8592    28720 | 2147483647     6783     17 |  0.000 % |
1.48/1.52	c |     14156 |     525     8592    28720 | 2147483647     6885     17 |  0.000 % |
1.48/1.53	c |     14266 |     525     8592    28720 | 2147483647     6995     17 |  0.000 % |
1.48/1.55	c |     14387 |     525     8592    28720 | 2147483647     7116     17 |  0.000 % |
1.48/1.57	c |     14521 |     525     8592    28720 | 2147483647     7250     17 |  0.000 % |
1.48/1.59	c |     14669 |     525     8592    28720 | 2147483647     7398     17 |  0.000 % |
1.58/1.61	c |     14830 |     525     8592    28720 | 2147483647     7559     17 |  0.000 % |
1.58/1.63	c |     15006 |     525     8592    28720 | 2147483647     7735     17 |  0.000 % |
1.58/1.66	c |     15200 |     525     8592    28720 | 2147483647     7929     17 |  0.000 % |
1.58/1.69	c |     15413 |     525     8592    28720 | 2147483647     8142     17 |  0.000 % |
1.68/1.71	c |     15647 |     525     8592    28720 | 2147483647     8376     17 |  0.000 % |
1.68/1.74	c |     15903 |     525     8592    28720 | 2147483647     8632     17 |  0.000 % |
1.68/1.78	c |     16185 |     525     8592    28720 | 2147483647     8914     17 |  0.000 % |
1.78/1.83	c |     16496 |     525     8592    28720 | 2147483647     9225     17 |  0.000 % |
1.78/1.88	c |     16836 |     525     8592    28720 | 2147483647     9565     17 |  0.000 % |
1.78/1.90	c |     16938 |     525     8592    28720 | 2147483647     9667     17 |  0.000 % |
1.88/1.92	c |     17048 |     525     8592    28720 | 2147483647     9777     17 |  0.000 % |
1.88/1.93	c |     17170 |     525     8592    28720 | 2147483647     9899     17 |  0.001 % |
1.88/1.95	c |     17303 |     525     8592    28720 | 2147483647    10032     17 |  0.000 % |
1.88/1.98	c |     17449 |     525     8592    28720 | 2147483647    10178     18 |  0.000 % |
1.98/2.01	c |     17610 |     525     8592    28720 | 2147483647    10339     18 |  0.000 % |
1.98/2.03	c |     17786 |     525     8592    28720 | 2147483647    10515     18 |  0.000 % |
1.98/2.06	c |     17979 |     525     8592    28720 | 2147483647    10708     17 |  0.001 % |
1.98/2.10	c |     18191 |     525     8592    28720 | 2147483647    10920     17 |  0.001 % |
2.08/2.14	c |     18426 |     525     8592    28720 | 2147483647    11155     17 |  0.000 % |
2.08/2.18	c |     18682 |     525     8592    28720 | 2147483647    11411     17 |  0.000 % |
2.18/2.22	c |     18963 |     525     8592    28720 | 2147483647    11692     17 |  0.000 % |
2.18/2.28	c |     19272 |     525     8592    28720 | 2147483647    12001     17 |  0.000 % |
2.28/2.34	c |     19611 |     525     8592    28720 | 2147483647    12340     18 |  0.000 % |
2.38/2.40	c |     19984 |     525     8592    28720 | 2147483647    12713     18 |  0.001 % |
2.38/2.42	c |     20084 |     525     8592    28720 | 2147483647    12813     18 |  0.001 % |
2.38/2.44	c |     20196 |     525     8592    28720 | 2147483647    12925     18 |  0.000 % |
2.38/2.46	c |     20317 |     525     8592    28720 | 2147483647    13046     18 |  0.000 % |
2.38/2.48	c |     20451 |     525     8592    28720 | 2147483647    13180     18 |  0.001 % |
2.47/2.51	c |     20598 |     525     8592    28720 | 2147483647    13327     18 |  0.000 % |
2.47/2.53	c |     20759 |     525     8592    28720 | 2147483647    13488     18 |  0.000 % |
2.47/2.56	c |     20936 |     525     8592    28720 | 2147483647    13665     18 |  0.000 % |
2.57/2.60	c |     21129 |     525     8592    28720 | 2147483647    13858     18 |  0.000 % |
2.57/2.64	c |     21341 |     525     8592    28720 | 2147483647    14070     18 |  0.001 % |
2.57/2.68	c |     21576 |     525     8592    28720 | 2147483647    14305     18 |  0.001 % |
2.67/2.72	c |     21834 |     525     8592    28720 | 2147483647    14563     18 |  0.000 % |
2.67/2.76	c |     22116 |     525     8592    28720 | 2147483647    14845     18 |  0.000 % |
2.77/2.81	c |     22425 |     525     8592    28720 | 2147483647    15154     18 |  0.000 % |
2.77/2.87	c |     22764 |     525     8592    28720 | 2147483647    15493     18 |  0.000 % |
2.87/2.94	c |     23138 |     525     8592    28720 | 2147483647    15867     18 |  0.001 % |
2.97/3.01	c |     23547 |     525     8592    28720 | 2147483647    16276     18 |  0.000 % |
2.97/3.03	c |     23647 |     525     8592    28720 | 2147483647    16376     18 |  0.001 % |
2.97/3.05	c |     23757 |     525     8592    28720 | 2147483647    16486     18 |  0.001 % |
2.97/3.07	c |     23879 |     525     8592    28720 | 2147483647    16608     18 |  0.001 % |
3.07/3.10	c |     24014 |     525     8592    28720 | 2147483647    16743     18 |  0.000 % |
3.07/3.13	c |     24161 |     525     8592    28720 | 2147483647    16890     18 |  0.001 % |
3.07/3.17	c |     24321 |     525     8592    28720 | 2147483647    17050     18 |  0.001 % |
3.07/3.20	c |     24499 |     525     8592    28720 | 2147483647    17228     18 |  0.001 % |
3.18/3.24	c |     24695 |     525     8592    28720 | 2147483647    17424     18 |  0.000 % |
3.18/3.28	c |     24910 |     525     8592    28720 | 2147483647    17639     18 |  0.000 % |
3.28/3.33	c |     25145 |     525     8592    28720 | 2147483647    17874     18 |  0.001 % |
3.28/3.38	c |     25401 |     525     8592    28720 | 2147483647    18130     18 |  0.000 % |
3.37/3.44	c |     25682 |     525     8592    28720 | 2147483647    18411     18 |  0.001 % |
3.47/3.50	c |     25991 |     525     8592    28720 | 2147483647    18720     18 |  0.000 % |
3.47/3.57	c |     26330 |     525     8592    28720 | 2147483647    19059     18 |  0.000 % |
3.57/3.64	c |     26703 |     525     8592    28720 | 2147483647    19432     18 |  0.001 % |
3.67/3.73	c |     27113 |     525     8592    28720 | 2147483647    19842     18 |  0.001 % |
3.77/3.83	c |     27562 |     525     8592    28720 | 2147483647    20291     18 |  0.001 % |
3.77/3.85	c |     27662 |     525     8592    28720 | 2147483647    20391     18 |  0.001 % |
3.77/3.88	c |     27773 |     525     8592    28720 | 2147483647    20502     18 |  0.000 % |
3.87/3.91	c |     27894 |     525     8592    28720 | 2147483647    20623     18 |  0.000 % |
3.87/3.94	c |     28028 |     525     8592    28720 | 2147483647    20757     18 |  0.000 % |
3.87/3.99	c |     28175 |     525     8592    28720 | 2147483647    20904     18 |  0.000 % |
3.97/4.02	c |     28335 |     525     8592    28720 | 2147483647    21064     18 |  0.000 % |
3.97/4.07	c |     28512 |     525     8592    28720 | 2147483647    21241     18 |  0.000 % |
4.07/4.13	c |     28705 |     525     8592    28720 | 2147483647    21434     18 |  0.000 % |
4.17/4.20	c |     28917 |     525     8592    28720 | 2147483647    21646     18 |  0.001 % |
4.17/4.28	c |     29151 |     525     8592    28720 | 2147483647    21880     18 |  0.000 % |
4.27/4.33	c |     29408 |     525     8592    28720 | 2147483647    22137     18 |  0.000 % |
4.37/4.41	c |     29689 |     525     8592    28720 | 2147483647    22418     18 |  0.000 % |
4.37/4.49	c |     29999 |     525     8592    28720 | 2147483647    22728     18 |  0.000 % |
4.47/4.59	c |     30338 |     525     8592    28720 | 2147483647    23067     18 |  0.000 % |
4.57/4.70	c |     30712 |     525     8592    28720 | 2147483647    23441     18 |  0.000 % |
4.78/4.81	c |     31123 |     525     8592    28720 | 2147483647    23852     18 |  0.000 % |
4.88/4.93	c |     31572 |     525     8592    28720 | 2147483647    24301     18 |  0.000 % |
4.97/5.07	c |     32067 |     525     8592    28720 | 2147483647    24796     18 |  0.001 % |
5.07/5.10	c |     32168 |     525     8592    28720 | 2147483647    24897     18 |  0.000 % |
5.07/5.13	c |     32278 |     525     8592    28720 | 2147483647    25007     18 |  0.000 % |
5.07/5.17	c |     32400 |     525     8592    28720 | 2147483647    25129     18 |  0.001 % |
5.17/5.22	c |     32533 |     525     8592    28720 | 2147483647    25262     18 |  0.000 % |
5.17/5.26	c |     32679 |     525     8592    28720 | 2147483647    25408     18 |  0.000 % |
5.27/5.31	c |     32840 |     525     8592    28720 | 2147483647    25569     18 |  0.000 % |
5.27/5.36	c |     33017 |     525     8592    28720 | 2147483647    25746     18 |  0.001 % |
5.38/5.42	c |     33210 |     525     8592    28720 | 2147483647    25939     18 |  0.001 % |
5.38/5.48	c |     33422 |     525     8592    28720 | 2147483647    26151     18 |  0.000 % |
5.48/5.55	c |     33659 |     525     8592    28720 | 2147483647    26388     18 |  0.000 % |
5.57/5.62	c |     33915 |     525     8592    28720 | 2147483647    26644     18 |  0.000 % |
5.67/5.71	c |     34198 |     525     8592    28720 | 2147483647    26927     18 |  0.001 % |
5.77/5.81	c |     34507 |     525     8592    28720 | 2147483647    27236     18 |  0.001 % |
5.87/5.90	c |     34847 |     525     8592    28720 | 2147483647    27576     18 |  0.001 % |
5.97/6.02	c |     35219 |     525     8592    28720 | 2147483647    27948     18 |  0.001 % |
6.07/6.14	c |     35629 |     525     8592    28720 | 2147483647    28358     18 |  0.001 % |
6.17/6.29	c |     36078 |     525     8592    28720 | 2147483647    28807     18 |  0.000 % |
6.37/6.47	c |     36574 |     525     8592    28720 | 2147483647    29303     18 |  0.000 % |
6.57/6.64	c |     37117 |     525     8592    28720 | 2147483647    29846     18 |  0.000 % |
6.57/6.66	c |     37217 |     525     8592    28720 | 2147483647    29946     18 |  0.001 % |
6.67/6.70	c |     37328 |     525     8592    28720 | 2147483647    30057     18 |  0.001 % |
6.67/6.74	c |     37449 |     525     8592    28720 | 2147483647    30178     18 |  0.001 % |
6.67/6.78	c |     37583 |     525     8592    28720 | 2147483647    30312     18 |  0.000 % |
6.77/6.82	c |     37729 |     525     8592    28720 | 2147483647    30458     18 |  0.001 % |
6.77/6.88	c |     37890 |     525     8592    28720 | 2147483647    30619     18 |  0.000 % |
6.87/6.94	c |     38066 |     525     8592    28720 | 2147483647    30795     18 |  0.000 % |
6.97/7.00	c |     38259 |     525     8592    28720 | 2147483647    30988     18 |  0.000 % |
6.97/7.07	c |     38472 |     525     8592    28720 | 2147483647    31201     18 |  0.000 % |
7.07/7.14	c |     38705 |     525     8592    28720 | 2147483647    31434     18 |  0.000 % |
7.17/7.22	c |     38961 |     525     8592    28720 | 2147483647    31690     18 |  0.001 % |
7.27/7.32	c |     39243 |     525     8592    28720 | 2147483647    31972     19 |  0.000 % |
7.37/7.42	c |     39552 |     525     8592    28720 | 2147483647    32281     19 |  0.001 % |
7.47/7.55	c |     39891 |     525     8592    28720 | 2147483647    32620     19 |  0.000 % |
7.57/7.69	c |     40263 |     525     8592    28720 | 2147483647    32992     19 |  0.000 % |
7.76/7.83	c |     40672 |     525     8592    28720 | 2147483647    33401     19 |  0.001 % |
7.96/8.00	c |     41121 |     525     8592    28720 | 2147483647    33850     19 |  0.001 % |
8.06/8.17	c |     41614 |     525     8592    28720 | 2147483647    34343     19 |  0.001 % |
8.26/8.37	c |     42157 |     525     8592    28720 | 2147483647    34886     19 |  0.000 % |
8.56/8.62	c |     42753 |     525     8592    28720 | 2147483647    35482     19 |  0.001 % |
8.56/8.66	c |     42853 |     525     8592    28720 | 2147483647    35582     19 |  0.000 % |
8.67/8.71	c |     42963 |     525     8592    28720 | 2147483647    35692     19 |  0.000 % |
8.67/8.76	c |     43084 |     525     8592    28720 | 2147483647    35813     19 |  0.000 % |
8.77/8.82	c |     43218 |     525     8592    28720 | 2147483647    35947     19 |  0.000 % |
8.77/8.88	c |     43364 |     525     8592    28720 | 2147483647    36093     19 |  0.000 % |
8.86/8.95	c |     43525 |     525     8592    28720 | 2147483647    36254     19 |  0.000 % |
8.96/9.03	c |     43701 |     525     8592    28720 | 2147483647    36430     19 |  0.001 % |
9.06/9.14	c |     43898 |     525     8592    28720 | 2147483647    36627     19 |  0.001 % |
9.16/9.24	c |     44111 |     525     8592    28720 | 2147483647    36840     19 |  0.001 % |
9.26/9.35	c |     44344 |     525     8592    28720 | 2147483647    37073     19 |  0.001 % |
9.36/9.49	c |     44600 |     525     8592    28720 | 2147483647    37329     19 |  0.001 % |
9.56/9.61	c |     44882 |     525     8592    28720 | 2147483647    37611     19 |  0.000 % |
9.66/9.76	c |     45192 |     525     8592    28720 | 2147483647    37921     19 |  0.001 % |
9.86/9.91	c |     45531 |     525     8592    28720 | 2147483647    38260     19 |  0.001 % |
9.96/10.08	c |     45903 |     525     8592    28720 | 2147483647    38632     19 |  0.001 % |
10.16/10.27	c |     46312 |     525     8592    28720 | 2147483647    39041     19 |  0.001 % |
10.36/10.49	c |     46763 |     525     8592    28720 | 2147483647    39492     19 |  0.000 % |
10.66/10.78	c |     47257 |     525     8592    28720 | 2147483647    39986     19 |  0.001 % |
10.97/11.04	c |     47800 |     525     8592    28720 | 2147483647    40529     19 |  0.000 % |
11.27/11.32	c |     48397 |     525     8592    28720 | 2147483647    41126     19 |  0.001 % |
11.56/11.63	c |     49052 |     525     8592    28720 | 2147483647    41781     19 |  0.001 % |
11.56/11.68	c |     49155 |     525     8592    28720 | 2147483647    41884     19 |  0.000 % |
11.66/11.74	c |     49266 |     525     8592    28720 | 2147483647    41995     19 |  0.001 % |
11.66/11.79	c |     49387 |     525     8592    28720 | 2147483647    42116     19 |  0.000 % |
11.76/11.86	c |     49521 |     525     8592    28720 | 2147483647    42250     19 |  0.001 % |
11.86/11.93	c |     49667 |     525     8592    28720 | 2147483647    42396     19 |  0.001 % |
11.86/11.99	c |     49828 |     525     8592    28720 | 2147483647    42557     19 |  0.001 % |
11.97/12.10	c |     50006 |     525     8592    28720 | 2147483647    42735     19 |  0.001 % |
12.07/12.20	c |     50199 |     525     8592    28720 | 2147483647    42928     19 |  0.001 % |
12.26/12.31	c |     50412 |     525     8592    28720 | 2147483647    43141     19 |  0.000 % |
12.36/12.43	c |     50645 |     525     8592    28720 | 2147483647    43374     19 |  0.001 % |
12.46/12.58	c |     50901 |     525     8592    28720 | 2147483647    43630     19 |  0.000 % |
12.66/12.71	c |     51182 |     525     8592    28720 | 2147483647    43911     19 |  0.001 % |
12.76/12.89	c |     51493 |     525     8592    28720 | 2147483647    44222     19 |  0.000 % |
12.96/13.04	c |     51833 |     525     8592    28720 | 2147483647    44562     19 |  0.000 % |
13.17/13.28	c |     52205 |     525     8592    28720 | 2147483647    44934     19 |  0.001 % |
13.36/13.46	c |     52617 |     525     8592    28720 | 2147483647    45346     19 |  0.000 % |
13.66/13.72	c |     53066 |     525     8592    28720 | 2147483647    45795     19 |  0.001 % |
13.96/14.04	c |     53559 |     525     8592    28720 | 2147483647    46288     19 |  0.000 % |
14.36/14.43	c |     54102 |     525     8592    28720 | 2147483647    46831     19 |  0.001 % |
14.76/14.80	c |     54698 |     525     8592    28720 | 2147483647    47427     19 |  0.000 % |
15.06/15.15	c |     55353 |     525     8592    28720 | 2147483647    48082     19 |  0.000 % |
15.46/15.54	c |     56073 |     525     8592    28720 | 2147483647    48802     19 |  0.000 % |
15.46/15.58	c |     56174 |     525     8592    28720 | 2147483647    48903     19 |  0.001 % |
15.56/15.64	c |     56285 |     525     8592    28720 | 2147483647    49014     19 |  0.001 % |
15.66/15.71	c |     56406 |     525     8592    28720 | 2147483647    49135     19 |  0.001 % |
15.66/15.79	c |     56539 |     525     8592    28720 | 2147483647    49268     19 |  0.001 % |
15.76/15.89	c |     56686 |     525     8592    28720 | 2147483647    49415     19 |  0.000 % |
15.86/15.98	c |     56846 |     525     8592    28720 | 2147483647    49575     19 |  0.001 % |
15.96/16.09	c |     57023 |     525     8592    28720 | 2147483647    49752     19 |  0.001 % |
16.16/16.22	c |     57218 |     525     8592    28720 | 2147483647    49947     19 |  0.001 % |
16.26/16.34	c |     57432 |     525     8592    28720 | 2147483647    50161     19 |  0.001 % |
16.36/16.50	c |     57665 |     525     8592    28720 | 2147483647    50394     19 |  0.001 % |
16.55/16.65	c |     57921 |     525     8592    28720 | 2147483647    50650     19 |  0.000 % |
16.75/16.85	c |     58202 |     525     8592    28720 | 2147483647    50931     19 |  0.001 % |
16.95/17.06	c |     58512 |     525     8592    28720 | 2147483647    51241     19 |  0.001 % |
17.15/17.29	c |     58851 |     525     8592    28720 | 2147483647    51580     19 |  0.001 % |
17.46/17.54	c |     59223 |     525     8592    28720 | 2147483647    51952     19 |  0.001 % |
17.75/17.82	c |     59634 |     525     8592    28720 | 2147483647    52363     19 |  0.001 % |
18.15/18.25	c |     60084 |     525     8592    28720 |    52730    45045     19 |  0.001 % |
18.45/18.56	c |     60580 |     525     8592    28720 |    52730    45541     19 |  0.001 % |
18.85/18.92	c |     61122 |     525     8592    28720 |    52730    46083     18 |  0.001 % |
19.15/19.27	c |     61718 |     525     8592    28720 |    52730    46679     18 |  0.001 % |
19.55/19.64	c |     62376 |     525     8592    28720 |    52730    47337     19 |  0.001 % |
19.85/20.00	c |     63098 |     525     8592    28720 |    52730    48059     19 |  0.000 % |
20.35/20.44	c |     63890 |     525     8592    28720 |    52730    48851     19 |  0.001 % |
20.35/20.49	c |     63990 |     525     8592    28720 |    52730    48951     19 |  0.001 % |
20.45/20.55	c |     64100 |     525     8592    28720 |    52730    49061     19 |  0.001 % |
20.55/20.62	c |     64222 |     525     8592    28720 |    52730    49183     19 |  0.001 % |
20.65/20.70	c |     64355 |     525     8592    28720 |    52730    49316     19 |  0.001 % |
20.65/20.80	c |     64502 |     525     8592    28720 |    52730    49463     19 |  0.001 % |
20.75/20.90	c |     64663 |     525     8592    28720 |    52730    49624     19 |  0.001 % |
20.95/21.00	c |     64841 |     525     8592    28720 |    52730    49802     19 |  0.001 % |
21.05/21.12	c |     65035 |     525     8592    28720 |    52730    49996     19 |  0.001 % |
21.15/21.28	c |     65249 |     525     8592    28720 |    52730    50210     19 |  0.001 % |
21.35/21.46	c |     65484 |     525     8592    28720 |    52730    50445     19 |  0.001 % |
21.55/21.61	c |     65740 |     525     8592    28720 |    52730    50701     19 |  0.001 % |
21.65/21.78	c |     66022 |     525     8592    28720 |    52730    50983     19 |  0.001 % |
21.95/22.01	c |     66332 |     525     8592    28720 |    52730    51293     19 |  0.001 % |
22.15/22.29	c |     66672 |     525     8592    28720 |    52730    51633     19 |  0.001 % |
22.45/22.56	c |     67044 |     525     8592    28720 |    52730    52005     19 |  0.001 % |
22.75/22.83	c |     67453 |     525     8592    28720 |    52730    52414     19 |  0.001 % |
23.15/23.22	c |     67903 |     525     8592    28720 |    52730    44593     18 |  0.001 % |
23.45/23.53	c |     68397 |     525     8592    28720 |    52730    45087     18 |  0.001 % |
23.75/23.85	c |     68940 |     525     8592    28720 |    52730    45630     18 |  0.001 % |
24.05/24.18	c |     69536 |     525     8592    28720 |    52730    46226     18 |  0.001 % |
24.55/24.66	c |     70191 |     525     8592    28720 |    46690    39721     18 |  0.001 % |
24.95/25.03	c |     70911 |     525     8592    28720 |    46690    40441     18 |  0.001 % |
25.35/25.47	c |     71703 |     525     8592    28720 |    46690    41233     18 |  0.001 % |
25.95/26.02	c |     72574 |     525     8592    28720 |    46690    42104     18 |  0.001 % |
25.95/26.08	c |     72675 |     525     8592    28720 |    46690    42205     18 |  0.001 % |
26.05/26.15	c |     72785 |     525     8592    28720 |    46690    42315     18 |  0.001 % |
26.15/26.23	c |     72907 |     525     8592    28720 |    46690    42437     18 |  0.001 % |
26.25/26.31	c |     73041 |     525     8592    28720 |    46690    42571     18 |  0.001 % |
26.25/26.39	c |     73187 |     525     8592    28720 |    46690    42717     18 |  0.001 % |
26.35/26.47	c |     73347 |     525     8592    28720 |    46690    42877     18 |  0.001 % |
26.45/26.56	c |     73523 |     525     8592    28720 |    46690    43053     18 |  0.000 % |
26.55/26.67	c |     73717 |     525     8592    28720 |    46690    43247     18 |  0.000 % |
26.65/26.79	c |     73931 |     525     8592    28720 |    46690    43461     18 |  0.001 % |
26.85/26.91	c |     74166 |     525     8592    28720 |    46690    43696     18 |  0.001 % |
26.95/27.04	c |     74422 |     525     8592    28720 |    46690    43952     18 |  0.000 % |
27.05/27.19	c |     74703 |     525     8592    28720 |    46690    44233     18 |  0.000 % |
27.25/27.35	c |     75012 |     525     8592    28720 |    46690    44542     18 |  0.001 % |
27.45/27.56	c |     75351 |     525     8592    28720 |    46690    44881     18 |  0.000 % |
27.65/27.77	c |     75723 |     525     8592    28720 |    46690    45253     18 |  0.001 % |
27.85/27.99	c |     76133 |     525     8592    28720 |    46690    45663     18 |  0.001 % |
28.15/28.24	c |     76582 |     525     8592    28720 |    46690    46112     18 |  0.001 % |
28.45/28.55	c |     77076 |     525     8592    28720 |    46690    46606     18 |  0.000 % |
28.85/28.90	c |     77619 |     525     8592    28720 |    46690    40680     17 |  0.001 % |
29.04/29.18	c |     78217 |     525     8592    28720 |    46690    41278     17 |  0.001 % |
29.44/29.53	c |     78873 |     525     8592    28720 |    46690    41934     17 |  0.001 % |
29.85/29.92	c |     79594 |     525     8592    28720 |    46690    42655     17 |  0.001 % |
30.35/30.44	c |     80387 |     525     8592    28720 |    43062    37926     17 |  0.000 % |
30.84/30.91	c |     81259 |     525     8592    28720 |    43062    38798     17 |  0.001 % |
31.34/31.41	c |     82217 |     525     8592    28720 |    43062    39756     17 |  0.001 % |
31.34/31.46	c |     82318 |     525     8592    28720 |    43062    39857     17 |  0.001 % |
31.44/31.52	c |     82428 |     525     8592    28720 |    43062    39967     17 |  0.001 % |
31.44/31.58	c |     82550 |     525     8592    28720 |    43062    40089     17 |  0.000 % |
31.54/31.66	c |     82684 |     525     8592    28720 |    43062    40223     17 |  0.001 % |
31.64/31.74	c |     82830 |     525     8592    28720 |    43062    40369     17 |  0.001 % |
31.75/31.84	c |     82990 |     525     8592    28720 |    43062    40529     17 |  0.001 % |
31.85/31.95	c |     83168 |     525     8592    28720 |    43062    40707     17 |  0.001 % |
31.94/32.05	c |     83361 |     525     8592    28720 |    43062    40900     17 |  0.001 % |
32.04/32.17	c |     83573 |     525     8592    28720 |    43062    41112     17 |  0.001 % |
32.24/32.32	c |     83806 |     525     8592    28720 |    43062    41345     17 |  0.001 % |
32.34/32.45	c |     84063 |     525     8592    28720 |    43062    41602     17 |  0.001 % |
32.54/32.62	c |     84345 |     525     8592    28720 |    43062    41884     17 |  0.001 % |
32.74/32.81	c |     84654 |     525     8592    28720 |    43062    42193     17 |  0.001 % |
32.95/33.03	c |     84993 |     525     8592    28720 |    43062    42532     18 |  0.001 % |
33.14/33.23	c |     85369 |     525     8592    28720 |    43062    42908     17 |  0.001 % |
33.44/33.52	c |     85778 |     525     8592    28720 |    43062    38117     17 |  0.000 % |
33.64/33.76	c |     86227 |     525     8592    28720 |    43062    38566     17 |  0.001 % |
33.84/33.99	c |     86720 |     525     8592    28720 |    43062    39059     17 |  0.001 % |
34.14/34.26	c |     87262 |     525     8592    28720 |    43062    39601     17 |  0.001 % |
34.44/34.55	c |     87858 |     525     8592    28720 |    43062    40197     17 |  0.001 % |
34.84/34.92	c |     88513 |     525     8592    28720 |    43062    40852     17 |  0.001 % |
35.24/35.33	c |     89233 |     525     8592    28720 |    43062    41572     17 |  0.001 % |
35.74/35.84	c |     90026 |     525     8592    28720 |    42339    42365     17 |  0.001 % |
36.24/36.39	c |     90897 |     525     8592    28720 |    42339    38209     17 |  0.001 % |
36.74/36.82	c |     91856 |     525     8592    28720 |    42339    39168     17 |  0.001 % |
37.24/37.31	c |     92909 |     525     8592    28720 |    42339    40221     17 |  0.001 % |
37.24/37.36	c |     93009 |     525     8592    28720 |    42339    40321     17 |  0.001 % |
37.34/37.41	c |     93120 |     525     8592    28720 |    42339    40432     17 |  0.001 % |
37.34/37.48	c |     93242 |     525     8592    28720 |    42339    40554     17 |  0.001 % |
37.44/37.56	c |     93376 |     525     8592    28720 |    42339    40688     17 |  0.000 % |
37.54/37.63	c |     93523 |     525     8592    28720 |    42339    40835     17 |  0.001 % |
37.64/37.71	c |     93685 |     525     8592    28720 |    42339    40997     17 |  0.000 % |
37.64/37.79	c |     93862 |     525     8592    28720 |    42339    41174     17 |  0.000 % |
37.74/37.89	c |     94056 |     525     8592    28720 |    42339    41368     17 |  0.001 % |
37.94/38.02	c |     94268 |     525     8592    28720 |    42339    41580     17 |  0.001 % |
38.04/38.15	c |     94501 |     525     8592    28720 |    42339    41813     17 |  0.001 % |
38.14/38.29	c |     94757 |     525     8592    28720 |    42339    42069     17 |  0.001 % |
38.34/38.46	c |     95039 |     525     8592    28720 |    42339    42351     17 |  0.001 % |
38.54/38.67	c |     95348 |     525     8592    28720 |    42339    38299     17 |  0.001 % |
38.74/38.82	c |     95687 |     525     8592    28720 |    42339    38638     17 |  0.001 % |
38.94/39.02	c |     96059 |     525     8592    28720 |    42339    39010     17 |  0.001 % |
39.14/39.23	c |     96468 |     525     8592    28720 |    42339    39419     17 |  0.001 % |
39.34/39.48	c |     96918 |     525     8592    28720 |    42339    39869     17 |  0.000 % |
39.64/39.74	c |     97412 |     525     8592    28720 |    42339    40363     17 |  0.001 % |
39.94/40.02	c |     97954 |     525     8592    28720 |    42339    40905     17 |  0.000 % |
40.24/40.34	c |     98551 |     525     8592    28720 |    42339    41502     17 |  0.001 % |
40.55/40.67	c |     99207 |     525     8592    28720 |    42339    42158     17 |  0.001 % |
40.95/41.05	c |     99928 |     525     8592    28720 |    42339    38460     17 |  0.000 % |
41.35/41.49	c |    100721 |     525     8592    28720 |    38532    35248     17 |  0.001 % |
41.85/41.94	c |    101594 |     525     8592    28720 |    38532    36121     17 |  0.000 % |
42.25/42.34	c |    102554 |     525     8592    28720 |    38532    37081     17 |  0.001 % |
42.85/42.92	c |    103607 |     525     8592    28720 |    38532    38134     17 |  0.001 % |
43.54/43.61	c |    104768 |     525     8592    28720 |    38532    35432     17 |  0.001 % |
43.54/43.66	c |    104870 |     525     8592    28720 |    38532    35534     17 |  0.001 % |
43.64/43.71	c |    104980 |     525     8592    28720 |    38532    35644     17 |  0.001 % |
43.64/43.77	c |    105102 |     525     8592    28720 |    38532    35766     17 |  0.001 % |
43.74/43.84	c |    105235 |     525     8592    28720 |    38532    35899     17 |  0.001 % |
43.85/43.91	c |    105381 |     525     8592    28720 |    38532    36045     17 |  0.001 % |
43.85/43.98	c |    105542 |     525     8592    28720 |    38532    36206     17 |  0.000 % |
43.95/44.07	c |    105718 |     525     8592    28720 |    38532    36382     17 |  0.001 % |
44.04/44.16	c |    105911 |     525     8592    28720 |    38532    36575     17 |  0.001 % |
44.14/44.27	c |    106124 |     525     8592    28720 |    38532    36788     17 |  0.000 % |
44.24/44.38	c |    106359 |     525     8592    28720 |    38532    37023     17 |  0.001 % |
44.34/44.49	c |    106619 |     525     8592    28720 |    38532    37283     17 |  0.001 % |
44.54/44.62	c |    106902 |     525     8592    28720 |    38532    37566     17 |  0.001 % |
44.64/44.75	c |    107212 |     525     8592    28720 |    38532    37876     17 |  0.001 % |
44.84/44.90	c |    107551 |     525     8592    28720 |    38532    38215     17 |  0.000 % |
45.05/45.11	c |    107924 |     525     8592    28720 |    38532    38588     17 |  0.001 % |
45.24/45.36	c |    108333 |     525     8592    28720 |    38532    35139     17 |  0.001 % |
45.44/45.59	c |    108783 |     525     8592    28720 |    38532    35589     17 |  0.001 % |
45.64/45.79	c |    109277 |     525     8592    28720 |    38532    36083     17 |  0.001 % |
45.94/46.07	c |    109819 |     525     8592    28720 |    38532    36625     17 |  0.001 % |
46.24/46.37	c |    110415 |     525     8592    28720 | 2147483647    37221     17 |  0.001 % |
46.54/46.69	c |    111070 |     525     8592    28720 | 2147483647    37876     17 |  0.001 % |
46.94/47.07	c |    111790 |     525     8592    28720 | 2147483647    38596     17 |  0.001 % |
47.34/47.48	c |    112584 |     525     8592    28720 | 2147483647    39390     17 |  0.001 % |
47.84/47.96	c |    113455 |     525     8592    28720 | 2147483647    40261     17 |  0.001 % |
48.34/48.46	c |    114415 |     525     8592    28720 | 2147483647    41221     17 |  0.001 % |
48.94/49.08	c |    115468 |     525     8592    28720 | 2147483647    42274     17 |  0.001 % |
49.64/49.75	c |    116627 |     525     8592    28720 | 2147483647    43433     17 |  0.001 % |
50.44/50.51	c |    117900 |     525     8592    28720 | 2147483647    44706     17 |  0.001 % |
50.44/50.57	c |    118001 |     525     8592    28720 | 2147483647    44807     17 |  0.001 % |
50.54/50.65	c |    118112 |     525     8592    28720 | 2147483647    44918     17 |  0.001 % |
50.64/50.72	c |    118235 |     525     8592    28720 | 2147483647    45041     17 |  0.001 % |
50.74/50.81	c |    118369 |     525     8592    28720 | 2147483647    45175     17 |  0.001 % |
50.84/50.90	c |    118515 |     525     8592    28720 | 2147483647    45321     17 |  0.001 % |
50.94/51.02	c |    118677 |     525     8592    28720 | 2147483647    45483     17 |  0.001 % |
51.04/51.13	c |    118853 |     525     8592    28720 | 2147483647    45659     17 |  0.001 % |
51.14/51.24	c |    119046 |     525     8592    28720 | 2147483647    45852     17 |  0.001 % |
51.24/51.38	c |    119258 |     525     8592    28720 | 2147483647    46064     17 |  0.000 % |
51.44/51.52	c |    119492 |     525     8592    28720 | 2147483647    46298     17 |  0.001 % |
51.54/51.69	c |    119748 |     525     8592    28720 | 2147483647    46554     17 |  0.000 % |
51.74/51.85	c |    120031 |     525     8592    28720 |    46806    46837     17 |  0.001 % |
52.04/52.10	c |    120340 |     525     8592    28720 |    46806    42052     17 |  0.001 % |
52.24/52.30	c |    120679 |     525     8592    28720 |    46806    42391     17 |  0.001 % |
52.43/52.52	c |    121052 |     525     8592    28720 |    46806    42764     17 |  0.001 % |
52.64/52.76	c |    121463 |     525     8592    28720 |    46806    43175     17 |  0.001 % |
52.93/53.06	c |    121913 |     525     8592    28720 |    46806    43625     17 |  0.001 % |
53.23/53.36	c |    122406 |     525     8592    28720 |    46806    44118     17 |  0.001 % |
53.53/53.68	c |    122949 |     525     8592    28720 |    46806    44661     17 |  0.001 % |
53.93/54.05	c |    123545 |     525     8592    28720 |    46806    45257     17 |  0.001 % |
54.33/54.48	c |    124200 |     525     8592    28720 |    46806    45912     17 |  0.001 % |
54.84/54.91	c |    124920 |     525     8592    28720 |    46806    46632     17 |  0.001 % |
55.33/55.44	c |    125712 |     525     8592    28720 |    46806    40873     17 |  0.001 % |
55.73/55.84	c |    126585 |     525     8592    28720 |    46806    41746     17 |  0.000 % |
56.33/56.42	c |    127544 |     525     8592    28720 |    46806    42705     17 |  0.001 % |
56.93/57.07	c |    128597 |     525     8592    28720 |    46806    43758     17 |  0.001 % |
57.63/57.79	c |    129755 |     525     8592    28720 |    46806    44916     17 |  0.001 % |
58.43/58.51	c |    131029 |     525     8592    28720 |    45161    40042     17 |  0.001 % |
59.13/59.24	c |    132429 |     525     8592    28720 |    45161    41442     17 |  0.001 % |
59.13/59.29	c |    132529 |     525     8592    28720 |    45161    41542     17 |  0.001 % |
59.24/59.35	c |    132640 |     525     8592    28720 |    45161    41653     17 |  0.000 % |
59.34/59.41	c |    132762 |     525     8592    28720 |    45161    41775     17 |  0.001 % |
59.34/59.48	c |    132895 |     525     8592    28720 |    45161    41908     17 |  0.001 % |
59.43/59.56	c |    133043 |     525     8592    28720 |    45161    42056     17 |  0.001 % |
59.53/59.66	c |    133203 |     525     8592    28720 |    45161    42216     17 |  0.001 % |
59.63/59.74	c |    133380 |     525     8592    28720 |    45161    42393     17 |  0.001 % |
59.73/59.85	c |    133574 |     525     8592    28720 |    45161    42587     17 |  0.001 % |
59.83/59.98	c |    133786 |     525     8592    28720 |    45161    42799     17 |  0.001 % |
60.03/60.11	c |    134019 |     525     8592    28720 |    45161    43032     17 |  0.001 % |
60.13/60.28	c |    134275 |     525     8592    28720 |    45161    43288     17 |  0.000 % |
60.33/60.46	c |    134557 |     525     8592    28720 |    45161    43570     17 |  0.001 % |
60.53/60.64	c |    134866 |     525     8592    28720 |    45161    43879     17 |  0.001 % |
60.73/60.88	c |    135205 |     525     8592    28720 |    45161    44218     17 |  0.001 % |
61.03/61.12	c |    135578 |     525     8592    28720 |    45161    44591     17 |  0.001 % |
61.33/61.40	c |    135988 |     525     8592    28720 |    45161    45001     17 |  0.001 % |
61.63/61.76	c |    136438 |     525     8592    28720 |    45161    39416     17 |  0.001 % |
61.93/62.06	c |    136931 |     525     8592    28720 |    45161    39909     17 |  0.001 % |
62.23/62.38	c |    137476 |     525     8592    28720 |    45161    40454     17 |  0.000 % |
62.63/62.74	c |    138072 |     525     8592    28720 |    45161    41050     17 |  0.001 % |
63.03/63.11	c |    138727 |     525     8592    28720 |    45161    41705     17 |  0.001 % |
63.43/63.53	c |    139447 |     525     8592    28720 |    45161    42425     17 |  0.001 % |
64.03/64.10	c |    140239 |     525     8592    28720 |    42978    37308     16 |  0.001 % |
64.33/64.44	c |    141111 |     525     8592    28720 |    42978    38180     16 |  0.001 % |
64.73/64.86	c |    142070 |     525     8592    28720 |    42978    39139     16 |  0.001 % |
65.13/65.29	c |    143123 |     525     8592    28720 |    42978    40192     17 |  0.001 % |
65.83/65.93	c |    144282 |     525     8592    28720 |    42978    41351     17 |  0.001 % |
66.43/66.58	c |    145557 |     525     8592    28720 |    42978    42626     17 |  0.001 % |
67.33/67.44	c |    146957 |     525     8592    28720 |    42978    39119     16 |  0.001 % |
68.13/68.26	c |    148497 |     525     8592    28720 |    42978    40659     16 |  0.001 % |
68.23/68.31	c |    148598 |     525     8592    28720 |    42978    40760     16 |  0.001 % |
68.23/68.37	c |    148708 |     525     8592    28720 |    42978    40870     16 |  0.000 % |
68.33/68.44	c |    148829 |     525     8592    28720 |    42978    40991     16 |  0.001 % |
68.43/68.54	c |    148964 |     525     8592    28720 |    42978    41126     16 |  0.001 % |
68.53/68.62	c |    149112 |     525     8592    28720 |    42978    41274     16 |  0.001 % |
68.63/68.71	c |    149273 |     525     8592    28720 |    42978    41435     16 |  0.001 % |
68.73/68.82	c |    149450 |     525     8592    28720 |    42978    41612     16 |  0.001 % |
68.83/68.94	c |    149644 |     525     8592    28720 |    42978    41806     16 |  0.000 % |
68.93/69.07	c |    149859 |     525     8592    28720 |    42978    42021     16 |  0.001 % |
69.13/69.27	c |    150092 |     525     8592    28720 |    42163    37427     16 |  0.001 % |
69.33/69.42	c |    150348 |     525     8592    28720 |    42163    37683     16 |  0.001 % |
69.43/69.55	c |    150629 |     525     8592    28720 |    42163    37964     16 |  0.001 % |
69.63/69.72	c |    150940 |     525     8592    28720 |    42163    38275     16 |  0.001 % |
69.83/69.90	c |    151281 |     525     8592    28720 |    42163    38616     16 |  0.001 % |
70.03/70.11	c |    151653 |     525     8592    28720 |    42163    38988     16 |  0.001 % |
70.23/70.31	c |    152062 |     525     8592    28720 |    42163    39397     16 |  0.001 % |
70.43/70.55	c |    152512 |     525     8592    28720 |    42163    39847     16 |  0.001 % |
70.73/70.84	c |    153005 |     525     8592    28720 |    42163    40340     16 |  0.001 % |
71.03/71.15	c |    153548 |     525     8592    28720 |    42163    40883     16 |  0.001 % |
71.43/71.52	c |    154144 |     525     8592    28720 |    42163    41479     16 |  0.001 % |
71.73/71.86	c |    154799 |     525     8592    28720 |    42163    42134     16 |  0.001 % |
72.23/72.35	c |    155520 |     525     8592    28720 |    42163    38508     16 |  0.001 % |
72.73/72.80	c |    156312 |     525     8592    28720 |    42163    39300     16 |  0.001 % |
73.13/73.27	c |    157183 |     525     8592    28720 |    42163    40171     16 |  0.001 % |
73.72/73.81	c |    158142 |     525     8592    28720 |    42163    41130     16 |  0.001 % |
74.22/74.36	c |    159196 |     525     8592    28720 |    42163    42184     16 |  0.001 % |
74.92/75.03	c |    160354 |     525     8592    28720 |    38666    35148     16 |  0.001 % |
75.62/75.75	c |    161627 |     525     8592    28720 |    38666    36421     16 |  0.001 % |
76.42/76.55	c |    163027 |     525     8592    28720 |    38666    37821     16 |  0.001 % |
77.42/77.52	c |    164567 |     525     8592    28720 |    38666    35479     16 |  0.001 % |
78.32/78.46	c |    166261 |     525     8592    28720 |    38666    37173     16 |  0.001 % |
78.42/78.52	c |    166363 |     525     8592    28720 |    38666    37275     16 |  0.001 % |
78.42/78.58	c |    166474 |     525     8592    28720 |    38666    37386     16 |  0.001 % |
78.52/78.65	c |    166595 |     525     8592    28720 |    38666    37507     16 |  0.001 % |
78.62/78.73	c |    166729 |     525     8592    28720 |    38666    37641     16 |  0.001 % |
78.72/78.81	c |    166875 |     525     8592    28720 |    38666    37787     16 |  0.000 % |
78.72/78.88	c |    167036 |     525     8592    28720 |    38666    37948     16 |  0.000 % |
78.82/78.98	c |    167215 |     525     8592    28720 |    38666    38127     16 |  0.001 % |
78.92/79.06	c |    167411 |     525     8592    28720 |    38666    38323     16 |  0.000 % |
79.02/79.20	c |    167624 |     525     8592    28720 |    38666    38536     16 |  0.000 % |
79.22/79.35	c |    167857 |     525     8592    28720 |    38666    34894     16 |  0.001 % |
79.32/79.49	c |    168116 |     525     8592    28720 |    38666    35153     16 |  0.000 % |
79.52/79.61	c |    168397 |     525     8592    28720 |    38666    35434     16 |  0.001 % |
79.62/79.77	c |    168709 |     525     8592    28720 |    38666    35746     16 |  0.001 % |
79.82/79.95	c |    169048 |     525     8592    28720 |    38666    36085     16 |  0.001 % |
80.02/80.12	c |    169420 |     525     8592    28720 |    38666    36457     16 |  0.001 % |
80.22/80.33	c |    169830 |     525     8592    28720 |    38666    36867     16 |  0.001 % |
80.42/80.56	c |    170280 |     525     8592    28720 | 2147483647    37317     16 |  0.001 % |
80.72/80.81	c |    170774 |     525     8592    28720 | 2147483647    37811     16 |  0.000 % |
80.92/81.06	c |    171317 |     525     8592    28720 | 2147483647    38354     16 |  0.001 % |
81.22/81.32	c |    171913 |     525     8592    28720 | 2147483647    38950     16 |  0.001 % |
81.52/81.60	c |    172570 |     525     8592    28720 | 2147483647    39607     16 |  0.000 % |
81.82/81.96	c |    173292 |     525     8592    28720 | 2147483647    40329     16 |  0.000 % |
82.22/82.32	c |    174084 |     525     8592    28720 | 2147483647    41121     16 |  0.001 % |
82.62/82.74	c |    174955 |     525     8592    28720 | 2147483647    41992     16 |  0.001 % |
83.12/83.29	c |    175913 |     525     8592    28720 | 2147483647    42950     16 |  0.001 % |
83.81/83.96	c |    176966 |     525     8592    28720 | 2147483647    44003     16 |  0.001 % |
84.52/84.62	c |    178124 |     525     8592    28720 | 2147483647    45161     16 |  0.001 % |
85.11/85.27	c |    179399 |     525     8592    28720 | 2147483647    46436     16 |  0.001 % |
85.91/86.04	c |    180800 |     525     8592    28720 |    47038    42265     16 |  0.001 % |
86.72/86.85	c |    182342 |     525     8592    28720 |    47038    43807     16 |  0.001 % |
87.61/87.74	c |    184038 |     525     8592    28720 |    47038    45503     16 |  0.000 % |
88.81/88.91	c |    185901 |     525     8592    28720 |    47038    41282     16 |  0.001 % |
88.81/88.95	c |    186001 |     525     8592    28720 |    47038    41382     16 |  0.001 % |
88.91/89.02	c |    186111 |     525     8592    28720 |    47038    41492     16 |  0.001 % |
88.91/89.09	c |    186235 |     525     8592    28720 |    47038    41616     16 |  0.001 % |
89.01/89.16	c |    186368 |     525     8592    28720 |    47038    41749     16 |  0.001 % |
89.11/89.23	c |    186514 |     525     8592    28720 |    47038    41895     16 |  0.001 % |
89.21/89.32	c |    186675 |     525     8592    28720 |    47038    42056     16 |  0.001 % |
89.31/89.42	c |    186852 |     525     8592    28720 |    47038    42233     16 |  0.000 % |
89.41/89.51	c |    187045 |     525     8592    28720 |    47038    42426     16 |  0.001 % |
89.51/89.63	c |    187258 |     525     8592    28720 |    47038    42639     16 |  0.000 % |
89.61/89.76	c |    187493 |     525     8592    28720 |    47038    42874     16 |  0.001 % |
89.71/89.87	c |    187749 |     525     8592    28720 |    47038    43130     16 |  0.001 % |
89.91/90.00	c |    188030 |     525     8592    28720 |    47038    43411     16 |  0.001 % |
90.01/90.19	c |    188341 |     525     8592    28720 |    47038    43722     16 |  0.001 % |
90.21/90.39	c |    188680 |     525     8592    28720 |    47038    44061     16 |  0.001 % |
90.41/90.59	c |    189052 |     525     8592    28720 |    47038    44433     16 |  0.001 % |
90.71/90.84	c |    189463 |     525     8592    28720 |    47038    44844     16 |  0.001 % |
91.01/91.10	c |    189912 |     525     8592    28720 |    47038    45293     16 |  0.001 % |
91.41/91.50	c |    190406 |     525     8592    28720 |    45382    39576     16 |  0.001 % |
91.71/91.81	c |    190948 |     525     8592    28720 |    45382    40118     16 |  0.001 % |
92.01/92.11	c |    191545 |     525     8592    28720 |    45382    40715     16 |  0.001 % |
92.31/92.46	c |    192200 |     525     8592    28720 |    45382    41370     16 |  0.001 % |
92.60/92.78	c |    192920 |     525     8592    28720 |    45382    42090     16 |  0.001 % |
93.00/93.13	c |    193713 |     525     8592    28720 |    45382    42883     16 |  0.000 % |
93.31/93.46	c |    194584 |     525     8592    28720 |    45382    43754     16 |  0.001 % |
93.80/93.92	c |    195542 |     525     8592    28720 |    45382    44712     16 |  0.001 % |
94.41/94.56	c |    196598 |     525     8592    28720 |    45382    40294     16 |  0.001 % |
95.00/95.13	c |    197758 |     525     8592    28720 |    45382    41454     16 |  0.001 % |
95.70/95.84	c |    199031 |     525     8592    28720 |    45382    42727     16 |  0.000 % |
96.40/96.58	c |    200431 |     525     8592    28720 |    43697    38988     16 |  0.001 % |
97.30/97.43	c |    201972 |     525     8592    28720 |    43697    40529     17 |  0.000 % |
98.20/98.30	c |    203666 |     525     8592    28720 |    43697    42223     17 |  0.001 % |
99.30/99.45	c |    205529 |     525     8592    28720 |    43697    38714     17 |  0.001 % |
100.40/100.59	c |    207578 |     525     8592    28720 |    43697    40763     17 |  0.001 % |
100.50/100.64	c |    207678 |     525     8592    28720 |    43697    40863     17 |  0.001 % |
100.60/100.70	c |    207788 |     525     8592    28720 |    43697    40973     17 |  0.001 % |
100.60/100.79	c |    207909 |     525     8592    28720 |    43697    41094     17 |  0.001 % |
100.70/100.87	c |    208043 |     525     8592    28720 |    43697    41228     17 |  0.001 % |
100.80/100.94	c |    208189 |     525     8592    28720 |    43697    41374     17 |  0.001 % |
100.90/101.02	c |    208349 |     525     8592    28720 |    43697    41534     17 |  0.001 % |
101.01/101.12	c |    208525 |     525     8592    28720 |    43697    41710     17 |  0.000 % |
101.11/101.25	c |    208718 |     525     8592    28720 |    43697    41903     17 |  0.001 % |
101.20/101.37	c |    208932 |     525     8592    28720 |    43697    42117     17 |  0.001 % |
101.40/101.53	c |    209165 |     525     8592    28720 |    43697    42350     17 |  0.001 % |
101.50/101.68	c |    209422 |     525     8592    28720 |    43697    42607     17 |  0.001 % |
101.70/101.83	c |    209704 |     525     8592    28720 |    43697    42889     17 |  0.000 % |
101.90/102.01	c |    210013 |     525     8592    28720 |    43185    43198     17 |  0.000 % |
102.10/102.28	c |    210353 |     525     8592    28720 |    43185    38012     17 |  0.001 % |
102.30/102.46	c |    210728 |     525     8592    28720 |    43185    38387     17 |  0.001 % |
102.50/102.66	c |    211138 |     525     8592    28720 |    43185    38797     17 |  0.001 % |
102.70/102.87	c |    211587 |     525     8592    28720 |    43185    39246     17 |  0.001 % |
103.00/103.15	c |    212080 |     525     8592    28720 |    43185    39739     17 |  0.001 % |
103.40/103.50	c |    212622 |     525     8592    28720 |    43185    40281     17 |  0.000 % |
103.70/103.86	c |    213218 |     525     8592    28720 |    43185    40877     17 |  0.001 % |
104.10/104.24	c |    213874 |     525     8592    28720 |    43185    41533     17 |  0.000 % |
104.50/104.64	c |    214594 |     525     8592    28720 |    43185    42253     17 |  0.001 % |
105.00/105.13	c |    215387 |     525     8592    28720 |    43185    43046     17 |  0.001 % |
105.50/105.65	c |    216258 |     525     8592    28720 |    43185    38435     17 |  0.001 % |
106.10/106.21	c |    217216 |     525     8592    28720 |    43185    39393     17 |  0.000 % |
106.70/106.81	c |    218269 |     525     8592    28720 |    43185    40446     17 |  0.001 % |
107.30/107.43	c |    219428 |     525     8592    28720 |    43185    41605     17 |  0.001 % |
108.00/108.11	c |    220701 |     525     8592    28720 |    42179    37694     17 |  0.001 % |
108.70/108.84	c |    222101 |     525     8592    28720 |    42179    39094     17 |  0.000 % |
109.50/109.67	c |    223642 |     525     8592    28720 |    42179    40635     17 |  0.000 % |
110.50/110.66	c |    225337 |     525     8592    28720 |    42179    37587     16 |  0.001 % |
111.40/111.54	c |    227201 |     525     8592    28720 |    42179    39451     16 |  0.001 % |
112.50/112.62	c |    229250 |     525     8592    28720 |    42179    41500     17 |  0.001 % |
113.80/113.94	c |    231505 |     525     8592    28720 |    37307    34425     16 |  0.001 % |
113.80/113.99	c |    231606 |     525     8592    28720 |    37307    34526     16 |  0.001 % |
113.90/114.04	c |    231717 |     525     8592    28720 |    37307    34637     16 |  0.000 % |
114.00/114.10	c |    231839 |     525     8592    28720 |    37307    34759     16 |  0.001 % |
114.00/114.17	c |    231972 |     525     8592    28720 |    37307    34892     16 |  0.001 % |
114.10/114.25	c |    232118 |     525     8592    28720 |    37307    35038     16 |  0.001 % |
114.20/114.32	c |    232278 |     525     8592    28720 |    37307    35198     16 |  0.001 % |
114.20/114.40	c |    232454 |     525     8592    28720 |    37307    35374     16 |  0.001 % |
114.40/114.50	c |    232648 |     525     8592    28720 |    37307    35568     16 |  0.001 % |
114.50/114.61	c |    232861 |     525     8592    28720 |    37307    35781     16 |  0.001 % |
114.60/114.72	c |    233095 |     525     8592    28720 |    37307    36015     16 |  0.001 % |
114.70/114.87	c |    233351 |     525     8592    28720 |    37307    36271     16 |  0.001 % |
114.90/115.03	c |    233634 |     525     8592    28720 |    37307    36554     16 |  0.001 % |
115.09/115.20	c |    233944 |     525     8592    28720 |    37307    36864     16 |  0.001 % |
115.30/115.41	c |    234283 |     525     8592    28720 |    37307    37203     16 |  0.001 % |
115.50/115.67	c |    234657 |     525     8592    28720 |    37307    33715     16 |  0.001 % |
115.70/115.87	c |    235066 |     525     8592    28720 |    37307    34124     16 |  0.001 % |
115.90/116.09	c |    235517 |     525     8592    28720 |    37307    34575     16 |  0.001 % |
116.20/116.31	c |    236010 |     525     8592    28720 |    37307    35068     16 |  0.000 % |
116.40/116.58	c |    236552 |     525     8592    28720 |    37307    35610     16 |  0.001 % |
116.69/116.87	c |    237151 |     525     8592    28720 |    37307    36209     16 |  0.001 % |
117.09/117.21	c |    237806 |     525     8592    28720 |    37307    36864     16 |  0.001 % |
117.50/117.62	c |    238527 |     525     8592    28720 |    37307    33848     16 |  0.001 % |
117.79/117.98	c |    239320 |     525     8592    28720 |    37307    34641     16 |  0.001 % |
118.29/118.44	c |    240192 |     525     8592    28720 | 2147483647    35513     16 |  0.001 % |
118.79/118.96	c |    241150 |     525     8592    28720 | 2147483647    36471     16 |  0.001 % |
119.39/119.51	c |    242204 |     525     8592    28720 | 2147483647    37525     17 |  0.001 % |
119.99/120.14	c |    243362 |     525     8592    28720 | 2147483647    38683     17 |  0.000 % |
120.59/120.79	c |    244636 |     525     8592    28720 | 2147483647    39957     17 |  0.001 % |
121.29/121.46	c |    246036 |     525     8592    28720 | 2147483647    41357     17 |  0.001 % |
121.99/122.20	c |    247577 |     525     8592    28720 | 2147483647    42898     17 |  0.000 % |
122.89/123.06	c |    249271 |     525     8592    28720 | 2147483647    44592     17 |  0.001 % |
123.89/124.04	c |    251135 |     525     8592    28720 | 2147483647    46456     17 |  0.001 % |
124.99/125.17	c |    253184 |     525     8592    28720 | 2147483647    48505     17 |  0.001 % |
126.19/126.40	c |    255438 |     525     8592    28720 | 2147483647    50759     17 |  0.000 % |
127.69/127.85	c |    257916 |     525     8592    28720 | 2147483647    53237     17 |  0.000 % |
127.79/127.91	c |    258017 |     525     8592    28720 | 2147483647    53338     17 |  0.001 % |
127.79/127.98	c |    258128 |     525     8592    28720 | 2147483647    53449     17 |  0.001 % |
127.89/128.07	c |    258250 |     525     8592    28720 | 2147483647    53571     17 |  0.001 % |
127.99/128.14	c |    258383 |     525     8592    28720 | 2147483647    53704     17 |  0.001 % |
128.09/128.23	c |    258529 |     525     8592    28720 | 2147483647    53850     17 |  0.000 % |
128.19/128.34	c |    258689 |     525     8592    28720 | 2147483647    54010     17 |  0.001 % |
128.29/128.45	c |    258865 |     525     8592    28720 | 2147483647    54186     17 |  0.000 % |
128.39/128.58	c |    259058 |     525     8592    28720 | 2147483647    54379     17 |  0.001 % |
128.49/128.70	c |    259273 |     525     8592    28720 | 2147483647    54594     17 |  0.001 % |
128.69/128.88	c |    259506 |     525     8592    28720 | 2147483647    54827     17 |  0.000 % |
128.89/129.07	c |    259762 |     525     8592    28720 | 2147483647    55083     17 |  0.001 % |
129.09/129.25	c |    260045 |     525     8592    28720 |    55324    55366     17 |  0.001 % |
129.39/129.59	c |    260357 |     525     8592    28720 |    55324    47817     17 |  0.001 % |
129.69/129.80	c |    260699 |     525     8592    28720 |    55324    48159     17 |  0.001 % |
129.79/129.98	c |    261072 |     525     8592    28720 |    55324    48532     17 |  0.000 % |
130.09/130.22	c |    261481 |     525     8592    28720 |    55324    48941     17 |  0.000 % |
130.29/130.47	c |    261930 |     525     8592    28720 |    55324    49390     17 |  0.001 % |
130.59/130.75	c |    262423 |     525     8592    28720 |    55324    49883     17 |  0.001 % |
130.89/131.09	c |    262965 |     525     8592    28720 |    55324    50425     17 |  0.001 % |
131.29/131.42	c |    263562 |     525     8592    28720 |    55324    51022     17 |  0.001 % |
131.59/131.77	c |    264217 |     525     8592    28720 |    55324    51677     17 |  0.001 % |
131.99/132.17	c |    264937 |     525     8592    28720 |    55324    52397     17 |  0.001 % |
132.49/132.69	c |    265729 |     525     8592    28720 |    55324    53189     17 |  0.001 % |
133.09/133.25	c |    266602 |     525     8592    28720 |    55324    54062     17 |  0.001 % |
133.69/133.86	c |    267560 |     525     8592    28720 |    55324    55020     17 |  0.001 % |
134.49/134.63	c |    268613 |     525     8592    28720 |    55324    47447     17 |  0.001 % |
135.19/135.33	c |    269773 |     525     8592    28720 |    55324    48607     17 |  0.001 % |
135.99/136.14	c |    271046 |     525     8592    28720 |    48835    42401     17 |  0.001 % |
136.79/136.93	c |    272446 |     525     8592    28720 |    48835    43801     17 |  0.000 % |
137.58/137.78	c |    273986 |     525     8592    28720 |    48835    45341     17 |  0.001 % |
138.49/138.62	c |    275684 |     525     8592    28720 |    48835    47039     17 |  0.001 % |
139.59/139.71	c |    277549 |     525     8592    28720 |    48835    48904     17 |  0.000 % |
140.69/140.89	c |    279598 |     525     8592    28720 |    48835    42951     17 |  0.000 % |
142.08/142.21	c |    281852 |     525     8592    28720 |    43353    38335     16 |  0.001 % |
143.48/143.65	c |    284332 |     525     8592    28720 |    43353    40815     16 |  0.000 % |
145.18/145.39	c |    287058 |     525     8592    28720 |    43353    37350     16 |  0.001 % |
145.28/145.45	c |    287160 |     525     8592    28720 |    43353    37452     16 |  0.001 % |
145.38/145.51	c |    287271 |     525     8592    28720 |    43353    37563     16 |  0.001 % |
145.38/145.59	c |    287393 |     525     8592    28720 |    43353    37685     16 |  0.001 % |
145.48/145.66	c |    287527 |     525     8592    28720 |    43353    37819     16 |  0.000 % |
145.58/145.73	c |    287675 |     525     8592    28720 |    43353    37967     16 |  0.001 % |
145.68/145.83	c |    287835 |     525     8592    28720 |    43353    38127     16 |  0.001 % |
145.78/145.93	c |    288011 |     525     8592    28720 |    43353    38303     16 |  0.001 % |
145.88/146.04	c |    288204 |     525     8592    28720 |    43353    38496     16 |  0.001 % |
145.98/146.15	c |    288416 |     525     8592    28720 |    43353    38708     16 |  0.001 % |
146.08/146.27	c |    288649 |     525     8592    28720 |    43353    38941     16 |  0.001 % |
146.28/146.43	c |    288905 |     525     8592    28720 |    43353    39197     16 |  0.000 % |
146.38/146.56	c |    289186 |     525     8592    28720 |    43353    39478     16 |  0.001 % |
146.58/146.71	c |    289498 |     525     8592    28720 |    43353    39790     16 |  0.001 % |
146.68/146.88	c |    289837 |     525     8592    28720 |    43353    40129     17 |  0.001 % |
146.98/147.13	c |    290210 |     525     8592    28720 |    40293    35027     16 |  0.001 % |
147.18/147.33	c |    290621 |     525     8592    28720 |    40293    35438     16 |  0.001 % |
147.38/147.53	c |    291070 |     525     8592    28720 |    40293    35887     16 |  0.001 % |
147.58/147.79	c |    291563 |     525     8592    28720 |    40293    36380     16 |  0.000 % |
147.88/148.04	c |    292105 |     525     8592    28720 |    40293    36922     16 |  0.001 % |
148.18/148.30	c |    292704 |     525     8592    28720 |    40293    37521     16 |  0.001 % |
148.48/148.61	c |    293360 |     525     8592    28720 |    40293    38177     16 |  0.001 % |
148.78/148.96	c |    294082 |     525     8592    28720 |    40293    38899     16 |  0.001 % |
149.19/149.37	c |    294876 |     525     8592    28720 |    40293    39693     16 |  0.001 % |
149.79/149.93	c |    295747 |     525     8592    28720 |    40293    36528     16 |  0.000 % |
150.29/150.47	c |    296705 |     525     8592    28720 |    40293    37486     16 |  0.001 % |
150.89/151.07	c |    297761 |     525     8592    28720 |    40293    38542     16 |  0.000 % |
151.48/151.69	c |    298919 |     525     8592    28720 |    40293    39700     17 |  0.001 % |
152.18/152.33	c |    300195 |     525     8592    28720 | 2147483647    36939     17 |  0.001 % |
152.88/153.00	c |    301596 |     525     8592    28720 | 2147483647    38340     17 |  0.001 % |
153.68/153.81	c |    303136 |     525     8592    28720 | 2147483647    39880     17 |  0.001 % |
154.58/154.77	c |    304832 |     525     8592    28720 | 2147483647    41576     17 |  0.001 % |
155.68/155.83	c |    306695 |     525     8592    28720 | 2147483647    43439     17 |  0.001 % |
157.09/157.20	c |    308746 |     525     8592    28720 | 2147483647    45490     17 |  0.001 % |
158.48/158.62	c |    311000 |     525     8592    28720 |    46745    42003     17 |  0.001 % |
159.88/160.09	c |    313479 |     525     8592    28720 |    46745    44482     17 |  0.001 % |
161.68/161.86	c |    316208 |     525     8592    28720 |    46745    40328     17 |  0.001 % |
163.38/163.53	c |    319206 |     525     8592    28720 |    46745    43326     17 |  0.001 % |
163.38/163.59	c |    319306 |     525     8592    28720 |    46745    43426     17 |  0.001 % |
163.48/163.66	c |    319416 |     525     8592    28720 |    46745    43536     17 |  0.001 % |
163.58/163.75	c |    319537 |     525     8592    28720 |    46745    43657     17 |  0.001 % |
163.68/163.83	c |    319670 |     525     8592    28720 |    46745    43790     17 |  0.001 % |
163.78/163.92	c |    319816 |     525     8592    28720 |    46745    43936     17 |  0.001 % |
163.88/164.03	c |    319976 |     525     8592    28720 |    46745    44096     17 |  0.001 % |
164.08/164.21	c |    320153 |     525     8592    28720 |    44120    37417     17 |  0.001 % |
164.08/164.28	c |    320347 |     525     8592    28720 |    44120    37611     17 |  0.001 % |
164.18/164.35	c |    320560 |     525     8592    28720 |    44120    37824     17 |  0.001 % |
164.28/164.46	c |    320794 |     525     8592    28720 |    44120    38058     17 |  0.000 % |
164.38/164.59	c |    321053 |     525     8592    28720 |    44120    38317     17 |  0.000 % |
164.58/164.74	c |    321336 |     525     8592    28720 |    44120    38600     17 |  0.000 % |
164.78/164.91	c |    321645 |     525     8592    28720 |    44120    38909     17 |  0.001 % |
164.88/165.08	c |    321985 |     525     8592    28720 |    44120    39249     17 |  0.001 % |
165.08/165.29	c |    322357 |     525     8592    28720 |    44120    39621     17 |  0.001 % |
165.38/165.51	c |    322766 |     525     8592    28720 |    44120    40030     17 |  0.000 % |
165.58/165.74	c |    323216 |     525     8592    28720 |    44120    40480     17 |  0.001 % |
165.88/166.01	c |    323710 |     525     8592    28720 |    44120    40974     17 |  0.001 % |
166.08/166.29	c |    324252 |     525     8592    28720 |    44120    41516     17 |  0.001 % |
166.48/166.60	c |    324848 |     525     8592    28720 |    44120    42112     17 |  0.001 % |
166.78/167.00	c |    325503 |     525     8592    28720 |    44120    42767     17 |  0.001 % |
167.28/167.43	c |    326223 |     525     8592    28720 |    44120    43487     17 |  0.001 % |
167.78/167.92	c |    327016 |     525     8592    28720 |    44120    39127     17 |  0.001 % |
168.28/168.41	c |    327888 |     525     8592    28720 |    44120    39999     17 |  0.001 % |
168.78/168.94	c |    328849 |     525     8592    28720 |    44120    40960     17 |  0.001 % |
169.38/169.51	c |    329903 |     525     8592    28720 |    44120    42014     17 |  0.001 % |
170.08/170.23	c |    331061 |     525     8592    28720 |    42112    38273     16 |  0.001 % |
170.78/170.96	c |    332335 |     525     8592    28720 |    42112    39547     17 |  0.001 % |
171.68/171.80	c |    333737 |     525     8592    28720 |    42112    40949     17 |  0.000 % |
172.58/172.73	c |    335277 |     525     8592    28720 |    42112    37456     16 |  0.001 % |
173.48/173.66	c |    336972 |     525     8592    28720 |    42112    39151     16 |  0.001 % |
174.48/174.62	c |    338835 |     525     8592    28720 |    42112    41014     16 |  0.001 % |
175.58/175.71	c |    340884 |     525     8592    28720 |    37751    34707     16 |  0.001 % |
176.58/176.72	c |    343137 |     525     8592    28720 |    37751    36960     16 |  0.001 % |
177.77/177.94	c |    345616 |     525     8592    28720 |    37751    35656     17 |  0.000 % |
179.08/179.21	c |    348343 |     525     8592    28720 |    37751    34600     17 |  0.001 % |
180.77/180.93	c |    351341 |     525     8592    28720 | 2147483647    37598     17 |  0.001 % |
182.57/182.76	c |    354637 |     525     8592    28720 | 2147483647    40894     17 |  0.001 % |
182.67/182.82	c |    354737 |     525     8592    28720 | 2147483647    40994     17 |  0.001 % |
182.67/182.89	c |    354847 |     525     8592    28720 | 2147483647    41104     17 |  0.000 % |
182.77/182.96	c |    354968 |     525     8592    28720 | 2147483647    41225     17 |  0.001 % |
182.87/183.04	c |    355101 |     525     8592    28720 | 2147483647    41358     17 |  0.000 % |
182.97/183.12	c |    355247 |     525     8592    28720 | 2147483647    41504     17 |  0.001 % |
183.07/183.20	c |    355407 |     525     8592    28720 | 2147483647    41664     17 |  0.000 % |
183.17/183.30	c |    355584 |     525     8592    28720 | 2147483647    41841     17 |  0.000 % |
183.27/183.44	c |    355777 |     525     8592    28720 | 2147483647    42034     17 |  0.001 % |
183.37/183.56	c |    355991 |     525     8592    28720 | 2147483647    42248     17 |  0.001 % |
183.58/183.71	c |    356226 |     525     8592    28720 | 2147483647    42483     17 |  0.001 % |
183.67/183.88	c |    356482 |     525     8592    28720 | 2147483647    42739     17 |  0.001 % |
183.87/184.08	c |    356766 |     525     8592    28720 | 2147483647    43023     17 |  0.001 % |
184.07/184.25	c |    357075 |     525     8592    28720 | 2147483647    43332     17 |  0.001 % |
184.27/184.49	c |    357416 |     525     8592    28720 | 2147483647    43673     17 |  0.001 % |
184.57/184.73	c |    357788 |     525     8592    28720 | 2147483647    44045     17 |  0.001 % |
184.77/184.99	c |    358197 |     525     8592    28720 | 2147483647    44454     17 |  0.000 % |
185.07/185.26	c |    358646 |     525     8592    28720 | 2147483647    44903     17 |  0.001 % |
185.37/185.58	c |    359139 |     525     8592    28720 | 2147483647    45396     17 |  0.001 % |
185.77/185.95	c |    359681 |     525     8592    28720 | 2147483647    45938     17 |  0.001 % |
186.27/186.44	c |    360278 |     525     8592    28720 |    46258    40561     17 |  0.001 % |
186.67/186.83	c |    360933 |     525     8592    28720 |    46258    41216     17 |  0.001 % |
187.07/187.26	c |    361653 |     525     8592    28720 |    46258    41936     17 |  0.001 % |
187.57/187.75	c |    362446 |     525     8592    28720 |    46258    42729     17 |  0.000 % |
188.17/188.35	c |    363318 |     525     8592    28720 |    46258    43601     17 |  0.001 % |
188.77/188.98	c |    364277 |     525     8592    28720 |    46258    44560     17 |  0.001 % |
189.57/189.73	c |    365330 |     525     8592    28720 |    46258    45613     17 |  0.001 % |
190.47/190.63	c |    366488 |     525     8592    28720 |    46258    40173     17 |  0.000 % |
191.17/191.32	c |    367761 |     525     8592    28720 |    46258    41446     17 |  0.001 % |
191.96/192.18	c |    369161 |     525     8592    28720 |    46258    42846     17 |  0.001 % |
192.87/193.04	c |    370701 |     525     8592    28720 |    43686    37719     17 |  0.001 % |
193.66/193.84	c |    372396 |     525     8592    28720 |    43686    39414     17 |  0.001 % |
194.66/194.81	c |    374259 |     525     8592    28720 |    43686    41277     17 |  0.001 % |
195.76/195.97	c |    376308 |     525     8592    28720 |    43686    43326     17 |  0.001 % |
197.06/197.28	c |    378562 |     525     8592    28720 |    43686    40113     17 |  0.001 % |
198.76/198.97	c |    381041 |     525     8592    28720 |    41553    37131     17 |  0.000 % |
200.26/200.42	c |    383766 |     525     8592    28720 |    41553    39856     17 |  0.001 % |
201.96/202.10	c |    386764 |     525     8592    28720 |    41553    37714     17 |  0.001 % |
203.86/204.01	c |    390061 |     525     8592    28720 |    40950    41011     17 |  0.001 % |
205.65/205.89	c |    393687 |     525     8592    28720 |    40950    39954     17 |  0.001 % |
205.75/205.95	c |    393787 |     525     8592    28720 |    40950    40054     17 |  0.001 % |
205.85/206.00	c |    393899 |     525     8592    28720 |    40950    40166     17 |  0.001 % |
205.85/206.06	c |    394022 |     525     8592    28720 |    40950    40289     17 |  0.001 % |
205.95/206.14	c |    394156 |     525     8592    28720 |    40950    40423     17 |  0.001 % |
206.05/206.22	c |    394303 |     525     8592    28720 |    40950    40570     17 |  0.001 % |
206.05/206.28	c |    394465 |     525     8592    28720 |    40950    40732     17 |  0.001 % |
206.15/206.39	c |    394642 |     525     8592    28720 |    40950    40909     17 |  0.001 % |
206.35/206.56	c |    394836 |     525     8592    28720 |    40950    36103     17 |  0.001 % |
206.45/206.64	c |    395048 |     525     8592    28720 |    40950    36315     17 |  0.001 % |
206.56/206.75	c |    395281 |     525     8592    28720 |    40950    36548     17 |  0.000 % |
206.66/206.85	c |    395537 |     525     8592    28720 |    40950    36804     17 |  0.000 % |
206.85/207.02	c |    395818 |     525     8592    28720 |    40950    37085     17 |  0.000 % |
206.95/207.18	c |    396128 |     525     8592    28720 |    40950    37395     17 |  0.001 % |
207.15/207.33	c |    396469 |     525     8592    28720 |    40950    37736     17 |  0.000 % |
207.25/207.47	c |    396842 |     525     8592    28720 |    40950    38109     17 |  0.001 % |
207.45/207.67	c |    397252 |     525     8592    28720 |    40950    38519     17 |  0.001 % |
207.65/207.89	c |    397704 |     525     8592    28720 |    40950    38971     17 |  0.001 % |
207.95/208.11	c |    398199 |     525     8592    28720 |    40950    39466     17 |  0.001 % |
208.15/208.38	c |    398742 |     525     8592    28720 |    40950    40009     17 |  0.001 % |
208.45/208.69	c |    399342 |     525     8592    28720 |    40950    40609     17 |  0.001 % |
208.85/209.06	c |    399997 |     525     8592    28720 |    40950    36510     17 |  0.000 % |
209.25/209.41	c |    400718 |     525     8592    28720 |    36513    32952     17 |  0.000 % |
209.45/209.69	c |    401512 |     525     8592    28720 |    36513    33746     17 |  0.000 % |
209.95/210.13	c |    402383 |     525     8592    28720 |    36513    34617     17 |  0.001 % |
210.45/210.62	c |    403343 |     525     8592    28720 |    36513    35577     17 |  0.001 % |
211.05/211.21	c |    404398 |     525     8592    28720 |    36513    32976     17 |  0.001 % |
211.54/211.77	c |    405557 |     525     8592    28720 |    36513    34135     17 |  0.000 % |
212.24/212.41	c |    406832 |     525     8592    28720 |    36513    35410     17 |  0.000 % |
212.94/213.13	c |    408233 |     525     8592    28720 |    36513    33154     17 |  0.000 % |
213.64/213.84	c |    409773 |     525     8592    28720 |    36513    34694     17 |  0.000 % |
214.54/214.70	c |    411467 |     525     8592    28720 | 2147483647    36388     17 |  0.001 % |
215.45/215.63	c |    413330 |     525     8592    28720 | 2147483647    38251     17 |  0.001 % |
216.64/216.83	c |    415379 |     525     8592    28720 | 2147483647    40300     17 |  0.001 % |
217.94/218.16	c |    417634 |     525     8592    28720 | 2147483647    42555     17 |  0.001 % |
219.54/219.71	c |    420112 |     525     8592    28720 | 2147483647    45033     18 |  0.001 % |
221.34/221.50	c |    422837 |     525     8592    28720 | 2147483647    47758     18 |  0.001 % |
223.34/223.50	c |    425836 |     525     8592    28720 | 2147483647    50757     18 |  0.001 % |
225.74/225.93	c |    429132 |     525     8592    28720 | 2147483647    54053     18 |  0.001 % |
228.24/228.40	c |    432758 |     525     8592    28720 |    54921    48764     17 |  0.001 % |
230.64/230.80	c |    436746 |     525     8592    28720 |    54921    52752     18 |  0.001 % |
230.64/230.87	c |    436847 |     525     8592    28720 |    54921    52853     18 |  0.001 % |
230.74/230.93	c |    436958 |     525     8592    28720 |    54921    52964     18 |  0.001 % |
230.84/231.02	c |    437080 |     525     8592    28720 |    54921    53086     18 |  0.000 % |
230.94/231.11	c |    437214 |     525     8592    28720 |    54921    53220     18 |  0.001 % |
231.04/231.20	c |    437361 |     525     8592    28720 |    54921    53367     18 |  0.001 % |
231.14/231.32	c |    437521 |     525     8592    28720 |    54921    53527     18 |  0.000 % |
231.24/231.45	c |    437699 |     525     8592    28720 |    54921    53705     18 |  0.000 % |
231.44/231.63	c |    437895 |     525     8592    28720 |    54921    53901     18 |  0.001 % |
231.54/231.78	c |    438108 |     525     8592    28720 |    54921    54114     18 |  0.000 % |
231.74/231.97	c |    438341 |     525     8592    28720 |    54921    54347     18 |  0.001 % |
231.94/232.19	c |    438598 |     525     8592    28720 |    54921    54604     18 |  0.001 % |
232.24/232.42	c |    438879 |     525     8592    28720 |    54921    54885     18 |  0.001 % |
232.54/232.76	c |    439190 |     525     8592    28720 |    54921    44997     17 |  0.001 % |
232.74/232.95	c |    439530 |     525     8592    28720 |    54921    45337     17 |  0.001 % |
232.94/233.16	c |    439902 |     525     8592    28720 |    54921    45709     17 |  0.001 % |
233.34/233.55	c |    440313 |     525     8592    28720 |    45807    37748     17 |  0.001 % |
233.64/233.80	c |    440762 |     525     8592    28720 |    45807    38197     17 |  0.001 % |
233.84/234.08	c |    441255 |     525     8592    28720 |    45807    38690     17 |  0.001 % |
234.24/234.42	c |    441797 |     525     8592    28720 |    45807    39232     17 |  0.001 % |
234.54/234.72	c |    442394 |     525     8592    28720 |    45807    39829     17 |  0.001 % |
234.84/235.06	c |    443049 |     525     8592    28720 |    45807    40484     17 |  0.001 % |
235.24/235.49	c |    443770 |     525     8592    28720 |    45807    41205     17 |  0.001 % |
235.74/235.96	c |    444563 |     525     8592    28720 |    45807    41998     17 |  0.001 % |
236.24/236.41	c |    445435 |     525     8592    28720 |    45807    42870     17 |  0.002 % |
236.74/236.90	c |    446393 |     525     8592    28720 |    45807    43828     17 |  0.001 % |
237.34/237.60	c |    447448 |     525     8592    28720 |    45807    44883     17 |  0.001 % |
238.14/238.31	c |    448607 |     525     8592    28720 |    45807    39738     17 |  0.001 % |
238.84/239.01	c |    449884 |     525     8592    28720 |    45807    41015     17 |  0.001 % |
239.54/239.78	c |    451284 |     525     8592    28720 |    41134    36778     17 |  0.001 % |
240.33/240.57	c |    452824 |     525     8592    28720 |    41134    38318     17 |  0.000 % |
241.33/241.50	c |    454519 |     525     8592    28720 |    41134    40013     17 |  0.001 % |
242.33/242.58	c |    456382 |     525     8592    28720 |    41134    36665     17 |  0.001 % |
243.33/243.59	c |    458431 |     525     8592    28720 |    41134    38714     17 |  0.001 % |
244.53/244.75	c |    460684 |     525     8592    28720 |    40283    35682     17 |  0.000 % |
245.73/245.98	c |    463163 |     525     8592    28720 |    40283    38161     17 |  0.001 % |
247.24/247.43	c |    465888 |     525     8592    28720 |    40283    35458     16 |  0.001 % |
248.63/248.85	c |    468885 |     525     8592    28720 |    40283    38455     16 |  0.001 % |
250.43/250.66	c |    472181 |     525     8592    28720 |    39571    36910     16 |  0.001 % |
252.13/252.36	c |    475806 |     525     8592    28720 |    39571    35857     17 |  0.000 % |
254.03/254.30	c |    479793 |     525     8592    28720 |    39571    35231     17 |  0.001 % |
256.13/256.32	c |    484179 |     525     8592    28720 |    35439    31980     17 |  0.001 % |
256.13/256.36	c |    484280 |     525     8592    28720 |    35439    32081     17 |  0.001 % |
256.23/256.40	c |    484393 |     525     8592    28720 |    35439    32194     17 |  0.000 % |
256.23/256.44	c |    484514 |     525     8592    28720 |    35439    32315     17 |  0.000 % |
256.33/256.51	c |    484648 |     525     8592    28720 |    35439    32449     17 |  0.000 % |
256.33/256.58	c |    484796 |     525     8592    28720 |    35439    32597     17 |  0.001 % |
256.43/256.66	c |    484957 |     525     8592    28720 |    35439    32758     17 |  0.000 % |
256.53/256.74	c |    485133 |     525     8592    28720 |    35439    32934     17 |  0.001 % |
256.63/256.83	c |    485327 |     525     8592    28720 |    35439    33128     17 |  0.001 % |
256.73/256.96	c |    485540 |     525     8592    28720 |    35439    33341     17 |  0.001 % |
256.83/257.07	c |    485773 |     525     8592    28720 |    35439    33574     17 |  0.001 % |
257.03/257.21	c |    486029 |     525     8592    28720 |    35439    33830     17 |  0.001 % |
257.13/257.36	c |    486311 |     525     8592    28720 |    35439    34112     17 |  0.001 % |
257.23/257.49	c |    486620 |     525     8592    28720 |    35439    34421     17 |  0.001 % |
257.43/257.66	c |    486959 |     525     8592    28720 |    35439    34760     17 |  0.000 % |
257.63/257.84	c |    487331 |     525     8592    28720 |    35439    35132     17 |  0.001 % |
257.83/258.08	c |    487740 |     525     8592    28720 |    35439    31993     17 |  0.001 % |
258.03/258.27	c |    488189 |     525     8592    28720 |    35439    32442     17 |  0.001 % |
258.23/258.49	c |    488682 |     525     8592    28720 |    35439    32935     17 |  0.001 % |
258.53/258.71	c |    489225 |     525     8592    28720 |    35439    33478     17 |  0.001 % |
258.83/259.01	c |    489822 |     525     8592    28720 |    35439    34075     17 |  0.001 % |
259.13/259.31	c |    490477 |     525     8592    28720 | 2147483647    34730     17 |  0.001 % |
259.43/259.65	c |    491197 |     525     8592    28720 | 2147483647    35450     17 |  0.001 % |
259.83/260.03	c |    491991 |     525     8592    28720 | 2147483647    36244     17 |  0.001 % |
260.23/260.40	c |    492863 |     525     8592    28720 | 2147483647    37116     17 |  0.001 % |
260.63/260.84	c |    493822 |     525     8592    28720 | 2147483647    38075     17 |  0.000 % |
261.03/261.26	c |    494878 |     525     8592    28720 | 2147483647    39131     17 |  0.001 % |
261.63/261.84	c |    496036 |     525     8592    28720 | 2147483647    40289     17 |  0.001 % |
262.33/262.52	c |    497311 |     525     8592    28720 | 2147483647    41564     17 |  0.001 % |
263.12/263.32	c |    498711 |     525     8592    28720 | 2147483647    42964     17 |  0.000 % |
264.02/264.25	c |    500252 |     525     8592    28720 | 2147483647    44505     17 |  0.001 % |
264.93/265.18	c |    501947 |     525     8592    28720 | 2147483647    46200     17 |  0.001 % |
266.12/266.32	c |    503810 |     525     8592    28720 | 2147483647    48063     18 |  0.001 % |
267.42/267.63	c |    505860 |     525     8592    28720 | 2147483647    50113     17 |  0.001 % |
268.82/269.08	c |    508116 |     525     8592    28720 | 2147483647    52369     18 |  0.001 % |
270.72/270.97	c |    510595 |     525     8592    28720 |    54253    46971     18 |  0.000 % |
272.72/272.96	c |    513320 |     525     8592    28720 |    54253    49696     18 |  0.001 % |
275.02/275.24	c |    516317 |     525     8592    28720 |    54253    52693     18 |  0.001 % |
277.52/277.71	c |    519614 |     525     8592    28720 |    54253    46267     17 |  0.001 % |
279.82/280.06	c |    523239 |     525     8592    28720 |    46653    41714     17 |  0.001 % |
282.42/282.66	c |    527227 |     525     8592    28720 |    46653    45702     17 |  0.001 % |
285.31/285.52	c |    531612 |     525     8592    28720 |    40832    35954     16 |  0.000 % |
288.21/288.47	c |    536435 |     525     8592    28720 |    40832    40777     16 |  0.000 % |
288.31/288.54	c |    536535 |     525     8592    28720 |    40832    40877     16 |  0.002 % |
288.41/288.68	c |    536645 |     525     8592    28720 |    40832    34742     16 |  0.001 % |
288.51/288.74	c |    536766 |     525     8592    28720 |    40832    34863     16 |  0.001 % |
288.61/288.81	c |    536900 |     525     8592    28720 |    40832    34997     16 |  0.002 % |
288.61/288.90	c |    537049 |     525     8592    28720 |    40832    35146     16 |  0.001 % |
288.71/288.97	c |    537210 |     525     8592    28720 |    40832    35307     16 |  0.001 % |
288.81/289.06	c |    537386 |     525     8592    28720 |    40832    35483     16 |  0.001 % |
288.91/289.14	c |    537580 |     525     8592    28720 |    40832    35677     16 |  0.001 % |
289.02/289.24	c |    537792 |     525     8592    28720 |    40832    35889     16 |  0.001 % |
289.11/289.33	c |    538025 |     525     8592    28720 |    40832    36122     16 |  0.001 % |
289.21/289.44	c |    538282 |     525     8592    28720 |    40832    36379     16 |  0.002 % |
289.31/289.57	c |    538563 |     525     8592    28720 |    40832    36660     16 |  0.000 % |
289.51/289.70	c |    538872 |     525     8592    28720 |    40832    36969     16 |  0.001 % |
289.61/289.85	c |    539213 |     525     8592    28720 |    40832    37310     16 |  0.001 % |
289.81/290.08	c |    539586 |     525     8592    28720 |    40832    37683     16 |  0.001 % |
290.01/290.28	c |    539996 |     525     8592    28720 |    40832    38093     16 |  0.000 % |
290.31/290.58	c |    540447 |     525     8592    28720 |    38097    33225     16 |  0.001 % |
290.61/290.80	c |    540940 |     525     8592    28720 |    38097    33718     16 |  0.001 % |
290.81/291.06	c |    541482 |     525     8592    28720 |    38097    34260     16 |  0.001 % |
291.11/291.36	c |    542078 |     525     8592    28720 |    38097    34856     16 |  0.000 % |
291.51/291.74	c |    542733 |     525     8592    28720 |    38097    35511     16 |  0.000 % |
291.91/292.10	c |    543453 |     525     8592    28720 |    38097    36231     16 |  0.001 % |
292.21/292.50	c |    544247 |     525     8592    28720 |    38097    37025     16 |  0.001 % |
292.71/292.97	c |    545119 |     525     8592    28720 |    38097    37897     16 |  0.001 % |
293.31/293.60	c |    546077 |     525     8592    28720 |    38097    34369     16 |  0.001 % |
294.01/294.23	c |    547130 |     525     8592    28720 |    38097    35422     16 |  0.001 % |
294.61/294.87	c |    548289 |     525     8592    28720 |    38097    36581     16 |  0.000 % |
295.41/295.61	c |    549562 |     525     8592    28720 |    38097    37854     16 |  0.001 % |
296.21/296.45	c |    550962 |     525     8592    28720 |    33793    30796     16 |  0.001 % |
296.90/297.16	c |    552503 |     525     8592    28720 |    33793    32337     16 |  0.001 % |
297.81/298.04	c |    554198 |     525     8592    28720 |    33793    30648     16 |  0.001 % |
298.70/298.97	c |    556061 |     525     8592    28720 |    33793    32511     16 |  0.001 % |
299.80/300.02	c |    558110 |     525     8592    28720 |    33793    31178     16 |  0.001 % |
300.80/301.04	c |    560363 |     525     8592    28720 | 2147483647    33431     16 |  0.001 % |
301.90/302.17	c |    562841 |     525     8592    28720 | 2147483647    35909     17 |  0.001 % |
303.31/303.55	c |    565567 |     525     8592    28720 | 2147483647    38635     17 |  0.001 % |
305.00/305.28	c |    568564 |     525     8592    28720 | 2147483647    41632     17 |  0.001 % |
307.20/307.49	c |    571860 |     525     8592    28720 | 2147483647    44928     17 |  0.001 % |
309.70/309.98	c |    575486 |     525     8592    28720 | 2147483647    48554     17 |  0.001 % |
312.91/313.10	c |    579473 |     525     8592    28720 | 2147483647    52541     17 |  0.001 % |
316.21/316.41	c |    583858 |     525     8592    28720 |    53068    47600     17 |  0.001 % |
319.31/319.55	c |    588682 |     525     8592    28720 |    53068    52424     17 |  0.000 % |
322.41/322.66	c |    593987 |     525     8592    28720 |    44196    40375     17 |  0.001 % |
322.51/322.73	c |    594088 |     525     8592    28720 |    44196    40476     17 |  0.001 % |
322.51/322.79	c |    594198 |     525     8592    28720 |    44196    40586     17 |  0.000 % |
322.61/322.87	c |    594320 |     525     8592    28720 |    44196    40708     17 |  0.001 % |
322.71/322.93	c |    594453 |     525     8592    28720 |    44196    40841     17 |  0.001 % |
322.81/323.02	c |    594599 |     525     8592    28720 |    44196    40987     17 |  0.001 % |
322.91/323.10	c |    594760 |     525     8592    28720 |    44196    41148     17 |  0.001 % |
323.01/323.21	c |    594938 |     525     8592    28720 |    44196    41326     17 |  0.001 % |
323.11/323.33	c |    595132 |     525     8592    28720 |    44196    41520     17 |  0.001 % |
323.21/323.45	c |    595344 |     525     8592    28720 |    44196    41732     17 |  0.001 % |
323.31/323.59	c |    595577 |     525     8592    28720 |    44196    41965     17 |  0.001 % |
323.51/323.75	c |    595834 |     525     8592    28720 |    44196    42222     17 |  0.001 % |
323.71/323.94	c |    596117 |     525     8592    28720 |    44196    42505     17 |  0.001 % |
323.81/324.07	c |    596426 |     525     8592    28720 |    44196    42814     17 |  0.001 % |
324.01/324.25	c |    596765 |     525     8592    28720 |    44196    43153     17 |  0.001 % |
324.21/324.45	c |    597139 |     525     8592    28720 |    44196    43527     17 |  0.001 % |
324.41/324.69	c |    597548 |     525     8592    28720 |    44196    43936     17 |  0.001 % |
324.81/325.03	c |    597998 |     525     8592    28720 |    44196    37937     16 |  0.001 % |
325.01/325.29	c |    598491 |     525     8592    28720 |    44196    38430     16 |  0.000 % |
325.31/325.57	c |    599033 |     525     8592    28720 |    44196    38972     17 |  0.000 % |
325.71/325.93	c |    599630 |     525     8592    28720 |    44196    39569     17 |  0.001 % |
326.11/326.34	c |    600285 |     525     8592    28720 |    39939    34071     16 |  0.001 % |
326.41/326.67	c |    601005 |     525     8592    28720 |    39939    34791     17 |  0.001 % |
326.81/327.03	c |    601797 |     525     8592    28720 |    39939    35583     17 |  0.002 % |
327.21/327.49	c |    602669 |     525     8592    28720 |    39939    36455     17 |  0.000 % |
327.71/327.91	c |    603627 |     525     8592    28720 |    39939    37413     17 |  0.001 % |
328.10/328.35	c |    604680 |     525     8592    28720 |    39939    38466     17 |  0.001 % |
328.61/328.90	c |    605839 |     525     8592    28720 |    39939    39625     17 |  0.000 % |
329.40/329.61	c |    607112 |     525     8592    28720 |    39939    35787     17 |  0.001 % |
329.90/330.20	c |    608513 |     525     8592    28720 |    39939    37188     17 |  0.001 % |
331.00/331.21	c |    610054 |     525     8592    28720 |    38675    33722     17 |  0.000 % |
331.91/332.17	c |    611750 |     525     8592    28720 |    38675    35418     17 |  0.001 % |
332.90/333.15	c |    613613 |     525     8592    28720 |    38675    37281     17 |  0.001 % |
334.11/334.36	c |    615662 |     525     8592    28720 |    38675    34829     17 |  0.000 % |
335.21/335.50	c |    617915 |     525     8592    28720 |    38675    37082     17 |  0.000 % |
336.70/336.98	c |    620396 |     525     8592    28720 |    34959    31513     17 |  0.001 % |
338.10/338.31	c |    623121 |     525     8592    28720 |    34959    34238     18 |  0.001 % |
339.70/339.92	c |    626119 |     525     8592    28720 |    34959    33543     18 |  0.000 % |
341.60/341.81	c |    629415 |     525     8592    28720 |    34959    33333     17 |  0.001 % |
343.40/343.62	c |    633040 |     525     8592    28720 | 2147483647    36958     18 |  0.001 % |
345.49/345.70	c |    637027 |     525     8592    28720 | 2147483647    40945     18 |  0.000 % |
348.19/348.41	c |    641417 |     525     8592    28720 |    43918    39909     17 |  0.001 % |
350.60/350.81	c |    646240 |     525     8592    28720 |    43918    39114     17 |  0.001 % |
353.59/353.88	c |    651546 |     525     8592    28720 |    42874    38280     16 |  0.001 % |
357.09/357.35	c |    657382 |     525     8592    28720 |    42874    38379     17 |  0.001 % |
357.19/357.42	c |    657483 |     525     8592    28720 |    42874    38480     17 |  0.001 % |
357.19/357.48	c |    657594 |     525     8592    28720 |    42874    38591     17 |  0.001 % |
357.29/357.55	c |    657715 |     525     8592    28720 |    42874    38712     17 |  0.000 % |
357.39/357.63	c |    657849 |     525     8592    28720 |    42874    38846     17 |  0.001 % |
357.49/357.70	c |    657997 |     525     8592    28720 |    42874    38994     17 |  0.001 % |
357.59/357.80	c |    658157 |     525     8592    28720 |    42874    39154     17 |  0.001 % |
357.69/357.91	c |    658333 |     525     8592    28720 |    42874    39330     17 |  0.001 % |
357.79/358.02	c |    658526 |     525     8592    28720 |    42874    39523     17 |  0.001 % |
357.89/358.12	c |    658739 |     525     8592    28720 |    42874    39736     17 |  0.001 % |
357.99/358.24	c |    658972 |     525     8592    28720 |    42874    39969     17 |  0.001 % |
358.09/358.39	c |    659228 |     525     8592    28720 |    42874    40225     17 |  0.001 % |
358.29/358.54	c |    659510 |     525     8592    28720 |    42874    40507     17 |  0.001 % |
358.49/358.73	c |    659819 |     525     8592    28720 |    42874    40816     17 |  0.002 % |
358.69/358.95	c |    660161 |     525     8592    28720 |    40997    35767     17 |  0.001 % |
358.89/359.13	c |    660533 |     525     8592    28720 |    40997    36139     17 |  0.001 % |
359.08/359.32	c |    660942 |     525     8592    28720 |    40997    36548     17 |  0.002 % |
359.28/359.58	c |    661391 |     525     8592    28720 |    40997    36997     17 |  0.001 % |
359.58/359.84	c |    661886 |     525     8592    28720 |    40997    37492     17 |  0.001 % |
359.78/360.09	c |    662429 |     525     8592    28720 |    40997    38035     17 |  0.001 % |
360.08/360.35	c |    663025 |     525     8592    28720 |    40997    38631     17 |  0.001 % |
360.38/360.69	c |    663682 |     525     8592    28720 |    40997    39288     17 |  0.001 % |
360.78/361.07	c |    664405 |     525     8592    28720 |    40997    40011     17 |  0.001 % |
361.28/361.50	c |    665198 |     525     8592    28720 |    40997    40804     17 |  0.001 % |
361.78/362.00	c |    666071 |     525     8592    28720 |    40997    37379     17 |  0.000 % |
362.18/362.43	c |    667031 |     525     8592    28720 |    40997    38339     17 |  0.001 % |
362.69/362.96	c |    668084 |     525     8592    28720 |    40997    39392     17 |  0.001 % |
363.28/363.57	c |    669243 |     525     8592    28720 |    40997    40551     17 |  0.001 % |
363.98/364.27	c |    670517 |     525     8592    28720 |    37110    33854     16 |  0.001 % |
364.58/364.90	c |    671918 |     525     8592    28720 |    37110    35255     16 |  0.001 % |
365.38/365.66	c |    673459 |     525     8592    28720 |    37110    36796     17 |  0.000 % |
366.28/366.57	c |    675155 |     525     8592    28720 |    37110    34776     16 |  0.001 % |
367.28/367.51	c |    677018 |     525     8592    28720 |    37110    36639     16 |  0.001 % |
368.38/368.66	c |    679067 |     525     8592    28720 |    37110    34971     17 |  0.001 % |
369.58/369.87	c |    681320 |     525     8592    28720 | 2147483647    37224     17 |  0.001 % |
370.88/371.11	c |    683799 |     525     8592    28720 | 2147483647    39703     17 |  0.000 % |
372.68/372.90	c |    686524 |     525     8592    28720 | 2147483647    42428     17 |  0.001 % |
374.38/374.64	c |    689521 |     525     8592    28720 | 2147483647    45425     17 |  0.001 % |
376.18/376.45	c |    692819 |     525     8592    28720 |    45904    43899     16 |  0.001 % |
378.38/378.66	c |    696445 |     525     8592    28720 |    45904    41196     16 |  0.002 % |
380.68/380.96	c |    700432 |     525     8592    28720 |    44751    39011     16 |  0.001 % |
383.18/383.43	c |    704818 |     525     8592    28720 |    44751    43397     16 |  0.001 % |
385.98/386.24	c |    709642 |     525     8592    28720 |    44751    42467     16 |  0.001 % |
388.87/389.17	c |    714948 |     525     8592    28720 |    42827    42054     16 |  0.002 % |
391.77/392.07	c |    720783 |     525     8592    28720 |    41788    38269     16 |  0.000 % |
395.27/395.56	c |    727201 |     525     8592    28720 |    41788    40504     17 |  0.001 % |
395.37/395.62	c |    727301 |     525     8592    28720 |    41788    40604     17 |  0.001 % |
395.37/395.69	c |    727411 |     525     8592    28720 |    41788    40714     17 |  0.000 % |
395.47/395.75	c |    727533 |     525     8592    28720 |    41788    40836     17 |  0.000 % |
395.57/395.81	c |    727666 |     525     8592    28720 |    41788    40969     17 |  0.001 % |
395.57/395.90	c |    727813 |     525     8592    28720 |    41788    41116     17 |  0.001 % |
395.68/395.97	c |    727973 |     525     8592    28720 |    41788    41276     17 |  0.001 % |
395.78/396.08	c |    728151 |     525     8592    28720 |    41788    41454     17 |  0.001 % |
395.87/396.18	c |    728345 |     525     8592    28720 |    41788    41648     17 |  0.001 % |
396.17/396.40	c |    728558 |     525     8592    28720 |    41788    37677     17 |  0.001 % |
396.27/396.53	c |    728792 |     525     8592    28720 |    41788    37911     17 |  0.001 % |
396.37/396.69	c |    729049 |     525     8592    28720 |    41788    38168     17 |  0.000 % |
396.57/396.83	c |    729330 |     525     8592    28720 |    41788    38449     17 |  0.001 % |
396.67/396.98	c |    729639 |     525     8592    28720 |    41788    38758     17 |  0.001 % |
396.87/397.12	c |    729978 |     525     8592    28720 |    41788    39097     17 |  0.001 % |
396.97/397.27	c |    730350 |     525     8592    28720 | 2147483647    39469     17 |  0.001 % |
397.17/397.47	c |    730759 |     525     8592    28720 | 2147483647    39878     17 |  0.000 % |
397.37/397.69	c |    731210 |     525     8592    28720 | 2147483647    40329     17 |  0.001 % |
397.67/397.93	c |    731704 |     525     8592    28720 | 2147483647    40823     17 |  0.000 % |
397.97/398.20	c |    732247 |     525     8592    28720 | 2147483647    41366     17 |  0.001 % |
398.17/398.46	c |    732843 |     525     8592    28720 | 2147483647    41962     17 |  0.001 % |
398.47/398.74	c |    733498 |     525     8592    28720 | 2147483647    42617     17 |  0.000 % |
398.87/399.16	c |    734220 |     525     8592    28720 | 2147483647    43339     17 |  0.001 % |
399.37/399.62	c |    735014 |     525     8592    28720 | 2147483647    44133     17 |  0.001 % |
399.87/400.17	c |    735885 |     525     8592    28720 | 2147483647    45004     17 |  0.000 % |
400.47/400.75	c |    736845 |     525     8592    28720 | 2147483647    45964     18 |  0.002 % |
401.07/401.34	c |    737898 |     525     8592    28720 | 2147483647    47017     18 |  0.000 % |
401.67/401.97	c |    739056 |     525     8592    28720 | 2147483647    48175     18 |  0.001 % |
402.67/402.97	c |    740331 |     525     8592    28720 |    49119    42608     17 |  0.001 % |
403.47/403.78	c |    741732 |     525     8592    28720 |    49119    44009     17 |  0.000 % |
404.47/404.70	c |    743275 |     525     8592    28720 |    49119    45552     17 |  0.001 % |
405.47/405.76	c |    744969 |     525     8592    28720 |    49119    47246     17 |  0.001 % |
406.67/406.91	c |    746832 |     525     8592    28720 |    49119    49109     18 |  0.001 % |
407.98/408.24	c |    748882 |     525     8592    28720 |    49119    43158     18 |  0.000 % |
409.27/409.58	c |    751136 |     525     8592    28720 |    44276    38018     17 |  0.001 % |
410.57/410.89	c |    753615 |     525     8592    28720 |    44276    40497     17 |  0.001 % |
412.18/412.43	c |    756341 |     525     8592    28720 |    44276    43223     17 |  0.000 % |
413.97/414.20	c |    759338 |     525     8592    28720 |    44276    39415     17 |  0.000 % |
415.67/415.92	c |    762634 |     525     8592    28720 |    40078    36748     17 |  0.001 % |
417.68/417.96	c |    766259 |     525     8592    28720 |    40078    35488     17 |  0.001 % |
419.67/419.98	c |    770247 |     525     8592    28720 |    39229    34931     17 |  0.000 % |
421.87/422.13	c |    774632 |     525     8592    28720 |    39229    35239     17 |  0.001 % |
424.27/424.51	c |    779456 |     525     8592    28720 |    39229    36076     17 |  0.001 % |
426.77/427.05	c |    784761 |     525     8592    28720 |    36620    34019     17 |  0.000 % |
429.67/429.96	c |    790596 |     525     8592    28720 | 2147483647    36190     17 |  0.001 % |
433.07/433.37	c |    797014 |     525     8592    28720 | 2147483647    42608     17 |  0.002 % |
437.37/437.68	c |    804073 |     525     8592    28720 |    45594    44289     17 |  0.002 % |
437.47/437.75	c |    804175 |     525     8592    28720 |    45594    44391     17 |  0.002 % |
437.57/437.81	c |    804285 |     525     8592    28720 |    45594    44501     17 |  0.001 % |
437.57/437.89	c |    804406 |     525     8592    28720 |    45594    44622     17 |  0.001 % |
437.67/437.97	c |    804540 |     525     8592    28720 |    45594    44756     17 |  0.001 % |
437.77/438.06	c |    804689 |     525     8592    28720 |    45594    44905     17 |  0.002 % |
437.87/438.17	c |    804849 |     525     8592    28720 |    45594    45065     17 |  0.001 % |
437.97/438.29	c |    805027 |     525     8592    28720 |    45594    45243     17 |  0.001 % |
438.17/438.42	c |    805221 |     525     8592    28720 |    45594    45437     17 |  0.001 % |
438.27/438.57	c |    805433 |     525     8592    28720 |    45594    45649     17 |  0.001 % |
438.47/438.76	c |    805666 |     525     8592    28720 |    45594    39362     17 |  0.001 % |
438.67/438.92	c |    805923 |     525     8592    28720 |    45594    39619     17 |  0.001 % |
438.77/439.08	c |    806205 |     525     8592    28720 |    45594    39901     17 |  0.000 % |
438.97/439.23	c |    806514 |     525     8592    28720 |    45594    40210     17 |  0.000 % |
439.17/439.42	c |    806853 |     525     8592    28720 |    45594    40549     17 |  0.000 % |
439.27/439.59	c |    807226 |     525     8592    28720 |    45594    40922     17 |  0.001 % |
439.57/439.81	c |    807636 |     525     8592    28720 |    45594    41332     17 |  0.001 % |
439.77/440.02	c |    808087 |     525     8592    28720 |    45594    41783     17 |  0.000 % |
439.97/440.29	c |    808580 |     525     8592    28720 |    45594    42276     17 |  0.001 % |
440.36/440.61	c |    809125 |     525     8592    28720 |    45594    42821     17 |  0.001 % |
440.66/440.98	c |    809723 |     525     8592    28720 |    45594    43419     17 |  0.001 % |
441.06/441.38	c |    810378 |     525     8592    28720 |    43696    37964     17 |  0.001 % |
441.46/441.76	c |    811099 |     525     8592    28720 |    43696    38685     17 |  0.001 % |
441.87/442.18	c |    811891 |     525     8592    28720 |    43696    39477     17 |  0.001 % |
442.36/442.61	c |    812762 |     525     8592    28720 |    43696    40348     17 |  0.001 % |
442.76/443.05	c |    813721 |     525     8592    28720 |    43696    41307     17 |  0.001 % |
443.26/443.57	c |    814774 |     525     8592    28720 |    43696    42360     17 |  0.001 % |
443.86/444.15	c |    815932 |     525     8592    28720 |    43696    43518     17 |  0.000 % |
444.56/444.87	c |    817205 |     525     8592    28720 |    43696    38960     17 |  0.000 % |
445.36/445.68	c |    818605 |     525     8592    28720 |    43696    40360     17 |  0.001 % |
446.37/446.62	c |    820146 |     525     8592    28720 |    41757    36552     17 |  0.001 % |
447.16/447.48	c |    821841 |     525     8592    28720 |    41757    38247     17 |  0.001 % |
448.26/448.59	c |    823704 |     525     8592    28720 |    41757    40110     17 |  0.001 % |
449.56/449.82	c |    825753 |     525     8592    28720 |    41757    36671     16 |  0.001 % |
450.66/450.91	c |    828006 |     525     8592    28720 |    41757    38924     17 |  0.000 % |
452.06/452.34	c |    830484 |     525     8592    28720 |    40920    36181     16 |  0.001 % |
453.56/453.80	c |    833209 |     525     8592    28720 |    40920    38906     16 |  0.001 % |
455.16/455.41	c |    836206 |     525     8592    28720 |    40920    36846     16 |  0.001 % |
456.96/457.21	c |    839502 |     525     8592    28720 |    40920    40142     17 |  0.001 % |
459.06/459.35	c |    843128 |     525     8592    28720 |    40641    38769     17 |  0.000 % |
461.25/461.52	c |    847116 |     525     8592    28720 |    40641    37548     16 |  0.001 % |
463.75/464.07	c |    851502 |     525     8592    28720 |    40432    36484     16 |  0.000 % |
466.65/466.96	c |    856326 |     525     8592    28720 |    40432    35694     16 |  0.001 % |
469.46/469.75	c |    861633 |     525     8592    28720 |    39369    36105     16 |  0.001 % |
472.45/472.75	c |    867469 |     525     8592    28720 |    39369    37566     17 |  0.000 % |
475.75/476.04	c |    873887 |     525     8592    28720 | 2147483647    39968     18 |  0.001 % |
480.25/480.53	c |    880946 |     525     8592    28720 |    46083    41371     19 |  0.001 % |
484.75/485.07	c |    888711 |     525     8592    28720 |    46083    43016     20 |  0.000 % |
484.85/485.14	c |    888811 |     525     8592    28720 |    46083    43116     20 |  0.001 % |
484.95/485.20	c |    888921 |     525     8592    28720 |    46083    43226     20 |  0.000 % |
484.95/485.27	c |    889044 |     525     8592    28720 |    46083    43349     20 |  0.001 % |
485.05/485.36	c |    889177 |     525     8592    28720 |    46083    43482     20 |  0.001 % |
485.15/485.45	c |    889324 |     525     8592    28720 |    46083    43629     20 |  0.002 % |
485.25/485.54	c |    889484 |     525     8592    28720 |    46083    43789     20 |  0.001 % |
485.35/485.63	c |    889662 |     525     8592    28720 |    46083    43967     20 |  0.001 % |
485.45/485.75	c |    889856 |     525     8592    28720 |    46083    44161     20 |  0.001 % |
485.65/485.94	c |    890070 |     525     8592    28720 |    44305    38537     20 |  0.002 % |
485.75/486.06	c |    890303 |     525     8592    28720 |    44305    38770     20 |  0.002 % |
485.85/486.18	c |    890559 |     525     8592    28720 |    44305    39026     20 |  0.000 % |
486.05/486.31	c |    890841 |     525     8592    28720 |    44305    39308     20 |  0.001 % |
486.15/486.49	c |    891152 |     525     8592    28720 |    44305    39619     20 |  0.001 % |
486.35/486.69	c |    891492 |     525     8592    28720 |    44305    39959     20 |  0.000 % |
486.65/486.91	c |    891867 |     525     8592    28720 |    44305    40334     20 |  0.001 % |
486.85/487.11	c |    892277 |     525     8592    28720 |    44305    40744     20 |  0.001 % |
487.05/487.38	c |    892726 |     525     8592    28720 |    44305    41193     20 |  0.001 % |
487.44/487.72	c |    893219 |     525     8592    28720 |    44305    41686     20 |  0.000 % |
487.74/488.02	c |    893761 |     525     8592    28720 |    44305    42228     20 |  0.001 % |
488.05/488.37	c |    894359 |     525     8592    28720 |    44305    42826     20 |  0.001 % |
488.44/488.78	c |    895016 |     525     8592    28720 |    44305    43483     20 |  0.001 % |
488.94/489.20	c |    895737 |     525     8592    28720 |    44305    44204     20 |  0.001 % |
489.44/489.73	c |    896529 |     525     8592    28720 |    44305    38733     20 |  0.001 % |
489.94/490.22	c |    897402 |     525     8592    28720 |    44305    39606     20 |  0.002 % |
490.44/490.72	c |    898360 |     525     8592    28720 |    44305    40564     20 |  0.001 % |
491.04/491.37	c |    899416 |     525     8592    28720 |    44305    41620     20 |  0.001 % |
491.75/492.04	c |    900575 |     525     8592    28720 |    42204    37075     19 |  0.001 % |
492.45/492.72	c |    901848 |     525     8592    28720 |    42204    38348     19 |  0.002 % |
493.14/493.49	c |    903250 |     525     8592    28720 |    42204    39750     19 |  0.001 % |
494.04/494.31	c |    904790 |     525     8592    28720 |    42204    41290     19 |  0.001 % |
495.04/495.32	c |    906485 |     525     8592    28720 |    42204    37493     19 |  0.000 % |
496.04/496.35	c |    908350 |     525     8592    28720 |    42204    39358     19 |  0.001 % |
497.14/497.46	c |    910399 |     525     8592    28720 |    41008    35911     18 |  0.001 % |
498.14/498.49	c |    912654 |     525     8592    28720 |    41008    38166     18 |  0.001 % |
499.64/499.91	c |    915132 |     525     8592    28720 |    41008    40644     18 |  0.000 % |
501.14/501.41	c |    917859 |     525     8592    28720 |    41008    39017     17 |  0.001 % |
502.94/503.21	c |    920856 |     525     8592    28720 |    36645    33510     17 |  0.001 % |
504.74/505.02	c |    924153 |     525     8592    28720 |    36645    32297     16 |  0.001 % |
506.54/506.89	c |    927778 |     525     8592    28720 |    36645    35922     16 |  0.000 % |
508.54/508.88	c |    931767 |     525     8592    28720 |    34059    32221     16 |  0.001 % |
510.84/511.10	c |    936154 |     525     8592    28720 |    34059    33041     16 |  0.000 % |
513.24/513.55	c |    940977 |     525     8592    28720 |    32981    30286     15 |  0.002 % |
515.94/516.20	c |    946282 |     525     8592    28720 |    32981    32288     15 |  0.001 % |
518.73/519.04	c |    952117 |     525     8592    28720 | 2147483647    34822     16 |  0.001 % |
522.03/522.31	c |    958535 |     525     8592    28720 | 2147483647    41240     16 |  0.001 % |
526.03/526.33	c |    965596 |     525     8592    28720 | 2147483647    48301     17 |  0.000 % |
531.24/531.59	c |    973362 |     525     8592    28720 |    52708    47695     16 |  0.001 % |
537.43/537.77	c |    981902 |     525     8592    28720 |    43668    36769     17 |  0.001 % |
537.54/537.82	c |    982003 |     525     8592    28720 |    43668    36870     17 |  0.001 % |
537.64/537.91	c |    982113 |     525     8592    28720 |    43668    36980     17 |  0.000 % |
537.64/537.97	c |    982235 |     525     8592    28720 |    43668    37102     17 |  0.001 % |
537.73/538.06	c |    982370 |     525     8592    28720 |    43668    37237     17 |  0.000 % |
537.83/538.13	c |    982516 |     525     8592    28720 |    43668    37383     17 |  0.001 % |
537.93/538.22	c |    982678 |     525     8592    28720 |    43668    37545     17 |  0.000 % |
538.03/538.32	c |    982855 |     525     8592    28720 |    43668    37722     17 |  0.001 % |
538.13/538.44	c |    983050 |     525     8592    28720 |    43668    37917     17 |  0.001 % |
538.23/538.56	c |    983263 |     525     8592    28720 |    43668    38130     17 |  0.001 % |
538.33/538.69	c |    983496 |     525     8592    28720 |    43668    38363     17 |  0.001 % |
538.53/538.83	c |    983753 |     525     8592    28720 |    43668    38620     17 |  0.001 % |
538.64/538.99	c |    984035 |     525     8592    28720 |    43668    38902     17 |  0.001 % |
538.83/539.18	c |    984345 |     525     8592    28720 |    43668    39212     17 |  0.001 % |
539.03/539.37	c |    984684 |     525     8592    28720 |    43668    39551     17 |  0.001 % |
539.23/539.59	c |    985056 |     525     8592    28720 |    43668    39923     17 |  0.001 % |
539.53/539.80	c |    985466 |     525     8592    28720 |    43668    40333     17 |  0.001 % |
539.74/540.03	c |    985916 |     525     8592    28720 |    43668    40783     17 |  0.001 % |
539.93/540.30	c |    986411 |     525     8592    28720 |    43668    41278     17 |  0.001 % |
540.23/540.59	c |    986953 |     525     8592    28720 |    43668    41820     17 |  0.001 % |
540.63/540.92	c |    987551 |     525     8592    28720 |    43668    42418     17 |  0.001 % |
540.94/541.27	c |    988208 |     525     8592    28720 |    43668    43075     17 |  0.001 % |
541.43/541.78	c |    988928 |     525     8592    28720 |    43668    37211     17 |  0.001 % |
541.83/542.17	c |    989720 |     525     8592    28720 |    43668    38003     17 |  0.000 % |
542.33/542.67	c |    990593 |     525     8592    28720 |    38284    33339     16 |  0.000 % |
542.83/543.11	c |    991551 |     525     8592    28720 |    38284    34297     16 |  0.001 % |
543.23/543.59	c |    992606 |     525     8592    28720 |    38284    35352     16 |  0.001 % |
543.83/544.18	c |    993765 |     525     8592    28720 |    38284    36511     16 |  0.000 % |
544.53/544.87	c |    995038 |     525     8592    28720 |    38284    37784     16 |  0.002 % |
545.43/545.74	c |    996438 |     525     8592    28720 |    38284    34273     16 |  0.000 % |
546.23/546.58	c |    997978 |     525     8592    28720 |    38284    35813     16 |  0.001 % |
547.23/547.56	c |    999672 |     525     8592    28720 |    38284    37507     16 |  0.000 % |
548.13/548.49	c |   1001535 |     525     8592    28720 |    37835    34911     16 |  0.002 % |
549.13/549.48	c |   1003584 |     525     8592    28720 |    37835    36960     16 |  0.000 % |
550.33/550.61	c |   1005837 |     525     8592    28720 |    37835    34481     16 |  0.002 % |
551.53/551.88	c |   1008317 |     525     8592    28720 |    37835    36961     16 |  0.001 % |
552.93/553.21	c |   1011044 |     525     8592    28720 |    34605    32099     16 |  0.000 % |
554.33/554.60	c |   1014041 |     525     8592    28720 |    34605    31630     17 |  0.000 % |
556.03/556.39	c |   1017338 |     525     8592    28720 |    34605    31462     16 |  0.000 % |
557.73/558.04	c |   1020963 |     525     8592    28720 | 2147483647    35087     17 |  0.001 % |
559.93/560.27	c |   1024951 |     525     8592    28720 | 2147483647    39075     17 |  0.001 % |
562.02/562.38	c |   1029336 |     525     8592    28720 | 2147483647    43460     17 |  0.001 % |
564.52/564.85	c |   1034159 |     525     8592    28720 |    44125    43059     17 |  0.001 % |
567.33/567.69	c |   1039464 |     525     8592    28720 |    44125    42624     17 |  0.001 % |
570.72/571.08	c |   1045301 |     525     8592    28720 |    43161    42956     17 |  0.001 % |
574.82/575.20	c |   1051722 |     525     8592    28720 |    41823    37986     17 |  0.001 % |
579.22/579.59	c |   1058782 |     525     8592    28720 |    41823    39118     17 |  0.001 % |
583.62/583.95	c |   1066546 |     525     8592    28720 |    40337    36245     17 |  0.001 % |
588.41/588.76	c |   1075086 |     525     8592    28720 |    39699    39568     17 |  0.001 % |
594.01/594.31	c |   1084481 |     525     8592    28720 |    39712    39559     16 |  0.001 % |
594.01/594.37	c |   1084583 |     525     8592    28720 |    39712    39661     16 |  0.001 % |
594.11/594.44	c |   1084694 |     525     8592    28720 |    39712    39772     16 |  0.001 % |
594.21/594.57	c |   1084818 |     525     8592    28720 |    39712    35455     16 |  0.000 % |
594.31/594.64	c |   1084951 |     525     8592    28720 |    39712    35588     16 |  0.000 % |
594.41/594.70	c |   1085097 |     525     8592    28720 |    39712    35734     16 |  0.001 % |
594.41/594.80	c |   1085257 |     525     8592    28720 |    39712    35894     16 |  0.001 % |
594.61/594.91	c |   1085435 |     525     8592    28720 |    39712    36072     16 |  0.001 % |
594.61/594.99	c |   1085628 |     525     8592    28720 |    39712    36265     16 |  0.000 % |
594.71/595.09	c |   1085841 |     525     8592    28720 |    39712    36478     16 |  0.001 % |
594.91/595.23	c |   1086075 |     525     8592    28720 |    39712    36712     16 |  0.001 % |
595.01/595.36	c |   1086331 |     525     8592    28720 |    39712    36968     16 |  0.001 % |
595.21/595.50	c |   1086612 |     525     8592    28720 |    39712    37249     16 |  0.001 % |
595.31/595.66	c |   1086922 |     525     8592    28720 |    39712    37559     16 |  0.001 % |
595.51/595.83	c |   1087262 |     525     8592    28720 |    39712    37899     16 |  0.001 % |
595.61/595.96	c |   1087637 |     525     8592    28720 |    39712    38274     16 |  0.002 % |
595.81/596.14	c |   1088049 |     525     8592    28720 |    39712    38686     16 |  0.000 % |
596.01/596.32	c |   1088500 |     525     8592    28720 |    39712    39137     16 |  0.000 % |
596.21/596.59	c |   1088993 |     525     8592    28720 |    39712    39630     16 |  0.001 % |
596.61/596.96	c |   1089535 |     525     8592    28720 |    39712    35603     16 |  0.001 % |
596.91/597.28	c |   1090131 |     525     8592    28720 |    36070    32141     16 |  0.001 % |
597.21/597.52	c |   1090786 |     525     8592    28720 |    36070    32796     16 |  0.001 % |
597.51/597.80	c |   1091506 |     525     8592    28720 |    36070    33516     16 |  0.001 % |
597.81/598.16	c |   1092299 |     525     8592    28720 |    36070    34309     16 |  0.001 % |
598.21/598.52	c |   1093171 |     525     8592    28720 |    36070    35181     16 |  0.000 % |
598.71/599.05	c |   1094130 |     525     8592    28720 |    36070    32529     16 |  0.001 % |
599.21/599.54	c |   1095183 |     525     8592    28720 |    36070    33582     16 |  0.001 % |
599.71/600.06	c |   1096342 |     525     8592    28720 |    36070    34741     16 |  0.001 % |
600.51/600.80	c |   1097617 |     525     8592    28720 |    36070    36016     16 |  0.001 % |
601.11/601.49	c |   1099022 |     525     8592    28720 |    36070    33807     16 |  0.001 % |
601.91/602.26	c |   1100562 |     525     8592    28720 | 2147483647    35347     16 |  0.001 % |
602.81/603.18	c |   1102258 |     525     8592    28720 | 2147483647    37043     16 |  0.001 % |
603.91/604.26	c |   1104122 |     525     8592    28720 | 2147483647    38907     16 |  0.001 % |
605.21/605.56	c |   1106172 |     525     8592    28720 | 2147483647    40957     16 |  0.001 % |
606.30/606.66	c |   1108425 |     525     8592    28720 | 2147483647    43210     16 |  0.001 % |
607.60/607.96	c |   1110903 |     525     8592    28720 |    44788    39493     16 |  0.001 % |
609.11/609.42	c |   1113628 |     525     8592    28720 |    44788    42218     16 |  0.000 % |
611.21/611.56	c |   1116625 |     525     8592    28720 |    44788    38495     17 |  0.001 % |
613.20/613.55	c |   1119921 |     525     8592    28720 |    44788    41791     17 |  0.000 % |
615.30/615.65	c |   1123548 |     525     8592    28720 |    41870    39356     17 |  0.000 % |
617.60/617.98	c |   1127535 |     525     8592    28720 |    41870    38180     17 |  0.001 % |
620.30/620.69	c |   1131921 |     525     8592    28720 |    40646    37326     17 |  0.001 % |
623.00/623.35	c |   1136744 |     525     8592    28720 |    40646    36804     17 |  0.001 % |
625.60/625.96	c |   1142049 |     525     8592    28720 |    40060    37005     16 |  0.001 % |
628.90/629.23	c |   1147884 |     525     8592    28720 |    40060    38523     16 |  0.001 % |
632.20/632.55	c |   1154303 |     525     8592    28720 |    36470    33336     16 |  0.001 % |
635.89/636.21	c |   1161363 |     525     8592    28720 | 2147483647    36743     17 |  0.000 % |
639.59/639.95	c |   1169127 |     525     8592    28720 | 2147483647    44507     18 |  0.000 % |
645.09/645.43	c |   1177668 |     525     8592    28720 |    45381    40914     20 |  0.000 % |
651.59/651.92	c |   1187062 |     525     8592    28720 |    43247    37832     21 |  0.000 % |
657.79/658.17	c |   1197397 |     525     8592    28720 |    40771    35666     20 |  0.000 % |
657.89/658.23	c |   1197497 |     525     8592    28720 |    40771    35766     20 |  0.001 % |
657.89/658.27	c |   1197607 |     525     8592    28720 |    40771    35876     20 |  0.001 % |
657.99/658.33	c |   1197729 |     525     8592    28720 |    40771    35998     20 |  0.001 % |
658.09/658.41	c |   1197864 |     525     8592    28720 |    40771    36133     20 |  0.001 % |
658.09/658.47	c |   1198010 |     525     8592    28720 |    40771    36279     20 |  0.000 % |
658.19/658.56	c |   1198171 |     525     8592    28720 |    40771    36440     20 |  0.001 % |
658.29/658.62	c |   1198347 |     525     8592    28720 |    40771    36616     20 |  0.001 % |
658.29/658.69	c |   1198541 |     525     8592    28720 |    40771    36810     20 |  0.001 % |
658.50/658.81	c |   1198754 |     525     8592    28720 |    40771    37023     20 |  0.000 % |
658.60/658.92	c |   1198988 |     525     8592    28720 |    40771    37257     20 |  0.001 % |
658.69/659.08	c |   1199247 |     525     8592    28720 |    40771    37516     20 |  0.001 % |
658.89/659.23	c |   1199529 |     525     8592    28720 |    40771    37798     20 |  0.001 % |
659.09/659.42	c |   1199839 |     525     8592    28720 |    40771    38108     20 |  0.000 % |
659.29/659.64	c |   1200179 |     525     8592    28720 |    38269    33181     19 |  0.001 % |
659.39/659.80	c |   1200551 |     525     8592    28720 |    38269    33553     19 |  0.001 % |
659.70/660.02	c |   1200962 |     525     8592    28720 |    38269    33964     19 |  0.001 % |
659.79/660.19	c |   1201411 |     525     8592    28720 |    38269    34413     19 |  0.001 % |
659.99/660.36	c |   1201906 |     525     8592    28720 |    38269    34908     19 |  0.001 % |
660.29/660.60	c |   1202449 |     525     8592    28720 |    38269    35451     19 |  0.000 % |
660.49/660.89	c |   1203047 |     525     8592    28720 |    38269    36049     19 |  0.000 % |
660.89/661.21	c |   1203702 |     525     8592    28720 |    38269    36704     19 |  0.001 % |
661.19/661.58	c |   1204424 |     525     8592    28720 |    38269    37426     19 |  0.000 % |
661.59/661.93	c |   1205216 |     525     8592    28720 |    38269    38218     19 |  0.001 % |
661.99/662.36	c |   1206088 |     525     8592    28720 |    38269    35103     18 |  0.001 % |
662.49/662.88	c |   1207046 |     525     8592    28720 |    38269    36061     18 |  0.000 % |
663.19/663.51	c |   1208101 |     525     8592    28720 |    38269    37116     18 |  0.001 % |
663.79/664.15	c |   1209260 |     525     8592    28720 |    38269    38275     18 |  0.001 % |
664.39/664.71	c |   1210533 |     525     8592    28720 |    34864    31683     17 |  0.001 % |
664.89/665.30	c |   1211934 |     525     8592    28720 |    34864    33084     18 |  0.001 % |
665.69/666.04	c |   1213474 |     525     8592    28720 |    34864    34624     18 |  0.001 % |
666.39/666.79	c |   1215168 |     525     8592    28720 |    34864    32827     17 |  0.000 % |
667.19/667.54	c |   1217032 |     525     8592    28720 |    34864    34691     17 |  0.000 % |
668.19/668.59	c |   1219081 |     525     8592    28720 |    34864    33247     17 |  0.001 % |
669.39/669.71	c |   1221336 |     525     8592    28720 | 2147483647    35502     17 |  0.002 % |
670.59/670.99	c |   1223815 |     525     8592    28720 | 2147483647    37981     17 |  0.000 % |
671.99/672.37	c |   1226540 |     525     8592    28720 | 2147483647    40706     17 |  0.001 % |
673.78/674.17	c |   1229538 |     525     8592    28720 | 2147483647    43704     18 |  0.001 % |
675.88/676.25	c |   1232835 |     525     8592    28720 |    44166    41995     17 |  0.001 % |
678.29/678.67	c |   1236462 |     525     8592    28720 |    44166    38601     17 |  0.001 % |
680.59/680.97	c |   1240450 |     525     8592    28720 |    42139    36453     16 |  0.001 % |
682.98/683.34	c |   1244836 |     525     8592    28720 |    42139    40839     16 |  0.001 % |
685.68/686.03	c |   1249660 |     525     8592    28720 |    42139    39854     16 |  0.001 % |
688.48/688.90	c |   1254968 |     525     8592    28720 |    40195    39844     15 |  0.001 % |
691.78/692.19	c |   1260803 |     525     8592    28720 |    39658    35498     15 |  0.001 % |
694.88/695.28	c |   1267223 |     525     8592    28720 |    39658    37165     16 |  0.000 % |
698.68/699.05	c |   1274283 |     525     8592    28720 |    35583    32435     17 |  0.001 % |
702.48/702.84	c |   1282047 |     525     8592    28720 | 2147483647    36635     17 |  0.001 % |
707.98/708.40	c |   1290589 |     525     8592    28720 |    44590    38942     18 |  0.001 % |
713.77/714.14	c |   1299985 |     525     8592    28720 |    44590    41015     17 |  0.001 % |
719.97/720.32	c |   1310318 |     525     8592    28720 |    38346    33457     16 |  0.001 % |
725.97/726.37	c |   1321686 |     525     8592    28720 |    34412    32157     16 |  0.001 % |
726.07/726.42	c |   1321787 |     525     8592    28720 |    34412    32258     16 |  0.001 % |
726.07/726.49	c |   1321897 |     525     8592    28720 |    34412    32368     16 |  0.000 % |
726.17/726.54	c |   1322019 |     525     8592    28720 |    34412    32490     16 |  0.001 % |
726.17/726.59	c |   1322152 |     525     8592    28720 |    34412    32623     17 |  0.001 % |
726.27/726.64	c |   1322298 |     525     8592    28720 |    34412    32769     17 |  0.001 % |
726.37/726.70	c |   1322459 |     525     8592    28720 |    34412    32930     17 |  0.001 % |
726.37/726.76	c |   1322635 |     525     8592    28720 |    34412    33106     17 |  0.001 % |
726.47/726.83	c |   1322828 |     525     8592    28720 |    34412    33299     17 |  0.000 % |
726.57/726.90	c |   1323040 |     525     8592    28720 |    34412    33511     17 |  0.001 % |
726.67/727.00	c |   1323273 |     525     8592    28720 |    34412    33744     17 |  0.001 % |
726.67/727.09	c |   1323529 |     525     8592    28720 |    34412    34000     17 |  0.000 % |
726.77/727.19	c |   1323811 |     525     8592    28720 |    34412    34282     17 |  0.000 % |
726.97/727.37	c |   1324120 |     525     8592    28720 |    34412    31143     17 |  0.001 % |
727.17/727.57	c |   1324460 |     525     8592    28720 |    34412    31483     17 |  0.001 % |
727.37/727.74	c |   1324833 |     525     8592    28720 |    34412    31856     17 |  0.000 % |
727.47/727.89	c |   1325244 |     525     8592    28720 |    34412    32267     17 |  0.001 % |
727.77/728.11	c |   1325693 |     525     8592    28720 |    34412    32716     17 |  0.001 % |
727.97/728.31	c |   1326188 |     525     8592    28720 |    34412    33211     17 |  0.001 % |
728.17/728.51	c |   1326731 |     525     8592    28720 |    34412    33754     17 |  0.001 % |
728.37/728.76	c |   1327328 |     525     8592    28720 |    34412    34351     17 |  0.001 % |
728.77/729.11	c |   1327984 |     525     8592    28720 |    34412    31559     17 |  0.001 % |
729.07/729.43	c |   1328704 |     525     8592    28720 |    34412    32279     17 |  0.001 % |
729.37/729.72	c |   1329497 |     525     8592    28720 |    34412    33072     17 |  0.001 % |
729.77/730.13	c |   1330368 |     525     8592    28720 | 2147483647    33943     17 |  0.001 % |
730.17/730.50	c |   1331329 |     525     8592    28720 | 2147483647    34904     17 |  0.001 % |
730.56/730.98	c |   1332382 |     525     8592    28720 | 2147483647    35957     17 |  0.001 % |
731.07/731.50	c |   1333540 |     525     8592    28720 | 2147483647    37115     17 |  0.001 % |
731.67/732.09	c |   1334815 |     525     8592    28720 | 2147483647    38390     17 |  0.000 % |
732.56/732.90	c |   1336215 |     525     8592    28720 | 2147483647    39790     17 |  0.001 % |
733.56/733.95	c |   1337755 |     525     8592    28720 | 2147483647    41330     17 |  0.001 % |
734.56/734.99	c |   1339452 |     525     8592    28720 | 2147483647    43027     17 |  0.001 % |
735.76/736.11	c |   1341316 |     525     8592    28720 |    43576    39785     17 |  0.001 % |
736.96/737.39	c |   1343366 |     525     8592    28720 |    43576    41835     17 |  0.000 % |
738.46/738.89	c |   1345620 |     525     8592    28720 |    43576    37257     17 |  0.000 % |
740.06/740.43	c |   1348098 |     525     8592    28720 |    43576    39735     17 |  0.001 % |
741.56/742.00	c |   1350825 |     525     8592    28720 |    41639    36213     16 |  0.001 % |
743.26/743.64	c |   1353824 |     525     8592    28720 |    41639    39212     17 |  0.001 % |
745.06/745.42	c |   1357120 |     525     8592    28720 |    41639    36418     16 |  0.001 % |
746.96/747.39	c |   1360746 |     525     8592    28720 |    39299    35106     16 |  0.000 % |
748.86/749.25	c |   1364733 |     525     8592    28720 |    39299    39093     16 |  0.001 % |
751.16/751.53	c |   1369120 |     525     8592    28720 |    39299    35444     16 |  0.001 % |
753.76/754.14	c |   1373944 |     525     8592    28720 | 2147483647    40268     16 |  0.001 % |
756.96/757.39	c |   1379249 |     525     8592    28720 | 2147483647    45573     16 |  0.001 % |
760.65/761.01	c |   1385084 |     525     8592    28720 |    46324    45045     16 |  0.001 % |
764.55/764.94	c |   1391502 |     525     8592    28720 |    43564    39213     16 |  0.001 % |
768.56/768.99	c |   1398561 |     525     8592    28720 |    43564    40146     16 |  0.001 % |
772.65/773.08	c |   1406326 |     525     8592    28720 |    41586    38005     16 |  0.000 % |
777.05/777.42	c |   1414866 |     525     8592    28720 |    37098    34037     16 |  0.001 % |
781.95/782.37	c |   1424260 |     525     8592    28720 | 2147483647    39710     16 |  0.001 % |
787.85/788.29	c |   1434595 |     525     8592    28720 |    45452    44702     17 |  0.001 % |
795.14/795.55	c |   1445961 |     525     8592    28720 |    43251    41769     18 |  0.001 % |
802.24/802.68	c |   1458464 |     525     8592    28720 |    38880    36980     18 |  0.001 % |
802.34/802.75	c |   1458565 |     525     8592    28720 |    38880    37081     18 |  0.001 % |
802.44/802.81	c |   1458677 |     525     8592    28720 |    38880    37193     18 |  0.001 % |
802.44/802.88	c |   1458798 |     525     8592    28720 |    38880    37314     18 |  0.001 % |
802.55/802.96	c |   1458931 |     525     8592    28720 |    38880    37447     18 |  0.001 % |
802.65/803.05	c |   1459078 |     525     8592    28720 |    38880    37594     18 |  0.001 % |
802.74/803.15	c |   1459238 |     525     8592    28720 |    38880    37754     18 |  0.001 % |
802.84/803.25	c |   1459417 |     525     8592    28720 |    38880    37933     18 |  0.001 % |
802.94/803.36	c |   1459610 |     525     8592    28720 |    38880    38126     18 |  0.001 % |
803.04/803.49	c |   1459825 |     525     8592    28720 |    38880    38341     18 |  0.001 % |
803.24/803.63	c |   1460058 |     525     8592    28720 |    38517    38574     18 |  0.001 % |
803.44/803.81	c |   1460314 |     525     8592    28720 |    38517    34130     17 |  0.001 % |
803.54/803.98	c |   1460595 |     525     8592    28720 |    38517    34411     17 |  0.001 % |
803.74/804.12	c |   1460904 |     525     8592    28720 |    38517    34720     17 |  0.000 % |
803.84/804.27	c |   1461243 |     525     8592    28720 |    38517    35059     17 |  0.001 % |
804.04/804.41	c |   1461615 |     525     8592    28720 |    38517    35431     17 |  0.001 % |
804.14/804.58	c |   1462024 |     525     8592    28720 |    38517    35840     17 |  0.001 % |
804.44/804.81	c |   1462473 |     525     8592    28720 |    38517    36289     17 |  0.001 % |
804.64/805.04	c |   1462966 |     525     8592    28720 |    38517    36782     17 |  0.001 % |
804.94/805.33	c |   1463509 |     525     8592    28720 |    38517    37325     17 |  0.001 % |
805.24/805.62	c |   1464105 |     525     8592    28720 |    38517    37921     17 |  0.001 % |
805.54/805.93	c |   1464760 |     525     8592    28720 |    38517    38576     17 |  0.001 % |
805.94/806.38	c |   1465481 |     525     8592    28720 |    38517    34614     17 |  0.000 % |
806.34/806.73	c |   1466274 |     525     8592    28720 |    38517    35407     17 |  0.000 % |
806.64/807.06	c |   1467145 |     525     8592    28720 |    38517    36278     17 |  0.002 % |
807.04/807.45	c |   1468107 |     525     8592    28720 |    38517    37240     17 |  0.000 % |
807.54/807.93	c |   1469161 |     525     8592    28720 |    38517    38294     17 |  0.001 % |
808.04/808.50	c |   1470319 |     525     8592    28720 |    35177    31965     16 |  0.001 % |
808.64/809.05	c |   1471592 |     525     8592    28720 |    35177    33238     16 |  0.001 % |
809.24/809.66	c |   1472993 |     525     8592    28720 |    35177    34639     17 |  0.001 % |
809.94/810.36	c |   1474535 |     525     8592    28720 |    35177    32658     17 |  0.000 % |
810.73/811.10	c |   1476229 |     525     8592    28720 |    35177    34352     17 |  0.000 % |
811.53/811.99	c |   1478095 |     525     8592    28720 |    35177    32692     17 |  0.002 % |
812.54/812.95	c |   1480145 |     525     8592    28720 | 2147483647    34742     17 |  0.001 % |
813.54/813.94	c |   1482398 |     525     8592    28720 | 2147483647    36995     17 |  0.001 % |
814.93/815.37	c |   1484876 |     525     8592    28720 | 2147483647    39473     17 |  0.000 % |
816.63/817.03	c |   1487601 |     525     8592    28720 | 2147483647    42198     17 |  0.001 % |
818.43/818.87	c |   1490601 |     525     8592    28720 |    44598    39302     17 |  0.001 % |
820.43/820.85	c |   1493898 |     525     8592    28720 |    44598    42599     17 |  0.001 % |
822.43/822.81	c |   1497523 |     525     8592    28720 |    44598    39522     17 |  0.000 % |
824.63/825.04	c |   1501510 |     525     8592    28720 |    41999    37414     17 |  0.000 % |
827.23/827.60	c |   1505895 |     525     8592    28720 |    41999    41799     17 |  0.000 % |
830.13/830.54	c |   1510718 |     525     8592    28720 |    40431    35812     17 |  0.000 % |
832.73/833.16	c |   1516023 |     525     8592    28720 |    40431    36904     17 |  0.000 % |
835.93/836.33	c |   1521858 |     525     8592    28720 |    36104    33701     18 |  0.001 % |
839.32/839.76	c |   1528276 |     525     8592    28720 |    36104    36121     18 |  0.001 % |
843.02/843.49	c |   1535335 |     525     8592    28720 | 2147483647    39431     18 |  0.001 % |
847.22/847.67	c |   1543100 |     525     8592    28720 |    44097    42209     18 |  0.001 % |
852.32/852.74	c |   1551642 |     525     8592    28720 |    43562    39530     17 |  0.001 % |
857.72/858.17	c |   1561036 |     525     8592    28720 |    42344    37714     17 |  0.000 % |
863.72/864.11	c |   1571370 |     525     8592    28720 |    40918    36828     17 |  0.001 % |
870.32/870.71	c |   1582736 |     525     8592    28720 | 2147483647    39998     17 |  0.001 % |
878.11/878.55	c |   1595239 |     525     8592    28720 |    47262    46874     17 |  0.001 % |
887.32/887.73	c |   1608991 |     525     8592    28720 |    45100    39683     17 |  0.001 % |
887.41/887.80	c |   1609091 |     525     8592    28720 |    45100    39783     17 |  0.001 % |
887.41/887.88	c |   1609201 |     525     8592    28720 |    45100    39893     17 |  0.001 % |
887.51/887.98	c |   1609322 |     525     8592    28720 |    45100    40014     17 |  0.000 % |
887.61/888.07	c |   1609455 |     525     8592    28720 |    45100    40147     17 |  0.001 % |
887.71/888.14	c |   1609601 |     525     8592    28720 |    45100    40293     17 |  0.001 % |
887.81/888.24	c |   1609761 |     525     8592    28720 |    45100    40453     17 |  0.001 % |
887.91/888.33	c |   1609938 |     525     8592    28720 |    45100    40630     17 |  0.001 % |
888.11/888.51	c |   1610131 |     525     8592    28720 |    40693    34156     17 |  0.001 % |
888.11/888.59	c |   1610343 |     525     8592    28720 |    40693    34368     17 |  0.001 % |
888.31/888.73	c |   1610577 |     525     8592    28720 |    40693    34602     17 |  0.000 % |
888.41/888.86	c |   1610835 |     525     8592    28720 |    40693    34860     17 |  0.000 % |
888.51/888.98	c |   1611117 |     525     8592    28720 |    40693    35142     17 |  0.001 % |
888.61/889.09	c |   1611427 |     525     8592    28720 |    40693    35452     17 |  0.001 % |
888.81/889.25	c |   1611769 |     525     8592    28720 |    40693    35794     17 |  0.000 % |
889.01/889.45	c |   1612144 |     525     8592    28720 |    40693    36169     17 |  0.001 % |
889.21/889.67	c |   1612553 |     525     8592    28720 |    40693    36578     17 |  0.001 % |
889.41/889.86	c |   1613002 |     525     8592    28720 |    40693    37027     17 |  0.001 % |
889.71/890.11	c |   1613495 |     525     8592    28720 |    40693    37520     17 |  0.001 % |
889.91/890.39	c |   1614037 |     525     8592    28720 |    40693    38062     17 |  0.001 % |
890.31/890.72	c |   1614634 |     525     8592    28720 |    40693    38659     17 |  0.001 % |
890.61/891.07	c |   1615290 |     525     8592    28720 |    40693    39315     17 |  0.001 % |
891.01/891.46	c |   1616011 |     525     8592    28720 |    40693    40036     17 |  0.001 % |
891.51/891.93	c |   1616804 |     525     8592    28720 |    40693    35470     17 |  0.001 % |
891.91/892.37	c |   1617677 |     525     8592    28720 |    40693    36343     17 |  0.001 % |
892.41/892.80	c |   1618635 |     525     8592    28720 |    40693    37301     17 |  0.001 % |
892.91/893.34	c |   1619688 |     525     8592    28720 |    40693    38354     17 |  0.000 % |
893.51/893.91	c |   1620847 |     525     8592    28720 |    38668    34592     17 |  0.001 % |
894.01/894.49	c |   1622122 |     525     8592    28720 |    38668    35867     17 |  0.001 % |
894.80/895.21	c |   1623523 |     525     8592    28720 |    38668    37268     17 |  0.001 % |
895.60/896.03	c |   1625063 |     525     8592    28720 |    38668    34740     17 |  0.001 % |
896.50/896.91	c |   1626758 |     525     8592    28720 |    38668    36435     17 |  0.001 % |
897.40/897.88	c |   1628622 |     525     8592    28720 |    38668    38299     17 |  0.001 % |
898.60/899.04	c |   1630671 |     525     8592    28720 |    35555    32448     16 |  0.001 % |
899.70/900.17	c |   1632925 |     525     8592    28720 |    35555    34702     16 |  0.001 % |
900.90/901.34	c |   1635403 |     525     8592    28720 |    35555    32719     17 |  0.001 % |
902.20/902.61	c |   1638130 |     525     8592    28720 |    35555    35446     17 |  0.000 % |
903.60/904.01	c |   1641127 |     525     8592    28720 |    33576    31237     16 |  0.001 % |
905.20/905.70	c |   1644423 |     525     8592    28720 |    33576    31170     16 |  0.001 % |
907.01/907.48	c |   1648048 |     525     8592    28720 |    33576    31433     16 |  0.002 % |
908.90/909.34	c |   1652036 |     525     8592    28720 | 2147483647    35421     16 |  0.000 % |
911.10/911.51	c |   1656421 |     525     8592    28720 | 2147483647    39806     16 |  0.001 % |
913.50/913.94	c |   1661246 |     525     8592    28720 |    43386    39434     17 |  0.001 % |
916.60/917.04	c |   1666552 |     525     8592    28720 |    43386    39110     17 |  0.001 % |
919.80/920.25	c |   1672387 |     525     8592    28720 |    42558    39965     17 |  0.000 % |
923.60/924.09	c |   1678807 |     525     8592    28720 |    42558    41695     17 |  0.001 % |
927.60/928.09	c |   1685868 |     525     8592    28720 |    37598    35052     17 |  0.001 % |
931.80/932.30	c |   1693633 |     525     8592    28720 |    35299    35360     17 |  0.001 % |
935.90/936.37	c |   1702173 |     525     8592    28720 | 2147483647    36762     17 |  0.001 % |
940.90/941.37	c |   1711567 |     525     8592    28720 |    44590    41119     18 |  0.001 % |
947.50/947.92	c |   1721900 |     525     8592    28720 |    42369    37084     18 |  0.000 % |
954.30/954.79	c |   1733267 |     525     8592    28720 |    37891    34816     17 |  0.001 % |
960.79/961.21	c |   1745769 |     525     8592    28720 |    37156    35392     17 |  0.001 % |
968.29/968.78	c |   1759521 |     525     8592    28720 | 2147483647    45424     17 |  0.001 % |
977.29/977.70	c |   1774651 |     525     8592    28720 |    41834    38702     18 |  0.001 % |
977.29/977.76	c |   1774753 |     525     8592    28720 |    41834    38804     18 |  0.000 % |
977.39/977.83	c |   1774863 |     525     8592    28720 |    41834    38914     18 |  0.002 % |
977.49/977.91	c |   1774984 |     525     8592    28720 |    41834    39035     18 |  0.002 % |
977.49/977.99	c |   1775118 |     525     8592    28720 |    41834    39169     18 |  0.002 % |
977.59/978.08	c |   1775265 |     525     8592    28720 |    41834    39316     18 |  0.001 % |
977.69/978.19	c |   1775425 |     525     8592    28720 |    41834    39476     18 |  0.002 % |
977.89/978.30	c |   1775601 |     525     8592    28720 |    41834    39652     18 |  0.001 % |
977.89/978.39	c |   1775796 |     525     8592    28720 |    41834    39847     18 |  0.002 % |
978.09/978.52	c |   1776008 |     525     8592    28720 |    41834    40059     18 |  0.000 % |
978.19/978.67	c |   1776242 |     525     8592    28720 |    41834    40293     18 |  0.001 % |
978.39/978.81	c |   1776499 |     525     8592    28720 |    41834    40550     18 |  0.000 % |
978.49/978.96	c |   1776780 |     525     8592    28720 |    41834    40831     18 |  0.000 % |
978.69/979.14	c |   1777090 |     525     8592    28720 |    41834    41141     18 |  0.001 % |
978.89/979.36	c |   1777429 |     525     8592    28720 |    41834    41480     18 |  0.000 % |
979.09/979.56	c |   1777801 |     525     8592    28720 |    41834    41852     18 |  0.001 % |
979.39/979.85	c |   1778210 |     525     8592    28720 |    41834    34571     18 |  0.001 % |
979.59/980.09	c |   1778659 |     525     8592    28720 |    41834    35020     18 |  0.000 % |
979.89/980.34	c |   1779152 |     525     8592    28720 |    41834    35513     18 |  0.000 % |
980.19/980.62	c |   1779694 |     525     8592    28720 |    41834    36055     18 |  0.000 % |
980.48/980.95	c |   1780290 |     525     8592    28720 |    36364    30439     18 |  0.001 % |
980.79/981.26	c |   1780945 |     525     8592    28720 |    36364    31094     18 |  0.001 % |
981.08/981.58	c |   1781665 |     525     8592    28720 |    36364    31814     18 |  0.001 % |
981.48/981.93	c |   1782459 |     525     8592    28720 |    36364    32608     18 |  0.001 % |
981.89/982.37	c |   1783330 |     525     8592    28720 |    36364    33479     18 |  0.001 % |
982.38/982.88	c |   1784288 |     525     8592    28720 |    36364    34437     18 |  0.001 % |
982.99/983.41	c |   1785344 |     525     8592    28720 |    36364    35493     18 |  0.000 % |
983.48/984.00	c |   1786502 |     525     8592    28720 |    36364    32373     18 |  0.000 % |
984.18/984.65	c |   1787775 |     525     8592    28720 |    36364    33646     18 |  0.001 % |
984.88/985.36	c |   1789175 |     525     8592    28720 |    36364    35046     18 |  0.001 % |
985.78/986.23	c |   1790716 |     525     8592    28720 |    35871    32606     18 |  0.001 % |
986.68/987.14	c |   1792411 |     525     8592    28720 |    35871    34301     18 |  0.001 % |
987.78/988.22	c |   1794274 |     525     8592    28720 |    35871    32094     18 |  0.001 % |
988.88/989.39	c |   1796324 |     525     8592    28720 |    35871    34144     18 |  0.001 % |
990.18/990.68	c |   1798579 |     525     8592    28720 |    35871    32516     18 |  0.001 % |
991.58/992.06	c |   1801057 |     525     8592    28720 |    33937    31368     17 |  0.001 % |
992.98/993.48	c |   1803782 |     525     8592    28720 |    33937    30694     17 |  0.001 % |
994.58/995.00	c |   1806780 |     525     8592    28720 |    33937    33692     17 |  0.001 % |
996.38/996.80	c |   1810076 |     525     8592    28720 | 2147483647    33591     17 |  0.001 % |
998.48/998.92	c |   1813702 |     525     8592    28720 | 2147483647    37217     17 |  0.001 % |
1000.77/1001.24	c |   1817690 |     525     8592    28720 | 2147483647    41205     17 |  0.001 % |
1003.57/1004.08	c |   1822075 |     525     8592    28720 |    43516    40035     17 |  0.000 % |
1006.57/1007.06	c |   1826899 |     525     8592    28720 |    43516    38301     17 |  0.000 % |
1009.67/1010.18	c |   1832205 |     525     8592    28720 |    41404    37677     17 |  0.001 % |
1013.17/1013.69	c |   1838041 |     525     8592    28720 |    41404    37371     17 |  0.000 % |
1016.77/1017.20	c |   1844460 |     525     8592    28720 |    39331    38304     17 |  0.001 % |
1019.67/1020.15	c |   1851519 |     525     8592    28720 |    39220    36321     17 |  0.001 % |
1024.07/1024.54	c |   1859283 |     525     8592    28720 |    39220    35914     17 |  0.000 % |
1028.26/1028.78	c |   1867825 |     525     8592    28720 |    36631    33398     18 |  0.001 % |
1033.57/1034.06	c |   1877219 |     525     8592    28720 | 2147483647    42792     18 |  0.001 % |
1039.96/1040.44	c |   1887552 |     525     8592    28720 |    45574    41753     18 |  0.000 % |
1046.36/1046.87	c |   1898918 |     525     8592    28720 |    44203    39792     18 |  0.000 % |
1053.56/1054.09	c |   1911421 |     525     8592    28720 |    37921    33537     17 |  0.000 % |
1060.85/1061.32	c |   1925173 |     525     8592    28720 |    34223    32509     17 |  0.001 % |
1068.55/1069.09	c |   1940300 |     525     8592    28720 |    43906    37921     17 |  0.000 % |
1078.45/1078.90	c |   1956940 |     525     8592    28720 |    38881    38418     17 |  0.001 % |
1078.45/1078.97	c |   1957042 |     525     8592    28720 |    38881    38520     17 |  0.001 % |
1078.55/1079.01	c |   1957152 |     525     8592    28720 |    38881    38630     17 |  0.001 % |
1078.55/1079.10	c |   1957274 |     525     8592    28720 |    38881    38752     17 |  0.001 % |
1078.65/1079.16	c |   1957410 |     525     8592    28720 |    38881    38888     17 |  0.000 % |
1078.75/1079.29	c |   1957556 |     525     8592    28720 |    38881    33764     17 |  0.001 % |
1078.85/1079.36	c |   1957716 |     525     8592    28720 |    38881    33924     17 |  0.000 % |
1078.95/1079.44	c |   1957894 |     525     8592    28720 |    38881    34102     17 |  0.001 % |
1079.05/1079.56	c |   1958087 |     525     8592    28720 |    38881    34295     17 |  0.001 % |
1079.15/1079.64	c |   1958299 |     525     8592    28720 |    38881    34507     17 |  0.001 % |
1079.25/1079.74	c |   1958534 |     525     8592    28720 |    38881    34742     17 |  0.001 % |
1079.35/1079.85	c |   1958790 |     525     8592    28720 |    38881    34998     17 |  0.001 % |
1079.45/1079.95	c |   1959071 |     525     8592    28720 |    38881    35279     17 |  0.001 % |
1079.55/1080.07	c |   1959381 |     525     8592    28720 |    38881    35589     17 |  0.001 % |
1079.75/1080.24	c |   1959720 |     525     8592    28720 |    38881    35928     17 |  0.001 % |
1079.95/1080.43	c |   1960093 |     525     8592    28720 |    36209    31829     17 |  0.000 % |
1080.15/1080.60	c |   1960507 |     525     8592    28720 |    36209    32243     17 |  0.001 % |
1080.25/1080.72	c |   1960957 |     525     8592    28720 |    36209    32693     17 |  0.000 % |
1080.44/1080.95	c |   1961451 |     525     8592    28720 |    36209    33187     17 |  0.001 % |
1080.64/1081.20	c |   1961994 |     525     8592    28720 |    36209    33730     17 |  0.001 % |
1080.94/1081.44	c |   1962592 |     525     8592    28720 |    36209    34328     17 |  0.001 % |
1081.14/1081.68	c |   1963247 |     525     8592    28720 |    36209    34983     17 |  0.000 % |
1081.44/1081.93	c |   1963967 |     525     8592    28720 |    36209    35703     17 |  0.001 % |
1081.75/1082.26	c |   1964760 |     525     8592    28720 |    36209    32867     16 |  0.000 % |
1082.05/1082.55	c |   1965631 |     525     8592    28720 |    36209    33738     16 |  0.001 % |
1082.45/1082.90	c |   1966590 |     525     8592    28720 |    36209    34697     17 |  0.001 % |
1082.84/1083.33	c |   1967645 |     525     8592    28720 |    36209    35752     17 |  0.001 % |
1083.44/1083.90	c |   1968803 |     525     8592    28720 |    36209    33284     17 |  0.000 % |
1083.94/1084.41	c |   1970076 |     525     8592    28720 | 2147483647    34557     17 |  0.001 % |
1084.54/1085.05	c |   1971476 |     525     8592    28720 | 2147483647    35957     17 |  0.001 % |
1085.25/1085.73	c |   1973016 |     525     8592    28720 | 2147483647    37497     17 |  0.001 % |
1085.94/1086.48	c |   1974710 |     525     8592    28720 | 2147483647    39191     17 |  0.001 % |
1086.94/1087.42	c |   1976573 |     525     8592    28720 | 2147483647    41054     17 |  0.001 % |
1088.04/1088.58	c |   1978624 |     525     8592    28720 | 2147483647    43105     17 |  0.001 % |
1089.34/1089.81	c |   1980877 |     525     8592    28720 | 2147483647    45358     17 |  0.001 % |
1090.74/1091.22	c |   1983355 |     525     8592    28720 | 2147483647    47836     17 |  0.001 % |
1092.44/1092.91	c |   1986080 |     525     8592    28720 | 2147483647    50561     17 |  0.001 % |
1094.54/1095.02	c |   1989077 |     525     8592    28720 | 2147483647    53558     17 |  0.000 % |
1097.04/1097.54	c |   1992373 |     525     8592    28720 |    54482    48566     17 |  0.001 % |
1099.54/1100.10	c |   1995999 |     525     8592    28720 |    54482    52192     17 |  0.000 % |
1102.23/1102.78	c |   1999986 |     525     8592    28720 |    54482    46611     17 |  0.000 % |
1105.04/1105.53	c |   2004372 |     525     8592    28720 |    46625    42985     17 |  0.001 % |
1108.13/1108.67	c |   2009195 |     525     8592    28720 |    46625    40222     17 |  0.001 % |
1111.23/1111.71	c |   2014501 |     525     8592    28720 |    41028    39042     17 |  0.001 % |
1114.43/1114.93	c |   2020336 |     525     8592    28720 |    39317    34771     17 |  0.001 % |
1117.23/1117.78	c |   2026755 |     525     8592    28720 |    39317    36633     17 |  0.001 % |
1120.73/1121.26	c |   2033815 |     525     8592    28720 |    35614    35634     17 |  0.001 % |
1124.74/1125.23	c |   2041581 |     525     8592    28720 | 2147483647    36271     17 |  0.001 % |
1129.73/1130.23	c |   2050121 |     525     8592    28720 |    44690    39005     18 |  0.000 % |
1135.53/1136.08	c |   2059515 |     525     8592    28720 |    44690    41785     18 |  0.001 % |
1141.63/1142.10	c |   2069849 |     525     8592    28720 |    42271    39918     18 |  0.001 % |
1148.03/1148.58	c |   2081215 |     525     8592    28720 |    39883    36587     16 |  0.001 % |
1155.33/1155.86	c |   2093717 |     525     8592    28720 |    36522    36137     16 |  0.001 % |
1162.52/1163.00	c |   2107471 |     525     8592    28720 |    34217    31284     15 |  0.001 % |
1170.92/1171.43	c |   2122600 |     525     8592    28720 |    43813    40677     17 |  0.001 % |
1180.51/1181.04	c |   2139240 |     525     8592    28720 |    42010    36833     17 |  0.001 % |
1190.21/1190.73	c |   2157542 |     525     8592    28720 | 2147483647    45040     19 |  0.000 % |
1190.21/1190.79	c |   2157642 |     525     8592    28720 | 2147483647    45140     19 |  0.000 % |
1190.31/1190.83	c |   2157753 |     525     8592    28720 | 2147483647    45251     19 |  0.000 % |
1190.31/1190.89	c |   2157874 |     525     8592    28720 | 2147483647    45372     19 |  0.000 % |
1190.41/1190.95	c |   2158008 |     525     8592    28720 | 2147483647    45506     19 |  0.001 % |
1190.51/1191.02	c |   2158154 |     525     8592    28720 | 2147483647    45652     19 |  0.001 % |
1190.61/1191.12	c |   2158314 |     525     8592    28720 | 2147483647    45812     19 |  0.001 % |
1190.72/1191.22	c |   2158491 |     525     8592    28720 | 2147483647    45989     19 |  0.001 % |
1190.81/1191.33	c |   2158684 |     525     8592    28720 | 2147483647    46182     19 |  0.001 % |
1190.91/1191.44	c |   2158896 |     525     8592    28720 | 2147483647    46394     19 |  0.001 % |
1191.01/1191.57	c |   2159130 |     525     8592    28720 | 2147483647    46628     19 |  0.001 % |
1191.21/1191.73	c |   2159387 |     525     8592    28720 | 2147483647    46885     19 |  0.001 % |
1191.41/1191.90	c |   2159669 |     525     8592    28720 | 2147483647    47167     19 |  0.001 % |
1191.51/1192.07	c |   2159978 |     525     8592    28720 | 2147483647    47476     19 |  0.001 % |
1191.91/1192.41	c |   2160318 |     525     8592    28720 |    47500    40598     19 |  0.001 % |
1192.01/1192.59	c |   2160691 |     525     8592    28720 |    47500    40971     19 |  0.001 % |
1192.21/1192.77	c |   2161100 |     525     8592    28720 |    47500    41380     19 |  0.001 % |
1192.41/1192.96	c |   2161551 |     525     8592    28720 |    47500    41831     19 |  0.001 % |
1192.71/1193.22	c |   2162045 |     525     8592    28720 |    47500    42325     19 |  0.000 % |
1193.01/1193.52	c |   2162587 |     525     8592    28720 |    47500    42867     19 |  0.001 % |
1193.31/1193.82	c |   2163183 |     525     8592    28720 |    47500    43463     19 |  0.001 % |
1193.61/1194.18	c |   2163838 |     525     8592    28720 |    47500    44118     19 |  0.001 % |
1194.01/1194.59	c |   2164558 |     525     8592    28720 |    47500    44838     19 |  0.001 % |
1194.51/1195.02	c |   2165350 |     525     8592    28720 |    47500    45630     19 |  0.000 % |
1194.91/1195.47	c |   2166221 |     525     8592    28720 |    47500    46501     19 |  0.001 % |
1195.51/1196.01	c |   2167180 |     525     8592    28720 |    47500    47460     19 |  0.001 % |
1196.11/1196.68	c |   2168233 |     525     8592    28720 |    47500    41420     18 |  0.001 % |
1196.91/1197.41	c |   2169391 |     525     8592    28720 |    47500    42578     18 |  0.001 % |
1197.61/1198.13	c |   2170666 |     525     8592    28720 |    43187    37398     18 |  0.000 % |
1198.31/1198.81	c |   2172066 |     525     8592    28720 |    43187    38798     19 |  0.001 % |
1198.91/1199.50	c |   2173606 |     525     8592    28720 |    43187    40338     19 |  0.001 % |
1199.81/1200.36	c |   2175301 |     525     8592    28720 |    43187    42033     19 |  0.001 % |
1200.01/1200.50	HOME/SatELiteGTI: line 36: 12139 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-1832187-1242770261/watcher-1832187-1242770261 -o /tmp/evaluation-result-1832187-1242770261/solver-1832187-1242770261 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832187-1242770261.cnf 

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


[startup+0 s]
/proc/loadavg: 1.09 1.00 0.92 3/64 12133
/proc/meminfo: memFree=1974120/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305059367 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12133/statm: 1339 237 197 169 0 50 0

[startup+0.0781429 s]
/proc/loadavg: 1.09 1.00 0.92 3/64 12133
/proc/meminfo: memFree=1974120/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305059367 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12133/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101145 s]
/proc/loadavg: 1.09 1.00 0.92 3/64 12133
/proc/meminfo: memFree=1974120/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305059367 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12133/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301169 s]
/proc/loadavg: 1.09 1.00 0.92 3/64 12133
/proc/meminfo: memFree=1974120/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 5356

[startup+0.701218 s]
/proc/loadavg: 1.09 1.00 0.92 3/64 12133
/proc/meminfo: memFree=1974120/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 5356

[startup+1.50131 s]
/proc/loadavg: 1.08 1.00 0.92 2/66 12139
/proc/meminfo: memFree=1972504/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=2992 CPUtime=1.37
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 424 0 0 0 137 0 0 0 25 0 1 0 305059379 3063808 410 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 748 410 76 171 0 575 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8348

[startup+3.10149 s]
/proc/loadavg: 1.08 1.00 0.92 2/66 12139
/proc/meminfo: memFree=1971608/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=4092 CPUtime=2.96
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 693 0 0 0 296 0 0 0 25 0 1 0 305059379 4190208 679 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 1023 679 76 171 0 850 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 9448

[startup+6.30186 s]
/proc/loadavg: 1.08 1.00 0.92 2/66 12139
/proc/meminfo: memFree=1969816/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=5508 CPUtime=6.16
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 1032 0 0 0 615 1 0 0 25 0 1 0 305059379 5640192 1018 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 1377 1018 76 171 0 1204 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 10864

[startup+12.7026 s]
/proc/loadavg: 1.07 1.00 0.92 2/66 12139
/proc/meminfo: memFree=1967832/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=7184 CPUtime=12.55
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 1467 0 0 0 1253 2 0 0 25 0 1 0 305059379 7356416 1453 1992294400 134512640 135215339 4294956240 18446744073709551615 134528613 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 1796 1453 76 171 0 1623 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 12540

[startup+25.5011 s]
/proc/loadavg: 1.06 1.00 0.92 2/66 12139
/proc/meminfo: memFree=1966488/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=8460 CPUtime=25.34
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 1764 0 0 0 2532 2 0 0 25 0 1 0 305059379 8663040 1750 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2115 1750 76 171 0 1942 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 13816

[startup+51.101 s]
/proc/loadavg: 1.03 1.00 0.92 2/66 12139
/proc/meminfo: memFree=1966296/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=8612 CPUtime=50.93
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 1797 0 0 0 5090 3 0 0 25 0 1 0 305059379 8818688 1783 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2153 1783 76 171 0 1980 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 13968

[startup+102.306 s]
/proc/loadavg: 1.01 1.00 0.92 2/66 12139
/proc/meminfo: memFree=1965848/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=8924 CPUtime=102.09
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 1880 0 0 0 10206 3 0 0 25 0 1 0 305059379 9138176 1866 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2231 1866 76 171 0 2058 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 14280

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12139
/proc/meminfo: memFree=1965656/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=9064 CPUtime=162.07
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 1905 0 0 0 16203 4 0 0 25 0 1 0 305059379 9281536 1891 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2266 1891 76 171 0 2093 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 14420

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12145
/proc/meminfo: memFree=1965272/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=9196 CPUtime=222.03
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 1939 0 0 0 22199 4 0 0 25 0 1 0 305059379 9416704 1925 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2299 1925 76 171 0 2126 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 14552

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12145
/proc/meminfo: memFree=1965272/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=9196 CPUtime=282.01
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 1957 0 0 0 28197 4 0 0 25 0 1 0 305059379 9416704 1943 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2299 1943 76 171 0 2126 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 14552

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12145
/proc/meminfo: memFree=1964952/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=9484 CPUtime=341.99
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 2013 0 0 0 34194 5 0 0 25 0 1 0 305059379 9711616 1999 1992294400 134512640 135215339 4294956240 18446744073709551615 134528899 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2371 1999 76 171 0 2198 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 14840

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12145
/proc/meminfo: memFree=1964632/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=9628 CPUtime=401.96
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 2058 0 0 0 40191 5 0 0 25 0 1 0 305059379 9859072 2044 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2407 2044 76 171 0 2234 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 14984

[startup+462.302 s]

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

[pid=12139] ppid=12133 vsize=9916 CPUtime=521.92
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 2131 0 0 0 52186 6 0 0 25 0 1 0 305059379 10153984 2117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2479 2117 76 171 0 2306 0
Current children cumulated CPU time (s) 522.03
Current children cumulated vsize (KiB) 15272

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12145
/proc/meminfo: memFree=1963928/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=10060 CPUtime=581.91
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 2166 0 0 0 58184 7 0 0 25 0 1 0 305059379 10301440 2152 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2515 2152 76 171 0 2342 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 15416

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12145
/proc/meminfo: memFree=1963672/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=10224 CPUtime=641.89
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 2187 0 0 0 64182 7 0 0 25 0 1 0 305059379 10469376 2173 1992294400 134512640 135215339 4294956240 18446744073709551615 134528702 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2556 2173 76 171 0 2383 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 15580

[startup+702.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12145
/proc/meminfo: memFree=1963544/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=10224 CPUtime=701.87
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 2193 0 0 0 70179 8 0 0 25 0 1 0 305059379 10469376 2179 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2556 2179 76 171 0 2383 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 15580

[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12145
/proc/meminfo: memFree=1963224/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=10504 CPUtime=761.85
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 2250 0 0 0 76177 8 0 0 25 0 1 0 305059379 10756096 2236 1992294400 134512640 135215339 4294956240 18446744073709551615 134538543 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2626 2236 76 171 0 2453 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 15860

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12145
/proc/meminfo: memFree=1963096/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=10504 CPUtime=821.82
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 2254 0 0 0 82174 8 0 0 25 0 1 0 305059379 10756096 2240 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2626 2240 76 171 0 2453 0
Current children cumulated CPU time (s) 821.93
Current children cumulated vsize (KiB) 15860

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12145
/proc/meminfo: memFree=1962968/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=10504 CPUtime=881.8
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 2270 0 0 0 88172 8 0 0 25 0 1 0 305059379 10756096 2256 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2626 2256 76 171 0 2453 0
Current children cumulated CPU time (s) 881.91
Current children cumulated vsize (KiB) 15860

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12145
/proc/meminfo: memFree=1962712/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=10656 CPUtime=941.79
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 2292 0 0 0 94170 9 0 0 25 0 1 0 305059379 10911744 2278 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2664 2278 76 171 0 2491 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 16012

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12145
/proc/meminfo: memFree=1962584/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=10656 CPUtime=1001.76
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 2302 0 0 0 100167 9 0 0 25 0 1 0 305059379 10911744 2288 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2664 2288 76 171 0 2491 0
Current children cumulated CPU time (s) 1001.87
Current children cumulated vsize (KiB) 16012

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12145
/proc/meminfo: memFree=1962520/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=10656 CPUtime=1061.74
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 2302 0 0 0 106165 9 0 0 25 0 1 0 305059379 10911744 2288 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2664 2288 76 171 0 2491 0
Current children cumulated CPU time (s) 1061.85
Current children cumulated vsize (KiB) 16012

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12145
/proc/meminfo: memFree=1962392/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=10656 CPUtime=1121.72
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 2313 0 0 0 112163 9 0 0 25 0 1 0 305059379 10911744 2299 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2664 2299 76 171 0 2491 0
Current children cumulated CPU time (s) 1121.83
Current children cumulated vsize (KiB) 16012

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12145
/proc/meminfo: memFree=1962264/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=10812 CPUtime=1181.7
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 2321 0 0 0 118160 10 0 0 25 0 1 0 305059379 11071488 2307 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2703 2307 76 171 0 2530 0
Current children cumulated CPU time (s) 1181.81
Current children cumulated vsize (KiB) 16168



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12145
/proc/meminfo: memFree=1962136/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=10964 CPUtime=1199.9
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 2354 0 0 0 119980 10 0 0 25 0 1 0 305059379 11227136 2340 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2741 2340 76 171 0 2568 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 16320

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

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

[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.92 2/66 12145
/proc/meminfo: memFree=1962136/2055920 swapFree=4180280/4192956
[pid=12133] ppid=12131 vsize=5356 CPUtime=0.11
/proc/12133/stat : 12133 (SatELiteGTI) S 12131 12133 11849 0 -1 4194304 336 649 0 0 0 0 11 0 16 0 1 0 305059367 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12133/statm: 1339 239 197 169 0 50 0
[pid=12139] ppid=12133 vsize=10964 CPUtime=1199.9
/proc/12139/stat : 12139 (minisat_static) R 12133 12133 11849 0 -1 4194304 2354 0 0 0 119980 10 0 0 25 0 1 0 305059379 11227136 2340 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/12139/statm: 2741 2340 76 171 0 2568 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 16320

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.03
CPU user time (s): 1199.92
CPU system time (s): 0.109983
CPU usage (%): 99.9597
Max. virtual memory (cumulated for all children) (KiB): 16320

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.92
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3370
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= 32
involuntary context switches= 4609

runsolver used 1.43578 second user time and 3.07753 second system time

The end

Launcher Data

Begin job on node20 at 2009-05-19 23:57:41
IDJOB=1832187
IDBENCH=24613
IDSOLVER=671
FILE ID=node20/1832187-1242770261
PBS_JOBID= 9322278
Free space on /tmp= 66256 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/crafted/Hard/contest04/connamacher/connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832187-1242770261/watcher-1832187-1242770261 -o /tmp/evaluation-result-1832187-1242770261/solver-1832187-1242770261 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1832187-1242770261.cnf

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

MD5SUM BENCH= c2cb7643bd8a1926480278b8bba0ef3d
RANDOM SEED=1394110086

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1974600 kB
Buffers:         11792 kB
Cached:          33072 kB
SwapCached:       6816 kB
Active:          19148 kB
Inactive:        33988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1974600 kB
SwapTotal:     4192956 kB
SwapFree:      4180280 kB
Dirty:            1708 kB
Writeback:           0 kB
Mapped:          13464 kB
Slab:            14236 kB
Committed_AS:  1132144 kB
PageTables:       1400 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= 66252 MiB
End job on node20 at 2009-05-20 00:17:44