Trace number 1837254

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) 10000.1 10002.8

General information on the benchmark

NameAPPLICATIONS/bitverif/countbitsrotate/
countbitsrotate032.cnf
MD5SUM8d76aa747359ea8ccf15726792949452
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables8527
Number of clauses25484
Sum of the clauses size59460
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 216988
Number of clauses of size 38494
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data

0.00/0.00	c Parsing...
0.00/0.02	c ==============================================================================
0.00/0.02	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.02	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.02	c ==============================================================================
0.00/0.02	c |         0 |   25482    59458 |    7644       0        0     nan |  0.000 % |
0.00/0.16	c |         0 |   19097    53996 |      --       0       --      -- |     --   | -6383/-5457
0.00/0.16	c ==============================================================================
0.00/0.16	c Result  :   #vars: 4641   #clauses: 19097   #literals: 53996
0.00/0.16	c CPU time:   0.151976 s
0.00/0.16	c ==============================================================================
0.00/0.18	c This is MiniSat 2.0 beta
0.00/0.18	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.19	c ============================[ Problem Statistics ]=============================
0.00/0.19	c |                                                                             |
0.00/0.19	c |  Number of variables:  4641                                                 |
0.00/0.19	c |  Number of clauses:    19097                                                |
0.00/0.20	c |  Parsing time:         0.01         s                                       |
0.18/0.20	c ============================[ Search Statistics ]==============================
0.18/0.20	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.18/0.20	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.18/0.20	c ===============================================================================
0.18/0.20	c |         0 |    4641    19097    53996 |     6365        0    nan |  0.000 % |
0.18/0.24	c |       100 |    4641    19097    53996 |     6365      100     55 |  0.000 % |
0.18/0.36	c |       200 |    4641    19097    53996 |     6365      200     42 |  0.000 % |
0.18/0.47	c |       300 |    4641    19097    53996 |     6365      300     37 |  0.000 % |
0.18/0.54	c |       410 |    4641    19097    53996 |     6365      410     35 |  0.000 % |
0.18/0.59	c |       511 |    4641    19097    53996 |     6365      511     35 |  0.000 % |
0.18/0.68	c |       621 |    4641    19097    53996 |     6365      621     36 |  0.000 % |
0.18/0.81	c |       743 |    4641    19097    53996 |     6365      743     35 |  0.000 % |
0.18/0.93	c |       844 |    4641    19097    53996 |     6365      844     34 |  0.000 % |
0.98/1.08	c |       954 |    4641    19097    53996 |     6365      954     33 |  0.000 % |
1.18/1.21	c |      1075 |    4641    19097    53996 |     6365     1075     33 |  0.000 % |
1.28/1.30	c |      1209 |    4641    19097    53996 |     6365     1209     33 |  0.000 % |
1.28/1.32	c |      1309 |    4641    19097    53996 |     6365     1309     33 |  0.000 % |
1.28/1.36	c |      1420 |    4641    19097    53996 |     6365     1420     32 |  0.000 % |
1.38/1.50	c |      1542 |    4641    19097    53996 |     6365     1542     32 |  0.000 % |
1.58/1.60	c |      1676 |    4641    19097    53996 |     6365     1676     32 |  0.000 % |
1.58/1.69	c |      1822 |    4641    19097    53996 |     6365     1822     32 |  0.000 % |
1.68/1.71	c |      1922 |    4641    19097    53996 |     6365     1922     32 |  0.000 % |
1.78/1.80	c |      2032 |    4641    19097    53996 |     6365     2032     32 |  0.000 % |
1.78/1.89	c |      2153 |    4641    19097    53996 |     6365     2153     32 |  0.000 % |
1.98/2.06	c |      2287 |    4641    19097    53996 |     6365     2287     32 |  0.000 % |
2.18/2.25	c |      2434 |    4641    19097    53996 |     6365     2434     32 |  0.000 % |
2.38/2.47	c |      2594 |    4641    19097    53996 |     6365     2594     32 |  0.000 % |
2.48/2.56	c |      2695 |    4641    19097    53996 |     6365     2695     32 |  0.000 % |
2.58/2.67	c |      2805 |    4641    19097    53996 |     6365     2805     32 |  0.000 % |
2.78/2.82	c |      2926 |    4641    19097    53996 |     6365     2926     32 |  0.000 % |
2.88/2.92	c |      3060 |    4641    19097    53996 |     6365     3060     32 |  0.000 % |
2.98/3.08	c |      3207 |    4641    19097    53996 |     6365     3207     32 |  0.000 % |
3.18/3.27	c |      3367 |    4641    19097    53996 |     6365     3367     32 |  0.000 % |
3.48/3.52	c |      3544 |    4641    19097    53996 |     6365     3544     33 |  0.000 % |
3.58/3.60	c |      3645 |    4641    19097    53996 |     6365     3645     33 |  0.000 % |
3.58/3.64	c |      3755 |    4641    19097    53996 |     6365     3755     33 |  0.000 % |
3.68/3.76	c |      3878 |    4641    19097    53996 |     6365     3878     33 |  0.000 % |
3.87/3.96	c |      4011 |    4641    19097    53996 |     6365     4011     33 |  0.000 % |
3.97/4.04	c |      4159 |    4641    19097    53996 |     6365     4159     33 |  0.000 % |
4.07/4.17	c |      4320 |    4641    19097    53996 |     6365     4320     33 |  0.000 % |
4.28/4.39	c |      4496 |    4641    19097    53996 |     6365     4496     33 |  0.000 % |
4.57/4.68	c |      4689 |    4641    19097    53996 |     6365     4689     33 |  0.000 % |
4.78/4.83	c |      4789 |    4641    19097    53996 |     6365     4789     33 |  0.000 % |
4.88/5.00	c |      4899 |    4641    19097    53996 |     6365     4899     32 |  0.000 % |
5.08/5.11	c |      5020 |    4641    19097    53996 |     6365     5020     32 |  0.000 % |
5.18/5.26	c |      5153 |    4641    19097    53996 |     6365     5153     33 |  0.000 % |
5.38/5.43	c |      5299 |    4641    19097    53996 |     6365     5299     32 |  0.000 % |
5.58/5.61	c |      5459 |    4641    19097    53996 |     6365     5459     32 |  0.000 % |
5.78/5.83	c |      5635 |    4641    19097    53996 |     6365     5635     33 |  0.000 % |
5.97/6.04	c |      5829 |    4641    19097    53996 |     6365     5829     33 |  0.000 % |
6.17/6.27	c |      6041 |    4641    19097    53996 |     6365     6041     33 |  0.000 % |
6.27/6.39	c |      6141 |    4641    19097    53996 |     6365     6141     33 |  0.000 % |
6.48/6.54	c |      6252 |    4641    19097    53996 |     6365     6252     33 |  0.000 % |
6.67/6.71	c |      6374 |    4641    19097    53996 |     6365     6374     33 |  0.000 % |
6.87/6.91	c |      6508 |    4641    19097    53996 |     6365     5871     32 |  0.000 % |
6.97/7.00	c |      6656 |    4641    19097    53996 |     6365     6019     32 |  0.000 % |
7.17/7.20	c |      6816 |    4641    19097    53996 |     6365     6179     33 |  0.000 % |
7.37/7.43	c |      6993 |    4641    19097    53996 |     6365     6356     33 |  0.000 % |
7.37/7.49	c |      7186 |    4641    19097    53996 |     6365     6549     33 |  0.000 % |
7.68/7.76	c |      7399 |    4641    19097    53996 |     6365     6108     33 |  0.000 % |
7.77/7.82	c |      7632 |    4641    19097    53996 |     6365     6341     33 |  0.000 % |
7.87/7.93	c |      7732 |    4641    19097    53996 |     6365     6441     34 |  0.000 % |
7.97/8.03	c |      7843 |    4641    19097    53996 |     6365     5908     33 |  0.000 % |
7.97/8.06	c |      7965 |    4641    19097    53996 |     6365     6030     33 |  0.000 % |
8.17/8.24	c |      8098 |    4641    19097    53996 |     6365     6163     34 |  0.000 % |
8.37/8.40	c |      8244 |    4641    19097    53996 |     6365     6309     33 |  0.000 % |
8.37/8.48	c |      8407 |    4641    19097    53996 |     6365     6472     34 |  0.000 % |
8.47/8.58	c |      8585 |    4641    19097    53996 |     6365     6003     34 |  0.000 % |
8.78/8.82	c |      8778 |    4641    19097    53996 |     6365     6196     33 |  0.000 % |
8.97/9.08	c |      8992 |    4641    19097    53996 |     6365     6410     33 |  0.000 % |
9.27/9.38	c |      9226 |    4641    19097    53996 |     6365     6003     33 |  0.000 % |
9.57/9.66	c |      9482 |    4641    19097    53996 |     6365     6259     32 |  0.000 % |
9.67/9.71	c |      9582 |    4641    19097    53996 |     6365     6359     32 |  0.000 % |
9.78/9.83	c |      9693 |    4641    19097    53996 |     6365     6470     32 |  0.000 % |
9.88/9.95	c |      9814 |    4641    19097    53996 |     6365     5944     32 |  0.000 % |
10.07/10.16	c |      9948 |    4641    19097    53996 |     6365     6078     32 |  0.000 % |
10.27/10.35	c |     10095 |    4641    19097    53996 | 2147483647     6225     32 |  0.000 % |
10.47/10.52	c |     10255 |    4641    19097    53996 | 2147483647     6385     32 |  0.000 % |
10.67/10.75	c |     10431 |    4641    19097    53996 | 2147483647     6561     32 |  0.000 % |
10.88/10.93	c |     10625 |    4641    19097    53996 | 2147483647     6755     32 |  0.000 % |
11.17/11.20	c |     10837 |    4641    19097    53996 | 2147483647     6967     32 |  0.000 % |
11.37/11.44	c |     11071 |    4641    19097    53996 | 2147483647     7201     32 |  0.000 % |
11.67/11.75	c |     11327 |    4641    19097    53996 | 2147483647     7457     32 |  0.000 % |
11.98/12.02	c |     11608 |    4641    19097    53996 | 2147483647     7738     32 |  0.000 % |
12.08/12.16	c |     11708 |    4641    19097    53996 | 2147483647     7838     32 |  0.000 % |
12.17/12.25	c |     11819 |    4641    19097    53996 | 2147483647     7949     32 |  0.000 % |
12.27/12.38	c |     11940 |    4641    19097    53996 | 2147483647     8070     32 |  0.000 % |
12.47/12.59	c |     12074 |    4641    19097    53996 | 2147483647     8204     32 |  0.000 % |
12.67/12.75	c |     12220 |    4641    19097    53996 | 2147483647     8350     32 |  0.000 % |
12.77/12.86	c |     12382 |    4641    19097    53996 | 2147483647     8512     32 |  0.000 % |
12.97/13.10	c |     12560 |    4641    19097    53996 | 2147483647     8690     32 |  0.000 % |
13.18/13.27	c |     12753 |    4641    19097    53996 | 2147483647     8883     32 |  0.000 % |
13.47/13.58	c |     12965 |    4641    19097    53996 | 2147483647     9095     32 |  0.000 % |
13.77/13.88	c |     13199 |    4641    19097    53996 | 2147483647     9329     32 |  0.000 % |
13.87/13.99	c |     13458 |    4641    19097    53996 | 2147483647     9588     32 |  0.000 % |
14.17/14.28	c |     13739 |    4641    19097    53996 | 2147483647     9869     32 |  0.000 % |
14.47/14.58	c |     14049 |    4641    19097    53996 | 2147483647    10179     32 |  0.000 % |
14.57/14.69	c |     14149 |    4641    19097    53996 | 2147483647    10279     32 |  0.000 % |
14.67/14.74	c |     14260 |    4641    19097    53996 | 2147483647    10390     32 |  0.000 % |
14.77/14.84	c |     14381 |    4641    19097    53996 | 2147483647    10511     32 |  0.000 % |
14.97/15.02	c |     14514 |    4641    19097    53996 | 2147483647    10644     32 |  0.000 % |
15.17/15.21	c |     14661 |    4641    19097    53996 | 2147483647    10791     32 |  0.000 % |
15.27/15.34	c |     14821 |    4641    19097    53996 | 2147483647    10951     32 |  0.000 % |
15.57/15.62	c |     14997 |    4641    19097    53996 | 2147483647    11127     32 |  0.000 % |
15.67/15.76	c |     15190 |    4641    19097    53996 | 2147483647    11320     32 |  0.000 % |
15.97/16.00	c |     15403 |    4641    19097    53996 | 2147483647    11533     32 |  0.000 % |
16.27/16.33	c |     15636 |    4641    19097    53996 | 2147483647    11766     32 |  0.000 % |
16.57/16.69	c |     15893 |    4641    19097    53996 | 2147483647    12023     32 |  0.000 % |
16.97/17.01	c |     16175 |    4641    19097    53996 | 2147483647    12305     32 |  0.000 % |
17.17/17.23	c |     16484 |    4641    19097    53996 | 2147483647    12614     32 |  0.000 % |
17.47/17.59	c |     16824 |    4641    19097    53996 | 2147483647    12954     32 |  0.000 % |
17.67/17.78	c |     16924 |    4641    19097    53996 | 2147483647    13054     32 |  0.000 % |
17.87/17.92	c |     17034 |    4641    19097    53996 | 2147483647    13164     32 |  0.000 % |
17.97/18.07	c |     17155 |    4641    19097    53996 | 2147483647    13285     32 |  0.000 % |
18.27/18.30	c |     17289 |    4641    19097    53996 | 2147483647    13419     32 |  0.000 % |
18.47/18.53	c |     17436 |    4641    19097    53996 | 2147483647    13566     32 |  0.000 % |
18.67/18.77	c |     17597 |    4641    19097    53996 | 2147483647    13727     32 |  0.000 % |
18.97/19.04	c |     17773 |    4641    19097    53996 | 2147483647    13903     32 |  0.000 % |
19.27/19.31	c |     17967 |    4641    19097    53996 | 2147483647    14097     32 |  0.000 % |
19.57/19.62	c |     18179 |    4641    19097    53996 | 2147483647    14309     32 |  0.000 % |
19.88/19.91	c |     18412 |    4641    19097    53996 | 2147483647    14542     32 |  0.000 % |
20.17/20.20	c |     18668 |    4641    19097    53996 | 2147483647    14798     32 |  0.000 % |
20.57/20.63	c |     18950 |    4641    19097    53996 | 2147483647    15080     32 |  0.000 % |
21.07/21.20	c |     19260 |    4641    19097    53996 | 2147483647    15390     32 |  0.000 % |
21.57/21.63	c |     19599 |    4641    19097    53996 | 2147483647    15729     32 |  0.000 % |
22.07/22.15	c |     19971 |    4641    19097    53996 | 2147483647    16101     32 |  0.000 % |
22.17/22.29	c |     20072 |    4641    19097    53996 | 2147483647    16202     32 |  0.000 % |
22.37/22.44	c |     20183 |    4641    19097    53996 | 2147483647    16313     32 |  0.000 % |
22.47/22.55	c |     20304 |    4641    19097    53996 | 2147483647    16434     32 |  0.000 % |
22.67/22.73	c |     20438 |    4641    19097    53996 | 2147483647    16568     32 |  0.000 % |
22.87/22.98	c |     20584 |    4641    19097    53996 | 2147483647    16714     32 |  0.000 % |
23.08/23.18	c |     20745 |    4641    19097    53996 | 2147483647    16875     32 |  0.000 % |
23.37/23.41	c |     20923 |    4641    19097    53996 | 2147483647    17053     32 |  0.000 % |
23.57/23.66	c |     21116 |    4641    19097    53996 | 2147483647    17246     32 |  0.000 % |
23.97/24.04	c |     21328 |    4641    19097    53996 | 2147483647    17458     32 |  0.000 % |
24.18/24.23	c |     21561 |    4641    19097    53996 | 2147483647    17691     32 |  0.000 % |
24.37/24.44	c |     21817 |    4641    19097    53996 | 2147483647    17947     32 |  0.000 % |
24.87/24.91	c |     22098 |    4641    19097    53996 | 2147483647    18228     32 |  0.000 % |
25.28/25.34	c |     22407 |    4641    19097    53996 | 2147483647    18537     32 |  0.000 % |
25.67/25.79	c |     22746 |    4641    19097    53996 | 2147483647    18876     32 |  0.000 % |
26.38/26.41	c |     23119 |    4641    19097    53996 | 2147483647    19249     32 |  0.000 % |
27.07/27.15	c |     23528 |    4641    19097    53996 | 2147483647    19658     32 |  0.000 % |
27.17/27.26	c |     23628 |    4641    19097    53996 | 2147483647    19758     32 |  0.000 % |
27.27/27.36	c |     23739 |    4641    19097    53996 | 2147483647    19869     32 |  0.000 % |
27.38/27.49	c |     23861 |    4641    19097    53996 | 2147483647    19991     32 |  0.000 % |
27.57/27.60	c |     23994 |    4641    19097    53996 | 2147483647    20124     32 |  0.000 % |
27.67/27.70	c |     24140 |    4641    19097    53996 | 2147483647    20270     32 |  0.000 % |
27.77/27.85	c |     24300 |    4641    19097    53996 | 2147483647    20430     32 |  0.000 % |
28.07/28.15	c |     24477 |    4641    19097    53996 | 2147483647    20607     32 |  0.000 % |
28.47/28.56	c |     24670 |    4641    19097    53996 | 2147483647    20800     32 |  0.000 % |
28.97/29.02	c |     24882 |    4641    19097    53996 | 2147483647    21012     32 |  0.000 % |
29.47/29.53	c |     25116 |    4641    19097    53996 | 2147483647    21246     32 |  0.000 % |
29.97/30.03	c |     25373 |    4641    19097    53996 | 2147483647    21503     32 |  0.000 % |
30.47/30.53	c |     25654 |    4641    19097    53996 | 2147483647    21784     32 |  0.000 % |
31.07/31.13	c |     25964 |    4641    19097    53996 | 2147483647    22094     32 |  0.000 % |
31.37/31.49	c |     26304 |    4641    19097    53996 | 2147483647    22434     32 |  0.000 % |
31.87/31.92	c |     26676 |    4641    19097    53996 | 2147483647    22806     32 |  0.000 % |
32.67/32.77	c |     27086 |    4641    19097    53996 | 2147483647    23216     32 |  0.000 % |
33.47/33.51	c |     27535 |    4641    19097    53996 | 2147483647    23665     32 |  0.000 % |
33.57/33.60	c |     27636 |    4641    19097    53996 | 2147483647    23766     32 |  0.000 % |
33.67/33.79	c |     27746 |    4641    19097    53996 | 2147483647    23876     32 |  0.000 % |
33.77/33.81	c |     27869 |    4641    19097    53996 | 2147483647    23999     32 |  0.000 % |
33.87/33.98	c |     28002 |    4641    19097    53996 | 2147483647    24132     32 |  0.000 % |
34.17/34.24	c |     28149 |    4641    19097    53996 | 2147483647    24279     32 |  0.000 % |
34.37/34.49	c |     28310 |    4641    19097    53996 | 2147483647    24440     32 |  0.000 % |
34.47/34.56	c |     28486 |    4641    19097    53996 | 2147483647    24616     32 |  0.000 % |
34.77/34.85	c |     28680 |    4641    19097    53996 | 2147483647    24810     32 |  0.000 % |
35.17/35.28	c |     28892 |    4641    19097    53996 | 2147483647    25022     32 |  0.000 % |
35.37/35.45	c |     29125 |    4641    19097    53996 | 2147483647    25255     32 |  0.000 % |
35.87/35.94	c |     29382 |    4641    19097    53996 | 2147483647    25512     32 |  0.000 % |
36.27/36.39	c |     29664 |    4641    19097    53996 | 2147483647    25794     32 |  0.000 % |
36.87/36.99	c |     29973 |    4641    19097    53996 | 2147483647    26103     32 |  0.000 % |
37.77/37.89	c |     30313 |    4641    19097    53996 | 2147483647    26443     32 |  0.000 % |
38.37/38.43	c |     30686 |    4641    19097    53996 | 2147483647    26816     32 |  0.000 % |
38.77/38.89	c |     31096 |    4641    19097    53996 | 2147483647    27226     32 |  0.000 % |
39.47/39.58	c |     31545 |    4641    19097    53996 | 2147483647    27675     32 |  0.000 % |
40.36/40.47	c |     32038 |    4641    19097    53996 | 2147483647    28168     32 |  0.000 % |
40.57/40.62	c |     32138 |    4641    19097    53996 | 2147483647    28268     32 |  0.000 % |
40.76/40.85	c |     32249 |    4641    19097    53996 | 2147483647    28379     32 |  0.000 % |
41.06/41.11	c |     32370 |    4641    19097    53996 | 2147483647    28500     32 |  0.000 % |
41.26/41.39	c |     32503 |    4641    19097    53996 | 2147483647    28633     32 |  0.000 % |
41.56/41.69	c |     32649 |    4641    19097    53996 | 2147483647    28779     32 |  0.000 % |
41.86/41.97	c |     32810 |    4641    19097    53996 | 2147483647    28940     32 |  0.000 % |
42.16/42.23	c |     32986 |    4641    19097    53996 | 2147483647    29116     32 |  0.000 % |
42.46/42.55	c |     33181 |    4641    19097    53996 | 2147483647    29311     32 |  0.000 % |
42.87/42.93	c |     33393 |    4641    19097    53996 | 2147483647    29523     32 |  0.000 % |
43.36/43.46	c |     33626 |    4641    19097    53996 | 2147483647    29756     32 |  0.000 % |
43.56/43.67	c |     33882 |    4641    19097    53996 | 2147483647    30012     32 |  0.000 % |
43.97/44.02	c |     34164 |    4641    19097    53996 | 2147483647    30294     32 |  0.000 % |
44.66/44.73	c |     34473 |    4641    19097    53996 | 2147483647    30603     32 |  0.000 % |
45.36/45.46	c |     34812 |    4641    19097    53996 | 2147483647    30942     32 |  0.000 % |
46.06/46.18	c |     35185 |    4641    19097    53996 | 2147483647    31315     32 |  0.000 % |
46.86/46.91	c |     35594 |    4641    19097    53996 | 2147483647    31724     32 |  0.000 % |
47.67/47.77	c |     36043 |    4641    19097    53996 | 2147483647    32173     32 |  0.000 % |
48.67/48.75	c |     36536 |    4641    19097    53996 | 2147483647    32666     32 |  0.000 % |
49.37/49.50	c |     37078 |    4641    19097    53996 | 2147483647    33208     32 |  0.000 % |
49.57/49.65	c |     37179 |    4641    19097    53996 | 2147483647    33309     32 |  0.000 % |
49.67/49.74	c |     37290 |    4641    19097    53996 | 2147483647    33420     32 |  0.000 % |
49.97/50.00	c |     37412 |    4641    19097    53996 | 2147483647    33542     32 |  0.000 % |
50.17/50.29	c |     37545 |    4641    19097    53996 | 2147483647    33675     32 |  0.000 % |
50.47/50.57	c |     37691 |    4641    19097    53996 | 2147483647    33821     32 |  0.000 % |
50.87/50.91	c |     37851 |    4641    19097    53996 | 2147483647    33981     32 |  0.000 % |
51.17/51.27	c |     38027 |    4641    19097    53996 | 2147483647    34157     32 |  0.000 % |
51.37/51.41	c |     38221 |    4641    19097    53996 | 2147483647    34351     32 |  0.000 % |
51.67/51.77	c |     38433 |    4641    19097    53996 | 2147483647    34563     32 |  0.000 % |
51.96/52.08	c |     38666 |    4641    19097    53996 | 2147483647    34796     32 |  0.000 % |
52.16/52.23	c |     38926 |    4641    19097    53996 | 2147483647    35056     32 |  0.000 % |
52.56/52.69	c |     39207 |    4641    19097    53996 | 2147483647    35337     32 |  0.000 % |
53.26/53.31	c |     39516 |    4641    19097    53996 | 2147483647    35646     32 |  0.000 % |
53.87/53.96	c |     39856 |    4641    19097    53996 | 2147483647    35986     32 |  0.000 % |
54.56/54.64	c |     40228 |    4641    19097    53996 | 2147483647    36358     32 |  0.000 % |
55.46/55.50	c |     40637 |    4641    19097    53996 | 2147483647    36767     32 |  0.000 % |
56.46/56.54	c |     41086 |    4641    19097    53996 | 2147483647    37216     32 |  0.000 % |
57.36/57.49	c |     41579 |    4641    19097    53996 | 2147483647    37709     32 |  0.000 % |
58.46/58.53	c |     42121 |    4641    19097    53996 | 2147483647    38251     32 |  0.000 % |
59.76/59.82	c |     42717 |    4641    19097    53996 | 2147483647    38847     32 |  0.000 % |
59.96/60.03	c |     42817 |    4641    19097    53996 | 2147483647    38947     32 |  0.000 % |
60.16/60.23	c |     42927 |    4641    19097    53996 | 2147483647    39057     32 |  0.000 % |
60.26/60.39	c |     43048 |    4641    19097    53996 | 2147483647    39178     32 |  0.000 % |
60.56/60.65	c |     43181 |    4641    19097    53996 | 2147483647    39311     32 |  0.000 % |
60.86/60.96	c |     43328 |    4641    19097    53996 | 2147483647    39458     32 |  0.000 % |
61.16/61.20	c |     43488 |    4641    19097    53996 | 2147483647    39618     32 |  0.000 % |
61.56/61.66	c |     43664 |    4641    19097    53996 | 2147483647    39794     32 |  0.000 % |
61.96/62.08	c |     43858 |    4641    19097    53996 | 2147483647    39988     32 |  0.000 % |
62.46/62.54	c |     44070 |    4641    19097    53996 | 2147483647    40200     32 |  0.000 % |
62.96/63.04	c |     44304 |    4641    19097    53996 | 2147483647    40434     32 |  0.000 % |
63.36/63.42	c |     44561 |    4641    19097    53996 | 2147483647    40691     32 |  0.000 % |
63.86/63.98	c |     44843 |    4641    19097    53996 | 2147483647    40973     32 |  0.000 % |
64.56/64.62	c |     45152 |    4641    19097    53996 | 2147483647    41282     32 |  0.000 % |
64.76/64.90	c |     45493 |    4641    19097    53996 | 2147483647    41623     32 |  0.000 % |
65.36/65.45	c |     45866 |    4641    19097    53996 | 2147483647    41996     32 |  0.000 % |
65.76/65.87	c |     46275 |    4641    19097    53996 | 2147483647    42405     32 |  0.000 % |
66.76/66.80	c |     46725 |    4641    19097    53996 | 2147483647    42855     32 |  0.000 % |
67.56/67.67	c |     47220 |    4641    19097    53996 | 2147483647    43350     32 |  0.000 % |
68.17/68.29	c |     47762 |    4641    19097    53996 | 2147483647    43892     32 |  0.000 % |
69.27/69.35	c |     48358 |    4641    19097    53996 | 2147483647    44488     32 |  0.000 % |
70.96/71.08	c |     49014 |    4641    19097    53996 | 2147483647    45144     32 |  0.000 % |
71.16/71.28	c |     49114 |    4641    19097    53996 | 2147483647    45244     32 |  0.000 % |
71.37/71.46	c |     49224 |    4641    19097    53996 | 2147483647    45354     32 |  0.000 % |
71.56/71.70	c |     49345 |    4641    19097    53996 | 2147483647    45475     32 |  0.000 % |
71.76/71.83	c |     49478 |    4641    19097    53996 | 2147483647    45608     32 |  0.000 % |
72.06/72.13	c |     49625 |    4641    19097    53996 | 2147483647    45755     32 |  0.000 % |
72.46/72.58	c |     49785 |    4641    19097    53996 | 2147483647    45915     32 |  0.000 % |
72.96/73.04	c |     49961 |    4641    19097    53996 | 2147483647    46091     32 |  0.000 % |
73.36/73.48	c |     50154 |    4641    19097    53996 | 2147483647    46284     32 |  0.000 % |
73.86/73.96	c |     50367 |    4641    19097    53996 | 2147483647    46497     32 |  0.000 % |
74.36/74.45	c |     50601 |    4641    19097    53996 | 2147483647    46731     32 |  0.000 % |
74.96/75.04	c |     50858 |    4641    19097    53996 | 2147483647    46988     32 |  0.000 % |
75.26/75.37	c |     51139 |    4641    19097    53996 | 2147483647    47269     32 |  0.000 % |
76.06/76.13	c |     51449 |    4641    19097    53996 | 2147483647    47579     32 |  0.000 % |
76.76/76.88	c |     51788 |    4641    19097    53996 | 2147483647    47918     32 |  0.000 % |
77.16/77.25	c |     52160 |    4641    19097    53996 | 2147483647    48290     32 |  0.000 % |
78.06/78.13	c |     52570 |    4641    19097    53996 | 2147483647    48700     32 |  0.000 % |
78.76/78.80	c |     53020 |    4641    19097    53996 | 2147483647    49150     32 |  0.000 % |
79.96/80.08	c |     53513 |    4641    19097    53996 | 2147483647    49643     32 |  0.000 % |
80.46/80.53	c |     54056 |    4641    19097    53996 | 2147483647    50186     32 |  0.000 % |
81.56/81.67	c |     54652 |    4641    19097    53996 | 2147483647    50782     32 |  0.000 % |
83.05/83.14	c |     55308 |    4641    19097    53996 | 2147483647    51438     32 |  0.000 % |
85.15/85.26	c |     56028 |    4641    19097    53996 | 2147483647    52158     32 |  0.000 % |
85.45/85.54	c |     56129 |    4641    19097    53996 | 2147483647    52259     32 |  0.000 % |
85.66/85.72	c |     56239 |    4641    19097    53996 | 2147483647    52369     32 |  0.000 % |
85.95/86.01	c |     56361 |    4641    19097    53996 | 2147483647    52491     32 |  0.000 % |
86.15/86.27	c |     56495 |    4641    19097    53996 | 2147483647    52625     32 |  0.000 % |
86.55/86.67	c |     56642 |    4641    19097    53996 | 2147483647    52772     32 |  0.000 % |
86.95/87.06	c |     56802 |    4641    19097    53996 | 2147483647    52932     32 |  0.000 % |
87.35/87.50	c |     56979 |    4641    19097    53996 | 2147483647    53109     32 |  0.000 % |
87.75/87.89	c |     57172 |    4641    19097    53996 | 2147483647    53302     32 |  0.000 % |
88.05/88.10	c |     57384 |    4641    19097    53996 | 2147483647    53514     32 |  0.000 % |
88.35/88.47	c |     57618 |    4641    19097    53996 | 2147483647    53748     32 |  0.000 % |
88.85/88.91	c |     57875 |    4641    19097    53996 | 2147483647    54005     32 |  0.000 % |
89.55/89.66	c |     58156 |    4641    19097    53996 | 2147483647    54286     32 |  0.000 % |
90.25/90.39	c |     58466 |    4641    19097    53996 | 2147483647    54596     32 |  0.000 % |
91.05/91.20	c |     58805 |    4641    19097    53996 | 2147483647    54935     32 |  0.000 % |
92.05/92.12	c |     59177 |    4641    19097    53996 | 2147483647    55307     32 |  0.000 % |
93.05/93.14	c |     59587 |    4641    19097    53996 | 2147483647    55717     31 |  0.000 % |
94.25/94.30	c |     60037 |    4641    19097    53996 | 2147483647    56167     32 |  0.000 % |
95.15/95.21	c |     60530 |    4641    19097    53996 | 2147483647    56660     32 |  0.000 % |
96.46/96.58	c |     61072 |    4641    19097    53996 | 2147483647    57202     31 |  0.000 % |
97.86/97.96	c |     61670 |    4641    19097    53996 | 2147483647    57800     31 |  0.000 % |
99.76/99.81	c |     62325 |    4641    19097    53996 | 2147483647    58455     31 |  0.000 % |
101.55/101.62	c |     63046 |    4641    19097    53996 | 2147483647    59176     31 |  0.000 % |
103.55/103.65	c |     63839 |    4641    19097    53996 | 2147483647    59969     31 |  0.000 % |
103.75/103.87	c |     63939 |    4641    19097    53996 | 2147483647    60069     31 |  0.000 % |
103.85/103.98	c |     64051 |    4641    19097    53996 | 2147483647    60181     31 |  0.000 % |
104.15/104.24	c |     64173 |    4641    19097    53996 | 2147483647    60303     31 |  0.000 % |
104.55/104.61	c |     64306 |    4641    19097    53996 | 2147483647    60436     31 |  0.000 % |
104.85/104.99	c |     64454 |    4641    19097    53996 | 2147483647    60584     31 |  0.000 % |
105.25/105.33	c |     64614 |    4641    19097    53996 | 2147483647    60744     31 |  0.000 % |
105.75/105.87	c |     64790 |    4611    18918    53360 | 2147483647    60918     31 |  0.646 % |
106.25/106.38	c |     64983 |    4611    18918    53360 | 2147483647    61111     31 |  0.646 % |
106.66/106.72	c |     65196 |    4611    18918    53360 | 2147483647    61324     31 |  0.647 % |
107.15/107.24	c |     65429 |    4611    18918    53360 | 2147483647    61557     31 |  0.646 % |
107.95/108.06	c |     65686 |    4611    18918    53360 | 2147483647    61814     31 |  0.646 % |
108.35/108.43	c |     65967 |    4611    18918    53360 | 2147483647    62095     31 |  0.646 % |
109.25/109.36	c |     66276 |    4611    18918    53360 | 2147483647    62404     31 |  0.646 % |
110.15/110.23	c |     66616 |    4611    18918    53360 | 2147483647    62744     31 |  0.647 % |
110.65/110.74	c |     66989 |    4611    18918    53360 | 2147483647    63117     31 |  0.646 % |
111.45/111.54	c |     67398 |    4611    18918    53360 | 2147483647    63526     31 |  0.646 % |
112.75/112.86	c |     67848 |    4611    18918    53360 | 2147483647    63976     31 |  0.646 % |
114.45/114.53	c |     68341 |    4611    18918    53360 | 2147483647    64469     31 |  0.646 % |
115.84/115.99	c |     68885 |    4611    18918    53360 | 2147483647    65013     31 |  0.646 % |
117.34/117.45	c |     69481 |    4611    18918    53360 | 2147483647    65609     31 |  0.646 % |
118.34/118.48	c |     70137 |    4611    18918    53360 | 2147483647    66265     31 |  0.646 % |
119.34/119.41	c |     70858 |    4611    18918    53360 | 2147483647    66986     31 |  0.646 % |
121.84/121.92	c |     71650 |    4611    18918    53360 | 2147483647    67778     31 |  0.646 % |
124.25/124.35	c |     72521 |    4611    18918    53360 | 2147483647    68649     31 |  0.646 % |
124.54/124.65	c |     72622 |    4611    18918    53360 | 2147483647    68750     31 |  0.647 % |
124.84/124.98	c |     72732 |    4611    18918    53360 | 2147483647    68860     31 |  0.647 % |
125.25/125.40	c |     72854 |    4611    18918    53360 | 2147483647    68982     31 |  0.646 % |
125.44/125.59	c |     72989 |    4611    18918    53360 | 2147483647    69117     31 |  0.646 % |
125.74/125.88	c |     73135 |    4611    18918    53360 | 2147483647    69263     31 |  0.647 % |
126.24/126.39	c |     73295 |    4611    18918    53360 | 2147483647    69423     31 |  0.647 % |
126.84/126.96	c |     73472 |    4611    18918    53360 | 2147483647    69600     31 |  0.646 % |
127.44/127.52	c |     73665 |    4611    18918    53360 | 2147483647    69793     31 |  0.647 % |
127.74/127.85	c |     73877 |    4611    18918    53360 | 2147483647    70005     31 |  0.646 % |
128.54/128.60	c |     74111 |    4611    18918    53360 | 2147483647    70239     31 |  0.646 % |
129.54/129.60	c |     74367 |    4611    18918    53360 | 2147483647    70495     31 |  0.646 % |
130.54/130.62	c |     74649 |    4611    18918    53360 | 2147483647    70777     31 |  0.646 % |
131.64/131.75	c |     74959 |    4611    18918    53360 | 2147483647    71087     31 |  0.646 % |
132.63/132.77	c |     75299 |    4611    18918    53360 | 2147483647    71427     31 |  0.646 % |
133.14/133.20	c |     75671 |    4611    18918    53360 | 2147483647    71799     31 |  0.646 % |
134.14/134.28	c |     76080 |    4611    18918    53360 | 2147483647    72208     31 |  0.646 % |
135.24/135.38	c |     76530 |    4611    18918    53360 | 2147483647    72658     31 |  0.647 % |
136.73/136.86	c |     77023 |    4611    18918    53360 | 2147483647    73151     31 |  0.647 % |
138.33/138.45	c |     77565 |    4611    18918    53360 | 2147483647    73693     31 |  0.647 % |
139.93/140.02	c |     78162 |    4611    18918    53360 | 2147483647    74290     31 |  0.647 % |
142.03/142.14	c |     78817 |    4611    18918    53360 | 2147483647    74945     31 |  0.647 % |
144.13/144.25	c |     79537 |    4611    18918    53360 | 2147483647    75665     31 |  0.646 % |
146.63/146.75	c |     80330 |    4611    18918    53360 | 2147483647    76458     31 |  0.647 % |
149.13/149.30	c |     81202 |    4611    18918    53360 | 2147483647    77330     31 |  0.647 % |
152.84/152.93	c |     82161 |    4611    18918    53360 | 2147483647    78289     31 |  0.646 % |
153.14/153.28	c |     82261 |    4611    18918    53360 | 2147483647    78389     31 |  0.646 % |
153.54/153.65	c |     82372 |    4611    18918    53360 | 2147483647    78500     31 |  0.646 % |
153.94/154.04	c |     82494 |    4611    18918    53360 | 2147483647    78622     31 |  0.647 % |
154.44/154.56	c |     82628 |    4611    18918    53360 | 2147483647    78756     31 |  0.647 % |
155.04/155.13	c |     82775 |    4611    18918    53360 | 2147483647    78903     31 |  0.647 % |
155.54/155.60	c |     82936 |    4611    18918    53360 | 2147483647    79064     31 |  0.647 % |
155.94/156.04	c |     83112 |    4611    18918    53360 | 2147483647    79240     31 |  0.646 % |
156.64/156.72	c |     83306 |    4611    18918    53360 | 2147483647    79434     31 |  0.646 % |
157.14/157.24	c |     83519 |    4611    18918    53360 | 2147483647    79647     31 |  0.646 % |
157.93/158.07	c |     83753 |    4611    18918    53360 | 2147483647    79881     31 |  0.647 % |
158.53/158.68	c |     84010 |    4611    18918    53360 | 2147483647    80138     31 |  0.647 % |
159.53/159.62	c |     84291 |    4611    18918    53360 | 2147483647    80419     31 |  0.647 % |
160.54/160.61	c |     84601 |    4611    18918    53360 | 2147483647    80729     31 |  0.647 % |
161.13/161.25	c |     84940 |    4611    18918    53360 | 2147483647    81068     31 |  0.646 % |
162.23/162.40	c |     85312 |    4611    18918    53360 | 2147483647    81440     31 |  0.646 % |
163.63/163.71	c |     85721 |    4611    18918    53360 | 2147483647    81849     31 |  0.646 % |
164.93/165.09	c |     86171 |    4611    18918    53360 | 2147483647    82299     31 |  0.646 % |
166.33/166.46	c |     86664 |    4611    18918    53360 | 2147483647    82792     31 |  0.646 % |
167.23/167.34	c |     87206 |    4611    18918    53360 | 2147483647    83334     31 |  0.646 % |
169.23/169.34	c |     87803 |    4611    18918    53360 | 2147483647    83931     31 |  0.646 % |
171.13/171.21	c |     88459 |    4611    18918    53360 | 2147483647    84587     31 |  0.646 % |
173.23/173.36	c |     89180 |    4505    18479    52043 | 2147483647    85300     32 |  6.292 % |
176.03/176.12	c |     89972 |    4505    18479    52043 | 2147483647    86092     32 |  6.292 % |
179.03/179.15	c |     90843 |    4349    17688    49675 | 2147483647    86949     32 |  6.292 % |
182.62/182.71	c |     91802 |    4349    17688    49675 | 2147483647    87908     32 |  6.292 % |
186.42/186.50	c |     92855 |    4349    17688    49675 | 2147483647    88961     32 |  6.292 % |
186.62/186.70	c |     92957 |    4349    17688    49675 | 2147483647    89063     32 |  6.292 % |
187.02/187.13	c |     93068 |    4349    17688    49675 | 2147483647    89174     32 |  6.292 % |
187.42/187.57	c |     93190 |    4349    17688    49675 | 2147483647    89296     32 |  6.292 % |
187.92/188.05	c |     93323 |    4349    17688    49675 | 2147483647    89429     32 |  6.292 % |
188.42/188.56	c |     93469 |    4349    17688    49675 | 2147483647    89575     32 |  6.292 % |
189.02/189.12	c |     93630 |    4349    17688    49675 | 2147483647    89736     32 |  6.292 % |
189.42/189.59	c |     93806 |    4349    17688    49675 | 2147483647    89912     32 |  6.292 % |
190.12/190.23	c |     94000 |    4349    17688    49675 | 2147483647    90106     32 |  6.292 % |
190.82/190.91	c |     94212 |    4349    17688    49675 | 2147483647    90318     32 |  6.292 % |
191.32/191.47	c |     94445 |    4349    17688    49675 | 2147483647    90551     32 |  6.292 % |
191.62/191.77	c |     94701 |    4349    17688    49675 | 2147483647    90807     32 |  6.292 % |
192.62/192.75	c |     94983 |    4349    17688    49675 | 2147483647    91089     32 |  6.292 % |
193.72/193.83	c |     95293 |    4349    17688    49675 | 2147483647    91399     32 |  6.292 % |
194.62/194.72	c |     95633 |    4349    17688    49675 | 2147483647    91739     32 |  6.292 % |
195.62/195.73	c |     96005 |    4349    17688    49675 | 2147483647    92111     32 |  6.292 % |
196.82/196.96	c |     96414 |    4349    17688    49675 | 2147483647    92520     32 |  6.292 % |
198.22/198.36	c |     96863 |    4349    17688    49675 | 2147483647    92969     31 |  6.292 % |
200.02/200.17	c |     97357 |    4349    17688    49675 | 2147483647    93463     31 |  6.292 % |
201.52/201.61	c |     97900 |    4349    17688    49675 | 2147483647    94006     31 |  6.292 % |
203.52/203.63	c |     98496 |    4349    17688    49675 | 2147483647    94602     31 |  6.292 % |
206.21/206.31	c |     99152 |    4349    17688    49675 | 2147483647    95258     31 |  6.292 % |
208.82/208.99	c |     99873 |    4349    17688    49675 | 2147483647    95979     31 |  6.292 % |
211.71/211.86	c |    100667 |    4349    17688    49675 | 2147483647    96773     31 |  6.292 % |
214.51/214.63	c |    101538 |    4349    17688    49675 | 2147483647    97644     31 |  6.292 % |
217.61/217.73	c |    102497 |    4349    17688    49675 | 2147483647    98603     31 |  6.292 % |
221.01/221.16	c |    103551 |    4349    17688    49675 | 2147483647    99657     31 |  6.292 % |
224.90/225.03	c |    104709 |    4349    17688    49675 | 2147483647   100815     31 |  6.292 % |
225.20/225.36	c |    104810 |    4349    17688    49675 | 2147483647   100916     31 |  6.292 % |
225.50/225.66	c |    104921 |    4349    17688    49675 | 2147483647   101027     31 |  6.292 % |
225.80/225.93	c |    105043 |    4349    17688    49675 | 2147483647   101149     31 |  6.292 % |
226.30/226.41	c |    105177 |    4349    17688    49675 | 2147483647   101283     31 |  6.292 % |
226.70/226.89	c |    105324 |    4349    17688    49675 | 2147483647   101430     31 |  6.292 % |
227.30/227.40	c |    105484 |    4349    17688    49675 | 2147483647   101590     31 |  6.292 % |
228.00/228.10	c |    105661 |    4349    17688    49675 | 2147483647   101767     31 |  6.292 % |
228.80/228.93	c |    105855 |    4349    17688    49675 | 2147483647   101961     31 |  6.292 % |
229.71/229.86	c |    106067 |    4349    17688    49675 | 2147483647   102173     31 |  6.292 % |
230.60/230.79	c |    106301 |    4349    17688    49675 | 2147483647   102407     31 |  6.292 % |
231.50/231.67	c |    106558 |    4349    17688    49675 | 2147483647   102664     31 |  6.292 % |
232.60/232.70	c |    106840 |    4349    17688    49675 | 2147483647   102946     31 |  6.292 % |
233.70/233.87	c |    107149 |    4349    17688    49675 | 2147483647   103255     31 |  6.292 % |
235.10/235.24	c |    107489 |    4349    17688    49675 | 2147483647   103595     31 |  6.292 % |
236.30/236.43	c |    107861 |    4349    17688    49675 | 2147483647   103967     31 |  6.292 % |
237.90/238.01	c |    108270 |    4349    17688    49675 | 2147483647   104376     31 |  6.292 % |
239.30/239.41	c |    108720 |    4349    17688    49675 | 2147483647   104826     31 |  6.292 % |
240.70/240.82	c |    109213 |    4349    17688    49675 | 2147483647   105319     31 |  6.292 % |
242.40/242.50	c |    109755 |    4349    17688    49675 | 2147483647   105861     31 |  6.292 % |
244.00/244.11	c |    110351 |    4349    17688    49675 | 2147483647   106457     31 |  6.292 % |
246.40/246.56	c |    111007 |    4349    17688    49675 | 2147483647   107113     31 |  6.292 % |
249.00/249.14	c |    111727 |    4349    17688    49675 | 2147483647   107833     31 |  6.292 % |
251.60/251.71	c |    112520 |    4349    17688    49675 | 2147483647   108626     31 |  6.292 % |
255.01/255.11	c |    113391 |    4349    17688    49675 | 2147483647   109497     31 |  6.292 % |
258.41/258.57	c |    114349 |    4349    17688    49675 | 2147483647   110455     31 |  6.292 % |
261.90/262.01	c |    115402 |    4349    17688    49675 | 2147483647   111508     31 |  6.292 % |
265.90/266.02	c |    116561 |    4349    17688    49675 | 2147483647   112667     31 |  6.292 % |
270.40/270.54	c |    117834 |    4349    17688    49675 | 2147483647   113940     31 |  6.292 % |
270.80/270.97	c |    117934 |    4349    17688    49675 | 2147483647   114040     31 |  6.292 % |
271.00/271.20	c |    118044 |    4349    17688    49675 | 2147483647   114150     31 |  6.292 % |
271.50/271.67	c |    118166 |    4349    17688    49675 | 2147483647   114272     31 |  6.292 % |
272.00/272.19	c |    118299 |    4349    17688    49675 | 2147483647   114405     31 |  6.292 % |
272.30/272.43	c |    118446 |    4349    17688    49675 | 2147483647   114552     31 |  6.292 % |
272.50/272.63	c |    118606 |    4349    17688    49675 | 2147483647   114712     31 |  6.292 % |
273.00/273.17	c |    118782 |    4349    17688    49675 | 2147483647   114888     31 |  6.292 % |
273.80/273.91	c |    118975 |    4349    17688    49675 | 2147483647   115081     31 |  6.292 % |
274.50/274.62	c |    119188 |    4349    17688    49675 | 2147483647   115294     31 |  6.292 % |
275.20/275.32	c |    119422 |    4349    17688    49675 | 2147483647   115528     31 |  6.292 % |
276.20/276.35	c |    119678 |    4349    17688    49675 | 2147483647   115784     31 |  6.292 % |
277.39/277.58	c |    119959 |    4349    17688    49675 | 2147483647   116065     31 |  6.292 % |
278.79/278.96	c |    120268 |    4349    17688    49675 | 2147483647   116374     31 |  6.292 % |
280.30/280.49	c |    120607 |    4349    17688    49675 | 2147483647   116713     31 |  6.292 % |
281.69/281.81	c |    120979 |    4349    17688    49675 | 2147483647   117085     31 |  6.292 % |
282.99/283.10	c |    121389 |    4349    17688    49675 | 2147483647   117495     31 |  6.292 % |
284.89/285.02	c |    121838 |    4349    17688    49675 | 2147483647   117944     31 |  6.292 % |
286.19/286.31	c |    122332 |    4349    17688    49675 | 2147483647   118438     31 |  6.292 % |
287.29/287.41	c |    122874 |    4349    17688    49675 | 2147483647   118980     31 |  6.292 % |
289.09/289.29	c |    123471 |    4349    17688    49675 | 2147483647   119577     31 |  6.292 % |
290.69/290.86	c |    124127 |    4349    17688    49675 | 2147483647   120233     31 |  6.292 % |
293.19/293.37	c |    124847 |    4349    17688    49675 | 2147483647   120953     31 |  6.292 % |
296.09/296.24	c |    125639 |    4341    17679    49648 | 2147483647   121739     31 |  7.714 % |
299.18/299.38	c |    126512 |    4341    17679    49648 | 2147483647   122612     31 |  7.714 % |
302.98/303.17	c |    127471 |    4341    17679    49648 | 2147483647   123571     31 |  7.714 % |
307.18/307.36	c |    128525 |    4283    17385    48765 | 2147483647   124582     31 |  7.714 % |
311.48/311.65	c |    129683 |    4283    17385    48765 | 2147483647   125740     31 |  7.714 % |
316.08/316.20	c |    130956 |    4283    17385    48765 | 2147483647   127013     31 |  7.714 % |
320.17/320.34	c |    132357 |    4283    17385    48765 | 2147483647   128414     31 |  7.714 % |
320.67/320.83	c |    132457 |    4283    17385    48765 | 2147483647   128514     31 |  7.714 % |
321.09/321.24	c |    132568 |    4283    17385    48765 | 2147483647   128625     31 |  7.714 % |
321.68/321.81	c |    132689 |    4283    17385    48765 | 2147483647   128746     31 |  7.714 % |
322.19/322.37	c |    132824 |    4283    17385    48765 | 2147483647   128881     31 |  7.714 % |
322.88/323.00	c |    132970 |    4283    17385    48765 | 2147483647   129027     31 |  7.714 % |
323.48/323.68	c |    133131 |    4283    17385    48765 | 2147483647   129188     31 |  7.714 % |
324.18/324.35	c |    133308 |    4283    17385    48765 | 2147483647   129365     31 |  7.714 % |
324.58/324.78	c |    133501 |    4283    17385    48765 | 2147483647   129558     31 |  7.714 % |
325.58/325.77	c |    133714 |    4283    17385    48765 | 2147483647   129771     31 |  7.714 % |
326.28/326.40	c |    133948 |    4283    17385    48765 | 2147483647   130005     31 |  7.714 % |
327.18/327.37	c |    134204 |    4283    17385    48765 | 2147483647   130261     31 |  7.714 % |
328.08/328.25	c |    134485 |    4283    17385    48765 | 2147483647   130542     31 |  7.714 % |
329.18/329.33	c |    134795 |    4283    17385    48765 | 2147483647   130852     31 |  7.714 % |
329.78/329.97	c |    135134 |    4283    17385    48765 | 2147483647   131191     31 |  7.714 % |
330.48/330.67	c |    135507 |    4283    17385    48765 | 2147483647   131564     31 |  7.714 % |
332.18/332.39	c |    135917 |    4283    17385    48765 | 2147483647   131974     31 |  7.714 % |
334.08/334.24	c |    136366 |    4283    17385    48765 | 2147483647   132423     31 |  7.714 % |
336.18/336.36	c |    136859 |    4283    17385    48765 | 2147483647   132916     31 |  7.714 % |
338.48/338.67	c |    137402 |    4283    17385    48765 | 2147483647   133459     31 |  7.714 % |
340.58/340.72	c |    137998 |    4283    17385    48765 | 2147483647   134055     31 |  7.714 % |
342.67/342.90	c |    138653 |    4283    17385    48765 | 2147483647   134710     31 |  7.714 % |
344.67/344.84	c |    139374 |    4283    17385    48765 | 2147483647   135431     31 |  7.714 % |
347.77/347.94	c |    140167 |    4283    17385    48765 | 2147483647   136224     31 |  7.714 % |
351.67/351.80	c |    141038 |    4283    17385    48765 | 2147483647   137095     31 |  7.714 % |
355.67/355.80	c |    141996 |    4283    17385    48765 | 2147483647   138053     31 |  7.714 % |
359.87/360.01	c |    143050 |    4283    17385    48765 | 2147483647   139107     31 |  7.714 % |
363.77/363.94	c |    144208 |    4283    17385    48765 | 2147483647   140265     31 |  7.714 % |
369.37/369.59	c |    145481 |    4283    17385    48765 | 2147483647   141538     31 |  7.714 % |
374.16/374.35	c |    146881 |    4283    17385    48765 | 2147483647   142938     31 |  7.714 % |
377.46/377.62	c |    148421 |    4283    17385    48765 | 2147483647   144478     31 |  7.714 % |
377.76/377.92	c |    148521 |    4283    17385    48765 | 2147483647   144578     31 |  7.714 % |
378.16/378.31	c |    148632 |    4283    17385    48765 | 2147483647   144689     31 |  7.714 % |
378.66/378.84	c |    148754 |    4283    17385    48765 | 2147483647   144811     31 |  7.714 % |
379.16/379.40	c |    148888 |    4283    17385    48765 | 2147483647   144945     31 |  7.714 % |
379.56/379.78	c |    149036 |    4283    17385    48765 | 2147483647   145093     31 |  7.714 % |
380.16/380.37	c |    149196 |    4283    17385    48765 | 2147483647   145253     31 |  7.714 % |
380.96/381.17	c |    149373 |    4283    17385    48765 | 2147483647   145430     31 |  7.714 % |
381.96/382.12	c |    149567 |    4283    17385    48765 | 2147483647   145624     31 |  7.714 % |
382.96/383.10	c |    149779 |    4283    17385    48765 | 2147483647   145836     31 |  7.714 % |
383.96/384.19	c |    150013 |    4283    17385    48765 | 2147483647   146070     31 |  7.714 % |
385.26/385.49	c |    150270 |    4283    17385    48765 | 2147483647   146327     31 |  7.714 % |
386.36/386.56	c |    150551 |    4283    17385    48765 | 2147483647   146608     31 |  7.714 % |
387.46/387.61	c |    150861 |    4283    17385    48765 | 2147483647   146918     31 |  7.714 % |
388.35/388.53	c |    151200 |    4283    17385    48765 | 2147483647   147257     31 |  7.714 % |
389.16/389.32	c |    151572 |    4283    17385    48765 | 2147483647   147629     31 |  7.714 % |
390.56/390.76	c |    151982 |    4283    17385    48765 | 2147483647   148039     31 |  7.714 % |
392.46/392.61	c |    152431 |    4283    17385    48765 | 2147483647   148488     31 |  7.714 % |
394.35/394.54	c |    152924 |    4283    17385    48765 | 2147483647   148981     31 |  7.714 % |
396.86/397.05	c |    153466 |    4283    17385    48765 | 2147483647   149523     31 |  7.714 % |
399.35/399.55	c |    154062 |    4283    17385    48765 | 2147483647   150119     31 |  7.714 % |
401.95/402.19	c |    154717 |    4283    17385    48765 | 2147483647   150774     31 |  7.714 % |
404.56/404.73	c |    155437 |    4283    17385    48765 | 2147483647   151494     31 |  7.714 % |
408.16/408.30	c |    156229 |    4283    17385    48765 | 2147483647   152286     31 |  7.714 % |
412.36/412.55	c |    157100 |    4283    17385    48765 | 2147483647   153157     31 |  7.714 % |
416.76/416.91	c |    158058 |    4283    17385    48765 | 2147483647   154115     31 |  7.714 % |
421.25/421.43	c |    159111 |    4283    17385    48765 | 2147483647   155168     31 |  7.714 % |
426.05/426.24	c |    160269 |    4283    17385    48765 | 2147483647   156326     31 |  7.714 % |
432.45/432.65	c |    161543 |    4283    17385    48765 | 2147483647   157600     31 |  7.714 % |
439.15/439.36	c |    162944 |    4283    17385    48765 | 2147483647   159001     31 |  7.714 % |
442.75/442.92	c |    164486 |    4283    17385    48765 | 2147483647   160543     31 |  7.714 % |
451.14/451.31	c |    166181 |    4283    17385    48765 | 2147483647   162238     31 |  7.714 % |
451.74/451.96	c |    166282 |    4283    17385    48765 | 2147483647   162339     31 |  7.714 % |
452.24/452.49	c |    166392 |    4283    17385    48765 | 2147483647   162449     31 |  7.714 % |
452.74/452.93	c |    166513 |    4283    17385    48765 | 2147483647   162570     31 |  7.714 % |
453.34/453.54	c |    166646 |    4283    17385    48765 | 2147483647   162703     31 |  7.714 % |
454.05/454.29	c |    166792 |    4283    17385    48765 | 2147483647   162849     31 |  7.714 % |
454.74/454.90	c |    166954 |    4283    17385    48765 | 2147483647   163011     31 |  7.714 % |
455.15/455.31	c |    167130 |    4283    17385    48765 | 2147483647   163187     31 |  7.714 % |
456.14/456.31	c |    167324 |    4283    17385    48765 | 2147483647   163381     31 |  7.714 % |
456.84/457.01	c |    167536 |    4283    17385    48765 | 2147483647   163593     31 |  7.714 % |
457.54/457.79	c |    167769 |    4283    17385    48765 | 2147483647   163826     31 |  7.714 % |
458.74/458.97	c |    168025 |    4283    17385    48765 | 2147483647   164082     31 |  7.714 % |
459.94/460.20	c |    168307 |    4283    17385    48765 | 2147483647   164364     31 |  7.714 % |
461.44/461.63	c |    168617 |    4283    17385    48765 | 2147483647   164674     31 |  7.714 % |
462.54/462.72	c |    168956 |    4283    17385    48765 | 2147483647   165013     31 |  7.714 % |
464.34/464.55	c |    169328 |    4283    17385    48765 | 2147483647   165385     31 |  7.714 % |
465.04/465.23	c |    169739 |    4283    17385    48765 | 2147483647   165796     31 |  7.714 % |
466.64/466.83	c |    170189 |    4283    17385    48765 | 2147483647   166246     31 |  7.714 % |
468.24/468.44	c |    170682 |    4283    17385    48765 | 2147483647   166739     31 |  7.714 % |
470.44/470.60	c |    171225 |    4283    17385    48765 | 2147483647   167282     31 |  7.714 % |
473.24/473.41	c |    171822 |    4283    17385    48765 | 2147483647   167879     31 |  7.714 % |
474.53/474.75	c |    172479 |    4283    17385    48765 | 2147483647   168536     31 |  7.714 % |
476.43/476.70	c |    173199 |    4283    17385    48765 | 2147483647   169256     31 |  7.714 % |
480.13/480.39	c |    173991 |    4283    17385    48765 | 2147483647   170048     31 |  7.714 % |
484.63/484.84	c |    174862 |    4283    17385    48765 | 2147483647   170919     31 |  7.714 % |
487.83/488.02	c |    175821 |    4283    17385    48765 | 2147483647   171878     31 |  7.714 % |
490.93/491.10	c |    176875 |    4283    17385    48765 | 2147483647   172932     31 |  7.714 % |
496.83/497.00	c |    178034 |    4283    17385    48765 | 2147483647   174091     31 |  7.714 % |
502.43/502.67	c |    179307 |    4283    17385    48765 | 2147483647   175364     31 |  7.714 % |
509.22/509.42	c |    180707 |    4283    17385    48765 | 2147483647   176764     31 |  7.714 % |
515.02/515.24	c |    182247 |    4283    17385    48765 | 2147483647   178304     31 |  7.714 % |
523.13/523.33	c |    183942 |    4283    17385    48765 | 2147483647   179999     31 |  7.714 % |
532.82/533.00	c |    185805 |    4283    17385    48765 | 2147483647   181862     31 |  7.714 % |
533.32/533.50	c |    185905 |    4283    17385    48765 | 2147483647   181962     31 |  7.714 % |
533.92/534.19	c |    186016 |    4283    17385    48765 | 2147483647   182073     31 |  7.714 % |
534.52/534.77	c |    186137 |    4283    17385    48765 | 2147483647   182194     31 |  7.714 % |
535.22/535.48	c |    186271 |    4283    17385    48765 | 2147483647   182328     31 |  7.714 % |
535.92/536.12	c |    186417 |    4283    17385    48765 | 2147483647   182474     31 |  7.714 % |
536.12/536.37	c |    186577 |    4283    17385    48765 | 2147483647   182634     31 |  7.714 % |
536.82/537.08	c |    186753 |    4283    17385    48765 | 2147483647   182810     31 |  7.714 % |
537.72/537.98	c |    186946 |    4283    17385    48765 | 2147483647   183003     31 |  7.714 % |
538.72/539.00	c |    187158 |    4283    17385    48765 | 2147483647   183215     31 |  7.714 % |
539.92/540.13	c |    187392 |    4283    17385    48765 | 2147483647   183449     31 |  7.714 % |
541.22/541.49	c |    187648 |    4283    17385    48765 | 2147483647   183705     31 |  7.714 % |
542.82/543.05	c |    187930 |    4283    17385    48765 | 2147483647   183987     31 |  7.714 % |
544.22/544.44	c |    188240 |    4283    17385    48765 | 2147483647   184297     31 |  7.714 % |
545.92/546.17	c |    188579 |    4283    17385    48765 | 2147483647   184636     31 |  7.714 % |
547.81/548.02	c |    188952 |    4283    17385    48765 | 2147483647   185009     31 |  7.714 % |
549.72/549.99	c |    189361 |    4283    17385    48765 | 2147483647   185418     31 |  7.714 % |
552.11/552.38	c |    189810 |    4283    17385    48765 | 2147483647   185867     31 |  7.714 % |
554.71/554.93	c |    190303 |    4283    17385    48765 | 2147483647   186360     31 |  7.714 % |
557.52/557.74	c |    190846 |    4283    17385    48765 | 2147483647   186903     31 |  7.714 % |
560.72/560.90	c |    191443 |    4283    17385    48765 | 2147483647   187500     31 |  7.714 % |
563.91/564.18	c |    192099 |    4283    17385    48765 | 2147483647   188156     31 |  7.714 % |
567.61/567.85	c |    192819 |    4283    17385    48765 | 2147483647   188876     31 |  7.714 % |
571.11/571.40	c |    193611 |    4283    17385    48765 | 2147483647   189668     31 |  7.714 % |
575.41/575.64	c |    194483 |    4283    17385    48765 | 2147483647   190540     31 |  7.714 % |
580.91/581.15	c |    195442 |    4283    17385    48765 | 2147483647   191499     31 |  7.714 % |
586.30/586.52	c |    196496 |    4283    17385    48765 | 2147483647   192553     31 |  7.714 % |
591.90/592.12	c |    197655 |    4275    17349    48658 | 2147483647   193699     31 |  7.886 % |
598.70/598.91	c |    198928 |    4275    17349    48658 | 2147483647   194972     31 |  7.886 % |
605.81/606.08	c |    200330 |    4275    17349    48658 | 2147483647   196373     31 |  8.059 % |
613.10/613.31	c |    201870 |    4267    17314    48551 | 2147483647   197905     31 |  8.059 % |
621.50/621.78	c |    203565 |    4266    17314    48551 | 2147483647   199599     31 |  8.339 % |
630.80/631.03	c |    205428 |    4254    17243    48343 | 2147483647   201456     31 |  8.339 % |
641.89/642.11	c |    207477 |    4254    17243    48343 | 2147483647   203505     31 |  8.339 % |
642.39/642.65	c |    207577 |    4254    17243    48343 | 2147483647   203605     31 |  8.339 % |
642.69/642.92	c |    207687 |    4254    17243    48343 | 2147483647   203715     31 |  8.339 % |
643.19/643.43	c |    207808 |    4254    17243    48343 | 2147483647   203836     31 |  8.339 % |
643.79/644.04	c |    207942 |    4254    17243    48343 | 2147483647   203970     31 |  8.339 % |
644.69/644.93	c |    208088 |    4254    17243    48343 | 2147483647   204116     31 |  8.339 % |
645.49/645.74	c |    208249 |    4254    17243    48343 | 2147483647   204277     31 |  8.339 % |
646.39/646.68	c |    208425 |    4254    17243    48343 | 2147483647   204453     31 |  8.339 % |
647.49/647.76	c |    208619 |    4254    17243    48343 | 2147483647   204647     31 |  8.339 % |
648.79/649.05	c |    208831 |    4254    17243    48343 | 2147483647   204859     31 |  8.339 % |
649.89/650.14	c |    209064 |    4254    17243    48343 | 2147483647   205092     31 |  8.339 % |
651.39/651.69	c |    209320 |    4254    17243    48343 | 2147483647   205348     31 |  8.339 % |
652.59/652.89	c |    209602 |    4254    17243    48343 | 2147483647   205630     31 |  8.339 % |
654.39/654.68	c |    209912 |    4254    17243    48343 | 2147483647   205940     31 |  8.339 % |
654.99/655.22	c |    210252 |    4254    17243    48343 | 2147483647   206280     31 |  8.339 % |
656.29/656.56	c |    210624 |    4254    17243    48343 | 2147483647   206652     31 |  8.339 % |
657.59/657.87	c |    211034 |    4254    17243    48343 | 2147483647   207062     31 |  8.339 % |
660.18/660.46	c |    211483 |    4254    17243    48343 | 2147483647   207511     31 |  8.339 % |
662.38/662.70	c |    211976 |    4254    17243    48343 | 2147483647   208004     31 |  8.339 % |
665.28/665.58	c |    212518 |    4254    17243    48343 | 2147483647   208546     31 |  8.339 % |
668.38/668.60	c |    213114 |    4254    17243    48343 | 2147483647   209142     31 |  8.339 % |
672.08/672.33	c |    213770 |    4254    17243    48343 | 2147483647   209798     31 |  8.339 % |
676.07/676.38	c |    214491 |    4254    17243    48343 | 2147483647   210519     31 |  8.339 % |
679.59/679.82	c |    215284 |    4254    17243    48343 | 2147483647   211312     31 |  8.339 % |
682.89/683.18	c |    216157 |    4254    17243    48343 | 2147483647   212185     31 |  8.339 % |
687.78/688.05	c |    217116 |    4254    17243    48343 | 2147483647   213144     31 |  8.339 % |
693.58/693.90	c |    218169 |    4254    17243    48343 | 2147483647   214197     31 |  8.339 % |
698.37/698.70	c |    219327 |    4254    17243    48343 | 2147483647   215355     31 |  8.339 % |
703.97/704.26	c |    220602 |    4254    17243    48343 | 2147483647   216630     31 |  8.339 % |
711.47/711.77	c |    222002 |    4254    17243    48343 | 2147483647   218030     31 |  8.339 % |
720.07/720.32	c |    223542 |    4254    17243    48343 | 2147483647   219570     31 |  8.339 % |
728.66/728.97	c |    225236 |    4254    17243    48343 | 2147483647   221264     31 |  8.339 % |
738.76/739.07	c |    227099 |    4254    17243    48343 | 2147483647   223127     31 |  8.339 % |
749.76/750.02	c |    229149 |    4254    17243    48343 | 2147483647   225177     31 |  8.339 % |
758.95/759.26	c |    231402 |    4254    17243    48343 |   226029   196488     31 |  8.339 % |
759.55/759.80	c |    231502 |    4254    17243    48343 |   226029   196588     31 |  8.339 % |
760.15/760.47	c |    231612 |    4254    17243    48343 |   226029   196698     31 |  8.339 % |
760.86/761.11	c |    231733 |    4254    17243    48343 |   226029   196819     31 |  8.339 % |
761.35/761.64	c |    231867 |    4254    17243    48343 |   226029   196953     31 |  8.339 % |
762.06/762.40	c |    232013 |    4254    17243    48343 |   226029   197099     31 |  8.339 % |
763.16/763.41	c |    232174 |    4254    17243    48343 |   226029   197260     31 |  8.339 % |
763.95/764.27	c |    232351 |    4254    17243    48343 |   226029   197437     31 |  8.339 % |
764.35/764.68	c |    232545 |    4254    17243    48343 |   226029   197631     31 |  8.339 % |
765.26/765.58	c |    232758 |    4254    17243    48343 |   226029   197844     31 |  8.339 % |
766.75/767.01	c |    232992 |    4254    17243    48343 |   226029   198078     31 |  8.339 % |
767.85/768.13	c |    233250 |    4254    17243    48343 |   226029   198336     31 |  8.339 % |
769.35/769.60	c |    233531 |    4254    17243    48343 |   226029   198617     31 |  8.339 % |
771.05/771.32	c |    233840 |    4254    17243    48343 |   226029   198926     31 |  8.339 % |
772.75/773.02	c |    234179 |    4254    17243    48343 |   226029   199265     31 |  8.339 % |
774.55/774.82	c |    234552 |    4254    17243    48343 |   226029   199638     31 |  8.339 % |
777.05/777.37	c |    234961 |    4254    17243    48343 |   226029   200047     31 |  8.339 % |
778.95/779.26	c |    235410 |    4254    17243    48343 |   226029   200496     31 |  8.339 % |
780.75/781.04	c |    235903 |    4254    17243    48343 |   226029   200989     31 |  8.339 % |
783.05/783.36	c |    236446 |    4254    17243    48343 |   226029   201532     31 |  8.339 % |
786.64/786.95	c |    237043 |    4254    17243    48343 |   226029   202129     31 |  8.339 % |
790.04/790.38	c |    237698 |    4254    17243    48343 |   226029   202784     31 |  8.339 % |
793.85/794.13	c |    238419 |    4254    17243    48343 |   226029   203505     31 |  8.339 % |
798.04/798.30	c |    239212 |    4254    17243    48343 |   226029   204298     31 |  8.339 % |
802.54/802.80	c |    240083 |    4254    17243    48343 |   205087   205169     31 |  8.339 % |
807.04/807.39	c |    241042 |    4254    17243    48343 |   205087   206128     31 |  8.339 % |
812.75/813.06	c |    242095 |    4254    17243    48343 |   205087   186569     31 |  8.339 % |
818.64/818.90	c |    243253 |    4254    17243    48343 |   205087   187727     31 |  8.339 % |
824.94/825.20	c |    244527 |    4254    17243    48343 |   205087   189001     31 |  8.339 % |
831.44/831.73	c |    245928 |    4254    17243    48343 |   205087   190402     31 |  8.339 % |
838.84/839.19	c |    247468 |    4254    17243    48343 |   205087   191942     31 |  8.339 % |
848.63/848.97	c |    249162 |    4254    17243    48343 |   205087   193636     31 |  8.339 % |
857.83/858.18	c |    251026 |    4254    17243    48343 | 2147483647   195500     31 |  8.339 % |
868.43/868.70	c |    253076 |    4254    17243    48343 | 2147483647   197550     31 |  8.339 % |
877.43/877.77	c |    255329 |    4254    17243    48343 | 2147483647   199803     31 |  8.339 % |
888.92/889.26	c |    257807 |    4254    17243    48343 | 2147483647   202281     31 |  8.339 % |
889.32/889.62	c |    257909 |    4254    17243    48343 | 2147483647   202383     31 |  8.339 % |
889.82/890.17	c |    258019 |    4254    17243    48343 | 2147483647   202493     31 |  8.339 % |
890.63/890.96	c |    258140 |    4254    17243    48343 | 2147483647   202614     31 |  8.339 % |
891.22/891.51	c |    258273 |    4254    17243    48343 | 2147483647   202747     31 |  8.339 % |
891.92/892.24	c |    258419 |    4254    17243    48343 | 2147483647   202893     31 |  8.339 % |
892.83/893.17	c |    258579 |    4254    17243    48343 | 2147483647   203053     31 |  8.339 % |
893.82/894.19	c |    258756 |    4254    17243    48343 | 2147483647   203230     31 |  8.339 % |
894.92/895.28	c |    258949 |    4254    17243    48343 | 2147483647   203423     31 |  8.339 % |
896.12/896.46	c |    259162 |    4254    17243    48343 | 2147483647   203636     31 |  8.339 % |
896.72/897.07	c |    259395 |    4254    17243    48343 | 2147483647   203869     31 |  8.339 % |
898.12/898.41	c |    259652 |    4254    17243    48343 | 2147483647   204126     31 |  8.339 % |
899.62/899.99	c |    259934 |    4254    17243    48343 | 2147483647   204408     31 |  8.339 % |
901.22/901.53	c |    260244 |    4254    17243    48343 | 2147483647   204718     31 |  8.339 % |
903.32/903.69	c |    260584 |    4254    17243    48343 | 2147483647   205058     31 |  8.339 % |
905.62/906.00	c |    260957 |    4254    17243    48343 | 2147483647   205431     31 |  8.339 % |
907.72/908.04	c |    261366 |    4254    17243    48343 | 2147483647   205840     31 |  8.339 % |
909.21/909.56	c |    261816 |    4254    17243    48343 | 2147483647   206290     31 |  8.339 % |
911.62/912.00	c |    262309 |    4254    17243    48343 | 2147483647   206783     31 |  8.339 % |
915.01/915.32	c |    262851 |    4254    17243    48343 | 2147483647   207325     31 |  8.339 % |
918.51/918.88	c |    263447 |    4254    17243    48343 | 2147483647   207921     31 |  8.339 % |
922.11/922.50	c |    264103 |    4254    17243    48343 | 2147483647   208577     31 |  8.339 % |
926.11/926.42	c |    264823 |    4254    17243    48343 | 2147483647   209297     31 |  8.339 % |
930.41/930.72	c |    265616 |    4254    17243    48343 | 2147483647   210090     31 |  8.339 % |
935.11/935.45	c |    266488 |    4254    17243    48343 | 2147483647   210962     31 |  8.339 % |
940.31/940.65	c |    267446 |    4254    17243    48343 | 2147483647   211920     31 |  8.339 % |
945.91/946.26	c |    268499 |    4254    17243    48343 | 2147483647   212973     31 |  8.339 % |
952.70/953.01	c |    269657 |    4254    17243    48343 | 2147483647   214131     31 |  8.339 % |
959.91/960.30	c |    270931 |    4254    17243    48343 | 2147483647   215405     31 |  8.339 % |
968.40/968.73	c |    272332 |    4254    17243    48343 | 2147483647   216806     31 |  8.339 % |
975.30/975.65	c |    273873 |    4254    17243    48343 | 2147483647   218347     31 |  8.339 % |
985.30/985.68	c |    275567 |    4254    17243    48343 | 2147483647   220041     31 |  8.339 % |
996.19/996.54	c |    277430 |    4254    17243    48343 | 2147483647   221904     31 |  8.339 % |
1005.19/1005.50	c |    279481 |    4254    17243    48343 | 2147483647   223955     31 |  8.339 % |
1015.68/1016.01	c |    281735 |    4254    17243    48343 | 2147483647   226209     31 |  8.339 % |
1028.28/1028.63	c |    284214 |    4254    17243    48343 | 2147483647   228688     31 |  8.339 % |
1045.07/1045.43	c |    286940 |    4254    17243    48343 | 2147483647   231414     31 |  8.339 % |
1045.68/1046.02	c |    287041 |    4254    17243    48343 | 2147483647   231515     31 |  8.339 % |
1046.47/1046.81	c |    287152 |    4254    17243    48343 | 2147483647   231626     31 |  8.339 % |
1047.17/1047.54	c |    287273 |    4254    17243    48343 | 2147483647   231747     31 |  8.339 % |
1047.98/1048.37	c |    287407 |    4254    17243    48343 | 2147483647   231881     31 |  8.339 % |
1048.99/1049.31	c |    287553 |    4254    17243    48343 | 2147483647   232027     31 |  8.339 % |
1049.88/1050.20	c |    287713 |    4254    17243    48343 | 2147483647   232187     31 |  8.339 % |
1050.98/1051.34	c |    287889 |    4254    17243    48343 | 2147483647   232363     31 |  8.339 % |
1052.28/1052.65	c |    288082 |    4254    17243    48343 | 2147483647   232556     31 |  8.339 % |
1053.58/1053.92	c |    288295 |    4254    17243    48343 | 2147483647   232769     31 |  8.339 % |
1054.38/1054.78	c |    288528 |    4254    17243    48343 | 2147483647   233002     31 |  8.339 % |
1055.78/1056.16	c |    288784 |    4254    17243    48343 | 2147483647   233258     31 |  8.339 % |
1057.58/1057.96	c |    289065 |    4254    17243    48343 | 2147483647   233539     31 |  8.339 % |
1059.08/1059.49	c |    289374 |    4254    17243    48343 | 2147483647   233848     31 |  8.339 % |
1060.78/1061.10	c |    289714 |    4254    17243    48343 | 2147483647   234188     31 |  8.339 % |
1062.88/1063.29	c |    290086 |    4254    17243    48343 |   234474   234560     31 |  8.339 % |
1064.87/1065.26	c |    290495 |    4254    17243    48343 |   234474   234969     31 |  8.339 % |
1067.87/1068.28	c |    290946 |    4254    17243    48343 |   234474   207085     31 |  8.339 % |
1069.37/1069.76	c |    291439 |    4254    17243    48343 |   234474   207578     31 |  8.339 % |
1071.47/1071.86	c |    291982 |    4254    17243    48343 |   234474   208121     31 |  8.339 % |
1074.77/1075.18	c |    292579 |    4254    17243    48343 |   234474   208718     31 |  8.339 % |
1078.57/1078.91	c |    293235 |    4254    17243    48343 |   234474   209374     31 |  8.339 % |
1081.17/1081.51	c |    293956 |    4254    17243    48343 |   234474   210095     31 |  8.339 % |
1085.67/1086.05	c |    294748 |    4254    17243    48343 |   234474   210887     31 |  8.339 % |
1089.97/1090.31	c |    295620 |    4254    17243    48343 |   234474   211759     31 |  8.339 % |
1094.77/1095.14	c |    296578 |    4254    17243    48343 |   234474   212717     31 |  8.339 % |
1100.46/1100.85	c |    297631 |    4254    17243    48343 |   234474   213770     31 |  8.339 % |
1106.17/1106.53	c |    298790 |    4254    17243    48343 |   234474   214929     31 |  8.339 % |
1113.36/1113.74	c |    300063 |    4254    17243    48343 |   216140   216202     31 |  8.339 % |
1119.36/1119.76	c |    301465 |    4254    17243    48343 |   216140   217604     31 |  8.339 % |
1124.36/1124.72	c |    303005 |    4254    17243    48343 |   216140   191110     30 |  8.339 % |
1132.95/1133.33	c |    304700 |    4254    17243    48343 |   216140   192805     30 |  8.339 % |
1142.35/1142.77	c |    306564 |    4254    17243    48343 |   216140   194669     30 |  8.339 % |
1152.75/1153.10	c |    308614 |    4254    17243    48343 |   216140   196719     30 |  8.339 % |
1165.25/1165.67	c |    310867 |    4254    17243    48343 |   198106   198972     30 |  8.339 % |
1179.85/1180.26	c |    313346 |    4254    17243    48343 |   198106   180593     30 |  8.339 % |
1195.64/1196.08	c |    316072 |    4254    17243    48343 |   198106   183319     30 |  8.339 % |
1207.44/1207.84	c |    319070 |    4254    17243    48343 |   198106   186317     30 |  8.339 % |
1207.73/1208.14	c |    319170 |    4254    17243    48343 |   198106   186417     30 |  8.339 % |
1208.03/1208.45	c |    319283 |    4254    17243    48343 |   198106   186530     30 |  8.339 % |
1208.54/1208.95	c |    319405 |    4254    17243    48343 |   198106   186652     30 |  8.339 % |
1209.03/1209.42	c |    319538 |    4254    17243    48343 |   198106   186785     30 |  8.339 % |
1209.93/1210.38	c |    319685 |    4254    17243    48343 |   198106   186932     30 |  8.339 % |
1210.74/1211.17	c |    319845 |    4254    17243    48343 |   198106   187092     30 |  8.339 % |
1211.23/1211.68	c |    320021 |    4254    17243    48343 | 2147483647   187268     30 |  8.339 % |
1212.33/1212.80	c |    320214 |    4254    17243    48343 | 2147483647   187461     30 |  8.339 % |
1213.43/1213.89	c |    320427 |    4254    17243    48343 | 2147483647   187674     30 |  8.339 % |
1214.63/1215.07	c |    320661 |    4254    17243    48343 | 2147483647   187908     30 |  8.339 % |
1216.03/1216.43	c |    320918 |    4254    17243    48343 | 2147483647   188165     30 |  8.339 % |
1217.23/1217.68	c |    321200 |    4254    17243    48343 | 2147483647   188447     30 |  8.339 % |
1219.13/1219.51	c |    321510 |    4254    17243    48343 | 2147483647   188757     30 |  8.339 % |
1220.93/1221.34	c |    321849 |    4254    17243    48343 | 2147483647   189096     30 |  8.339 % |
1222.73/1223.14	c |    322222 |    4254    17243    48343 | 2147483647   189469     30 |  8.339 % |
1224.63/1225.03	c |    322631 |    4254    17243    48343 | 2147483647   189878     30 |  8.339 % |
1226.93/1227.35	c |    323080 |    4254    17243    48343 | 2147483647   190327     30 |  8.339 % |
1229.73/1230.20	c |    323573 |    4254    17243    48343 | 2147483647   190820     30 |  8.339 % |
1232.92/1233.30	c |    324116 |    4254    17243    48343 | 2147483647   191363     30 |  8.339 % |
1235.62/1236.09	c |    324713 |    4254    17243    48343 | 2147483647   191960     30 |  8.339 % |
1239.33/1239.76	c |    325371 |    4254    17243    48343 | 2147483647   192618     30 |  8.339 % |
1241.22/1241.63	c |    326092 |    4254    17243    48343 | 2147483647   193339     30 |  8.339 % |
1245.02/1245.42	c |    326884 |    4254    17243    48343 | 2147483647   194131     30 |  8.339 % |
1249.62/1250.05	c |    327756 |    4254    17243    48343 | 2147483647   195003     30 |  8.339 % |
1252.32/1252.71	c |    328714 |    4254    17243    48343 | 2147483647   195961     30 |  8.339 % |
1256.12/1256.53	c |    329767 |    4254    17243    48343 | 2147483647   197014     30 |  8.339 % |
1261.62/1262.06	c |    330925 |    4254    17243    48343 | 2147483647   198172     30 |  8.339 % |
1266.61/1267.09	c |    332199 |    4254    17243    48343 | 2147483647   199446     30 |  8.339 % |
1274.01/1274.50	c |    333600 |    4254    17243    48343 | 2147483647   200847     30 |  8.339 % |
1280.91/1281.36	c |    335140 |    4254    17243    48343 | 2147483647   202387     30 |  8.339 % |
1290.91/1291.39	c |    336835 |    4254    17243    48343 | 2147483647   204082     30 |  8.339 % |
1301.21/1301.62	c |    338699 |    4254    17243    48343 | 2147483647   205946     30 |  8.339 % |
1308.00/1308.46	c |    340748 |    4254    17243    48343 | 2147483647   207995     31 |  8.339 % |
1320.00/1320.46	c |    343001 |    4254    17243    48343 | 2147483647   210248     30 |  8.339 % |
1334.20/1334.68	c |    345480 |    4254    17243    48343 | 2147483647   212727     30 |  8.339 % |
1348.20/1348.64	c |    348206 |    4254    17243    48343 | 2147483647   215453     30 |  8.339 % |
1365.49/1365.90	c |    351204 |    4254    17243    48343 | 2147483647   218451     30 |  8.339 % |
1384.09/1384.59	c |    354501 |    4254    17243    48343 | 2147483647   221748     30 |  8.339 % |
1384.79/1385.24	c |    354601 |    4254    17243    48343 | 2147483647   221848     30 |  8.339 % |
1385.49/1385.97	c |    354711 |    4254    17243    48343 | 2147483647   221958     30 |  8.339 % |
1386.09/1386.51	c |    354833 |    4254    17243    48343 | 2147483647   222080     30 |  8.339 % |
1386.69/1387.13	c |    354967 |    4254    17243    48343 | 2147483647   222214     30 |  8.339 % |
1387.59/1388.00	c |    355113 |    4254    17243    48343 | 2147483647   222360     30 |  8.339 % |
1388.49/1389.00	c |    355273 |    4254    17243    48343 | 2147483647   222520     30 |  8.339 % |
1389.59/1390.08	c |    355450 |    4254    17243    48343 | 2147483647   222697     30 |  8.339 % |
1390.99/1391.45	c |    355644 |    4254    17243    48343 | 2147483647   222891     30 |  8.339 % |
1391.79/1392.26	c |    355857 |    4254    17243    48343 | 2147483647   223104     30 |  8.339 % |
1392.89/1393.37	c |    356091 |    4254    17243    48343 | 2147483647   223338     30 |  8.339 % |
1394.48/1394.95	c |    356348 |    4254    17243    48343 | 2147483647   223595     30 |  8.339 % |
1395.49/1395.92	c |    356629 |    4254    17243    48343 | 2147483647   223876     30 |  8.339 % |
1396.28/1396.73	c |    356939 |    4254    17243    48343 | 2147483647   224186     30 |  8.339 % |
1397.59/1398.07	c |    357279 |    4254    17243    48343 | 2147483647   224526     30 |  8.339 % |
1399.48/1399.98	c |    357652 |    4254    17243    48343 | 2147483647   224899     30 |  8.339 % |
1402.09/1402.53	c |    358061 |    4254    17243    48343 | 2147483647   225308     30 |  8.339 % |
1404.68/1405.14	c |    358511 |    4254    17243    48343 | 2147483647   225758     30 |  8.339 % |
1407.58/1408.09	c |    359005 |    4254    17243    48343 | 2147483647   226252     30 |  8.339 % |
1410.78/1411.25	c |    359548 |    4254    17243    48343 | 2147483647   226795     30 |  8.339 % |
1414.68/1415.15	c |    360145 |    4254    17243    48343 |   227247   227392     30 |  8.339 % |
1418.28/1418.76	c |    360801 |    4254    17243    48343 |   227247   228048     30 |  8.339 % |
1423.07/1423.56	c |    361522 |    4254    17243    48343 |   227247   202974     30 |  8.339 % |
1427.67/1428.11	c |    362314 |    4254    17243    48343 |   227247   203766     30 |  8.339 % |
1432.27/1432.71	c |    363185 |    4254    17243    48343 |   227247   204637     30 |  8.339 % |
1437.17/1437.65	c |    364143 |    4254    17243    48343 |   227247   205595     30 |  8.339 % |
1443.17/1443.61	c |    365197 |    4254    17243    48343 |   227247   206649     30 |  8.339 % |
1449.46/1449.99	c |    366355 |    4254    17243    48343 |   227247   207807     30 |  8.339 % |
1456.56/1457.04	c |    367629 |    4254    17243    48343 |   227247   209081     30 |  8.339 % |
1465.16/1465.66	c |    369031 |    4254    17243    48343 |   227247   210483     30 |  8.339 % |
1474.56/1475.00	c |    370572 |    4254    17243    48343 | 2147483647   212024     30 |  8.339 % |
1481.56/1482.02	c |    372267 |    4254    17243    48343 | 2147483647   213719     30 |  8.339 % |
1491.35/1491.85	c |    374130 |    4254    17243    48343 | 2147483647   215582     30 |  8.339 % |
1503.95/1504.43	c |    376180 |    4254    17243    48343 | 2147483647   217632     30 |  8.339 % |
1517.25/1517.75	c |    378434 |    4254    17243    48343 | 2147483647   219886     30 |  8.339 % |
1531.64/1532.20	c |    380913 |    4254    17243    48343 | 2147483647   222365     30 |  8.339 % |
1547.94/1548.49	c |    383639 |    4254    17243    48343 | 2147483647   225091     30 |  8.339 % |
1560.13/1560.62	c |    386636 |    4254    17243    48343 | 2147483647   228088     30 |  8.339 % |
1579.04/1579.51	c |    389932 |    4254    17243    48343 | 2147483647   231384     30 |  8.339 % |
1601.43/1602.00	c |    393558 |    4254    17243    48343 |   231453   211281     31 |  8.339 % |
1602.14/1602.67	c |    393658 |    4254    17243    48343 |   231453   211381     31 |  8.339 % |
1602.83/1603.31	c |    393768 |    4254    17243    48343 |   231453   211491     31 |  8.339 % |
1603.53/1604.03	c |    393889 |    4254    17243    48343 |   231453   211612     31 |  8.339 % |
1604.23/1604.78	c |    394022 |    4254    17243    48343 |   231453   211745     31 |  8.339 % |
1605.23/1605.70	c |    394168 |    4254    17243    48343 |   231453   211891     31 |  8.339 % |
1606.13/1606.65	c |    394328 |    4254    17243    48343 |   231453   212051     31 |  8.339 % |
1607.13/1607.66	c |    394505 |    4254    17243    48343 |   231453   212228     31 |  8.339 % |
1607.83/1608.38	c |    394700 |    4254    17243    48343 |   231453   212423     31 |  8.339 % |
1608.93/1609.46	c |    394912 |    4254    17243    48343 |   231453   212635     31 |  8.339 % |
1610.43/1610.91	c |    395146 |    4254    17243    48343 |   231453   212869     31 |  8.339 % |
1611.33/1611.81	c |    395403 |    4254    17243    48343 |   231453   213126     31 |  8.339 % |
1612.93/1613.43	c |    395684 |    4254    17243    48343 |   231453   213407     31 |  8.339 % |
1614.93/1615.45	c |    395994 |    4254    17243    48343 |   231453   213717     31 |  8.339 % |
1617.23/1617.74	c |    396333 |    4254    17243    48343 |   231453   214056     31 |  8.339 % |
1619.23/1619.79	c |    396705 |    4254    17243    48343 |   231453   214428     31 |  8.339 % |
1621.63/1622.12	c |    397114 |    4254    17243    48343 |   231453   214837     31 |  8.339 % |
1623.52/1624.00	c |    397564 |    4254    17243    48343 |   231453   215287     31 |  8.339 % |
1626.42/1626.92	c |    398059 |    4254    17243    48343 |   231453   215782     31 |  8.339 % |
1628.52/1629.05	c |    398603 |    4254    17243    48343 |   231453   216326     31 |  8.339 % |
1631.42/1631.91	c |    399200 |    4254    17243    48343 |   231453   216923     31 |  8.339 % |
1634.72/1635.21	c |    399855 |    4254    17243    48343 |   231453   217578     31 |  8.339 % |
1638.82/1639.40	c |    400576 |    4254    17243    48343 | 2147483647   218299     31 |  8.339 % |
1643.22/1643.74	c |    401368 |    4254    17243    48343 | 2147483647   219091     31 |  8.339 % |
1646.91/1647.47	c |    402241 |    4254    17243    48343 | 2147483647   219964     31 |  8.339 % |
1652.82/1653.33	c |    403200 |    4254    17243    48343 | 2147483647   220923     31 |  8.339 % |
1658.81/1659.30	c |    404254 |    4254    17243    48343 | 2147483647   221977     31 |  8.339 % |
1664.71/1665.30	c |    405412 |    4254    17243    48343 | 2147483647   223135     31 |  8.339 % |
1670.41/1670.98	c |    406688 |    4254    17243    48343 | 2147483647   224411     31 |  8.339 % |
1675.81/1676.35	c |    408088 |    4254    17243    48343 | 2147483647   225811     31 |  8.339 % |
1685.10/1685.61	c |    409630 |    4254    17243    48343 | 2147483647   227353     31 |  8.339 % |
1694.50/1695.03	c |    411324 |    4254    17243    48343 |   227723   229047     30 |  8.339 % |
1704.60/1705.19	c |    413188 |    4254    17243    48343 |   227723   208007     30 |  8.339 % |
1715.19/1715.74	c |    415237 |    4254    17243    48343 |   227723   210056     30 |  8.339 % |
1722.49/1723.06	c |    417490 |    4254    17243    48343 |   227723   212309     30 |  8.339 % |
1735.09/1735.68	c |    419968 |    4254    17243    48343 |   227723   214787     30 |  8.339 % |
1750.99/1751.53	c |    422694 |    4254    17243    48343 | 2147483647   217513     30 |  8.339 % |
1768.89/1769.49	c |    425691 |    4254    17243    48343 | 2147483647   220510     30 |  8.339 % |
1788.18/1788.76	c |    428987 |    4254    17243    48343 | 2147483647   223806     30 |  8.339 % |
1810.68/1811.29	c |    432612 |    4254    17243    48343 | 2147483647   227431     30 |  8.339 % |
1836.07/1836.62	c |    436599 |    4254    17243    48343 | 2147483647   231418     30 |  8.339 % |
1836.67/1837.26	c |    436700 |    4254    17243    48343 | 2147483647   231519     30 |  8.339 % |
1837.47/1838.04	c |    436810 |    4254    17243    48343 | 2147483647   231629     30 |  8.339 % |
1838.27/1838.89	c |    436932 |    4254    17243    48343 | 2147483647   231751     30 |  8.339 % |
1839.27/1839.83	c |    437066 |    4254    17243    48343 | 2147483647   231885     30 |  8.339 % |
1840.27/1840.83	c |    437212 |    4254    17243    48343 | 2147483647   232031     30 |  8.339 % |
1841.07/1841.61	c |    437373 |    4254    17243    48343 | 2147483647   232192     30 |  8.339 % |
1841.37/1841.91	c |    437550 |    4254    17243    48343 | 2147483647   232369     30 |  8.339 % |
1842.47/1843.00	c |    437744 |    4254    17243    48343 | 2147483647   232563     30 |  8.339 % |
1843.47/1844.08	c |    437956 |    4254    17243    48343 | 2147483647   232775     30 |  8.339 % |
1843.87/1844.46	c |    438190 |    4254    17243    48343 | 2147483647   233009     30 |  8.339 % |
1844.87/1845.45	c |    438446 |    4254    17243    48343 | 2147483647   233265     30 |  8.339 % |
1846.67/1847.27	c |    438728 |    4254    17243    48343 | 2147483647   233547     30 |  8.339 % |
1848.47/1849.09	c |    439038 |    4254    17243    48343 | 2147483647   233857     30 |  8.339 % |
1850.86/1851.46	c |    439378 |    4254    17243    48343 | 2147483647   234197     30 |  8.339 % |
1852.97/1853.59	c |    439750 |    4254    17243    48343 | 2147483647   234569     30 |  8.339 % |
1854.76/1855.31	c |    440159 |    4254    17243    48343 |   234820   234978     30 |  8.339 % |
1856.36/1856.94	c |    440608 |    4254    17243    48343 |   234820   235427     30 |  8.339 % |
1860.57/1861.13	c |    441101 |    4254    17243    48343 |   234820   209087     30 |  8.339 % |
1863.56/1864.15	c |    441643 |    4254    17243    48343 |   234820   209629     30 |  8.339 % |
1866.76/1867.33	c |    442240 |    4254    17243    48343 |   234820   210226     30 |  8.339 % |
1870.56/1871.13	c |    442896 |    4254    17243    48343 |   234820   210882     30 |  8.339 % |
1874.76/1875.31	c |    443617 |    4254    17243    48343 |   234820   211603     30 |  8.339 % |
1878.06/1878.66	c |    444410 |    4254    17243    48343 |   234820   212396     30 |  8.339 % |
1882.45/1883.04	c |    445281 |    4254    17243    48343 |   234820   213267     30 |  8.339 % |
1887.65/1888.21	c |    446240 |    4254    17243    48343 |   234820   214226     30 |  8.339 % |
1890.95/1891.51	c |    447293 |    4254    17243    48343 |   234820   215279     30 |  8.339 % |
1895.35/1896.00	c |    448453 |    4254    17243    48343 |   234820   216439     30 |  8.339 % |
1902.85/1903.45	c |    449726 |    4254    17243    48343 |   234820   217712     30 |  8.339 % |
1910.94/1911.55	c |    451127 |    4254    17243    48343 | 2147483647   219113     30 |  8.339 % |
1919.24/1919.85	c |    452669 |    4254    17243    48343 | 2147483647   220655     30 |  8.339 % |
1927.45/1928.07	c |    454363 |    4254    17243    48343 | 2147483647   222349     30 |  8.339 % |
1940.44/1941.03	c |    456226 |    4254    17243    48343 | 2147483647   224212     30 |  8.339 % |
1951.14/1951.78	c |    458276 |    4254    17243    48343 | 2147483647   226262     30 |  8.339 % |
1960.54/1961.18	c |    460529 |    4254    17243    48343 | 2147483647   228515     30 |  8.339 % |
1975.23/1975.88	c |    463007 |    4254    17243    48343 | 2147483647   230993     30 |  8.339 % |
1990.93/1991.53	c |    465732 |    4254    17243    48343 | 2147483647   233718     30 |  8.339 % |
2007.72/2008.31	c |    468730 |    4254    17243    48343 | 2147483647   236716     30 |  8.339 % |
2026.82/2027.42	c |    472026 |    4254    17243    48343 |   237987   211661     30 |  8.339 % |
2047.01/2047.67	c |    475651 |    4254    17243    48343 |   237987   215286     30 |  8.339 % |
2069.11/2069.75	c |    479638 |    4254    17243    48343 |   237987   219273     30 |  8.339 % |
2093.80/2094.47	c |    484024 |    4254    17243    48343 | 2147483647   223659     30 |  8.339 % |
2094.50/2095.13	c |    484125 |    4254    17243    48343 | 2147483647   223760     30 |  8.339 % |
2095.10/2095.71	c |    484236 |    4254    17243    48343 | 2147483647   223871     30 |  8.339 % |
2095.80/2096.46	c |    484358 |    4254    17243    48343 | 2147483647   223993     30 |  8.339 % |
2096.70/2097.31	c |    484491 |    4254    17243    48343 | 2147483647   224126     30 |  8.339 % |
2097.60/2098.24	c |    484637 |    4254    17243    48343 | 2147483647   224272     30 |  8.339 % |
2098.60/2099.24	c |    484797 |    4254    17243    48343 | 2147483647   224432     30 |  8.339 % |
2099.40/2100.08	c |    484973 |    4254    17243    48343 | 2147483647   224608     30 |  8.339 % |
2100.60/2101.29	c |    485167 |    4254    17243    48343 | 2147483647   224802     30 |  8.339 % |
2102.00/2102.63	c |    485380 |    4254    17243    48343 | 2147483647   225015     30 |  8.339 % |
2103.50/2104.16	c |    485614 |    4254    17243    48343 | 2147483647   225249     30 |  8.339 % |
2104.60/2105.30	c |    485870 |    4254    17243    48343 | 2147483647   225505     30 |  8.339 % |
2106.19/2106.80	c |    486151 |    4254    17243    48343 | 2147483647   225786     30 |  8.339 % |
2107.59/2108.25	c |    486460 |    4254    17243    48343 | 2147483647   226095     30 |  8.339 % |
2109.59/2110.22	c |    486800 |    4254    17243    48343 | 2147483647   226435     30 |  8.339 % |
2111.30/2111.98	c |    487174 |    4254    17243    48343 | 2147483647   226809     30 |  8.339 % |
2114.09/2114.76	c |    487584 |    4254    17243    48343 | 2147483647   227219     30 |  8.339 % |
2116.69/2117.38	c |    488033 |    4254    17243    48343 | 2147483647   227668     30 |  8.339 % |
2119.39/2120.05	c |    488527 |    4254    17243    48343 | 2147483647   228162     30 |  8.339 % |
2122.49/2123.17	c |    489070 |    4254    17243    48343 | 2147483647   228705     30 |  8.339 % |
2125.19/2125.83	c |    489666 |    4254    17243    48343 | 2147483647   229301     30 |  8.339 % |
2126.69/2127.35	c |    490321 |    4254    17243    48343 |   229635   229956     30 |  8.339 % |
2129.69/2130.39	c |    491041 |    4254    17243    48343 |   229635   230676     30 |  8.339 % |
2135.59/2136.29	c |    491834 |    4254    17243    48343 |   229635   205163     29 |  8.339 % |
2140.58/2141.23	c |    492706 |    4254    17243    48343 |   229635   206035     29 |  8.339 % |
2143.98/2144.61	c |    493664 |    4254    17243    48343 |   229635   206993     29 |  8.339 % |
2148.28/2148.96	c |    494718 |    4254    17243    48343 |   229635   208047     29 |  8.339 % |
2153.58/2154.26	c |    495876 |    4254    17243    48343 |   229635   209205     29 |  8.339 % |
2161.28/2161.94	c |    497149 |    4254    17243    48343 |   229635   210478     29 |  8.339 % |
2169.27/2169.90	c |    498550 |    4254    17243    48343 |   229635   211879     29 |  8.339 % |
2177.57/2178.25	c |    500091 |    4254    17243    48343 | 2147483647   213420     29 |  8.339 % |
2186.87/2187.58	c |    501785 |    4254    17243    48343 | 2147483647   215114     29 |  8.339 % |
2194.08/2194.77	c |    503648 |    4254    17243    48343 | 2147483647   216977     29 |  8.339 % |
2206.07/2206.78	c |    505697 |    4254    17243    48343 | 2147483647   219026     29 |  8.339 % |
2219.97/2220.62	c |    507950 |    4254    17243    48343 | 2147483647   221279     29 |  8.339 % |
2235.76/2236.41	c |    510428 |    4254    17243    48343 | 2147483647   223757     29 |  8.339 % |
2247.56/2248.29	c |    513154 |    4254    17243    48343 | 2147483647   226483     29 |  8.339 % |
2263.06/2263.78	c |    516152 |    4252    17236    48321 | 2147483647   229480     29 |  8.382 % |
2283.25/2283.95	c |    519448 |    4252    17236    48321 | 2147483647   232776     29 |  8.382 % |
2303.44/2304.16	c |    523074 |    4252    17236    48321 |   233329   208739     29 |  8.382 % |
2324.03/2324.79	c |    527061 |    4252    17236    48321 |   233329   212726     29 |  8.382 % |
2348.63/2349.35	c |    531446 |    4252    17236    48321 | 2147483647   217111     29 |  8.382 % |
2376.62/2377.36	c |    536270 |    4252    17236    48321 | 2147483647   221935     29 |  8.382 % |
2377.22/2377.97	c |    536370 |    4252    17236    48321 | 2147483647   222035     29 |  8.382 % |
2377.92/2378.61	c |    536481 |    4252    17236    48321 | 2147483647   222146     29 |  8.382 % |
2378.22/2378.96	c |    536604 |    4252    17236    48321 | 2147483647   222269     29 |  8.382 % |
2378.52/2379.20	c |    536737 |    4252    17236    48321 | 2147483647   222402     29 |  8.382 % |
2379.12/2379.88	c |    536884 |    4252    17236    48321 | 2147483647   222549     29 |  8.382 % |
2380.22/2380.92	c |    537045 |    4252    17236    48321 | 2147483647   222710     29 |  8.382 % |
2381.22/2381.98	c |    537221 |    4252    17236    48321 | 2147483647   222886     29 |  8.382 % |
2382.22/2382.95	c |    537415 |    4252    17236    48321 | 2147483647   223080     29 |  8.382 % |
2383.32/2384.02	c |    537628 |    4252    17236    48321 | 2147483647   223293     29 |  8.382 % |
2384.72/2385.48	c |    537862 |    4252    17236    48321 | 2147483647   223527     29 |  8.382 % |
2386.42/2387.16	c |    538118 |    4252    17236    48321 | 2147483647   223783     29 |  8.382 % |
2388.02/2388.71	c |    538399 |    4252    17236    48321 | 2147483647   224064     29 |  8.382 % |
2389.82/2390.50	c |    538708 |    4252    17236    48321 | 2147483647   224373     29 |  8.382 % |
2392.02/2392.70	c |    539048 |    4252    17236    48321 | 2147483647   224713     29 |  8.382 % |
2394.31/2395.07	c |    539420 |    4252    17236    48321 | 2147483647   225085     29 |  8.382 % |
2396.81/2397.50	c |    539829 |    4252    17236    48321 | 2147483647   225494     29 |  8.382 % |
2398.91/2399.60	c |    540278 |    4252    17236    48321 | 2147483647   225943     29 |  8.382 % |
2400.81/2401.53	c |    540771 |    4252    17236    48321 | 2147483647   226436     29 |  8.382 % |
2403.21/2403.94	c |    541314 |    4252    17236    48321 | 2147483647   226979     29 |  8.382 % |
2405.81/2406.54	c |    541910 |    4252    17236    48321 | 2147483647   227575     29 |  8.382 % |
2409.22/2409.90	c |    542566 |    4252    17236    48321 | 2147483647   228231     29 |  8.382 % |
2413.82/2414.51	c |    543287 |    4252    17236    48321 | 2147483647   228952     29 |  8.382 % |
2418.12/2418.82	c |    544079 |    4252    17236    48321 | 2147483647   229744     29 |  8.382 % |
2422.92/2423.61	c |    544951 |    4252    17236    48321 | 2147483647   230616     29 |  8.382 % |
2428.02/2428.79	c |    545909 |    4252    17236    48321 | 2147483647   231574     29 |  8.382 % |
2434.31/2435.05	c |    546963 |    4252    17236    48321 | 2147483647   232628     29 |  8.382 % |
2442.11/2442.83	c |    548122 |    4252    17236    48321 | 2147483647   233787     29 |  8.382 % |
2447.41/2448.18	c |    549396 |    4252    17236    48321 | 2147483647   235061     29 |  8.382 % |
2455.81/2456.58	c |    550796 |    4252    17236    48321 |   235666   236461     29 |  8.382 % |
2466.51/2467.28	c |    552336 |    4252    17236    48321 |   235666   211804     29 |  8.382 % |
2476.80/2477.51	c |    554030 |    4252    17236    48321 |   235666   213498     29 |  8.382 % |
2485.10/2485.81	c |    555893 |    4252    17236    48321 |   235666   215361     29 |  8.382 % |
2495.59/2496.32	c |    557942 |    4252    17236    48321 |   235666   217410     29 |  8.382 % |
2501.69/2502.46	c |    560196 |    4252    17236    48321 |   219468   219664     29 |  8.382 % |
2513.78/2514.58	c |    562675 |    4252    17236    48321 |   219468   198076     29 |  8.382 % |
2529.98/2530.74	c |    565400 |    4252    17236    48321 |   219468   200801     29 |  8.382 % |
2544.87/2545.63	c |    568399 |    4252    17236    48321 |   219468   203800     29 |  8.382 % |
2560.37/2561.13	c |    571696 |    4252    17236    48321 |   205401   186471     29 |  8.382 % |
2580.16/2580.96	c |    575322 |    4252    17236    48321 |   205401   190097     29 |  8.382 % |
2593.76/2594.55	c |    579311 |    4252    17236    48321 |   205401   194086     29 |  8.382 % |
2618.85/2619.69	c |    583696 |    4252    17236    48321 | 2147483647   198471     29 |  8.382 % |
2647.84/2648.60	c |    588519 |    4252    17236    48321 | 2147483647   203294     29 |  8.382 % |
2676.64/2677.44	c |    593825 |    4252    17236    48321 | 2147483647   208600     29 |  8.382 % |
2677.04/2677.83	c |    593926 |    4252    17236    48321 | 2147483647   208701     29 |  8.382 % |
2677.54/2678.30	c |    594037 |    4252    17236    48321 | 2147483647   208812     29 |  8.382 % |
2678.23/2679.04	c |    594158 |    4252    17236    48321 | 2147483647   208933     29 |  8.382 % |
2679.03/2679.86	c |    594292 |    4252    17236    48321 | 2147483647   209067     29 |  8.382 % |
2679.94/2680.72	c |    594438 |    4252    17236    48321 | 2147483647   209213     29 |  8.382 % |
2680.94/2681.75	c |    594598 |    4252    17236    48321 | 2147483647   209373     29 |  8.382 % |
2681.93/2682.74	c |    594774 |    4252    17236    48321 | 2147483647   209549     29 |  8.382 % |
2682.94/2683.72	c |    594967 |    4252    17236    48321 | 2147483647   209742     29 |  8.382 % |
2683.83/2684.69	c |    595180 |    4252    17236    48321 | 2147483647   209955     29 |  8.382 % |
2684.93/2685.77	c |    595413 |    4252    17236    48321 | 2147483647   210188     29 |  8.382 % |
2685.93/2686.77	c |    595670 |    4252    17236    48321 | 2147483647   210445     29 |  8.382 % |
2687.54/2688.33	c |    595951 |    4252    17236    48321 | 2147483647   210726     29 |  8.382 % |
2688.83/2689.65	c |    596260 |    4252    17236    48321 | 2147483647   211035     29 |  8.382 % |
2690.33/2691.17	c |    596600 |    4252    17236    48321 | 2147483647   211375     29 |  8.382 % |
2692.63/2693.44	c |    596972 |    4252    17236    48321 | 2147483647   211747     29 |  8.382 % |
2695.23/2696.07	c |    597382 |    4252    17236    48321 | 2147483647   212157     29 |  8.382 % |
2697.53/2698.36	c |    597831 |    4252    17236    48321 | 2147483647   212606     29 |  8.382 % |
2700.03/2700.84	c |    598325 |    4252    17236    48321 | 2147483647   213100     29 |  8.382 % |
2702.53/2703.36	c |    598868 |    4252    17236    48321 | 2147483647   213643     29 |  8.382 % |
2705.03/2705.87	c |    599465 |    4252    17236    48321 | 2147483647   214240     29 |  8.382 % |
2707.43/2708.21	c |    600120 |    4252    17236    48321 |   214776   214895     29 |  8.382 % |
2711.22/2712.03	c |    600840 |    4252    17236    48321 |   214776   215615     29 |  8.382 % |
2716.62/2717.40	c |    601632 |    4252    17236    48321 |   214776   192612     28 |  8.382 % |
2722.12/2722.95	c |    602503 |    4252    17236    48321 |   214776   193483     28 |  8.382 % |
2727.12/2727.99	c |    603461 |    4252    17236    48321 |   214776   194441     28 |  8.382 % |
2732.72/2733.53	c |    604515 |    4252    17236    48321 |   214776   195495     28 |  8.382 % |
2735.22/2736.03	c |    605674 |    4252    17236    48321 |   214776   196654     28 |  8.382 % |
2739.52/2740.31	c |    606948 |    4252    17236    48321 |   214776   197928     28 |  8.382 % |
2747.81/2748.63	c |    608348 |    4252    17236    48321 |   214776   199328     28 |  8.382 % |
2757.11/2757.92	c |    609889 |    4252    17236    48321 |   214776   200869     28 |  8.382 % |
2767.61/2768.49	c |    611584 |    4252    17236    48321 |   200981   182338     28 |  8.382 % |
2774.00/2774.88	c |    613447 |    4252    17236    48321 |   200981   184201     28 |  8.382 % |
2782.80/2783.69	c |    615496 |    4252    17236    48321 |   200981   186250     28 |  8.382 % |
2794.31/2795.19	c |    617750 |    4252    17236    48321 |   200981   188504     28 |  8.382 % |
2808.70/2809.54	c |    620228 |    4252    17236    48321 | 2147483647   190982     28 |  8.382 % |
2823.90/2824.75	c |    622953 |    4252    17236    48321 | 2147483647   193707     28 |  8.382 % |
2840.79/2841.65	c |    625951 |    4252    17236    48321 | 2147483647   196705     28 |  8.382 % |
2861.39/2862.25	c |    629248 |    4252    17236    48321 | 2147483647   200002     28 |  8.382 % |
2883.68/2884.50	c |    632874 |    4252    17236    48321 | 2147483647   203628     28 |  8.382 % |
2903.97/2904.81	c |    636861 |    4252    17236    48321 | 2147483647   207615     28 |  8.382 % |
2930.97/2931.87	c |    641246 |    4252    17236    48321 | 2147483647   212000     28 |  8.382 % |
2962.26/2963.16	c |    646069 |    4252    17236    48321 | 2147483647   216823     28 |  8.382 % |
2992.75/2993.61	c |    651376 |    4252    17236    48321 | 2147483647   222130     28 |  8.382 % |
3027.44/3028.31	c |    657211 |    4252    17236    48321 | 2147483647   227965     28 |  8.382 % |
3028.14/3029.02	c |    657311 |    4252    17236    48321 | 2147483647   228065     28 |  8.382 % |
3028.64/3029.58	c |    657422 |    4252    17236    48321 | 2147483647   228176     28 |  8.382 % |
3029.34/3030.25	c |    657544 |    4252    17236    48321 | 2147483647   228298     28 |  8.382 % |
3030.24/3031.14	c |    657677 |    4252    17236    48321 | 2147483647   228431     28 |  8.382 % |
3030.64/3031.55	c |    657824 |    4252    17236    48321 | 2147483647   228578     28 |  8.382 % |
3031.74/3032.60	c |    657985 |    4252    17236    48321 | 2147483647   228739     28 |  8.382 % |
3032.74/3033.65	c |    658163 |    4252    17236    48321 | 2147483647   228917     28 |  8.382 % |
3033.84/3034.76	c |    658356 |    4252    17236    48321 | 2147483647   229110     28 |  8.382 % |
3034.74/3035.66	c |    658569 |    4252    17236    48321 | 2147483647   229323     28 |  8.382 % |
3036.24/3037.14	c |    658802 |    4252    17236    48321 | 2147483647   229556     28 |  8.382 % |
3037.64/3038.54	c |    659059 |    4252    17236    48321 | 2147483647   229813     28 |  8.382 % |
3039.04/3039.95	c |    659340 |    4252    17236    48321 | 2147483647   230094     28 |  8.382 % |
3040.83/3041.77	c |    659650 |    4252    17236    48321 | 2147483647   230404     28 |  8.382 % |
3042.75/3043.63	c |    659990 |    4252    17236    48321 | 2147483647   230744     28 |  8.382 % |
3043.95/3044.83	c |    660362 |    4252    17236    48321 |   230754   231116     28 |  8.382 % |
3045.94/3046.81	c |    660772 |    4252    17236    48321 |   230754   231526     28 |  8.382 % |
3049.64/3050.59	c |    661221 |    4252    17236    48321 |   230754   205581     28 |  8.382 % |
3051.34/3052.24	c |    661715 |    4252    17236    48321 |   230754   206075     28 |  8.382 % |
3054.34/3055.23	c |    662258 |    4252    17236    48321 |   230754   206618     28 |  8.382 % |
3057.74/3058.67	c |    662855 |    4252    17236    48321 |   230754   207215     28 |  8.382 % |
3061.73/3062.69	c |    663510 |    4252    17236    48321 |   230754   207870     28 |  8.382 % |
3065.84/3066.78	c |    664231 |    4252    17236    48321 |   230754   208591     28 |  8.382 % |
3070.43/3071.35	c |    665024 |    4252    17236    48321 |   230754   209384     28 |  8.382 % |
3075.63/3076.60	c |    665895 |    4252    17236    48321 |   230754   210255     28 |  8.382 % |
3080.03/3080.92	c |    666854 |    4252    17236    48321 |   230754   211214     28 |  8.382 % |
3085.83/3086.76	c |    667907 |    4252    17236    48321 |   230754   212267     28 |  8.382 % |
3092.73/3093.69	c |    669065 |    4252    17236    48321 |   230754   213425     28 |  8.382 % |
3100.42/3101.35	c |    670338 |    4252    17236    48321 |   214360   214698     28 |  8.382 % |
3109.83/3110.74	c |    671739 |    4252    17236    48321 |   214360   193102     28 |  8.382 % |
3115.12/3116.02	c |    673280 |    4252    17236    48321 |   214360   194643     28 |  8.382 % |
3125.52/3126.41	c |    674975 |    4252    17236    48321 |   214360   196338     28 |  8.382 % |
3135.71/3136.67	c |    676838 |    4252    17236    48321 |   214360   198201     28 |  8.382 % |
3148.81/3149.77	c |    678888 |    4252    17236    48321 |   214360   200251     28 |  8.382 % |
3162.01/3162.95	c |    681142 |    4252    17236    48321 | 2147483647   202505     28 |  8.382 % |
3177.01/3177.99	c |    683620 |    4252    17236    48321 | 2147483647   204983     28 |  8.382 % |
3192.00/3192.94	c |    686345 |    4252    17236    48321 | 2147483647   207708     28 |  8.382 % |
3207.70/3208.62	c |    689342 |    4252    17236    48321 | 2147483647   210705     28 |  8.382 % |
3217.19/3218.17	c |    692639 |    4252    17236    48321 | 2147483647   214002     28 |  8.382 % |
3239.28/3240.22	c |    696264 |    4252    17236    48321 | 2147483647   217627     28 |  8.382 % |
3264.88/3265.81	c |    700252 |    4252    17236    48321 | 2147483647   221615     28 |  8.382 % |
3287.07/3288.04	c |    704637 |    4252    17236    48321 | 2147483647   226000     28 |  8.382 % |
3311.18/3312.13	c |    709460 |    4252    17236    48321 | 2147483647   230823     28 |  8.382 % |
3346.56/3347.57	c |    714765 |    4252    17236    48321 |   231364   211142     28 |  8.382 % |
3382.15/3383.15	c |    720601 |    4252    17236    48321 | 2147483647   216978     28 |  8.382 % |
3417.04/3418.00	c |    727019 |    4252    17236    48321 | 2147483647   223396     28 |  8.382 % |
3417.85/3418.81	c |    727120 |    4252    17236    48321 | 2147483647   223497     28 |  8.382 % |
3418.64/3419.60	c |    727231 |    4252    17236    48321 | 2147483647   223608     28 |  8.382 % |
3419.44/3420.41	c |    727353 |    4252    17236    48321 | 2147483647   223730     28 |  8.382 % |
3420.14/3421.19	c |    727486 |    4252    17236    48321 | 2147483647   223863     28 |  8.382 % |
3421.05/3422.10	c |    727633 |    4252    17236    48321 | 2147483647   224010     28 |  8.382 % |
3422.04/3423.01	c |    727794 |    4252    17236    48321 | 2147483647   224171     28 |  8.382 % |
3423.14/3424.10	c |    727970 |    4252    17236    48321 | 2147483647   224347     28 |  8.382 % |
3424.35/3425.38	c |    728164 |    4252    17236    48321 | 2147483647   224541     28 |  8.382 % |
3425.74/3426.74	c |    728376 |    4252    17236    48321 | 2147483647   224753     28 |  8.382 % |
3426.74/3427.76	c |    728609 |    4252    17236    48321 | 2147483647   224986     28 |  8.382 % |
3427.74/3428.72	c |    728866 |    4252    17236    48321 | 2147483647   225243     28 |  8.382 % |
3428.84/3429.87	c |    729147 |    4252    17236    48321 | 2147483647   225524     28 |  8.382 % |
3430.44/3431.47	c |    729458 |    4252    17236    48321 | 2147483647   225835     28 |  8.382 % |
3431.74/3432.71	c |    729797 |    4252    17236    48321 | 2147483647   226174     28 |  8.382 % |
3434.84/3435.85	c |    730169 |    4252    17236    48321 |   226377   226546     28 |  8.382 % |
3437.74/3438.78	c |    730578 |    4252    17236    48321 |   226377   226955     28 |  8.382 % |
3441.73/3442.76	c |    731028 |    4252    17236    48321 |   226377   201189     28 |  8.382 % |
3444.43/3445.46	c |    731521 |    4252    17236    48321 |   226377   201682     28 |  8.382 % |
3446.73/3447.77	c |    732063 |    4252    17236    48321 |   226377   202224     28 |  8.382 % |
3449.83/3450.89	c |    732660 |    4252    17236    48321 |   226377   202821     28 |  8.382 % |
3453.83/3454.81	c |    733316 |    4252    17236    48321 |   226377   203477     28 |  8.382 % |
3457.83/3458.88	c |    734037 |    4252    17236    48321 |   226377   204198     28 |  8.382 % |
3462.33/3463.30	c |    734830 |    4252    17236    48321 |   226377   204991     28 |  8.382 % |
3467.23/3468.21	c |    735701 |    4252    17236    48321 |   226377   205862     28 |  8.382 % |
3471.83/3472.84	c |    736659 |    4252    17236    48321 |   226377   206820     28 |  8.382 % |
3478.13/3479.15	c |    737712 |    4252    17236    48321 |   226377   207873     28 |  8.382 % |
3484.12/3485.13	c |    738870 |    4252    17236    48321 |   226377   209031     28 |  8.382 % |
3491.72/3492.76	c |    740143 |    4252    17236    48321 | 2147483647   210304     28 |  8.382 % |
3499.92/3500.90	c |    741543 |    4252    17236    48321 | 2147483647   211704     28 |  8.382 % |
3508.61/3509.62	c |    743083 |    4252    17236    48321 | 2147483647   213244     28 |  8.382 % |
3519.02/3520.03	c |    744777 |    4252    17236    48321 | 2147483647   214938     28 |  8.382 % |
3529.41/3530.43	c |    746641 |    4252    17236    48321 | 2147483647   216802     28 |  8.382 % |
3542.50/3543.50	c |    748691 |    4252    17236    48321 | 2147483647   218852     28 |  8.382 % |
3557.10/3558.14	c |    750945 |    4252    17236    48321 | 2147483647   221106     28 |  8.382 % |
3572.30/3573.35	c |    753423 |    4252    17236    48321 | 2147483647   223584     28 |  8.382 % |
3589.00/3590.04	c |    756149 |    4252    17236    48321 | 2147483647   226310     28 |  8.382 % |
3606.60/3607.67	c |    759146 |    4252    17236    48321 | 2147483647   229307     28 |  8.382 % |
3628.79/3629.87	c |    762442 |    4252    17236    48321 | 2147483647   232603     28 |  8.382 % |
3652.38/3653.45	c |    766067 |    4252    17236    48321 | 2147483647   236228     28 |  8.382 % |
3676.78/3677.89	c |    770054 |    4252    17236    48321 |   240161   240215     28 |  8.382 % |
3704.07/3705.14	c |    774440 |    4252    17236    48321 |   240161   213242     27 |  8.382 % |
3723.17/3724.29	c |    779264 |    4252    17236    48321 |   240161   218066     28 |  8.382 % |
3749.16/3750.23	c |    784570 |    4252    17236    48321 |   218805   195552     27 |  8.382 % |
3780.45/3781.59	c |    790406 |    4252    17236    48321 |   200982   201388     27 |  8.382 % |
3816.24/3817.31	c |    796825 |    4252    17236    48321 |   200982   187343     27 |  8.382 % |
3854.44/3855.58	c |    803884 |    4252    17236    48321 | 2147483647   194402     27 |  8.382 % |
3855.03/3856.19	c |    803984 |    4252    17236    48321 | 2147483647   194502     27 |  8.382 % |
3855.73/3856.87	c |    804095 |    4252    17236    48321 | 2147483647   194613     27 |  8.382 % |
3856.43/3857.59	c |    804218 |    4252    17236    48321 | 2147483647   194736     27 |  8.382 % |
3857.03/3858.10	c |    804353 |    4252    17236    48321 | 2147483647   194871     27 |  8.382 % |
3857.83/3858.90	c |    804499 |    4252    17236    48321 | 2147483647   195017     27 |  8.382 % |
3858.73/3859.85	c |    804659 |    4252    17236    48321 | 2147483647   195177     27 |  8.382 % |
3859.83/3860.95	c |    804836 |    4252    17236    48321 | 2147483647   195354     27 |  8.382 % |
3860.63/3861.79	c |    805029 |    4252    17236    48321 | 2147483647   195547     27 |  8.382 % |
3861.83/3862.92	c |    805241 |    4252    17236    48321 | 2147483647   195759     27 |  8.382 % |
3862.73/3863.85	c |    805475 |    4252    17236    48321 | 2147483647   195993     27 |  8.382 % |
3863.93/3865.02	c |    805731 |    4252    17236    48321 | 2147483647   196249     27 |  8.382 % |
3864.53/3865.68	c |    806012 |    4252    17236    48321 | 2147483647   196530     27 |  8.382 % |
3866.13/3867.20	c |    806322 |    4252    17236    48321 | 2147483647   196840     27 |  8.382 % |
3868.03/3869.13	c |    806662 |    4252    17236    48321 | 2147483647   197180     27 |  8.382 % |
3869.92/3871.08	c |    807034 |    4252    17236    48321 | 2147483647   197552     27 |  8.382 % |
3871.42/3872.60	c |    807443 |    4252    17236    48321 | 2147483647   197961     27 |  8.382 % |
3873.22/3874.33	c |    807892 |    4252    17236    48321 | 2147483647   198410     27 |  8.382 % |
3874.52/3875.63	c |    808389 |    4252    17236    48321 | 2147483647   198907     27 |  8.382 % |
3876.72/3877.84	c |    808931 |    4252    17236    48321 | 2147483647   199449     27 |  8.382 % |
3878.62/3879.73	c |    809527 |    4252    17236    48321 | 2147483647   200045     27 |  8.382 % |
3882.12/3883.28	c |    810183 |    4252    17236    48321 | 2147483647   200701     27 |  8.382 % |
3885.52/3886.63	c |    810904 |    4252    17236    48321 | 2147483647   201422     27 |  8.382 % |
3889.72/3890.89	c |    811697 |    4252    17236    48321 | 2147483647   202215     27 |  8.382 % |
3894.42/3895.53	c |    812569 |    4252    17236    48321 | 2147483647   203087     27 |  8.382 % |
3899.82/3900.93	c |    813528 |    4252    17236    48321 | 2147483647   204046     27 |  8.382 % |
3905.02/3906.16	c |    814581 |    4252    17236    48321 | 2147483647   205099     27 |  8.382 % |
3909.32/3910.46	c |    815739 |    4252    17236    48321 | 2147483647   206257     27 |  8.382 % |
3916.51/3917.68	c |    817012 |    4252    17236    48321 | 2147483647   207530     27 |  8.382 % |
3924.31/3925.40	c |    818413 |    4252    17236    48321 | 2147483647   208931     27 |  8.382 % |
3932.41/3933.57	c |    819954 |    4252    17236    48321 | 2147483647   210472     27 |  8.382 % |
3939.11/3940.25	c |    821648 |    4252    17236    48321 | 2147483647   212166     27 |  8.382 % |
3950.90/3952.00	c |    823511 |    4252    17236    48321 | 2147483647   214029     27 |  8.382 % |
3960.50/3961.64	c |    825561 |    4252    17236    48321 | 2147483647   216079     27 |  8.382 % |
3971.80/3972.91	c |    827815 |    4252    17236    48321 | 2147483647   218333     27 |  8.382 % |
3985.00/3986.15	c |    830293 |    4252    17236    48321 |   220518   220811     27 |  8.382 % |
4001.30/4002.44	c |    833018 |    4252    17236    48321 |   220518   199935     27 |  8.382 % |
4017.89/4019.03	c |    836015 |    4252    17236    48321 |   220518   202932     27 |  8.382 % |
4035.79/4036.94	c |    839311 |    4252    17236    48321 |   220518   206228     27 |  8.382 % |
4055.08/4056.28	c |    842938 |    4252    17236    48321 | 2147483647   209855     27 |  8.382 % |
4076.58/4077.79	c |    846926 |    4252    17236    48321 | 2147483647   213843     27 |  8.382 % |
4100.27/4101.41	c |    851312 |    4252    17236    48321 | 2147483647   218229     27 |  8.382 % |
4129.86/4131.09	c |    856136 |    4252    17236    48321 | 2147483647   223053     27 |  8.382 % |
4161.16/4162.36	c |    861442 |    4252    17236    48321 | 2147483647   228359     27 |  8.382 % |
4198.04/4199.20	c |    867278 |    4252    17236    48321 | 2147483647   234195     27 |  8.382 % |
4239.53/4240.72	c |    873696 |    4252    17236    48321 | 2147483647   240613     27 |  8.382 % |
4288.72/4289.93	c |    880756 |    4252    17236    48321 |   246918   218868     27 |  8.382 % |
4337.21/4338.42	c |    888521 |    4252    17236    48321 |   246918   226633     27 |  8.382 % |
4337.91/4339.18	c |    888622 |    4252    17236    48321 |   246918   226734     27 |  8.382 % |
4338.41/4339.69	c |    888733 |    4252    17236    48321 |   246918   226845     27 |  8.382 % |
4339.01/4340.25	c |    888854 |    4252    17236    48321 |   246918   226966     27 |  8.382 % |
4339.71/4340.98	c |    888987 |    4252    17236    48321 |   246918   227099     27 |  8.382 % |
4340.71/4341.96	c |    889133 |    4252    17236    48321 |   246918   227245     27 |  8.382 % |
4341.91/4343.18	c |    889293 |    4252    17236    48321 |   246918   227405     27 |  8.382 % |
4343.21/4344.42	c |    889470 |    4252    17236    48321 |   246918   227582     27 |  8.382 % |
4343.81/4345.05	c |    889663 |    4252    17236    48321 |   246918   227775     27 |  8.382 % |
4345.01/4346.22	c |    889876 |    4252    17236    48321 |   246918   227988     27 |  8.382 % |
4346.31/4347.56	c |    890109 |    4252    17236    48321 |   228113   228221     27 |  8.382 % |
4347.91/4349.17	c |    890366 |    4252    17236    48321 |   228113   228478     27 |  8.382 % |
4349.70/4350.97	c |    890648 |    4252    17236    48321 |   228113   228760     27 |  8.382 % |
4352.51/4353.75	c |    890958 |    4252    17236    48321 |   228113   205880     27 |  8.382 % |
4354.60/4355.89	c |    891297 |    4252    17236    48321 |   228113   206219     27 |  8.382 % |
4356.80/4358.02	c |    891670 |    4252    17236    48321 |   228113   206592     27 |  8.382 % |
4358.40/4359.64	c |    892079 |    4252    17236    48321 |   228113   207001     27 |  8.382 % |
4361.00/4362.23	c |    892529 |    4252    17236    48321 |   228113   207451     27 |  8.382 % |
4363.60/4364.83	c |    893023 |    4252    17236    48321 |   228113   207945     27 |  8.382 % |
4366.70/4367.93	c |    893566 |    4252    17236    48321 |   228113   208488     27 |  8.382 % |
4370.10/4371.34	c |    894162 |    4252    17236    48321 |   228113   209084     27 |  8.382 % |
4373.80/4375.02	c |    894817 |    4252    17236    48321 |   228113   209739     27 |  8.382 % |
4377.00/4378.20	c |    895537 |    4252    17236    48321 |   228113   210459     27 |  8.382 % |
4380.00/4381.28	c |    896329 |    4252    17236    48321 |   228113   211251     27 |  8.382 % |
4384.80/4386.03	c |    897200 |    4252    17236    48321 |   228113   212122     27 |  8.382 % |
4388.09/4389.39	c |    898159 |    4252    17236    48321 |   228113   213081     27 |  8.382 % |
4393.79/4395.09	c |    899212 |    4252    17236    48321 |   228113   214134     27 |  8.382 % |
4400.19/4401.47	c |    900370 |    4252    17236    48321 |   214923   215292     27 |  8.382 % |
4407.69/4408.91	c |    901643 |    4252    17236    48321 |   214923   191791     27 |  8.382 % |
4412.09/4413.37	c |    903044 |    4252    17236    48321 |   214923   193192     27 |  8.382 % |
4420.38/4421.62	c |    904584 |    4252    17236    48321 |   214923   194732     27 |  8.382 % |
4429.68/4430.97	c |    906278 |    4252    17236    48321 |   214923   196426     27 |  8.382 % |
4438.48/4439.79	c |    908141 |    4252    17236    48321 |   214923   198289     27 |  8.382 % |
4448.38/4449.60	c |    910190 |    4252    17236    48321 |   200149   200338     27 |  8.382 % |
4461.38/4462.68	c |    912443 |    4252    17236    48321 |   200149   180435     27 |  8.382 % |
4468.07/4469.35	c |    914922 |    4252    17236    48321 |   200149   182914     27 |  8.382 % |
4483.57/4484.80	c |    917648 |    4252    17236    48321 |   200149   185640     27 |  8.382 % |
4501.96/4503.27	c |    920645 |    4252    17236    48321 | 2147483647   188637     27 |  8.382 % |
4522.16/4523.45	c |    923941 |    4252    17236    48321 | 2147483647   191933     27 |  8.382 % |
4544.15/4545.47	c |    927566 |    4252    17236    48321 | 2147483647   195558     27 |  8.382 % |
4565.74/4567.05	c |    931553 |    4252    17236    48321 | 2147483647   199545     27 |  8.382 % |
4588.45/4589.75	c |    935939 |    4252    17236    48321 | 2147483647   203931     27 |  8.382 % |
4615.54/4616.89	c |    940762 |    4252    17236    48321 | 2147483647   208754     27 |  8.382 % |
4640.63/4641.99	c |    946068 |    4252    17236    48321 | 2147483647   214060     27 |  8.382 % |
4672.53/4673.83	c |    951903 |    4252    17236    48321 | 2147483647   219895     27 |  8.382 % |
4706.41/4707.73	c |    958322 |    4252    17236    48321 | 2147483647   226314     27 |  8.382 % |
4743.80/4745.18	c |    965382 |    4252    17236    48321 | 2147483647   233374     27 |  8.382 % |
4790.49/4791.83	c |    973146 |    4252    17236    48321 | 2147483647   241138     27 |  8.382 % |
4842.07/4843.40	c |    981686 |    4252    17236    48321 |   247993   220504     27 |  8.382 % |
4842.47/4843.89	c |    981786 |    4252    17236    48321 |   247993   220604     27 |  8.382 % |
4842.87/4844.28	c |    981897 |    4252    17236    48321 |   247993   220715     27 |  8.382 % |
4843.57/4844.99	c |    982018 |    4252    17236    48321 |   247993   220836     27 |  8.382 % |
4844.57/4845.95	c |    982152 |    4252    17236    48321 |   247993   220970     27 |  8.382 % |
4845.57/4846.97	c |    982299 |    4252    17236    48321 |   247993   221117     27 |  8.382 % |
4846.57/4847.95	c |    982460 |    4252    17236    48321 |   247993   221278     27 |  8.382 % |
4847.27/4848.66	c |    982636 |    4252    17236    48321 |   247993   221454     27 |  8.382 % |
4848.27/4849.67	c |    982829 |    4252    17236    48321 |   247993   221647     27 |  8.382 % |
4849.67/4851.04	c |    983042 |    4252    17236    48321 |   247993   221860     27 |  8.382 % |
4850.97/4852.31	c |    983275 |    4252    17236    48321 |   247993   222093     27 |  8.382 % |
4852.47/4853.89	c |    983531 |    4252    17236    48321 |   247993   222349     27 |  8.382 % |
4854.27/4855.69	c |    983813 |    4252    17236    48321 |   247993   222631     27 |  8.382 % |
4856.27/4857.65	c |    984122 |    4252    17236    48321 |   247993   222940     27 |  8.382 % |
4857.87/4859.26	c |    984462 |    4252    17236    48321 |   247993   223280     27 |  8.382 % |
4860.07/4861.44	c |    984835 |    4252    17236    48321 |   247993   223653     27 |  8.382 % |
4862.27/4863.62	c |    985245 |    4252    17236    48321 |   247993   224063     27 |  8.382 % |
4865.27/4866.60	c |    985694 |    4252    17236    48321 |   247993   224512     27 |  8.382 % |
4868.28/4869.63	c |    986188 |    4252    17236    48321 |   247993   225006     27 |  8.382 % |
4871.27/4872.65	c |    986730 |    4252    17236    48321 |   247993   225548     27 |  8.382 % |
4874.27/4875.68	c |    987327 |    4252    17236    48321 |   247993   226145     27 |  8.382 % |
4878.47/4879.82	c |    987982 |    4252    17236    48321 |   247993   226800     27 |  8.382 % |
4883.17/4884.56	c |    988702 |    4252    17236    48321 |   247993   227520     27 |  8.382 % |
4888.17/4889.57	c |    989495 |    4252    17236    48321 |   247993   228313     27 |  8.382 % |
4891.57/4892.98	c |    990366 |    4252    17236    48321 |   228820   229184     27 |  8.382 % |
4899.37/4900.78	c |    991325 |    4252    17236    48321 |   228820   204714     27 |  8.382 % |
4903.16/4904.52	c |    992378 |    4252    17236    48321 |   228820   205767     27 |  8.382 % |
4908.26/4909.61	c |    993536 |    4252    17236    48321 |   228820   206925     27 |  8.382 % |
4915.46/4916.89	c |    994810 |    4252    17236    48321 |   228820   208199     27 |  8.382 % |
4923.56/4924.90	c |    996210 |    4252    17236    48321 |   228820   209599     27 |  8.382 % |
4932.06/4933.43	c |    997750 |    4252    17236    48321 |   228820   211139     27 |  8.382 % |
4939.25/4940.64	c |    999446 |    4252    17236    48321 |   228820   212835     27 |  8.382 % |
4949.25/4950.60	c |   1001310 |    4252    17236    48321 |   213389   193110     26 |  8.382 % |
4961.85/4963.21	c |   1003360 |    4252    17236    48321 |   213389   195160     26 |  8.382 % |
4974.95/4976.39	c |   1005613 |    4252    17236    48321 |   213389   197413     26 |  8.382 % |
4986.54/4987.93	c |   1008091 |    4252    17236    48321 |   213389   199891     27 |  8.382 % |
5000.74/5002.11	c |   1010816 |    4252    17236    48321 | 2147483647   202616     27 |  8.382 % |
5013.03/5014.49	c |   1013813 |    4252    17236    48321 | 2147483647   205613     27 |  8.382 % |
5031.63/5033.07	c |   1017109 |    4252    17236    48321 | 2147483647   208909     27 |  8.382 % |
5049.12/5050.59	c |   1020735 |    4252    17236    48321 | 2147483647   212535     27 |  8.382 % |
5074.22/5075.68	c |   1024723 |    4252    17236    48321 | 2147483647   216523     27 |  8.382 % |
5093.91/5095.37	c |   1029109 |    4252    17236    48321 | 2147483647   220909     27 |  8.382 % |
5123.80/5125.22	c |   1033932 |    4252    17236    48321 | 2147483647   225732     27 |  8.382 % |
5158.09/5159.57	c |   1039238 |    4252    17236    48321 | 2147483647   231038     27 |  8.382 % |
5195.78/5197.24	c |   1045073 |    4252    17236    48321 | 2147483647   236873     27 |  8.382 % |
5232.98/5234.41	c |   1051492 |    4252    17236    48321 |   241800   243292     27 |  8.382 % |
5274.67/5276.11	c |   1058552 |    4252    17236    48321 |   241800   220390     27 |  8.382 % |
5315.76/5317.28	c |   1066316 |    4252    17236    48321 |   221839   198538     27 |  8.382 % |
5364.95/5366.46	c |   1074856 |    4252    17236    48321 |   202223   184095     26 |  8.382 % |
5417.63/5419.18	c |   1084251 |    4252    17236    48321 | 2147483647   193490     27 |  8.382 % |
5418.03/5419.56	c |   1084352 |    4252    17236    48321 | 2147483647   193591     27 |  8.382 % |
5418.73/5420.25	c |   1084463 |    4252    17236    48321 | 2147483647   193702     27 |  8.382 % |
5419.43/5421.00	c |   1084585 |    4252    17236    48321 | 2147483647   193824     27 |  8.382 % |
5420.33/5421.88	c |   1084719 |    4252    17236    48321 | 2147483647   193958     27 |  8.382 % |
5421.23/5422.75	c |   1084866 |    4252    17236    48321 | 2147483647   194105     27 |  8.382 % |
5422.13/5423.69	c |   1085027 |    4252    17236    48321 | 2147483647   194266     27 |  8.382 % |
5423.13/5424.69	c |   1085204 |    4252    17236    48321 | 2147483647   194443     27 |  8.382 % |
5424.22/5425.74	c |   1085398 |    4252    17236    48321 | 2147483647   194637     27 |  8.382 % |
5425.22/5426.73	c |   1085611 |    4252    17236    48321 | 2147483647   194850     27 |  8.382 % |
5426.72/5428.22	c |   1085845 |    4252    17236    48321 | 2147483647   195084     27 |  8.382 % |
5428.32/5429.84	c |   1086101 |    4252    17236    48321 | 2147483647   195340     27 |  8.382 % |
5430.12/5431.64	c |   1086383 |    4252    17236    48321 | 2147483647   195622     27 |  8.382 % |
5431.92/5433.43	c |   1086693 |    4252    17236    48321 | 2147483647   195932     27 |  8.382 % |
5434.12/5435.69	c |   1087033 |    4252    17236    48321 | 2147483647   196272     27 |  8.382 % |
5436.02/5437.52	c |   1087405 |    4252    17236    48321 | 2147483647   196644     27 |  8.382 % |
5438.22/5439.76	c |   1087815 |    4252    17236    48321 | 2147483647   197054     27 |  8.382 % |
5440.82/5442.39	c |   1088264 |    4252    17236    48321 | 2147483647   197503     27 |  8.382 % |
5443.92/5445.41	c |   1088757 |    4252    17236    48321 | 2147483647   197996     27 |  8.382 % |
5447.42/5448.98	c |   1089299 |    4252    17236    48321 | 2147483647   198538     27 |  8.382 % |
5451.32/5452.82	c |   1089895 |    4252    17236    48321 | 2147483647   199134     27 |  8.382 % |
5454.92/5456.45	c |   1090551 |    4252    17236    48321 | 2147483647   199790     27 |  8.382 % |
5458.72/5460.24	c |   1091272 |    4252    17236    48321 | 2147483647   200511     27 |  8.382 % |
5462.92/5464.45	c |   1092065 |    4252    17236    48321 | 2147483647   201304     27 |  8.382 % |
5467.32/5468.82	c |   1092937 |    4252    17236    48321 | 2147483647   202176     27 |  8.382 % |
5473.22/5474.79	c |   1093895 |    4252    17236    48321 | 2147483647   203134     27 |  8.382 % |
5477.12/5478.67	c |   1094949 |    4252    17236    48321 | 2147483647   204188     27 |  8.382 % |
5484.01/5485.54	c |   1096107 |    4252    17236    48321 | 2147483647   205346     27 |  8.382 % |
5493.21/5494.78	c |   1097380 |    4252    17236    48321 | 2147483647   206619     27 |  8.382 % |
5501.21/5502.73	c |   1098781 |    4252    17236    48321 | 2147483647   208020     27 |  8.382 % |
5510.51/5512.04	c |   1100321 |    4252    17236    48321 | 2147483647   209560     27 |  8.382 % |
5520.20/5521.78	c |   1102015 |    4252    17236    48321 | 2147483647   211254     27 |  8.382 % |
5530.20/5531.75	c |   1103878 |    4252    17236    48321 | 2147483647   213117     27 |  8.382 % |
5542.90/5544.49	c |   1105928 |    4252    17236    48321 | 2147483647   215167     27 |  8.382 % |
5556.99/5558.50	c |   1108182 |    4252    17236    48321 | 2147483647   217421     27 |  8.382 % |
5570.49/5572.01	c |   1110661 |    4252    17236    48321 | 2147483647   219900     27 |  8.382 % |
5584.69/5586.20	c |   1113386 |    4252    17236    48321 | 2147483647   222625     27 |  8.382 % |
5597.28/5598.85	c |   1116384 |    4252    17236    48321 | 2147483647   225623     27 |  8.382 % |
5619.08/5620.61	c |   1119680 |    4252    17236    48321 | 2147483647   228919     27 |  8.382 % |
5642.67/5644.28	c |   1123306 |    4252    17236    48321 |   229240   209497     27 |  8.382 % |
5666.96/5668.56	c |   1127293 |    4252    17236    48321 |   229240   213484     27 |  8.382 % |
5689.16/5690.76	c |   1131678 |    4252    17236    48321 | 2147483647   217869     27 |  8.382 % |
5714.06/5715.63	c |   1136501 |    4252    17236    48321 | 2147483647   222692     27 |  8.382 % |
5746.14/5747.76	c |   1141807 |    4252    17236    48321 |   226192   202402     27 |  8.382 % |
5780.74/5782.31	c |   1147643 |    4252    17236    48321 |   226192   208238     27 |  8.382 % |
5817.34/5818.93	c |   1154061 |    4252    17236    48321 | 2147483647   214656     27 |  8.382 % |
5858.52/5860.18	c |   1161120 |    4252    17236    48321 |   220597   221715     27 |  8.382 % |
5902.01/5903.67	c |   1168884 |    4252    17236    48321 |   220597   205306     27 |  8.382 % |
5949.30/5950.98	c |   1177424 |    4252    17236    48321 | 2147483647   213846     27 |  8.382 % |
6004.18/6005.89	c |   1186819 |    4252    17236    48321 | 2147483647   223241     27 |  8.382 % |
6068.96/6070.62	c |   1197153 |    4252    17236    48321 | 2147483647   233575     27 |  8.382 % |
6069.56/6071.23	c |   1197254 |    4252    17236    48321 | 2147483647   233676     27 |  8.382 % |
6070.27/6071.92	c |   1197365 |    4252    17236    48321 | 2147483647   233787     27 |  8.382 % |
6070.86/6072.58	c |   1197486 |    4252    17236    48321 | 2147483647   233908     27 |  8.382 % |
6071.26/6072.96	c |   1197619 |    4252    17236    48321 | 2147483647   234041     27 |  8.382 % |
6072.16/6073.85	c |   1197765 |    4252    17236    48321 | 2147483647   234187     27 |  8.382 % |
6073.26/6074.91	c |   1197925 |    4252    17236    48321 | 2147483647   234347     27 |  8.382 % |
6074.66/6076.31	c |   1198101 |    4252    17236    48321 | 2147483647   234523     27 |  8.382 % |
6075.86/6077.58	c |   1198295 |    4252    17236    48321 | 2147483647   234717     27 |  8.382 % |
6076.56/6078.24	c |   1198507 |    4252    17236    48321 | 2147483647   234929     27 |  8.382 % |
6078.16/6079.80	c |   1198741 |    4252    17236    48321 | 2147483647   235163     27 |  8.382 % |
6079.16/6080.81	c |   1198997 |    4252    17236    48321 | 2147483647   235419     27 |  8.382 % |
6080.46/6082.11	c |   1199278 |    4252    17236    48321 | 2147483647   235700     27 |  8.382 % |
6082.26/6083.99	c |   1199587 |    4252    17236    48321 | 2147483647   236009     27 |  8.382 % |
6084.56/6086.24	c |   1199927 |    4252    17236    48321 | 2147483647   236349     27 |  8.382 % |
6086.46/6088.16	c |   1200299 |    4252    17236    48321 | 2147483647   236721     27 |  8.382 % |
6087.46/6089.10	c |   1200708 |    4252    17236    48321 | 2147483647   237130     27 |  8.382 % |
6089.96/6091.66	c |   1201158 |    4252    17236    48321 | 2147483647   237580     27 |  8.382 % |
6092.45/6094.20	c |   1201652 |    4252    17236    48321 | 2147483647   238074     27 |  8.382 % |
6096.15/6097.87	c |   1202194 |    4252    17236    48321 | 2147483647   238616     27 |  8.382 % |
6100.06/6101.79	c |   1202791 |    4252    17236    48321 | 2147483647   239213     27 |  8.382 % |
6104.46/6106.14	c |   1203446 |    4252    17236    48321 | 2147483647   239868     27 |  8.382 % |
6109.55/6111.26	c |   1204166 |    4252    17236    48321 | 2147483647   240588     27 |  8.382 % |
6114.75/6116.48	c |   1204958 |    4252    17236    48321 | 2147483647   241380     27 |  8.382 % |
6120.15/6121.80	c |   1205831 |    4252    17236    48321 | 2147483647   242253     27 |  8.382 % |
6126.65/6128.32	c |   1206789 |    4252    17236    48321 | 2147483647   243211     27 |  8.382 % |
6133.14/6134.81	c |   1207842 |    4252    17236    48321 | 2147483647   244264     27 |  8.382 % |
6140.84/6142.50	c |   1209000 |    4252    17236    48321 | 2147483647   245422     27 |  8.382 % |
6149.04/6150.74	c |   1210273 |    4252    17236    48321 |   246422   246695     27 |  8.382 % |
6158.36/6160.12	c |   1211674 |    4252    17236    48321 |   246422   219956     27 |  8.382 % |
6168.86/6170.66	c |   1213214 |    4252    17236    48321 |   246422   221496     27 |  8.382 % |
6179.66/6181.40	c |   1214909 |    4252    17236    48321 |   246422   223191     27 |  8.382 % |
6191.95/6193.78	c |   1216773 |    4252    17236    48321 |   246422   225055     27 |  8.382 % |
6204.65/6206.41	c |   1218822 |    4252    17236    48321 |   246422   227104     27 |  8.382 % |
6219.75/6221.52	c |   1221075 |    4252    17236    48321 | 2147483647   229357     27 |  8.382 % |
6233.64/6235.42	c |   1223553 |    4252    17236    48321 | 2147483647   231835     27 |  8.382 % |
6244.04/6245.84	c |   1226278 |    4252    17236    48321 | 2147483647   234560     27 |  8.382 % |
6254.33/6256.18	c |   1229276 |    4252    17236    48321 | 2147483647   237558     27 |  8.382 % |
6276.83/6278.60	c |   1232573 |    4252    17236    48321 |   238282   208385     27 |  8.382 % |
6295.93/6297.73	c |   1236199 |    4252    17236    48321 |   238282   212011     27 |  8.382 % |
6318.33/6320.10	c |   1240186 |    4252    17236    48321 | 2147483647   215998     27 |  8.382 % |
6343.82/6345.69	c |   1244571 |    4252    17236    48321 | 2147483647   220383     27 |  8.382 % |
6365.71/6367.53	c |   1249394 |    4252    17236    48321 | 2147483647   225206     27 |  8.382 % |
6393.21/6395.09	c |   1254699 |    4252    17236    48321 |   225812   207792     27 |  8.382 % |
6431.10/6432.98	c |   1260534 |    4252    17236    48321 | 2147483647   213627     27 |  8.382 % |
6467.29/6469.19	c |   1266953 |    4252    17236    48321 | 2147483647   220046     27 |  8.382 % |
6498.98/6500.84	c |   1274012 |    4252    17236    48321 |   223094   195229     26 |  8.382 % |
6526.17/6528.01	c |   1281776 |    4252    17236    48321 |   201218   167248     26 |  8.382 % |
6570.66/6572.51	c |   1290317 |    4252    17236    48321 | 2147483647   175789     26 |  8.382 % |
6624.45/6626.31	c |   1299712 |    4252    17236    48321 | 2147483647   185184     26 |  8.382 % |
6669.03/6670.97	c |   1310046 |    4252    17236    48321 | 2147483647   195518     27 |  8.382 % |
6729.62/6731.59	c |   1321413 |    4252    17236    48321 | 2147483647   206885     27 |  8.382 % |
6730.32/6732.22	c |   1321513 |    4252    17236    48321 | 2147483647   206985     27 |  8.382 % |
6730.92/6732.80	c |   1321624 |    4252    17236    48321 | 2147483647   207096     27 |  8.382 % |
6731.52/6733.41	c |   1321745 |    4252    17236    48321 | 2147483647   207217     27 |  8.382 % |
6732.23/6734.11	c |   1321879 |    4252    17236    48321 | 2147483647   207351     27 |  8.382 % |
6733.12/6735.03	c |   1322025 |    4252    17236    48321 | 2147483647   207497     27 |  8.382 % |
6734.22/6736.11	c |   1322185 |    4252    17236    48321 | 2147483647   207657     27 |  8.382 % |
6735.12/6737.07	c |   1322361 |    4252    17236    48321 | 2147483647   207833     27 |  8.382 % |
6736.32/6738.22	c |   1322554 |    4252    17236    48321 | 2147483647   208026     27 |  8.382 % |
6737.62/6739.50	c |   1322766 |    4252    17236    48321 | 2147483647   208238     27 |  8.382 % |
6739.12/6741.02	c |   1322999 |    4252    17236    48321 | 2147483647   208471     27 |  8.382 % |
6740.72/6742.68	c |   1323255 |    4252    17236    48321 | 2147483647   208727     27 |  8.382 % |
6742.52/6744.40	c |   1323537 |    4252    17236    48321 | 2147483647   209009     27 |  8.382 % |
6744.32/6746.26	c |   1323848 |    4252    17236    48321 | 2147483647   209320     27 |  8.382 % |
6746.52/6748.42	c |   1324187 |    4252    17236    48321 | 2147483647   209659     27 |  8.382 % |
6748.62/6750.59	c |   1324559 |    4252    17236    48321 | 2147483647   210031     27 |  8.382 % |
6750.92/6752.83	c |   1324969 |    4252    17236    48321 | 2147483647   210441     27 |  8.382 % |
6753.42/6755.38	c |   1325419 |    4252    17236    48321 | 2147483647   210891     27 |  8.382 % |
6756.62/6758.54	c |   1325913 |    4252    17236    48321 | 2147483647   211385     27 |  8.382 % |
6759.22/6761.18	c |   1326455 |    4252    17236    48321 | 2147483647   211927     27 |  8.382 % |
6762.71/6764.65	c |   1327051 |    4252    17236    48321 | 2147483647   212523     27 |  8.382 % |
6766.81/6768.74	c |   1327706 |    4252    17236    48321 | 2147483647   213178     27 |  8.382 % |
6770.81/6772.72	c |   1328427 |    4252    17236    48321 | 2147483647   213899     27 |  8.382 % |
6775.81/6777.72	c |   1329219 |    4252    17236    48321 | 2147483647   214691     27 |  8.382 % |
6780.71/6782.63	c |   1330090 |    4252    17236    48321 | 2147483647   215562     27 |  8.382 % |
6786.81/6788.74	c |   1331049 |    4252    17236    48321 | 2147483647   216521     27 |  8.382 % |
6793.00/6794.95	c |   1332102 |    4252    17236    48321 | 2147483647   217574     27 |  8.382 % |
6799.70/6801.62	c |   1333260 |    4252    17236    48321 | 2147483647   218732     27 |  8.382 % |
6807.11/6809.03	c |   1334534 |    4252    17236    48321 | 2147483647   220006     27 |  8.382 % |
6815.00/6816.94	c |   1335935 |    4252    17236    48321 | 2147483647   221407     27 |  8.382 % |
6824.80/6826.77	c |   1337476 |    4252    17236    48321 | 2147483647   222948     27 |  8.382 % |
6833.19/6835.20	c |   1339171 |    4252    17236    48321 | 2147483647   224643     27 |  8.382 % |
6844.39/6846.36	c |   1341035 |    4252    17236    48321 |   225472   226507     27 |  8.382 % |
6855.69/6857.65	c |   1343085 |    4252    17236    48321 |   225472   205768     27 |  8.382 % |
6863.38/6865.39	c |   1345338 |    4252    17236    48321 |   225472   208021     27 |  8.382 % |
6878.28/6880.25	c |   1347817 |    4252    17236    48321 |   225472   210500     27 |  8.382 % |
6895.18/6897.11	c |   1350543 |    4252    17236    48321 |   212684   213226     27 |  8.382 % |
6912.47/6914.46	c |   1353541 |    4252    17236    48321 |   212684   191643     27 |  8.382 % |
6930.67/6932.67	c |   1356838 |    4252    17236    48321 |   212684   194940     27 |  8.382 % |
6950.16/6952.12	c |   1360464 |    4252    17236    48321 | 2147483647   198566     27 |  8.382 % |
6971.06/6973.05	c |   1364452 |    4252    17236    48321 | 2147483647   202554     27 |  8.382 % |
6997.65/6999.68	c |   1368837 |    4252    17236    48321 | 2147483647   206939     27 |  8.382 % |
7027.14/7029.15	c |   1373660 |    4252    17236    48321 | 2147483647   211762     27 |  8.382 % |
7054.44/7056.47	c |   1378966 |    4252    17236    48321 | 2147483647   217068     27 |  8.382 % |
7089.92/7091.99	c |   1384801 |    4252    17236    48321 | 2147483647   222903     27 |  8.382 % |
7128.41/7130.48	c |   1391220 |    4252    17236    48321 | 2147483647   229322     27 |  8.382 % |
7173.50/7175.54	c |   1398280 |    4252    17236    48321 | 2147483647   236382     27 |  8.382 % |
7223.09/7225.13	c |   1406044 |    4252    17236    48321 | 2147483647   244146     28 |  8.382 % |
7277.18/7279.28	c |   1414584 |    4252    17236    48321 |   248103   220100     27 |  8.382 % |
7330.27/7332.30	c |   1423979 |    4252    17236    48321 |   225517   205525     27 |  8.382 % |
7376.26/7378.34	c |   1434312 |    4252    17236    48321 |   211547   193663     27 |  8.382 % |
7442.94/7445.10	c |   1445679 |    4252    17236    48321 | 2147483647   205030     27 |  8.382 % |
7515.12/7517.29	c |   1458182 |    4252    17236    48321 | 2147483647   217533     27 |  8.382 % |
7515.72/7517.83	c |   1458282 |    4252    17236    48321 | 2147483647   217633     27 |  8.382 % |
7516.02/7518.19	c |   1458392 |    4252    17236    48321 | 2147483647   217743     27 |  8.382 % |
7516.92/7519.04	c |   1458514 |    4252    17236    48321 | 2147483647   217865     27 |  8.382 % |
7517.82/7519.95	c |   1458647 |    4252    17236    48321 | 2147483647   217998     27 |  8.382 % |
7518.72/7520.83	c |   1458793 |    4252    17236    48321 | 2147483647   218144     27 |  8.382 % |
7519.72/7521.81	c |   1458953 |    4252    17236    48321 | 2147483647   218304     27 |  8.382 % |
7520.52/7522.66	c |   1459129 |    4252    17236    48321 | 2147483647   218480     27 |  8.382 % |
7521.22/7523.30	c |   1459324 |    4252    17236    48321 | 2147483647   218675     27 |  8.382 % |
7522.02/7524.16	c |   1459536 |    4252    17236    48321 | 2147483647   218887     27 |  8.382 % |
7523.42/7525.56	c |   1459769 |    4252    17236    48321 | 2147483647   219120     27 |  8.382 % |
7524.92/7527.04	c |   1460025 |    4252    17236    48321 | 2147483647   219376     27 |  8.382 % |
7526.62/7528.79	c |   1460306 |    4252    17236    48321 | 2147483647   219657     27 |  8.382 % |
7528.42/7530.53	c |   1460615 |    4252    17236    48321 | 2147483647   219966     27 |  8.382 % |
7530.42/7532.50	c |   1460955 |    4252    17236    48321 | 2147483647   220306     27 |  8.382 % |
7532.92/7535.03	c |   1461327 |    4252    17236    48321 | 2147483647   220678     27 |  8.382 % |
7535.62/7537.73	c |   1461737 |    4252    17236    48321 | 2147483647   221088     27 |  8.382 % |
7538.42/7540.54	c |   1462187 |    4252    17236    48321 | 2147483647   221538     27 |  8.382 % |
7540.71/7542.88	c |   1462681 |    4252    17236    48321 | 2147483647   222032     27 |  8.382 % |
7543.92/7546.06	c |   1463224 |    4252    17236    48321 | 2147483647   222575     27 |  8.382 % |
7546.81/7548.95	c |   1463821 |    4252    17236    48321 | 2147483647   223172     27 |  8.382 % |
7548.61/7550.73	c |   1464476 |    4252    17236    48321 | 2147483647   223827     27 |  8.382 % |
7553.11/7555.26	c |   1465197 |    4252    17236    48321 | 2147483647   224548     27 |  8.382 % |
7558.21/7560.31	c |   1465990 |    4252    17236    48321 | 2147483647   225341     27 |  8.382 % |
7563.51/7565.65	c |   1466861 |    4252    17236    48321 | 2147483647   226212     27 |  8.382 % |
7567.91/7570.02	c |   1467820 |    4252    17236    48321 | 2147483647   227171     27 |  8.382 % |
7575.20/7577.32	c |   1468874 |    4252    17236    48321 | 2147483647   228225     27 |  8.382 % |
7583.70/7585.86	c |   1470032 |    4252    17236    48321 | 2147483647   229383     27 |  8.382 % |
7592.40/7594.52	c |   1471306 |    4252    17236    48321 | 2147483647   230657     27 |  8.382 % |
7598.80/7600.94	c |   1472707 |    4252    17236    48321 | 2147483647   232058     27 |  8.382 % |
7608.19/7610.32	c |   1474248 |    4252    17236    48321 | 2147483647   233599     27 |  8.382 % |
7618.29/7620.43	c |   1475942 |    4252    17236    48321 | 2147483647   235293     27 |  8.382 % |
7631.79/7633.92	c |   1477806 |    4252    17236    48321 | 2147483647   237157     27 |  8.382 % |
7645.68/7647.86	c |   1479855 |    4252    17236    48321 | 2147483647   239206     27 |  8.382 % |
7661.28/7663.45	c |   1482108 |    4252    17236    48321 |   239352   213218     27 |  8.382 % |
7671.78/7673.94	c |   1484586 |    4252    17236    48321 |   239352   215696     27 |  8.382 % |
7687.27/7689.41	c |   1487312 |    4252    17236    48321 |   239352   218422     27 |  8.382 % |
7705.47/7707.62	c |   1490309 |    4252    17236    48321 |   221110   221419     27 |  8.382 % |
7726.87/7729.02	c |   1493606 |    4252    17236    48321 |   221110   198607     27 |  8.382 % |
7747.87/7750.06	c |   1497231 |    4252    17236    48321 |   221110   202232     27 |  8.382 % |
7771.56/7773.78	c |   1501218 |    4252    17236    48321 | 2147483647   206219     27 |  8.382 % |
7795.15/7797.31	c |   1505603 |    4252    17236    48321 | 2147483647   210604     27 |  8.382 % |
7822.75/7824.93	c |   1510426 |    4252    17236    48321 | 2147483647   215427     27 |  8.382 % |
7855.24/7857.49	c |   1515731 |    4252    17236    48321 | 2147483647   220732     27 |  8.382 % |
7883.13/7885.36	c |   1521567 |    4252    17236    48321 | 2147483647   226568     27 |  8.382 % |
7919.22/7921.45	c |   1527986 |    4252    17236    48321 | 2147483647   232987     27 |  8.382 % |
7961.51/7963.73	c |   1535045 |    4252    17236    48321 |   235002   211367     27 |  8.382 % |
8005.90/8008.17	c |   1542810 |    4252    17236    48321 | 2147483647   219132     26 |  8.382 % |
8057.28/8059.52	c |   1551351 |    4252    17236    48321 | 2147483647   227673     26 |  8.382 % |
8111.47/8113.78	c |   1560745 |    4252    17236    48321 | 2147483647   237067     26 |  8.382 % |
8155.56/8157.88	c |   1571079 |    4252    17236    48321 |   246322   247401     27 |  8.382 % |
8221.75/8224.09	c |   1582445 |    4252    17236    48321 |   220186   200455     26 |  8.382 % |
8290.93/8293.23	c |   1594948 |    4252    17236    48321 | 2147483647   212958     26 |  8.382 % |
8358.72/8361.01	c |   1608701 |    4252    17236    48321 | 2147483647   226711     26 |  8.382 % |
8359.21/8361.54	c |   1608802 |    4252    17236    48321 | 2147483647   226812     26 |  8.382 % |
8359.71/8362.01	c |   1608913 |    4252    17236    48321 | 2147483647   226923     26 |  8.382 % |
8360.31/8362.66	c |   1609034 |    4252    17236    48321 | 2147483647   227044     26 |  8.382 % |
8361.02/8363.30	c |   1609167 |    4252    17236    48321 | 2147483647   227177     26 |  8.382 % |
8361.91/8364.29	c |   1609313 |    4252    17236    48321 | 2147483647   227323     26 |  8.382 % |
8362.81/8365.16	c |   1609473 |    4252    17236    48321 | 2147483647   227483     26 |  8.382 % |
8363.71/8366.01	c |   1609649 |    4252    17236    48321 | 2147483647   227659     26 |  8.382 % |
8364.51/8366.80	c |   1609842 |    4252    17236    48321 | 2147483647   227852     26 |  8.382 % |
8365.61/8367.98	c |   1610055 |    4252    17236    48321 | 2147483647   228065     26 |  8.382 % |
8367.11/8369.42	c |   1610288 |    4252    17236    48321 | 2147483647   228298     26 |  8.382 % |
8368.51/8370.81	c |   1610545 |    4252    17236    48321 | 2147483647   228555     26 |  8.382 % |
8370.11/8372.41	c |   1610827 |    4252    17236    48321 | 2147483647   228837     26 |  8.382 % |
8371.31/8373.64	c |   1611136 |    4252    17236    48321 | 2147483647   229146     26 |  8.382 % |
8372.61/8374.92	c |   1611475 |    4252    17236    48321 | 2147483647   229485     26 |  8.382 % |
8375.11/8377.42	c |   1611848 |    4252    17236    48321 | 2147483647   229858     27 |  8.382 % |
8377.31/8379.67	c |   1612257 |    4252    17236    48321 | 2147483647   230267     27 |  8.382 % |
8380.11/8382.49	c |   1612707 |    4252    17236    48321 | 2147483647   230717     27 |  8.382 % |
8381.70/8384.07	c |   1613200 |    4252    17236    48321 | 2147483647   231210     27 |  8.382 % |
8384.90/8387.23	c |   1613744 |    4252    17236    48321 | 2147483647   231754     27 |  8.382 % |
8388.10/8390.47	c |   1614341 |    4252    17236    48321 | 2147483647   232351     27 |  8.382 % |
8391.10/8393.41	c |   1614997 |    4252    17236    48321 | 2147483647   233007     27 |  8.382 % |
8395.40/8397.76	c |   1615718 |    4252    17236    48321 | 2147483647   233728     27 |  8.382 % |
8400.40/8402.78	c |   1616511 |    4252    17236    48321 | 2147483647   234521     27 |  8.382 % |
8405.70/8408.04	c |   1617382 |    4252    17236    48321 | 2147483647   235392     27 |  8.382 % |
8412.00/8414.36	c |   1618342 |    4252    17236    48321 | 2147483647   236352     27 |  8.382 % |
8418.79/8421.12	c |   1619396 |    4252    17236    48321 | 2147483647   237406     27 |  8.382 % |
8425.49/8427.89	c |   1620555 |    4252    17236    48321 |   238012   238565     27 |  8.382 % |
8434.29/8436.64	c |   1621828 |    4252    17236    48321 |   238012   214286     26 |  8.382 % |
8442.39/8444.70	c |   1623229 |    4252    17236    48321 |   238012   215687     26 |  8.382 % |
8450.69/8453.02	c |   1624769 |    4252    17236    48321 |   238012   217227     26 |  8.382 % |
8458.89/8461.26	c |   1626463 |    4252    17236    48321 |   238012   218921     26 |  8.382 % |
8470.28/8472.68	c |   1628326 |    4252    17236    48321 |   238012   220784     26 |  8.382 % |
8481.48/8483.84	c |   1630375 |    4252    17236    48321 | 2147483647   222833     26 |  8.382 % |
8495.77/8498.10	c |   1632628 |    4252    17236    48321 | 2147483647   225086     26 |  8.382 % |
8510.67/8513.01	c |   1635107 |    4252    17236    48321 | 2147483647   227565     26 |  8.382 % |
8522.07/8524.45	c |   1637832 |    4252    17236    48321 | 2147483647   230290     26 |  8.382 % |
8537.46/8539.81	c |   1640830 |    4252    17236    48321 | 2147483647   233288     26 |  8.382 % |
8558.16/8560.55	c |   1644127 |    4252    17236    48321 | 2147483647   236585     27 |  8.382 % |
8571.65/8574.01	c |   1647753 |    4252    17236    48321 | 2147483647   240211     27 |  8.382 % |
8598.05/8600.43	c |   1651741 |    4252    17236    48321 |   242458   215000     26 |  8.382 % |
8624.34/8626.76	c |   1656127 |    4252    17236    48321 |   242458   219386     26 |  8.382 % |
8655.63/8658.05	c |   1660951 |    4252    17236    48321 | 2147483647   224210     26 |  8.382 % |
8689.02/8691.45	c |   1666257 |    4252    17236    48321 | 2147483647   229516     26 |  8.382 % |
8725.01/8727.42	c |   1672092 |    4252    17236    48321 | 2147483647   235351     26 |  8.382 % |
8762.10/8764.51	c |   1678510 |    4252    17236    48321 | 2147483647   241769     26 |  8.382 % |
8804.39/8806.90	c |   1685570 |    4252    17236    48321 |   243260   215730     26 |  8.382 % |
8850.18/8852.70	c |   1693334 |    4252    17236    48321 |   220160   198537     26 |  8.382 % |
8901.77/8904.20	c |   1701875 |    4252    17236    48321 | 2147483647   207078     26 |  8.382 % |
8956.45/8959.00	c |   1711270 |    4252    17236    48321 | 2147483647   216473     26 |  8.382 % |
9018.24/9020.75	c |   1721603 |    4252    17236    48321 | 2147483647   226806     26 |  8.382 % |
9070.53/9073.03	c |   1732970 |    4252    17236    48321 |   235205   201340     26 |  8.382 % |
9147.22/9149.75	c |   1745472 |    4252    17236    48321 |   208370   192883     26 |  8.382 % |
9216.50/9219.02	c |   1759225 |    4252    17236    48321 | 2147483647   206636     27 |  8.382 % |
9316.36/9318.95	c |   1774353 |    4252    17236    48321 |   217412   197706     28 |  8.382 % |
9316.86/9319.47	c |   1774454 |    4252    17236    48321 |   217412   197807     28 |  8.382 % |
9317.56/9320.19	c |   1774564 |    4252    17236    48321 |   217412   197917     28 |  8.382 % |
9318.36/9320.94	c |   1774686 |    4252    17236    48321 |   217412   198039     28 |  8.382 % |
9319.06/9321.61	c |   1774820 |    4252    17236    48321 |   217412   198173     28 |  8.382 % |
9319.56/9322.19	c |   1774966 |    4252    17236    48321 |   217412   198319     28 |  8.382 % |
9320.46/9323.07	c |   1775127 |    4252    17236    48321 |   217412   198480     28 |  8.382 % |
9321.66/9324.23	c |   1775303 |    4252    17236    48321 |   217412   198656     28 |  8.382 % |
9322.86/9325.47	c |   1775496 |    4252    17236    48321 |   217412   198849     28 |  8.382 % |
9323.86/9326.46	c |   1775708 |    4252    17236    48321 |   217412   199061     28 |  8.382 % |
9325.26/9327.85	c |   1775942 |    4252    17236    48321 |   217412   199295     28 |  8.382 % |
9327.06/9329.62	c |   1776198 |    4252    17236    48321 |   217412   199551     28 |  8.382 % |
9328.96/9331.55	c |   1776480 |    4252    17236    48321 |   217412   199833     28 |  8.382 % |
9331.06/9333.60	c |   1776789 |    4252    17236    48321 |   217412   200142     28 |  8.382 % |
9332.46/9335.07	c |   1777129 |    4252    17236    48321 |   217412   200482     28 |  8.382 % |
9334.16/9336.78	c |   1777502 |    4252    17236    48321 |   217412   200855     28 |  8.382 % |
9336.66/9339.25	c |   1777912 |    4252    17236    48321 |   217412   201265     28 |  8.382 % |
9339.16/9341.74	c |   1778363 |    4252    17236    48321 |   217412   201716     28 |  8.382 % |
9341.56/9344.10	c |   1778857 |    4252    17236    48321 |   217412   202210     28 |  8.382 % |
9344.56/9347.10	c |   1779400 |    4252    17236    48321 |   217412   202753     28 |  8.382 % |
9348.46/9351.05	c |   1779996 |    4252    17236    48321 |   217412   203349     28 |  8.382 % |
9352.35/9354.98	c |   1780652 |    4252    17236    48321 | 2147483647   204005     28 |  8.382 % |
9356.85/9359.45	c |   1781372 |    4252    17236    48321 | 2147483647   204725     28 |  8.382 % |
9360.85/9363.41	c |   1782164 |    4252    17236    48321 | 2147483647   205517     28 |  8.382 % |
9365.75/9368.38	c |   1783036 |    4252    17236    48321 | 2147483647   206389     28 |  8.382 % |
9371.15/9373.72	c |   1783995 |    4252    17236    48321 | 2147483647   207348     28 |  8.382 % |
9377.25/9379.85	c |   1785049 |    4252    17236    48321 | 2147483647   208402     28 |  8.382 % |
9383.95/9386.56	c |   1786208 |    4252    17236    48321 | 2147483647   209561     28 |  8.382 % |
9387.44/9390.06	c |   1787481 |    4252    17236    48321 | 2147483647   210834     28 |  8.382 % |
9395.94/9398.54	c |   1788881 |    4252    17236    48321 | 2147483647   212234     28 |  8.382 % |
9404.34/9406.91	c |   1790421 |    4252    17236    48321 |   213353   213774     28 |  8.382 % |
9415.74/9418.35	c |   1792115 |    4252    17236    48321 |   213353   191843     28 |  8.382 % |
9426.83/9429.49	c |   1793979 |    4252    17236    48321 |   213353   193707     28 |  8.382 % |
9439.13/9441.74	c |   1796028 |    4252    17236    48321 |   213353   195756     28 |  8.382 % |
9452.23/9454.84	c |   1798282 |    4252    17236    48321 |   213353   198010     28 |  8.382 % |
9466.82/9469.44	c |   1800760 |    4252    17236    48321 | 2147483647   200488     28 |  8.382 % |
9482.12/9484.78	c |   1803485 |    4252    17236    48321 | 2147483647   203213     28 |  8.382 % |
9495.61/9498.25	c |   1806483 |    4252    17236    48321 | 2147483647   206211     28 |  8.382 % |
9516.01/9518.66	c |   1809779 |    4252    17236    48321 | 2147483647   209507     28 |  8.382 % |
9538.20/9540.84	c |   1813404 |    4252    17236    48321 | 2147483647   213132     28 |  8.382 % |
9564.71/9567.31	c |   1817392 |    4252    17236    48321 | 2147483647   217120     28 |  8.382 % |
9592.50/9595.15	c |   1821778 |    4252    17236    48321 | 2147483647   221506     28 |  8.382 % |
9621.99/9624.60	c |   1826602 |    4252    17236    48321 | 2147483647   226330     28 |  8.382 % |
9657.78/9660.48	c |   1831907 |    4252    17236    48321 | 2147483647   231635     28 |  8.382 % |
9697.96/9700.66	c |   1837743 |    4252    17236    48321 | 2147483647   237471     29 |  8.382 % |
9741.05/9743.71	c |   1844161 |    4252    17236    48321 |   239728   215081     29 |  8.382 % |
9783.94/9786.66	c |   1851220 |    4252    17236    48321 |   220921   194082     29 |  8.382 % |
9838.02/9840.74	c |   1858985 |    4252    17236    48321 |   220921   201847     29 |  8.382 % |
9879.31/9882.06	c |   1867526 |    4252    17236    48321 |   202863   184222     29 |  8.382 % |
9914.60/9917.39	c |   1876921 |    4252    17236    48321 |   186697   166931     29 |  8.382 % |
9965.70/9968.44	c |   1887254 |    4252    17236    48321 |   170011   160130     28 |  8.382 % |

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

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


