Trace number 1837170

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) 7269.53 7272.61

General information on the benchmark

Nameindustrial/vliw_unsat_2.0/
9dlx_vliw_at_b_iq8.cnf
MD5SUM776da55785376fd8eac6989ca812b102
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables371419
Number of clauses7170909
Sum of the clauses size20872419
Maximum clause length205
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 26770451
Number of clauses of size 392326
Number of clauses of size 48862
Number of clauses of size 523554
Number of clauses of size over 5275715

Solver Data

0.00/0.00	c Parsing...
5.69/5.74	c ==============================================================================
5.69/5.74	c |           |     ORIGINAL     |              LEARNT              |          |
5.69/5.74	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
5.69/5.74	c ==============================================================================
5.69/5.74	c |         0 | 7170908 20872418 | 2151272       0        0     nan |  0.000 % |
122.33/122.47	c |         0 | 6994286 21668859 |      --       0       --      -- |     --   | -176447/801368
122.33/122.48	c ==============================================================================
122.33/122.48	c Result  :   #vars: 303312   #clauses: 6994286   #literals: 21668859
122.33/122.48	c CPU time:   121.109 s
122.33/122.48	c ==============================================================================
129.43/129.57	c This is MiniSat 2.0 beta
129.43/129.57	c WARNING: for repeatability, setting FPU to use double precision
129.43/129.57	c ============================[ Problem Statistics ]=============================
129.43/129.57	c |                                                                             |
129.43/129.57	c |  Number of variables:  303312                                               |
129.43/129.57	c |  Number of clauses:    6994286                                              |
133.81/133.93	c |  Parsing time:         3.87         s                                       |
134.01/134.16	c ============================[ Search Statistics ]==============================
134.01/134.16	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
134.01/134.16	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
134.01/134.16	c ===============================================================================
134.01/134.16	c |         0 |  303312  6994286 21668859 |  2331428        0    nan |  0.000 % |
134.51/134.66	c |       102 |  303312  6994286 21668859 |  2331428      102    108 |  0.000 % |
135.11/135.29	c |       204 |  303312  6994286 21668859 |  2331428      204     83 |  0.000 % |
135.71/135.86	c |       305 |  303312  6994286 21668859 |  2331428      305     68 |  0.000 % |
136.31/136.45	c |       416 |  303312  6994286 21668859 |  2331428      416     73 |  0.000 % |
136.91/137.09	c |       516 |  303312  6994286 21668859 |  2331428      516     62 |  0.000 % |
137.50/137.61	c |       626 |  303312  6994286 21668859 |  2331428      626     60 |  0.000 % |
138.31/138.45	c |       748 |  303312  6994286 21668859 |  2331428      748     54 |  0.000 % |
138.51/138.64	c |       851 |  303312  6994286 21668859 |  2331428      851     51 |  0.000 % |
138.80/138.95	c |       961 |  303312  6994286 21668859 |  2331428      961     52 |  0.000 % |
139.00/139.14	c |      1085 |  303312  6994286 21668859 |  2331428     1085     52 |  0.000 % |
139.51/139.61	c |      1218 |  303312  6994286 21668859 |  2331428     1218     51 |  0.000 % |
139.70/139.89	c |      1319 |  303312  6994286 21668859 |  2331428     1319     49 |  0.000 % |
140.00/140.16	c |      1432 |  303312  6994286 21668859 |  2331428     1432     48 |  0.000 % |
140.30/140.44	c |      1553 |  303312  6994286 21668859 |  2331428     1553     47 |  0.000 % |
140.71/140.86	c |      1686 |  303312  6994286 21668859 |  2331428     1686     47 |  0.000 % |
141.30/141.48	c |      1832 |  303312  6994286 21668859 |  2331428     1832     46 |  0.000 % |
142.70/142.86	c |      1932 |  303312  6994286 21668859 |  2331428     1932     46 |  0.000 % |
142.90/143.07	c |      2044 |  303312  6994286 21668859 |  2331428     2044     50 |  0.000 % |
143.20/143.39	c |      2165 |  303312  6994286 21668859 |  2331428     2165     53 |  0.000 % |
143.50/143.62	c |      2302 |  303312  6994286 21668859 |  2331428     2302     52 |  0.000 % |
144.10/144.25	c |      2448 |  303312  6994286 21668859 |  2331428     2448     52 |  0.000 % |
144.41/144.56	c |      2608 |  303312  6994286 21668859 |  2331428     2608     53 |  0.000 % |
144.71/144.82	c |      2710 |  303312  6994286 21668859 |  2331428     2710     53 |  0.000 % |
144.91/145.05	c |      2820 |  303312  6994286 21668859 |  2331428     2820     53 |  0.000 % |
145.21/145.36	c |      2944 |  303312  6994286 21668859 |  2331428     2944     54 |  0.000 % |
145.81/145.93	c |      3080 |  303312  6994286 21668859 |  2331428     3080     53 |  0.000 % |
146.81/146.92	c |      3226 |  303312  6994286 21668859 |  2331428     3226     53 |  0.000 % |
147.21/147.30	c |      3386 |  303312  6994286 21668859 |  2331428     3386     55 |  0.000 % |
147.41/147.57	c |      3562 |  303312  6994286 21668859 |  2331428     3562     54 |  0.000 % |
148.31/148.47	c |      3663 |  303312  6994286 21668859 |  2331428     3663     53 |  0.000 % |
149.00/149.10	c |      3773 |  303312  6994286 21668859 |  2331428     3773     52 |  0.000 % |
149.41/149.56	c |      3899 |  303312  6994286 21668859 |  2331428     3899     53 |  0.000 % |
150.20/150.33	c |      4032 |  303312  6994286 21668859 |  2331428     4032     52 |  0.000 % |
151.20/151.30	c |      4180 |  303312  6994286 21668859 |  2331428     4180     52 |  0.000 % |
151.60/151.74	c |      4340 |  303312  6994286 21668859 |  2331428     4340     51 |  0.000 % |
151.90/152.06	c |      4519 |  303312  6994286 21668859 |  2331428     4519     52 |  0.000 % |
153.20/153.39	c |      4714 |  303312  6994286 21668859 |  2331428     4714     53 |  0.000 % |
153.50/153.62	c |      4814 |  303312  6994286 21668859 |  2331428     4814     53 |  0.000 % |
154.70/154.88	c |      4928 |  303312  6994286 21668859 |  2331428     4928     54 |  0.000 % |
155.10/155.20	c |      5049 |  303312  6994286 21668859 |  2331428     5049     53 |  0.000 % |
155.40/155.57	c |      5182 |  303312  6994286 21668859 |  2331428     5182     53 |  0.000 % |
155.50/155.62	c |      5328 |  303312  6994286 21668859 |  2331428     5328     52 |  0.000 % |
155.90/156.02	c |      5488 |  303312  6994286 21668859 |  2331428     5488     52 |  0.000 % |
155.90/156.09	c |      5664 |  303312  6994286 21668859 |  2331428     5664     52 |  0.000 % |
156.50/156.66	c |      5857 |  303312  6994286 21668859 |  2331428     5857     52 |  0.000 % |
157.40/157.56	c |      6071 |  303312  6994286 21668859 |  2331428     6071     53 |  0.000 % |
157.90/158.01	c |      6171 |  303312  6994286 21668859 |  2331428     6171     53 |  0.000 % |
158.20/158.35	c |      6281 |  303312  6994286 21668859 |  2331428     6281     53 |  0.000 % |
158.60/158.71	c |      6402 |  303312  6994286 21668859 |  2331428     6402     52 |  0.000 % |
158.80/158.98	c |      6536 |  303312  6994286 21668859 |  2331428     6536     52 |  0.000 % |
159.80/159.95	c |      6683 |  303312  6994286 21668859 |  2331428     6683     51 |  0.000 % |
160.20/160.32	c |      6844 |  303312  6994286 21668859 |  2331428     6844     51 |  0.000 % |
160.70/160.82	c |      7020 |  303312  6994286 21668859 |  2331428     7020     51 |  0.000 % |
161.10/161.21	c |      7213 |  303312  6994286 21668859 |  2331428     7213     51 |  0.000 % |
161.40/161.54	c |      7426 |  303312  6994286 21668859 |  2331428     7426     52 |  0.000 % |
162.19/162.33	c |      7659 |  303312  6994286 21668859 |  2331428     7659     51 |  0.000 % |
162.60/162.78	c |      7760 |  303312  6994286 21668859 |  2331428     7760     51 |  0.000 % |
163.09/163.28	c |      7870 |  303312  6994286 21668859 |  2331428     7870     51 |  0.000 % |
163.49/163.64	c |      7992 |  303312  6994286 21668859 |  2331428     7992     52 |  0.000 % |
163.89/164.07	c |      8127 |  303312  6994286 21668859 |  2331428     8127     51 |  0.000 % |
164.29/164.42	c |      8279 |  303312  6994286 21668859 |  2331428     8279     51 |  0.000 % |
164.49/164.62	c |      8440 |  303312  6994286 21668859 |  2331428     8440     51 |  0.000 % |
164.99/165.10	c |      8619 |  303312  6994286 21668859 |  2331428     8619     51 |  0.000 % |
166.49/166.66	c |      8812 |  303312  6994286 21668859 |  2331428     8812     51 |  0.000 % |
166.89/167.07	c |      9024 |  303312  6994286 21668859 |  2331428     9024     51 |  0.000 % |
168.80/168.91	c |      9258 |  303312  6994286 21668859 |  2331428     9258     51 |  0.000 % |
169.30/169.43	c |      9514 |  303312  6994286 21668859 |  2331428     9514     51 |  0.000 % |
169.50/169.64	c |      9616 |  303312  6994286 21668859 |  2331428     9616     51 |  0.000 % |
169.90/170.09	c |      9727 |  303312  6994286 21668859 |  2331428     9727     51 |  0.000 % |
170.30/170.45	c |      9850 |  303312  6994286 21668859 |  2331428     9850     51 |  0.000 % |
170.79/170.94	c |      9983 |  303312  6994286 21668859 |  2331428     9983     51 |  0.000 % |
171.09/171.21	c |     10130 |  303312  6994286 21668859 | 2147483647    10130     52 |  0.000 % |
171.50/171.66	c |     10291 |  303312  6994286 21668859 | 2147483647    10291     52 |  0.000 % |
171.79/171.92	c |     10467 |  303312  6994286 21668859 | 2147483647    10467     52 |  0.000 % |
171.99/172.11	c |     10662 |  303312  6994286 21668859 | 2147483647    10662     52 |  0.000 % |
173.19/173.38	c |     10874 |  303312  6994286 21668859 | 2147483647    10874     51 |  0.000 % |
174.39/174.53	c |     11109 |  303312  6994286 21668859 | 2147483647    11109     51 |  0.000 % |
174.80/174.90	c |     11366 |  303312  6994286 21668859 | 2147483647    11366     52 |  0.000 % |
175.39/175.52	c |     11647 |  303312  6994286 21668859 | 2147483647    11647     52 |  0.000 % |
175.69/175.81	c |     11747 |  303312  6994286 21668859 | 2147483647    11747     52 |  0.000 % |
175.99/176.11	c |     11857 |  303312  6994286 21668859 | 2147483647    11857     52 |  0.000 % |
176.39/176.51	c |     11978 |  303312  6994286 21668859 | 2147483647    11978     52 |  0.000 % |
176.69/176.84	c |     12111 |  303312  6994286 21668859 | 2147483647    12111     52 |  0.000 % |
176.99/177.20	c |     12267 |  303312  6994286 21668859 | 2147483647    12267     52 |  0.000 % |
177.39/177.56	c |     12432 |  303312  6994286 21668859 | 2147483647    12432     52 |  0.000 % |
178.09/178.23	c |     12608 |  303312  6994286 21668859 | 2147483647    12608     51 |  0.000 % |
178.69/178.81	c |     12801 |  303312  6994286 21668859 | 2147483647    12801     51 |  0.000 % |
179.09/179.24	c |     13016 |  303312  6994286 21668859 | 2147483647    13016     52 |  0.000 % |
179.89/180.01	c |     13249 |  303312  6994286 21668859 | 2147483647    13249     52 |  0.000 % |
180.39/180.50	c |     13507 |  303312  6994286 21668859 | 2147483647    13507     51 |  0.000 % |
181.59/181.70	c |     13789 |  303312  6994286 21668859 | 2147483647    13789     51 |  0.000 % |
181.89/182.05	c |     14098 |  303312  6994286 21668859 | 2147483647    14098     51 |  0.000 % |
182.29/182.43	c |     14198 |  303312  6994286 21668859 | 2147483647    14198     51 |  0.000 % |
182.68/182.90	c |     14309 |  303312  6994286 21668859 | 2147483647    14309     51 |  0.000 % |
183.28/183.44	c |     14430 |  303312  6994286 21668859 | 2147483647    14430     51 |  0.000 % |
183.68/183.82	c |     14565 |  303312  6994286 21668859 | 2147483647    14565     51 |  0.000 % |
183.89/184.03	c |     14713 |  303312  6994286 21668859 | 2147483647    14713     50 |  0.000 % |
184.78/184.97	c |     14873 |  303312  6994286 21668859 | 2147483647    14873     50 |  0.000 % |
185.48/185.60	c |     15050 |  303312  6994286 21668859 | 2147483647    15050     51 |  0.000 % |
185.98/186.18	c |     15243 |  303312  6994286 21668859 | 2147483647    15243     51 |  0.000 % |
186.38/186.58	c |     15455 |  303312  6994286 21668859 | 2147483647    15455     51 |  0.000 % |
186.89/187.09	c |     15689 |  303312  6994286 21668859 | 2147483647    15689     50 |  0.000 % |
187.38/187.50	c |     15945 |  303312  6994286 21668859 | 2147483647    15945     50 |  0.000 % |
187.68/187.89	c |     16226 |  303312  6994286 21668859 | 2147483647    16226     50 |  0.000 % |
188.58/188.75	c |     16535 |  303312  6994286 21668859 | 2147483647    16535     50 |  0.000 % |
189.28/189.46	c |     16874 |  303312  6994286 21668859 | 2147483647    16874     50 |  0.000 % |
189.98/190.18	c |     16974 |  303312  6994286 21668859 | 2147483647    16974     50 |  0.000 % |
190.38/190.58	c |     17087 |  303312  6994286 21668859 | 2147483647    17087     51 |  0.000 % |
190.78/190.93	c |     17212 |  303312  6994286 21668859 | 2147483647    17212     50 |  0.000 % |
191.28/191.49	c |     17345 |  303312  6994286 21668859 | 2147483647    17345     50 |  0.000 % |
191.38/191.58	c |     17491 |  303312  6994286 21668859 | 2147483647    17491     50 |  0.000 % |
191.88/192.08	c |     17652 |  303312  6994286 21668859 | 2147483647    17652     50 |  0.000 % |
192.19/192.35	c |     17829 |  303312  6994286 21668859 | 2147483647    17829     50 |  0.000 % |
192.69/192.86	c |     18023 |  303312  6994286 21668859 | 2147483647    18023     50 |  0.000 % |
193.19/193.32	c |     18235 |  303312  6994286 21668859 | 2147483647    18235     50 |  0.000 % |
193.29/193.44	c |     18469 |  303312  6994286 21668859 | 2147483647    18469     49 |  0.000 % |
194.19/194.31	c |     18725 |  303312  6994286 21668859 | 2147483647    18725     49 |  0.000 % |
194.79/194.90	c |     19006 |  303312  6994286 21668859 | 2147483647    19006     49 |  0.000 % |
196.19/196.38	c |     19315 |  303312  6994286 21668859 | 2147483647    19315     50 |  0.000 % |
197.29/197.49	c |     19654 |  303312  6994286 21668859 | 2147483647    19654     50 |  0.000 % |
197.99/198.20	c |     20029 |  303312  6994286 21668859 | 2147483647    20029     50 |  0.000 % |
198.48/198.67	c |     20129 |  303312  6994286 21668859 | 2147483647    20129     50 |  0.000 % |
198.68/198.89	c |     20240 |  303312  6994286 21668859 | 2147483647    20240     50 |  0.000 % |
199.09/199.27	c |     20364 |  303312  6994286 21668859 | 2147483647    20364     50 |  0.000 % |
199.39/199.55	c |     20500 |  303312  6994286 21668859 | 2147483647    20500     50 |  0.000 % |
199.78/199.94	c |     20647 |  303312  6994286 21668859 | 2147483647    20647     50 |  0.000 % |
200.18/200.35	c |     20807 |  303312  6994286 21668859 | 2147483647    20807     50 |  0.000 % |
200.68/200.83	c |     20984 |  303312  6994286 21668859 | 2147483647    20984     50 |  0.000 % |
200.98/201.11	c |     21179 |  303312  6994286 21668859 | 2147483647    21179     50 |  0.000 % |
201.28/201.41	c |     21392 |  303312  6994286 21668859 | 2147483647    21392     50 |  0.000 % |
201.68/201.81	c |     21627 |  303312  6994286 21668859 | 2147483647    21627     50 |  0.000 % |
202.08/202.29	c |     21883 |  303312  6994286 21668859 | 2147483647    21883     50 |  0.000 % |
202.78/202.94	c |     22165 |  303312  6994286 21668859 | 2147483647    22165     49 |  0.000 % |
203.29/203.42	c |     22476 |  303312  6994286 21668859 | 2147483647    22476     49 |  0.000 % |
203.78/203.96	c |     22817 |  303312  6994286 21668859 | 2147483647    22817     49 |  0.000 % |
204.08/204.29	c |     23189 |  303312  6994286 21668859 | 2147483647    23189     49 |  0.000 % |
204.49/204.68	c |     23598 |  303312  6994286 21668859 | 2147483647    23598     49 |  0.000 % |
204.88/205.00	c |     23698 |  303312  6994286 21668859 | 2147483647    23698     49 |  0.000 % |
205.08/205.24	c |     23809 |  303312  6994286 21668859 | 2147483647    23809     49 |  0.000 % |
205.38/205.50	c |     23931 |  303312  6994286 21668859 | 2147483647    23931     49 |  0.000 % |
205.58/205.75	c |     24065 |  303312  6994286 21668859 | 2147483647    24065     49 |  0.000 % |
206.28/206.46	c |     24211 |  303312  6994286 21668859 | 2147483647    24211     49 |  0.000 % |
206.48/206.70	c |     24371 |  303312  6994286 21668859 | 2147483647    24371     49 |  0.000 % |
207.38/207.58	c |     24548 |  303312  6994286 21668859 | 2147483647    24548     49 |  0.000 % |
207.98/208.12	c |     24742 |  303312  6994286 21668859 | 2147483647    24742     49 |  0.000 % |
208.28/208.49	c |     24954 |  303312  6994286 21668859 | 2147483647    24954     49 |  0.000 % |
208.68/208.88	c |     25187 |  303312  6994286 21668859 | 2147483647    25187     49 |  0.000 % |
208.98/209.18	c |     25444 |  303312  6994286 21668859 | 2147483647    25444     49 |  0.000 % |
209.48/209.60	c |     25731 |  303312  6994286 21668859 | 2147483647    25731     49 |  0.000 % |
209.88/210.06	c |     26041 |  303312  6994286 21668859 | 2147483647    26041     49 |  0.000 % |
210.38/210.59	c |     26383 |  303312  6994286 21668859 | 2147483647    26383     49 |  0.000 % |
211.08/211.25	c |     26755 |  303312  6994286 21668859 | 2147483647    26755     49 |  0.000 % |
211.58/211.76	c |     27164 |  303312  6994286 21668859 | 2147483647    27164     49 |  0.000 % |
212.08/212.23	c |     27613 |  303312  6994286 21668859 | 2147483647    27613     49 |  0.000 % |
212.38/212.52	c |     27713 |  303312  6994286 21668859 | 2147483647    27713     49 |  0.000 % |
212.57/212.77	c |     27823 |  303312  6994286 21668859 | 2147483647    27823     49 |  0.000 % |
212.97/213.12	c |     27944 |  303312  6994286 21668859 | 2147483647    27944     49 |  0.000 % |
213.18/213.35	c |     28078 |  303312  6994286 21668859 | 2147483647    28078     49 |  0.000 % |
213.57/213.74	c |     28226 |  303312  6994286 21668859 | 2147483647    28226     49 |  0.000 % |
213.77/213.97	c |     28386 |  303312  6994286 21668859 | 2147483647    28386     49 |  0.000 % |
214.28/214.43	c |     28562 |  303312  6994286 21668859 | 2147483647    28562     49 |  0.000 % |
214.77/214.92	c |     28755 |  303312  6994286 21668859 | 2147483647    28755     49 |  0.000 % |
215.07/215.26	c |     28967 |  303312  6994286 21668859 | 2147483647    28967     48 |  0.000 % |
215.57/215.76	c |     29200 |  303312  6994286 21668859 | 2147483647    29200     48 |  0.000 % |
215.97/216.16	c |     29456 |  303312  6994286 21668859 | 2147483647    29456     48 |  0.000 % |
216.67/216.81	c |     29737 |  303312  6994286 21668859 | 2147483647    29737     48 |  0.000 % |
217.17/217.38	c |     30046 |  303312  6994286 21668859 | 2147483647    30046     48 |  0.000 % |
217.77/217.91	c |     30385 |  303312  6994286 21668859 | 2147483647    30385     49 |  0.000 % |
218.57/218.73	c |     30759 |  303312  6994286 21668859 | 2147483647    30759     48 |  0.000 % |
218.97/219.16	c |     31168 |  303312  6994286 21668859 | 2147483647    31168     48 |  0.000 % |
219.87/220.05	c |     31617 |  303312  6994286 21668859 | 2147483647    31617     48 |  0.000 % |
220.67/220.85	c |     32111 |  303312  6994286 21668859 | 2147483647    32111     48 |  0.000 % |
220.87/221.04	c |     32211 |  303312  6994286 21668859 | 2147483647    32211     48 |  0.000 % |
221.17/221.31	c |     32322 |  303312  6994286 21668859 | 2147483647    32322     48 |  0.000 % |
221.37/221.57	c |     32444 |  303312  6994286 21668859 | 2147483647    32444     48 |  0.000 % |
222.07/222.28	c |     32577 |  303312  6994286 21668859 | 2147483647    32577     47 |  0.000 % |
222.66/222.85	c |     32723 |  303312  6994286 21668859 | 2147483647    32723     48 |  0.000 % |
223.26/223.41	c |     32883 |  303312  6994286 21668859 | 2147483647    32883     48 |  0.000 % |
223.86/224.00	c |     33059 |  303312  6994286 21668859 | 2147483647    33059     47 |  0.000 % |
224.66/224.81	c |     33256 |  303312  6994286 21668859 | 2147483647    33256     47 |  0.000 % |
225.16/225.39	c |     33468 |  303312  6994286 21668859 | 2147483647    33468     48 |  0.000 % |
225.66/225.84	c |     33702 |  303312  6994286 21668859 | 2147483647    33702     48 |  0.000 % |
226.26/226.48	c |     33959 |  303312  6994286 21668859 | 2147483647    33959     48 |  0.000 % |
227.76/227.95	c |     34240 |  303312  6994286 21668859 | 2147483647    34240     48 |  0.000 % |
228.86/229.06	c |     34549 |  303312  6994286 21668859 | 2147483647    34549     48 |  0.000 % |
230.47/230.62	c |     34890 |  303312  6994286 21668859 | 2147483647    34890     48 |  0.000 % |
230.87/231.08	c |     35262 |  303312  6994286 21668859 | 2147483647    35262     48 |  0.000 % |
232.66/232.81	c |     35673 |  303312  6994286 21668859 | 2147483647    35673     48 |  0.000 % |
233.66/233.85	c |     36122 |  303312  6994286 21668859 | 2147483647    36122     48 |  0.000 % |
235.36/235.51	c |     36616 |  303312  6994286 21668859 | 2147483647    36616     48 |  0.000 % |
237.26/237.46	c |     37159 |  303312  6994286 21668859 | 2147483647    37159     48 |  0.000 % |
237.56/237.73	c |     37260 |  303312  6994286 21668859 | 2147483647    37260     48 |  0.000 % |
237.96/238.13	c |     37370 |  303312  6994286 21668859 | 2147483647    37370     49 |  0.000 % |
238.46/238.69	c |     37493 |  303312  6994286 21668859 | 2147483647    37493     49 |  0.000 % |
239.26/239.48	c |     37626 |  303312  6994286 21668859 | 2147483647    37626     49 |  0.000 % |
240.56/240.74	c |     37776 |  303312  6994286 21668859 | 2147483647    37776     49 |  0.000 % |
241.56/241.77	c |     37938 |  303312  6994286 21668859 | 2147483647    37938     49 |  0.000 % |
242.06/242.28	c |     38115 |  303312  6994286 21668859 | 2147483647    38115     49 |  0.000 % |
242.46/242.69	c |     38313 |  303312  6994286 21668859 | 2147483647    38313     49 |  0.000 % |
242.96/243.16	c |     38526 |  303312  6994286 21668859 | 2147483647    38526     49 |  0.000 % |
243.56/243.77	c |     38759 |  303312  6994286 21668859 | 2147483647    38759     49 |  0.000 % |
244.06/244.23	c |     39015 |  303312  6994286 21668859 | 2147483647    39015     49 |  0.000 % |
244.76/244.92	c |     39298 |  303312  6994286 21668859 | 2147483647    39298     49 |  0.000 % |
245.16/245.32	c |     39608 |  303312  6994286 21668859 | 2147483647    39608     49 |  0.000 % |
245.56/245.78	c |     39948 |  303312  6994286 21668859 | 2147483647    39948     49 |  0.000 % |
246.16/246.36	c |     40320 |  303312  6994286 21668859 | 2147483647    40320     49 |  0.000 % |
246.75/246.91	c |     40730 |  303312  6994286 21668859 | 2147483647    40730     48 |  0.000 % |
247.26/247.48	c |     41179 |  303312  6994286 21668859 | 2147483647    41179     48 |  0.000 % |
248.05/248.28	c |     41672 |  303312  6994286 21668859 | 2147483647    41672     48 |  0.000 % |
248.85/249.07	c |     42217 |  303312  6994286 21668859 | 2147483647    42217     48 |  0.000 % |
249.65/249.80	c |     42814 |  303312  6994286 21668859 | 2147483647    42814     47 |  0.000 % |
249.95/250.10	c |     42916 |  303312  6994286 21668859 | 2147483647    42916     47 |  0.000 % |
250.35/250.54	c |     43026 |  303312  6994286 21668859 | 2147483647    43026     48 |  0.000 % |
250.85/251.05	c |     43147 |  303312  6994286 21668859 | 2147483647    43147     48 |  0.000 % |
251.45/251.61	c |     43281 |  303312  6994286 21668859 | 2147483647    43281     48 |  0.000 % |
251.65/251.87	c |     43427 |  303312  6994286 21668859 | 2147483647    43427     48 |  0.000 % |
252.15/252.36	c |     43588 |  303312  6994286 21668859 | 2147483647    43588     47 |  0.000 % |
252.75/252.95	c |     43765 |  303312  6994286 21668859 | 2147483647    43765     48 |  0.000 % |
253.25/253.42	c |     43962 |  303312  6994286 21668859 | 2147483647    43962     48 |  0.000 % |
253.45/253.68	c |     44175 |  303312  6994286 21668859 | 2147483647    44175     48 |  0.000 % |
253.75/253.95	c |     44408 |  303312  6994286 21668859 | 2147483647    44408     48 |  0.000 % |
254.65/254.88	c |     44664 |  303312  6994286 21668859 | 2147483647    44664     48 |  0.000 % |
255.75/255.99	c |     44946 |  303312  6994286 21668859 | 2147483647    44946     48 |  0.000 % |
256.75/256.96	c |     45255 |  303312  6994286 21668859 | 2147483647    45255     48 |  0.000 % |
257.55/257.72	c |     45594 |  303312  6994286 21668859 | 2147483647    45594     48 |  0.000 % |
258.15/258.32	c |     45966 |  303312  6994286 21668859 | 2147483647    45966     49 |  0.000 % |
258.75/258.97	c |     46376 |  303312  6994286 21668859 | 2147483647    46376     49 |  0.000 % |
259.25/259.49	c |     46825 |  303312  6994286 21668859 | 2147483647    46825     49 |  0.000 % |
260.06/260.24	c |     47319 |  303312  6994286 21668859 | 2147483647    47319     49 |  0.000 % |
260.65/260.82	c |     47861 |  303312  6994286 21668859 | 2147483647    47861     48 |  0.000 % |
261.35/261.58	c |     48457 |  303312  6994286 21668859 | 2147483647    48457     48 |  0.000 % |
262.05/262.23	c |     49112 |  303312  6994286 21668859 | 2147483647    49112     48 |  0.000 % |
262.25/262.43	c |     49212 |  303312  6994286 21668859 | 2147483647    49212     48 |  0.000 % |
262.45/262.65	c |     49323 |  303312  6994286 21668859 | 2147483647    49323     48 |  0.000 % |
262.66/262.85	c |     49447 |  303312  6994286 21668859 | 2147483647    49447     48 |  0.000 % |
262.95/263.10	c |     49580 |  303312  6994286 21668859 | 2147483647    49580     48 |  0.000 % |
263.15/263.37	c |     49726 |  303312  6994286 21668859 | 2147483647    49726     48 |  0.000 % |
263.45/263.65	c |     49886 |  303312  6994286 21668859 | 2147483647    49886     47 |  0.000 % |
263.65/263.86	c |     50062 |  303312  6994286 21668859 | 2147483647    50062     47 |  0.000 % |
263.95/264.10	c |     50255 |  303312  6994286 21668859 | 2147483647    50255     47 |  0.000 % |
264.25/264.43	c |     50469 |  303312  6994286 21668859 | 2147483647    50469     47 |  0.000 % |
264.55/264.74	c |     50704 |  303312  6994286 21668859 | 2147483647    50704     47 |  0.000 % |
264.95/265.10	c |     50961 |  303312  6994286 21668859 | 2147483647    50961     47 |  0.000 % |
265.25/265.46	c |     51243 |  303312  6994286 21668859 | 2147483647    51243     47 |  0.000 % |
265.65/265.80	c |     51552 |  303312  6994286 21668859 | 2147483647    51552     47 |  0.000 % |
266.05/266.20	c |     51891 |  303312  6994286 21668859 | 2147483647    51891     47 |  0.000 % |
266.45/266.69	c |     52264 |  303312  6994286 21668859 | 2147483647    52264     47 |  0.000 % |
267.05/267.21	c |     52674 |  303312  6994286 21668859 | 2147483647    52674     47 |  0.000 % |
267.55/267.77	c |     53123 |  303312  6994286 21668859 | 2147483647    53123     46 |  0.000 % |
268.25/268.40	c |     53616 |  303312  6994286 21668859 | 2147483647    53616     46 |  0.000 % |
268.95/269.11	c |     54158 |  303312  6994286 21668859 | 2147483647    54158     46 |  0.000 % |
269.65/269.84	c |     54755 |  303312  6994286 21668859 | 2147483647    54755     46 |  0.000 % |
270.25/270.44	c |     55411 |  303312  6994286 21668859 | 2147483647    55411     45 |  0.000 % |
271.05/271.28	c |     56133 |  303312  6994286 21668859 | 2147483647    56133     45 |  0.000 % |
271.25/271.49	c |     56233 |  303312  6994286 21668859 | 2147483647    56233     45 |  0.000 % |
271.55/271.74	c |     56343 |  303312  6994286 21668859 | 2147483647    56343     45 |  0.000 % |
271.75/271.99	c |     56464 |  303312  6994286 21668859 | 2147483647    56464     45 |  0.000 % |
272.05/272.25	c |     56597 |  303312  6994286 21668859 | 2147483647    56597     45 |  0.000 % |
272.35/272.51	c |     56743 |  303312  6994286 21668859 | 2147483647    56743     45 |  0.000 % |
272.65/272.82	c |     56903 |  303312  6994286 21668859 | 2147483647    56903     45 |  0.000 % |
272.85/273.07	c |     57082 |  303312  6994286 21668859 | 2147483647    57082     45 |  0.000 % |
273.15/273.39	c |     57276 |  303312  6994286 21668859 | 2147483647    57276     45 |  0.000 % |
273.55/273.73	c |     57488 |  303312  6994286 21668859 | 2147483647    57488     44 |  0.000 % |
273.85/274.07	c |     57722 |  303312  6994286 21668859 | 2147483647    57722     44 |  0.000 % |
274.35/274.52	c |     57980 |  303312  6994286 21668859 | 2147483647    57980     44 |  0.000 % |
274.75/274.92	c |     58261 |  303312  6994286 21668859 | 2147483647    58261     44 |  0.000 % |
275.14/275.36	c |     58572 |  303312  6994286 21668859 | 2147483647    58572     44 |  0.000 % |
275.64/275.84	c |     58911 |  303312  6994286 21668859 | 2147483647    58911     44 |  0.000 % |
276.44/276.68	c |     59283 |  303312  6994286 21668859 | 2147483647    59283     44 |  0.000 % |
277.64/277.85	c |     59692 |  303312  6994286 21668859 | 2147483647    59692     44 |  0.000 % |
278.44/278.66	c |     60142 |  303312  6994286 21668859 | 2147483647    60142     44 |  0.000 % |
279.84/280.06	c |     60638 |  303312  6994286 21668859 | 2147483647    60638     44 |  0.000 % |
280.54/280.75	c |     61181 |  303312  6994286 21668859 | 2147483647    61181     44 |  0.000 % |
281.84/282.00	c |     61779 |  303312  6994286 21668859 | 2147483647    61779     44 |  0.000 % |
282.84/283.07	c |     62434 |  303312  6994286 21668859 | 2147483647    62434     45 |  0.000 % |
283.94/284.19	c |     63154 |  303312  6994286 21668859 | 2147483647    63154     45 |  0.000 % |
285.03/285.24	c |     63947 |  303312  6994286 21668859 | 2147483647    63947     45 |  0.000 % |
285.44/285.62	c |     64049 |  303312  6994286 21668859 | 2147483647    64049     45 |  0.000 % |
285.64/285.88	c |     64160 |  303312  6994286 21668859 | 2147483647    64160     45 |  0.000 % |
286.03/286.23	c |     64282 |  303312  6994286 21668859 | 2147483647    64282     45 |  0.000 % |
287.03/287.21	c |     64415 |  303312  6994286 21668859 | 2147483647    64415     45 |  0.000 % |
288.04/288.27	c |     64561 |  303312  6994286 21668859 | 2147483647    64561     45 |  0.000 % |
288.83/289.08	c |     64722 |  303312  6994286 21668859 | 2147483647    64722     45 |  0.000 % |
289.63/289.85	c |     64899 |  303312  6994286 21668859 | 2147483647    64899     45 |  0.000 % |
290.33/290.59	c |     65094 |  303312  6994286 21668859 | 2147483647    65094     45 |  0.000 % |
290.93/291.15	c |     65306 |  303312  6994286 21668859 | 2147483647    65306     45 |  0.000 % |
291.43/291.62	c |     65539 |  303312  6994286 21668859 | 2147483647    65539     45 |  0.000 % |
291.73/291.96	c |     65795 |  303312  6994286 21668859 | 2147483647    65795     45 |  0.000 % |
292.13/292.39	c |     66076 |  303312  6994286 21668859 | 2147483647    66076     45 |  0.000 % |
293.73/293.96	c |     66385 |  303312  6994286 21668859 | 2147483647    66385     45 |  0.000 % |
294.43/294.65	c |     66727 |  303312  6994286 21668859 | 2147483647    66727     45 |  0.000 % |
295.13/295.39	c |     67100 |  303312  6994286 21668859 | 2147483647    67100     45 |  0.000 % |
295.73/295.94	c |     67509 |  303312  6994286 21668859 | 2147483647    67509     45 |  0.000 % |
296.73/296.94	c |     67960 |  303312  6994286 21668859 | 2147483647    67960     46 |  0.000 % |
297.33/297.56	c |     68453 |  303312  6994286 21668859 | 2147483647    68453     46 |  0.000 % |
298.13/298.39	c |     68995 |  303312  6994286 21668859 | 2147483647    68995     46 |  0.000 % |
299.13/299.34	c |     69591 |  303312  6994286 21668859 | 2147483647    69591     46 |  0.000 % |
301.24/301.43	c |     70249 |  303312  6994286 21668859 | 2147483647    70249     46 |  0.000 % |
303.93/304.18	c |     70972 |  303312  6994286 21668859 | 2147483647    70972     46 |  0.000 % |
305.93/306.11	c |     71767 |  303312  6994286 21668859 | 2147483647    71767     47 |  0.000 % |
307.43/307.60	c |     72641 |  303312  6994286 21668859 | 2147483647    72641     48 |  0.000 % |
307.83/308.02	c |     72743 |  303312  6994286 21668859 | 2147483647    72743     48 |  0.000 % |
308.72/308.92	c |     72853 |  303312  6994286 21668859 | 2147483647    72853     48 |  0.000 % |
309.12/309.37	c |     72974 |  303312  6994286 21668859 | 2147483647    72974     48 |  0.000 % |
309.22/309.49	c |     73110 |  303312  6994286 21668859 | 2147483647    73110     48 |  0.000 % |
309.93/310.16	c |     73256 |  303312  6994286 21668859 | 2147483647    73256     48 |  0.000 % |
310.62/310.84	c |     73418 |  303312  6994286 21668859 | 2147483647    73418     48 |  0.000 % |
311.32/311.53	c |     73595 |  303312  6994286 21668859 | 2147483647    73595     48 |  0.000 % |
312.02/312.23	c |     73790 |  303312  6994286 21668859 | 2147483647    73790     48 |  0.000 % |
313.33/313.53	c |     74002 |  303312  6994286 21668859 | 2147483647    74002     48 |  0.000 % |
313.92/314.16	c |     74235 |  303312  6994286 21668859 | 2147483647    74235     48 |  0.000 % |
314.32/314.57	c |     74492 |  303312  6994286 21668859 | 2147483647    74492     48 |  0.000 % |
315.62/315.84	c |     74774 |  303312  6994286 21668859 | 2147483647    74774     48 |  0.000 % |
316.02/316.29	c |     75083 |  303312  6994286 21668859 | 2147483647    75083     48 |  0.000 % |
317.52/317.72	c |     75422 |  303312  6994286 21668859 | 2147483647    75422     48 |  0.000 % |
318.52/318.72	c |     75796 |  303312  6994286 21668859 | 2147483647    75796     48 |  0.000 % |
319.12/319.38	c |     76205 |  303312  6994286 21668859 | 2147483647    76205     48 |  0.000 % |
321.82/322.00	c |     76654 |  303312  6994286 21668859 | 2147483647    76654     48 |  0.000 % |
323.72/323.93	c |     77147 |  303312  6994286 21668859 | 2147483647    77147     49 |  0.000 % |
325.92/326.14	c |     77690 |  303312  6994286 21668859 | 2147483647    77690     49 |  0.000 % |
327.31/327.50	c |     78288 |  303312  6994286 21668859 | 2147483647    78288     49 |  0.000 % |
328.72/328.93	c |     78945 |  303312  6994286 21668859 | 2147483647    78945     49 |  0.000 % |
330.11/330.33	c |     79666 |  303312  6994286 21668859 | 2147483647    79666     49 |  0.000 % |
331.71/331.90	c |     80458 |  303312  6994286 21668859 | 2147483647    80458     49 |  0.000 % |
333.41/333.62	c |     81329 |  303312  6994286 21668859 | 2147483647    81329     50 |  0.000 % |
334.71/334.91	c |     82290 |  303312  6994286 21668859 | 2147483647    82290     50 |  0.000 % |
335.01/335.23	c |     82391 |  303312  6994286 21668859 | 2147483647    82391     50 |  0.000 % |
335.31/335.56	c |     82502 |  303312  6994286 21668859 | 2147483647    82502     50 |  0.000 % |
335.90/336.10	c |     82623 |  303312  6994286 21668859 | 2147483647    82623     50 |  0.000 % |
336.10/336.37	c |     82756 |  303312  6994286 21668859 | 2147483647    82756     50 |  0.000 % |
336.41/336.69	c |     82902 |  303312  6994286 21668859 | 2147483647    82902     50 |  0.000 % |
336.90/337.15	c |     83062 |  303312  6994286 21668859 | 2147483647    83062     50 |  0.000 % |
337.41/337.64	c |     83239 |  303312  6994286 21668859 | 2147483647    83239     50 |  0.000 % |
337.70/337.97	c |     83433 |  303312  6994286 21668859 | 2147483647    83433     50 |  0.000 % |
338.90/339.13	c |     83645 |  303312  6994286 21668859 | 2147483647    83645     50 |  0.000 % |
339.90/340.14	c |     83878 |  303312  6994286 21668859 | 2147483647    83878     50 |  0.000 % |
340.71/340.95	c |     84135 |  303312  6994286 21668859 | 2147483647    84135     50 |  0.000 % |
341.50/341.75	c |     84418 |  303312  6994286 21668859 | 2147483647    84418     50 |  0.000 % |
342.00/342.27	c |     84731 |  303312  6994286 21668859 | 2147483647    84731     50 |  0.000 % |
342.61/342.87	c |     85071 |  303312  6994286 21668859 | 2147483647    85071     50 |  0.000 % |
344.01/344.20	c |     85450 |  303312  6994286 21668859 | 2147483647    85450     50 |  0.000 % |
345.11/345.39	c |     85859 |  303312  6994286 21668859 | 2147483647    85859     50 |  0.000 % |
346.70/346.98	c |     86309 |  303312  6994286 21668859 | 2147483647    86309     50 |  0.000 % |
347.31/347.53	c |     86802 |  303312  6994286 21668859 | 2147483647    86802     50 |  0.000 % |
348.70/348.97	c |     87344 |  303312  6994286 21668859 | 2147483647    87344     50 |  0.000 % |
351.40/351.65	c |     87940 |  303312  6994286 21668859 | 2147483647    87940     51 |  0.000 % |
352.50/352.75	c |     88595 |  303312  6994286 21668859 | 2147483647    88595     51 |  0.000 % |
353.90/354.12	c |     89320 |  303312  6994286 21668859 | 2147483647    89320     51 |  0.000 % |
354.89/355.20	c |     90114 |  303312  6994286 21668859 | 2147483647    90114     51 |  0.000 % |
355.99/356.28	c |     90985 |  303312  6994286 21668859 | 2147483647    90985     51 |  0.000 % |
357.99/358.29	c |     91943 |  303312  6994286 21668859 | 2147483647    91943     52 |  0.000 % |
359.90/360.19	c |     92996 |  303312  6994286 21668859 | 2147483647    92996     52 |  0.000 % |
360.20/360.40	c |     93096 |  303312  6994286 21668859 | 2147483647    93096     52 |  0.000 % |
360.60/360.81	c |     93206 |  303312  6994286 21668859 | 2147483647    93206     52 |  0.000 % |
360.99/361.26	c |     93327 |  303312  6994286 21668859 | 2147483647    93327     52 |  0.000 % |
361.39/361.66	c |     93460 |  303312  6994286 21668859 | 2147483647    93460     52 |  0.000 % |
361.79/362.01	c |     93606 |  303312  6994286 21668859 | 2147483647    93606     52 |  0.000 % |
362.19/362.47	c |     93766 |  303312  6994286 21668859 | 2147483647    93766     52 |  0.000 % |
362.70/362.97	c |     93942 |  303312  6994286 21668859 | 2147483647    93942     52 |  0.000 % |
362.99/363.24	c |     94136 |  303312  6994286 21668859 | 2147483647    94136     52 |  0.000 % |
363.49/363.73	c |     94348 |  303312  6994286 21668859 | 2147483647    94348     52 |  0.000 % |
363.99/364.27	c |     94581 |  303312  6994286 21668859 | 2147483647    94581     52 |  0.000 % |
364.79/365.08	c |     94837 |  303312  6994286 21668859 | 2147483647    94837     52 |  0.000 % |
365.89/366.14	c |     95118 |  303312  6994286 21668859 | 2147483647    95118     52 |  0.000 % |
366.69/366.94	c |     95430 |  303312  6994286 21668859 | 2147483647    95430     53 |  0.000 % |
367.49/367.72	c |     95769 |  303312  6994286 21668859 | 2147483647    95769     52 |  0.000 % |
368.19/368.48	c |     96141 |  303312  6994286 21668859 | 2147483647    96141     53 |  0.000 % |
368.68/368.91	c |     96550 |  303312  6994286 21668859 | 2147483647    96550     53 |  0.000 % |
370.08/370.36	c |     96999 |  303312  6994286 21668859 | 2147483647    96999     53 |  0.000 % |
371.38/371.70	c |     97492 |  303312  6994286 21668859 | 2147483647    97492     53 |  0.000 % |
373.08/373.37	c |     98036 |  303312  6994286 21668859 | 2147483647    98036     53 |  0.000 % |
374.58/374.86	c |     98633 |  303312  6994286 21668859 | 2147483647    98633     54 |  0.000 % |
375.18/375.48	c |     99288 |  303312  6994286 21668859 | 2147483647    99288     54 |  0.000 % |
376.19/376.43	c |    100008 |  303312  6994286 21668859 | 2147483647   100008     54 |  0.000 % |
379.29/379.55	c |    100800 |  303312  6994286 21668859 | 2147483647   100800     54 |  0.000 % |
380.98/381.20	c |    101672 |  303312  6994286 21668859 | 2147483647   101672     54 |  0.000 % |
381.98/382.25	c |    102630 |  303312  6994286 21668859 | 2147483647   102630     54 |  0.000 % |
383.28/383.56	c |    103683 |  303312  6994286 21668859 | 2147483647   103683     55 |  0.000 % |
383.87/384.14	c |    104841 |  303312  6994286 21668859 | 2147483647   104841     55 |  0.000 % |
384.07/384.34	c |    104941 |  303312  6994286 21668859 | 2147483647   104941     55 |  0.000 % |
384.47/384.75	c |    105052 |  303312  6994286 21668859 | 2147483647   105052     55 |  0.000 % |
385.37/385.67	c |    105174 |  303312  6994286 21668859 | 2147483647   105174     55 |  0.000 % |
385.67/385.98	c |    105310 |  303312  6994286 21668859 | 2147483647   105310     55 |  0.000 % |
386.07/386.33	c |    105458 |  303312  6994286 21668859 | 2147483647   105458     55 |  0.000 % |
386.88/387.15	c |    105618 |  303312  6994286 21668859 | 2147483647   105618     55 |  0.000 % |
387.67/387.96	c |    105796 |  303312  6994286 21668859 | 2147483647   105796     55 |  0.000 % |
387.98/388.30	c |    105990 |  303312  6994286 21668859 | 2147483647   105990     55 |  0.000 % |
388.37/388.66	c |    106202 |  303312  6994286 21668859 | 2147483647   106202     55 |  0.000 % |
388.77/389.07	c |    106436 |  303312  6994286 21668859 | 2147483647   106436     55 |  0.000 % |
390.27/390.59	c |    106693 |  303312  6994286 21668859 | 2147483647   106693     55 |  0.000 % |
390.97/391.21	c |    106974 |  303312  6994286 21668859 | 2147483647   106974     55 |  0.000 % |
391.38/391.69	c |    107284 |  303312  6994286 21668859 | 2147483647   107284     56 |  0.000 % |
391.98/392.24	c |    107623 |  303312  6994286 21668859 | 2147483647   107623     56 |  0.000 % |
392.78/393.05	c |    107995 |  303312  6994286 21668859 | 2147483647   107995     56 |  0.000 % |
394.58/394.80	c |    108404 |  303312  6994286 21668859 | 2147483647   108404     56 |  0.000 % |
395.68/395.95	c |    108853 |  303312  6994286 21668859 | 2147483647   108853     56 |  0.000 % |
396.47/396.77	c |    109346 |  303312  6994286 21668859 | 2147483647   109346     56 |  0.000 % |
398.27/398.52	c |    109889 |  303312  6994286 21668859 | 2147483647   109889     56 |  0.000 % |
399.37/399.61	c |    110486 |  303312  6994286 21668859 | 2147483647   110486     57 |  0.000 % |
400.17/400.45	c |    111142 |  303312  6994286 21668859 | 2147483647   111142     57 |  0.000 % |
401.86/402.14	c |    111862 |  303312  6994286 21668859 | 2147483647   111862     57 |  0.000 % |
404.66/404.92	c |    112654 |  303312  6994286 21668859 | 2147483647   112654     57 |  0.000 % |
405.96/406.27	c |    113527 |  303312  6994286 21668859 | 2147483647   113527     57 |  0.000 % |
407.66/407.98	c |    114486 |  303312  6994286 21668859 | 2147483647   114486     57 |  0.000 % |
411.16/411.48	c |    115539 |  303312  6994286 21668859 | 2147483647   115539     57 |  0.000 % |
413.56/413.87	c |    116699 |  303312  6994286 21668859 | 2147483647   116699     57 |  0.000 % |
416.96/417.21	c |    117972 |  303312  6994286 21668859 | 2147483647   117972     57 |  0.000 % |
417.26/417.51	c |    118072 |  303312  6994286 21668859 | 2147483647   118072     57 |  0.000 % |
417.46/417.79	c |    118184 |  303312  6994286 21668859 | 2147483647   118184     57 |  0.000 % |
418.06/418.32	c |    118305 |  303312  6994286 21668859 | 2147483647   118305     57 |  0.000 % |
418.36/418.67	c |    118439 |  303312  6994286 21668859 | 2147483647   118439     57 |  0.000 % |
418.86/419.19	c |    118586 |  303312  6994286 21668859 | 2147483647   118586     57 |  0.000 % |
419.66/419.91	c |    118748 |  303312  6994286 21668859 | 2147483647   118748     57 |  0.000 % |
419.96/420.25	c |    118924 |  303312  6994286 21668859 | 2147483647   118924     57 |  0.000 % |
420.56/420.84	c |    119117 |  303312  6994286 21668859 | 2147483647   119117     57 |  0.000 % |
421.06/421.33	c |    119330 |  303312  6994286 21668859 | 2147483647   119330     57 |  0.000 % |
421.46/421.73	c |    119565 |  303312  6994286 21668859 | 2147483647   119565     57 |  0.000 % |
422.06/422.40	c |    119821 |  303312  6994286 21668859 | 2147483647   119821     57 |  0.000 % |
422.45/422.77	c |    120104 |  303312  6994286 21668859 | 2147483647   120104     57 |  0.000 % |
422.86/423.19	c |    120413 |  303312  6994286 21668859 | 2147483647   120413     57 |  0.000 % |
423.35/423.64	c |    120753 |  303312  6994286 21668859 | 2147483647   120753     57 |  0.000 % |
424.26/424.51	c |    121125 |  303312  6994286 21668859 | 2147483647   121125     57 |  0.000 % |
424.75/425.10	c |    121534 |  303312  6994286 21668859 | 2147483647   121534     57 |  0.000 % |
425.65/425.98	c |    121983 |  303312  6994286 21668859 | 2147483647   121983     57 |  0.000 % |
426.65/426.90	c |    122477 |  303312  6994286 21668859 | 2147483647   122477     58 |  0.000 % |
427.55/427.83	c |    123019 |  303312  6994286 21668859 | 2147483647   123019     58 |  0.000 % |
430.15/430.41	c |    123618 |  303312  6994286 21668859 | 2147483647   123618     58 |  0.000 % |
430.96/431.27	c |    124275 |  303312  6994286 21668859 | 2147483647   124275     58 |  0.000 % |
432.85/433.16	c |    124995 |  303312  6994286 21668859 | 2147483647   124995     58 |  0.000 % |
434.26/434.57	c |    125789 |  303312  6994286 21668859 | 2147483647   125789     58 |  0.000 % |
436.05/436.39	c |    126660 |  303312  6994286 21668859 | 2147483647   126660     58 |  0.000 % |
437.65/437.98	c |    127619 |  303312  6994286 21668859 | 2147483647   127619     58 |  0.000 % |
439.25/439.53	c |    128672 |  303312  6994286 21668859 | 2147483647   128672     58 |  0.000 % |
440.65/441.00	c |    129830 |  303312  6994286 21668859 | 2147483647   129830     59 |  0.000 % |
442.74/443.04	c |    131103 |  303312  6994286 21668859 | 2147483647   131103     59 |  0.000 % |
444.34/444.62	c |    132503 |  303312  6994286 21668859 | 2147483647   132503     59 |  0.000 % |
445.54/445.82	c |    132604 |  303312  6994286 21668859 | 2147483647   132604     59 |  0.000 % |
446.04/446.36	c |    132714 |  303312  6994286 21668859 | 2147483647   132714     59 |  0.000 % |
446.44/446.77	c |    132835 |  303312  6994286 21668859 | 2147483647   132835     59 |  0.000 % |
446.84/447.16	c |    132969 |  303312  6994286 21668859 | 2147483647   132969     59 |  0.000 % |
447.14/447.47	c |    133119 |  303312  6994286 21668859 | 2147483647   133119     59 |  0.000 % |
447.64/447.91	c |    133279 |  303312  6994286 21668859 | 2147483647   133279     59 |  0.000 % |
447.84/448.19	c |    133456 |  303312  6994286 21668859 | 2147483647   133456     59 |  0.000 % |
448.44/448.73	c |    133649 |  303312  6994286 21668859 | 2147483647   133649     59 |  0.000 % |
448.94/449.28	c |    133862 |  303312  6994286 21668859 | 2147483647   133862     59 |  0.000 % |
449.55/449.82	c |    134095 |  303312  6994286 21668859 | 2147483647   134095     59 |  0.000 % |
450.15/450.48	c |    134351 |  303312  6994286 21668859 | 2147483647   134351     59 |  0.000 % |
450.65/450.99	c |    134632 |  303312  6994286 21668859 | 2147483647   134632     59 |  0.000 % |
451.64/451.99	c |    134942 |  303312  6994286 21668859 | 2147483647   134942     59 |  0.000 % |
452.64/452.96	c |    135281 |  303312  6994286 21668859 | 2147483647   135281     59 |  0.000 % |
453.44/453.77	c |    135655 |  303312  6994286 21668859 | 2147483647   135655     59 |  0.000 % |
454.84/455.15	c |    136065 |  303312  6994286 21668859 | 2147483647   136065     59 |  0.000 % |
456.25/456.54	c |    136514 |  303312  6994286 21668859 | 2147483647   136514     59 |  0.000 % |
457.94/458.24	c |    137009 |  303312  6994286 21668859 | 2147483647   137009     59 |  0.000 % |
459.94/460.30	c |    137551 |  303312  6994286 21668859 | 2147483647   137551     59 |  0.000 % |
462.14/462.43	c |    138147 |  303312  6994286 21668859 | 2147483647   138147     60 |  0.000 % |
463.54/463.89	c |    138802 |  303312  6994286 21668859 | 2147483647   138802     60 |  0.000 % |
467.24/467.59	c |    139525 |  303312  6994286 21668859 | 2147483647   139525     59 |  0.000 % |
470.23/470.53	c |    140317 |  303312  6994286 21668859 | 2147483647   140317     60 |  0.000 % |
472.54/472.86	c |    141189 |  303312  6994286 21668859 | 2147483647   141189     60 |  0.000 % |
475.24/475.54	c |    142147 |  303312  6994286 21668859 | 2147483647   142147     60 |  0.000 % |
477.73/478.06	c |    143203 |  303312  6994286 21668859 | 2147483647   143203     60 |  0.000 % |
481.73/482.02	c |    144362 |  303312  6994286 21668859 | 2147483647   144362     61 |  0.000 % |
484.33/484.62	c |    145635 |  303312  6994286 21668859 | 2147483647   145635     61 |  0.000 % |
486.93/487.26	c |    147037 |  303312  6994286 21668859 | 2147483647   147037     61 |  0.000 % |
492.53/492.87	c |    148579 |  303312  6994286 21668859 | 2147483647   148579     62 |  0.000 % |
493.42/493.70	c |    148679 |  303312  6994286 21668859 | 2147483647   148679     62 |  0.000 % |
493.72/494.09	c |    148789 |  303312  6994286 21668859 | 2147483647   148789     62 |  0.000 % |
494.42/494.73	c |    148911 |  303312  6994286 21668859 | 2147483647   148911     62 |  0.000 % |
494.72/495.01	c |    149045 |  303312  6994286 21668859 | 2147483647   149045     62 |  0.000 % |
495.52/495.90	c |    149191 |  303312  6994286 21668859 | 2147483647   149191     62 |  0.000 % |
495.92/496.22	c |    149351 |  303312  6994286 21668859 | 2147483647   149351     62 |  0.000 % |
497.02/497.30	c |    149527 |  303312  6994286 21668859 | 2147483647   149527     62 |  0.000 % |
497.92/498.20	c |    149720 |  303312  6994286 21668859 | 2147483647   149720     62 |  0.000 % |
498.42/498.72	c |    149932 |  303312  6994286 21668859 | 2147483647   149932     62 |  0.000 % |
499.31/499.67	c |    150166 |  303312  6994286 21668859 | 2147483647   150166     62 |  0.000 % |
499.92/500.28	c |    150423 |  303312  6994286 21668859 | 2147483647   150423     62 |  0.000 % |
500.42/500.79	c |    150704 |  303312  6994286 21668859 | 2147483647   150704     62 |  0.000 % |
501.02/501.32	c |    151016 |  303312  6994286 21668859 | 2147483647   151016     62 |  0.000 % |
502.62/502.94	c |    151355 |  303312  6994286 21668859 | 2147483647   151355     62 |  0.000 % |
503.52/503.84	c |    151728 |  303312  6994286 21668859 | 2147483647   151728     62 |  0.000 % |
504.22/504.51	c |    152137 |  303312  6994286 21668859 | 2147483647   152137     62 |  0.000 % |
504.72/505.03	c |    152588 |  303312  6994286 21668859 | 2147483647   152588     62 |  0.000 % |
506.01/506.36	c |    153083 |  303312  6994286 21668859 | 2147483647   153083     62 |  0.000 % |
507.21/507.58	c |    153629 |  303312  6994286 21668859 | 2147483647   153629     62 |  0.000 % |
508.81/509.18	c |    154227 |  303312  6994286 21668859 | 2147483647   154227     62 |  0.000 % |
510.41/510.70	c |    154883 |  303312  6994286 21668859 | 2147483647   154883     62 |  0.000 % |
511.41/511.72	c |    155603 |  303312  6994286 21668859 | 2147483647   155603     62 |  0.000 % |
513.61/513.96	c |    156395 |  303312  6994286 21668859 | 2147483647   156395     62 |  0.000 % |
514.71/515.02	c |    157266 |  303312  6994286 21668859 | 2147483647   157266     63 |  0.000 % |
516.41/516.73	c |    158224 |  303312  6994286 21668859 | 2147483647   158224     63 |  0.000 % |
519.11/519.49	c |    159279 |  303312  6994286 21668859 | 2147483647   159279     63 |  0.000 % |
522.31/522.67	c |    160437 |  303312  6994286 21668859 | 2147483647   160437     63 |  0.000 % |
524.32/524.69	c |    161717 |  303312  6994286 21668859 | 2147483647   161717     64 |  0.000 % |
526.01/526.38	c |    163117 |  303312  6994286 21668859 | 2147483647   163117     64 |  0.000 % |
532.31/532.69	c |    164657 |  303312  6994286 21668859 | 2147483647   164657     64 |  0.000 % |
534.61/534.93	c |    166351 |  303312  6994286 21668859 | 2147483647   166351     65 |  0.000 % |
535.41/535.76	c |    166452 |  303312  6994286 21668859 | 2147483647   166452     65 |  0.000 % |
535.80/536.16	c |    166563 |  303312  6994286 21668859 | 2147483647   166563     65 |  0.000 % |
536.70/537.07	c |    166685 |  303312  6994286 21668859 | 2147483647   166685     65 |  0.000 % |
537.30/537.66	c |    166818 |  303312  6994286 21668859 | 2147483647   166818     65 |  0.000 % |
537.61/537.91	c |    166965 |  303312  6994286 21668859 | 2147483647   166965     65 |  0.000 % |
538.20/538.53	c |    167126 |  303312  6994286 21668859 | 2147483647   167126     65 |  0.000 % |
538.50/538.86	c |    167304 |  303312  6994286 21668859 | 2147483647   167304     65 |  0.000 % |
539.50/539.84	c |    167497 |  303312  6994286 21668859 | 2147483647   167497     65 |  0.000 % |
540.20/540.51	c |    167709 |  303312  6994286 21668859 | 2147483647   167709     65 |  0.000 % |
541.10/541.41	c |    167942 |  303312  6994286 21668859 | 2147483647   167942     65 |  0.000 % |
541.80/542.15	c |    168198 |  303312  6994286 21668859 | 2147483647   168198     65 |  0.000 % |
542.20/542.50	c |    168479 |  303312  6994286 21668859 | 2147483647   168479     65 |  0.000 % |
543.60/543.96	c |    168789 |  303312  6994286 21668859 | 2147483647   168789     65 |  0.000 % |
544.30/544.68	c |    169128 |  303312  6994286 21668859 | 2147483647   169128     65 |  0.000 % |
546.80/547.14	c |    169502 |  303312  6994286 21668859 | 2147483647   169502     65 |  0.000 % |
547.69/548.04	c |    169912 |  303312  6994286 21668859 | 2147483647   169912     65 |  0.000 % |
549.39/549.71	c |    170361 |  303312  6994286 21668859 | 2147483647   170361     65 |  0.000 % |
550.99/551.37	c |    170854 |  303312  6994286 21668859 | 2147483647   170854     66 |  0.000 % |
552.19/552.51	c |    171396 |  303312  6994286 21668859 | 2147483647   171396     66 |  0.000 % |
552.69/553.09	c |    171993 |  303312  6994286 21668859 | 2147483647   171993     66 |  0.000 % |
555.69/556.01	c |    172648 |  303312  6994286 21668859 | 2147483647   172648     66 |  0.000 % |
557.69/558.04	c |    173374 |  303312  6994286 21668859 | 2147483647   173374     66 |  0.000 % |
559.69/560.05	c |    174167 |  303312  6994286 21668859 | 2147483647   174167     66 |  0.000 % |
560.79/561.17	c |    175038 |  303312  6994286 21668859 | 2147483647   175038     66 |  0.000 % |
563.19/563.52	c |    175998 |  303312  6994286 21668859 | 2147483647   175998     66 |  0.000 % |
566.19/566.58	c |    177053 |  303312  6994286 21668859 | 2147483647   177053     66 |  0.000 % |
568.19/568.54	c |    178211 |  303312  6994286 21668859 | 2147483647   178211     67 |  0.000 % |
570.78/571.18	c |    179484 |  303312  6994286 21668859 | 2147483647   179484     67 |  0.000 % |
572.88/573.28	c |    180884 |  303312  6994286 21668859 | 2147483647   180884     67 |  0.000 % |
575.09/575.41	c |    182425 |  303312  6994286 21668859 | 2147483647   182425     67 |  0.000 % |
577.49/577.88	c |    184122 |  303312  6994286 21668859 | 2147483647   184122     67 |  0.000 % |
579.58/579.95	c |    185985 |  303312  6994286 21668859 | 2147483647   185985     67 |  0.000 % |
579.99/580.31	c |    186085 |  303312  6994286 21668859 | 2147483647   186085     67 |  0.000 % |
580.39/580.74	c |    186195 |  303312  6994286 21668859 | 2147483647   186195     67 |  0.000 % |
580.88/581.23	c |    186316 |  303312  6994286 21668859 | 2147483647   186316     67 |  0.000 % |
581.78/582.19	c |    186449 |  303312  6994286 21668859 | 2147483647   186449     67 |  0.000 % |
582.38/582.75	c |    186597 |  303312  6994286 21668859 | 2147483647   186597     67 |  0.000 % |
583.69/584.02	c |    186758 |  303312  6994286 21668859 | 2147483647   186758     67 |  0.000 % |
584.28/584.66	c |    186934 |  303312  6994286 21668859 | 2147483647   186934     67 |  0.000 % |
585.08/585.43	c |    187127 |  303312  6994286 21668859 | 2147483647   187127     67 |  0.000 % |
585.58/585.90	c |    187339 |  303312  6994286 21668859 | 2147483647   187339     67 |  0.000 % |
585.88/586.26	c |    187572 |  303312  6994286 21668859 | 2147483647   187572     67 |  0.000 % |
586.68/587.08	c |    187829 |  303312  6994286 21668859 | 2147483647   187829     67 |  0.000 % |
587.28/587.68	c |    188111 |  303312  6994286 21668859 | 2147483647   188111     67 |  0.000 % |
589.28/589.62	c |    188421 |  303312  6994286 21668859 | 2147483647   188421     67 |  0.000 % |
590.68/591.04	c |    188762 |  303312  6994286 21668859 | 2147483647   188762     67 |  0.000 % |
591.98/592.37	c |    189134 |  303312  6994286 21668859 | 2147483647   189134     67 |  0.000 % |
593.27/593.64	c |    189543 |  303312  6994286 21668859 | 2147483647   189543     67 |  0.000 % |
594.68/595.05	c |    189994 |  303312  6994286 21668859 | 2147483647   189994     67 |  0.000 % |
596.57/596.96	c |    190489 |  303312  6994286 21668859 | 2147483647   190489     67 |  0.000 % |
597.97/598.34	c |    191031 |  303312  6994286 21668859 | 2147483647   191031     67 |  0.000 % |
599.67/600.04	c |    191627 |  303312  6994286 21668859 | 2147483647   191627     67 |  0.000 % |
600.67/601.01	c |    192283 |  303312  6994286 21668859 | 2147483647   192283     67 |  0.000 % |
603.47/603.85	c |    193003 |  303312  6994286 21668859 | 2147483647   193003     67 |  0.000 % |
604.77/605.15	c |    193795 |  303312  6994286 21668859 | 2147483647   193795     67 |  0.000 % |
608.17/608.55	c |    194666 |  303312  6994286 21668859 | 2147483647   194666     67 |  0.000 % |
610.97/611.36	c |    195624 |  303312  6994286 21668859 | 2147483647   195624     67 |  0.000 % |
613.47/613.89	c |    196680 |  303312  6994286 21668859 | 2147483647   196680     67 |  0.000 % |
617.16/617.51	c |    197838 |  303312  6994286 21668859 | 2147483647   197838     67 |  0.000 % |
619.26/619.62	c |    199111 |  303312  6994286 21668859 | 2147483647   199111     67 |  0.000 % |
623.76/624.11	c |    200511 |  303312  6994286 21668859 | 2147483647   200511     68 |  0.000 % |
627.77/628.14	c |    202052 |  303312  6994286 21668859 | 2147483647   202052     68 |  0.000 % |
632.46/632.86	c |    203748 |  303312  6994286 21668859 | 2147483647   203748     69 |  0.000 % |
635.06/635.47	c |    205611 |  303312  6994286 21668859 | 2147483647   205611     70 |  0.000 % |
641.65/642.07	c |    207660 |  303312  6994286 21668859 | 2147483647   207660     70 |  0.000 % |
642.35/642.78	c |    207761 |  303312  6994286 21668859 | 2147483647   207761     70 |  0.000 % |
643.25/643.66	c |    207872 |  303312  6994286 21668859 | 2147483647   207872     70 |  0.000 % |
643.85/644.24	c |    207994 |  303312  6994286 21668859 | 2147483647   207994     70 |  0.000 % |
644.45/644.81	c |    208128 |  303312  6994286 21668859 | 2147483647   208128     70 |  0.000 % |
645.15/645.58	c |    208275 |  303312  6994286 21668859 | 2147483647   208275     70 |  0.000 % |
645.45/645.89	c |    208437 |  303312  6994286 21668859 | 2147483647   208437     70 |  0.000 % |
646.45/646.83	c |    208613 |  303312  6994286 21668859 | 2147483647   208613     70 |  0.000 % |
647.26/647.69	c |    208808 |  303312  6994286 21668859 | 2147483647   208808     70 |  0.000 % |
647.76/648.13	c |    209020 |  303312  6994286 21668859 | 2147483647   209020     70 |  0.000 % |
649.16/649.53	c |    209253 |  303312  6994286 21668859 | 2147483647   209253     70 |  0.000 % |
649.95/650.30	c |    209510 |  303312  6994286 21668859 | 2147483647   209510     70 |  0.000 % |
651.86/652.22	c |    209791 |  303312  6994286 21668859 | 2147483647   209791     70 |  0.000 % |
652.55/652.95	c |    210100 |  303312  6994286 21668859 | 2147483647   210100     70 |  0.000 % |
653.65/654.05	c |    210441 |  303312  6994286 21668859 | 2147483647   210441     70 |  0.000 % |
654.35/654.77	c |    210814 |  303312  6994286 21668859 | 2147483647   210814     70 |  0.000 % |
655.75/656.14	c |    211224 |  303312  6994286 21668859 | 2147483647   211224     70 |  0.000 % |
657.85/658.29	c |    211673 |  303312  6994286 21668859 | 2147483647   211673     70 |  0.000 % |
659.45/659.84	c |    212169 |  303312  6994286 21668859 | 2147483647   212169     71 |  0.000 % |
660.55/660.92	c |    212713 |  303312  6994286 21668859 | 2147483647   212713     71 |  0.000 % |
661.35/661.76	c |    213309 |  303312  6994286 21668859 | 2147483647   213309     71 |  0.000 % |
662.85/663.25	c |    213964 |  303312  6994286 21668859 | 2147483647   213964     71 |  0.000 % |
664.34/664.71	c |    214688 |  303312  6994286 21668859 | 2147483647   214688     71 |  0.000 % |
665.35/665.71	c |    215480 |  303312  6994286 21668859 | 2147483647   215480     71 |  0.000 % |
669.05/669.45	c |    216351 |  303312  6994286 21668859 | 2147483647   216351     71 |  0.000 % |
670.95/671.32	c |    217311 |  303312  6994286 21668859 | 2147483647   217311     71 |  0.000 % |
674.35/674.71	c |    218367 |  303312  6994286 21668859 | 2147483647   218367     71 |  0.000 % |
679.44/679.83	c |    219525 |  303312  6994286 21668859 | 2147483647   219525     71 |  0.000 % |
682.84/683.21	c |    220798 |  303312  6994286 21668859 | 2147483647   220798     71 |  0.000 % |
686.44/686.86	c |    222198 |  303312  6994286 21668859 | 2147483647   222198     72 |  0.000 % |
689.14/689.54	c |    223740 |  303312  6994286 21668859 | 2147483647   223740     73 |  0.000 % |
693.14/693.50	c |    225434 |  303312  6994286 21668859 | 2147483647   225434     72 |  0.000 % |
698.23/698.62	c |    227297 |  303312  6994286 21668859 | 2147483647   227297     74 |  0.000 % |
701.03/701.47	c |    229346 |  303312  6994286 21668859 | 2147483647   229346     74 |  0.000 % |
705.23/705.69	c |    231600 |  303312  6994286 21668859 | 2147483647   231600     74 |  0.000 % |
705.63/706.08	c |    231701 |  303312  6994286 21668859 | 2147483647   231701     74 |  0.000 % |
706.03/706.48	c |    231811 |  303312  6994286 21668859 | 2147483647   231811     74 |  0.000 % |
706.43/706.81	c |    231932 |  303312  6994286 21668859 | 2147483647   231932     74 |  0.000 % |
706.73/707.15	c |    232068 |  303312  6994286 21668859 | 2147483647   232068     74 |  0.000 % |
707.33/707.74	c |    232214 |  303312  6994286 21668859 | 2147483647   232214     74 |  0.000 % |
707.63/708.10	c |    232374 |  303312  6994286 21668859 | 2147483647   232374     74 |  0.000 % |
708.13/708.53	c |    232551 |  303312  6994286 21668859 | 2147483647   232551     74 |  0.000 % |
709.22/709.61	c |    232746 |  303312  6994286 21668859 | 2147483647   232746     74 |  0.000 % |
709.72/710.15	c |    232958 |  303312  6994286 21668859 | 2147483647   232958     74 |  0.000 % |
710.42/710.81	c |    233193 |  303312  6994286 21668859 | 2147483647   233193     74 |  0.000 % |
710.92/711.35	c |    233449 |  303312  6994286 21668859 | 2147483647   233449     74 |  0.000 % |
711.33/711.76	c |    233730 |  303312  6994286 21668859 | 2147483647   233730     74 |  0.000 % |
712.22/712.67	c |    234040 |  303312  6994286 21668859 | 2147483647   234040     74 |  0.000 % |
713.62/714.07	c |    234379 |  303312  6994286 21668859 | 2147483647   234379     74 |  0.000 % |
714.92/715.30	c |    234751 |  303312  6994286 21668859 | 2147483647   234751     75 |  0.000 % |
715.72/716.18	c |    235160 |  303312  6994286 21668859 | 2147483647   235160     75 |  0.000 % |
716.52/716.97	c |    235613 |  303312  6994286 21668859 | 2147483647   235613     75 |  0.000 % |
717.72/718.16	c |    236106 |  303312  6994286 21668859 | 2147483647   236106     75 |  0.000 % |
718.93/719.32	c |    236648 |  303312  6994286 21668859 | 2147483647   236648     75 |  0.000 % |
719.82/720.26	c |    237246 |  303312  6994286 21668859 | 2147483647   237246     75 |  0.000 % |
721.52/721.91	c |    237904 |  303312  6994286 21668859 | 2147483647   237904     75 |  0.000 % |
723.12/723.54	c |    238625 |  303312  6994286 21668859 | 2147483647   238625     75 |  0.000 % |
724.42/724.81	c |    239417 |  303312  6994286 21668859 | 2147483647   239417     76 |  0.000 % |
725.92/726.33	c |    240289 |  303312  6994286 21668859 | 2147483647   240289     76 |  0.000 % |
727.22/727.64	c |    241247 |  303312  6994286 21668859 | 2147483647   241247     76 |  0.000 % |
728.61/729.06	c |    242300 |  303312  6994286 21668859 | 2147483647   242300     76 |  0.000 % |
734.71/735.17	c |    243459 |  303312  6994286 21668859 | 2147483647   243459     76 |  0.000 % |
737.52/738.00	c |    244734 |  303312  6994286 21668859 | 2147483647   244734     76 |  0.000 % |
739.82/740.27	c |    246134 |  303312  6994286 21668859 | 2147483647   246134     76 |  0.000 % |
742.21/742.64	c |    247676 |  303312  6994286 21668859 | 2147483647   247676     76 |  0.000 % |
748.31/748.77	c |    249374 |  303312  6994286 21668859 | 2147483647   249374     76 |  0.000 % |
753.20/753.65	c |    251239 |  303312  6994286 21668859 | 2147483647   251239     77 |  0.000 % |
756.20/756.69	c |    253288 |  303312  6994286 21668859 | 2147483647   253288     77 |  0.000 % |
763.90/764.34	c |    255542 |  303312  6994286 21668859 | 2147483647   255542     78 |  0.000 % |
768.00/768.40	c |    258020 |  303312  6994286 21668859 | 2147483647   258020     78 |  0.000 % |
768.70/769.17	c |    258121 |  303312  6994286 21668859 | 2147483647   258121     78 |  0.000 % |
769.10/769.56	c |    258231 |  303312  6994286 21668859 | 2147483647   258231     78 |  0.000 % |
769.60/770.04	c |    258353 |  303312  6994286 21668859 | 2147483647   258353     78 |  0.000 % |
770.10/770.51	c |    258487 |  303312  6994286 21668859 | 2147483647   258487     78 |  0.000 % |
770.70/771.17	c |    258635 |  303312  6994286 21668859 | 2147483647   258635     78 |  0.000 % |
771.30/771.71	c |    258796 |  303312  6994286 21668859 | 2147483647   258796     78 |  0.000 % |
771.70/772.12	c |    258972 |  303312  6994286 21668859 | 2147483647   258972     78 |  0.000 % |
772.20/772.62	c |    259166 |  303312  6994286 21668859 | 2147483647   259166     78 |  0.000 % |
772.70/773.18	c |    259379 |  303312  6994286 21668859 | 2147483647   259379     78 |  0.000 % |
773.20/773.65	c |    259613 |  303312  6994286 21668859 | 2147483647   259613     78 |  0.000 % |
773.90/774.30	c |    259870 |  303312  6994286 21668859 | 2147483647   259870     78 |  0.000 % |
774.40/774.82	c |    260155 |  303312  6994286 21668859 | 2147483647   260155     78 |  0.000 % |
775.19/775.60	c |    260464 |  303312  6994286 21668859 | 2147483647   260464     78 |  0.000 % |
775.99/776.42	c |    260804 |  303312  6994286 21668859 | 2147483647   260804     78 |  0.000 % |
776.79/777.29	c |    261176 |  303312  6994286 21668859 | 2147483647   261176     78 |  0.000 % |
777.99/778.40	c |    261585 |  303312  6994286 21668859 | 2147483647   261585     78 |  0.000 % |
779.29/779.71	c |    262034 |  303312  6994286 21668859 | 2147483647   262034     78 |  0.000 % |
781.29/781.72	c |    262527 |  303312  6994286 21668859 | 2147483647   262527     78 |  0.000 % |
783.69/784.14	c |    263073 |  303312  6994286 21668859 | 2147483647   263073     78 |  0.000 % |
786.10/786.59	c |    263669 |  303312  6994286 21668859 | 2147483647   263669     78 |  0.000 % |
787.29/787.76	c |    264324 |  303312  6994286 21668859 | 2147483647   264324     78 |  0.000 % |
788.09/788.55	c |    265045 |  303312  6994286 21668859 | 2147483647   265045     78 |  0.000 % |
789.88/790.39	c |    265837 |  303312  6994286 21668859 | 2147483647   265837     78 |  0.000 % |
791.79/792.26	c |    266708 |  303312  6994286 21668859 | 2147483647   266708     78 |  0.000 % |
795.59/796.00	c |    267666 |  303312  6994286 21668859 | 2147483647   267666     79 |  0.000 % |
797.29/797.76	c |    268720 |  303312  6994286 21668859 | 2147483647   268720     79 |  0.000 % |
799.98/800.48	c |    269878 |  303312  6994286 21668859 | 2147483647   269878     79 |  0.000 % |
802.08/802.53	c |    271152 |  303312  6994286 21668859 | 2147483647   271152     79 |  0.000 % |
804.48/804.96	c |    272552 |  303312  6994286 21668859 | 2147483647   272552     80 |  0.000 % |
807.88/808.39	c |    274092 |  303312  6994286 21668859 | 2147483647   274092     80 |  0.000 % |
811.28/811.72	c |    275786 |  303312  6994286 21668859 | 2147483647   275786     81 |  0.000 % |
814.58/815.10	c |    277649 |  303312  6994286 21668859 | 2147483647   277649     81 |  0.000 % |
816.78/817.25	c |    279698 |  303312  6994286 21668859 | 2147483647   279698     81 |  0.000 % |
825.58/826.05	c |    281951 |  303312  6994286 21668859 | 2147483647   281951     81 |  0.000 % |
829.17/829.67	c |    284429 |  303312  6994286 21668859 | 2147483647   284429     82 |  0.000 % |
833.47/833.93	c |    287154 |  303312  6994286 21668859 | 2147483647   287154     83 |  0.000 % |
833.77/834.21	c |    287254 |  303312  6994286 21668859 | 2147483647   287254     83 |  0.000 % |
833.97/834.45	c |    287364 |  303312  6994286 21668859 | 2147483647   287364     83 |  0.000 % |
834.26/834.71	c |    287485 |  303312  6994286 21668859 | 2147483647   287485     83 |  0.000 % |
834.86/835.35	c |    287618 |  303312  6994286 21668859 | 2147483647   287618     83 |  0.000 % |
835.47/835.97	c |    287765 |  303312  6994286 21668859 | 2147483647   287765     83 |  0.000 % |
835.86/836.35	c |    287929 |  303312  6994286 21668859 | 2147483647   287929     83 |  0.000 % |
836.86/837.38	c |    288105 |  303312  6994286 21668859 | 2147483647   288105     83 |  0.000 % |
837.56/838.05	c |    288298 |  303312  6994286 21668859 | 2147483647   288298     83 |  0.000 % |
838.26/838.74	c |    288510 |  303312  6994286 21668859 | 2147483647   288510     83 |  0.000 % |
838.96/839.48	c |    288743 |  303312  6994286 21668859 | 2147483647   288743     83 |  0.000 % |
840.16/840.64	c |    288999 |  303312  6994286 21668859 | 2147483647   288999     83 |  0.000 % |
841.66/842.14	c |    289281 |  303312  6994286 21668859 | 2147483647   289281     83 |  0.000 % |
842.66/843.18	c |    289590 |  303312  6994286 21668859 | 2147483647   289590     83 |  0.000 % |
843.76/844.24	c |    289930 |  303312  6994286 21668859 | 2147483647   289930     83 |  0.000 % |
844.76/845.23	c |    290302 |  303312  6994286 21668859 | 2147483647   290302     83 |  0.000 % |
846.66/847.15	c |    290711 |  303312  6994286 21668859 | 2147483647   290711     83 |  0.000 % |
848.77/849.25	c |    291160 |  303312  6994286 21668859 | 2147483647   291160     83 |  0.000 % |
850.56/851.03	c |    291655 |  303312  6994286 21668859 | 2147483647   291655     83 |  0.000 % |
853.56/854.08	c |    292197 |  303312  6994286 21668859 | 2147483647   292197     83 |  0.000 % |
854.76/855.27	c |    292795 |  303312  6994286 21668859 | 2147483647   292795     83 |  0.000 % |
856.36/856.85	c |    293455 |  303312  6994286 21668859 | 2147483647   293455     83 |  0.000 % |
857.65/858.13	c |    294175 |  303312  6994286 21668859 | 2147483647   294175     84 |  0.000 % |
859.05/859.51	c |    294967 |  303312  6994286 21668859 | 2147483647   294967     84 |  0.000 % |
861.75/862.21	c |    295838 |  303312  6994286 21668859 | 2147483647   295838     84 |  0.000 % |
864.16/864.66	c |    296799 |  303312  6994286 21668859 | 2147483647   296799     84 |  0.000 % |
867.65/868.13	c |    297852 |  303312  6994286 21668859 | 2147483647   297852     85 |  0.000 % |
871.44/871.95	c |    299010 |  303312  6994286 21668859 | 2147483647   299010     85 |  0.000 % |
876.85/877.34	c |    300283 |  303312  6994286 21668859 | 2147483647   300283     85 |  0.000 % |
881.04/881.52	c |    301686 |  303312  6994286 21668859 | 2147483647   301686     85 |  0.000 % |
885.24/885.78	c |    303226 |  303312  6994286 21668859 | 2147483647   303226     85 |  0.000 % |
887.94/888.44	c |    304921 |  303312  6994286 21668859 | 2147483647   304921     85 |  0.000 % |
891.14/891.69	c |    306784 |  303312  6994286 21668859 | 2147483647   306784     85 |  0.000 % |
895.34/895.87	c |    308833 |  303312  6994286 21668859 | 2147483647   308833     85 |  0.000 % |
900.14/900.68	c |    311086 |  303312  6994286 21668859 | 2147483647   311086     85 |  0.000 % |
905.23/905.74	c |    313564 |  303312  6994286 21668859 | 2147483647   313564     85 |  0.000 % |
911.44/911.97	c |    316290 |  303312  6994286 21668859 | 2147483647   316290     85 |  0.000 % |
917.03/917.54	c |    319287 |  303312  6994286 21668859 | 2147483647   319287     85 |  0.000 % |
917.33/917.85	c |    319387 |  303312  6994286 21668859 | 2147483647   319387     85 |  0.000 % |
917.73/918.20	c |    319497 |  303312  6994286 21668859 | 2147483647   319497     85 |  0.000 % |
918.13/918.64	c |    319618 |  303312  6994286 21668859 | 2147483647   319618     85 |  0.000 % |
918.43/918.95	c |    319751 |  303312  6994286 21668859 | 2147483647   319751     85 |  0.000 % |
918.93/919.45	c |    319897 |  303312  6994286 21668859 | 2147483647   319897     85 |  0.000 % |
919.33/919.82	c |    320057 |  303312  6994286 21668859 | 2147483647   320057     85 |  0.000 % |
919.73/920.26	c |    320234 |  303312  6994286 21668859 | 2147483647   320234     85 |  0.000 % |
920.23/920.72	c |    320427 |  303312  6994286 21668859 | 2147483647   320427     85 |  0.000 % |
921.12/921.63	c |    320640 |  303312  6994286 21668859 | 2147483647   320640     85 |  0.000 % |
921.82/922.32	c |    320873 |  303312  6994286 21668859 | 2147483647   320873     85 |  0.000 % |
922.52/923.05	c |    321129 |  303312  6994286 21668859 | 2147483647   321129     85 |  0.000 % |
923.12/923.69	c |    321410 |  303312  6994286 21668859 | 2147483647   321410     85 |  0.000 % |
923.82/924.39	c |    321721 |  303312  6994286 21668859 | 2147483647   321721     85 |  0.000 % |
924.53/925.06	c |    322060 |  303312  6994286 21668859 | 2147483647   322060     85 |  0.000 % |
925.42/925.99	c |    322432 |  303312  6994286 21668859 | 2147483647   322432     85 |  0.000 % |
926.02/926.54	c |    322842 |  303312  6994286 21668859 | 2147483647   322842     85 |  0.000 % |
927.02/927.58	c |    323291 |  303312  6994286 21668859 | 2147483647   323291     85 |  0.000 % |
927.92/928.49	c |    323784 |  303312  6994286 21668859 | 2147483647   323784     85 |  0.000 % |
929.02/929.54	c |    324326 |  303312  6994286 21668859 | 2147483647   324326     84 |  0.000 % |
930.13/930.62	c |    324923 |  303312  6994286 21668859 | 2147483647   324923     84 |  0.000 % |
931.33/931.80	c |    325578 |  303312  6994286 21668859 | 2147483647   325578     84 |  0.000 % |
932.63/933.17	c |    326298 |  303312  6994286 21668859 | 2147483647   326298     84 |  0.000 % |
934.43/934.91	c |    327090 |  303312  6994286 21668859 | 2147483647   327090     84 |  0.000 % |
936.52/937.09	c |    327962 |  303312  6994286 21668859 | 2147483647   327962     85 |  0.000 % |
938.12/938.69	c |    328922 |  303312  6994286 21668859 | 2147483647   328922     85 |  0.000 % |
940.62/941.18	c |    329976 |  303312  6994286 21668859 | 2147483647   329976     85 |  0.000 % |
943.12/943.65	c |    331136 |  303312  6994286 21668859 | 2147483647   331136     85 |  0.000 % |
945.52/946.07	c |    332409 |  303312  6994286 21668859 | 2147483647   332409     85 |  0.000 % |
948.72/949.20	c |    333819 |  303312  6994286 21668859 | 2147483647   333819     85 |  0.000 % |
951.42/951.97	c |    335359 |  303312  6994286 21668859 | 2147483647   335359     85 |  0.000 % |
954.81/955.39	c |    337054 |  303312  6994286 21668859 | 2147483647   337054     85 |  0.000 % |
960.92/961.48	c |    338917 |  303312  6994286 21668859 | 2147483647   338917     85 |  0.000 % |
965.61/966.16	c |    340966 |  303312  6994286 21668859 | 2147483647   340966     85 |  0.000 % |
970.01/970.59	c |    343220 |  303312  6994286 21668859 | 2147483647   343220     85 |  0.000 % |
976.01/976.50	c |    345698 |  303312  6994286 21668859 | 2147483647   345698     85 |  0.000 % |
981.30/981.80	c |    348425 |  303312  6994286 21668859 | 2147483647   348425     86 |  0.000 % |
987.00/987.58	c |    351423 |  303312  6994286 21668859 | 2147483647   351423     86 |  0.000 % |
992.30/992.81	c |    354719 |  303312  6994286 21668859 | 2147483647   354719     86 |  0.000 % |
992.60/993.18	c |    354820 |  303312  6994286 21668859 | 2147483647   354820     86 |  0.000 % |
993.00/993.58	c |    354932 |  303312  6994286 21668859 | 2147483647   354932     86 |  0.000 % |
993.30/993.84	c |    355054 |  303312  6994286 21668859 | 2147483647   355054     86 |  0.000 % |
994.10/994.63	c |    355187 |  303312  6994286 21668859 | 2147483647   355187     86 |  0.000 % |
994.80/995.33	c |    355333 |  303312  6994286 21668859 | 2147483647   355333     86 |  0.000 % |
995.30/995.90	c |    355493 |  303312  6994286 21668859 | 2147483647   355493     86 |  0.000 % |
996.50/997.00	c |    355670 |  303312  6994286 21668859 | 2147483647   355670     86 |  0.000 % |
996.90/997.47	c |    355863 |  303312  6994286 21668859 | 2147483647   355863     86 |  0.000 % |
998.49/999.06	c |    356075 |  303312  6994286 21668859 | 2147483647   356075     86 |  0.000 % |
999.19/999.80	c |    356308 |  303312  6994286 21668859 | 2147483647   356308     86 |  0.000 % |
1000.19/1000.72	c |    356566 |  303312  6994286 21668859 | 2147483647   356566     86 |  0.000 % |
1001.99/1002.57	c |    356847 |  303312  6994286 21668859 | 2147483647   356847     86 |  0.000 % |
1002.89/1003.41	c |    357157 |  303312  6994286 21668859 | 2147483647   357157     86 |  0.000 % |
1003.69/1004.22	c |    357496 |  303312  6994286 21668859 | 2147483647   357496     86 |  0.000 % |
1004.39/1004.99	c |    357868 |  303312  6994286 21668859 | 2147483647   357868     86 |  0.000 % |
1005.19/1005.73	c |    358277 |  303312  6994286 21668859 | 2147483647   358277     86 |  0.000 % |
1006.18/1006.72	c |    358726 |  303312  6994286 21668859 | 2147483647   358726     86 |  0.000 % |
1007.28/1007.84	c |    359219 |  303312  6994286 21668859 | 2147483647   359219     86 |  0.000 % |
1008.19/1008.78	c |    359763 |  303312  6994286 21668859 | 2147483647   359763     86 |  0.000 % |
1009.78/1010.31	c |    360360 |  303312  6994286 21668859 | 2147483647   360360     86 |  0.000 % |
1011.08/1011.61	c |    361016 |  303312  6994286 21668859 | 2147483647   361016     86 |  0.000 % |
1013.29/1013.84	c |    361737 |  303312  6994286 21668859 | 2147483647   361737     86 |  0.000 % |
1014.89/1015.49	c |    362531 |  303312  6994286 21668859 | 2147483647   362531     86 |  0.000 % |
1016.69/1017.24	c |    363402 |  303312  6994286 21668859 | 2147483647   363402     86 |  0.000 % |
1018.68/1019.20	c |    364361 |  303312  6994286 21668859 | 2147483647   364361     86 |  0.000 % |
1020.48/1021.09	c |    365415 |  303312  6994286 21668859 | 2147483647   365415     86 |  0.000 % |
1022.28/1022.84	c |    366573 |  303312  6994286 21668859 | 2147483647   366573     86 |  0.000 % |
1024.58/1025.19	c |    367847 |  303312  6994286 21668859 | 2147483647   367847     87 |  0.000 % |
1027.28/1027.82	c |    369248 |  303312  6994286 21668859 | 2147483647   369248     87 |  0.000 % |
1029.18/1029.77	c |    370789 |  303312  6994286 21668859 | 2147483647   370789     86 |  0.000 % |
1031.98/1032.52	c |    372485 |  303312  6994286 21668859 | 2147483647   372485     86 |  0.000 % |
1034.48/1035.07	c |    374349 |  303312  6994286 21668859 | 2147483647   374349     86 |  0.000 % |
1037.18/1037.74	c |    376399 |  303312  6994286 21668859 | 2147483647   376399     86 |  0.000 % |
1040.27/1040.88	c |    378653 |  303312  6994286 21668859 | 2147483647   378653     86 |  0.000 % |
1044.68/1045.28	c |    381132 |  303312  6994286 21668859 | 2147483647   381132     86 |  0.000 % |
1049.07/1049.64	c |    383859 |  303312  6994286 21668859 | 2147483647   383859     86 |  0.000 % |
1053.56/1054.11	c |    386856 |  303312  6994286 21668859 | 2147483647   386856     86 |  0.000 % |
1059.06/1059.66	c |    390154 |  303312  6994286 21668859 | 2147483647   390154     86 |  0.000 % |
1065.37/1065.93	c |    393779 |  303312  6994286 21668859 | 2147483647   393779     85 |  0.000 % |
1065.66/1066.29	c |    393880 |  303312  6994286 21668859 | 2147483647   393880     85 |  0.000 % |
1065.96/1066.54	c |    393990 |  303312  6994286 21668859 | 2147483647   393990     85 |  0.000 % |
1066.26/1066.88	c |    394111 |  303312  6994286 21668859 | 2147483647   394111     85 |  0.000 % |
1066.66/1067.21	c |    394244 |  303312  6994286 21668859 | 2147483647   394244     85 |  0.000 % |
1067.06/1067.67	c |    394390 |  303312  6994286 21668859 | 2147483647   394390     85 |  0.000 % |
1067.47/1068.10	c |    394550 |  303312  6994286 21668859 | 2147483647   394550     85 |  0.000 % |
1068.16/1068.70	c |    394726 |  303312  6994286 21668859 | 2147483647   394726     85 |  0.000 % |
1068.96/1069.57	c |    394920 |  303312  6994286 21668859 | 2147483647   394920     85 |  0.000 % |
1069.76/1070.33	c |    395136 |  303312  6994286 21668859 | 2147483647   395136     85 |  0.000 % |
1070.36/1070.97	c |    395370 |  303312  6994286 21668859 | 2147483647   395370     85 |  0.000 % |
1071.06/1071.69	c |    395626 |  303312  6994286 21668859 | 2147483647   395626     85 |  0.000 % |
1072.06/1072.66	c |    395908 |  303312  6994286 21668859 | 2147483647   395908     85 |  0.000 % |
1072.56/1073.15	c |    396218 |  303312  6994286 21668859 | 2147483647   396218     85 |  0.000 % |
1073.55/1074.15	c |    396559 |  303312  6994286 21668859 | 2147483647   396559     85 |  0.000 % |
1074.85/1075.49	c |    396931 |  303312  6994286 21668859 | 2147483647   396931     85 |  0.000 % |
1075.96/1076.55	c |    397340 |  303312  6994286 21668859 | 2147483647   397340     85 |  0.000 % |
1077.56/1078.14	c |    397790 |  303312  6994286 21668859 | 2147483647   397790     85 |  0.000 % |
1078.86/1079.44	c |    398283 |  303312  6994286 21668859 | 2147483647   398283     85 |  0.000 % |
1080.16/1080.75	c |    398827 |  303312  6994286 21668859 | 2147483647   398827     85 |  0.000 % |
1081.56/1082.14	c |    399426 |  303312  6994286 21668859 | 2147483647   399426     85 |  0.000 % |
1083.36/1083.92	c |    400081 |  303312  6994286 21668859 | 2147483647   400081     85 |  0.000 % |
1084.95/1085.55	c |    400802 |  303312  6994286 21668859 | 2147483647   400802     85 |  0.000 % |
1088.05/1088.69	c |    401597 |  303312  6994286 21668859 | 2147483647   401597     85 |  0.000 % |
1092.25/1092.84	c |    402468 |  303312  6994286 21668859 | 2147483647   402468     85 |  0.000 % |
1094.75/1095.35	c |    403426 |  303312  6994286 21668859 | 2147483647   403426     87 |  0.000 % |
1097.55/1098.17	c |    404480 |  303312  6994286 21668859 | 2147483647   404480     87 |  0.000 % |
1101.14/1101.71	c |    405638 |  303312  6994286 21668859 | 2147483647   405638     87 |  0.000 % |
1103.75/1104.32	c |    406915 |  303312  6994286 21668859 | 2147483647   406915     87 |  0.000 % |
1106.35/1106.90	c |    408315 |  303312  6994286 21668859 | 2147483647   408315     87 |  0.000 % |
1110.15/1110.72	c |    409856 |  303312  6994286 21668859 | 2147483647   409856     88 |  0.000 % |
1115.54/1116.19	c |    411551 |  303312  6994286 21668859 | 2147483647   411551     88 |  0.000 % |
1118.74/1119.32	c |    413414 |  303312  6994286 21668859 | 2147483647   413414     88 |  0.000 % |
1124.54/1125.15	c |    415464 |  303312  6994286 21668859 | 2147483647   415464     88 |  0.000 % |
1127.33/1127.97	c |    417718 |  303312  6994286 21668859 | 2147483647   417718     88 |  0.000 % |
1130.33/1130.92	c |    420197 |  303312  6994286 21668859 | 2147483647   420197     88 |  0.000 % |
1136.93/1137.55	c |    422924 |  303312  6994286 21668859 | 2147483647   422924     89 |  0.000 % |
1139.63/1140.29	c |    425921 |  303312  6994286 21668859 | 2147483647   425921     89 |  0.000 % |
1144.13/1144.78	c |    429218 |  303312  6994286 21668859 | 2147483647   429218     89 |  0.000 % |
1153.62/1154.22	c |    432843 |  303312  6994286 21668859 | 2147483647   432843     90 |  0.000 % |
1162.03/1162.61	c |    436832 |  303312  6994286 21668859 | 2147483647   436832     90 |  0.000 % |
1162.52/1163.11	c |    436932 |  303312  6994286 21668859 | 2147483647   436932     90 |  0.000 % |
1163.02/1163.68	c |    437042 |  303312  6994286 21668859 | 2147483647   437042     90 |  0.000 % |
1163.62/1164.21	c |    437163 |  303312  6994286 21668859 | 2147483647   437163     90 |  0.000 % |
1164.23/1164.84	c |    437296 |  303312  6994286 21668859 | 2147483647   437296     90 |  0.000 % |
1165.02/1165.69	c |    437442 |  303312  6994286 21668859 | 2147483647   437442     90 |  0.000 % |
1165.92/1166.56	c |    437603 |  303312  6994286 21668859 | 2147483647   437603     90 |  0.000 % |
1166.92/1167.56	c |    437780 |  303312  6994286 21668859 | 2147483647   437780     90 |  0.000 % |
1168.02/1168.64	c |    437973 |  303312  6994286 21668859 | 2147483647   437973     90 |  0.000 % |
1169.02/1169.65	c |    438185 |  303312  6994286 21668859 | 2147483647   438185     90 |  0.000 % |
1170.52/1171.15	c |    438418 |  303312  6994286 21668859 | 2147483647   438418     90 |  0.000 % |
1172.12/1172.77	c |    438675 |  303312  6994286 21668859 | 2147483647   438675     90 |  0.000 % |
1172.92/1173.54	c |    438957 |  303312  6994286 21668859 | 2147483647   438957     90 |  0.000 % |
1174.42/1175.09	c |    439266 |  303312  6994286 21668859 | 2147483647   439266     90 |  0.000 % |
1175.42/1176.02	c |    439606 |  303312  6994286 21668859 | 2147483647   439606     90 |  0.000 % |
1176.42/1177.02	c |    439978 |  303312  6994286 21668859 | 2147483647   439978     90 |  0.000 % |
1178.41/1179.06	c |    440390 |  303312  6994286 21668859 | 2147483647   440390     90 |  0.000 % |
1179.51/1180.19	c |    440839 |  303312  6994286 21668859 | 2147483647   440839     90 |  0.000 % |
1181.41/1182.01	c |    441333 |  303312  6994286 21668859 | 2147483647   441333     90 |  0.000 % |
1182.91/1183.55	c |    441875 |  303312  6994286 21668859 | 2147483647   441875     90 |  0.000 % |
1184.42/1185.02	c |    442472 |  303312  6994286 21668859 | 2147483647   442472     90 |  0.000 % |
1185.82/1186.42	c |    443127 |  303312  6994286 21668859 | 2147483647   443127     90 |  0.000 % |
1188.11/1188.75	c |    443847 |  303312  6994286 21668859 | 2147483647   443847     90 |  0.000 % |
1190.41/1191.00	c |    444640 |  303312  6994286 21668859 | 2147483647   444640     90 |  0.000 % |
1192.61/1193.24	c |    445511 |  303312  6994286 21668859 | 2147483647   445511     90 |  0.000 % |
1195.71/1196.31	c |    446469 |  303312  6994286 21668859 | 2147483647   446469     90 |  0.000 % |
1197.41/1198.00	c |    447523 |  303312  6994286 21668859 | 2147483647   447523     90 |  0.000 % |
1200.51/1201.20	c |    448681 |  303312  6994286 21668859 | 2147483647   448681     90 |  0.000 % |
1203.41/1204.05	c |    449954 |  303312  6994286 21668859 | 2147483647   449954     90 |  0.000 % |
1206.01/1206.61	c |    451354 |  303312  6994286 21668859 | 2147483647   451354     90 |  0.000 % |
1208.50/1209.15	c |    452894 |  303312  6994286 21668859 | 2147483647   452894     90 |  0.000 % |
1211.60/1212.30	c |    454590 |  303312  6994286 21668859 | 2147483647   454590     90 |  0.000 % |
1214.90/1215.59	c |    456453 |  303312  6994286 21668859 | 2147483647   456453     90 |  0.000 % |
1218.70/1219.38	c |    458502 |  303312  6994286 21668859 | 2147483647   458502     90 |  0.000 % |
1224.29/1224.96	c |    460756 |  303312  6994286 21668859 | 2147483647   460756     91 |  0.000 % |
1229.00/1229.65	c |    463234 |  303312  6994286 21668859 | 2147483647   463234     91 |  0.000 % |
1233.19/1233.84	c |    465962 |  303312  6994286 21668859 | 2147483647   465962     91 |  0.000 % |
1239.59/1240.28	c |    468961 |  303312  6994286 21668859 | 2147483647   468961     92 |  0.000 % |
1245.99/1246.67	c |    472257 |  303312  6994286 21668859 | 2147483647   472257     91 |  0.000 % |
1252.09/1252.76	c |    475884 |  303312  6994286 21668859 | 2147483647   475884     91 |  0.000 % |
1259.58/1260.23	c |    479871 |  303312  6994286 21668859 | 2147483647   479871     91 |  0.000 % |
1266.07/1266.78	c |    484256 |  303312  6994286 21668859 | 2147483647   484256     90 |  0.000 % |
1266.37/1267.02	c |    484356 |  303312  6994286 21668859 | 2147483647   484356     90 |  0.000 % |
1266.67/1267.35	c |    484466 |  303312  6994286 21668859 | 2147483647   484466     90 |  0.000 % |
1266.97/1267.65	c |    484587 |  303312  6994286 21668859 | 2147483647   484587     90 |  0.000 % |
1267.77/1268.48	c |    484720 |  303312  6994286 21668859 | 2147483647   484720     90 |  0.000 % |
1268.47/1269.19	c |    484866 |  303312  6994286 21668859 | 2147483647   484866     90 |  0.000 % |
1269.17/1269.86	c |    485026 |  303312  6994286 21668859 | 2147483647   485026     90 |  0.000 % |
1270.27/1270.92	c |    485202 |  303312  6994286 21668859 | 2147483647   485202     90 |  0.000 % |
1271.17/1271.85	c |    485397 |  303312  6994286 21668859 | 2147483647   485397     90 |  0.000 % |
1272.08/1272.79	c |    485609 |  303312  6994286 21668859 | 2147483647   485609     90 |  0.000 % |
1272.78/1273.42	c |    485845 |  303312  6994286 21668859 | 2147483647   485845     90 |  0.000 % |
1273.78/1274.42	c |    486101 |  303312  6994286 21668859 | 2147483647   486101     90 |  0.000 % |
1275.78/1276.45	c |    486386 |  303312  6994286 21668859 | 2147483647   486386     90 |  0.000 % |
1276.97/1277.66	c |    486695 |  303312  6994286 21668859 | 2147483647   486695     90 |  0.000 % |
1278.58/1279.28	c |    487035 |  303312  6994286 21668859 | 2147483647   487035     90 |  0.000 % |
1281.57/1282.23	c |    487407 |  303312  6994286 21668859 | 2147483647   487407     90 |  0.000 % |
1282.97/1283.69	c |    487818 |  303312  6994286 21668859 | 2147483647   487818     90 |  0.000 % |
1283.97/1284.61	c |    488267 |  303312  6994286 21668859 | 2147483647   488267     90 |  0.000 % |
1286.17/1286.85	c |    488760 |  303312  6994286 21668859 | 2147483647   488760     90 |  0.000 % |
1287.47/1288.10	c |    489302 |  303312  6994286 21668859 | 2147483647   489302     90 |  0.000 % |
1289.76/1290.45	c |    489899 |  303312  6994286 21668859 | 2147483647   489899     91 |  0.000 % |
1291.06/1291.78	c |    490554 |  303312  6994286 21668859 | 2147483647   490554     91 |  0.000 % |
1294.17/1294.88	c |    491274 |  303312  6994286 21668859 | 2147483647   491274     91 |  0.000 % |
1295.77/1296.40	c |    492067 |  303312  6994286 21668859 | 2147483647   492067     91 |  0.000 % |
1299.07/1299.77	c |    492941 |  303312  6994286 21668859 | 2147483647   492941     91 |  0.000 % |
1301.77/1302.48	c |    493900 |  303312  6994286 21668859 | 2147483647   493900     91 |  0.000 % |
1304.46/1305.10	c |    494953 |  303312  6994286 21668859 | 2147483647   494953     91 |  0.000 % |
1306.57/1307.29	c |    496111 |  303312  6994286 21668859 | 2147483647   496111     92 |  0.000 % |
1309.46/1310.16	c |    497384 |  303312  6994286 21668859 | 2147483647   497384     92 |  0.000 % |
1311.56/1312.21	c |    498786 |  303312  6994286 21668859 | 2147483647   498786     93 |  0.000 % |
1315.86/1316.52	c |    500326 |  303312  6994286 21668859 | 2147483647   500326     93 |  0.000 % |
1320.86/1321.57	c |    502020 |  303312  6994286 21668859 | 2147483647   502020     93 |  0.000 % |
1325.25/1325.92	c |    503883 |  303312  6994286 21668859 | 2147483647   503883     93 |  0.000 % |
1330.95/1331.66	c |    505934 |  303312  6994286 21668859 | 2147483647   505934     93 |  0.000 % |
1338.64/1339.30	c |    508187 |  303312  6994286 21668859 | 2147483647   508187     93 |  0.000 % |
1342.45/1343.16	c |    510666 |  303312  6994286 21668859 | 2147483647   510666     93 |  0.000 % |
1347.04/1347.73	c |    513392 |  303312  6994286 21668859 | 2147483647   513392     94 |  0.000 % |
1352.94/1353.61	c |    516389 |  303312  6994286 21668859 | 2147483647   516389     95 |  0.000 % |
1361.23/1361.94	c |    519685 |  303312  6994286 21668859 | 2147483647   519685     95 |  0.000 % |
1369.63/1370.35	c |    523310 |  303312  6994286 21668859 | 2147483647   523310     96 |  0.000 % |
1374.52/1375.27	c |    527299 |  303312  6994286 21668859 | 2147483647   527299     96 |  0.000 % |
1380.82/1381.56	c |    531685 |  303312  6994286 21668859 | 2147483647   531685     99 |  0.000 % |
1390.42/1391.20	c |    536509 |  303312  6994286 21668859 | 2147483647   536509    100 |  0.000 % |
1391.02/1391.76	c |    536609 |  303312  6994286 21668859 | 2147483647   536609    100 |  0.000 % |
1391.62/1392.38	c |    536721 |  303312  6994286 21668859 | 2147483647   536721    100 |  0.000 % |
1392.52/1393.22	c |    536842 |  303312  6994286 21668859 | 2147483647   536842    100 |  0.000 % |
1393.12/1393.88	c |    536975 |  303312  6994286 21668859 | 2147483647   536975    100 |  0.000 % |
1393.52/1394.28	c |    537122 |  303312  6994286 21668859 | 2147483647   537122    100 |  0.000 % |
1394.31/1395.04	c |    537282 |  303312  6994286 21668859 | 2147483647   537282    100 |  0.000 % |
1395.02/1395.70	c |    537458 |  303312  6994286 21668859 | 2147483647   537458    100 |  0.000 % |
1395.72/1396.42	c |    537653 |  303312  6994286 21668859 | 2147483647   537653    100 |  0.000 % |
1396.92/1397.61	c |    537865 |  303312  6994286 21668859 | 2147483647   537865    100 |  0.000 % |
1398.02/1398.73	c |    538099 |  303312  6994286 21668859 | 2147483647   538099    100 |  0.000 % |
1398.62/1399.34	c |    538355 |  303312  6994286 21668859 | 2147483647   538355    100 |  0.000 % |
1400.32/1401.06	c |    538636 |  303312  6994286 21668859 | 2147483647   538636    100 |  0.000 % |
1401.52/1402.24	c |    538945 |  303312  6994286 21668859 | 2147483647   538945    100 |  0.000 % |
1402.92/1403.65	c |    539284 |  303312  6994286 21668859 | 2147483647   539284    100 |  0.000 % |
1403.92/1404.63	c |    539657 |  303312  6994286 21668859 | 2147483647   539657    100 |  0.000 % |
1405.51/1406.22	c |    540066 |  303312  6994286 21668859 | 2147483647   540066    100 |  0.000 % |
1407.81/1408.55	c |    540515 |  303312  6994286 21668859 | 2147483647   540515    100 |  0.000 % |
1409.61/1410.37	c |    541009 |  303312  6994286 21668859 | 2147483647   541009    100 |  0.000 % |
1411.51/1412.27	c |    541552 |  303312  6994286 21668859 | 2147483647   541552    100 |  0.000 % |
1414.21/1414.93	c |    542148 |  303312  6994286 21668859 | 2147483647   542148    100 |  0.000 % |
1415.91/1416.67	c |    542804 |  303312  6994286 21668859 | 2147483647   542804    100 |  0.000 % |
1418.11/1418.85	c |    543524 |  303312  6994286 21668859 | 2147483647   543524    100 |  0.000 % |
1421.40/1422.17	c |    544316 |  303312  6994286 21668859 | 2147483647   544316    100 |  0.000 % |
1424.41/1425.13	c |    545187 |  303312  6994286 21668859 | 2147483647   545187    100 |  0.000 % |
1426.51/1427.23	c |    546146 |  303312  6994286 21668859 | 2147483647   546146    100 |  0.000 % |
1428.70/1429.40	c |    547200 |  303312  6994286 21668859 | 2147483647   547200    100 |  0.000 % |
1430.50/1431.27	c |    548359 |  303312  6994286 21668859 | 2147483647   548359    100 |  0.000 % |
1433.50/1434.25	c |    549632 |  303312  6994286 21668859 | 2147483647   549632    100 |  0.000 % |
1436.20/1436.92	c |    551032 |  303312  6994286 21668859 | 2147483647   551032    100 |  0.000 % |
1440.21/1440.95	c |    552573 |  303312  6994286 21668859 | 2147483647   552573    101 |  0.000 % |
1446.60/1447.36	c |    554269 |  303312  6994286 21668859 | 2147483647   554269    100 |  0.000 % |
1449.40/1450.13	c |    556132 |  303312  6994286 21668859 | 2147483647   556132    100 |  0.000 % |
1452.89/1453.61	c |    558181 |  303312  6994286 21668859 | 2147483647   558181    100 |  0.000 % |
1456.49/1457.22	c |    560434 |  303312  6994286 21668859 | 2147483647   560434    100 |  0.000 % |
1460.40/1461.11	c |    562913 |  303312  6994286 21668859 | 2147483647   562913    100 |  0.000 % |
1464.40/1465.17	c |    565638 |  303312  6994286 21668859 | 2147483647   565638    100 |  0.000 % |
1469.39/1470.19	c |    568635 |  303312  6994286 21668859 | 2147483647   568635     99 |  0.000 % |
1474.59/1475.32	c |    571931 |  303312  6994286 21668859 | 2147483647   571931     99 |  0.000 % |
1480.18/1480.91	c |    575556 |  303312  6994286 21668859 | 2147483647   575556     99 |  0.000 % |
1490.68/1491.46	c |    579544 |  303312  6994286 21668859 | 2147483647   579544     99 |  0.000 % |
1501.88/1502.61	c |    583930 |  303312  6994286 21668859 | 2147483647   583930    100 |  0.000 % |
1509.18/1509.91	c |    588756 |  303312  6994286 21668859 | 2147483647   588756    100 |  0.000 % |
1519.17/1519.95	c |    594062 |  303312  6994286 21668859 | 2147483647   594062    102 |  0.000 % |
1520.17/1520.93	c |    594162 |  303312  6994286 21668859 | 2147483647   594162    102 |  0.000 % |
1520.87/1521.61	c |    594275 |  303312  6994286 21668859 | 2147483647   594275    102 |  0.000 % |
1521.27/1522.03	c |    594398 |  303312  6994286 21668859 | 2147483647   594398    102 |  0.000 % |
1521.87/1522.67	c |    594534 |  303312  6994286 21668859 | 2147483647   594534    102 |  0.000 % |
1522.67/1523.48	c |    594681 |  303312  6994286 21668859 | 2147483647   594681    102 |  0.000 % |
1523.57/1524.37	c |    594845 |  303312  6994286 21668859 | 2147483647   594845    102 |  0.000 % |
1524.67/1525.40	c |    595021 |  303312  6994286 21668859 | 2147483647   595021    102 |  0.000 % |
1526.07/1526.88	c |    595214 |  303312  6994286 21668859 | 2147483647   595214    102 |  0.000 % |
1527.17/1527.98	c |    595426 |  303312  6994286 21668859 | 2147483647   595426    102 |  0.000 % |
1528.96/1529.73	c |    595659 |  303312  6994286 21668859 | 2147483647   595659    102 |  0.000 % |
1529.96/1530.75	c |    595915 |  303312  6994286 21668859 | 2147483647   595915    102 |  0.000 % |
1530.96/1531.79	c |    596198 |  303312  6994286 21668859 | 2147483647   596198    102 |  0.000 % |
1531.97/1532.73	c |    596507 |  303312  6994286 21668859 | 2147483647   596507    102 |  0.000 % |
1533.46/1534.21	c |    596846 |  303312  6994286 21668859 | 2147483647   596846    102 |  0.000 % |
1534.87/1535.70	c |    597220 |  303312  6994286 21668859 | 2147483647   597220    102 |  0.000 % |
1536.76/1537.52	c |    597631 |  303312  6994286 21668859 | 2147483647   597631    102 |  0.000 % |
1537.66/1538.40	c |    598080 |  303312  6994286 21668859 | 2147483647   598080    102 |  0.000 % |
1538.76/1539.60	c |    598573 |  303312  6994286 21668859 | 2147483647   598573    102 |  0.000 % |
1540.36/1541.17	c |    599115 |  303312  6994286 21668859 | 2147483647   599115    102 |  0.000 % |
1541.76/1542.59	c |    599713 |  303312  6994286 21668859 | 2147483647   599713    102 |  0.000 % |
1543.06/1543.81	c |    600369 |  303312  6994286 21668859 | 2147483647   600369    102 |  0.000 % |
1544.36/1545.15	c |    601089 |  303312  6994286 21668859 | 2147483647   601089    102 |  0.000 % |
1545.76/1546.53	c |    601881 |  303312  6994286 21668859 | 2147483647   601881    102 |  0.000 % |
1547.66/1548.49	c |    602753 |  303312  6994286 21668859 | 2147483647   602753    102 |  0.000 % |
1549.56/1550.36	c |    603711 |  303312  6994286 21668859 | 2147483647   603711    102 |  0.000 % |
1551.86/1552.62	c |    604764 |  303312  6994286 21668859 | 2147483647   604764    102 |  0.000 % |
1554.05/1554.89	c |    605922 |  303312  6994286 21668859 | 2147483647   605922    101 |  0.000 % |
1556.65/1557.43	c |    607196 |  303312  6994286 21668859 | 2147483647   607196    101 |  0.000 % |
1559.35/1560.17	c |    608596 |  303312  6994286 21668859 | 2147483647   608596    101 |  0.000 % |
1567.05/1567.84	c |    610138 |  303312  6994286 21668859 | 2147483647   610138    102 |  0.000 % |
1572.34/1573.18	c |    611832 |  303312  6994286 21668859 | 2147483647   611832    102 |  0.000 % |
1575.85/1576.61	c |    613695 |  303312  6994286 21668859 | 2147483647   613695    103 |  0.000 % |
1582.54/1583.37	c |    615744 |  303312  6994286 21668859 | 2147483647   615744    103 |  0.000 % |
1587.64/1588.47	c |    617997 |  303312  6994286 21668859 | 2147483647   617997    103 |  0.000 % |
1592.04/1592.80	c |    620475 |  303312  6994286 21668859 | 2147483647   620475    103 |  0.000 % |
1598.53/1599.31	c |    623201 |  303312  6994286 21668859 | 2147483647   623201    104 |  0.000 % |
1606.43/1607.29	c |    626199 |  303312  6994286 21668859 | 2147483647   626199    104 |  0.000 % |
1612.13/1612.95	c |    629495 |  303312  6994286 21668859 | 2147483647   629495    104 |  0.000 % |
1621.73/1622.52	c |    633120 |  303312  6994286 21668859 | 2147483647   633120    104 |  0.000 % |
1630.22/1631.01	c |    637107 |  303312  6994286 21668859 | 2147483647   637107    104 |  0.000 % |
1641.42/1642.30	c |    641493 |  303312  6994286 21668859 | 2147483647   641493    104 |  0.000 % |
1651.61/1652.45	c |    646316 |  303312  6994286 21668859 | 2147483647   646316    105 |  0.000 % |
1661.51/1662.30	c |    651621 |  303312  6994286 21668859 | 2147483647   651621    105 |  0.000 % |
1673.31/1674.10	c |    657458 |  303312  6994286 21668859 | 2147483647   657458    105 |  0.000 % |
1673.70/1674.58	c |    657559 |  303312  6994286 21668859 | 2147483647   657559    105 |  0.000 % |
1675.40/1676.26	c |    657671 |  303312  6994286 21668859 | 2147483647   657671    105 |  0.000 % |
1675.70/1676.59	c |    657796 |  303312  6994286 21668859 | 2147483647   657796    105 |  0.000 % |
1676.30/1677.14	c |    657929 |  303312  6994286 21668859 | 2147483647   657929    105 |  0.000 % |
1677.30/1678.11	c |    658076 |  303312  6994286 21668859 | 2147483647   658076    105 |  0.000 % |
1678.40/1679.26	c |    658236 |  303312  6994286 21668859 | 2147483647   658236    105 |  0.000 % |
1679.30/1680.12	c |    658412 |  303312  6994286 21668859 | 2147483647   658412    105 |  0.000 % |
1679.91/1680.79	c |    658605 |  303312  6994286 21668859 | 2147483647   658605    105 |  0.000 % |
1680.80/1681.64	c |    658818 |  303312  6994286 21668859 | 2147483647   658818    105 |  0.000 % |
1681.60/1682.41	c |    659051 |  303312  6994286 21668859 | 2147483647   659051    105 |  0.000 % |
1682.60/1683.40	c |    659307 |  303312  6994286 21668859 | 2147483647   659307    105 |  0.000 % |
1684.10/1684.93	c |    659588 |  303312  6994286 21668859 | 2147483647   659588    105 |  0.000 % |
1685.30/1686.16	c |    659898 |  303312  6994286 21668859 | 2147483647   659898    105 |  0.000 % |
1686.60/1687.44	c |    660237 |  303312  6994286 21668859 | 2147483647   660237    105 |  0.000 % |
1688.20/1689.08	c |    660611 |  303312  6994286 21668859 | 2147483647   660611    105 |  0.000 % |
1690.29/1691.11	c |    661020 |  303312  6994286 21668859 | 2147483647   661020    105 |  0.000 % |
1693.30/1694.10	c |    661469 |  303312  6994286 21668859 | 2147483647   661469    105 |  0.000 % |
1694.60/1695.48	c |    661962 |  303312  6994286 21668859 | 2147483647   661962    105 |  0.000 % |
1696.60/1697.42	c |    662504 |  303312  6994286 21668859 | 2147483647   662504    105 |  0.000 % |
1699.59/1700.49	c |    663100 |  303312  6994286 21668859 | 2147483647   663100    105 |  0.000 % |
1701.69/1702.55	c |    663756 |  303312  6994286 21668859 | 2147483647   663756    105 |  0.000 % |
1703.69/1704.51	c |    664476 |  303312  6994286 21668859 | 2147483647   664476    105 |  0.000 % |
1707.39/1708.23	c |    665269 |  303312  6994286 21668859 | 2147483647   665269    105 |  0.000 % |
1709.59/1710.44	c |    666140 |  303312  6994286 21668859 | 2147483647   666140    105 |  0.000 % |
1712.89/1713.80	c |    667099 |  303312  6994286 21668859 | 2147483647   667099    105 |  0.000 % |
1717.28/1718.17	c |    668153 |  303312  6994286 21668859 | 2147483647   668153    105 |  0.000 % |
1720.98/1721.89	c |    669311 |  303312  6994286 21668859 | 2147483647   669311    105 |  0.000 % |
1724.28/1725.10	c |    670584 |  303312  6994286 21668859 | 2147483647   670584    105 |  0.000 % |
1729.38/1730.28	c |    671985 |  303312  6994286 21668859 | 2147483647   671985    105 |  0.000 % |
1732.68/1733.57	c |    673525 |  303312  6994286 21668859 | 2147483647   673525    105 |  0.000 % |
1737.57/1738.48	c |    675219 |  303312  6994286 21668859 | 2147483647   675219    105 |  0.000 % |
1741.87/1742.75	c |    677082 |  303312  6994286 21668859 | 2147483647   677082    105 |  0.000 % |
1747.17/1748.00	c |    679132 |  303312  6994286 21668859 | 2147483647   679132    106 |  0.000 % |
1752.48/1753.35	c |    681386 |  303312  6994286 21668859 | 2147483647   681386    106 |  0.000 % |
1758.66/1759.53	c |    683865 |  303312  6994286 21668859 | 2147483647   683865    106 |  0.000 % |
1764.97/1765.89	c |    686590 |  303312  6994286 21668859 | 2147483647   686590    106 |  0.000 % |
1770.76/1771.64	c |    689587 |  303312  6994286 21668859 | 2147483647   689587    106 |  0.000 % |
1778.86/1779.72	c |    692888 |  303312  6994286 21668859 | 2147483647   692888    107 |  0.000 % |
1785.75/1786.60	c |    696513 |  303312  6994286 21668859 | 2147483647   696513    107 |  0.000 % |
1795.15/1796.09	c |    700502 |  303312  6994286 21668859 | 2147483647   700502    107 |  0.000 % |
1806.45/1807.37	c |    704887 |  303312  6994286 21668859 | 2147483647   704887    108 |  0.000 % |
1816.04/1816.95	c |    709710 |  303312  6994286 21668859 | 2147483647   709710    108 |  0.000 % |
1826.04/1826.95	c |    715015 |  303312  6994286 21668859 | 2147483647   715015    108 |  0.000 % |
1839.43/1840.39	c |    720850 |  303312  6994286 21668859 | 2147483647   720850    111 |  0.000 % |
1850.34/1851.28	c |    727269 |  303312  6994286 21668859 | 2147483647   727269    112 |  0.000 % |
1850.93/1851.80	c |    727371 |  303312  6994286 21668859 | 2147483647   727371    112 |  0.000 % |
1851.33/1852.26	c |    727481 |  303312  6994286 21668859 | 2147483647   727481    112 |  0.000 % |
1851.73/1852.63	c |    727602 |  303312  6994286 21668859 | 2147483647   727602    112 |  0.000 % |
1852.73/1853.69	c |    727735 |  303312  6994286 21668859 | 2147483647   727735    112 |  0.000 % |
1853.33/1854.22	c |    727881 |  303312  6994286 21668859 | 2147483647   727881    112 |  0.000 % |
1854.03/1854.95	c |    728041 |  303312  6994286 21668859 | 2147483647   728041    112 |  0.000 % |
1855.53/1856.43	c |    728217 |  303312  6994286 21668859 | 2147483647   728217    112 |  0.000 % |
1856.43/1857.35	c |    728410 |  303312  6994286 21668859 | 2147483647   728410    112 |  0.000 % |
1857.42/1858.30	c |    728624 |  303312  6994286 21668859 | 2147483647   728624    111 |  0.000 % |
1857.92/1858.86	c |    728857 |  303312  6994286 21668859 | 2147483647   728857    111 |  0.000 % |
1859.52/1860.48	c |    729113 |  303312  6994286 21668859 | 2147483647   729113    111 |  0.000 % |
1860.62/1861.51	c |    729397 |  303312  6994286 21668859 | 2147483647   729397    111 |  0.000 % |
1861.12/1862.07	c |    729706 |  303312  6994286 21668859 | 2147483647   729706    111 |  0.000 % |
1863.22/1864.16	c |    730046 |  303312  6994286 21668859 | 2147483647   730046    111 |  0.000 % |
1864.83/1865.75	c |    730418 |  303312  6994286 21668859 | 2147483647   730418    111 |  0.000 % |
1866.03/1866.96	c |    730828 |  303312  6994286 21668859 | 2147483647   730828    111 |  0.000 % |
1867.23/1868.15	c |    731277 |  303312  6994286 21668859 | 2147483647   731277    111 |  0.000 % |
1868.52/1869.46	c |    731772 |  303312  6994286 21668859 | 2147483647   731772    111 |  0.000 % |
1870.23/1871.14	c |    732315 |  303312  6994286 21668859 | 2147483647   732315    111 |  0.000 % |
1872.22/1873.14	c |    732911 |  303312  6994286 21668859 | 2147483647   732911    111 |  0.000 % |
1874.22/1875.17	c |    733566 |  303312  6994286 21668859 | 2147483647   733566    111 |  0.000 % |
1877.12/1878.01	c |    734286 |  303312  6994286 21668859 | 2147483647   734286    111 |  0.000 % |
1879.52/1880.40	c |    735078 |  303312  6994286 21668859 | 2147483647   735078    111 |  0.000 % |
1882.80/1883.76	c |    735949 |  303312  6994286 21668859 | 2147483647   735949    111 |  0.000 % |
1885.10/1886.08	c |    736910 |  303312  6994286 21668859 | 2147483647   736910    111 |  0.000 % |
1888.40/1889.37	c |    737966 |  303312  6994286 21668859 | 2147483647   737966    111 |  0.000 % |
1891.91/1892.83	c |    739124 |  303312  6994286 21668859 | 2147483647   739124    111 |  0.000 % |
1893.41/1894.36	c |    740397 |  303312  6994286 21668859 | 2147483647   740397    111 |  0.000 % |
1897.00/1897.91	c |    741797 |  303312  6994286 21668859 | 2147483647   741797    112 |  0.000 % |
1900.20/1901.12	c |    743338 |  303312  6994286 21668859 | 2147483647   743338    112 |  0.000 % |
1905.10/1906.07	c |    745032 |  303312  6994286 21668859 | 2147483647   745032    112 |  0.000 % |
1909.70/1910.61	c |    746896 |  303312  6994286 21668859 | 2147483647   746896    112 |  0.000 % |
1914.10/1915.08	c |    748946 |  303312  6994286 21668859 | 2147483647   748946    113 |  0.000 % |
1922.20/1923.17	c |    751201 |  303312  6994286 21668859 | 2147483647   751201    113 |  0.000 % |
1930.29/1931.29	c |    753681 |  303312  6994286 21668859 | 2147483647   753681    115 |  0.000 % |
1935.39/1936.38	c |    756407 |  303312  6994286 21668859 | 2147483647   756407    115 |  0.000 % |
1942.69/1943.68	c |    759404 |  303312  6994286 21668859 | 2147483647   759404    116 |  0.000 % |
1950.38/1951.33	c |    762700 |  303312  6994286 21668859 | 2147483647   762700    117 |  0.000 % |
1962.18/1963.10	c |    766325 |  303312  6994286 21668859 | 2147483647   766325    118 |  0.000 % |
1972.27/1973.24	c |    770312 |  303312  6994286 21668859 | 2147483647   770312    118 |  0.000 % |
1981.57/1982.52	c |    774699 |  303312  6994286 21668859 | 2147483647   774699    120 |  0.000 % |
1992.66/1993.67	c |    779522 |  303312  6994286 21668859 | 2147483647   779522    127 |  0.000 % |
2004.26/2005.21	c |    784827 |  303312  6994286 21668859 | 2147483647   784827    126 |  0.000 % |
2021.16/2022.17	c |    790662 |  303312  6994286 21668859 | 2147483647   790662    127 |  0.000 % |
2033.34/2034.36	c |    797081 |  303312  6994286 21668859 | 2147483647   797081    127 |  0.000 % |
2053.14/2054.16	c |    804140 |  303312  6994286 21668859 | 2147483647   804140    130 |  0.000 % |
2053.54/2054.51	c |    804242 |  303312  6994286 21668859 | 2147483647   804242    130 |  0.000 % |
2053.94/2054.98	c |    804352 |  303312  6994286 21668859 | 2147483647   804352    130 |  0.000 % |
2054.44/2055.44	c |    804473 |  303312  6994286 21668859 | 2147483647   804473    130 |  0.000 % |
2054.95/2055.98	c |    804606 |  303312  6994286 21668859 | 2147483647   804606    130 |  0.000 % |
2056.05/2057.09	c |    804752 |  303312  6994286 21668859 | 2147483647   804752    130 |  0.000 % |
2057.04/2058.10	c |    804912 |  303312  6994286 21668859 | 2147483647   804912    130 |  0.000 % |
2058.24/2059.23	c |    805088 |  303312  6994286 21668859 | 2147483647   805088    130 |  0.000 % |
2059.14/2060.16	c |    805281 |  303312  6994286 21668859 | 2147483647   805281    130 |  0.000 % |
2060.04/2061.01	c |    805495 |  303312  6994286 21668859 | 2147483647   805495    130 |  0.000 % |
2060.84/2061.81	c |    805729 |  303312  6994286 21668859 | 2147483647   805729    130 |  0.000 % |
2061.44/2062.48	c |    805985 |  303312  6994286 21668859 | 2147483647   805985    130 |  0.000 % |
2062.44/2063.40	c |    806266 |  303312  6994286 21668859 | 2147483647   806266    130 |  0.000 % |
2063.34/2064.38	c |    806575 |  303312  6994286 21668859 | 2147483647   806575    130 |  0.000 % |
2064.74/2065.70	c |    806914 |  303312  6994286 21668859 | 2147483647   806914    130 |  0.000 % |
2065.84/2066.81	c |    807288 |  303312  6994286 21668859 | 2147483647   807288    130 |  0.000 % |
2066.94/2067.93	c |    807698 |  303312  6994286 21668859 | 2147483647   807698    130 |  0.000 % |
2068.14/2069.14	c |    808147 |  303312  6994286 21668859 | 2147483647   808147    130 |  0.000 % |
2069.24/2070.28	c |    808640 |  303312  6994286 21668859 | 2147483647   808640    130 |  0.000 % |
2070.53/2071.54	c |    809182 |  303312  6994286 21668859 | 2147483647   809182    130 |  0.000 % |
2071.73/2072.78	c |    809778 |  303312  6994286 21668859 | 2147483647   809778    130 |  0.000 % |
2073.33/2074.31	c |    810433 |  303312  6994286 21668859 | 2147483647   810433    130 |  0.000 % |
2075.03/2076.01	c |    811153 |  303312  6994286 21668859 | 2147483647   811153    130 |  0.000 % |
2076.73/2077.75	c |    811945 |  303312  6994286 21668859 | 2147483647   811945    130 |  0.000 % |
2078.62/2079.67	c |    812818 |  303312  6994286 21668859 | 2147483647   812818    130 |  0.000 % |
2081.02/2082.06	c |    813776 |  303312  6994286 21668859 | 2147483647   813776    130 |  0.000 % |
2083.73/2084.73	c |    814829 |  303312  6994286 21668859 | 2147483647   814829    130 |  0.000 % |
2086.03/2087.00	c |    815987 |  303312  6994286 21668859 | 2147483647   815987    130 |  0.000 % |
2088.23/2089.29	c |    817260 |  303312  6994286 21668859 | 2147483647   817260    130 |  0.000 % |
2092.02/2093.01	c |    818660 |  303312  6994286 21668859 | 2147483647   818660    129 |  0.000 % |
2095.33/2096.38	c |    820201 |  303312  6994286 21668859 | 2147483647   820201    129 |  0.000 % |
2099.12/2100.13	c |    821895 |  303312  6994286 21668859 | 2147483647   821895    129 |  0.000 % |
2104.02/2105.04	c |    823759 |  303312  6994286 21668859 | 2147483647   823759    129 |  0.000 % |
2110.32/2111.35	c |    825810 |  303312  6994286 21668859 | 2147483647   825810    129 |  0.000 % |
2115.82/2116.87	c |    828063 |  303312  6994286 21668859 | 2147483647   828063    129 |  0.000 % |
2124.71/2125.75	c |    830542 |  303312  6994286 21668859 | 2147483647   830542    129 |  0.000 % |
2132.51/2133.54	c |    833267 |  303312  6994286 21668859 | 2147483647   833267    129 |  0.000 % |
2139.70/2140.74	c |    836264 |  303312  6994286 21668859 | 2147483647   836264    129 |  0.000 % |
2145.50/2146.57	c |    839561 |  303312  6994286 21668859 | 2147483647   839561    129 |  0.000 % |
2155.10/2156.10	c |    843188 |  303312  6994286 21668859 | 2147483647   843188    130 |  0.000 % |
2165.69/2166.70	c |    847176 |  303312  6994286 21668859 | 2147483647   847176    130 |  0.000 % |
2176.50/2177.58	c |    851561 |  303312  6994286 21668859 | 2147483647   851561    132 |  0.000 % |
2192.29/2193.37	c |    856385 |  303312  6994286 21668859 | 2147483647   856385    132 |  0.000 % |
2203.29/2204.39	c |    861691 |  303312  6994286 21668859 | 2147483647   861691    132 |  0.000 % |
2219.67/2220.74	c |    867526 |  303312  6994286 21668859 | 2147483647   867526    132 |  0.000 % |
2241.16/2242.27	c |    873944 |  303312  6994286 21668859 | 2147483647   873944    132 |  0.000 % |
2260.96/2262.10	c |    881003 |  303312  6994286 21668859 | 2147483647   881003    132 |  0.000 % |
2289.24/2290.36	c |    888767 |  303312  6994286 21668859 | 2147483647   888767    132 |  0.000 % |
2289.94/2291.00	c |    888868 |  303312  6994286 21668859 | 2147483647   888868    132 |  0.000 % |
2290.94/2292.09	c |    888978 |  303312  6994286 21668859 | 2147483647   888978    132 |  0.000 % |
2291.44/2292.57	c |    889100 |  303312  6994286 21668859 | 2147483647   889100    132 |  0.000 % |
2291.94/2293.03	c |    889234 |  303312  6994286 21668859 | 2147483647   889234    132 |  0.000 % |
2292.54/2293.66	c |    889383 |  303312  6994286 21668859 | 2147483647   889383    132 |  0.000 % |
2293.84/2294.95	c |    889543 |  303312  6994286 21668859 | 2147483647   889543    132 |  0.000 % |
2295.55/2296.69	c |    889719 |  303312  6994286 21668859 | 2147483647   889719    132 |  0.000 % |
2296.55/2297.66	c |    889912 |  303312  6994286 21668859 | 2147483647   889912    132 |  0.000 % |
2298.05/2299.16	c |    890126 |  303312  6994286 21668859 | 2147483647   890126    132 |  0.000 % |
2299.75/2300.84	c |    890359 |  303312  6994286 21668859 | 2147483647   890359    132 |  0.000 % |
2300.65/2301.73	c |    890615 |  303312  6994286 21668859 | 2147483647   890615    132 |  0.000 % |
2301.35/2302.49	c |    890896 |  303312  6994286 21668859 | 2147483647   890896    132 |  0.000 % |
2303.84/2304.91	c |    891205 |  303312  6994286 21668859 | 2147483647   891205    132 |  0.000 % |
2304.94/2306.00	c |    891544 |  303312  6994286 21668859 | 2147483647   891544    132 |  0.000 % |
2307.24/2308.32	c |    891917 |  303312  6994286 21668859 | 2147483647   891917    132 |  0.000 % |
2308.34/2309.42	c |    892326 |  303312  6994286 21668859 | 2147483647   892326    132 |  0.000 % |
2310.44/2311.55	c |    892776 |  303312  6994286 21668859 | 2147483647   892776    132 |  0.000 % |
2311.64/2312.71	c |    893269 |  303312  6994286 21668859 | 2147483647   893269    132 |  0.000 % |
2312.64/2313.77	c |    893811 |  303312  6994286 21668859 | 2147483647   893811    132 |  0.000 % |
2314.64/2315.78	c |    894410 |  303312  6994286 21668859 | 2147483647   894410    132 |  0.000 % |
2316.94/2318.06	c |    895072 |  303312  6994286 21668859 | 2147483647   895072    132 |  0.000 % |
2320.23/2321.35	c |    895793 |  303312  6994286 21668859 | 2147483647   895793    132 |  0.000 % |
2324.83/2325.93	c |    896585 |  303312  6994286 21668859 | 2147483647   896585    132 |  0.000 % |
2328.23/2329.32	c |    897456 |  303312  6994286 21668859 | 2147483647   897456    132 |  0.000 % |
2331.83/2333.00	c |    898414 |  303312  6994286 21668859 | 2147483647   898414    132 |  0.000 % |
2335.33/2336.41	c |    899467 |  303312  6994286 21668859 | 2147483647   899467    132 |  0.000 % |
2339.83/2340.99	c |    900625 |  303312  6994286 21668859 | 2147483647   900625    132 |  0.000 % |
2342.52/2343.65	c |    901898 |  303312  6994286 21668859 | 2147483647   901898    132 |  0.000 % |
2345.92/2347.06	c |    903298 |  303312  6994286 21668859 | 2147483647   903298    132 |  0.000 % |
2350.42/2351.53	c |    904839 |  303312  6994286 21668859 | 2147483647   904839    132 |  0.000 % |
2357.72/2358.89	c |    906533 |  303312  6994286 21668859 | 2147483647   906533    132 |  0.000 % |
2362.02/2363.17	c |    908397 |  303312  6994286 21668859 | 2147483647   908397    132 |  0.000 % |
2370.71/2371.83	c |    910448 |  303312  6994286 21668859 | 2147483647   910448    132 |  0.000 % |
2375.41/2376.59	c |    912704 |  303312  6994286 21668859 | 2147483647   912704    133 |  0.000 % |
2385.00/2386.16	c |    915183 |  303312  6994286 21668859 | 2147483647   915183    133 |  0.000 % |
2390.30/2391.44	c |    917908 |  303312  6994286 21668859 | 2147483647   917908    133 |  0.000 % |
2396.70/2397.80	c |    920906 |  303312  6994286 21668859 | 2147483647   920906    133 |  0.000 % |
2405.79/2406.90	c |    924202 |  303312  6994286 21668859 | 2147483647   924202    133 |  0.000 % |
2415.00/2416.17	c |    927832 |  303312  6994286 21668859 | 2147483647   927832    133 |  0.000 % |
2424.19/2425.30	c |    931820 |  303312  6994286 21668859 | 2147483647   931820    134 |  0.000 % |
2435.18/2436.32	c |    936207 |  303312  6994286 21668859 | 2147483647   936207    138 |  0.000 % |
2442.49/2443.61	c |    941031 |  303312  6994286 21668859 | 2147483647   941031    138 |  0.000 % |
2455.58/2456.79	c |    946337 |  303312  6994286 21668859 | 2147483647   946337    138 |  0.000 % |
2473.78/2474.97	c |    952174 |  303312  6994286 21668859 | 2147483647   952174    138 |  0.000 % |
2493.86/2495.09	c |    958592 |  303312  6994286 21668859 | 2147483647   958592    138 |  0.000 % |
2513.86/2515.09	c |    965651 |  303312  6994286 21668859 | 2147483647   965651    139 |  0.000 % |
2535.65/2536.84	c |    973415 |  303312  6994286 21668859 | 2147483647   973415    139 |  0.000 % |
2552.84/2554.04	c |    981956 |  303312  6994286 21668859 | 2147483647   981956    141 |  0.000 % |
2553.44/2554.63	c |    982056 |  303312  6994286 21668859 | 2147483647   982056    141 |  0.000 % |
2554.74/2555.90	c |    982166 |  303312  6994286 21668859 | 2147483647   982166    141 |  0.000 % |
2555.64/2556.82	c |    982287 |  303312  6994286 21668859 | 2147483647   982287    141 |  0.000 % |
2556.44/2557.64	c |    982420 |  303312  6994286 21668859 | 2147483647   982420    141 |  0.000 % |
2557.03/2558.24	c |    982566 |  303312  6994286 21668859 | 2147483647   982566    141 |  0.000 % |
2559.13/2560.30	c |    982727 |  303312  6994286 21668859 | 2147483647   982727    141 |  0.000 % |
2560.13/2561.36	c |    982904 |  303312  6994286 21668859 | 2147483647   982904    141 |  0.000 % |
2560.74/2561.97	c |    983098 |  303312  6994286 21668859 | 2147483647   983098    141 |  0.000 % |
2561.83/2563.07	c |    983311 |  303312  6994286 21668859 | 2147483647   983311    141 |  0.000 % |
2563.23/2564.43	c |    983546 |  303312  6994286 21668859 | 2147483647   983546    141 |  0.000 % |
2565.04/2566.29	c |    983802 |  303312  6994286 21668859 | 2147483647   983802    141 |  0.000 % |
2566.33/2567.50	c |    984086 |  303312  6994286 21668859 | 2147483647   984086    141 |  0.000 % |
2567.83/2569.02	c |    984395 |  303312  6994286 21668859 | 2147483647   984395    141 |  0.000 % |
2568.83/2570.06	c |    984735 |  303312  6994286 21668859 | 2147483647   984735    141 |  0.000 % |
2572.23/2573.43	c |    985108 |  303312  6994286 21668859 | 2147483647   985108    141 |  0.000 % |
2576.53/2577.72	c |    985517 |  303312  6994286 21668859 | 2147483647   985517    141 |  0.000 % |
2578.82/2580.10	c |    985968 |  303312  6994286 21668859 | 2147483647   985968    141 |  0.000 % |
2581.72/2582.90	c |    986462 |  303312  6994286 21668859 | 2147483647   986462    141 |  0.000 % |
2583.32/2584.52	c |    987004 |  303312  6994286 21668859 | 2147483647   987004    141 |  0.000 % |
2585.03/2586.24	c |    987601 |  303312  6994286 21668859 | 2147483647   987601    141 |  0.000 % |
2586.83/2588.05	c |    988257 |  303312  6994286 21668859 | 2147483647   988257    141 |  0.000 % |
2589.02/2590.24	c |    988978 |  303312  6994286 21668859 | 2147483647   988978    141 |  0.000 % |
2590.82/2592.09	c |    989771 |  303312  6994286 21668859 | 2147483647   989771    141 |  0.000 % |
2592.62/2593.85	c |    990643 |  303312  6994286 21668859 | 2147483647   990643    141 |  0.000 % |
2595.02/2596.21	c |    991602 |  303312  6994286 21668859 | 2147483647   991602    141 |  0.000 % |
2597.61/2598.85	c |    992656 |  303312  6994286 21668859 | 2147483647   992656    141 |  0.000 % |
2601.02/2602.27	c |    993814 |  303312  6994286 21668859 | 2147483647   993814    141 |  0.000 % |
2603.92/2605.16	c |    995087 |  303312  6994286 21668859 | 2147483647   995087    140 |  0.000 % |
2608.31/2609.57	c |    996489 |  303312  6994286 21668859 | 2147483647   996489    141 |  0.000 % |
2613.11/2614.38	c |    998029 |  303312  6994286 21668859 | 2147483647   998029    141 |  0.000 % |
2618.11/2619.32	c |    999723 |  303312  6994286 21668859 | 2147483647   999723    141 |  0.000 % |
2624.31/2625.57	c |   1001586 |  303312  6994286 21668859 | 2147483647  1001586    141 |  0.000 % |
2630.80/2632.07	c |   1003635 |  303312  6994286 21668859 | 2147483647  1003635    141 |  0.000 % |
2636.80/2638.02	c |   1005890 |  303312  6994286 21668859 | 2147483647  1005890    141 |  0.000 % |
2644.89/2646.20	c |   1008368 |  303312  6994286 21668859 | 2147483647  1008368    141 |  0.000 % |
2653.50/2654.70	c |   1011093 |  303312  6994286 21668859 | 2147483647  1011093    141 |  0.000 % |
2661.99/2663.29	c |   1014091 |  303312  6994286 21668859 | 2147483647  1014091    141 |  0.000 % |
2676.69/2677.90	c |   1017388 |  303312  6994286 21668859 | 2147483647  1017388    141 |  0.000 % |
2685.79/2687.03	c |   1021014 |  303312  6994286 21668859 | 2147483647  1021014    141 |  0.000 % |
2697.78/2699.08	c |   1025001 |  303312  6994286 21668859 | 2147483647  1025001    142 |  0.000 % |
2710.18/2711.44	c |   1029387 |  303312  6994286 21668859 | 2147483647  1029387    142 |  0.000 % |
2723.17/2724.47	c |   1034210 |  303312  6994286 21668859 | 2147483647  1034210    142 |  0.000 % |
2735.96/2737.25	c |   1039517 |  303312  6994286 21668859 | 2147483647  1039517    142 |  0.000 % |
2748.26/2749.52	c |   1045354 |  303312  6994286 21668859 | 2147483647  1045354    141 |  0.000 % |
2762.55/2763.88	c |   1051773 |  303312  6994286 21668859 | 2147483647  1051773    141 |  0.000 % |
2778.65/2779.99	c |   1058832 |  303312  6994286 21668859 | 2147483647  1058832    140 |  0.000 % |
2798.44/2799.78	c |   1066597 |  303312  6994286 21668859 | 2147483647  1066597    142 |  0.000 % |
2818.03/2819.38	c |   1075137 |  303312  6994286 21668859 | 2147483647  1075137    142 |  0.000 % |
2838.12/2839.47	c |   1084533 |  303312  6994286 21668859 | 2147483647  1084533    141 |  0.000 % |
2839.22/2840.52	c |   1084633 |  303312  6994286 21668859 | 2147483647  1084633    141 |  0.000 % |
2839.72/2841.02	c |   1084744 |  303312  6994286 21668859 | 2147483647  1084744    141 |  0.000 % |
2840.62/2841.97	c |   1084865 |  303312  6994286 21668859 | 2147483647  1084865    141 |  0.000 % |
2841.72/2843.07	c |   1084998 |  303312  6994286 21668859 | 2147483647  1084998    141 |  0.000 % |
2842.52/2843.84	c |   1085144 |  303312  6994286 21668859 | 2147483647  1085144    141 |  0.000 % |
2843.23/2844.52	c |   1085304 |  303312  6994286 21668859 | 2147483647  1085304    141 |  0.000 % |
2844.12/2845.44	c |   1085481 |  303312  6994286 21668859 | 2147483647  1085481    141 |  0.000 % |
2845.02/2846.35	c |   1085676 |  303312  6994286 21668859 | 2147483647  1085676    141 |  0.000 % |
2846.02/2847.35	c |   1085892 |  303312  6994286 21668859 | 2147483647  1085892    141 |  0.000 % |
2846.72/2848.05	c |   1086125 |  303312  6994286 21668859 | 2147483647  1086125    141 |  0.000 % |
2847.52/2848.89	c |   1086381 |  303312  6994286 21668859 | 2147483647  1086381    141 |  0.000 % |
2848.62/2850.00	c |   1086664 |  303312  6994286 21668859 | 2147483647  1086664    141 |  0.000 % |
2849.72/2851.04	c |   1086973 |  303312  6994286 21668859 | 2147483647  1086973    141 |  0.000 % |
2851.02/2852.39	c |   1087312 |  303312  6994286 21668859 | 2147483647  1087312    141 |  0.000 % |
2852.21/2853.57	c |   1087684 |  303312  6994286 21668859 | 2147483647  1087684    141 |  0.000 % |
2853.81/2855.13	c |   1088093 |  303312  6994286 21668859 | 2147483647  1088093    141 |  0.000 % |
2855.61/2856.96	c |   1088543 |  303312  6994286 21668859 | 2147483647  1088543    141 |  0.000 % |
2857.11/2858.40	c |   1089036 |  303312  6994286 21668859 | 2147483647  1089036    141 |  0.000 % |
2858.51/2859.88	c |   1089578 |  303312  6994286 21668859 | 2147483647  1089578    141 |  0.000 % |
2860.01/2861.37	c |   1090174 |  303312  6994286 21668859 | 2147483647  1090174    141 |  0.000 % |
2861.61/2862.93	c |   1090829 |  303312  6994286 21668859 | 2147483647  1090829    141 |  0.000 % |
2863.60/2864.96	c |   1091550 |  303312  6994286 21668859 | 2147483647  1091550    141 |  0.000 % |
2865.51/2866.84	c |   1092343 |  303312  6994286 21668859 | 2147483647  1092343    141 |  0.000 % |
2867.81/2869.15	c |   1093214 |  303312  6994286 21668859 | 2147483647  1093214    141 |  0.000 % |
2870.61/2871.97	c |   1094172 |  303312  6994286 21668859 | 2147483647  1094172    141 |  0.000 % |
2873.31/2874.66	c |   1095225 |  303312  6994286 21668859 | 2147483647  1095225    141 |  0.000 % |
2876.61/2877.95	c |   1096383 |  303312  6994286 21668859 | 2147483647  1096383    141 |  0.000 % |
2880.11/2881.48	c |   1097656 |  303312  6994286 21668859 | 2147483647  1097656    141 |  0.000 % |
2883.80/2885.17	c |   1099056 |  303312  6994286 21668859 | 2147483647  1099056    141 |  0.000 % |
2889.69/2891.01	c |   1100597 |  303312  6994286 21668859 | 2147483647  1100597    141 |  0.000 % |
2894.70/2896.04	c |   1102292 |  303312  6994286 21668859 | 2147483647  1102292    141 |  0.000 % |
2899.30/2900.61	c |   1104156 |  303312  6994286 21668859 | 2147483647  1104156    141 |  0.000 % |
2904.99/2906.32	c |   1106213 |  303312  6994286 21668859 | 2147483647  1106213    141 |  0.000 % |
2912.19/2913.52	c |   1108466 |  303312  6994286 21668859 | 2147483647  1108466    141 |  0.000 % |
2918.99/2920.32	c |   1110946 |  303312  6994286 21668859 | 2147483647  1110946    141 |  0.000 % |
2926.29/2927.65	c |   1113671 |  303312  6994286 21668859 | 2147483647  1113671    141 |  0.000 % |
2933.58/2934.93	c |   1116669 |  303312  6994286 21668859 | 2147483647  1116669    141 |  0.000 % |
2942.67/2944.01	c |   1119965 |  303312  6994286 21668859 | 2147483647  1119965    140 |  0.000 % |
2951.48/2952.88	c |   1123590 |  303312  6994286 21668859 | 2147483647  1123590    140 |  0.000 % |
2972.56/2973.93	c |   1127577 |  303312  6994286 21668859 | 2147483647  1127577    140 |  0.000 % |
2988.75/2990.17	c |   1131970 |  303312  6994286 21668859 | 2147483647  1131970    141 |  0.000 % |
2998.65/3000.00	c |   1136794 |  303312  6994286 21668859 | 2147483647  1136794    141 |  0.000 % |
3010.36/3011.76	c |   1142100 |  303312  6994286 21668859 | 2147483647  1142100    141 |  0.000 % |
3028.15/3029.58	c |   1147935 |  303312  6994286 21668859 | 2147483647  1147935    141 |  0.000 % |
3052.43/3053.85	c |   1154353 |  303312  6994286 21668859 | 2147483647  1154353    141 |  0.000 % |
3077.43/3078.84	c |   1161413 |  303312  6994286 21668859 | 2147483647  1161413    141 |  0.000 % |
3097.22/3098.67	c |   1169177 |  303312  6994286 21668859 | 2147483647  1169177    143 |  0.000 % |
3128.01/3129.46	c |   1177719 |  303312  6994286 21668859 | 2147483647  1177719    143 |  0.000 % |
3152.00/3153.45	c |   1187113 |  303312  6994286 21668859 | 2147483647  1187113    142 |  0.000 % |
3186.78/3188.28	c |   1197446 |  303312  6994286 21668859 | 2147483647  1197446    143 |  0.000 % |
3187.98/3189.46	c |   1197546 |  303312  6994286 21668859 | 2147483647  1197546    143 |  0.000 % |
3189.18/3190.69	c |   1197657 |  303312  6994286 21668859 | 2147483647  1197657    143 |  0.000 % |
3189.98/3191.40	c |   1197780 |  303312  6994286 21668859 | 2147483647  1197780    143 |  0.000 % |
3190.48/3191.91	c |   1197913 |  303312  6994286 21668859 | 2147483647  1197913    143 |  0.000 % |
3191.08/3192.50	c |   1198059 |  303312  6994286 21668859 | 2147483647  1198059    143 |  0.000 % |
3192.18/3193.60	c |   1198221 |  303312  6994286 21668859 | 2147483647  1198221    143 |  0.000 % |
3192.99/3194.45	c |   1198397 |  303312  6994286 21668859 | 2147483647  1198397    143 |  0.000 % |
3193.68/3195.10	c |   1198591 |  303312  6994286 21668859 | 2147483647  1198591    143 |  0.000 % |
3194.88/3196.30	c |   1198805 |  303312  6994286 21668859 | 2147483647  1198805    143 |  0.000 % |
3196.58/3198.02	c |   1199038 |  303312  6994286 21668859 | 2147483647  1199038    143 |  0.000 % |
3197.87/3199.35	c |   1199294 |  303312  6994286 21668859 | 2147483647  1199294    143 |  0.000 % |
3199.37/3200.80	c |   1199575 |  303312  6994286 21668859 | 2147483647  1199575    143 |  0.000 % |
3202.18/3203.67	c |   1199885 |  303312  6994286 21668859 | 2147483647  1199885    143 |  0.000 % |
3203.58/3205.09	c |   1200224 |  303312  6994286 21668859 | 2147483647  1200224    143 |  0.000 % |
3204.87/3206.32	c |   1200596 |  303312  6994286 21668859 | 2147483647  1200596    143 |  0.000 % |
3206.67/3208.11	c |   1201008 |  303312  6994286 21668859 | 2147483647  1201008    143 |  0.000 % |
3209.67/3211.14	c |   1201458 |  303312  6994286 21668859 | 2147483647  1201458    143 |  0.000 % |
3212.27/3213.70	c |   1201952 |  303312  6994286 21668859 | 2147483647  1201952    143 |  0.000 % |
3215.17/3216.60	c |   1202494 |  303312  6994286 21668859 | 2147483647  1202494    143 |  0.000 % |
3218.06/3219.52	c |   1203091 |  303312  6994286 21668859 | 2147483647  1203091    143 |  0.000 % |
3221.06/3222.53	c |   1203747 |  303312  6994286 21668859 | 2147483647  1203747    143 |  0.000 % |
3223.77/3225.24	c |   1204468 |  303312  6994286 21668859 | 2147483647  1204468    143 |  0.000 % |
3225.87/3227.37	c |   1205260 |  303312  6994286 21668859 | 2147483647  1205260    143 |  0.000 % |
3229.27/3230.78	c |   1206131 |  303312  6994286 21668859 | 2147483647  1206131    143 |  0.000 % |
3233.16/3234.66	c |   1207089 |  303312  6994286 21668859 | 2147483647  1207089    143 |  0.000 % |
3237.26/3238.71	c |   1208142 |  303312  6994286 21668859 | 2147483647  1208142    143 |  0.000 % |
3243.35/3244.86	c |   1209302 |  303312  6994286 21668859 | 2147483647  1209302    143 |  0.000 % |
3247.96/3249.42	c |   1210575 |  303312  6994286 21668859 | 2147483647  1210575    143 |  0.000 % |
3253.56/3255.04	c |   1211978 |  303312  6994286 21668859 | 2147483647  1211978    143 |  0.000 % |
3259.65/3261.15	c |   1213518 |  303312  6994286 21668859 | 2147483647  1213518    143 |  0.000 % |
3265.05/3266.59	c |   1215212 |  303312  6994286 21668859 | 2147483647  1215212    143 |  0.000 % |
3273.54/3275.08	c |   1217076 |  303312  6994286 21668859 | 2147483647  1217076    143 |  0.000 % |
3282.25/3283.74	c |   1219125 |  303312  6994286 21668859 | 2147483647  1219125    143 |  0.000 % |
3290.34/3291.89	c |   1221379 |  303312  6994286 21668859 | 2147483647  1221379    143 |  0.000 % |
3298.83/3300.35	c |   1223859 |  303312  6994286 21668859 | 2147483647  1223859    143 |  0.000 % |
3303.14/3304.66	c |   1226584 |  303312  6994286 21668859 | 2147483647  1226584    143 |  0.000 % |
3312.13/3313.65	c |   1229581 |  303312  6994286 21668859 | 2147483647  1229581    143 |  0.000 % |
3323.43/3324.92	c |   1232877 |  303312  6994286 21668859 | 2147483647  1232877    143 |  0.000 % |
3335.12/3336.60	c |   1236503 |  303312  6994286 21668859 | 2147483647  1236503    143 |  0.000 % |
3346.12/3347.66	c |   1240490 |  303312  6994286 21668859 | 2147483647  1240490    143 |  0.000 % |
3363.71/3365.22	c |   1244875 |  303312  6994286 21668859 | 2147483647  1244875    143 |  0.000 % |
3374.50/3376.01	c |   1249700 |  303312  6994286 21668859 | 2147483647  1249700    143 |  0.000 % |
3382.70/3384.28	c |   1255005 |  303312  6994286 21668859 | 2147483647  1255005    143 |  0.000 % |
3400.40/3401.94	c |   1260840 |  303312  6994286 21668859 | 2147483647  1260840    144 |  0.000 % |
3420.89/3422.49	c |   1267259 |  303312  6994286 21668859 | 2147483647  1267259    144 |  0.000 % |
3444.97/3446.59	c |   1274319 |  303312  6994286 21668859 | 2147483647  1274319    144 |  0.000 % |
3467.17/3468.70	c |   1282083 |  303312  6994286 21668859 | 2147483647  1282083    144 |  0.000 % |
3494.66/3496.20	c |   1290624 |  298100  6881702 21383890 | 2147483647  1290475    145 |  1.718 % |
3513.65/3515.27	c |   1300018 |  298100  6881702 21383890 | 2147483647  1299869    145 |  1.718 % |
3546.04/3547.67	c |   1310352 |  298100  6881702 21383890 | 2147483647  1310203    145 |  1.718 % |
3572.73/3574.39	c |   1321718 |  298100  6881702 21383890 | 2147483647  1321569    148 |  1.718 % |
3573.53/3575.11	c |   1321820 |  298100  6881702 21383890 | 2147483647  1321671    148 |  1.718 % |
3574.33/3575.97	c |   1321931 |  298100  6881702 21383890 | 2147483647  1321782    148 |  1.718 % |
3575.13/3576.75	c |   1322052 |  298100  6881702 21383890 | 2147483647  1321903    148 |  1.718 % |
3576.43/3578.06	c |   1322185 |  298100  6881702 21383890 | 2147483647  1322036    148 |  1.718 % |
3577.63/3579.24	c |   1322331 |  298100  6881702 21383890 | 2147483647  1322182    148 |  1.718 % |
3578.73/3580.33	c |   1322491 |  298100  6881702 21383890 | 2147483647  1322342    148 |  1.718 % |
3579.43/3581.05	c |   1322668 |  298100  6881702 21383890 | 2147483647  1322519    148 |  1.718 % |
3580.32/3581.96	c |   1322863 |  298100  6881702 21383890 | 2147483647  1322714    148 |  1.718 % |
3582.32/3583.91	c |   1323075 |  298100  6881702 21383890 | 2147483647  1322926    148 |  1.718 % |
3584.12/3585.71	c |   1323309 |  298100  6881702 21383890 | 2147483647  1323160    148 |  1.718 % |
3587.22/3588.81	c |   1323565 |  298100  6881702 21383890 | 2147483647  1323416    148 |  1.718 % |
3588.62/3590.29	c |   1323846 |  298100  6881702 21383890 | 2147483647  1323697    148 |  1.718 % |
3590.72/3592.33	c |   1324155 |  298100  6881702 21383890 | 2147483647  1324006    148 |  1.718 % |
3592.62/3594.27	c |   1324502 |  298100  6881702 21383890 | 2147483647  1324353    148 |  1.718 % |
3594.32/3595.96	c |   1324874 |  298100  6881702 21383890 | 2147483647  1324725    148 |  1.718 % |
3597.31/3598.91	c |   1325284 |  298100  6881702 21383890 | 2147483647  1325135    148 |  1.718 % |
3599.91/3601.56	c |   1325733 |  298100  6881702 21383890 | 2147483647  1325584    148 |  1.718 % |
3600.81/3602.50	c |   1326226 |  298100  6881702 21383890 | 2147483647  1326077    148 |  1.718 % |
3602.41/3604.08	c |   1326768 |  298100  6881702 21383890 | 2147483647  1326619    148 |  1.718 % |
3604.31/3605.98	c |   1327370 |  298100  6881702 21383890 | 2147483647  1327221    148 |  1.718 % |
3608.71/3610.38	c |   1328026 |  298100  6881702 21383890 | 2147483647  1327877    148 |  1.718 % |
3611.82/3613.43	c |   1328747 |  298100  6881702 21383890 | 2147483647  1328598    148 |  1.718 % |
3613.71/3615.30	c |   1329539 |  298100  6881702 21383890 | 2147483647  1329390    148 |  1.718 % |
3616.40/3618.03	c |   1330410 |  298100  6881702 21383890 | 2147483647  1330261    148 |  1.718 % |
3619.40/3621.00	c |   1331368 |  298100  6881702 21383890 | 2147483647  1331219    148 |  1.718 % |
3622.30/3623.90	c |   1332421 |  298100  6881702 21383890 | 2147483647  1332272    148 |  1.718 % |
3625.30/3627.00	c |   1333579 |  298100  6881702 21383890 | 2147483647  1333430    148 |  1.718 % |
3628.41/3630.10	c |   1334854 |  298100  6881702 21383890 | 2147483647  1334705    148 |  1.718 % |
3632.30/3633.91	c |   1336255 |  298100  6881702 21383890 | 2147483647  1336106    147 |  1.718 % |
3636.50/3638.19	c |   1337798 |  298100  6881702 21383890 | 2147483647  1337649    147 |  1.718 % |
3641.80/3643.40	c |   1339492 |  298100  6881702 21383890 | 2147483647  1339343    147 |  1.718 % |
3647.69/3649.33	c |   1341355 |  298100  6881702 21383890 | 2147483647  1341206    147 |  1.718 % |
3653.29/3654.97	c |   1343404 |  298100  6881702 21383890 | 2147483647  1343255    147 |  1.718 % |
3659.29/3660.97	c |   1345659 |  298100  6881702 21383890 | 2147483647  1345510    147 |  1.718 % |
3666.69/3668.37	c |   1348138 |  298100  6881702 21383890 | 2147483647  1347989    147 |  1.718 % |
3674.78/3676.47	c |   1350864 |  298100  6881702 21383890 | 2147483647  1350715    146 |  1.718 % |
3683.39/3685.03	c |   1353861 |  298100  6881702 21383890 | 2147483647  1353712    146 |  1.718 % |
3693.37/3695.07	c |   1357158 |  298100  6881702 21383890 | 2147483647  1357009    146 |  1.718 % |
3702.57/3704.20	c |   1360784 |  298100  6881702 21383890 | 2147483647  1360635    146 |  1.718 % |
3712.67/3714.34	c |   1364771 |  298100  6881702 21383890 | 2147483647  1364622    146 |  1.718 % |
3724.46/3726.10	c |   1369157 |  298100  6881702 21383890 | 2147483647  1369008    146 |  1.718 % |
3738.76/3740.43	c |   1373980 |  298100  6881702 21383890 | 2147483647  1373831    145 |  1.718 % |
3753.26/3754.91	c |   1379286 |  298100  6881702 21383890 | 2147483647  1379137    145 |  1.718 % |
3768.54/3770.22	c |   1385121 |  298100  6881702 21383890 | 2147483647  1384972    144 |  1.718 % |
3790.64/3792.36	c |   1391539 |  298100  6881702 21383890 | 2147483647  1391390    144 |  1.718 % |
3808.74/3810.43	c |   1398598 |  298100  6881702 21383890 | 2147483647  1398449    145 |  1.718 % |
3834.62/3836.31	c |   1406363 |  298100  6881702 21383890 | 2147483647  1406214    145 |  1.718 % |
3859.91/3861.66	c |   1414903 |  298100  6881702 21383890 | 2147483647  1414754    145 |  1.718 % |
3890.20/3891.94	c |   1424297 |  298100  6881702 21383890 | 2147483647  1424148    146 |  1.718 % |
3922.58/3924.34	c |   1434630 |  298100  6881702 21383890 | 2147483647  1434481    145 |  1.718 % |
3959.47/3961.20	c |   1445997 |  298100  6881702 21383890 | 2147483647  1445848    145 |  1.718 % |
3999.96/4001.79	c |   1458499 |  298100  6881702 21383890 | 2147483647  1458350    145 |  1.718 % |
4000.56/4002.34	c |   1458599 |  298100  6881702 21383890 | 2147483647  1458450    145 |  1.718 % |
4001.66/4003.47	c |   1458711 |  298100  6881702 21383890 | 2147483647  1458562    145 |  1.718 % |
4002.36/4004.14	c |   1458836 |  298100  6881702 21383890 | 2147483647  1458687    145 |  1.718 % |
4004.26/4006.07	c |   1458971 |  298100  6881702 21383890 | 2147483647  1458822    145 |  1.718 % |
4005.25/4007.06	c |   1459117 |  298100  6881702 21383890 | 2147483647  1458968    145 |  1.718 % |
4005.95/4007.78	c |   1459277 |  298100  6881702 21383890 | 2147483647  1459128    145 |  1.718 % |
4006.95/4008.79	c |   1459453 |  298100  6881702 21383890 | 2147483647  1459304    145 |  1.718 % |
4008.15/4009.90	c |   1459646 |  298100  6881702 21383890 | 2147483647  1459497    145 |  1.718 % |
4009.15/4010.93	c |   1459858 |  298100  6881702 21383890 | 2147483647  1459709    145 |  1.718 % |
4010.75/4012.55	c |   1460092 |  298100  6881702 21383890 | 2147483647  1459943    145 |  1.718 % |
4012.35/4014.15	c |   1460349 |  298100  6881702 21383890 | 2147483647  1460200    145 |  1.718 % |
4014.45/4016.20	c |   1460631 |  298100  6881702 21383890 | 2147483647  1460482    145 |  1.718 % |
4015.55/4017.35	c |   1460940 |  298100  6881702 21383890 | 2147483647  1460791    145 |  1.718 % |
4016.95/4018.70	c |   1461279 |  298100  6881702 21383890 | 2147483647  1461130    145 |  1.718 % |
4018.15/4019.91	c |   1461651 |  298100  6881702 21383890 | 2147483647  1461502    145 |  1.718 % |
4019.45/4021.26	c |   1462061 |  298100  6881702 21383890 | 2147483647  1461912    145 |  1.718 % |
4021.95/4023.73	c |   1462510 |  298100  6881702 21383890 | 2147483647  1462361    145 |  1.718 % |
4024.15/4026.00	c |   1463003 |  298100  6881702 21383890 | 2147483647  1462854    145 |  1.718 % |
4027.44/4029.27	c |   1463546 |  298100  6881702 21383890 | 2147483647  1463397    145 |  1.718 % |
4030.94/4032.79	c |   1464142 |  298100  6881702 21383890 | 2147483647  1463993    145 |  1.718 % |
4034.44/4036.28	c |   1464798 |  298100  6881702 21383890 | 2147483647  1464649    145 |  1.718 % |
4037.34/4039.20	c |   1465518 |  298100  6881702 21383890 | 2147483647  1465369    145 |  1.718 % |
4041.44/4043.25	c |   1466311 |  298100  6881702 21383890 | 2147483647  1466162    145 |  1.718 % |
4044.84/4046.68	c |   1467182 |  298100  6881702 21383890 | 2147483647  1467033    145 |  1.718 % |
4048.13/4049.98	c |   1468140 |  298100  6881702 21383890 | 2147483647  1467991    145 |  1.718 % |
4052.44/4054.25	c |   1469194 |  298100  6881702 21383890 | 2147483647  1469045    145 |  1.718 % |
4056.64/4058.47	c |   1470354 |  298100  6881702 21383890 | 2147483647  1470205    145 |  1.718 % |
4060.63/4062.43	c |   1471627 |  298100  6881702 21383890 | 2147483647  1471478    145 |  1.718 % |
4067.33/4069.17	c |   1473028 |  298100  6881702 21383890 | 2147483647  1472879    145 |  1.718 % |
4073.63/4075.42	c |   1474568 |  298100  6881702 21383890 | 2147483647  1474419    145 |  1.718 % |
4080.22/4082.03	c |   1476262 |  298100  6881702 21383890 | 2147483647  1476113    145 |  1.718 % |
4086.32/4088.16	c |   1478125 |  298100  6881702 21383890 | 2147483647  1477976    145 |  1.718 % |
4094.02/4095.80	c |   1480180 |  298100  6881702 21383890 | 2147483647  1480031    145 |  1.718 % |
4101.62/4103.44	c |   1482433 |  298100  6881702 21383890 | 2147483647  1482284    145 |  1.718 % |
4110.01/4111.82	c |   1484912 |  298100  6881702 21383890 | 2147483647  1484763    145 |  1.718 % |
4120.91/4122.71	c |   1487637 |  298100  6881702 21383890 | 2147483647  1487488    145 |  1.718 % |
4133.80/4135.64	c |   1490635 |  298100  6881702 21383890 | 2147483647  1490486    145 |  1.718 % |
4146.40/4148.23	c |   1493931 |  298100  6881702 21383890 | 2147483647  1493782    145 |  1.718 % |
4155.60/4157.43	c |   1497558 |  298100  6881702 21383890 | 2147483647  1497409    145 |  1.718 % |
4167.89/4169.76	c |   1501545 |  298100  6881702 21383890 | 2147483647  1501396    145 |  1.718 % |
4180.19/4182.06	c |   1505931 |  298100  6881702 21383890 | 2147483647  1505782    145 |  1.718 % |
4198.28/4200.17	c |   1510755 |  298100  6881702 21383890 | 2147483647  1510606    145 |  1.718 % |
4223.07/4224.95	c |   1516062 |  298100  6881702 21383890 | 2147483647  1515913    145 |  1.718 % |
4245.96/4247.83	c |   1521897 |  298100  6881702 21383890 | 2147483647  1521748    145 |  1.718 % |
4268.45/4270.31	c |   1528315 |  298100  6881702 21383890 | 2147483647  1528166    145 |  1.718 % |
4288.84/4290.74	c |   1535375 |  298100  6881702 21383890 | 2147483647  1535226    146 |  1.718 % |
4316.53/4318.46	c |   1543141 |  298100  6881702 21383890 | 2147483647  1542992    147 |  1.718 % |
4346.22/4348.16	c |   1551682 |  298100  6881702 21383890 | 2147483647  1551533    147 |  1.718 % |
4376.80/4378.71	c |   1561077 |  298100  6881702 21383890 | 2147483647  1560928    149 |  1.718 % |
4410.89/4412.80	c |   1571411 |  298100  6881702 21383890 | 2147483647  1571262    150 |  1.718 % |
4443.77/4445.77	c |   1582777 |  298100  6881702 21383890 | 2147483647  1582628    149 |  1.718 % |
4488.56/4490.51	c |   1595279 |  298100  6881702 21383890 | 2147483647  1595130    149 |  1.718 % |
4537.44/4539.44	c |   1609031 |  298100  6881702 21383890 | 2147483647  1608882    148 |  1.718 % |
4538.44/4540.47	c |   1609132 |  298100  6881702 21383890 | 2147483647  1608983    148 |  1.718 % |
4539.54/4541.50	c |   1609244 |  298100  6881702 21383890 | 2147483647  1609095    148 |  1.718 % |
4540.14/4542.14	c |   1609366 |  298100  6881702 21383890 | 2147483647  1609217    148 |  1.718 % |
4540.74/4542.79	c |   1609499 |  298100  6881702 21383890 | 2147483647  1609350    148 |  1.718 % |
4541.44/4543.44	c |   1609647 |  298100  6881702 21383890 | 2147483647  1609498    148 |  1.718 % |
4542.14/4544.10	c |   1609807 |  298100  6881702 21383890 | 2147483647  1609658    148 |  1.718 % |
4542.73/4544.74	c |   1609983 |  298100  6881702 21383890 | 2147483647  1609834    148 |  1.718 % |
4543.43/4545.47	c |   1610177 |  298100  6881702 21383890 | 2147483647  1610028    148 |  1.718 % |
4544.13/4546.17	c |   1610390 |  298100  6881702 21383890 | 2147483647  1610241    148 |  1.718 % |
4544.93/4546.96	c |   1610623 |  298100  6881702 21383890 | 2147483647  1610474    148 |  1.718 % |
4545.73/4547.75	c |   1610879 |  298100  6881702 21383890 | 2147483647  1610730    148 |  1.718 % |
4546.63/4548.60	c |   1611162 |  298100  6881702 21383890 | 2147483647  1611013    148 |  1.718 % |
4547.73/4549.77	c |   1611472 |  298100  6881702 21383890 | 2147483647  1611323    148 |  1.718 % |
4549.43/4551.44	c |   1611812 |  298100  6881702 21383890 | 2147483647  1611663    148 |  1.718 % |
4550.63/4552.68	c |   1612185 |  298100  6881702 21383890 | 2147483647  1612036    148 |  1.718 % |
4552.23/4554.22	c |   1612595 |  298100  6881702 21383890 | 2147483647  1612446    148 |  1.718 % |
4554.04/4556.00	c |   1613044 |  298100  6881702 21383890 | 2147483647  1612895    148 |  1.718 % |
4555.94/4557.92	c |   1613537 |  298100  6881702 21383890 | 2147483647  1613388    148 |  1.718 % |
4558.13/4560.17	c |   1614080 |  298100  6881702 21383890 | 2147483647  1613931    148 |  1.718 % |
4560.73/4562.80	c |   1614676 |  298100  6881702 21383890 | 2147483647  1614527    148 |  1.718 % |
4564.23/4566.25	c |   1615331 |  298100  6881702 21383890 | 2147483647  1615182    148 |  1.718 % |
4567.13/4569.18	c |   1616052 |  298100  6881702 21383890 | 2147483647  1615903    148 |  1.718 % |
4570.53/4572.60	c |   1616844 |  298100  6881702 21383890 | 2147483647  1616695    148 |  1.718 % |
4573.62/4575.60	c |   1617715 |  298100  6881702 21383890 | 2147483647  1617566    148 |  1.718 % |
4577.12/4579.19	c |   1618673 |  298100  6881702 21383890 | 2147483647  1618524    148 |  1.718 % |
4581.02/4583.04	c |   1619727 |  298100  6881702 21383890 | 2147483647  1619578    148 |  1.718 % |
4585.02/4587.07	c |   1620885 |  298100  6881702 21383890 | 2147483647  1620736    148 |  1.718 % |
4589.33/4591.36	c |   1622159 |  298100  6881702 21383890 | 2147483647  1622010    147 |  1.718 % |
4594.52/4596.55	c |   1623559 |  298100  6881702 21383890 | 2147483647  1623410    147 |  1.718 % |
4598.22/4600.28	c |   1625099 |  298100  6881702 21383890 | 2147483647  1624950    147 |  1.718 % |
4603.51/4605.54	c |   1626794 |  298100  6881702 21383890 | 2147483647  1626645    147 |  1.718 % |
4610.62/4612.63	c |   1628657 |  298100  6881702 21383890 | 2147483647  1628508    147 |  1.718 % |
4617.61/4619.60	c |   1630706 |  298100  6881702 21383890 | 2147483647  1630557    147 |  1.718 % |
4624.31/4626.30	c |   1632959 |  298100  6881702 21383890 | 2147483647  1632810    147 |  1.718 % |
4632.60/4634.63	c |   1635437 |  298100  6881702 21383890 | 2147483647  1635288    147 |  1.718 % |
4641.50/4643.51	c |   1638164 |  298100  6881702 21383890 | 2147483647  1638015    147 |  1.718 % |
4651.99/4654.02	c |   1641162 |  298100  6881702 21383890 | 2147483647  1641013    147 |  1.718 % |
4662.18/4664.24	c |   1644458 |  298100  6881702 21383890 | 2147483647  1644309    146 |  1.718 % |
4672.78/4674.82	c |   1648083 |  298100  6881702 21383890 | 2147483647  1647934    146 |  1.718 % |
4689.17/4691.25	c |   1652073 |  298100  6881702 21383890 | 2147483647  1651924    147 |  1.718 % |
4700.67/4702.78	c |   1656458 |  298100  6881702 21383890 | 2147483647  1656309    147 |  1.718 % |
4714.68/4716.73	c |   1661281 |  298100  6881702 21383890 | 2147483647  1661132    147 |  1.718 % |
4732.16/4734.24	c |   1666586 |  298100  6881702 21383890 | 2147483647  1666437    146 |  1.718 % |
4756.55/4758.69	c |   1672422 |  298100  6881702 21383890 | 2147483647  1672273    147 |  1.718 % |
4777.74/4779.81	c |   1678840 |  298100  6881702 21383890 | 2147483647  1678691    147 |  1.718 % |
4805.63/4807.79	c |   1685899 |  298100  6881702 21383890 | 2147483647  1685750    147 |  1.718 % |
4840.52/4842.67	c |   1693664 |  298100  6881702 21383890 | 2147483647  1693515    148 |  1.718 % |
4878.60/4880.76	c |   1702205 |  298100  6881702 21383890 | 2147483647  1702056    149 |  1.718 % |
4908.49/4910.62	c |   1711599 |  298100  6881702 21383890 | 2147483647  1711450    149 |  1.718 % |
4940.98/4943.17	c |   1721935 |  298100  6881702 21383890 | 2147483647  1721786    151 |  1.718 % |
4979.06/4981.27	c |   1733301 |  298100  6881702 21383890 | 2147483647  1733152    150 |  1.718 % |
5017.55/5019.79	c |   1745804 |  298100  6881702 21383890 | 2147483647  1745655    150 |  1.718 % |
5059.93/5062.15	c |   1759557 |  298100  6881702 21383890 | 2147483647  1759408    149 |  1.718 % |
5106.51/5108.70	c |   1774685 |  298100  6881702 21383890 | 2147483647  1774536    151 |  1.718 % |
5106.81/5109.06	c |   1774788 |  298100  6881702 21383890 | 2147483647  1774639    151 |  1.718 % |
5107.61/5109.83	c |   1774898 |  298100  6881702 21383890 | 2147483647  1774749    151 |  1.718 % |
5108.11/5110.37	c |   1775023 |  298100  6881702 21383890 | 2147483647  1774874    151 |  1.718 % |
5110.71/5112.90	c |   1775156 |  298100  6881702 21383890 | 2147483647  1775007    151 |  1.718 % |
5112.71/5114.92	c |   1775302 |  298100  6881702 21383890 | 2147483647  1775153    151 |  1.718 % |
5113.91/5116.16	c |   1775463 |  298100  6881702 21383890 | 2147483647  1775314    151 |  1.718 % |
5116.21/5118.47	c |   1775640 |  298100  6881702 21383890 | 2147483647  1775491    151 |  1.718 % |
5117.91/5120.13	c |   1775835 |  298100  6881702 21383890 | 2147483647  1775686    151 |  1.718 % |
5119.81/5122.03	c |   1776049 |  298100  6881702 21383890 | 2147483647  1775900    151 |  1.718 % |
5122.10/5124.39	c |   1776285 |  298100  6881702 21383890 | 2147483647  1776136    151 |  1.718 % |
5123.90/5126.11	c |   1776541 |  298100  6881702 21383890 | 2147483647  1776392    151 |  1.718 % |
5126.70/5128.92	c |   1776822 |  298100  6881702 21383890 | 2147483647  1776673    151 |  1.718 % |
5129.80/5132.08	c |   1777132 |  298100  6881702 21383890 | 2147483647  1776983    151 |  1.718 % |
5131.40/5133.66	c |   1777471 |  298100  6881702 21383890 | 2147483647  1777322    151 |  1.718 % |
5132.60/5134.85	c |   1777843 |  298100  6881702 21383890 | 2147483647  1777694    151 |  1.718 % |
5134.71/5136.96	c |   1778252 |  298100  6881702 21383890 | 2147483647  1778103    151 |  1.718 % |
5137.41/5139.69	c |   1778701 |  298100  6881702 21383890 | 2147483647  1778552    151 |  1.718 % |
5139.60/5141.89	c |   1779195 |  298100  6881702 21383890 | 2147483647  1779046    151 |  1.718 % |
5142.50/5144.77	c |   1779739 |  298100  6881702 21383890 | 2147483647  1779590    151 |  1.718 % |
5146.99/5149.23	c |   1780336 |  298100  6881702 21383890 | 2147483647  1780187    151 |  1.718 % |
5151.30/5153.56	c |   1780993 |  298100  6881702 21383890 | 2147483647  1780844    151 |  1.718 % |
5153.49/5155.76	c |   1781713 |  298100  6881702 21383890 | 2147483647  1781564    151 |  1.718 % |
5157.70/5159.97	c |   1782505 |  298100  6881702 21383890 | 2147483647  1782356    151 |  1.718 % |
5164.69/5166.90	c |   1783376 |  298100  6881702 21383890 | 2147483647  1783227    151 |  1.718 % |
5169.39/5171.66	c |   1784335 |  298100  6881702 21383890 | 2147483647  1784186    150 |  1.718 % |
5173.19/5175.48	c |   1785388 |  298100  6881702 21383890 | 2147483647  1785239    150 |  1.718 % |
5176.89/5179.14	c |   1786548 |  298100  6881702 21383890 | 2147483647  1786399    150 |  1.718 % |
5181.68/5183.92	c |   1787821 |  298100  6881702 21383890 | 2147483647  1787672    150 |  1.718 % |
5188.38/5190.68	c |   1789221 |  298100  6881702 21383890 | 2147483647  1789072    150 |  1.718 % |
5195.07/5197.38	c |   1790761 |  298100  6881702 21383890 | 2147483647  1790612    150 |  1.718 % |
5201.48/5203.71	c |   1792456 |  298100  6881702 21383890 | 2147483647  1792307    150 |  1.718 % |
5208.48/5210.71	c |   1794319 |  298100  6881702 21383890 | 2147483647  1794170    150 |  1.718 % |
5214.87/5217.11	c |   1796368 |  298100  6881702 21383890 | 2147483647  1796219    150 |  1.718 % |
5223.56/5225.89	c |   1798622 |  298100  6881702 21383890 | 2147483647  1798473    150 |  1.718 % |
5232.05/5234.31	c |   1801100 |  298100  6881702 21383890 | 2147483647  1800951    150 |  1.718 % |
5241.56/5243.81	c |   1803826 |  298100  6881702 21383890 | 2147483647  1803677    150 |  1.718 % |
5252.75/5255.07	c |   1806823 |  298100  6881702 21383890 | 2147483647  1806674    150 |  1.718 % |
5264.65/5266.98	c |   1810120 |  298100  6881702 21383890 | 2147483647  1809971    150 |  1.718 % |
5275.84/5278.14	c |   1813745 |  298100  6881702 21383890 | 2147483647  1813596    149 |  1.718 % |
5292.94/5295.22	c |   1817732 |  298100  6881702 21383890 | 2147483647  1817583    149 |  1.718 % |
5311.83/5314.18	c |   1822120 |  298100  6881702 21383890 | 2147483647  1821971    149 |  1.718 % |
5329.72/5332.05	c |   1826945 |  298100  6881702 21383890 | 2147483647  1826796    149 |  1.718 % |
5350.51/5352.84	c |   1832251 |  298100  6881702 21383890 | 2147483647  1832102    149 |  1.718 % |
5377.10/5379.43	c |   1838086 |  298100  6881702 21383890 | 2147483647  1837937    149 |  1.718 % |
5412.69/5415.02	c |   1844504 |  298100  6881702 21383890 | 2147483647  1844355    149 |  1.718 % |
5431.28/5433.67	c |   1851564 |  298100  6881702 21383890 | 2147483647  1851415    149 |  1.718 % |
5462.96/5465.34	c |   1859328 |  298100  6881702 21383890 | 2147483647  1859179    150 |  1.718 % |
5494.04/5496.49	c |   1867868 |  298100  6881702 21383890 | 2147483647  1867719    150 |  1.718 % |
5531.33/5533.72	c |   1877262 |  298100  6881702 21383890 | 2147483647  1877113    150 |  1.718 % |
5561.82/5564.24	c |   1887597 |  298100  6881702 21383890 | 2147483647  1887448    151 |  1.718 % |
5596.51/5598.93	c |   1898964 |  298100  6881702 21383890 | 2147483647  1898815    152 |  1.718 % |
5650.29/5652.73	c |   1911467 |  298100  6881702 21383890 | 2147483647  1911318    152 |  1.718 % |
5695.27/5697.77	c |   1925219 |  298100  6881702 21383890 | 2147483647  1925070    153 |  1.718 % |
5752.24/5754.75	c |   1940348 |  298100  6881702 21383890 | 2147483647  1940199    155 |  1.718 % |
5817.72/5820.22	c |   1956988 |  298100  6881702 21383890 | 2147483647  1956839    156 |  1.718 % |
5819.02/5821.57	c |   1957091 |  298100  6881702 21383890 | 2147483647  1956942    156 |  1.718 % |
5820.22/5822.72	c |   1957201 |  298100  6881702 21383890 | 2147483647  1957052    156 |  1.718 % |
5822.02/5824.52	c |   1957324 |  298100  6881702 21383890 | 2147483647  1957175    156 |  1.718 % |
5822.62/5825.16	c |   1957458 |  298100  6881702 21383890 | 2147483647  1957309    156 |  1.718 % |
5823.51/5826.05	c |   1957604 |  298100  6881702 21383890 | 2147483647  1957455    156 |  1.718 % |
5824.71/5827.25	c |   1957765 |  298100  6881702 21383890 | 2147483647  1957616    156 |  1.718 % |
5826.11/5828.63	c |   1957941 |  298100  6881702 21383890 | 2147483647  1957792    156 |  1.718 % |
5827.52/5830.05	c |   1958134 |  298100  6881702 21383890 | 2147483647  1957985    156 |  1.718 % |
5828.91/5831.42	c |   1958346 |  298100  6881702 21383890 | 2147483647  1958197    156 |  1.718 % |
5829.91/5832.48	c |   1958579 |  298100  6881702 21383890 | 2147483647  1958430    156 |  1.718 % |
5833.01/5835.53	c |   1958835 |  298100  6881702 21383890 | 2147483647  1958686    156 |  1.718 % |
5835.21/5837.75	c |   1959117 |  298100  6881702 21383890 | 2147483647  1958968    156 |  1.718 % |
5836.81/5839.34	c |   1959426 |  298100  6881702 21383890 | 2147483647  1959277    156 |  1.718 % |
5838.61/5841.17	c |   1959766 |  298100  6881702 21383890 | 2147483647  1959617    156 |  1.718 % |
5841.51/5844.01	c |   1960140 |  298100  6881702 21383890 | 2147483647  1959991    156 |  1.718 % |
5844.21/5846.73	c |   1960549 |  298100  6881702 21383890 | 2147483647  1960400    156 |  1.718 % |
5846.71/5849.29	c |   1960998 |  298100  6881702 21383890 | 2147483647  1960849    156 |  1.718 % |
5850.61/5853.15	c |   1961492 |  298100  6881702 21383890 | 2147483647  1961343    156 |  1.718 % |
5853.10/5855.68	c |   1962037 |  298100  6881702 21383890 | 2147483647  1961888    156 |  1.718 % |
5857.30/5859.80	c |   1962634 |  298100  6881702 21383890 | 2147483647  1962485    156 |  1.718 % |
5862.20/5864.79	c |   1963289 |  298100  6881702 21383890 | 2147483647  1963140    156 |  1.718 % |
5866.29/5868.85	c |   1964009 |  298100  6881702 21383890 | 2147483647  1963860    156 |  1.718 % |
5869.39/5871.94	c |   1964802 |  298100  6881702 21383890 | 2147483647  1964653    156 |  1.718 % |
5875.49/5878.00	c |   1965673 |  298100  6881702 21383890 | 2147483647  1965524    156 |  1.718 % |
5882.19/5884.73	c |   1966631 |  298100  6881702 21383890 | 2147483647  1966482    156 |  1.718 % |
5889.39/5891.96	c |   1967684 |  298100  6881702 21383890 | 2147483647  1967535    156 |  1.718 % |
5894.38/5897.00	c |   1968843 |  298100  6881702 21383890 | 2147483647  1968694    156 |  1.718 % |
5900.68/5903.24	c |   1970118 |  298100  6881702 21383890 | 2147483647  1969969    156 |  1.718 % |
5906.97/5909.57	c |   1971518 |  298100  6881702 21383890 | 2147483647  1971369    156 |  1.718 % |
5916.37/5918.99	c |   1973058 |  298100  6881702 21383890 | 2147483647  1972909    156 |  1.718 % |
5923.17/5925.70	c |   1974752 |  298100  6881702 21383890 | 2147483647  1974603    156 |  1.718 % |
5930.46/5933.09	c |   1976615 |  298100  6881702 21383890 | 2147483647  1976466    156 |  1.718 % |
5939.07/5941.66	c |   1978665 |  298100  6881702 21383890 | 2147483647  1978516    156 |  1.718 % |
5948.86/5951.44	c |   1980919 |  298100  6881702 21383890 | 2147483647  1980770    156 |  1.718 % |
5958.56/5961.13	c |   1983398 |  298100  6881702 21383890 | 2147483647  1983249    156 |  1.718 % |
5968.85/5971.44	c |   1986124 |  298100  6881702 21383890 | 2147483647  1985975    156 |  1.718 % |
5981.35/5983.97	c |   1989122 |  298100  6881702 21383890 | 2147483647  1988973    156 |  1.718 % |
5994.94/5997.57	c |   1992418 |  298100  6881702 21383890 | 2147483647  1992269    156 |  1.718 % |
6012.03/6014.65	c |   1996043 |  298100  6881702 21383890 | 2147483647  1995894    156 |  1.718 % |
6030.53/6033.13	c |   2000032 |  298100  6881702 21383890 | 2147483647  1999883    156 |  1.718 % |
6047.92/6050.51	c |   2004417 |  298100  6881702 21383890 | 2147483647  2004268    156 |  1.718 % |
6061.52/6064.15	c |   2009240 |  298100  6881702 21383890 | 2147483647  2009091    156 |  1.718 % |
6072.01/6074.62	c |   2014546 |  298100  6881702 21383890 | 2147483647  2014397    156 |  1.718 % |
6089.61/6092.25	c |   2020381 |  298100  6881702 21383890 | 2147483647  2020232    156 |  1.718 % |
6107.80/6110.43	c |   2026799 |  298100  6881702 21383890 | 2147483647  2026650    156 |  1.718 % |
6127.79/6130.49	c |   2033859 |  298100  6881702 21383890 | 2147483647  2033710    155 |  1.718 % |
6150.08/6152.73	c |   2041623 |  298100  6881702 21383890 | 2147483647  2041474    155 |  1.718 % |
6181.97/6184.67	c |   2050163 |  298100  6881702 21383890 | 2147483647  2050014    155 |  1.718 % |
6224.65/6227.34	c |   2059558 |  298100  6881702 21383890 | 2147483647  2059409    155 |  1.718 % |
6264.83/6267.59	c |   2069891 |  298100  6881702 21383890 | 2147483647  2069742    155 |  1.718 % |
6299.32/6302.02	c |   2081258 |  298100  6881702 21383890 | 2147483647  2081109    157 |  1.718 % |
6341.60/6344.37	c |   2093760 |  298100  6881702 21383890 | 2147483647  2093611    158 |  1.718 % |
6391.08/6393.81	c |   2107512 |  298100  6881702 21383890 | 2147483647  2107363    159 |  1.718 % |
6448.97/6451.71	c |   2122639 |  298100  6881702 21383890 | 2147483647  2122490    159 |  1.718 % |
6506.54/6509.36	c |   2139280 |  298100  6881702 21383890 | 2147483647  2139131    158 |  1.718 % |
6583.00/6585.83	c |   2157582 |  298100  6881702 21383890 | 2147483647  2157433    160 |  1.718 % |
6584.81/6587.66	c |   2157682 |  298100  6881702 21383890 | 2147483647  2157533    160 |  1.718 % |
6586.01/6588.86	c |   2157792 |  298100  6881702 21383890 | 2147483647  2157643    160 |  1.718 % |
6587.32/6590.17	c |   2157913 |  298100  6881702 21383890 | 2147483647  2157764    160 |  1.718 % |
6588.21/6591.07	c |   2158046 |  298100  6881702 21383890 | 2147483647  2157897    160 |  1.718 % |
6591.51/6594.39	c |   2158192 |  298100  6881702 21383890 | 2147483647  2158043    160 |  1.718 % |
6593.21/6596.04	c |   2158353 |  298100  6881702 21383890 | 2147483647  2158204    160 |  1.718 % |
6595.01/6597.84	c |   2158529 |  298100  6881702 21383890 | 2147483647  2158380    160 |  1.718 % |
6596.31/6599.16	c |   2158723 |  298100  6881702 21383890 | 2147483647  2158574    160 |  1.718 % |
6597.41/6600.29	c |   2158936 |  298100  6881702 21383890 | 2147483647  2158787    160 |  1.718 % |
6598.40/6601.28	c |   2159169 |  298100  6881702 21383890 | 2147483647  2159020    160 |  1.718 % |
6599.70/6602.60	c |   2159425 |  298100  6881702 21383890 | 2147483647  2159276    160 |  1.718 % |
6602.00/6604.85	c |   2159706 |  298100  6881702 21383890 | 2147483647  2159557    159 |  1.718 % |
6603.20/6606.07	c |   2160016 |  298100  6881702 21383890 | 2147483647  2159867    159 |  1.718 % |
6605.10/6607.97	c |   2160355 |  298100  6881702 21383890 | 2147483647  2160206    159 |  1.718 % |
6607.40/6610.21	c |   2160727 |  298100  6881702 21383890 | 2147483647  2160578    159 |  1.718 % |
6609.50/6612.35	c |   2161136 |  298100  6881702 21383890 | 2147483647  2160987    159 |  1.718 % |
6611.79/6614.67	c |   2161585 |  298100  6881702 21383890 | 2147483647  2161436    159 |  1.718 % |
6615.59/6618.49	c |   2162078 |  298100  6881702 21383890 | 2147483647  2161929    159 |  1.718 % |
6619.19/6622.05	c |   2162620 |  298100  6881702 21383890 | 2147483647  2162471    159 |  1.718 % |
6622.49/6625.31	c |   2163216 |  298100  6881702 21383890 | 2147483647  2163067    159 |  1.718 % |
6625.99/6628.81	c |   2163871 |  298100  6881702 21383890 | 2147483647  2163722    159 |  1.718 % |
6628.78/6631.64	c |   2164591 |  298100  6881702 21383890 | 2147483647  2164442    159 |  1.718 % |
6632.39/6635.27	c |   2165383 |  298100  6881702 21383890 | 2147483647  2165234    159 |  1.718 % |
6635.69/6638.56	c |   2166254 |  298100  6881702 21383890 | 2147483647  2166105    159 |  1.718 % |
6639.18/6642.07	c |   2167212 |  298100  6881702 21383890 | 2147483647  2167063    159 |  1.718 % |
6642.68/6645.59	c |   2168265 |  298100  6881702 21383890 | 2147483647  2168116    159 |  1.718 % |
6646.28/6649.13	c |   2169423 |  298100  6881702 21383890 | 2147483647  2169274    159 |  1.718 % |
6650.58/6653.44	c |   2170696 |  298100  6881702 21383890 | 2147483647  2170547    159 |  1.718 % |
6654.38/6657.25	c |   2172096 |  298100  6881702 21383890 | 2147483647  2171947    159 |  1.718 % |
6661.17/6664.05	c |   2173637 |  298100  6881702 21383890 | 2147483647  2173488    159 |  1.718 % |
6667.77/6670.65	c |   2175331 |  298100  6881702 21383890 | 2147483647  2175182    159 |  1.718 % |
6674.17/6677.01	c |   2177194 |  298100  6881702 21383890 | 2147483647  2177045    159 |  1.718 % |
6681.56/6684.48	c |   2179243 |  298100  6881702 21383890 | 2147483647  2179094    159 |  1.718 % |
6689.86/6692.79	c |   2181499 |  298100  6881702 21383890 | 2147483647  2181350    159 |  1.718 % |
6700.66/6703.58	c |   2183977 |  298100  6881702 21383890 | 2147483647  2183828    159 |  1.718 % |
6712.55/6715.45	c |   2186704 |  298100  6881702 21383890 | 2147483647  2186555    159 |  1.718 % |
6734.25/6737.16	c |   2189703 |  298100  6881702 21383890 | 2147483647  2189554    159 |  1.718 % |
6749.24/6752.12	c |   2192999 |  298100  6881702 21383890 | 2147483647  2192850    159 |  1.718 % |
6764.03/6766.91	c |   2196627 |  298100  6881702 21383890 | 2147483647  2196478    158 |  1.718 % |
6779.63/6782.55	c |   2200614 |  298100  6881702 21383890 | 2147483647  2200465    158 |  1.718 % |
6798.81/6801.77	c |   2205002 |  298100  6881702 21383890 | 2147483647  2204853    158 |  1.718 % |
6818.11/6821.03	c |   2209825 |  298100  6881702 21383890 | 2147483647  2209676    158 |  1.718 % |
6837.91/6840.83	c |   2215130 |  298100  6881702 21383890 | 2147483647  2214981    158 |  1.718 % |
6860.19/6863.14	c |   2220965 |  298100  6881702 21383890 | 2147483647  2220816    158 |  1.718 % |
6886.29/6889.23	c |   2227386 |  298100  6881702 21383890 | 2147483647  2227237    157 |  1.718 % |
6916.27/6919.27	c |   2234445 |  298100  6881702 21383890 | 2147483647  2234296    157 |  1.718 % |
6958.45/6961.41	c |   2242209 |  298100  6881702 21383890 | 2147483647  2242060    157 |  1.718 % |
6996.44/6999.43	c |   2250749 |  298100  6881702 21383890 | 2147483647  2250600    157 |  1.718 % |
7034.93/7037.90	c |   2260144 |  298100  6881702 21383890 | 2147483647  2259995    156 |  1.718 % |
7073.81/7076.88	c |   2270477 |  298100  6881702 21383890 | 2147483647  2270328    156 |  1.718 % |
7125.89/7128.94	c |   2281843 |  298100  6881702 21383890 | 2147483647  2281694    156 |  1.718 % |
7170.37/7173.42	c |   2294345 |  298100  6881702 21383890 | 2147483647  2294196    156 |  1.718 % |
7239.45/7242.57	c |   2308097 |  298100  6881702 21383890 | 2147483647  2307948    156 |  1.718 % |

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-1837170-1242858570/watcher-1837170-1242858570 -o /tmp/evaluation-result-1837170-1242858570/solver-1837170-1242858570 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837170-1242858570.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: 0.99 0.97 0.77 2/64 22390
/proc/meminfo: memFree=1496016/2055920 swapFree=4179756/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=0
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313891604 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22390/statm: 1339 237 197 169 0 50 0

