Trace number 1820560

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
minisat_cumr p-2009-03-18? (TO) 1200 1199.93

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.11.unsat.cnf
MD5SUM90581094793af5fc10d4e4b9a10259ac
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 variables1400
Number of clauses4732
Sum of the clauses size12300
Maximum clause length21
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22052
Number of clauses of size 32605
Number of clauses of size 427
Number of clauses of size 531
Number of clauses of size over 514

Solver Data

0.00/0.00	c Parsing...
0.00/0.00	c ==============================================================================
0.00/0.00	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.00	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.00	c ==============================================================================
0.00/0.00	c |         0 |    4729    12297 |    1418       0        0     nan |  0.000 % |
0.00/0.02	c |         0 |    4024    11995 |      --       0       --      -- |     --   | -663/-215
0.00/0.02	c ==============================================================================
0.00/0.02	c Result  :   #vars: 969   #clauses: 4024   #literals: 11995
0.00/0.02	c CPU time:   0.02 s
0.00/0.02	c ==============================================================================
0.00/0.04	c This is MiniSat 2.0 beta
0.00/0.04	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04	c ============================[ Problem Statistics ]=============================
0.00/0.04	c |                                                                             |
0.00/0.04	c |  Number of variables:  969                                                  |
0.00/0.04	c |  Number of clauses:    4024                                                 |
0.00/0.04	c |  Parsing time:         0.00         s                                       |
0.00/0.04	c ============================[ Search Statistics ]==============================
0.00/0.04	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
0.00/0.04	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
0.00/0.04	c ===============================================================================
0.00/0.04	c |         0 |     969     4024    11995 |     1341        0    nan |  0.000 % |
0.00/0.04	c |       100 |     969     4024    11995 |     1341      100     19 |  0.000 % |
0.00/0.04	c |       202 |     969     4024    11995 |     1341      202     26 |  0.000 % |
0.00/0.05	c |       302 |     969     4024    11995 |     1341      302     28 |  0.000 % |
0.00/0.06	c |       412 |     969     4024    11995 |     1341      412     32 |  0.000 % |
0.00/0.06	c |       512 |     969     4024    11995 |     1341      512     35 |  0.000 % |
0.00/0.07	c |       623 |     967     4020    11979 |     1341      614     31 |  0.207 % |
0.00/0.08	c |       744 |     967     4020    11979 |     1341      735     32 |  0.207 % |
0.00/0.09	c |       844 |     967     4016    11963 |     1341      793     36 |  0.207 % |
0.00/0.10	c |       954 |     967     4016    11963 |     1341      903     35 |  0.207 % |
0.00/0.11	c |      1076 |     967     4016    11963 |     1341     1025     36 |  0.207 % |
0.00/0.11	c |      1209 |     967     4016    11963 |     1341     1158     34 |  0.207 % |
0.00/0.12	c |      1309 |     967     4016    11963 |     1341     1258     35 |  0.207 % |
0.04/0.12	c |      1419 |     967     4016    11963 |     1341     1368     33 |  0.207 % |
0.04/0.13	c |      1540 |     967     4016    11963 |     1341     1353     33 |  0.207 % |
0.04/0.13	c |      1676 |     967     4016    11963 |     1341     1354     30 |  0.211 % |
0.04/0.15	c |      1822 |     967     4016    11963 |     1341     1365     30 |  0.207 % |
0.04/0.15	c |      1922 |     967     4016    11963 |     1341     1329     30 |  0.207 % |
0.04/0.16	c |      2032 |     967     4016    11963 |     1341     1439     31 |  0.207 % |
0.04/0.17	c |      2153 |     967     4016    11963 |     1341     1417     28 |  0.207 % |
0.04/0.18	c |      2288 |     967     4016    11963 |     1341     1411     29 |  0.211 % |
0.04/0.19	c |      2434 |     967     4016    11963 |     1341     1416     28 |  0.207 % |
0.04/0.21	c |      2594 |     967     4016    11963 |     1341     1435     28 |  0.207 % |
0.04/0.21	c |      2695 |     967     4016    11963 |     1341     1393     28 |  0.207 % |
0.04/0.22	c |      2806 |     967     4016    11963 |     1341     1365     27 |  0.207 % |
0.04/0.23	c |      2928 |     967     4016    11963 |     1341     1351     26 |  0.207 % |
0.04/0.24	c |      3063 |     967     4016    11963 |     1341     1351     28 |  0.207 % |
0.04/0.25	c |      3209 |     967     4016    11963 |     1341     1362     27 |  0.207 % |
0.04/0.26	c |      3370 |     967     4016    11963 |     1341     1387     26 |  0.207 % |
0.04/0.28	c |      3546 |     967     4016    11963 |     1341     1425     27 |  0.207 % |
0.04/0.28	c |      3647 |     967     4016    11963 |     1341     1384     27 |  0.207 % |
0.04/0.29	c |      3758 |     967     4016    11963 |     1341     1357     26 |  0.207 % |
0.04/0.30	c |      3879 |     967     4016    11963 |     1341     1343     26 |  0.207 % |
0.04/0.31	c |      4014 |     967     4016    11963 |     1341     1344     26 |  0.207 % |
0.04/0.32	c |      4160 |     967     4016    11963 |     1341     1356     26 |  0.207 % |
0.04/0.33	c |      4320 |     967     4016    11963 |     1341     1381     24 |  0.207 % |
0.04/0.34	c |      4497 |     967     4016    11963 |     1341     1420     26 |  0.207 % |
0.04/0.36	c |      4690 |     967     4016    11963 |     1341     1471     27 |  0.207 % |
0.04/0.37	c |      4790 |     967     4016    11963 |     1341     1424     27 |  0.212 % |
0.04/0.37	c |      4900 |     967     4016    11963 |     1341     1255     25 |  0.207 % |
0.04/0.38	c |      5021 |     967     4016    11963 |     1341     1376     26 |  0.207 % |
0.04/0.39	c |      5154 |     967     4016    11963 |     1341     1372     24 |  0.207 % |
0.04/0.40	c |      5300 |     967     4016    11963 |     1341     1381     22 |  0.207 % |
0.04/0.41	c |      5461 |     967     4016    11963 |     1341     1404     20 |  0.207 % |
0.04/0.42	c |      5638 |     967     4016    11963 |     1341     1441     20 |  0.207 % |
0.04/0.43	c |      5833 |     967     4016    11963 |     1341     1492     21 |  0.207 % |
0.04/0.45	c |      6045 |     965     4008    11943 |     1341     1414     20 |  0.413 % |
0.04/0.45	c |      6148 |     965     4008    11943 |     1341     1376     20 |  0.413 % |
0.04/0.46	c |      6258 |     965     4008    11943 |     1341     1349     20 |  0.413 % |
0.04/0.47	c |      6379 |     965     4008    11943 |     1341     1336     22 |  0.413 % |
0.04/0.47	c |      6515 |     965     4008    11943 |     1341     1472     22 |  0.413 % |
0.04/0.48	c |      6661 |     965     4008    11943 |     1341     1336     19 |  0.413 % |
0.04/0.49	c |      6821 |     965     4008    11943 |     1341     1496     21 |  0.413 % |
0.04/0.50	c |      6997 |     965     4008    11943 |     1341     1389     20 |  0.413 % |
0.04/0.52	c |      7191 |     965     4008    11943 |     1341     1445     21 |  0.413 % |
0.04/0.54	c |      7404 |     965     4008    11943 |     1341     1376     23 |  0.413 % |
0.04/0.55	c |      7638 |     965     4008    11943 |     1341     1473     21 |  0.413 % |
0.04/0.56	c |      7738 |     965     4008    11943 |     1341     1426     21 |  0.413 % |
0.04/0.57	c |      7848 |     965     4008    11943 |     1341     1394     20 |  0.413 % |
0.04/0.57	c |      7970 |     965     4008    11943 |     1341     1377     19 |  0.413 % |
0.04/0.58	c |      8104 |     965     4008    11943 |     1341     1374     17 |  0.413 % |
0.04/0.59	c |      8252 |     965     4008    11943 |     1341     1385     19 |  0.413 % |
0.04/0.60	c |      8414 |     965     4008    11943 |     1341     1409     18 |  0.413 % |
0.04/0.62	c |      8590 |     965     4008    11943 |     1341     1445     20 |  0.413 % |
0.04/0.63	c |      8783 |     965     4008    11943 |     1341     1349     18 |  0.413 % |
0.04/0.63	c |      8995 |     965     4008    11943 |     1341     1295     14 |  0.413 % |
0.04/0.65	c |      9228 |     965     4008    11943 |     1341     1528     18 |  0.413 % |
0.04/0.67	c |      9484 |     965     4008    11943 |     1341     1495     17 |  0.413 % |
0.04/0.68	c |      9584 |     965     4008    11943 |     1341     1312     19 |  0.413 % |
0.04/0.68	c |      9695 |     965     4008    11943 |     1341     1423     18 |  0.413 % |
0.04/0.69	c |      9817 |     965     4008    11943 |     1341     1403     19 |  0.413 % |
0.04/0.70	c |      9952 |     965     4008    11943 |     1341     1398     19 |  0.413 % |
0.04/0.71	c |     10098 |     965     4008    11943 | 2147483647     1405     20 |  0.413 % |
0.04/0.72	c |     10259 |     965     4008    11943 | 2147483647     1566     20 |  0.413 % |
0.04/0.74	c |     10436 |     965     4008    11943 | 2147483647     1743     23 |  0.413 % |
0.04/0.75	c |     10629 |     965     4008    11943 | 2147483647     1936     24 |  0.413 % |
0.04/0.76	c |     10841 |     965     4008    11943 | 2147483647     2148     24 |  0.413 % |
0.04/0.78	c |     11074 |     965     4008    11943 | 2147483647     2381     25 |  0.413 % |
0.04/0.80	c |     11331 |     965     4008    11943 | 2147483647     2638     25 |  0.413 % |
0.04/0.82	c |     11612 |     965     4008    11943 | 2147483647     2919     25 |  0.413 % |
0.04/0.83	c |     11713 |     965     4008    11943 | 2147483647     3020     25 |  0.413 % |
0.04/0.84	c |     11825 |     965     4008    11943 | 2147483647     3132     24 |  0.413 % |
0.04/0.85	c |     11946 |     965     4008    11943 | 2147483647     3253     24 |  0.413 % |
0.04/0.86	c |     12080 |     965     4008    11943 | 2147483647     3387     24 |  0.413 % |
0.04/0.87	c |     12226 |     965     4008    11943 | 2147483647     3533     24 |  0.413 % |
0.04/0.88	c |     12386 |     965     4008    11943 | 2147483647     3693     25 |  0.413 % |
0.04/0.89	c |     12562 |     965     4008    11943 | 2147483647     3869     25 |  0.413 % |
0.04/0.90	c |     12755 |     965     4008    11943 | 2147483647     4062     26 |  0.418 % |
0.04/0.91	c |     12967 |     965     4008    11943 | 2147483647     4274     25 |  0.413 % |
0.04/0.93	c |     13202 |     965     4008    11943 | 2147483647     4509     25 |  0.413 % |
0.04/0.96	c |     13459 |     965     4008    11943 | 2147483647     4766     27 |  0.413 % |
0.04/0.98	c |     13740 |     965     4008    11943 | 2147483647     5047     27 |  0.413 % |
0.04/1.00	c |     14049 |     965     4008    11943 | 2147483647     5356     27 |  0.413 % |
0.04/1.01	c |     14149 |     965     4008    11943 | 2147483647     5456     27 |  0.417 % |
0.04/1.02	c |     14260 |     965     4008    11943 | 2147483647     5567     27 |  0.413 % |
0.04/1.03	c |     14381 |     965     4008    11943 | 2147483647     5688     27 |  0.413 % |
0.04/1.04	c |     14514 |     965     4008    11943 | 2147483647     5821     27 |  0.413 % |
0.04/1.05	c |     14660 |     965     4008    11943 | 2147483647     5967     27 |  0.413 % |
0.04/1.07	c |     14820 |     965     4008    11943 | 2147483647     6127     28 |  0.413 % |
0.04/1.09	c |     14997 |     965     4008    11943 | 2147483647     6304     28 |  0.413 % |
0.04/1.11	c |     15191 |     965     4008    11943 | 2147483647     6498     29 |  0.413 % |
1.12/1.12	c |     15404 |     965     4008    11943 | 2147483647     6711     28 |  0.413 % |
1.12/1.15	c |     15638 |     965     4008    11943 | 2147483647     6945     29 |  0.413 % |
1.12/1.16	c |     15894 |     965     4008    11943 | 2147483647     7201     28 |  0.413 % |
1.12/1.20	c |     16175 |     965     4008    11943 | 2147483647     7482     29 |  0.413 % |
1.23/1.23	c |     16485 |     965     4008    11943 | 2147483647     7792     28 |  0.413 % |
1.23/1.27	c |     16824 |     965     4008    11943 | 2147483647     8131     29 |  0.413 % |
1.23/1.28	c |     16925 |     965     4008    11943 | 2147483647     8232     29 |  0.413 % |
1.23/1.29	c |     17035 |     965     4008    11943 | 2147483647     8342     29 |  0.413 % |
1.23/1.31	c |     17157 |     964     4004    11927 | 2147483647     8308     29 |  0.516 % |
1.32/1.33	c |     17292 |     964     4004    11927 | 2147483647     8443     29 |  0.516 % |
1.32/1.34	c |     17438 |     964     4004    11927 | 2147483647     8589     29 |  0.516 % |
1.32/1.37	c |     17599 |     964     4004    11927 | 2147483647     8750     29 |  0.520 % |
1.32/1.38	c |     17778 |     964     4004    11927 | 2147483647     8929     30 |  0.521 % |
1.42/1.41	c |     17972 |     964     4004    11927 | 2147483647     9123     30 |  0.516 % |
1.42/1.43	c |     18185 |     964     4004    11927 | 2147483647     9336     30 |  0.516 % |
1.42/1.47	c |     18419 |     964     4004    11927 | 2147483647     9570     30 |  0.516 % |
1.52/1.52	c |     18677 |     964     4004    11927 | 2147483647     9828     30 |  0.516 % |
1.52/1.57	c |     18959 |     964     4004    11927 | 2147483647    10110     30 |  0.516 % |
1.62/1.62	c |     19270 |     964     4004    11927 | 2147483647    10421     30 |  0.516 % |
1.62/1.68	c |     19611 |     964     4004    11927 | 2147483647    10762     31 |  0.516 % |
1.72/1.73	c |     19983 |     964     4004    11927 | 2147483647    11134     30 |  0.516 % |
1.72/1.75	c |     20083 |     964     4004    11927 | 2147483647    11234     30 |  0.516 % |
1.72/1.76	c |     20194 |     964     4004    11927 | 2147483647    11345     30 |  0.516 % |
1.72/1.79	c |     20315 |     964     4004    11927 | 2147483647    11466     30 |  0.516 % |
1.72/1.81	c |     20449 |     964     4004    11927 | 2147483647    11600     30 |  0.516 % |
1.82/1.83	c |     20596 |     964     4004    11927 | 2147483647    11747     30 |  0.516 % |
1.82/1.85	c |     20756 |     964     4004    11927 | 2147483647    11907     30 |  0.516 % |
1.82/1.87	c |     20933 |     964     4004    11927 | 2147483647    12084     30 |  0.516 % |
1.82/1.89	c |     21128 |     964     4004    11927 | 2147483647    12279     30 |  0.516 % |
1.92/1.92	c |     21340 |     964     4004    11927 | 2147483647    12491     30 |  0.517 % |
1.92/1.96	c |     21573 |     964     4004    11927 | 2147483647    12724     30 |  0.516 % |
1.92/1.98	c |     21830 |     964     4004    11927 | 2147483647    12981     30 |  0.516 % |
2.02/2.04	c |     22111 |     964     4004    11927 | 2147483647    13262     30 |  0.516 % |
2.12/2.11	c |     22423 |     964     4004    11927 | 2147483647    13574     31 |  0.516 % |
2.12/2.17	c |     22763 |     964     4004    11927 | 2147483647    13914     31 |  0.516 % |
2.22/2.24	c |     23136 |     964     4004    11927 | 2147483647    14287     31 |  0.516 % |
2.22/2.27	c |     23547 |     964     4004    11927 | 2147483647    14698     30 |  0.516 % |
2.22/2.28	c |     23648 |     964     4004    11927 | 2147483647    14799     30 |  0.516 % |
2.22/2.30	c |     23758 |     964     4004    11927 | 2147483647    14909     30 |  0.516 % |
2.33/2.33	c |     23879 |     964     4004    11927 | 2147483647    15030     30 |  0.516 % |
2.33/2.36	c |     24012 |     964     4004    11927 | 2147483647    15163     30 |  0.516 % |
2.33/2.38	c |     24158 |     964     4004    11927 | 2147483647    15309     31 |  0.516 % |
2.33/2.40	c |     24320 |     964     4004    11927 | 2147483647    15471     31 |  0.517 % |
2.42/2.42	c |     24496 |     964     4004    11927 | 2147483647    15647     30 |  0.516 % |
2.42/2.46	c |     24691 |     964     4004    11927 | 2147483647    15842     31 |  0.516 % |
2.42/2.50	c |     24904 |     964     4004    11927 | 2147483647    16055     31 |  0.516 % |
2.52/2.55	c |     25138 |     964     4004    11927 | 2147483647    16289     31 |  0.516 % |
2.62/2.61	c |     25394 |     964     4004    11927 | 2147483647    16545     31 |  0.516 % |
2.62/2.68	c |     25676 |     964     4004    11927 | 2147483647    16827     31 |  0.516 % |
2.72/2.75	c |     25985 |     964     4004    11927 | 2147483647    17136     31 |  0.516 % |
2.82/2.83	c |     26325 |     964     4004    11927 | 2147483647    17476     31 |  0.521 % |
2.92/2.92	c |     26698 |     964     4004    11927 | 2147483647    17849     31 |  0.516 % |
3.02/3.01	c |     27108 |     964     4004    11927 | 2147483647    18259     31 |  0.516 % |
3.12/3.13	c |     27557 |     964     4004    11927 | 2147483647    18708     31 |  0.516 % |
3.12/3.14	c |     27657 |     964     4004    11927 | 2147483647    18808     31 |  0.520 % |
3.12/3.15	c |     27770 |     964     4004    11927 | 2147483647    18921     31 |  0.516 % |
3.12/3.19	c |     27892 |     964     4004    11927 | 2147483647    19043     31 |  0.516 % |
3.22/3.23	c |     28027 |     964     4004    11927 | 2147483647    19178     31 |  0.516 % |
3.22/3.27	c |     28177 |     964     4004    11927 | 2147483647    19328     31 |  0.516 % |
3.22/3.30	c |     28337 |     964     4004    11927 | 2147483647    19488     31 |  0.516 % |
3.32/3.33	c |     28513 |     964     4004    11927 | 2147483647    19664     31 |  0.516 % |
3.32/3.35	c |     28707 |     964     4004    11927 | 2147483647    19858     31 |  0.516 % |
3.32/3.38	c |     28921 |     964     4004    11927 | 2147483647    20072     31 |  0.516 % |
3.43/3.43	c |     29154 |     964     4004    11927 | 2147483647    20305     31 |  0.520 % |
3.52/3.51	c |     29410 |     964     4004    11927 | 2147483647    20561     30 |  0.516 % |
3.62/3.61	c |     29694 |     964     4004    11927 | 2147483647    20845     30 |  0.516 % |
3.72/3.73	c |     30004 |     964     4004    11927 | 2147483647    21155     30 |  0.516 % |
3.72/3.78	c |     30343 |     964     4004    11927 | 2147483647    21494     31 |  0.520 % |
3.92/3.92	c |     30715 |     964     4004    11927 | 2147483647    21866     30 |  0.516 % |
4.12/4.11	c |     31124 |     964     4004    11927 | 2147483647    22275     31 |  0.516 % |
4.22/4.29	c |     31574 |     964     4004    11927 | 2147483647    22725     31 |  0.516 % |
4.32/4.38	c |     32068 |     964     4004    11927 | 2147483647    23219     31 |  0.520 % |
4.42/4.42	c |     32169 |     964     4004    11927 | 2147483647    23320     31 |  0.516 % |
4.42/4.45	c |     32279 |     964     4004    11927 | 2147483647    23430     31 |  0.516 % |
4.42/4.48	c |     32400 |     964     4004    11927 | 2147483647    23551     31 |  0.516 % |
4.42/4.51	c |     32533 |     964     4004    11927 | 2147483647    23684     31 |  0.520 % |
4.53/4.57	c |     32679 |     964     4004    11927 | 2147483647    23830     31 |  0.519 % |
4.53/4.58	c |     32839 |     964     4004    11927 | 2147483647    23990     31 |  0.516 % |
4.62/4.65	c |     33017 |     964     4004    11927 | 2147483647    24168     31 |  0.517 % |
4.62/4.67	c |     33210 |     964     4004    11927 | 2147483647    24361     30 |  0.521 % |
4.72/4.76	c |     33423 |     964     4004    11927 | 2147483647    24574     31 |  0.516 % |
4.82/4.87	c |     33656 |     964     4004    11927 | 2147483647    24807     31 |  0.516 % |
4.92/4.97	c |     33913 |     964     4004    11927 | 2147483647    25064     31 |  0.516 % |
5.02/5.05	c |     34197 |     964     4004    11927 | 2147483647    25348     31 |  0.516 % |
5.12/5.17	c |     34507 |     964     4004    11927 | 2147483647    25658     31 |  0.516 % |
5.22/5.24	c |     34846 |     964     4004    11927 | 2147483647    25997     31 |  0.516 % |
5.32/5.33	c |     35219 |     964     4004    11927 | 2147483647    26370     31 |  0.516 % |
5.42/5.50	c |     35628 |     964     4004    11927 | 2147483647    26779     31 |  0.516 % |
5.72/5.72	c |     36077 |     964     4004    11927 | 2147483647    27228     31 |  0.516 % |
5.82/5.89	c |     36570 |     964     4004    11927 | 2147483647    27721     31 |  0.516 % |
6.02/6.07	c |     37112 |     964     4004    11927 | 2147483647    28263     31 |  0.516 % |
6.02/6.10	c |     37214 |     964     4004    11927 | 2147483647    28365     31 |  0.516 % |
6.12/6.14	c |     37325 |     964     4004    11927 | 2147483647    28476     31 |  0.516 % |
6.12/6.19	c |     37446 |     964     4004    11927 | 2147483647    28597     31 |  0.516 % |
6.22/6.24	c |     37583 |     964     4004    11927 | 2147483647    28734     31 |  0.520 % |
6.22/6.27	c |     37729 |     964     4004    11927 | 2147483647    28880     31 |  0.520 % |
6.32/6.31	c |     37889 |     964     4004    11927 | 2147483647    29040     31 |  0.516 % |
6.42/6.42	c |     38066 |     964     4004    11927 | 2147483647    29217     31 |  0.516 % |
6.42/6.49	c |     38260 |     964     4004    11927 | 2147483647    29411     31 |  0.516 % |
6.52/6.52	c |     38472 |     964     4004    11927 | 2147483647    29623     31 |  0.516 % |
6.52/6.60	c |     38705 |     964     4004    11927 | 2147483647    29856     31 |  0.516 % |
6.62/6.71	c |     38961 |     964     4004    11927 | 2147483647    30112     31 |  0.522 % |
6.82/6.84	c |     39242 |     964     4004    11927 | 2147483647    30393     31 |  0.516 % |
7.02/7.04	c |     39552 |     964     4004    11927 | 2147483647    30703     31 |  0.516 % |
7.12/7.15	c |     39892 |     964     4004    11927 | 2147483647    31043     31 |  0.519 % |
7.22/7.29	c |     40266 |     964     4004    11927 |    31153    26803     29 |  0.516 % |
7.42/7.46	c |     40676 |     964     4004    11927 |    31153    27213     29 |  0.516 % |
7.62/7.66	c |     41125 |     964     4004    11927 |    31153    27662     29 |  0.516 % |
7.83/7.87	c |     41620 |     964     4004    11927 |    31153    28157     29 |  0.516 % |
8.12/8.15	c |     42164 |     964     4004    11927 |    31153    28701     29 |  0.516 % |
8.42/8.42	c |     42761 |     964     4004    11927 |    31153    29298     29 |  0.516 % |
8.42/8.46	c |     42861 |     964     4004    11927 |    31153    29398     29 |  0.516 % |
8.42/8.50	c |     42972 |     964     4004    11927 |    31153    29509     29 |  0.516 % |
8.52/8.56	c |     43093 |     964     4004    11927 |    31153    29630     29 |  0.516 % |
8.62/8.61	c |     43226 |     964     4004    11927 |    31153    29763     29 |  0.516 % |
8.62/8.63	c |     43372 |     964     4004    11927 |    31153    29909     29 |  0.516 % |
8.62/8.66	c |     43532 |     964     4004    11927 |    31153    30069     29 |  0.516 % |
8.62/8.69	c |     43708 |     964     4004    11927 |    31153    30245     29 |  0.516 % |
8.72/8.79	c |     43902 |     964     4004    11927 |    31153    30439     29 |  0.516 % |
8.82/8.87	c |     44115 |     964     4004    11927 |    31153    30652     29 |  0.516 % |
8.93/8.98	c |     44349 |     964     4004    11927 |    31153    30886     29 |  0.516 % |
9.02/9.10	c |     44606 |     964     4004    11927 |    31153    31143     29 |  0.516 % |
9.22/9.23	c |     44888 |     964     4004    11927 |    31153    31425     29 |  0.516 % |
9.32/9.37	c |     45197 |     964     4004    11927 |    31153    26142     27 |  0.516 % |
9.52/9.53	c |     45537 |     964     4004    11927 |    31153    26482     27 |  0.516 % |
9.62/9.63	c |     45909 |     964     4004    11927 |    31153    26854     27 |  0.519 % |
9.72/9.76	c |     46319 |     964     4004    11927 |    31153    27264     27 |  0.516 % |
9.92/9.98	c |     46769 |     964     4004    11927 |    31153    27714     27 |  0.516 % |
10.12/10.18	c |     47265 |     964     4004    11927 |    31153    28210     27 |  0.516 % |
10.42/10.43	c |     47807 |     964     4004    11927 |    31153    28752     28 |  0.516 % |
10.62/10.65	c |     48404 |     964     4004    11927 |    31153    29349     28 |  0.516 % |
11.02/11.02	c |     49060 |     964     4004    11927 |    31153    30005     28 |  0.516 % |
11.02/11.05	c |     49163 |     964     4004    11927 |    31153    30108     28 |  0.516 % |
11.02/11.08	c |     49274 |     964     4004    11927 |    31153    30219     28 |  0.516 % |
11.13/11.13	c |     49395 |     964     4004    11927 |    31153    30340     28 |  0.516 % |
11.13/11.19	c |     49528 |     964     4004    11927 |    31153    30473     28 |  0.516 % |
11.22/11.25	c |     49676 |     964     4004    11927 |    31153    30621     28 |  0.519 % |
11.32/11.33	c |     49836 |     964     4004    11927 |    31153    30781     28 |  0.516 % |
11.32/11.40	c |     50012 |     964     4004    11927 |    30945    30957     28 |  0.516 % |
11.42/11.50	c |     50208 |     964     4004    11927 |    30945    25302     26 |  0.520 % |
11.52/11.58	c |     50420 |     964     4004    11927 |    30945    25514     26 |  0.516 % |
11.62/11.68	c |     50654 |     964     4004    11927 |    30945    25748     26 |  0.516 % |
11.72/11.79	c |     50911 |     964     4004    11927 |    30945    26005     26 |  0.516 % |
11.92/11.93	c |     51192 |     964     4004    11927 |    30945    26286     26 |  0.516 % |
12.02/12.08	c |     51501 |     964     4004    11927 |    30945    26595     26 |  0.516 % |
12.12/12.18	c |     51840 |     964     4004    11927 |    30945    26934     26 |  0.519 % |
12.23/12.26	c |     52212 |     964     4004    11927 |    30945    27306     26 |  0.516 % |
12.42/12.47	c |     52622 |     964     4004    11927 |    30945    27716     27 |  0.516 % |
12.62/12.70	c |     53071 |     964     4004    11927 |    30945    28165     27 |  0.516 % |
12.82/12.85	c |     53564 |     964     4004    11927 |    30945    28658     27 |  0.519 % |
12.92/12.97	c |     54106 |     964     4004    11927 |    30945    29200     27 |  0.516 % |
13.22/13.27	c |     54702 |     964     4004    11927 |    30945    29796     27 |  0.516 % |
13.62/13.61	c |     55357 |     964     4004    11927 |    30945    30451     27 |  0.517 % |
13.92/13.93	c |     56078 |     964     4004    11927 |    30945    31172     27 |  0.521 % |
13.92/13.99	c |     56180 |     964     4004    11927 |    30945    25131     25 |  0.516 % |
14.02/14.03	c |     56290 |     964     4004    11927 |    30945    25241     25 |  0.516 % |
14.02/14.08	c |     56412 |     964     4004    11927 |    30945    25363     25 |  0.516 % |
14.12/14.14	c |     56545 |     964     4004    11927 |    30945    25496     25 |  0.516 % |
14.12/14.20	c |     56692 |     964     4004    11927 |    30945    25643     25 |  0.516 % |
14.22/14.26	c |     56852 |     964     4004    11927 |    30945    25803     26 |  0.516 % |
14.22/14.28	c |     57030 |     964     4004    11927 |    30945    25981     26 |  0.516 % |
14.32/14.32	c |     57224 |     964     4004    11927 |    30945    26175     25 |  0.516 % |
14.43/14.43	c |     57436 |     964     4004    11927 |    30945    26387     25 |  0.516 % |
14.43/14.49	c |     57669 |     964     4004    11927 |    30945    26620     26 |  0.516 % |
14.62/14.61	c |     57925 |     964     4004    11927 |    30945    26876     26 |  0.516 % |
14.72/14.73	c |     58206 |     964     4004    11927 |    30945    27157     26 |  0.517 % |
14.82/14.90	c |     58516 |     964     4004    11927 |    30945    27467     26 |  0.516 % |
14.92/14.99	c |     58855 |     964     4004    11927 |    30945    27806     26 |  0.522 % |
15.02/15.04	c |     59227 |     964     4004    11927 |    30945    28178     26 |  0.520 % |
15.02/15.10	c |     59639 |     964     4004    11927 |    30945    28590     26 |  0.516 % |
15.22/15.29	c |     60090 |     964     4004    11927 |    28953    29041     26 |  0.516 % |
15.42/15.41	c |     60583 |     964     4004    11927 |    28953    23864     25 |  0.520 % |
15.53/15.56	c |     61127 |     964     4004    11927 |    28953    24408     25 |  0.522 % |
15.72/15.76	c |     61723 |     964     4004    11927 |    28953    25004     25 |  0.516 % |
15.92/15.92	c |     62378 |     964     4004    11927 |    28953    25659     25 |  0.516 % |
16.12/16.14	c |     63098 |     964     4004    11927 |    28953    26379     25 |  0.516 % |
16.22/16.27	c |     63891 |     964     4004    11927 |    28953    27172     26 |  0.516 % |
16.32/16.32	c |     63992 |     964     4004    11927 |    28953    27273     26 |  0.516 % |
16.32/16.38	c |     64103 |     964     4004    11927 |    28953    27384     26 |  0.516 % |
16.42/16.43	c |     64225 |     964     4004    11927 |    28953    27506     26 |  0.516 % |
16.42/16.46	c |     64358 |     964     4004    11927 |    28953    27639     26 |  0.516 % |
16.52/16.51	c |     64507 |     964     4004    11927 |    28953    27788     26 |  0.516 % |
16.52/16.57	c |     64669 |     964     4004    11927 |    28953    27950     26 |  0.522 % |
16.63/16.63	c |     64846 |     964     4004    11927 |    28953    28127     26 |  0.519 % |
16.72/16.71	c |     65040 |     964     4004    11927 |    28953    28321     26 |  0.517 % |
16.72/16.79	c |     65252 |     964     4004    11927 |    28953    28533     26 |  0.516 % |
16.82/16.89	c |     65485 |     964     4004    11927 |    28953    28766     26 |  0.516 % |
16.92/17.01	c |     65742 |     964     4004    11927 |    28953    29023     26 |  0.516 % |
17.12/17.11	c |     66023 |     964     4004    11927 |    28953    23698     24 |  0.516 % |
17.12/17.15	c |     66333 |     964     4004    11927 |    28953    24008     24 |  0.521 % |
17.12/17.19	c |     66674 |     964     4004    11927 |    28953    24349     24 |  0.516 % |
17.22/17.29	c |     67047 |     964     4004    11927 |    28953    24722     24 |  0.516 % |
17.42/17.41	c |     67457 |     964     4004    11927 |    28953    25132     24 |  0.520 % |
17.52/17.53	c |     67907 |     964     4004    11927 |    28953    25582     25 |  0.516 % |
17.73/17.76	c |     68401 |     964     4004    11927 |    28953    26076     25 |  0.516 % |
17.92/17.96	c |     68944 |     964     4004    11927 |    28953    26619     25 |  0.520 % |
18.22/18.23	c |     69541 |     964     4004    11927 |    28953    27216     25 |  0.517 % |
18.32/18.38	c |     70196 |     964     4004    11927 |    27677    27871     25 |  0.520 % |
18.52/18.60	c |     70916 |     964     4004    11927 |    27677    23703     24 |  0.516 % |
18.83/18.85	c |     71709 |     964     4004    11927 |    27677    24496     24 |  0.516 % |
19.12/19.14	c |     72581 |     964     4004    11927 |    27677    25368     24 |  0.516 % |
19.12/19.17	c |     72683 |     964     4004    11927 |    27677    25470     24 |  0.522 % |
19.12/19.19	c |     72794 |     964     4004    11927 |    27677    25581     24 |  0.516 % |
19.22/19.23	c |     72918 |     964     4004    11927 |    27677    25705     24 |  0.516 % |
19.22/19.29	c |     73051 |     964     4004    11927 |    27677    25838     24 |  0.516 % |
19.22/19.30	c |     73197 |     964     4004    11927 |    27677    25984     24 |  0.519 % |
19.32/19.32	c |     73357 |     964     4004    11927 |    27677    26144     24 |  0.516 % |
19.32/19.38	c |     73533 |     964     4004    11927 |    27677    26320     24 |  0.516 % |
19.42/19.45	c |     73726 |     964     4004    11927 |    27677    26513     24 |  0.516 % |
19.42/19.50	c |     73940 |     964     4004    11927 |    27677    26727     24 |  0.516 % |
19.52/19.58	c |     74174 |     964     4004    11927 |    27677    26961     24 |  0.521 % |
19.62/19.67	c |     74431 |     964     4004    11927 |    27677    27218     24 |  0.516 % |
19.72/19.80	c |     74712 |     964     4004    11927 |    27677    27499     24 |  0.516 % |
19.82/19.92	c |     75021 |     964     4004    11927 |    27677    27808     24 |  0.516 % |
20.02/20.02	c |     75362 |     964     4004    11927 |    27677    23783     24 |  0.520 % |
20.12/20.14	c |     75736 |     964     4004    11927 |    27677    24157     24 |  0.516 % |
20.22/20.25	c |     76145 |     964     4004    11927 |    27677    24566     24 |  0.516 % |
20.32/20.36	c |     76595 |     964     4004    11927 |    27677    25016     24 |  0.516 % |
20.42/20.44	c |     77088 |     964     4004    11927 |    27677    25509     24 |  0.521 % |
20.62/20.63	c |     77632 |     964     4004    11927 |    27677    26053     24 |  0.521 % |
20.82/20.90	c |     78228 |     964     4004    11927 |    27677    26649     24 |  0.516 % |
21.12/21.11	c |     78886 |     964     4004    11927 |    27677    27307     24 |  0.516 % |
21.32/21.36	c |     79606 |     964     4004    11927 |    27677    23543     23 |  0.516 % |
21.62/21.64	c |     80399 |     964     4004    11927 |    23937    20619     22 |  0.516 % |
21.82/21.88	c |     81270 |     964     4004    11927 |    23937    21490     22 |  0.516 % |
22.13/22.16	c |     82228 |     964     4004    11927 |    23937    22448     22 |  0.516 % |
22.13/22.20	c |     82328 |     964     4004    11927 |    23937    22548     22 |  0.516 % |
22.22/22.24	c |     82438 |     964     4004    11927 |    23937    22658     22 |  0.521 % |
22.22/22.29	c |     82561 |     964     4004    11927 |    23937    22781     22 |  0.516 % |
22.32/22.33	c |     82694 |     964     4004    11927 |    23937    22914     22 |  0.521 % |
22.32/22.37	c |     82840 |     964     4004    11927 |    23937    23060     23 |  0.516 % |
22.42/22.43	c |     83001 |     964     4004    11927 |    23937    23221     23 |  0.516 % |
22.42/22.47	c |     83177 |     964     4004    11927 |    23937    23397     23 |  0.521 % |
22.42/22.50	c |     83370 |     964     4004    11927 |    23937    23590     23 |  0.516 % |
22.52/22.58	c |     83582 |     964     4004    11927 |    23937    23802     23 |  0.516 % |
22.62/22.66	c |     83817 |     964     4004    11927 |    23937    24037     23 |  0.516 % |
22.72/22.74	c |     84073 |     964     4004    11927 |    23937    21177     22 |  0.516 % |
22.72/22.78	c |     84355 |     964     4004    11927 |    23937    21459     22 |  0.517 % |
22.82/22.88	c |     84664 |     964     4004    11927 |    23937    21768     22 |  0.516 % |
22.92/22.99	c |     85003 |     964     4004    11927 |    23937    22107     23 |  0.516 % |
23.02/23.08	c |     85376 |     964     4004    11927 |    23937    22480     23 |  0.520 % |
23.12/23.16	c |     85785 |     964     4004    11927 |    23937    22889     23 |  0.516 % |
23.32/23.32	c |     86236 |     964     4004    11927 |    23937    23340     23 |  0.516 % |
23.32/23.40	c |     86729 |     964     4004    11927 |    23937    23833     23 |  0.516 % |
23.52/23.54	c |     87273 |     964     4004    11927 |    23937    21141     22 |  0.516 % |
23.72/23.75	c |     87870 |     964     4004    11927 |    23937    21738     23 |  0.516 % |
23.92/23.96	c |     88525 |     964     4004    11927 |    23937    22393     23 |  0.516 % |
24.12/24.12	c |     89247 |     964     4004    11927 |    23937    23115     23 |  0.521 % |
24.22/24.31	c |     90040 |     964     4004    11927 |    23869    23908     23 |  0.516 % |
24.42/24.45	c |     90911 |     964     4004    11927 |    23869    21724     22 |  0.516 % |
24.62/24.63	c |     91869 |     964     4004    11927 |    23869    22682     22 |  0.516 % |
24.92/24.95	c |     92922 |     964     4004    11927 |    23869    23735     22 |  0.516 % |
24.92/24.98	c |     93022 |     964     4004    11927 |    23869    23835     22 |  0.516 % |
25.02/25.01	c |     93132 |     964     4004    11927 |    23869    23945     23 |  0.520 % |
25.02/25.04	c |     93253 |     964     4004    11927 |    23869    21493     22 |  0.516 % |
25.02/25.08	c |     93386 |     964     4004    11927 |    23869    21626     22 |  0.516 % |
25.12/25.13	c |     93533 |     964     4004    11927 |    23869    21773     22 |  0.516 % |
25.12/25.16	c |     93693 |     964     4004    11927 |    23869    21933     22 |  0.519 % |
25.12/25.20	c |     93869 |     964     4004    11927 |    23869    22109     22 |  0.516 % |
25.22/25.27	c |     94064 |     964     4004    11927 |    23869    22304     22 |  0.522 % |
25.32/25.33	c |     94278 |     964     4004    11927 |    23869    22518     22 |  0.520 % |
25.43/25.42	c |     94511 |     964     4004    11927 |    23869    22751     22 |  0.516 % |
25.43/25.45	c |     94769 |     964     4004    11927 |    23869    23009     22 |  0.516 % |
25.52/25.51	c |     95050 |     964     4004    11927 |    23869    23290     22 |  0.516 % |
25.52/25.59	c |     95359 |     964     4004    11927 |    23869    23599     22 |  0.516 % |
25.62/25.68	c |     95698 |     964     4004    11927 |    23869    23938     23 |  0.516 % |
25.72/25.77	c |     96070 |     964     4004    11927 |    23869    21548     22 |  0.516 % |
25.82/25.84	c |     96480 |     964     4004    11927 |    23869    21958     22 |  0.516 % |
25.92/25.96	c |     96929 |     964     4004    11927 |    23869    22407     23 |  0.516 % |
26.12/26.11	c |     97424 |     964     4004    11927 |    23869    22902     23 |  0.516 % |
26.32/26.34	c |     97966 |     964     4004    11927 |    23869    23444     23 |  0.516 % |
26.53/26.54	c |     98562 |     964     4004    11927 |    23869    24040     24 |  0.516 % |
26.62/26.68	c |     99219 |     964     4004    11927 |    23869    21706     22 |  0.516 % |
26.82/26.88	c |     99940 |     964     4004    11927 |    23869    22427     22 |  0.516 % |
27.12/27.14	c |    100733 |     964     4004    11927 |    22487    20574     22 |  0.516 % |
27.32/27.38	c |    101604 |     964     4004    11927 |    22487    21445     22 |  0.516 % |
27.72/27.72	c |    102562 |     964     4004    11927 |    22487    22403     23 |  0.516 % |
27.92/28.00	c |    103615 |     964     4004    11927 |    22487    21157     23 |  0.519 % |
28.22/28.22	c |    104774 |     964     4004    11927 |    22487    22316     23 |  0.516 % |
28.22/28.24	c |    104874 |     964     4004    11927 |    22487    22416     24 |  0.516 % |
28.22/28.27	c |    104985 |     964     4004    11927 |    22487    22527     24 |  0.516 % |
28.32/28.32	c |    105106 |     964     4004    11927 |    22487    20335     23 |  0.521 % |
28.32/28.36	c |    105240 |     964     4004    11927 |    22487    20469     23 |  0.516 % |
28.42/28.44	c |    105386 |     964     4004    11927 |    22487    20615     23 |  0.516 % |
28.42/28.49	c |    105546 |     964     4004    11927 |    22487    20775     23 |  0.516 % |
28.52/28.52	c |    105723 |     964     4004    11927 |    22487    20952     23 |  0.520 % |
28.52/28.55	c |    105917 |     964     4004    11927 |    22487    21146     23 |  0.516 % |
28.62/28.61	c |    106129 |     964     4004    11927 |    22487    21358     23 |  0.516 % |
28.62/28.68	c |    106363 |     964     4004    11927 |    22487    21592     23 |  0.517 % |
28.73/28.76	c |    106619 |     964     4004    11927 |    22487    21848     23 |  0.516 % |
28.82/28.86	c |    106902 |     964     4004    11927 |    22487    22131     24 |  0.516 % |
28.92/28.95	c |    107211 |     964     4004    11927 |    22487    22440     24 |  0.516 % |
29.12/29.11	c |    107550 |     964     4004    11927 |    22487    20498     23 |  0.516 % |
29.12/29.18	c |    107923 |     964     4004    11927 |    22487    20871     24 |  0.520 % |
29.22/29.28	c |    108335 |     964     4004    11927 |    22487    21283     24 |  0.516 % |
29.42/29.46	c |    108785 |     964     4004    11927 |    22487    21733     24 |  0.516 % |
29.62/29.64	c |    109279 |     964     4004    11927 |    22487    22227     24 |  0.516 % |
29.72/29.80	c |    109822 |     964     4004    11927 |    22487    20495     23 |  0.516 % |
29.92/29.93	c |    110418 |     964     4004    11927 | 2147483647    21091     23 |  0.516 % |
30.02/30.08	c |    111075 |     964     4004    11927 | 2147483647    21748     23 |  0.516 % |
30.22/30.23	c |    111795 |     964     4004    11927 | 2147483647    22468     24 |  0.516 % |
30.42/30.46	c |    112588 |     964     4004    11927 | 2147483647    23261     24 |  0.516 % |
30.52/30.60	c |    113459 |     964     4004    11927 | 2147483647    24132     24 |  0.519 % |
30.82/30.91	c |    114418 |     964     4004    11927 | 2147483647    25091     25 |  0.516 % |
31.22/31.28	c |    115471 |     964     4004    11927 | 2147483647    26144     25 |  0.516 % |
31.62/31.61	c |    116629 |     964     4004    11927 | 2147483647    27302     25 |  0.516 % |
31.82/31.85	c |    117902 |     964     4004    11927 | 2147483647    28575     24 |  0.516 % |
31.82/31.90	c |    118002 |     964     4004    11927 | 2147483647    28675     24 |  0.516 % |
31.92/31.91	c |    118112 |     964     4004    11927 | 2147483647    28785     24 |  0.516 % |
31.92/31.93	c |    118233 |     964     4004    11927 | 2147483647    28906     24 |  0.516 % |
31.92/31.99	c |    118366 |     964     4004    11927 | 2147483647    29039     24 |  0.518 % |
32.03/32.05	c |    118512 |     964     4004    11927 | 2147483647    29185     24 |  0.516 % |
32.12/32.14	c |    118677 |     964     4004    11927 | 2147483647    29350     25 |  0.520 % |
32.22/32.25	c |    118853 |     964     4004    11927 | 2147483647    29526     25 |  0.516 % |
32.32/32.36	c |    119046 |     964     4004    11927 | 2147483647    29719     25 |  0.516 % |
32.42/32.42	c |    119260 |     964     4004    11927 | 2147483647    29933     25 |  0.520 % |
32.52/32.52	c |    119494 |     964     4004    11927 | 2147483647    30167     25 |  0.516 % |
32.62/32.62	c |    119750 |     964     4004    11927 | 2147483647    30423     25 |  0.517 % |
32.72/32.74	c |    120031 |     964     4004    11927 |    30674    30704     25 |  0.516 % |
32.82/32.85	c |    120340 |     964     4004    11927 |    30674    26914     23 |  0.519 % |
32.92/32.97	c |    120679 |     964     4004    11927 |    30674    27253     23 |  0.516 % |
33.13/33.13	c |    121051 |     964     4004    11927 |    30674    27625     24 |  0.516 % |
33.22/33.26	c |    121460 |     964     4004    11927 |    30674    28034     24 |  0.516 % |
33.42/33.41	c |    121909 |     964     4004    11927 |    30674    28483     24 |  0.517 % |
33.52/33.57	c |    122403 |     964     4004    11927 |    30674    28977     24 |  0.516 % |
33.72/33.76	c |    122945 |     964     4004    11927 |    30674    29519     25 |  0.516 % |
34.02/34.07	c |    123542 |     964     4004    11927 |    30674    30116     25 |  0.516 % |
34.12/34.21	c |    124199 |     964     4004    11927 |    30674    30773     25 |  0.521 % |
34.23/34.29	c |    124919 |     964     4004    11927 |    30674    26141     23 |  0.516 % |
34.52/34.56	c |    125712 |     963     4000    11911 |    30674    25950     23 |  0.619 % |
34.92/34.99	c |    126583 |     963     4000    11911 |    30674    26821     24 |  0.619 % |
35.22/35.28	c |    127541 |     963     4000    11911 |    30674    27779     24 |  0.624 % |
35.52/35.57	c |    128594 |     963     4000    11911 |    30674    28832     24 |  0.620 % |
35.82/35.83	c |    129753 |     963     4000    11911 |    30674    29991     24 |  0.619 % |
36.32/36.33	c |    131026 |     963     4000    11911 |    30239    25659     23 |  0.620 % |
36.62/36.70	c |    132426 |     963     4000    11911 |    30239    27059     23 |  0.622 % |
36.72/36.73	c |    132526 |     963     4000    11911 |    30239    27159     23 |  0.620 % |
36.72/36.75	c |    132636 |     963     4000    11911 |    30239    27269     23 |  0.619 % |
36.82/36.81	c |    132758 |     963     4000    11911 |    30239    27391     23 |  0.620 % |
36.82/36.88	c |    132891 |     963     4000    11911 |    30239    27524     23 |  0.619 % |
36.92/36.94	c |    133037 |     963     4000    11911 |    30239    27670     23 |  0.619 % |
36.92/37.00	c |    133197 |     963     4000    11911 |    30239    27830     24 |  0.619 % |
37.02/37.09	c |    133373 |     963     4000    11911 |    30239    28006     24 |  0.625 % |
37.12/37.18	c |    133567 |     963     4000    11911 |    30239    28200     24 |  0.619 % |
37.22/37.24	c |    133780 |     963     4000    11911 |    30239    28413     24 |  0.623 % |
37.32/37.34	c |    134015 |     963     4000    11911 |    30239    28648     24 |  0.619 % |
37.42/37.41	c |    134274 |     963     4000    11911 |    30239    28907     24 |  0.619 % |
37.53/37.56	c |    134556 |     963     4000    11911 |    30239    29189     24 |  0.622 % |
37.62/37.64	c |    134866 |     963     4000    11911 |    30239    29499     24 |  0.620 % |
37.72/37.79	c |    135205 |     963     4000    11911 |    30239    29838     24 |  0.619 % |
37.82/37.90	c |    135577 |     963     4000    11911 |    30239    30210     24 |  0.619 % |
38.02/38.06	c |    135988 |     963     4000    11911 |    30239    30621     24 |  0.619 % |
38.22/38.29	c |    136440 |     963     4000    11911 |    30239    24692     24 |  0.619 % |
38.42/38.50	c |    136934 |     963     4000    11911 |    30239    25186     24 |  0.624 % |
38.72/38.71	c |    137476 |     963     4000    11911 |    30239    25728     24 |  0.619 % |
38.92/38.92	c |    138073 |     963     4000    11911 |    30239    26325     24 |  0.619 % |
39.02/39.05	c |    138729 |     963     4000    11911 |    30239    26981     25 |  0.620 % |
39.32/39.33	c |    139451 |     963     4000    11911 |    30239    27703     25 |  0.619 % |
39.62/39.64	c |    140244 |     963     4000    11911 |    28252    28496     25 |  0.619 % |
39.92/40.00	c |    141116 |     963     4000    11911 |    28252    23496     23 |  0.619 % |
40.42/40.41	c |    142074 |     963     4000    11911 |    28252    24454     24 |  0.619 % |
40.52/40.56	c |    143127 |     963     4000    11911 |    28252    25507     24 |  0.620 % |
41.02/41.04	c |    144285 |     963     4000    11911 |    28252    26665     24 |  0.619 % |
41.52/41.59	c |    145558 |     963     4000    11911 |    28252    27938     24 |  0.619 % |
41.72/41.80	c |    146959 |     963     4000    11911 |    28252    24704     23 |  0.623 % |
42.42/42.48	c |    148501 |     963     4000    11911 |    28252    26246     23 |  0.620 % |
42.52/42.51	c |    148601 |     963     4000    11911 |    28252    26346     23 |  0.623 % |
42.52/42.55	c |    148711 |     963     4000    11911 |    28252    26456     23 |  0.619 % |
42.52/42.58	c |    148834 |     963     4000    11911 |    28252    26579     23 |  0.619 % |
42.52/42.59	c |    148967 |     963     4000    11911 |    28252    26712     23 |  0.619 % |
42.62/42.66	c |    149113 |     963     4000    11911 |    28252    26858     24 |  0.619 % |
42.72/42.73	c |    149273 |     963     4000    11911 |    28252    27018     24 |  0.620 % |
42.72/42.79	c |    149449 |     963     4000    11911 |    28252    27194     24 |  0.619 % |
42.92/42.91	c |    149642 |     963     4000    11911 |    28252    27387     24 |  0.619 % |
42.92/43.01	c |    149855 |     963     4000    11911 |    28252    27600     24 |  0.619 % |
43.03/43.09	c |    150090 |     963     4000    11911 |    27746    27835     24 |  0.619 % |
43.12/43.19	c |    150348 |     963     4000    11911 |    27746    23466     22 |  0.623 % |
43.22/43.30	c |    150631 |     963     4000    11911 |    27746    23749     23 |  0.620 % |
43.42/43.42	c |    150940 |     963     4000    11911 |    27746    24058     23 |  0.619 % |
43.52/43.55	c |    151279 |     963     4000    11911 |    27746    24397     23 |  0.619 % |
43.72/43.71	c |    151652 |     963     4000    11911 |    27746    24770     23 |  0.619 % |
43.72/43.79	c |    152062 |     963     4000    11911 |    27746    25180     23 |  0.620 % |
43.82/43.88	c |    152512 |     963     4000    11911 |    27746    25630     23 |  0.623 % |
44.02/44.05	c |    153008 |     963     4000    11911 |    27746    26126     23 |  0.625 % |
44.22/44.22	c |    153550 |     963     4000    11911 |    27746    26668     23 |  0.623 % |
44.52/44.53	c |    154147 |     962     3996    11895 |    27746    27095     24 |  0.723 % |
44.72/44.79	c |    154803 |     962     3996    11895 |    27746    27751     24 |  0.723 % |
45.02/45.07	c |    155524 |     962     3996    11895 |    27746    23412     22 |  0.723 % |
45.23/45.24	c |    156316 |     962     3996    11895 |    27746    24204     22 |  0.723 % |
45.62/45.61	c |    157187 |     962     3996    11895 |    27746    25075     23 |  0.723 % |
46.02/46.01	c |    158145 |     962     3996    11895 |    27746    26033     23 |  0.727 % |
46.22/46.24	c |    159198 |     962     3996    11895 |    27746    27086     23 |  0.723 % |
46.72/46.80	c |    160357 |     962     3996    11895 |    27888    23381     22 |  0.723 % |
47.22/47.26	c |    161631 |     962     3996    11895 |    27888    24655     23 |  0.723 % |
47.82/47.85	c |    163033 |     962     3996    11895 |    27888    26057     23 |  0.723 % |
48.22/48.29	c |    164573 |     962     3996    11895 |    27888    27597     24 |  0.727 % |
48.72/48.75	c |    166268 |     962     3996    11895 |    27888    24086     23 |  0.727 % |
48.72/48.79	c |    166370 |     962     3996    11895 |    27888    24188     23 |  0.723 % |
48.82/48.82	c |    166481 |     962     3996    11895 |    27888    24299     23 |  0.723 % |
48.82/48.88	c |    166602 |     962     3996    11895 |    27888    24420     23 |  0.723 % |
48.92/48.92	c |    166735 |     962     3996    11895 |    27888    24553     23 |  0.723 % |
48.92/48.97	c |    166881 |     962     3996    11895 |    27888    24699     23 |  0.727 % |
49.02/49.02	c |    167041 |     962     3996    11895 |    27888    24859     23 |  0.727 % |
49.02/49.06	c |    167218 |     962     3996    11895 |    27888    25036     23 |  0.727 % |
49.12/49.16	c |    167412 |     962     3996    11895 |    27888    25230     23 |  0.726 % |
49.12/49.20	c |    167624 |     962     3996    11895 |    27888    25442     23 |  0.723 % |
49.32/49.32	c |    167857 |     962     3996    11895 |    27888    25675     24 |  0.723 % |
49.42/49.42	c |    168113 |     962     3996    11895 |    27888    25931     24 |  0.723 % |
49.42/49.47	c |    168394 |     962     3996    11895 |    27888    26212     24 |  0.723 % |
49.52/49.52	c |    168704 |     962     3996    11895 |    27888    26522     24 |  0.723 % |
49.63/49.66	c |    169044 |     962     3996    11895 |    27888    26862     24 |  0.723 % |
49.72/49.74	c |    169416 |     962     3996    11895 |    27888    27234     24 |  0.726 % |
49.82/49.84	c |    169825 |     962     3996    11895 |    27888    27643     24 |  0.723 % |
50.02/50.02	c |    170276 |     962     3996    11895 |    27820    28094     24 |  0.723 % |
50.12/50.19	c |    170770 |     962     3996    11895 |    27820    23410     22 |  0.723 % |
50.32/50.34	c |    171313 |     962     3996    11895 |    27820    23953     23 |  0.723 % |
50.42/50.45	c |    171909 |     962     3996    11895 |    27820    24549     22 |  0.723 % |
50.62/50.68	c |    172564 |     962     3996    11895 |    27820    25204     23 |  0.723 % |
50.82/50.84	c |    173284 |     962     3996    11895 |    27820    25924     23 |  0.723 % |
51.12/51.17	c |    174076 |     962     3996    11895 |    27820    26716     23 |  0.723 % |
51.32/51.38	c |    174947 |     962     3996    11895 |    27820    27587     23 |  0.727 % |
51.42/51.48	c |    175907 |     962     3996    11895 |    27820    23796     21 |  0.723 % |
51.92/51.91	c |    176960 |     962     3996    11895 |    27820    24849     22 |  0.723 % |
52.32/52.38	c |    178118 |     962     3996    11895 |    27820    26007     22 |  0.723 % |
52.93/52.93	c |    179393 |     962     3996    11895 |    27820    27282     22 |  0.726 % |
53.13/53.17	c |    180793 |     962     3996    11895 |    27893    24344     21 |  0.723 % |
53.73/53.79	c |    182334 |     962     3996    11895 |    27893    25885     21 |  0.723 % |
54.43/54.43	c |    184029 |     962     3996    11895 |    27893    27580     22 |  0.723 % |
54.93/55.00	c |    185892 |     962     3996    11895 |    27893    24820     22 |  0.723 % |
55.03/55.02	c |    185993 |     962     3996    11895 |    27893    24921     22 |  0.723 % |
55.03/55.05	c |    186105 |     962     3996    11895 |    27893    25033     22 |  0.728 % |
55.13/55.13	c |    186228 |     962     3996    11895 |    27893    25156     22 |  0.723 % |
55.13/55.17	c |    186362 |     962     3996    11895 |    27893    25290     22 |  0.723 % |
55.23/55.24	c |    186508 |     962     3996    11895 |    27893    25436     23 |  0.723 % |
55.23/55.30	c |    186669 |     962     3996    11895 |    27893    25597     23 |  0.723 % |
55.33/55.36	c |    186845 |     962     3996    11895 |    27893    25773     23 |  0.723 % |
55.43/55.42	c |    187038 |     962     3996    11895 |    27893    25966     23 |  0.723 % |
55.43/55.45	c |    187251 |     962     3996    11895 |    27893    26179     23 |  0.723 % |
55.43/55.48	c |    187484 |     962     3996    11895 |    27893    26412     23 |  0.723 % |
55.53/55.59	c |    187741 |     962     3996    11895 |    27893    26669     23 |  0.723 % |
55.63/55.70	c |    188022 |     962     3996    11895 |    27893    26950     23 |  0.723 % |
55.73/55.75	c |    188331 |     962     3996    11895 |    27893    27259     23 |  0.726 % |
55.83/55.87	c |    188670 |     962     3996    11895 |    27893    27598     23 |  0.726 % |
55.93/55.97	c |    189043 |     962     3996    11895 |    27893    27971     23 |  0.723 % |
56.03/56.11	c |    189452 |     962     3996    11895 |    27893    23781     22 |  0.723 % |
56.13/56.21	c |    189901 |     962     3996    11895 |    27893    24230     22 |  0.723 % |
56.23/56.28	c |    190395 |     962     3996    11895 |    24329    20725     21 |  0.723 % |
56.43/56.44	c |    190937 |     962     3996    11895 |    24329    21267     21 |  0.723 % |
56.63/56.70	c |    191533 |     962     3996    11895 |    24329    21863     21 |  0.723 % |
56.83/56.84	c |    192188 |     962     3996    11895 |    24329    22518     22 |  0.727 % |
57.03/57.05	c |    192908 |     962     3996    11895 |    24329    23238     22 |  0.723 % |
57.33/57.34	c |    193700 |     962     3996    11895 |    24329    24030     23 |  0.723 % |
57.63/57.63	c |    194573 |     962     3996    11895 |    24329    21742     22 |  0.723 % |
57.73/57.81	c |    195531 |     962     3996    11895 |    24329    22700     23 |  0.726 % |
58.23/58.22	c |    196585 |     962     3996    11895 |    24329    23754     23 |  0.723 % |
58.43/58.49	c |    197744 |     962     3996    11895 |    24329    24913     24 |  0.728 % |
58.63/58.67	c |    199018 |     962     3996    11895 |    24329    22504     22 |  0.723 % |
58.83/58.89	c |    200418 |     962     3996    11895 |    23486    23904     23 |  0.723 % |
59.33/59.32	c |    201959 |     962     3996    11895 |    23486    21809     23 |  0.723 % |
59.73/59.79	c |    203653 |     962     3996    11895 |    23486    23503     23 |  0.723 % |
60.43/60.44	c |    205516 |     962     3996    11895 |    23486    22036     23 |  0.723 % |
60.93/61.00	c |    207566 |     962     3996    11895 |    23486    20946     23 |  0.723 % |
60.93/61.01	c |    207667 |     962     3996    11895 |    23486    21047     23 |  0.723 % |
61.03/61.05	c |    207777 |     962     3996    11895 |    23486    21157     23 |  0.723 % |
61.03/61.08	c |    207898 |     962     3996    11895 |    23486    21278     23 |  0.723 % |
61.03/61.09	c |    208031 |     962     3996    11895 |    23486    21411     23 |  0.723 % |
61.03/61.11	c |    208177 |     962     3996    11895 |    23486    21557     23 |  0.723 % |
61.13/61.15	c |    208337 |     962     3996    11895 |    23486    21717     23 |  0.723 % |
61.13/61.19	c |    208514 |     962     3996    11895 |    23486    21894     23 |  0.723 % |
61.23/61.23	c |    208707 |     962     3996    11895 |    23486    22087     23 |  0.728 % |
61.23/61.28	c |    208920 |     962     3996    11895 |    23486    22300     23 |  0.723 % |
61.33/61.33	c |    209153 |     962     3996    11895 |    23486    22533     23 |  0.723 % |
61.33/61.39	c |    209409 |     962     3996    11895 |    23486    22789     23 |  0.723 % |
61.43/61.48	c |    209691 |     962     3996    11895 |    23486    23071     23 |  0.723 % |
61.53/61.55	c |    210002 |     962     3996    11895 |    23486    23382     23 |  0.723 % |
61.63/61.63	c |    210341 |     962     3996    11895 |    23382    23721     24 |  0.727 % |
61.73/61.73	c |    210714 |     962     3996    11895 |    23382    20730     23 |  0.723 % |
61.83/61.86	c |    211125 |     962     3996    11895 |    23382    21141     23 |  0.723 % |
62.03/62.02	c |    211574 |     962     3996    11895 |    23382    21590     23 |  0.723 % |
62.03/62.09	c |    212067 |     962     3996    11895 |    23382    22083     23 |  0.726 % |
62.23/62.31	c |    212611 |     962     3996    11895 |    23382    22627     23 |  0.728 % |
62.53/62.51	c |    213209 |     962     3996    11895 |    23382    23225     23 |  0.727 % |
62.63/62.67	c |    213866 |     962     3996    11895 |    23382    21049     22 |  0.723 % |
62.83/62.85	c |    214586 |     962     3996    11895 |    23382    21769     22 |  0.723 % |
62.93/62.97	c |    215378 |     962     3996    11895 |    23382    22561     23 |  0.726 % |
63.23/63.23	c |    216249 |     962     3996    11895 |    23382    23432     23 |  0.723 % |
63.43/63.51	c |    217207 |     962     3996    11895 |    23382    21660     23 |  0.723 % |
63.83/63.87	c |    218261 |     962     3996    11895 |    23382    22714     23 |  0.723 % |
64.23/64.26	c |    219419 |     962     3996    11895 |    23382    21229     23 |  0.723 % |
64.63/64.67	c |    220692 |     962     3996    11895 |    21811    20081     22 |  0.723 % |
65.13/65.16	c |    222092 |     962     3996    11895 |    21811    21481     23 |  0.723 % |
65.43/65.49	c |    223632 |     962     3996    11895 |    21811    20604     22 |  0.723 % |
66.03/66.03	c |    225327 |     962     3996    11895 |    21811    19904     22 |  0.723 % |
66.53/66.55	c |    227190 |     962     3996    11895 |    21811    21767     22 |  0.723 % |
67.23/67.21	c |    229242 |     962     3996    11895 |    21811    21617     23 |  0.723 % |
67.93/67.98	c |    231495 |     962     3996    11895 | 2147483647    21673     22 |  0.723 % |
67.93/68.01	c |    231595 |     962     3996    11895 | 2147483647    21773     22 |  0.723 % |
68.03/68.03	c |    231707 |     962     3996    11895 | 2147483647    21885     22 |  0.727 % |
68.03/68.07	c |    231830 |     962     3996    11895 | 2147483647    22008     22 |  0.723 % |
68.03/68.10	c |    231963 |     962     3996    11895 | 2147483647    22141     22 |  0.726 % |
68.13/68.14	c |    232109 |     962     3996    11895 | 2147483647    22287     22 |  0.726 % |
68.13/68.20	c |    232269 |     962     3996    11895 | 2147483647    22447     22 |  0.723 % |
68.23/68.28	c |    232447 |     962     3996    11895 | 2147483647    22625     22 |  0.723 % |
68.33/68.34	c |    232640 |     962     3996    11895 | 2147483647    22818     23 |  0.723 % |
68.33/68.41	c |    232853 |     962     3996    11895 | 2147483647    23031     23 |  0.723 % |
68.43/68.46	c |    233087 |     962     3996    11895 | 2147483647    23265     23 |  0.723 % |
68.43/68.50	c |    233344 |     962     3996    11895 | 2147483647    23522     23 |  0.723 % |
68.53/68.56	c |    233626 |     962     3996    11895 | 2147483647    23804     23 |  0.723 % |
68.63/68.67	c |    233935 |     962     3996    11895 | 2147483647    24113     23 |  0.723 % |
68.73/68.81	c |    234275 |     962     3996    11895 | 2147483647    24453     23 |  0.723 % |
68.93/68.94	c |    234648 |     962     3996    11895 | 2147483647    24826     23 |  0.723 % |
69.03/69.07	c |    235057 |     962     3996    11895 | 2147483647    25235     23 |  0.723 % |
69.13/69.17	c |    235506 |     962     3996    11895 | 2147483647    25684     23 |  0.726 % |
69.23/69.22	c |    236001 |     962     3996    11895 | 2147483647    26179     23 |  0.723 % |
69.33/69.35	c |    236544 |     962     3996    11895 | 2147483647    26722     24 |  0.723 % |
69.53/69.58	c |    237140 |     962     3996    11895 | 2147483647    27318     24 |  0.727 % |
69.73/69.80	c |    237796 |     962     3996    11895 | 2147483647    27974     24 |  0.727 % |
69.83/69.87	c |    238517 |     962     3996    11895 | 2147483647    28695     24 |  0.723 % |
70.13/70.19	c |    239309 |     962     3996    11895 | 2147483647    29487     24 |  0.726 % |
70.43/70.45	c |    240181 |     962     3996    11895 |    30178    30359     24 |  0.723 % |
70.73/70.78	c |    241139 |     962     3996    11895 |    30178    27566     23 |  0.723 % |
71.13/71.16	c |    242192 |     962     3996    11895 |    30178    28619     23 |  0.723 % |
71.63/71.71	c |    243351 |     962     3996    11895 |    30178    29778     24 |  0.723 % |
72.43/72.46	c |    244624 |     962     3996    11895 |    30178    26325     23 |  0.723 % |
73.13/73.13	c |    246025 |     962     3996    11895 |    30178    27726     23 |  0.723 % |
73.53/73.54	c |    247566 |     962     3996    11895 |    30178    29267     23 |  0.727 % |
73.93/73.94	c |    249262 |     962     3996    11895 |    30178    25642     23 |  0.726 % |
74.43/74.42	c |    251125 |     962     3996    11895 |    26383    22994     22 |  0.723 % |
75.23/75.24	c |    253175 |     962     3996    11895 |    26383    25044     22 |  0.723 % |
76.13/76.18	c |    255430 |     962     3996    11895 |    26383    23067     21 |  0.723 % |
77.03/77.08	c |    257910 |     962     3996    11895 |    26383    25547     22 |  0.723 % |
77.13/77.12	c |    258010 |     962     3996    11895 |    26383    25647     22 |  0.723 % |
77.13/77.14	c |    258120 |     962     3996    11895 |    26383    25757     22 |  0.727 % |
77.13/77.20	c |    258242 |     962     3996    11895 |    26383    25879     22 |  0.723 % |
77.23/77.26	c |    258376 |     962     3996    11895 |    26383    26013     22 |  0.723 % |
77.33/77.33	c |    258522 |     962     3996    11895 |    26383    26159     22 |  0.723 % |
77.33/77.38	c |    258682 |     962     3996    11895 |    26383    26319     22 |  0.723 % |
77.43/77.44	c |    258858 |     962     3996    11895 |    26383    26495     22 |  0.726 % |
77.53/77.53	c |    259052 |     962     3996    11895 |    26383    22851     21 |  0.723 % |
77.53/77.59	c |    259264 |     962     3996    11895 |    26383    23063     21 |  0.726 % |
77.53/77.61	c |    259497 |     962     3996    11895 |    26383    23296     21 |  0.723 % |
77.63/77.71	c |    259754 |     962     3996    11895 |    26383    23553     21 |  0.723 % |
77.83/77.85	c |    260035 |     962     3996    11895 |    23800    23834     22 |  0.723 % |
77.93/77.92	c |    260346 |     962     3996    11895 |    23800    20638     20 |  0.723 % |
77.93/78.00	c |    260687 |     962     3996    11895 |    23800    20979     21 |  0.726 % |
78.03/78.06	c |    261061 |     962     3996    11895 |    23800    21353     21 |  0.723 % |
78.03/78.10	c |    261471 |     962     3996    11895 |    23800    21763     20 |  0.726 % |
78.13/78.17	c |    261920 |     962     3996    11895 |    23800    22212     20 |  0.727 % |
78.33/78.35	c |    262417 |     962     3996    11895 |    23800    22709     21 |  0.723 % |
78.53/78.56	c |    262960 |     962     3996    11895 |    23800    23252     21 |  0.723 % |
78.73/78.75	c |    263556 |     962     3996    11895 |    23800    23848     21 |  0.723 % |
78.83/78.86	c |    264211 |     962     3996    11895 |    23800    21790     20 |  0.726 % |
79.03/79.09	c |    264932 |     962     3996    11895 |    23800    22511     21 |  0.723 % |
79.43/79.42	c |    265725 |     962     3996    11895 |    23800    23304     21 |  0.723 % |
79.63/79.67	c |    266597 |     962     3996    11895 |    23800    21195     21 |  0.723 % |
79.83/79.91	c |    267557 |     962     3996    11895 |    23800    22155     21 |  0.727 % |
80.03/80.06	c |    268612 |     962     3996    11895 |    23800    23210     21 |  0.727 % |
80.53/80.53	c |    269770 |     962     3996    11895 |    23800    21219     21 |  0.723 % |
80.93/80.92	c |    271045 |     962     3996    11895 |    21449    19740     21 |  0.723 % |
81.13/81.15	c |    272446 |     962     3996    11895 |    21449    21141     22 |  0.727 % |
81.53/81.55	c |    273990 |     962     3996    11895 |    21449    19781     22 |  0.723 % |
81.93/81.94	c |    275684 |     962     3996    11895 |    21449    21475     21 |  0.723 % |
82.43/82.42	c |    277547 |     962     3996    11895 |    21449    20946     22 |  0.727 % |
82.93/82.93	c |    279596 |     962     3996    11895 |    21449    20294     23 |  0.727 % |
83.23/83.28	c |    281849 |     962     3996    11895 |    20698    20090     22 |  0.723 % |
83.83/83.90	c |    284327 |     962     3996    11895 |    20698    20465     22 |  0.726 % |
84.23/84.28	c |    287052 |     962     3996    11895 |    20698    19017     20 |  0.723 % |
84.23/84.30	c |    287153 |     962     3996    11895 |    20698    19118     20 |  0.726 % |
84.33/84.33	c |    287265 |     962     3996    11895 |    20698    19230     20 |  0.723 % |
84.33/84.35	c |    287386 |     962     3996    11895 |    20698    19351     20 |  0.723 % |
84.33/84.37	c |    287519 |     962     3996    11895 |    20698    19484     20 |  0.723 % |
84.33/84.40	c |    287665 |     962     3996    11895 |    20698    19630     21 |  0.723 % |
84.43/84.44	c |    287826 |     962     3996    11895 |    20698    19791     21 |  0.723 % |
84.43/84.50	c |    288002 |     962     3996    11895 |    20698    19967     21 |  0.726 % |
84.53/84.56	c |    288196 |     962     3996    11895 |    20698    20161     21 |  0.728 % |
84.53/84.59	c |    288408 |     962     3996    11895 |    20698    20373     21 |  0.723 % |
84.63/84.66	c |    288641 |     962     3996    11895 |    20698    20606     21 |  0.723 % |
84.63/84.71	c |    288898 |     962     3996    11895 |    20698    20863     21 |  0.723 % |
84.73/84.80	c |    289179 |     962     3996    11895 |    20698    19058     21 |  0.723 % |
84.83/84.91	c |    289489 |     962     3996    11895 |    20698    19368     21 |  0.723 % |
84.93/84.99	c |    289828 |     962     3996    11895 |    20698    19707     21 |  0.723 % |
85.03/85.09	c |    290201 |     962     3996    11895 | 2147483647    20080     21 |  0.723 % |
85.13/85.14	c |    290610 |     962     3996    11895 | 2147483647    20489     21 |  0.723 % |
85.23/85.25	c |    291060 |     962     3996    11895 | 2147483647    20939     22 |  0.723 % |
85.33/85.34	c |    291553 |     962     3996    11895 | 2147483647    21432     22 |  0.723 % |
85.43/85.46	c |    292097 |     962     3996    11895 | 2147483647    21976     22 |  0.726 % |
85.53/85.60	c |    292693 |     962     3996    11895 | 2147483647    22572     22 |  0.726 % |
85.73/85.81	c |    293349 |     962     3996    11895 | 2147483647    23228     22 |  0.723 % |
85.93/86.00	c |    294069 |     962     3996    11895 | 2147483647    23948     22 |  0.723 % |
86.23/86.25	c |    294864 |     962     3996    11895 | 2147483647    24743     22 |  0.723 % |
86.43/86.49	c |    295736 |     962     3996    11895 | 2147483647    25615     23 |  0.723 % |
86.83/86.87	c |    296698 |     962     3996    11895 | 2147483647    26577     23 |  0.723 % |
87.33/87.33	c |    297751 |     962     3996    11895 | 2147483647    27630     23 |  0.723 % |
87.83/87.87	c |    298909 |     962     3996    11895 | 2147483647    28788     24 |  0.723 % |
88.33/88.39	c |    300182 |     962     3996    11895 |    29879    30061     24 |  0.723 % |
88.93/88.93	c |    301583 |     962     3996    11895 |    29879    27161     23 |  0.723 % |
89.33/89.33	c |    303123 |     962     3996    11895 |    29879    28701     23 |  0.726 % |
89.83/89.88	c |    304818 |     962     3996    11895 |    29879    25395     23 |  0.723 % |
90.73/90.77	c |    306684 |     962     3996    11895 |    29879    27261     24 |  0.723 % |
91.73/91.79	c |    308734 |     962     3996    11895 |    29879    29311     24 |  0.723 % |
92.83/92.84	c |    310987 |     962     3996    11895 |    25211    21559     22 |  0.723 % |
93.13/93.11	c |    313465 |     962     3996    11895 |    25211    24037     21 |  0.723 % |
93.93/93.95	c |    316190 |     962     3996    11895 |    25211    24204     20 |  0.723 % |
95.03/95.02	c |    319188 |     962     3996    11895 |    25211    24308     21 |  0.723 % |
95.03/95.04	c |    319288 |     962     3996    11895 |    25211    24408     21 |  0.723 % |
95.03/95.09	c |    319398 |     962     3996    11895 |    25211    24518     21 |  0.723 % |
95.13/95.13	c |    319519 |     962     3996    11895 |    25211    24639     21 |  0.723 % |
95.13/95.19	c |    319653 |     962     3996    11895 |    25211    24773     21 |  0.727 % |
95.23/95.26	c |    319801 |     962     3996    11895 |    25211    24921     21 |  0.727 % |
95.23/95.28	c |    319963 |     962     3996    11895 |    25211    25083     21 |  0.723 % |
95.33/95.33	c |    320140 |     962     3996    11895 |    25121    22139     20 |  0.723 % |
95.33/95.40	c |    320335 |     962     3996    11895 |    25121    22334     20 |  0.723 % |
95.43/95.48	c |    320549 |     962     3996    11895 |    25121    22548     20 |  0.723 % |
95.53/95.52	c |    320782 |     962     3996    11895 |    25121    22781     21 |  0.727 % |
95.53/95.59	c |    321038 |     962     3996    11895 |    25121    23037     21 |  0.723 % |
95.63/95.63	c |    321319 |     962     3996    11895 |    25121    23318     21 |  0.726 % |
95.73/95.73	c |    321629 |     962     3996    11895 |    25121    23628     21 |  0.723 % |
95.83/95.84	c |    321969 |     962     3996    11895 |    25121    23968     21 |  0.723 % |
95.93/95.97	c |    322343 |     962     3996    11895 |    25121    24342     21 |  0.723 % |
96.13/96.13	c |    322753 |     962     3996    11895 |    25121    24752     21 |  0.723 % |
96.23/96.27	c |    323203 |     962     3996    11895 |    25121    25202     21 |  0.723 % |
96.43/96.44	c |    323696 |     962     3996    11895 |    25121    22482     20 |  0.723 % |
96.53/96.60	c |    324238 |     962     3996    11895 |    25121    23024     20 |  0.723 % |
96.73/96.80	c |    324834 |     962     3996    11895 |    25121    23620     20 |  0.723 % |
97.03/97.02	c |    325489 |     962     3996    11895 |    25121    24275     21 |  0.723 % |
97.23/97.30	c |    326210 |     962     3996    11895 |    25121    24996     21 |  0.726 % |
97.63/97.63	c |    327003 |     962     3996    11895 |    25121    22521     21 |  0.723 % |
97.73/97.80	c |    327875 |     962     3996    11895 |    25121    23393     22 |  0.727 % |
97.93/97.96	c |    328833 |     962     3996    11895 |    25121    24351     22 |  0.727 % |
98.43/98.43	c |    329887 |     962     3996    11895 |    25121    25405     22 |  0.723 % |
98.83/98.83	c |    331047 |     962     3996    11895 |    22030    20244     22 |  0.723 % |
99.13/99.11	c |    332322 |     962     3996    11895 |    22030    21519     23 |  0.726 % |
99.53/99.52	c |    333722 |     962     3996    11895 |    22030    19887     24 |  0.723 % |
99.93/99.93	c |    335264 |     962     3996    11895 |    22030    21429     24 |  0.723 % |
100.43/100.43	c |    336958 |     962     3996    11895 |    22030    20606     23 |  0.723 % |
100.93/100.93	c |    338821 |     962     3996    11895 |    22030    20237     23 |  0.723 % |
101.63/101.67	c |    340871 |     962     3996    11895 | 2147483647    22287     23 |  0.723 % |
102.53/102.54	c |    343124 |     962     3996    11895 | 2147483647    24540     24 |  0.723 % |
103.63/103.66	c |    345602 |     962     3996    11895 | 2147483647    27018     24 |  0.723 % |
104.93/104.93	c |    348329 |     962     3996    11895 | 2147483647    29745     24 |  0.723 % |
106.53/106.61	c |    351326 |     962     3996    11895 |    31417    28837     23 |  0.723 % |
108.23/108.24	c |    354622 |     962     3996    11895 |    31417    27668     22 |  0.723 % |
108.23/108.29	c |    354723 |     962     3996    11895 |    31417    27769     22 |  0.723 % |
108.33/108.34	c |    354833 |     962     3996    11895 |    31417    27879     22 |  0.723 % |
108.33/108.40	c |    354954 |     962     3996    11895 |    31417    28000     22 |  0.723 % |
108.43/108.46	c |    355087 |     962     3996    11895 |    31417    28133     22 |  0.723 % |
108.43/108.49	c |    355233 |     962     3996    11895 |    31417    28279     22 |  0.727 % |
108.43/108.50	c |    355394 |     962     3996    11895 |    31417    28440     22 |  0.723 % |
108.53/108.52	c |    355570 |     962     3996    11895 |    31417    28616     22 |  0.723 % |
108.53/108.55	c |    355765 |     962     3996    11895 |    31417    28811     22 |  0.723 % |
108.63/108.67	c |    355978 |     962     3996    11895 |    31417    29024     22 |  0.723 % |
108.73/108.76	c |    356211 |     962     3996    11895 |    31417    29257     22 |  0.723 % |
108.83/108.89	c |    356467 |     962     3996    11895 |    31417    29513     23 |  0.723 % |
109.03/109.08	c |    356749 |     962     3996    11895 |    31417    29795     23 |  0.723 % |
109.23/109.23	c |    357058 |     962     3996    11895 |    31417    30104     23 |  0.726 % |
109.33/109.35	c |    357397 |     962     3996    11895 |    31417    30443     23 |  0.727 % |
109.53/109.53	c |    357769 |     962     3996    11895 |    31417    30815     23 |  0.723 % |
109.73/109.74	c |    358178 |     962     3996    11895 |    31417    31224     23 |  0.723 % |
109.93/110.01	c |    358627 |     962     3996    11895 |    31417    31673     23 |  0.723 % |
110.23/110.26	c |    359121 |     962     3996    11895 |    31417    26620     22 |  0.723 % |
110.53/110.52	c |    359663 |     962     3996    11895 |    31417    27162     22 |  0.723 % |
110.73/110.80	c |    360259 |     962     3996    11895 |    27500    27758     22 |  0.723 % |
111.03/111.06	c |    360914 |     962     3996    11895 |    27500    23765     21 |  0.723 % |
111.33/111.37	c |    361635 |     962     3996    11895 |    27500    24486     22 |  0.723 % |
111.63/111.69	c |    362428 |     962     3996    11895 |    27500    25279     22 |  0.723 % |
111.93/111.98	c |    363301 |     962     3996    11895 |    27500    26152     22 |  0.723 % |
112.23/112.27	c |    364260 |     962     3996    11895 |    27500    27111     22 |  0.723 % |
112.63/112.68	c |    365314 |     962     3996    11895 |    27500    24294     22 |  0.723 % |
113.23/113.31	c |    366472 |     962     3996    11895 |    27500    25452     22 |  0.723 % |
113.73/113.77	c |    367745 |     962     3996    11895 |    27500    26725     22 |  0.723 % |
114.43/114.42	c |    369147 |     962     3996    11895 |    27500    24145     22 |  0.723 % |
115.13/115.14	c |    370687 |     962     3996    11895 |    25000    22229     21 |  0.723 % |
115.83/115.82	c |    372383 |     962     3996    11895 |    25000    23925     22 |  0.723 % |
116.63/116.66	c |    374247 |     962     3996    11895 |    25000    22843     21 |  0.723 % |
117.83/117.81	c |    376298 |     962     3996    11895 |    25000    24894     22 |  0.723 % |
118.73/118.73	c |    378553 |     962     3996    11895 |    25000    24321     22 |  0.723 % |
119.53/119.57	c |    381034 |     962     3996    11895 |    22558    20698     21 |  0.727 % |
120.03/120.10	c |    383760 |     962     3996    11895 |    22558    20034     23 |  0.726 % |
120.93/121.01	c |    386757 |     962     3996    11895 |    22558    20100     24 |  0.723 % |
122.03/122.02	c |    390053 |     962     3996    11895 |    20572    20623     25 |  0.728 % |
122.63/122.68	c |    393678 |     962     3996    11895 |    20572    18869     26 |  0.726 % |
122.63/122.71	c |    393778 |     962     3996    11895 |    20572    18969     26 |  0.723 % |
122.73/122.74	c |    393888 |     962     3996    11895 |    20572    19079     26 |  0.723 % |
122.73/122.75	c |    394010 |     962     3996    11895 |    20572    19201     26 |  0.723 % |
122.73/122.80	c |    394143 |     962     3996    11895 |    20572    19334     26 |  0.723 % |
122.83/122.85	c |    394291 |     962     3996    11895 |    20572    19482     26 |  0.723 % |
122.83/122.90	c |    394451 |     962     3996    11895 |    20572    19642     26 |  0.723 % |
122.93/122.95	c |    394629 |     962     3996    11895 |    20572    19820     26 |  0.723 % |
122.93/123.01	c |    394823 |     962     3996    11895 |    20572    20014     26 |  0.723 % |
123.03/123.05	c |    395036 |     962     3996    11895 |    20572    20227     26 |  0.723 % |
123.03/123.10	c |    395269 |     962     3996    11895 |    20572    20460     27 |  0.726 % |
123.13/123.13	c |    395525 |     962     3996    11895 |    20572    20716     26 |  0.723 % |
123.13/123.17	c |    395806 |     962     3996    11895 |    20572    18375     25 |  0.723 % |
123.23/123.24	c |    396115 |     962     3996    11895 |    20572    18684     25 |  0.723 % |
123.33/123.36	c |    396454 |     962     3996    11895 |    20572    19023     25 |  0.723 % |
123.43/123.48	c |    396826 |     962     3996    11895 |    20572    19395     25 |  0.723 % |
123.53/123.61	c |    397236 |     962     3996    11895 |    20572    19805     25 |  0.723 % |
123.63/123.71	c |    397686 |     962     3996    11895 |    20572    20255     25 |  0.723 % |
123.93/123.93	c |    398180 |     962     3996    11895 |    20572    18580     23 |  0.723 % |
124.13/124.12	c |    398722 |     962     3996    11895 |    20572    19122     23 |  0.723 % |
124.13/124.20	c |    399318 |     962     3996    11895 |    20572    19718     23 |  0.723 % |
124.33/124.40	c |    399973 |     962     3996    11895 |    20572    20373     24 |  0.723 % |
124.63/124.62	c |    400693 |     962     3996    11895 | 2147483647    21093     24 |  0.723 % |
124.83/124.88	c |    401487 |     962     3996    11895 | 2147483647    21887     24 |  0.723 % |
125.13/125.17	c |    402358 |     962     3996    11895 | 2147483647    22758     24 |  0.723 % |
125.43/125.49	c |    403317 |     962     3996    11895 | 2147483647    23717     24 |  0.723 % |
125.83/125.90	c |    404371 |     962     3996    11895 | 2147483647    24771     24 |  0.723 % |
126.33/126.34	c |    405529 |     962     3996    11895 | 2147483647    25929     24 |  0.723 % |
126.53/126.53	c |    406802 |     962     3996    11895 | 2147483647    27202     24 |  0.726 % |
126.93/127.00	c |    408203 |     962     3996    11895 | 2147483647    28603     24 |  0.727 % |
127.63/127.67	c |    409744 |     962     3996    11895 | 2147483647    30144     24 |  0.723 % |
128.63/128.61	c |    411438 |     962     3996    11895 |    30400    28402     23 |  0.723 % |
129.53/129.52	c |    413301 |     962     3996    11895 |    30400    30265     24 |  0.723 % |
130.33/130.40	c |    415350 |     962     3996    11895 |    30400    27503     22 |  0.723 % |
131.13/131.11	c |    417604 |     962     3996    11895 |    30400    29757     22 |  0.723 % |
132.43/132.44	c |    420082 |     962     3996    11895 |    27711    27793     22 |  0.723 % |
133.13/133.17	c |    422809 |     962     3996    11895 |    27711    26388     22 |  0.727 % |
134.43/134.45	c |    425808 |     962     3996    11895 |    27711    24242     22 |  0.723 % |
135.93/135.95	c |    429104 |     962     3996    11895 |    27711    27538     22 |  0.727 % |
137.13/137.17	c |    432729 |     962     3996    11895 |    22956    21187     22 |  0.727 % |
137.93/137.95	c |    436716 |     962     3996    11895 |    22956    22339     21 |  0.723 % |
137.93/137.97	c |    436816 |     962     3996    11895 |    22956    22439     21 |  0.723 % |
137.93/138.01	c |    436929 |     962     3996    11895 |    22956    22552     21 |  0.726 % |
138.03/138.05	c |    437050 |     962     3996    11895 |    22956    22673     21 |  0.723 % |
138.03/138.07	c |    437184 |     962     3996    11895 |    22956    22807     21 |  0.726 % |
138.03/138.10	c |    437330 |     962     3996    11895 |    22956    22953     21 |  0.723 % |
138.13/138.15	c |    437491 |     962     3996    11895 |    22956    23114     22 |  0.723 % |
138.23/138.23	c |    437667 |     962     3996    11895 |    22956    20830     21 |  0.723 % |
138.23/138.30	c |    437860 |     962     3996    11895 |    22956    21023     21 |  0.723 % |
138.33/138.38	c |    438073 |     962     3996    11895 |    22956    21236     21 |  0.723 % |
138.43/138.41	c |    438306 |     962     3996    11895 |    22956    21469     21 |  0.726 % |
138.43/138.44	c |    438564 |     962     3996    11895 |    22956    21727     21 |  0.723 % |
138.43/138.50	c |    438845 |     962     3996    11895 |    22956    22008     21 |  0.727 % |
138.53/138.53	c |    439155 |     962     3996    11895 |    22956    22318     21 |  0.723 % |
138.63/138.65	c |    439495 |     962     3996    11895 |    22956    22658     21 |  0.723 % |
138.74/138.78	c |    439868 |     962     3996    11895 |    22956    23031     21 |  0.723 % |
138.83/138.90	c |    440278 |     962     3996    11895 |    20669    20946     20 |  0.723 % |
139.03/139.02	c |    440727 |     962     3996    11895 |    20669    19174     20 |  0.723 % |
139.23/139.25	c |    441221 |     962     3996    11895 |    20669    19668     20 |  0.723 % |
139.43/139.47	c |    441764 |     962     3996    11895 |    20669    20211     20 |  0.723 % |
139.63/139.62	c |    442360 |     962     3996    11895 |    20669    20807     20 |  0.723 % |
139.84/139.85	c |    443015 |     962     3996    11895 |    20669    19382     20 |  0.723 % |
139.93/139.94	c |    443736 |     962     3996    11895 |    20669    20103     20 |  0.727 % |
140.03/140.10	c |    444528 |     962     3996    11895 |    20669    18810     19 |  0.723 % |
140.33/140.31	c |    445401 |     962     3996    11895 |    20669    19683     20 |  0.723 % |
140.53/140.55	c |    446359 |     962     3996    11895 |    20669    20641     20 |  0.723 % |
140.63/140.69	c |    447412 |     962     3996    11895 |    20669    19618     19 |  0.723 % |
140.83/140.82	c |    448571 |     962     3996    11895 |    20669    20777     19 |  0.723 % |
141.13/141.16	c |    449844 |     962     3996    11895 |    20669    19973     20 |  0.723 % |
141.43/141.42	c |    451245 |     962     3996    11895 | 2147483647    21374     21 |  0.727 % |
141.93/141.95	c |    452785 |     962     3996    11895 | 2147483647    22914     21 |  0.723 % |
142.63/142.62	c |    454480 |     962     3996    11895 | 2147483647    24609     22 |  0.723 % |
143.14/143.14	c |    456344 |     962     3996    11895 | 2147483647    26473     22 |  0.723 % |
144.03/144.01	c |    458393 |     962     3996    11895 | 2147483647    28522     22 |  0.723 % |
145.03/145.08	c |    460646 |     962     3996    11895 |    30130    27049     22 |  0.723 % |
146.13/146.15	c |    463126 |     962     3996    11895 |    30130    29529     23 |  0.723 % |
147.23/147.30	c |    465851 |     962     3996    11895 |    30130    27918     22 |  0.723 % |
148.53/148.56	c |    468849 |     962     3996    11895 |    30130    26264     23 |  0.723 % |
149.74/149.72	c |    472147 |     962     3996    11895 |    27416    25250     22 |  0.723 % |
151.33/151.36	c |    475772 |     962     3996    11895 |    27416    24998     22 |  0.723 % |
152.93/152.91	c |    479761 |     962     3996    11895 |    27416    25243     22 |  0.723 % |
154.53/154.59	c |    484146 |     962     3996    11895 |    25482    22901     21 |  0.723 % |
154.63/154.63	c |    484246 |     962     3996    11895 |    25482    23001     21 |  0.723 % |
154.63/154.68	c |    484356 |     962     3996    11895 |    25482    23111     21 |  0.723 % |
154.73/154.73	c |    484477 |     962     3996    11895 |    25482    23232     21 |  0.723 % |
154.73/154.78	c |    484611 |     962     3996    11895 |    25482    23366     21 |  0.723 % |
154.83/154.84	c |    484757 |     962     3996    11895 |    25482    23512     22 |  0.723 % |
154.93/154.92	c |    484918 |     962     3996    11895 |    25482    23673     22 |  0.723 % |
154.93/154.98	c |    485094 |     962     3996    11895 |    25482    23849     22 |  0.723 % |
155.03/155.01	c |    485287 |     962     3996    11895 |    25482    24042     22 |  0.726 % |
155.03/155.05	c |    485499 |     962     3996    11895 |    25482    24254     22 |  0.723 % |
155.13/155.16	c |    485732 |     962     3996    11895 |    25482    24487     22 |  0.723 % |
155.24/155.25	c |    485988 |     962     3996    11895 |    25482    24743     22 |  0.723 % |
155.33/155.35	c |    486269 |     962     3996    11895 |    25482    25024     22 |  0.723 % |
155.43/155.45	c |    486579 |     962     3996    11895 |    25482    25334     22 |  0.723 % |
155.53/155.51	c |    486919 |     962     3996    11895 |    25482    25674     22 |  0.723 % |
155.53/155.59	c |    487291 |     962     3996    11895 |    25482    22632     22 |  0.723 % |
155.63/155.70	c |    487701 |     962     3996    11895 |    25482    23042     22 |  0.723 % |
155.83/155.81	c |    488150 |     962     3996    11895 |    25482    23491     22 |  0.723 % |
155.93/156.00	c |    488645 |     962     3996    11895 |    25482    23986     22 |  0.723 % |
156.13/156.18	c |    489187 |     962     3996    11895 |    25482    24528     22 |  0.723 % |
156.43/156.43	c |    489783 |     962     3996    11895 |    25482    25124     23 |  0.723 % |
156.73/156.73	c |    490438 |     962     3996    11895 |    25342    22308     22 |  0.723 % |
156.93/156.96	c |    491160 |     962     3996    11895 |    25342    23030     23 |  0.723 % |
157.33/157.35	c |    491952 |     962     3996    11895 |    25342    23822     23 |  0.723 % |
157.73/157.76	c |    492824 |     962     3996    11895 |    25342    24694     23 |  0.723 % |
158.13/158.19	c |    493782 |     962     3996    11895 |    25342    22019     22 |  0.723 % |
158.54/158.59	c |    494835 |     962     3996    11895 |    25342    23072     23 |  0.723 % |
158.93/158.99	c |    495993 |     962     3996    11895 |    25342    24230     23 |  0.723 % |
159.43/159.50	c |    497266 |     962     3996    11895 |    25342    25503     23 |  0.723 % |
160.03/160.03	c |    498667 |     962     3996    11895 |    25342    23383     23 |  0.723 % |
160.74/160.74	c |    500207 |     962     3996    11895 |    24717    21450     22 |  0.723 % |
161.43/161.41	c |    501902 |     962     3996    11895 |    24717    23145     22 |  0.723 % |
162.23/162.24	c |    503766 |     962     3996    11895 |    24717    25009     23 |  0.723 % |
163.13/163.15	c |    505817 |     962     3996    11895 |    24717    23318     22 |  0.723 % |
164.13/164.12	c |    508070 |     962     3996    11895 |    24717    22115     21 |  0.723 % |
164.33/164.34	c |    510548 |     962     3996    11895 |    24050    21715     20 |  0.727 % |
164.83/164.87	c |    513273 |     962     3996    11895 |    24050    20813     22 |  0.723 % |
165.83/165.82	c |    516270 |     962     3996    11895 |    24050    23810     23 |  0.723 % |
166.83/166.86	c |    519567 |     962     3996    11895 |    24050    23833     25 |  0.723 % |
168.44/168.44	c |    523192 |     962     3996    11895 |    24266    23742     26 |  0.723 % |
169.73/169.77	c |    527179 |     962     3996    11895 |    24266    23912     28 |  0.723 % |
171.33/171.33	c |    531564 |     962     3996    11895 |    23299    22363     25 |  0.723 % |
172.53/172.53	c |    536388 |     962     3996    11895 |    23299    22161     26 |  0.723 % |
172.53/172.56	c |    536489 |     962     3996    11895 |    23299    22262     26 |  0.727 % |
172.53/172.60	c |    536600 |     962     3996    11895 |    23299    22373     26 |  0.726 % |
172.63/172.65	c |    536722 |     962     3996    11895 |    23299    22495     26 |  0.727 % |
172.63/172.69	c |    536856 |     962     3996    11895 |    23299    22629     26 |  0.723 % |
172.73/172.74	c |    537002 |     962     3996    11895 |    23299    22775     26 |  0.723 % |
172.73/172.77	c |    537163 |     962     3996    11895 |    23299    22936     26 |  0.727 % |
172.84/172.83	c |    537341 |     962     3996    11895 |    23299    23114     26 |  0.727 % |
172.84/172.85	c |    537535 |     962     3996    11895 |    23299    23308     26 |  0.723 % |
172.84/172.89	c |    537751 |     962     3996    11895 |    23299    20793     25 |  0.723 % |
172.93/172.97	c |    537985 |     962     3996    11895 |    23299    21027     25 |  0.723 % |
173.03/173.07	c |    538242 |     962     3996    11895 |    23299    21284     25 |  0.723 % |
173.03/173.10	c |    538523 |     962     3996    11895 |    23299    21565     25 |  0.723 % |
173.13/173.19	c |    538833 |     962     3996    11895 |    23299    21875     25 |  0.723 % |
173.23/173.29	c |    539172 |     962     3996    11895 |    23299    22214     25 |  0.723 % |
173.43/173.44	c |    539544 |     962     3996    11895 |    23299    22586     25 |  0.723 % |
173.43/173.48	c |    539954 |     962     3996    11895 |    23299    22996     25 |  0.723 % |
173.53/173.53	c |    540405 |     962     3996    11895 |    23042    20892     24 |  0.723 % |
173.63/173.68	c |    540898 |     962     3996    11895 |    23042    21385     24 |  0.723 % |
173.83/173.83	c |    541442 |     962     3996    11895 |    23042    21929     24 |  0.723 % |
173.94/174.00	c |    542039 |     962     3996    11895 |    23042    22526     24 |  0.723 % |
174.23/174.22	c |    542694 |     962     3996    11895 |    23042    23181     24 |  0.723 % |
174.43/174.42	c |    543414 |     962     3996    11895 |    23042    21524     24 |  0.723 % |
174.63/174.66	c |    544207 |     962     3996    11895 |    23042    22317     24 |  0.723 % |
174.93/174.94	c |    545078 |     962     3996    11895 |    23042    23188     25 |  0.723 % |
175.04/175.02	c |    546037 |     962     3996    11895 |    23042    21666     24 |  0.723 % |
175.23/175.22	c |    547091 |     962     3996    11895 |    23042    22720     25 |  0.723 % |
175.63/175.70	c |    548249 |     962     3996    11895 |    23042    21187     24 |  0.723 % |
176.03/176.12	c |    549522 |     962     3996    11895 |    23042    22460     24 |  0.727 % |
176.43/176.44	c |    550922 |     962     3996    11895 |    22940    20670     23 |  0.727 % |
176.93/176.96	c |    552462 |     962     3996    11895 |    22940    22210     23 |  0.723 % |
177.53/177.52	c |    554157 |     962     3996    11895 |    22940    21130     22 |  0.723 % |
177.83/177.87	c |    556021 |     962     3996    11895 |    22940    22994     22 |  0.723 % |
178.34/178.39	c |    558070 |     962     3996    11895 |    22940    22744     23 |  0.723 % |
179.03/179.08	c |    560324 |     962     3996    11895 |    21892    22216     23 |  0.727 % |
179.74/179.78	c |    562802 |     962     3996    11895 |    21892    21974     23 |  0.727 % |
180.34/180.41	c |    565527 |     962     3996    11895 |    21892    21702     23 |  0.723 % |
181.14/181.19	c |    568525 |     962     3996    11895 |    21892    22082     23 |  0.723 % |
181.84/181.91	c |    571823 |     962     3996    11895 |    21117    20020     22 |  0.726 % |
182.54/182.53	c |    575448 |     962     3996    11895 |    21117    21188     21 |  0.723 % |
183.44/183.46	c |    579435 |     962     3996    11895 |    21117    20919     21 |  0.723 % |
184.74/184.79	c |    583820 |     962     3996    11895 | 2147483647    23157     22 |  0.723 % |
186.24/186.29	c |    588643 |     962     3996    11895 | 2147483647    27980     23 |  0.723 % |
188.44/188.46	c |    593948 |     962     3996    11895 | 2147483647    33285     24 |  0.723 % |
188.54/188.52	c |    594049 |     962     3996    11895 | 2147483647    33386     24 |  0.723 % |
188.54/188.56	c |    594160 |     962     3996    11895 | 2147483647    33497     24 |  0.726 % |
188.54/188.59	c |    594282 |     962     3996    11895 | 2147483647    33619     24 |  0.723 % |
188.64/188.66	c |    594415 |     962     3996    11895 | 2147483647    33752     24 |  0.723 % |
188.74/188.76	c |    594561 |     962     3996    11895 | 2147483647    33898     24 |  0.727 % |
188.84/188.87	c |    594723 |     962     3996    11895 | 2147483647    34060     24 |  0.723 % |
188.94/188.94	c |    594900 |     962     3996    11895 | 2147483647    34237     24 |  0.723 % |
189.04/189.05	c |    595094 |     962     3996    11895 | 2147483647    34431     24 |  0.723 % |
189.14/189.13	c |    595306 |     962     3996    11895 | 2147483647    34643     24 |  0.726 % |
189.24/189.26	c |    595539 |     962     3996    11895 | 2147483647    34876     24 |  0.723 % |
189.34/189.41	c |    595795 |     962     3996    11895 | 2147483647    35132     24 |  0.727 % |
189.54/189.53	c |    596077 |     962     3996    11895 | 2147483647    35414     24 |  0.723 % |
189.64/189.71	c |    596386 |     962     3996    11895 | 2147483647    35723     25 |  0.728 % |
189.84/189.87	c |    596728 |     962     3996    11895 | 2147483647    36065     24 |  0.723 % |
190.14/190.18	c |    597100 |     962     3996    11895 | 2147483647    36437     25 |  0.723 % |
190.24/190.31	c |    597511 |     962     3996    11895 | 2147483647    36848     25 |  0.723 % |
190.34/190.38	c |    597961 |     962     3996    11895 | 2147483647    37298     24 |  0.723 % |
190.44/190.51	c |    598455 |     962     3996    11895 | 2147483647    37792     24 |  0.723 % |
190.74/190.75	c |    598999 |     962     3996    11895 | 2147483647    38336     24 |  0.723 % |
191.14/191.15	c |    599595 |     962     3996    11895 | 2147483647    38932     24 |  0.723 % |
191.34/191.39	c |    600250 |     962     3996    11895 |    39337    39587     24 |  0.727 % |
191.84/191.90	c |    600972 |     962     3996    11895 |    39337    32134     24 |  0.723 % |
192.24/192.26	c |    601764 |     962     3996    11895 |    39337    32926     24 |  0.723 % |
192.44/192.42	c |    602636 |     962     3996    11895 |    39337    33798     24 |  0.727 % |
192.94/192.98	c |    603595 |     962     3996    11895 |    39337    34757     24 |  0.723 % |
193.44/193.50	c |    604648 |     962     3996    11895 |    39337    35810     24 |  0.727 % |
194.34/194.38	c |    605809 |     962     3996    11895 |    39337    36971     25 |  0.727 % |
195.23/195.22	c |    607084 |     962     3996    11895 |    39337    38246     25 |  0.723 % |
195.73/195.75	c |    608484 |     962     3996    11895 |    39337    39646     26 |  0.723 % |
196.33/196.40	c |    610025 |     962     3996    11895 |    30875    30898     24 |  0.723 % |
196.73/196.80	c |    611721 |     962     3996    11895 |    30875    24788     24 |  0.727 % |
197.43/197.49	c |    613584 |     962     3996    11895 |    30875    26651     24 |  0.723 % |
198.13/198.17	c |    615633 |     962     3996    11895 |    30875    28700     25 |  0.727 % |
199.13/199.16	c |    617886 |     962     3996    11895 |    30875    30953     26 |  0.723 % |
199.93/199.98	c |    620365 |     962     3996    11895 |    25866    26231     26 |  0.723 % |
200.93/200.95	c |    623090 |     962     3996    11895 |    25866    23185     26 |  0.723 % |
201.73/201.75	c |    626088 |     962     3996    11895 |    25866    26183     27 |  0.723 % |
202.13/202.18	c |    629384 |     962     3996    11895 |    25866    24533     24 |  0.723 % |
202.63/202.61	c |    633010 |     962     3996    11895 |    25149    24609     22 |  0.723 % |
203.43/203.46	c |    636999 |     962     3996    11895 |    25149    22806     22 |  0.723 % |
205.03/205.04	c |    641385 |     962     3996    11895 |    22939    21897     21 |  0.723 % |
206.63/206.70	c |    646209 |     962     3996    11895 |    22939    22075     22 |  0.723 % |
208.33/208.35	c |    651515 |     962     3996    11895 | 2147483647    22747     22 |  0.727 % |
209.33/209.33	c |    657350 |     962     3996    11895 | 2147483647    28582     21 |  0.726 % |
209.33/209.34	c |    657451 |     962     3996    11895 | 2147483647    28683     21 |  0.723 % |
209.33/209.36	c |    657561 |     962     3996    11895 | 2147483647    28793     21 |  0.727 % |
209.33/209.37	c |    657683 |     962     3996    11895 | 2147483647    28915     21 |  0.723 % |
209.33/209.40	c |    657816 |     962     3996    11895 | 2147483647    29048     21 |  0.723 % |
209.43/209.45	c |    657962 |     962     3996    11895 | 2147483647    29194     21 |  0.723 % |
209.53/209.52	c |    658122 |     962     3996    11895 | 2147483647    29354     21 |  0.727 % |
209.53/209.59	c |    658300 |     962     3996    11895 | 2147483647    29532     21 |  0.723 % |
209.63/209.70	c |    658494 |     962     3996    11895 | 2147483647    29726     21 |  0.723 % |
209.73/209.79	c |    658707 |     962     3996    11895 | 2147483647    29939     21 |  0.727 % |
209.93/209.93	c |    658942 |     962     3996    11895 | 2147483647    30174     21 |  0.723 % |
210.03/210.02	c |    659199 |     962     3996    11895 | 2147483647    30431     21 |  0.723 % |
210.13/210.14	c |    659481 |     962     3996    11895 | 2147483647    30713     22 |  0.723 % |
210.33/210.31	c |    659790 |     962     3996    11895 | 2147483647    31022     22 |  0.723 % |
210.43/210.45	c |    660129 |     962     3996    11895 | 2147483647    31361     22 |  0.723 % |
210.53/210.57	c |    660502 |     962     3996    11895 | 2147483647    31734     22 |  0.723 % |
210.73/210.71	c |    660915 |     962     3996    11895 | 2147483647    32147     22 |  0.723 % |
210.83/210.84	c |    661365 |     962     3996    11895 | 2147483647    32597     22 |  0.723 % |
211.13/211.14	c |    661858 |     962     3996    11895 | 2147483647    33090     22 |  0.728 % |
211.43/211.41	c |    662401 |     962     3996    11895 | 2147483647    33633     22 |  0.726 % |
211.63/211.70	c |    662998 |     962     3996    11895 | 2147483647    34230     22 |  0.723 % |
212.03/212.08	c |    663653 |     962     3996    11895 | 2147483647    34885     22 |  0.723 % |
212.43/212.45	c |    664373 |     962     3996    11895 | 2147483647    35605     23 |  0.723 % |
212.83/212.90	c |    665165 |     962     3996    11895 | 2147483647    36397     23 |  0.723 % |
213.33/213.40	c |    666037 |     962     3996    11895 | 2147483647    37269     23 |  0.723 % |
213.73/213.77	c |    666998 |     962     3996    11895 | 2147483647    38230     23 |  0.726 % |
213.93/213.99	c |    668051 |     962     3996    11895 | 2147483647    39283     23 |  0.723 % |
214.13/214.18	c |    669211 |     962     3996    11895 | 2147483647    40443     23 |  0.723 % |
215.03/215.10	c |    670484 |     962     3996    11895 |    41233    32542     21 |  0.723 % |
215.83/215.85	c |    671885 |     962     3996    11895 |    41233    33943     21 |  0.723 % |
216.53/216.53	c |    673426 |     962     3996    11895 |    41233    35484     22 |  0.723 % |
217.33/217.37	c |    675122 |     962     3996    11895 |    41233    37180     22 |  0.723 % |
218.43/218.43	c |    676986 |     962     3996    11895 |    41233    39044     23 |  0.723 % |
219.93/219.98	c |    679036 |     962     3996    11895 |    41233    41094     23 |  0.723 % |
220.53/220.54	c |    681290 |     962     3996    11895 |    32348    26162     22 |  0.726 % |
221.83/221.88	c |    683768 |     962     3996    11895 |    32348    28640     22 |  0.723 % |
223.23/223.23	c |    686494 |     962     3996    11895 |    32348    31366     22 |  0.723 % |
224.83/224.84	c |    689491 |     962     3996    11895 |    32348    27890     23 |  0.723 % |
226.13/226.19	c |    692787 |     962     3996    11895 |    28400    25777     21 |  0.723 % |
226.93/226.99	c |    696414 |     962     3996    11895 |    28400    25313     20 |  0.723 % |
228.73/228.80	c |    700402 |     962     3996    11895 |    25061    22125     19 |  0.723 % |
230.73/230.76	c |    704788 |     962     3996    11895 |    25061    23001     19 |  0.723 % |
232.03/232.09	c |    709612 |     962     3996    11895 |    25061    24630     18 |  0.723 % |
233.83/233.90	c |    714918 |     962     3996    11895 |    25018    24128     21 |  0.723 % |
236.43/236.47	c |    720753 |     962     3996    11895 |    23359    21392     22 |  0.723 % |
238.83/238.86	c |    727172 |     962     3996    11895 |    23359    22714     25 |  0.723 % |
238.93/238.91	c |    727272 |     962     3996    11895 |    23359    22814     25 |  0.723 % |
238.93/238.95	c |    727382 |     962     3996    11895 |    23359    22924     25 |  0.723 % |
238.93/238.99	c |    727503 |     962     3996    11895 |    23359    23045     25 |  0.723 % |
239.03/239.04	c |    727636 |     962     3996    11895 |    23359    23178     25 |  0.727 % |
239.03/239.09	c |    727782 |     962     3996    11895 |    23359    23324     25 |  0.727 % |
239.13/239.15	c |    727944 |     962     3996    11895 |    23359    23486     25 |  0.723 % |
239.13/239.19	c |    728120 |     962     3996    11895 |    23359    21062     23 |  0.723 % |
239.23/239.24	c |    728314 |     962     3996    11895 |    23359    21256     23 |  0.723 % |
239.23/239.30	c |    728526 |     962     3996    11895 |    23359    21468     23 |  0.723 % |
239.33/239.35	c |    728759 |     962     3996    11895 |    23359    21701     23 |  0.726 % |
239.33/239.40	c |    729015 |     962     3996    11895 |    23359    21957     23 |  0.723 % |
239.43/239.48	c |    729296 |     962     3996    11895 |    23359    22238     23 |  0.723 % |
239.53/239.60	c |    729606 |     962     3996    11895 |    23359    22548     24 |  0.723 % |
239.63/239.63	c |    729945 |     962     3996    11895 |    23359    22887     23 |  0.727 % |
239.63/239.68	c |    730318 |     962     3996    11895 |    22942    20793     22 |  0.723 % |
239.83/239.83	c |    730728 |     962     3996    11895 |    22942    21203     22 |  0.723 % |
239.93/240.00	c |    731177 |     962     3996    11895 |    22942    21652     22 |  0.723 % |
240.13/240.14	c |    731670 |     962     3996    11895 |    22942    22145     23 |  0.723 % |
240.23/240.25	c |    732213 |     962     3996    11895 |    22942    22688     22 |  0.723 % |
240.53/240.51	c |    732810 |     962     3996    11895 |    22942    23285     23 |  0.723 % |
240.73/240.73	c |    733466 |     962     3996    11895 |    22942    21613     22 |  0.723 % |
240.93/240.98	c |    734186 |     962     3996    11895 |    22942    22333     23 |  0.723 % |
241.13/241.11	c |    734979 |     962     3996    11895 |    22942    20820     22 |  0.723 % |
241.43/241.43	c |    735851 |     962     3996    11895 |    22942    21692     22 |  0.723 % |
241.73/241.73	c |    736809 |     962     3996    11895 |    22942    22650     22 |  0.723 % |
242.13/242.13	c |    737862 |     962     3996    11895 |    22942    21373     22 |  0.723 % |
242.53/242.52	c |    739023 |     962     3996    11895 |    22942    22534     22 |  0.723 % |
242.73/242.77	c |    740297 |     962     3996    11895 | 2147483647    21492     21 |  0.726 % |
243.13/243.16	c |    741698 |     962     3996    11895 | 2147483647    22893     22 |  0.723 % |
243.43/243.43	c |    743238 |     962     3996    11895 | 2147483647    24433     22 |  0.723 % |
244.23/244.27	c |    744934 |     962     3996    11895 | 2147483647    26129     22 |  0.723 % |
245.13/245.11	c |    746797 |     962     3996    11895 | 2147483647    27992     23 |  0.723 % |
246.23/246.22	c |    748846 |     962     3996    11895 | 2147483647    30041     24 |  0.723 % |
247.63/247.68	c |    751099 |     962     3996    11895 |    31195    28202     23 |  0.723 % |
248.73/248.78	c |    753578 |     962     3996    11895 |    31195    30681     24 |  0.723 % |
249.53/249.51	c |    756304 |     962     3996    11895 |    31195    27690     24 |  0.726 % |
250.33/250.33	c |    759301 |     962     3996    11895 |    31195    30687     23 |  0.723 % |
252.04/252.05	c |    762599 |     962     3996    11895 |    31387    28236     23 |  0.723 % |
253.14/253.13	c |    766224 |     962     3996    11895 |    31387    25577     22 |  0.727 % |
254.73/254.76	c |    770212 |     962     3996    11895 |    29353    29565     23 |  0.723 % |
256.73/256.77	c |    774597 |     962     3996    11895 |    29353    28504     23 |  0.723 % |
258.13/258.19	c |    779420 |     962     3996    11895 |    29353    27777     25 |  0.727 % |
260.23/260.24	c |    784725 |     962     3996    11895 |    28357    27420     24 |  0.723 % |
263.04/263.06	c |    790563 |     962     3996    11895 |    25144    22339     23 |  0.723 % |
265.03/265.08	c |    796981 |     962     3996    11895 |    25144    25243     22 |  0.723 % |
267.13/267.20	c |    804040 |     962     3996    11895 |    24481    22443     22 |  0.723 % |
267.23/267.21	c |    804140 |     962     3996    11895 |    24481    22543     22 |  0.726 % |
267.23/267.23	c |    804250 |     962     3996    11895 |    24481    22653     22 |  0.723 % |
267.23/267.28	c |    804371 |     962     3996    11895 |    24481    22774     22 |  0.723 % |
267.33/267.34	c |    804504 |     962     3996    11895 |    24481    22907     22 |  0.723 % |
267.33/267.37	c |    804652 |     962     3996    11895 |    24481    23055     22 |  0.726 % |
267.33/267.40	c |    804812 |     962     3996    11895 |    24481    23215     22 |  0.723 % |
267.44/267.46	c |    804988 |     962     3996    11895 |    24481    23391     22 |  0.727 % |
267.53/267.53	c |    805181 |     962     3996    11895 |    24481    23584     22 |  0.723 % |
267.53/267.59	c |    805393 |     962     3996    11895 |    24481    23796     22 |  0.723 % |
267.63/267.67	c |    805627 |     962     3996    11895 |    24481    24030     22 |  0.723 % |
267.73/267.70	c |    805883 |     962     3996    11895 |    24481    24286     22 |  0.723 % |
267.73/267.75	c |    806164 |     962     3996    11895 |    24481    22115     22 |  0.723 % |
267.83/267.89	c |    806474 |     962     3996    11895 |    24481    22425     22 |  0.723 % |
268.03/268.00	c |    806813 |     962     3996    11895 |    24481    22764     22 |  0.723 % |
268.13/268.12	c |    807185 |     962     3996    11895 |    24481    23136     22 |  0.723 % |
268.23/268.25	c |    807595 |     962     3996    11895 |    24481    23546     23 |  0.723 % |
268.33/268.39	c |    808045 |     962     3996    11895 |    24481    23996     23 |  0.727 % |
268.54/268.53	c |    808539 |     962     3996    11895 |    24481    24490     23 |  0.726 % |
268.63/268.61	c |    809081 |     962     3996    11895 |    24481    22489     23 |  0.723 % |
268.73/268.79	c |    809677 |     962     3996    11895 |    24481    23085     23 |  0.723 % |
268.93/268.96	c |    810333 |     962     3996    11895 |    23408    23741     23 |  0.723 % |
269.03/269.08	c |    811055 |     962     3996    11895 |    23408    21735     21 |  0.723 % |
269.13/269.16	c |    811847 |     962     3996    11895 |    23408    22527     21 |  0.723 % |
269.43/269.42	c |    812718 |     962     3996    11895 |    23408    23398     21 |  0.723 % |
269.64/269.69	c |    813676 |     962     3996    11895 |    23408    22000     20 |  0.723 % |
270.03/270.03	c |    814729 |     962     3996    11895 |    23408    23053     21 |  0.723 % |
270.43/270.48	c |    815887 |     962     3996    11895 |    23408    21840     20 |  0.723 % |
270.93/270.92	c |    817160 |     962     3996    11895 |    23408    23113     20 |  0.723 % |
271.43/271.45	c |    818560 |     962     3996    11895 |    23408    22149     21 |  0.723 % |
271.63/271.69	c |    820101 |     962     3996    11895 |    23589    23690     22 |  0.726 % |
272.23/272.29	c |    821795 |     962     3996    11895 |    23589    22734     21 |  0.727 % |
272.83/272.82	c |    823658 |     962     3996    11895 |    23589    22208     22 |  0.723 % |
273.33/273.33	c |    825708 |     962     3996    11895 |    23589    21789     22 |  0.723 % |
273.93/274.01	c |    827961 |     962     3996    11895 |    23589    21599     22 |  0.723 % |
274.83/274.81	c |    830439 |     962     3996    11895 |    23639    21603     22 |  0.723 % |
275.73/275.78	c |    833165 |     962     3996    11895 |    23639    21891     23 |  0.723 % |
276.73/276.80	c |    836163 |     962     3996    11895 |    23639    22503     22 |  0.723 % |
278.13/278.16	c |    839461 |     962     3996    11895 |    23639    23418     23 |  0.723 % |
279.54/279.52	c |    843086 |     962     3996    11895 | 2147483647    24658     23 |  0.723 % |
280.64/280.69	c |    847076 |     962     3996    11895 | 2147483647    28648     24 |  0.727 % |
281.53/281.60	c |    851463 |     962     3996    11895 |    31573    28647     22 |  0.723 % |
283.63/283.65	c |    856286 |     962     3996    11895 |    31573    28089     23 |  0.723 % |
286.53/286.57	c |    861591 |     962     3996    11895 |    31803    27934     24 |  0.723 % |
288.43/288.45	c |    867427 |     962     3996    11895 |    31803    26598     24 |  0.728 % |
290.63/290.64	c |    873845 |     962     3996    11895 |    29171    27063     25 |  0.723 % |
293.43/293.48	c |    880905 |     962     3996    11895 |    27763    23893     25 |  0.723 % |
296.63/296.63	c |    888669 |     962     3996    11895 |    27763    27204     24 |  0.723 % |
296.63/296.68	c |    888769 |     962     3996    11895 |    27763    27304     24 |  0.723 % |
296.73/296.70	c |    888880 |     962     3996    11895 |    27763    27415     24 |  0.723 % |
296.73/296.77	c |    889001 |     962     3996    11895 |    27763    27536     24 |  0.723 % |
296.83/296.83	c |    889136 |     962     3996    11895 |    27763    27671     24 |  0.727 % |
296.93/296.91	c |    889282 |     962     3996    11895 |    27763    27817     24 |  0.723 % |
297.03/297.02	c |    889442 |     962     3996    11895 |    27763    23485     23 |  0.723 % |
297.03/297.10	c |    889619 |     962     3996    11895 |    27763    23662     23 |  0.723 % |
297.14/297.15	c |    889814 |     962     3996    11895 |    27763    23857     23 |  0.727 % |
297.23/297.22	c |    890026 |     962     3996    11895 |    24044    24069     23 |  0.723 % |
297.23/297.27	c |    890259 |     962     3996    11895 |    24044    20332     21 |  0.723 % |
297.33/297.34	c |    890515 |     962     3996    11895 |    24044    20588     22 |  0.723 % |
297.43/297.42	c |    890796 |     962     3996    11895 |    24044    20869     22 |  0.727 % |
297.53/297.53	c |    891105 |     962     3996    11895 |    24044    21178     22 |  0.727 % |
297.63/297.64	c |    891444 |     962     3996    11895 |    24044    21517     22 |  0.727 % |
297.73/297.78	c |    891816 |     962     3996    11895 |    24044    21889     22 |  0.723 % |
297.93/297.98	c |    892225 |     962     3996    11895 |    24044    22298     22 |  0.723 % |
298.13/298.13	c |    892675 |     962     3996    11895 |    24044    22748     22 |  0.723 % |
298.33/298.37	c |    893169 |     962     3996    11895 |    24044    23242     22 |  0.723 % |
298.63/298.61	c |    893711 |     962     3996    11895 |    24044    23784     22 |  0.723 % |
298.83/298.86	c |    894308 |     962     3996    11895 |    24044    21162     21 |  0.723 % |
299.13/299.11	c |    894963 |     962     3996    11895 |    24044    21817     21 |  0.723 % |
299.34/299.36	c |    895684 |     962     3996    11895 |    24044    22538     22 |  0.723 % |
299.63/299.68	c |    896476 |     962     3996    11895 |    24044    23330     22 |  0.723 % |
299.93/299.99	c |    897348 |     962     3996    11895 |    24044    24202     23 |  0.723 % |
300.33/300.32	c |    898307 |     962     3996    11895 |    24044    22110     22 |  0.723 % |
300.63/300.66	c |    899360 |     962     3996    11895 |    24044    23163     22 |  0.723 % |
301.13/301.11	c |    900519 |     962     3996    11895 |    23803    21257     22 |  0.723 % |
301.33/301.36	c |    901792 |     962     3996    11895 |    23803    22530     22 |  0.728 % |
301.93/301.91	c |    903193 |     962     3996    11895 |    23803    23931     23 |  0.723 % |
302.43/302.41	c |    904735 |     962     3996    11895 |    23803    22351     23 |  0.723 % |
302.93/302.99	c |    906429 |     962     3996    11895 |    23803    24045     23 |  0.723 % |
303.43/303.44	c |    908293 |     962     3996    11895 |    23803    23027     22 |  0.723 % |
303.74/303.76	c |    910343 |     962     3996    11895 | 2147483647    22677     22 |  0.723 % |
304.53/304.57	c |    912596 |     962     3996    11895 | 2147483647    24930     23 |  0.723 % |
305.34/305.34	c |    915076 |     962     3996    11895 | 2147483647    27410     23 |  0.723 % |
306.03/306.00	c |    917802 |     962     3996    11895 | 2147483647    30136     24 |  0.723 % |
306.74/306.75	c |    920799 |     962     3996    11895 |    32335    28337     23 |  0.723 % |
308.44/308.48	c |    924096 |     962     3996    11895 |    32335    31634     24 |  0.723 % |
309.04/309.03	c |    927721 |     962     3996    11895 |    32335    29128     21 |  0.723 % |
310.74/310.79	c |    931708 |     962     3996    11895 |    31409    27286     23 |  0.723 % |
312.04/312.08	c |    936093 |     962     3996    11895 |    31409    31671     23 |  0.723 % |
313.34/313.33	c |    940918 |     962     3996    11895 |    29953    25422     19 |  0.723 % |
315.14/315.20	c |    946223 |     962     3996    11895 |    29953    25825     22 |  0.723 % |
317.54/317.61	c |    952059 |     962     3996    11895 |    29602    26641     22 |  0.723 % |
319.04/319.02	c |    958477 |     962     3996    11895 |    29602    28384     21 |  0.723 % |
321.44/321.42	c |    965538 |     962     3996    11895 |    25295    23453     19 |  0.723 % |
323.34/323.37	c |    973304 |     962     3996    11895 |    24208    24022     21 |  0.727 % |
326.14/326.17	c |    981845 |     962     3996    11895 |    22448    20671     24 |  0.723 % |
326.14/326.21	c |    981945 |     962     3996    11895 |    22448    20771     24 |  0.723 % |
326.24/326.24	c |    982055 |     962     3996    11895 |    22448    20881     24 |  0.723 % |
326.24/326.27	c |    982176 |     962     3996    11895 |    22448    21002     24 |  0.728 % |
326.24/326.30	c |    982310 |     962     3996    11895 |    22448    21136     24 |  0.723 % |
326.34/326.34	c |    982456 |     962     3996    11895 |    22448    21282     24 |  0.727 % |
326.34/326.37	c |    982616 |     962     3996    11895 |    22448    21442     24 |  0.723 % |
326.44/326.42	c |    982792 |     962     3996    11895 |    22448    21618     24 |  0.723 % |
326.44/326.48	c |    982985 |     962     3996    11895 |    22448    21811     24 |  0.723 % |
326.54/326.53	c |    983197 |     962     3996    11895 |    22448    22023     24 |  0.723 % |
326.54/326.59	c |    983430 |     962     3996    11895 |    22448    22256     24 |  0.723 % |
326.64/326.68	c |    983686 |     962     3996    11895 |    22448    22512     24 |  0.723 % |
326.74/326.76	c |    983967 |     962     3996    11895 |    22448    19730     23 |  0.723 % |
326.84/326.86	c |    984276 |     962     3996    11895 |    22448    20039     23 |  0.723 % |
326.94/326.98	c |    984616 |     962     3996    11895 |    22448    20379     23 |  0.723 % |
327.14/327.13	c |    984988 |     962     3996    11895 |    22448    20751     23 |  0.723 % |
327.24/327.26	c |    985398 |     962     3996    11895 |    22448    21161     23 |  0.723 % |
327.34/327.36	c |    985848 |     962     3996    11895 |    22448    21611     23 |  0.723 % |
327.44/327.42	c |    986345 |     962     3996    11895 |    22448    22108     23 |  0.723 % |
327.64/327.65	c |    986888 |     962     3996    11895 |    22448    20180     22 |  0.723 % |
327.84/327.83	c |    987486 |     962     3996    11895 |    22448    20778     23 |  0.723 % |
327.94/327.99	c |    988142 |     962     3996    11895 |    22448    21434     22 |  0.723 % |
328.14/328.17	c |    988862 |     962     3996    11895 |    22448    22154     23 |  0.728 % |
328.44/328.46	c |    989655 |     962     3996    11895 |    22448    20530     22 |  0.723 % |
328.74/328.72	c |    990526 |     962     3996    11895 |    20875    19130     22 |  0.723 % |
328.94/328.96	c |    991486 |     962     3996    11895 |    20875    20090     23 |  0.723 % |
329.14/329.12	c |    992539 |     962     3996    11895 |    20875    19045     22 |  0.723 % |
329.24/329.30	c |    993697 |     962     3996    11895 |    20875    20203     23 |  0.723 % |
329.64/329.63	c |    994971 |     962     3996    11895 |    20875    19171     22 |  0.723 % |
329.94/329.99	c |    996371 |     962     3996    11895 |    20875    20571     23 |  0.723 % |
330.14/330.12	c |    997911 |     962     3996    11895 |    20875    20018     21 |  0.723 % |
330.64/330.65	c |    999605 |     962     3996    11895 |    20875    19581     21 |  0.723 % |
331.24/331.29	c |   1001469 |     962     3996    11895 | 2147483647    21445     21 |  0.723 % |
332.04/332.10	c |   1003519 |     962     3996    11895 | 2147483647    23495     22 |  0.723 % |
332.44/332.50	c |   1005772 |     962     3996    11895 | 2147483647    25748     22 |  0.723 % |
333.44/333.47	c |   1008250 |     962     3996    11895 | 2147483647    28226     23 |  0.723 % |
334.64/334.67	c |   1010976 |     962     3996    11895 |    29977    27326     22 |  0.723 % |
335.74/335.80	c |   1013974 |     962     3996    11895 |    29977    30324     23 |  0.723 % |
337.34/337.32	c |   1017270 |     962     3996    11895 |    29977    28248     22 |  0.723 % |
338.74/338.77	c |   1020895 |     962     3996    11895 |    25797    22272     23 |  0.723 % |
339.54/339.58	c |   1024882 |     962     3996    11895 |    25797    23541     21 |  0.723 % |
341.54/341.53	c |   1029267 |     962     3996    11895 |    25797    24680     22 |  0.723 % |
343.14/343.17	c |   1034090 |     962     3996    11895 |    25414    23408     22 |  0.723 % |
345.44/345.46	c |   1039396 |     962     3996    11895 |    25414    25643     23 |  0.723 % |
347.54/347.60	c |   1045232 |     962     3996    11895 |    22948    22624     24 |  0.727 % |
350.04/350.09	c |   1051651 |     962     3996    11895 |    22285    21465     24 |  0.723 % |
352.64/352.66	c |   1058711 |     962     3996    11895 |    22285    21768     23 |  0.723 % |
356.04/356.10	c |   1066475 |     962     3996    11895 | 2147483647    27289     24 |  0.723 % |
360.54/360.52	c |   1075015 |     962     3996    11895 |    30815    26804     24 |  0.723 % |
363.34/363.33	c |   1084409 |     962     3996    11895 |    25734    25105     31 |  0.726 % |
363.34/363.39	c |   1084511 |     962     3996    11895 |    25734    25207     31 |  0.723 % |
363.44/363.41	c |   1084622 |     962     3996    11895 |    25734    25318     31 |  0.728 % |
363.44/363.43	c |   1084743 |     962     3996    11895 |    25734    25439     31 |  0.727 % |
363.44/363.47	c |   1084877 |     962     3996    11895 |    25734    25573     31 |  0.723 % |
363.54/363.52	c |   1085024 |     962     3996    11895 |    25734    25720     31 |  0.723 % |
363.54/363.56	c |   1085184 |     962     3996    11895 |    25734    25880     31 |  0.727 % |
363.64/363.61	c |   1085362 |     962     3996    11895 |    25734    21253     32 |  0.723 % |
363.64/363.68	c |   1085556 |     962     3996    11895 |    25734    21447     32 |  0.723 % |
363.64/363.70	c |   1085769 |     962     3996    11895 |    25734    21660     32 |  0.723 % |
363.74/363.77	c |   1086003 |     962     3996    11895 |    25734    21894     32 |  0.723 % |
363.84/363.84	c |   1086260 |     962     3996    11895 |    25734    22151     31 |  0.723 % |
363.84/363.89	c |   1086543 |     962     3996    11895 |    25734    22434     31 |  0.723 % |
363.94/363.97	c |   1086855 |     962     3996    11895 |    25734    22746     31 |  0.723 % |
364.04/364.07	c |   1087194 |     962     3996    11895 |    25734    23085     31 |  0.723 % |
364.14/364.18	c |   1087567 |     962     3996    11895 |    25734    23458     31 |  0.723 % |
364.24/364.23	c |   1087976 |     962     3996    11895 |    25734    23867     31 |  0.727 % |
364.34/364.39	c |   1088426 |     962     3996    11895 |    25734    24317     31 |  0.723 % |
364.64/364.64	c |   1088920 |     962     3996    11895 |    25734    24811     31 |  0.723 % |
364.94/364.95	c |   1089462 |     962     3996    11895 |    25734    25353     31 |  0.723 % |
365.14/365.11	c |   1090058 |     962     3996    11895 |    25891    25949     31 |  0.727 % |
365.24/365.23	c |   1090713 |     962     3996    11895 |    25891    22065     32 |  0.727 % |
365.54/365.58	c |   1091433 |     962     3996    11895 |    25891    22785     32 |  0.723 % |
365.94/365.91	c |   1092226 |     962     3996    11895 |    25891    23578     32 |  0.723 % |
366.24/366.28	c |   1093097 |     962     3996    11895 |    25891    24449     32 |  0.723 % |
366.54/366.59	c |   1094055 |     962     3996    11895 |    25891    25407     32 |  0.723 % |
366.74/366.74	c |   1095108 |     962     3996    11895 |    25891    22349     29 |  0.723 % |
367.14/367.12	c |   1096267 |     962     3996    11895 |    25891    23508     29 |  0.723 % |
367.44/367.48	c |   1097540 |     962     3996    11895 |    25891    24781     29 |  0.723 % |
367.74/367.76	c |   1098940 |     962     3996    11895 |    25891    26181     30 |  0.727 % |
368.14/368.20	c |   1100480 |     962     3996    11895 |    23120    20399     24 |  0.723 % |
368.64/368.64	c |   1102177 |     962     3996    11895 |    23120    22096     25 |  0.723 % |
369.24/369.30	c |   1104041 |     962     3996    11895 |    23120    20789     25 |  0.727 % |
369.94/369.93	c |   1106090 |     962     3996    11895 |    23120    22838     25 |  0.723 % |
370.34/370.32	c |   1108343 |     962     3996    11895 |    23120    21720     25 |  0.727 % |
371.14/371.17	c |   1110822 |     962     3996    11895 |    23377    20728     26 |  0.723 % |
372.24/372.21	c |   1113547 |     962     3996    11895 |    23377    23453     26 |  0.723 % |
372.74/372.77	c |   1116545 |     962     3996    11895 |    23377    23694     26 |  0.728 % |
373.14/373.16	c |   1119841 |     962     3996    11895 |    23377    21207     23 |  0.723 % |
374.04/374.06	c |   1123468 |     962     3996    11895 |    21367    20047     23 |  0.723 % |
374.94/374.99	c |   1127456 |     962     3996    11895 |    21367    19718     21 |  0.723 % |
376.64/376.66	c |   1131843 |     962     3996    11895 | 2147483647    21937     23 |  0.723 % |
378.44/378.49	c |   1136666 |     962     3996    11895 | 2147483647    26760     24 |  0.723 % |
381.14/381.17	c |   1141971 |     962     3996    11895 |    30094    28052     25 |  0.723 % |
383.74/383.80	c |   1147806 |     962     3996    11895 |    30094    29141     24 |  0.723 % |
386.34/386.35	c |   1154224 |     962     3996    11895 |    26611    26609     23 |  0.723 % |
388.74/388.72	c |   1161283 |     962     3996    11895 |    25024    22890     22 |  0.723 % |
392.04/392.04	c |   1169047 |     962     3996    11895 |    25024    24268     23 |  0.723 % |
393.24/393.21	c |   1177588 |     962     3996    11895 |    25224    24675     20 |  0.727 % |
395.94/395.95	c |   1186984 |     962     3996    11895 |    24359    24080     19 |  0.723 % |
398.64/398.66	c |   1197317 |     962     3996    11895 |    22523    22108     24 |  0.723 % |
398.64/398.68	c |   1197418 |     962     3996    11895 |    22523    22209     24 |  0.723 % |
398.74/398.73	c |   1197529 |     962     3996    11895 |    22523    22320     24 |  0.723 % |
398.74/398.75	c |   1197651 |     962     3996    11895 |    22523    22442     24 |  0.727 % |
398.74/398.79	c |   1197786 |     962     3996    11895 |    22523    22577     24 |  0.723 % |
398.84/398.83	c |   1197932 |     962     3996    11895 |    22523    20466     24 |  0.723 % |
398.84/398.85	c |   1198093 |     962     3996    11895 |    22523    20627     24 |  0.723 % |
398.94/398.94	c |   1198269 |     962     3996    11895 |    22523    20803     24 |  0.727 % |
399.04/399.02	c |   1198462 |     962     3996    11895 |    22523    20996     24 |  0.723 % |
399.04/399.09	c |   1198675 |     962     3996    11895 |    22523    21209     24 |  0.723 % |
399.14/399.14	c |   1198908 |     962     3996    11895 |    22523    21442     24 |  0.723 % |
399.14/399.18	c |   1199164 |     962     3996    11895 |    22523    21698     24 |  0.723 % |
399.24/399.25	c |   1199446 |     962     3996    11895 |    22523    21980     24 |  0.723 % |
399.34/399.31	c |   1199755 |     962     3996    11895 |    22523    22289     24 |  0.723 % |
399.34/399.41	c |   1200094 |     962     3996    11895 | 2147483647    22628     24 |  0.723 % |
399.45/399.45	c |   1200467 |     962     3996    11895 | 2147483647    23001     24 |  0.726 % |
399.54/399.51	c |   1200876 |     962     3996    11895 | 2147483647    23410     24 |  0.723 % |
399.64/399.66	c |   1201325 |     962     3996    11895 | 2147483647    23859     24 |  0.723 % |
399.84/399.88	c |   1201820 |     962     3996    11895 | 2147483647    24354     24 |  0.723 % |
400.04/400.01	c |   1202363 |     962     3996    11895 | 2147483647    24897     25 |  0.723 % |
400.24/400.24	c |   1202960 |     962     3996    11895 | 2147483647    25494     25 |  0.723 % |
400.44/400.50	c |   1203615 |     962     3996    11895 | 2147483647    26149     25 |  0.723 % |
400.74/400.80	c |   1204336 |     962     3996    11895 | 2147483647    26870     25 |  0.723 % |
400.84/400.89	c |   1205130 |     962     3996    11895 | 2147483647    27664     25 |  0.723 % |
401.24/401.23	c |   1206002 |     962     3996    11895 | 2147483647    28536     25 |  0.723 % |
401.34/401.37	c |   1206960 |     962     3996    11895 | 2147483647    29494     25 |  0.726 % |
401.84/401.87	c |   1208013 |     962     3996    11895 | 2147483647    30547     25 |  0.723 % |
402.04/402.07	c |   1209171 |     962     3996    11895 | 2147483647    31705     26 |  0.726 % |
402.84/402.88	c |   1210445 |     962     3996    11895 |    32534    27866     26 |  0.723 % |
403.54/403.54	c |   1211845 |     962     3996    11895 |    32534    29266     26 |  0.723 % |
404.24/404.29	c |   1213388 |     962     3996    11895 |    32534    30809     26 |  0.727 % |
404.84/404.83	c |   1215083 |     962     3996    11895 |    32534    32504     26 |  0.723 % |
405.34/405.37	c |   1216948 |     962     3996    11895 |    32534    28920     26 |  0.723 % |
405.94/405.99	c |   1218997 |     962     3996    11895 |    32534    30969     26 |  0.723 % |
407.04/407.08	c |   1221250 |     962     3996    11895 |    31972    27893     25 |  0.723 % |
407.74/407.73	c |   1223729 |     962     3996    11895 |    31972    30372     24 |  0.723 % |
408.64/408.70	c |   1226455 |     962     3996    11895 |    31972    27918     24 |  0.723 % |
410.45/410.42	c |   1229453 |     962     3996    11895 |    31972    30916     25 |  0.723 % |
412.04/412.02	c |   1232749 |     962     3996    11895 |    31464    28298     24 |  0.723 % |
413.84/413.85	c |   1236376 |     962     3996    11895 |    31464    26236     24 |  0.723 % |
415.74/415.71	c |   1240365 |     962     3996    11895 |    29862    30225     25 |  0.723 % |
417.54/417.58	c |   1244750 |     962     3996    11895 |    29862    29088     25 |  0.723 % |
419.25/419.27	c |   1249574 |     962     3996    11895 |    29862    28882     23 |  0.723 % |
420.84/420.86	c |   1254880 |     962     3996    11895 |    29308    29278     25 |  0.728 % |
422.84/422.90	c |   1260715 |     962     3996    11895 |    28662    24062     24 |  0.723 % |
425.74/425.77	c |   1267133 |     962     3996    11895 |    28662    25262     26 |  0.723 % |
428.64/428.62	c |   1274193 |     962     3996    11895 |    28130    27535     26 |  0.723 % |
432.24/432.29	c |   1281959 |     962     3996    11895 |    24175    22143     22 |  0.723 % |
435.45/435.44	c |   1290502 |     962     3996    11895 |    23765    21234     22 |  0.723 % |
438.15/438.14	c |   1299897 |     962     3996    11895 |    23765    21873     25 |  0.723 % |
440.95/440.98	c |   1310232 |     962     3996    11895 |    19962    20192     27 |  0.723 % |
444.95/445.00	c |   1321598 |     962     3996    11895 | 2147483647    21307     26 |  0.723 % |
444.95/445.01	c |   1321698 |     962     3996    11895 | 2147483647    21407     26 |  0.726 % |
445.05/445.02	c |   1321809 |     962     3996    11895 | 2147483647    21518     26 |  0.723 % |
445.05/445.03	c |   1321932 |     962     3996    11895 | 2147483647    21641     26 |  0.723 % |
445.05/445.08	c |   1322065 |     962     3996    11895 | 2147483647    21774     26 |  0.723 % |
445.15/445.13	c |   1322211 |     962     3996    11895 | 2147483647    21920     26 |  0.723 % |
445.15/445.21	c |   1322373 |     962     3996    11895 | 2147483647    22082     26 |  0.723 % |
445.25/445.28	c |   1322549 |     962     3996    11895 | 2147483647    22258     26 |  0.723 % |
445.25/445.30	c |   1322743 |     962     3996    11895 | 2147483647    22452     26 |  0.723 % |
445.35/445.35	c |   1322955 |     962     3996    11895 | 2147483647    22664     26 |  0.723 % |
445.45/445.45	c |   1323188 |     962     3996    11895 | 2147483647    22897     26 |  0.723 % |
445.55/445.55	c |   1323445 |     962     3996    11895 | 2147483647    23154     26 |  0.723 % |
445.65/445.64	c |   1323727 |     962     3996    11895 | 2147483647    23436     26 |  0.723 % |
445.75/445.75	c |   1324038 |     962     3996    11895 | 2147483647    23747     26 |  0.723 % |
445.85/445.87	c |   1324377 |     962     3996    11895 | 2147483647    24086     27 |  0.723 % |
445.95/446.00	c |   1324750 |     962     3996    11895 | 2147483647    24459     27 |  0.723 % |
446.15/446.19	c |   1325159 |     962     3996    11895 | 2147483647    24868     27 |  0.723 % |
446.35/446.37	c |   1325608 |     962     3996    11895 | 2147483647    25317     27 |  0.723 % |
446.55/446.56	c |   1326106 |     962     3996    11895 | 2147483647    25815     27 |  0.723 % |
446.75/446.77	c |   1326649 |     962     3996    11895 | 2147483647    26358     27 |  0.723 % |
446.95/446.94	c |   1327245 |     962     3996    11895 | 2147483647    26954     27 |  0.723 % |
447.25/447.23	c |   1327902 |     962     3996    11895 | 2147483647    27611     27 |  0.723 % |
447.55/447.58	c |   1328623 |     962     3996    11895 | 2147483647    28332     27 |  0.723 % |
447.95/447.95	c |   1329415 |     962     3996    11895 | 2147483647    29124     27 |  0.727 % |
448.35/448.33	c |   1330286 |     962     3996    11895 |    29709    26635     26 |  0.723 % |
448.85/448.85	c |   1331245 |     962     3996    11895 |    29709    27594     26 |  0.723 % |
449.25/449.23	c |   1332298 |     962     3996    11895 |    29709    28647     27 |  0.723 % |
449.85/449.82	c |   1333456 |     962     3996    11895 |    29709    29805     27 |  0.723 % |
450.35/450.41	c |   1334729 |     962     3996    11895 |    29709    26662     26 |  0.723 % |
451.05/451.10	c |   1336130 |     962     3996    11895 |    29709    28063     26 |  0.723 % |
451.75/451.79	c |   1337670 |     962     3996    11895 |    29709    29603     26 |  0.723 % |
452.65/452.64	c |   1339364 |     962     3996    11895 |    29709    26492     25 |  0.723 % |
453.65/453.64	c |   1341227 |     962     3996    11895 |    27129    24075     24 |  0.723 % |
454.45/454.48	c |   1343277 |     962     3996    11895 |    27129    26125     25 |  0.723 % |
455.35/455.39	c |   1345531 |     962     3996    11895 |    27129    24492     24 |  0.723 % |
455.95/456.01	c |   1348009 |     962     3996    11895 |    27129    26970     25 |  0.726 % |
456.95/456.96	c |   1350736 |     962     3996    11895 |    24514    21599     23 |  0.727 % |
457.95/458.01	c |   1353734 |     962     3996    11895 |    24514    24597     23 |  0.723 % |
459.05/459.07	c |   1357030 |     962     3996    11895 |    24514    22632     24 |  0.723 % |
459.75/459.76	c |   1360656 |     962     3996    11895 | 2147483647    23775     23 |  0.723 % |
461.05/461.05	c |   1364643 |     962     3996    11895 | 2147483647    27762     25 |  0.723 % |
463.25/463.30	c |   1369028 |     962     3996    11895 | 2147483647    32147     25 |  0.723 % |
465.25/465.27	c |   1373852 |     962     3996    11895 |    33119    30640     26 |  0.727 % |
467.25/467.31	c |   1379158 |     962     3996    11895 |    33119    29113     25 |  0.723 % |
469.85/469.91	c |   1384993 |     962     3996    11895 |    29955    29160     26 |  0.723 % |
472.75/472.76	c |   1391411 |     962     3996    11895 |    28694    25063     25 |  0.723 % |
476.45/476.44	c |   1398471 |     962     3996    11895 |    28694    27052     25 |  0.723 % |
480.25/480.22	c |   1406236 |     962     3996    11895 |    28582    25761     24 |  0.723 % |
484.65/484.70	c |   1414776 |     962     3996    11895 |    25594    22747     23 |  0.723 % |
488.35/488.41	c |   1424170 |     962     3996    11895 |    24071    21675     23 |  0.723 % |
492.95/492.92	c |   1434504 |     962     3996    11895 |    21601    21413     24 |  0.723 % |
495.35/495.32	c |   1445872 |     962     3996    11895 |    20170    18321     37 |  0.727 % |
498.05/498.07	c |   1458374 |     962     3996    11895 |    19816    19816     29 |  0.723 % |
498.05/498.09	c |   1458474 |     962     3996    11895 |    19816    19916     29 |  0.723 % |
498.15/498.13	c |   1458584 |     962     3996    11895 |    19816    18035     27 |  0.723 % |
498.15/498.15	c |   1458705 |     962     3996    11895 |    19816    18156     27 |  0.727 % |
498.15/498.18	c |   1458838 |     962     3996    11895 |    19816    18289     27 |  0.723 % |
498.15/498.21	c |   1458984 |     962     3996    11895 |    19816    18435     27 |  0.723 % |
498.25/498.25	c |   1459144 |     962     3996    11895 |    19816    18595     27 |  0.723 % |
498.25/498.30	c |   1459320 |     962     3996    11895 |    19816    18771     27 |  0.723 % |
498.35/498.37	c |   1459513 |     962     3996    11895 |    19816    18964     27 |  0.723 % |
498.35/498.39	c |   1459726 |     962     3996    11895 |    19816    19177     27 |  0.728 % |
498.35/498.41	c |   1459959 |     962     3996    11895 |    19816    19410     27 |  0.723 % |
498.55/498.52	c |   1460217 |     962     3996    11895 | 2147483647    19668     27 |  0.723 % |
498.55/498.59	c |   1460499 |     962     3996    11895 | 2147483647    19950     27 |  0.723 % |
498.75/498.71	c |   1460809 |     962     3996    11895 | 2147483647    20260     27 |  0.723 % |
498.75/498.81	c |   1461148 |     962     3996    11895 | 2147483647    20599     27 |  0.723 % |
498.95/498.93	c |   1461520 |     962     3996    11895 | 2147483647    20971     27 |  0.723 % |
499.05/499.02	c |   1461930 |     962     3996    11895 | 2147483647    21381     27 |  0.723 % |
499.15/499.15	c |   1462380 |     962     3996    11895 | 2147483647    21831     27 |  0.723 % |
499.25/499.29	c |   1462873 |     962     3996    11895 | 2147483647    22324     27 |  0.723 % |
499.45/499.47	c |   1463415 |     962     3996    11895 | 2147483647    22866     28 |  0.723 % |
499.55/499.59	c |   1464012 |     962     3996    11895 | 2147483647    23463     28 |  0.723 % |
499.75/499.71	c |   1464668 |     962     3996    11895 | 2147483647    24119     28 |  0.723 % |
499.85/499.88	c |   1465389 |     962     3996    11895 | 2147483647    24840     28 |  0.723 % |
500.05/500.11	c |   1466183 |     962     3996    11895 | 2147483647    25634     28 |  0.723 % |
500.35/500.34	c |   1467054 |     962     3996    11895 | 2147483647    26505     28 |  0.723 % |
500.55/500.53	c |   1468014 |     962     3996    11895 | 2147483647    27465     29 |  0.728 % |
500.75/500.75	c |   1469068 |     962     3996    11895 | 2147483647    28519     29 |  0.723 % |
500.95/500.99	c |   1470227 |     962     3996    11895 |    29452    29678     29 |  0.723 % |
501.45/501.42	c |   1471500 |     962     3996    11895 |    29452    26999     27 |  0.723 % |
501.85/501.88	c |   1472901 |     962     3996    11895 |    29452    28400     27 |  0.728 % |
502.75/502.81	c |   1474443 |     962     3996    11895 |    29452    24740     27 |  0.723 % |
503.65/503.64	c |   1476138 |     962     3996    11895 |    29452    26435     27 |  0.723 % |
504.35/504.34	c |   1478001 |     962     3996    11895 |    29452    28298     27 |  0.727 % |
505.15/505.16	c |   1480051 |     962     3996    11895 |    25256    25307     27 |  0.723 % |
505.35/505.37	c |   1482304 |     962     3996    11895 |    25256    23224     25 |  0.723 % |
506.35/506.41	c |   1484783 |     962     3996    11895 |    25256    22728     25 |  0.723 % |
507.35/507.32	c |   1487508 |     962     3996    11895 |    25256    25453     26 |  0.723 % |
507.85/507.83	c |   1490506 |     962     3996    11895 |    24864    22330     22 |  0.723 % |
508.36/508.39	c |   1493804 |     962     3996    11895 |    24864    21890     23 |  0.723 % |
509.46/509.43	c |   1497431 |     962     3996    11895 |    24864    21667     25 |  0.726 % |
510.85/510.85	c |   1501420 |     962     3996    11895 |    24236    22031     26 |  0.723 % |
512.35/512.38	c |   1505806 |     962     3996    11895 |    24236    23581     26 |  0.723 % |
514.25/514.21	c |   1510630 |     962     3996    11895 |    21484    18932     27 |  0.723 % |
516.15/516.19	c |   1515935 |     962     3996    11895 |    21484    19661     26 |  0.723 % |
517.95/517.95	c |   1521770 |     962     3996    11895 | 2147483647    23319     28 |  0.723 % |
519.75/519.74	c |   1528189 |     962     3996    11895 | 2147483647    29738     27 |  0.723 % |
524.65/524.70	c |   1535248 |     962     3996    11895 |    31549    28090     24 |  0.723 % |
528.55/528.57	c |   1543012 |     962     3996    11895 |    27693    25845     22 |  0.723 % |
530.65/530.69	c |   1551552 |     962     3996    11895 |    27671    23498     28 |  0.727 % |
532.75/532.77	c |   1560948 |     962     3996    11895 |    27060    23193     26 |  0.727 % |
537.15/537.11	c |   1571282 |     962     3996    11895 |    25489    23713     22 |  0.723 % |
541.75/541.80	c |   1582649 |     962     3996    11895 |    24388    23898     22 |  0.723 % |
546.95/546.94	c |   1595153 |     962     3996    11895 |    22248    20301     23 |  0.723 % |
552.65/552.68	c |   1608906 |     962     3996    11895 | 2147483647    29566     25 |  0.723 % |
552.75/552.76	c |   1609007 |     962     3996    11895 | 2147483647    29667     25 |  0.723 % |
552.85/552.81	c |   1609119 |     962     3996    11895 | 2147483647    29779     25 |  0.728 % |
552.85/552.84	c |   1609240 |     962     3996    11895 | 2147483647    29900     25 |  0.723 % |
552.95/552.91	c |   1609373 |     962     3996    11895 | 2147483647    30033     25 |  0.723 % |
552.95/552.97	c |   1609520 |     962     3996    11895 | 2147483647    30180     25 |  0.723 % |
552.95/553.00	c |   1609681 |     962     3996    11895 | 2147483647    30341     25 |  0.727 % |
553.14/553.15	c |   1609857 |     962     3996    11895 | 2147483647    30517     25 |  0.723 % |
553.24/553.23	c |   1610052 |     962     3996    11895 |    30660    30712     25 |  0.723 % |
553.34/553.32	c |   1610269 |     962     3996    11895 |    30660    26682     24 |  0.727 % |
553.34/553.37	c |   1610502 |     962     3996    11895 |    30660    26915     24 |  0.723 % |
553.45/553.45	c |   1610758 |     962     3996    11895 |    30660    27171     24 |  0.727 % |
553.54/553.58	c |   1611040 |     962     3996    11895 |    30660    27453     25 |  0.723 % |
553.64/553.66	c |   1611351 |     962     3996    11895 |    30660    27764     25 |  0.723 % |
553.64/553.70	c |   1611691 |     962     3996    11895 |    30660    28104     25 |  0.723 % |
553.84/553.88	c |   1612064 |     962     3996    11895 |    30660    28477     25 |  0.723 % |
553.94/553.98	c |   1612474 |     962     3996    11895 |    30660    28887     25 |  0.723 % |
554.14/554.15	c |   1612924 |     962     3996    11895 |    30660    29337     25 |  0.723 % |
554.44/554.42	c |   1613417 |     962     3996    11895 |    30660    29830     25 |  0.723 % |
554.64/554.66	c |   1613959 |     962     3996    11895 |    30660    30372     25 |  0.723 % |
554.94/554.97	c |   1614555 |     962     3996    11895 |    30660    30968     25 |  0.723 % |
555.24/555.21	c |   1615211 |     962     3996    11895 |    30660    26362     25 |  0.723 % |
555.44/555.47	c |   1615932 |     962     3996    11895 |    30660    27083     25 |  0.727 % |
555.65/555.68	c |   1616726 |     962     3996    11895 |    30660    27877     25 |  0.723 % |
556.14/556.10	c |   1617597 |     962     3996    11895 |    30660    28748     25 |  0.723 % |
556.44/556.48	c |   1618555 |     962     3996    11895 |    30660    29706     25 |  0.723 % |
556.84/556.86	c |   1619608 |     962     3996    11895 |    30660    30759     25 |  0.723 % |
557.24/557.26	c |   1620767 |     962     3996    11895 |    25784    22206     24 |  0.723 % |
557.74/557.73	c |   1622041 |     962     3996    11895 |    25784    23480     25 |  0.723 % |
558.04/558.04	c |   1623441 |     962     3996    11895 |    25784    24880     26 |  0.726 % |
558.74/558.75	c |   1624982 |     962     3996    11895 |    25784    22517     26 |  0.723 % |
559.34/559.31	c |   1626676 |     962     3996    11895 |    25784    24211     26 |  0.723 % |
560.05/560.10	c |   1628539 |     962     3996    11895 |    25784    26074     26 |  0.723 % |
560.45/560.50	c |   1630589 |     962     3996    11895 |    23901    20528     25 |  0.727 % |
560.75/560.75	c |   1632843 |     962     3996    11895 |    23901    22782     25 |  0.727 % |
561.55/561.56	c |   1635322 |     962     3996    11895 |    23901    22037     25 |  0.727 % |
562.55/562.51	c |   1638048 |     962     3996    11895 |    23901    21516     25 |  0.723 % |
563.55/563.51	c |   1641045 |     962     3996    11895 |    23469    21443     25 |  0.723 % |
564.65/564.69	c |   1644342 |     962     3996    11895 |    23469    21645     25 |  0.723 % |
565.85/565.85	c |   1647967 |     962     3996    11895 |    23469    22019     24 |  0.723 % |
567.05/567.05	c |   1651954 |     962     3996    11895 |    20753    19879     23 |  0.723 % |
568.35/568.37	c |   1656341 |     962     3996    11895 |    20753    19861     23 |  0.727 % |
569.75/569.74	c |   1661165 |     962     3996    11895 | 2147483647    20471     24 |  0.723 % |
571.75/571.80	c |   1666470 |     962     3996    11895 | 2147483647    25776     25 |  0.723 % |
574.55/574.55	c |   1672305 |     962     3996    11895 |    29308    27959     25 |  0.723 % |
575.55/575.51	c |   1678723 |     962     3996    11895 |    29308    28489     23 |  0.723 % |
578.75/578.72	c |   1685783 |     962     3996    11895 | 2147483647    32584     25 |  0.723 % |
582.05/582.09	c |   1693547 |     962     3996    11895 |    36802    34234     23 |  0.723 % |
585.55/585.60	c |   1702088 |     962     3996    11895 |    33714    28939     28 |  0.726 % |
589.55/589.55	c |   1711483 |     962     3996    11895 |    29627    24534     33 |  0.727 % |
594.65/594.64	c |   1721816 |     962     3996    11895 |    28186    25774     30 |  0.723 % |
599.95/599.95	c |   1733183 |     962     3996    11895 |    25315    24345     25 |  0.723 % |
605.15/605.12	c |   1745685 |     962     3996    11895 |    24215    23645     23 |  0.723 % |
610.55/610.53	c |   1759439 |     962     3996    11895 |    22398    22397     27 |  0.723 % |
617.45/617.47	c |   1774569 |     962     3996    11895 | 2147483647    35274     28 |  0.723 % |
617.55/617.52	c |   1774669 |     962     3996    11895 | 2147483647    35374     28 |  0.723 % |
617.55/617.57	c |   1774779 |     962     3996    11895 | 2147483647    35484     28 |  0.723 % |
617.65/617.61	c |   1774900 |     962     3996    11895 | 2147483647    35605     28 |  0.723 % |
617.65/617.68	c |   1775034 |     962     3996    11895 | 2147483647    35739     28 |  0.723 % |
617.75/617.76	c |   1775183 |     962     3996    11895 | 2147483647    35888     28 |  0.723 % |
617.85/617.87	c |   1775343 |     962     3996    11895 | 2147483647    36048     28 |  0.723 % |
617.95/617.99	c |   1775519 |     962     3996    11895 | 2147483647    36224     28 |  0.723 % |
618.05/618.03	c |   1775712 |     962     3996    11895 | 2147483647    36417     28 |  0.723 % |
618.15/618.10	c |   1775926 |     962     3996    11895 | 2147483647    36631     28 |  0.723 % |
618.25/618.28	c |   1776160 |     962     3996    11895 | 2147483647    36865     28 |  0.723 % |
618.45/618.48	c |   1776416 |     962     3996    11895 | 2147483647    37121     28 |  0.723 % |
618.65/618.64	c |   1776697 |     962     3996    11895 | 2147483647    37402     28 |  0.723 % |
618.85/618.87	c |   1777006 |     962     3996    11895 | 2147483647    37711     28 |  0.723 % |
619.05/619.04	c |   1777345 |     962     3996    11895 | 2147483647    38050     28 |  0.726 % |
619.35/619.31	c |   1777717 |     962     3996    11895 | 2147483647    38422     28 |  0.723 % |
619.45/619.50	c |   1778127 |     962     3996    11895 | 2147483647    38832     28 |  0.727 % |
619.85/619.82	c |   1778578 |     962     3996    11895 | 2147483647    39283     28 |  0.723 % |
619.85/619.90	c |   1779072 |     962     3996    11895 | 2147483647    39777     28 |  0.728 % |
619.95/619.99	c |   1779614 |     962     3996    11895 | 2147483647    40319     28 |  0.723 % |
620.35/620.40	c |   1780211 |     962     3996    11895 |    40705    40916     28 |  0.724 % |
620.75/620.76	c |   1780867 |     962     3996    11895 |    40705    32817     26 |  0.723 % |
621.15/621.19	c |   1781587 |     962     3996    11895 |    40705    33537     26 |  0.723 % |
621.35/621.34	c |   1782379 |     962     3996    11895 |    40705    34329     26 |  0.723 % |
621.95/621.94	c |   1783250 |     962     3996    11895 |    40705    35200     26 |  0.723 % |
622.65/622.62	c |   1784210 |     962     3996    11895 |    40705    36160     26 |  0.723 % |
623.35/623.39	c |   1785263 |     962     3996    11895 |    40705    37213     27 |  0.723 % |
624.45/624.43	c |   1786423 |     962     3996    11895 |    40705    38373     27 |  0.723 % |
625.35/625.33	c |   1787697 |     962     3996    11895 |    40705    39647     27 |  0.723 % |
626.45/626.49	c |   1789098 |     962     3996    11895 |    40705    30776     25 |  0.723 % |
627.15/627.10	c |   1790638 |     962     3996    11895 |    31678    23827     25 |  0.727 % |
627.65/627.63	c |   1792333 |     962     3996    11895 |    31678    25522     25 |  0.727 % |
628.35/628.34	c |   1794199 |     962     3996    11895 |    31678    27388     26 |  0.723 % |
629.45/629.41	c |   1796248 |     962     3996    11895 |    31678    29437     26 |  0.728 % |
630.75/630.71	c |   1798501 |     962     3996    11895 |    31678    31690     27 |  0.723 % |
631.45/631.51	c |   1800979 |     962     3996    11895 |    26174    20905     28 |  0.727 % |
632.45/632.42	c |   1803705 |     962     3996    11895 |    26174    23631     29 |  0.723 % |
633.76/633.75	c |   1806702 |     962     3996    11895 |    26174    21758     28 |  0.723 % |
635.35/635.34	c |   1809999 |     962     3996    11895 |    26174    25055     27 |  0.723 % |
636.95/636.96	c |   1813624 |     962     3996    11895 |    25057    24739     26 |  0.723 % |
638.75/638.75	c |   1817612 |     962     3996    11895 |    25057    22321     22 |  0.723 % |
640.25/640.21	c |   1821997 |     962     3996    11895 |    24709    23636     22 |  0.723 % |
641.55/641.51	c |   1826820 |     962     3996    11895 |    24709    21965     21 |  0.727 % |
643.05/643.08	c |   1832127 |     962     3996    11895 |    22272    21889     22 |  0.723 % |
643.75/643.71	c |   1837962 |     962     3996    11895 |    22272    21011     19 |  0.723 % |
645.65/645.69	c |   1844380 |     962     3996    11895 | 2147483647    25159     21 |  0.723 % |
649.95/649.91	c |   1851440 |     962     3996    11895 |    30780    28641     22 |  0.723 % |
653.85/653.89	c |   1859205 |     962     3996    11895 |    30780    26080     24 |  0.723 % |
657.25/657.28	c |   1867746 |     962     3996    11895 |    26876    25848     23 |  0.723 % |
661.05/661.02	c |   1877141 |     962     3996    11895 |    23903    23852     22 |  0.723 % |
665.15/665.11	c |   1887474 |     962     3996    11895 |    23618    23669     26 |  0.723 % |
670.35/670.38	c |   1898840 |     962     3996    11895 | 2147483647    32669     26 |  0.723 % |
677.45/677.49	c |   1911342 |     962     3996    11895 |    33040    27782     23 |  0.723 % |
681.95/681.97	c |   1925095 |     962     3996    11895 |    31365    27817     20 |  0.723 % |
686.15/686.10	c |   1940224 |     962     3996    11895 |    23225    23449     34 |  0.726 % |
691.56/691.60	c |   1956865 |     962     3996    11895 | 2147483647    28376     30 |  0.723 % |
691.66/691.63	c |   1956965 |     962     3996    11895 | 2147483647    28476     30 |  0.723 % |
691.66/691.69	c |   1957076 |     962     3996    11895 | 2147483647    28587     30 |  0.723 % |
691.76/691.71	c |   1957198 |     962     3996    11895 | 2147483647    28709     30 |  0.726 % |
691.76/691.79	c |   1957331 |     962     3996    11895 | 2147483647    28842     30 |  0.723 % |
691.86/691.83	c |   1957478 |     962     3996    11895 | 2147483647    28989     30 |  0.723 % |
691.96/691.92	c |   1957638 |     962     3996    11895 | 2147483647    29149     30 |  0.723 % |
691.96/691.98	c |   1957814 |     962     3996    11895 | 2147483647    29325     30 |  0.723 % |
692.06/692.04	c |   1958007 |     962     3996    11895 | 2147483647    29518     30 |  0.723 % |
692.06/692.11	c |   1958220 |     962     3996    11895 | 2147483647    29731     30 |  0.723 % |
692.16/692.16	c |   1958453 |     962     3996    11895 | 2147483647    29964     30 |  0.726 % |
692.16/692.18	c |   1958711 |     962     3996    11895 | 2147483647    30222     30 |  0.727 % |
692.26/692.21	c |   1958992 |     962     3996    11895 | 2147483647    30503     30 |  0.723 % |
692.36/692.38	c |   1959302 |     962     3996    11895 | 2147483647    30813     30 |  0.723 % |
692.56/692.51	c |   1959641 |     962     3996    11895 | 2147483647    31152     30 |  0.723 % |
692.66/692.65	c |   1960013 |     962     3996    11895 |    31511    31524     30 |  0.723 % |
692.76/692.73	c |   1960426 |     962     3996    11895 |    31511    28378     27 |  0.723 % |
693.06/693.03	c |   1960876 |     962     3996    11895 |    31511    28828     28 |  0.723 % |
693.26/693.26	c |   1961369 |     962     3996    11895 |    31511    29321     28 |  0.723 % |
693.46/693.49	c |   1961911 |     962     3996    11895 |    31511    29863     28 |  0.723 % |
693.76/693.76	c |   1962507 |     962     3996    11895 |    31511    30459     28 |  0.728 % |
693.96/693.95	c |   1963162 |     962     3996    11895 |    31511    31114     28 |  0.723 % |
694.06/694.10	c |   1963883 |     962     3996    11895 |    31511    26668     25 |  0.723 % |
694.16/694.20	c |   1964675 |     962     3996    11895 |    31511    27460     24 |  0.723 % |
694.66/694.63	c |   1965547 |     962     3996    11895 |    31511    28332     25 |  0.723 % |
694.96/694.99	c |   1966505 |     962     3996    11895 |    31511    29290     25 |  0.727 % |
695.16/695.15	c |   1967558 |     962     3996    11895 |    31511    30343     25 |  0.723 % |
695.56/695.59	c |   1968716 |     962     3996    11895 |    31511    31501     25 |  0.723 % |
696.26/696.27	c |   1969989 |     962     3996    11895 |    31511    27215     24 |  0.723 % |
696.86/696.90	c |   1971390 |     962     3996    11895 |    27226    23665     23 |  0.723 % |
697.46/697.46	c |   1972931 |     962     3996    11895 |    27226    25206     24 |  0.723 % |
698.06/698.03	c |   1974625 |     962     3996    11895 |    27226    26900     24 |  0.723 % |
698.76/698.76	c |   1976490 |     962     3996    11895 |    27226    24721     24 |  0.723 % |
699.56/699.55	c |   1978539 |     962     3996    11895 |    27226    26770     24 |  0.723 % |
700.16/700.12	c |   1980792 |     962     3996    11895 |    23975    20867     24 |  0.726 % |
700.86/700.85	c |   1983272 |     962     3996    11895 |    23975    23347     25 |  0.723 % |
701.66/701.64	c |   1985998 |     962     3996    11895 |    23975    22585     24 |  0.723 % |
702.66/702.64	c |   1988996 |     962     3996    11895 |    23975    22379     25 |  0.723 % |
703.46/703.48	c |   1992292 |     962     3996    11895 |    23384    22954     24 |  0.723 % |
704.86/704.87	c |   1995917 |     962     3996    11895 |    23384    21839     24 |  0.727 % |
706.06/706.08	c |   1999904 |     962     3996    11895 |    23384    23442     24 |  0.723 % |
708.16/708.12	c |   2004289 |     962     3996    11895 | 2147483647    25483     23 |  0.723 % |
710.56/710.58	c |   2009112 |     962     3996    11895 | 2147483647    30306     24 |  0.723 % |
713.06/713.08	c |   2014418 |     962     3996    11895 |    31194    27181     24 |  0.723 % |
715.86/715.91	c |   2020253 |     962     3996    11895 |    27959    23779     23 |  0.723 % |
718.66/718.68	c |   2026672 |     962     3996    11895 |    27959    26449     23 |  0.723 % |
721.56/721.60	c |   2033732 |     962     3996    11895 |    26350    24082     22 |  0.723 % |
724.96/724.99	c |   2041496 |     962     3996    11895 |    24375    22746     22 |  0.723 % |
728.66/728.64	c |   2050038 |     962     3996    11895 | 2147483647    23358     22 |  0.723 % |
731.86/731.87	c |   2059435 |     962     3996    11895 | 2147483647    32755     24 |  0.723 % |
736.86/736.87	c |   2069768 |     962     3996    11895 |    33320    30578     23 |  0.723 % |
741.36/741.40	c |   2081134 |     962     3996    11895 |    26029    22822     25 |  0.723 % |
746.16/746.11	c |   2093636 |     962     3996    11895 |    24039    24329     24 |  0.723 % |
751.07/751.08	c |   2107390 |     962     3996    11895 |    22550    21726     27 |  0.723 % |
754.97/754.95	c |   2122518 |     962     3996    11895 | 2147483647    23218     23 |  0.723 % |
761.87/761.82	c |   2139158 |     962     3996    11895 |    30700    26116     22 |  0.723 % |
767.98/768.00	c |   2157461 |     962     3996    11895 |    23718    23793     26 |  0.723 % |
768.07/768.06	c |   2157563 |     962     3996    11895 |    23718    20713     27 |  0.723 % |
768.07/768.08	c |   2157675 |     962     3996    11895 |    23718    20825     27 |  0.723 % |
768.07/768.11	c |   2157798 |     962     3996    11895 |    23718    20948     27 |  0.727 % |
768.17/768.15	c |   2157931 |     962     3996    11895 |    23718    21081     27 |  0.727 % |
768.17/768.20	c |   2158077 |     962     3996    11895 |    23718    21227     27 |  0.727 % |
768.27/768.22	c |   2158238 |     962     3996    11895 |    23718    21388     27 |  0.727 % |
768.27/768.24	c |   2158415 |     962     3996    11895 |    23718    21565     27 |  0.723 % |
768.27/768.28	c |   2158609 |     962     3996    11895 |    23718    21759     27 |  0.723 % |
768.27/768.30	c |   2158822 |     962     3996    11895 |    23718    21972     27 |  0.723 % |
768.37/768.32	c |   2159056 |     962     3996    11895 |    23718    22206     26 |  0.723 % |
768.37/768.34	c |   2159313 |     962     3996    11895 |    23718    22463     26 |  0.723 % |
768.47/768.44	c |   2159594 |     962     3996    11895 |    23718    22744     26 |  0.723 % |
768.57/768.55	c |   2159903 |     962     3996    11895 |    23718    23053     26 |  0.723 % |
768.67/768.68	c |   2160242 |     962     3996    11895 |    23151    20633     25 |  0.723 % |
768.77/768.79	c |   2160614 |     962     3996    11895 |    23151    21005     26 |  0.723 % |
768.97/768.92	c |   2161024 |     962     3996    11895 |    23151    21415     26 |  0.723 % |
768.97/769.00	c |   2161474 |     962     3996    11895 |    23151    21865     26 |  0.727 % |
769.17/769.12	c |   2161969 |     962     3996    11895 |    23151    22360     26 |  0.723 % |
769.27/769.26	c |   2162511 |     962     3996    11895 |    23151    22902     26 |  0.723 % |
769.47/769.44	c |   2163108 |     962     3996    11895 |    23151    20253     25 |  0.723 % |
769.57/769.61	c |   2163763 |     962     3996    11895 |    23151    20908     25 |  0.723 % |
769.87/769.82	c |   2164485 |     962     3996    11895 |    23151    21630     25 |  0.723 % |
770.07/770.09	c |   2165277 |     962     3996    11895 |    23151    22422     26 |  0.723 % |
770.47/770.46	c |   2166148 |     962     3996    11895 |    23151    23293     26 |  0.723 % |
770.87/770.85	c |   2167108 |     962     3996    11895 |    23151    21283     25 |  0.723 % |
771.17/771.14	c |   2168163 |     962     3996    11895 |    23151    22338     25 |  0.723 % |
771.57/771.53	c |   2169323 |     962     3996    11895 |    23151    20781     25 |  0.723 % |
771.77/771.78	c |   2170596 |     962     3996    11895 |    21460    19883     24 |  0.723 % |
772.07/772.06	c |   2171996 |     962     3996    11895 |    21460    21283     25 |  0.723 % |
772.57/772.52	c |   2173537 |     962     3996    11895 |    21460    20333     25 |  0.723 % |
772.87/772.83	c |   2175231 |     962     3996    11895 |    21460    19621     25 |  0.723 % |
773.48/773.48	c |   2177094 |     962     3996    11895 |    21460    21484     25 |  0.727 % |
774.07/774.08	c |   2179146 |     962     3996    11895 |    21460    21347     24 |  0.727 % |
774.58/774.59	c |   2181401 |     962     3996    11895 |    19626    18523     23 |  0.727 % |
775.37/775.40	c |   2183879 |     962     3996    11895 |    19626    18766     23 |  0.727 % |
776.27/776.27	c |   2186605 |     962     3996    11895 |    19626    19518     23 |  0.723 % |
777.27/777.27	c |   2189604 |     962     3996    11895 |    19626    18552     23 |  0.723 % |
778.27/778.24	c |   2192901 |     962     3996    11895 | 2147483647    21849     23 |  0.723 % |
779.37/779.41	c |   2196526 |     962     3996    11895 | 2147483647    25474     24 |  0.723 % |
780.67/780.67	c |   2200513 |     962     3996    11895 |    28949    25449     26 |  0.723 % |
781.47/781.47	c |   2204899 |     962     3996    11895 |    28949    26437     24 |  0.727 % |
783.57/783.52	c |   2209725 |     962     3996    11895 |    28949    27349     25 |  0.723 % |
785.67/785.68	c |   2215031 |     962     3996    11895 |    27625    25168     24 |  0.723 % |
788.07/788.03	c |   2220867 |     962     3996    11895 |    26336    23310     24 |  0.723 % |
791.17/791.16	c |   2227285 |     962     3996    11895 |    26336    25415     24 |  0.723 % |
793.77/793.77	c |   2234345 |     962     3996    11895 |    23764    20887     24 |  0.727 % |
796.67/796.66	c |   2242110 |     962     3996    11895 |    23743    23357     23 |  0.723 % |
799.37/799.35	c |   2250650 |     962     3996    11895 | 2147483647    22326     23 |  0.723 % |
803.87/803.82	c |   2260044 |     962     3996    11895 |    31676    31720     24 |  0.723 % |
808.07/808.10	c |   2270378 |     962     3996    11895 |    31611    26744     28 |  0.723 % |
812.47/812.49	c |   2281745 |     962     3996    11895 |    30088    25843     31 |  0.723 % |
818.18/818.20	c |   2294247 |     962     3996    11895 |    28499    27603     28 |  0.723 % |
824.58/824.57	c |   2307999 |     962     3996    11895 |    24541    22384     23 |  0.723 % |
829.98/829.95	c |   2323126 |     962     3996    11895 | 2147483647    27228     20 |  0.723 % |
837.68/837.65	c |   2339766 |     962     3996    11895 |    34102    33062     24 |  0.723 % |
846.38/846.36	c |   2358068 |     962     3996    11895 |    31292    28226     25 |  0.723 % |
854.38/854.41	c |   2378202 |     962     3996    11895 |    27445    23725     35 |  0.727 % |
854.48/854.44	c |   2378302 |     962     3996    11895 |    27445    23825     35 |  0.723 % |
854.48/854.47	c |   2378412 |     962     3996    11895 |    27445    23935     35 |  0.727 % |
854.48/854.48	c |   2378533 |     962     3996    11895 |    27445    24056     35 |  0.723 % |
854.48/854.51	c |   2378667 |     962     3996    11895 |    27445    24190     35 |  0.723 % |
854.58/854.53	c |   2378813 |     962     3996    11895 |    27445    24336     35 |  0.723 % |
854.58/854.60	c |   2378973 |     962     3996    11895 |    27445    24496     35 |  0.723 % |
854.68/854.68	c |   2379149 |     962     3996    11895 |    27445    24672     35 |  0.723 % |
854.78/854.73	c |   2379342 |     962     3996    11895 |    27445    24865     35 |  0.723 % |
854.78/854.79	c |   2379554 |     962     3996    11895 |    27445    25077     35 |  0.723 % |
854.88/854.82	c |   2379788 |     962     3996    11895 |    27445    25311     34 |  0.723 % |
854.88/854.84	c |   2380045 |     962     3996    11895 |    25523    25568     34 |  0.723 % |
854.88/854.89	c |   2380328 |     962     3996    11895 |    25523    20890     32 |  0.723 % |
854.98/855.00	c |   2380637 |     962     3996    11895 |    25523    21199     32 |  0.723 % |
855.08/855.09	c |   2380976 |     962     3996    11895 |    25523    21538     32 |  0.723 % |
855.18/855.14	c |   2381348 |     962     3996    11895 |    25523    21910     32 |  0.723 % |
855.28/855.28	c |   2381758 |     962     3996    11895 |    25523    22320     32 |  0.723 % |
855.38/855.35	c |   2382207 |     962     3996    11895 |    25523    22769     32 |  0.723 % |
855.48/855.47	c |   2382700 |     962     3996    11895 |    25523    23262     32 |  0.723 % |
855.58/855.60	c |   2383242 |     962     3996    11895 |    25523    23804     32 |  0.723 % |
855.78/855.81	c |   2383839 |     962     3996    11895 |    25523    24401     32 |  0.727 % |
855.98/855.97	c |   2384494 |     962     3996    11895 |    25523    25056     32 |  0.723 % |
856.18/856.18	c |   2385214 |     962     3996    11895 |    25523    25776     32 |  0.723 % |
856.38/856.38	c |   2386006 |     962     3996    11895 |    25523    22947     30 |  0.723 % |
856.58/856.59	c |   2386877 |     962     3996    11895 |    25523    23818     30 |  0.723 % |
856.88/856.92	c |   2387836 |     962     3996    11895 |    25523    24777     29 |  0.723 % |
857.28/857.29	c |   2388889 |     962     3996    11895 |    25523    23043     28 |  0.723 % |
857.58/857.58	c |   2390048 |     962     3996    11895 |    24154    24202     28 |  0.723 % |
857.78/857.78	c |   2391322 |     962     3996    11895 |    24154    22824     26 |  0.723 % |
858.18/858.18	c |   2392723 |     962     3996    11895 |    24154    24225     26 |  0.723 % |
858.58/858.59	c |   2394264 |     962     3996    11895 |    24154    23200     24 |  0.723 % |
859.08/859.05	c |   2395962 |     962     3996    11895 |    24154    22219     24 |  0.723 % |
859.58/859.56	c |   2397826 |     962     3996    11895 |    24154    24083     24 |  0.723 % |
860.28/860.28	c |   2399875 |     962     3996    11895 |    24154    23072     23 |  0.727 % |
861.08/861.02	c |   2402129 |     962     3996    11895 |    23197    22878     22 |  0.723 % |
862.18/862.13	c |   2404608 |     962     3996    11895 |    23197    23006     23 |  0.723 % |
862.98/862.92	c |   2407334 |     962     3996    11895 |    23197    23238     23 |  0.723 % |
863.98/864.00	c |   2410331 |     962     3996    11895 | 2147483647    21572     23 |  0.723 % |
865.18/865.19	c |   2413627 |     962     3996    11895 | 2147483647    24868     23 |  0.723 % |
866.98/866.97	c |   2417254 |     962     3996    11895 | 2147483647    28495     24 |  0.723 % |
868.78/868.74	c |   2421243 |     962     3996    11895 |    31241    28942     23 |  0.723 % |
870.98/871.01	c |   2425628 |     962     3996    11895 |    31241    29087     23 |  0.723 % |
873.68/873.71	c |   2430451 |     962     3996    11895 |    28735    24741     22 |  0.723 % |
876.18/876.13	c |   2435757 |     962     3996    11895 |    28735    26179     22 |  0.723 % |
878.28/878.25	c |   2441592 |     962     3996    11895 |    26552    24512     23 |  0.723 % |
880.38/880.36	c |   2448011 |     962     3996    11895 |    26552    24677     24 |  0.728 % |
882.98/883.01	c |   2455073 |     962     3996    11895 |    26667    23967     26 |  0.727 % |
884.88/884.90	c |   2462837 |     961     3992    11879 |    22148    22372     27 |  0.826 % |
887.68/887.67	c |   2471377 |     961     3992    11879 |    20208    19382     27 |  0.826 % |
890.78/890.81	c |   2480772 |     961     3992    11879 | 2147483647    20574     25 |  0.826 % |
895.48/895.52	c |   2491107 |     961     3992    11879 |    29802    26611     26 |  0.826 % |
901.18/901.17	c |   2502475 |     961     3992    11879 |    25138    23270     25 |  0.826 % |
905.68/905.65	c |   2514977 |     961     3992    11879 |    24573    24249     22 |  0.826 % |
910.99/910.93	c |   2528729 |     961     3992    11879 | 2147483647    32773     21 |  0.826 % |
918.27/918.23	c |   2543856 |     961     3992    11879 |    29042    28102     23 |  0.826 % |
926.38/926.36	c |   2560496 |     961     3992    11879 |    22955    20873     22 |  0.826 % |
932.77/932.73	c |   2578799 |     961     3992    11879 |    23123    21791     23 |  0.826 % |
940.68/940.66	c |   2598932 |     961     3992    11879 | 2147483647    30302     23 |  0.826 % |
951.18/951.21	c |   2621078 |     961     3992    11879 |    31239    27573     22 |  0.826 % |
951.28/951.23	c |   2621178 |     961     3992    11879 |    31239    27673     22 |  0.829 % |
951.28/951.28	c |   2621288 |     961     3992    11879 |    31239    27783     22 |  0.826 % |
951.38/951.32	c |   2621409 |     961     3992    11879 |    31239    27904     22 |  0.826 % |
951.38/951.37	c |   2621543 |     961     3992    11879 |    31239    28038     22 |  0.826 % |
951.38/951.38	c |   2621690 |     961     3992    11879 |    31239    28185     22 |  0.830 % |
951.48/951.46	c |   2621850 |     961     3992    11879 |    31239    28345     22 |  0.826 % |
951.58/951.52	c |   2622026 |     961     3992    11879 |    31239    28521     23 |  0.826 % |
951.58/951.55	c |   2622220 |     961     3992    11879 |    31239    28715     22 |  0.826 % |
951.58/951.57	c |   2622434 |     961     3992    11879 |    31239    28929     22 |  0.826 % |
951.68/951.69	c |   2622667 |     961     3992    11879 |    31239    29162     23 |  0.826 % |
951.78/951.79	c |   2622923 |     961     3992    11879 |    31239    29418     23 |  0.826 % |
951.98/951.94	c |   2623204 |     961     3992    11879 |    31239    29699     23 |  0.826 % |
952.08/952.10	c |   2623513 |     961     3992    11879 |    31239    30008     23 |  0.826 % |
952.28/952.24	c |   2623852 |     961     3992    11879 |    31239    30347     23 |  0.826 % |
952.48/952.43	c |   2624225 |     961     3992    11879 |    31239    30720     23 |  0.826 % |
952.68/952.71	c |   2624635 |     961     3992    11879 |    31239    31130     23 |  0.826 % |
952.88/952.86	c |   2625086 |     961     3992    11879 |    31239    31581     23 |  0.826 % |
952.98/952.96	c |   2625580 |     961     3992    11879 |    31239    26276     23 |  0.831 % |
953.18/953.18	c |   2626122 |     961     3992    11879 |    31239    26818     23 |  0.826 % |
953.48/953.45	c |   2626718 |     961     3992    11879 |    31239    27414     23 |  0.826 % |
953.88/953.82	c |   2627375 |     961     3992    11879 |    31239    28071     24 |  0.826 % |
954.18/954.18	c |   2628096 |     961     3992    11879 |    31239    28792     24 |  0.826 % |
954.48/954.50	c |   2628890 |     961     3992    11879 |    31239    29586     24 |  0.826 % |
954.78/954.79	c |   2629763 |     961     3992    11879 |    31239    30459     24 |  0.826 % |
955.18/955.17	c |   2630721 |     961     3992    11879 |    30698    25652     24 |  0.826 % |
955.28/955.30	c |   2631775 |     961     3992    11879 |    30698    26706     23 |  0.826 % |
955.78/955.78	c |   2632935 |     961     3992    11879 |    30698    27866     24 |  0.826 % |
956.18/956.16	c |   2634210 |     961     3992    11879 |    30698    29141     24 |  0.826 % |
956.78/956.80	c |   2635611 |     961     3992    11879 |    30698    30542     24 |  0.826 % |
957.48/957.44	c |   2637151 |     961     3992    11879 |    30698    26700     24 |  0.826 % |
958.18/958.20	c |   2638845 |     961     3992    11879 |    30698    28394     24 |  0.832 % |
959.38/959.33	c |   2640708 |     961     3992    11879 |    29550    24739     24 |  0.826 % |
960.18/960.13	c |   2642758 |     961     3992    11879 |    29550    26789     25 |  0.826 % |
961.28/961.29	c |   2645011 |     961     3992    11879 |    29550    29042     25 |  0.826 % |
961.98/961.92	c |   2647491 |     961     3992    11879 |    29550    25919     25 |  0.831 % |
962.58/962.56	c |   2650217 |     961     3992    11879 |    28429    23626     23 |  0.826 % |
963.58/963.59	c |   2653214 |     961     3992    11879 |    28429    26623     25 |  0.827 % |
965.38/965.39	c |   2656510 |     961     3992    11879 |    28429    25201     24 |  0.826 % |
966.38/966.40	c |   2660135 |     961     3992    11879 |    28692    28826     26 |  0.829 % |
967.28/967.25	c |   2664123 |     961     3992    11879 |    28692    27600     24 |  0.826 % |
969.08/969.03	c |   2668510 |     961     3992    11879 |    28692    28091     25 |  0.829 % |
969.78/969.73	c |   2673334 |     961     3992    11879 |    25234    24872     22 |  0.826 % |
971.28/971.26	c |   2678640 |     961     3992    11879 |    25234    23875     22 |  0.826 % |
974.18/974.12	c |   2684475 |     961     3992    11879 |    25236    22957     23 |  0.826 % |
976.78/976.76	c |   2690893 |     961     3992    11879 |    25263    23100     25 |  0.826 % |
979.68/979.70	c |   2697953 |     961     3992    11879 |    25263    23624     24 |  0.826 % |
982.28/982.27	c |   2705717 |     961     3992    11879 |    22020    21297     23 |  0.826 % |
985.28/985.23	c |   2714257 |     961     3992    11879 |    19645    19090     23 |  0.826 % |
987.38/987.40	c |   2723651 |     961     3992    11879 | 2147483647    22549     21 |  0.826 % |
992.68/992.70	c |   2733985 |     961     3992    11879 | 2147483647    32883     24 |  0.826 % |
1000.38/1000.32	c |   2745352 |     961     3992    11879 |    38900    36866     25 |  0.826 % |
1008.48/1008.48	c |   2757854 |     961     3992    11879 |    33433    27534     23 |  0.826 % |
1015.18/1015.20	c |   2771606 |     961     3992    11879 |    28738    25859     22 |  0.826 % |
1022.09/1022.07	c |   2786733 |     961     3992    11879 |    26018    23626     21 |  0.826 % |
1029.58/1029.60	c |   2803373 |     961     3992    11879 |    34254    32356     24 |  0.826 % |
1039.78/1039.78	c |   2821677 |     961     3992    11879 |    30894    27092     23 |  0.827 % |
1046.78/1046.71	c |   2841811 |     961     3992    11879 |    29796    26115     25 |  0.826 % |
1058.78/1058.81	c |   2863957 |     961     3992    11879 |    26525    23273     19 |  0.826 % |
1069.09/1069.11	c |   2888317 |     961     3992    11879 |    24281    24308     24 |  0.826 % |
1069.19/1069.18	c |   2888417 |     961     3992    11879 |    24281    21416     23 |  0.826 % |
1069.19/1069.21	c |   2888527 |     961     3992    11879 |    24281    21526     23 |  0.826 % |
1069.29/1069.24	c |   2888649 |     961     3992    11879 |    24281    21648     23 |  0.830 % |
1069.29/1069.28	c |   2888782 |     961     3992    11879 |    24281    21781     23 |  0.826 % |
1069.39/1069.33	c |   2888928 |     961     3992    11879 |    24281    21927     23 |  0.826 % |
1069.39/1069.35	c |   2889090 |     961     3992    11879 |    24281    22089     23 |  0.826 % |
1069.39/1069.38	c |   2889266 |     961     3992    11879 |    24281    22265     23 |  0.829 % |
1069.39/1069.42	c |   2889459 |     961     3992    11879 |    24281    22458     23 |  0.826 % |
1069.49/1069.46	c |   2889674 |     961     3992    11879 |    24281    22673     23 |  0.826 % |
1069.59/1069.57	c |   2889908 |     961     3992    11879 |    24281    22907     23 |  0.826 % |
1069.69/1069.65	c |   2890166 |     961     3992    11879 |    23000    23165     23 |  0.826 % |
1069.79/1069.77	c |   2890447 |     961     3992    11879 |    23000    20590     23 |  0.826 % |
1069.89/1069.86	c |   2890756 |     961     3992    11879 |    23000    20899     23 |  0.826 % |
1070.09/1070.02	c |   2891097 |     961     3992    11879 |    23000    21240     23 |  0.826 % |
1070.09/1070.09	c |   2891469 |     961     3992    11879 |    23000    21612     23 |  0.830 % |
1070.19/1070.18	c |   2891878 |     961     3992    11879 |    23000    22021     23 |  0.829 % |
1070.29/1070.28	c |   2892328 |     961     3992    11879 |    23000    22471     23 |  0.826 % |
1070.49/1070.47	c |   2892821 |     961     3992    11879 |    23000    22964     24 |  0.826 % |
1070.69/1070.67	c |   2893363 |     961     3992    11879 |    23000    20610     23 |  0.826 % |
1070.79/1070.82	c |   2893959 |     961     3992    11879 |    23000    21206     23 |  0.826 % |
1071.09/1071.08	c |   2894616 |     961     3992    11879 |    23000    21863     24 |  0.826 % |
1071.39/1071.35	c |   2895336 |     961     3992    11879 |    23000    22583     24 |  0.826 % |
1071.79/1071.73	c |   2896128 |     961     3992    11879 |    23000    20623     24 |  0.826 % |
1072.09/1072.07	c |   2896999 |     961     3992    11879 |    23000    21494     24 |  0.826 % |
1072.49/1072.43	c |   2897957 |     961     3992    11879 |    23000    22452     24 |  0.826 % |
1072.79/1072.81	c |   2899010 |     961     3992    11879 |    23000    20654     23 |  0.826 % |
1072.99/1073.02	c |   2900169 |     961     3992    11879 |    21644    21813     24 |  0.826 % |
1073.39/1073.38	c |   2901442 |     961     3992    11879 |    21644    20407     24 |  0.826 % |
1073.59/1073.54	c |   2902842 |     961     3992    11879 |    21644    19631     23 |  0.826 % |
1074.09/1074.11	c |   2904383 |     961     3992    11879 |    21644    21172     24 |  0.826 % |
1074.69/1074.69	c |   2906079 |     961     3992    11879 |    21644    20678     24 |  0.826 % |
1075.29/1075.31	c |   2907944 |     961     3992    11879 |    21644    20342     24 |  0.831 % |
1075.89/1075.83	c |   2909993 |     961     3992    11879 |    21644    20190     24 |  0.830 % |
1076.79/1076.72	c |   2912248 |     961     3992    11879 | 2147483647    22445     24 |  0.826 % |
1077.59/1077.57	c |   2914726 |     961     3992    11879 | 2147483647    24923     25 |  0.826 % |
1078.89/1078.83	c |   2917451 |     961     3992    11879 | 2147483647    27648     26 |  0.826 % |
1080.09/1080.10	c |   2920449 |     961     3992    11879 |    30197    26219     26 |  0.826 % |
1081.49/1081.45	c |   2923746 |     961     3992    11879 |    30197    29516     27 |  0.826 % |
1082.89/1082.89	c |   2927372 |     961     3992    11879 |    30197    27918     26 |  0.826 % |
1084.89/1084.85	c |   2931360 |     961     3992    11879 |    24990    21752     25 |  0.826 % |
1086.49/1086.46	c |   2935746 |     961     3992    11879 |    24990    21965     24 |  0.826 % |
1088.69/1088.62	c |   2940569 |     961     3992    11879 |    22483    19826     22 |  0.826 % |
1089.99/1089.92	c |   2945874 |     961     3992    11879 |    22483    22342     26 |  0.831 % |
1091.99/1092.01	c |   2951709 |     961     3992    11879 |    21489    21018     27 |  0.826 % |
1094.09/1094.08	c |   2958127 |     961     3992    11879 |    21489    20918     27 |  0.826 % |
1096.59/1096.54	c |   2965186 |     961     3992    11879 | 2147483647    25796     26 |  0.826 % |
1100.89/1100.82	c |   2972951 |     961     3992    11879 |    30610    29605     25 |  0.826 % |
1104.99/1104.96	c |   2981494 |     961     3992    11879 |    26679    23722     23 |  0.826 % |
1109.49/1109.44	c |   2990890 |     961     3992    11879 |    25366    23204     23 |  0.826 % |
1114.59/1114.58	c |   3001223 |     961     3992    11879 |    22580    20831     23 |  0.826 % |
1120.39/1120.36	c |   3012589 |     961     3992    11879 | 2147483647    25156     23 |  0.826 % |
1124.99/1124.97	c |   3025092 |     961     3992    11879 |    32567    31897     35 |  0.829 % |
1129.79/1129.78	c |   3038846 |     961     3992    11879 |    29627    24785     42 |  0.829 % |
1134.29/1134.25	c |   3053974 |     961     3992    11879 | 2147483647    29019     30 |  0.826 % |
1142.49/1142.43	c |   3070614 |     961     3992    11879 |    32917    27117     21 |  0.826 % |
1154.29/1154.27	c |   3088916 |     961     3992    11879 |    29532    26821     26 |  0.826 % |
1165.49/1165.49	c |   3109048 |     961     3992    11879 |    28057    28278     27 |  0.826 % |
1173.39/1173.33	c |   3131195 |     961     3992    11879 |    21871    20092     37 |  0.830 % |
1187.49/1187.45	c |   3155554 |     961     3992    11879 |    31737    26573     31 |  0.826 % |
1199.80/1199.76	c |   3182349 |     961     3992    11879 |    28552    25160     36 |  0.831 % |
1199.80/1199.78	c |   3182449 |     961     3992    11879 |    28552    25260     36 |  0.826 % |
1199.90/1199.82	c |   3182560 |     961     3992    11879 |    28552    25371     36 |  0.826 % |
1199.90/1199.85	c |   3182682 |     961     3992    11879 |    28552    25493     36 |  0.831 % |
1199.90/1199.87	c |   3182815 |     961     3992    11879 |    28552    25626     36 |  0.826 % |
1199.90/1199.89	c |   3182962 |     961     3992    11879 |    28552    25773     36 |  0.826 % |
1200.00/1199.93	HOME/SatELiteGTI: line 36: 19642 Terminated              $MS $TMP.cnf $TMP.result

