Trace number 1837172

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? (MO) 6740.5 6742.51

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq7.cnf
MD5SUM0fbc00fde383cec371bb97d621c5e7e5
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark6836.2
Satisfiable
(Un)Satisfiability was proved
Number of variables306095
Number of clauses6069108
Sum of the clauses size17675754
Maximum clause length163
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 25745111
Number of clauses of size 366910
Number of clauses of size 44878
Number of clauses of size 518476
Number of clauses of size over 5233732

Solver Data

0.00/0.00	c Parsing...
4.79/4.84	c ==============================================================================
4.79/4.84	c |           |     ORIGINAL     |              LEARNT              |          |
4.79/4.84	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
4.79/4.84	c ==============================================================================
4.79/4.84	c |         0 | 6069107 17675753 | 1820732       0        0     nan |  0.000 % |
76.06/76.12	c |         0 | 5951176 18559697 |      --       0       --      -- |     --   | -117689/887802
76.06/76.12	c ==============================================================================
76.06/76.12	c Result  :   #vars: 263670   #clauses: 5951176   #literals: 18559697
76.06/76.12	c CPU time:   75.0446 s
76.06/76.12	c ==============================================================================
82.07/82.29	c This is MiniSat 2.0 beta
82.07/82.29	c WARNING: for repeatability, setting FPU to use double precision
82.07/82.29	c ============================[ Problem Statistics ]=============================
82.07/82.29	c |                                                                             |
82.07/82.29	c |  Number of variables:  263670                                               |
82.07/82.29	c |  Number of clauses:    5951176                                              |
85.76/85.99	c |  Parsing time:         3.21         s                                       |
85.96/86.18	c ============================[ Search Statistics ]==============================
85.96/86.18	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
85.96/86.18	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
85.96/86.18	c ===============================================================================
85.96/86.18	c |         0 |  263670  5951176 18559697 |  1983725        0    nan |  0.000 % |
86.65/86.84	c |       100 |  263670  5951176 18559697 |  1983725      100     27 |  0.000 % |
86.85/87.01	c |       201 |  263670  5951176 18559697 |  1983725      201     36 |  0.000 % |
87.05/87.22	c |       303 |  263670  5951176 18559697 |  1983725      303     55 |  0.000 % |
87.35/87.58	c |       422 |  263670  5951176 18559697 |  1983725      422     48 |  0.000 % |
88.24/88.41	c |       522 |  263670  5951176 18559697 |  1983725      522     45 |  0.000 % |
89.24/89.50	c |       632 |  263670  5951176 18559697 |  1983725      632     45 |  0.000 % |
89.84/90.00	c |       753 |  263670  5951176 18559697 |  1983725      753     41 |  0.000 % |
90.14/90.33	c |       853 |  263670  5951176 18559697 |  1983725      853     41 |  0.000 % |
90.34/90.52	c |       963 |  263670  5951176 18559697 |  1983725      963     39 |  0.000 % |
90.64/90.87	c |      1084 |  263670  5951176 18559697 |  1983725     1084     38 |  0.000 % |
91.24/91.45	c |      1218 |  263670  5951176 18559697 |  1983725     1218     39 |  0.000 % |
91.74/92.00	c |      1318 |  263670  5951176 18559697 |  1983725     1318     42 |  0.000 % |
92.04/92.20	c |      1429 |  263670  5951176 18559697 |  1983725     1429     44 |  0.000 % |
92.14/92.33	c |      1551 |  263670  5951176 18559697 |  1983725     1551     48 |  0.000 % |
92.74/92.97	c |      1686 |  263670  5951176 18559697 |  1983725     1686     46 |  0.000 % |
93.14/93.31	c |      1832 |  263670  5951176 18559697 |  1983725     1832     46 |  0.000 % |
93.34/93.51	c |      1938 |  263670  5951176 18559697 |  1983725     1938     48 |  0.000 % |
93.54/93.72	c |      2051 |  263670  5951176 18559697 |  1983725     2051     49 |  0.000 % |
94.34/94.54	c |      2174 |  263670  5951176 18559697 |  1983725     2174     48 |  0.000 % |
94.94/95.14	c |      2310 |  263670  5951176 18559697 |  1983725     2310     50 |  0.000 % |
95.25/95.40	c |      2456 |  263670  5951176 18559697 |  1983725     2456     50 |  0.000 % |
95.45/95.64	c |      2616 |  263670  5951176 18559697 |  1983725     2616     50 |  0.000 % |
95.65/95.85	c |      2718 |  263670  5951176 18559697 |  1983725     2718     51 |  0.000 % |
95.85/96.04	c |      2828 |  263670  5951176 18559697 |  1983725     2828     50 |  0.000 % |
96.05/96.25	c |      2955 |  263670  5951176 18559697 |  1983725     2955     50 |  0.000 % |
96.55/96.79	c |      3090 |  263670  5951176 18559697 |  1983725     3090     50 |  0.000 % |
97.25/97.43	c |      3237 |  263670  5951176 18559697 |  1983725     3237     50 |  0.000 % |
99.14/99.40	c |      3398 |  263670  5951176 18559697 |  1983725     3398     49 |  0.000 % |
99.44/99.62	c |      3574 |  263670  5951176 18559697 |  1983725     3574     50 |  0.000 % |
99.74/99.97	c |      3676 |  263670  5951176 18559697 |  1983725     3676     50 |  0.000 % |
100.04/100.22	c |      3786 |  263670  5951176 18559697 |  1983725     3786     49 |  0.000 % |
100.24/100.46	c |      3908 |  263670  5951176 18559697 |  1983725     3908     49 |  0.000 % |
100.44/100.67	c |      4041 |  263670  5951176 18559697 |  1983725     4041     48 |  0.000 % |
100.95/101.19	c |      4187 |  263670  5951176 18559697 |  1983725     4187     49 |  0.000 % |
101.14/101.38	c |      4347 |  263670  5951176 18559697 |  1983725     4347     48 |  0.000 % |
101.74/101.94	c |      4523 |  263670  5951176 18559697 |  1983725     4523     48 |  0.000 % |
102.15/102.35	c |      4718 |  263670  5951176 18559697 |  1983725     4718     47 |  0.000 % |
102.34/102.52	c |      4820 |  263670  5951176 18559697 |  1983725     4820     47 |  0.000 % |
103.04/103.30	c |      4930 |  263670  5951176 18559697 |  1983725     4930     47 |  0.000 % |
103.34/103.54	c |      5052 |  263670  5951176 18559697 |  1983725     5052     46 |  0.000 % |
103.64/103.84	c |      5186 |  263670  5951176 18559697 |  1983725     5186     46 |  0.000 % |
104.25/104.41	c |      5334 |  263670  5951176 18559697 |  1983725     5334     46 |  0.000 % |
104.54/104.72	c |      5497 |  263670  5951176 18559697 |  1983725     5497     47 |  0.000 % |
105.04/105.23	c |      5673 |  263670  5951176 18559697 |  1983725     5673     47 |  0.000 % |
105.64/105.82	c |      5866 |  263670  5951176 18559697 |  1983725     5866     48 |  0.000 % |
106.04/106.25	c |      6078 |  263670  5951176 18559697 |  1983725     6078     48 |  0.000 % |
106.54/106.70	c |      6178 |  263670  5951176 18559697 |  1983725     6178     48 |  0.000 % |
106.84/107.06	c |      6289 |  263670  5951176 18559697 |  1983725     6289     48 |  0.000 % |
107.04/107.29	c |      6410 |  263670  5951176 18559697 |  1983725     6410     48 |  0.000 % |
107.94/108.10	c |      6545 |  263670  5951176 18559697 |  1983725     6545     48 |  0.000 % |
108.44/108.69	c |      6692 |  263670  5951176 18559697 |  1983725     6692     48 |  0.000 % |
108.94/109.18	c |      6854 |  263670  5951176 18559697 |  1983725     6854     48 |  0.000 % |
109.74/109.92	c |      7031 |  263670  5951176 18559697 |  1983725     7031     48 |  0.000 % |
111.73/111.91	c |      7228 |  263670  5951176 18559697 |  1983725     7228     48 |  0.000 % |
113.04/113.27	c |      7440 |  263670  5951176 18559697 |  1983725     7440     48 |  0.000 % |
113.63/113.88	c |      7673 |  263670  5951176 18559697 |  1983725     7673     49 |  0.000 % |
114.14/114.39	c |      7773 |  263670  5951176 18559697 |  1983725     7773     49 |  0.000 % |
114.83/115.02	c |      7883 |  263670  5951176 18559697 |  1983725     7883     49 |  0.000 % |
115.34/115.58	c |      8004 |  263670  5951176 18559697 |  1983725     8004     48 |  0.000 % |
115.93/116.16	c |      8137 |  263670  5951176 18559697 |  1983725     8137     48 |  0.000 % |
116.34/116.59	c |      8284 |  263670  5951176 18559697 |  1983725     8284     49 |  0.000 % |
116.73/116.99	c |      8444 |  263670  5951176 18559697 |  1983725     8444     48 |  0.000 % |
118.04/118.23	c |      8620 |  263670  5951176 18559697 |  1983725     8620     48 |  0.000 % |
118.64/118.82	c |      8813 |  263670  5951176 18559697 |  1983725     8813     48 |  0.000 % |
119.04/119.28	c |      9025 |  263670  5951176 18559697 |  1983725     9025     49 |  0.000 % |
120.14/120.31	c |      9260 |  263670  5951176 18559697 |  1983725     9260     49 |  0.000 % |
120.64/120.80	c |      9516 |  263670  5951176 18559697 |  1983725     9516     50 |  0.000 % |
120.94/121.15	c |      9616 |  263670  5951176 18559697 |  1983725     9616     50 |  0.000 % |
121.34/121.51	c |      9726 |  263670  5951176 18559697 |  1983725     9726     50 |  0.000 % |
121.74/121.96	c |      9848 |  263670  5951176 18559697 |  1983725     9848     50 |  0.000 % |
122.34/122.52	c |      9981 |  263670  5951176 18559697 |  1983725     9981     50 |  0.000 % |
122.64/122.84	c |     10127 |  263670  5951176 18559697 | 2147483647    10127     50 |  0.000 % |
122.94/123.19	c |     10287 |  263670  5951176 18559697 | 2147483647    10287     51 |  0.000 % |
123.24/123.47	c |     10464 |  263670  5951176 18559697 | 2147483647    10464     51 |  0.000 % |
123.54/123.70	c |     10657 |  263670  5951176 18559697 | 2147483647    10657     52 |  0.000 % |
124.04/124.20	c |     10869 |  263670  5951176 18559697 | 2147483647    10869     52 |  0.000 % |
124.33/124.52	c |     11103 |  263670  5951176 18559697 | 2147483647    11103     52 |  0.000 % |
125.33/125.55	c |     11359 |  263670  5951176 18559697 | 2147483647    11359     53 |  0.000 % |
126.13/126.34	c |     11640 |  263670  5951176 18559697 | 2147483647    11640     53 |  0.000 % |
126.34/126.57	c |     11740 |  263670  5951176 18559697 | 2147483647    11740     53 |  0.000 % |
126.73/126.90	c |     11853 |  263670  5951176 18559697 | 2147483647    11853     53 |  0.000 % |
126.93/127.17	c |     11975 |  263670  5951176 18559697 | 2147483647    11975     53 |  0.000 % |
127.13/127.35	c |     12108 |  263670  5951176 18559697 | 2147483647    12108     53 |  0.000 % |
127.53/127.73	c |     12257 |  263670  5951176 18559697 | 2147483647    12257     54 |  0.000 % |
127.93/128.18	c |     12417 |  263670  5951176 18559697 | 2147483647    12417     54 |  0.000 % |
128.13/128.39	c |     12593 |  263670  5951176 18559697 | 2147483647    12593     54 |  0.000 % |
128.93/129.17	c |     12787 |  263670  5951176 18559697 | 2147483647    12787     54 |  0.000 % |
129.33/129.50	c |     13000 |  263670  5951176 18559697 | 2147483647    13000     54 |  0.000 % |
129.83/130.10	c |     13233 |  263670  5951176 18559697 | 2147483647    13233     54 |  0.000 % |
131.13/131.37	c |     13492 |  263670  5951176 18559697 | 2147483647    13492     54 |  0.000 % |
131.53/131.76	c |     13773 |  263670  5951176 18559697 | 2147483647    13773     54 |  0.000 % |
132.03/132.26	c |     14082 |  263670  5951176 18559697 | 2147483647    14082     54 |  0.000 % |
132.63/132.85	c |     14182 |  263670  5951176 18559697 | 2147483647    14182     54 |  0.000 % |
132.93/133.11	c |     14295 |  263670  5951176 18559697 | 2147483647    14295     55 |  0.000 % |
133.13/133.35	c |     14416 |  263670  5951176 18559697 | 2147483647    14416     55 |  0.000 % |
133.53/133.77	c |     14550 |  263670  5951176 18559697 | 2147483647    14550     55 |  0.000 % |
133.93/134.14	c |     14698 |  263670  5951176 18559697 | 2147483647    14698     55 |  0.000 % |
134.23/134.45	c |     14860 |  263670  5951176 18559697 | 2147483647    14860     55 |  0.000 % |
134.43/134.69	c |     15045 |  263670  5951176 18559697 | 2147483647    15045     55 |  0.000 % |
134.73/134.99	c |     15238 |  263670  5951176 18559697 | 2147483647    15238     55 |  0.000 % |
135.13/135.34	c |     15450 |  263670  5951176 18559697 | 2147483647    15450     54 |  0.000 % |
135.53/135.72	c |     15688 |  263670  5951176 18559697 | 2147483647    15688     54 |  0.000 % |
135.93/136.11	c |     15944 |  263670  5951176 18559697 | 2147483647    15944     54 |  0.000 % |
136.33/136.55	c |     16226 |  263670  5951176 18559697 | 2147483647    16226     54 |  0.000 % |
136.83/137.08	c |     16538 |  263670  5951176 18559697 | 2147483647    16538     54 |  0.000 % |
137.44/137.65	c |     16877 |  263670  5951176 18559697 | 2147483647    16877     53 |  0.000 % |
137.64/137.81	c |     16977 |  263670  5951176 18559697 | 2147483647    16977     53 |  0.000 % |
137.94/138.12	c |     17087 |  263670  5951176 18559697 | 2147483647    17087     53 |  0.000 % |
138.24/138.40	c |     17209 |  263670  5951176 18559697 | 2147483647    17209     53 |  0.000 % |
138.44/138.68	c |     17342 |  263670  5951176 18559697 | 2147483647    17342     53 |  0.000 % |
138.64/138.89	c |     17488 |  263670  5951176 18559697 | 2147483647    17488     53 |  0.000 % |
139.83/140.02	c |     17648 |  263670  5951176 18559697 | 2147483647    17648     53 |  0.000 % |
140.13/140.33	c |     17824 |  263670  5951176 18559697 | 2147483647    17824     53 |  0.000 % |
140.33/140.57	c |     18017 |  263670  5951176 18559697 | 2147483647    18017     53 |  0.000 % |
140.73/140.96	c |     18233 |  263670  5951176 18559697 | 2147483647    18233     52 |  0.000 % |
141.13/141.32	c |     18467 |  263670  5951176 18559697 | 2147483647    18467     52 |  0.000 % |
141.43/141.61	c |     18725 |  263670  5951176 18559697 | 2147483647    18725     52 |  0.000 % |
141.74/141.93	c |     19008 |  263670  5951176 18559697 | 2147483647    19008     52 |  0.000 % |
142.33/142.57	c |     19319 |  263670  5951176 18559697 | 2147483647    19319     52 |  0.000 % |
142.63/142.86	c |     19660 |  263670  5951176 18559697 | 2147483647    19660     52 |  0.000 % |
143.13/143.36	c |     20035 |  263670  5951176 18559697 | 2147483647    20035     51 |  0.000 % |
143.43/143.68	c |     20135 |  263670  5951176 18559697 | 2147483647    20135     51 |  0.000 % |
143.73/143.96	c |     20245 |  263670  5951176 18559697 | 2147483647    20245     51 |  0.000 % |
143.94/144.16	c |     20366 |  263670  5951176 18559697 | 2147483647    20366     51 |  0.000 % |
144.23/144.43	c |     20501 |  263670  5951176 18559697 | 2147483647    20501     51 |  0.000 % |
144.63/144.82	c |     20647 |  263670  5951176 18559697 | 2147483647    20647     51 |  0.000 % |
144.83/145.05	c |     20808 |  263670  5951176 18559697 | 2147483647    20808     51 |  0.000 % |
145.23/145.42	c |     20985 |  263670  5951176 18559697 | 2147483647    20985     51 |  0.000 % |
145.53/145.76	c |     21178 |  263670  5951176 18559697 | 2147483647    21178     51 |  0.000 % |
145.83/146.01	c |     21390 |  263670  5951176 18559697 | 2147483647    21390     51 |  0.000 % |
146.23/146.44	c |     21624 |  263670  5951176 18559697 | 2147483647    21624     51 |  0.000 % |
146.63/146.83	c |     21881 |  263670  5951176 18559697 | 2147483647    21881     51 |  0.000 % |
146.93/147.11	c |     22162 |  263670  5951176 18559697 | 2147483647    22162     51 |  0.000 % |
147.33/147.58	c |     22471 |  263670  5951176 18559697 | 2147483647    22471     51 |  0.000 % |
148.03/148.27	c |     22810 |  263670  5951176 18559697 | 2147483647    22810     51 |  0.000 % |
148.53/148.75	c |     23183 |  263670  5951176 18559697 | 2147483647    23183     51 |  0.000 % |
149.23/149.45	c |     23594 |  263670  5951176 18559697 | 2147483647    23594     51 |  0.000 % |
149.63/149.82	c |     23694 |  263670  5951176 18559697 | 2147483647    23694     50 |  0.000 % |
149.83/150.06	c |     23807 |  263670  5951176 18559697 | 2147483647    23807     51 |  0.000 % |
150.13/150.33	c |     23928 |  263670  5951176 18559697 | 2147483647    23928     50 |  0.000 % |
150.33/150.57	c |     24062 |  263670  5951176 18559697 | 2147483647    24062     50 |  0.000 % |
151.03/151.21	c |     24208 |  263670  5951176 18559697 | 2147483647    24208     50 |  0.000 % |
151.23/151.45	c |     24372 |  263670  5951176 18559697 | 2147483647    24372     50 |  0.000 % |
151.83/152.04	c |     24548 |  263670  5951176 18559697 | 2147483647    24548     50 |  0.000 % |
153.22/153.46	c |     24742 |  263670  5951176 18559697 | 2147483647    24742     50 |  0.000 % |
153.73/153.97	c |     24954 |  263670  5951176 18559697 | 2147483647    24954     50 |  0.000 % |
155.12/155.33	c |     25189 |  263670  5951176 18559697 | 2147483647    25189     50 |  0.000 % |
155.52/155.71	c |     25447 |  263670  5951176 18559697 | 2147483647    25447     50 |  0.000 % |
155.82/156.06	c |     25729 |  263670  5951176 18559697 | 2147483647    25729     50 |  0.000 % |
156.22/156.40	c |     26038 |  263670  5951176 18559697 | 2147483647    26038     50 |  0.000 % |
158.42/158.61	c |     26377 |  263670  5951176 18559697 | 2147483647    26377     50 |  0.000 % |
158.72/158.97	c |     26750 |  263670  5951176 18559697 | 2147483647    26750     50 |  0.000 % |
159.12/159.39	c |     27159 |  263670  5951176 18559697 | 2147483647    27159     50 |  0.000 % |
160.03/160.25	c |     27609 |  263670  5951176 18559697 | 2147483647    27609     51 |  0.000 % |
160.43/160.66	c |     27710 |  263670  5951176 18559697 | 2147483647    27710     51 |  0.000 % |
160.63/160.85	c |     27821 |  263670  5951176 18559697 | 2147483647    27821     51 |  0.000 % |
160.93/161.19	c |     27943 |  263670  5951176 18559697 | 2147483647    27943     51 |  0.000 % |
161.33/161.59	c |     28076 |  263670  5951176 18559697 | 2147483647    28076     51 |  0.000 % |
161.83/162.08	c |     28223 |  263670  5951176 18559697 | 2147483647    28223     51 |  0.000 % |
162.33/162.59	c |     28383 |  263670  5951176 18559697 | 2147483647    28383     51 |  0.000 % |
162.73/162.95	c |     28559 |  263670  5951176 18559697 | 2147483647    28559     51 |  0.000 % |
163.33/163.52	c |     28754 |  263670  5951176 18559697 | 2147483647    28754     51 |  0.000 % |
163.53/163.79	c |     28967 |  263670  5951176 18559697 | 2147483647    28967     51 |  0.000 % |
164.03/164.23	c |     29200 |  263670  5951176 18559697 | 2147483647    29200     51 |  0.000 % |
164.53/164.76	c |     29456 |  263670  5951176 18559697 | 2147483647    29456     51 |  0.000 % |
164.93/165.19	c |     29737 |  263670  5951176 18559697 | 2147483647    29737     51 |  0.000 % |
165.43/165.60	c |     30047 |  263670  5951176 18559697 | 2147483647    30047     50 |  0.000 % |
165.93/166.16	c |     30386 |  263670  5951176 18559697 | 2147483647    30386     50 |  0.000 % |
166.33/166.59	c |     30760 |  263670  5951176 18559697 | 2147483647    30760     50 |  0.000 % |
166.93/167.17	c |     31169 |  263670  5951176 18559697 | 2147483647    31169     50 |  0.000 % |
167.62/167.84	c |     31619 |  263670  5951176 18559697 | 2147483647    31619     50 |  0.000 % |
168.13/168.36	c |     32112 |  263670  5951176 18559697 | 2147483647    32112     50 |  0.000 % |
168.32/168.57	c |     32212 |  263670  5951176 18559697 | 2147483647    32212     49 |  0.000 % |
168.52/168.75	c |     32322 |  263670  5951176 18559697 | 2147483647    32322     49 |  0.000 % |
168.72/168.96	c |     32443 |  263670  5951176 18559697 | 2147483647    32443     49 |  0.000 % |
169.23/169.43	c |     32578 |  263670  5951176 18559697 | 2147483647    32578     49 |  0.000 % |
169.42/169.68	c |     32724 |  263670  5951176 18559697 | 2147483647    32724     49 |  0.000 % |
169.92/170.18	c |     32887 |  263670  5951176 18559697 | 2147483647    32887     49 |  0.000 % |
170.42/170.68	c |     33064 |  263670  5951176 18559697 | 2147483647    33064     49 |  0.000 % |
170.92/171.19	c |     33257 |  263670  5951176 18559697 | 2147483647    33257     49 |  0.000 % |
171.22/171.41	c |     33470 |  263670  5951176 18559697 | 2147483647    33470     49 |  0.000 % |
171.62/171.88	c |     33703 |  263670  5951176 18559697 | 2147483647    33703     49 |  0.000 % |
172.12/172.35	c |     33960 |  263670  5951176 18559697 | 2147483647    33960     49 |  0.000 % |
172.92/173.11	c |     34244 |  263670  5951176 18559697 | 2147483647    34244     50 |  0.000 % |
173.32/173.59	c |     34554 |  263670  5951176 18559697 | 2147483647    34554     50 |  0.000 % |
173.92/174.11	c |     34897 |  263670  5951176 18559697 | 2147483647    34897     50 |  0.000 % |
174.32/174.58	c |     35269 |  263670  5951176 18559697 | 2147483647    35269     50 |  0.000 % |
174.92/175.15	c |     35679 |  263670  5951176 18559697 | 2147483647    35679     50 |  0.000 % |
175.32/175.56	c |     36129 |  263670  5951176 18559697 | 2147483647    36129     50 |  0.000 % |
176.12/176.34	c |     36623 |  263670  5951176 18559697 | 2147483647    36623     50 |  0.000 % |
176.72/176.98	c |     37166 |  263670  5951176 18559697 | 2147483647    37166     50 |  0.000 % |
177.52/177.72	c |     37266 |  263670  5951176 18559697 | 2147483647    37266     50 |  0.000 % |
177.62/177.89	c |     37376 |  263670  5951176 18559697 | 2147483647    37376     50 |  0.000 % |
178.02/178.24	c |     37501 |  263670  5951176 18559697 | 2147483647    37501     50 |  0.000 % |
178.82/179.03	c |     37635 |  263670  5951176 18559697 | 2147483647    37635     50 |  0.000 % |
179.22/179.44	c |     37782 |  263670  5951176 18559697 | 2147483647    37782     50 |  0.000 % |
179.62/179.87	c |     37942 |  263670  5951176 18559697 | 2147483647    37942     50 |  0.000 % |
179.92/180.13	c |     38118 |  263670  5951176 18559697 | 2147483647    38118     50 |  0.000 % |
180.32/180.57	c |     38311 |  263670  5951176 18559697 | 2147483647    38311     50 |  0.000 % |
181.23/181.45	c |     38523 |  263670  5951176 18559697 | 2147483647    38523     50 |  0.000 % |
181.72/181.98	c |     38759 |  263670  5951176 18559697 | 2147483647    38759     50 |  0.000 % |
182.02/182.26	c |     39016 |  263670  5951176 18559697 | 2147483647    39016     50 |  0.000 % |
183.32/183.56	c |     39299 |  263670  5951176 18559697 | 2147483647    39299     50 |  0.000 % |
183.72/183.93	c |     39608 |  263670  5951176 18559697 | 2147483647    39608     50 |  0.000 % |
185.32/185.52	c |     39948 |  263670  5951176 18559697 | 2147483647    39948     50 |  0.000 % |
186.12/186.39	c |     40328 |  263670  5951176 18559697 | 2147483647    40328     50 |  0.000 % |
187.02/187.21	c |     40737 |  263670  5951176 18559697 | 2147483647    40737     50 |  0.000 % |
188.12/188.39	c |     41187 |  263670  5951176 18559697 | 2147483647    41187     50 |  0.000 % |
188.42/188.66	c |     41681 |  263670  5951176 18559697 | 2147483647    41681     50 |  0.000 % |
189.82/190.06	c |     42223 |  263670  5951176 18559697 | 2147483647    42223     50 |  0.000 % |
191.62/191.81	c |     42820 |  263670  5951176 18559697 | 2147483647    42820     50 |  0.000 % |
191.82/192.04	c |     42921 |  263670  5951176 18559697 | 2147483647    42921     50 |  0.000 % |
192.22/192.42	c |     43031 |  263670  5951176 18559697 | 2147483647    43031     50 |  0.000 % |
193.02/193.28	c |     43153 |  263670  5951176 18559697 | 2147483647    43153     50 |  0.000 % |
193.32/193.51	c |     43287 |  263670  5951176 18559697 | 2147483647    43287     50 |  0.000 % |
193.72/193.92	c |     43435 |  263670  5951176 18559697 | 2147483647    43435     50 |  0.000 % |
194.02/194.23	c |     43596 |  263670  5951176 18559697 | 2147483647    43596     50 |  0.000 % |
194.72/194.91	c |     43772 |  263670  5951176 18559697 | 2147483647    43772     50 |  0.000 % |
195.02/195.26	c |     43966 |  263670  5951176 18559697 | 2147483647    43966     50 |  0.000 % |
195.22/195.47	c |     44179 |  263670  5951176 18559697 | 2147483647    44179     51 |  0.000 % |
195.52/195.80	c |     44413 |  263670  5951176 18559697 | 2147483647    44413     51 |  0.000 % |
196.52/196.77	c |     44669 |  263670  5951176 18559697 | 2147483647    44669     51 |  0.000 % |
197.02/197.24	c |     44951 |  263670  5951176 18559697 | 2147483647    44951     51 |  0.000 % |
197.52/197.73	c |     45264 |  263670  5951176 18559697 | 2147483647    45264     51 |  0.000 % |
198.02/198.23	c |     45603 |  263670  5951176 18559697 | 2147483647    45603     51 |  0.000 % |
198.52/198.74	c |     45980 |  263670  5951176 18559697 | 2147483647    45980     51 |  0.000 % |
199.72/199.99	c |     46393 |  263670  5951176 18559697 | 2147483647    46393     51 |  0.000 % |
201.02/201.26	c |     46845 |  263670  5951176 18559697 | 2147483647    46845     51 |  0.000 % |
201.61/201.81	c |     47339 |  263670  5951176 18559697 | 2147483647    47339     51 |  0.000 % |
202.81/203.06	c |     47882 |  263670  5951176 18559697 | 2147483647    47882     51 |  0.000 % |
203.31/203.58	c |     48482 |  263670  5951176 18559697 | 2147483647    48482     51 |  0.000 % |
204.71/204.98	c |     49137 |  263670  5951176 18559697 | 2147483647    49137     52 |  0.000 % |
204.91/205.20	c |     49238 |  263670  5951176 18559697 | 2147483647    49238     52 |  0.000 % |
205.31/205.59	c |     49349 |  263670  5951176 18559697 | 2147483647    49349     52 |  0.000 % |
205.61/205.85	c |     49470 |  263670  5951176 18559697 | 2147483647    49470     52 |  0.000 % |
205.81/206.07	c |     49604 |  263670  5951176 18559697 | 2147483647    49604     52 |  0.000 % |
206.41/206.66	c |     49750 |  263670  5951176 18559697 | 2147483647    49750     52 |  0.000 % |
207.01/207.25	c |     49910 |  263670  5951176 18559697 | 2147483647    49910     52 |  0.000 % |
207.41/207.63	c |     50086 |  263670  5951176 18559697 | 2147483647    50086     52 |  0.000 % |
207.91/208.17	c |     50280 |  263670  5951176 18559697 | 2147483647    50280     52 |  0.000 % |
208.61/208.81	c |     50492 |  263670  5951176 18559697 | 2147483647    50492     52 |  0.000 % |
208.91/209.13	c |     50725 |  263670  5951176 18559697 | 2147483647    50725     52 |  0.000 % |
209.31/209.51	c |     50981 |  263670  5951176 18559697 | 2147483647    50981     52 |  0.000 % |
209.91/210.12	c |     51264 |  263670  5951176 18559697 | 2147483647    51264     52 |  0.000 % |
210.41/210.60	c |     51573 |  263670  5951176 18559697 | 2147483647    51573     52 |  0.000 % |
211.22/211.46	c |     51912 |  263670  5951176 18559697 | 2147483647    51912     52 |  0.000 % |
211.71/211.98	c |     52284 |  263670  5951176 18559697 | 2147483647    52284     52 |  0.000 % |
212.51/212.73	c |     52695 |  263670  5951176 18559697 | 2147483647    52695     52 |  0.000 % |
213.01/213.25	c |     53146 |  263670  5951176 18559697 | 2147483647    53146     52 |  0.000 % |
213.71/213.98	c |     53639 |  263670  5951176 18559697 | 2147483647    53639     53 |  0.000 % |
214.11/214.35	c |     54181 |  263670  5951176 18559697 | 2147483647    54181     53 |  0.000 % |
215.11/215.36	c |     54779 |  263670  5951176 18559697 | 2147483647    54779     53 |  0.000 % |
215.91/216.12	c |     55434 |  263670  5951176 18559697 | 2147483647    55434     53 |  0.000 % |
218.11/218.39	c |     56155 |  263670  5951176 18559697 | 2147483647    56155     54 |  0.000 % |
218.41/218.61	c |     56255 |  263670  5951176 18559697 | 2147483647    56255     54 |  0.000 % |
218.61/218.88	c |     56365 |  263670  5951176 18559697 | 2147483647    56365     54 |  0.000 % |
219.11/219.35	c |     56486 |  263670  5951176 18559697 | 2147483647    56486     54 |  0.000 % |
220.21/220.42	c |     56619 |  263670  5951176 18559697 | 2147483647    56619     54 |  0.000 % |
220.51/220.73	c |     56765 |  263670  5951176 18559697 | 2147483647    56765     54 |  0.000 % |
221.41/221.65	c |     56925 |  263670  5951176 18559697 | 2147483647    56925     54 |  0.000 % |
221.61/221.85	c |     57102 |  263670  5951176 18559697 | 2147483647    57102     54 |  0.000 % |
222.11/222.31	c |     57300 |  263670  5951176 18559697 | 2147483647    57300     54 |  0.000 % |
222.91/223.17	c |     57512 |  263670  5951176 18559697 | 2147483647    57512     54 |  0.000 % |
223.81/224.08	c |     57746 |  263670  5951176 18559697 | 2147483647    57746     54 |  0.000 % |
224.21/224.48	c |     58003 |  263670  5951176 18559697 | 2147483647    58003     54 |  0.000 % |
224.70/224.95	c |     58286 |  263670  5951176 18559697 | 2147483647    58286     54 |  0.000 % |
225.21/225.49	c |     58597 |  263670  5951176 18559697 | 2147483647    58597     54 |  0.000 % |
225.70/225.92	c |     58938 |  263670  5951176 18559697 | 2147483647    58938     54 |  0.000 % |
226.10/226.34	c |     59310 |  263670  5951176 18559697 | 2147483647    59310     54 |  0.000 % |
226.60/226.84	c |     59720 |  263670  5951176 18559697 | 2147483647    59720     54 |  0.000 % |
227.00/227.28	c |     60170 |  263670  5951176 18559697 | 2147483647    60170     54 |  0.000 % |
227.70/227.95	c |     60664 |  263670  5951176 18559697 | 2147483647    60664     54 |  0.000 % |
228.40/228.61	c |     61206 |  263670  5951176 18559697 | 2147483647    61206     54 |  0.000 % |
229.00/229.23	c |     61804 |  263670  5951176 18559697 | 2147483647    61804     53 |  0.000 % |
229.71/229.98	c |     62459 |  263670  5951176 18559697 | 2147483647    62459     53 |  0.000 % |
230.41/230.66	c |     63179 |  263670  5951176 18559697 | 2147483647    63179     53 |  0.000 % |
231.21/231.45	c |     63972 |  263670  5951176 18559697 | 2147483647    63972     52 |  0.000 % |
231.41/231.63	c |     64073 |  263670  5951176 18559697 | 2147483647    64073     52 |  0.000 % |
231.61/231.83	c |     64184 |  263670  5951176 18559697 | 2147483647    64184     52 |  0.000 % |
231.81/232.08	c |     64305 |  263670  5951176 18559697 | 2147483647    64305     52 |  0.000 % |
232.01/232.24	c |     64439 |  263670  5951176 18559697 | 2147483647    64439     52 |  0.000 % |
232.21/232.45	c |     64585 |  263670  5951176 18559697 | 2147483647    64585     52 |  0.000 % |
232.41/232.66	c |     64745 |  263670  5951176 18559697 | 2147483647    64745     52 |  0.000 % |
232.81/233.08	c |     64923 |  263670  5951176 18559697 | 2147483647    64923     52 |  0.000 % |
233.11/233.36	c |     65118 |  263670  5951176 18559697 | 2147483647    65118     52 |  0.000 % |
233.41/233.66	c |     65330 |  263670  5951176 18559697 | 2147483647    65330     52 |  0.000 % |
233.81/234.03	c |     65563 |  263670  5951176 18559697 | 2147483647    65563     52 |  0.000 % |
234.11/234.34	c |     65819 |  263670  5951176 18559697 | 2147483647    65819     52 |  0.000 % |
234.31/234.57	c |     66102 |  263670  5951176 18559697 | 2147483647    66102     52 |  0.000 % |
234.71/234.99	c |     66411 |  263670  5951176 18559697 | 2147483647    66411     52 |  0.000 % |
235.11/235.35	c |     66750 |  263670  5951176 18559697 | 2147483647    66750     52 |  0.000 % |
235.51/235.76	c |     67124 |  263670  5951176 18559697 | 2147483647    67124     51 |  0.000 % |
236.01/236.21	c |     67533 |  263670  5951176 18559697 | 2147483647    67533     51 |  0.000 % |
236.41/236.60	c |     67982 |  263670  5951176 18559697 | 2147483647    67982     51 |  0.000 % |
236.91/237.16	c |     68476 |  263670  5951176 18559697 | 2147483647    68476     51 |  0.000 % |
237.41/237.68	c |     69018 |  263670  5951176 18559697 | 2147483647    69018     51 |  0.000 % |
238.01/238.25	c |     69615 |  263670  5951176 18559697 | 2147483647    69615     51 |  0.000 % |
238.81/239.02	c |     70270 |  263670  5951176 18559697 | 2147483647    70270     51 |  0.000 % |
239.71/239.96	c |     70990 |  263670  5951176 18559697 | 2147483647    70990     50 |  0.000 % |
240.50/240.73	c |     71782 |  263670  5951176 18559697 | 2147483647    71782     50 |  0.000 % |
241.60/241.85	c |     72654 |  263670  5951176 18559697 | 2147483647    72654     49 |  0.000 % |
241.81/242.09	c |     72754 |  263670  5951176 18559697 | 2147483647    72754     49 |  0.000 % |
242.10/242.31	c |     72864 |  263670  5951176 18559697 | 2147483647    72864     49 |  0.000 % |
242.30/242.56	c |     72985 |  263670  5951176 18559697 | 2147483647    72985     49 |  0.000 % |
242.50/242.79	c |     73118 |  263670  5951176 18559697 | 2147483647    73118     49 |  0.000 % |
242.81/243.06	c |     73265 |  263670  5951176 18559697 | 2147483647    73265     49 |  0.000 % |
243.20/243.47	c |     73427 |  263670  5951176 18559697 | 2147483647    73427     49 |  0.000 % |
244.10/244.39	c |     73603 |  263670  5951176 18559697 | 2147483647    73603     49 |  0.000 % |
244.80/245.05	c |     73797 |  263670  5951176 18559697 | 2147483647    73797     49 |  0.000 % |
245.20/245.42	c |     74010 |  263670  5951176 18559697 | 2147483647    74010     49 |  0.000 % |
246.11/246.35	c |     74246 |  263670  5951176 18559697 | 2147483647    74246     50 |  0.000 % |
246.60/246.89	c |     74502 |  263670  5951176 18559697 | 2147483647    74502     50 |  0.000 % |
248.00/248.24	c |     74783 |  263670  5951176 18559697 | 2147483647    74783     50 |  0.000 % |
249.10/249.37	c |     75092 |  263670  5951176 18559697 | 2147483647    75092     50 |  0.000 % |
251.40/251.61	c |     75431 |  263670  5951176 18559697 | 2147483647    75431     50 |  0.000 % |
252.30/252.56	c |     75804 |  263670  5951176 18559697 | 2147483647    75804     50 |  0.000 % |
253.70/253.97	c |     76213 |  263670  5951176 18559697 | 2147483647    76213     50 |  0.000 % |
254.60/254.81	c |     76662 |  263670  5951176 18559697 | 2147483647    76662     50 |  0.000 % |
256.30/256.53	c |     77157 |  263670  5951176 18559697 | 2147483647    77157     50 |  0.000 % |
257.60/257.84	c |     77699 |  263670  5951176 18559697 | 2147483647    77699     50 |  0.000 % |
259.60/259.85	c |     78295 |  263670  5951176 18559697 | 2147483647    78295     50 |  0.000 % |
261.60/261.82	c |     78951 |  263670  5951176 18559697 | 2147483647    78951     51 |  0.000 % |
263.39/263.65	c |     79672 |  263670  5951176 18559697 | 2147483647    79672     51 |  0.000 % |
265.49/265.78	c |     80464 |  263670  5951176 18559697 | 2147483647    80464     51 |  0.000 % |
266.50/266.71	c |     81339 |  263670  5951176 18559697 | 2147483647    81339     52 |  0.000 % |
268.40/268.67	c |     82298 |  263670  5951176 18559697 | 2147483647    82298     53 |  0.000 % |
268.70/268.99	c |     82399 |  263670  5951176 18559697 | 2147483647    82399     53 |  0.000 % |
269.40/269.61	c |     82509 |  263670  5951176 18559697 | 2147483647    82509     53 |  0.000 % |
270.30/270.53	c |     82630 |  263670  5951176 18559697 | 2147483647    82630     53 |  0.000 % |
270.70/270.97	c |     82763 |  263670  5951176 18559697 | 2147483647    82763     53 |  0.000 % |
271.20/271.44	c |     82909 |  263670  5951176 18559697 | 2147483647    82909     53 |  0.000 % |
272.20/272.45	c |     83069 |  263670  5951176 18559697 | 2147483647    83069     53 |  0.000 % |
273.30/273.50	c |     83247 |  263670  5951176 18559697 | 2147483647    83247     53 |  0.000 % |
273.90/274.10	c |     83442 |  263670  5951176 18559697 | 2147483647    83442     53 |  0.000 % |
274.30/274.58	c |     83654 |  263670  5951176 18559697 | 2147483647    83654     53 |  0.000 % |
275.30/275.58	c |     83888 |  263670  5951176 18559697 | 2147483647    83888     53 |  0.000 % |
276.09/276.30	c |     84148 |  263670  5951176 18559697 | 2147483647    84148     53 |  0.000 % |
277.00/277.25	c |     84429 |  263670  5951176 18559697 | 2147483647    84429     53 |  0.000 % |
278.59/278.80	c |     84738 |  263670  5951176 18559697 | 2147483647    84738     53 |  0.000 % |
279.29/279.53	c |     85079 |  263670  5951176 18559697 | 2147483647    85079     54 |  0.000 % |
280.69/280.98	c |     85451 |  263670  5951176 18559697 | 2147483647    85451     54 |  0.000 % |
281.29/281.56	c |     85866 |  263670  5951176 18559697 | 2147483647    85866     54 |  0.000 % |
281.89/282.11	c |     86316 |  263670  5951176 18559697 | 2147483647    86316     54 |  0.000 % |
282.29/282.59	c |     86809 |  263670  5951176 18559697 | 2147483647    86809     54 |  0.000 % |
283.29/283.59	c |     87353 |  263670  5951176 18559697 | 2147483647    87353     54 |  0.000 % |
284.19/284.46	c |     87949 |  263670  5951176 18559697 | 2147483647    87949     54 |  0.000 % |
285.30/285.54	c |     88604 |  263670  5951176 18559697 | 2147483647    88604     54 |  0.000 % |
286.40/286.61	c |     89324 |  263670  5951176 18559697 | 2147483647    89324     54 |  0.000 % |
287.49/287.73	c |     90116 |  263670  5951176 18559697 | 2147483647    90116     54 |  0.000 % |
288.79/289.04	c |     90987 |  263670  5951176 18559697 | 2147483647    90987     55 |  0.000 % |
289.79/290.07	c |     91945 |  263670  5951176 18559697 | 2147483647    91945     55 |  0.000 % |
291.99/292.22	c |     92999 |  263670  5951176 18559697 | 2147483647    92999     55 |  0.000 % |
292.30/292.50	c |     93099 |  263670  5951176 18559697 | 2147483647    93099     55 |  0.000 % |
292.59/292.89	c |     93209 |  263670  5951176 18559697 | 2147483647    93209     55 |  0.000 % |
292.99/293.26	c |     93331 |  263670  5951176 18559697 | 2147483647    93331     55 |  0.000 % |
293.29/293.53	c |     93464 |  263670  5951176 18559697 | 2147483647    93464     55 |  0.000 % |
293.79/294.00	c |     93610 |  263670  5951176 18559697 | 2147483647    93610     55 |  0.000 % |
294.09/294.37	c |     93771 |  263670  5951176 18559697 | 2147483647    93771     55 |  0.000 % |
294.49/294.73	c |     93947 |  263670  5951176 18559697 | 2147483647    93947     55 |  0.000 % |
294.89/295.18	c |     94140 |  263670  5951176 18559697 | 2147483647    94140     55 |  0.000 % |
295.29/295.50	c |     94352 |  263670  5951176 18559697 | 2147483647    94352     55 |  0.000 % |
295.89/296.11	c |     94585 |  263670  5951176 18559697 | 2147483647    94585     55 |  0.000 % |
296.39/296.68	c |     94841 |  263670  5951176 18559697 | 2147483647    94841     55 |  0.000 % |
297.09/297.34	c |     95122 |  263670  5951176 18559697 | 2147483647    95122     55 |  0.000 % |
297.59/297.85	c |     95431 |  263670  5951176 18559697 | 2147483647    95431     55 |  0.000 % |
298.29/298.55	c |     95773 |  263670  5951176 18559697 | 2147483647    95773     55 |  0.000 % |
299.09/299.33	c |     96145 |  263670  5951176 18559697 | 2147483647    96145     55 |  0.000 % |
299.79/300.09	c |     96554 |  263670  5951176 18559697 | 2147483647    96554     55 |  0.000 % |
301.49/301.72	c |     97003 |  263670  5951176 18559697 | 2147483647    97003     55 |  0.000 % |
302.39/302.66	c |     97497 |  263670  5951176 18559697 | 2147483647    97497     55 |  0.000 % |
303.29/303.55	c |     98039 |  263670  5951176 18559697 | 2147483647    98039     55 |  0.000 % |
304.49/304.80	c |     98636 |  263670  5951176 18559697 | 2147483647    98636     55 |  0.000 % |
305.28/305.56	c |     99292 |  263670  5951176 18559697 | 2147483647    99292     55 |  0.000 % |
307.48/307.72	c |    100012 |  263670  5951176 18559697 | 2147483647   100012     55 |  0.000 % |
309.28/309.51	c |    100804 |  263670  5951176 18559697 | 2147483647   100804     56 |  0.000 % |
310.38/310.60	c |    101676 |  263670  5951176 18559697 | 2147483647   101676     56 |  0.000 % |
312.08/312.40	c |    102635 |  263670  5951176 18559697 | 2147483647   102635     56 |  0.000 % |
313.89/314.13	c |    103690 |  263670  5951176 18559697 | 2147483647   103690     56 |  0.000 % |
316.09/316.35	c |    104849 |  263670  5951176 18559697 | 2147483647   104849     56 |  0.000 % |
316.39/316.66	c |    104950 |  263670  5951176 18559697 | 2147483647   104950     56 |  0.000 % |
316.69/316.97	c |    105065 |  263670  5951176 18559697 | 2147483647   105065     56 |  0.000 % |
317.08/317.39	c |    105187 |  263670  5951176 18559697 | 2147483647   105187     56 |  0.000 % |
317.59/317.83	c |    105322 |  263670  5951176 18559697 | 2147483647   105322     56 |  0.000 % |
317.78/318.08	c |    105468 |  263670  5951176 18559697 | 2147483647   105468     56 |  0.000 % |
318.08/318.36	c |    105628 |  263670  5951176 18559697 | 2147483647   105628     56 |  0.000 % |
318.48/318.79	c |    105804 |  263670  5951176 18559697 | 2147483647   105804     56 |  0.000 % |
318.88/319.13	c |    105997 |  263670  5951176 18559697 | 2147483647   105997     56 |  0.000 % |
319.68/319.92	c |    106209 |  263670  5951176 18559697 | 2147483647   106209     56 |  0.000 % |
319.98/320.24	c |    106443 |  263670  5951176 18559697 | 2147483647   106443     56 |  0.000 % |
320.48/320.72	c |    106699 |  263670  5951176 18559697 | 2147483647   106699     56 |  0.000 % |
320.98/321.21	c |    106980 |  263670  5951176 18559697 | 2147483647   106980     56 |  0.000 % |
321.58/321.85	c |    107289 |  263670  5951176 18559697 | 2147483647   107289     56 |  0.000 % |
322.58/322.83	c |    107629 |  263670  5951176 18559697 | 2147483647   107629     57 |  0.000 % |
323.19/323.46	c |    108002 |  263670  5951176 18559697 | 2147483647   108002     57 |  0.000 % |
324.29/324.57	c |    108411 |  263670  5951176 18559697 | 2147483647   108411     57 |  0.000 % |
324.98/325.23	c |    108860 |  263670  5951176 18559697 | 2147483647   108860     57 |  0.000 % |
326.08/326.33	c |    109354 |  263670  5951176 18559697 | 2147483647   109354     57 |  0.000 % |
326.78/327.01	c |    109898 |  263670  5951176 18559697 | 2147483647   109898     57 |  0.000 % |
327.88/328.19	c |    110495 |  263670  5951176 18559697 | 2147483647   110495     57 |  0.000 % |
328.68/328.99	c |    111151 |  263670  5951176 18559697 | 2147483647   111151     57 |  0.000 % |
330.28/330.53	c |    111871 |  263670  5951176 18559697 | 2147483647   111871     57 |  0.000 % |
331.48/331.78	c |    112663 |  263670  5951176 18559697 | 2147483647   112663     57 |  0.000 % |
332.78/333.07	c |    113536 |  263670  5951176 18559697 | 2147483647   113536     57 |  0.000 % |
333.78/334.07	c |    114495 |  263670  5951176 18559697 | 2147483647   114495     58 |  0.000 % |
334.88/335.16	c |    115548 |  263670  5951176 18559697 | 2147483647   115548     59 |  0.000 % |
337.08/337.36	c |    116708 |  263670  5951176 18559697 | 2147483647   116708     61 |  0.000 % |
339.28/339.58	c |    117981 |  263670  5951176 18559697 | 2147483647   117981     61 |  0.000 % |
339.58/339.87	c |    118081 |  263670  5951176 18559697 | 2147483647   118081     61 |  0.000 % |
340.08/340.34	c |    118192 |  263670  5951176 18559697 | 2147483647   118192     61 |  0.000 % |
340.38/340.63	c |    118314 |  263670  5951176 18559697 | 2147483647   118314     61 |  0.000 % |
340.68/341.00	c |    118447 |  263670  5951176 18559697 | 2147483647   118447     61 |  0.000 % |
341.18/341.43	c |    118593 |  263670  5951176 18559697 | 2147483647   118593     61 |  0.000 % |
341.68/341.98	c |    118753 |  263670  5951176 18559697 | 2147483647   118753     61 |  0.000 % |
342.08/342.34	c |    118930 |  263670  5951176 18559697 | 2147483647   118930     61 |  0.000 % |
342.48/342.74	c |    119123 |  263670  5951176 18559697 | 2147483647   119123     61 |  0.000 % |
342.88/343.11	c |    119335 |  263670  5951176 18559697 | 2147483647   119335     61 |  0.000 % |
343.38/343.65	c |    119568 |  263670  5951176 18559697 | 2147483647   119568     61 |  0.000 % |
344.18/344.49	c |    119826 |  263670  5951176 18559697 | 2147483647   119826     61 |  0.000 % |
344.77/345.08	c |    120107 |  263670  5951176 18559697 | 2147483647   120107     61 |  0.000 % |
345.57/345.81	c |    120416 |  263670  5951176 18559697 | 2147483647   120416     61 |  0.000 % |
346.18/346.46	c |    120755 |  263670  5951176 18559697 | 2147483647   120755     61 |  0.000 % |
346.77/347.03	c |    121128 |  263670  5951176 18559697 | 2147483647   121128     61 |  0.000 % |
347.57/347.86	c |    121538 |  263670  5951176 18559697 | 2147483647   121538     61 |  0.000 % |
348.48/348.78	c |    121988 |  263670  5951176 18559697 | 2147483647   121988     61 |  0.000 % |
349.67/349.99	c |    122483 |  263670  5951176 18559697 | 2147483647   122483     61 |  0.000 % |
350.87/351.17	c |    123025 |  263670  5951176 18559697 | 2147483647   123025     61 |  0.000 % |
352.07/352.32	c |    123627 |  263670  5951176 18559697 | 2147483647   123627     61 |  0.000 % |
353.47/353.71	c |    124282 |  263670  5951176 18559697 | 2147483647   124282     61 |  0.000 % |
355.68/355.94	c |    125002 |  263670  5951176 18559697 | 2147483647   125002     61 |  0.000 % |
357.28/357.52	c |    125795 |  263670  5951176 18559697 | 2147483647   125795     62 |  0.000 % |
358.57/358.83	c |    126666 |  263670  5951176 18559697 | 2147483647   126666     61 |  0.000 % |
360.37/360.60	c |    127624 |  263670  5951176 18559697 | 2147483647   127624     62 |  0.000 % |
362.07/362.34	c |    128677 |  263670  5951176 18559697 | 2147483647   128677     62 |  0.000 % |
363.77/364.05	c |    129836 |  263670  5951176 18559697 | 2147483647   129836     62 |  0.000 % |
365.27/365.52	c |    131109 |  263670  5951176 18559697 | 2147483647   131109     62 |  0.000 % |
366.67/366.90	c |    132509 |  263670  5951176 18559697 | 2147483647   132509     62 |  0.000 % |
367.07/367.37	c |    132609 |  263670  5951176 18559697 | 2147483647   132609     62 |  0.000 % |
367.36/367.62	c |    132719 |  263670  5951176 18559697 | 2147483647   132719     62 |  0.000 % |
367.66/367.91	c |    132840 |  263670  5951176 18559697 | 2147483647   132840     62 |  0.000 % |
367.96/368.30	c |    132974 |  263670  5951176 18559697 | 2147483647   132974     62 |  0.000 % |
368.36/368.69	c |    133120 |  263670  5951176 18559697 | 2147483647   133120     62 |  0.000 % |
368.66/368.99	c |    133281 |  263670  5951176 18559697 | 2147483647   133281     62 |  0.000 % |
369.07/369.40	c |    133457 |  263670  5951176 18559697 | 2147483647   133457     62 |  0.000 % |
369.47/369.70	c |    133651 |  263670  5951176 18559697 | 2147483647   133651     62 |  0.000 % |
369.87/370.15	c |    133863 |  263670  5951176 18559697 | 2147483647   133863     62 |  0.000 % |
370.47/370.79	c |    134096 |  263670  5951176 18559697 | 2147483647   134096     62 |  0.000 % |
371.37/371.69	c |    134352 |  263670  5951176 18559697 | 2147483647   134352     62 |  0.000 % |
371.97/372.26	c |    134634 |  263670  5951176 18559697 | 2147483647   134634     62 |  0.000 % |
372.67/372.95	c |    134944 |  263670  5951176 18559697 | 2147483647   134944     62 |  0.000 % |
373.27/373.52	c |    135285 |  263670  5951176 18559697 | 2147483647   135285     62 |  0.000 % |
373.67/373.95	c |    135658 |  263670  5951176 18559697 | 2147483647   135658     62 |  0.000 % |
374.37/374.67	c |    136067 |  263670  5951176 18559697 | 2147483647   136067     62 |  0.000 % |
375.57/375.89	c |    136516 |  263670  5951176 18559697 | 2147483647   136516     62 |  0.000 % |
376.47/376.74	c |    137009 |  263670  5951176 18559697 | 2147483647   137009     62 |  0.000 % |
377.97/378.29	c |    137551 |  263670  5951176 18559697 | 2147483647   137551     62 |  0.000 % |
379.17/379.45	c |    138148 |  263670  5951176 18559697 | 2147483647   138148     62 |  0.000 % |
380.17/380.44	c |    138805 |  263670  5951176 18559697 | 2147483647   138805     62 |  0.000 % |
381.47/381.73	c |    139525 |  263670  5951176 18559697 | 2147483647   139525     62 |  0.000 % |
382.76/383.07	c |    140318 |  263670  5951176 18559697 | 2147483647   140318     62 |  0.000 % |
384.26/384.57	c |    141189 |  263670  5951176 18559697 | 2147483647   141189     62 |  0.000 % |
385.86/386.13	c |    142147 |  263670  5951176 18559697 | 2147483647   142147     62 |  0.000 % |
387.96/388.22	c |    143202 |  263670  5951176 18559697 | 2147483647   143202     62 |  0.000 % |
392.36/392.63	c |    144361 |  263670  5951176 18559697 | 2147483647   144361     62 |  0.000 % |
395.07/395.40	c |    145634 |  263670  5951176 18559697 | 2147483647   145634     62 |  0.000 % |
398.56/398.85	c |    147034 |  263670  5951176 18559697 | 2147483647   147034     62 |  0.000 % |
401.76/402.01	c |    148574 |  263670  5951176 18559697 | 2147483647   148574     63 |  0.000 % |
402.06/402.39	c |    148676 |  263670  5951176 18559697 | 2147483647   148676     63 |  0.000 % |
402.76/403.03	c |    148787 |  263670  5951176 18559697 | 2147483647   148787     63 |  0.000 % |
403.26/403.54	c |    148910 |  263670  5951176 18559697 | 2147483647   148910     63 |  0.000 % |
403.56/403.82	c |    149043 |  263670  5951176 18559697 | 2147483647   149043     63 |  0.000 % |
404.06/404.37	c |    149189 |  263670  5951176 18559697 | 2147483647   149189     63 |  0.000 % |
404.66/404.90	c |    149349 |  263670  5951176 18559697 | 2147483647   149349     63 |  0.000 % |
404.96/405.22	c |    149525 |  263670  5951176 18559697 | 2147483647   149525     63 |  0.000 % |
405.36/405.61	c |    149720 |  263670  5951176 18559697 | 2147483647   149720     63 |  0.000 % |
405.86/406.14	c |    149933 |  263670  5951176 18559697 | 2147483647   149933     63 |  0.000 % |
406.46/406.70	c |    150166 |  263670  5951176 18559697 | 2147483647   150166     63 |  0.000 % |
406.96/407.24	c |    150426 |  263670  5951176 18559697 | 2147483647   150426     63 |  0.000 % |
407.56/407.83	c |    150707 |  263670  5951176 18559697 | 2147483647   150707     63 |  0.000 % |
408.26/408.50	c |    151016 |  263670  5951176 18559697 | 2147483647   151016     63 |  0.000 % |
409.26/409.55	c |    151357 |  263670  5951176 18559697 | 2147483647   151357     63 |  0.000 % |
410.06/410.31	c |    151731 |  263670  5951176 18559697 | 2147483647   151731     63 |  0.000 % |
410.66/410.97	c |    152140 |  263670  5951176 18559697 | 2147483647   152140     63 |  0.000 % |
411.36/411.70	c |    152589 |  263670  5951176 18559697 | 2147483647   152589     63 |  0.000 % |
412.26/412.57	c |    153083 |  263670  5951176 18559697 | 2147483647   153083     63 |  0.000 % |
413.85/414.19	c |    153625 |  263670  5951176 18559697 | 2147483647   153625     63 |  0.000 % |
414.95/415.29	c |    154222 |  263670  5951176 18559697 | 2147483647   154222     63 |  0.000 % |
416.05/416.32	c |    154877 |  263670  5951176 18559697 | 2147483647   154877     63 |  0.000 % |
417.05/417.32	c |    155598 |  263670  5951176 18559697 | 2147483647   155598     63 |  0.000 % |
418.26/418.56	c |    156390 |  263670  5951176 18559697 | 2147483647   156390     63 |  0.000 % |
419.36/419.67	c |    157261 |  263670  5951176 18559697 | 2147483647   157261     63 |  0.000 % |
421.06/421.30	c |    158219 |  263670  5951176 18559697 | 2147483647   158219     63 |  0.000 % |
422.55/422.89	c |    159273 |  263670  5951176 18559697 | 2147483647   159273     63 |  0.000 % |
424.15/424.49	c |    160431 |  263670  5951176 18559697 | 2147483647   160431     62 |  0.000 % |
426.05/426.31	c |    161705 |  263670  5951176 18559697 | 2147483647   161705     62 |  0.000 % |
428.16/428.48	c |    163106 |  263670  5951176 18559697 | 2147483647   163106     62 |  0.000 % |
430.45/430.79	c |    164646 |  263670  5951176 18559697 | 2147483647   164646     62 |  0.000 % |
433.25/433.56	c |    166340 |  263670  5951176 18559697 | 2147483647   166340     62 |  0.000 % |
433.45/433.80	c |    166440 |  263670  5951176 18559697 | 2147483647   166440     62 |  0.000 % |
433.75/434.09	c |    166550 |  263670  5951176 18559697 | 2147483647   166550     62 |  0.000 % |
434.55/434.86	c |    166671 |  263670  5951176 18559697 | 2147483647   166671     62 |  0.000 % |
435.45/435.77	c |    166804 |  263670  5951176 18559697 | 2147483647   166804     62 |  0.000 % |
436.55/436.88	c |    166951 |  263670  5951176 18559697 | 2147483647   166951     62 |  0.000 % |
437.25/437.59	c |    167114 |  263670  5951176 18559697 | 2147483647   167114     62 |  0.000 % |
438.25/438.50	c |    167291 |  263670  5951176 18559697 | 2147483647   167291     62 |  0.000 % |
439.25/439.53	c |    167484 |  263670  5951176 18559697 | 2147483647   167484     62 |  0.000 % |
439.65/439.99	c |    167698 |  263670  5951176 18559697 | 2147483647   167698     62 |  0.000 % |
440.75/441.07	c |    167932 |  263670  5951176 18559697 | 2147483647   167932     62 |  0.000 % |
441.35/441.61	c |    168192 |  263670  5951176 18559697 | 2147483647   168192     62 |  0.000 % |
441.85/442.11	c |    168473 |  263670  5951176 18559697 | 2147483647   168473     62 |  0.000 % |
442.75/443.04	c |    168786 |  263670  5951176 18559697 | 2147483647   168786     62 |  0.000 % |
443.45/443.75	c |    169125 |  263670  5951176 18559697 | 2147483647   169125     62 |  0.000 % |
444.84/445.13	c |    169498 |  263670  5951176 18559697 | 2147483647   169498     62 |  0.000 % |
445.85/446.16	c |    169908 |  263670  5951176 18559697 | 2147483647   169908     62 |  0.000 % |
446.45/446.80	c |    170358 |  263670  5951176 18559697 | 2147483647   170358     62 |  0.000 % |
447.65/447.98	c |    170855 |  263670  5951176 18559697 | 2147483647   170855     62 |  0.000 % |
448.95/449.28	c |    171398 |  263670  5951176 18559697 | 2147483647   171398     62 |  0.000 % |
450.55/450.85	c |    171994 |  263670  5951176 18559697 | 2147483647   171994     62 |  0.000 % |
452.15/452.46	c |    172650 |  263670  5951176 18559697 | 2147483647   172650     62 |  0.000 % |
453.35/453.64	c |    173371 |  263670  5951176 18559697 | 2147483647   173371     62 |  0.000 % |
455.65/455.96	c |    174164 |  263670  5951176 18559697 | 2147483647   174164     62 |  0.000 % |
457.84/458.12	c |    175035 |  263670  5951176 18559697 | 2147483647   175035     63 |  0.000 % |
459.24/459.55	c |    175994 |  263670  5951176 18559697 | 2147483647   175994     63 |  0.000 % |
460.55/460.86	c |    177048 |  263670  5951176 18559697 | 2147483647   177048     63 |  0.000 % |
462.14/462.44	c |    178206 |  263670  5951176 18559697 | 2147483647   178206     63 |  0.000 % |
464.34/464.64	c |    179479 |  263670  5951176 18559697 | 2147483647   179479     63 |  0.000 % |
466.25/466.51	c |    180879 |  263670  5951176 18559697 | 2147483647   180879     63 |  0.000 % |
469.45/469.76	c |    182421 |  263670  5951176 18559697 | 2147483647   182421     63 |  0.000 % |
471.94/472.24	c |    184118 |  263670  5951176 18559697 | 2147483647   184118     63 |  0.000 % |
474.94/475.24	c |    185981 |  263670  5951176 18559697 | 2147483647   185981     63 |  0.000 % |
475.24/475.52	c |    186081 |  263670  5951176 18559697 | 2147483647   186081     63 |  0.000 % |
475.74/476.06	c |    186191 |  263670  5951176 18559697 | 2147483647   186191     64 |  0.000 % |
476.24/476.56	c |    186313 |  263670  5951176 18559697 | 2147483647   186313     63 |  0.000 % |
476.64/476.95	c |    186447 |  263670  5951176 18559697 | 2147483647   186447     63 |  0.000 % |
477.04/477.37	c |    186594 |  263670  5951176 18559697 | 2147483647   186594     64 |  0.000 % |
477.64/477.93	c |    186755 |  263670  5951176 18559697 | 2147483647   186755     64 |  0.000 % |
478.04/478.36	c |    186936 |  263670  5951176 18559697 | 2147483647   186936     64 |  0.000 % |
478.64/478.92	c |    187129 |  263670  5951176 18559697 | 2147483647   187129     64 |  0.000 % |
479.04/479.35	c |    187341 |  263670  5951176 18559697 | 2147483647   187341     64 |  0.000 % |
479.64/479.92	c |    187574 |  263670  5951176 18559697 | 2147483647   187574     64 |  0.000 % |
480.14/480.47	c |    187830 |  263670  5951176 18559697 | 2147483647   187830     64 |  0.000 % |
480.74/481.00	c |    188111 |  263670  5951176 18559697 | 2147483647   188111     64 |  0.000 % |
481.34/481.66	c |    188420 |  263670  5951176 18559697 | 2147483647   188420     64 |  0.000 % |
482.04/482.30	c |    188760 |  263670  5951176 18559697 | 2147483647   188760     64 |  0.000 % |
482.64/482.92	c |    189132 |  263670  5951176 18559697 | 2147483647   189132     63 |  0.000 % |
483.44/483.74	c |    189541 |  263670  5951176 18559697 | 2147483647   189541     63 |  0.000 % |
484.03/484.33	c |    189991 |  263670  5951176 18559697 | 2147483647   189991     64 |  0.000 % |
484.93/485.21	c |    190485 |  263670  5951176 18559697 | 2147483647   190485     64 |  0.000 % |
486.04/486.38	c |    191027 |  263670  5951176 18559697 | 2147483647   191027     63 |  0.000 % |
488.44/488.78	c |    191623 |  263670  5951176 18559697 | 2147483647   191623     64 |  0.000 % |
489.64/489.93	c |    192281 |  263670  5951176 18559697 | 2147483647   192281     64 |  0.000 % |
490.54/490.88	c |    193001 |  263670  5951176 18559697 | 2147483647   193001     63 |  0.000 % |
491.74/492.00	c |    193794 |  263670  5951176 18559697 | 2147483647   193794     64 |  0.000 % |
493.04/493.33	c |    194665 |  263670  5951176 18559697 | 2147483647   194665     64 |  0.000 % |
494.34/494.65	c |    195623 |  263670  5951176 18559697 | 2147483647   195623     64 |  0.000 % |
495.93/496.26	c |    196677 |  263670  5951176 18559697 | 2147483647   196677     63 |  0.000 % |
497.83/498.18	c |    197835 |  263670  5951176 18559697 | 2147483647   197835     63 |  0.000 % |
499.83/500.13	c |    199108 |  263670  5951176 18559697 | 2147483647   199108     63 |  0.000 % |
501.63/501.99	c |    200508 |  263670  5951176 18559697 | 2147483647   200508     63 |  0.000 % |
504.13/504.46	c |    202048 |  263670  5951176 18559697 | 2147483647   202048     63 |  0.000 % |
509.63/509.92	c |    203742 |  263670  5951176 18559697 | 2147483647   203742     64 |  0.000 % |
513.34/513.63	c |    205606 |  263670  5951176 18559697 | 2147483647   205606     64 |  0.000 % |
517.73/518.04	c |    207657 |  263670  5951176 18559697 | 2147483647   207657     64 |  0.000 % |
517.93/518.26	c |    207757 |  263670  5951176 18559697 | 2147483647   207757     64 |  0.000 % |
518.23/518.59	c |    207867 |  263670  5951176 18559697 | 2147483647   207867     64 |  0.000 % |
518.63/518.95	c |    207988 |  263670  5951176 18559697 | 2147483647   207988     64 |  0.000 % |
519.03/519.33	c |    208121 |  263670  5951176 18559697 | 2147483647   208121     64 |  0.000 % |
519.33/519.63	c |    208267 |  263670  5951176 18559697 | 2147483647   208267     64 |  0.000 % |
519.83/520.20	c |    208428 |  263670  5951176 18559697 | 2147483647   208428     64 |  0.000 % |
520.43/520.72	c |    208604 |  263670  5951176 18559697 | 2147483647   208604     64 |  0.000 % |
521.03/521.37	c |    208798 |  263670  5951176 18559697 | 2147483647   208798     64 |  0.000 % |
521.63/521.90	c |    209012 |  263670  5951176 18559697 | 2147483647   209012     64 |  0.000 % |
522.33/522.62	c |    209248 |  263670  5951176 18559697 | 2147483647   209248     64 |  0.000 % |
522.93/523.25	c |    209504 |  263670  5951176 18559697 | 2147483647   209504     64 |  0.000 % |
523.63/523.96	c |    209786 |  263670  5951176 18559697 | 2147483647   209786     64 |  0.000 % |
524.33/524.67	c |    210095 |  263670  5951176 18559697 | 2147483647   210095     64 |  0.000 % |
525.02/525.34	c |    210434 |  263670  5951176 18559697 | 2147483647   210434     64 |  0.000 % |
525.72/526.08	c |    210806 |  263670  5951176 18559697 | 2147483647   210806     64 |  0.000 % |
526.63/526.92	c |    211215 |  263670  5951176 18559697 | 2147483647   211215     64 |  0.000 % |
527.63/527.90	c |    211664 |  263670  5951176 18559697 | 2147483647   211664     64 |  0.000 % |
528.52/528.83	c |    212157 |  263670  5951176 18559697 | 2147483647   212157     64 |  0.000 % |
529.83/530.19	c |    212700 |  263670  5951176 18559697 | 2147483647   212700     64 |  0.000 % |
530.92/531.29	c |    213297 |  263670  5951176 18559697 | 2147483647   213297     64 |  0.000 % |
532.52/532.88	c |    213952 |  263670  5951176 18559697 | 2147483647   213952     64 |  0.000 % |
534.22/534.53	c |    214672 |  263670  5951176 18559697 | 2147483647   214672     64 |  0.000 % |
535.53/535.80	c |    215464 |  263670  5951176 18559697 | 2147483647   215464     64 |  0.000 % |
536.83/537.14	c |    216336 |  263670  5951176 18559697 | 2147483647   216336     64 |  0.000 % |
538.52/538.80	c |    217294 |  263670  5951176 18559697 | 2147483647   217294     63 |  0.000 % |
540.52/540.83	c |    218348 |  263670  5951176 18559697 | 2147483647   218348     63 |  0.000 % |
542.52/542.90	c |    219506 |  263670  5951176 18559697 | 2147483647   219506     63 |  0.000 % |
544.22/544.54	c |    220779 |  263670  5951176 18559697 | 2147483647   220779     63 |  0.000 % |
546.32/546.69	c |    222180 |  263670  5951176 18559697 | 2147483647   222180     63 |  0.000 % |
548.82/549.10	c |    223721 |  263670  5951176 18559697 | 2147483647   223721     63 |  0.000 % |
555.42/555.71	c |    225416 |  263670  5951176 18559697 | 2147483647   225416     63 |  0.000 % |
559.41/559.74	c |    227279 |  263670  5951176 18559697 | 2147483647   227279     64 |  0.000 % |
563.41/563.74	c |    229328 |  263670  5951176 18559697 | 2147483647   229328     64 |  0.000 % |
568.71/569.08	c |    231581 |  263670  5951176 18559697 | 2147483647   231581     64 |  0.000 % |
569.52/569.88	c |    231681 |  263670  5951176 18559697 | 2147483647   231681     64 |  0.000 % |
569.81/570.19	c |    231792 |  263670  5951176 18559697 | 2147483647   231792     64 |  0.000 % |
570.31/570.61	c |    231914 |  263670  5951176 18559697 | 2147483647   231914     64 |  0.000 % |
570.62/570.90	c |    232047 |  263670  5951176 18559697 | 2147483647   232047     64 |  0.000 % |
571.31/571.62	c |    232194 |  263670  5951176 18559697 | 2147483647   232194     64 |  0.000 % |
571.81/572.12	c |    232359 |  263670  5951176 18559697 | 2147483647   232359     64 |  0.000 % |
572.21/572.55	c |    232537 |  263670  5951176 18559697 | 2147483647   232537     64 |  0.000 % |
572.81/573.20	c |    232732 |  263670  5951176 18559697 | 2147483647   232732     64 |  0.000 % |
573.31/573.67	c |    232946 |  263670  5951176 18559697 | 2147483647   232946     64 |  0.000 % |
574.01/574.33	c |    233179 |  263670  5951176 18559697 | 2147483647   233179     64 |  0.000 % |
574.61/574.91	c |    233435 |  263670  5951176 18559697 | 2147483647   233435     64 |  0.000 % |
575.21/575.58	c |    233716 |  263670  5951176 18559697 | 2147483647   233716     64 |  0.000 % |
575.71/576.08	c |    234026 |  263670  5951176 18559697 | 2147483647   234026     64 |  0.000 % |
576.62/576.97	c |    234365 |  263670  5951176 18559697 | 2147483647   234365     64 |  0.000 % |
577.42/577.74	c |    234737 |  263670  5951176 18559697 | 2147483647   234737     64 |  0.000 % |
578.42/578.71	c |    235146 |  263670  5951176 18559697 | 2147483647   235146     64 |  0.000 % |
579.02/579.35	c |    235595 |  263670  5951176 18559697 | 2147483647   235595     64 |  0.000 % |
580.02/580.31	c |    236088 |  263670  5951176 18559697 | 2147483647   236088     65 |  0.000 % |
581.21/581.53	c |    236630 |  263670  5951176 18559697 | 2147483647   236630     65 |  0.000 % |
582.51/582.80	c |    237228 |  263670  5951176 18559697 | 2147483647   237228     65 |  0.000 % |
583.91/584.25	c |    237883 |  263670  5951176 18559697 | 2147483647   237883     65 |  0.000 % |
585.31/585.69	c |    238607 |  263670  5951176 18559697 | 2147483647   238607     65 |  0.000 % |
587.81/588.15	c |    239399 |  263670  5951176 18559697 | 2147483647   239399     65 |  0.000 % |
589.81/590.11	c |    240270 |  263670  5951176 18559697 | 2147483647   240270     65 |  0.000 % |
591.11/591.44	c |    241228 |  263670  5951176 18559697 | 2147483647   241228     65 |  0.000 % |
592.71/593.05	c |    242282 |  263670  5951176 18559697 | 2147483647   242282     65 |  0.000 % |
594.61/594.92	c |    243440 |  263670  5951176 18559697 | 2147483647   243440     65 |  0.000 % |
596.71/597.08	c |    244713 |  263670  5951176 18559697 | 2147483647   244713     65 |  0.000 % |
599.01/599.34	c |    246113 |  263670  5951176 18559697 | 2147483647   246113     65 |  0.000 % |
601.11/601.41	c |    247653 |  263670  5951176 18559697 | 2147483647   247653     65 |  0.000 % |
604.20/604.59	c |    249347 |  263670  5951176 18559697 | 2147483647   249347     65 |  0.000 % |
607.20/607.58	c |    251210 |  263670  5951176 18559697 | 2147483647   251210     65 |  0.000 % |
610.40/610.71	c |    253259 |  263670  5951176 18559697 | 2147483647   253259     65 |  0.000 % |
614.51/614.84	c |    255512 |  263670  5951176 18559697 | 2147483647   255512     65 |  0.000 % |
619.40/619.74	c |    257992 |  263670  5951176 18559697 | 2147483647   257992     67 |  0.000 % |
619.90/620.22	c |    258092 |  263670  5951176 18559697 | 2147483647   258092     67 |  0.000 % |
620.60/620.94	c |    258203 |  263670  5951176 18559697 | 2147483647   258203     67 |  0.000 % |
621.00/621.33	c |    258324 |  263670  5951176 18559697 | 2147483647   258324     67 |  0.000 % |
621.30/621.69	c |    258457 |  263670  5951176 18559697 | 2147483647   258457     67 |  0.000 % |
621.70/622.02	c |    258603 |  263670  5951176 18559697 | 2147483647   258603     67 |  0.000 % |
622.11/622.42	c |    258763 |  263670  5951176 18559697 | 2147483647   258763     67 |  0.000 % |
622.50/622.86	c |    258939 |  263670  5951176 18559697 | 2147483647   258939     67 |  0.000 % |
622.90/623.25	c |    259133 |  263670  5951176 18559697 | 2147483647   259133     67 |  0.000 % |
623.41/623.73	c |    259346 |  263670  5951176 18559697 | 2147483647   259346     67 |  0.000 % |
623.90/624.25	c |    259579 |  263670  5951176 18559697 | 2147483647   259579     67 |  0.000 % |
624.51/624.85	c |    259835 |  263670  5951176 18559697 | 2147483647   259835     67 |  0.000 % |
625.10/625.41	c |    260117 |  263670  5951176 18559697 | 2147483647   260117     67 |  0.000 % |
625.81/626.10	c |    260427 |  263670  5951176 18559697 | 2147483647   260427     67 |  0.000 % |
626.61/626.92	c |    260767 |  263670  5951176 18559697 | 2147483647   260767     67 |  0.000 % |
627.40/627.72	c |    261139 |  263670  5951176 18559697 | 2147483647   261139     67 |  0.000 % |
628.30/628.65	c |    261548 |  263670  5951176 18559697 | 2147483647   261548     67 |  0.000 % |
629.10/629.43	c |    261997 |  263670  5951176 18559697 | 2147483647   261997     67 |  0.000 % |
630.40/630.73	c |    262490 |  263670  5951176 18559697 | 2147483647   262490     66 |  0.000 % |
631.40/631.76	c |    263032 |  263670  5951176 18559697 | 2147483647   263032     66 |  0.000 % |
632.70/633.00	c |    263628 |  263670  5951176 18559697 | 2147483647   263628     66 |  0.000 % |
634.20/634.53	c |    264284 |  263670  5951176 18559697 | 2147483647   264284     66 |  0.000 % |
635.80/636.13	c |    265005 |  263670  5951176 18559697 | 2147483647   265005     66 |  0.000 % |
637.20/637.53	c |    265797 |  263670  5951176 18559697 | 2147483647   265797     66 |  0.000 % |
639.00/639.35	c |    266668 |  263670  5951176 18559697 | 2147483647   266668     66 |  0.000 % |
641.69/642.06	c |    267626 |  263670  5951176 18559697 | 2147483647   267626     66 |  0.000 % |
643.59/643.93	c |    268679 |  263670  5951176 18559697 | 2147483647   268679     66 |  0.000 % |
645.80/646.12	c |    269837 |  263670  5951176 18559697 | 2147483647   269837     67 |  0.000 % |
648.70/649.05	c |    271110 |  263670  5951176 18559697 | 2147483647   271110     67 |  0.000 % |
653.00/653.31	c |    272513 |  263670  5951176 18559697 | 2147483647   272513     67 |  0.000 % |
656.09/656.44	c |    274054 |  263670  5951176 18559697 | 2147483647   274054     69 |  0.000 % |
660.09/660.44	c |    275748 |  263670  5951176 18559697 | 2147483647   275748     69 |  0.000 % |
661.89/662.25	c |    277611 |  263670  5951176 18559697 | 2147483647   277611     70 |  0.000 % |
664.79/665.11	c |    279663 |  263670  5951176 18559697 | 2147483647   279663     70 |  0.000 % |
667.59/667.90	c |    281916 |  263670  5951176 18559697 | 2147483647   281916     71 |  0.000 % |
671.79/672.14	c |    284394 |  263670  5951176 18559697 | 2147483647   284394     71 |  0.000 % |
676.68/677.05	c |    287120 |  263670  5951176 18559697 | 2147483647   287120     73 |  0.000 % |
676.88/677.30	c |    287222 |  263670  5951176 18559697 | 2147483647   287222     73 |  0.000 % |
677.29/677.63	c |    287332 |  263670  5951176 18559697 | 2147483647   287332     73 |  0.000 % |
678.68/679.06	c |    287453 |  263670  5951176 18559697 | 2147483647   287453     73 |  0.000 % |
679.08/679.45	c |    287589 |  263670  5951176 18559697 | 2147483647   287589     73 |  0.000 % |
679.49/679.86	c |    287736 |  263670  5951176 18559697 | 2147483647   287736     73 |  0.000 % |
680.28/680.67	c |    287898 |  263670  5951176 18559697 | 2147483647   287898     73 |  0.000 % |
681.08/681.46	c |    288074 |  263670  5951176 18559697 | 2147483647   288074     73 |  0.000 % |
681.69/682.08	c |    288267 |  263670  5951176 18559697 | 2147483647   288267     73 |  0.000 % |
682.19/682.55	c |    288479 |  263670  5951176 18559697 | 2147483647   288479     73 |  0.000 % |
683.09/683.40	c |    288712 |  263670  5951176 18559697 | 2147483647   288712     73 |  0.000 % |
683.49/683.88	c |    288969 |  263670  5951176 18559697 | 2147483647   288969     73 |  0.000 % |
684.89/685.24	c |    289250 |  263670  5951176 18559697 | 2147483647   289250     73 |  0.000 % |
685.59/685.92	c |    289559 |  263670  5951176 18559697 | 2147483647   289559     73 |  0.000 % |
686.59/686.99	c |    289900 |  263670  5951176 18559697 | 2147483647   289900     73 |  0.000 % |
687.48/687.85	c |    290272 |  263670  5951176 18559697 | 2147483647   290272     73 |  0.000 % |
688.58/688.96	c |    290684 |  263670  5951176 18559697 | 2147483647   290684     73 |  0.000 % |
689.48/689.83	c |    291133 |  263670  5951176 18559697 | 2147483647   291133     73 |  0.000 % |
690.39/690.72	c |    291627 |  263670  5951176 18559697 | 2147483647   291627     73 |  0.000 % |
691.49/691.84	c |    292169 |  263670  5951176 18559697 | 2147483647   292169     73 |  0.000 % |
692.88/693.24	c |    292765 |  263670  5951176 18559697 | 2147483647   292765     73 |  0.000 % |
694.48/694.83	c |    293421 |  263670  5951176 18559697 | 2147483647   293421     73 |  0.000 % |
695.68/696.03	c |    294141 |  263670  5951176 18559697 | 2147483647   294141     73 |  0.000 % |
697.18/697.51	c |    294934 |  263670  5951176 18559697 | 2147483647   294934     73 |  0.000 % |
698.88/699.26	c |    295805 |  263670  5951176 18559697 | 2147483647   295805     72 |  0.000 % |
700.58/700.92	c |    296764 |  263670  5951176 18559697 | 2147483647   296764     72 |  0.000 % |
702.18/702.59	c |    297818 |  263670  5951176 18559697 | 2147483647   297818     72 |  0.000 % |
703.18/703.57	c |    298976 |  263670  5951176 18559697 | 2147483647   298976     72 |  0.000 % |
704.69/705.09	c |    300249 |  263670  5951176 18559697 | 2147483647   300249     73 |  0.000 % |
706.88/707.27	c |    301649 |  263670  5951176 18559697 | 2147483647   301649     73 |  0.000 % |
709.18/709.51	c |    303189 |  263670  5951176 18559697 | 2147483647   303189     73 |  0.000 % |
712.68/713.01	c |    304884 |  263670  5951176 18559697 | 2147483647   304884     73 |  0.000 % |
715.57/715.97	c |    306747 |  263670  5951176 18559697 | 2147483647   306747     74 |  0.000 % |
718.58/718.98	c |    308796 |  263670  5951176 18559697 | 2147483647   308796     74 |  0.000 % |
721.38/721.78	c |    311050 |  263670  5951176 18559697 | 2147483647   311050     75 |  0.000 % |
727.47/727.86	c |    313530 |  263670  5951176 18559697 | 2147483647   313530     75 |  0.000 % |
732.87/733.23	c |    316255 |  263670  5951176 18559697 | 2147483647   316255     76 |  0.000 % |
740.37/740.70	c |    319254 |  263670  5951176 18559697 | 2147483647   319254     77 |  0.000 % |
740.87/741.22	c |    319354 |  263670  5951176 18559697 | 2147483647   319354     77 |  0.000 % |
741.07/741.47	c |    319467 |  263670  5951176 18559697 | 2147483647   319467     77 |  0.000 % |
741.77/742.11	c |    319588 |  263670  5951176 18559697 | 2147483647   319588     77 |  0.000 % |
742.37/742.70	c |    319721 |  263670  5951176 18559697 | 2147483647   319721     77 |  0.000 % |
743.17/743.56	c |    319868 |  263670  5951176 18559697 | 2147483647   319868     77 |  0.000 % |
743.67/744.03	c |    320028 |  263670  5951176 18559697 | 2147483647   320028     77 |  0.000 % |
744.37/744.74	c |    320204 |  263670  5951176 18559697 | 2147483647   320204     77 |  0.000 % |
744.87/745.28	c |    320398 |  263670  5951176 18559697 | 2147483647   320398     77 |  0.000 % |
745.38/745.79	c |    320610 |  263670  5951176 18559697 | 2147483647   320610     77 |  0.000 % |
745.97/746.34	c |    320844 |  263670  5951176 18559697 | 2147483647   320844     76 |  0.000 % |
746.67/747.02	c |    321100 |  263670  5951176 18559697 | 2147483647   321100     76 |  0.000 % |
747.97/748.37	c |    321383 |  263670  5951176 18559697 | 2147483647   321383     76 |  0.000 % |
748.97/749.32	c |    321692 |  263670  5951176 18559697 | 2147483647   321692     76 |  0.000 % |
749.57/749.91	c |    322031 |  263670  5951176 18559697 | 2147483647   322031     76 |  0.000 % |
750.47/750.87	c |    322404 |  263670  5951176 18559697 | 2147483647   322404     77 |  0.000 % |
751.57/751.91	c |    322814 |  263670  5951176 18559697 | 2147483647   322814     77 |  0.000 % |
752.57/752.93	c |    323263 |  263670  5951176 18559697 | 2147483647   323263     77 |  0.000 % |
753.57/753.95	c |    323756 |  263670  5951176 18559697 | 2147483647   323756     77 |  0.000 % |
754.57/754.93	c |    324298 |  263670  5951176 18559697 | 2147483647   324298     76 |  0.000 % |
755.87/756.27	c |    324894 |  263670  5951176 18559697 | 2147483647   324894     76 |  0.000 % |
757.16/757.57	c |    325549 |  263670  5951176 18559697 | 2147483647   325549     76 |  0.000 % |
758.86/759.20	c |    326270 |  263670  5951176 18559697 | 2147483647   326270     77 |  0.000 % |
760.66/761.02	c |    327063 |  263670  5951176 18559697 | 2147483647   327063     77 |  0.000 % |
762.36/762.76	c |    327935 |  263670  5951176 18559697 | 2147483647   327935     77 |  0.000 % |
764.06/764.50	c |    328894 |  263670  5951176 18559697 | 2147483647   328894     77 |  0.000 % |
767.16/767.57	c |    329951 |  263670  5951176 18559697 | 2147483647   329951     77 |  0.000 % |
770.36/770.71	c |    331109 |  263670  5951176 18559697 | 2147483647   331109     77 |  0.000 % |
772.36/772.79	c |    332383 |  263670  5951176 18559697 | 2147483647   332383     77 |  0.000 % |
775.45/775.89	c |    333786 |  263670  5951176 18559697 | 2147483647   333786     77 |  0.000 % |
779.26/779.61	c |    335330 |  263670  5951176 18559697 | 2147483647   335330     77 |  0.000 % |
783.16/783.53	c |    337028 |  263670  5951176 18559697 | 2147483647   337028     77 |  0.000 % |
789.16/789.54	c |    338893 |  263670  5951176 18559697 | 2147483647   338893     78 |  0.000 % |
792.05/792.46	c |    340942 |  263670  5951176 18559697 | 2147483647   340942     78 |  0.000 % |
796.36/796.71	c |    343198 |  263670  5951176 18559697 | 2147483647   343198     78 |  0.000 % |
802.05/802.45	c |    345676 |  263670  5951176 18559697 | 2147483647   345676     78 |  0.000 % |
807.45/807.85	c |    348401 |  263670  5951176 18559697 | 2147483647   348401     79 |  0.000 % |
810.95/811.30	c |    351400 |  263670  5951176 18559697 | 2147483647   351400     79 |  0.000 % |
818.06/818.44	c |    354698 |  263670  5951176 18559697 | 2147483647   354698     79 |  0.000 % |
818.25/818.68	c |    354800 |  263670  5951176 18559697 | 2147483647   354800     79 |  0.000 % |
819.06/819.43	c |    354912 |  263670  5951176 18559697 | 2147483647   354912     79 |  0.000 % |
819.45/819.86	c |    355037 |  263670  5951176 18559697 | 2147483647   355037     79 |  0.000 % |
820.45/820.80	c |    355170 |  263670  5951176 18559697 | 2147483647   355170     79 |  0.000 % |
821.05/821.49	c |    355317 |  263670  5951176 18559697 | 2147483647   355317     79 |  0.000 % |
821.65/822.09	c |    355478 |  263670  5951176 18559697 | 2147483647   355478     79 |  0.000 % |
822.15/822.58	c |    355656 |  263670  5951176 18559697 | 2147483647   355656     79 |  0.000 % |
822.65/823.08	c |    355851 |  263670  5951176 18559697 | 2147483647   355851     79 |  0.000 % |
823.45/823.89	c |    356071 |  263670  5951176 18559697 | 2147483647   356071     79 |  0.000 % |
824.45/824.87	c |    356304 |  263670  5951176 18559697 | 2147483647   356304     80 |  0.000 % |
825.15/825.59	c |    356560 |  263670  5951176 18559697 | 2147483647   356560     79 |  0.000 % |
826.04/826.47	c |    356841 |  263670  5951176 18559697 | 2147483647   356841     80 |  0.000 % |
826.75/827.17	c |    357150 |  263670  5951176 18559697 | 2147483647   357150     80 |  0.000 % |
827.74/828.11	c |    357489 |  263670  5951176 18559697 | 2147483647   357489     80 |  0.000 % |
828.44/828.88	c |    357866 |  263670  5951176 18559697 | 2147483647   357866     80 |  0.000 % |
829.64/830.00	c |    358276 |  263670  5951176 18559697 | 2147483647   358276     80 |  0.000 % |
830.34/830.74	c |    358726 |  263670  5951176 18559697 | 2147483647   358726     80 |  0.000 % |
831.25/831.63	c |    359219 |  263670  5951176 18559697 | 2147483647   359219     80 |  0.000 % |
832.35/832.71	c |    359761 |  263670  5951176 18559697 | 2147483647   359761     80 |  0.000 % |
833.25/833.67	c |    360362 |  263670  5951176 18559697 | 2147483647   360362     80 |  0.000 % |
835.15/835.60	c |    361017 |  263670  5951176 18559697 | 2147483647   361017     80 |  0.000 % |
837.24/837.64	c |    361737 |  263670  5951176 18559697 | 2147483647   361737     80 |  0.000 % |
838.95/839.30	c |    362529 |  263670  5951176 18559697 | 2147483647   362529     80 |  0.000 % |
841.15/841.54	c |    363400 |  263670  5951176 18559697 | 2147483647   363400     80 |  0.000 % |
843.94/844.39	c |    364361 |  263670  5951176 18559697 | 2147483647   364361     80 |  0.000 % |
846.34/846.76	c |    365414 |  263670  5951176 18559697 | 2147483647   365414     80 |  0.000 % |
848.04/848.42	c |    366572 |  263670  5951176 18559697 | 2147483647   366572     80 |  0.000 % |
850.74/851.13	c |    367845 |  263670  5951176 18559697 | 2147483647   367845     81 |  0.000 % |
853.63/854.09	c |    369247 |  263670  5951176 18559697 | 2147483647   369247     81 |  0.000 % |
856.94/857.36	c |    370787 |  263670  5951176 18559697 | 2147483647   370787     81 |  0.000 % |
860.04/860.46	c |    372481 |  263670  5951176 18559697 | 2147483647   372481     81 |  0.000 % |
865.44/865.84	c |    374345 |  263670  5951176 18559697 | 2147483647   374345     81 |  0.000 % |
869.44/869.83	c |    376394 |  263670  5951176 18559697 | 2147483647   376394     81 |  0.000 % |
872.43/872.89	c |    378647 |  263670  5951176 18559697 | 2147483647   378647     80 |  0.000 % |
876.83/877.28	c |    381129 |  263670  5951176 18559697 | 2147483647   381129     80 |  0.000 % |
881.63/882.06	c |    383855 |  263670  5951176 18559697 | 2147483647   383855     80 |  0.000 % |
887.03/887.49	c |    386853 |  263670  5951176 18559697 | 2147483647   386853     80 |  0.000 % |
892.63/893.05	c |    390150 |  263670  5951176 18559697 | 2147483647   390150     80 |  0.000 % |
899.63/900.01	c |    393776 |  263670  5951176 18559697 | 2147483647   393776     80 |  0.000 % |
899.83/900.26	c |    393879 |  263670  5951176 18559697 | 2147483647   393879     80 |  0.000 % |
900.13/900.56	c |    393989 |  263670  5951176 18559697 | 2147483647   393989     80 |  0.000 % |
900.43/900.83	c |    394110 |  263670  5951176 18559697 | 2147483647   394110     80 |  0.000 % |
900.72/901.13	c |    394243 |  263670  5951176 18559697 | 2147483647   394243     80 |  0.000 % |
901.02/901.49	c |    394390 |  263670  5951176 18559697 | 2147483647   394390     80 |  0.000 % |
901.42/901.88	c |    394550 |  263670  5951176 18559697 | 2147483647   394550     80 |  0.000 % |
902.12/902.53	c |    394728 |  263670  5951176 18559697 | 2147483647   394728     80 |  0.000 % |
902.52/902.96	c |    394922 |  263670  5951176 18559697 | 2147483647   394922     80 |  0.000 % |
902.92/903.39	c |    395135 |  263670  5951176 18559697 | 2147483647   395135     80 |  0.000 % |
903.42/903.89	c |    395368 |  263670  5951176 18559697 | 2147483647   395368     80 |  0.000 % |
904.33/904.77	c |    395625 |  263670  5951176 18559697 | 2147483647   395625     80 |  0.000 % |
905.43/905.88	c |    395907 |  263670  5951176 18559697 | 2147483647   395907     80 |  0.000 % |
906.23/906.62	c |    396217 |  263670  5951176 18559697 | 2147483647   396217     80 |  0.000 % |
907.23/907.68	c |    396558 |  263670  5951176 18559697 | 2147483647   396558     80 |  0.000 % |
908.63/909.02	c |    396930 |  263670  5951176 18559697 | 2147483647   396930     80 |  0.000 % |
909.63/910.03	c |    397339 |  263670  5951176 18559697 | 2147483647   397339     80 |  0.000 % |
910.43/910.88	c |    397790 |  263670  5951176 18559697 | 2147483647   397790     80 |  0.000 % |
911.53/911.96	c |    398283 |  263670  5951176 18559697 | 2147483647   398283     80 |  0.000 % |
912.82/913.25	c |    398825 |  263670  5951176 18559697 | 2147483647   398825     80 |  0.000 % |
914.12/914.56	c |    399421 |  263670  5951176 18559697 | 2147483647   399421     80 |  0.000 % |
915.62/916.10	c |    400076 |  263670  5951176 18559697 | 2147483647   400076     80 |  0.000 % |
917.32/917.77	c |    400796 |  263670  5951176 18559697 | 2147483647   400796     80 |  0.000 % |
919.02/919.41	c |    401588 |  263670  5951176 18559697 | 2147483647   401588     80 |  0.000 % |
920.92/921.32	c |    402459 |  263670  5951176 18559697 | 2147483647   402459     80 |  0.000 % |
923.12/923.58	c |    403417 |  263670  5951176 18559697 | 2147483647   403417     80 |  0.000 % |
924.82/925.25	c |    404470 |  263670  5951176 18559697 | 2147483647   404470     80 |  0.000 % |
926.72/927.11	c |    405633 |  263670  5951176 18559697 | 2147483647   405633     80 |  0.000 % |
929.61/930.06	c |    406907 |  263670  5951176 18559697 | 2147483647   406907     80 |  0.000 % |
932.32/932.79	c |    408309 |  263670  5951176 18559697 | 2147483647   408309     80 |  0.000 % |
936.02/936.43	c |    409849 |  263670  5951176 18559697 | 2147483647   409849     80 |  0.000 % |
939.61/940.07	c |    411544 |  263670  5951176 18559697 | 2147483647   411544     80 |  0.000 % |
943.61/944.03	c |    413408 |  263670  5951176 18559697 | 2147483647   413408     82 |  0.000 % |
947.11/947.55	c |    415457 |  263670  5951176 18559697 | 2147483647   415457     82 |  0.000 % |
950.62/951.08	c |    417712 |  263670  5951176 18559697 | 2147483647   417712     81 |  0.000 % |
955.71/956.13	c |    420190 |  263670  5951176 18559697 | 2147483647   420190     82 |  0.000 % |
961.11/961.53	c |    422915 |  263670  5951176 18559697 | 2147483647   422915     81 |  0.000 % |
967.10/967.59	c |    425912 |  263670  5951176 18559697 | 2147483647   425912     81 |  0.000 % |
974.50/974.93	c |    429210 |  263670  5951176 18559697 | 2147483647   429210     81 |  0.000 % |
982.11/982.59	c |    432835 |  263670  5951176 18559697 | 2147483647   432835     81 |  0.000 % |
988.70/989.18	c |    436824 |  263670  5951176 18559697 | 2147483647   436824     82 |  0.000 % |
989.20/989.69	c |    436926 |  263670  5951176 18559697 | 2147483647   436926     82 |  0.000 % |
989.80/990.25	c |    437037 |  263670  5951176 18559697 | 2147483647   437037     82 |  0.000 % |
990.50/990.96	c |    437158 |  263670  5951176 18559697 | 2147483647   437158     82 |  0.000 % |
991.00/991.40	c |    437291 |  263670  5951176 18559697 | 2147483647   437291     82 |  0.000 % |
991.40/991.81	c |    437437 |  263670  5951176 18559697 | 2147483647   437437     82 |  0.000 % |
991.80/992.28	c |    437597 |  263670  5951176 18559697 | 2147483647   437597     82 |  0.000 % |
992.30/992.77	c |    437773 |  263670  5951176 18559697 | 2147483647   437773     82 |  0.000 % |
992.80/993.28	c |    437966 |  263670  5951176 18559697 | 2147483647   437966     82 |  0.000 % |
993.40/993.86	c |    438178 |  263670  5951176 18559697 | 2147483647   438178     82 |  0.000 % |
994.00/994.46	c |    438411 |  263670  5951176 18559697 | 2147483647   438411     82 |  0.000 % |
994.70/995.16	c |    438667 |  263670  5951176 18559697 | 2147483647   438667     82 |  0.000 % |
995.50/995.92	c |    438948 |  263670  5951176 18559697 | 2147483647   438948     82 |  0.000 % |
996.20/996.69	c |    439258 |  263670  5951176 18559697 | 2147483647   439258     82 |  0.000 % |
997.00/997.46	c |    439597 |  263670  5951176 18559697 | 2147483647   439597     82 |  0.000 % |
998.20/998.62	c |    439970 |  263670  5951176 18559697 | 2147483647   439970     82 |  0.000 % |
999.80/1000.23	c |    440380 |  263670  5951176 18559697 | 2147483647   440380     82 |  0.000 % |
1000.90/1001.39	c |    440829 |  263670  5951176 18559697 | 2147483647   440829     82 |  0.000 % |
1001.61/1002.08	c |    441322 |  263670  5951176 18559697 | 2147483647   441322     82 |  0.000 % |
1002.71/1003.14	c |    441866 |  263670  5951176 18559697 | 2147483647   441866     82 |  0.000 % |
1003.81/1004.24	c |    442463 |  263670  5951176 18559697 | 2147483647   442463     82 |  0.000 % |
1005.10/1005.57	c |    443123 |  263670  5951176 18559697 | 2147483647   443123     82 |  0.000 % |
1006.20/1006.66	c |    443843 |  263670  5951176 18559697 | 2147483647   443843     82 |  0.000 % |
1008.10/1008.54	c |    444637 |  263670  5951176 18559697 | 2147483647   444637     82 |  0.000 % |
1011.30/1011.72	c |    445508 |  263670  5951176 18559697 | 2147483647   445508     82 |  0.000 % |
1013.29/1013.70	c |    446466 |  263670  5951176 18559697 | 2147483647   446466     83 |  0.000 % |
1015.10/1015.53	c |    447519 |  263670  5951176 18559697 | 2147483647   447519     83 |  0.000 % |
1018.10/1018.58	c |    448678 |  263670  5951176 18559697 | 2147483647   448678     83 |  0.000 % |
1021.50/1021.95	c |    449953 |  263670  5951176 18559697 | 2147483647   449953     83 |  0.000 % |
1026.69/1027.12	c |    451353 |  263670  5951176 18559697 | 2147483647   451353     83 |  0.000 % |
1029.10/1029.54	c |    452893 |  263670  5951176 18559697 | 2147483647   452893     84 |  0.000 % |
1032.19/1032.64	c |    454592 |  263670  5951176 18559697 | 2147483647   454592     84 |  0.000 % |
1037.49/1037.92	c |    456456 |  263670  5951176 18559697 | 2147483647   456456     84 |  0.000 % |
1040.99/1041.42	c |    458505 |  263670  5951176 18559697 | 2147483647   458505     84 |  0.000 % |
1047.09/1047.59	c |    460760 |  263670  5951176 18559697 | 2147483647   460760     84 |  0.000 % |
1051.69/1052.16	c |    463238 |  263670  5951176 18559697 | 2147483647   463238     84 |  0.000 % |
1057.08/1057.52	c |    465964 |  263670  5951176 18559697 | 2147483647   465964     84 |  0.000 % |
1063.48/1063.90	c |    468961 |  263670  5951176 18559697 | 2147483647   468961     83 |  0.000 % |
1070.38/1070.86	c |    472257 |  263670  5951176 18559697 | 2147483647   472257     83 |  0.000 % |
1077.78/1078.20	c |    475883 |  263670  5951176 18559697 | 2147483647   475883     83 |  0.000 % |
1084.77/1085.20	c |    479870 |  263670  5951176 18559697 | 2147483647   479870     83 |  0.000 % |
1094.57/1095.03	c |    484255 |  263670  5951176 18559697 | 2147483647   484255     83 |  0.000 % |
1094.87/1095.36	c |    484357 |  263670  5951176 18559697 | 2147483647   484357     83 |  0.000 % |
1095.18/1095.62	c |    484467 |  263670  5951176 18559697 | 2147483647   484467     83 |  0.000 % |
1095.48/1095.99	c |    484589 |  263670  5951176 18559697 | 2147483647   484589     83 |  0.000 % |
1097.18/1097.65	c |    484723 |  263670  5951176 18559697 | 2147483647   484723     83 |  0.000 % |
1097.88/1098.36	c |    484869 |  263670  5951176 18559697 | 2147483647   484869     83 |  0.000 % |
1098.38/1098.81	c |    485034 |  263670  5951176 18559697 | 2147483647   485034     83 |  0.000 % |
1099.37/1099.80	c |    485210 |  263670  5951176 18559697 | 2147483647   485210     83 |  0.000 % |
1100.17/1100.70	c |    485405 |  263670  5951176 18559697 | 2147483647   485405     83 |  0.000 % |
1101.17/1101.66	c |    485621 |  263670  5951176 18559697 | 2147483647   485621     83 |  0.000 % |
1101.87/1102.35	c |    485855 |  263670  5951176 18559697 | 2147483647   485855     83 |  0.000 % |
1102.57/1103.08	c |    486111 |  263670  5951176 18559697 | 2147483647   486111     83 |  0.000 % |
1103.37/1103.81	c |    486393 |  263670  5951176 18559697 | 2147483647   486393     83 |  0.000 % |
1104.27/1104.71	c |    486702 |  263670  5951176 18559697 | 2147483647   486702     83 |  0.000 % |
1105.17/1105.60	c |    487042 |  263670  5951176 18559697 | 2147483647   487042     83 |  0.000 % |
1106.17/1106.61	c |    487414 |  263670  5951176 18559697 | 2147483647   487414     83 |  0.000 % |
1107.27/1107.72	c |    487825 |  263670  5951176 18559697 | 2147483647   487825     83 |  0.000 % |
1108.57/1109.08	c |    488274 |  263670  5951176 18559697 | 2147483647   488274     83 |  0.000 % |
1109.47/1109.98	c |    488767 |  263670  5951176 18559697 | 2147483647   488767     83 |  0.000 % |
1111.07/1111.56	c |    489309 |  263670  5951176 18559697 | 2147483647   489309     83 |  0.000 % |
1112.67/1113.14	c |    489908 |  263670  5951176 18559697 | 2147483647   489908     83 |  0.000 % |
1114.07/1114.54	c |    490563 |  263670  5951176 18559697 | 2147483647   490563     83 |  0.000 % |
1116.37/1116.81	c |    491283 |  263670  5951176 18559697 | 2147483647   491283     83 |  0.000 % |
1118.07/1118.53	c |    492075 |  263670  5951176 18559697 | 2147483647   492075     83 |  0.000 % |
1120.67/1121.15	c |    492948 |  263670  5951176 18559697 | 2147483647   492948     83 |  0.000 % |
1123.86/1124.33	c |    493907 |  263670  5951176 18559697 | 2147483647   493907     83 |  0.000 % |
1126.27/1126.77	c |    494960 |  263670  5951176 18559697 | 2147483647   494960     83 |  0.000 % |
1129.17/1129.62	c |    496118 |  263670  5951176 18559697 | 2147483647   496118     83 |  0.000 % |
1132.76/1133.23	c |    497391 |  263670  5951176 18559697 | 2147483647   497391     83 |  0.000 % |
1136.66/1137.19	c |    498791 |  263670  5951176 18559697 | 2147483647   498791     83 |  0.000 % |
1139.46/1139.93	c |    500331 |  263670  5951176 18559697 | 2147483647   500331     84 |  0.000 % |
1143.76/1144.20	c |    502025 |  263670  5951176 18559697 | 2147483647   502025     84 |  0.000 % |
1147.46/1147.98	c |    503888 |  263670  5951176 18559697 | 2147483647   503888     84 |  0.000 % |
1152.46/1152.97	c |    505938 |  263670  5951176 18559697 | 2147483647   505938     85 |  0.000 % |
1156.56/1157.09	c |    508191 |  263670  5951176 18559697 | 2147483647   508191     85 |  0.000 % |
1162.75/1163.23	c |    510670 |  263670  5951176 18559697 | 2147483647   510670     85 |  0.000 % |
1169.36/1169.84	c |    513396 |  263670  5951176 18559697 | 2147483647   513396     84 |  0.000 % |
1175.46/1175.94	c |    516394 |  263670  5951176 18559697 | 2147483647   516394     84 |  0.000 % |
1181.75/1182.21	c |    519690 |  263670  5951176 18559697 | 2147483647   519690     84 |  0.000 % |
1188.65/1189.12	c |    523316 |  263670  5951176 18559697 | 2147483647   523316     84 |  0.000 % |
1196.55/1197.02	c |    527304 |  263670  5951176 18559697 | 2147483647   527304     83 |  0.000 % |
1205.24/1205.78	c |    531689 |  263670  5951176 18559697 | 2147483647   531689     83 |  0.000 % |
1215.14/1215.62	c |    536512 |  263670  5951176 18559697 | 2147483647   536512     83 |  0.000 % |
1215.54/1216.08	c |    536614 |  263670  5951176 18559697 | 2147483647   536614     83 |  0.000 % |
1216.04/1216.54	c |    536728 |  263670  5951176 18559697 | 2147483647   536728     83 |  0.000 % |
1216.44/1216.98	c |    536849 |  263670  5951176 18559697 | 2147483647   536849     83 |  0.000 % |
1216.84/1217.33	c |    536983 |  263670  5951176 18559697 | 2147483647   536983     83 |  0.000 % |
1217.35/1217.85	c |    537130 |  263670  5951176 18559697 | 2147483647   537130     83 |  0.000 % |
1217.95/1218.41	c |    537290 |  263670  5951176 18559697 | 2147483647   537290     83 |  0.000 % |
1218.85/1219.38	c |    537466 |  263670  5951176 18559697 | 2147483647   537466     83 |  0.000 % |
1219.64/1220.11	c |    537659 |  263670  5951176 18559697 | 2147483647   537659     83 |  0.000 % |
1220.34/1220.89	c |    537872 |  263670  5951176 18559697 | 2147483647   537872     83 |  0.000 % |
1221.04/1221.55	c |    538105 |  263670  5951176 18559697 | 2147483647   538105     83 |  0.000 % |
1221.84/1222.30	c |    538361 |  263670  5951176 18559697 | 2147483647   538361     83 |  0.000 % |
1222.54/1223.06	c |    538642 |  263670  5951176 18559697 | 2147483647   538642     83 |  0.000 % |
1223.44/1223.92	c |    538951 |  263670  5951176 18559697 | 2147483647   538951     83 |  0.000 % |
1224.74/1225.24	c |    539295 |  263670  5951176 18559697 | 2147483647   539295     83 |  0.000 % |
1225.94/1226.46	c |    539668 |  263670  5951176 18559697 | 2147483647   539668     83 |  0.000 % |
1227.64/1228.12	c |    540077 |  263670  5951176 18559697 | 2147483647   540077     83 |  0.000 % |
1229.73/1230.27	c |    540526 |  263670  5951176 18559697 | 2147483647   540526     83 |  0.000 % |
1231.83/1232.31	c |    541020 |  263670  5951176 18559697 | 2147483647   541020     83 |  0.000 % |
1234.93/1235.44	c |    541562 |  263670  5951176 18559697 | 2147483647   541562     83 |  0.000 % |
1237.43/1237.92	c |    542165 |  263670  5951176 18559697 | 2147483647   542165     83 |  0.000 % |
1239.93/1240.42	c |    542820 |  263670  5951176 18559697 | 2147483647   542820     83 |  0.000 % |
1241.54/1242.06	c |    543542 |  263670  5951176 18559697 | 2147483647   543542     83 |  0.000 % |
1244.44/1244.96	c |    544335 |  263670  5951176 18559697 | 2147483647   544335     83 |  0.000 % |
1246.63/1247.18	c |    545207 |  263670  5951176 18559697 | 2147483647   545207     83 |  0.000 % |
1249.43/1249.92	c |    546166 |  263670  5951176 18559697 | 2147483647   546166     83 |  0.000 % |
1251.13/1251.63	c |    547219 |  263670  5951176 18559697 | 2147483647   547219     83 |  0.000 % |
1254.53/1255.05	c |    548377 |  263670  5951176 18559697 | 2147483647   548377     83 |  0.000 % |
1257.53/1258.06	c |    549651 |  263670  5951176 18559697 | 2147483647   549651     83 |  0.000 % |
1260.23/1260.71	c |    551053 |  263670  5951176 18559697 | 2147483647   551053     83 |  0.000 % |
1264.33/1264.86	c |    552593 |  263670  5951176 18559697 | 2147483647   552593     84 |  0.000 % |
1267.63/1268.16	c |    554288 |  263670  5951176 18559697 | 2147483647   554288     84 |  0.000 % |
1271.13/1271.68	c |    556151 |  263670  5951176 18559697 | 2147483647   556151     85 |  0.000 % |
1273.43/1273.96	c |    558201 |  263670  5951176 18559697 | 2147483647   558201     85 |  0.000 % |
1277.22/1277.78	c |    560454 |  263670  5951176 18559697 | 2147483647   560454     85 |  0.000 % |
1280.73/1281.28	c |    562932 |  263670  5951176 18559697 | 2147483647   562932     85 |  0.000 % |
1287.02/1287.55	c |    565657 |  263670  5951176 18559697 | 2147483647   565657     85 |  0.000 % |
1292.22/1292.76	c |    568654 |  263670  5951176 18559697 | 2147483647   568654     86 |  0.000 % |
1300.02/1300.56	c |    571951 |  263670  5951176 18559697 | 2147483647   571951     86 |  0.000 % |
1308.21/1308.71	c |    575576 |  263670  5951176 18559697 | 2147483647   575576     86 |  0.000 % |
1317.01/1317.55	c |    579564 |  263670  5951176 18559697 | 2147483647   579564     86 |  0.000 % |
1326.11/1326.69	c |    583949 |  263670  5951176 18559697 | 2147483647   583949     88 |  0.000 % |
1335.61/1336.16	c |    588772 |  263670  5951176 18559697 | 2147483647   588772     88 |  0.000 % |
1348.41/1348.99	c |    594078 |  263670  5951176 18559697 | 2147483647   594078     88 |  0.000 % |
1349.11/1349.70	c |    594179 |  263670  5951176 18559697 | 2147483647   594179     88 |  0.000 % |
1349.81/1350.35	c |    594291 |  263670  5951176 18559697 | 2147483647   594291     88 |  0.000 % |
1350.41/1351.00	c |    594413 |  263670  5951176 18559697 | 2147483647   594413     88 |  0.000 % |
1351.20/1351.70	c |    594547 |  263670  5951176 18559697 | 2147483647   594547     88 |  0.000 % |
1351.70/1352.26	c |    594694 |  263670  5951176 18559697 | 2147483647   594694     88 |  0.000 % |
1352.10/1352.69	c |    594855 |  263670  5951176 18559697 | 2147483647   594855     88 |  0.000 % |
1352.71/1353.21	c |    595034 |  263670  5951176 18559697 | 2147483647   595034     88 |  0.000 % |
1353.40/1353.96	c |    595227 |  263670  5951176 18559697 | 2147483647   595227     88 |  0.000 % |
1354.20/1354.73	c |    595440 |  263670  5951176 18559697 | 2147483647   595440     88 |  0.000 % |
1355.00/1355.52	c |    595674 |  263670  5951176 18559697 | 2147483647   595674     88 |  0.000 % |
1355.71/1356.24	c |    595930 |  263670  5951176 18559697 | 2147483647   595930     88 |  0.000 % |
1356.30/1356.85	c |    596212 |  263670  5951176 18559697 | 2147483647   596212     88 |  0.000 % |
1357.30/1357.89	c |    596521 |  263670  5951176 18559697 | 2147483647   596521     88 |  0.000 % |
1358.60/1359.17	c |    596861 |  263670  5951176 18559697 | 2147483647   596861     88 |  0.000 % |
1359.70/1360.29	c |    597233 |  263670  5951176 18559697 | 2147483647   597233     88 |  0.000 % |
1360.80/1361.39	c |    597643 |  263670  5951176 18559697 | 2147483647   597643     88 |  0.000 % |
1362.10/1362.66	c |    598094 |  263670  5951176 18559697 | 2147483647   598094     88 |  0.000 % |
1363.80/1364.30	c |    598587 |  263670  5951176 18559697 | 2147483647   598587     88 |  0.000 % |
1365.50/1366.05	c |    599129 |  263670  5951176 18559697 | 2147483647   599129     88 |  0.000 % |
1366.90/1367.48	c |    599726 |  263670  5951176 18559697 | 2147483647   599726     88 |  0.000 % |
1368.70/1369.22	c |    600382 |  263670  5951176 18559697 | 2147483647   600382     88 |  0.000 % |
1370.50/1371.02	c |    601102 |  263670  5951176 18559697 | 2147483647   601102     88 |  0.000 % |
1371.99/1372.56	c |    601895 |  263670  5951176 18559697 | 2147483647   601895     88 |  0.000 % |
1373.89/1374.44	c |    602767 |  263670  5951176 18559697 | 2147483647   602767     88 |  0.000 % |
1376.70/1377.22	c |    603725 |  263670  5951176 18559697 | 2147483647   603725     88 |  0.000 % |
1379.60/1380.16	c |    604778 |  263670  5951176 18559697 | 2147483647   604778     88 |  0.000 % |
1381.70/1382.25	c |    605936 |  263670  5951176 18559697 | 2147483647   605936     88 |  0.000 % |
1384.00/1384.57	c |    607210 |  263670  5951176 18559697 | 2147483647   607210     88 |  0.000 % |
1387.70/1388.24	c |    608612 |  263670  5951176 18559697 | 2147483647   608612     88 |  0.000 % |
1390.90/1391.45	c |    610152 |  263670  5951176 18559697 | 2147483647   610152     88 |  0.000 % |
1394.39/1394.93	c |    611846 |  263670  5951176 18559697 | 2147483647   611846     88 |  0.000 % |
1399.09/1399.62	c |    613710 |  263670  5951176 18559697 | 2147483647   613710     87 |  0.000 % |
1404.10/1404.65	c |    615759 |  263670  5951176 18559697 | 2147483647   615759     88 |  0.000 % |
1407.99/1408.52	c |    618012 |  263670  5951176 18559697 | 2147483647   618012     88 |  0.000 % |
1414.59/1415.16	c |    620490 |  263670  5951176 18559697 | 2147483647   620490     88 |  0.000 % |
1419.38/1419.95	c |    623215 |  263670  5951176 18559697 | 2147483647   623215     88 |  0.000 % |
1424.38/1424.98	c |    626212 |  263670  5951176 18559697 | 2147483647   626212     88 |  0.000 % |
1426.69/1427.21	c |    629508 |  263670  5951176 18559697 | 2147483647   629508     89 |  0.000 % |
1432.79/1433.32	c |    633134 |  263670  5951176 18559697 | 2147483647   633134     89 |  0.000 % |
1440.98/1441.54	c |    637121 |  263670  5951176 18559697 | 2147483647   637121     89 |  0.000 % |
1452.58/1453.10	c |    641506 |  263670  5951176 18559697 | 2147483647   641506     89 |  0.000 % |
1464.58/1465.15	c |    646329 |  263670  5951176 18559697 | 2147483647   646329     91 |  0.000 % |
1476.17/1476.78	c |    651636 |  263670  5951176 18559697 | 2147483647   651636     91 |  0.000 % |
1489.67/1490.29	c |    657471 |  263670  5951176 18559697 | 2147483647   657471     90 |  0.000 % |
1490.07/1490.68	c |    657571 |  263670  5951176 18559697 | 2147483647   657571     90 |  0.000 % |
1490.67/1491.28	c |    657682 |  263670  5951176 18559697 | 2147483647   657682     90 |  0.000 % |
1491.27/1491.80	c |    657804 |  263670  5951176 18559697 | 2147483647   657804     90 |  0.000 % |
1491.67/1492.21	c |    657937 |  263670  5951176 18559697 | 2147483647   657937     90 |  0.000 % |
1491.97/1492.59	c |    658084 |  263670  5951176 18559697 | 2147483647   658084     90 |  0.000 % |
1492.77/1493.33	c |    658244 |  263670  5951176 18559697 | 2147483647   658244     90 |  0.000 % |
1493.37/1493.97	c |    658420 |  263670  5951176 18559697 | 2147483647   658420     90 |  0.000 % |
1494.07/1494.65	c |    658613 |  263670  5951176 18559697 | 2147483647   658613     90 |  0.000 % |
1494.67/1495.27	c |    658825 |  263670  5951176 18559697 | 2147483647   658825     90 |  0.000 % |
1495.37/1495.93	c |    659058 |  263670  5951176 18559697 | 2147483647   659058     90 |  0.000 % |
1496.36/1496.92	c |    659314 |  263670  5951176 18559697 | 2147483647   659314     90 |  0.000 % |
1497.26/1497.85	c |    659595 |  263670  5951176 18559697 | 2147483647   659595     90 |  0.000 % |
1498.06/1498.67	c |    659904 |  263670  5951176 18559697 | 2147483647   659904     90 |  0.000 % |
1499.16/1499.75	c |    660244 |  263670  5951176 18559697 | 2147483647   660244     90 |  0.000 % |
1500.26/1500.88	c |    660617 |  263670  5951176 18559697 | 2147483647   660617     90 |  0.000 % |
1501.56/1502.10	c |    661027 |  263670  5951176 18559697 | 2147483647   661027     90 |  0.000 % |
1503.16/1503.71	c |    661476 |  263670  5951176 18559697 | 2147483647   661476     90 |  0.000 % |
1505.16/1505.73	c |    661969 |  263670  5951176 18559697 | 2147483647   661969     90 |  0.000 % |
1506.66/1507.20	c |    662511 |  263670  5951176 18559697 | 2147483647   662511     91 |  0.000 % |
1508.56/1509.19	c |    663108 |  263670  5951176 18559697 | 2147483647   663108     91 |  0.000 % |
1510.36/1510.90	c |    663763 |  263670  5951176 18559697 | 2147483647   663763     91 |  0.000 % |
1512.45/1513.01	c |    664483 |  263670  5951176 18559697 | 2147483647   664483     91 |  0.000 % |
1514.75/1515.39	c |    665275 |  263670  5951176 18559697 | 2147483647   665275     90 |  0.000 % |
1517.06/1517.60	c |    666146 |  263670  5951176 18559697 | 2147483647   666146     90 |  0.000 % |
1519.26/1519.81	c |    667105 |  263670  5951176 18559697 | 2147483647   667105     90 |  0.000 % |
1521.56/1522.15	c |    668158 |  263670  5951176 18559697 | 2147483647   668158     90 |  0.000 % |
1524.46/1525.07	c |    669317 |  263670  5951176 18559697 | 2147483647   669317     90 |  0.000 % |
1527.46/1528.01	c |    670590 |  263670  5951176 18559697 | 2147483647   670590     90 |  0.000 % |
1530.85/1531.45	c |    671990 |  263670  5951176 18559697 | 2147483647   671990     91 |  0.000 % |
1534.76/1535.37	c |    673530 |  263670  5951176 18559697 | 2147483647   673530     91 |  0.000 % |
1539.25/1539.84	c |    675224 |  263670  5951176 18559697 | 2147483647   675224     91 |  0.000 % |
1544.96/1545.51	c |    677088 |  263670  5951176 18559697 | 2147483647   677088     91 |  0.000 % |
1549.25/1549.88	c |    679137 |  263670  5951176 18559697 | 2147483647   679137     91 |  0.000 % |
1555.35/1555.95	c |    681390 |  263670  5951176 18559697 | 2147483647   681390     91 |  0.000 % |
1561.75/1562.34	c |    683868 |  263670  5951176 18559697 | 2147483647   683868     91 |  0.000 % |
1568.24/1568.89	c |    686593 |  263670  5951176 18559697 | 2147483647   686593     91 |  0.000 % |
1574.05/1574.64	c |    689591 |  263670  5951176 18559697 | 2147483647   689591     92 |  0.000 % |
1582.04/1582.69	c |    692888 |  263670  5951176 18559697 | 2147483647   692888     92 |  0.000 % |
1591.24/1591.82	c |    696513 |  263670  5951176 18559697 | 2147483647   696513     93 |  0.000 % |
1600.13/1600.74	c |    700500 |  263670  5951176 18559697 | 2147483647   700500     93 |  0.000 % |
1611.93/1612.51	c |    704887 |  263670  5951176 18559697 | 2147483647   704887     95 |  0.000 % |
1624.43/1625.02	c |    709710 |  263670  5951176 18559697 | 2147483647   709710     94 |  0.000 % |
1637.03/1637.67	c |    715015 |  263670  5951176 18559697 | 2147483647   715015     96 |  0.000 % |
1651.73/1652.36	c |    720850 |  263670  5951176 18559697 | 2147483647   720850     96 |  0.000 % |
1667.92/1668.58	c |    727268 |  263670  5951176 18559697 | 2147483647   727268     96 |  0.000 % |
1668.31/1668.95	c |    727369 |  263670  5951176 18559697 | 2147483647   727369     96 |  0.000 % |
1668.71/1669.39	c |    727479 |  263670  5951176 18559697 | 2147483647   727479     96 |  0.000 % |
1669.22/1669.89	c |    727600 |  263670  5951176 18559697 | 2147483647   727600     96 |  0.000 % |
1669.71/1670.36	c |    727733 |  263670  5951176 18559697 | 2147483647   727733     96 |  0.000 % |
1670.22/1670.82	c |    727879 |  263670  5951176 18559697 | 2147483647   727879     96 |  0.000 % |
1670.71/1671.30	c |    728040 |  263670  5951176 18559697 | 2147483647   728040     96 |  0.000 % |
1671.51/1672.19	c |    728216 |  263670  5951176 18559697 | 2147483647   728216     96 |  0.000 % |
1672.01/1672.65	c |    728415 |  263670  5951176 18559697 | 2147483647   728415     96 |  0.000 % |
1673.01/1673.63	c |    728627 |  263670  5951176 18559697 | 2147483647   728627     96 |  0.000 % |
1673.81/1674.43	c |    728861 |  263670  5951176 18559697 | 2147483647   728861     96 |  0.000 % |
1674.62/1675.24	c |    729118 |  263670  5951176 18559697 | 2147483647   729118     96 |  0.000 % |
1676.22/1676.86	c |    729400 |  263670  5951176 18559697 | 2147483647   729400     96 |  0.000 % |
1677.62/1678.26	c |    729709 |  263670  5951176 18559697 | 2147483647   729709     96 |  0.000 % |
1678.62/1679.29	c |    730048 |  263670  5951176 18559697 | 2147483647   730048     96 |  0.000 % |
1680.12/1680.79	c |    730420 |  263670  5951176 18559697 | 2147483647   730420     96 |  0.000 % |
1681.71/1682.36	c |    730830 |  263670  5951176 18559697 | 2147483647   730830     96 |  0.000 % |
1682.91/1683.55	c |    731280 |  263670  5951176 18559697 | 2147483647   731280     96 |  0.000 % |
1684.51/1685.17	c |    731774 |  263670  5951176 18559697 | 2147483647   731774     96 |  0.000 % |
1686.31/1686.94	c |    732316 |  263670  5951176 18559697 | 2147483647   732316     96 |  0.000 % |
1688.71/1689.38	c |    732912 |  263670  5951176 18559697 | 2147483647   732912     95 |  0.000 % |
1691.01/1691.61	c |    733567 |  263670  5951176 18559697 | 2147483647   733567     95 |  0.000 % |
1693.31/1693.92	c |    734287 |  263670  5951176 18559697 | 2147483647   734287     96 |  0.000 % |
1695.00/1695.69	c |    735079 |  263670  5951176 18559697 | 2147483647   735079     96 |  0.000 % |
1698.11/1698.77	c |    735956 |  263670  5951176 18559697 | 2147483647   735956     96 |  0.000 % |
1700.41/1701.03	c |    736914 |  263670  5951176 18559697 | 2147483647   736914     96 |  0.000 % |
1703.31/1703.92	c |    737969 |  263670  5951176 18559697 | 2147483647   737969     96 |  0.000 % |
1706.90/1707.59	c |    739127 |  263670  5951176 18559697 | 2147483647   739127     96 |  0.000 % |
1710.00/1710.69	c |    740404 |  263670  5951176 18559697 | 2147483647   740404     96 |  0.000 % |
1712.71/1713.35	c |    741804 |  263670  5951176 18559697 | 2147483647   741804     96 |  0.000 % |
1714.80/1715.45	c |    743344 |  263670  5951176 18559697 | 2147483647   743344     96 |  0.000 % |
1719.40/1720.00	c |    745039 |  263670  5951176 18559697 | 2147483647   745039     96 |  0.000 % |
1724.30/1724.95	c |    746902 |  263670  5951176 18559697 | 2147483647   746902     97 |  0.000 % |
1727.80/1728.44	c |    748951 |  263670  5951176 18559697 | 2147483647   748951     97 |  0.000 % |
1730.70/1731.34	c |    751206 |  263670  5951176 18559697 | 2147483647   751206     97 |  0.000 % |
1736.50/1737.12	c |    753684 |  263670  5951176 18559697 | 2147483647   753684     97 |  0.000 % |
1740.90/1741.50	c |    756411 |  263670  5951176 18559697 | 2147483647   756411     98 |  0.000 % |
1747.10/1747.71	c |    759415 |  263670  5951176 18559697 | 2147483647   759415     99 |  0.000 % |
1757.19/1757.84	c |    762711 |  263670  5951176 18559697 | 2147483647   762711    100 |  0.000 % |
1763.38/1764.09	c |    766336 |  263670  5951176 18559697 | 2147483647   766336    100 |  0.000 % |
1773.48/1774.10	c |    770323 |  263670  5951176 18559697 | 2147483647   770323    101 |  0.000 % |
1782.28/1782.98	c |    774708 |  263670  5951176 18559697 | 2147483647   774708    101 |  0.000 % |
1790.98/1791.65	c |    779532 |  263670  5951176 18559697 | 2147483647   779532    101 |  0.000 % |
1801.67/1802.39	c |    784838 |  263670  5951176 18559697 | 2147483647   784838    103 |  0.000 % |
1812.18/1812.80	c |    790673 |  263670  5951176 18559697 | 2147483647   790673    103 |  0.000 % |
1826.48/1827.17	c |    797091 |  263670  5951176 18559697 | 2147483647   797091    104 |  0.000 % |
1839.57/1840.22	c |    804153 |  263670  5951176 18559697 | 2147483647   804153    105 |  0.000 % |
1840.26/1840.93	c |    804254 |  263670  5951176 18559697 | 2147483647   804254    105 |  0.000 % |
1841.06/1841.71	c |    804369 |  263670  5951176 18559697 | 2147483647   804369    105 |  0.000 % |
1841.66/1842.35	c |    804491 |  263670  5951176 18559697 | 2147483647   804491    105 |  0.000 % |
1842.36/1843.09	c |    804625 |  263670  5951176 18559697 | 2147483647   804625    105 |  0.000 % |
1842.97/1843.61	c |    804771 |  263670  5951176 18559697 | 2147483647   804771    105 |  0.000 % |
1843.46/1844.17	c |    804931 |  263670  5951176 18559697 | 2147483647   804931    105 |  0.000 % |
1844.16/1844.84	c |    805107 |  263670  5951176 18559697 | 2147483647   805107    105 |  0.000 % |
1844.76/1845.46	c |    805303 |  263670  5951176 18559697 | 2147483647   805303    105 |  0.000 % |
1845.56/1846.26	c |    805516 |  263670  5951176 18559697 | 2147483647   805516    105 |  0.000 % |
1846.67/1847.30	c |    805749 |  263670  5951176 18559697 | 2147483647   805749    105 |  0.000 % |
1847.47/1848.19	c |    806008 |  263670  5951176 18559697 | 2147483647   806008    105 |  0.000 % |
1848.67/1849.39	c |    806290 |  263670  5951176 18559697 | 2147483647   806290    105 |  0.000 % |
1849.97/1850.68	c |    806599 |  263670  5951176 18559697 | 2147483647   806599    105 |  0.000 % |
1851.47/1852.11	c |    806939 |  263670  5951176 18559697 | 2147483647   806939    105 |  0.000 % |
1853.06/1853.70	c |    807311 |  263670  5951176 18559697 | 2147483647   807311    105 |  0.000 % |
1854.46/1855.16	c |    807720 |  263670  5951176 18559697 | 2147483647   807720    105 |  0.000 % |
1856.66/1857.36	c |    808169 |  263670  5951176 18559697 | 2147483647   808169    105 |  0.000 % |
1858.27/1858.96	c |    808662 |  263670  5951176 18559697 | 2147483647   808662    105 |  0.000 % |
1859.76/1860.50	c |    809205 |  263670  5951176 18559697 | 2147483647   809205    105 |  0.000 % |
1862.16/1862.83	c |    809802 |  263670  5951176 18559697 | 2147483647   809802    105 |  0.000 % |
1863.96/1864.61	c |    810457 |  263670  5951176 18559697 | 2147483647   810457    105 |  0.000 % |
1866.07/1866.78	c |    811177 |  263670  5951176 18559697 | 2147483647   811177    105 |  0.000 % |
1868.96/1869.64	c |    811969 |  263670  5951176 18559697 | 2147483647   811969    105 |  0.000 % |
1870.76/1871.42	c |    812842 |  263670  5951176 18559697 | 2147483647   812842    105 |  0.000 % |
1872.85/1873.52	c |    813800 |  263670  5951176 18559697 | 2147483647   813800    105 |  0.000 % |
1875.06/1875.78	c |    814854 |  263670  5951176 18559697 | 2147483647   814854    106 |  0.000 % |
1878.76/1879.41	c |    816012 |  263670  5951176 18559697 | 2147483647   816012    106 |  0.000 % |
1882.65/1883.39	c |    817287 |  263670  5951176 18559697 | 2147483647   817287    106 |  0.000 % |
1887.56/1888.20	c |    818688 |  263670  5951176 18559697 | 2147483647   818688    106 |  0.000 % |
1890.55/1891.20	c |    820228 |  263670  5951176 18559697 | 2147483647   820228    107 |  0.000 % |
1893.45/1894.19	c |    821923 |  263670  5951176 18559697 | 2147483647   821923    107 |  0.000 % |
1896.95/1897.66	c |    823790 |  263670  5951176 18559697 | 2147483647   823790    107 |  0.000 % |
1902.65/1903.35	c |    825839 |  263670  5951176 18559697 | 2147483647   825839    107 |  0.000 % |
1906.76/1907.48	c |    828092 |  263670  5951176 18559697 | 2147483647   828092    107 |  0.000 % |
1912.34/1913.06	c |    830570 |  263670  5951176 18559697 | 2147483647   830570    108 |  0.000 % |
1920.05/1920.72	c |    833295 |  263670  5951176 18559697 | 2147483647   833295    109 |  0.000 % |
1927.25/1927.91	c |    836292 |  263670  5951176 18559697 | 2147483647   836292    109 |  0.000 % |
1934.54/1935.28	c |    839589 |  263670  5951176 18559697 | 2147483647   839589    109 |  0.000 % |
1943.84/1944.53	c |    843215 |  263670  5951176 18559697 | 2147483647   843215    110 |  0.000 % |
1950.33/1951.04	c |    847203 |  263670  5951176 18559697 | 2147483647   847203    111 |  0.000 % |
1955.04/1955.77	c |    851590 |  263670  5951176 18559697 | 2147483647   851590    111 |  0.000 % |
1966.63/1967.32	c |    856413 |  263670  5951176 18559697 | 2147483647   856413    112 |  0.000 % |
1975.94/1976.67	c |    861718 |  263670  5951176 18559697 | 2147483647   861718    112 |  0.000 % |
1990.03/1990.77	c |    867553 |  263670  5951176 18559697 | 2147483647   867553    113 |  0.000 % |
2002.22/2002.97	c |    873971 |  263670  5951176 18559697 | 2147483647   873971    115 |  0.000 % |
2019.72/2020.42	c |    881030 |  263670  5951176 18559697 | 2147483647   881030    115 |  0.000 % |
2033.01/2033.75	c |    888794 |  263670  5951176 18559697 | 2147483647   888794    116 |  0.000 % |
2033.71/2034.40	c |    888894 |  263670  5951176 18559697 | 2147483647   888894    116 |  0.000 % |
2034.71/2035.42	c |    889006 |  263670  5951176 18559697 | 2147483647   889006    116 |  0.000 % |
2035.42/2036.12	c |    889127 |  263670  5951176 18559697 | 2147483647   889127    116 |  0.000 % |
2035.71/2036.48	c |    889262 |  263670  5951176 18559697 | 2147483647   889262    116 |  0.000 % |
2036.91/2037.62	c |    889408 |  263670  5951176 18559697 | 2147483647   889408    116 |  0.000 % |
2038.21/2038.95	c |    889569 |  263670  5951176 18559697 | 2147483647   889569    116 |  0.000 % |
2039.31/2040.05	c |    889745 |  263670  5951176 18559697 | 2147483647   889745    116 |  0.000 % |
2040.71/2041.44	c |    889938 |  263670  5951176 18559697 | 2147483647   889938    115 |  0.000 % |
2042.31/2043.06	c |    890151 |  263670  5951176 18559697 | 2147483647   890151    115 |  0.000 % |
2043.11/2043.85	c |    890385 |  263670  5951176 18559697 | 2147483647   890385    116 |  0.000 % |
2044.12/2044.85	c |    890641 |  263670  5951176 18559697 | 2147483647   890641    116 |  0.000 % |
2045.11/2045.90	c |    890923 |  263670  5951176 18559697 | 2147483647   890923    116 |  0.000 % |
2046.32/2047.03	c |    891233 |  263670  5951176 18559697 | 2147483647   891233    116 |  0.000 % |
2047.42/2048.15	c |    891572 |  263670  5951176 18559697 | 2147483647   891572    116 |  0.000 % |
2049.31/2050.08	c |    891944 |  263670  5951176 18559697 | 2147483647   891944    116 |  0.000 % |
2050.41/2051.14	c |    892355 |  263670  5951176 18559697 | 2147483647   892355    116 |  0.000 % |
2052.11/2052.80	c |    892804 |  263670  5951176 18559697 | 2147483647   892804    116 |  0.000 % |
2054.11/2054.82	c |    893298 |  263670  5951176 18559697 | 2147483647   893298    116 |  0.000 % |
2055.11/2055.86	c |    893840 |  263670  5951176 18559697 | 2147483647   893840    116 |  0.000 % |
2056.90/2057.60	c |    894438 |  263670  5951176 18559697 | 2147483647   894438    116 |  0.000 % |
2058.80/2059.56	c |    895093 |  263670  5951176 18559697 | 2147483647   895093    116 |  0.000 % |
2061.81/2062.57	c |    895814 |  263670  5951176 18559697 | 2147483647   895814    116 |  0.000 % |
2064.70/2065.40	c |    896609 |  263670  5951176 18559697 | 2147483647   896609    116 |  0.000 % |
2067.00/2067.71	c |    897481 |  263670  5951176 18559697 | 2147483647   897481    116 |  0.000 % |
2070.40/2071.14	c |    898439 |  263670  5951176 18559697 | 2147483647   898439    116 |  0.000 % |
2073.00/2073.73	c |    899495 |  263670  5951176 18559697 | 2147483647   899495    116 |  0.000 % |
2076.30/2077.09	c |    900655 |  263670  5951176 18559697 | 2147483647   900655    116 |  0.000 % |
2079.19/2079.98	c |    901930 |  263670  5951176 18559697 | 2147483647   901930    116 |  0.000 % |
2083.90/2084.66	c |    903331 |  263670  5951176 18559697 | 2147483647   903331    116 |  0.000 % |
2087.70/2088.40	c |    904872 |  263670  5951176 18559697 | 2147483647   904872    116 |  0.000 % |
2091.09/2091.87	c |    906568 |  263670  5951176 18559697 | 2147483647   906568    116 |  0.000 % |
2098.99/2099.72	c |    908431 |  263670  5951176 18559697 | 2147483647   908431    116 |  0.000 % |
2103.79/2104.55	c |    910483 |  263670  5951176 18559697 | 2147483647   910483    116 |  0.000 % |
2109.89/2110.62	c |    912736 |  263670  5951176 18559697 | 2147483647   912736    116 |  0.000 % |
2116.19/2116.92	c |    915214 |  263670  5951176 18559697 | 2147483647   915214    116 |  0.000 % |
2119.49/2120.28	c |    917940 |  263670  5951176 18559697 | 2147483647   917940    116 |  0.000 % |
2123.78/2124.51	c |    920937 |  263670  5951176 18559697 | 2147483647   920937    116 |  0.000 % |
2126.48/2127.28	c |    924235 |  263670  5951176 18559697 | 2147483647   924235    116 |  0.000 % |
2132.48/2133.20	c |    927862 |  263670  5951176 18559697 | 2147483647   927862    117 |  0.000 % |
2143.08/2143.85	c |    931850 |  263670  5951176 18559697 | 2147483647   931850    117 |  0.000 % |
2152.28/2153.05	c |    936236 |  263670  5951176 18559697 | 2147483647   936236    117 |  0.000 % |
2159.58/2160.34	c |    941060 |  263670  5951176 18559697 | 2147483647   941060    117 |  0.000 % |
2170.68/2171.40	c |    946365 |  263670  5951176 18559697 | 2147483647   946365    119 |  0.000 % |
2182.57/2183.30	c |    952200 |  263670  5951176 18559697 | 2147483647   952200    120 |  0.000 % |
2198.17/2198.95	c |    958618 |  263670  5951176 18559697 | 2147483647   958618    121 |  0.000 % |
2213.66/2214.48	c |    965678 |  263670  5951176 18559697 | 2147483647   965678    122 |  0.000 % |
2226.76/2227.54	c |    973442 |  263670  5951176 18559697 | 2147483647   973442    122 |  0.000 % |
2238.55/2239.39	c |    981983 |  263670  5951176 18559697 | 2147483647   981983    122 |  0.000 % |
2239.35/2240.15	c |    982084 |  263670  5951176 18559697 | 2147483647   982084    122 |  0.000 % |
2240.16/2240.98	c |    982195 |  263670  5951176 18559697 | 2147483647   982195    122 |  0.000 % |
2240.86/2241.70	c |    982316 |  263670  5951176 18559697 | 2147483647   982316    122 |  0.000 % |
2241.96/2242.71	c |    982449 |  263670  5951176 18559697 | 2147483647   982449    122 |  0.000 % |
2242.56/2243.37	c |    982595 |  263670  5951176 18559697 | 2147483647   982595    122 |  0.000 % |
2243.85/2244.65	c |    982755 |  263670  5951176 18559697 | 2147483647   982755    122 |  0.000 % |
2245.05/2245.84	c |    982931 |  263670  5951176 18559697 | 2147483647   982931    122 |  0.000 % |
2246.35/2247.20	c |    983124 |  263670  5951176 18559697 | 2147483647   983124    122 |  0.000 % |
2247.35/2248.16	c |    983337 |  263670  5951176 18559697 | 2147483647   983337    122 |  0.000 % |
2248.55/2249.32	c |    983571 |  263670  5951176 18559697 | 2147483647   983571    122 |  0.000 % |
2249.55/2250.37	c |    983830 |  263670  5951176 18559697 | 2147483647   983830    122 |  0.000 % |
2250.25/2251.04	c |    984112 |  263670  5951176 18559697 | 2147483647   984112    122 |  0.000 % |
2251.05/2251.87	c |    984421 |  263670  5951176 18559697 | 2147483647   984421    122 |  0.000 % |
2252.15/2252.94	c |    984761 |  263670  5951176 18559697 | 2147483647   984761    122 |  0.000 % |
2254.05/2254.88	c |    985133 |  263670  5951176 18559697 | 2147483647   985133    122 |  0.000 % |
2256.05/2256.81	c |    985545 |  263670  5951176 18559697 | 2147483647   985545    122 |  0.000 % |
2258.25/2259.09	c |    985994 |  263670  5951176 18559697 | 2147483647   985994    122 |  0.000 % |
2260.25/2261.03	c |    986488 |  263670  5951176 18559697 | 2147483647   986488    122 |  0.000 % |
2262.95/2263.74	c |    987030 |  263670  5951176 18559697 | 2147483647   987030    122 |  0.000 % |
2264.84/2265.64	c |    987626 |  263670  5951176 18559697 | 2147483647   987626    122 |  0.000 % |
2266.64/2267.40	c |    988281 |  263670  5951176 18559697 | 2147483647   988281    122 |  0.000 % |
2268.95/2269.73	c |    989005 |  263670  5951176 18559697 | 2147483647   989005    122 |  0.000 % |
2272.05/2272.82	c |    989797 |  263670  5951176 18559697 | 2147483647   989797    122 |  0.000 % |
2274.94/2275.79	c |    990671 |  263670  5951176 18559697 | 2147483647   990671    123 |  0.000 % |
2277.74/2278.56	c |    991634 |  263670  5951176 18559697 | 2147483647   991634    123 |  0.000 % |
2283.04/2283.86	c |    992689 |  263670  5951176 18559697 | 2147483647   992689    123 |  0.000 % |
2286.54/2287.33	c |    993849 |  263670  5951176 18559697 | 2147483647   993849    123 |  0.000 % |
2290.44/2291.24	c |    995122 |  263670  5951176 18559697 | 2147483647   995122    123 |  0.000 % |
2292.64/2293.47	c |    996522 |  263670  5951176 18559697 | 2147483647   996522    123 |  0.000 % |
2296.43/2297.26	c |    998064 |  263670  5951176 18559697 | 2147483647   998064    123 |  0.000 % |
2301.44/2302.30	c |    999760 |  263670  5951176 18559697 | 2147483647   999760    123 |  0.000 % |
2306.63/2307.45	c |   1001623 |  263670  5951176 18559697 | 2147483647  1001623    123 |  0.000 % |
2313.43/2314.25	c |   1003672 |  263670  5951176 18559697 | 2147483647  1003672    123 |  0.000 % |
2320.33/2321.14	c |   1005925 |  263670  5951176 18559697 | 2147483647  1005925    123 |  0.000 % |
2329.22/2330.09	c |   1008403 |  263670  5951176 18559697 | 2147483647  1008403    122 |  0.000 % |
2336.03/2336.87	c |   1011129 |  263670  5951176 18559697 | 2147483647  1011129    123 |  0.000 % |
2342.62/2343.41	c |   1014126 |  263670  5951176 18559697 | 2147483647  1014126    123 |  0.000 % |
2351.72/2352.56	c |   1017422 |  263670  5951176 18559697 | 2147483647  1017422    123 |  0.000 % |
2360.93/2361.71	c |   1021047 |  263670  5951176 18559697 | 2147483647  1021047    123 |  0.000 % |
2371.92/2372.78	c |   1025034 |  263670  5951176 18559697 | 2147483647  1025034    124 |  0.000 % |
2382.91/2383.77	c |   1029419 |  263670  5951176 18559697 | 2147483647  1029419    125 |  0.000 % |
2393.91/2394.75	c |   1034242 |  263670  5951176 18559697 | 2147483647  1034242    124 |  0.000 % |
2409.70/2410.55	c |   1039547 |  263670  5951176 18559697 | 2147483647  1039547    125 |  0.000 % |
2424.80/2425.69	c |   1045382 |  263670  5951176 18559697 | 2147483647  1045382    125 |  0.000 % |
2442.50/2443.35	c |   1051800 |  263670  5951176 18559697 | 2147483647  1051800    125 |  0.000 % |
2457.69/2458.56	c |   1058861 |  263670  5951176 18559697 | 2147483647  1058861    124 |  0.000 % |
2474.99/2475.88	c |   1066625 |  263670  5951176 18559697 | 2147483647  1066625    125 |  0.000 % |
2490.28/2491.14	c |   1075169 |  263670  5951176 18559697 | 2147483647  1075169    125 |  0.000 % |
2512.58/2513.50	c |   1084563 |  263670  5951176 18559697 | 2147483647  1084563    126 |  0.000 % |
2513.38/2514.29	c |   1084663 |  263670  5951176 18559697 | 2147483647  1084663    126 |  0.000 % |
2514.48/2515.38	c |   1084774 |  263670  5951176 18559697 | 2147483647  1084774    126 |  0.000 % |
2515.38/2516.28	c |   1084895 |  263670  5951176 18559697 | 2147483647  1084895    126 |  0.000 % |
2516.58/2517.47	c |   1085029 |  263670  5951176 18559697 | 2147483647  1085029    126 |  0.000 % |
2517.78/2518.61	c |   1085175 |  263670  5951176 18559697 | 2147483647  1085175    126 |  0.000 % |
2518.78/2519.63	c |   1085335 |  263670  5951176 18559697 | 2147483647  1085335    126 |  0.000 % |
2519.58/2520.45	c |   1085512 |  263670  5951176 18559697 | 2147483647  1085512    126 |  0.000 % |
2520.48/2521.31	c |   1085705 |  263670  5951176 18559697 | 2147483647  1085705    126 |  0.000 % |
2521.48/2522.32	c |   1085917 |  263670  5951176 18559697 | 2147483647  1085917    126 |  0.000 % |
2522.58/2523.43	c |   1086151 |  263670  5951176 18559697 | 2147483647  1086151    126 |  0.000 % |
2523.68/2524.58	c |   1086407 |  263670  5951176 18559697 | 2147483647  1086407    126 |  0.000 % |
2524.87/2525.72	c |   1086688 |  263670  5951176 18559697 | 2147483647  1086688    126 |  0.000 % |
2525.97/2526.89	c |   1086998 |  263670  5951176 18559697 | 2147483647  1086998    126 |  0.000 % |
2527.37/2528.21	c |   1087340 |  263670  5951176 18559697 | 2147483647  1087340    126 |  0.000 % |
2528.87/2529.76	c |   1087712 |  263670  5951176 18559697 | 2147483647  1087712    126 |  0.000 % |
2530.67/2531.50	c |   1088121 |  263670  5951176 18559697 | 2147483647  1088121    126 |  0.000 % |
2532.37/2533.24	c |   1088570 |  263670  5951176 18559697 | 2147483647  1088570    126 |  0.000 % |
2535.17/2536.00	c |   1089063 |  263670  5951176 18559697 | 2147483647  1089063    126 |  0.000 % |
2538.17/2539.06	c |   1089605 |  263670  5951176 18559697 | 2147483647  1089605    126 |  0.000 % |
2541.17/2542.09	c |   1090202 |  263670  5951176 18559697 | 2147483647  1090202    126 |  0.000 % |
2542.96/2543.86	c |   1090857 |  263670  5951176 18559697 | 2147483647  1090857    126 |  0.000 % |
2544.66/2545.58	c |   1091578 |  263670  5951176 18559697 | 2147483647  1091578    126 |  0.000 % |
2547.97/2548.85	c |   1092370 |  263670  5951176 18559697 | 2147483647  1092370    126 |  0.000 % |
2552.27/2553.14	c |   1093242 |  263670  5951176 18559697 | 2147483647  1093242    126 |  0.000 % |
2556.16/2557.03	c |   1094200 |  263670  5951176 18559697 | 2147483647  1094200    126 |  0.000 % |
2559.06/2559.94	c |   1095257 |  263670  5951176 18559697 | 2147483647  1095257    126 |  0.000 % |
2561.76/2562.62	c |   1096415 |  263670  5951176 18559697 | 2147483647  1096415    126 |  0.000 % |
2566.25/2567.17	c |   1097688 |  263670  5951176 18559697 | 2147483647  1097688    126 |  0.000 % |
2569.46/2570.33	c |   1099088 |  263670  5951176 18559697 | 2147483647  1099088    126 |  0.000 % |
2575.46/2576.36	c |   1100629 |  263670  5951176 18559697 | 2147483647  1100629    126 |  0.000 % |
2578.85/2579.76	c |   1102323 |  263670  5951176 18559697 | 2147483647  1102323    126 |  0.000 % |
2582.95/2583.89	c |   1104187 |  263670  5951176 18559697 | 2147483647  1104187    126 |  0.000 % |
2587.25/2588.20	c |   1106236 |  263670  5951176 18559697 | 2147483647  1106236    126 |  0.000 % |
2593.15/2594.02	c |   1108489 |  263670  5951176 18559697 | 2147483647  1108489    126 |  0.000 % |
2597.95/2598.83	c |   1110968 |  263670  5951176 18559697 | 2147483647  1110968    126 |  0.000 % |
2604.65/2605.52	c |   1113694 |  263670  5951176 18559697 | 2147483647  1113694    126 |  0.000 % |
2612.35/2613.28	c |   1116691 |  263670  5951176 18559697 | 2147483647  1116691    126 |  0.000 % |
2622.94/2623.81	c |   1119991 |  263670  5951176 18559697 | 2147483647  1119991    126 |  0.000 % |
2630.84/2631.74	c |   1123616 |  263670  5951176 18559697 | 2147483647  1123616    126 |  0.000 % |
2640.83/2641.73	c |   1127605 |  263670  5951176 18559697 | 2147483647  1127605    126 |  0.000 % |
2655.53/2656.41	c |   1131991 |  263670  5951176 18559697 | 2147483647  1131991    126 |  0.000 % |
2668.63/2669.60	c |   1136814 |  263670  5951176 18559697 | 2147483647  1136814    126 |  0.000 % |
2685.12/2686.05	c |   1142119 |  263670  5951176 18559697 | 2147483647  1142119    126 |  0.000 % |
2706.02/2706.92	c |   1147954 |  263670  5951176 18559697 | 2147483647  1147954    126 |  0.000 % |
2725.02/2725.93	c |   1154372 |  263670  5951176 18559697 | 2147483647  1154372    126 |  0.000 % |
2743.01/2743.94	c |   1161431 |  263670  5951176 18559697 | 2147483647  1161431    126 |  0.000 % |
2760.40/2761.33	c |   1169197 |  263670  5951176 18559697 | 2147483647  1169197    126 |  0.000 % |
2777.80/2778.78	c |   1177738 |  263670  5951176 18559697 | 2147483647  1177738    126 |  0.000 % |
2797.89/2798.88	c |   1187133 |  263670  5951176 18559697 | 2147483647  1187133    127 |  0.000 % |
2824.48/2825.46	c |   1197468 |  263670  5951176 18559697 | 2147483647  1197468    127 |  0.000 % |
2824.89/2825.88	c |   1197568 |  263670  5951176 18559697 | 2147483647  1197568    127 |  0.000 % |
2825.58/2826.53	c |   1197679 |  263670  5951176 18559697 | 2147483647  1197679    127 |  0.000 % |
2826.38/2827.32	c |   1197802 |  263670  5951176 18559697 | 2147483647  1197802    127 |  0.000 % |
2826.98/2827.97	c |   1197938 |  263670  5951176 18559697 | 2147483647  1197938    127 |  0.000 % |
2827.48/2828.47	c |   1198084 |  263670  5951176 18559697 | 2147483647  1198084    127 |  0.000 % |
2828.99/2829.99	c |   1198244 |  263670  5951176 18559697 | 2147483647  1198244    127 |  0.000 % |
2830.59/2831.54	c |   1198425 |  263670  5951176 18559697 | 2147483647  1198425    127 |  0.000 % |
2831.39/2832.33	c |   1198618 |  263670  5951176 18559697 | 2147483647  1198618    127 |  0.000 % |
2832.19/2833.13	c |   1198832 |  263670  5951176 18559697 | 2147483647  1198832    127 |  0.000 % |
2833.49/2834.42	c |   1199066 |  263670  5951176 18559697 | 2147483647  1199066    127 |  0.000 % |
2834.89/2835.85	c |   1199322 |  263670  5951176 18559697 | 2147483647  1199322    127 |  0.000 % |
2836.08/2837.08	c |   1199605 |  263670  5951176 18559697 | 2147483647  1199605    127 |  0.000 % |
2837.48/2838.46	c |   1199914 |  263670  5951176 18559697 | 2147483647  1199914    127 |  0.000 % |
2838.88/2839.82	c |   1200253 |  263670  5951176 18559697 | 2147483647  1200253    127 |  0.000 % |
2839.98/2840.91	c |   1200625 |  263670  5951176 18559697 | 2147483647  1200625    127 |  0.000 % |
2841.28/2842.21	c |   1201034 |  263670  5951176 18559697 | 2147483647  1201034    127 |  0.000 % |
2843.08/2844.06	c |   1201484 |  263670  5951176 18559697 | 2147483647  1201484    127 |  0.000 % |
2845.17/2846.10	c |   1201977 |  263670  5951176 18559697 | 2147483647  1201977    127 |  0.000 % |
2847.17/2848.10	c |   1202521 |  263670  5951176 18559697 | 2147483647  1202521    127 |  0.000 % |
2849.58/2850.51	c |   1203117 |  263670  5951176 18559697 | 2147483647  1203117    127 |  0.000 % |
2851.38/2852.38	c |   1203777 |  263670  5951176 18559697 | 2147483647  1203777    127 |  0.000 % |
2854.48/2855.44	c |   1204497 |  263670  5951176 18559697 | 2147483647  1204497    127 |  0.000 % |
2857.68/2858.63	c |   1205292 |  263670  5951176 18559697 | 2147483647  1205292    127 |  0.000 % |
2861.08/2862.02	c |   1206163 |  263670  5951176 18559697 | 2147483647  1206163    127 |  0.000 % |
2865.07/2866.00	c |   1207122 |  263670  5951176 18559697 | 2147483647  1207122    127 |  0.000 % |
2867.67/2868.64	c |   1208175 |  263670  5951176 18559697 | 2147483647  1208175    127 |  0.000 % |
2871.97/2872.96	c |   1209334 |  263670  5951176 18559697 | 2147483647  1209334    127 |  0.000 % |
2875.37/2876.39	c |   1210607 |  263670  5951176 18559697 | 2147483647  1210607    128 |  0.000 % |
2880.36/2881.35	c |   1212009 |  263670  5951176 18559697 | 2147483647  1212009    128 |  0.000 % |
2885.47/2886.46	c |   1213550 |  263670  5951176 18559697 | 2147483647  1213550    128 |  0.000 % |
2891.87/2892.88	c |   1215247 |  263670  5951176 18559697 | 2147483647  1215247    128 |  0.000 % |
2897.56/2898.55	c |   1217110 |  263670  5951176 18559697 | 2147483647  1217110    128 |  0.000 % |
2904.46/2905.50	c |   1219159 |  263670  5951176 18559697 | 2147483647  1219159    128 |  0.000 % |
2910.46/2911.44	c |   1221412 |  263670  5951176 18559697 | 2147483647  1221412    128 |  0.000 % |
2917.36/2918.37	c |   1223890 |  263670  5951176 18559697 | 2147483647  1223890    129 |  0.000 % |
2924.16/2925.16	c |   1226615 |  263670  5951176 18559697 | 2147483647  1226615    129 |  0.000 % |
2930.75/2931.76	c |   1229612 |  263670  5951176 18559697 | 2147483647  1229612    129 |  0.000 % |
2938.75/2939.73	c |   1232909 |  263670  5951176 18559697 | 2147483647  1232909    129 |  0.000 % |
2950.65/2951.66	c |   1236534 |  263670  5951176 18559697 | 2147483647  1236534    129 |  0.000 % |
2965.14/2966.17	c |   1240521 |  263670  5951176 18559697 | 2147483647  1240521    129 |  0.000 % |
2979.14/2980.16	c |   1244906 |  263670  5951176 18559697 | 2147483647  1244906    129 |  0.000 % |
2993.43/2994.45	c |   1249730 |  263670  5951176 18559697 | 2147483647  1249730    130 |  0.000 % |
3010.53/3011.58	c |   1255035 |  263670  5951176 18559697 | 2147483647  1255035    130 |  0.000 % |
3028.52/3029.53	c |   1260870 |  263670  5951176 18559697 | 2147483647  1260870    131 |  0.000 % |
3047.42/3048.40	c |   1267288 |  263670  5951176 18559697 | 2147483647  1267288    131 |  0.000 % |
3062.72/3063.73	c |   1274347 |  263670  5951176 18559697 | 2147483647  1274347    131 |  0.000 % |
3084.32/3085.39	c |   1282111 |  263670  5951176 18559697 | 2147483647  1282111    131 |  0.000 % |
3109.61/3110.67	c |   1290652 |  263670  5951176 18559697 | 2147483647  1290652    131 |  0.000 % |
3137.59/3138.69	c |   1300046 |  263670  5951176 18559697 | 2147483647  1300046    131 |  0.000 % |
3163.09/3164.18	c |   1310380 |  263670  5951176 18559697 | 2147483647  1310380    131 |  0.000 % |
3181.79/3182.83	c |   1321748 |  263670  5951176 18559697 | 2147483647  1321748    131 |  0.000 % |
3182.29/3183.34	c |   1321848 |  263670  5951176 18559697 | 2147483647  1321848    131 |  0.000 % |
3182.98/3184.05	c |   1321965 |  263670  5951176 18559697 | 2147483647  1321965    131 |  0.000 % |
3183.59/3184.62	c |   1322086 |  263670  5951176 18559697 | 2147483647  1322086    131 |  0.000 % |
3184.78/3185.80	c |   1322219 |  263670  5951176 18559697 | 2147483647  1322219    131 |  0.000 % |
3185.48/3186.55	c |   1322366 |  263670  5951176 18559697 | 2147483647  1322366    131 |  0.000 % |
3186.08/3187.18	c |   1322526 |  263670  5951176 18559697 | 2147483647  1322526    131 |  0.000 % |
3187.28/3188.39	c |   1322702 |  263670  5951176 18559697 | 2147483647  1322702    131 |  0.000 % |
3188.08/3189.17	c |   1322896 |  263670  5951176 18559697 | 2147483647  1322896    131 |  0.000 % |
3188.89/3189.93	c |   1323108 |  263670  5951176 18559697 | 2147483647  1323108    131 |  0.000 % |
3189.68/3190.74	c |   1323341 |  263670  5951176 18559697 | 2147483647  1323341    131 |  0.000 % |
3190.58/3191.70	c |   1323597 |  263670  5951176 18559697 | 2147483647  1323597    131 |  0.000 % |
3192.58/3193.67	c |   1323878 |  263670  5951176 18559697 | 2147483647  1323878    131 |  0.000 % |
3194.48/3195.51	c |   1324188 |  263670  5951176 18559697 | 2147483647  1324188    131 |  0.000 % |
3196.17/3197.23	c |   1324527 |  263670  5951176 18559697 | 2147483647  1324527    131 |  0.000 % |
3198.38/3199.46	c |   1324900 |  263670  5951176 18559697 | 2147483647  1324900    131 |  0.000 % |
3200.08/3201.11	c |   1325309 |  263670  5951176 18559697 | 2147483647  1325309    131 |  0.000 % |
3201.78/3202.86	c |   1325758 |  263670  5951176 18559697 | 2147483647  1325758    131 |  0.000 % |
3203.28/3204.33	c |   1326254 |  263670  5951176 18559697 | 2147483647  1326254    131 |  0.000 % |
3205.28/3206.32	c |   1326797 |  263670  5951176 18559697 | 2147483647  1326797    131 |  0.000 % |
3207.48/3208.59	c |   1327394 |  263670  5951176 18559697 | 2147483647  1327394    131 |  0.000 % |
3209.37/3210.40	c |   1328049 |  263670  5951176 18559697 | 2147483647  1328049    131 |  0.000 % |
3211.67/3212.74	c |   1328769 |  263670  5951176 18559697 | 2147483647  1328769    131 |  0.000 % |
3214.37/3215.44	c |   1329561 |  263670  5951176 18559697 | 2147483647  1329561    131 |  0.000 % |
3217.07/3218.16	c |   1330432 |  263670  5951176 18559697 | 2147483647  1330432    131 |  0.000 % |
3220.67/3221.76	c |   1331392 |  263670  5951176 18559697 | 2147483647  1331392    131 |  0.000 % |
3223.67/3224.74	c |   1332445 |  263670  5951176 18559697 | 2147483647  1332445    131 |  0.000 % |
3227.27/3228.30	c |   1333603 |  263670  5951176 18559697 | 2147483647  1333603    131 |  0.000 % |
3231.77/3232.88	c |   1334877 |  263670  5951176 18559697 | 2147483647  1334877    131 |  0.000 % |
3237.27/3238.36	c |   1336277 |  263670  5951176 18559697 | 2147483647  1336277    131 |  0.000 % |
3241.47/3242.50	c |   1337818 |  263670  5951176 18559697 | 2147483647  1337818    131 |  0.000 % |
3245.97/3247.08	c |   1339513 |  263670  5951176 18559697 | 2147483647  1339513    131 |  0.000 % |
3253.36/3254.44	c |   1341377 |  263670  5951176 18559697 | 2147483647  1341377    131 |  0.000 % |
3258.96/3260.09	c |   1343426 |  263670  5951176 18559697 | 2147483647  1343426    131 |  0.000 % |
3267.76/3268.80	c |   1345680 |  263670  5951176 18559697 | 2147483647  1345680    131 |  0.000 % |
3278.15/3279.27	c |   1348158 |  263670  5951176 18559697 | 2147483647  1348158    131 |  0.000 % |
3288.65/3289.74	c |   1350885 |  263670  5951176 18559697 | 2147483647  1350885    131 |  0.000 % |
3297.95/3299.00	c |   1353882 |  263670  5951176 18559697 | 2147483647  1353882    131 |  0.000 % |
3311.14/3312.22	c |   1357180 |  263670  5951176 18559697 | 2147483647  1357180    131 |  0.000 % |
3320.35/3321.43	c |   1360805 |  263670  5951176 18559697 | 2147483647  1360805    131 |  0.000 % |
3330.64/3331.74	c |   1364793 |  263670  5951176 18559697 | 2147483647  1364793    132 |  0.000 % |
3340.24/3341.35	c |   1369180 |  263670  5951176 18559697 | 2147483647  1369180    132 |  0.000 % |
3355.04/3356.10	c |   1374003 |  263670  5951176 18559697 | 2147483647  1374003    132 |  0.000 % |
3370.63/3371.70	c |   1379308 |  263670  5951176 18559697 | 2147483647  1379308    132 |  0.000 % |
3390.53/3391.67	c |   1385143 |  263670  5951176 18559697 | 2147483647  1385143    132 |  0.000 % |
3410.02/3411.19	c |   1391561 |  263670  5951176 18559697 | 2147483647  1391561    132 |  0.000 % |
3438.91/3440.07	c |   1398622 |  263670  5951176 18559697 | 2147483647  1398622    134 |  0.000 % |
3461.71/3462.83	c |   1406388 |  263670  5951176 18559697 | 2147483647  1406388    133 |  0.000 % |
3480.20/3481.35	c |   1414928 |  263670  5951176 18559697 | 2147483647  1414928    134 |  0.000 % |
3500.99/3502.17	c |   1424323 |  263670  5951176 18559697 | 2147483647  1424323    135 |  0.000 % |
3534.18/3535.35	c |   1434656 |  263670  5951176 18559697 | 2147483647  1434656    136 |  0.000 % |
3568.98/3570.15	c |   1446026 |  263670  5951176 18559697 | 2147483647  1446026    137 |  0.000 % |
3598.87/3600.02	c |   1458529 |  263670  5951176 18559697 | 2147483647  1458529    139 |  0.000 % |
3602.17/3603.30	c |   1458629 |  263670  5951176 18559697 | 2147483647  1458629    139 |  0.000 % |
3603.57/3604.72	c |   1458741 |  263670  5951176 18559697 | 2147483647  1458741    139 |  0.000 % |
3604.67/3605.82	c |   1458862 |  263670  5951176 18559697 | 2147483647  1458862    139 |  0.000 % |
3605.67/3606.81	c |   1458995 |  263670  5951176 18559697 | 2147483647  1458995    139 |  0.000 % |
3606.77/3607.97	c |   1459142 |  263670  5951176 18559697 | 2147483647  1459142    139 |  0.000 % |
3607.76/3608.97	c |   1459302 |  263670  5951176 18559697 | 2147483647  1459302    139 |  0.000 % |
3608.86/3610.02	c |   1459479 |  263670  5951176 18559697 | 2147483647  1459479    139 |  0.000 % |
3610.07/3611.27	c |   1459676 |  263670  5951176 18559697 | 2147483647  1459676    139 |  0.000 % |
3611.06/3612.30	c |   1459888 |  263670  5951176 18559697 | 2147483647  1459888    139 |  0.000 % |
3611.96/3613.12	c |   1460121 |  263670  5951176 18559697 | 2147483647  1460121    139 |  0.000 % |
3613.86/3615.00	c |   1460378 |  263670  5951176 18559697 | 2147483647  1460378    139 |  0.000 % |
3614.76/3615.93	c |   1460659 |  263670  5951176 18559697 | 2147483647  1460659    139 |  0.000 % |
3616.66/3617.80	c |   1460968 |  263670  5951176 18559697 | 2147483647  1460968    139 |  0.000 % |
3619.46/3620.60	c |   1461307 |  263670  5951176 18559697 | 2147483647  1461307    139 |  0.000 % |
3621.46/3622.63	c |   1461679 |  263670  5951176 18559697 | 2147483647  1461679    139 |  0.000 % |
3622.66/3623.88	c |   1462089 |  263670  5951176 18559697 | 2147483647  1462089    139 |  0.000 % |
3625.26/3626.42	c |   1462538 |  263670  5951176 18559697 | 2147483647  1462538    139 |  0.000 % |
3629.36/3630.60	c |   1463031 |  263670  5951176 18559697 | 2147483647  1463031    139 |  0.000 % |
3631.76/3632.95	c |   1463573 |  263670  5951176 18559697 | 2147483647  1463573    139 |  0.000 % |
3633.36/3634.52	c |   1464169 |  263670  5951176 18559697 | 2147483647  1464169    139 |  0.000 % |
3635.76/3636.91	c |   1464824 |  263670  5951176 18559697 | 2147483647  1464824    139 |  0.000 % |
3637.95/3639.19	c |   1465544 |  263670  5951176 18559697 | 2147483647  1465544    139 |  0.000 % |
3641.15/3642.33	c |   1466337 |  263670  5951176 18559697 | 2147483647  1466337    139 |  0.000 % |
3643.55/3644.72	c |   1467208 |  263670  5951176 18559697 | 2147483647  1467208    139 |  0.000 % |
3647.76/3648.97	c |   1468169 |  263670  5951176 18559697 | 2147483647  1468169    139 |  0.000 % |
3653.25/3654.47	c |   1469222 |  263670  5951176 18559697 | 2147483647  1469222    139 |  0.000 % |
3658.65/3659.84	c |   1470381 |  263670  5951176 18559697 | 2147483647  1470381    139 |  0.000 % |
3663.75/3664.93	c |   1471655 |  263670  5951176 18559697 | 2147483647  1471655    139 |  0.000 % |
3668.84/3670.00	c |   1473056 |  263670  5951176 18559697 | 2147483647  1473056    138 |  0.000 % |
3674.25/3675.48	c |   1474596 |  263670  5951176 18559697 | 2147483647  1474596    139 |  0.000 % |
3681.24/3682.46	c |   1476290 |  263670  5951176 18559697 | 2147483647  1476290    139 |  0.000 % |
3686.84/3688.08	c |   1478153 |  263670  5951176 18559697 | 2147483647  1478153    139 |  0.000 % |
3694.94/3696.18	c |   1480202 |  263670  5951176 18559697 | 2147483647  1480202    139 |  0.000 % |
3701.94/3703.10	c |   1482455 |  263670  5951176 18559697 | 2147483647  1482455    138 |  0.000 % |
3711.04/3712.22	c |   1484939 |  263670  5951176 18559697 | 2147483647  1484939    138 |  0.000 % |
3720.33/3721.55	c |   1487665 |  263670  5951176 18559697 | 2147483647  1487665    138 |  0.000 % |
3730.13/3731.32	c |   1490662 |  263670  5951176 18559697 | 2147483647  1490662    138 |  0.000 % |
3739.12/3740.39	c |   1493958 |  263670  5951176 18559697 | 2147483647  1493958    138 |  0.000 % |
3751.63/3752.82	c |   1497583 |  263670  5951176 18559697 | 2147483647  1497583    138 |  0.000 % |
3763.22/3764.44	c |   1501572 |  263670  5951176 18559697 | 2147483647  1501572    139 |  0.000 % |
3774.02/3775.28	c |   1505957 |  263670  5951176 18559697 | 2147483647  1505957    139 |  0.000 % |
3790.42/3791.68	c |   1510781 |  263670  5951176 18559697 | 2147483647  1510781    138 |  0.000 % |
3803.81/3805.09	c |   1516086 |  263670  5951176 18559697 | 2147483647  1516086    138 |  0.000 % |
3819.81/3821.05	c |   1521923 |  263670  5951176 18559697 | 2147483647  1521923    138 |  0.000 % |
3835.80/3837.02	c |   1528341 |  263670  5951176 18559697 | 2147483647  1528341    138 |  0.000 % |
3854.30/3855.57	c |   1535400 |  263670  5951176 18559697 | 2147483647  1535400    138 |  0.000 % |
3871.59/3872.86	c |   1543164 |  263670  5951176 18559697 | 2147483647  1543164    138 |  0.000 % |
3897.99/3899.28	c |   1551704 |  263670  5951176 18559697 | 2147483647  1551704    137 |  0.000 % |
3922.87/3924.14	c |   1561098 |  263670  5951176 18559697 | 2147483647  1561098    137 |  0.000 % |
3956.07/3957.38	c |   1571431 |  263670  5951176 18559697 | 2147483647  1571431    139 |  0.000 % |
3992.96/3994.21	c |   1582797 |  263670  5951176 18559697 | 2147483647  1582797    139 |  0.000 % |
4030.25/4031.58	c |   1595299 |  263670  5951176 18559697 | 2147483647  1595299    139 |  0.000 % |
4068.34/4069.67	c |   1609052 |  263670  5951176 18559697 | 2147483647  1609052    140 |  0.000 % |
4069.54/4070.86	c |   1609152 |  263670  5951176 18559697 | 2147483647  1609152    140 |  0.000 % |
4071.44/4072.71	c |   1609262 |  263670  5951176 18559697 | 2147483647  1609262    140 |  0.000 % |
4073.63/4074.94	c |   1609383 |  263670  5951176 18559697 | 2147483647  1609383    140 |  0.000 % |
4074.43/4075.76	c |   1609516 |  263670  5951176 18559697 | 2147483647  1609516    140 |  0.000 % |
4075.83/4077.13	c |   1609665 |  263670  5951176 18559697 | 2147483647  1609665    140 |  0.000 % |
4076.73/4078.08	c |   1609826 |  263670  5951176 18559697 | 2147483647  1609826    140 |  0.000 % |
4077.63/4078.97	c |   1610002 |  263670  5951176 18559697 | 2147483647  1610002    140 |  0.000 % |
4078.53/4079.88	c |   1610195 |  263670  5951176 18559697 | 2147483647  1610195    140 |  0.000 % |
4079.63/4080.95	c |   1610408 |  263670  5951176 18559697 | 2147483647  1610408    140 |  0.000 % |
4080.43/4081.72	c |   1610641 |  263670  5951176 18559697 | 2147483647  1610641    140 |  0.000 % |
4081.43/4082.75	c |   1610897 |  263670  5951176 18559697 | 2147483647  1610897    140 |  0.000 % |
4082.43/4083.78	c |   1611179 |  263670  5951176 18559697 | 2147483647  1611179    140 |  0.000 % |
4083.84/4085.18	c |   1611488 |  263670  5951176 18559697 | 2147483647  1611488    140 |  0.000 % |
4084.93/4086.27	c |   1611828 |  263670  5951176 18559697 | 2147483647  1611828    140 |  0.000 % |
4086.34/4087.62	c |   1612202 |  263670  5951176 18559697 | 2147483647  1612202    140 |  0.000 % |
4087.83/4089.19	c |   1612611 |  263670  5951176 18559697 | 2147483647  1612611    140 |  0.000 % |
4089.64/4090.91	c |   1613060 |  263670  5951176 18559697 | 2147483647  1613060    140 |  0.000 % |
4092.03/4093.38	c |   1613553 |  263670  5951176 18559697 | 2147483647  1613553    140 |  0.000 % |
4095.13/4096.48	c |   1614095 |  263670  5951176 18559697 | 2147483647  1614095    140 |  0.000 % |
4097.72/4099.03	c |   1614691 |  263670  5951176 18559697 | 2147483647  1614691    140 |  0.000 % |
4100.22/4101.50	c |   1615346 |  263670  5951176 18559697 | 2147483647  1615346    140 |  0.000 % |
4103.03/4104.36	c |   1616066 |  263670  5951176 18559697 | 2147483647  1616066    140 |  0.000 % |
4105.73/4107.08	c |   1616858 |  263670  5951176 18559697 | 2147483647  1616858    140 |  0.000 % |
4108.63/4109.96	c |   1617729 |  263670  5951176 18559697 | 2147483647  1617729    140 |  0.000 % |
4111.82/4113.12	c |   1618687 |  263670  5951176 18559697 | 2147483647  1618687    140 |  0.000 % |
4116.52/4117.85	c |   1619741 |  263670  5951176 18559697 | 2147483647  1619741    140 |  0.000 % |
4119.42/4120.79	c |   1620899 |  263670  5951176 18559697 | 2147483647  1620899    140 |  0.000 % |
4124.12/4125.41	c |   1622172 |  263670  5951176 18559697 | 2147483647  1622172    140 |  0.000 % |
4127.62/4128.92	c |   1623572 |  263670  5951176 18559697 | 2147483647  1623572    140 |  0.000 % |
4134.02/4135.39	c |   1625112 |  263670  5951176 18559697 | 2147483647  1625112    140 |  0.000 % |
4139.52/4140.84	c |   1626806 |  263670  5951176 18559697 | 2147483647  1626806    140 |  0.000 % |
4146.91/4148.23	c |   1628670 |  263670  5951176 18559697 | 2147483647  1628670    140 |  0.000 % |
4154.41/4155.72	c |   1630719 |  263670  5951176 18559697 | 2147483647  1630719    140 |  0.000 % |
4161.80/4163.10	c |   1632972 |  263670  5951176 18559697 | 2147483647  1632972    140 |  0.000 % |
4171.71/4173.08	c |   1635451 |  263670  5951176 18559697 | 2147483647  1635451    140 |  0.000 % |
4184.90/4186.26	c |   1638176 |  263670  5951176 18559697 | 2147483647  1638176    140 |  0.000 % |
4192.90/4194.26	c |   1641175 |  263670  5951176 18559697 | 2147483647  1641175    140 |  0.000 % |
4205.89/4207.23	c |   1644472 |  263670  5951176 18559697 | 2147483647  1644472    140 |  0.000 % |
4217.09/4218.42	c |   1648097 |  263670  5951176 18559697 | 2147483647  1648097    141 |  0.000 % |
4230.88/4232.23	c |   1652084 |  263670  5951176 18559697 | 2147483647  1652084    141 |  0.000 % |
4247.69/4249.00	c |   1656469 |  263670  5951176 18559697 | 2147483647  1656469    141 |  0.000 % |
4267.07/4268.47	c |   1661292 |  263670  5951176 18559697 | 2147483647  1661292    141 |  0.000 % |
4284.87/4286.27	c |   1666597 |  263670  5951176 18559697 | 2147483647  1666597    141 |  0.000 % |
4306.36/4307.74	c |   1672432 |  263670  5951176 18559697 | 2147483647  1672432    142 |  0.000 % |
4328.66/4330.08	c |   1678850 |  263670  5951176 18559697 | 2147483647  1678850    142 |  0.000 % |
4346.56/4347.92	c |   1685909 |  263670  5951176 18559697 | 2147483647  1685909    142 |  0.000 % |
4374.94/4376.39	c |   1693673 |  263670  5951176 18559697 | 2147483647  1693673    142 |  0.000 % |
4408.34/4409.73	c |   1702214 |  263670  5951176 18559697 | 2147483647  1702214    143 |  0.000 % |
4441.93/4443.36	c |   1711610 |  263670  5951176 18559697 | 2147483647  1711610    143 |  0.000 % |
4475.12/4476.58	c |   1721944 |  263670  5951176 18559697 | 2147483647  1721944    144 |  0.000 % |
4519.41/4520.82	c |   1733310 |  263670  5951176 18559697 | 2147483647  1733310    147 |  0.000 % |
4568.49/4569.98	c |   1745813 |  263670  5951176 18559697 | 2147483647  1745813    147 |  0.000 % |
4626.38/4627.85	c |   1759566 |  263670  5951176 18559697 | 2147483647  1759566    148 |  0.000 % |
4691.07/4692.57	c |   1774694 |  263670  5951176 18559697 | 2147483647  1774694    164 |  0.000 % |
4692.47/4693.92	c |   1774794 |  263670  5951176 18559697 | 2147483647  1774794    164 |  0.000 % |
4693.37/4694.85	c |   1774904 |  263670  5951176 18559697 | 2147483647  1774904    164 |  0.000 % |
4694.47/4695.99	c |   1775027 |  263670  5951176 18559697 | 2147483647  1775027    164 |  0.000 % |
4695.97/4697.49	c |   1775160 |  263670  5951176 18559697 | 2147483647  1775160    164 |  0.000 % |
4697.46/4698.97	c |   1775306 |  263670  5951176 18559697 | 2147483647  1775306    164 |  0.000 % |
4698.56/4700.00	c |   1775466 |  263670  5951176 18559697 | 2147483647  1775466    164 |  0.000 % |
4700.66/4702.16	c |   1775649 |  263670  5951176 18559697 | 2147483647  1775649    163 |  0.000 % |
4702.56/4704.03	c |   1775843 |  263670  5951176 18559697 | 2147483647  1775843    163 |  0.000 % |
4703.96/4705.44	c |   1776056 |  263670  5951176 18559697 | 2147483647  1776056    163 |  0.000 % |
4706.26/4707.72	c |   1776292 |  263670  5951176 18559697 | 2147483647  1776292    164 |  0.000 % |
4708.06/4709.50	c |   1776549 |  263670  5951176 18559697 | 2147483647  1776549    164 |  0.000 % |
4711.06/4712.56	c |   1776830 |  263670  5951176 18559697 | 2147483647  1776830    163 |  0.000 % |
4713.35/4714.86	c |   1777142 |  263670  5951176 18559697 | 2147483647  1777142    163 |  0.000 % |
4715.26/4716.71	c |   1777481 |  263670  5951176 18559697 | 2147483647  1777481    163 |  0.000 % |
4717.15/4718.64	c |   1777854 |  263670  5951176 18559697 | 2147483647  1777854    163 |  0.000 % |
4719.05/4720.58	c |   1778263 |  263670  5951176 18559697 | 2147483647  1778263    163 |  0.000 % |
4721.75/4723.30	c |   1778712 |  263670  5951176 18559697 | 2147483647  1778712    163 |  0.000 % |
4723.85/4725.35	c |   1779205 |  263670  5951176 18559697 | 2147483647  1779205    163 |  0.000 % |
4726.95/4728.47	c |   1779747 |  263670  5951176 18559697 | 2147483647  1779747    163 |  0.000 % |
4731.55/4733.07	c |   1780344 |  263670  5951176 18559697 | 2147483647  1780344    163 |  0.000 % |
4734.06/4735.55	c |   1781000 |  263670  5951176 18559697 | 2147483647  1781000    163 |  0.000 % |
4737.65/4739.19	c |   1781721 |  263670  5951176 18559697 | 2147483647  1781721    163 |  0.000 % |
4742.55/4744.04	c |   1782513 |  263670  5951176 18559697 | 2147483647  1782513    163 |  0.000 % |
4746.44/4747.99	c |   1783384 |  263670  5951176 18559697 | 2147483647  1783384    163 |  0.000 % |
4750.14/4751.61	c |   1784342 |  263670  5951176 18559697 | 2147483647  1784342    163 |  0.000 % |
4754.65/4756.11	c |   1785395 |  263670  5951176 18559697 | 2147483647  1785395    163 |  0.000 % |
4758.45/4759.91	c |   1786553 |  263670  5951176 18559697 | 2147483647  1786553    163 |  0.000 % |
4764.55/4766.02	c |   1787826 |  263670  5951176 18559697 | 2147483647  1787826    163 |  0.000 % |
4770.94/4772.41	c |   1789226 |  263670  5951176 18559697 | 2147483647  1789226    163 |  0.000 % |
4777.95/4779.48	c |   1790766 |  263670  5951176 18559697 | 2147483647  1790766    163 |  0.000 % |
4784.84/4786.39	c |   1792461 |  263670  5951176 18559697 | 2147483647  1792461    163 |  0.000 % |
4793.53/4795.04	c |   1794327 |  263670  5951176 18559697 | 2147483647  1794327    163 |  0.000 % |
4802.43/4803.91	c |   1796376 |  263670  5951176 18559697 | 2147483647  1796376    163 |  0.000 % |
4814.12/4815.66	c |   1798629 |  263670  5951176 18559697 | 2147483647  1798629    163 |  0.000 % |
4824.53/4826.08	c |   1801107 |  263670  5951176 18559697 | 2147483647  1801107    163 |  0.000 % |
4836.12/4837.60	c |   1803832 |  263670  5951176 18559697 | 2147483647  1803832    163 |  0.000 % |
4850.62/4852.18	c |   1806829 |  263670  5951176 18559697 | 2147483647  1806829    162 |  0.000 % |
4868.41/4869.96	c |   1810125 |  263670  5951176 18559697 | 2147483647  1810125    162 |  0.000 % |
4885.82/4887.35	c |   1813750 |  263670  5951176 18559697 | 2147483647  1813750    162 |  0.000 % |
4903.00/4904.55	c |   1817738 |  263670  5951176 18559697 | 2147483647  1817738    162 |  0.000 % |
4923.99/4925.51	c |   1822123 |  263670  5951176 18559697 | 2147483647  1822123    162 |  0.000 % |
4947.89/4949.48	c |   1826946 |  263670  5951176 18559697 | 2147483647  1826946    161 |  0.000 % |
4972.68/4974.28	c |   1832252 |  263670  5951176 18559697 | 2147483647  1832252    161 |  0.000 % |
4994.78/4996.31	c |   1838087 |  263670  5951176 18559697 | 2147483647  1838087    161 |  0.000 % |
5012.97/5014.54	c |   1844505 |  263670  5951176 18559697 | 2147483647  1844505    161 |  0.000 % |
5040.26/5041.86	c |   1851564 |  263670  5951176 18559697 | 2147483647  1851564    161 |  0.000 % |
5062.45/5064.09	c |   1859328 |  263670  5951176 18559697 | 2147483647  1859328    162 |  0.000 % |
5087.75/5089.38	c |   1867870 |  263670  5951176 18559697 | 2147483647  1867870    161 |  0.000 % |
5117.64/5119.29	c |   1877264 |  263670  5951176 18559697 | 2147483647  1877264    161 |  0.000 % |
5153.93/5155.58	c |   1887597 |  263670  5951176 18559697 | 2147483647  1887597    160 |  0.000 % |
5210.12/5211.73	c |   1898964 |  263670  5951176 18559697 | 2147483647  1898964    161 |  0.000 % |
5266.60/5268.28	c |   1911466 |  263670  5951176 18559697 | 2147483647  1911466    161 |  0.000 % |
5330.09/5331.77	c |   1925218 |  263670  5951176 18559697 | 2147483647  1925218    160 |  0.000 % |
5399.06/5400.79	c |   1940345 |  263670  5951176 18559697 | 2147483647  1940345    159 |  0.000 % |
5473.35/5475.04	c |   1956986 |  263670  5951176 18559697 | 2147483647  1956986    159 |  0.000 % |
5473.84/5475.51	c |   1957087 |  263670  5951176 18559697 | 2147483647  1957087    159 |  0.000 % |
5475.35/5477.03	c |   1957198 |  263670  5951176 18559697 | 2147483647  1957198    159 |  0.000 % |
5476.45/5478.19	c |   1957320 |  263670  5951176 18559697 | 2147483647  1957320    159 |  0.000 % |
5477.64/5479.34	c |   1957453 |  263670  5951176 18559697 | 2147483647  1957453    159 |  0.000 % |
5478.45/5480.10	c |   1957600 |  263670  5951176 18559697 | 2147483647  1957600    159 |  0.000 % |
5479.84/5481.57	c |   1957761 |  263670  5951176 18559697 | 2147483647  1957761    159 |  0.000 % |
5481.04/5482.73	c |   1957941 |  263670  5951176 18559697 | 2147483647  1957941    159 |  0.000 % |
5482.44/5484.12	c |   1958134 |  263670  5951176 18559697 | 2147483647  1958134    159 |  0.000 % |
5484.24/5485.93	c |   1958346 |  263670  5951176 18559697 | 2147483647  1958346    159 |  0.000 % |
5485.44/5487.12	c |   1958579 |  263670  5951176 18559697 | 2147483647  1958579    159 |  0.000 % |
5487.24/5488.93	c |   1958835 |  263670  5951176 18559697 | 2147483647  1958835    159 |  0.000 % |
5488.44/5490.19	c |   1959118 |  263670  5951176 18559697 | 2147483647  1959118    159 |  0.000 % |
5489.73/5491.40	c |   1959427 |  263670  5951176 18559697 | 2147483647  1959427    159 |  0.000 % |
5491.65/5493.36	c |   1959767 |  263670  5951176 18559697 | 2147483647  1959767    159 |  0.000 % |
5493.44/5495.17	c |   1960139 |  263670  5951176 18559697 | 2147483647  1960139    159 |  0.000 % |
5495.44/5497.17	c |   1960548 |  263670  5951176 18559697 | 2147483647  1960548    159 |  0.000 % |
5497.64/5499.34	c |   1960997 |  263670  5951176 18559697 | 2147483647  1960997    159 |  0.000 % |
5500.24/5501.91	c |   1961490 |  263670  5951176 18559697 | 2147483647  1961490    159 |  0.000 % |
5502.04/5503.77	c |   1962032 |  263670  5951176 18559697 | 2147483647  1962032    159 |  0.000 % |
5504.84/5506.54	c |   1962628 |  263670  5951176 18559697 | 2147483647  1962628    159 |  0.000 % |
5507.73/5509.43	c |   1963283 |  263670  5951176 18559697 | 2147483647  1963283    159 |  0.000 % |
5511.13/5512.83	c |   1964003 |  263670  5951176 18559697 | 2147483647  1964003    159 |  0.000 % |
5514.53/5516.21	c |   1964795 |  263670  5951176 18559697 | 2147483647  1964795    159 |  0.000 % |
5517.93/5519.67	c |   1965666 |  263670  5951176 18559697 | 2147483647  1965666    159 |  0.000 % |
5521.83/5523.53	c |   1966624 |  263670  5951176 18559697 | 2147483647  1966624    159 |  0.000 % |
5525.73/5527.42	c |   1967677 |  263670  5951176 18559697 | 2147483647  1967677    159 |  0.000 % |
5530.03/5531.78	c |   1968835 |  263670  5951176 18559697 | 2147483647  1968835    159 |  0.000 % |
5534.03/5535.75	c |   1970108 |  263670  5951176 18559697 | 2147483647  1970108    159 |  0.000 % |
5538.93/5540.63	c |   1971508 |  263670  5951176 18559697 | 2147483647  1971508    159 |  0.000 % |
5545.02/5546.76	c |   1973048 |  263670  5951176 18559697 | 2147483647  1973048    159 |  0.000 % |
5550.33/5552.09	c |   1974742 |  263670  5951176 18559697 | 2147483647  1974742    159 |  0.000 % |
5555.02/5556.77	c |   1976606 |  263670  5951176 18559697 | 2147483647  1976606    159 |  0.000 % |
5561.22/5562.97	c |   1978655 |  263670  5951176 18559697 | 2147483647  1978655    159 |  0.000 % |
5569.21/5570.99	c |   1980908 |  263670  5951176 18559697 | 2147483647  1980908    159 |  0.000 % |
5581.92/5583.64	c |   1983387 |  263670  5951176 18559697 | 2147483647  1983387    159 |  0.000 % |
5594.61/5596.36	c |   1986112 |  263670  5951176 18559697 | 2147483647  1986112    159 |  0.000 % |
5606.11/5607.85	c |   1989110 |  263670  5951176 18559697 | 2147483647  1989110    159 |  0.000 % |
5623.61/5625.32	c |   1992412 |  263670  5951176 18559697 | 2147483647  1992412    159 |  0.000 % |
5634.30/5636.05	c |   1996038 |  263670  5951176 18559697 | 2147483647  1996038    159 |  0.000 % |
5647.50/5649.23	c |   2000025 |  263670  5951176 18559697 | 2147483647  2000025    159 |  0.000 % |
5672.49/5674.24	c |   2004410 |  263670  5951176 18559697 | 2147483647  2004410    159 |  0.000 % |
5691.48/5693.29	c |   2009233 |  263670  5951176 18559697 | 2147483647  2009233    159 |  0.000 % |
5718.28/5720.00	c |   2014538 |  263670  5951176 18559697 | 2147483647  2014538    159 |  0.000 % |
5742.27/5744.00	c |   2020373 |  263670  5951176 18559697 | 2147483647  2020373    159 |  0.000 % |
5770.67/5772.45	c |   2026792 |  263670  5951176 18559697 | 2147483647  2026792    159 |  0.000 % |
5802.86/5804.70	c |   2033852 |  263670  5951176 18559697 | 2147483647  2033852    159 |  0.000 % |
5845.85/5847.66	c |   2041617 |  263670  5951176 18559697 | 2147483647  2041617    159 |  0.000 % |
5891.43/5893.26	c |   2050158 |  263670  5951176 18559697 | 2147483647  2050158    159 |  0.000 % |
5935.02/5936.86	c |   2059552 |  263670  5951176 18559697 | 2147483647  2059552    159 |  0.000 % |
5972.91/5974.76	c |   2069887 |  263670  5951176 18559697 | 2147483647  2069887    161 |  0.000 % |
6010.10/6011.97	c |   2081253 |  263670  5951176 18559697 | 2147483647  2081253    161 |  0.000 % |
6041.79/6043.61	c |   2093756 |  263670  5951176 18559697 | 2147483647  2093756    162 |  0.000 % |
6087.57/6089.44	c |   2107508 |  263670  5951176 18559697 | 2147483647  2107508    162 |  0.000 % |
6145.56/6147.40	c |   2122635 |  263670  5951176 18559697 | 2147483647  2122635    164 |  0.000 % |
6230.74/6232.64	c |   2139275 |  263670  5951176 18559697 | 2147483647  2139275    166 |  0.000 % |
6325.71/6327.60	c |   2157577 |  263670  5951176 18559697 | 2147483647  2157577    166 |  0.000 % |
6327.11/6329.06	c |   2157678 |  263670  5951176 18559697 | 2147483647  2157678    166 |  0.000 % |
6327.81/6329.75	c |   2157788 |  263670  5951176 18559697 | 2147483647  2157788    166 |  0.000 % |
6328.61/6330.52	c |   2157912 |  263670  5951176 18559697 | 2147483647  2157912    166 |  0.000 % |
6329.71/6331.69	c |   2158050 |  263670  5951176 18559697 | 2147483647  2158050    166 |  0.000 % |
6331.61/6333.59	c |   2158198 |  263670  5951176 18559697 | 2147483647  2158198    166 |  0.000 % |
6333.02/6334.95	c |   2158358 |  263670  5951176 18559697 | 2147483647  2158358    166 |  0.000 % |
6334.61/6336.54	c |   2158534 |  263670  5951176 18559697 | 2147483647  2158534    166 |  0.000 % |
6336.32/6338.27	c |   2158727 |  263670  5951176 18559697 | 2147483647  2158727    165 |  0.000 % |
6337.81/6339.75	c |   2158939 |  263670  5951176 18559697 | 2147483647  2158939    165 |  0.000 % |
6340.01/6342.00	c |   2159173 |  263670  5951176 18559697 | 2147483647  2159173    165 |  0.000 % |
6342.31/6344.28	c |   2159429 |  263670  5951176 18559697 | 2147483647  2159429    166 |  0.000 % |
6344.31/6346.27	c |   2159710 |  263670  5951176 18559697 | 2147483647  2159710    165 |  0.000 % |
6346.71/6348.65	c |   2160019 |  263670  5951176 18559697 | 2147483647  2160019    165 |  0.000 % |
6348.81/6350.76	c |   2160359 |  263670  5951176 18559697 | 2147483647  2160359    165 |  0.000 % |
6351.00/6352.99	c |   2160734 |  263670  5951176 18559697 | 2147483647  2160734    165 |  0.000 % |
6352.60/6354.52	c |   2161143 |  263670  5951176 18559697 | 2147483647  2161143    165 |  0.000 % |
6355.40/6357.39	c |   2161595 |  263670  5951176 18559697 | 2147483647  2161595    165 |  0.000 % |
6358.30/6360.23	c |   2162088 |  263670  5951176 18559697 | 2147483647  2162088    166 |  0.000 % |
6363.60/6365.54	c |   2162633 |  263670  5951176 18559697 | 2147483647  2162633    166 |  0.000 % |
6369.40/6371.35	c |   2163229 |  263670  5951176 18559697 | 2147483647  2163229    166 |  0.000 % |
6374.50/6376.47	c |   2163886 |  263670  5951176 18559697 | 2147483647  2163886    166 |  0.000 % |
6378.89/6380.89	c |   2164607 |  263670  5951176 18559697 | 2147483647  2164607    166 |  0.000 % |
6384.19/6386.11	c |   2165399 |  263670  5951176 18559697 | 2147483647  2165399    166 |  0.000 % |
6387.69/6389.61	c |   2166270 |  263670  5951176 18559697 | 2147483647  2166270    166 |  0.000 % |
6392.99/6394.96	c |   2167228 |  263670  5951176 18559697 | 2147483647  2167228    166 |  0.000 % |
6400.49/6402.45	c |   2168281 |  263670  5951176 18559697 | 2147483647  2168281    166 |  0.000 % |
6406.69/6408.69	c |   2169439 |  263670  5951176 18559697 | 2147483647  2169439    166 |  0.000 % |
6412.89/6414.88	c |   2170713 |  263670  5951176 18559697 | 2147483647  2170713    166 |  0.000 % |
6421.18/6423.10	c |   2172113 |  263670  5951176 18559697 | 2147483647  2172113    166 |  0.000 % |
6430.78/6432.75	c |   2173655 |  263670  5951176 18559697 | 2147483647  2173655    166 |  0.000 % |
6441.18/6443.17	c |   2175349 |  263670  5951176 18559697 | 2147483647  2175349    166 |  0.000 % |
6450.37/6452.31	c |   2177213 |  263670  5951176 18559697 | 2147483647  2177213    166 |  0.000 % |
6459.48/6461.47	c |   2179264 |  263670  5951176 18559697 | 2147483647  2179264    166 |  0.000 % |
6467.57/6469.55	c |   2181517 |  263670  5951176 18559697 | 2147483647  2181517    166 |  0.000 % |
6475.27/6477.20	c |   2183996 |  263670  5951176 18559697 | 2147483647  2183996    166 |  0.000 % |
6485.67/6487.64	c |   2186725 |  263670  5951176 18559697 | 2147483647  2186725    166 |  0.000 % |
6500.46/6502.46	c |   2189726 |  263670  5951176 18559697 | 2147483647  2189726    166 |  0.000 % |
6516.75/6518.76	c |   2193022 |  263670  5951176 18559697 | 2147483647  2193022    166 |  0.000 % |
6536.85/6538.81	c |   2196648 |  263670  5951176 18559697 | 2147483647  2196648    166 |  0.000 % |
6557.35/6559.38	c |   2200635 |  263670  5951176 18559697 | 2147483647  2200635    166 |  0.000 % |
6582.23/6584.22	c |   2205020 |  263670  5951176 18559697 | 2147483647  2205020    166 |  0.000 % |
6602.13/6604.16	c |   2209843 |  263670  5951176 18559697 | 2147483647  2209843    166 |  0.000 % |
6621.23/6623.29	c |   2215149 |  263670  5951176 18559697 | 2147483647  2215149    166 |  0.000 % |
6645.62/6647.65	c |   2220985 |  263670  5951176 18559697 | 2147483647  2220985    166 |  0.000 % |
6665.21/6667.28	c |   2227404 |  263670  5951176 18559697 | 2147483647  2227404    166 |  0.000 % |
6697.71/6699.77	c |   2234465 |  263670  5951176 18559697 | 2147483647  2234465    166 |  0.000 % |
6734.00/6736.06	c |   2242230 |  263670  5951176 18559697 | 2147483647  2242230    165 |  0.000 % |

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-1837172-1242859155/watcher-1837172-1242859155 -o /tmp/evaluation-result-1837172-1242859155/solver-1837172-1242859155 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837172-1242859155.cnf 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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.08 0.99 0.86 3/64 16302
/proc/meminfo: memFree=1586488/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=0
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313949915 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16302/statm: 1339 237 197 169 0 50 0