[startup+0.0363321 s]
/proc/loadavg: 0.99 0.97 0.77 2/64 22390
/proc/meminfo: memFree=1496016/2055920 swapFree=4179756/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=0
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313891604 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22390/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101345 s]
/proc/loadavg: 0.99 0.97 0.77 2/64 22390
/proc/meminfo: memFree=1496016/2055920 swapFree=4179756/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=0
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313891604 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22390/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.305406 s]
/proc/loadavg: 0.99 0.97 0.77 2/64 22390
/proc/meminfo: memFree=1496016/2055920 swapFree=4179756/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=0
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313891604 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22390/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701471 s]
/proc/loadavg: 0.99 0.97 0.77 2/64 22390
/proc/meminfo: memFree=1496016/2055920 swapFree=4179756/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=0
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313891604 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22390/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50264 s]
/proc/loadavg: 0.99 0.97 0.77 2/66 22395
/proc/meminfo: memFree=1418296/2055920 swapFree=4179756/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=0
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313891604 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22390/statm: 1339 237 197 169 0 50 0
[pid=22394] ppid=22390 vsize=119632 CPUtime=1.48
/proc/22394/stat : 22394 (SatELite_releas) R 22390 22390 22254 0 -1 4194304 27720 0 0 0 125 23 0 0 25 0 1 0 313891605 122503168 27706 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/22394/statm: 29908 27707 49 173 0 29733 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 124988