Verifier Data

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

Watcher Data

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/96 19636
/proc/meminfo: memFree=1300324/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2416 CPUtime=0.01
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 369 644 0 0 0 0 1 0 18 0 1 0 1009885393 2473984 277 4294967295 134512640 135169312 3214488800 3214487336 3085065966 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/19636/statm: 604 277 235 161 0 43 0
[pid=19640] ppid=19636 vsize=952 CPUtime=0
/proc/19640/stat : 19640 (SatELite_releas) R 19636 19636 11066 0 -1 4202496 121 0 0 0 0 0 0 0 20 0 1 0 1009885394 974848 56 4294967295 134512640 135223648 3221023504 3221022088 134719062 0 0 0 3 0 0 0 17 0 0 0 0
/proc/19640/statm: 238 59 47 174 0 63 0

[startup+0.122141 s]
/proc/loadavg: 0.92 0.98 0.99 2/96 19636
/proc/meminfo: memFree=1300324/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2420

[startup+0.212128 s]
/proc/loadavg: 0.92 0.98 0.99 2/96 19636
/proc/meminfo: memFree=1300324/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2420

[startup+0.312122 s]
/proc/loadavg: 0.92 0.98 0.99 2/96 19636
/proc/meminfo: memFree=1300324/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2420

[startup+0.712105 s]
/proc/loadavg: 0.92 0.98 0.99 2/96 19636
/proc/meminfo: memFree=1300324/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2420