[startup+0 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 26606
/proc/meminfo: memFree=1870008/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 276 0 0 0 0 0 0 0 16 0 1 0 314544199 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 246406676562 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/26606/statm: 1339 235 195 169 0 50 0
[pid=26607] ppid=26606 vsize=5356 CPUtime=0
/proc/26607/stat : 26607 (SatELiteGTI) R 26606 26606 26494 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 314544199 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/26607/statm: 1339 238 198 169 0 50 0
[pid=26609] ppid=26607 vsize=0 CPUtime=0
/proc/26609/stat : 26609 (sed) Z 26607 26606 26494 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 314544199 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/26609/statm: 0 0 0 0 0 0 0

[startup+0.0837431 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 26606
/proc/meminfo: memFree=1870008/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314544199 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26606/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101744 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 26606
/proc/meminfo: memFree=1870008/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 314544199 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/26606/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301768 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 26606
/proc/meminfo: memFree=1870008/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5356

[startup+0.701804 s]
/proc/loadavg: 1.00 1.00 0.97 3/64 26606
/proc/meminfo: memFree=1870008/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 5356

[startup+1.50188 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 26612
/proc/meminfo: memFree=1867304/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=3328 CPUtime=1.3
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 538 0 0 0 130 0 0 0 25 0 1 0 314544218 3407872 524 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 832 524 76 171 0 659 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 8684

[startup+3.10103 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 26612
/proc/meminfo: memFree=1866984/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=3592 CPUtime=2.9
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 614 0 0 0 290 0 0 0 25 0 1 0 314544218 3678208 600 1992294400 134512640 135215339 4294956240 18446744073709551615 134532836 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 898 600 76 171 0 725 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8948

[startup+6.30133 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 26612
/proc/meminfo: memFree=1866344/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=4120 CPUtime=6.09
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 735 0 0 0 609 0 0 0 25 0 1 0 314544218 4218880 721 1992294400 134512640 135215339 4294956240 18446744073709551615 134532976 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 1030 721 76 171 0 857 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 9476

[startup+12.7019 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 26612
/proc/meminfo: memFree=1865840/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=4516 CPUtime=12.49
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 833 0 0 0 1249 0 0 0 25 0 1 0 314544218 4624384 819 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 1129 819 76 171 0 956 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 9872

[startup+25.5011 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 26612
/proc/meminfo: memFree=1863984/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=6240 CPUtime=25.29
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 1267 0 0 0 2528 1 0 0 25 0 1 0 314544218 6389760 1253 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 1560 1253 76 171 0 1387 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 11596

[startup+51.1016 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 26612
/proc/meminfo: memFree=1861424/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=8820 CPUtime=50.89
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 1911 0 0 0 5087 2 0 0 25 0 1 0 314544218 9031680 1897 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 2205 1897 76 171 0 2032 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 14176

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 26612
/proc/meminfo: memFree=1857328/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=12976 CPUtime=102.08
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 2931 0 0 0 10204 4 0 0 25 0 1 0 314544218 13287424 2917 1992294400 134512640 135215339 4294956240 18446744073709551615 134538050 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 3244 2917 76 171 0 3071 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 18332

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.97 2/66 26612
/proc/meminfo: memFree=1853744/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=16704 CPUtime=162.05
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 3818 0 0 0 16200 5 0 0 25 0 1 0 314544218 17104896 3804 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 4176 3804 76 171 0 4003 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 22060

[startup+222.302 s]
/proc/loadavg: 1.06 1.02 0.97 2/66 26612
/proc/meminfo: memFree=1850544/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=19868 CPUtime=222.03
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 4573 0 0 0 22198 5 0 0 25 0 1 0 314544218 20344832 4559 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 4967 4559 76 171 0 4794 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 25224

[startup+282.301 s]
/proc/loadavg: 1.02 1.01 0.97 2/66 26612
/proc/meminfo: memFree=1847792/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=22548 CPUtime=282.01
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 5240 0 0 0 28195 6 0 0 25 0 1 0 314544218 23089152 5226 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 5637 5226 76 171 0 5464 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 27904

[startup+342.301 s]
/proc/loadavg: 1.06 1.02 0.98 2/66 26612
/proc/meminfo: memFree=1844784/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=25428 CPUtime=341.99
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 5949 0 0 0 34192 7 0 0 25 0 1 0 314544218 26038272 5935 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 6357 5935 76 171 0 6184 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 30784

[startup+402.302 s]
/proc/loadavg: 1.13 1.04 0.99 2/66 26612
/proc/meminfo: memFree=1842160/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=28272 CPUtime=401.97

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

/proc/26612/statm: 11562 10885 76 171 0 11389 0
Current children cumulated CPU time (s) 9339.76
Current children cumulated vsize (KiB) 51604

[startup+9402.3 s]
/proc/loadavg: 1.05 1.02 1.00 2/66 27106
/proc/meminfo: memFree=1775600/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=46248 CPUtime=9399.56
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 10901 0 0 0 939918 38 0 0 25 0 1 0 314544218 47357952 10887 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 11562 10887 76 171 0 11389 0
Current children cumulated CPU time (s) 9399.74
Current children cumulated vsize (KiB) 51604

[startup+9462.3 s]
/proc/loadavg: 1.11 1.05 1.01 2/66 27106
/proc/meminfo: memFree=1775536/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=46248 CPUtime=9459.54
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 10901 0 0 0 945916 38 0 0 25 0 1 0 314544218 47357952 10887 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 11562 10887 76 171 0 11389 0
Current children cumulated CPU time (s) 9459.72
Current children cumulated vsize (KiB) 51604

[startup+9522.3 s]
/proc/loadavg: 1.11 1.06 1.01 2/66 27106
/proc/meminfo: memFree=1775472/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=46248 CPUtime=9519.53
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 10901 0 0 0 951915 38 0 0 25 0 1 0 314544218 47357952 10887 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 11562 10887 76 171 0 11389 0
Current children cumulated CPU time (s) 9519.71
Current children cumulated vsize (KiB) 51604

[startup+9582.3 s]
/proc/loadavg: 1.04 1.05 1.00 2/66 27106
/proc/meminfo: memFree=1775472/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=46248 CPUtime=9579.52
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 10901 0 0 0 957913 39 0 0 25 0 1 0 314544218 47357952 10887 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 11562 10887 76 171 0 11389 0
Current children cumulated CPU time (s) 9579.7
Current children cumulated vsize (KiB) 51604

[startup+9642.3 s]
/proc/loadavg: 1.01 1.04 1.00 2/66 27106
/proc/meminfo: memFree=1775408/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=46248 CPUtime=9639.5
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 10901 0 0 0 963911 39 0 0 25 0 1 0 314544218 47357952 10887 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 11562 10887 76 171 0 11389 0
Current children cumulated CPU time (s) 9639.68
Current children cumulated vsize (KiB) 51604

[startup+9702.3 s]
/proc/loadavg: 1.00 1.03 1.00 2/66 27112
/proc/meminfo: memFree=1775024/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=46248 CPUtime=9699.48
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 10901 0 0 0 969909 39 0 0 25 0 1 0 314544218 47357952 10887 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 11562 10887 76 171 0 11389 0
Current children cumulated CPU time (s) 9699.66
Current children cumulated vsize (KiB) 51604

[startup+9762.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 27112
/proc/meminfo: memFree=1775024/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=46248 CPUtime=9759.46
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 10901 0 0 0 975907 39 0 0 25 0 1 0 314544218 47357952 10887 1992294400 134512640 135215339 4294956240 18446744073709551615 134528714 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 11562 10887 76 171 0 11389 0
Current children cumulated CPU time (s) 9759.64
Current children cumulated vsize (KiB) 51604

[startup+9822.3 s]
/proc/loadavg: 1.00 1.02 1.00 2/66 27112
/proc/meminfo: memFree=1775024/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=46248 CPUtime=9819.45
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 10901 0 0 0 981906 39 0 0 25 0 1 0 314544218 47357952 10887 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 11562 10887 76 171 0 11389 0
Current children cumulated CPU time (s) 9819.63
Current children cumulated vsize (KiB) 51604

[startup+9882.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/66 27112
/proc/meminfo: memFree=1775024/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=46248 CPUtime=9879.43
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 10901 0 0 0 987904 39 0 0 25 0 1 0 314544218 47357952 10887 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 11562 10887 76 171 0 11389 0
Current children cumulated CPU time (s) 9879.61
Current children cumulated vsize (KiB) 51604

[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27112
/proc/meminfo: memFree=1775024/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=46248 CPUtime=9939.41
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 10901 0 0 0 993902 39 0 0 25 0 1 0 314544218 47357952 10887 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 11562 10887 76 171 0 11389 0
Current children cumulated CPU time (s) 9939.59
Current children cumulated vsize (KiB) 51604

[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27112
/proc/meminfo: memFree=1775024/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=46248 CPUtime=9999.41
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 10901 0 0 0 999901 40 0 0 25 0 1 0 314544218 47357952 10887 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 11562 10887 76 171 0 11389 0
Current children cumulated CPU time (s) 9999.59
Current children cumulated vsize (KiB) 51604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+10002.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 27112
/proc/meminfo: memFree=1775024/2055920 swapFree=4180696/4192956
[pid=26606] ppid=26604 vsize=5356 CPUtime=0.18
/proc/26606/stat : 26606 (SatELiteGTI) S 26604 26606 26494 0 -1 4194304 336 1509 0 0 0 0 17 1 16 0 1 0 314544199 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 246406505284 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/26606/statm: 1339 239 197 169 0 50 0
[pid=26612] ppid=26606 vsize=46248 CPUtime=9999.91
/proc/26612/stat : 26612 (minisat_static) R 26606 26606 26494 0 -1 4194304 10901 0 0 0 999951 40 0 0 25 0 1 0 314544218 47357952 10887 1992294400 134512640 135215339 4294956240 18446744073709551615 134538594 0 0 4096 3 0 0 0 17 1 0 0
/proc/26612/statm: 11562 10887 76 171 0 11389 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 51604

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26606 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=171973
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=15997
# CPU time returned by wait4() is 0.18797
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 10002.8
CPU time (s): 10000.1
CPU user time (s): 9999.68
CPU system time (s): 0.41
CPU usage (%): 99.9728
Max. virtual memory (cumulated for all children) (KiB): 51604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.171973
system time used= 0.015997
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1845
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= 13
involuntary context switches= 6

runsolver used 10.8863 second user time and 25.6291 second system time

The end

Launcher Data

Begin job on node61 at 2009-05-21 02:19:31
IDJOB=1837254
IDBENCH=70775
IDSOLVER=674
FILE ID=node61/1837254-1242865171
PBS_JOBID= 9328514
Free space on /tmp= 66196 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bitverif/countbitsrotate/countbitsrotate032.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837254-1242865171/watcher-1837254-1242865171 -o /tmp/evaluation-result-1837254-1242865171/solver-1837254-1242865171 -C 10000 -W 12000 -M 1800  SatELiteGTI HOME/instance-1837254-1242865171.cnf

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

MD5SUM BENCH= 8d76aa747359ea8ccf15726792949452
RANDOM SEED=2050771239

node61.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.216
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.216
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:       1870560 kB
Buffers:          7692 kB
Cached:         136896 kB
SwapCached:       5896 kB
Active:          23764 kB
Inactive:       128476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1870560 kB
SwapTotal:     4192956 kB
SwapFree:      4180696 kB
Dirty:            1932 kB
Writeback:           0 kB
Mapped:          13468 kB
Slab:            19288 kB
Committed_AS:  1064384 kB
PageTables:       1372 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264884 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66192 MiB
End job on node61 at 2009-05-21 05:06:16