[startup+3.10199 s]
/proc/loadavg: 0.99 0.97 0.77 2/66 22395
/proc/meminfo: memFree=1340472/2055920 swapFree=4179756/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=0
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313891604 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22390/statm: 1339 237 197 169 0 50 0
[pid=22394] ppid=22390 vsize=268388 CPUtime=3.09
/proc/22394/stat : 22394 (SatELite_releas) R 22390 22390 22254 0 -1 4194304 56877 0 0 0 261 48 0 0 25 0 1 0 313891605 274829312 56863 1992294400 134512640 135223648 4294956128 18446744073709551615 134737310 0 0 4096 3 0 0 0 17 1 0 0
/proc/22394/statm: 67097 56863 49 173 0 66922 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 273744

[startup+6.30267 s]
/proc/loadavg: 0.99 0.97 0.78 2/66 22395
/proc/meminfo: memFree=1063104/2055920 swapFree=4179756/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=0
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313891604 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22390/statm: 1339 237 197 169 0 50 0
[pid=22394] ppid=22390 vsize=561412 CPUtime=6.29
/proc/22394/stat : 22394 (SatELite_releas) R 22390 22390 22254 0 -1 4194304 131237 0 0 0 536 93 0 0 25 0 1 0 313891605 574885888 131223 1992294400 134512640 135223648 4294956128 18446744073709551615 134548331 0 0 4096 3 0 0 0 17 1 0 0
/proc/22394/statm: 140353 131223 74 173 0 140178 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 566768