[startup+1.51206 s]
/proc/loadavg: 0.92 0.98 0.99 3/98 19642
/proc/meminfo: memFree=1298672/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=3664 CPUtime=1.48
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 622 0 0 0 148 0 0 0 25 0 1 0 1009885397 3751936 557 4294967295 134512640 135215339 3218975104 3218973392 134528700 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 916 557 72 172 0 743 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 6084

[startup+3.11197 s]
/proc/loadavg: 0.92 0.98 0.99 3/98 19642
/proc/meminfo: memFree=1297432/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=5116 CPUtime=3.08
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 987 0 0 0 308 0 0 0 25 0 1 0 1009885397 5238784 922 4294967295 134512640 135215339 3218975104 3218973168 134538435 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 1279 922 72 172 0 1106 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 7536

[startup+6.31179 s]
/proc/loadavg: 0.93 0.98 0.99 3/98 19825
/proc/meminfo: memFree=1295292/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=6868 CPUtime=6.28
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 1408 0 0 0 628 0 0 0 25 0 1 0 1009885397 7032832 1343 4294967295 134512640 135215339 3218975104 3218973168 134538104 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 1717 1343 72 172 0 1544 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 9288

[startup+12.7114 s]
/proc/loadavg: 0.93 0.98 0.99 3/98 19825
/proc/meminfo: memFree=1294652/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=7264 CPUtime=12.68
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 1520 0 0 0 1268 0 0 0 25 0 1 0 1009885397 7438336 1455 4294967295 134512640 135215339 3218975104 3218973392 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 1816 1455 72 172 0 1643 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 9684