[startup+0.0856289 s]
/proc/loadavg: 1.08 0.99 0.86 3/64 16302
/proc/meminfo: memFree=1586488/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=0
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313949915 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16302/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.10163 s]
/proc/loadavg: 1.08 0.99 0.86 3/64 16302
/proc/meminfo: memFree=1586488/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=0
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313949915 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16302/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301653 s]
/proc/loadavg: 1.08 0.99 0.86 3/64 16302
/proc/meminfo: memFree=1586488/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=0
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313949915 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16302/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.7017 s]
/proc/loadavg: 1.08 0.99 0.86 3/64 16302
/proc/meminfo: memFree=1586488/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=0
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313949915 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16302/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.5028 s]
/proc/loadavg: 1.08 0.99 0.86 2/66 16307
/proc/meminfo: memFree=1510120/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=0
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313949915 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16302/statm: 1339 237 197 169 0 50 0
[pid=16306] ppid=16302 vsize=120320 CPUtime=1.49
/proc/16306/stat : 16306 (SatELite_releas) R 16302 16302 16198 0 -1 4194304 27779 0 0 0 125 24 0 0 25 0 1 0 313949915 123207680 27765 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/16306/statm: 30080 27765 49 173 0 29905 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 125676

[startup+3.10198 s]
/proc/loadavg: 1.08 0.99 0.86 2/66 16307
/proc/meminfo: memFree=1432104/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=0
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313949915 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16302/statm: 1339 237 197 169 0 50 0
[pid=16306] ppid=16302 vsize=242328 CPUtime=3.08
/proc/16306/stat : 16306 (SatELite_releas) R 16302 16302 16198 0 -1 4194304 55875 0 0 0 263 45 0 0 25 0 1 0 313949915 248143872 55861 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/16306/statm: 60582 55863 49 173 0 60407 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 247684