[startup+12.701 s]
/proc/loadavg: 0.99 0.97 0.78 2/66 22395
/proc/meminfo: memFree=996416/2055920 swapFree=4179756/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=0
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313891604 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22390/statm: 1339 237 197 169 0 50 0
[pid=22394] ppid=22390 vsize=526680 CPUtime=12.68
/proc/22394/stat : 22394 (SatELite_releas) R 22390 22390 22254 0 -1 4194304 139680 0 0 0 1170 98 0 0 25 0 1 0 313891605 539320320 124752 1992294400 134512640 135223648 4294956128 18446744073709551615 134549036 0 0 4096 3 0 0 0 17 1 0 0
/proc/22394/statm: 131670 124752 76 173 0 131495 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 532036

[startup+25.5018 s]
/proc/loadavg: 0.99 0.97 0.78 2/66 22395
/proc/meminfo: memFree=969280/2055920 swapFree=4179756/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=0
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313891604 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22390/statm: 1339 237 197 169 0 50 0
[pid=22394] ppid=22390 vsize=581236 CPUtime=25.47
/proc/22394/stat : 22394 (SatELite_releas) R 22390 22390 22254 0 -1 4194304 145464 0 0 0 2443 104 0 0 25 0 1 0 313891605 595185664 130536 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/22394/statm: 145309 130536 76 173 0 145134 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 586592