[startup+25.5107 s]
/proc/loadavg: 0.95 0.98 0.99 3/98 19825
/proc/meminfo: memFree=1294872/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=7400 CPUtime=25.48
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 1528 0 0 0 2548 0 0 0 25 0 1 0 1009885397 7577600 1463 4294967295 134512640 135215339 3218975104 3218973392 134528899 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 1850 1463 72 172 0 1677 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 9820

[startup+51.1093 s]
/proc/loadavg: 0.96 0.98 0.99 3/98 19828
/proc/meminfo: memFree=1294904/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=7400 CPUtime=51.08
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 1535 0 0 0 5108 0 0 0 25 0 1 0 1009885397 7577600 1470 4294967295 134512640 135215339 3218975104 3218973392 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 1850 1470 72 172 0 1677 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 9820

[startup+102.316 s]
/proc/loadavg: 0.98 0.98 0.99 3/98 20014
/proc/meminfo: memFree=1294672/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=7400 CPUtime=102.29
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 1544 0 0 0 10228 1 0 0 25 0 1 0 1009885397 7577600 1479 4294967295 134512640 135215339 3218975104 3218973392 134528814 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 1850 1479 72 172 0 1677 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 9820

[startup+162.313 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 20206
/proc/meminfo: memFree=1294168/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=7672 CPUtime=162.29
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 1618 0 0 0 16228 1 0 0 25 0 1 0 1009885397 7856128 1553 4294967295 134512640 135215339 3218975104 3218973392 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 1918 1553 72 172 0 1745 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 10092

[startup+222.31 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 20395
/proc/meminfo: memFree=1292936/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=8808 CPUtime=222.29
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 1869 0 0 0 22227 2 0 0 25 0 1 0 1009885397 9019392 1804 4294967295 134512640 135215339 3218975104 3218973392 134528872 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 2202 1804 72 172 0 2029 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 11228

[startup+282.307 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 20585
/proc/meminfo: memFree=1292804/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=8808 CPUtime=282.29
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 1878 0 0 0 28227 2 0 0 25 0 1 0 1009885397 9019392 1813 4294967295 134512640 135215339 3218975104 3218973104 134532582 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 2202 1813 72 172 0 2029 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 11228

[startup+342.313 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 20769
/proc/meminfo: memFree=1292696/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=8808 CPUtime=342.3
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 1888 0 0 0 34228 2 0 0 25 0 1 0 1009885397 9019392 1823 4294967295 134512640 135215339 3218975104 3218973392 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 2202 1823 72 172 0 2029 0
Current children cumulated CPU time (s) 342.34
Current children cumulated vsize (KiB) 11228

[startup+402.31 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 20964
/proc/meminfo: memFree=1292944/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=8808 CPUtime=402.3
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 1889 0 0 0 40228 2 0 0 25 0 1 0 1009885397 9019392 1824 4294967295 134512640 135215339 3218975104 3218973392 134528691 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 2202 1824 72 172 0 2029 0
Current children cumulated CPU time (s) 402.34

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

/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=8956 CPUtime=462.31
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 1909 0 0 0 46229 2 0 0 25 0 1 0 1009885397 9170944 1844 4294967295 134512640 135215339 3218975104 3218973392 134528700 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 2239 1844 72 172 0 2066 0
Current children cumulated CPU time (s) 462.35
Current children cumulated vsize (KiB) 11376

[startup+522.313 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 21342
/proc/meminfo: memFree=1292704/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=8956 CPUtime=522.31
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 1932 0 0 0 52228 3 0 0 25 0 1 0 1009885397 9170944 1867 4294967295 134512640 135215339 3218975104 3218973392 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 2239 1867 72 172 0 2066 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 11376

[startup+582.31 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 21530
/proc/meminfo: memFree=1292432/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=9364 CPUtime=582.31
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 2027 0 0 0 58227 4 0 0 25 0 1 0 1009885397 9588736 1962 4294967295 134512640 135215339 3218975104 3218973392 134529157 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 2341 1962 72 172 0 2168 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 11784

[startup+642.307 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 21714
/proc/meminfo: memFree=1291192/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=10564 CPUtime=642.31
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 2315 0 0 0 64227 4 0 0 25 0 1 0 1009885397 10817536 2250 4294967295 134512640 135215339 3218975104 3218973392 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 2641 2250 72 172 0 2468 0
Current children cumulated CPU time (s) 642.35
Current children cumulated vsize (KiB) 12984

[startup+702.313 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 21903
/proc/meminfo: memFree=1291216/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=10564 CPUtime=702.32
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 2317 0 0 0 70228 4 0 0 25 0 1 0 1009885397 10817536 2252 4294967295 134512640 135215339 3218975104 3218973392 134528691 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 2641 2252 72 172 0 2468 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 12984

[startup+762.32 s]
/proc/loadavg: 0.99 0.98 0.99 2/98 22099
/proc/meminfo: memFree=1291140/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=10564 CPUtime=762.33
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 2318 0 0 0 76229 4 0 0 25 0 1 0 1009885397 10817536 2253 4294967295 134512640 135215339 3218975104 3218973392 134528804 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 2641 2253 72 172 0 2468 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 12984

[startup+822.327 s]
/proc/loadavg: 0.99 0.98 0.99 3/98 22288
/proc/meminfo: memFree=1291348/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=10564 CPUtime=822.34
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 2318 0 0 0 82230 4 0 0 25 0 1 0 1009885397 10817536 2253 4294967295 134512640 135215339 3218975104 3218973168 134539403 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 2641 2253 72 172 0 2468 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 12984

[startup+882.333 s]
/proc/loadavg: 1.09 1.01 1.00 3/98 22476
/proc/meminfo: memFree=1291116/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=10564 CPUtime=882.35
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 2320 0 0 0 88230 5 0 0 25 0 1 0 1009885397 10817536 2255 4294967295 134512640 135215339 3218975104 3218973392 134528666 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 2641 2255 72 172 0 2468 0
Current children cumulated CPU time (s) 882.39
Current children cumulated vsize (KiB) 12984

[startup+942.32 s]
/proc/loadavg: 1.12 1.04 1.01 3/98 22660
/proc/meminfo: memFree=1290992/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=10564 CPUtime=942.34
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 2320 0 0 0 94229 5 0 0 25 0 1 0 1009885397 10817536 2255 4294967295 134512640 135215339 3218975104 3218973392 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 2641 2255 72 172 0 2468 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 12984

[startup+1002.32 s]
/proc/loadavg: 1.27 1.09 1.02 3/98 22849
/proc/meminfo: memFree=1290860/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=10836 CPUtime=1002.34
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 2367 0 0 0 100229 5 0 0 25 0 1 0 1009885397 11096064 2302 4294967295 134512640 135215339 3218975104 3218973392 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 2709 2302 72 172 0 2536 0
Current children cumulated CPU time (s) 1002.38
Current children cumulated vsize (KiB) 13256

[startup+1062.31 s]
/proc/loadavg: 1.17 1.10 1.03 4/98 23038
/proc/meminfo: memFree=1290480/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=10988 CPUtime=1062.34
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 2417 0 0 0 106229 5 0 0 25 0 1 0 1009885397 11251712 2352 4294967295 134512640 135215339 3218975104 3218973392 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 2747 2352 72 172 0 2574 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 13408

[startup+1122.32 s]
/proc/loadavg: 1.06 1.08 1.02 2/98 23231
/proc/meminfo: memFree=1290372/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=11132 CPUtime=1122.35
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 2433 0 0 0 112230 5 0 0 25 0 1 0 1009885397 11399168 2368 4294967295 134512640 135215339 3218975104 3218973392 134528795 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 2783 2368 72 172 0 2610 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 13552

[startup+1182.32 s]
/proc/loadavg: 1.02 1.06 1.02 3/98 23418
/proc/meminfo: memFree=1289248/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=12320 CPUtime=1182.35
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 2751 0 0 0 118230 5 0 0 25 0 1 0 1009885397 12615680 2686 4294967295 134512640 135215339 3218975104 3218973392 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 3080 2686 72 172 0 2907 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 14740



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1199.93 s]
/proc/loadavg: 1.01 1.06 1.01 3/98 23420
/proc/meminfo: memFree=1289372/2074464 swapFree=1950760/1959888
[pid=19636] ppid=19634 vsize=2420 CPUtime=0.04
/proc/19636/stat : 19636 (SatELiteGTI) S 19634 19636 11066 0 -1 4194304 387 1006 0 0 0 0 4 0 19 0 1 0 1009885393 2478080 278 4294967295 134512640 135169312 3214488800 3214485016 3085065966 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/19636/statm: 605 278 235 161 0 44 0
[pid=19642] ppid=19636 vsize=12320 CPUtime=1199.96
/proc/19642/stat : 19642 (minisat_static) R 19636 19636 11066 0 -1 4202496 2751 0 0 0 119991 5 0 0 25 0 1 0 1009885397 12615680 2686 4294967295 134512640 135215339 3218975104 3218973392 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/19642/statm: 3080 2686 72 172 0 2907 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 14740

Sending SIGTERM to process tree (bottom up)
SSolver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1199.93
CPU time (s): 1200
CPU user time (s): 1199.95
CPU system time (s): 0.05
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 14740

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.95
system time used= 0.05
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4421
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= 21
involuntary context switches= 609

runsolver used 0.02 second user time and 0.04 second system time

The end

Launcher Data

Begin job on tipi23 at 2009-05-16 08:04:31
IDJOB=1820560
IDBENCH=20472
IDSOLVER=657
FILE ID=tipi23/1820560-1242453871
PBS_JOBID=
Free space on /tmp= 9776 MiB

SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.11.unsat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1820560-1242453871/watcher-1820560-1242453871 -o /tmp/evaluation-result-1820560-1242453871/solver-1820560-1242453871 -C 1200 -W 1800 -M 1800  SatELiteGTI HOME/instance-1820560-1242453871.cnf

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

MD5SUM BENCH= 90581094793af5fc10d4e4b9a10259ac
RANDOM SEED= 235081476

Linux tipi23 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.377
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3618.38

processor	: 1
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.377
cache size	: 1024 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78

processor	: 2
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.377
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.79

processor	: 3
vendor_id	: AuthenticAMD
cpu family	: 15
model		: 33
model name	: Dual Core AMD Opteron(tm) Processor 265
stepping	: 2
cpu MHz		: 1808.377
cache size	: 1024 KB
physical id	: 1
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 1
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips	: 3616.78


/proc/meminfo:
MemTotal:      2074464 kB
MemFree:       1300728 kB
Buffers:         39816 kB
Cached:         634388 kB
SwapCached:       3700 kB
Active:         313652 kB
Inactive:       372388 kB
HighTotal:     1178688 kB
HighFree:       538404 kB
LowTotal:       895776 kB
LowFree:        762324 kB
SwapTotal:     1959888 kB
SwapFree:      1950760 kB
Dirty:            1688 kB
Writeback:           0 kB
AnonPages:       11116 kB
Mapped:           4348 kB
Slab:            79420 kB
PageTables:        492 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   2997120 kB
Committed_AS:    96896 kB
VmallocTotal:   114680 kB
VmallocUsed:      1324 kB
VmallocChunk:   113264 kB

Free space on /tmp at the end= 9776 MiB
End job on tipi23 at 2009-05-16 08:24:31