[startup+6.30135 s]
/proc/loadavg: 1.07 0.99 0.86 2/66 16307
/proc/meminfo: memFree=1143080/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=0
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313949915 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16302/statm: 1339 237 197 169 0 50 0
[pid=16306] ppid=16302 vsize=502556 CPUtime=6.29
/proc/16306/stat : 16306 (SatELite_releas) R 16302 16302 16198 0 -1 4194304 110819 0 0 0 553 76 0 0 25 0 1 0 313949915 514617344 110805 1992294400 134512640 135223648 4294956128 18446744073709551615 134548993 0 0 4096 3 0 0 0 17 1 0 0
/proc/16306/statm: 125639 110805 74 173 0 125464 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 507912

[startup+12.7011 s]
/proc/loadavg: 1.07 0.99 0.86 2/66 16307
/proc/meminfo: memFree=1160232/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=0
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313949915 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16302/statm: 1339 237 197 169 0 50 0
[pid=16306] ppid=16302 vsize=491092 CPUtime=12.68
/proc/16306/stat : 16306 (SatELite_releas) R 16302 16302 16198 0 -1 4194304 118929 0 0 0 1188 80 0 0 25 0 1 0 313949915 502878208 106313 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/16306/statm: 122773 106313 76 173 0 122598 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 496448