[startup+51.1012 s]
/proc/loadavg: 0.99 0.97 0.78 2/66 22395
/proc/meminfo: memFree=872896/2055920 swapFree=4179756/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=0
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313891604 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22390/statm: 1339 237 197 169 0 50 0
[pid=22394] ppid=22390 vsize=708220 CPUtime=51.06
/proc/22394/stat : 22394 (SatELite_releas) R 22390 22390 22254 0 -1 4194304 168526 0 0 0 4984 122 0 0 25 0 1 0 313891605 725217280 152553 1992294400 134512640 135223648 4294956128 18446744073709551615 134548334 0 0 4096 3 0 0 0 17 1 0 0
/proc/22394/statm: 177055 152553 76 173 0 176880 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 713576

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.79 3/66 22395
/proc/meminfo: memFree=872192/2055920 swapFree=4179756/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=0
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313891604 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22390/statm: 1339 237 197 169 0 50 0
[pid=22394] ppid=22390 vsize=709436 CPUtime=102.24
/proc/22394/stat : 22394 (SatELite_releas) R 22390 22390 22254 0 -1 4194304 168753 0 0 0 10102 122 0 0 25 0 1 0 313891605 726462464 152780 1992294400 134512640 135223648 4294956128 18446744073709551615 134548577 0 0 4096 3 0 0 0 17 1 0 0
/proc/22394/statm: 177359 152780 76 173 0 177184 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 714792

