Trace number 1834053

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200.11 1200.91

General information on the benchmark

NameCRAFTED/modcircuits/
mod4block_2vars_8gates_u2.cnf
MD5SUMa5bb71bc1d85a401ce9f42ed1404d63e
Bench CategoryCRAFTED (crafted 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 variables387
Number of clauses62656
Sum of the clauses size362132
Maximum clause length24
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 21453
Number of clauses of size 30
Number of clauses of size 41977
Number of clauses of size 53842
Number of clauses of size over 555320

Solver Data

0.00/0.00	c Parsing...
0.00/0.06	c ==============================================================================
0.00/0.06	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.06	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.06	c ==============================================================================
0.00/0.06	c |         0 |   62592   362068 |   18777       0        0     nan |  0.000 % |
1.09/1.19	c |         0 |   34419   202538 |      --       0       --      -- |     --   | -3597/8406
1.09/1.19	c ==============================================================================
1.09/1.19	c Result  :   #vars: 282   #clauses: 34419   #literals: 202538
1.09/1.19	c CPU time:   1.17482 s
1.09/1.19	c ==============================================================================
1.18/1.25	c This is MiniSat 2.0 beta
1.18/1.25	c WARNING: for repeatability, setting FPU to use double precision
1.18/1.25	c ============================[ Problem Statistics ]=============================
1.18/1.25	c |                                                                             |
1.18/1.25	c |  Number of variables:  282                                                  |
1.18/1.25	c |  Number of clauses:    34419                                                |
1.18/1.28	c |  Parsing time:         0.02         s                                       |
1.18/1.28	c ============================[ Search Statistics ]==============================
1.18/1.28	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
1.18/1.28	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
1.18/1.28	c ===============================================================================
1.18/1.28	c |         0 |     282    34419   202538 |    11473        0    nan |  0.000 % |
1.18/1.29	c |       104 |     282    34419   202538 |    11473      104     14 |  0.001 % |
1.18/1.29	c |       205 |     282    34419   202538 |    11473      205     14 |  0.001 % |
1.18/1.30	c |       305 |     282    34419   202538 |    11473      305     17 |  0.001 % |
1.23/1.30	c |       415 |     279    34419   202538 |    11473      412     16 |  1.065 % |
1.23/1.30	c |       515 |     278    34419   202538 |    11473      511     16 |  1.421 % |
1.23/1.31	c |       625 |     276    34419   202538 |    11473      619     15 |  2.140 % |
1.23/1.31	c |       746 |     275    34419   202538 |    11473      739     15 |  2.485 % |
1.23/1.32	c |       847 |     275    34419   202538 |    11473      840     15 |  2.485 % |
1.23/1.32	c |       958 |     272    34419   202538 |    11473      947     15 |  3.915 % |
1.23/1.32	c |      1079 |     272    34419   202538 |    11473     1067     14 |  4.270 % |
1.23/1.33	c |      1214 |     270    34419   202538 |    11473     1202     14 |  4.260 % |
1.23/1.33	c |      1314 |     270    34419   202538 |    11473     1302     14 |  4.258 % |
1.23/1.34	c |      1425 |     270    34419   202538 |    11473     1413     14 |  4.257 % |
1.23/1.34	c |      1548 |     270    34419   202538 |    11473     1536     14 |  4.257 % |
1.23/1.35	c |      1683 |     270    34419   202538 |    11473     1671     14 |  4.263 % |
1.23/1.36	c |      1829 |     270    34419   202538 |    11473     1817     14 |  4.257 % |
1.23/1.36	c |      1929 |     270    34419   202538 |    11473     1917     14 |  4.258 % |
1.23/1.37	c |      2039 |     270    34419   202538 |    11473     2027     14 |  4.270 % |
1.23/1.37	c |      2161 |     270    34419   202538 |    11473     2149     13 |  4.264 % |
1.23/1.38	c |      2294 |     270    34419   202538 |    11473     2282     14 |  4.262 % |
1.23/1.38	c |      2441 |     270    34419   202538 |    11473     2429     13 |  4.279 % |
1.23/1.38	c |      2601 |     270    34419   202538 |    11473     2589     13 |  4.287 % |
1.23/1.39	c |      2701 |     268    34419   202538 |    11473     2687     12 |  4.966 % |
1.23/1.39	c |      2811 |     268    34419   202538 |    11473     2797     13 |  4.971 % |
1.23/1.40	c |      2932 |     268    34419   202538 |    11473     2918     13 |  4.967 % |
1.23/1.40	c |      3066 |     268    34419   202538 |    11473     3052     12 |  4.978 % |
1.23/1.41	c |      3213 |     268    34419   202538 |    11473     3199     12 |  4.966 % |
1.23/1.42	c |      3373 |     268    34419   202538 |    11473     3359     13 |  4.977 % |
1.23/1.42	c |      3550 |     268    34419   202538 |    11473     3536     13 |  4.966 % |
1.23/1.43	c |      3650 |     268    34419   202538 |    11473     3636     13 |  4.967 % |
1.23/1.43	c |      3761 |     268    34419   202538 |    11473     3747     13 |  4.966 % |
1.23/1.44	c |      3883 |     268    34419   202538 |    11473     3869     13 |  4.967 % |
1.23/1.44	c |      4016 |     268    34419   202538 |    11473     4002     13 |  4.973 % |
1.23/1.45	c |      4163 |     268    34419   202538 |    11473     4149     13 |  4.977 % |
1.23/1.45	c |      4324 |     268    34419   202538 |    11473     4310     13 |  4.966 % |
1.23/1.46	c |      4500 |     268    34419   202538 |    11473     4486     13 |  4.966 % |
1.23/1.47	c |      4694 |     268    34419   202538 |    11473     4680     13 |  4.968 % |
1.23/1.48	c |      4794 |     268    34419   202538 |    11473     4780     13 |  4.967 % |
1.23/1.48	c |      4906 |     268    34419   202538 |    11473     4892     14 |  4.966 % |
1.23/1.49	c |      5028 |     268    34419   202538 |    11473     5014     13 |  4.966 % |
1.23/1.49	c |      5164 |     268    34419   202538 |    11473     5150     14 |  4.967 % |
1.23/1.50	c |      5313 |     268    34419   202538 |    11473     5299     14 |  4.967 % |
1.23/1.51	c |      5474 |     268    34419   202538 |    11473     5460     14 |  4.973 % |
1.23/1.52	c |      5650 |     268    34419   202538 |    11473     5636     14 |  4.981 % |
1.23/1.53	c |      5843 |     268    34419   202538 |    11473     5829     14 |  4.966 % |
1.23/1.54	c |      6055 |     268    34419   202538 |    11473     6041     14 |  4.977 % |
1.23/1.54	c |      6158 |     268    34419   202538 |    11473     6144     14 |  4.967 % |
1.23/1.55	c |      6268 |     268    34419   202538 |    11473     6254     14 |  4.966 % |
1.23/1.56	c |      6389 |     268    34419   202538 |    11473     6375     14 |  4.970 % |
1.23/1.56	c |      6522 |     268    34419   202538 |    11473     6508     14 |  4.966 % |
1.23/1.57	c |      6668 |     268    34419   202538 |    11473     6654     14 |  4.967 % |
1.23/1.58	c |      6829 |     268    34419   202538 |    11473     6815     14 |  4.971 % |
1.23/1.59	c |      7005 |     268    34419   202538 |    11473     6991     14 |  4.966 % |
1.23/1.60	c |      7198 |     268    34419   202538 |    11473     7184     14 |  4.966 % |
1.23/1.61	c |      7410 |     268    34419   202538 |    11473     7396     14 |  4.976 % |
1.23/1.62	c |      7643 |     268    34419   202538 |    11473     7629     14 |  4.966 % |
1.23/1.63	c |      7743 |     268    34419   202538 |    11473     7729     14 |  4.975 % |
1.23/1.63	c |      7853 |     268    34419   202538 |    11473     7839     14 |  4.973 % |
1.23/1.64	c |      7974 |     268    34419   202538 |    11473     7960     14 |  4.977 % |
1.23/1.65	c |      8107 |     268    34419   202538 |    11473     8093     14 |  4.973 % |
1.23/1.66	c |      8254 |     268    34419   202538 |    11473     8240     14 |  4.973 % |
1.23/1.67	c |      8414 |     268    34419   202538 |    11473     8400     15 |  4.975 % |
1.23/1.68	c |      8591 |     268    34419   202538 |    11473     8577     15 |  4.967 % |
1.23/1.69	c |      8786 |     268    34419   202538 |    11473     8772     15 |  4.966 % |
1.23/1.70	c |      8999 |     268    34419   202538 |    11473     8985     15 |  4.966 % |
1.23/1.72	c |      9234 |     268    34419   202538 |    11473     9220     15 |  4.972 % |
1.23/1.73	c |      9492 |     268    34419   202538 |    11473     9478     15 |  4.966 % |
1.23/1.74	c |      9592 |     268    34419   202538 |    11473     9578     15 |  4.966 % |
1.23/1.74	c |      9705 |     268    34419   202538 |    11473     9691     15 |  4.966 % |
1.23/1.75	c |      9828 |     268    34419   202538 |    11473     9814     15 |  4.975 % |
1.23/1.76	c |      9961 |     268    34419   202538 |    11473     9947     15 |  4.966 % |
1.23/1.77	c |     10107 |     268    34419   202538 | 2147483647    10093     15 |  4.993 % |
1.23/1.78	c |     10269 |     268    34419   202538 | 2147483647    10255     15 |  4.966 % |
1.23/1.79	c |     10446 |     268    34419   202538 | 2147483647    10432     15 |  4.966 % |
1.23/1.80	c |     10639 |     268    34419   202538 | 2147483647    10625     15 |  4.966 % |
1.23/1.82	c |     10851 |     268    34419   202538 | 2147483647    10837     15 |  4.975 % |
1.23/1.84	c |     11085 |     268    34419   202538 | 2147483647    11071     15 |  4.967 % |
1.23/1.86	c |     11341 |     268    34419   202538 | 2147483647    11327     15 |  4.967 % |
1.23/1.89	c |     11622 |     268    34419   202538 | 2147483647    11608     15 |  4.967 % |
1.23/1.89	c |     11724 |     268    34419   202538 | 2147483647    11709     16 |  5.322 % |
1.23/1.90	c |     11836 |     268    34419   202538 | 2147483647    11821     16 |  5.320 % |
1.23/1.91	c |     11957 |     267    34419   202538 | 2147483647    11942     16 |  5.322 % |
1.23/1.92	c |     12090 |     267    34419   202538 | 2147483647    12075     16 |  5.320 % |
1.23/1.93	c |     12238 |     267    34419   202538 | 2147483647    12223     16 |  5.320 % |
1.23/1.94	c |     12398 |     267    34419   202538 | 2147483647    12383     16 |  5.320 % |
1.23/1.96	c |     12575 |     267    34419   202538 | 2147483647    12560     16 |  5.328 % |
1.23/1.99	c |     12769 |     267    28984   170323 | 2147483647    12244     16 |  5.322 % |
1.23/2.01	c |     12983 |     266    28984   170323 | 2147483647    12457     16 |  5.676 % |
1.23/2.02	c |     13216 |     266    28984   170323 | 2147483647    12690     16 |  5.676 % |
1.23/2.04	c |     13472 |     266    28984   170323 | 2147483647    12946     16 |  5.686 % |
1.23/2.07	c |     13753 |     266    28984   170323 | 2147483647    13227     16 |  5.675 % |
1.23/2.09	c |     14062 |     266    28984   170323 | 2147483647    13536     16 |  5.686 % |
2.06/2.10	c |     14162 |     266    28984   170323 | 2147483647    13636     16 |  5.675 % |
2.06/2.11	c |     14273 |     266    28984   170323 | 2147483647    13747     16 |  5.675 % |
2.06/2.12	c |     14394 |     266    28984   170323 | 2147483647    13868     16 |  5.680 % |
2.06/2.13	c |     14527 |     266    28984   170323 | 2147483647    14001     16 |  5.684 % |
2.06/2.14	c |     14675 |     266    28984   170323 | 2147483647    14149     16 |  5.676 % |
2.06/2.15	c |     14836 |     266    28984   170323 | 2147483647    14310     16 |  5.684 % |
2.06/2.17	c |     15012 |     266    28984   170323 | 2147483647    14486     16 |  5.675 % |
2.06/2.18	c |     15205 |     266    28984   170323 | 2147483647    14679     16 |  5.676 % |
2.06/2.20	c |     15421 |     266    28984   170323 | 2147483647    14895     16 |  5.675 % |
2.16/2.21	c |     15654 |     266    28984   170323 | 2147483647    15128     16 |  5.688 % |
2.16/2.23	c |     15910 |     266    28984   170323 | 2147483647    15384     17 |  5.680 % |
2.16/2.26	c |     16191 |     266    28984   170323 | 2147483647    15665     17 |  5.676 % |
2.16/2.29	c |     16500 |     266    28984   170323 | 2147483647    15974     17 |  5.690 % |
2.26/2.32	c |     16841 |     266    28984   170323 | 2147483647    16315     17 |  5.676 % |
2.26/2.33	c |     16942 |     266    28984   170323 | 2147483647    16416     17 |  5.675 % |
2.26/2.33	c |     17053 |     266    28984   170323 | 2147483647    16527     17 |  5.681 % |
2.26/2.34	c |     17175 |     266    28984   170323 | 2147483647    16649     17 |  5.676 % |
2.26/2.36	c |     17309 |     265    28984   170323 | 2147483647    16782     17 |  6.031 % |
2.26/2.37	c |     17455 |     265    28984   170323 | 2147483647    16928     17 |  6.030 % |
2.26/2.38	c |     17615 |     265    28984   170323 | 2147483647    17088     17 |  6.030 % |
2.26/2.40	c |     17792 |     265    28984   170323 | 2147483647    17265     17 |  6.031 % |
2.36/2.42	c |     17985 |     265    28984   170323 | 2147483647    17458     17 |  6.031 % |
2.36/2.44	c |     18197 |     265    28984   170323 | 2147483647    17670     17 |  6.041 % |
2.36/2.45	c |     18430 |     265    28984   170323 | 2147483647    17903     17 |  6.030 % |
2.36/2.48	c |     18686 |     265    28984   170323 | 2147483647    18159     17 |  6.030 % |
2.46/2.50	c |     18967 |     265    28984   170323 | 2147483647    18440     17 |  6.030 % |
2.46/2.54	c |     19276 |     265    28984   170323 | 2147483647    18749     17 |  6.031 % |
2.46/2.58	c |     19618 |     265    28984   170323 | 2147483647    19091     17 |  6.041 % |
2.56/2.61	c |     19992 |     265    28984   170323 | 2147483647    19465     17 |  6.033 % |
2.56/2.62	c |     20093 |     265    28984   170323 | 2147483647    19566     17 |  6.030 % |
2.56/2.63	c |     20204 |     265    28984   170323 | 2147483647    19677     17 |  6.030 % |
2.56/2.65	c |     20330 |     265    28984   170323 | 2147483647    19803     17 |  6.045 % |
2.56/2.67	c |     20464 |     265    28984   170323 | 2147483647    19937     17 |  6.030 % |
2.56/2.68	c |     20610 |     265    28984   170323 | 2147483647    20083     17 |  6.041 % |
2.66/2.70	c |     20772 |     265    28984   170323 | 2147483647    20245     17 |  6.030 % |
2.66/2.71	c |     20948 |     265    28984   170323 | 2147483647    20421     17 |  6.055 % |
2.66/2.73	c |     21142 |     265    28984   170323 | 2147483647    20615     17 |  6.030 % |
2.66/2.74	c |     21355 |     264    28984   170323 | 2147483647    20827     17 |  6.394 % |
2.66/2.76	c |     21589 |     264    28984   170323 | 2147483647    21061     17 |  6.384 % |
2.66/2.79	c |     21845 |     264    28984   170323 | 2147483647    21317     17 |  6.387 % |
2.75/2.81	c |     22126 |     264    28984   170323 | 2147483647    21598     17 |  6.384 % |
2.75/2.84	c |     22436 |     264    28984   170323 | 2147483647    21908     17 |  6.397 % |
2.75/2.89	c |     22775 |     264    28984   170323 | 2147483647    22247     17 |  6.387 % |
2.85/2.92	c |     23148 |     264    28984   170323 | 2147483647    22620     17 |  6.384 % |
2.85/2.97	c |     23558 |     264    28984   170323 | 2147483647    23030     17 |  6.384 % |
2.85/2.98	c |     23659 |     264    28984   170323 | 2147483647    23131     17 |  6.387 % |
2.95/3.00	c |     23771 |     264    28984   170323 | 2147483647    23243     17 |  6.391 % |
2.95/3.01	c |     23892 |     264    28984   170323 | 2147483647    23364     17 |  6.384 % |
2.95/3.02	c |     24026 |     264    28984   170323 | 2147483647    23498     17 |  6.387 % |
2.95/3.04	c |     24172 |     264    28984   170323 | 2147483647    23644     17 |  6.385 % |
2.95/3.05	c |     24332 |     264    28984   170323 | 2147483647    23804     17 |  6.384 % |
2.95/3.07	c |     24508 |     264    28984   170323 | 2147483647    23980     17 |  6.387 % |
2.95/3.10	c |     24701 |     264    28984   170323 | 2147483647    24173     17 |  6.384 % |
3.05/3.13	c |     24914 |     264    28984   170323 | 2147483647    24386     17 |  6.385 % |
3.05/3.16	c |     25147 |     264    28984   170323 | 2147483647    24619     17 |  6.385 % |
3.05/3.19	c |     25403 |     264    28984   170323 | 2147483647    24875     17 |  6.387 % |
3.16/3.21	c |     25686 |     264    28984   170323 | 2147483647    25158     17 |  6.384 % |
3.16/3.26	c |     25996 |     264    28984   170323 | 2147483647    25468     17 |  6.397 % |
3.16/3.30	c |     26336 |     264    28984   170323 | 2147483647    25808     17 |  6.397 % |
3.25/3.35	c |     26711 |     264    28984   170323 | 2147483647    26183     17 |  6.396 % |
3.35/3.40	c |     27120 |     264    28984   170323 | 2147483647    26592     17 |  6.387 % |
3.35/3.45	c |     27569 |     264    28984   170323 | 2147483647    27041     17 |  6.393 % |
3.35/3.46	c |     27671 |     264    28984   170323 | 2147483647    27143     17 |  6.384 % |
3.35/3.47	c |     27781 |     264    28984   170323 | 2147483647    27253     17 |  6.384 % |
3.35/3.48	c |     27903 |     264    28984   170323 | 2147483647    27375     17 |  6.387 % |
3.45/3.50	c |     28036 |     264    28984   170323 | 2147483647    27508     17 |  6.384 % |
3.45/3.51	c |     28182 |     264    28984   170323 | 2147483647    27654     17 |  6.386 % |
3.45/3.54	c |     28342 |     264    28984   170323 | 2147483647    27814     17 |  6.393 % |
3.45/3.55	c |     28518 |     264    28984   170323 | 2147483647    27990     17 |  6.384 % |
3.45/3.58	c |     28714 |     264    28984   170323 | 2147483647    28186     17 |  6.384 % |
3.55/3.61	c |     28927 |     264    28984   170323 | 2147483647    28399     17 |  6.396 % |
3.55/3.64	c |     29162 |     264    28984   170323 | 2147483647    28634     17 |  6.387 % |
3.55/3.67	c |     29418 |     264    28984   170323 | 2147483647    28890     17 |  6.384 % |
3.65/3.70	c |     29699 |     264    28984   170323 | 2147483647    29171     17 |  6.387 % |
3.65/3.75	c |     30009 |     264    28984   170323 | 2147483647    29481     17 |  6.396 % |
3.65/3.79	c |     30348 |     264    28984   170323 | 2147483647    29820     17 |  6.385 % |
3.75/3.83	c |     30720 |     264    28984   170323 | 2147483647    30192     17 |  6.384 % |
3.75/3.90	c |     31129 |     264    28984   170323 | 2147483647    30601     17 |  6.385 % |
3.85/3.94	c |     31579 |     264    28984   170323 | 2147483647    31051     17 |  6.391 % |
3.95/4.00	c |     32072 |     264    28984   170323 | 2147483647    31544     17 |  6.384 % |
3.95/4.03	c |     32174 |     264    28474   167699 | 2147483647    31635     17 |  6.384 % |
3.95/4.04	c |     32284 |     264    28474   167699 | 2147483647    31745     17 |  6.386 % |
3.95/4.06	c |     32405 |     264    28474   167699 | 2147483647    31866     17 |  6.384 % |
3.95/4.09	c |     32538 |     264    28474   167699 | 2147483647    31999     17 |  6.406 % |
4.05/4.11	c |     32684 |     264    28474   167699 | 2147483647    32145     17 |  6.384 % |
4.05/4.14	c |     32844 |     264    28474   167699 | 2147483647    32305     17 |  6.384 % |
4.05/4.16	c |     33022 |     264    28474   167699 | 2147483647    32483     17 |  6.384 % |
4.15/4.20	c |     33215 |     264    28474   167699 | 2147483647    32676     17 |  6.387 % |
4.15/4.22	c |     33427 |     264    28474   167699 | 2147483647    32888     17 |  6.384 % |
4.15/4.26	c |     33660 |     264    28474   167699 | 2147483647    33121     17 |  6.384 % |
4.25/4.31	c |     33918 |     264    28474   167699 | 2147483647    33379     17 |  6.391 % |
4.25/4.36	c |     34202 |     264    28474   167699 | 2147483647    33663     17 |  6.399 % |
4.36/4.43	c |     34512 |     264    28474   167699 | 2147483647    33973     17 |  6.392 % |
4.46/4.50	c |     34852 |     264    28474   167699 | 2147483647    34313     17 |  6.384 % |
4.46/4.57	c |     35224 |     264    28474   167699 | 2147483647    34685     17 |  6.396 % |
4.55/4.65	c |     35633 |     264    28474   167699 | 2147483647    35094     17 |  6.384 % |
4.65/4.73	c |     36082 |     264    28474   167699 | 2147483647    35543     18 |  6.384 % |
4.75/4.80	c |     36576 |     264    28474   167699 | 2147483647    36037     18 |  6.387 % |
4.75/4.89	c |     37120 |     264    28474   167699 | 2147483647    36581     18 |  6.386 % |
4.85/4.91	c |     37221 |     264    28474   167699 | 2147483647    36682     18 |  6.384 % |
4.85/4.92	c |     37331 |     264    28474   167699 | 2147483647    36792     18 |  6.384 % |
4.85/4.94	c |     37453 |     264    28474   167699 | 2147483647    36914     18 |  6.393 % |
4.85/4.97	c |     37586 |     264    28474   167699 | 2147483647    37047     18 |  6.387 % |
4.95/5.01	c |     37732 |     263    28474   167699 | 2147483647    37192     18 |  6.739 % |
4.95/5.04	c |     37895 |     263    28474   167699 | 2147483647    37355     18 |  6.739 % |
4.95/5.09	c |     38072 |     263    28474   167699 | 2147483647    37532     18 |  6.739 % |
5.05/5.12	c |     38265 |     263    28474   167699 | 2147483647    37725     18 |  6.740 % |
5.05/5.15	c |     38479 |     263    28474   167699 | 2147483647    37939     18 |  6.745 % |
5.05/5.18	c |     38715 |     263    28474   167699 | 2147483647    38175     18 |  6.740 % |
5.15/5.24	c |     38972 |     263    28474   167699 | 2147483647    38432     18 |  6.740 % |
5.25/5.30	c |     39253 |     263    28474   167699 | 2147483647    38713     18 |  6.739 % |
5.25/5.37	c |     39562 |     263    28474   167699 | 2147483647    39022     18 |  6.739 % |
5.35/5.45	c |     39901 |     263    28474   167699 | 2147483647    39361     18 |  6.739 % |
5.46/5.52	c |     40274 |     263    28474   167699 | 2147483647    39734     18 |  6.749 % |
5.46/5.58	c |     40684 |     263    28474   167699 | 2147483647    40144     18 |  6.739 % |
5.55/5.66	c |     41133 |     263    28474   167699 | 2147483647    40593     18 |  6.739 % |
5.65/5.73	c |     41626 |     263    28474   167699 | 2147483647    41086     18 |  6.750 % |
5.75/5.83	c |     42170 |     263    28474   167699 | 2147483647    41630     18 |  6.739 % |
5.85/5.92	c |     42766 |     263    28474   167699 | 2147483647    42226     18 |  6.740 % |
5.85/5.94	c |     42866 |     263    28474   167699 | 2147483647    42326     18 |  6.739 % |
5.85/5.95	c |     42977 |     263    28474   167699 | 2147483647    42437     18 |  6.741 % |
5.85/5.98	c |     43098 |     263    28474   167699 | 2147483647    42558     18 |  6.754 % |
5.95/6.01	c |     43232 |     263    28474   167699 | 2147483647    42692     18 |  6.739 % |
5.95/6.03	c |     43378 |     263    28474   167699 | 2147483647    42838     18 |  6.740 % |
5.95/6.06	c |     43539 |     263    28474   167699 | 2147483647    42999     18 |  6.745 % |
6.05/6.10	c |     43717 |     263    28474   167699 | 2147483647    43177     18 |  6.740 % |
6.05/6.14	c |     43911 |     263    28474   167699 | 2147483647    43371     18 |  6.739 % |
6.05/6.19	c |     44123 |     263    28474   167699 | 2147483647    43583     18 |  6.741 % |
6.15/6.25	c |     44357 |     263    28474   167699 | 2147483647    43817     18 |  6.739 % |
6.25/6.32	c |     44613 |     263    28474   167699 | 2147483647    44073     18 |  6.739 % |
6.25/6.40	c |     44894 |     263    28474   167699 | 2147483647    44354     18 |  6.739 % |
6.35/6.44	c |     45205 |     263    28474   167699 | 2147483647    44665     18 |  6.739 % |
6.35/6.49	c |     45544 |     263    28474   167699 | 2147483647    45004     18 |  6.739 % |
6.45/6.57	c |     45916 |     263    28474   167699 | 2147483647    45376     18 |  6.739 % |
6.55/6.67	c |     46325 |     263    28474   167699 | 2147483647    45785     18 |  6.741 % |
6.65/6.76	c |     46775 |     263    28474   167699 | 2147483647    46235     18 |  6.739 % |
6.74/6.86	c |     47270 |     263    28474   167699 | 2147483647    46730     18 |  6.739 % |
6.84/6.94	c |     47812 |     263    28474   167699 | 2147483647    47272     18 |  6.739 % |
6.94/7.06	c |     48409 |     263    28474   167699 | 2147483647    47869     18 |  6.739 % |
7.14/7.23	c |     49065 |     263    28474   167699 | 2147483647    48525     18 |  6.750 % |
7.14/7.26	c |     49165 |     263    28474   167699 | 2147483647    48625     18 |  6.739 % |
7.14/7.29	c |     49278 |     263    28474   167699 | 2147483647    48738     18 |  6.739 % |
7.24/7.32	c |     49402 |     263    28474   167699 | 2147483647    48862     18 |  6.739 % |
7.24/7.35	c |     49536 |     263    28474   167699 | 2147483647    48996     18 |  6.739 % |
7.24/7.39	c |     49687 |     263    28474   167699 | 2147483647    49147     18 |  6.740 % |
7.34/7.43	c |     49850 |     263    28474   167699 | 2147483647    49310     18 |  6.746 % |
7.34/7.49	c |     50026 |     263    28474   167699 | 2147483647    49486     18 |  6.740 % |
7.44/7.54	c |     50219 |     263    28474   167699 | 2147483647    49679     18 |  6.740 % |
7.55/7.62	c |     50431 |     263    28474   167699 | 2147483647    49891     18 |  6.741 % |
7.55/7.66	c |     50664 |     263    28474   167699 | 2147483647    50124     18 |  6.739 % |
7.65/7.71	c |     50921 |     263    28474   167699 | 2147483647    50381     18 |  6.749 % |
7.65/7.78	c |     51202 |     263    28474   167699 | 2147483647    50662     18 |  6.739 % |
7.74/7.84	c |     51513 |     263    28474   167699 | 2147483647    50973     18 |  6.755 % |
7.84/7.92	c |     51852 |     263    28474   167699 | 2147483647    51312     18 |  6.739 % |
7.94/8.00	c |     52225 |     263    28474   167699 | 2147483647    51685     18 |  6.739 % |
7.94/8.09	c |     52635 |     263    28474   167699 | 2147483647    52095     18 |  6.739 % |
8.14/8.23	c |     53085 |     263    28474   167699 | 2147483647    52545     18 |  6.739 % |
8.24/8.35	c |     53579 |     263    28474   167699 | 2147483647    53039     18 |  6.739 % |
8.34/8.49	c |     54121 |     263    28474   167699 | 2147483647    53581     18 |  6.739 % |
8.54/8.65	c |     54717 |     263    28474   167699 | 2147483647    54177     18 |  6.739 % |
8.74/8.83	c |     55372 |     263    28474   167699 | 2147483647    54832     18 |  6.739 % |
8.94/9.02	c |     56092 |     263    28474   167699 | 2147483647    55552     18 |  6.746 % |
8.94/9.06	c |     56193 |     263    28474   167699 | 2147483647    55653     18 |  6.739 % |
8.94/9.09	c |     56305 |     263    28474   167699 | 2147483647    55765     18 |  6.739 % |
9.04/9.12	c |     56426 |     263    28474   167699 | 2147483647    55886     18 |  6.772 % |
9.04/9.15	c |     56559 |     263    28474   167699 | 2147483647    56019     18 |  6.739 % |
9.04/9.19	c |     56705 |     263    28474   167699 | 2147483647    56165     18 |  6.739 % |
9.14/9.24	c |     56865 |     263    28474   167699 | 2147483647    56325     18 |  6.739 % |
9.24/9.30	c |     57041 |     263    28474   167699 | 2147483647    56501     18 |  6.739 % |
9.24/9.36	c |     57234 |     263    28474   167699 | 2147483647    56694     18 |  6.739 % |
9.34/9.42	c |     57447 |     263    28474   167699 | 2147483647    56907     18 |  6.741 % |
9.44/9.50	c |     57681 |     263    28474   167699 | 2147483647    57141     18 |  6.739 % |
9.44/9.57	c |     57937 |     263    28474   167699 | 2147483647    57397     18 |  6.739 % |
9.54/9.64	c |     58221 |     263    28474   167699 | 2147483647    57681     18 |  6.750 % |
9.64/9.71	c |     58530 |     263    28474   167699 | 2147483647    57990     18 |  6.739 % |
9.74/9.80	c |     58871 |     263    28474   167699 | 2147483647    58331     18 |  6.739 % |
9.84/9.91	c |     59244 |     263    28474   167699 | 2147483647    58704     18 |  6.739 % |
9.94/10.03	c |     59655 |     263    28474   167699 | 2147483647    59115     18 |  6.739 % |
10.04/10.16	c |     60104 |     263    28474   167699 | 2147483647    59564     18 |  6.741 % |
10.24/10.30	c |     60597 |     263    28474   167699 | 2147483647    60057     18 |  6.739 % |
10.34/10.47	c |     61142 |     263    28474   167699 | 2147483647    60602     18 |  6.739 % |
10.55/10.69	c |     61738 |     263    28474   167699 | 2147483647    61198     18 |  6.739 % |
10.85/10.91	c |     62394 |     263    28474   167699 | 2147483647    61854     18 |  6.739 % |
11.05/11.15	c |     63115 |     263    28474   167699 | 2147483647    62575     18 |  6.745 % |
11.45/11.52	c |     63908 |     263    28474   167699 | 2147483647    63368     19 |  6.739 % |
11.45/11.55	c |     64009 |     263    28474   167699 | 2147483647    63469     19 |  6.739 % |
11.45/11.59	c |     64121 |     263    28474   167699 | 2147483647    63581     19 |  6.762 % |
11.55/11.62	c |     64242 |     263    28474   167699 | 2147483647    63702     19 |  6.746 % |
11.55/11.66	c |     64377 |     263    28474   167699 | 2147483647    63837     19 |  6.745 % |
11.65/11.71	c |     64525 |     263    28474   167699 | 2147483647    63985     19 |  6.754 % |
11.65/11.75	c |     64685 |     263    28474   167699 | 2147483647    64145     19 |  6.739 % |
11.65/11.79	c |     64866 |     263    28474   167699 | 2147483647    64326     19 |  6.739 % |
11.74/11.87	c |     65061 |     263    28474   167699 | 2147483647    64521     19 |  6.740 % |
11.84/11.94	c |     65273 |     263    28474   167699 | 2147483647    64733     19 |  6.739 % |
11.95/12.03	c |     65507 |     263    28474   167699 | 2147483647    64967     19 |  6.739 % |
12.05/12.12	c |     65764 |     263    28474   167699 | 2147483647    65224     19 |  6.739 % |
12.14/12.21	c |     66047 |     263    28474   167699 | 2147483647    65507     19 |  6.748 % |
12.24/12.32	c |     66356 |     263    28474   167699 | 2147483647    65816     19 |  6.754 % |
12.34/12.42	c |     66696 |     263    28474   167699 | 2147483647    66156     19 |  6.739 % |
12.44/12.52	c |     67071 |     263    28474   167699 | 2147483647    66531     19 |  6.739 % |
12.54/12.69	c |     67481 |     263    28474   167699 | 2147483647    66941     19 |  6.740 % |
12.74/12.86	c |     67930 |     263    27550   162512 | 2147483647    67388     19 |  6.739 % |
12.94/13.06	c |     68424 |     263    27550   162512 | 2147483647    67882     19 |  6.739 % |
13.15/13.23	c |     68967 |     263    27550   162512 | 2147483647    68425     19 |  6.739 % |
13.34/13.41	c |     69563 |     263    27550   162512 | 2147483647    69021     19 |  6.739 % |
13.54/13.64	c |     70219 |     263    27550   162512 | 2147483647    69677     19 |  6.739 % |
13.84/13.98	c |     70939 |     263    27550   162512 | 2147483647    70397     19 |  6.739 % |
14.24/14.37	c |     71731 |     263    27550   162512 | 2147483647    71189     19 |  6.751 % |
14.54/14.66	c |     72603 |     263    27550   162512 | 2147483647    72061     19 |  6.739 % |
14.54/14.70	c |     72705 |     263    27550   162512 | 2147483647    72163     19 |  6.739 % |
14.64/14.73	c |     72816 |     263    27550   162512 | 2147483647    72274     19 |  6.739 % |
14.64/14.79	c |     72942 |     263    27550   162512 | 2147483647    72400     19 |  6.740 % |
14.74/14.84	c |     73077 |     263    27550   162512 | 2147483647    72535     19 |  6.740 % |
14.84/14.90	c |     73223 |     263    27550   162512 | 2147483647    72681     19 |  6.739 % |
14.84/14.96	c |     73384 |     263    27550   162512 | 2147483647    72842     19 |  6.739 % |
14.94/15.01	c |     73560 |     263    27550   162512 | 2147483647    73018     19 |  6.749 % |
15.04/15.11	c |     73754 |     263    27550   162512 | 2147483647    73212     19 |  6.739 % |
15.14/15.22	c |     73966 |     263    27550   162512 | 2147483647    73424     19 |  6.739 % |
15.24/15.33	c |     74201 |     263    27550   162512 | 2147483647    73659     19 |  6.739 % |
15.34/15.45	c |     74457 |     263    27550   162512 | 2147483647    73915     19 |  6.740 % |
15.44/15.55	c |     74738 |     263    27550   162512 | 2147483647    74196     19 |  6.739 % |
15.54/15.69	c |     75049 |     263    27550   162512 | 2147483647    74507     19 |  6.739 % |
15.74/15.81	c |     75389 |     263    27550   162512 | 2147483647    74847     19 |  6.739 % |
15.84/15.95	c |     75762 |     263    27550   162512 | 2147483647    75220     19 |  6.741 % |
15.94/16.08	c |     76173 |     263    27550   162512 | 2147483647    75631     19 |  6.739 % |
16.13/16.26	c |     76622 |     263    27550   162512 | 2147483647    76080     19 |  6.739 % |
16.34/16.44	c |     77115 |     263    27550   162512 | 2147483647    76573     19 |  6.741 % |
16.63/16.76	c |     77658 |     263    27550   162512 | 2147483647    77116     19 |  6.746 % |
17.03/17.19	c |     78255 |     263    27550   162512 | 2147483647    77713     19 |  6.746 % |
17.53/17.66	c |     78910 |     263    27550   162512 | 2147483647    78368     19 |  6.758 % |
18.03/18.18	c |     79630 |     263    27550   162512 | 2147483647    79088     19 |  6.758 % |
18.63/18.70	c |     80423 |     263    27550   162512 | 2147483647    79881     19 |  6.758 % |
19.03/19.19	c |     81295 |     263    27550   162512 | 2147483647    80753     19 |  6.756 % |
19.43/19.53	c |     82253 |     263    27550   162512 | 2147483647    81711     19 |  6.739 % |
19.53/19.60	c |     82353 |     263    27550   162512 | 2147483647    81811     19 |  6.741 % |
19.53/19.65	c |     82465 |     263    27550   162512 | 2147483647    81923     19 |  6.772 % |
19.63/19.72	c |     82588 |     263    27550   162512 | 2147483647    82046     19 |  6.739 % |
19.63/19.78	c |     82723 |     263    27550   162512 | 2147483647    82181     19 |  6.739 % |
19.73/19.86	c |     82869 |     263    27550   162512 | 2147483647    82327     19 |  6.739 % |
19.83/19.93	c |     83030 |     263    27550   162512 | 2147483647    82488     19 |  6.739 % |
19.93/20.02	c |     83208 |     263    27550   162512 | 2147483647    82666     19 |  6.739 % |
20.03/20.11	c |     83402 |     263    27550   162512 | 2147483647    82860     19 |  6.739 % |
20.13/20.23	c |     83615 |     263    27550   162512 | 2147483647    83073     19 |  6.749 % |
20.23/20.39	c |     83848 |     263    27550   162512 | 2147483647    83306     19 |  6.748 % |
20.43/20.51	c |     84104 |     263    27550   162512 | 2147483647    83562     19 |  6.739 % |
20.53/20.64	c |     84385 |     263    27550   162512 | 2147483647    83843     19 |  6.739 % |
20.63/20.76	c |     84696 |     263    27550   162512 | 2147483647    84154     19 |  6.739 % |
20.83/20.92	c |     85038 |     262    27550   162512 | 2147483647    84495     19 |  7.093 % |
20.93/21.10	c |     85410 |     262    27550   162512 | 2147483647    84867     19 |  7.109 % |
21.23/21.32	c |     85821 |     262    27550   162512 | 2147483647    85278     19 |  7.096 % |
21.43/21.57	c |     86270 |     262    27550   162512 | 2147483647    85727     19 |  7.094 % |
21.73/21.82	c |     86767 |     262    27550   162512 | 2147483647    86224     19 |  7.102 % |
21.93/22.06	c |     87310 |     262    27550   162512 | 2147483647    86767     19 |  7.094 % |
22.32/22.40	c |     87906 |     262    27550   162512 | 2147483647    87363     19 |  7.093 % |
22.72/22.82	c |     88561 |     262    27550   162512 | 2147483647    88018     19 |  7.096 % |
23.12/23.29	c |     89281 |     262    27550   162512 | 2147483647    88738     19 |  7.093 % |
23.62/23.73	c |     90073 |     262    27550   162512 | 2147483647    89530     19 |  7.093 % |
24.03/24.20	c |     90945 |     262    27550   162512 | 2147483647    90402     19 |  7.093 % |
24.52/24.64	c |     91904 |     262    27550   162512 | 2147483647    91361     19 |  7.096 % |
24.92/25.09	c |     92958 |     262    27550   162512 | 2147483647    92415     19 |  7.093 % |
25.02/25.14	c |     93060 |     262    27550   162512 | 2147483647    92517     19 |  7.093 % |
25.13/25.21	c |     93171 |     262    27550   162512 | 2147483647    92628     19 |  7.095 % |
25.13/25.26	c |     93292 |     262    27550   162512 | 2147483647    92749     19 |  7.093 % |
25.24/25.33	c |     93425 |     262    27550   162512 | 2147483647    92882     19 |  7.116 % |
25.33/25.41	c |     93572 |     262    27550   162512 | 2147483647    93029     19 |  7.093 % |
25.43/25.52	c |     93732 |     262    27550   162512 | 2147483647    93189     19 |  7.095 % |
25.53/25.62	c |     93908 |     262    27550   162512 | 2147483647    93365     19 |  7.093 % |
25.63/25.72	c |     94101 |     262    27550   162512 | 2147483647    93558     19 |  7.093 % |
25.73/25.85	c |     94313 |     262    27550   162512 | 2147483647    93770     19 |  7.093 % |
25.83/25.97	c |     94547 |     262    27550   162512 | 2147483647    94004     19 |  7.105 % |
26.03/26.12	c |     94803 |     262    27550   162512 | 2147483647    94260     19 |  7.093 % |
26.23/26.31	c |     95084 |     262    27550   162512 | 2147483647    94541     19 |  7.093 % |
26.33/26.48	c |     95393 |     262    27550   162512 | 2147483647    94850     19 |  7.093 % |
26.63/26.74	c |     95732 |     262    27550   162512 | 2147483647    95189     19 |  7.093 % |
26.93/27.03	c |     96106 |     262    27550   162512 | 2147483647    95563     19 |  7.093 % |
27.23/27.31	c |     96516 |     262    27550   162512 | 2147483647    95973     19 |  7.093 % |
27.43/27.58	c |     96967 |     262    27550   162512 | 2147483647    96424     19 |  7.093 % |
27.82/27.96	c |     97462 |     262    27550   162512 | 2147483647    96919     19 |  7.093 % |
28.22/28.30	c |     98004 |     262    27550   162512 | 2147483647    97461     19 |  7.101 % |
28.53/28.64	c |     98600 |     262    27550   162512 | 2147483647    98057     19 |  7.093 % |
28.92/29.04	c |     99255 |     262    27550   162512 | 2147483647    98712     19 |  7.093 % |
29.32/29.48	c |     99977 |     262    27550   162512 | 2147483647    99434     19 |  7.093 % |
29.92/30.00	c |    100770 |     262    27550   162512 |    99457    88773     19 |  7.093 % |
30.32/30.44	c |    101641 |     262    27550   162512 |    99457    89644     19 |  7.093 % |
30.73/30.85	c |    102599 |     262    27550   162512 |    99457    90602     19 |  7.096 % |
31.32/31.41	c |    103652 |     262    27550   162512 |    99457    91655     19 |  7.096 % |
31.83/31.98	c |    104811 |     262    27550   162512 |    99457    92814     19 |  7.093 % |
31.92/32.04	c |    104911 |     262    27550   162512 |    99457    92914     19 |  7.093 % |
32.02/32.10	c |    105021 |     262    27550   162512 |    99457    93024     19 |  7.093 % |
32.02/32.19	c |    105142 |     262    27550   162512 |    99457    93145     19 |  7.093 % |
32.12/32.27	c |    105276 |     262    27550   162512 |    99457    93279     19 |  7.093 % |
32.22/32.38	c |    105422 |     262    27550   162512 |    99457    93425     19 |  7.093 % |
32.32/32.48	c |    105582 |     262    27550   162512 |    99457    93585     19 |  7.093 % |
32.42/32.59	c |    105758 |     262    27550   162512 |    99457    93761     19 |  7.093 % |
32.52/32.69	c |    105952 |     262    27550   162512 |    99457    93955     19 |  7.093 % |
32.72/32.82	c |    106164 |     262    27550   162512 |    99457    94167     19 |  7.093 % |
32.82/32.98	c |    106397 |     262    27550   162512 |    99457    94400     19 |  7.093 % |
33.02/33.13	c |    106654 |     262    27550   162512 |    99457    94657     19 |  7.093 % |
33.12/33.26	c |    106936 |     262    27550   162512 |    99457    94939     19 |  7.096 % |
33.32/33.47	c |    107245 |     262    27550   162512 |    99457    95248     19 |  7.093 % |
33.52/33.62	c |    107584 |     262    27550   162512 |    99457    95587     19 |  7.093 % |
33.72/33.88	c |    107957 |     262    27550   162512 |    99457    95960     19 |  7.093 % |
34.02/34.17	c |    108366 |     262    27550   162512 |    99457    96369     19 |  7.093 % |
34.32/34.47	c |    108815 |     262    27550   162512 |    99457    96818     19 |  7.096 % |
34.62/34.77	c |    109308 |     262    27550   162512 |    99457    97311     19 |  7.093 % |
34.92/35.06	c |    109850 |     262    27550   162512 |    99457    97853     19 |  7.093 % |
35.42/35.57	c |    110448 |     262    27550   162512 |    98005    87128     19 |  7.093 % |
35.82/35.95	c |    111103 |     262    27550   162512 |    98005    87783     19 |  7.093 % |
36.12/36.29	c |    111826 |     262    27550   162512 |    98005    88506     19 |  7.093 % |
36.62/36.75	c |    112618 |     262    27550   162512 |    98005    89298     19 |  7.096 % |
37.12/37.30	c |    113489 |     262    27550   162512 |    98005    90169     19 |  7.093 % |
37.81/37.90	c |    114448 |     262    27550   162512 |    98005    91128     19 |  7.093 % |
38.42/38.58	c |    115502 |     262    27550   162512 |    98005    92182     19 |  7.093 % |
39.31/39.42	c |    116661 |     262    27550   162512 |    98005    93341     19 |  7.096 % |
40.01/40.18	c |    117935 |     262    27550   162512 |    98005    94615     19 |  7.096 % |
40.11/40.24	c |    118035 |     262    27550   162512 |    98005    94715     19 |  7.093 % |
40.21/40.32	c |    118146 |     262    27550   162512 |    98005    94826     19 |  7.093 % |
40.31/40.44	c |    118268 |     262    27550   162512 |    98005    94948     19 |  7.093 % |
40.41/40.52	c |    118401 |     262    27550   162512 |    98005    95081     19 |  7.093 % |
40.52/40.62	c |    118548 |     262    27550   162512 |    98005    95228     19 |  7.093 % |
40.62/40.74	c |    118708 |     262    27550   162512 |    98005    95388     19 |  7.093 % |
40.71/40.86	c |    118884 |     262    27550   162512 |    98005    95564     19 |  7.093 % |
40.91/41.05	c |    119077 |     262    27550   162512 |    98005    95757     19 |  7.093 % |
41.11/41.22	c |    119292 |     262    27550   162512 |    98005    95972     19 |  7.093 % |
41.21/41.39	c |    119525 |     262    27550   162512 |    98005    96205     19 |  7.093 % |
41.41/41.55	c |    119782 |     262    27550   162512 |    98005    96462     19 |  7.093 % |
41.51/41.69	c |    120066 |     262    27550   162512 |    96680    96746     19 |  7.093 % |
41.81/41.96	c |    120375 |     262    27550   162512 |    96680    83759     18 |  7.093 % |
42.11/42.20	c |    120714 |     262    27550   162512 |    96680    84098     18 |  7.093 % |
42.31/42.46	c |    121086 |     262    27550   162512 |    96680    84470     18 |  7.093 % |
42.61/42.74	c |    121496 |     262    27550   162512 |    96680    84880     18 |  7.093 % |
42.91/43.02	c |    121946 |     262    27550   162512 |    96680    85330     18 |  7.096 % |
43.21/43.34	c |    122440 |     262    27550   162512 |    96680    85824     18 |  7.093 % |
43.51/43.68	c |    122984 |     262    27550   162512 |    96680    86368     18 |  7.104 % |
43.91/44.01	c |    123584 |     262    27550   162512 |    96680    86968     18 |  7.093 % |
44.31/44.42	c |    124239 |     262    27550   162512 |    96680    87623     18 |  7.095 % |
44.61/44.78	c |    124961 |     262    27550   162512 |    96680    88345     18 |  7.093 % |
45.11/45.20	c |    125755 |     262    27550   162512 |    96680    89139     18 |  7.093 % |
45.71/45.84	c |    126626 |     262    27550   162512 |    96680    90010     18 |  7.093 % |
46.20/46.33	c |    127585 |     262    26948   159179 |    96680    90967     19 |  7.093 % |
46.90/47.01	c |    128639 |     262    26948   159179 |    96680    92021     19 |  7.093 % |
47.80/47.92	c |    129797 |     262    26948   159179 |    96680    93179     19 |  7.093 % |
48.70/48.83	c |    131071 |     262    26948   159179 |    93382    82051     18 |  7.093 % |
49.30/49.40	c |    132472 |     262    26948   159179 |    93382    83452     18 |  7.093 % |
49.30/49.47	c |    132572 |     262    26948   159179 |    93382    83552     18 |  7.093 % |
49.40/49.58	c |    132684 |     262    26948   159179 |    93382    83664     18 |  7.093 % |
49.50/49.65	c |    132805 |     262    26948   159179 |    93382    83785     18 |  7.096 % |
49.60/49.76	c |    132940 |     262    26948   159179 |    93382    83920     18 |  7.093 % |
49.70/49.84	c |    133087 |     262    26948   159179 |    93382    84067     18 |  7.093 % |
49.80/49.98	c |    133249 |     262    26948   159179 |    93382    84229     18 |  7.093 % |
49.91/50.10	c |    133425 |     262    26948   159179 |    93382    84405     18 |  7.093 % |
50.11/50.24	c |    133620 |     262    26948   159179 |    93382    84600     18 |  7.096 % |
50.31/50.41	c |    133833 |     262    26948   159179 |    93382    84813     18 |  7.093 % |
50.41/50.59	c |    134066 |     262    26948   159179 |    93382    85046     18 |  7.093 % |
50.61/50.76	c |    134324 |     262    26948   159179 |    93382    85304     18 |  7.093 % |
50.81/50.91	c |    134605 |     262    26948   159179 |    93382    85585     18 |  7.093 % |
50.91/51.06	c |    134916 |     262    26948   159179 |    93382    85896     18 |  7.093 % |
51.11/51.28	c |    135261 |     262    26948   159179 |    93382    86241     18 |  7.093 % |
51.41/51.51	c |    135634 |     262    26948   159179 |    93382    86614     18 |  7.093 % |
51.61/51.79	c |    136044 |     262    26948   159179 |    93382    87024     18 |  7.093 % |
51.91/52.01	c |    136493 |     262    26948   159179 |    93382    87473     18 |  7.096 % |
52.11/52.25	c |    136987 |     262    26948   159179 |    93382    87967     18 |  7.093 % |
52.41/52.57	c |    137529 |     262    26948   159179 |    93382    88509     18 |  7.093 % |
52.81/52.92	c |    138125 |     262    26948   159179 |    93382    89105     18 |  7.093 % |
53.21/53.32	c |    138781 |     262    26948   159179 |    93382    89761     18 |  7.093 % |
53.60/53.78	c |    139501 |     262    26948   159179 |    93382    90481     18 |  7.093 % |
54.30/54.40	c |    140293 |     262    26948   159179 |    90980    79118     18 |  7.093 % |
54.81/54.92	c |    141164 |     262    26948   159179 |    90980    79989     18 |  7.096 % |
55.30/55.40	c |    142122 |     262    26948   159179 |    90980    80947     18 |  7.093 % |
55.70/55.89	c |    143176 |     262    26948   159179 |    90980    82001     18 |  7.095 % |
56.30/56.40	c |    144334 |     262    26948   159179 |    90980    83159     18 |  7.093 % |
56.90/57.00	c |    145607 |     262    26948   159179 |    90980    84432     18 |  7.093 % |
57.60/57.70	c |    147008 |     262    26948   159179 |    90980    85833     19 |  7.093 % |
58.50/58.62	c |    148548 |     262    26948   159179 |    90980    87373     19 |  7.093 % |
58.60/58.70	c |    148649 |     262    26948   159179 |    90980    87474     19 |  7.093 % |
58.60/58.79	c |    148761 |     262    26948   159179 |    90980    87586     19 |  7.093 % |
58.70/58.89	c |    148883 |     262    26948   159179 |    90980    87708     19 |  7.093 % |
58.80/58.97	c |    149018 |     262    26948   159179 |    90980    87843     19 |  7.093 % |
59.00/59.11	c |    149164 |     262    26948   159179 |    90980    87989     19 |  7.093 % |
59.10/59.23	c |    149324 |     262    26948   159179 |    90980    88149     19 |  7.093 % |
59.20/59.36	c |    149500 |     262    26948   159179 |    90980    88325     19 |  7.093 % |
59.40/59.52	c |    149693 |     262    26948   159179 |    90980    88518     19 |  7.093 % |
59.50/59.69	c |    149906 |     262    26948   159179 |    90980    88731     19 |  7.093 % |
59.90/60.02	c |    150139 |     262    26948   159179 |    88825    78892     18 |  7.093 % |
60.10/60.21	c |    150396 |     262    26948   159179 |    88825    79149     18 |  7.093 % |
60.20/60.38	c |    150680 |     262    26948   159179 |    88825    79433     18 |  7.093 % |
60.40/60.53	c |    150989 |     262    26948   159179 |    88825    79742     18 |  7.093 % |
60.50/60.68	c |    151328 |     262    26948   159179 |    88825    80081     18 |  7.093 % |
60.70/60.83	c |    151700 |     262    26948   159179 |    88825    80453     18 |  7.111 % |
61.00/61.15	c |    152110 |     262    26948   159179 |    88825    80863     18 |  7.093 % |
61.20/61.32	c |    152560 |     262    26948   159179 |    88825    81313     18 |  7.093 % |
61.50/61.69	c |    153053 |     262    26948   159179 |    88825    81806     18 |  7.093 % |
62.00/62.14	c |    153595 |     262    26948   159179 |    88825    82348     18 |  7.093 % |
62.30/62.45	c |    154191 |     262    26948   159179 |    88825    82944     18 |  7.093 % |
62.60/62.76	c |    154848 |     262    26948   159179 |    88825    83601     19 |  7.093 % |
63.00/63.17	c |    155568 |     262    26948   159179 |    88825    84321     18 |  7.093 % |
63.60/63.79	c |    156362 |     262    26948   159179 |    88825    85115     18 |  7.093 % |
64.29/64.41	c |    157236 |     262    26948   159179 |    88825    85989     19 |  7.093 % |
64.99/65.14	c |    158194 |     262    26948   159179 |    88825    86947     19 |  7.093 % |
65.80/65.94	c |    159247 |     262    26948   159179 |    88825    88000     19 |  7.093 % |
66.69/66.88	c |    160405 |     262    26948   159179 |    88754    77825     18 |  7.093 % |
67.59/67.73	c |    161678 |     262    26948   159179 |    88754    79098     18 |  7.093 % |
68.39/68.52	c |    163079 |     262    26948   159179 |    88754    80499     18 |  7.093 % |
69.10/69.23	c |    164620 |     262    26948   159179 |    88754    82040     18 |  7.093 % |
69.89/70.07	c |    166315 |     262    26948   159179 |    88754    83735     18 |  7.096 % |
69.99/70.13	c |    166416 |     262    26948   159179 |    88754    83836     18 |  7.093 % |
70.09/70.20	c |    166526 |     262    26948   159179 |    88754    83946     18 |  7.093 % |
70.20/70.32	c |    166647 |     262    26948   159179 |    88754    84067     18 |  7.096 % |
70.30/70.40	c |    166780 |     262    26948   159179 |    88754    84200     18 |  7.093 % |
70.30/70.49	c |    166926 |     262    26948   159179 |    88754    84346     18 |  7.093 % |
70.49/70.60	c |    167089 |     262    26948   159179 |    88754    84509     18 |  7.093 % |
70.59/70.74	c |    167265 |     262    26948   159179 |    88754    84685     18 |  7.093 % |
70.69/70.87	c |    167458 |     262    26948   159179 |    88754    84878     18 |  7.093 % |
70.89/71.04	c |    167672 |     262    26948   159179 |    88754    85092     18 |  7.093 % |
70.99/71.15	c |    167907 |     262    26948   159179 |    88754    85327     18 |  7.093 % |
71.19/71.31	c |    168165 |     262    26948   159179 |    88754    85585     18 |  7.093 % |
71.39/71.52	c |    168446 |     262    26948   159179 |    88754    85866     19 |  7.096 % |
71.59/71.79	c |    168755 |     262    26948   159179 |    88754    86175     19 |  7.093 % |
71.89/72.09	c |    169095 |     262    26948   159179 |    88754    86515     19 |  7.093 % |
72.29/72.43	c |    169467 |     262    26948   159179 |    88754    86887     19 |  7.093 % |
72.69/72.81	c |    169876 |     262    26948   159179 |    88754    87296     19 |  7.093 % |
73.19/73.30	c |    170325 |     262    26948   159179 |    87420    76275     18 |  7.093 % |
73.49/73.63	c |    170819 |     262    26948   159179 |    87420    76769     18 |  7.093 % |
73.79/73.97	c |    171362 |     262    26948   159179 |    87420    77312     18 |  7.093 % |
74.29/74.45	c |    171959 |     262    26948   159179 |    87420    77909     18 |  7.093 % |
74.69/74.84	c |    172617 |     262    26948   159179 |    87420    78567     18 |  7.093 % |
75.09/75.23	c |    173338 |     262    26948   159179 |    87420    79288     18 |  7.093 % |
75.69/75.87	c |    174130 |     262    26948   159179 |    87420    80080     18 |  7.093 % |
76.29/76.45	c |    175001 |     262    26948   159179 |    87420    80951     18 |  7.093 % |
77.09/77.29	c |    175960 |     262    26948   159179 |    87420    81910     18 |  7.093 % |
77.79/77.90	c |    177013 |     262    26948   159179 |    87420    82963     18 |  7.093 % |
78.69/78.86	c |    178171 |     262    26948   159179 |    87420    84121     18 |  7.093 % |
79.59/79.77	c |    179444 |     262    26948   159179 |    87420    85394     18 |  7.093 % |
80.78/81.00	c |    180844 |     262    26948   159179 |    85950    74055     18 |  7.093 % |
81.68/81.86	c |    182384 |     262    26948   159179 |    85950    75595     18 |  7.093 % |
82.78/82.91	c |    184078 |     262    26948   159179 |    85950    77289     18 |  7.117 % |
83.98/84.13	c |    185941 |     262    26948   159179 |    85950    79152     18 |  7.093 % |
83.98/84.18	c |    186041 |     262    26948   159179 |    85950    79252     18 |  7.093 % |
84.08/84.26	c |    186154 |     262    26948   159179 |    85950    79365     18 |  7.093 % |
84.18/84.34	c |    186277 |     262    26948   159179 |    85950    79488     18 |  7.093 % |
84.28/84.41	c |    186410 |     262    26948   159179 |    85950    79621     18 |  7.093 % |
84.28/84.49	c |    186556 |     262    26948   159179 |    85950    79767     18 |  7.093 % |
84.38/84.59	c |    186716 |     262    26948   159179 |    85950    79927     18 |  7.093 % |
84.59/84.70	c |    186893 |     262    26948   159179 |    85950    80104     18 |  7.093 % |
84.68/84.80	c |    187088 |     262    26948   159179 |    85950    80299     18 |  7.093 % |
84.78/84.96	c |    187301 |     262    26948   159179 |    85950    80512     18 |  7.093 % |
84.88/85.05	c |    187535 |     262    26948   159179 |    85950    80746     18 |  7.093 % |
84.98/85.17	c |    187792 |     262    26948   159179 |    85950    81003     18 |  7.093 % |
85.18/85.37	c |    188075 |     262    26948   159179 |    85950    81286     18 |  7.093 % |
85.48/85.63	c |    188385 |     262    26948   159179 |    85950    81596     18 |  7.093 % |
85.69/85.85	c |    188726 |     262    26948   159179 |    85950    81937     18 |  7.105 % |
85.88/86.09	c |    189099 |     262    26948   159179 |    85950    82310     18 |  7.093 % |
86.28/86.42	c |    189511 |     262    26948   159179 |    85950    82722     18 |  7.096 % |
86.58/86.77	c |    189960 |     262    26948   159179 |    85950    83171     18 |  7.093 % |
87.08/87.27	c |    190456 |     262    26948   159179 |    83212    74607     18 |  7.093 % |
87.38/87.59	c |    190998 |     262    26948   159179 |    83212    75149     18 |  7.093 % |
87.78/87.94	c |    191594 |     262    26948   159179 |    83212    75745     18 |  7.093 % |
88.17/88.35	c |    192251 |     262    26948   159179 |    83212    76402     18 |  7.094 % |
88.67/88.81	c |    192971 |     262    26948   159179 |    83212    77122     18 |  7.093 % |
89.17/89.34	c |    193763 |     262    26948   159179 |    83212    77914     18 |  7.093 % |
89.57/89.78	c |    194634 |     262    26948   159179 |    83212    78785     18 |  7.093 % |
90.17/90.39	c |    195592 |     262    26948   159179 |    83212    79743     18 |  7.096 % |
90.67/90.89	c |    196647 |     262    26948   159179 |    83212    80798     18 |  7.093 % |
91.27/91.41	c |    197805 |     262    26948   159179 |    83212    81956     18 |  7.093 % |
91.87/92.01	c |    199078 |     262    26948   159179 |    83212    83229     18 |  7.093 % |
92.87/93.07	c |    200478 |     262    26948   159179 |    75363    68124     18 |  7.093 % |
93.47/93.61	c |    202018 |     262    26948   159179 |    75363    69664     18 |  7.093 % |
94.27/94.48	c |    203714 |     262    26948   159179 |    75363    71360     18 |  7.096 % |
95.07/95.25	c |    205579 |     262    26948   159179 |    75363    73225     18 |  7.093 % |
96.27/96.44	c |    207628 |     262    26948   159179 |    75363    75274     18 |  7.093 % |
96.37/96.51	c |    207729 |     262    26948   159179 |    75363    75375     18 |  7.093 % |
96.67/96.80	c |    207841 |     262    26948   159179 |    75363    67943     18 |  7.093 % |
96.67/96.85	c |    207962 |     262    26948   159179 |    75363    68064     18 |  7.093 % |
96.77/96.90	c |    208096 |     262    26948   159179 |    75363    68198     18 |  7.093 % |
96.77/96.99	c |    208244 |     262    26948   159179 |    75363    68346     18 |  7.093 % |
96.97/97.11	c |    208404 |     262    26948   159179 |    75363    68506     18 |  7.096 % |
97.07/97.22	c |    208580 |     262    26948   159179 |    75363    68682     18 |  7.117 % |
97.17/97.33	c |    208776 |     262    26948   159179 |    75363    68878     18 |  7.093 % |
97.27/97.43	c |    208989 |     262    26948   159179 |    75363    69091     18 |  7.093 % |
97.37/97.54	c |    209224 |     262    26948   159179 |    75363    69326     18 |  7.093 % |
97.47/97.68	c |    209480 |     262    26948   159179 |    75363    69582     18 |  7.095 % |
97.67/97.84	c |    209764 |     262    26948   159179 |    75363    69866     18 |  7.093 % |
97.87/98.05	c |    210075 |     262    26948   159179 | 2147483647    70177     18 |  7.093 % |
98.17/98.30	c |    210414 |     262    26948   159179 | 2147483647    70516     18 |  7.093 % |
98.37/98.56	c |    210788 |     262    26948   159179 | 2147483647    70890     18 |  7.093 % |
98.67/98.81	c |    211200 |     262    26948   159179 | 2147483647    71302     18 |  7.093 % |
98.97/99.11	c |    211652 |     262    26948   159179 | 2147483647    71754     18 |  7.093 % |
99.27/99.49	c |    212145 |     262    26948   159179 | 2147483647    72247     18 |  7.093 % |
99.67/99.84	c |    212687 |     262    26948   159179 | 2147483647    72789     18 |  7.093 % |
100.06/100.21	c |    213283 |     262    26948   159179 | 2147483647    73385     18 |  7.093 % |
100.36/100.58	c |    213938 |     262    26948   159179 | 2147483647    74040     18 |  7.094 % |
100.66/100.89	c |    214659 |     262    26948   159179 | 2147483647    74761     18 |  7.093 % |
100.97/101.16	c |    215451 |     262    26948   159179 | 2147483647    75553     18 |  7.093 % |
101.36/101.51	c |    216323 |     262    26948   159179 | 2147483647    76425     18 |  7.093 % |
101.76/101.90	c |    217281 |     262    26948   159179 | 2147483647    77383     18 |  7.093 % |
102.07/102.27	c |    218338 |     262    26948   159179 | 2147483647    78440     18 |  7.093 % |
102.46/102.67	c |    219496 |     262    26948   159179 | 2147483647    79598     18 |  7.093 % |
103.06/103.22	c |    220770 |     262    26948   159179 | 2147483647    80872     18 |  7.105 % |
103.66/103.82	c |    222171 |     262    26948   159179 | 2147483647    82273     18 |  7.096 % |
104.27/104.49	c |    223711 |     262    26948   159179 | 2147483647    83813     18 |  7.093 % |
104.96/105.12	c |    225405 |     262    26948   159179 | 2147483647    85507     18 |  7.093 % |
105.96/106.13	c |    227268 |     262    26948   159179 | 2147483647    87370     18 |  7.093 % |
106.96/107.17	c |    229317 |     262    26948   159179 | 2147483647    89419     18 |  7.093 % |
107.96/108.13	c |    231570 |     262    26948   159179 | 2147483647    91672     19 |  7.093 % |
108.06/108.21	c |    231670 |     262    26948   159179 | 2147483647    91772     19 |  7.096 % |
108.06/108.29	c |    231780 |     262    26948   159179 | 2147483647    91882     19 |  7.093 % |
108.16/108.37	c |    231901 |     262    26948   159179 | 2147483647    92003     19 |  7.096 % |
108.26/108.45	c |    232034 |     262    26948   159179 | 2147483647    92136     19 |  7.093 % |
108.36/108.53	c |    232180 |     262    26948   159179 | 2147483647    92282     19 |  7.093 % |
108.46/108.60	c |    232340 |     262    26948   159179 | 2147483647    92442     19 |  7.093 % |
108.56/108.71	c |    232516 |     262    26948   159179 | 2147483647    92618     19 |  7.093 % |
108.66/108.84	c |    232709 |     262    26948   159179 | 2147483647    92811     19 |  7.093 % |
108.76/108.95	c |    232922 |     262    26948   159179 | 2147483647    93024     19 |  7.093 % |
108.86/109.05	c |    233155 |     262    26948   159179 | 2147483647    93257     19 |  7.093 % |
108.96/109.12	c |    233411 |     262    26948   159179 | 2147483647    93513     19 |  7.093 % |
109.06/109.25	c |    233693 |     262    26948   159179 | 2147483647    93795     19 |  7.093 % |
109.26/109.45	c |    234002 |     262    26948   159179 | 2147483647    94104     19 |  7.093 % |
109.56/109.70	c |    234344 |     262    26948   159179 | 2147483647    94446     19 |  7.093 % |
109.66/109.88	c |    234716 |     262    26948   159179 | 2147483647    94818     19 |  7.093 % |
109.86/110.08	c |    235126 |     262    26948   159179 | 2147483647    95228     19 |  7.093 % |
110.06/110.29	c |    235577 |     262    26948   159179 | 2147483647    95679     19 |  7.093 % |
110.46/110.64	c |    236070 |     262    26948   159179 | 2147483647    96172     19 |  7.093 % |
110.96/111.15	c |    236612 |     262    26948   159179 | 2147483647    96714     19 |  7.093 % |
111.36/111.54	c |    237208 |     262    26948   159179 | 2147483647    97310     19 |  7.093 % |
111.66/111.88	c |    237864 |     262    26948   159179 | 2147483647    97966     19 |  7.096 % |
112.25/112.40	c |    238586 |     262    26948   159179 | 2147483647    98688     19 |  7.093 % |
112.55/112.78	c |    239378 |     262    26948   159179 | 2147483647    99480     19 |  7.096 % |
113.16/113.36	c |    240250 |     262    26948   159179 |   100103    86851     18 |  7.093 % |
113.55/113.75	c |    241208 |     262    26948   159179 |   100103    87809     18 |  7.096 % |
114.16/114.31	c |    242261 |     262    26948   159179 |   100103    88862     18 |  7.093 % |
114.95/115.10	c |    243419 |     262    26948   159179 |   100103    90020     18 |  7.093 % |
115.95/116.14	c |    244693 |     262    26948   159179 |   100103    91294     18 |  7.093 % |
116.85/117.05	c |    246093 |     262    26948   159179 |   100103    92694     19 |  7.093 % |
118.15/118.32	c |    247635 |     262    26948   159179 |   100103    94236     19 |  7.093 % |
119.55/119.71	c |    249329 |     262    26948   159179 |   100103    95930     19 |  7.093 % |
121.15/121.37	c |    251194 |     262    26948   159179 |    96601    82068     18 |  7.093 % |
122.45/122.65	c |    253244 |     262    26948   159179 |    96601    84118     18 |  7.093 % |
123.95/124.10	c |    255498 |     262    26948   159179 |    96601    86372     18 |  7.093 % |
125.45/125.65	c |    257978 |     262    26948   159179 |    96601    88852     18 |  7.094 % |
125.55/125.71	c |    258078 |     262    26948   159179 |    96601    88952     18 |  7.093 % |
125.65/125.81	c |    258188 |     262    26948   159179 |    96601    89062     18 |  7.093 % |
125.65/125.88	c |    258310 |     262    26948   159179 |    96601    89184     18 |  7.093 % |
125.75/125.97	c |    258444 |     262    26948   159179 |    96601    89318     18 |  7.093 % |
125.85/126.06	c |    258592 |     262    26948   159179 |    96601    89466     18 |  7.104 % |
125.95/126.16	c |    258755 |     262    26948   159179 |    96601    89629     18 |  7.093 % |
126.05/126.26	c |    258931 |     262    26948   159179 |    96601    89805     18 |  7.093 % |
126.15/126.35	c |    259124 |     262    26948   159179 |    96601    89998     18 |  7.096 % |
126.25/126.48	c |    259336 |     262    26948   159179 |    96601    90210     18 |  7.093 % |
126.45/126.61	c |    259569 |     262    26948   159179 |    96601    90443     18 |  7.093 % |
126.55/126.76	c |    259826 |     262    26948   159179 |    96601    90700     18 |  7.093 % |
127.05/127.25	c |    260109 |     262    26948   159179 |    90874    77054     18 |  7.093 % |
127.25/127.42	c |    260418 |     262    26948   159179 |    90874    77363     18 |  7.093 % |
127.35/127.55	c |    260757 |     262    26948   159179 |    90874    77702     18 |  7.093 % |
127.55/127.73	c |    261131 |     262    26948   159179 |    90874    78076     18 |  7.093 % |
127.75/127.91	c |    261541 |     262    26948   159179 |    90874    78486     18 |  7.093 % |
127.95/128.17	c |    261990 |     262    26948   159179 |    90874    78935     18 |  7.093 % |
128.25/128.40	c |    262483 |     262    26948   159179 |    90874    79428     18 |  7.096 % |
128.45/128.67	c |    263026 |     262    26948   159179 |    90874    79971     18 |  7.093 % |
128.84/129.03	c |    263625 |     262    26948   159179 |    90874    80570     18 |  7.096 % |
129.14/129.39	c |    264282 |     262    26948   159179 |    90874    81227     18 |  7.093 % |
129.65/129.81	c |    265003 |     262    26948   159179 |    90874    81948     18 |  7.093 % |
130.14/130.30	c |    265796 |     262    26948   159179 |    90874    82741     18 |  7.093 % |
130.34/130.57	c |    266669 |     262    26948   159179 |    90874    83614     18 |  7.093 % |
130.84/131.06	c |    267629 |     262    26948   159179 |    90874    84574     18 |  7.093 % |
131.44/131.61	c |    268682 |     262    26948   159179 |    90874    85627     18 |  7.106 % |
131.94/132.15	c |    269842 |     262    26948   159179 |    90874    86787     18 |  7.096 % |
132.74/132.97	c |    271116 |     262    26948   159179 |    86948    78091     18 |  7.093 % |
133.44/133.66	c |    272516 |     262    26948   159179 |    86948    79491     18 |  7.093 % |
134.23/134.46	c |    274056 |     262    26948   159179 |    86948    81031     18 |  7.093 % |
135.23/135.43	c |    275750 |     262    26948   159179 |    86948    82725     18 |  7.093 % |
136.53/136.79	c |    277614 |     262    26948   159179 |    86948    84589     18 |  7.096 % |
137.53/137.73	c |    279667 |     262    26948   159179 |    86948    86642     18 |  7.093 % |
139.13/139.34	c |    281920 |     262    26948   159179 |    86978    78402     18 |  7.093 % |
140.23/140.49	c |    284398 |     262    26948   159179 |    86978    80880     18 |  7.093 % |
141.93/142.18	c |    287125 |     262    26948   159179 |    86978    83607     18 |  7.093 % |
142.03/142.25	c |    287225 |     262    26948   159179 |    86978    83707     18 |  7.093 % |
142.13/142.31	c |    287336 |     262    26948   159179 |    86978    83818     18 |  7.093 % |
142.13/142.36	c |    287459 |     262    26948   159179 |    86978    83941     18 |  7.093 % |
142.33/142.55	c |    287593 |     262    26948   159179 |    86978    84075     18 |  7.101 % |
142.43/142.67	c |    287739 |     262    26948   159179 |    86978    84221     18 |  7.093 % |
142.53/142.76	c |    287899 |     262    26948   159179 |    86978    84381     18 |  7.093 % |
142.63/142.85	c |    288075 |     262    26948   159179 |    86978    84557     18 |  7.093 % |
142.83/143.01	c |    288270 |     262    26948   159179 |    86978    84752     18 |  7.093 % |
142.93/143.17	c |    288483 |     262    26948   159179 |    86978    84965     18 |  7.093 % |
143.13/143.32	c |    288716 |     262    26948   159179 |    86978    85198     18 |  7.093 % |
143.23/143.46	c |    288972 |     262    26948   159179 |    86978    85454     18 |  7.093 % |
143.33/143.57	c |    289256 |     262    26948   159179 |    86978    85738     18 |  7.093 % |
143.43/143.66	c |    289567 |     262    26948   159179 |    86978    86049     18 |  7.093 % |
143.63/143.90	c |    289908 |     262    26948   159179 |    86978    86390     18 |  7.093 % |
144.13/144.35	c |    290281 |     262    26948   159179 |    86483    75293     18 |  7.093 % |
144.43/144.60	c |    290690 |     262    26948   159179 |    86483    75702     18 |  7.093 % |
144.63/144.85	c |    291139 |     262    26948   159179 |    86483    76151     18 |  7.093 % |
144.93/145.19	c |    291633 |     262    26948   159179 |    86483    76645     18 |  7.093 % |
145.33/145.53	c |    292175 |     262    26948   159179 |    86483    77187     18 |  7.093 % |
145.53/145.77	c |    292772 |     262    26948   159179 |    86483    77784     18 |  7.093 % |
145.73/145.98	c |    293431 |     262    26948   159179 |    86483    78443     18 |  7.093 % |
146.23/146.41	c |    294153 |     262    26948   159179 |    86483    79165     18 |  7.093 % |
146.63/146.84	c |    294947 |     262    26948   159179 |    86483    79959     18 |  7.093 % |
147.13/147.33	c |    295818 |     262    26948   159179 |    86483    80830     18 |  7.093 % |
147.53/147.76	c |    296776 |     262    26948   159179 |    86483    81788     18 |  7.093 % |
148.23/148.49	c |    297829 |     262    26948   159179 |    86483    82841     18 |  7.093 % |
148.93/149.13	c |    298989 |     262    26948   159179 |    86483    84001     18 |  7.096 % |
149.83/150.07	c |    300264 |     262    26948   159179 |    85012    76767     18 |  7.093 % |
150.43/150.70	c |    301665 |     262    26948   159179 |    85012    78168     18 |  7.093 % |
151.23/151.47	c |    303206 |     262    26948   159179 |    85012    79709     18 |  7.096 % |
152.13/152.32	c |    304900 |     262    26948   159179 |    85012    81403     18 |  7.093 % |
152.92/153.19	c |    306763 |     262    26948   159179 |    85012    83266     18 |  7.093 % |
154.42/154.67	c |    308812 |     262    26948   159179 |    85012    76805     18 |  7.093 % |
155.82/156.02	c |    311065 |     262    26948   159179 | 2147483647    79058     18 |  7.093 % |
157.52/157.76	c |    313543 |     262    26948   159179 | 2147483647    81536     18 |  7.093 % |
158.92/159.20	c |    316269 |     262    26948   159179 | 2147483647    84262     18 |  7.093 % |
160.72/160.90	c |    319267 |     262    26948   159179 | 2147483647    87260     18 |  7.093 % |
160.72/160.95	c |    319367 |     262    26948   159179 | 2147483647    87360     18 |  7.093 % |
160.82/161.02	c |    319478 |     262    26948   159179 | 2147483647    87471     18 |  7.093 % |
160.92/161.10	c |    319599 |     262    26948   159179 | 2147483647    87592     18 |  7.096 % |
160.92/161.18	c |    319733 |     262    26948   159179 | 2147483647    87726     18 |  7.096 % |
161.02/161.29	c |    319881 |     262    26948   159179 | 2147483647    87874     18 |  7.093 % |
161.22/161.42	c |    320044 |     262    26948   159179 |    87993    88037     18 |  7.093 % |
161.42/161.70	c |    320220 |     262    26948   159179 |    87993    77721     18 |  7.093 % |
161.52/161.77	c |    320413 |     262    26948   159179 |    87993    77914     18 |  7.119 % |
161.72/161.93	c |    320627 |     262    26948   159179 |    87993    78128     18 |  7.100 % |
161.82/162.06	c |    320860 |     262    26948   159179 |    87993    78361     18 |  7.105 % |
161.92/162.16	c |    321116 |     262    26948   159179 |    87993    78617     18 |  7.093 % |
162.12/162.33	c |    321398 |     262    26948   159179 |    87993    78899     18 |  7.096 % |
162.32/162.50	c |    321707 |     262    26948   159179 |    87993    79208     18 |  7.093 % |
162.42/162.67	c |    322048 |     262    26948   159179 |    87993    79549     18 |  7.093 % |
162.72/162.91	c |    322420 |     262    26948   159179 |    87993    79921     18 |  7.096 % |
162.82/163.08	c |    322829 |     262    26948   159179 |    87993    80330     18 |  7.093 % |
163.02/163.28	c |    323280 |     262    26948   159179 |    87993    80781     18 |  7.093 % |
163.32/163.56	c |    323774 |     262    26948   159179 |    87993    81275     18 |  7.096 % |
163.52/163.80	c |    324317 |     262    26948   159179 |    87993    81818     18 |  7.093 % |
163.92/164.16	c |    324913 |     262    26948   159179 |    87993    82414     18 |  7.093 % |
164.32/164.54	c |    325569 |     262    26948   159179 |    87993    83070     18 |  7.093 % |
164.82/165.01	c |    326289 |     262    26948   159179 |    87993    83790     18 |  7.093 % |
165.22/165.50	c |    327083 |     262    26948   159179 |    87993    84584     18 |  7.093 % |
165.82/166.04	c |    327958 |     262    26948   159179 |    87993    85459     18 |  7.093 % |
166.32/166.57	c |    328916 |     262    26948   159179 |    87993    86417     18 |  7.093 % |
166.72/166.99	c |    329969 |     262    26948   159179 |    87993    87470     18 |  7.093 % |
167.42/167.65	c |    331128 |     262    26948   159179 |    87501    76495     18 |  7.093 % |
167.92/168.10	c |    332403 |     262    26948   159179 |    87501    77770     18 |  7.093 % |
168.52/168.77	c |    333807 |     262    26948   159179 |    87501    79174     18 |  7.096 % |
169.22/169.49	c |    335348 |     262    26948   159179 |    87501    80715     18 |  7.093 % |
170.32/170.53	c |    337042 |     262    26948   159179 |    87501    82409     18 |  7.093 % |
171.72/171.92	c |    338909 |     262    26948   159179 |    87501    84276     18 |  7.093 % |
173.02/173.29	c |    340958 |     262    26948   159179 |    85368    74845     18 |  7.093 % |
174.41/174.68	c |    343213 |     262    26948   159179 |    85368    77100     18 |  7.093 % |
176.31/176.58	c |    345692 |     262    26948   159179 |    85368    79579     18 |  7.093 % |
178.31/178.55	c |    348419 |     262    26948   159179 |    85368    82306     18 |  7.093 % |
180.41/180.65	c |    351421 |     262    26948   159179 |    83887    72324     18 |  7.093 % |
182.10/182.39	c |    354720 |     262    26948   159179 |    83887    75623     18 |  7.093 % |
182.20/182.44	c |    354821 |     262    26948   159179 |    83887    75724     18 |  7.093 % |
182.31/182.51	c |    354932 |     262    26948   159179 |    83887    75835     18 |  7.093 % |
182.31/182.59	c |    355053 |     262    26948   159179 |    83887    75956     18 |  7.093 % |
182.41/182.67	c |    355186 |     262    26948   159179 |    83887    76089     18 |  7.093 % |
182.50/182.75	c |    355332 |     262    26948   159179 |    83887    76235     18 |  7.096 % |
182.60/182.84	c |    355492 |     262    26948   159179 |    83887    76395     18 |  7.093 % |
182.70/182.91	c |    355670 |     262    26948   159179 |    83887    76573     18 |  7.093 % |
182.80/183.00	c |    355863 |     262    26948   159179 |    83887    76766     18 |  7.094 % |
182.90/183.10	c |    356075 |     262    26948   159179 |    83887    76978     18 |  7.093 % |
183.00/183.25	c |    356308 |     262    26948   159179 |    83887    77211     18 |  7.093 % |
183.20/183.41	c |    356564 |     262    26948   159179 |    83887    77467     18 |  7.093 % |
183.30/183.53	c |    356845 |     262    26948   159179 |    83887    77748     18 |  7.093 % |
183.51/183.70	c |    357154 |     262    26948   159179 |    83887    78057     18 |  7.093 % |
183.70/183.93	c |    357494 |     262    26948   159179 |    83887    78397     18 |  7.093 % |
183.90/184.18	c |    357867 |     262    26948   159179 |    83887    78770     18 |  7.093 % |
184.20/184.41	c |    358280 |     262    26948   159179 |    83887    79183     18 |  7.093 % |
184.40/184.68	c |    358730 |     262    26948   159179 |    83887    79633     18 |  7.093 % |
184.80/185.04	c |    359223 |     262    26948   159179 |    83887    80126     18 |  7.095 % |
185.10/185.33	c |    359766 |     262    26948   159179 |    83887    80669     18 |  7.093 % |
185.60/185.87	c |    360362 |     262    26948   159179 |    80903    71180     18 |  7.093 % |
186.00/186.27	c |    361017 |     262    26948   159179 |    80903    71835     18 |  7.093 % |
186.50/186.79	c |    361737 |     262    26948   159179 |    80903    72555     18 |  7.093 % |
187.00/187.23	c |    362529 |     262    26948   159179 |    80903    73347     18 |  7.093 % |
187.60/187.86	c |    363400 |     262    26948   159179 |    80903    74218     18 |  7.093 % |
188.10/188.39	c |    364359 |     262    26948   159179 |    80903    75177     18 |  7.096 % |
188.70/189.00	c |    365413 |     262    26948   159179 |    80903    76231     18 |  7.093 % |
189.40/189.69	c |    366572 |     262    26948   159179 |    80903    77390     18 |  7.093 % |
190.10/190.33	c |    367847 |     262    26948   159179 |    80903    78665     18 |  7.093 % |
191.00/191.25	c |    369247 |     262    26948   159179 |    80903    80065     18 |  7.093 % |
192.00/192.24	c |    370787 |     262    26948   159179 |    80818    73039     18 |  7.093 % |
193.00/193.20	c |    372481 |     262    26948   159179 |    80818    74733     18 |  7.093 % |
194.10/194.33	c |    374345 |     262    26948   159179 |    80818    76597     18 |  7.093 % |
195.00/195.24	c |    376396 |     262    26948   159179 |    80818    78648     18 |  7.096 % |
196.10/196.39	c |    378650 |     262    26948   159179 |    80818    72814     18 |  7.093 % |
197.10/197.34	c |    381128 |     262    26948   159179 | 2147483647    75292     18 |  7.093 % |
198.60/198.82	c |    383853 |     262    26948   159179 | 2147483647    78017     18 |  7.093 % |
200.40/200.62	c |    386850 |     262    26948   159179 | 2147483647    81014     18 |  7.093 % |
202.69/202.97	c |    390147 |     262    26948   159179 |    84165    74468     18 |  7.093 % |
204.79/205.00	c |    393775 |     262    26948   159179 |    84165    78096     18 |  7.093 % |
204.79/205.09	c |    393879 |     262    26948   159179 |    84165    78200     18 |  7.093 % |
204.89/205.17	c |    393989 |     262    26948   159179 |    84165    78310     18 |  7.093 % |
204.99/205.24	c |    394110 |     262    26948   159179 |    84165    78431     18 |  7.093 % |
205.09/205.33	c |    394243 |     262    26948   159179 |    84165    78564     18 |  7.093 % |
205.19/205.43	c |    394389 |     262    26948   159179 |    84165    78710     18 |  7.093 % |
205.29/205.55	c |    394551 |     262    26948   159179 |    84165    78872     18 |  7.093 % |
205.40/205.68	c |    394729 |     262    26948   159179 |    84165    79050     18 |  7.093 % |
205.50/205.77	c |    394923 |     262    26948   159179 |    84165    79244     18 |  7.093 % |
205.59/205.85	c |    395135 |     262    26948   159179 |    84165    79456     18 |  7.096 % |
205.69/205.94	c |    395368 |     262    26948   159179 |    84165    79689     18 |  7.093 % |
205.79/206.08	c |    395625 |     262    26948   159179 |    84165    79946     18 |  7.093 % |
205.99/206.27	c |    395911 |     262    26948   159179 |    84165    80232     18 |  7.093 % |
206.19/206.46	c |    396221 |     262    26948   159179 |    84165    80542     18 |  7.119 % |
206.39/206.61	c |    396562 |     262    26948   159179 |    84165    80883     18 |  7.096 % |
206.60/206.86	c |    396934 |     262    26948   159179 |    84165    81255     18 |  7.093 % |
206.79/207.05	c |    397343 |     262    26948   159179 |    84165    81664     18 |  7.093 % |
206.99/207.24	c |    397793 |     262    26948   159179 |    84165    82114     18 |  7.105 % |
207.19/207.44	c |    398286 |     262    26948   159179 |    84165    82607     18 |  7.093 % |
207.49/207.71	c |    398830 |     262    26948   159179 |    84165    83151     18 |  7.106 % |
207.79/208.03	c |    399430 |     262    26948   159179 |    84165    83751     18 |  7.093 % |
208.49/208.76	c |    400085 |     262    26948   159179 |    74823    74907     18 |  7.093 % |
209.19/209.41	c |    400806 |     262    26948   159179 |    74823    67224     18 |  7.093 % |
209.59/209.86	c |    401598 |     262    26948   159179 |    74823    68016     18 |  7.096 % |
210.09/210.31	c |    402469 |     262    26948   159179 |    74823    68887     18 |  7.093 % |
210.49/210.78	c |    403428 |     262    26948   159179 |    74823    69846     18 |  7.093 % |
210.99/211.29	c |    404482 |     262    26948   159179 |    74823    70900     18 |  7.094 % |
211.59/211.85	c |    405640 |     262    26948   159179 |    74823    72058     18 |  7.093 % |
212.09/212.33	c |    406915 |     262    26948   159179 |    74823    73333     18 |  7.093 % |
212.69/212.94	c |    408315 |     262    26948   159179 |    74823    74733     18 |  7.093 % |
213.49/213.72	c |    409857 |     262    26948   159179 |    74823    68784     18 |  7.093 % |
214.19/214.43	c |    411551 |     262    26948   159179 | 2147483647    70478     18 |  7.093 % |
214.89/215.19	c |    413414 |     262    26948   159179 | 2147483647    72341     18 |  7.093 % |
216.08/216.30	c |    415463 |     262    26948   159179 | 2147483647    74390     18 |  7.093 % |
217.18/217.47	c |    417716 |     262    26948   159179 | 2147483647    76643     18 |  7.093 % |
218.38/218.64	c |    420194 |     262    26948   159179 | 2147483647    79121     18 |  7.096 % |
219.58/219.84	c |    422919 |     262    26948   159179 | 2147483647    81846     18 |  7.093 % |
220.98/221.20	c |    425916 |     262    26948   159179 | 2147483647    84843     18 |  7.093 % |
222.58/222.83	c |    429216 |     262    26948   159179 | 2147483647    88143     19 |  7.093 % |
224.27/224.55	c |    432841 |     262    26948   159179 | 2147483647    91768     19 |  7.093 % |
226.57/226.80	c |    436829 |     262    26948   159179 | 2147483647    95756     19 |  7.095 % |
226.57/226.89	c |    436931 |     262    26948   159179 | 2147483647    95858     19 |  7.093 % |
226.67/226.97	c |    437042 |     262    26948   159179 | 2147483647    95969     19 |  7.093 % |
226.77/227.05	c |    437164 |     262    26948   159179 | 2147483647    96091     19 |  7.093 % |
226.87/227.11	c |    437297 |     262    26948   159179 | 2147483647    96224     19 |  7.096 % |
226.97/227.25	c |    437445 |     262    26948   159179 | 2147483647    96372     19 |  7.106 % |
227.07/227.31	c |    437605 |     262    26948   159179 | 2147483647    96532     19 |  7.093 % |
227.17/227.43	c |    437781 |     262    26948   159179 | 2147483647    96708     19 |  7.109 % |
227.27/227.57	c |    437974 |     262    26948   159179 | 2147483647    96901     19 |  7.093 % |
227.57/227.81	c |    438186 |     262    26948   159179 | 2147483647    97113     19 |  7.096 % |
227.67/227.97	c |    438419 |     262    26948   159179 | 2147483647    97346     19 |  7.105 % |
227.77/228.08	c |    438676 |     262    26948   159179 | 2147483647    97603     19 |  7.093 % |
227.97/228.20	c |    438957 |     262    26948   159179 | 2147483647    97884     19 |  7.093 % |
228.07/228.38	c |    439269 |     262    26948   159179 | 2147483647    98196     19 |  7.096 % |
228.27/228.54	c |    439608 |     262    26948   159179 | 2147483647    98535     19 |  7.093 % |
228.48/228.73	c |    439981 |     262    26948   159179 | 2147483647    98908     19 |  7.105 % |
229.08/229.32	c |    440390 |     262    26948   159179 |    98928    86142     19 |  7.093 % |
229.28/229.51	c |    440839 |     262    26948   159179 |    98928    86591     19 |  7.093 % |
229.48/229.75	c |    441334 |     262    26948   159179 |    98928    87086     19 |  7.093 % |
229.78/230.02	c |    441876 |     262    26948   159179 |    98928    87628     19 |  7.093 % |
229.98/230.24	c |    442472 |     262    26948   159179 |    98928    88224     19 |  7.096 % |
230.28/230.52	c |    443127 |     262    26948   159179 |    98928    88879     19 |  7.093 % |
230.58/230.88	c |    443847 |     262    26948   159179 |    98928    89599     19 |  7.093 % |
231.08/231.35	c |    444641 |     262    26948   159179 |    98928    90393     19 |  7.093 % |
231.58/231.85	c |    445515 |     262    26948   159179 |    98928    91267     19 |  7.093 % |
232.28/232.50	c |    446475 |     262    26948   159179 |    98928    92227     19 |  7.093 % |
232.88/233.19	c |    447528 |     262    26948   159179 |    98928    93280     19 |  7.093 % |
233.78/234.07	c |    448686 |     262    26948   159179 |    98928    94438     19 |  7.093 % |
234.98/235.23	c |    449959 |     262    26948   159179 |    98928    95711     19 |  7.093 % |
236.28/236.51	c |    451359 |     262    26948   159179 |    95752    81608     19 |  7.093 % |
237.28/237.54	c |    452899 |     262    26948   159179 |    95752    83148     19 |  7.093 % |
238.57/238.81	c |    454593 |     262    26948   159179 |    95752    84842     19 |  7.093 % |
239.87/240.12	c |    456456 |     262    26948   159179 |    95752    86705     19 |  7.093 % |
241.27/241.59	c |    458506 |     262    26948   159179 |    95752    88755     19 |  7.096 % |
243.17/243.49	c |    460759 |     262    26948   159179 |    90249    76477     18 |  7.093 % |
244.37/244.68	c |    463239 |     262    26948   159179 |    90249    78957     19 |  7.093 % |
245.77/246.07	c |    465964 |     262    26948   159179 |    90249    81682     19 |  7.093 % |
247.57/247.81	c |    468961 |     262    26948   159179 |    90249    84679     19 |  7.105 % |
249.77/250.07	c |    472263 |     262    26948   159179 |    85720    78703     18 |  7.093 % |
251.67/251.98	c |    475890 |     262    26948   159179 |    85720    82330     18 |  7.093 % |
253.97/254.23	c |    479877 |     262    26948   159179 |    85720    76922     18 |  7.093 % |
256.07/256.38	c |    484263 |     262    26948   159179 |    77045    73396     18 |  7.102 % |
256.17/256.42	c |    484366 |     262    26948   159179 |    77045    73499     18 |  7.093 % |
256.17/256.47	c |    484476 |     262    26948   159179 |    77045    73609     18 |  7.093 % |
256.27/256.52	c |    484597 |     262    26948   159179 |    77045    73730     18 |  7.093 % |
256.27/256.58	c |    484730 |     262    26948   159179 |    77045    73863     18 |  7.093 % |
256.37/256.66	c |    484878 |     262    26948   159179 |    77045    74011     18 |  7.093 % |
256.47/256.73	c |    485039 |     262    26948   159179 |    77045    74172     18 |  7.093 % |
256.57/256.82	c |    485216 |     262    26948   159179 |    77045    74349     18 |  7.095 % |
256.66/256.93	c |    485411 |     262    26948   159179 |    77045    74544     18 |  7.105 % |
256.76/257.06	c |    485625 |     262    26948   159179 |    77045    74758     18 |  7.093 % |
256.86/257.16	c |    485858 |     262    26948   159179 |    77045    74991     18 |  7.093 % |
257.07/257.33	c |    486115 |     262    26948   159179 |    77045    75248     18 |  7.093 % |
257.17/257.48	c |    486396 |     262    26948   159179 |    77045    75529     18 |  7.093 % |
257.36/257.64	c |    486705 |     262    26948   159179 |    77045    75838     18 |  7.093 % |
257.46/257.77	c |    487045 |     262    26948   159179 |    77045    76178     18 |  7.093 % |
257.76/258.01	c |    487417 |     262    26948   159179 |    77045    76550     18 |  7.093 % |
257.86/258.17	c |    487826 |     262    26948   159179 |    77045    76959     18 |  7.093 % |
258.27/258.53	c |    488275 |     262    26948   159179 |    77045    69692     18 |  7.096 % |
258.46/258.72	c |    488769 |     262    26948   159179 |    77045    70186     18 |  7.093 % |
258.66/258.99	c |    489311 |     262    26948   159179 |    77045    70728     18 |  7.096 % |
258.96/259.26	c |    489908 |     262    26948   159179 |    77045    71325     18 |  7.093 % |
259.16/259.49	c |    490563 |     262    26948   159179 | 2147483647    71980     18 |  7.096 % |
259.56/259.87	c |    491284 |     262    26948   159179 | 2147483647    72701     18 |  7.093 % |
259.86/260.18	c |    492076 |     262    26948   159179 | 2147483647    73493     18 |  7.093 % |
260.26/260.52	c |    492949 |     262    26948   159179 | 2147483647    74366     18 |  7.093 % |
260.56/260.88	c |    493907 |     262    26948   159179 | 2147483647    75324     18 |  7.109 % |
261.06/261.34	c |    494961 |     262    26948   159179 | 2147483647    76378     18 |  7.096 % |
261.76/262.00	c |    496120 |     262    26948   159179 | 2147483647    77537     18 |  7.096 % |
262.46/262.72	c |    497394 |     262    26948   159179 | 2147483647    78811     18 |  7.093 % |
262.96/263.29	c |    498796 |     262    26948   159179 | 2147483647    80213     18 |  7.093 % |
263.77/264.05	c |    500340 |     262    26948   159179 | 2147483647    81757     18 |  7.093 % |
264.46/264.79	c |    502034 |     262    26948   159179 | 2147483647    83451     18 |  7.093 % |
265.46/265.74	c |    503898 |     262    26948   159179 | 2147483647    85315     18 |  7.093 % |
266.76/267.07	c |    505947 |     262    26948   159179 | 2147483647    87364     18 |  7.105 % |
268.06/268.38	c |    508200 |     262    26948   159179 | 2147483647    89617     19 |  7.093 % |
269.65/269.94	c |    510678 |     262    26948   159179 |    91419    82648     18 |  7.093 % |
270.85/271.16	c |    513403 |     262    26948   159179 |    91419    85373     18 |  7.093 % |
272.25/272.58	c |    516400 |     262    26948   159179 |    91419    88370     19 |  7.093 % |
274.05/274.34	c |    519698 |     262    26948   159179 |    91419    81157     19 |  7.093 % |
275.65/275.92	c |    523326 |     262    26948   159179 |    81459    75979     19 |  7.096 % |
277.55/277.85	c |    527313 |     262    26948   159179 |    81459    79966     19 |  7.093 % |
279.65/279.94	c |    531699 |     262    26948   159179 | 2147483647    76195     19 |  7.093 % |
281.65/281.94	c |    536523 |     262    26948   159179 | 2147483647    81019     19 |  7.093 % |
281.75/282.02	c |    536626 |     262    26948   159179 | 2147483647    81122     19 |  7.096 % |
281.75/282.09	c |    536736 |     262    26948   159179 | 2147483647    81232     19 |  7.093 % |
281.85/282.15	c |    536857 |     262    26948   159179 | 2147483647    81353     19 |  7.093 % |
281.95/282.22	c |    536990 |     262    26948   159179 | 2147483647    81486     19 |  7.093 % |
282.05/282.30	c |    537137 |     262    26948   159179 | 2147483647    81633     19 |  7.093 % |
282.05/282.39	c |    537298 |     262    26948   159179 | 2147483647    81794     19 |  7.093 % |
282.15/282.46	c |    537474 |     262    26948   159179 | 2147483647    81970     19 |  7.093 % |
282.25/282.56	c |    537668 |     262    26948   159179 | 2147483647    82164     19 |  7.093 % |
282.35/282.67	c |    537880 |     262    26948   159179 | 2147483647    82376     19 |  7.093 % |
282.45/282.78	c |    538113 |     262    26948   159179 | 2147483647    82609     19 |  7.093 % |
282.65/282.94	c |    538369 |     262    26948   159179 | 2147483647    82865     19 |  7.096 % |
282.75/283.06	c |    538650 |     262    26948   159179 | 2147483647    83146     19 |  7.096 % |
282.95/283.22	c |    538960 |     262    26948   159179 | 2147483647    83456     19 |  7.093 % |
283.05/283.36	c |    539300 |     262    26948   159179 | 2147483647    83796     19 |  7.093 % |
283.25/283.53	c |    539672 |     262    26948   159179 | 2147483647    84168     19 |  7.096 % |
283.45/283.76	c |    540081 |     262    26948   159179 | 2147483647    84577     19 |  7.105 % |
283.75/284.06	c |    540530 |     262    26948   159179 | 2147483647    85026     19 |  7.093 % |
284.14/284.44	c |    541023 |     262    26948   159179 | 2147483647    85519     19 |  7.093 % |
284.55/284.82	c |    541565 |     262    26948   159179 | 2147483647    86061     19 |  7.096 % |
284.84/285.13	c |    542161 |     262    26948   159179 | 2147483647    86657     19 |  7.095 % |
285.24/285.56	c |    542816 |     262    26948   159179 | 2147483647    87312     19 |  7.093 % |
285.75/286.06	c |    543536 |     262    26948   159179 | 2147483647    88032     19 |  7.093 % |
286.14/286.49	c |    544328 |     262    26948   159179 | 2147483647    88824     19 |  7.093 % |
286.75/287.00	c |    545200 |     262    26948   159179 | 2147483647    89696     19 |  7.093 % |
287.34/287.65	c |    546158 |     262    26948   159179 | 2147483647    90654     19 |  7.096 % |
287.85/288.20	c |    547211 |     262    26948   159179 | 2147483647    91707     19 |  7.093 % |
288.74/289.04	c |    548370 |     262    26948   159179 | 2147483647    92866     19 |  7.101 % |
289.84/290.13	c |    549645 |     262    26948   159179 | 2147483647    94141     19 |  7.112 % |
290.84/291.16	c |    551046 |     262    26948   159179 |    94497    81720     19 |  7.096 % |
291.64/291.94	c |    552586 |     262    26948   159179 |    94497    83260     19 |  7.093 % |
292.54/292.88	c |    554281 |     262    26948   159179 |    94497    84955     19 |  7.093 % |
293.64/293.98	c |    556145 |     262    26948   159179 |    94497    86819     19 |  7.093 % |
294.74/295.01	c |    558194 |     262    26948   159179 |    94497    88868     19 |  7.093 % |
296.04/296.34	c |    560447 |     262    26948   159179 | 2147483647    91121     19 |  7.093 % |
297.34/297.61	c |    562926 |     262    26948   159179 | 2147483647    93600     19 |  7.093 % |
299.14/299.49	c |    565651 |     262    26948   159179 | 2147483647    96325     19 |  7.095 % |
300.84/301.18	c |    568648 |     262    26948   159179 | 2147483647    99322     19 |  7.096 % |
303.03/303.30	c |    571946 |     262    26948   159179 |   100674    87197     19 |  7.093 % |
304.44/304.76	c |    575576 |     262    26948   159179 |   100674    90827     19 |  7.093 % |
306.83/307.15	c |    579563 |     262    26948   159179 |   100674    94814     19 |  7.093 % |
309.63/309.96	c |    583948 |     262    26948   159179 |    95251    85472     19 |  7.093 % |
312.03/312.40	c |    588772 |     262    26948   159179 |    95251    90296     19 |  7.093 % |
316.22/316.54	c |    594077 |     262    26948   159179 |    91527    82455     19 |  7.093 % |
316.32/316.63	c |    594177 |     262    26948   159179 |    91527    82555     19 |  7.096 % |
316.43/316.71	c |    594288 |     262    26948   159179 |    91527    82666     19 |  7.106 % |
316.43/316.75	c |    594409 |     262    26948   159179 |    91527    82787     19 |  7.093 % |
316.53/316.82	c |    594544 |     262    26948   159179 |    91527    82922     19 |  7.093 % |
316.62/316.93	c |    594690 |     262    26948   159179 |    91527    83068     19 |  7.093 % |
316.72/317.04	c |    594850 |     262    26948   159179 |    91527    83228     19 |  7.093 % |
316.82/317.13	c |    595027 |     262    26948   159179 |    91527    83405     19 |  7.093 % |
316.92/317.29	c |    595221 |     262    26948   159179 |    91527    83599     19 |  7.093 % |
317.02/317.38	c |    595435 |     262    26948   159179 |    91527    83813     19 |  7.093 % |
317.22/317.57	c |    595671 |     262    26948   159179 |    91527    84049     19 |  7.093 % |
317.42/317.74	c |    595929 |     262    26948   159179 |    91527    84307     19 |  7.093 % |
317.62/317.94	c |    596210 |     262    26948   159179 |    91527    84588     19 |  7.096 % |
317.82/318.15	c |    596520 |     262    26948   159179 |    91527    84898     19 |  7.093 % |
318.02/318.36	c |    596859 |     262    26948   159179 |    91527    85237     19 |  7.093 % |
318.22/318.56	c |    597232 |     262    26948   159179 |    91527    85610     19 |  7.093 % |
318.52/318.85	c |    597641 |     262    26948   159179 |    91527    86019     19 |  7.093 % |
318.82/319.13	c |    598091 |     262    26948   159179 |    91527    86469     19 |  7.096 % |
319.12/319.48	c |    598584 |     262    26948   159179 |    91527    86962     19 |  7.093 % |
319.62/319.93	c |    599128 |     262    26948   159179 |    91527    87506     19 |  7.093 % |
320.02/320.35	c |    599724 |     262    26948   159179 |    91527    88102     19 |  7.093 % |
320.52/320.88	c |    600379 |     262    26948   159179 |    88380    74691     18 |  7.093 % |
320.92/321.27	c |    601100 |     262    26948   159179 |    88380    75412     18 |  7.093 % |
321.32/321.66	c |    601893 |     262    26948   159179 |    88380    76205     18 |  7.096 % |
321.72/322.08	c |    602764 |     262    26948   159179 |    88380    77076     18 |  7.093 % |
322.22/322.54	c |    603725 |     262    26948   159179 |    88380    78037     18 |  7.095 % |
322.82/323.11	c |    604778 |     262    26948   159179 |    88380    79090     18 |  7.093 % |
323.42/323.73	c |    605936 |     262    26948   159179 |    88380    80248     18 |  7.093 % |
324.01/324.33	c |    607211 |     262    26948   159179 |    88380    81523     18 |  7.093 % |
324.71/325.05	c |    608612 |     262    26948   159179 |    88380    82924     19 |  7.093 % |
325.81/326.13	c |    610153 |     262    26948   159179 |    84312    75191     18 |  7.093 % |
326.61/326.97	c |    611847 |     262    26948   159179 |    84312    76885     18 |  7.093 % |
327.42/327.77	c |    613710 |     262    26948   159179 |    84312    78748     18 |  7.093 % |
328.52/328.83	c |    615759 |     262    26948   159179 |    84312    80797     19 |  7.093 % |
329.62/329.93	c |    618012 |     262    26948   159179 |    84312    83050     19 |  7.096 % |
331.31/331.69	c |    620491 |     262    26948   159179 |    76598    69373     18 |  7.093 % |
332.92/333.27	c |    623216 |     262    26948   159179 |    76598    72098     18 |  7.094 % |
334.51/334.89	c |    626214 |     262    26948   159179 |    76598    75096     18 |  7.093 % |
336.41/336.74	c |    629512 |     262    26948   159179 |    76598    69900     18 |  7.093 % |
338.51/338.87	c |    633137 |     262    26948   159179 |    70388    65849     18 |  7.093 % |
340.41/340.70	c |    637126 |     262    26948   159179 |    70388    69838     18 |  7.093 % |
342.41/342.77	c |    641512 |     262    26948   159179 | 2147483647    67176     18 |  7.093 % |
345.30/345.69	c |    646335 |     262    26948   159179 | 2147483647    71999     18 |  7.093 % |
348.41/348.77	c |    651640 |     262    26948   159179 |    75665    69692     18 |  7.093 % |
351.71/352.01	c |    657475 |     262    26948   159179 |    75665    75527     18 |  7.093 % |
351.71/352.08	c |    657577 |     262    26948   159179 |    75665    75629     18 |  7.093 % |
351.80/352.16	c |    657687 |     262    26948   159179 |    75665    75739     18 |  7.093 % |
352.00/352.35	c |    657808 |     262    26948   159179 |    75665    67511     18 |  7.093 % |
352.10/352.42	c |    657942 |     262    26948   159179 |    75665    67645     18 |  7.096 % |
352.20/352.50	c |    658088 |     262    26948   159179 |    75665    67791     18 |  7.093 % |
352.20/352.58	c |    658248 |     262    26948   159179 |    75665    67951     18 |  7.093 % |
352.30/352.67	c |    658425 |     262    26948   159179 |    75665    68128     18 |  7.093 % |
352.40/352.75	c |    658618 |     262    26948   159179 |    75665    68321     18 |  7.093 % |
352.50/352.85	c |    658830 |     262    26948   159179 |    75665    68533     18 |  7.093 % |
352.60/352.94	c |    659064 |     262    26948   159179 |    75665    68767     18 |  7.093 % |
352.70/353.10	c |    659320 |     262    26948   159179 |    75665    69023     18 |  7.093 % |
352.90/353.27	c |    659601 |     262    26948   159179 |    75665    69304     18 |  7.093 % |
353.10/353.48	c |    659910 |     262    26948   159179 |    75665    69613     18 |  7.093 % |
353.50/353.84	c |    660251 |     262    26948   159179 |    69703    62414     18 |  7.093 % |
353.70/354.05	c |    660623 |     262    26948   159179 |    69703    62786     18 |  7.093 % |
353.90/354.24	c |    661032 |     262    26948   159179 |    69703    63195     18 |  7.093 % |
354.10/354.47	c |    661483 |     262    26948   159179 |    69703    63646     18 |  7.093 % |
354.40/354.74	c |    661978 |     262    26948   159179 |    69703    64141     18 |  7.093 % |
354.70/355.00	c |    662523 |     262    26948   159179 |    69703    64686     18 |  7.093 % |
354.90/355.24	c |    663119 |     262    26948   159179 |    69703    65282     18 |  7.096 % |
355.10/355.49	c |    663774 |     262    26948   159179 |    69703    65937     18 |  7.093 % |
355.40/355.77	c |    664495 |     262    26948   159179 |    69703    66658     18 |  7.096 % |
355.80/356.17	c |    665288 |     262    26948   159179 |    69703    67451     18 |  7.096 % |
356.20/356.55	c |    666160 |     262    26948   159179 |    69703    68323     18 |  7.120 % |
356.50/356.89	c |    667120 |     262    26948   159179 |    69703    69283     18 |  7.093 % |
357.10/357.47	c |    668173 |     262    26948   159179 |    69703    63357     18 |  7.094 % |
357.49/357.88	c |    669332 |     262    26948   159179 |    69703    64516     18 |  7.093 % |
357.99/358.36	c |    670605 |     262    26948   159179 | 2147483647    65789     18 |  7.093 % |
358.69/359.01	c |    672005 |     262    26948   159179 | 2147483647    67189     18 |  7.093 % |
359.49/359.86	c |    673546 |     262    26948   159179 | 2147483647    68730     18 |  7.093 % |
360.29/360.61	c |    675242 |     262    26948   159179 | 2147483647    70426     18 |  7.093 % |
360.99/361.37	c |    677108 |     262    26948   159179 | 2147483647    72292     18 |  7.093 % |
361.99/362.38	c |    679158 |     262    26948   159179 | 2147483647    74342     18 |  7.093 % |
363.19/363.55	c |    681412 |     262    26948   159179 | 2147483647    76596     19 |  7.105 % |
364.59/364.95	c |    683891 |     262    26948   159179 | 2147483647    79075     19 |  7.093 % |
366.09/366.41	c |    686616 |     262    26948   159179 | 2147483647    81800     19 |  7.093 % |
367.99/368.30	c |    689613 |     262    26948   159179 | 2147483647    84797     19 |  7.093 % |
369.99/370.34	c |    692910 |     262    26948   159179 |    85185    76472     19 |  7.093 % |
372.09/372.45	c |    696536 |     262    26948   159179 |    85185    80098     19 |  7.093 % |
374.88/375.20	c |    700523 |     262    26948   159179 |    83563    73028     19 |  7.093 % |
377.08/377.50	c |    704908 |     262    26948   159179 |    83563    77413     19 |  7.093 % |
379.78/380.17	c |    709732 |     262    26948   159179 |    83563    82237     19 |  7.093 % |
382.68/383.03	c |    715038 |     262    26948   159179 |    82505    77414     19 |  7.093 % |
385.98/386.37	c |    720875 |     262    26948   159179 |    82378    73766     19 |  7.093 % |
388.28/388.63	c |    727294 |     262    26948   159179 |    82378    80185     19 |  7.093 % |
388.28/388.68	c |    727396 |     262    26948   159179 |    82378    80287     19 |  7.093 % |
388.38/388.75	c |    727506 |     262    26948   159179 |    82378    80397     19 |  7.093 % |
388.48/388.85	c |    727629 |     262    26948   159179 |    82378    80520     19 |  7.093 % |
388.58/388.94	c |    727763 |     262    26948   159179 |    82378    80654     19 |  7.093 % |
388.68/389.05	c |    727910 |     262    26948   159179 |    82378    80801     19 |  7.093 % |
388.77/389.16	c |    728071 |     262    26948   159179 |    82378    80962     19 |  7.093 % |
388.98/389.31	c |    728249 |     262    26948   159179 |    82378    81140     19 |  7.093 % |
389.08/389.46	c |    728442 |     262    26948   159179 |    82378    81333     19 |  7.093 % |
389.27/389.60	c |    728655 |     262    26948   159179 |    82378    81546     19 |  7.093 % |
389.37/389.75	c |    728888 |     262    26948   159179 |    82378    81779     19 |  7.093 % |
389.57/389.94	c |    729144 |     262    26948   159179 |    82378    82035     19 |  7.093 % |
389.77/390.12	c |    729425 |     262    26948   159179 |    82378    82316     19 |  7.096 % |
390.08/390.43	c |    729734 |     262    26948   159179 |    82378    74381     19 |  7.093 % |
390.27/390.64	c |    730073 |     262    26948   159179 | 2147483647    74720     19 |  7.093 % |
390.47/390.89	c |    730445 |     262    26948   159179 | 2147483647    75092     19 |  7.096 % |
390.77/391.15	c |    730856 |     262    26948   159179 | 2147483647    75503     19 |  7.093 % |
390.97/391.37	c |    731307 |     262    26948   159179 | 2147483647    75954     19 |  7.093 % |
391.18/391.56	c |    731800 |     262    26948   159179 | 2147483647    76447     19 |  7.093 % |
391.37/391.79	c |    732342 |     262    26948   159179 | 2147483647    76989     19 |  7.093 % |
391.67/392.06	c |    732938 |     262    26948   159179 | 2147483647    77585     19 |  7.096 % |
391.97/392.36	c |    733595 |     262    26948   159179 | 2147483647    78242     19 |  7.093 % |
392.47/392.84	c |    734317 |     262    26948   159179 | 2147483647    78964     19 |  7.093 % |
392.87/393.25	c |    735109 |     262    26948   159179 | 2147483647    79756     19 |  7.093 % |
393.27/393.67	c |    735980 |     262    26948   159179 | 2147483647    80627     19 |  7.093 % |
393.87/394.25	c |    736938 |     262    26948   159179 | 2147483647    81585     19 |  7.093 % |
394.47/394.85	c |    737993 |     262    26948   159179 | 2147483647    82640     19 |  7.093 % |
395.07/395.43	c |    739152 |     262    26948   159179 | 2147483647    83799     19 |  7.093 % |
395.87/396.23	c |    740425 |     262    26948   159179 |    84648    75388     19 |  7.093 % |
396.47/396.83	c |    741827 |     262    26948   159179 |    84648    76790     19 |  7.093 % |
397.37/397.71	c |    743368 |     262    26948   159179 |    84648    78331     19 |  7.093 % |
398.17/398.51	c |    745062 |     262    26948   159179 |    84648    80025     19 |  7.093 % |
399.17/399.50	c |    746925 |     262    26948   159179 |    84648    81888     19 |  7.093 % |
400.47/400.86	c |    748978 |     262    26948   159179 |    84648    83941     19 |  7.093 % |
401.87/402.26	c |    751231 |     262    26948   159179 |    74743    67235     19 |  7.093 % |
403.06/403.41	c |    753710 |     262    26948   159179 |    74743    69714     19 |  7.093 % |
404.26/404.66	c |    756436 |     262    26948   159179 |    74743    72440     19 |  7.093 % |
405.96/406.37	c |    759433 |     262    26948   159179 |    74743    67952     19 |  7.093 % |
407.36/407.73	c |    762730 |     262    26948   159179 | 2147483647    71249     19 |  7.096 % |
409.16/409.52	c |    766356 |     262    26948   159179 | 2147483647    74875     19 |  7.095 % |
410.46/410.89	c |    770343 |     262    26948   159179 | 2147483647    78862     19 |  7.094 % |
412.66/413.00	c |    774729 |     262    26948   159179 | 2147483647    83248     19 |  7.093 % |
415.25/415.65	c |    779552 |     262    26948   159179 | 2147483647    88071     19 |  7.093 % |
418.75/419.15	c |    784857 |     262    26948   159179 |    88521    83671     19 |  7.093 % |
423.25/423.66	c |    790692 |     262    26948   159179 |    74706    63568     18 |  7.093 % |
425.84/426.20	c |    797113 |     262    26948   159179 |    74706    69989     19 |  7.093 % |
430.34/430.77	c |    804172 |     262    26948   159179 | 2147483647    77048     19 |  7.093 % |
430.44/430.85	c |    804275 |     262    26948   159179 | 2147483647    77151     19 |  7.093 % |
430.54/430.92	c |    804387 |     262    26948   159179 | 2147483647    77263     19 |  7.093 % |
430.64/431.02	c |    804509 |     262    26948   159179 | 2147483647    77385     19 |  7.093 % |
430.64/431.10	c |    804644 |     262    26948   159179 | 2147483647    77520     19 |  7.093 % |
430.75/431.18	c |    804790 |     262    26948   159179 | 2147483647    77666     19 |  7.096 % |
430.85/431.27	c |    804951 |     262    26948   159179 | 2147483647    77827     19 |  7.093 % |
430.94/431.37	c |    805129 |     262    26948   159179 | 2147483647    78005     19 |  7.093 % |
431.04/431.47	c |    805324 |     262    26948   159179 | 2147483647    78200     19 |  7.093 % |
431.14/431.58	c |    805536 |     262    26948   159179 | 2147483647    78412     19 |  7.093 % |
431.34/431.74	c |    805769 |     262    26948   159179 | 2147483647    78645     19 |  7.093 % |
431.44/431.89	c |    806025 |     262    26948   159179 | 2147483647    78901     19 |  7.093 % |
431.64/432.03	c |    806307 |     262    26948   159179 | 2147483647    79183     19 |  7.096 % |
431.74/432.15	c |    806616 |     262    26948   159179 | 2147483647    79492     19 |  7.093 % |
431.84/432.29	c |    806956 |     262    26948   159179 | 2147483647    79832     19 |  7.106 % |
432.04/432.44	c |    807328 |     262    26948   159179 | 2147483647    80204     19 |  7.093 % |
432.24/432.65	c |    807737 |     262    26948   159179 | 2147483647    80613     19 |  7.093 % |
432.44/432.84	c |    808186 |     262    26948   159179 | 2147483647    81062     19 |  7.093 % |
432.64/433.06	c |    808682 |     262    26948   159179 | 2147483647    81558     19 |  7.093 % |
432.84/433.23	c |    809224 |     262    26948   159179 | 2147483647    82100     19 |  7.093 % |
433.24/433.62	c |    809821 |     262    26948   159179 | 2147483647    82697     19 |  7.099 % |
433.84/434.23	c |    810476 |     262    26948   159179 |    82879    73269     18 |  7.107 % |
434.04/434.47	c |    811196 |     262    26948   159179 |    82879    73989     18 |  7.093 % |
434.34/434.76	c |    811988 |     262    26948   159179 |    82879    74781     18 |  7.093 % |
434.64/435.06	c |    812860 |     262    26948   159179 |    82879    75653     18 |  7.093 % |
435.04/435.46	c |    813818 |     262    26948   159179 |    82879    76611     18 |  7.093 % |
435.54/435.90	c |    814871 |     262    26948   159179 |    82879    77664     18 |  7.093 % |
435.94/436.33	c |    816030 |     262    26948   159179 |    82879    78823     19 |  7.093 % |
436.74/437.20	c |    817303 |     262    26948   159179 |    82879    80096     19 |  7.093 % |
437.74/438.10	c |    818703 |     262    26948   159179 |    82879    81496     19 |  7.093 % |
438.74/439.18	c |    820243 |     262    26948   159179 |    82793    74261     18 |  7.093 % |
439.64/440.06	c |    821937 |     262    26948   159179 |    82793    75955     19 |  7.093 % |
440.64/441.07	c |    823802 |     262    26948   159179 |    82793    77820     19 |  7.104 % |
441.74/442.16	c |    825853 |     262    26948   159179 |    82793    79871     19 |  7.093 % |
443.24/443.65	c |    828106 |     262    26948   159179 |    82793    82124     19 |  7.093 % |
445.14/445.51	c |    830586 |     262    26948   159179 |    73046    63894     18 |  7.093 % |
446.33/446.70	c |    833312 |     262    26948   159179 |    73046    66620     18 |  7.093 % |
447.53/447.96	c |    836309 |     262    26948   159179 |    73046    69617     18 |  7.096 % |
449.23/449.62	c |    839605 |     262    26948   159179 |    73046    72913     18 |  7.093 % |
450.83/451.29	c |    843230 |     262    26948   159179 | 2147483647    69228     18 |  7.096 % |
452.93/453.36	c |    847219 |     262    26948   159179 | 2147483647    73217     18 |  7.093 % |
455.33/455.78	c |    851605 |     262    26948   159179 | 2147483647    77603     18 |  7.093 % |
458.03/458.41	c |    856429 |     262    26948   159179 | 2147483647    82427     19 |  7.093 % |
461.53/461.91	c |    861734 |     262    26948   159179 |    85998    76777     19 |  7.093 % |
465.43/465.83	c |    867569 |     262    26948   159179 |    85998    82612     19 |  7.093 % |
469.92/470.38	c |    873987 |     262    26948   159179 |    85043    74659     19 |  7.093 % |
475.12/475.56	c |    881048 |     262    26948   159179 |    80674    69018     18 |  7.093 % |
479.02/479.43	c |    888812 |     262    26948   159179 |    80674    76782     18 |  7.095 % |
479.02/479.48	c |    888914 |     262    26948   159179 |    80674    76884     18 |  7.093 % |
479.12/479.54	c |    889025 |     262    26948   159179 |    80674    76995     18 |  7.093 % |
479.22/479.62	c |    889146 |     262    26948   159179 |    80674    77116     18 |  7.093 % |
479.32/479.71	c |    889280 |     262    26948   159179 |    80674    77250     18 |  7.096 % |
479.32/479.77	c |    889429 |     262    26948   159179 |    80674    77399     18 |  7.093 % |
479.42/479.84	c |    889589 |     262    26948   159179 |    80674    77559     18 |  7.093 % |
479.52/479.96	c |    889765 |     262    26948   159179 |    80674    77735     18 |  7.093 % |
479.72/480.10	c |    889958 |     262    26948   159179 |    80674    77928     18 |  7.096 % |
480.02/480.42	c |    890170 |     262    26948   159179 |    77971    70050     18 |  7.096 % |
480.12/480.54	c |    890405 |     262    26948   159179 |    77971    70285     18 |  7.093 % |
480.22/480.66	c |    890664 |     262    26948   159179 |    77971    70544     18 |  7.093 % |
480.32/480.76	c |    890945 |     262    26948   159179 |    77971    70825     18 |  7.094 % |
480.42/480.86	c |    891257 |     262    26948   159179 |    77971    71137     18 |  7.093 % |
480.62/481.03	c |    891597 |     262    26948   159179 |    77971    71477     18 |  7.093 % |
480.82/481.21	c |    891970 |     262    26948   159179 |    77971    71850     18 |  7.093 % |
481.02/481.42	c |    892380 |     262    26948   159179 |    77971    72260     18 |  7.094 % |
481.22/481.64	c |    892829 |     262    26948   159179 |    77971    72709     18 |  7.093 % |
481.42/481.86	c |    893323 |     262    26948   159179 |    77971    73203     18 |  7.096 % |
481.71/482.12	c |    893865 |     262    26948   159179 |    77971    73745     18 |  7.093 % |
481.91/482.38	c |    894462 |     262    26948   159179 |    77971    74342     18 |  7.093 % |
482.21/482.69	c |    895117 |     262    26948   159179 |    77971    74997     18 |  7.093 % |
482.71/483.12	c |    895837 |     262    26948   159179 |    77971    75717     18 |  7.095 % |
483.11/483.53	c |    896629 |     262    26948   159179 |    77971    76509     18 |  7.096 % |
483.52/483.97	c |    897501 |     262    26948   159179 |    77971    77381     18 |  7.093 % |
484.11/484.52	c |    898459 |     262    26948   159179 |    77971    70533     18 |  7.093 % |
484.62/485.07	c |    899513 |     262    26948   159179 |    77971    71587     18 |  7.093 % |
485.21/485.67	c |    900672 |     262    26948   159179 | 2147483647    72746     18 |  7.096 % |
485.72/486.16	c |    901945 |     262    26948   159179 | 2147483647    74019     18 |  7.093 % |
486.21/486.64	c |    903345 |     262    26948   159179 | 2147483647    75419     18 |  7.096 % |
486.92/487.39	c |    904888 |     262    26948   159179 | 2147483647    76962     19 |  7.093 % |
487.81/488.27	c |    906583 |     262    26948   159179 | 2147483647    78657     19 |  7.093 % |
488.71/489.12	c |    908447 |     262    26948   159179 | 2147483647    80521     19 |  7.093 % |
489.41/489.83	c |    910496 |     262    26948   159179 | 2147483647    82570     19 |  7.093 % |
490.51/490.98	c |    912749 |     262    26948   159179 | 2147483647    84823     19 |  7.105 % |
491.81/492.28	c |    915228 |     262    26948   159179 | 2147483647    87302     19 |  7.093 % |
493.51/493.93	c |    917955 |     262    26948   159179 | 2147483647    90029     19 |  7.093 % |
495.70/496.16	c |    920953 |     262    26948   159179 |    92076    82196     19 |  7.096 % |
497.70/498.19	c |    924249 |     262    26948   159179 |    92076    85492     19 |  7.093 % |
500.60/501.00	c |    927876 |     262    26948   159179 |    92076    89119     19 |  7.093 % |
503.40/503.87	c |    931863 |     262    26948   159179 |    91243    80207     19 |  7.093 % |
505.80/506.22	c |    936249 |     262    26948   159179 |    91243    84593     19 |  7.093 % |
509.20/509.62	c |    941072 |     262    26948   159179 |    88344    78483     19 |  7.093 % |
512.10/512.55	c |    946377 |     262    26948   159179 |    88344    83788     19 |  7.093 % |
515.50/515.98	c |    952212 |     262    26948   159179 |    87411    78345     19 |  7.093 % |
519.29/519.72	c |    958631 |     262    26948   159179 |    87411    84764     19 |  7.093 % |
522.79/523.29	c |    965691 |     262    26948   159179 |    86134    80682     19 |  7.093 % |
527.19/527.62	c |    973455 |     262    26948   159179 |    84992    77618     19 |  7.096 % |
532.58/533.03	c |    981995 |     262    26948   159179 |    84166    76011     19 |  7.093 % |
532.68/533.10	c |    982096 |     262    26948   159179 |    84166    76112     19 |  7.093 % |
532.68/533.17	c |    982206 |     262    26948   159179 |    84166    76222     19 |  7.093 % |
532.78/533.23	c |    982330 |     262    26948   159179 |    84166    76346     19 |  7.093 % |
532.78/533.30	c |    982465 |     262    26948   159179 |    84166    76481     19 |  7.093 % |
532.88/533.39	c |    982611 |     262    26948   159179 |    84166    76627     19 |  7.093 % |
532.99/533.46	c |    982771 |     262    26948   159179 |    84166    76787     19 |  7.093 % |
533.09/533.57	c |    982947 |     262    26948   159179 |    84166    76963     19 |  7.093 % |
533.18/533.68	c |    983140 |     262    26948   159179 |    84166    77156     19 |  7.093 % |
533.28/533.78	c |    983352 |     262    26948   159179 |    84166    77368     19 |  7.096 % |
533.48/533.90	c |    983588 |     262    26948   159179 |    84166    77604     19 |  7.105 % |
533.68/534.10	c |    983844 |     262    26948   159179 |    84166    77860     19 |  7.095 % |
533.78/534.28	c |    984127 |     262    26948   159179 |    84166    78143     19 |  7.106 % |
533.98/534.47	c |    984437 |     262    26948   159179 |    84166    78453     19 |  7.095 % |
534.19/534.69	c |    984776 |     262    26948   159179 |    84166    78792     19 |  7.094 % |
534.48/534.93	c |    985148 |     262    26948   159179 |    84166    79164     19 |  7.093 % |
534.68/535.12	c |    985557 |     262    26948   159179 |    84166    79573     19 |  7.096 % |
534.98/535.41	c |    986007 |     262    26948   159179 |    84166    80023     19 |  7.093 % |
535.29/535.73	c |    986500 |     262    26948   159179 |    84166    80516     19 |  7.093 % |
535.58/536.02	c |    987043 |     262    26948   159179 |    84166    81059     19 |  7.093 % |
535.98/536.44	c |    987639 |     262    26948   159179 |    84166    81655     19 |  7.093 % |
536.38/536.84	c |    988295 |     262    26948   159179 |    84166    82311     19 |  7.093 % |
536.68/537.17	c |    989015 |     262    26948   159179 |    84166    83031     19 |  7.093 % |
537.18/537.65	c |    989809 |     262    26948   159179 |    84166    83825     19 |  7.096 % |
537.97/538.41	c |    990680 |     262    26948   159179 |    84017    73701     19 |  7.093 % |
538.27/538.79	c |    991641 |     262    26948   159179 |    84017    74662     20 |  7.093 % |
538.87/539.32	c |    992694 |     262    26948   159179 |    84017    75715     20 |  7.093 % |
539.48/539.94	c |    993852 |     262    26948   159179 |    84017    76873     20 |  7.093 % |
540.17/540.66	c |    995125 |     262    26948   159179 |    84017    78146     20 |  7.093 % |
540.87/541.35	c |    996525 |     262    26948   159179 |    84017    79546     20 |  7.096 % |
541.67/542.13	c |    998065 |     262    26948   159179 |    84017    81086     20 |  7.093 % |
542.57/543.02	c |    999761 |     262    26948   159179 |    84017    82782     20 |  7.096 % |
543.77/544.24	c |   1001624 |     262    26948   159179 |    83023    74622     19 |  7.093 % |
544.77/545.23	c |   1003674 |     262    26948   159179 |    83023    76672     20 |  7.093 % |
545.87/546.36	c |   1005929 |     262    26948   159179 |    83023    78927     19 |  7.096 % |
547.17/547.67	c |   1008407 |     262    26948   159179 |    83023    81405     20 |  7.093 % |
548.77/549.27	c |   1011133 |     262    26948   159179 | 2147483647    84131     20 |  7.093 % |
550.47/550.98	c |   1014130 |     262    26948   159179 | 2147483647    87128     20 |  7.093 % |
551.97/552.46	c |   1017426 |     262    26948   159179 | 2147483647    90424     20 |  7.093 % |
553.97/554.42	c |   1021052 |     262    26948   159179 |    92999    83023     20 |  7.093 % |
556.27/556.74	c |   1025039 |     261    26538   157065 |    92999    87008     20 |  7.448 % |
558.67/559.20	c |   1029425 |     261    26538   157065 |    92999    91394     20 |  7.448 % |
561.76/562.23	c |   1034249 |     261    26538   157065 |    91969    81348     19 |  7.448 % |
564.66/565.11	c |   1039554 |     261    26538   157065 |    91969    86653     20 |  7.451 % |
567.96/568.42	c |   1045390 |     261    26538   157065 |    87100    79079     19 |  7.448 % |
572.06/572.57	c |   1051808 |     261    26538   157065 |    83692    73673     19 |  7.448 % |
575.96/576.41	c |   1058868 |     261    26538   157065 |    83692    80733     19 |  7.448 % |
580.06/580.56	c |   1066632 |     261    26538   157065 |    81865    77954     19 |  7.449 % |
585.65/586.13	c |   1075172 |     261    26538   157065 |    81323    77934     19 |  7.451 % |
591.05/591.57	c |   1084566 |     261    26538   157065 |    72733    68394     19 |  7.448 % |
591.15/591.62	c |   1084667 |     261    26538   157065 |    72733    68495     19 |  7.448 % |
591.15/591.68	c |   1084777 |     261    26538   157065 |    72733    68605     19 |  7.448 % |
591.25/591.74	c |   1084899 |     261    26538   157065 |    72733    68727     19 |  7.448 % |
591.35/591.80	c |   1085032 |     261    26538   157065 |    72733    68860     19 |  7.451 % |
591.35/591.89	c |   1085178 |     261    26538   157065 |    72733    69006     19 |  7.448 % |
591.45/591.96	c |   1085340 |     261    26538   157065 |    72733    69168     19 |  7.448 % |
591.55/592.03	c |   1085516 |     261    26538   157065 |    72733    69344     19 |  7.448 % |
591.65/592.12	c |   1085710 |     261    26538   157065 |    72733    69538     19 |  7.448 % |
591.75/592.23	c |   1085923 |     261    26538   157065 |    72733    69751     19 |  7.451 % |
591.85/592.33	c |   1086156 |     261    26538   157065 |    72733    69984     19 |  7.451 % |
591.94/592.42	c |   1086414 |     261    26538   157065 |    72733    70242     19 |  7.451 % |
592.04/592.54	c |   1086696 |     261    26538   157065 |    72733    70524     19 |  7.448 % |
592.14/592.64	c |   1087005 |     261    26538   157065 |    72733    70833     19 |  7.448 % |
592.24/592.79	c |   1087345 |     261    26538   157065 |    72733    71173     19 |  7.448 % |
592.45/592.93	c |   1087718 |     261    26538   157065 |    72733    71546     19 |  7.448 % |
592.54/593.08	c |   1088127 |     261    26538   157065 |    72733    71955     19 |  7.448 % |
592.84/593.32	c |   1088579 |     261    26538   157065 |    72733    72407     19 |  7.448 % |
593.14/593.64	c |   1089074 |     261    26538   157065 |    72733    65619     19 |  7.448 % |
593.34/593.84	c |   1089620 |     261    26538   157065 |    72733    66165     19 |  7.448 % |
593.64/594.13	c |   1090216 |     261    26538   157065 | 2147483647    66761     19 |  7.448 % |
593.94/594.41	c |   1090871 |     261    26538   157065 | 2147483647    67416     19 |  7.448 % |
594.14/594.68	c |   1091591 |     261    26538   157065 | 2147483647    68136     19 |  7.448 % |
594.55/595.06	c |   1092384 |     261    26538   157065 | 2147483647    68929     19 |  7.448 % |
594.94/595.47	c |   1093256 |     261    26538   157065 | 2147483647    69801     19 |  7.448 % |
595.44/595.98	c |   1094217 |     261    26538   157065 | 2147483647    70762     19 |  7.448 % |
596.04/596.58	c |   1095271 |     261    26538   157065 | 2147483647    71816     19 |  7.451 % |
596.74/597.23	c |   1096431 |     261    26538   157065 | 2147483647    72976     19 |  7.448 % |
597.14/597.69	c |   1097704 |     261    26538   157065 | 2147483647    74249     19 |  7.448 % |
597.74/598.23	c |   1099104 |     261    26538   157065 | 2147483647    75649     19 |  7.448 % |
598.54/599.00	c |   1100644 |     261    26538   157065 | 2147483647    77189     19 |  7.448 % |
599.34/599.85	c |   1102338 |     261    26538   157065 | 2147483647    78883     19 |  7.448 % |
600.24/600.79	c |   1104202 |     261    26538   157065 | 2147483647    80747     19 |  7.448 % |
601.34/601.80	c |   1106251 |     261    26538   157065 | 2147483647    82796     20 |  7.451 % |
602.44/602.96	c |   1108505 |     261    26538   157065 | 2147483647    85050     20 |  7.448 % |
604.44/604.97	c |   1110984 |     261    26538   157065 |    86545    76090     19 |  7.448 % |
606.14/606.69	c |   1113711 |     261    26538   157065 |    86545    78817     20 |  7.448 % |
607.74/608.25	c |   1116709 |     261    26538   157065 |    86545    81815     20 |  7.448 % |
609.53/610.02	c |   1120006 |     261    26538   157065 |    85107    85112     20 |  7.448 % |
612.03/612.60	c |   1123632 |     261    26538   157065 |    85107    74545     20 |  7.448 % |
614.44/614.99	c |   1127622 |     261    26538   157065 |    85107    78535     20 |  7.448 % |
617.83/618.34	c |   1132007 |     261    26538   157065 |    80914    70243     19 |  7.448 % |
620.93/621.40	c |   1136830 |     261    26538   157065 |    80914    75066     19 |  7.451 % |
624.33/624.89	c |   1142137 |     261    26538   157065 |    78239    69071     19 |  7.448 % |
627.32/627.86	c |   1147974 |     261    26538   157065 |    78239    74908     20 |  7.448 % |
631.22/631.71	c |   1154392 |     261    26538   157065 |    76934    73516     19 |  7.448 % |
634.42/634.91	c |   1161453 |     261    26538   157065 | 2147483647    72877     19 |  7.451 % |
638.42/638.92	c |   1169217 |     261    26538   157065 | 2147483647    80641     20 |  7.448 % |
644.51/645.09	c |   1177759 |     261    26538   157065 | 2147483647    89183     20 |  7.451 % |
651.21/651.71	c |   1187154 |     261    26538   157065 |    91427    82562     19 |  7.448 % |
657.31/657.89	c |   1197488 |     260    26262   155725 |    85410    77807     19 |  7.803 % |
657.41/657.93	c |   1197589 |     260    26262   155725 |    85410    77908     19 |  7.805 % |
657.51/658.01	c |   1197699 |     260    26262   155725 |    85410    78018     19 |  7.805 % |
657.61/658.10	c |   1197821 |     260    26262   155725 |    85410    78140     19 |  7.803 % |
657.71/658.20	c |   1197955 |     260    26262   155725 |    85410    78274     19 |  7.803 % |
657.81/658.33	c |   1198103 |     260    26262   155725 |    85410    78422     19 |  7.803 % |
657.91/658.44	c |   1198263 |     260    26262   155725 |    85410    78582     19 |  7.803 % |
658.01/658.54	c |   1198441 |     260    26262   155725 |    85410    78760     19 |  7.803 % |
658.11/658.64	c |   1198634 |     260    26262   155725 |    85410    78953     19 |  7.803 % |
658.21/658.78	c |   1198849 |     260    26262   155725 |    85410    79168     19 |  7.805 % |
658.41/658.91	c |   1199083 |     260    26262   155725 |    85410    79402     19 |  7.803 % |
658.61/659.15	c |   1199340 |     260    26262   155725 |    85410    79659     19 |  7.803 % |
658.80/659.31	c |   1199621 |     260    26262   155725 |    85410    79940     19 |  7.803 % |
658.90/659.48	c |   1199930 |     260    26262   155725 |    85410    80249     19 |  7.803 % |
659.41/659.92	c |   1200270 |     260    26262   155725 |    80319    69546     19 |  7.803 % |
659.60/660.13	c |   1200643 |     260    26262   155725 |    80319    69919     19 |  7.803 % |
659.80/660.33	c |   1201054 |     260    26262   155725 |    80319    70330     19 |  7.803 % |
660.10/660.63	c |   1201503 |     260    26262   155725 |    80319    70779     19 |  7.805 % |
660.40/660.95	c |   1201996 |     260    26262   155725 |    80319    71272     19 |  7.803 % |
660.80/661.31	c |   1202538 |     260    26262   155725 |    80319    71814     19 |  7.803 % |
661.10/661.65	c |   1203135 |     260    26262   155725 |    80319    72411     19 |  7.803 % |
661.40/661.97	c |   1203791 |     260    26262   155725 |    80319    73067     19 |  7.803 % |
661.80/662.36	c |   1204512 |     260    26262   155725 |    80319    73788     19 |  7.803 % |
662.20/662.74	c |   1205305 |     260    26262   155725 |    80319    74581     19 |  7.803 % |
662.60/663.20	c |   1206176 |     260    26262   155725 |    80319    75452     19 |  7.803 % |
663.20/663.72	c |   1207134 |     260    26262   155725 |    80319    76410     19 |  7.803 % |
663.91/664.46	c |   1208187 |     260    26262   155725 |    80319    77463     19 |  7.803 % |
664.60/665.17	c |   1209345 |     260    26262   155725 |    80319    78621     19 |  7.803 % |
665.50/666.08	c |   1210618 |     260    26262   155725 |    79277    70095     19 |  7.803 % |
666.30/666.89	c |   1212020 |     260    26262   155725 |    79277    71497     19 |  7.803 % |
667.40/667.96	c |   1213561 |     260    26262   155725 |    79277    73038     19 |  7.803 % |
668.50/669.00	c |   1215256 |     260    26262   155725 |    79277    74733     19 |  7.803 % |
669.60/670.15	c |   1217121 |     260    26262   155725 |    79277    76598     19 |  7.803 % |
670.80/671.33	c |   1219171 |     260    26262   155725 |    79277    78648     19 |  7.803 % |
672.29/672.89	c |   1221424 |     260    26262   155725 |    69641    62468     18 |  7.803 % |
673.39/673.99	c |   1223905 |     260    26262   155725 |    69641    64949     19 |  7.803 % |
674.99/675.59	c |   1226630 |     260    26262   155725 |    69641    67674     19 |  7.803 % |
676.79/677.33	c |   1229627 |     260    26262   155725 |    69641    63701     18 |  7.803 % |
678.19/678.76	c |   1232924 |     260    26262   155725 | 2147483647    66998     19 |  7.803 % |
680.29/680.83	c |   1236550 |     260    26262   155725 | 2147483647    70624     19 |  7.803 % |
682.49/683.04	c |   1240538 |     260    26262   155725 | 2147483647    74612     19 |  7.803 % |
685.39/685.91	c |   1244923 |     260    26262   155725 | 2147483647    78997     19 |  7.805 % |
687.48/688.09	c |   1249746 |     260    26262   155725 | 2147483647    83820     19 |  7.803 % |
690.08/690.67	c |   1255052 |     260    26262   155725 |    84076    78712     19 |  7.805 % |
694.58/695.11	c |   1260887 |     260    26262   155725 |    83661    72535     19 |  7.803 % |
697.48/698.04	c |   1267305 |     260    26262   155725 |    83661    78953     19 |  7.803 % |
701.28/701.83	c |   1274364 |     260    26262   155725 |    81648    76359     20 |  7.803 % |
705.98/706.50	c |   1282129 |     260    26262   155725 |    73309    67361     20 |  7.803 % |
710.87/711.41	c |   1290669 |     260    26262   155725 |    66576    59852     20 |  7.803 % |
715.37/715.93	c |   1300064 |     260    26262   155725 | 2147483647    62580     20 |  7.805 % |
721.36/721.97	c |   1310398 |     260    26262   155725 |    72518    64522     20 |  7.803 % |
727.57/728.14	c |   1321768 |     260    26262   155725 | 2147483647    68634     20 |  7.803 % |
727.67/728.21	c |   1321868 |     260    26262   155725 | 2147483647    68734     20 |  7.805 % |
727.67/728.27	c |   1321978 |     260    26262   155725 | 2147483647    68844     20 |  7.805 % |
727.76/728.35	c |   1322100 |     260    26262   155725 | 2147483647    68966     20 |  7.805 % |
727.86/728.43	c |   1322234 |     260    26262   155725 | 2147483647    69100     20 |  7.805 % |
727.96/728.52	c |   1322381 |     260    26262   155725 | 2147483647    69247     20 |  7.803 % |
728.06/728.63	c |   1322541 |     260    26262   155725 | 2147483647    69407     20 |  7.803 % |
728.16/728.73	c |   1322717 |     260    26262   155725 | 2147483647    69583     20 |  7.803 % |
728.26/728.83	c |   1322912 |     260    26262   155725 | 2147483647    69778     20 |  7.803 % |
728.36/728.93	c |   1323124 |     260    26262   155725 | 2147483647    69990     20 |  7.803 % |
728.46/729.07	c |   1323358 |     260    26262   155725 | 2147483647    70224     20 |  7.803 % |
728.66/729.23	c |   1323616 |     260    26262   155725 | 2147483647    70482     20 |  7.803 % |
728.76/729.36	c |   1323899 |     260    26262   155725 | 2147483647    70765     20 |  7.803 % |
728.86/729.47	c |   1324210 |     260    26262   155725 | 2147483647    71076     20 |  7.803 % |
729.06/729.66	c |   1324550 |     260    26262   155725 | 2147483647    71416     20 |  7.803 % |
729.26/729.85	c |   1324923 |     260    26262   155725 | 2147483647    71789     20 |  7.803 % |
729.56/730.10	c |   1325332 |     260    26262   155725 | 2147483647    72198     20 |  7.803 % |
729.76/730.36	c |   1325781 |     260    26262   155725 | 2147483647    72647     20 |  7.805 % |
729.96/730.59	c |   1326277 |     260    26262   155725 | 2147483647    73143     20 |  7.803 % |
730.26/730.84	c |   1326823 |     260    26262   155725 | 2147483647    73689     20 |  7.805 % |
730.56/731.15	c |   1327419 |     260    26262   155725 | 2147483647    74285     20 |  7.804 % |
730.76/731.38	c |   1328075 |     260    26262   155725 | 2147483647    74941     20 |  7.803 % |
731.06/731.70	c |   1328795 |     260    26262   155725 | 2147483647    75661     20 |  7.803 % |
731.46/732.01	c |   1329588 |     260    26262   155725 | 2147483647    76454     20 |  7.805 % |
731.86/732.48	c |   1330459 |     260    26262   155725 | 2147483647    77325     20 |  7.805 % |
732.26/732.83	c |   1331419 |     260    26262   155725 | 2147483647    78285     20 |  7.803 % |
732.66/733.22	c |   1332472 |     260    26262   155725 | 2147483647    79338     20 |  7.803 % |
733.26/733.88	c |   1333631 |     260    26262   155725 | 2147483647    80497     20 |  7.817 % |
733.75/734.35	c |   1334904 |     260    26262   155725 | 2147483647    81770     20 |  7.803 % |
734.55/735.18	c |   1336304 |     260    26262   155725 | 2147483647    83170     20 |  7.803 % |
735.36/735.91	c |   1337844 |     260    26262   155725 | 2147483647    84710     20 |  7.803 % |
736.25/736.84	c |   1339541 |     260    26262   155725 | 2147483647    86407     20 |  7.805 % |
737.25/737.84	c |   1341404 |     260    26262   155725 | 2147483647    88270     20 |  7.805 % |
738.25/738.87	c |   1343454 |     260    26262   155725 | 2147483647    90320     20 |  7.805 % |
739.25/739.80	c |   1345707 |     260    26262   155725 | 2147483647    92573     20 |  7.803 % |
740.85/741.43	c |   1348185 |     260    26262   155725 | 2147483647    95051     20 |  7.803 % |
742.75/743.32	c |   1350910 |     260    26262   155725 |    96869    84154     20 |  7.803 % |
744.05/744.60	c |   1353908 |     260    26262   155725 |    96869    87152     20 |  7.803 % |
745.85/746.45	c |   1357204 |     260    26262   155725 |    96869    90448     20 |  7.803 % |
748.15/748.72	c |   1360830 |     260    26262   155725 |    93245    80413     19 |  7.803 % |
749.95/750.52	c |   1364818 |     260    26262   155725 |    93245    84401     20 |  7.803 % |
752.25/752.84	c |   1369204 |     260    26262   155725 |    93245    88787     20 |  7.803 % |
754.95/755.55	c |   1374027 |     260    26262   155725 |    89584    82596     20 |  7.805 % |
757.84/758.47	c |   1379332 |     260    26262   155725 |    89584    87901     20 |  7.803 % |
761.14/761.70	c |   1385167 |     260    26262   155725 |    88569    81431     20 |  7.803 % |
765.54/766.11	c |   1391586 |     260    26262   155725 |    86267    75466     20 |  7.803 % |
769.73/770.30	c |   1398645 |     260    26262   155725 |    86267    82525     20 |  7.803 % |
774.43/775.06	c |   1406409 |     260    26262   155725 |    83880    76736     20 |  7.803 % |
779.23/779.82	c |   1414949 |     260    26262   155725 |    80327    74223     19 |  7.803 % |
784.42/785.05	c |   1424346 |     260    26262   155725 |    79274    74499     19 |  7.803 % |
790.33/790.92	c |   1434680 |     260    26262   155725 |    70413    66269     19 |  7.803 % |
797.22/797.86	c |   1446047 |     260    26262   155725 |    63448    62501     19 |  7.803 % |
805.72/806.33	c |   1458549 |     260    26262   155725 | 2147483647    68653     19 |  7.803 % |
805.72/806.38	c |   1458649 |     260    26262   155725 | 2147483647    68753     19 |  7.803 % |
805.82/806.42	c |   1458760 |     260    26262   155725 | 2147483647    68864     19 |  7.803 % |
805.92/806.50	c |   1458882 |     260    26262   155725 | 2147483647    68986     19 |  7.813 % |
805.92/806.58	c |   1459016 |     260    26262   155725 | 2147483647    69120     19 |  7.803 % |
806.02/806.66	c |   1459162 |     260    26262   155725 | 2147483647    69266     19 |  7.803 % |
806.12/806.70	c |   1459322 |     260    26262   155725 | 2147483647    69426     19 |  7.803 % |
806.12/806.79	c |   1459501 |     260    26262   155725 | 2147483647    69605     19 |  7.815 % |
806.32/806.90	c |   1459694 |     260    26262   155725 | 2147483647    69798     19 |  7.803 % |
806.42/807.01	c |   1459909 |     260    26262   155725 | 2147483647    70013     19 |  7.803 % |
806.72/807.33	c |   1460144 |     260    26262   155725 |    70104    61083     19 |  7.805 % |
806.82/807.41	c |   1460400 |     260    26262   155725 |    70104    61339     19 |  7.803 % |
806.92/807.53	c |   1460686 |     260    26262   155725 |    70104    61625     19 |  7.803 % |
807.01/807.67	c |   1460995 |     260    26262   155725 |    70104    61934     19 |  7.803 % |
807.21/807.82	c |   1461335 |     260    26262   155725 |    70104    62274     19 |  7.803 % |
807.31/807.96	c |   1461707 |     260    26262   155725 |    70104    62646     19 |  7.805 % |
807.51/808.14	c |   1462116 |     260    26262   155725 |    70104    63055     19 |  7.803 % |
807.71/808.35	c |   1462565 |     260    26262   155725 |    70104    63504     19 |  7.803 % |
807.91/808.57	c |   1463058 |     260    26262   155725 |    70104    63997     19 |  7.803 % |
808.21/808.81	c |   1463601 |     260    26262   155725 |    70104    64540     19 |  7.803 % |
808.41/809.00	c |   1464198 |     260    26262   155725 |    70104    65137     19 |  7.803 % |
808.71/809.30	c |   1464855 |     260    26262   155725 |    70104    65794     19 |  7.817 % |
808.91/809.53	c |   1465575 |     260    26262   155725 |    70104    66514     19 |  7.805 % |
809.31/809.91	c |   1466368 |     260    26262   155725 |    70104    67307     19 |  7.805 % |
809.61/810.28	c |   1467242 |     260    26262   155725 |    70104    68181     19 |  7.803 % |
810.21/810.82	c |   1468201 |     260    26262   155725 |    70104    69140     19 |  7.804 % |
810.81/811.50	c |   1469256 |     260    26262   155725 |    70104    63177     19 |  7.803 % |
811.41/812.00	c |   1470414 |     260    26262   155725 | 2147483647    64335     19 |  7.803 % |
811.80/812.41	c |   1471689 |     260    26262   155725 | 2147483647    65610     19 |  7.803 % |
812.40/813.00	c |   1473090 |     260    26262   155725 | 2147483647    67011     19 |  7.803 % |
813.00/813.69	c |   1474630 |     260    26262   155725 | 2147483647    68551     19 |  7.803 % |
813.70/814.33	c |   1476324 |     260    26262   155725 | 2147483647    70245     19 |  7.803 % |
814.41/815.04	c |   1478189 |     260    26262   155725 | 2147483647    72110     19 |  7.803 % |
815.10/815.80	c |   1480240 |     260    26262   155725 | 2147483647    74161     19 |  7.803 % |
815.90/816.52	c |   1482494 |     260    26262   155725 | 2147483647    76415     19 |  7.803 % |
816.80/817.42	c |   1484973 |     260    26262   155725 | 2147483647    78894     19 |  7.803 % |
817.70/818.38	c |   1487699 |     260    26262   155725 | 2147483647    81620     20 |  7.803 % |
819.00/819.65	c |   1490697 |     260    26262   155725 | 2147483647    84618     20 |  7.803 % |
820.40/821.09	c |   1493993 |     259    25613   152067 | 2147483647    87911     20 |  8.157 % |
822.30/822.96	c |   1497618 |     259    25613   152067 | 2147483647    91536     20 |  8.157 % |
823.80/824.50	c |   1501607 |     259    25613   152067 | 2147483647    95525     20 |  8.157 % |
826.30/826.97	c |   1505994 |     259    25613   152067 | 2147483647    99912     20 |  8.157 % |
829.20/829.86	c |   1510819 |     259    25613   152067 |   103919    92388     20 |  8.160 % |
831.70/832.34	c |   1516124 |     259    25613   152067 |   103919    97693     20 |  8.157 % |
834.90/835.57	c |   1521959 |     259    25613   152067 |   101569    91094     20 |  8.157 % |
837.99/838.64	c |   1528378 |     259    25613   152067 |   101569    97513     20 |  8.160 % |
842.29/842.93	c |   1535437 |     259    25613   152067 |    99136    92552     20 |  8.157 % |
847.29/848.00	c |   1543204 |     259    25613   152067 |    97118    83935     20 |  8.157 % |
852.59/853.27	c |   1551744 |     259    25613   152067 |    90732    75305     20 |  8.157 % |
858.08/858.79	c |   1561138 |     259    25613   152067 |    83561    70843     20 |  8.157 % |
864.08/864.70	c |   1571472 |     259    25613   152067 |    79706    70257     20 |  8.157 % |
870.67/871.37	c |   1582839 |     259    25613   152067 |    78785    71733     21 |  8.157 % |
878.27/878.94	c |   1595342 |     259    25613   152067 |    67708    63436     20 |  8.157 % |
883.97/884.64	c |   1609094 |     259    25613   152067 | 2147483647    70406     20 |  8.157 % |
883.97/884.68	c |   1609194 |     259    25613   152067 | 2147483647    70506     20 |  8.160 % |
884.07/884.75	c |   1609305 |     259    25613   152067 | 2147483647    70617     20 |  8.157 % |
884.17/884.80	c |   1609428 |     259    25613   152067 | 2147483647    70740     20 |  8.157 % |
884.17/884.86	c |   1609561 |     259    25613   152067 | 2147483647    70873     20 |  8.160 % |
884.27/884.93	c |   1609709 |     259    25613   152067 | 2147483647    71021     20 |  8.160 % |
884.37/885.01	c |   1609870 |     259    25613   152067 | 2147483647    71182     20 |  8.157 % |
884.37/885.08	c |   1610048 |     259    25613   152067 | 2147483647    71360     20 |  8.160 % |
884.47/885.14	c |   1610241 |     259    25613   152067 | 2147483647    71553     20 |  8.160 % |
884.57/885.22	c |   1610454 |     259    25613   152067 | 2147483647    71766     20 |  8.157 % |
884.67/885.34	c |   1610687 |     259    25613   152067 | 2147483647    71999     20 |  8.157 % |
884.77/885.44	c |   1610943 |     259    25613   152067 | 2147483647    72255     20 |  8.157 % |
884.97/885.62	c |   1611224 |     259    25613   152067 | 2147483647    72536     20 |  8.157 % |
885.17/885.80	c |   1611533 |     259    25613   152067 | 2147483647    72845     20 |  8.157 % |
885.27/885.94	c |   1611873 |     259    25613   152067 | 2147483647    73185     20 |  8.157 % |
885.47/886.12	c |   1612245 |     259    25613   152067 | 2147483647    73557     20 |  8.157 % |
885.67/886.32	c |   1612654 |     259    25613   152067 | 2147483647    73966     20 |  8.157 % |
885.77/886.50	c |   1613103 |     259    25613   152067 | 2147483647    74415     20 |  8.160 % |
885.97/886.68	c |   1613596 |     259    25613   152067 | 2147483647    74908     20 |  8.160 % |
886.27/886.92	c |   1614138 |     259    25613   152067 | 2147483647    75450     20 |  8.157 % |
886.47/887.16	c |   1614734 |     259    25613   152067 | 2147483647    76046     20 |  8.157 % |
886.87/887.51	c |   1615389 |     259    25613   152067 | 2147483647    76701     20 |  8.157 % |
887.27/887.91	c |   1616109 |     259    25613   152067 | 2147483647    77421     20 |  8.157 % |
887.57/888.24	c |   1616903 |     259    25613   152067 | 2147483647    78215     20 |  8.157 % |
887.97/888.68	c |   1617774 |     259    25613   152067 | 2147483647    79086     20 |  8.157 % |
888.47/889.12	c |   1618732 |     259    25613   152067 | 2147483647    80044     20 |  8.157 % |
889.07/889.78	c |   1619787 |     259    25613   152067 | 2147483647    81099     20 |  8.157 % |
889.87/890.58	c |   1620945 |     259    25613   152067 |    81313    73604     20 |  8.160 % |
890.56/891.30	c |   1622220 |     259    25613   152067 |    81313    74879     20 |  8.157 % |
891.26/891.93	c |   1623620 |     259    25613   152067 |    81313    76279     20 |  8.157 % |
891.86/892.56	c |   1625161 |     259    25613   152067 |    81313    77820     20 |  8.157 % |
892.96/893.62	c |   1626855 |     259    25613   152067 |    81313    79514     20 |  8.160 % |
893.96/894.68	c |   1628720 |     259    25613   152067 |    81313    81379     20 |  8.157 % |
895.16/895.86	c |   1630769 |     259    25613   152067 | 2147483647    75291     20 |  8.157 % |
896.27/896.92	c |   1633022 |     259    25613   152067 | 2147483647    77544     20 |  8.157 % |
897.36/898.08	c |   1635500 |     259    25613   152067 | 2147483647    80022     20 |  8.157 % |
898.96/899.68	c |   1638225 |     259    25613   152067 | 2147483647    82747     21 |  8.157 % |
900.46/901.16	c |   1641222 |     259    25613   152067 |    84523    77158     20 |  8.160 % |
902.36/903.07	c |   1644519 |     259    25613   152067 |    84523    80455     20 |  8.157 % |
904.86/905.53	c |   1648145 |     259    25613   152067 |    84523    84081     20 |  8.157 % |
907.26/907.93	c |   1652132 |     259    25613   152067 |    75013    67524     20 |  8.157 % |
909.46/910.13	c |   1656517 |     259    25613   152067 |    75013    71909     20 |  8.157 % |
912.16/912.82	c |   1661340 |     259    25613   152067 |    67398    61719     20 |  8.157 % |
913.96/914.65	c |   1666645 |     259    25613   152067 |    67398    67024     20 |  8.170 % |
916.35/917.06	c |   1672482 |     259    25613   152067 | 2147483647    66111     20 |  8.160 % |
919.15/919.88	c |   1678900 |     259    25613   152067 | 2147483647    72529     20 |  8.157 % |
922.85/923.51	c |   1685959 |     259    25613   152067 | 2147483647    79588     20 |  8.157 % |
927.55/928.24	c |   1693723 |     259    25613   152067 |    83630    78305     20 |  8.157 % |
932.55/933.28	c |   1702263 |     259    25613   152067 |    75560    69869     20 |  8.157 % |
938.14/938.85	c |   1711660 |     259    25613   152067 |    68030    61219     20 |  8.157 % |
944.03/944.75	c |   1721993 |     259    25613   152067 | 2147483647    64738     21 |  8.160 % |
950.83/951.52	c |   1733362 |     259    25613   152067 |    72745    67357     21 |  8.160 % |
955.53/956.21	c |   1745864 |     259    25613   152067 | 2147483647    72574     20 |  8.160 % |
962.83/963.55	c |   1759617 |     259    25613   152067 |    76710    66631     19 |  8.157 % |
969.92/970.60	c |   1774746 |     259    25613   152067 | 2147483647    65226     19 |  8.157 % |
969.92/970.65	c |   1774849 |     259    25613   152067 | 2147483647    65329     19 |  8.157 % |
970.02/970.71	c |   1774959 |     259    25613   152067 | 2147483647    65439     19 |  8.157 % |
970.02/970.75	c |   1775080 |     259    25613   152067 | 2147483647    65560     19 |  8.157 % |
970.12/970.82	c |   1775213 |     259    25613   152067 | 2147483647    65693     19 |  8.157 % |
970.12/970.88	c |   1775360 |     259    25613   152067 | 2147483647    65840     19 |  8.157 % |
970.22/970.96	c |   1775521 |     259    25613   152067 | 2147483647    66001     19 |  8.157 % |
970.32/971.03	c |   1775697 |     259    25613   152067 | 2147483647    66177     19 |  8.160 % |
970.42/971.12	c |   1775890 |     259    25613   152067 | 2147483647    66370     19 |  8.157 % |
970.53/971.23	c |   1776102 |     259    25613   152067 | 2147483647    66582     19 |  8.157 % |
970.63/971.34	c |   1776337 |     259    25613   152067 | 2147483647    66817     19 |  8.157 % |
970.72/971.46	c |   1776594 |     259    25613   152067 | 2147483647    67074     19 |  8.157 % |
970.92/971.60	c |   1776881 |     259    25613   152067 | 2147483647    67361     19 |  8.157 % |
971.02/971.75	c |   1777191 |     259    25613   152067 | 2147483647    67671     19 |  8.157 % |
971.22/971.97	c |   1777531 |     259    25613   152067 | 2147483647    68011     19 |  8.157 % |
971.42/972.13	c |   1777903 |     259    25613   152067 | 2147483647    68383     19 |  8.157 % |
971.52/972.25	c |   1778316 |     259    25613   152067 | 2147483647    68796     19 |  8.175 % |
971.72/972.45	c |   1778766 |     259    25613   152067 | 2147483647    69246     19 |  8.160 % |
972.02/972.71	c |   1779259 |     259    25613   152067 | 2147483647    69739     20 |  8.157 % |
972.22/972.95	c |   1779803 |     259    25613   152067 | 2147483647    70283     20 |  8.157 % |
972.52/973.21	c |   1780400 |     259    25613   152067 | 2147483647    70880     20 |  8.157 % |
972.72/973.45	c |   1781056 |     259    25613   152067 | 2147483647    71536     20 |  8.157 % |
973.02/973.73	c |   1781776 |     259    25613   152067 | 2147483647    72256     20 |  8.160 % |
973.42/974.11	c |   1782569 |     259    25613   152067 | 2147483647    73049     19 |  8.170 % |
973.82/974.59	c |   1783442 |     259    25613   152067 | 2147483647    73922     20 |  8.161 % |
974.22/974.97	c |   1784400 |     259    25613   152067 | 2147483647    74880     20 |  8.157 % |
974.62/975.40	c |   1785455 |     259    25613   152067 | 2147483647    75935     20 |  8.157 % |
975.41/976.11	c |   1786613 |     259    25613   152067 | 2147483647    77093     20 |  8.157 % |
976.31/977.00	c |   1787888 |     259    25613   152067 | 2147483647    78368     20 |  8.157 % |
976.91/977.63	c |   1789288 |     259    25613   152067 | 2147483647    79768     20 |  8.157 % |
977.81/978.57	c |   1790829 |     259    25613   152067 |    80480    72500     19 |  8.160 % |
978.81/979.52	c |   1792523 |     259    25613   152067 |    80480    74194     19 |  8.157 % |
979.71/980.49	c |   1794388 |     259    25613   152067 |    80480    76059     19 |  8.157 % |
980.71/981.48	c |   1796437 |     259    25613   152067 |    80480    78108     20 |  8.157 % |
982.11/982.89	c |   1798690 |     259    25613   152067 |    80480    80361     20 |  8.160 % |
983.81/984.56	c |   1801169 |     259    25613   152067 |    72067    64297     20 |  8.157 % |
985.01/985.74	c |   1803894 |     259    25613   152067 |    72067    67022     20 |  8.157 % |
986.61/987.32	c |   1806892 |     259    25613   152067 |    72067    70020     20 |  8.157 % |
988.60/989.31	c |   1810190 |     259    25613   152067 | 2147483647    66104     20 |  8.157 % |
990.40/991.12	c |   1813816 |     259    25613   152067 | 2147483647    69730     20 |  8.157 % |
992.20/992.93	c |   1817805 |     259    25613   152067 | 2147483647    73719     20 |  8.157 % |
994.00/994.75	c |   1822190 |     259    25613   152067 | 2147483647    78104     20 |  8.160 % |
996.40/997.17	c |   1827014 |     259    25613   152067 | 2147483647    82928     21 |  8.160 % |
1000.59/1001.37	c |   1832319 |     259    25613   152067 |    85916    76960     20 |  8.157 % |
1004.19/1004.99	c |   1838154 |     259    25613   152067 |    85916    82795     20 |  8.157 % |
1007.59/1008.36	c |   1844572 |     259    25613   152067 |    84641    74239     20 |  8.157 % |
1011.89/1012.67	c |   1851632 |     259    25613   152067 |    79668    69664     20 |  8.160 % |
1017.49/1018.21	c |   1859398 |     259    25613   152067 |    79668    77430     20 |  8.157 % |
1022.88/1023.62	c |   1867938 |     259    25613   152067 |    78032    72653     20 |  8.157 % |
1028.68/1029.40	c |   1877333 |     259    25613   152067 |    74715    69663     20 |  8.157 % |
1033.97/1034.72	c |   1887667 |     259    25613   152067 |    72331    70453     20 |  8.157 % |
1038.67/1039.50	c |   1899035 |     259    25613   152067 | 2147483647    74581     20 |  8.157 % |
1046.17/1046.97	c |   1911537 |     259    25613   152067 |    85547    75319     20 |  8.160 % |
1054.56/1055.38	c |   1925289 |     259    25613   152067 |    83783    75623     20 |  8.157 % |
1065.16/1065.91	c |   1940417 |     259    25613   152067 |    78439    66349     20 |  8.157 % |
1074.46/1075.20	c |   1957057 |     259    25613   152067 |    75933    72125     20 |  8.157 % |
1074.46/1075.27	c |   1957157 |     259    25613   152067 |    75933    72225     20 |  8.157 % |
1074.56/1075.31	c |   1957267 |     259    25613   152067 |    75933    72335     20 |  8.157 % |
1074.56/1075.38	c |   1957388 |     259    25613   152067 |    75933    72456     20 |  8.160 % |
1074.66/1075.44	c |   1957521 |     259    25613   152067 |    75933    72589     20 |  8.160 % |
1074.76/1075.52	c |   1957667 |     259    25613   152067 |    75933    72735     20 |  8.157 % |
1074.86/1075.63	c |   1957827 |     259    25613   152067 |    75933    72895     20 |  8.157 % |
1074.96/1075.74	c |   1958004 |     259    25613   152067 |    75933    73072     20 |  8.157 % |
1075.06/1075.85	c |   1958197 |     259    25613   152067 |    75933    73265     20 |  8.157 % |
1075.16/1075.95	c |   1958410 |     259    25613   152067 |    75933    73478     20 |  8.157 % |
1075.26/1076.07	c |   1958643 |     259    25613   152067 |    75933    73711     20 |  8.157 % |
1075.46/1076.21	c |   1958900 |     259    25613   152067 |    75933    73968     20 |  8.157 % |
1075.56/1076.34	c |   1959183 |     259    25613   152067 |    75933    74251     20 |  8.157 % |
1075.85/1076.64	c |   1959494 |     259    25613   152067 |    75933    74562     20 |  8.157 % |
1076.16/1076.92	c |   1959833 |     259    25613   152067 |    75933    74901     20 |  8.157 % |
1076.55/1077.35	c |   1960206 |     259    25613   152067 |    75070    65877     20 |  8.157 % |
1076.75/1077.59	c |   1960616 |     259    25613   152067 |    75070    66287     20 |  8.157 % |
1077.05/1077.80	c |   1961066 |     259    25613   152067 |    75070    66737     20 |  8.157 % |
1077.35/1078.12	c |   1961559 |     259    25613   152067 |    75070    67230     20 |  8.157 % |
1077.55/1078.33	c |   1962101 |     259    25613   152067 |    75070    67772     20 |  8.157 % |
1077.75/1078.59	c |   1962697 |     259    25613   152067 |    75070    68368     20 |  8.157 % |
1078.15/1078.93	c |   1963352 |     259    25613   152067 |    75070    69023     20 |  8.157 % |
1078.55/1079.33	c |   1964073 |     259    25613   152067 |    75070    69744     20 |  8.165 % |
1078.95/1079.76	c |   1964867 |     259    25613   152067 |    75070    70538     20 |  8.157 % |
1079.35/1080.19	c |   1965738 |     259    25613   152067 |    75070    71409     20 |  8.157 % |
1079.85/1080.64	c |   1966696 |     259    25613   152067 |    75070    72367     20 |  8.157 % |
1080.35/1081.19	c |   1967749 |     259    25613   152067 |    75070    73420     20 |  8.157 % |
1080.94/1081.74	c |   1968907 |     259    25613   152067 |    75070    74578     20 |  8.157 % |
1081.84/1082.62	c |   1970180 |     259    25613   152067 |    65845    57934     19 |  8.157 % |
1082.35/1083.16	c |   1971580 |     259    25613   152067 |    65845    59334     19 |  8.157 % |
1082.94/1083.77	c |   1973120 |     259    25613   152067 |    65845    60874     19 |  8.160 % |
1083.75/1084.57	c |   1974815 |     259    25613   152067 |    65845    62569     20 |  8.157 % |
1084.64/1085.40	c |   1976678 |     259    25613   152067 |    65845    64432     20 |  8.157 % |
1085.44/1086.24	c |   1978730 |     259    25613   152067 |    65845    59893     19 |  8.157 % |
1086.34/1087.18	c |   1980984 |     259    25613   152067 | 2147483647    62147     19 |  8.157 % |
1087.64/1088.46	c |   1983462 |     259    25613   152067 | 2147483647    64625     19 |  8.157 % |
1088.84/1089.67	c |   1986187 |     259    25613   152067 | 2147483647    67350     20 |  8.160 % |
1090.14/1090.97	c |   1989185 |     259    25613   152067 | 2147483647    70348     20 |  8.157 % |
1091.84/1092.69	c |   1992481 |     259    25613   152067 | 2147483647    73644     20 |  8.184 % |
1093.64/1094.44	c |   1996106 |     259    25613   152067 | 2147483647    77269     20 |  8.157 % |
1096.14/1096.99	c |   2000094 |     259    25613   152067 |    81163    72848     20 |  8.157 % |
1098.73/1099.50	c |   2004481 |     259    25613   152067 |    81163    77235     20 |  8.157 % |
1101.23/1102.07	c |   2009305 |     259    25613   152067 |    81163    70596     20 |  8.157 % |
1104.03/1104.87	c |   2014610 |     259    25613   152067 |    71291    65883     20 |  8.160 % |
1107.53/1108.30	c |   2020445 |     259    25613   152067 |    71274    61851     20 |  8.157 % |
1110.63/1111.47	c |   2026863 |     259    25613   152067 |    71274    68269     20 |  8.157 % |
1114.03/1114.82	c |   2033922 |     259    25613   152067 | 2147483647    68191     20 |  8.166 % |
1118.13/1118.93	c |   2041687 |     259    25613   152067 | 2147483647    75956     20 |  8.157 % |
1125.02/1125.80	c |   2050229 |     259    25613   152067 |    84269    69621     20 |  8.157 % |
1129.82/1130.62	c |   2059624 |     259    25613   152067 |    84269    79016     20 |  8.157 % |
1135.51/1136.35	c |   2069957 |     259    25613   152067 |    79392    76272     20 |  8.160 % |
1141.31/1142.14	c |   2081324 |     259    25613   152067 | 2147483647    71744     20 |  8.160 % |
1148.30/1149.18	c |   2093827 |     259    25613   152067 |    80420    74846     20 |  8.160 % |
1156.00/1156.83	c |   2107579 |     259    25613   152067 |    70944    69454     20 |  8.160 % |
1163.50/1164.35	c |   2122706 |     259    25613   152067 | 2147483647    63390     19 |  8.160 % |
1172.29/1173.16	c |   2139346 |     259    25613   152067 |    70684    64927     20 |  8.157 % |
1181.38/1182.29	c |   2157651 |     259    25613   152067 |    60985    55847     20 |  8.160 % |
1181.48/1182.32	c |   2157751 |     259    25613   152067 |    60985    55947     20 |  8.157 % |
1181.48/1182.38	c |   2157862 |     259    25613   152067 |    60985    56058     20 |  8.160 % |
1181.59/1182.44	c |   2157983 |     259    25613   152067 |    60985    56179     20 |  8.157 % |
1181.69/1182.50	c |   2158116 |     259    25613   152067 |    60985    56312     20 |  8.157 % |
1181.69/1182.55	c |   2158263 |     259    25613   152067 |    60985    56459     20 |  8.157 % |
1181.78/1182.62	c |   2158423 |     259    25613   152067 |    60985    56619     20 |  8.170 % |
1181.88/1182.71	c |   2158599 |     259    25613   152067 |    60985    56795     20 |  8.160 % |
1181.98/1182.83	c |   2158792 |     259    25613   152067 |    60985    56988     20 |  8.157 % |
1182.08/1182.94	c |   2159005 |     259    25613   152067 |    60985    57201     20 |  8.157 % |
1182.18/1183.07	c |   2159240 |     259    25613   152067 |    60985    57436     20 |  8.157 % |
1182.38/1183.22	c |   2159497 |     259    25613   152067 |    60985    57693     20 |  8.157 % |
1182.48/1183.37	c |   2159778 |     259    25613   152067 |    60985    57974     20 |  8.157 % |
1182.58/1183.49	c |   2160087 |     259    25613   152067 | 2147483647    58283     20 |  8.160 % |
1182.78/1183.66	c |   2160426 |     259    25613   152067 | 2147483647    58622     20 |  8.157 % |
1182.88/1183.79	c |   2160798 |     259    25613   152067 | 2147483647    58994     20 |  8.157 % |
1182.98/1183.89	c |   2161209 |     259    25613   152067 | 2147483647    59405     20 |  8.160 % |
1183.18/1184.03	c |   2161659 |     259    25613   152067 | 2147483647    59855     20 |  8.157 % |
1183.28/1184.18	c |   2162152 |     259    25613   152067 | 2147483647    60348     20 |  8.157 % |
1183.48/1184.38	c |   2162694 |     259    25613   152067 | 2147483647    60890     20 |  8.157 % |
1183.68/1184.59	c |   2163290 |     259    25613   152067 | 2147483647    61486     20 |  8.160 % |
1183.88/1184.78	c |   2163945 |     259    25613   152067 | 2147483647    62141     20 |  8.157 % |
1184.18/1185.05	c |   2164665 |     259    25613   152067 | 2147483647    62861     20 |  8.157 % |
1184.38/1185.25	c |   2165457 |     259    25613   152067 | 2147483647    63653     20 |  8.157 % |
1184.68/1185.52	c |   2166329 |     259    25613   152067 | 2147483647    64525     20 |  8.157 % |
1185.08/1185.90	c |   2167287 |     259    25613   152067 | 2147483647    65483     20 |  8.157 % |
1185.48/1186.31	c |   2168340 |     259    25613   152067 | 2147483647    66536     20 |  8.157 % |
1186.08/1186.91	c |   2169498 |     259    25613   152067 | 2147483647    67694     20 |  8.157 % |
1186.58/1187.45	c |   2170771 |     259    25613   152067 | 2147483647    68967     20 |  8.157 % |
1187.28/1188.17	c |   2172174 |     259    25613   152067 | 2147483647    70370     20 |  8.157 % |
1187.98/1188.86	c |   2173715 |     259    25613   152067 | 2147483647    71911     20 |  8.184 % |
1188.88/1189.78	c |   2175410 |     259    25613   152067 | 2147483647    73606     20 |  8.160 % |
1189.58/1190.49	c |   2177276 |     259    25613   152067 | 2147483647    75472     20 |  8.157 % |
1190.48/1191.35	c |   2179325 |     259    25613   152067 | 2147483647    77521     20 |  8.160 % |
1191.68/1192.60	c |   2181578 |     259    25613   152067 |    78197    70545     20 |  8.157 % |
1193.07/1193.90	c |   2184057 |     259    25613   152067 |    78197    73024     20 |  8.157 % |
1194.27/1195.17	c |   2186782 |     259    25613   152067 |    78197    75749     20 |  8.157 % |
1196.07/1196.92	c |   2189779 |     259    25613   152067 |    78197    69224     20 |  8.160 % |
1197.67/1198.56	c |   2193075 |     259    25613   152067 |    69446    64378     20 |  8.157 % |
1200.07/1200.90	HOME/SatELiteGTI: line 36: 13991 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834053-1242827614/watcher-1834053-1242827614 -o /tmp/evaluation-result-1834053-1242827614/solver-1834053-1242827614 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834053-1242827614.cnf 

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13985
/proc/meminfo: memFree=1874376/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=0
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310789966 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 213116485714 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/13985/statm: 1339 235 195 169 0 50 0
[pid=13986] ppid=13985 vsize=5356 CPUtime=0
/proc/13986/stat : 13986 (SatELiteGTI) S 13985 13985 13673 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 310789966 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/13986/statm: 1339 238 198 169 0 50 0
[pid=13988] ppid=13986 vsize=192 CPUtime=0
/proc/13988/stat : 13988 (sed) R 13986 13985 13673 0 -1 4194304 42 0 0 0 0 0 0 0 18 0 1 0 310789966 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 213113697557 0 0 4096 0 0 0 0 17 0 0 0
/proc/13988/statm: 48 23 16 11 0 11 0

[startup+0.080962 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13985
/proc/meminfo: memFree=1874376/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=0
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310789966 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102961 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13985
/proc/meminfo: memFree=1874376/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=0
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310789966 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13985
/proc/meminfo: memFree=1874376/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=0
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310789966 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701077 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 13985
/proc/meminfo: memFree=1874376/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=0
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310789966 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50222 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13990
/proc/meminfo: memFree=1867128/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 5356

[startup+3.10152 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13991
/proc/meminfo: memFree=1868536/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=6248 CPUtime=1.82
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 1410 0 0 0 182 0 0 0 25 0 1 0 310790091 6397952 1396 1992294400 134512640 135215339 4294956240 18446744073709551615 134544549 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 1562 1396 76 171 0 1389 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 11604

[startup+6.30212 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13991
/proc/meminfo: memFree=1865784/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=8472 CPUtime=5.02
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 1965 0 0 0 501 1 0 0 25 0 1 0 310790091 8675328 1951 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 2118 1951 76 171 0 1945 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 13828

[startup+12.7013 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13991
/proc/meminfo: memFree=1862712/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=11256 CPUtime=11.41
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 2640 0 0 0 1139 2 0 0 25 0 1 0 310790091 11526144 2626 1992294400 134512640 135215339 4294956240 18446744073709551615 134525933 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 2814 2626 76 171 0 2641 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 16612

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13991
/proc/meminfo: memFree=1859576/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=14428 CPUtime=24.2
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 3418 0 0 0 2417 3 0 0 25 0 1 0 310790091 14774272 3404 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 3607 3404 76 171 0 3434 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 19784

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13991
/proc/meminfo: memFree=1858104/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=15852 CPUtime=49.78
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 3760 0 0 0 4974 4 0 0 25 0 1 0 310790091 16232448 3746 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 3963 3746 76 171 0 3790 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 21208

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13991
/proc/meminfo: memFree=1857080/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=16872 CPUtime=100.94
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 4007 0 0 0 10090 4 0 0 25 0 1 0 310790091 17276928 3993 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 4218 3993 76 171 0 4045 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 22228

[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13991
/proc/meminfo: memFree=1856504/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=17200 CPUtime=160.89
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 4085 0 0 0 16085 4 0 0 25 0 1 0 310790091 17612800 4071 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 4300 4071 76 171 0 4127 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 22556

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13991
/proc/meminfo: memFree=1856376/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=17200 CPUtime=220.85
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 4093 0 0 0 22081 4 0 0 25 0 1 0 310790091 17612800 4079 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 4300 4079 76 171 0 4127 0
Current children cumulated CPU time (s) 222.08
Current children cumulated vsize (KiB) 22556

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13991
/proc/meminfo: memFree=1856184/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=17364 CPUtime=280.82
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 4133 0 0 0 28077 5 0 0 25 0 1 0 310790091 17780736 4119 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 4341 4119 76 171 0 4168 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 22720

[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13991
/proc/meminfo: memFree=1855992/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=17532 CPUtime=340.78
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 4160 0 0 0 34073 5 0 0 25 0 1 0 310790091 17952768 4146 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 4383 4146 76 171 0 4210 0
Current children cumulated CPU time (s) 342.01
Current children cumulated vsize (KiB) 22888

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13991
/proc/meminfo: memFree=1855928/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=17532 CPUtime=400.74
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 4169 0 0 0 40069 5 0 0 25 0 1 0 310790091 17952768 4155 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 4383 4155 76 171 0 4210 0
Current children cumulated CPU time (s) 401.97

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

[pid=13991] ppid=13985 vsize=17840 CPUtime=520.66
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 4232 0 0 0 52060 6 0 0 25 0 1 0 310790091 18268160 4218 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 4460 4218 76 171 0 4287 0
Current children cumulated CPU time (s) 521.89
Current children cumulated vsize (KiB) 23196

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13997
/proc/meminfo: memFree=1855224/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=18016 CPUtime=580.63
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 4249 0 0 0 58057 6 0 0 25 0 1 0 310790091 18448384 4235 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 4504 4235 76 171 0 4331 0
Current children cumulated CPU time (s) 581.86
Current children cumulated vsize (KiB) 23372

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13997
/proc/meminfo: memFree=1854904/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=18196 CPUtime=640.59
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 4295 0 0 0 64053 6 0 0 25 0 1 0 310790091 18632704 4281 1992294400 134512640 135215339 4294956240 18446744073709551615 134528881 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 4549 4281 76 171 0 4376 0
Current children cumulated CPU time (s) 641.82
Current children cumulated vsize (KiB) 23552

[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13997
/proc/meminfo: memFree=1854712/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=18196 CPUtime=700.55
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 4299 0 0 0 70049 6 0 0 25 0 1 0 310790091 18632704 4285 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 4549 4285 76 171 0 4376 0
Current children cumulated CPU time (s) 701.78
Current children cumulated vsize (KiB) 23552

[startup+762.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13997
/proc/meminfo: memFree=1854456/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=18372 CPUtime=760.52
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 4333 0 0 0 76046 6 0 0 25 0 1 0 310790091 18812928 4319 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 4593 4319 76 171 0 4420 0
Current children cumulated CPU time (s) 761.75
Current children cumulated vsize (KiB) 23728

[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13997
/proc/meminfo: memFree=1854392/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=18372 CPUtime=820.47
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 4360 0 0 0 82041 6 0 0 25 0 1 0 310790091 18812928 4346 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 4593 4346 76 171 0 4420 0
Current children cumulated CPU time (s) 821.7
Current children cumulated vsize (KiB) 23728

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13997
/proc/meminfo: memFree=1854072/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=18636 CPUtime=880.44
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 4424 0 0 0 88038 6 0 0 25 0 1 0 310790091 19083264 4410 1992294400 134512640 135215339 4294956240 18446744073709551615 134528676 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 4659 4410 76 171 0 4486 0
Current children cumulated CPU time (s) 881.67
Current children cumulated vsize (KiB) 23992

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13997
/proc/meminfo: memFree=1853496/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=19084 CPUtime=940.41
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 4517 0 0 0 94034 7 0 0 25 0 1 0 310790091 19542016 4503 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 4771 4503 76 171 0 4598 0
Current children cumulated CPU time (s) 941.64
Current children cumulated vsize (KiB) 24440

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13997
/proc/meminfo: memFree=1853240/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=19288 CPUtime=1000.36
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 4563 0 0 0 100029 7 0 0 25 0 1 0 310790091 19750912 4549 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 4822 4549 76 171 0 4649 0
Current children cumulated CPU time (s) 1001.59
Current children cumulated vsize (KiB) 24644

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13997
/proc/meminfo: memFree=1853048/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=19452 CPUtime=1060.33
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 4605 0 0 0 106026 7 0 0 25 0 1 0 310790091 19918848 4591 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 4863 4591 76 171 0 4690 0
Current children cumulated CPU time (s) 1061.56
Current children cumulated vsize (KiB) 24808

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13997
/proc/meminfo: memFree=1852728/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=19736 CPUtime=1120.3
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 4658 0 0 0 112023 7 0 0 25 0 1 0 310790091 20209664 4644 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 4934 4644 76 171 0 4761 0
Current children cumulated CPU time (s) 1121.53
Current children cumulated vsize (KiB) 25092

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13997
/proc/meminfo: memFree=1852536/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=19736 CPUtime=1180.25
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 4673 0 0 0 118018 7 0 0 25 0 1 0 310790091 20209664 4659 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 4934 4659 76 171 0 4761 0
Current children cumulated CPU time (s) 1181.48
Current children cumulated vsize (KiB) 25092



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1200.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13997
/proc/meminfo: memFree=1852472/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=19868 CPUtime=1198.84
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 4688 0 0 0 119877 7 0 0 25 0 1 0 310790091 20344832 4674 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 4967 4674 76 171 0 4794 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 25224

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

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

[startup+1200.9 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 13997
/proc/meminfo: memFree=1852472/2055920 swapFree=4179928/4192956
[pid=13985] ppid=13983 vsize=5356 CPUtime=1.23
/proc/13985/stat : 13985 (SatELiteGTI) S 13983 13985 13673 0 -1 4194304 336 2146 0 0 0 0 122 1 16 0 1 0 310789966 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13985/statm: 1339 239 197 169 0 50 0
[pid=13991] ppid=13985 vsize=19868 CPUtime=1198.84
/proc/13991/stat : 13991 (minisat_static) R 13985 13985 13673 0 -1 4194304 4688 0 0 0 119877 7 0 0 25 0 1 0 310790091 20344832 4674 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/13991/statm: 4967 4674 76 171 0 4794 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 25224

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.91
CPU time (s): 1200.11
CPU user time (s): 1200.01
CPU system time (s): 0.101984
CPU usage (%): 99.9333
Max. virtual memory (cumulated for all children) (KiB): 25224

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200.01
system time used= 0.101984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7179
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= 26
involuntary context switches= 7664

runsolver used 0.971852 second user time and 3.56546 second system time

The end

Launcher Data

Begin job on node37 at 2009-05-20 15:53:34
IDJOB=1834053
IDBENCH=71150
IDSOLVER=671
FILE ID=node37/1834053-1242827614
PBS_JOBID= 9322505
Free space on /tmp= 66368 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/modcircuits/mod4block_2vars_8gates_u2.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834053-1242827614/watcher-1834053-1242827614 -o /tmp/evaluation-result-1834053-1242827614/solver-1834053-1242827614 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1834053-1242827614.cnf

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

MD5SUM BENCH= a5bb71bc1d85a401ce9f42ed1404d63e
RANDOM SEED=667113117

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
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:       1874856 kB
Buffers:         22396 kB
Cached:         120992 kB
SwapCached:       7368 kB
Active:          39040 kB
Inactive:       113420 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1874856 kB
SwapTotal:     4192956 kB
SwapFree:      4179928 kB
Dirty:            3336 kB
Writeback:           0 kB
Mapped:          13932 kB
Slab:            14808 kB
Committed_AS:  1128880 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= 66364 MiB
End job on node37 at 2009-05-20 16:13:37