[startup+25.5016 s]
/proc/loadavg: 1.05 0.99 0.86 2/66 16307
/proc/meminfo: memFree=1115624/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=0
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313949915 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16302/statm: 1339 237 197 169 0 50 0
[pid=16306] ppid=16302 vsize=532556 CPUtime=25.48
/proc/16306/stat : 16306 (SatELite_releas) R 16302 16302 16198 0 -1 4194304 128276 0 0 0 2457 91 0 0 25 0 1 0 313949915 545337344 115660 1992294400 134512640 135223648 4294956128 18446744073709551615 134587016 0 0 4096 3 0 0 0 17 1 0 0
/proc/16306/statm: 133139 115660 76 173 0 132964 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 537912

[startup+51.1016 s]
/proc/loadavg: 1.03 0.99 0.86 2/66 16307
/proc/meminfo: memFree=1064552/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=0
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313949915 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/16302/statm: 1339 237 197 169 0 50 0
[pid=16306] ppid=16302 vsize=608808 CPUtime=51.07
/proc/16306/stat : 16306 (SatELite_releas) R 16302 16302 16198 0 -1 4194304 141807 0 0 0 5008 99 0 0 25 0 1 0 313949915 623419392 128283 1992294400 134512640 135223648 4294956128 18446744073709551615 134586194 0 0 4096 3 0 0 0 17 1 0 0
/proc/16306/statm: 152202 128283 76 173 0 152027 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 614164