[startup+162.302 s]
/proc/loadavg: 1.10 1.00 0.82 2/66 22396
/proc/meminfo: memFree=998720/2055920 swapFree=4179756/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=129.5
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 336 184558 0 0 0 0 12747 203 16 0 1 0 313891604 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22390/statm: 1339 239 197 169 0 50 0
[pid=22396] ppid=22390 vsize=325284 CPUtime=32.69
/proc/22396/stat : 22396 (minisat_static) R 22390 22390 22254 0 -1 4194304 79632 0 0 0 3219 50 0 0 25 0 1 0 313904562 333090816 79584 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22396/statm: 81321 79584 77 171 0 81148 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 330640

[startup+222.302 s]
/proc/loadavg: 1.03 1.00 0.82 2/66 22396
/proc/meminfo: memFree=992512/2055920 swapFree=4179756/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=129.5
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 336 184558 0 0 0 0 12747 203 16 0 1 0 313891604 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22390/statm: 1339 239 197 169 0 50 0
[pid=22396] ppid=22390 vsize=331580 CPUtime=92.66
/proc/22396/stat : 22396 (minisat_static) R 22390 22390 22254 0 -1 4194304 81210 0 0 0 9214 52 0 0 25 0 1 0 313904562 339537920 81162 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/22396/statm: 82895 81162 77 171 0 82722 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 336936

[startup+282.302 s]
/proc/loadavg: 1.01 1.00 0.83 2/66 22396
/proc/meminfo: memFree=985920/2055920 swapFree=4179756/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=129.5
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 336 184558 0 0 0 0 12747 203 16 0 1 0 313891604 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22390/statm: 1339 239 197 169 0 50 0
[pid=22396] ppid=22390 vsize=338012 CPUtime=152.64
/proc/22396/stat : 22396 (minisat_static) R 22390 22390 22254 0 -1 4194304 82804 0 0 0 15210 54 0 0 25 0 1 0 313904562 346124288 82756 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/22396/statm: 84503 82756 77 171 0 84330 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 343368

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.83 2/66 22396
/proc/meminfo: memFree=978816/2055920 swapFree=4179756/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=129.5
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 336 184558 0 0 0 0 12747 203 16 0 1 0 313891604 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22390/statm: 1339 239 197 169 0 50 0
[pid=22396] ppid=22390 vsize=345168 CPUtime=212.6
/proc/22396/stat : 22396 (minisat_static) R 22390 22390 22254 0 -1 4194304 84601 0 0 0 21205 55 0 0 25 0 1 0 313904562 353452032 84553 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/22396/statm: 86292 84553 77 171 0 86119 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 350524

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.84 2/66 22396
/proc/meminfo: memFree=969280/2055920 swapFree=4179756/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=129.5
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 336 184558 0 0 0 0 12747 203 16 0 1 0 313891604 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22390/statm: 1339 239 197 169 0 50 0
[pid=22396] ppid=22390 vsize=354620 CPUtime=272.56
/proc/22396/stat : 22396 (minisat_static) R 22390 22390 22254 0 -1 4194304 86948 0 0 0 27197 59 0 0 25 0 1 0 313904562 363130880 86900 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/22396/statm: 88655 86900 77 171 0 88482 0
Current children cumulated CPU time (s) 402.06
Current children cumulated vsize (KiB) 359976