[startup+102.306 s]
/proc/loadavg: 1.13 1.02 0.88 2/66 16308
/proc/meminfo: memFree=1164264/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=82.17
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 336 155105 0 0 0 0 8051 166 16 0 1 0 313949915 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16302/statm: 1339 239 197 169 0 50 0
[pid=16308] ppid=16302 vsize=285040 CPUtime=19.98
/proc/16308/stat : 16308 (minisat_static) R 16302 16302 16198 0 -1 4194304 68035 0 0 0 1949 49 0 0 25 0 1 0 313958144 291880960 67963 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16308/statm: 71260 67963 77 171 0 71087 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 290396

[startup+162.302 s]
/proc/loadavg: 1.05 1.01 0.89 2/66 16308
/proc/meminfo: memFree=1157288/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=82.17
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 336 155105 0 0 0 0 8051 166 16 0 1 0 313949915 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16302/statm: 1339 239 197 169 0 50 0
[pid=16308] ppid=16302 vsize=292368 CPUtime=79.96
/proc/16308/stat : 16308 (minisat_static) R 16302 16302 16198 0 -1 4194304 69848 0 0 0 7944 52 0 0 25 0 1 0 313958144 299384832 69776 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16308/statm: 73092 69776 77 171 0 72919 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 297724

[startup+222.302 s]
/proc/loadavg: 1.02 1.01 0.89 2/66 16308
/proc/meminfo: memFree=1149352/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=82.17
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 336 155105 0 0 0 0 8051 166 16 0 1 0 313949915 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16302/statm: 1339 239 197 169 0 50 0
[pid=16308] ppid=16302 vsize=300304 CPUtime=139.94
/proc/16308/stat : 16308 (minisat_static) R 16302 16302 16198 0 -1 4194304 71830 0 0 0 13940 54 0 0 25 0 1 0 313958144 307511296 71758 1992294400 134512640 135215339 4294956240 18446744073709551615 134528647 0 0 4096 3 0 0 0 17 1 0 0
/proc/16308/statm: 75076 71758 77 171 0 74903 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 305660

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.90 2/66 16310
/proc/meminfo: memFree=1141416/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=82.17
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 336 155105 0 0 0 0 8051 166 16 0 1 0 313949915 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16302/statm: 1339 239 197 169 0 50 0
[pid=16308] ppid=16302 vsize=308080 CPUtime=199.92
/proc/16308/stat : 16308 (minisat_static) R 16302 16302 16198 0 -1 4194304 73772 0 0 0 19936 56 0 0 25 0 1 0 313958144 315473920 73700 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/16308/statm: 77020 73700 77 171 0 76847 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 313436

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 0.90 2/66 16310
/proc/meminfo: memFree=1129960/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=82.17
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 336 155105 0 0 0 0 8051 166 16 0 1 0 313949915 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16302/statm: 1339 239 197 169 0 50 0
[pid=16308] ppid=16302 vsize=319520 CPUtime=259.91
/proc/16308/stat : 16308 (minisat_static) R 16302 16302 16198 0 -1 4194304 76617 0 0 0 25931 60 0 0 25 0 1 0 313958144 327188480 76545 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/16308/statm: 79880 76545 77 171 0 79707 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 324876

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16310
/proc/meminfo: memFree=1120680/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=82.17
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 336 155105 0 0 0 0 8051 166 16 0 1 0 313949915 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16302/statm: 1339 239 197 169 0 50 0
[pid=16308] ppid=16302 vsize=329072 CPUtime=319.89
/proc/16308/stat : 16308 (minisat_static) R 16302 16302 16198 0 -1 4194304 78963 0 0 0 31926 63 0 0 25 0 1 0 313958144 336969728 78891 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16308/statm: 82268 78891 77 171 0 82095 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 334428