[startup+462.301 s]

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

/proc/22396/statm: 441595 438103 77 171 0 441422 0
Current children cumulated CPU time (s) 6579.52
Current children cumulated vsize (KiB) 1771736

[startup+6642.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22412
/proc/meminfo: memFree=16128/2055920 swapFree=4179780/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=129.5
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 336 184558 0 0 0 0 12747 203 16 0 1 0 313891604 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22390/statm: 1339 239 197 169 0 50 0
[pid=22396] ppid=22390 vsize=1773996 CPUtime=6509.98
/proc/22396/stat : 22396 (minisat_static) R 22390 22390 22254 0 -1 4194304 440117 0 0 0 650578 420 0 0 25 0 1 0 313904562 1816571904 440069 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22396/statm: 443499 440069 77 171 0 443326 0
Current children cumulated CPU time (s) 6639.48
Current children cumulated vsize (KiB) 1779352

[startup+6702.31 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22412
/proc/meminfo: memFree=15104/2055920 swapFree=4179780/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=129.5
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 336 184558 0 0 0 0 12747 203 16 0 1 0 313891604 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22390/statm: 1339 239 197 169 0 50 0
[pid=22396] ppid=22390 vsize=1779592 CPUtime=6569.96
/proc/22396/stat : 22396 (minisat_static) R 22390 22390 22254 0 -1 4194304 441530 0 0 0 656575 421 0 0 25 0 1 0 313904562 1822302208 441482 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22396/statm: 444898 441482 77 171 0 444725 0
Current children cumulated CPU time (s) 6699.46
Current children cumulated vsize (KiB) 1784948

[startup+6762.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22412
/proc/meminfo: memFree=15488/2055920 swapFree=4179780/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=129.5
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 336 184558 0 0 0 0 12747 203 16 0 1 0 313891604 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22390/statm: 1339 239 197 169 0 50 0
[pid=22396] ppid=22390 vsize=1786412 CPUtime=6629.93
/proc/22396/stat : 22396 (minisat_static) R 22390 22390 22254 0 -1 4194304 443017 0 0 0 662569 424 0 0 25 0 1 0 313904562 1829285888 442969 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22396/statm: 446603 442969 77 171 0 446430 0
Current children cumulated CPU time (s) 6759.43
Current children cumulated vsize (KiB) 1791768

[startup+6822.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22412
/proc/meminfo: memFree=15936/2055920 swapFree=4179780/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=129.5
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 336 184558 0 0 0 0 12747 203 16 0 1 0 313891604 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22390/statm: 1339 239 197 169 0 50 0
[pid=22396] ppid=22390 vsize=1792208 CPUtime=6689.91
/proc/22396/stat : 22396 (minisat_static) R 22390 22390 22254 0 -1 4194304 444464 0 0 0 668565 426 0 0 25 0 1 0 313904562 1835220992 444416 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22396/statm: 448052 444416 77 171 0 447879 0
Current children cumulated CPU time (s) 6819.41
Current children cumulated vsize (KiB) 1797564

[startup+6882.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22412
/proc/meminfo: memFree=15680/2055920 swapFree=4179780/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=129.5
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 336 184558 0 0 0 0 12747 203 16 0 1 0 313891604 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22390/statm: 1339 239 197 169 0 50 0
[pid=22396] ppid=22390 vsize=1795508 CPUtime=6749.88
/proc/22396/stat : 22396 (minisat_static) R 22390 22390 22254 0 -1 4194304 445322 0 0 0 674561 427 0 0 25 0 1 0 313904562 1838600192 445274 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22396/statm: 448877 445274 77 171 0 448704 0
Current children cumulated CPU time (s) 6879.38
Current children cumulated vsize (KiB) 1800864

[startup+6942.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22412
/proc/meminfo: memFree=15552/2055920 swapFree=4179780/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=129.5
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 336 184558 0 0 0 0 12747 203 16 0 1 0 313891604 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22390/statm: 1339 239 197 169 0 50 0
[pid=22396] ppid=22390 vsize=1798724 CPUtime=6809.87
/proc/22396/stat : 22396 (minisat_static) R 22390 22390 22254 0 -1 4194304 446126 0 0 0 680558 429 0 0 25 0 1 0 313904562 1841893376 446078 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22396/statm: 449681 446078 77 171 0 449508 0
Current children cumulated CPU time (s) 6939.37
Current children cumulated vsize (KiB) 1804080

[startup+7002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22412
/proc/meminfo: memFree=15552/2055920 swapFree=4179780/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=129.5
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 336 184558 0 0 0 0 12747 203 16 0 1 0 313891604 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22390/statm: 1339 239 197 169 0 50 0
[pid=22396] ppid=22390 vsize=1806972 CPUtime=6869.84
/proc/22396/stat : 22396 (minisat_static) R 22390 22390 22254 0 -1 4194304 448133 0 0 0 686554 430 0 0 25 0 1 0 313904562 1850339328 448085 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22396/statm: 451743 448085 77 171 0 451570 0
Current children cumulated CPU time (s) 6999.34
Current children cumulated vsize (KiB) 1812328

[startup+7062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22412
/proc/meminfo: memFree=15104/2055920 swapFree=4179780/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=129.5
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 336 184558 0 0 0 0 12747 203 16 0 1 0 313891604 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22390/statm: 1339 239 197 169 0 50 0
[pid=22396] ppid=22390 vsize=1813680 CPUtime=6929.82
/proc/22396/stat : 22396 (minisat_static) R 22390 22390 22254 0 -1 4194304 449833 0 0 0 692550 432 0 0 25 0 1 0 313904562 1857208320 449785 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22396/statm: 453420 449785 77 171 0 453247 0
Current children cumulated CPU time (s) 7059.32
Current children cumulated vsize (KiB) 1819036

[startup+7122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22412
/proc/meminfo: memFree=15488/2055920 swapFree=4179780/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=129.5
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 336 184558 0 0 0 0 12747 203 16 0 1 0 313891604 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22390/statm: 1339 239 197 169 0 50 0
[pid=22396] ppid=22390 vsize=1819488 CPUtime=6989.8
/proc/22396/stat : 22396 (minisat_static) R 22390 22390 22254 0 -1 4194304 451301 0 0 0 698547 433 0 0 25 0 1 0 313904562 1863155712 451253 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/22396/statm: 454872 451253 77 171 0 454699 0
Current children cumulated CPU time (s) 7119.3
Current children cumulated vsize (KiB) 1824844

[startup+7182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22412
/proc/meminfo: memFree=15360/2055920 swapFree=4179780/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=129.5
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 336 184558 0 0 0 0 12747 203 16 0 1 0 313891604 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22390/statm: 1339 239 197 169 0 50 0
[pid=22396] ppid=22390 vsize=1827540 CPUtime=7049.77
/proc/22396/stat : 22396 (minisat_static) R 22390 22390 22254 0 -1 4194304 453320 0 0 0 704542 435 0 0 25 0 1 0 313904562 1871400960 453272 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22396/statm: 456885 453272 77 171 0 456712 0
Current children cumulated CPU time (s) 7179.27
Current children cumulated vsize (KiB) 1832896

[startup+7242.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22412
/proc/meminfo: memFree=14912/2055920 swapFree=4179780/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=129.5
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 336 184558 0 0 0 0 12747 203 16 0 1 0 313891604 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22390/statm: 1339 239 197 169 0 50 0
[pid=22396] ppid=22390 vsize=1832688 CPUtime=7109.75
/proc/22396/stat : 22396 (minisat_static) R 22390 22390 22254 0 -1 4194304 454600 0 0 0 710539 436 0 0 25 0 1 0 313904562 1876672512 454552 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22396/statm: 458172 454552 77 171 0 457999 0
Current children cumulated CPU time (s) 7239.25
Current children cumulated vsize (KiB) 1838044



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+7272.6 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22412
/proc/meminfo: memFree=15936/2055920 swapFree=4179780/4192956
[pid=22390] ppid=22388 vsize=5356 CPUtime=129.5
/proc/22390/stat : 22390 (SatELiteGTI) S 22388 22390 22254 0 -1 4194304 336 184558 0 0 0 0 12747 203 16 0 1 0 313891604 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22390/statm: 1339 239 197 169 0 50 0
[pid=22396] ppid=22390 vsize=1837908 CPUtime=7140.03
/proc/22396/stat : 22396 (minisat_static) R 22390 22390 22254 0 -1 4194304 455904 0 0 0 713567 436 0 0 25 0 1 0 313904562 1882017792 455856 1992294400 134512640 135215339 4294956240 18446744073709551615 134538956 0 0 4096 3 0 0 0 17 1 0 0
/proc/22396/statm: 459477 455856 77 171 0 459304 0
Current children cumulated CPU time (s) 7269.53
Current children cumulated vsize (KiB) 1843264

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22390 and gives
#  childrusage.ru_utime.tv_sec=127
#  childrusage.ru_utime.tv_usec=480620
#  childrusage.ru_stime.tv_sec=2
#  childrusage.ru_stime.tv_usec=40689
# CPU time returned by wait4() is 129.521
# while last known CPU time is 7269.53
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 7272.61
CPU time (s): 7269.53
CPU user time (s): 7263.14
CPU system time (s): 6.39
CPU usage (%): 99.9576
Max. virtual memory (cumulated for all children) (KiB): 1843264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 127.481
system time used= 2.04069
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184894
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= 15
involuntary context switches= 288

runsolver used 8.49971 second user time and 18.0733 second system time

The end

Launcher Data

Begin job on node10 at 2009-05-21 00:29:39
IDJOB=1837170
IDBENCH=20579
IDSOLVER=674
FILE ID=node10/1837170-1242858570
PBS_JOBID= 9328504
Free space on /tmp= 66168 MiB

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

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

MD5SUM BENCH= 776da55785376fd8eac6989ca812b102
RANDOM SEED=81662720

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.263
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:       1496560 kB
Buffers:         64512 kB
Cached:         416148 kB
SwapCached:       7784 kB
Active:         271004 kB
Inactive:       218924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1496560 kB
SwapTotal:     4192956 kB
SwapFree:      4179756 kB
Dirty:          158136 kB
Writeback:           0 kB
Mapped:          14084 kB
Slab:            55496 kB
Committed_AS:  1087216 kB
PageTables:       1376 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 65992 MiB
End job on node10 at 2009-05-21 02:30:54