[startup+462.302 s]

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

/proc/16308/statm: 429267 424369 77 171 0 429094 0
Current children cumulated CPU time (s) 6100.47
Current children cumulated vsize (KiB) 1722424

[startup+6162.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16324
/proc/meminfo: memFree=15144/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=82.17
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 336 155105 0 0 0 0 8051 166 16 0 1 0 313949915 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16302/statm: 1339 239 197 169 0 50 0
[pid=16308] ppid=16302 vsize=1748444 CPUtime=6078.29
/proc/16308/stat : 16308 (minisat_static) R 16302 16302 16198 0 -1 4194304 432289 0 0 0 607399 430 0 0 25 0 1 0 313958144 1790406656 432217 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/16308/statm: 437111 432217 77 171 0 436938 0
Current children cumulated CPU time (s) 6160.46
Current children cumulated vsize (KiB) 1753800

[startup+6222.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16324
/proc/meminfo: memFree=15976/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=82.17
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 336 155105 0 0 0 0 8051 166 16 0 1 0 313949915 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16302/statm: 1339 239 197 169 0 50 0
[pid=16308] ppid=16302 vsize=1764836 CPUtime=6138.28
/proc/16308/stat : 16308 (minisat_static) R 16302 16302 16198 0 -1 4194304 436411 0 0 0 613394 434 0 0 25 0 1 0 313958144 1807192064 436339 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/16308/statm: 441209 436339 77 171 0 441036 0
Current children cumulated CPU time (s) 6220.45
Current children cumulated vsize (KiB) 1770192

[startup+6282.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16324
/proc/meminfo: memFree=15272/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=82.17
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 336 155105 0 0 0 0 8051 166 16 0 1 0 313949915 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16302/statm: 1339 239 197 169 0 50 0
[pid=16308] ppid=16302 vsize=1773168 CPUtime=6198.26
/proc/16308/stat : 16308 (minisat_static) R 16302 16302 16198 0 -1 4194304 438507 0 0 0 619389 437 0 0 25 0 1 0 313958144 1815724032 438435 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/16308/statm: 443292 438435 77 171 0 443119 0
Current children cumulated CPU time (s) 6280.43
Current children cumulated vsize (KiB) 1778524

[startup+6342.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16324
/proc/meminfo: memFree=16040/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=82.17
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 336 155105 0 0 0 0 8051 166 16 0 1 0 313949915 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16302/statm: 1339 239 197 169 0 50 0
[pid=16308] ppid=16302 vsize=1780212 CPUtime=6258.24
/proc/16308/stat : 16308 (minisat_static) R 16302 16302 16198 0 -1 4194304 440256 0 0 0 625385 439 0 0 25 0 1 0 313958144 1822937088 440184 1992294400 134512640 135215339 4294956240 18446744073709551615 134528860 0 0 4096 3 0 0 0 17 1 0 0
/proc/16308/statm: 445053 440184 77 171 0 444880 0
Current children cumulated CPU time (s) 6340.41
Current children cumulated vsize (KiB) 1785568

[startup+6402.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16324
/proc/meminfo: memFree=15336/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=82.17
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 336 155105 0 0 0 0 8051 166 16 0 1 0 313949915 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16302/statm: 1339 239 197 169 0 50 0
[pid=16308] ppid=16302 vsize=1790452 CPUtime=6318.22
/proc/16308/stat : 16308 (minisat_static) R 16302 16302 16198 0 -1 4194304 442786 0 0 0 631381 441 0 0 25 0 1 0 313958144 1833422848 442714 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16308/statm: 447613 442714 77 171 0 447440 0
Current children cumulated CPU time (s) 6400.39
Current children cumulated vsize (KiB) 1795808

[startup+6462.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16324
/proc/meminfo: memFree=15848/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=82.17
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 336 155105 0 0 0 0 8051 166 16 0 1 0 313949915 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16302/statm: 1339 239 197 169 0 50 0
[pid=16308] ppid=16302 vsize=1800984 CPUtime=6378.2
/proc/16308/stat : 16308 (minisat_static) R 16302 16302 16198 0 -1 4194304 445408 0 0 0 637376 444 0 0 25 0 1 0 313958144 1844207616 445336 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16308/statm: 450246 445336 77 171 0 450073 0
Current children cumulated CPU time (s) 6460.37
Current children cumulated vsize (KiB) 1806340

[startup+6522.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16324
/proc/meminfo: memFree=15528/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=82.17
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 336 155105 0 0 0 0 8051 166 16 0 1 0 313949915 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16302/statm: 1339 239 197 169 0 50 0
[pid=16308] ppid=16302 vsize=1811968 CPUtime=6438.18
/proc/16308/stat : 16308 (minisat_static) R 16302 16302 16198 0 -1 4194304 448174 0 0 0 643371 447 0 0 25 0 1 0 313958144 1855455232 448102 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16308/statm: 452992 448102 77 171 0 452819 0
Current children cumulated CPU time (s) 6520.35
Current children cumulated vsize (KiB) 1817324

[startup+6582.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16324
/proc/meminfo: memFree=14952/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=82.17
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 336 155105 0 0 0 0 8051 166 16 0 1 0 313949915 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16302/statm: 1339 239 197 169 0 50 0
[pid=16308] ppid=16302 vsize=1818792 CPUtime=6498.17
/proc/16308/stat : 16308 (minisat_static) R 16302 16302 16198 0 -1 4194304 449859 0 0 0 649368 449 0 0 25 0 1 0 313958144 1862443008 449787 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/16308/statm: 454698 449787 77 171 0 454525 0
Current children cumulated CPU time (s) 6580.34
Current children cumulated vsize (KiB) 1824148

[startup+6642.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16324
/proc/meminfo: memFree=15528/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=82.17
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 336 155105 0 0 0 0 8051 166 16 0 1 0 313949915 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16302/statm: 1339 239 197 169 0 50 0
[pid=16308] ppid=16302 vsize=1827788 CPUtime=6558.16
/proc/16308/stat : 16308 (minisat_static) R 16302 16302 16198 0 -1 4194304 452061 0 0 0 655363 453 0 0 25 0 1 0 313958144 1871654912 451989 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/16308/statm: 456947 451989 77 171 0 456774 0
Current children cumulated CPU time (s) 6640.33
Current children cumulated vsize (KiB) 1833144

[startup+6702.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16324
/proc/meminfo: memFree=14952/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=82.17
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 336 155105 0 0 0 0 8051 166 16 0 1 0 313949915 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16302/statm: 1339 239 197 169 0 50 0
[pid=16308] ppid=16302 vsize=1834304 CPUtime=6618.14
/proc/16308/stat : 16308 (minisat_static) R 16302 16302 16198 0 -1 4194304 453748 0 0 0 661359 455 0 0 25 0 1 0 313958144 1878327296 453676 1992294400 134512640 135215339 4294956240 18446744073709551615 134538923 0 0 4096 3 0 0 0 17 1 0 0
/proc/16308/statm: 458576 453676 77 171 0 458403 0
Current children cumulated CPU time (s) 6700.31
Current children cumulated vsize (KiB) 1839660



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+6742.5 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16324
/proc/meminfo: memFree=16040/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=82.17
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 336 155105 0 0 0 0 8051 166 16 0 1 0 313949915 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16302/statm: 1339 239 197 169 0 50 0
[pid=16308] ppid=16302 vsize=1837900 CPUtime=6658.33
/proc/16308/stat : 16308 (minisat_static) R 16302 16302 16198 0 -1 4194304 454632 0 0 0 665377 456 0 0 25 0 1 0 313958144 1882009600 454560 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/16308/statm: 459475 454560 77 171 0 459302 0
Current children cumulated CPU time (s) 6740.5
Current children cumulated vsize (KiB) 1843256

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

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

[startup+6742.5 s]
/proc/loadavg: 1.00 1.00 0.91 2/66 16324
/proc/meminfo: memFree=16040/2055920 swapFree=4180420/4192956
[pid=16302] ppid=16300 vsize=5356 CPUtime=82.17
/proc/16302/stat : 16302 (SatELiteGTI) S 16300 16302 16198 0 -1 4194304 336 155105 0 0 0 0 8051 166 16 0 1 0 313949915 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 262910042948 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/16302/statm: 1339 239 197 169 0 50 0
[pid=16308] ppid=16302 vsize=1837900 CPUtime=6658.33
/proc/16308/stat : 16308 (minisat_static) R 16302 16302 16198 0 -1 4194304 454632 0 0 0 665377 456 0 0 25 0 1 0 313958144 1882009600 454560 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/16308/statm: 459475 454560 77 171 0 459302 0
Current children cumulated CPU time (s) 6740.5
Current children cumulated vsize (KiB) 1843256

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 16302 and gives
#  childrusage.ru_utime.tv_sec=80
#  childrusage.ru_utime.tv_usec=518759
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=667746
# CPU time returned by wait4() is 82.1865
# while last known CPU time is 6740.5
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 6742.51
CPU time (s): 6740.5
CPU user time (s): 6734.28
CPU system time (s): 6.22
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 1843256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.5188
system time used= 1.66775
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 155441
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= 14
involuntary context switches= 110

runsolver used 7.85881 second user time and 16.7195 second system time

The end

Launcher Data

Begin job on node11 at 2009-05-21 00:39:23
IDJOB=1837172
IDBENCH=20580
IDSOLVER=674
FILE ID=node11/1837172-1242859155
PBS_JOBID= 9328503
Free space on /tmp= 66172 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq7.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837172-1242859155/watcher-1837172-1242859155 -o /tmp/evaluation-result-1837172-1242859155/solver-1837172-1242859155 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837172-1242859155.cnf

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

MD5SUM BENCH= 0fbc00fde383cec371bb97d621c5e7e5
RANDOM SEED=310542903

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.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:       1586904 kB
Buffers:         36520 kB
Cached:         389316 kB
SwapCached:       6644 kB
Active:         244320 kB
Inactive:       189780 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1586904 kB
SwapTotal:     4192956 kB
SwapFree:      4180420 kB
Dirty:          133444 kB
Writeback:           0 kB
Mapped:          13464 kB
Slab:            20880 kB
Committed_AS:  1104932 kB
PageTables:       1452 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= 66024 MiB
End job on node11 at 2009-05-21 02:31:47