Trace number 3290782

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
glucose 2SAT 126.745 126.745

General information on the benchmark

Nameapplication/leberre/
2dimensionalstrippacking/E02F22.cnf
MD5SUM0b29cb9f2e17f3e05b66912497d8cb84
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark45.6781
Satisfiable
(Un)Satisfiability was proved
Number of variables13574
Number of clauses1301188
Sum of the clauses size11462079
Maximum clause length78
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 236373
Number of clauses of size 329573
Number of clauses of size 422594
Number of clauses of size 573414
Number of clauses of size over 51139201

Solver Data

0.00/0.00	c
0.00/0.00	c Starting SatElite Preprocessing
0.00/0.00	c
0.00/0.00	c Parsing...
0.00/0.97	c ==============================================================================
0.00/0.97	c |           |     ORIGINAL     |              LEARNT              |          |
0.00/0.97	c | Conflicts | Clauses Literals |   Limit Clauses Literals  Lit/Cl | Progress |
0.00/0.97	c ==============================================================================
0.00/0.97	c |         0 | 1300429 11460561 |  390128       0        0     nan |  0.000 % |
27.59/27.62	c |         0 | 1262053 10451768 |      --       0       --      -- |     --   | -1689/27844
27.59/27.62	c ==============================================================================
27.59/27.62	c Result  :   #vars: 11448   #clauses: 1262053   #literals: 10451768
27.59/27.62	c CPU time:   27.5098 s
27.59/27.62	c ==============================================================================
29.09/29.19	c
29.09/29.19	c Starting glucose
29.09/29.19	c
36.98/37.02	c This is glucose 2.0 --  based on MiniSAT (Many thanks to MiniSAT team)
36.98/37.02	c WARNING: for repeatability, setting FPU to use double precision
36.98/37.02	c ============================[ Problem Statistics ]=============================
36.98/37.02	c |                                                                             |
36.98/37.02	c |  Number of variables:         11448                                         |
36.98/37.02	c |  Number of clauses:         1262053                                         |
36.98/37.02	c |  Parse time:                   0.47 s                                       |
36.98/37.02	c |                                                                             |
36.98/37.02	c ============================[ Search Statistics ]==============================
36.98/37.02	c | Conflicts |          ORIGINAL         |          LEARNT          | Progress |
36.98/37.02	c |           |    Vars  Clauses Literals |    Limit  Clauses Lit/Cl |          |
36.98/37.02	c ===============================================================================
36.98/37.02	c |       812 |   11448  1262053 10451768 |        1      812     52 |  0.000 % |
36.98/37.02	c |      2105 |   11448  1262053 10451768 |        1     2105     55 |  0.000 % |
36.98/37.02	c |      3602 |   11448  1262053 10451768 |        1     3602     60 |  0.000 % |
36.98/37.02	c |      7131 |   11448  1262053 10451768 |        1     5134     44 |  0.000 % |
36.98/37.02	c |      7662 |   11448  1262053 10451768 |        1     5665     44 |  0.000 % |
36.98/37.02	c |      8470 |   11448  1262053 10451768 |        1     6473     45 |  0.000 % |
36.98/37.02	c |      8924 |   11448  1262053 10451768 |        1     6927     44 |  0.000 % |
36.98/37.02	c |      9069 |   11448  1262053 10451768 |        1     7072     45 |  0.000 % |
36.98/37.02	c |     10377 |   11448  1262053 10451768 |        1     8380     54 |  0.000 % |
36.98/37.02	c |     10612 |   11448  1262053 10451768 |        1     4326     30 |  0.000 % |
36.98/37.02	c |     11954 |   11448  1262053 10451768 |        1     5668     45 |  0.000 % |
36.98/37.02	c |     14428 |   11448  1262053 10451768 |        1     8142     46 |  0.000 % |
36.98/37.02	c |     14684 |   11448  1262053 10451768 |        1     8398     47 |  0.000 % |
36.98/37.02	c |     16506 |   11448  1262053 10451768 |        1    10220     52 |  0.000 % |
36.98/37.02	c |     17739 |   11448  1262053 10451768 |        1    11453     56 |  0.000 % |
36.98/37.02	c |     17839 |   11448  1262053 10451768 |        1    11553     56 |  0.000 % |
36.98/37.02	c |     18409 |   11448  1262053 10451768 |        1    12123     58 |  0.000 % |
36.98/37.02	c |     18537 |   11448  1262053 10451768 |        1    12251     58 |  0.000 % |
36.98/37.02	c |     19772 |   11448  1262053 10451768 |        1    13486     61 |  0.000 % |
36.98/37.02	c |     20379 |   11448  1262053 10451768 |        1     7337     33 |  0.000 % |
36.98/37.02	c |     20479 |   11448  1262053 10451768 |        1     7437     34 |  0.000 % |
36.98/37.02	c |     20704 |   11448  1262053 10451768 |        1     7662     35 |  0.000 % |
36.98/37.02	c |     20806 |   11448  1262053 10451768 |        1     7764     35 |  0.000 % |
36.98/37.02	c |     23495 |   11448  1262053 10451768 |        1    10453     44 |  0.000 % |
36.98/37.02	c |     24325 |   11448  1262053 10451768 |        1    11283     45 |  0.000 % |
36.98/37.02	c |     25261 |   11448  1262053 10451768 |        1    12219     47 |  0.000 % |
36.98/37.02	c |     25653 |   11448  1262053 10451768 |        1    12611     47 |  0.000 % |
36.98/37.02	c |     26077 |   11448  1262053 10451768 |        1    13035     48 |  0.000 % |
36.98/37.02	c |     26177 |   11448  1262053 10451768 |        1    13135     49 |  0.000 % |
36.98/37.02	c |     27451 |   11448  1262053 10451768 |        1    14409     51 |  0.000 % |
36.98/37.02	c |     27943 |   11448  1262053 10451768 |        1    14901     51 |  0.000 % |
36.98/37.02	c |     30982 |   11448  1262053 10451768 |        1    17940     60 |  0.000 % |
36.98/37.02	c |     32007 |   11448  1262053 10451768 |        1     9695     26 |  0.000 % |
36.98/37.02	c |     32736 |   11448  1262053 10451768 |        1    10424     27 |  0.000 % |
36.98/37.02	c |     34028 |   11448  1262053 10451768 |        1    11716     36 |  0.000 % |
36.98/37.02	c |     34130 |   11448  1262053 10451768 |        1    11818     37 |  0.000 % |
36.98/37.02	c |     34741 |   11448  1262053 10451768 |        1    12429     38 |  0.000 % |
36.98/37.02	c |     35023 |   11448  1262053 10451768 |        1    12711     39 |  0.000 % |
36.98/37.02	c |     36074 |   11448  1262053 10451768 |        1    13762     42 |  0.000 % |
45.67/45.71	c |     36928 |   11448  1262053 10451768 |        1    14616     44 |  0.000 % |
45.67/45.71	c |     37597 |   11448  1262053 10451768 |        1    15285     45 |  0.000 % |
45.67/45.71	c |     37975 |   11448  1262053 10451768 |        1    15663     45 |  0.000 % |
45.67/45.71	c |     38855 |   11448  1262053 10451768 |        1    16543     46 |  0.000 % |
45.67/45.71	c |     39571 |   11448  1262053 10451768 |        1    17259     47 |  0.000 % |
45.67/45.71	c |     39674 |   11448  1262053 10451768 |        1    17362     47 |  0.000 % |
45.67/45.71	c |     39925 |   11448  1262053 10451768 |        1    17613     48 |  0.000 % |
45.67/45.71	c |     41321 |   11448  1262053 10451768 |        1    19009     49 |  0.000 % |
45.67/45.71	c |     41447 |   11448  1262053 10451768 |        1    19135     49 |  0.000 % |
45.67/45.71	c |     42240 |   11448  1262053 10451768 |        1    19928     49 |  0.000 % |
45.67/45.71	c |     42673 |   11448  1262053 10451768 |        1    20361     49 |  0.000 % |
45.67/45.71	c |     50492 |   11448  1262053 10451768 |        1    16344     40 |  0.000 % |
45.67/45.71	c |     51076 |   11448  1262053 10451768 |        1    16928     41 |  0.000 % |
45.67/45.71	c |     55864 |   11448  1262053 10451768 |        1    21716     51 |  0.000 % |
45.67/45.71	c |     55965 |   11448  1262053 10451768 |        1    21817     51 |  0.000 % |
45.67/45.71	c |     57321 |   11448  1262053 10451768 |        1    23173     52 |  0.000 % |
45.67/45.71	c |     58155 |   11448  1262053 10451768 |        1    24007     52 |  0.000 % |
45.67/45.71	c |     59830 |   11448  1262053 10451768 |        1    25682     53 |  0.000 % |
45.67/45.71	c |     62614 |   11448  1262053 10451768 |        1    28466     55 |  0.000 % |
45.67/45.71	c |     62717 |   11448  1262053 10451768 |        1    28569     55 |  0.000 % |
45.67/45.71	c |     63287 |   11448  1262053 10451768 |        1    14723     28 |  0.000 % |
45.67/45.71	c |     64104 |   11448  1262053 10451768 |        1    15540     30 |  0.000 % |
45.67/45.71	c |     65832 |   11448  1262053 10451768 |        1    17268     32 |  0.000 % |
45.67/45.71	c |     68210 |   11448  1262053 10451768 |        1    19646     42 |  0.000 % |
45.67/45.71	c |     68646 |   11448  1262053 10451768 |        1    20082     43 |  0.000 % |
45.67/45.71	c |     68801 |   11448  1262053 10451768 |        1    20237     43 |  0.000 % |
45.67/45.71	c |     69610 |   11448  1262053 10451768 |        1    21046     44 |  0.000 % |
45.67/45.71	c |     72371 |   11448  1262053 10451768 |        1    23807     45 |  0.000 % |
45.67/45.71	c |     73329 |   11448  1262053 10451768 |        1    24765     47 |  0.000 % |
45.67/45.71	c |     73670 |   11448  1262053 10451768 |        1    25106     47 |  0.000 % |
45.67/45.71	c |     73817 |   11448  1262053 10451768 |        1    25253     47 |  0.000 % |
45.67/45.71	c |     74599 |   11448  1262053 10451768 |        1    26035     48 |  0.000 % |
45.67/45.71	c |     75551 |   11448  1262053 10451768 |        1    26987     47 |  0.000 % |
45.67/45.71	c |     76190 |   11448  1262053 10451768 |        1    27626     49 |  0.000 % |
45.67/45.71	c |     76325 |   11448  1262053 10451768 |        1    27761     49 |  0.000 % |
45.67/45.71	c |     76513 |   11448  1262053 10451768 |        1    27949     49 |  0.000 % |
45.67/45.71	c |     76731 |   11448  1262053 10451768 |        1    28167     49 |  0.000 % |
45.67/45.71	c |     78921 |   11448  1262053 10451768 |        1    30357     50 |  0.000 % |
45.67/45.71	c |     79351 |   11448  1262053 10451768 |        1    30787     50 |  0.000 % |
45.67/45.71	c |     80480 |   11448  1262053 10451768 |        1    31916     51 |  0.000 % |
45.67/45.71	c |     80581 |   11448  1262053 10451768 |        1    32017     51 |  0.000 % |
45.67/45.71	c |     87470 |   11448  1262053 10451768 |        1    21895     37 |  0.000 % |
45.67/45.71	c |     87838 |   11448  1262053 10451768 |        1    22263     38 |  0.000 % |
45.67/45.71	c |     87941 |   11448  1262053 10451768 |        1    22366     38 |  0.000 % |
45.67/45.71	c |     88689 |   11448  1262053 10451768 |        1    23114     39 |  0.000 % |
45.67/45.71	c |     88797 |   11448  1262053 10451768 |        1    23222     39 |  0.000 % |
45.67/45.71	c |     89378 |   11448  1262053 10451768 |        1    23803     39 |  0.000 % |
45.67/45.71	c |     89623 |   11448  1262053 10451768 |        1    24048     40 |  0.000 % |
45.67/45.71	c |     89921 |   11448  1262053 10451768 |        1    24346     40 |  0.000 % |
45.67/45.71	c |     92490 |   11448  1262053 10451768 |        1    26915     42 |  0.000 % |
49.58/49.69	c |     92655 |   11448  1262053 10451768 |        1    27080     43 |  0.000 % |
49.58/49.69	c |     92786 |   11448  1262053 10451768 |        1    27211     43 |  0.000 % |
49.58/49.69	c |     93886 |   11448  1262053 10451768 |        1    28311     43 |  0.000 % |
49.58/49.69	c |     95360 |   11448  1262053 10451768 |        1    29785     44 |  0.000 % |
49.58/49.69	c |     95650 |   11448  1262053 10451768 |        1    30075     45 |  0.000 % |
49.58/49.69	c |     96100 |   11448  1262053 10451768 |        1    30525     45 |  0.000 % |
49.58/49.69	c |     97781 |   11448  1262053 10451768 |        1    32206     46 |  0.000 % |
49.58/49.69	c |     97881 |   11448  1262053 10451768 |        1    32306     46 |  0.000 % |
49.58/49.69	c |     98020 |   11448  1262053 10451768 |        1    32445     46 |  0.000 % |
49.58/49.69	c |     99609 |   11448  1262053 10451768 |        1    34034     47 |  0.000 % |
49.58/49.69	c |    100322 |   11448  1262053 10451768 |        1    34747     47 |  0.000 % |
49.58/49.69	c |    100424 |   11448  1262053 10451768 |        1    34849     47 |  0.000 % |
49.58/49.69	c |    103622 |   11448  1262053 10451768 |        1    38047     50 |  0.000 % |
49.58/49.69	c |    103724 |   11448  1262053 10451768 |        1    38149     50 |  0.000 % |
49.58/49.69	c |    103873 |   11448  1262053 10451768 |        1    38298     50 |  0.000 % |
49.58/49.69	c |    104057 |   11448  1262053 10451768 |        1    38482     50 |  0.000 % |
49.58/49.69	c |    104158 |   11448  1262053 10451768 |        1    38583     50 |  0.000 % |
49.58/49.69	c |    104778 |   11448  1262053 10451768 |        1    39203     50 |  0.000 % |
49.58/49.69	c |    106370 |   11448  1262053 10451768 |        1    21191     26 |  0.000 % |
49.58/49.69	c |    106888 |   11448  1262053 10451768 |        1    21709     27 |  0.000 % |
49.58/49.69	c |    107314 |   11448  1262053 10451768 |        1    22135     28 |  0.000 % |
49.58/49.69	c |    108434 |   11448  1262053 10451768 |        1    23255     29 |  0.000 % |
49.58/49.69	c |    109341 |   11448  1262053 10451768 |        1    24162     32 |  0.000 % |
49.58/49.69	c |    109441 |   11448  1262053 10451768 |        1    24262     33 |  0.000 % |
49.58/49.69	c |    109728 |   11448  1262053 10451768 |        1    24549     33 |  0.000 % |
49.58/49.69	c |    110538 |   11448  1262053 10451768 |        1    25359     33 |  0.000 % |
49.58/49.69	c |    113554 |   11448  1262053 10451768 |        1    28375     36 |  0.000 % |
49.58/49.69	c |    113985 |   11448  1262053 10451768 |        1    28806     37 |  0.000 % |
49.58/49.69	c |    114155 |   11448  1262053 10451768 |        1    28976     37 |  0.000 % |
49.58/49.69	c |    114300 |   11448  1262053 10451768 |        1    29121     37 |  0.000 % |
49.58/49.69	c |    114400 |   11448  1262053 10451768 |        1    29221     37 |  0.000 % |
49.58/49.69	c |    114609 |   11448  1262053 10451768 |        1    29430     38 |  0.000 % |
49.58/49.69	c |    114709 |   11448  1262053 10451768 |        1    29530     38 |  0.000 % |
49.58/49.69	c |    115005 |   11448  1262053 10451768 |        1    29826     38 |  0.000 % |
49.58/49.69	c |    116027 |   11448  1262053 10451768 |        1    30848     40 |  0.000 % |
49.58/49.69	c |    116127 |   11448  1262053 10451768 |        1    30948     40 |  0.000 % |
49.58/49.69	c |    116433 |   11448  1262053 10451768 |        1    31254     40 |  0.000 % |
49.58/49.69	c |    118625 |   11448  1262053 10451768 |        1    33446     43 |  0.000 % |
49.58/49.69	c |    119049 |   11448  1262053 10451768 |        1    33870     43 |  0.000 % |
49.58/49.69	c |    120230 |   11448  1262053 10451768 |        1    35051     43 |  0.000 % |
49.58/49.69	c |    121176 |   11448  1262053 10451768 |        1    35997     44 |  0.000 % |
49.58/49.69	c |    123031 |   11448  1262053 10451768 |        1    37852     45 |  0.000 % |
49.58/49.69	c |    123972 |   11448  1262053 10451768 |        1    38793     46 |  0.000 % |
49.58/49.69	c |    126102 |   11448  1262053 10451768 |        1    40923     47 |  0.000 % |
49.58/49.69	c |    129997 |   11448  1262053 10451768 |        1    22651     22 |  0.000 % |
49.58/49.69	c |    131471 |   11448  1262053 10451768 |        1    24125     25 |  0.000 % |
49.58/49.69	c |    131573 |   11448  1262053 10451768 |        1    24227     25 |  0.000 % |
49.58/49.69	c |    131760 |   11448  1262053 10451768 |        1    24414     26 |  0.000 % |
49.58/49.69	c |    132696 |   11448  1262053 10451768 |        1    25350     27 |  0.000 % |
49.58/49.69	c |    135098 |   11448  1262053 10451768 |        1    27752     30 |  0.000 % |
54.58/54.66	c |    135457 |   11448  1262053 10451768 |        1    28111     31 |  0.000 % |
54.58/54.66	c |    135595 |   11448  1262053 10451768 |        1    28249     31 |  0.000 % |
54.58/54.66	c |    137862 |   11448  1262053 10451768 |        1    30516     35 |  0.000 % |
54.58/54.66	c |    137976 |   11448  1262053 10451768 |        1    30630     36 |  0.000 % |
54.58/54.66	c |    138467 |   11448  1262053 10451768 |        1    31121     36 |  0.000 % |
54.58/54.66	c |    139161 |   11448  1262053 10451768 |        1    31815     37 |  0.000 % |
54.58/54.66	c |    140063 |   11448  1262053 10451768 |        1    32717     38 |  0.000 % |
54.58/54.66	c |    140197 |   11448  1262053 10451768 |        1    32851     38 |  0.000 % |
54.58/54.66	c |    140298 |   11448  1262053 10451768 |        1    32952     38 |  0.000 % |
54.58/54.66	c |    140715 |   11448  1262053 10451768 |        1    33369     39 |  0.000 % |
54.58/54.66	c |    141169 |   11448  1262053 10451768 |        1    33823     39 |  0.000 % |
54.58/54.66	c |    143852 |   11448  1262053 10451768 |        1    36506     41 |  0.000 % |
54.58/54.67	c |    145236 |   11448  1262053 10451768 |        1    37890     42 |  0.000 % |
54.58/54.67	c |    145768 |   11448  1262053 10451768 |        1    38422     43 |  0.000 % |
54.58/54.67	c |    146515 |   11448  1262053 10451768 |        1    39169     43 |  0.000 % |
54.58/54.67	c |    146618 |   11448  1262053 10451768 |        1    39272     43 |  0.000 % |
54.58/54.67	c |    146756 |   11448  1262053 10451768 |        1    39410     43 |  0.000 % |
54.58/54.67	c |    148629 |   11448  1262053 10451768 |        1    41283     46 |  0.000 % |
54.58/54.67	c |    149801 |   11448  1262053 10451768 |        1    42455     47 |  0.000 % |
54.58/54.67	c |    150058 |   11448  1262053 10451768 |        1    42712     47 |  0.000 % |
54.58/54.67	c |    151428 |   11448  1262053 10451768 |        1    44082     48 |  0.000 % |
54.58/54.67	c |    152500 |   11448  1262053 10451768 |        1    45154     49 |  0.000 % |
54.58/54.67	c |    152703 |   11448  1262053 10451768 |        1    45357     49 |  0.000 % |
54.58/54.67	c |    152805 |   11448  1262053 10451768 |        1    45459     49 |  0.000 % |
54.58/54.67	c |    152908 |   11448  1262053 10451768 |        1    45562     49 |  0.000 % |
54.58/54.67	c |    158749 |   11448  1262053 10451768 |        1    26579     23 |  0.000 % |
54.58/54.67	c |    166417 |   11448  1262053 10451768 |        1    34247     36 |  0.000 % |
54.58/54.67	c |    167639 |   11448  1262053 10451768 |        1    35469     38 |  0.000 % |
54.58/54.67	c |    168880 |   11448  1262053 10451768 |        1    36710     39 |  0.000 % |
54.58/54.67	c |    168980 |   11448  1262053 10451768 |        1    36810     39 |  0.000 % |
54.58/54.67	c |    170282 |   11448  1262053 10451768 |        1    38112     39 |  0.000 % |
54.58/54.67	c |    170484 |   11448  1262053 10451768 |        1    38314     40 |  0.000 % |
54.58/54.67	c |    170655 |   11448  1262053 10451768 |        1    38485     40 |  0.000 % |
54.58/54.67	c |    170755 |   11448  1262053 10451768 |        1    38585     40 |  0.000 % |
54.58/54.67	c |    170970 |   11448  1262053 10451768 |        1    38800     40 |  0.000 % |
54.58/54.67	c |    171076 |   11448  1262053 10451768 |        1    38906     41 |  0.000 % |
54.58/54.67	c |    171481 |   11448  1262053 10451768 |        1    39311     41 |  0.000 % |
54.58/54.67	c |    172766 |   11448  1262053 10451768 |        1    40596     41 |  0.000 % |
54.58/54.67	c |    175634 |   11448  1262053 10451768 |        1    43464     43 |  0.000 % |
54.58/54.67	c |    175734 |   11448  1262053 10451768 |        1    43564     43 |  0.000 % |
54.58/54.67	c |    176037 |   11448  1262053 10451768 |        1    43867     43 |  0.000 % |
54.58/54.67	c |    176558 |   11448  1262053 10451768 |        1    44388     44 |  0.000 % |
54.58/54.67	c |    176658 |   11448  1262053 10451768 |        1    44488     44 |  0.000 % |
54.58/54.67	c |    177418 |   11448  1262053 10451768 |        1    45248     44 |  0.000 % |
54.58/54.67	c |    181434 |   11448  1262053 10451768 |        1    49264     46 |  0.000 % |
54.58/54.67	c |    182677 |   11448  1262053 10451768 |        1    50507     47 |  0.000 % |
54.58/54.67	c |    182897 |   11448  1262053 10451768 |        1    50727     47 |  0.000 % |
54.58/54.67	c |    182999 |   11448  1262053 10451768 |        1    50829     47 |  0.000 % |
54.58/54.67	c |    183500 |   11448  1262053 10451768 |        1    51330     48 |  0.000 % |
54.58/54.67	c |    183600 |   11448  1262053 10451768 |        1    51430     48 |  0.000 % |
60.78/60.89	c |    184174 |   11448  1262053 10451768 |        1    52004     48 |  0.000 % |
60.78/60.89	c |    184355 |   11448  1262053 10451768 |        1    52185     48 |  0.000 % |
60.78/60.89	c |    184516 |   11448  1262053 10451768 |        1    52346     49 |  0.000 % |
60.78/60.89	c |    186271 |   11448  1262053 10451768 |        1    54101     49 |  0.000 % |
60.78/60.89	c |    187455 |   11448  1262053 10451768 |        1    27876     24 |  0.000 % |
60.78/60.89	c |    187754 |   11448  1262053 10451768 |        1    28175     24 |  0.000 % |
60.78/60.89	c |    188044 |   11448  1262053 10451768 |        1    28465     24 |  0.000 % |
60.78/60.89	c |    188461 |   11448  1262053 10451768 |        1    28882     25 |  0.000 % |
60.78/60.89	c |    189004 |   11448  1262053 10451768 |        1    29425     26 |  0.000 % |
60.78/60.89	c |    191016 |   11448  1262053 10451768 |        1    31437     29 |  0.000 % |
60.78/60.89	c |    191981 |   11448  1262053 10451768 |        1    32402     30 |  0.000 % |
60.78/60.89	c |    192405 |   11448  1262053 10451768 |        1    32826     31 |  0.000 % |
60.78/60.89	c |    195812 |   11448  1262053 10451768 |        1    36233     35 |  0.000 % |
60.78/60.89	c |    196566 |   11448  1262053 10451768 |        1    36987     36 |  0.000 % |
60.78/60.89	c |    196717 |   11448  1262053 10451768 |        1    37138     36 |  0.000 % |
60.78/60.89	c |    200157 |   11448  1262053 10451768 |        1    40578     41 |  0.000 % |
60.78/60.89	c |    202372 |   11448  1262053 10451768 |        1    42793     43 |  0.000 % |
60.78/60.89	c |    202827 |   11448  1262053 10451768 |        1    43248     43 |  0.000 % |
60.78/60.89	c |    202927 |   11448  1262053 10451768 |        1    43348     43 |  0.000 % |
60.78/60.89	c |    203266 |   11448  1262053 10451768 |        1    43687     43 |  0.000 % |
60.78/60.89	c |    204746 |   11448  1262053 10451768 |        1    45167     45 |  0.000 % |
60.78/60.89	c |    205989 |   11448  1262053 10451768 |        1    46410     46 |  0.000 % |
60.78/60.89	c |    206391 |   11448  1262053 10451768 |        1    46812     47 |  0.000 % |
60.78/60.89	c |    206738 |   11448  1262053 10451768 |        1    47159     47 |  0.000 % |
60.78/60.89	c |    206860 |   11448  1262053 10451768 |        1    47281     47 |  0.000 % |
60.78/60.89	c |    210899 |   11448  1262053 10451768 |        1    51320     51 |  0.000 % |
60.78/60.89	c |    211966 |   11448  1262053 10451768 |        1    52387     51 |  0.000 % |
60.78/60.89	c |    212405 |   11448  1262053 10451768 |        1    52826     51 |  0.000 % |
60.78/60.89	c |    212675 |   11448  1262053 10451768 |        1    53096     51 |  0.000 % |
60.78/60.89	c |    212775 |   11448  1262053 10451768 |        1    53196     51 |  0.000 % |
60.78/60.89	c |    213431 |   11448  1262053 10451768 |        1    53852     52 |  0.000 % |
60.78/60.89	c |    215162 |   11448  1262053 10451768 |        1    55583     52 |  0.000 % |
60.78/60.89	c |    216409 |   11448  1262053 10451768 |        1    56830     53 |  0.000 % |
60.78/60.89	c |    216509 |   11448  1262053 10451768 |        1    56930     53 |  0.000 % |
60.78/60.89	c |    216610 |   11448  1262053 10451768 |        1    57031     53 |  0.000 % |
60.78/60.89	c |    216713 |   11448  1262053 10451768 |        1    57134     53 |  0.000 % |
60.78/60.89	c |    216813 |   11448  1262053 10451768 |        1    57234     53 |  0.000 % |
60.78/60.89	c |    218107 |   11448  1262053 10451768 |        1    58528     55 |  0.000 % |
60.78/60.89	c |    218209 |   11448  1262053 10451768 |        1    58630     55 |  0.000 % |
60.78/60.89	c |    219803 |   11448  1262053 10451768 |        1    30230     22 |  0.000 % |
60.78/60.89	c |    230320 |   11448  1262053 10451768 |        1    40747     35 |  0.000 % |
60.78/60.89	c |    230446 |   11448  1262053 10451768 |        1    40873     35 |  0.000 % |
60.78/60.89	c |    230912 |   11448  1262053 10451768 |        1    41339     36 |  0.000 % |
60.78/60.89	c |    231922 |   11448  1262053 10451768 |        1    42349     36 |  0.000 % |
60.78/60.89	c |    232581 |   11448  1262053 10451768 |        1    43008     37 |  0.000 % |
60.78/60.89	c |    232957 |   11448  1262053 10451768 |        1    43384     37 |  0.000 % |
60.78/60.89	c |    234158 |   11448  1262053 10451768 |        1    44585     38 |  0.000 % |
60.78/60.89	c |    234886 |   11448  1262053 10451768 |        1    45313     39 |  0.000 % |
60.78/60.89	c |    238299 |   11448  1262053 10451768 |        1    48726     40 |  0.000 % |
60.78/60.89	c |    238782 |   11448  1262053 10451768 |        1    49209     40 |  0.000 % |
68.78/68.85	c |    239462 |   11448  1262053 10451768 |        1    49889     41 |  0.000 % |
68.78/68.85	c |    240321 |   11448  1262053 10451768 |        1    50748     42 |  0.000 % |
68.78/68.85	c |    240498 |   11448  1262053 10451768 |        1    50925     42 |  0.000 % |
68.78/68.85	c |    240887 |   11448  1262053 10451768 |        1    51314     42 |  0.000 % |
68.78/68.85	c |    254393 |   11448  1262053 10451768 |        1    64820     56 |  0.000 % |
68.78/68.85	c |    255124 |   11448  1262053 10451768 |        1    32951     29 |  0.000 % |
68.78/68.85	c |    257211 |   11448  1262053 10451768 |        1    35038     33 |  0.000 % |
68.78/68.85	c |    257955 |   11448  1262053 10451768 |        1    35782     33 |  0.000 % |
68.78/68.85	c |    258462 |   11448  1262053 10451768 |        1    36289     34 |  0.000 % |
68.78/68.85	c |    259002 |   11448  1262053 10451768 |        1    36829     34 |  0.000 % |
68.78/68.85	c |    261749 |   11448  1262053 10451768 |        1    39576     36 |  0.000 % |
68.78/68.85	c |    266418 |   11448  1262053 10451768 |        1    44245     41 |  0.000 % |
68.78/68.85	c |    266966 |   11448  1262053 10451768 |        1    44793     42 |  0.000 % |
68.78/68.85	c |    267589 |   11448  1262053 10451768 |        1    45416     42 |  0.000 % |
68.78/68.85	c |    267977 |   11448  1262053 10451768 |        1    45804     43 |  0.000 % |
68.78/68.85	c |    268695 |   11448  1262053 10451768 |        1    46522     43 |  0.000 % |
68.78/68.85	c |    268830 |   11448  1262053 10451768 |        1    46657     43 |  0.000 % |
68.78/68.85	c |    268932 |   11448  1262053 10451768 |        1    46759     43 |  0.000 % |
68.78/68.85	c |    269264 |   11448  1262053 10451768 |        1    47091     44 |  0.000 % |
68.78/68.85	c |    270276 |   11448  1262053 10451768 |        1    48103     45 |  0.000 % |
68.78/68.85	c |    270645 |   11448  1262053 10451768 |        1    48472     45 |  0.000 % |
68.78/68.85	c |    271187 |   11448  1262053 10451768 |        1    49014     46 |  0.000 % |
68.78/68.85	c |    271395 |   11448  1262053 10451768 |        1    49222     46 |  0.000 % |
68.78/68.85	c |    275976 |   11448  1262053 10451768 |        1    53803     50 |  0.000 % |
68.78/68.85	c |    276510 |   11448  1262053 10451768 |        1    54337     51 |  0.000 % |
68.78/68.85	c |    276634 |   11448  1262053 10451768 |        1    54461     51 |  0.000 % |
68.78/68.85	c |    276908 |   11448  1262053 10451768 |        1    54735     51 |  0.000 % |
68.78/68.85	c |    277126 |   11448  1262053 10451768 |        1    54953     51 |  0.000 % |
68.78/68.85	c |    277226 |   11448  1262053 10451768 |        1    55053     52 |  0.000 % |
68.78/68.85	c |    277481 |   11448  1262053 10451768 |        1    55308     52 |  0.000 % |
68.78/68.85	c |    277774 |   11448  1262053 10451768 |        1    55601     52 |  0.000 % |
68.78/68.85	c |    277985 |   11448  1262053 10451768 |        1    55812     52 |  0.000 % |
68.78/68.85	c |    278085 |   11448  1262053 10451768 |        1    55912     52 |  0.000 % |
68.78/68.85	c |    278981 |   11448  1262053 10451768 |        1    56808     53 |  0.000 % |
68.78/68.85	c |    281472 |   11448  1262053 10451768 |        1    59299     53 |  0.000 % |
68.78/68.85	c |    281753 |   11448  1262053 10451768 |        1    59580     53 |  0.000 % |
68.78/68.85	c |    282737 |   11448  1262053 10451768 |        1    60564     53 |  0.000 % |
68.78/68.85	c |    283548 |   11448  1262053 10451768 |        1    61375     54 |  0.000 % |
68.78/68.85	c |    286218 |   11448  1262053 10451768 |        1    64045     55 |  0.000 % |
68.78/68.85	c |    286414 |   11448  1262053 10451768 |        1    64241     55 |  0.000 % |
68.78/68.85	c |    287281 |   11448  1262053 10451768 |        1    65108     55 |  0.000 % |
68.78/68.85	c |    287570 |   11448  1262053 10451768 |        1    65397     55 |  0.000 % |
68.78/68.85	c |    289063 |   11448  1262053 10451768 |        1    66890     56 |  0.000 % |
68.78/68.85	c |    294171 |   11448  1262053 10451768 |        1    36792     24 |  0.000 % |
68.78/68.85	c |    294598 |   11448  1262053 10451768 |        1    37219     24 |  0.000 % |
68.78/68.85	c |    295184 |   11448  1262053 10451768 |        1    37805     25 |  0.000 % |
68.78/68.85	c |    295376 |   11448  1262053 10451768 |        1    37997     25 |  0.000 % |
68.78/68.85	c |    296358 |   11448  1262053 10451768 |        1    38979     27 |  0.000 % |
68.78/68.85	c |    296487 |   11448  1262053 10451768 |        1    39108     27 |  0.000 % |
68.78/68.85	c |    297065 |   11448  1262053 10451768 |        1    39686     28 |  0.000 % |
77.08/77.17	c |    297548 |   11448  1262053 10451768 |        1    40169     28 |  0.000 % |
77.08/77.17	c |    297769 |   11448  1262053 10451768 |        1    40390     29 |  0.000 % |
77.08/77.17	c |    299280 |   11448  1262053 10451768 |        1    41901     30 |  0.000 % |
77.08/77.17	c |    299381 |   11448  1262053 10451768 |        1    42002     30 |  0.000 % |
77.08/77.17	c |    299751 |   11448  1262053 10451768 |        1    42372     31 |  0.000 % |
77.08/77.17	c |    300340 |   11448  1262053 10451768 |        1    42961     32 |  0.000 % |
77.08/77.17	c |    300498 |   11448  1262053 10451768 |        1    43119     32 |  0.000 % |
77.08/77.17	c |    300632 |   11448  1262053 10451768 |        1    43253     32 |  0.000 % |
77.08/77.17	c |    305946 |   11448  1262053 10451768 |        1    48567     36 |  0.000 % |
77.08/77.17	c |    306263 |   11448  1262053 10451768 |        1    48884     37 |  0.000 % |
77.08/77.17	c |    306405 |   11448  1262053 10451768 |        1    49026     37 |  0.000 % |
77.08/77.17	c |    306521 |   11448  1262053 10451768 |        1    49142     37 |  0.000 % |
77.08/77.17	c |    308709 |   11448  1262053 10451768 |        1    51330     38 |  0.000 % |
77.08/77.17	c |    309227 |   11448  1262053 10451768 |        1    51848     38 |  0.000 % |
77.08/77.17	c |    310569 |   11448  1262053 10451768 |        1    53190     39 |  0.000 % |
77.08/77.17	c |    313756 |   11448  1262053 10451768 |        1    56377     40 |  0.000 % |
77.08/77.17	c |    315857 |   11448  1262053 10451768 |        1    58478     41 |  0.000 % |
77.08/77.17	c |    316307 |   11448  1262053 10451768 |        1    58928     41 |  0.000 % |
77.08/77.17	c |    316409 |   11448  1262053 10451768 |        1    59030     41 |  0.000 % |
77.08/77.17	c |    316629 |   11448  1262053 10451768 |        1    59250     42 |  0.000 % |
77.08/77.17	c |    317134 |   11448  1262053 10451768 |        1    59755     42 |  0.000 % |
77.08/77.17	c |    317391 |   11448  1262053 10451768 |        1    60012     42 |  0.000 % |
77.08/77.17	c |    318878 |   11448  1262053 10451768 |        1    61499     43 |  0.000 % |
77.08/77.17	c |    318980 |   11448  1262053 10451768 |        1    61601     43 |  0.000 % |
77.08/77.17	c |    319917 |   11448  1262053 10451768 |        1    62538     43 |  0.000 % |
77.08/77.17	c |    320054 |   11448  1262053 10451768 |        1    62675     43 |  0.000 % |
77.08/77.17	c |    321018 |   11448  1262053 10451768 |        1    63639     44 |  0.000 % |
77.08/77.17	c |    321295 |   11448  1262053 10451768 |        1    63916     44 |  0.000 % |
77.08/77.17	c |    322314 |   11448  1262053 10451768 |        1    64935     45 |  0.000 % |
77.08/77.17	c |    322415 |   11448  1262053 10451768 |        1    65036     45 |  0.000 % |
77.08/77.17	c |    323890 |   11448  1262053 10451768 |        1    66511     46 |  0.000 % |
77.08/77.17	c |    324871 |   11448  1262053 10451768 |        1    67492     46 |  0.000 % |
77.08/77.17	c |    324996 |   11448  1262053 10451768 |        1    67617     46 |  0.000 % |
77.08/77.17	c |    327928 |   11448  1262053 10451768 |        1    70549     48 |  0.000 % |
77.08/77.17	c |    328336 |   11448  1262053 10451768 |        1    70957     48 |  0.000 % |
77.08/77.17	c |    328438 |   11448  1262053 10451768 |        1    71059     48 |  0.000 % |
77.08/77.17	c |    330665 |   11448  1262053 10451768 |        1    73286     50 |  0.000 % |
77.08/77.17	c |    335916 |   11448  1262053 10451768 |        1    40747     34 |  0.000 % |
77.08/77.17	c |    336050 |   11448  1262053 10451768 |        1    40881     34 |  0.000 % |
77.08/77.17	c |    337878 |   11448  1262053 10451768 |        1    42709     35 |  0.000 % |
77.08/77.17	c |    337978 |   11448  1262053 10451768 |        1    42809     35 |  0.000 % |
77.08/77.17	c |    344375 |   11448  1262053 10451768 |        1    49206     42 |  0.000 % |
77.08/77.17	c |    344478 |   11448  1262053 10451768 |        1    49309     42 |  0.000 % |
77.08/77.17	c |    349640 |   11448  1262053 10451768 |        1    54471     48 |  0.000 % |
77.08/77.17	c |    349741 |   11448  1262053 10451768 |        1    54572     48 |  0.000 % |
77.08/77.17	c |    350014 |   11448  1262053 10451768 |        1    54845     48 |  0.000 % |
77.08/77.17	c |    350114 |   11448  1262053 10451768 |        1    54945     48 |  0.000 % |
77.08/77.17	c |    351369 |   11448  1262053 10451768 |        1    56200     49 |  0.000 % |
77.08/77.17	c |    351581 |   11448  1262053 10451768 |        1    56412     49 |  0.000 % |
87.49/87.59	c |    356358 |   11448  1262053 10451768 |        1    61189     52 |  0.000 % |
87.49/87.59	c |    356740 |   11448  1262053 10451768 |        1    61571     52 |  0.000 % |
87.49/87.59	c |    357253 |   11448  1262053 10451768 |        1    62084     52 |  0.000 % |
87.49/87.59	c |    358549 |   11448  1262053 10451768 |        1    63380     53 |  0.000 % |
87.49/87.59	c |    359693 |   11448  1262053 10451768 |        1    64524     53 |  0.000 % |
87.49/87.59	c |    360545 |   11448  1262053 10451768 |        1    65376     53 |  0.000 % |
87.49/87.59	c |    361164 |   11448  1262053 10451768 |        1    65995     54 |  0.000 % |
87.49/87.59	c |    361265 |   11448  1262053 10451768 |        1    66096     54 |  0.000 % |
87.49/87.59	c |    361621 |   11448  1262053 10451768 |        1    66452     54 |  0.000 % |
87.49/87.59	c |    362108 |   11448  1262053 10451768 |        1    66939     54 |  0.000 % |
87.49/87.59	c |    363434 |   11448  1262053 10451768 |        1    68265     55 |  0.000 % |
87.49/87.59	c |    363762 |   11448  1262053 10451768 |        1    68593     55 |  0.000 % |
87.49/87.59	c |    368096 |   11448  1262053 10451768 |        1    72927     57 |  0.000 % |
87.49/87.59	c |    368210 |   11448  1262053 10451768 |        1    73041     57 |  0.000 % |
87.49/87.59	c |    368559 |   11448  1262053 10451768 |        1    73390     57 |  0.000 % |
87.49/87.59	c |    369158 |   11448  1262053 10451768 |        1    73989     57 |  0.000 % |
87.49/87.59	c |    369259 |   11448  1262053 10451768 |        1    74090     57 |  0.000 % |
87.49/87.59	c |    370660 |   11448  1262053 10451768 |        1    75491     58 |  0.000 % |
87.49/87.59	c |    370761 |   11448  1262053 10451768 |        1    75592     58 |  0.000 % |
87.49/87.59	c |    373840 |   11448  1262053 10451768 |        1    78671     59 |  0.000 % |
87.49/87.59	c |    374388 |   11448  1262053 10451768 |        1    79219     59 |  0.000 % |
87.49/87.59	c |    375837 |   11448  1262053 10451768 |        1    80668     59 |  0.000 % |
87.49/87.59	c |    378772 |   11448  1262053 10451768 |        1    43194     30 |  0.000 % |
87.49/87.59	c |    379060 |   11448  1262053 10451768 |        1    43482     30 |  0.000 % |
87.49/87.59	c |    379259 |   11448  1262053 10451768 |        1    43681     31 |  0.000 % |
87.49/87.59	c |    387198 |   11448  1262053 10451768 |        1    51620     37 |  0.000 % |
87.49/87.59	c |    388891 |   11448  1262053 10451768 |        1    53313     39 |  0.000 % |
87.49/87.59	c |    391382 |   11448  1262053 10451768 |        1    55804     41 |  0.000 % |
87.49/87.59	c |    391608 |   11448  1262053 10451768 |        1    56030     41 |  0.000 % |
87.49/87.59	c |    391765 |   11448  1262053 10451768 |        1    56187     41 |  0.000 % |
87.49/87.59	c |    393547 |   11448  1262053 10451768 |        1    57969     41 |  0.000 % |
87.49/87.59	c |    394180 |   11448  1262053 10451768 |        1    58602     42 |  0.000 % |
87.49/87.59	c |    394435 |   11448  1262053 10451768 |        1    58857     42 |  0.000 % |
87.49/87.59	c |    396065 |   11448  1262053 10451768 |        1    60487     43 |  0.000 % |
87.49/87.59	c |    396205 |   11448  1262053 10451768 |        1    60627     43 |  0.000 % |
87.49/87.59	c |    421975 |   11448  1262053 10451768 |        1    43436     30 |  0.000 % |
87.49/87.59	c |    423675 |   11448  1262053 10451768 |        1    45136     31 |  0.000 % |
87.49/87.59	c |    425123 |   11448  1262053 10451768 |        1    46584     33 |  0.000 % |
87.49/87.59	c |    426308 |   11448  1262053 10451768 |        1    47769     35 |  0.000 % |
87.49/87.59	c |    427762 |   11448  1262053 10451768 |        1    49223     36 |  0.000 % |
87.49/87.59	c |    427994 |   11448  1262053 10451768 |        1    49455     36 |  0.000 % |
87.49/87.59	c |    430409 |   11448  1262053 10451768 |        1    51870     38 |  0.000 % |
87.49/87.59	c |    432214 |   11448  1262053 10451768 |        1    53675     39 |  0.000 % |
87.49/87.59	c |    432410 |   11448  1262053 10451768 |        1    53871     40 |  0.000 % |
87.49/87.59	c |    432617 |   11448  1262053 10451768 |        1    54078     40 |  0.000 % |
87.49/87.59	c |    433001 |   11448  1262053 10451768 |        1    54462     40 |  0.000 % |
87.49/87.59	c |    433167 |   11448  1262053 10451768 |        1    54628     40 |  0.000 % |
87.49/87.59	c |    443183 |   11448  1262053 10451768 |        1    64644     45 |  0.000 % |
87.49/87.59	c |    444049 |   11448  1262053 10451768 |        1    65510     45 |  0.000 % |
87.49/87.59	c |    444157 |   11448  1262053 10451768 |        1    65618     45 |  0.000 % |
94.38/94.48	c |    445379 |   11448  1262053 10451768 |        1    66840     46 |  0.000 % |
94.38/94.48	c |    449113 |   11448  1262053 10451768 |        1    70574     46 |  0.000 % |
94.38/94.48	c |    449219 |   11448  1262053 10451768 |        1    70680     47 |  0.000 % |
94.38/94.48	c |    450593 |   11448  1262053 10451768 |        1    72054     47 |  0.000 % |
94.38/94.48	c |    451367 |   11448  1262053 10451768 |        1    72828     47 |  0.000 % |
94.38/94.48	c |    451618 |   11448  1262053 10451768 |        1    73079     47 |  0.000 % |
94.38/94.48	c |    457887 |   11448  1262053 10451768 |        1    79348     51 |  0.000 % |
94.38/94.48	c |    457987 |   11448  1262053 10451768 |        1    79448     51 |  0.000 % |
94.38/94.48	c |    459296 |   11448  1262053 10451768 |        1    80757     51 |  0.000 % |
94.38/94.48	c |    459493 |   11448  1262053 10451768 |        1    80954     51 |  0.000 % |
94.38/94.48	c |    462883 |   11448  1262053 10451768 |        1    84344     52 |  0.000 % |
94.38/94.48	c |    464367 |   11448  1262053 10451768 |        1    85828     52 |  0.000 % |
94.38/94.48	c |    464920 |   11448  1262053 10451768 |        1    86381     52 |  0.000 % |
94.38/94.48	c |    465059 |   11448  1262053 10451768 |        1    86520     52 |  0.000 % |
94.38/94.48	c |    465336 |   11448  1262053 10451768 |        1    86797     52 |  0.000 % |
94.38/94.48	c |    465437 |   11448  1262053 10451768 |        1    86898     52 |  0.000 % |
94.38/94.48	c |    465682 |   11448  1262053 10451768 |        1    87143     52 |  0.000 % |
94.38/94.48	c |    466355 |   11448  1262053 10451768 |        1    87816     53 |  0.000 % |
94.38/94.48	c |    467945 |   11448  1262053 10451768 |        1    89406     53 |  0.000 % |
94.38/94.48	c |    468475 |   11448  1262053 10451768 |        1    89936     53 |  0.000 % |
94.38/94.48	c |    468623 |   11448  1262053 10451768 |        1    90084     53 |  0.000 % |
94.38/94.48	c |    469066 |   11448  1262053 10451768 |        1    90527     53 |  0.000 % |
94.38/94.48	c |    469317 |   11448  1262053 10451768 |        1    90778     54 |  0.000 % |
94.38/94.48	c |    474554 |   11448  1262053 10451768 |        1    50402     28 |  0.000 % |
94.38/94.48	c |    475224 |   11448  1262053 10451768 |        1    51072     29 |  0.000 % |
94.38/94.48	c |    476791 |   11447  1262053 10451768 |        1    52638     31 |  0.009 % |
94.38/94.48	c |    477529 |   11447  1262053 10451768 |        1    53376     32 |  0.009 % |
94.38/94.48	c |    477709 |   11447  1262053 10451768 |        1    53556     32 |  0.009 % |
94.38/94.48	c |    477809 |   11447  1262053 10451768 |        1    53656     32 |  0.009 % |
94.38/94.48	c |    478044 |   11447  1262053 10451768 |        1    53891     32 |  0.009 % |
94.38/94.48	c |    479037 |   11447  1262053 10451768 |        1    54884     33 |  0.009 % |
94.38/94.48	c |    479138 |   11447  1262053 10451768 |        1    54985     33 |  0.009 % |
94.38/94.48	c |    479462 |   11447  1262053 10451768 |        1    55309     33 |  0.009 % |
94.38/94.48	c |    479563 |   11447  1262053 10451768 |        1    55410     33 |  0.009 % |
94.38/94.48	c |    479791 |   11447  1262053 10451768 |        1    55638     33 |  0.009 % |
94.38/94.48	c |    480298 |   11447  1262053 10451768 |        1    56145     34 |  0.009 % |
94.38/94.48	c |    483017 |   11447  1262053 10451768 |        1    58864     37 |  0.009 % |
94.38/94.48	c |    483408 |   11447  1262053 10451768 |        1    59255     37 |  0.009 % |
94.38/94.48	c |    483541 |   11447  1262053 10451768 |        1    59388     37 |  0.009 % |
94.38/94.48	c |    483687 |   11447  1262053 10451768 |        1    59534     37 |  0.009 % |
94.38/94.48	c |    483788 |   11447  1262053 10451768 |        1    59635     37 |  0.009 % |
94.38/94.48	c |    485003 |   11447  1262053 10451768 |        1    60850     39 |  0.009 % |
94.38/94.48	c |    485286 |   11447  1262053 10451768 |        1    61133     39 |  0.009 % |
94.38/94.48	c |    485399 |   11447  1262053 10451768 |        1    61246     39 |  0.009 % |
94.38/94.48	c |    488167 |   11447  1262053 10451768 |        1    64014     41 |  0.009 % |
94.38/94.48	c |    488275 |   11447  1262053 10451768 |        1    64122     41 |  0.009 % |
94.38/94.48	c |    489189 |   11447  1262053 10451768 |        1    65036     42 |  0.009 % |
94.38/94.48	c |    489289 |   11447  1262053 10451768 |        1    65136     42 |  0.009 % |
94.38/94.48	c |    489572 |   11447  1262053 10451768 |        1    65419     42 |  0.009 % |
94.38/94.48	c |    490002 |   11447  1262053 10451768 |        1    65849     42 |  0.009 % |
102.58/102.60	c |    490432 |   11447  1262053 10451768 |        1    66279     43 |  0.009 % |
102.58/102.60	c |    491009 |   11447  1262053 10451768 |        1    66856     43 |  0.009 % |
102.58/102.60	c |    491224 |   11447  1262053 10451768 |        1    67071     43 |  0.009 % |
102.58/102.60	c |    491934 |   11447  1262053 10451768 |        1    67781     43 |  0.009 % |
102.58/102.60	c |    492455 |   11447  1262053 10451768 |        1    68302     43 |  0.009 % |
102.58/102.60	c |    493057 |   11447  1262053 10451768 |        1    68904     43 |  0.009 % |
102.58/102.60	c |    493895 |   11447  1262053 10451768 |        1    69742     44 |  0.009 % |
102.58/102.60	c |    493995 |   11447  1262053 10451768 |        1    69842     44 |  0.009 % |
102.58/102.60	c |    496752 |   11447  1262053 10451768 |        1    72599     47 |  0.009 % |
102.58/102.60	c |    496852 |   11447  1262053 10451768 |        1    72699     47 |  0.009 % |
102.58/102.60	c |    497611 |   11447  1262053 10451768 |        1    73458     47 |  0.009 % |
102.58/102.60	c |    497960 |   11447  1262053 10451768 |        1    73807     47 |  0.009 % |
102.58/102.60	c |    498060 |   11447  1262053 10451768 |        1    73907     48 |  0.009 % |
102.58/102.60	c |    498369 |   11447  1262053 10451768 |        1    74216     48 |  0.009 % |
102.58/102.60	c |    498586 |   11447  1262053 10451768 |        1    74433     48 |  0.009 % |
102.58/102.60	c |    498686 |   11447  1262053 10451768 |        1    74533     48 |  0.009 % |
102.58/102.60	c |    498882 |   11447  1262053 10451768 |        1    74729     48 |  0.009 % |
102.58/102.60	c |    498986 |   11447  1262053 10451768 |        1    74833     48 |  0.009 % |
102.58/102.60	c |    499430 |   11447  1262053 10451768 |        1    75277     48 |  0.009 % |
102.58/102.60	c |    499531 |   11447  1262053 10451768 |        1    75378     48 |  0.009 % |
102.58/102.60	c |    500379 |   11447  1262053 10451768 |        1    76226     49 |  0.009 % |
102.58/102.60	c |    501498 |   11447  1262053 10451768 |        1    77345     50 |  0.009 % |
102.58/102.60	c |    502147 |   11447  1262053 10451768 |        1    77994     50 |  0.009 % |
102.58/102.60	c |    504818 |   11447  1262053 10451768 |        1    80665     51 |  0.009 % |
102.58/102.60	c |    504919 |   11447  1262053 10451768 |        1    80766     51 |  0.009 % |
102.58/102.61	c |    505144 |   11447  1262053 10451768 |        1    80991     51 |  0.009 % |
102.58/102.61	c |    510709 |   11447  1262053 10451768 |        1    86556     52 |  0.009 % |
102.58/102.61	c |    518780 |   11447  1262053 10451768 |        1    94627     53 |  0.009 % |
102.58/102.61	c |    518880 |   11447  1262053 10451768 |        1    94727     53 |  0.009 % |
102.58/102.61	c |    532045 |   11447  1262053 10451768 |        1    59683     33 |  0.009 % |
102.58/102.61	c |    532431 |   11447  1262053 10451768 |        1    60069     33 |  0.009 % |
102.58/102.61	c |    539929 |   11447  1262053 10451768 |        1    67567     41 |  0.009 % |
102.58/102.61	c |    540029 |   11447  1262053 10451768 |        1    67667     41 |  0.009 % |
102.58/102.61	c |    540366 |   11447  1262053 10451768 |        1    68004     42 |  0.009 % |
102.58/102.61	c |    540466 |   11447  1262053 10451768 |        1    68104     42 |  0.009 % |
102.58/102.61	c |    542468 |   11447  1262053 10451768 |        1    70106     44 |  0.009 % |
102.58/102.61	c |    542568 |   11447  1262053 10451768 |        1    70206     44 |  0.009 % |
102.58/102.61	c |    542671 |   11447  1262053 10451768 |        1    70309     44 |  0.009 % |
102.58/102.61	c |    543117 |   11447  1262053 10451768 |        1    70755     44 |  0.009 % |
102.58/102.61	c |    543829 |   11447  1262053 10451768 |        1    71467     44 |  0.009 % |
102.58/102.61	c |    545761 |   11447  1262053 10451768 |        1    73399     45 |  0.009 % |
102.58/102.61	c |    545902 |   11447  1262053 10451768 |        1    73540     45 |  0.009 % |
102.58/102.61	c |    547496 |   11447  1262053 10451768 |        1    75134     47 |  0.009 % |
102.58/102.61	c |    547603 |   11447  1262053 10451768 |        1    75241     47 |  0.009 % |
102.58/102.61	c |    548015 |   11447  1262053 10451768 |        1    75653     47 |  0.009 % |
102.58/102.61	c |    548257 |   11447  1262053 10451768 |        1    75895     48 |  0.009 % |
102.58/102.61	c |    549887 |   11447  1262053 10451768 |        1    77525     49 |  0.009 % |
102.58/102.61	c |    550166 |   11447  1262053 10451768 |        1    77804     49 |  0.009 % |
102.58/102.61	c |    553340 |   11447  1262053 10451768 |        1    80978     52 |  0.009 % |
102.58/102.61	c |    553440 |   11447  1262053 10451768 |        1    81078     52 |  0.009 % |
107.48/107.55	c |    553584 |   11447  1262053 10451768 |        1    81222     52 |  0.009 % |
107.48/107.55	c |    553948 |   11447  1262053 10451768 |        1    81586     52 |  0.009 % |
107.48/107.55	c |    554653 |   11447  1262053 10451768 |        1    82291     52 |  0.009 % |
107.48/107.55	c |    559969 |   11447  1262053 10451768 |        1    87607     54 |  0.009 % |
107.48/107.55	c |    560161 |   11447  1262053 10451768 |        1    87799     54 |  0.009 % |
107.48/107.55	c |    560982 |   11447  1262053 10451768 |        1    88620     54 |  0.009 % |
107.48/107.55	c |    561131 |   11447  1262053 10451768 |        1    88769     54 |  0.009 % |
107.48/107.55	c |    561231 |   11447  1262053 10451768 |        1    88869     54 |  0.009 % |
107.48/107.55	c |    561914 |   11447  1262053 10451768 |        1    89552     55 |  0.009 % |
107.48/107.55	c |    562255 |   11447  1262053 10451768 |        1    89893     55 |  0.009 % |
107.48/107.55	c |    563837 |   11447  1262053 10451768 |        1    91475     56 |  0.009 % |
107.48/107.55	c |    564299 |   11447  1262053 10451768 |        1    91937     56 |  0.009 % |
107.48/107.55	c |    564400 |   11447  1262053 10451768 |        1    92038     56 |  0.009 % |
107.48/107.55	c |    565055 |   11447  1262053 10451768 |        1    92693     56 |  0.009 % |
107.48/107.55	c |    566625 |   11447  1262053 10451768 |        1    94263     58 |  0.009 % |
107.48/107.55	c |    566747 |   11447  1262053 10451768 |        1    94385     58 |  0.009 % |
107.48/107.55	c |    566878 |   11447  1262053 10451768 |        1    94516     58 |  0.009 % |
107.48/107.55	c |    567096 |   11447  1262053 10451768 |        1    94734     58 |  0.009 % |
107.48/107.55	c |    567198 |   11447  1262053 10451768 |        1    94836     58 |  0.009 % |
107.48/107.55	c |    567302 |   11447  1262053 10451768 |        1    94940     58 |  0.009 % |
107.48/107.55	c |    567783 |   11447  1262053 10451768 |        1    95421     58 |  0.009 % |
107.48/107.55	c |    567998 |   11447  1262053 10451768 |        1    95636     58 |  0.009 % |
107.48/107.55	c |    568098 |   11447  1262053 10451768 |        1    95736     58 |  0.009 % |
107.48/107.55	c |    569847 |   11447  1262053 10451768 |        1    97485     58 |  0.009 % |
107.48/107.55	c |    570165 |   11447  1262053 10451768 |        1    97803     58 |  0.009 % |
107.48/107.55	c |    570265 |   11447  1262053 10451768 |        1    97903     58 |  0.009 % |
107.48/107.55	c |    570405 |   11447  1262053 10451768 |        1    98043     59 |  0.009 % |
107.48/107.55	c |    570658 |   11447  1262053 10451768 |        1    98296     58 |  0.009 % |
107.48/107.55	c |    572138 |   11447  1262053 10451768 |        1    99776     59 |  0.009 % |
107.48/107.55	c |    573954 |   11447  1262053 10451768 |        1   101592     59 |  0.009 % |
107.48/107.55	c |    574756 |   11447  1262053 10451768 |        1    51576     25 |  0.009 % |
107.48/107.55	c |    576372 |   11447  1262053 10451768 |        1    53192     27 |  0.009 % |
107.48/107.55	c |    577009 |   11447  1262053 10451768 |        1    53829     27 |  0.009 % |
107.48/107.55	c |    577109 |   11447  1262053 10451768 |        1    53929     27 |  0.009 % |
107.48/107.55	c |    577234 |   11447  1262053 10451768 |        1    54054     27 |  0.009 % |
107.48/107.55	c |    577623 |   11447  1262053 10451768 |        1    54443     28 |  0.009 % |
107.48/107.55	c |    578733 |   11447  1262053 10451768 |        1    55553     29 |  0.009 % |
107.48/107.55	c |    580694 |   11447  1262053 10451768 |        1    57514     31 |  0.009 % |
107.48/107.55	c |    582298 |   11447  1262053 10451768 |        1    59118     33 |  0.009 % |
107.48/107.55	c |    583106 |   11447  1262053 10451768 |        1    59926     34 |  0.009 % |
107.48/107.55	c |    583206 |   11447  1262053 10451768 |        1    60026     34 |  0.009 % |
107.48/107.55	c |    585307 |   11447  1262053 10451768 |        1    62127     35 |  0.009 % |
107.48/107.55	c |    585620 |   11447  1262053 10451768 |        1    62440     35 |  0.009 % |
107.48/107.55	c |    585724 |   11447  1262053 10451768 |        1    62544     35 |  0.009 % |
107.48/107.55	c |    585893 |   11447  1262053 10451768 |        1    62713     35 |  0.009 % |
107.48/107.55	c |    586028 |   11447  1262053 10451768 |        1    62848     36 |  0.009 % |
107.48/107.55	c |    586128 |   11447  1262053 10451768 |        1    62948     36 |  0.009 % |
107.48/107.55	c |    586549 |   11447  1262053 10451768 |        1    63369     36 |  0.009 % |
107.48/107.55	c |    589323 |   11447  1262053 10451768 |        1    66143     37 |  0.009 % |
107.48/107.55	c |    589425 |   11447  1262053 10451768 |        1    66245     37 |  0.009 % |
113.98/114.03	c |    589971 |   11447  1262053 10451768 |        1    66791     37 |  0.009 % |
113.98/114.03	c |    591026 |   11447  1262053 10451768 |        1    67846     39 |  0.009 % |
113.98/114.03	c |    591127 |   11447  1262053 10451768 |        1    67947     39 |  0.009 % |
113.98/114.03	c |    591231 |   11447  1262053 10451768 |        1    68051     39 |  0.009 % |
113.98/114.03	c |    591410 |   11447  1262053 10451768 |        1    68230     39 |  0.009 % |
113.98/114.03	c |    591677 |   11447  1262053 10451768 |        1    68497     39 |  0.009 % |
113.98/114.03	c |    591779 |   11447  1262053 10451768 |        1    68599     39 |  0.009 % |
113.98/114.03	c |    592970 |   11447  1262053 10451768 |        1    69790     40 |  0.009 % |
113.98/114.03	c |    593251 |   11447  1262053 10451768 |        1    70071     41 |  0.009 % |
113.98/114.03	c |    593373 |   11447  1262053 10451768 |        1    70193     41 |  0.009 % |
113.98/114.03	c |    593473 |   11447  1262053 10451768 |        1    70293     41 |  0.009 % |
113.98/114.03	c |    593737 |   11447  1262053 10451768 |        1    70557     41 |  0.009 % |
113.98/114.03	c |    595538 |   11447  1262053 10451768 |        1    72358     43 |  0.009 % |
113.98/114.03	c |    595756 |   11447  1262053 10451768 |        1    72576     43 |  0.009 % |
113.98/114.03	c |    596259 |   11447  1262053 10451768 |        1    73079     44 |  0.009 % |
113.98/114.03	c |    596359 |   11447  1262053 10451768 |        1    73179     44 |  0.009 % |
113.98/114.03	c |    599524 |   11447  1262053 10451768 |        1    76344     46 |  0.009 % |
113.98/114.03	c |    600298 |   11447  1262053 10451768 |        1    77118     46 |  0.009 % |
113.98/114.03	c |    600449 |   11447  1262053 10451768 |        1    77269     46 |  0.009 % |
113.98/114.03	c |    601215 |   11447  1262053 10451768 |        1    78035     46 |  0.009 % |
113.98/114.03	c |    602504 |   11447  1262053 10451768 |        1    79324     47 |  0.009 % |
113.98/114.03	c |    602795 |   11447  1262053 10451768 |        1    79615     47 |  0.009 % |
113.98/114.03	c |    602895 |   11447  1262053 10451768 |        1    79715     47 |  0.009 % |
113.98/114.03	c |    603123 |   11447  1262053 10451768 |        1    79943     48 |  0.009 % |
113.98/114.03	c |    603264 |   11447  1262053 10451768 |        1    80084     48 |  0.009 % |
113.98/114.03	c |    603368 |   11447  1262053 10451768 |        1    80188     48 |  0.009 % |
113.98/114.03	c |    603474 |   11447  1262053 10451768 |        1    80294     48 |  0.009 % |
113.98/114.03	c |    603746 |   11447  1262053 10451768 |        1    80566     48 |  0.009 % |
113.98/114.03	c |    605774 |   11447  1262053 10451768 |        1    82594     49 |  0.009 % |
113.98/114.03	c |    606875 |   11446  1262053 10451768 |        1    83691     50 |  0.017 % |
113.98/114.03	c |    607492 |   11446  1262053 10451768 |        1    84308     50 |  0.017 % |
113.98/114.03	c |    607897 |   11446  1262053 10451768 |        1    84713     50 |  0.017 % |
113.98/114.03	c |    608041 |   11446  1262053 10451768 |        1    84857     50 |  0.017 % |
113.98/114.03	c |    608506 |   11446  1262053 10451768 |        1    85322     51 |  0.017 % |
113.98/114.03	c |    608688 |   11446  1262053 10451768 |        1    85504     51 |  0.017 % |
113.98/114.03	c |    608788 |   11446  1262053 10451768 |        1    85604     51 |  0.017 % |
113.98/114.03	c |    610038 |   11446  1262053 10451768 |        1    86854     51 |  0.017 % |
113.98/114.03	c |    610428 |   11446  1262053 10451768 |        1    87244     52 |  0.017 % |
113.98/114.03	c |    610686 |   11446  1262053 10451768 |        1    87502     52 |  0.017 % |
113.98/114.03	c |    610788 |   11446  1262053 10451768 |        1    87604     52 |  0.017 % |
113.98/114.03	c |    610932 |   11446  1262053 10451768 |        1    87748     52 |  0.017 % |
113.98/114.03	c |    611080 |   11446  1262053 10451768 |        1    87896     52 |  0.017 % |
113.98/114.03	c |    611182 |   11446  1262053 10451768 |        1    87998     52 |  0.017 % |
113.98/114.03	c |    614069 |   11446  1262053 10451768 |        1    90885     53 |  0.017 % |
113.98/114.03	c |    617071 |   11446  1262053 10451768 |        1    93887     55 |  0.017 % |
113.98/114.03	c |    618109 |   11446  1262053 10451768 |        1    94925     55 |  0.017 % |
113.98/114.03	c |    618533 |   11446  1262053 10451768 |        1    95349     55 |  0.017 % |
113.98/114.03	c |    619883 |   11446  1262053 10451768 |        1    96699     55 |  0.017 % |
113.98/114.03	c |    620438 |   11446  1262053 10451768 |        1    97254     55 |  0.017 % |
113.98/114.03	c |    628864 |   11446  1262053 10451768 |        1   105680     64 |  0.017 % |
119.98/120.03	c |    628964 |   11446  1262053 10451768 |        1   105780     64 |  0.017 % |
119.98/120.03	c |    629064 |   11446  1262053 10451768 |        1   105880     64 |  0.017 % |
119.98/120.03	c |    629381 |   11446  1262053 10451768 |        1   106197     64 |  0.017 % |
119.98/120.03	c |    629481 |   11446  1262053 10451768 |        1   106297     64 |  0.017 % |
119.98/120.03	c |    629869 |   11446  1262053 10451768 |        1   106685     64 |  0.017 % |
119.98/120.03	c |    629970 |   11446  1262053 10451768 |        1   106786     64 |  0.017 % |
119.98/120.03	c |    630342 |   11446  1262053 10451768 |        1    53760     26 |  0.017 % |
119.98/120.03	c |    630547 |   11446  1262053 10451768 |        1    53965     26 |  0.017 % |
119.98/120.03	c |    631675 |   11446  1262053 10451768 |        1    55093     27 |  0.017 % |
119.98/120.03	c |    632804 |   11446  1262053 10451768 |        1    56222     28 |  0.017 % |
119.98/120.03	c |    632904 |   11446  1262053 10451768 |        1    56322     28 |  0.017 % |
119.98/120.03	c |    633588 |   11446  1262053 10451768 |        1    57006     29 |  0.017 % |
119.98/120.03	c |    634599 |   11446  1262053 10451768 |        1    58017     30 |  0.017 % |
119.98/120.03	c |    643513 |   11446  1262053 10451768 |        1    66931     34 |  0.017 % |
119.98/120.03	c |    643933 |   11446  1262053 10451768 |        1    67351     35 |  0.017 % |
119.98/120.03	c |    644033 |   11446  1262053 10451768 |        1    67451     35 |  0.017 % |
119.98/120.03	c |    644134 |   11446  1262053 10451768 |        1    67552     35 |  0.017 % |
119.98/120.03	c |    644236 |   11446  1262053 10451768 |        1    67654     35 |  0.017 % |
119.98/120.03	c |    644453 |   11446  1262053 10451768 |        1    67871     35 |  0.017 % |
119.98/120.03	c |    646340 |   11446  1262053 10451768 |        1    69758     37 |  0.017 % |
119.98/120.03	c |    656269 |   11446  1262053 10451768 |        1    79687     42 |  0.017 % |
119.98/120.03	c |    657747 |   11446  1262053 10451768 |        1    81165     42 |  0.017 % |
119.98/120.03	c |    657945 |   11446  1262053 10451768 |        1    81363     42 |  0.017 % |
119.98/120.03	c |    658505 |   11446  1262053 10451768 |        1    81923     43 |  0.017 % |
119.98/120.03	c |    658772 |   11446  1262053 10451768 |        1    82190     43 |  0.017 % |
119.98/120.03	c |    658872 |   11446  1262053 10451768 |        1    82290     43 |  0.017 % |
119.98/120.03	c |    659050 |   11446  1262053 10451768 |        1    82468     43 |  0.017 % |
119.98/120.03	c |    661556 |   11446  1262053 10451768 |        1    84974     44 |  0.017 % |
119.98/120.03	c |    661663 |   11446  1262053 10451768 |        1    85081     44 |  0.017 % |
119.98/120.03	c |    663715 |   11446  1262053 10451768 |        1    87133     45 |  0.017 % |
119.98/120.03	c |    663856 |   11446  1262053 10451768 |        1    87274     45 |  0.017 % |
119.98/120.03	c |    664694 |   11446  1262053 10451768 |        1    88112     45 |  0.017 % |
119.98/120.03	c |    665575 |   11446  1262053 10451768 |        1    88993     45 |  0.017 % |
119.98/120.03	c |    665694 |   11446  1262053 10451768 |        1    89112     45 |  0.017 % |
119.98/120.03	c |    666189 |   11446  1262053 10451768 |        1    89607     46 |  0.017 % |
119.98/120.03	c |    667176 |   11446  1262053 10451768 |        1    90594     46 |  0.017 % |
119.98/120.03	c |    667319 |   11446  1262053 10451768 |        1    90737     46 |  0.017 % |
119.98/120.03	c |    667420 |   11446  1262053 10451768 |        1    90838     46 |  0.017 % |
119.98/120.03	c |    667876 |   11446  1262053 10451768 |        1    91294     47 |  0.017 % |
119.98/120.03	c |    671107 |   11446  1262053 10451768 |        1    94525     47 |  0.017 % |
119.98/120.03	c |    672135 |   11446  1262053 10451768 |        1    95553     48 |  0.017 % |
119.98/120.03	c |    672279 |   11446  1262053 10451768 |        1    95697     48 |  0.017 % |
119.98/120.03	c |    672381 |   11446  1262053 10451768 |        1    95799     48 |  0.017 % |
119.98/120.03	c |    673717 |   11446  1262053 10451768 |        1    97135     48 |  0.017 % |
119.98/120.03	c |    673817 |   11446  1262053 10451768 |        1    97235     48 |  0.017 % |
119.98/120.03	c |    674034 |   11446  1262053 10451768 |        1    97452     48 |  0.017 % |
119.98/120.03	c |    674135 |   11446  1262053 10451768 |        1    97553     48 |  0.017 % |
119.98/120.03	c |    674393 |   11446  1262053 10451768 |        1    97811     48 |  0.017 % |
119.98/120.03	c |    674584 |   11446  1262053 10451768 |        1    98002     48 |  0.017 % |
119.98/120.03	c |    674685 |   11446  1262053 10451768 |        1    98103     48 |  0.017 % |
125.18/125.24	c |    675024 |   11446  1262053 10451768 |        1    98442     49 |  0.017 % |
125.18/125.24	c |    675693 |   11446  1262053 10451768 |        1    99111     49 |  0.017 % |
125.18/125.24	c |    675793 |   11446  1262053 10451768 |        1    99211     49 |  0.017 % |
125.18/125.24	c |    675902 |   11446  1262053 10451768 |        1    99320     49 |  0.017 % |
125.18/125.24	c |    676003 |   11446  1262053 10451768 |        1    99421     49 |  0.017 % |
125.18/125.24	c |    676513 |   11446  1262053 10451768 |        1    99931     49 |  0.017 % |
125.18/125.24	c |    676613 |   11446  1262053 10451768 |        1   100031     49 |  0.017 % |
125.18/125.24	c |    676713 |   11446  1262053 10451768 |        1   100131     49 |  0.017 % |
125.18/125.24	c |    677119 |   11446  1262053 10451768 |        1   100537     50 |  0.017 % |
125.18/125.24	c |    677384 |   11446  1262053 10451768 |        1   100802     50 |  0.017 % |
125.18/125.24	c |    678014 |   11446  1262053 10451768 |        1   101432     50 |  0.017 % |
125.18/125.24	c |    678214 |   11446  1262053 10451768 |        1   101632     50 |  0.017 % |
125.18/125.24	c |    678375 |   11446  1262053 10451768 |        1   101793     50 |  0.017 % |
125.18/125.24	c |    678958 |   11446  1262053 10451768 |        1   102376     50 |  0.017 % |
125.18/125.24	c |    679060 |   11446  1262053 10451768 |        1   102478     50 |  0.017 % |
125.18/125.24	c |    679161 |   11446  1262053 10451768 |        1   102579     51 |  0.017 % |
125.18/125.24	c |    679349 |   11446  1262053 10451768 |        1   102767     51 |  0.017 % |
125.18/125.24	c |    679449 |   11446  1262053 10451768 |        1   102867     51 |  0.017 % |
125.18/125.24	c |    679845 |   11446  1262053 10451768 |        1   103263     51 |  0.017 % |
125.18/125.24	c |    679945 |   11446  1262053 10451768 |        1   103363     51 |  0.017 % |
125.18/125.24	c |    680045 |   11446  1262053 10451768 |        1   103463     51 |  0.017 % |
125.18/125.24	c |    681833 |   11446  1262053 10451768 |        1   105251     52 |  0.017 % |
125.18/125.24	c |    683748 |   11446  1262053 10451768 |        1   107166     52 |  0.017 % |
125.18/125.24	c |    684456 |   11446  1262053 10451768 |        1   107874     53 |  0.017 % |
125.18/125.24	c |    684557 |   11446  1262053 10451768 |        1   107975     53 |  0.017 % |
125.18/125.24	c |    685898 |   11446  1262053 10451768 |        1   109316     53 |  0.017 % |
125.18/125.24	c |    685998 |   11446  1262053 10451768 |        1   109416     53 |  0.017 % |
125.18/125.24	c |    686212 |   11446  1262053 10451768 |        1   109630     53 |  0.017 % |
125.18/125.24	c |    687419 |   11446  1262053 10451768 |        1   110837     54 |  0.017 % |
125.18/125.24	c |    690531 |   11446  1262053 10451768 |        1    57957     24 |  0.017 % |
125.18/125.24	c |    690990 |   11446  1262053 10451768 |        1    58416     24 |  0.017 % |
125.18/125.24	c |    691135 |   11446  1262053 10451768 |        1    58561     24 |  0.017 % |
125.18/125.24	c |    693681 |   11446  1262053 10451768 |        1    61107     27 |  0.017 % |
125.18/125.24	c |    694295 |   11446  1262053 10451768 |        1    61721     28 |  0.017 % |
125.18/125.24	c |    695011 |   11446  1262053 10451768 |        1    62437     29 |  0.017 % |
125.18/125.24	c |    695147 |   11446  1262053 10451768 |        1    62573     29 |  0.017 % |
125.18/125.24	c |    700027 |   11446  1262053 10451768 |        1    67453     34 |  0.017 % |
125.18/125.24	c |    700423 |   11446  1262053 10451768 |        1    67849     34 |  0.017 % |
125.18/125.24	c |    700804 |   11446  1262053 10451768 |        1    68230     35 |  0.017 % |
125.18/125.24	c |    702005 |   11446  1262053 10451768 |        1    69431     35 |  0.017 % |
125.18/125.24	c |    702105 |   11446  1262053 10451768 |        1    69531     35 |  0.017 % |
125.18/125.24	c |    702375 |   11446  1262053 10451768 |        1    69801     36 |  0.017 % |
125.18/125.24	c |    702684 |   11446  1262053 10451768 |        1    70110     36 |  0.017 % |
125.18/125.24	c |    702784 |   11446  1262053 10451768 |        1    70210     36 |  0.017 % |
125.18/125.24	c |    704671 |   11446  1262053 10451768 |        1    72097     37 |  0.017 % |
125.18/125.24	c |    706290 |   11446  1262053 10451768 |        1    73716     38 |  0.017 % |
125.18/125.24	c |    706472 |   11446  1262053 10451768 |        1    73898     38 |  0.017 % |
125.18/125.24	c |    709776 |   11446  1262053 10451768 |        1    77202     40 |  0.017 % |
125.18/125.24	c |    710126 |   11446  1262053 10451768 |        1    77552     40 |  0.017 % |
125.18/125.24	c |    710377 |   11446  1262053 10451768 |        1    77803     41 |  0.017 % |
126.69/126.71	c |    713272 |   11446  1262053 10451768 |        1    80698     42 |  0.017 % |
126.69/126.71	c |    713375 |   11446  1262053 10451768 |        1    80801     42 |  0.017 % |
126.69/126.71	c |    714263 |   11446  1262053 10451768 |        1    81689     43 |  0.017 % |
126.69/126.71	c |    716104 |   11446  1262053 10451768 |        1    83530     43 |  0.017 % |
126.69/126.71	c |    717616 |   11446  1262053 10451768 |        1    85042     44 |  0.017 % |
126.69/126.71	c |    717719 |   11446  1262053 10451768 |        1    85145     44 |  0.017 % |
126.69/126.71	c |    718575 |   11446  1262053 10451768 |        1    86001     45 |  0.017 % |
126.69/126.71	c |    719562 |   11446  1262053 10451768 |        1    86988     46 |  0.017 % |
126.69/126.71	c |    721193 |   11446  1262053 10451768 |        1    88619     46 |  0.017 % |
126.69/126.71	c ===============================================================================
126.69/126.71	c restarts              : 697
126.69/126.71	c nb ReduceDB           : 22
126.69/126.71	c nb removed Clauses    : 632569
126.69/126.71	c nb learnts DL2        : 5560
126.69/126.71	c nb learnts size 2     : 2955
126.69/126.71	c nb learnts size 1     : 2
126.69/126.71	c conflicts             : 721193         (7432 /sec)
126.69/126.71	c decisions             : 1670086        (0.00 % random) (17210 /sec)
126.69/126.71	c propagations          : 230245460      (2372631 /sec)
126.69/126.71	c conflict literals     : 59062134       (24.40 % deleted)
126.69/126.71	c nb reduced Clauses    : 1877
126.69/126.71	c CPU time              : 97.0422 s
126.69/126.71	
126.69/126.72	s SATISFIABLE
126.69/126.72	v 1 -2 3 4 -5 -6 -7 8 -9 -10 -11 -12 -13 -14 -15 16 -17 -18 -19 -20 -21 -22 23 24 -25 26 27 28 -29 -30 31 32 33 -34 35 36 37 38 -39 -40 41 -42 -43 -44 -45 -46 47 48 -49 50 -51 -52 -53 -54 -55 -56 -57 58 59 -60 61 -62 -63 -64 65 -66 -67 -68 69 -70 -71 -72 -73 -74 -75 -76 -77 78 -79 -80 81 82 -83 -84 85 86 87 -88 89 90 91 92 -93 -94 95 -96 -97 98 -99 -100 -101 -102 -103 104 -105 -106 -107 -108 -109 -110 -111 -112 113 -114 -115 -116 -117 -118 -119 -120 -121 -122 -123 -124 -125 126 127 -128 -129 -130 -131 -132 -133 134 135 136 -137 -138 -139 -140 -141 142 143 144 145 146 147 148 149 150 151 152 153 -154 -155 -156 -157 -158 -159 -160 -161 -162 -163 164 -165 -166 -167 -168 -169 -170 -171 -172 -173 -174 -175 -176 -177 178 -179 -180 -181 -182 183 184 -185 -186 -187 -188 -189 -190 -191 -192 -193 -194 195 -196 -197 -198 -199 200 -201 -202 -203 -204 -205 -206 -207 -208 -209 -210 211 -212 -213 -214 -215 -216 -217 -218 -219 -220 -221 -222 -223 -224 -225 -226 -227 -228 -229 -230 -231 -232 -233 -234 -235 -236 237 238 -239 240 241 242 243 -244 245 246 -247 -248 -249 -250 -251 252 253 -254 -255 256 -257 -258 -259 -260 261 -262 -263 -264 -265 -266 -267 -268 -269 270 271 -272 273 274 275 276 -277 -278 -279 280 -281 -282 283 -284 285 286 287 288 -289 -290 -291 -292 293 294 -295 -296 297 298 299 -300 301 -302 303 304 305 306 -307 -308 -309 310 311 -312 -313 -314 315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 327 -328 -329 330 331 332 -333 334 -335 336 337 338 339 340 341 -342 343 -344 345 346 347 348 349 350 351 352 353 354 -355 -356 -357 -358 359 360 361 362 -363 364 -365 -366 -367 -368 -369 -370 371 372 -373 -374 -375 -376 -377 -378 -379 -380 -381 -382 -383 -384 385 386 387 -388 389 390 -391 392 -393 -394 -395 396 397 398 399 400 401 402 403 404 405 406 407 408 -409 410 411 -412 413 -414 -415 -416 417 -418 419 -420 -421 -422 -423 -424 -425 -426 -427 428 -429 430 -431 -432 -433 -434 435 -436 437 -438 -439 -440 441 -442 443 -444 -445 -446 -447 448 449 -450 -451 -452 453 -454 -455 -456 -457 -458 -459 460 -461 -462 -463 -464 -465 -466 467 468 -469 -470 -471 -472 -473 -474 -475 -476 -477 -478 -479 -480 -481 -482 -483 -484 -485 -486 487 488 489 490 491 492 493 -494 -495 -496 -497 -498 -499 -500 -501 -502 -503 -504 -505 -506 -507 -508 -509 -510 -511 -512 -513 -514 -515 516 517 518 -519 -520 -521 -522 -523 -524 -525 -526 -527 -528 -529 -530 -531 532 533 -534 -535 -536 -537 -538 -539 -540 -541 -542 -543 -544 -545 -546 -547 -548 -549 -550 -551 -552 -553 554 555 556 557 558 559 -560 -561 -562 -563 -564 -565 -566 -567 -568 -569 -570 -571 -572 -573 574 -575 -576 -577 -578 -579 -580 -581 -582 -583 -584 -585 -586 -587 -588 -589 -590 -591 -592 -593 -594 -595 -596 597 -598 -599 -600 -601 -602 -603 -604 -605 -606 -607 -608 -609 -610 -611 -612 -613 -614 -615 -616 -617 -618 -619 -620 -621 -622 623 624 -625 -626 -627 -628 -629 -630 -631 -632 -633 -634 -635 -636 -637 -638 639 640 641 642 643 644 645 646 647 648 649 -650 -651 -652 -653 -654 -655 -656 -657 -658 -659 -660 -661 -662 -663 -664 -665 -666 -667 -668 -669 -670 -671 672 -673 -674 -675 -676 -677 -678 -679 -680 -681 -682 683 -684 -685 -686 -687 -688 -689 -690 -691 -692 -693 -694 -695 -696 -697 -698 -699 -700 -701 -702 -703 -704 -705 -706 -707 -708 -709 -710 -711 -712 713 714 -715 -716 -717 -718 -719 -720 -721 -722 -723 -724 -725 -726 -727 -728 -729 730 -731 -732 -733 -734 -735 -736 -737 -738 -739 -740 -741 -742 -743 -744 -745 -746 -747 -748 -749 -750 -751 -752 -753 -754 -755 -756 757 -758 -759 -760 -761 -762 -763 -764 -765 -766 -767 -768 -769 -770 -771 772 -773 -774 -775 -776 -777 -778 -779 -780 -781 -782 -783 -784 -785 -786 -787 -788 -789 -790 -791 -792 -793 -794 -795 -796 -797 -798 799 -800 -801 -802 -803 -804 -805 -806 -807 -808 -809 -810 -811 -812 -813 -814 -815 -816 -817 -818 -819 820 821 -822 -823 -824 -825 -826 -827 -828 -829 -830 -831 -832 -833 -834 -835 -836 -837 -838 -839 -840 -841 -842 -843 844 -845 -846 -847 -848 -849 -850 -851 -852 -853 -854 -855 -856 -857 -858 -859 -860 -861 -862 -863 -864 -865 -866 867 -868 -869 -870 -871 -872 -873 -874 -875 -876 -877 -878 -879 -880 -881 -882 -883 -884 -885 -886 -887 -888 -889 890 -891 -892 -893 -894 -895 -896 -897 -898 -899 -900 -901 -902 -903 -904 -905 -906 -907 -908 -909 -910 -911 -912 913 914 -915 -916 -917 -918 -919 -920 -921 -922 -923 -924 -925 -926 927 928 -929 -930 -931 -932 -933 -934 -935 -936 -937 -938 -939 -940 -941 -942 -943 -944 -945 -946 -947 948 949 950 -951 -952 -953 -954 -955 -956 -957 -958 -959 -960 -961 -962 -963 -964 -965 -966 -967 -968 -969 -970 -971 -972 -973 -974 -975 -976 -977 978 979 -980 -981 -982 -983 -984 -985 -986 -987 -988 -989 -990 -991 -992 -993 -994 -995 -996 997 998 999 1000 -1001 -1002 -1003 -1004 -1005 -1006 -1007 -1008 -1009 -1010 -1011 -1012 -1013 -1014 -1015 -1016 -1017 1018 1019 1020 -1021 -1022 -1023 -1024 -1025 -1026 -1027 -1028 -1029 -1030 -1031 -1032 -1033 -1034 -1035 -1036 -1037 -1038 -1039 -1040 -1041 -1042 1043 -1044 -1045 -1046 -1047 -1048 -1049 -1050 -1051 -1052 -1053 -1054 -1055 -1056 -1057 -1058 -1059 -1060 -1061 1062 1063 1064 1065 1066 1067 -1068 -1069 -1070 -1071 -1072 -1073 -1074 -1075 -1076 -1077 -1078 -1079 -1080 1081 1082 1083 1084 1085 1086 1087 -1088 -1089 -1090 -1091 -1092 -1093 -1094 -1095 -1096 -1097 -1098 -1099 -1100 -1101 1102 1103 -1104 -1105 -1106 -1107 -1108 -1109 -1110 -1111 -1112 -1113 -1114 -1115 -1116 -1117 -1118 -1119 -1120 -1121 -1122 1123 -1124 -1125 -1126 -1127 -1128 -1129 -1130 -1131 -1132 -1133 -1134 -1135 -1136 -1137 -1138 -1139 -1140 -1141 -1142 -1143 -1144 1145 1146 1147 1148 1149 1150 -1151 -1152 -1153 -1154 -1155 -1156 -1157 -1158 -1159 -1160 -1161 -1162 -1163 -1164 -1165 -1166 -1167 1168 1169 1170 1171 1172 1173 1174 1175 1176 1177 -1178 -1179 -1180 -1181 -1182 -1183 -1184 -1185 -1186 -1187 -1188 -1189 1190 1191 1192 1193 1194 -1195 -1196 -1197 -1198 -1199 -1200 -1201 -1202 -1203 -1204 -1205 -1206 -1207 -1208 -1209 -1210 -1211 -1212 1213 -1214 -1215 -1216 -1217 -1218 -1219 -1220 -1221 -1222 -1223 -1224 -1225 -1226 -1227 -1228 -1229 -1230 -1231 -1232 -1233 -1234 -1235 -1236 -1237 -1238 1239 -1240 -1241 -1242 -1243 -1244 -1245 -1246 -1247 -1248 -1249 -1250 -1251 -1252 -1253 -1254 -1255 1256 1257 1258 1259 -1260 -1261 -1262 -1263 -1264 -1265 -1266 -1267 -1268 -1269 -1270 -1271 -1272 -1273 -1274 -1275 -1276 -1277 -1278 -1279 1280 1281 1282 1283 -1284 -1285 -1286 -1287 -1288 -1289 -1290 -1291 -1292 -1293 -1294 -1295 -1296 -1297 -1298 -1299 -1300 -1301 -1302 -1303 -1304 -1305 1306 -1307 -1308 -1309 -1310 -1311 -1312 -1313 -1314 -1315 -1316 -1317 -1318 -1319 -1320 -1321 -1322 -1323 -1324 1325 1326 1327 1328 -1329 -1330 -1331 -1332 -1333 -1334 -1335 -1336 -1337 -1338 -1339 -1340 -1341 -1342 -1343 -1344 -1345 -1346 -1347 -1348 -1349 1350 -1351 -1352 -1353 -1354 -1355 -1356 -1357 -1358 -1359 -1360 -1361 -1362 -1363 -1364 -1365 -1366 -1367 -1368 -1369 -1370 -1371 -1372 -1373 -1374 1375 -1376 -1377 -1378 -1379 -1380 -1381 -1382 -1383 -1384 -1385 -1386 -1387 -1388 -1389 -1390 -1391 -1392 -1393 -1394 -1395 -1396 1397 -1398 -1399 -1400 -1401 -1402 -1403 -1404 -1405 -1406 -1407 -1408 -1409 1410 -1411 -1412 -1413 -1414 -1415 -1416 -1417 -1418 -1419 -1420 -1421 -1422 -1423 -1424 -1425 -1426 -1427 -1428 -1429 -1430 -1431 -1432 -1433 -1434 1435 1436 -1437 -1438 -1439 -1440 -1441 -1442 -1443 -1444 -1445 -1446 -1447 -1448 -1449 -1450 -1451 -1452 -1453 -1454 -1455 -1456 -1457 -1458 -1459 -1460 -1461 -1462 -1463 -1464 -1465 -1466 -1467 -1468 -1469 -1470 -1471 -1472 -1473 -1474 -1475 -1476 -1477 -1478 1479 -1480 -1481 -1482 -1483 -1484 -1485 -1486 -1487 -1488 -1489 -1490 -1491 -1492 -1493 -1494 -1495 -1496 -1497 -1498 -1499 -1500 1501 1502 -1503 -1504 -1505 -1506 -1507 -1508 -1509 -1510 -1511 -1512 -1513 -1514 -1515 -1516 -1517 -1518 -1519 -1520 -1521 -1522 -1523 -1524 -1525 -1526 -1527 -1528 -1529 -1530 -1531 -1532 -1533 -1534 -1535 -1536 -1537 -1538 -1539 -1540 -1541 -1542 -1543 -1544 -1545 -1546 -1547 -1548 -1549 -1550 -1551 -1552 -1553 -1554 -1555 -1556 -1557 -1558 -1559 -1560 -1561 -1562 -1563 -1564 -1565 -1566 -1567 -1568 -1569 -1570 -1571 -1572 -1573 -1574 -1575 -1576 -1577 -1578 -1579 -1580 -1581 -1582 -1583 -1584 -1585 -1586 -1587 -1588 1589 1590 -1591 -1592 -1593 -1594 -1595 -1596 -1597 -1598 -1599 -1600 -1601 -1602 -1603 -1604 -1605 -1606 -1607 -1608 -1609 -1610 -1611 -1612 -1613 -1614 -1615 -1616 -1617 -1618 -1619 -1620 -1621 -1622 -1623 -1624 -1625 -1626 -1627 -1628 -1629 -1630 -1631 -1632 -1633 -1634 -1635 -1636 -1637 -1638 -1639 -1640 -1641 -1642 -1643 -1644 -1645 -1646 -1647 -1648 -1649 -1650 -1651 -1652 -1653 -1654 -1655 -1656 -1657 -1658 -1659 -1660 -1661 -1662 -1663 -1664 -1665 -1666 -1667 -1668 -1669 -1670 -1671 -1672 -1673 -1674 -1675 -1676 -1677 -1678 -1679 -1680 -1681 -1682 -1683 -1684 -1685 -1686 -1687 -1688 -1689 -1690 -1691 -1692 -1693 -1694 -1695 -1696 -1697 -1698 -1699 -1700 -1701 -1702 -1703 -1704 -1705 -1706 -1707 -1708 -1709 -1710 -1711 -1712 -1713 -1714 -1715 -1716 -1717 -1718 -1719 -1720 -1721 -1722 -1723 -1724 -1725 -1726 -1727 -1728 -1729 -1730 -1731 -1732 -1733 -1734 -1735 -1736 -1737 -1738 -1739 -1740 -1741 -1742 -1743 -1744 -1745 -1746 -1747 -1748 -1749 -1750 -1751 -1752 -1753 -1754 -1755 -1756 -1757 -1758 -1759 -1760 -1761 -1762 -1763 -1764 -1765 1766 -1767 -1768 -1769 -1770 -1771 -1772 -1773 -1774 -1775 -1776 -1777 -1778 -1779 -1780 -1781 -1782 -1783 -1784 -1785 -1786 -1787 -1788 -1789 -1790 -1791 -1792 -1793 -1794 -1795 -1796 -1797 -1798 -1799 -1800 -1801 -1802 -1803 -1804 -1805 -1806 -1807 -1808 -1809 -1810 -1811 -1812 -1813 -1814 -1815 -1816 -1817 -1818 -1819 -1820 -1821 -1822 -1823 -1824 -1825 -1826 -1827 -1828 -1829 -1830 -1831 -1832 -1833 -1834 -1835 -1836 -1837 -1838 -1839 -1840 -1841 -1842 -1843 -1844 -1845 -1846 -1847 -1848 -1849 -1850 -1851 -1852 -1853 -1854 -1855 -1856 -1857 -1858 -1859 -1860 -1861 -1862 -1863 -1864 -1865 -1866 -1867 -1868 -1869 -1870 -1871 -1872 -1873 -1874 -1875 -1876 -1877 -1878 -1879 -1880 -1881 -1882 -1883 -1884 -1885 -1886 -1887 -1888 -1889 -1890 -1891 -1892 -1893 -1894 -1895 -1896 -1897 -1898 -1899 -1900 -1901 -1902 -1903 -1904 -1905 -1906 -1907 -1908 -1909 -1910 -1911 -1912 -1913 -1914 -1915 -1916 -1917 1918 1919 -1920 -1921 -1922 -1923 -1924 -1925 -1926 -1927 -1928 -1929 -1930 -1931 -1932 -1933 -1934 -1935 -1936 -1937 -1938 -1939 1940 1941 1942 1943 1944 1945 -1946 -1947 -1948 -1949 -1950 -1951 -1952 -1953 -1954 -1955 -1956 -1957 -1958 -1959 -1960 -1961 -1962 -1963 -1964 -1965 -1966 -1967 -1968 -1969 -1970 -1971 -1972 -1973 -1974 -1975 -1976 -1977 -1978 -1979 -1980 -1981 -1982 1983 -1984 -1985 -1986 -1987 -1988 -1989 -1990 -1991 -1992 -1993 -1994 -1995 -1996 -1997 -1998 -1999 -2000 -2001 -2002 -2003 -2004 -2005 -2006 -2007 -2008 2009 2010 -2011 -2012 -2013 -2014 -2015 -2016 -2017 -2018 -2019 -2020 -2021 -2022 -2023 -2024 -2025 -2026 2027 2028 2029 2030 2031 2032 2033 -2034 -2035 -2036 -2037 -2038 -2039 -2040 -2041 -2042 -2043 -2044 -2045 -2046 -2047 -2048 -2049 -2050 -2051 -2052 -2053 -2054 -2055 -2056 -2057 -2058 -2059 -2060 -2061 -2062 -2063 -2064 -2065 -2066 -2067 -2068 -2069 -2070 -2071 -2072 -2073 -2074 -2075 -2076 -2077 -2078 -2079 -2080 -2081 -2082 -2083 -2084 -2085 -2086 -2087 -2088 -2089 -2090 -2091 -2092 -2093 -2094 -2095 -2096 -2097 -2098 2099 -2100 -2101 -2102 -2103 -2104 -2105 -2106 -2107 -2108 -2109 -2110 -2111 -2112 -2113 -2114 -2115 2116 -2117 -2118 -2119 -2120 -2121 -2122 -2123 -2124 -2125 -2126 -2127 -2128 -2129 -2130 -2131 -2132 -2133 -2134 -2135 -2136 -2137 -2138 -2139 -2140 -2141 -2142 2143 -2144 -2145 -2146 -2147 -2148 -2149 -2150 -2151 -2152 -2153 -2154 -2155 -2156 -2157 -2158 -2159 -2160 -2161 -2162 -2163 -2164 -2165 -2166 -2167 -2168 -2169 -2170 -2171 -2172 -2173 -2174 -2175 -2176 -2177 -2178 -2179 -2180 -2181 -2182 -2183 -2184 2185 -2186 -2187 -2188 -2189 -2190 -2191 -2192 -2193 -2194 -2195 -2196 -2197 -2198 -2199 -2200 -2201 -2202 -2203 -2204 -2205 2206 2207 -2208 -2209 -2210 -2211 -2212 -2213 -2214 -2215 -2216 -2217 -2218 -2219 -2220 -2221 -2222 -2223 -2224 -2225 -2226 -2227 -2228 -2229 2230 -2231 -2232 -2233 -2234 -2235 -2236 -2237 -2238 -2239 -2240 -2241 -2242 -2243 -2244 -2245 -2246 -2247 -2248 -2249 -2250 -2251 -2252 2253 -2254 -2255 -2256 -2257 -2258 -2259 -2260 -2261 -2262 -2263 -2264 -2265 -2266 -2267 -2268 -2269 -2270 -2271 -2272 -2273 -2274 -2275 -2276 -2277 -2278 -2279 -2280 -2281 -2282 -2283 -2284 -2285 -2286 -2287 -2288 -2289 -2290 -2291 -2292 -2293 -2294 -2295 -2296 -2297 -2298 -2299 -2300 -2301 -2302 -2303 -2304 -2305 -2306 -2307 -2308 -2309 -2310 -2311 -2312 2313 2314 -2315 -2316 -2317 -2318 -2319 -2320 -2321 -2322 -2323 -2324 -2325 -2326 -2327 -2328 -2329 -2330 -2331 -2332 -2333 -2334 -2335 -2336 -2337 -2338 -2339 -2340 -2341 -2342 -2343 -2344 -2345 -2346 -2347 -2348 -2349 -2350 -2351 -2352 -2353 -2354 -2355 -2356 -2357 -2358 -2359 -2360 -2361 -2362 -2363 -2364 -2365 -2366 -2367 -2368 -2369 -2370 -2371 -2372 -2373 -2374 -2375 -2376 -2377 -2378 -2379 -2380 -2381 -2382 -2383 -2384 -2385 -2386 -2387 -2388 -2389 -2390 -2391 -2392 -2393 -2394 -2395 -2396 -2397 -2398 -2399 -2400 -2401 -2402 -2403 -2404 -2405 -2406 -2407 -2408 -2409 -2410 -2411 -2412 -2413 -2414 -2415 -2416 -2417 -2418 -2419 -2420 -2421 -2422 -2423 -2424 -2425 -2426 -2427 -2428 -2429 -2430 -2431 -2432 -2433 -2434 -2435 -2436 -2437 -2438 -2439 -2440 -2441 -2442 -2443 -2444 -2445 -2446 -2447 -2448 -2449 -2450 -2451 2452 2453 -2454 -2455 -2456 -2457 -2458 -2459 -2460 -2461 -2462 -2463 -2464 -2465 -2466 -2467 -2468 -2469 -2470 -2471 -2472 -2473 -2474 -2475 2476 -2477 -2478 -2479 -2480 -2481 -2482 -2483 -2484 -2485 -2486 -2487 -2488 -2489 -2490 -2491 -2492 -2493 -2494 -2495 -2496 -2497 -2498 -2499 -2500 -2501 -2502 -2503 -2504 -2505 -2506 -2507 -2508 -2509 -2510 -2511 -2512 -2513 -2514 -2515 -2516 -2517 2518 -2519 -2520 -2521 -2522 -2523 -2524 -2525 -2526 -2527 -2528 -2529 -2530 -2531 -2532 -2533 -2534 -2535 -2536 -2537 -2538 -2539 -2540 -2541 -2542 -2543 -2544 -2545 -2546 -2547 -2548 -2549 -2550 -2551 -2552 -2553 -2554 -2555 -2556 -2557 -2558 -2559 -2560 -2561 -2562 -2563 -2564 -2565 -2566 -2567 -2568 -2569 -2570 -2571 -2572 -2573 -2574 -2575 -2576 -2577 -2578 -2579 -2580 -2581 -2582 -2583 -2584 -2585 -2586 -2587 -2588 -2589 -2590 -2591 -2592 -2593 -2594 -2595 -2596 -2597 -2598 -2599 -2600 -2601 -2602 -2603 -2604 -2605 -2606 -2607 -2608 -2609 -2610 -2611 -2612 -2613 -2614 -2615 -2616 -2617 -2618 -2619 -2620 -2621 -2622 -2623 -2624 -2625 -2626 -2627 -2628 -2629 -2630 -2631 -2632 -2633 -2634 -2635 -2636 -2637 -2638 -2639 -2640 -2641 -2642 -2643 -2644 -2645 -2646 -2647 -2648 -2649 -2650 -2651 -2652 -2653 -2654 -2655 -2656 -2657 -2658 -2659 -2660 -2661 -2662 -2663 -2664 -2665 -2666 -2667 -2668 -2669 -2670 -2671 -2672 -2673 -2674 -2675 -2676 -2677 -2678 -2679 -2680 -2681 -2682 -2683 -2684 -2685 -2686 -2687 -2688 -2689 -2690 -2691 -2692 -2693 2694 -2695 -2696 -2697 -2698 -2699 -2700 -2701 -2702 -2703 -2704 -2705 -2706 -2707 -2708 -2709 -2710 -2711 -2712 -2713 -2714 -2715 -2716 2717 2718 -2719 -2720 -2721 -2722 -2723 -2724 -2725 -2726 -2727 -2728 -2729 -2730 -2731 -2732 -2733 -2734 -2735 -2736 -2737 -2738 -2739 -2740 -2741 -2742 -2743 -2744 -2745 -2746 -2747 -2748 -2749 -2750 -2751 -2752 -2753 2754 2755 -2756 -2757 -2758 -2759 -2760 -2761 -2762 -2763 -2764 -2765 -2766 -2767 -2768 -2769 -2770 -2771 -2772 -2773 -2774 -2775 -2776 -2777 -2778 -2779 -2780 -2781 -2782 -2783 -2784 -2785 -2786 -2787 -2788 -2789 -2790 -2791 -2792 -2793 -2794 -2795 -2796 -2797 -2798 -2799 -2800 -2801 -2802 -2803 -2804 -2805 -2806 -2807 -2808 -2809 -2810 -2811 -2812 -2813 -2814 -2815 -2816 -2817 -2818 -2819 -2820 -2821 -2822 -2823 -2824 -2825 -2826 -2827 -2828 -2829 -2830 -2831 -2832 -2833 -2834 -2835 -2836 -2837 -2838 -2839 -2840 -2841 2842 2843 -2844 -2845 -2846 -2847 -2848 -2849 -2850 -2851 -2852 -2853 -2854 -2855 -2856 -2857 -2858 -2859 -2860 -2861 -2862 -2863 -2864 -2865 -2866 -2867 -2868 -2869 -2870 -2871 -2872 -2873 -2874 -2875 -2876 -2877 -2878 -2879 -2880 -2881 -2882 -2883 -2884 -2885 -2886 -2887 -2888 -2889 -2890 -2891 -2892 -2893 -2894 -2895 -2896 -2897 -2898 -2899 -2900 -2901 -2902 -2903 -2904 -2905 -2906 -2907 -2908 -2909 -2910 -2911 -2912 -2913 -2914 -2915 -2916 -2917 -2918 -2919 -2920 -2921 -2922 -2923 -2924 -2925 -2926 -2927 -2928 -2929 2930 -2931 -2932 -2933 -2934 -2935 -2936 -2937 -2938 -2939 -2940 -2941 -2942 -2943 -2944 -2945 -2946 -2947 -2948 -2949 -2950 -2951 -2952 -2953 -2954 -2955 -2956 -2957 -2958 -2959 -2960 -2961 -2962 -2963 -2964 -2965 -2966 -2967 -2968 -2969 -2970 -2971 -2972 -2973 -2974 -2975 -2976 -2977 -2978 -2979 -2980 -2981 -2982 -2983 -2984 -2985 -2986 -2987 -2988 -2989 -2990 -2991 -2992 -2993 -2994 -2995 -2996 -2997 -2998 -2999 -3000 -3001 -3002 -3003 -3004 -3005 -3006 -3007 -3008 -3009 -3010 -3011 -3012 -3013 -3014 -3015 -3016 -3017 -3018 -3019 -3020 -3021 -3022 -3023 -3024 -3025 -3026 -3027 -3028 -3029 -3030 -3031 -3032 -3033 -3034 -3035 -3036 -3037 -3038 -3039 -3040 -3041 -3042 -3043 -3044 -3045 -3046 -3047 -3048 -3049 -3050 -3051 -3052 -3053 -3054 -3055 -3056 -3057 -3058 -3059 -3060 -3061 -3062 -3063 -3064 -3065 -3066 -3067 -3068 -3069 -3070 -3071 -3072 -3073 -3074 -3075 -3076 -3077 -3078 -3079 -3080 -3081 -3082 -3083 -3084 -3085 -3086 -3087 -3088 -3089 -3090 -3091 -3092 -3093 -3094 -3095 -3096 -3097 -3098 -3099 -3100 -3101 -3102 -3103 -3104 -3105 -3106 -3107 -3108 -3109 -3110 -3111 -3112 -3113 -3114 -3115 -3116 -3117 -3118 -3119 -3120 -3121 -3122 -3123 -3124 -3125 -3126 -3127 3128 -3129 -3130 -3131 -3132 -3133 -3134 -3135 -3136 -3137 -3138 -3139 -3140 -3141 -3142 -3143 -3144 -3145 -3146 -3147 -3148 -3149 -3150 -3151 -3152 -3153 -3154 -3155 -3156 -3157 -3158 -3159 -3160 -3161 -3162 -3163 -3164 -3165 -3166 -3167 -3168 -3169 -3170 -3171 -3172 -3173 -3174 -3175 -3176 -3177 -3178 -3179 -3180 -3181 -3182 -3183 -3184 -3185 -3186 -3187 -3188 -3189 -3190 -3191 -3192 -3193 -3194 -3195 -3196 3197 3198 -3199 -3200 -3201 -3202 -3203 -3204 -3205 -3206 -3207 -3208 -3209 -3210 -3211 -3212 -3213 -3214 -3215 3216 3217 3218 3219 3220 3221 -3222 -3223 -3224 -3225 -3226 -3227 -3228 -3229 -3230 -3231 -3232 -3233 -3234 -3235 -3236 -3237 -3238 -3239 -3240 -3241 -3242 -3243 -3244 -3245 -3246 -3247 -3248 -3249 -3250 -3251 -3252 -3253 -3254 -3255 -3256 -3257 -3258 -3259 -3260 -3261 -3262 -3263 -3264 -3265 -3266 -3267 -3268 -3269 -3270 -3271 -3272 -3273 -3274 -3275 -3276 -3277 -3278 -3279 -3280 -3281 -3282 -3283 -3284 -3285 -3286 3287 -3288 -3289 -3290 -3291 -3292 -3293 -3294 -3295 -3296 -3297 -3298 -3299 -3300 -3301 -3302 -3303 3304 -3305 -3306 -3307 -3308 -3309 -3310 -3311 -3312 -3313 -3314 -3315 -3316 -3317 -3318 -3319 -3320 -3321 -3322 -3323 -3324 -3325 -3326 -3327 -3328 -3329 -3330 3331 -3332 -3333 -3334 -3335 -3336 -3337 -3338 -3339 -3340 -3341 -3342 -3343 -3344 -3345 -3346 -3347 -3348 -3349 -3350 -3351 -3352 -3353 -3354 -3355 -3356 -3357 -3358 -3359 -3360 -3361 -3362 -3363 -3364 -3365 -3366 -3367 -3368 -3369 -3370 -3371 -3372 3373 -3374 -3375 -3376 -3377 -3378 -3379 -3380 -3381 -3382 -3383 -3384 -3385 -3386 -3387 -3388 -3389 -3390 -3391 -3392 -3393 3394 3395 -3396 -3397 -3398 -3399 -3400 -3401 -3402 -3403 -3404 -3405 -3406 -3407 -3408 -3409 -3410 -3411 -3412 -3413 -3414 -3415 -3416 -3417 3418 -3419 -3420 -3421 -3422 -3423 -3424 -3425 -3426 -3427 -3428 -3429 -3430 -3431 -3432 -3433 -3434 -3435 -3436 -3437 -3438 -3439 -3440 3441 -3442 -3443 -3444 -3445 -3446 -3447 -3448 -3449 -3450 -3451 -3452 -3453 -3454 -3455 -3456 -3457 -3458 -3459 -3460 -3461 -3462 -3463 -3464 -3465 -3466 -3467 -3468 -3469 -3470 -3471 -3472 -3473 -3474 -3475 -3476 -3477 -3478 -3479 -3480 -3481 -3482 -3483 -3484 -3485 -3486 -3487 -3488 -3489 -3490 -3491 -3492 -3493 -3494 -3495 -3496 -3497 -3498 -3499 -3500 -3501 3502 -3503 -3504 -3505 -3506 -3507 -3508 -3509 -3510 -3511 -3512 -3513 -3514 -3515 -3516 -3517 -3518 -3519 -3520 -3521 -3522 -3523 -3524 -3525 -3526 -3527 -3528 -3529 -3530 -3531 -3532 -3533 -3534 -3535 -3536 -3537 -3538 -3539 -3540 -3541 -3542 -3543 -3544 -3545 -3546 -3547 -3548 -3549 -3550 -3551 -3552 -3553 -3554 -3555 -3556 -3557 -3558 -3559 -3560 -3561 -3562 -3563 -3564 -3565 3566 -3567 -3568 -3569 -3570 -3571 -3572 -3573 -3574 -3575 -3576 -3577 -3578 -3579 -3580 -3581 -3582 -3583 -3584 -3585 -3586 -3587 -3588 -3589 -3590 -3591 -3592 -3593 -3594 -3595 -3596 -3597 -3598 -3599 -3600 -3601 -3602 -3603 -3604 -3605 -3606 -3607 -3608 -3609 -3610 -3611 -3612 -3613 -3614 -3615 -3616 -3617 -3618 -3619 -3620 -3621 -3622 -3623 -3624 -3625 -3626 -3627 -3628 -3629 -3630 -3631 -3632 -3633 -3634 -3635 -3636 -3637 -3638 -3639 -3640 -3641 -3642 -3643 -3644 -3645 -3646 -3647 -3648 -3649 -3650 -3651 -3652 -3653 -3654 -3655 -3656 -3657 -3658 -3659 -3660 -3661 -3662 -3663 -3664 -3665 -3666 -3667 -3668 -3669 -3670 -3671 -3672 -3673 -3674 -3675 -3676 -3677 -3678 -3679 -3680 -3681 -3682 -3683 -3684 -3685 -3686 -3687 -3688 -3689 -3690 -3691 -3692 -3693 -3694 -3695 -3696 -3697 3698 -3699 -3700 -3701 -3702 -3703 -3704 -3705 -3706 -3707 -3708 -3709 -3710 -3711 -3712 -3713 -3714 -3715 -3716 -3717 -3718 -3719 -3720 -3721 -3722 -3723 -3724 -3725 -3726 -3727 -3728 -3729 -3730 -3731 -3732 -3733 -3734 -3735 -3736 -3737 -3738 -3739 -3740 -3741 -3742 -3743 -3744 -3745 -3746 -3747 -3748 -3749 -3750 -3751 -3752 -3753 -3754 -3755 -3756 -3757 -3758 -3759 -3760 -3761 -3762 -3763 -3764 -3765 -3766 -3767 -3768 -3769 -3770 -3771 -3772 -3773 -3774 -3775 -3776 -3777 -3778 -3779 -3780 -3781 -3782 -3783 -3784 -3785 -3786 -3787 -3788 -3789 -3790 -3791 -3792 -3793 -3794 -3795 -3796 -3797 -3798 -3799 -3800 -3801 -3802 -3803 -3804 -3805 -3806 -3807 -3808 -3809 -3810 -3811 -3812 -3813 -3814 -3815 -3816 -3817 -3818 -3819 -3820 -3821 -3822 -3823 -3824 -3825 -3826 -3827 -3828 -3829 -3830 -3831 -3832 -3833 -3834 -3835 -3836 -3837 -3838 -3839 -3840 -3841 -3842 -3843 -3844 -3845 -3846 -3847 -3848 -3849 -3850 -3851 -3852 -3853 -3854 -3855 -3856 -3857 -3858 -3859 -3860 -3861 -3862 -3863 -3864 -3865 -3866 -3867 -3868 -3869 -3870 -3871 -3872 -3873 -3874 -3875 -3876 -3877 -3878 -3879 -3880 -3881 -3882 -3883 -3884 -3885 -3886 -3887 -3888 -3889 -3890 -3891 -3892 -3893 -3894 -3895 -3896 3897 -3898 -3899 -3900 -3901 -3902 -3903 -3904 -3905 -3906 -3907 -3908 -3909 -3910 -3911 -3912 -3913 -3914 -3915 -3916 -3917 -3918 -3919 -3920 -3921 -3922 -3923 -3924 -3925 -3926 -3927 -3928 -3929 -3930 -3931 -3932 -3933 -3934 -3935 -3936 -3937 -3938 -3939 -3940 -3941 -3942 -3943 -3944 -3945 -3946 -3947 -3948 -3949 -3950 -3951 -3952 -3953 -3954 -3955 -3956 -3957 -3958 -3959 -3960 -3961 -3962 -3963 -3964 -3965 -3966 -3967 -3968 -3969 -3970 -3971 -3972 -3973 -3974 -3975 -3976 -3977 -3978 -3979 -3980 -3981 -3982 -3983 -3984 -3985 -3986 -3987 -3988 -3989 -3990 -3991 -3992 -3993 -3994 -3995 -3996 -3997 -3998 -3999 -4000 -4001 -4002 -4003 -4004 -4005 -4006 -4007 -4008 -4009 -4010 -4011 -4012 -4013 -4014 -4015 -4016 -4017 -4018 -4019 -4020 -4021 -4022 -4023 -4024 -4025 -4026 -4027 -4028 -4029 -4030 -4031 -4032 -4033 -4034 -4035 -4036 -4037 -4038 -4039 -4040 -4041 -4042 -4043 -4044 -4045 -4046 -4047 -4048 -4049 -4050 -4051 -4052 -4053 -4054 -4055 -4056 -4057 -4058 -4059 -4060 -4061 -4062 -4063 -4064 -4065 -4066 -4067 -4068 -4069 -4070 -4071 -4072 -4073 -4074 -4075 -4076 -4077 -4078 -4079 -4080 -4081 -4082 -4083 -4084 -4085 -4086 -4087 -4088 -4089 -4090 -4091 -4092 -4093 -4094 -4095 -4096 -4097 -4098 -4099 -4100 -4101 -4102 -4103 -4104 -4105 -4106 -4107 -4108 -4109 -4110 -4111 -4112 -4113 -4114 -4115 -4116 -4117 -4118 -4119 -4120 -4121 -4122 -4123 -4124 -4125 -4126 -4127 -4128 -4129 -4130 -4131 -4132 -4133 -4134 -4135 -4136 -4137 -4138 -4139 -4140 -4141 -4142 -4143 -4144 -4145 -4146 -4147 -4148 -4149 -4150 -4151 -4152 -4153 -4154 -4155 -4156 -4157 -4158 -4159 -4160 -4161 -4162 -4163 -4164 -4165 -4166 -4167 -4168 -4169 -4170 -4171 -4172 -4173 -4174 -4175 -4176 -4177 -4178 -4179 -4180 -4181 -4182 4183 -4184 -4185 -4186 -4187 -4188 -4189 -4190 -4191 -4192 -4193 -4194 -4195 -4196 -4197 -4198 -4199 -4200 -4201 -4202 -4203 -4204 -4205 -4206 -4207 -4208 4209 4210 -4211 -4212 -4213 -4214 -4215 -4216 -4217 -4218 -4219 -4220 -4221 -4222 -4223 -4224 -4225 -4226 -4227 -4228 -4229 -4230 -4231 -4232 -4233 -4234 -4235 -4236 -4237 -4238 -4239 -4240 -4241 -4242 -4243 -4244 -4245 -4246 -4247 -4248 -4249 -4250 -4251 -4252 -4253 -4254 -4255 -4256 -4257 -4258 -4259 -4260 -4261 -4262 -4263 -4264 -4265 -4266 -4267 -4268 -4269 -4270 -4271 -4272 -4273 -4274 -4275 -4276 -4277 -4278 -4279 -4280 -4281 -4282 -4283 -4284 -4285 -4286 -4287 -4288 -4289 -4290 -4291 -4292 -4293 -4294 -4295 -4296 -4297 -4298 -4299 -4300 -4301 -4302 -4303 -4304 -4305 -4306 -4307 -4308 -4309 -4310 -4311 -4312 -4313 -4314 -4315 -4316 -4317 -4318 -4319 -4320 -4321 -4322 -4323 -4324 -4325 -4326 -4327 -4328 -4329 -4330 -4331 -4332 -4333 -4334 -4335 -4336 -4337 -4338 -4339 -4340 -4341 -4342 -4343 -4344 -4345 -4346 -4347 -4348 -4349 -4350 -4351 -4352 -4353 -4354 -4355 -4356 -4357 -4358 -4359 -4360 -4361 -4362 4363 -4364 -4365 -4366 -4367 -4368 -4369 -4370 -4371 -4372 -4373 -4374 -4375 -4376 -4377 -4378 -4379 -4380 -4381 -4382 -4383 -4384 4385 -4386 -4387 -4388 -4389 -4390 -4391 -4392 -4393 -4394 -4395 -4396 -4397 -4398 -4399 -4400 -4401 -4402 -4403 -4404 -4405 -4406 -4407 4408 -4409 -4410 -4411 -4412 -4413 -4414 -4415 -4416 -4417 -4418 -4419 -4420 -4421 -4422 -4423 -4424 -4425 -4426 -4427 -4428 -4429 -4430 -4431 -4432 -4433 -4434 -4435 -4436 -4437 -4438 -4439 -4440 -4441 -4442 -4443 -4444 -4445 -4446 -4447 -4448 -4449 -4450 -4451 -4452 -4453 -4454 -4455 -4456 -4457 -4458 -4459 -4460 -4461 -4462 -4463 -4464 -4465 -4466 -4467 -4468 -4469 -4470 -4471 -4472 -4473 -4474 -4475 -4476 -4477 -4478 -4479 -4480 -4481 -4482 -4483 -4484 -4485 -4486 -4487 -4488 -4489 -4490 -4491 -4492 -4493 -4494 -4495 -4496 -4497 -4498 -4499 -4500 -4501 -4502 -4503 -4504 -4505 -4506 -4507 -4508 -4509 -4510 -4511 -4512 -4513 -4514 -4515 -4516 -4517 -4518 -4519 -4520 -4521 -4522 -4523 -4524 -4525 -4526 -4527 -4528 -4529 -4530 -4531 -4532 4533 -4534 -4535 -4536 -4537 -4538 -4539 -4540 -4541 -4542 -4543 -4544 -4545 -4546 -4547 -4548 -4549 -4550 -4551 -4552 -4553 -4554 -4555 -4556 -4557 -4558 -4559 -4560 -4561 -4562 4563 4564 -4565 -4566 -4567 -4568 -4569 -4570 -4571 -4572 -4573 -4574 -4575 -4576 -4577 -4578 -4579 4580 -4581 -4582 -4583 -4584 -4585 -4586 -4587 -4588 -4589 -4590 -4591 -4592 -4593 -4594 -4595 -4596 -4597 -4598 -4599 -4600 -4601 -4602 -4603 -4604 -4605 -4606 4607 -4608 -4609 -4610 -4611 -4612 -4613 -4614 -4615 -4616 -4617 -4618 -4619 -4620 -4621 4622 -4623 -4624 -4625 -4626 -4627 -4628 -4629 -4630 -4631 -4632 -4633 -4634 -4635 -4636 -4637 -4638 -4639 -4640 -4641 -4642 -4643 -4644 -4645 -4646 -4647 -4648 4649 -4650 -4651 -4652 -4653 -4654 -4655 -4656 -4657 -4658 -4659 -4660 -4661 -4662 -4663 -4664 -4665 -4666 -4667 -4668 -4669 4670 4671 -4672 -4673 -4674 -4675 -4676 -4677 -4678 -4679 -4680 -4681 -4682 -4683 -4684 -4685 -4686 -4687 -4688 -4689 -4690 -4691 -4692 -4693 4694 -4695 -4696 -4697 -4698 -4699 -4700 -4701 -4702 -4703 -4704 -4705 -4706 -4707 -4708 -4709 -4710 -4711 -4712 -4713 -4714 -4715 -4716 4717 -4718 -4719 -4720 -4721 -4722 -4723 -4724 -4725 -4726 -4727 -4728 -4729 -4730 -4731 -4732 -4733 -4734 -4735 -4736 -4737 -4738 -4739 4740 -4741 -4742 -4743 -4744 -4745 -4746 -4747 -4748 -4749 -4750 -4751 -4752 -4753 -4754 -4755 -4756 -4757 -4758 -4759 -4760 -4761 -4762 4763 -4764 -4765 -4766 -4767 -4768 -4769 -4770 -4771 -4772 -4773 -4774 -4775 -4776 4777 4778 -4779 -4780 -4781 -4782 -4783 -4784 -4785 -4786 -4787 -4788 -4789 -4790 -4791 -4792 -4793 -4794 -4795 -4796 -4797 -4798 -4799 -4800 -4801 -4802 -4803 -4804 -4805 -4806 -4807 -4808 -4809 -4810 -4811 -4812 -4813 -4814 -4815 -4816 -4817 -4818 -4819 -4820 -4821 -4822 -4823 -4824 -4825 -4826 -4827 -4828 -4829 -4830 -4831 -4832 -4833 -4834 -4835 -4836 -4837 -4838 -4839 -4840 -4841 -4842 -4843 -4844 -4845 -4846 -4847 -4848 -4849 -4850 -4851 -4852 -4853 -4854 -4855 -4856 -4857 -4858 -4859 -4860 -4861 -4862 -4863 -4864 -4865 -4866 -4867 -4868 -4869 -4870 -4871 -4872 -4873 -4874 -4875 -4876 -4877 -4878 -4879 -4880 -4881 -4882 -4883 -4884 -4885 -4886 -4887 -4888 -4889 -4890 -4891 -4892 -4893 -4894 -4895 -4896 -4897 -4898 -4899 -4900 -4901 -4902 -4903 -4904 -4905 -4906 -4907 -4908 -4909 -4910 -4911 -4912 -4913 -4914 -4915 -4916 -4917 -4918 -4919 -4920 -4921 -4922 -4923 -4924 -4925 -4926 -4927 -4928 -4929 -4930 -4931 -4932 -4933 -4934 -4935 -4936 -4937 -4938 -4939 -4940 -4941 -4942 -4943 -4944 -4945 -4946 -4947 -4948 -4949 -4950 -4951 -4952 -4953 -4954 -4955 -4956 -4957 -4958 -4959 -4960 -4961 -4962 -4963 -4964 -4965 -4966 -4967 -4968 -4969 -4970 -4971 -4972 -4973 -4974 -4975 -4976 -4977 -4978 -4979 -4980 -4981 -4982 -4983 -4984 -4985 -4986 -4987 -4988 -4989 -4990 -4991 -4992 -4993 -4994 -4995 -4996 -4997 -4998 -4999 -5000 -5001 -5002 -5003 -5004 -5005 -5006 -5007 -5008 -5009 -5010 -5011 -5012 -5013 -5014 -5015 -5016 -5017 -5018 -5019 -5020 -5021 -5022 -5023 -5024 -5025 -5026 -5027 5028 -5029 -5030 -5031 -5032 -5033 -5034 -5035 -5036 -5037 -5038 -5039 -5040 -5041 -5042 -5043 -5044 -5045 -5046 -5047 -5048 -5049 -5050 -5051 -5052 -5053 -5054 -5055 -5056 -5057 -5058 -5059 -5060 -5061 -5062 -5063 -5064 -5065 -5066 -5067 -5068 -5069 -5070 -5071 -5072 -5073 -5074 -5075 -5076 -5077 -5078 -5079 -5080 -5081 -5082 -5083 -5084 -5085 -5086 -5087 -5088 -5089 -5090 -5091 -5092 -5093 -5094 -5095 -5096 -5097 -5098 -5099 -5100 -5101 -5102 -5103 -5104 -5105 -5106 -5107 -5108 -5109 -5110 -5111 -5112 -5113 -5114 -5115 -5116 -5117 -5118 -5119 -5120 -5121 -5122 -5123 -5124 -5125 -5126 -5127 -5128 -5129 -5130 -5131 -5132 -5133 -5134 -5135 -5136 -5137 -5138 -5139 -5140 -5141 -5142 -5143 -5144 -5145 -5146 -5147 -5148 -5149 -5150 -5151 -5152 -5153 -5154 -5155 -5156 -5157 -5158 -5159 -5160 -5161 -5162 -5163 -5164 -5165 -5166 -5167 -5168 -5169 -5170 -5171 -5172 -5173 -5174 -5175 -5176 -5177 -5178 -5179 -5180 -5181 -5182 -5183 -5184 -5185 -5186 -5187 -5188 -5189 -5190 -5191 -5192 -5193 -5194 -5195 -5196 -5197 -5198 -5199 -5200 -5201 -5202 -5203 -5204 -5205 -5206 -5207 -5208 -5209 -5210 -5211 -5212 -5213 -5214 -5215 -5216 -5217 -5218 -5219 -5220 -5221 -5222 -5223 -5224 -5225 -5226 -5227 -5228 -5229 -5230 -5231 -5232 -5233 -5234 -5235 -5236 -5237 -5238 -5239 -5240 -5241 -5242 -5243 -5244 -5245 -5246 -5247 -5248 -5249 -5250 -5251 -5252 -5253 -5254 -5255 -5256 -5257 -5258 -5259 -5260 -5261 -5262 -5263 -5264 -5265 -5266 -5267 -5268 -5269 -5270 -5271 -5272 -5273 -5274 -5275 -5276 -5277 -5278 -5279 -5280 -5281 -5282 -5283 -5284 -5285 -5286 -5287 -5288 -5289 -5290 -5291 -5292 -5293 -5294 -5295 -5296 -5297 -5298 -5299 -5300 -5301 -5302 -5303 -5304 -5305 -5306 -5307 -5308 -5309 -5310 -5311 -5312 -5313 -5314 -5315 -5316 -5317 -5318 -5319 -5320 -5321 -5322 -5323 -5324 -5325 -5326 -5327 -5328 -5329 -5330 -5331 -5332 5333 -5334 -5335 -5336 -5337 -5338 -5339 -5340 -5341 -5342 -5343 -5344 -5345 -5346 -5347 -5348 -5349 -5350 -5351 -5352 -5353 -5354 -5355 -5356 -5357 -5358 -5359 -5360 -5361 -5362 -5363 -5364 -5365 -5366 -5367 -5368 -5369 -5370 -5371 -5372 -5373 -5374 -5375 -5376 -5377 -5378 -5379 -5380 -5381 -5382 -5383 -5384 -5385 -5386 -5387 -5388 -5389 -5390 -5391 -5392 -5393 -5394 -5395 -5396 -5397 -5398 -5399 -5400 -5401 -5402 -5403 -5404 -5405 -5406 -5407 -5408 -5409 -5410 -5411 -5412 -5413 -5414 -5415 -5416 -5417 -5418 -5419 -5420 -5421 -5422 -5423 -5424 -5425 -5426 -5427 -5428 -5429 -5430 -5431 -5432 -5433 -5434 -5435 -5436 -5437 -5438 -5439 -5440 -5441 -5442 5443 -5444 -5445 -5446 -5447 -5448 -5449 -5450 -5451 -5452 -5453 -5454 -5455 -5456 -5457 -5458 -5459 -5460 -5461 -5462 -5463 -5464 -5465 5466 -5467 -5468 -5469 -5470 -5471 -5472 -5473 -5474 -5475 -5476 -5477 -5478 -5479 -5480 -5481 -5482 -5483 -5484 -5485 -5486 -5487 -5488 -5489 -5490 -5491 -5492 -5493 -5494 -5495 -5496 -5497 -5498 -5499 -5500 -5501 -5502 -5503 -5504 -5505 -5506 -5507 -5508 -5509 -5510 -5511 -5512 -5513 -5514 -5515 -5516 -5517 -5518 -5519 -5520 -5521 -5522 -5523 -5524 -5525 -5526 -5527 -5528 -5529 -5530 -5531 -5532 -5533 -5534 -5535 -5536 -5537 -5538 -5539 -5540 -5541 -5542 -5543 -5544 -5545 -5546 -5547 -5548 -5549 -5550 -5551 -5552 -5553 -5554 -5555 -5556 -5557 -5558 -5559 -5560 -5561 -5562 -5563 -5564 -5565 -5566 -5567 -5568 -5569 -5570 -5571 -5572 -5573 -5574 -5575 -5576 -5577 -5578 -5579 -5580 -5581 -5582 -5583 -5584 -5585 -5586 -5587 -5588 -5589 -5590 -5591 -5592 -5593 -5594 -5595 -5596 -5597 -5598 -5599 -5600 -5601 -5602 -5603 -5604 -5605 -5606 -5607 -5608 -5609 -5610 -5611 -5612 -5613 -5614 -5615 -5616 -5617 -5618 -5619 -5620 -5621 -5622 -5623 -5624 -5625 -5626 -5627 -5628 -5629 -5630 -5631 -5632 -5633 -5634 -5635 -5636 -5637 -5638 -5639 -5640 -5641 -5642 -5643 -5644 -5645 -5646 -5647 -5648 -5649 -5650 -5651 -5652 -5653 -5654 -5655 -5656 -5657 -5658 -5659 -5660 -5661 -5662 -5663 -5664 -5665 -5666 -5667 -5668 -5669 -5670 -5671 -5672 -5673 -5674 -5675 -5676 -5677 -5678 -5679 -5680 -5681 -5682 -5683 -5684 -5685 -5686 -5687 -5688 -5689 -5690 -5691 -5692 -5693 -5694 -5695 -5696 -5697 -5698 -5699 -5700 -5701 5702 -5703 -5704 -5705 -5706 -5707 -5708 -5709 -5710 -5711 -5712 -5713 -5714 -5715 -5716 -5717 -5718 -5719 -5720 -5721 -5722 -5723 -5724 -5725 -5726 -5727 -5728 -5729 -5730 -5731 -5732 -5733 -5734 -5735 -5736 -5737 -5738 -5739 -5740 -5741 -5742 -5743 -5744 -5745 -5746 -5747 -5748 -5749 -5750 -5751 -5752 -5753 -5754 -5755 -5756 -5757 -5758 -5759 -5760 -5761 -5762 -5763 -5764 -5765 -5766 -5767 -5768 -5769 -5770 -5771 -5772 -5773 -5774 -5775 -5776 -5777 -5778 -5779 -5780 -5781 -5782 -5783 -5784 -5785 -5786 -5787 -5788 -5789 -5790 -5791 -5792 -5793 -5794 -5795 -5796 -5797 -5798 -5799 -5800 -5801 -5802 -5803 -5804 -5805 -5806 -5807 -5808 -5809 -5810 -5811 -5812 -5813 -5814 -5815 -5816 5817 -5818 -5819 -5820 -5821 -5822 -5823 -5824 -5825 -5826 -5827 -5828 -5829 -5830 -5831 -5832 -5833 -5834 -5835 -5836 -5837 -5838 -5839 -5840 -5841 -5842 -5843 -5844 -5845 -5846 -5847 -5848 -5849 -5850 -5851 -5852 -5853 -5854 -5855 -5856 -5857 -5858 -5859 -5860 -5861 -5862 -5863 -5864 -5865 -5866 -5867 -5868 -5869 -5870 -5871 -5872 -5873 -5874 -5875 -5876 -5877 -5878 -5879 -5880 -5881 -5882 -5883 -5884 -5885 -5886 -5887 -5888 -5889 -5890 -5891 -5892 -5893 -5894 -5895 -5896 -5897 -5898 -5899 -5900 -5901 -5902 -5903 -5904 -5905 -5906 -5907 -5908 -5909 -5910 -5911 -5912 -5913 -5914 -5915 -5916 -5917 -5918 -5919 -5920 -5921 -5922 -5923 -5924 -5925 -5926 -5927 -5928 -5929 -5930 -5931 -5932 -5933 -5934 -5935 -5936 -5937 -5938 -5939 -5940 -5941 -5942 -5943 -5944 -5945 -5946 -5947 -5948 -5949 -5950 -5951 -5952 -5953 -5954 -5955 -5956 -5957 -5958 -5959 -5960 -5961 -5962 -5963 -5964 -5965 -5966 -5967 -5968 -5969 -5970 -5971 -5972 -5973 -5974 -5975 -5976 -5977 -5978 -5979 -5980 -5981 -5982 -5983 -5984 -5985 -5986 -5987 -5988 -5989 -5990 -5991 -5992 -5993 -5994 -5995 -5996 -5997 -5998 -5999 -6000 -6001 -6002 -6003 -6004 -6005 -6006 -6007 -6008 -6009 -6010 -6011 -6012 -6013 -6014 -6015 -6016 -6017 -6018 -6019 -6020 -6021 -6022 -6023 -6024 -6025 -6026 -6027 -6028 -6029 -6030 -6031 -6032 -6033 -6034 -6035 -6036 -6037 -6038 -6039 -6040 -6041 -6042 -6043 -6044 -6045 -6046 -6047 -6048 -6049 -6050 -6051 -6052 -6053 -6054 -6055 -6056 6057 -6058 -6059 -6060 -6061 -6062 -6063 -6064 -6065 -6066 -6067 -6068 -6069 -6070 -6071 -6072 -6073 -6074 -6075 -6076 -6077 -6078 -6079 -6080 -6081 -6082 -6083 -6084 -6085 -6086 -6087 -6088 -6089 -6090 -6091 -6092 -6093 -6094 -6095 -6096 -6097 -6098 -6099 -6100 -6101 -6102 -6103 -6104 -6105 -6106 -6107 -6108 -6109 -6110 -6111 -6112 -6113 -6114 -6115 -6116 -6117 -6118 -6119 -6120 -6121 -6122 -6123 -6124 -6125 -6126 -6127 -6128 -6129 -6130 -6131 -6132 -6133 -6134 -6135 -6136 -6137 -6138 -6139 -6140 -6141 -6142 -6143 -6144 -6145 -6146 -6147 -6148 -6149 -6150 -6151 -6152 -6153 -6154 -6155 -6156 -6157 -6158 -6159 -6160 -6161 -6162 -6163 -6164 -6165 -6166 -6167 -6168 -6169 -6170 -6171 -6172 -6173 -6174 -6175 -6176 -6177 -6178 -6179 -6180 -6181 -6182 -6183 -6184 -6185 -6186 -6187 -6188 -6189 -6190 -6191 -6192 -6193 -6194 -6195 -6196 -6197 -6198 -6199 -6200 -6201 -6202 -6203 -6204 -6205 -6206 -6207 -6208 -6209 -6210 -6211 -6212 -6213 -6214 -6215 -6216 -6217 -6218 -6219 -6220 -6221 -6222 -6223 -6224 -6225 -6226 -6227 -6228 -6229 -6230 -6231 -6232 -6233 -6234 -6235 -6236 -6237 -6238 -6239 -6240 -6241 -6242 -6243 -6244 -6245 -6246 -6247 -6248 -6249 -6250 -6251 -6252 -6253 -6254 -6255 -6256 -6257 -6258 -6259 -6260 -6261 -6262 -6263 -6264 -6265 -6266 -6267 -6268 -6269 -6270 -6271 -6272 -6273 -6274 -6275 -6276 -6277 -6278 -6279 -6280 -6281 -6282 -6283 -6284 -6285 -6286 -6287 -6288 -6289 -6290 -6291 -6292 -6293 -6294 -6295 -6296 -6297 -6298 -6299 -6300 -6301 -6302 -6303 -6304 -6305 -6306 -6307 -6308 -6309 -6310 -6311 -6312 -6313 -6314 -6315 -6316 -6317 -6318 -6319 -6320 -6321 -6322 -6323 -6324 -6325 -6326 -6327 -6328 -6329 -6330 -6331 -6332 -6333 -6334 -6335 -6336 -6337 -6338 -6339 -6340 -6341 -6342 -6343 -6344 -6345 -6346 -6347 -6348 -6349 -6350 -6351 -6352 -6353 -6354 -6355 -6356 -6357 -6358 -6359 -6360 -6361 -6362 -6363 -6364 -6365 -6366 -6367 -6368 -6369 -6370 -6371 -6372 -6373 -6374 -6375 -6376 -6377 -6378 -6379 -6380 -6381 -6382 -6383 -6384 -6385 -6386 -6387 -6388 -6389 -6390 -6391 -6392 -6393 -6394 -6395 -6396 -6397 -6398 -6399 -6400 -6401 -6402 -6403 -6404 -6405 -6406 -6407 -6408 -6409 -6410 -6411 -6412 -6413 -6414 -6415 -6416 -6417 -6418 -6419 -6420 -6421 -6422 -6423 -6424 -6425 -6426 -6427 -6428 -6429 -6430 -6431 -6432 -6433 -6434 -6435 -6436 -6437 -6438 -6439 -6440 -6441 -6442 -6443 -6444 -6445 -6446 -6447 -6448 -6449 -6450 -6451 -6452 -6453 -6454 -6455 -6456 -6457 -6458 -6459 -6460 -6461 -6462 -6463 -6464 -6465 -6466 -6467 -6468 -6469 -6470 -6471 -6472 -6473 -6474 -6475 -6476 -6477 -6478 -6479 -6480 -6481 -6482 -6483 -6484 -6485 -6486 -6487 -6488 -6489 -6490 -6491 -6492 -6493 -6494 -6495 -6496 -6497 -6498 -6499 -6500 -6501 -6502 -6503 -6504 -6505 -6506 -6507 -6508 -6509 -6510 -6511 -6512 -6513 -6514 -6515 -6516 -6517 -6518 -6519 -6520 -6521 -6522 -6523 -6524 -6525 -6526 -6527 -6528 -6529 -6530 -6531 -6532 -6533 -6534 -6535 -6536 -6537 -6538 -6539 -6540 -6541 -6542 -6543 -6544 -6545 -6546 -6547 -6548 -6549 -6550 -6551 -6552 -6553 -6554 -6555 -6556 -6557 -6558 -6559 -6560 -6561 -6562 -6563 -6564 -6565 -6566 -6567 -6568 -6569 -6570 -6571 -6572 -6573 -6574 -6575 -6576 -6577 -6578 -6579 -6580 -6581 -6582 -6583 -6584 -6585 -6586 -6587 -6588 -6589 -6590 -6591 -6592 -6593 -6594 -6595 -6596 -6597 -6598 -6599 -6600 -6601 -6602 -6603 -6604 -6605 -6606 -6607 -6608 -6609 -6610 -6611 -6612 -6613 -6614 -6615 -6616 -6617 -6618 -6619 -6620 -6621 -6622 -6623 -6624 6625 6626 -6627 -6628 -6629 -6630 -6631 -6632 -6633 -6634 -6635 -6636 -6637 -6638 -6639 -6640 -6641 -6642 -6643 -6644 -6645 6646 6647 -6648 -6649 -6650 -6651 -6652 -6653 -6654 -6655 -6656 -6657 -6658 -6659 -6660 -6661 -6662 -6663 -6664 -6665 -6666 -6667 -6668 -6669 -6670 -6671 -6672 -6673 -6674 -6675 -6676 -6677 -6678 -6679 -6680 -6681 -6682 -6683 -6684 -6685 -6686 -6687 -6688 -6689 6690 6691 6692 -6693 -6694 -6695 -6696 -6697 -6698 -6699 -6700 -6701 -6702 -6703 -6704 -6705 -6706 -6707 -6708 -6709 -6710 -6711 6712 6713 6714 -6715 -6716 -6717 -6718 -6719 -6720 -6721 -6722 -6723 -6724 -6725 -6726 -6727 -6728 -6729 -6730 -6731 -6732 -6733 6734 6735 6736 -6737 -6738 -6739 -6740 -6741 -6742 -6743 -6744 -6745 -6746 -6747 -6748 -6749 -6750 -6751 -6752 -6753 -6754 -6755 -6756 6757 -6758 -6759 -6760 -6761 -6762 -6763 -6764 -6765 -6766 -6767 -6768 -6769 -6770 -6771 -6772 -6773 -6774 -6775 -6776 -6777 -6778 -6779 -6780 -6781 -6782 -6783 -6784 -6785 -6786 -6787 -6788 -6789 -6790 -6791 -6792 -6793 -6794 -6795 -6796 -6797 -6798 -6799 6800 6801 6802 -6803 -6804 -6805 -6806 -6807 -6808 -6809 -6810 -6811 -6812 -6813 -6814 -6815 -6816 -6817 -6818 -6819 -6820 -6821 -6822 -6823 6824 -6825 -6826 -6827 -6828 -6829 -6830 -6831 -6832 -6833 -6834 -6835 -6836 -6837 -6838 -6839 -6840 -6841 -6842 -6843 -6844 -6845 -6846 -6847 -6848 -6849 -6850 -6851 -6852 -6853 -6854 -6855 -6856 -6857 -6858 -6859 -6860 -6861 -6862 -6863 -6864 -6865 -6866 -6867 -6868 -6869 -6870 -6871 -6872 -6873 -6874 -6875 -6876 -6877 -6878 -6879 -6880 -6881 -6882 -6883 -6884 -6885 -6886 -6887 -6888 -6889 -6890 -6891 -6892 -6893 -6894 -6895 -6896 -6897 -6898 -6899 -6900 -6901 -6902 -6903 -6904 -6905 -6906 -6907 -6908 -6909 -6910 -6911 -6912 -6913 -6914 -6915 -6916 -6917 -6918 -6919 -6920 -6921 -6922 -6923 -6924 -6925 -6926 -6927 -6928 -6929 -6930 -6931 -6932 -6933 -6934 -6935 -6936 -6937 -6938 -6939 -6940 -6941 -6942 -6943 -6944 -6945 -6946 -6947 -6948 -6949 -6950 -6951 -6952 -6953 6954 -6955 -6956 -6957 -6958 -6959 -6960 -6961 -6962 -6963 -6964 -6965 -6966 -6967 -6968 -6969 -6970 -6971 -6972 -6973 -6974 -6975 -6976 -6977 -6978 -6979 -6980 -6981 -6982 -6983 6984 -6985 -6986 -6987 -6988 -6989 -6990 -6991 -6992 -6993 -6994 -6995 -6996 -6997 -6998 -6999 -7000 -7001 -7002 -7003 -7004 -7005 -7006 -7007 -7008 -7009 -7010 -7011 -7012 -7013 -7014 -7015 -7016 -7017 -7018 -7019 -7020 -7021 -7022 -7023 -7024 -7025 -7026 -7027 -7028 -7029 -7030 -7031 -7032 -7033 -7034 -7035 -7036 -7037 -7038 -7039 -7040 -7041 -7042 -7043 -7044 -7045 -7046 -7047 -7048 -7049 7050 7051 -7052 -7053 -7054 -7055 -7056 -7057 -7058 -7059 -7060 -7061 -7062 -7063 -7064 -7065 -7066 -7067 -7068 -7069 -7070 -7071 -7072 -7073 -7074 -7075 -7076 -7077 -7078 -7079 -7080 -7081 -7082 -7083 -7084 -7085 -7086 -7087 -7088 -7089 -7090 -7091 -7092 -7093 -7094 -7095 -7096 -7097 -7098 -7099 -7100 -7101 -7102 -7103 -7104 -7105 -7106 -7107 -7108 -7109 -7110 -7111 -7112 -7113 -7114 -7115 -7116 -7117 -7118 -7119 -7120 -7121 -7122 -7123 -7124 -7125 -7126 -7127 -7128 -7129 -7130 -7131 -7132 -7133 -7134 -7135 -7136 -7137 -7138 -7139 -7140 -7141 -7142 -7143 -7144 -7145 -7146 -7147 -7148 -7149 -7150 -7151 -7152 -7153 -7154 -7155 -7156 -7157 -7158 -7159 7160 7161 -7162 -7163 -7164 -7165 -7166 -7167 -7168 -7169 -7170 -7171 -7172 -7173 -7174 -7175 -7176 -7177 -7178 -7179 -7180 -7181 -7182 -7183 -7184 -7185 -7186 -7187 -7188 -7189 -7190 -7191 -7192 -7193 -7194 -7195 -7196 -7197 -7198 -7199 -7200 -7201 -7202 -7203 -7204 -7205 -7206 -7207 -7208 -7209 -7210 -7211 -7212 -7213 -7214 -7215 -7216 -7217 -7218 -7219 -7220 -7221 -7222 -7223 -7224 -7225 -7226 -7227 -7228 -7229 -7230 -7231 -7232 -7233 -7234 -7235 -7236 -7237 -7238 -7239 -7240 -7241 -7242 -7243 -7244 -7245 -7246 -7247 -7248 -7249 -7250 -7251 -7252 -7253 -7254 -7255 -7256 -7257 -7258 -7259 -7260 -7261 -7262 -7263 -7264 -7265 -7266 -7267 -7268 -7269 -7270 -7271 -7272 -7273 -7274 -7275 -7276 -7277 -7278 -7279 -7280 -7281 -7282 -7283 -7284 -7285 -7286 -7287 -7288 -7289 -7290 -7291 -7292 -7293 -7294 -7295 -7296 -7297 -7298 -7299 -7300 -7301 -7302 -7303 -7304 -7305 -7306 -7307 -7308 -7309 -7310 -7311 -7312 -7313 -7314 -7315 -7316 -7317 -7318 -7319 -7320 -7321 -7322 -7323 -7324 -7325 -7326 -7327 -7328 -7329 -7330 -7331 -7332 -7333 -7334 -7335 -7336 -7337 -7338 -7339 -7340 -7341 -7342 -7343 -7344 -7345 -7346 -7347 -7348 -7349 -7350 -7351 -7352 -7353 -7354 -7355 -7356 -7357 -7358 7359 -7360 -7361 -7362 -7363 -7364 -7365 -7366 -7367 -7368 -7369 -7370 -7371 -7372 -7373 -7374 -7375 -7376 -7377 -7378 -7379 -7380 7381 -7382 -7383 -7384 -7385 -7386 -7387 -7388 -7389 -7390 -7391 -7392 -7393 -7394 -7395 -7396 -7397 -7398 -7399 -7400 -7401 -7402 -7403 -7404 -7405 -7406 -7407 -7408 -7409 -7410 -7411 -7412 -7413 -7414 -7415 -7416 -7417 -7418 -7419 -7420 7421 7422 -7423 -7424 -7425 -7426 -7427 -7428 -7429 -7430 -7431 -7432 -7433 -7434 -7435 -7436 -7437 -7438 -7439 -7440 -7441 -7442 -7443 -7444 7445 -7446 -7447 -7448 -7449 -7450 -7451 -7452 -7453 -7454 -7455 -7456 -7457 -7458 -7459 -7460 -7461 -7462 -7463 -7464 7465 7466 7467 7468 -7469 -7470 -7471 -7472 -7473 -7474 -7475 -7476 -7477 -7478 -7479 -7480 -7481 -7482 -7483 -7484 -7485 -7486 7487 7488 7489 -7490 -7491 -7492 -7493 -7494 -7495 -7496 -7497 -7498 -7499 -7500 -7501 -7502 -7503 -7504 -7505 -7506 -7507 -7508 -7509 -7510 -7511 -7512 -7513 -7514 -7515 -7516 -7517 -7518 -7519 -7520 -7521 -7522 -7523 -7524 -7525 -7526 -7527 -7528 -7529 -7530 -7531 -7532 -7533 -7534 -7535 -7536 -7537 -7538 -7539 -7540 -7541 -7542 -7543 -7544 -7545 -7546 -7547 -7548 -7549 -7550 -7551 -7552 -7553 -7554 -7555 -7556 -7557 -7558 -7559 -7560 -7561 -7562 -7563 -7564 -7565 -7566 -7567 -7568 -7569 -7570 -7571 -7572 -7573 -7574 7575 7576 7577 7578 -7579 -7580 -7581 -7582 -7583 -7584 -7585 -7586 -7587 -7588 -7589 -7590 -7591 -7592 -7593 -7594 -7595 -7596 -7597 -7598 -7599 -7600 -7601 -7602 -7603 -7604 -7605 -7606 -7607 -7608 -7609 -7610 -7611 -7612 -7613 -7614 -7615 -7616 -7617 -7618 -7619 -7620 -7621 -7622 -7623 -7624 -7625 -7626 -7627 -7628 -7629 -7630 -7631 -7632 -7633 -7634 -7635 -7636 -7637 -7638 -7639 -7640 7641 -7642 -7643 -7644 -7645 -7646 -7647 -7648 -7649 -7650 -7651 -7652 -7653 -7654 -7655 -7656 -7657 -7658 -7659 -7660 -7661 -7662 -7663 -7664 -7665 -7666 -7667 -7668 -7669 -7670 -7671 -7672 -7673 -7674 -7675 -7676 -7677 -7678 -7679 -7680 -7681 -7682 -7683 -7684 7685 -7686 -7687 -7688 -7689 -7690 -7691 -7692 -7693 -7694 -7695 -7696 -7697 -7698 -7699 -7700 -7701 -7702 -7703 -7704 -7705 -7706 -7707 7708 -7709 -7710 -7711 -7712 -7713 -7714 -7715 -7716 -7717 -7718 -7719 -7720 -7721 -7722 -7723 -7724 -7725 -7726 -7727 -7728 7729 7730 -7731 -7732 -7733 -7734 -7735 -7736 -7737 -7738 -7739 -7740 -7741 -7742 -7743 -7744 -7745 -7746 -7747 -7748 -7749 -7750 -7751 7752 -7753 -7754 -7755 -7756 -7757 -7758 -7759 -7760 -7761 -7762 -7763 -7764 -7765 -7766 -7767 -7768 -7769 -7770 -7771 -7772 -7773 -7774 -7775 -7776 -7777 -7778 -7779 -7780 -7781 -7782 -7783 -7784 -7785 -7786 -7787 -7788 -7789 -7790 -7791 -7792 -7793 -7794 -7795 -7796 -7797 -7798 -7799 -7800 -7801 -7802 -7803 -7804 -7805 -7806 -7807 -7808 -7809 -7810 -7811 -7812 -7813 -7814 -7815 -7816 -7817 -7818 -7819 -7820 -7821 -7822 -7823 -7824 -7825 -7826 -7827 -7828 -7829 -7830 -7831 -7832 -7833 -7834 -7835 -7836 -7837 -7838 -7839 -7840 -7841 -7842 -7843 -7844 -7845 -7846 -7847 -7848 -7849 -7850 -7851 -7852 -7853 -7854 -7855 -7856 -7857 -7858 -7859 7860 7861 7862 -7863 -7864 -7865 -7866 -7867 -7868 -7869 -7870 -7871 -7872 -7873 -7874 -7875 -7876 -7877 -7878 -7879 -7880 -7881 7882 7883 7884 -7885 -7886 -7887 -7888 -7889 -7890 -7891 -7892 -7893 -7894 -7895 -7896 -7897 -7898 -7899 -7900 -7901 -7902 -7903 -7904 -7905 -7906 -7907 -7908 -7909 -7910 -7911 -7912 -7913 -7914 -7915 -7916 -7917 -7918 -7919 -7920 -7921 -7922 -7923 -7924 -7925 -7926 -7927 -7928 -7929 -7930 -7931 -7932 -7933 -7934 -7935 -7936 -7937 -7938 -7939 -7940 -7941 -7942 -7943 -7944 -7945 -7946 -7947 7948 -7949 -7950 -7951 -7952 -7953 -7954 -7955 -7956 -7957 -7958 -7959 -7960 -7961 -7962 -7963 -7964 -7965 -7966 -7967 -7968 -7969 7970 7971 7972 -7973 -7974 -7975 -7976 -7977 -7978 -7979 -7980 -7981 -7982 -7983 -7984 -7985 -7986 -7987 -7988 -7989 -7990 -7991 7992 -7993 -7994 -7995 -7996 -7997 -7998 -7999 -8000 -8001 -8002 -8003 -8004 -8005 -8006 -8007 -8008 -8009 -8010 -8011 -8012 -8013 -8014 -8015 -8016 -8017 -8018 -8019 -8020 -8021 -8022 -8023 -8024 -8025 -8026 -8027 -8028 -8029 -8030 -8031 -8032 -8033 -8034 -8035 -8036 8037 -8038 -8039 -8040 -8041 -8042 -8043 -8044 -8045 -8046 -8047 -8048 -8049 -8050 -8051 -8052 -8053 -8054 -8055 -8056 -8057 -8058 -8059 -8060 -8061 -8062 -8063 -8064 -8065 -8066 -8067 -8068 -8069 -8070 -8071 -8072 -8073 -8074 -8075 -8076 -8077 -8078 -8079 8080 8081 -8082 -8083 -8084 -8085 -8086 -8087 -8088 -8089 -8090 -8091 -8092 -8093 -8094 -8095 -8096 -8097 -8098 -8099 -8100 -8101 -8102 -8103 8104 -8105 -8106 -8107 -8108 -8109 -8110 -8111 -8112 -8113 -8114 -8115 -8116 -8117 -8118 -8119 -8120 -8121 -8122 -8123 8124 8125 8126 -8127 -8128 -8129 -8130 -8131 -8132 -8133 -8134 -8135 -8136 -8137 -8138 -8139 -8140 -8141 -8142 -8143 -8144 -8145 -8146 -8147 8148 -8149 -8150 -8151 -8152 -8153 -8154 -8155 -8156 -8157 -8158 -8159 -8160 -8161 -8162 -8163 -8164 -8165 -8166 -8167 -8168 -8169 -8170 -8171 -8172 -8173 -8174 -8175 -8176 -8177 -8178 -8179 -8180 -8181 -8182 -8183 -8184 -8185 -8186 -8187 -8188 -8189 -8190 -8191 -8192 -8193 -8194 -8195 -8196 -8197 -8198 -8199 -8200 -8201 -8202 -8203 -8204 -8205 -8206 -8207 -8208 -8209 -8210 -8211 -8212 -8213 -8214 -8215 -8216 -8217 -8218 -8219 -8220 -8221 -8222 -8223 -8224 -8225 -8226 -8227 -8228 -8229 -8230 -8231 -8232 -8233 -8234 -8235 -8236 8237 -8238 -8239 -8240 -8241 -8242 -8243 -8244 -8245 -8246 -8247 -8248 -8249 -8250 -8251 -8252 -8253 -8254 -8255 -8256 -8257 -8258 8259 -8260 -8261 -8262 -8263 -8264 -8265 -8266 -8267 -8268 -8269 -8270 -8271 -8272 -8273 -8274 -8275 -8276 -8277 -8278 -8279 -8280 -8281 -8282 -8283 -8284 -8285 -8286 -8287 -8288 -8289 -8290 -8291 -8292 -8293 -8294 -8295 -8296 -8297 -8298 -8299 -8300 -8301 -8302 -8303 -8304 -8305 -8306 -8307 -8308 -8309 -8310 -8311 -8312 -8313 -8314 -8315 -8316 -8317 -8318 -8319 -8320 -8321 -8322 -8323 -8324 -8325 -8326 -8327 -8328 -8329 -8330 -8331 -8332 -8333 -8334 -8335 -8336 -8337 -8338 -8339 -8340 -8341 -8342 -8343 -8344 -8345 -8346 8347 -8348 -8349 -8350 -8351 -8352 -8353 -8354 -8355 -8356 -8357 -8358 -8359 -8360 -8361 -8362 -8363 -8364 -8365 -8366 -8367 -8368 -8369 -8370 -8371 -8372 -8373 -8374 -8375 -8376 -8377 -8378 -8379 -8380 -8381 -8382 -8383 -8384 -8385 -8386 -8387 -8388 -8389 -8390 -8391 -8392 -8393 -8394 -8395 -8396 -8397 -8398 -8399 -8400 -8401 -8402 -8403 -8404 -8405 -8406 -8407 -8408 -8409 -8410 -8411 -8412 -8413 -8414 -8415 -8416 -8417 -8418 -8419 -8420 -8421 -8422 -8423 -8424 -8425 -8426 -8427 -8428 -8429 -8430 -8431 -8432 -8433 -8434 -8435 -8436 -8437 -8438 -8439 -8440 -8441 -8442 -8443 -8444 -8445 -8446 -8447 -8448 -8449 -8450 -8451 -8452 -8453 -8454 -8455 -8456 -8457 -8458 -8459 -8460 -8461 -8462 -8463 -8464 -8465 -8466 -8467 -8468 -8469 -8470 -8471 -8472 -8473 -8474 -8475 -8476 -8477 -8478 -8479 -8480 -8481 -8482 -8483 -8484 -8485 -8486 -8487 -8488 -8489 -8490 -8491 -8492 -8493 -8494 -8495 -8496 -8497 -8498 -8499 -8500 -8501 -8502 -8503 -8504 -8505 -8506 -8507 -8508 -8509 -8510 -8511 -8512 -8513 -8514 -8515 -8516 -8517 -8518 -8519 -8520 -8521 -8522 -8523 -8524 -8525 -8526 -8527 -8528 -8529 -8530 -8531 -8532 -8533 -8534 -8535 -8536 -8537 -8538 -8539 -8540 -8541 -8542 -8543 -8544 -8545 -8546 -8547 -8548 -8549 -8550 -8551 -8552 -8553 -8554 -8555 -8556 -8557 -8558 -8559 -8560 -8561 -8562 -8563 -8564 -8565 -8566 -8567 -8568 -8569 -8570 -8571 -8572 -8573 -8574 -8575 -8576 -8577 -8578 -8579 -8580 -8581 -8582 -8583 -8584 -8585 -8586 -8587 -8588 -8589 -8590 -8591 -8592 -8593 -8594 -8595 -8596 -8597 -8598 -8599 -8600 -8601 -8602 -8603 -8604 -8605 -8606 -8607 8608 8609 8610 8611 -8612 -8613 -8614 -8615 -8616 -8617 -8618 -8619 -8620 -8621 -8622 -8623 -8624 -8625 -8626 -8627 -8628 -8629 -8630 -8631 -8632 -8633 -8634 -8635 -8636 -8637 -8638 -8639 -8640 -8641 -8642 -8643 -8644 -8645 -8646 -8647 -8648 -8649 -8650 -8651 -8652 -8653 -8654 -8655 -8656 -8657 -8658 -8659 -8660 -8661 -8662 -8663 -8664 -8665 -8666 -8667 -8668 -8669 -8670 -8671 -8672 -8673 8674 -8675 -8676 -8677 -8678 -8679 -8680 -8681 -8682 -8683 -8684 -8685 -8686 -8687 -8688 -8689 -8690 -8691 -8692 -8693 -8694 -8695 8696 8697 8698 8699 8700 8701 -8702 -8703 -8704 -8705 -8706 -8707 -8708 -8709 -8710 -8711 -8712 -8713 -8714 -8715 -8716 -8717 8718 -8719 -8720 -8721 -8722 -8723 -8724 -8725 -8726 -8727 -8728 -8729 -8730 -8731 -8732 -8733 -8734 -8735 -8736 -8737 -8738 -8739 -8740 -8741 -8742 -8743 -8744 -8745 -8746 -8747 -8748 -8749 -8750 -8751 -8752 -8753 -8754 -8755 -8756 -8757 -8758 -8759 -8760 -8761 -8762 8763 -8764 -8765 -8766 -8767 -8768 -8769 -8770 -8771 -8772 -8773 -8774 -8775 -8776 -8777 -8778 -8779 -8780 -8781 -8782 -8783 -8784 -8785 -8786 -8787 -8788 -8789 -8790 -8791 -8792 -8793 -8794 -8795 -8796 -8797 -8798 -8799 -8800 -8801 -8802 -8803 -8804 -8805 8806 8807 -8808 -8809 -8810 -8811 -8812 -8813 -8814 -8815 -8816 -8817 -8818 -8819 -8820 -8821 -8822 -8823 -8824 -8825 -8826 -8827 -8828 -8829 8830 -8831 -8832 -8833 -8834 -8835 -8836 -8837 -8838 -8839 -8840 -8841 -8842 -8843 -8844 -8845 -8846 -8847 -8848 -8849 8850 8851 8852 -8853 -8854 -8855 -8856 -8857 -8858 -8859 -8860 -8861 -8862 -8863 -8864 -8865 -8866 -8867 -8868 -8869 -8870 -8871 -8872 -8873 8874 -8875 -8876 -8877 -8878 -8879 -8880 -8881 -8882 -8883 -8884 -8885 -8886 -8887 -8888 -8889 -8890 -8891 -8892 -8893 -8894 -8895 -8896 -8897 -8898 8899 -8900 -8901 -8902 -8903 -8904 -8905 -8906 -8907 -8908 -8909 -8910 -8911 -8912 -8913 -8914 -8915 -8916 -8917 -8918 -8919 -8920 8921 -8922 -8923 -8924 -8925 -8926 -8927 -8928 -8929 -8930 -8931 -8932 -8933 -8934 -8935 -8936 -8937 -8938 -8939 -8940 -8941 -8942 -8943 -8944 -8945 -8946 -8947 -8948 -8949 -8950 -8951 -8952 -8953 -8954 -8955 -8956 8957 -8958 -8959 -8960 -8961 -8962 -8963 -8964 -8965 -8966 -8967 -8968 -8969 -8970 -8971 -8972 -8973 -8974 -8975 -8976 -8977 -8978 -8979 -8980 -8981 -8982 -8983 -8984 -8985 -8986 -8987 -8988 -8989 -8990 -8991 -8992 -8993 -8994 -8995 -8996 -8997 -8998 -8999 -9000 9001 9002 9003 9004 -9005 -9006 -9007 -9008 -9009 -9010 -9011 -9012 -9013 -9014 -9015 -9016 -9017 -9018 -9019 -9020 -9021 -9022 9023 9024 9025 9026 9027 9028 9029 -9030 -9031 -9032 -9033 -9034 -9035 -9036 -9037 -9038 -9039 -9040 -9041 -9042 -9043 -9044 9045 9046 9047 9048 -9049 -9050 -9051 -9052 -9053 -9054 -9055 -9056 -9057 -9058 -9059 -9060 -9061 -9062 -9063 -9064 -9065 -9066 9067 -9068 -9069 -9070 -9071 -9072 -9073 -9074 -9075 -9076 -9077 -9078 -9079 -9080 -9081 -9082 -9083 -9084 -9085 -9086 -9087 -9088 -9089 -9090 -9091 -9092 9093 -9094 -9095 -9096 -9097 -9098 -9099 -9100 -9101 -9102 -9103 -9104 -9105 -9106 -9107 -9108 -9109 -9110 9111 9112 9113 -9114 -9115 -9116 -9117 -9118 -9119 -9120 -9121 -9122 -9123 -9124 -9125 -9126 -9127 -9128 -9129 -9130 -9131 -9132 -9133 9134 9135 9136 9137 -9138 -9139 -9140 -9141 -9142 -9143 -9144 -9145 -9146 -9147 -9148 -9149 -9150 -9151 -9152 -9153 -9154 -9155 -9156 -9157 -9158 -9159 9160 -9161 -9162 -9163 -9164 -9165 -9166 -9167 -9168 -9169 -9170 -9171 -9172 -9173 -9174 -9175 -9176 -9177 -9178 9179 9180 9181 9182 -9183 -9184 -9185 -9186 -9187 -9188 -9189 -9190 -9191 -9192 -9193 -9194 -9195 -9196 -9197 -9198 -9199 -9200 -9201 -9202 -9203 9204 -9205 -9206 -9207 -9208 -9209 -9210 -9211 -9212 -9213 -9214 -9215 -9216 -9217 -9218 -9219 -9220 -9221 -9222 -9223 -9224 -9225 -9226 -9227 -9228 -9229 -9230 -9231 -9232 -9233 -9234 -9235 -9236 -9237 -9238 -9239 -9240 -9241 -9242 -9243 -9244 -9245 -9246 -9247 -9248 -9249 -9250 -9251 -9252 -9253 -9254 -9255 -9256 -9257 -9258 -9259 -9260 -9261 -9262 -9263 -9264 -9265 -9266 -9267 -9268 -9269 -9270 -9271 -9272 -9273 -9274 -9275 -9276 -9277 -9278 -9279 -9280 -9281 -9282 -9283 -9284 -9285 -9286 -9287 -9288 -9289 -9290 -9291 -9292 -9293 -9294 -9295 -9296 -9297 -9298 -9299 -9300 -9301 -9302 -9303 -9304 -9305 -9306 -9307 9308 9309 -9310 -9311 -9312 -9313 -9314 -9315 -9316 -9317 -9318 -9319 -9320 -9321 -9322 -9323 -9324 -9325 -9326 -9327 -9328 -9329 9330 9331 -9332 -9333 -9334 -9335 -9336 -9337 -9338 -9339 -9340 -9341 -9342 -9343 -9344 -9345 -9346 -9347 -9348 -9349 -9350 -9351 9352 9353 -9354 -9355 -9356 -9357 -9358 -9359 -9360 -9361 -9362 -9363 -9364 -9365 -9366 -9367 -9368 -9369 -9370 -9371 -9372 -9373 -9374 9375 -9376 -9377 -9378 -9379 -9380 -9381 -9382 -9383 -9384 -9385 -9386 -9387 -9388 -9389 -9390 -9391 -9392 -9393 -9394 -9395 -9396 -9397 -9398 -9399 -9400 -9401 -9402 -9403 -9404 -9405 -9406 -9407 -9408 -9409 -9410 -9411 -9412 -9413 -9414 -9415 -9416 -9417 9418 9419 -9420 -9421 -9422 -9423 -9424 -9425 -9426 -9427 -9428 -9429 -9430 -9431 -9432 -9433 -9434 -9435 -9436 -9437 -9438 -9439 -9440 -9441 -9442 -9443 -9444 -9445 -9446 -9447 -9448 -9449 -9450 -9451 -9452 -9453 -9454 -9455 -9456 -9457 -9458 -9459 -9460 -9461 -9462 -9463 -9464 -9465 -9466 -9467 -9468 -9469 -9470 -9471 -9472 -9473 -9474 -9475 -9476 -9477 -9478 -9479 -9480 -9481 -9482 -9483 -9484 -9485 -9486 -9487 -9488 -9489 -9490 -9491 -9492 -9493 -9494 -9495 -9496 -9497 -9498 -9499 -9500 -9501 -9502 -9503 -9504 -9505 -9506 -9507 -9508 -9509 -9510 -9511 -9512 -9513 -9514 -9515 -9516 -9517 -9518 -9519 -9520 -9521 -9522 -9523 -9524 -9525 -9526 -9527 -9528 -9529 -9530 -9531 -9532 -9533 -9534 -9535 -9536 -9537 -9538 -9539 -9540 -9541 -9542 -9543 -9544 -9545 -9546 -9547 -9548 -9549 -9550 -9551 -9552 -9553 -9554 -9555 -9556 -9557 -9558 -9559 -9560 -9561 -9562 -9563 -9564 -9565 -9566 -9567 -9568 -9569 -9570 -9571 9572 -9573 -9574 -9575 -9576 -9577 -9578 -9579 -9580 -9581 -9582 -9583 -9584 -9585 -9586 -9587 -9588 -9589 -9590 -9591 -9592 9593 -9594 -9595 -9596 -9597 -9598 -9599 -9600 -9601 -9602 -9603 -9604 -9605 -9606 -9607 -9608 -9609 -9610 -9611 -9612 -9613 -9614 -9615 -9616 -9617 -9618 -9619 -9620 -9621 -9622 -9623 -9624 -9625 -9626 -9627 -9628 -9629 -9630 -9631 -9632 -9633 -9634 -9635 -9636 -9637 -9638 -9639 -9640 -9641 -9642 -9643 -9644 -9645 -9646 -9647 -9648 -9649 -9650 -9651 -9652 -9653 -9654 -9655 -9656 -9657 -9658 -9659 -9660 -9661 -9662 -9663 -9664 -9665 -9666 -9667 -9668 -9669 -9670 -9671 -9672 -9673 -9674 -9675 -9676 -9677 -9678 -9679 -9680 -9681 -9682 -9683 -9684 -9685 -9686 -9687 -9688 -9689 -9690 -9691 -9692 -9693 -9694 -9695 -9696 -9697 -9698 -9699 -9700 -9701 -9702 -9703 -9704 -9705 -9706 -9707 -9708 -9709 -9710 -9711 -9712 -9713 -9714 -9715 -9716 -9717 -9718 -9719 -9720 -9721 -9722 -9723 -9724 -9725 -9726 -9727 -9728 -9729 -9730 -9731 -9732 -9733 -9734 -9735 -9736 -9737 -9738 -9739 -9740 -9741 -9742 -9743 -9744 -9745 -9746 -9747 -9748 -9749 -9750 -9751 -9752 -9753 -9754 -9755 -9756 -9757 -9758 -9759 -9760 -9761 -9762 -9763 -9764 -9765 -9766 -9767 -9768 -9769 -9770 -9771 -9772 -9773 -9774 -9775 -9776 -9777 -9778 -9779 -9780 -9781 -9782 -9783 -9784 -9785 -9786 -9787 -9788 -9789 -9790 -9791 -9792 -9793 -9794 -9795 -9796 -9797 -9798 -9799 -9800 -9801 -9802 -9803 -9804 -9805 -9806 -9807 -9808 -9809 -9810 -9811 -9812 -9813 -9814 -9815 -9816 -9817 -9818 -9819 -9820 -9821 -9822 -9823 -9824 -9825 -9826 -9827 -9828 -9829 -9830 -9831 -9832 -9833 -9834 -9835 -9836 -9837 -9838 -9839 -9840 -9841 -9842 -9843 -9844 -9845 -9846 -9847 -9848 -9849 -9850 -9851 -9852 -9853 -9854 -9855 -9856 -9857 -9858 -9859 -9860 -9861 -9862 -9863 -9864 -9865 -9866 -9867 -9868 -9869 -9870 -9871 -9872 -9873 -9874 -9875 -9876 -9877 -9878 -9879 9880 9881 9882 9883 9884 -9885 -9886 -9887 -9888 -9889 -9890 -9891 -9892 -9893 -9894 -9895 -9896 -9897 -9898 -9899 -9900 -9901 9902 9903 9904 9905 9906 -9907 -9908 -9909 -9910 -9911 -9912 -9913 -9914 -9915 -9916 -9917 -9918 -9919 -9920 -9921 -9922 -9923 -9924 9925 -9926 -9927 -9928 -9929 -9930 -9931 -9932 -9933 -9934 -9935 -9936 -9937 -9938 -9939 -9940 -9941 -9942 -9943 -9944 -9945 -9946 -9947 -9948 -9949 -9950 -9951 -9952 -9953 -9954 -9955 -9956 -9957 -9958 -9959 -9960 -9961 -9962 -9963 -9964 -9965 -9966 -9967 9968 9969 9970 9971 -9972 -9973 -9974 -9975 -9976 -9977 -9978 -9979 -9980 -9981 -9982 -9983 -9984 -9985 -9986 -9987 -9988 -9989 -9990 -9991 9992 9993 9994 -9995 -9996 -9997 -9998 -9999 -10000 -10001 -10002 -10003 -10004 -10005 -10006 -10007 -10008 -10009 -10010 -10011 -10012 -10013 -10014 -10015 -10016 -10017 -10018 -10019 -10020 -10021 -10022 -10023 -10024 -10025 -10026 -10027 -10028 -10029 -10030 -10031 -10032 -10033 -10034 -10035 -10036 10037 10038 -10039 -10040 -10041 -10042 -10043 -10044 -10045 -10046 -10047 -10048 -10049 -10050 -10051 -10052 -10053 -10054 -10055 -10056 -10057 -10058 -10059 -10060 -10061 -10062 -10063 -10064 -10065 -10066 -10067 -10068 -10069 -10070 -10071 -10072 -10073 -10074 -10075 -10076 -10077 -10078 -10079 -10080 -10081 -10082 -10083 -10084 -10085 -10086 -10087 -10088 -10089 -10090 -10091 -10092 -10093 -10094 -10095 -10096 -10097 -10098 -10099 -10100 -10101 -10102 -10103 -10104 -10105 -10106 -10107 -10108 -10109 -10110 -10111 -10112 -10113 -10114 -10115 -10116 -10117 -10118 -10119 -10120 -10121 10122 -10123 -10124 -10125 -10126 -10127 -10128 -10129 -10130 -10131 -10132 -10133 -10134 -10135 -10136 -10137 -10138 -10139 -10140 -10141 -10142 -10143 10144 10145 10146 10147 10148 -10149 -10150 -10151 -10152 -10153 -10154 -10155 -10156 -10157 -10158 -10159 -10160 -10161 -10162 -10163 -10164 -10165 -10166 10167 -10168 -10169 -10170 -10171 -10172 -10173 -10174 -10175 -10176 -10177 -10178 -10179 -10180 -10181 -10182 -10183 -10184 -10185 -10186 -10187 -10188 -10189 -10190 -10191 -10192 10193 -10194 -10195 -10196 -10197 -10198 -10199 -10200 -10201 -10202 -10203 -10204 -10205 -10206 -10207 -10208 -10209 10210 10211 10212 10213 -10214 -10215 -10216 -10217 -10218 -10219 -10220 -10221 -10222 -10223 -10224 -10225 -10226 -10227 -10228 -10229 -10230 -10231 -10232 -10233 10234 10235 10236 10237 -10238 -10239 -10240 -10241 -10242 -10243 -10244 -10245 -10246 -10247 -10248 -10249 -10250 -10251 -10252 -10253 -10254 -10255 -10256 -10257 -10258 -10259 10260 -10261 -10262 -10263 -10264 -10265 -10266 -10267 -10268 -10269 -10270 -10271 -10272 -10273 -10274 -10275 -10276 -10277 -10278 10279 10280 10281 10282 -10283 -10284 -10285 -10286 -10287 -10288 -10289 -10290 -10291 -10292 -10293 -10294 -10295 -10296 -10297 -10298 -10299 -10300 -10301 -10302 -10303 10304 -10305 -10306 -10307 -10308 -10309 -10310 -10311 -10312 -10313 -10314 -10315 -10316 -10317 -10318 -10319 -10320 -10321 -10322 -10323 -10324 -10325 -10326 -10327 -10328 10329 -10330 -10331 -10332 -10333 -10334 -10335 -10336 -10337 -10338 -10339 -10340 -10341 -10342 -10343 -10344 -10345 -10346 -10347 -10348 -10349 -10350 10351 -10352 -10353 -10354 -10355 -10356 -10357 -10358 -10359 -10360 -10361 -10362 -10363 10364 -10365 -10366 -10367 -10368 -10369 -10370 -10371 -10372 -10373 -10374 -10375 -10376 -10377 -10378 -10379 -10380 -10381 -10382 -10383 -10384 -10385 -10386 10387 -10388 -10389 -10390 -10391 -10392 -10393 -10394 -10395 -10396 -10397 -10398 -10399 -10400 -10401 -10402 -10403 -10404 -10405 -10406 -10407 -10408 -10409 -10410 -10411 -10412 -10413 -10414 -10415 -10416 -10417 -10418 -10419 -10420 -10421 -10422 -10423 -10424 -10425 -10426 -10427 -10428 -10429 10430 10431 10432 10433 -10434 -10435 -10436 -10437 -10438 -10439 -10440 -10441 -10442 -10443 -10444 -10445 -10446 -10447 -10448 -10449 -10450 -10451 -10452 -10453 10454 10455 10456 -10457 -10458 -10459 -10460 -10461 -10462 -10463 -10464 -10465 -10466 -10467 -10468 -10469 -10470 -10471 -10472 -10473 -10474 -10475 -10476 -10477 -10478 -10479 -10480 -10481 -10482 -10483 -10484 -10485 -10486 -10487 -10488 -10489 -10490 -10491 -10492 -10493 -10494 -10495 -10496 -10497 -10498 10499 10500 -10501 -10502 -10503 -10504 -10505 -10506 -10507 -10508 -10509 -10510 -10511 -10512 -10513 -10514 -10515 -10516 -10517 -10518 -10519 -10520 -10521 -10522 -10523 -10524 -10525 -10526 -10527 -10528 -10529 -10530 -10531 -10532 -10533 -10534 -10535 -10536 -10537 -10538 -10539 -10540 -10541 -10542 -10543 -10544 -10545 -10546 -10547 -10548 -10549 -10550 -10551 -10552 -10553 -10554 -10555 -10556 -10557 -10558 -10559 -10560 -10561 -10562 -10563 -10564 -10565 -10566 -10567 -10568 -10569 -10570 -10571 -10572 -10573 -10574 -10575 -10576 -10577 -10578 -10579 -10580 -10581 -10582 -10583 10584 -10585 -10586 -10587 -10588 -10589 -10590 -10591 -10592 -10593 -10594 -10595 -10596 -10597 -10598 -10599 -10600 -10601 -10602 -10603 -10604 -10605 -10606 -10607 -10608 -10609 -10610 -10611 -10612 -10613 -10614 -10615 -10616 -10617 -10618 -10619 -10620 -10621 -10622 -10623 -10624 -10625 -10626 -10627 -10628 10629 -10630 -10631 -10632 -10633 -10634 -10635 -10636 -10637 -10638 -10639 -10640 -10641 -10642 -10643 -10644 -10645 -10646 -10647 -10648 -10649 -10650 -10651 -10652 -10653 -10654 -10655 -10656 -10657 -10658 -10659 -10660 -10661 -10662 -10663 -10664 -10665 -10666 -10667 -10668 -10669 -10670 -10671 -10672 -10673 -10674 -10675 -10676 -10677 -10678 -10679 -10680 -10681 -10682 -10683 -10684 -10685 -10686 -10687 -10688 -10689 -10690 -10691 -10692 -10693 -10694 -10695 -10696 -10697 -10698 -10699 -10700 -10701 -10702 -10703 -10704 -10705 -10706 -10707 -10708 -10709 -10710 -10711 -10712 -10713 -10714 -10715 -10716 -10717 -10718 -10719 -10720 -10721 -10722 -10723 -10724 -10725 -10726 -10727 -10728 -10729 -10730 -10731 -10732 -10733 -10734 -10735 -10736 -10737 -10738 -10739 -10740 -10741 -10742 -10743 -10744 -10745 -10746 -10747 -10748 -10749 -10750 -10751 -10752 -10753 -10754 -10755 -10756 -10757 -10758 -10759 -10760 -10761 -10762 -10763 -10764 -10765 -10766 -10767 -10768 -10769 -10770 -10771 -10772 -10773 -10774 -10775 -10776 -10777 -10778 -10779 -10780 -10781 -10782 -10783 -10784 -10785 -10786 -10787 -10788 -10789 -10790 -10791 -10792 -10793 -10794 -10795 -10796 -10797 -10798 -10799 -10800 -10801 -10802 -10803 -10804 -10805 -10806 -10807 -10808 -10809 -10810 -10811 -10812 -10813 -10814 -10815 -10816 -10817 -10818 -10819 -10820 -10821 -10822 -10823 -10824 -10825 -10826 -10827 -10828 -10829 -10830 10831 -10832 -10833 -10834 -10835 -10836 -10837 -10838 -10839 -10840 -10841 -10842 -10843 -10844 -10845 -10846 -10847 -10848 -10849 -10850 -10851 -10852 -10853 -10854 -10855 -10856 -10857 -10858 -10859 -10860 -10861 -10862 -10863 -10864 -10865 -10866 -10867 -10868 -10869 -10870 -10871 -10872 -10873 -10874 10875 -10876 -10877 -10878 -10879 -10880 -10881 -10882 -10883 -10884 -10885 -10886 -10887 -10888 -10889 -10890 -10891 -10892 -10893 -10894 -10895 -10896 -10897 -10898 -10899 -10900 -10901 -10902 -10903 -10904 -10905 -10906 -10907 -10908 -10909 -10910 -10911 -10912 -10913 -10914 -10915 -10916 -10917 -10918 -10919 -10920 -10921 -10922 -10923 -10924 -10925 -10926 -10927 -10928 -10929 -10930 -10931 -10932 -10933 -10934 -10935 -10936 -10937 -10938 -10939 -10940 -10941 -10942 -10943 -10944 -10945 -10946 -10947 -10948 -10949 -10950 -10951 -10952 -10953 -10954 -10955 -10956 -10957 -10958 -10959 -10960 -10961 -10962 -10963 -10964 -10965 -10966 -10967 -10968 -10969 -10970 -10971 -10972 -10973 -10974 -10975 -10976 -10977 -10978 -10979 -10980 -10981 10982 10983 -10984 -10985 -10986 -10987 -10988 -10989 -10990 -10991 -10992 -10993 -10994 -10995 -10996 -10997 -10998 -10999 -11000 -11001 -11002 -11003 -11004 -11005 -11006 -11007 -11008 -11009 -11010 -11011 -11012 -11013 -11014 -11015 -11016 -11017 -11018 -11019 -11020 -11021 -11022 -11023 -11024 -11025 -11026 11027 -11028 -11029 -11030 -11031 -11032 -11033 -11034 -11035 -11036 -11037 -11038 -11039 -11040 -11041 -11042 -11043 -11044 -11045 -11046 -11047 -11048 -11049 -11050 -11051 -11052 -11053 -11054 -11055 -11056 -11057 -11058 -11059 -11060 -11061 -11062 -11063 -11064 -11065 -11066 -11067 -11068 -11069 -11070 -11071 -11072 -11073 -11074 -11075 -11076 -11077 -11078 -11079 -11080 -11081 -11082 -11083 -11084 -11085 -11086 -11087 -11088 -11089 -11090 -11091 -11092 -11093 -11094 -11095 -11096 -11097 -11098 -11099 -11100 -11101 -11102 -11103 -11104 -11105 -11106 -11107 -11108 -11109 -11110 -11111 11112 -11113 -11114 -11115 -11116 -11117 -11118 -11119 -11120 -11121 -11122 -11123 -11124 -11125 -11126 -11127 -11128 -11129 -11130 -11131 -11132 -11133 -11134 -11135 -11136 -11137 -11138 -11139 -11140 -11141 -11142 -11143 -11144 -11145 -11146 -11147 -11148 -11149 -11150 -11151 -11152 -11153 -11154 -11155 -11156 -11157 -11158 11159 11160 11161 -11162 -11163 -11164 -11165 -11166 -11167 -11168 -11169 -11170 -11171 -11172 -11173 -11174 -11175 -11176 -11177 -11178 -11179 -11180 -11181 -11182 -11183 -11184 -11185 -11186 -11187 -11188 -11189 -11190 -11191 -11192 -11193 -11194 -11195 -11196 -11197 -11198 -11199 -11200 -11201 -11202 -11203 -11204 -11205 -11206 -11207 -11208 -11209 -11210 -11211 -11212 -11213 -11214 -11215 -11216 -11217 -11218 -11219 -11220 -11221 -11222 -11223 -11224 -11225 -11226 -11227 -11228 -11229 -11230 -11231 -11232 -11233 -11234 -11235 -11236 -11237 -11238 -11239 -11240 -11241 -11242 -11243 -11244 -11245 -11246 -11247 -11248 -11249 -11250 -11251 -11252 -11253 -11254 -11255 -11256 -11257 -11258 -11259 -11260 -11261 -11262 -11263 -11264 -11265 -11266 -11267 -11268 -11269 -11270 -11271 11272 -11273 -11274 -11275 -11276 -11277 -11278 -11279 -11280 -11281 -11282 -11283 -11284 -11285 -11286 -11287 -11288 -11289 -11290 -11291 -11292 -11293 11294 -11295 -11296 -11297 -11298 -11299 -11300 -11301 -11302 -11303 -11304 -11305 -11306 -11307 -11308 -11309 -11310 -11311 -11312 -11313 -11314 -11315 -11316 -11317 -11318 -11319 -11320 -11321 -11322 -11323 -11324 -11325 -11326 -11327 -11328 -11329 -11330 -11331 -11332 -11333 -11334 -11335 -11336 -11337 -11338 -11339 -11340 -11341 -11342 -11343 -11344 -11345 -11346 -11347 -11348 -11349 -11350 -11351 -11352 -11353 -11354 -11355 -11356 -11357 -11358 -11359 -11360 -11361 -11362 -11363 -11364 -11365 -11366 -11367 -11368 -11369 -11370 -11371 -11372 -11373 -11374 -11375 -11376 -11377 -11378 -11379 -11380 -11381 11382 -11383 -11384 -11385 -11386 -11387 -11388 -11389 -11390 -11391 -11392 -11393 -11394 -11395 -11396 -11397 -11398 -11399 -11400 -11401 -11402 -11403 -11404 -11405 -11406 -11407 -11408 -11409 -11410 -11411 -11412 -11413 -11414 -11415 -11416 -11417 -11418 -11419 -11420 -11421 -11422 -11423 -11424 -11425 -11426 -11427 -11428 -11429 -11430 -11431 -11432 -11433 -11434 -11435 -11436 -11437 -11438 -11439 -11440 -11441 -11442 -11443 -11444 -11445 -11446 -11447 -11448 -11449 -11450 -11451 -11452 -11453 -11454 -11455 -11456 -11457 -11458 -11459 -11460 -11461 -11462 -11463 -11464 -11465 -11466 -11467 -11468 -11469 -11470 -11471 -11472 -11473 -11474 -11475 -11476 -11477 -11478 -11479 -11480 -11481 -11482 -11483 -11484 -11485 -11486 -11487 -11488 -11489 -11490 -11491 -11492 -11493 -11494 -11495 -11496 -11497 -11498 -11499 -11500 -11501 -11502 -11503 -11504 -11505 -11506 -11507 -11508 -11509 -11510 -11511 -11512 -11513 -11514 -11515 -11516 -11517 -11518 -11519 -11520 -11521 -11522 -11523 -11524 -11525 -11526 -11527 -11528 -11529 -11530 -11531 -11532 -11533 -11534 -11535 -11536 -11537 -11538 11539 -11540 -11541 -11542 -11543 -11544 -11545 -11546 -11547 -11548 -11549 -11550 -11551 -11552 -11553 -11554 -11555 -11556 -11557 -11558 -11559 -11560 -11561 -11562 -11563 -11564 -11565 -11566 -11567 -11568 -11569 -11570 -11571 -11572 -11573 -11574 -11575 -11576 -11577 -11578 -11579 -11580 -11581 -11582 -11583 -11584 -11585 -11586 -11587 -11588 -11589 -11590 -11591 -11592 -11593 -11594 -11595 -11596 -11597 -11598 11599 -11600 -11601 -11602 -11603 -11604 -11605 -11606 -11607 -11608 -11609 -11610 -11611 -11612 -11613 -11614 -11615 -11616 -11617 -11618 11619 -11620 -11621 -11622 -11623 -11624 -11625 -11626 -11627 -11628 -11629 -11630 -11631 -11632 -11633 -11634 -11635 -11636 -11637 -11638 -11639 -11640 -11641 -11642 -11643 -11644 -11645 -11646 -11647 11648 -11649 -11650 -11651 -11652 -11653 -11654 -11655 -11656 -11657 -11658 -11659 -11660 -11661 -11662 -11663 11664 -11665 -11666 -11667 -11668 -11669 -11670 -11671 -11672 -11673 -11674 -11675 -11676 -11677 -11678 -11679 -11680 -11681 -11682 -11683 -11684 -11685 11686 -11687 -11688 -11689 -11690 -11691 -11692 -11693 -11694 -11695 -11696 -11697 -11698 -11699 -11700 -11701 -11702 -11703 -11704 -11705 11706 -11707 -11708 -11709 -11710 -11711 -11712 -11713 -11714 -11715 -11716 -11717 -11718 -11719 -11720 -11721 -11722 -11723 -11724 -11725 -11726 -11727 -11728 11729 -11730 -11731 -11732 -11733 -11734 -11735 -11736 -11737 -11738 -11739 -11740 -11741 -11742 -11743 -11744 -11745 -11746 -11747 -11748 -11749 -11750 -11751 -11752 -11753 -11754 11755 -11756 -11757 -11758 -11759 -11760 -11761 -11762 -11763 -11764 -11765 -11766 -11767 -11768 -11769 -11770 11771 -11772 -11773 -11774 -11775 -11776 -11777 -11778 -11779 -11780 -11781 -11782 -11783 -11784 -11785 -11786 -11787 -11788 -11789 -11790 -11791 -11792 -11793 -11794 -11795 -11796 -11797 -11798 -11799 -11800 -11801 -11802 -11803 11804 -11805 -11806 -11807 -11808 -11809 -11810 -11811 -11812 -11813 -11814 11815 -11816 -11817 -11818 -11819 -11820 -11821 -11822 -11823 -11824 -11825 -11826 -11827 -11828 -11829 -11830 -11831 -11832 -11833 -11834 -11835 -11836 -11837 -11838 -11839 -11840 -11841 -11842 -11843 -11844 11845 -11846 -11847 -11848 -11849 -11850 -11851 -11852 -11853 -11854 -11855 -11856 -11857 -11858 -11859 -11860 -11861 11862 -11863 -11864 -11865 -11866 -11867 -11868 -11869 -11870 -11871 -11872 -11873 -11874 -11875 -11876 -11877 -11878 -11879 -11880 -11881 -11882 -11883 -11884 -11885 -11886 -11887 -11888 11889 -11890 -11891 -11892 -11893 -11894 -11895 -11896 -11897 -11898 -11899 -11900 -11901 -11902 -11903 11904 -11905 -11906 -11907 -11908 -11909 -11910 -11911 -11912 -11913 -11914 -11915 -11916 -11917 -11918 -11919 -11920 -11921 -11922 -11923 -11924 -11925 -11926 -11927 -11928 -11929 -11930 11931 -11932 -11933 -11934 -11935 -11936 -11937 -11938 -11939 -11940 -11941 -11942 -11943 -11944 -11945 -11946 -11947 -11948 -11949 -11950 -11951 11952 -11953 -11954 -11955 -11956 -11957 -11958 -11959 -11960 -11961 -11962 -11963 -11964 -11965 -11966 -11967 -11968 -11969 -11970 -11971 -11972 -11973 -11974 -11975 11976 -11977 -11978 -11979 -11980 -11981 -11982 -11983 -11984 -11985 -11986 -11987 -11988 -11989 -11990 -11991 -11992 -11993 -11994 -11995 -11996 -11997 -11998 11999 -12000 -12001 -12002 -12003 -12004 -12005 -12006 -12007 -12008 -12009 -12010 -12011 -12012 -12013 -12014 -12015 -12016 -12017 -12018 -12019 -12020 -12021 12022 -12023 -12024 -12025 -12026 -12027 -12028 -12029 -12030 -12031 -12032 -12033 -12034 -12035 -12036 -12037 -12038 -12039 -12040 -12041 -12042 -12043 -12044 12045 -12046 -12047 -12048 -12049 -12050 -12051 -12052 -12053 -12054 -12055 -12056 -12057 -12058 12059 -12060 -12061 -12062 -12063 -12064 -12065 -12066 -12067 -12068 -12069 -12070 -12071 -12072 -12073 -12074 -12075 -12076 -12077 -12078 -12079 12080 -12081 -12082 -12083 -12084 -12085 -12086 -12087 -12088 -12089 -12090 -12091 -12092 -12093 -12094 -12095 -12096 -12097 -12098 -12099 -12100 -12101 -12102 -12103 -12104 -12105 -12106 -12107 -12108 -12109 12110 -12111 -12112 -12113 -12114 -12115 -12116 -12117 -12118 -12119 -12120 -12121 -12122 -12123 -12124 -12125 -12126 -12127 -12128 12129 -12130 -12131 -12132 -12133 -12134 -12135 -12136 -12137 -12138 -12139 -12140 -12141 -12142 -12143 -12144 -12145 -12146 -12147 -12148 -12149 12150 -12151 -12152 -12153 -12154 -12155 -12156 -12157 -12158 -12159 -12160 -12161 -12162 -12163 -12164 -12165 -12166 -12167 -12168 -12169 -12170 -12171 -12172 -12173 -12174 12175 -12176 -12177 -12178 -12179 -12180 -12181 -12182 -12183 -12184 -12185 -12186 -12187 -12188 -12189 -12190 -12191 -12192 -12193 12194 -12195 -12196 -12197 -12198 -12199 -12200 -12201 -12202 -12203 -12204 -12205 -12206 -12207 -12208 -12209 -12210 -12211 -12212 12213 -12214 -12215 -12216 -12217 -12218 -12219 -12220 -12221 -12222 -12223 -12224 -12225 -12226 -12227 -12228 -12229 -12230 -12231 -12232 -12233 12234 -12235 -12236 -12237 -12238 -12239 -12240 -12241 -12242 -12243 -12244 -12245 -12246 -12247 -12248 -12249 -12250 -12251 -12252 -12253 -12254 12255 -12256 -12257 -12258 -12259 -12260 -12261 -12262 -12263 -12264 -12265 -12266 -12267 -12268 -12269 -12270 -12271 -12272 -12273 -12274 -12275 -12276 12277 -12278 -12279 -12280 -12281 -12282 -12283 -12284 -12285 -12286 -12287 -12288 -12289 -12290 -12291 -12292 -12293 -12294 -12295 -12296 -12297 -12298 -12299 12300 -12301 -12302 -12303 -12304 -12305 -12306 -12307 -12308 -12309 -12310 -12311 -12312 -12313 -12314 -12315 -12316 -12317 -12318 -12319 -12320 -12321 12322 -12323 -12324 -12325 -12326 -12327 -12328 -12329 -12330 -12331 -12332 -12333 -12334 -12335 -12336 -12337 -12338 -12339 -12340 -12341 -12342 -12343 -12344 12345 -12346 -12347 -12348 -12349 -12350 -12351 -12352 -12353 -12354 -12355 -12356 -12357 -12358 -12359 -12360 -12361 -12362 -12363 -12364 -12365 -12366 -12367 -12368 -12369 -12370 12371 -12372 -12373 -12374 -12375 -12376 -12377 -12378 -12379 -12380 -12381 -12382 -12383 -12384 -12385 -12386 -12387 12388 -12389 -12390 -12391 -12392 -12393 -12394 -12395 -12396 -12397 -12398 -12399 -12400 -12401 -12402 -12403 -12404 -12405 -12406 -12407 -12408 -12409 -12410 -12411 12412 -12413 -12414 -12415 -12416 -12417 -12418 -12419 -12420 -12421 -12422 -12423 -12424 -12425 -12426 -12427 -12428 -12429 -12430 -12431 -12432 -12433 -12434 -12435 -12436 -12437 12438 -12439 -12440 -12441 -12442 -12443 -12444 -12445 -12446 -12447 -12448 -12449 -12450 -12451 -12452 -12453 -12454 -12455 -12456 12457 -12458 -12459 -12460 -12461 -12462 -12463 -12464 -12465 -12466 -12467 -12468 -12469 -12470 -12471 -12472 -12473 -12474 -12475 -12476 -12477 -12478 -12479 -12480 -12481 12482 -12483 -12484 -12485 -12486 -12487 -12488 -12489 -12490 -12491 -12492 -12493 -12494 -12495 -12496 -12497 -12498 -12499 -12500 -12501 -12502 -12503 -12504 -12505 -12506 12507 -12508 -12509 -12510 -12511 -12512 -12513 -12514 -12515 -12516 -12517 -12518 -12519 -12520 -12521 -12522 -12523 -12524 -12525 -12526 -12527 -12528 12529 -12530 -12531 -12532 -12533 -12534 -12535 -12536 -12537 -12538 -12539 -12540 -12541 12542 -12543 -12544 -12545 -12546 -12547 -12548 -12549 -12550 -12551 -12552 -12553 -12554 -12555 -12556 -12557 -12558 -12559 -12560 -12561 -12562 -12563 -12564 -12565 -12566 -12567 12568 -12569 -12570 -12571 -12572 -12573 -12574 -12575 -12576 -12577 -12578 -12579 -12580 -12581 -12582 -12583 -12584 -12585 -12586 -12587 -12588 -12589 -12590 -12591 -12592 12593 -12594 -12595 -12596 -12597 -12598 -12599 -12600 -12601 -12602 -12603 -12604 -12605 -12606 -12607 -12608 -12609 -12610 -12611 -12612 -12613 -12614 -12615 -12616 -12617 12618 -12619 -12620 -12621 -12622 -12623 -12624 -12625 -12626 -12627 -12628 -12629 -12630 -12631 -12632 12633 -12634 -12635 -12636 -12637 -12638 -12639 -12640 -12641 -12642 -12643 -12644 -12645 -12646 -12647 -12648 -12649 -12650 -12651 -12652 -12653 -12654 -12655 -12656 -12657 -12658 12659 -12660 -12661 -12662 -12663 -12664 -12665 -12666 -12667 -12668 -12669 -12670 -12671 -12672 -12673 12674 -12675 -12676 -12677 -12678 -12679 -12680 -12681 -12682 -12683 -12684 -12685 -12686 -12687 -12688 -12689 -12690 -12691 -12692 -12693 -12694 -12695 -12696 12697 -12698 -12699 -12700 -12701 -12702 -12703 -12704 -12705 -12706 -12707 -12708 -12709 -12710 -12711 -12712 -12713 -12714 -12715 -12716 -12717 -12718 -12719 -12720 -12721 -12722 -12723 12724 -12725 -12726 -12727 -12728 -12729 -12730 -12731 -12732 -12733 -12734 -12735 -12736 -12737 -12738 -12739 -12740 -12741 -12742 -12743 -12744 -12745 -12746 -12747 -12748 12749 -12750 -12751 -12752 -12753 -12754 -12755 -12756 -12757 -12758 -12759 -12760 -12761 -12762 -12763 -12764 -12765 -12766 -12767 -12768 -12769 -12770 -12771 12772 -12773 -12774 -12775 -12776 -12777 -12778 -12779 -12780 -12781 -12782 12783 -12784 -12785 -12786 -12787 -12788 -12789 -12790 -12791 -12792 -12793 -12794 -12795 -12796 -12797 -12798 -12799 -12800 -12801 -12802 -12803 -12804 -12805 -12806 -12807 -12808 -12809 -12810 -12811 -12812 -12813 12814 -12815 -12816 -12817 -12818 -12819 -12820 -12821 -12822 -12823 -12824 -12825 -12826 -12827 -12828 -12829 12830 -12831 -12832 -12833 -12834 -12835 -12836 -12837 -12838 -12839 -12840 -12841 -12842 -12843 -12844 -12845 -12846 -12847 -12848 -12849 -12850 -12851 -12852 -12853 -12854 -12855 -12856 12857 -12858 -12859 -12860 -12861 -12862 -12863 -12864 -12865 -12866 -12867 -12868 -12869 -12870 -12871 12872 -12873 -12874 -12875 -12876 -12877 -12878 -12879 -12880 -12881 -12882 -12883 -12884 -12885 -12886 -12887 -12888 -12889 -12890 -12891 -12892 -12893 -12894 -12895 -12896 -12897 -12898 12899 -12900 -12901 -12902 -12903 -12904 -12905 -12906 -12907 -12908 -12909 -12910 -12911 -12912 -12913 -12914 -12915 -12916 -12917 -12918 -12919 -12920 12921 -12922 -12923 -12924 -12925 -12926 -12927 -12928 -12929 -12930 -12931 -12932 -12933 -12934 -12935 -12936 -12937 -12938 -12939 -12940 -12941 -12942 -12943 12944 -12945 -12946 -12947 -12948 -12949 -12950 -12951 -12952 -12953 -12954 -12955 -12956 -12957 -12958 -12959 -12960 -12961 -12962 -12963 -12964 -12965 -12966 12967 -12968 -12969 -12970 -12971 -12972 -12973 -12974 -12975 -12976 -12977 -12978 -12979 -12980 -12981 -12982 -12983 -12984 -12985 -12986 -12987 -12988 -12989 12990 -12991 -12992 -12993 -12994 -12995 -12996 -12997 -12998 -12999 -13000 -13001 -13002 -13003 -13004 -13005 -13006 -13007 -13008 -13009 -13010 -13011 -13012 -13013 13014 -13015 -13016 -13017 -13018 -13019 -13020 -13021 -13022 -13023 -13024 -13025 -13026 -13027 13028 -13029 -13030 -13031 -13032 -13033 -13034 -13035 -13036 -13037 -13038 -13039 -13040 -13041 -13042 -13043 -13044 -13045 -13046 -13047 -13048 -13049 13050 -13051 -13052 -13053 -13054 -13055 -13056 -13057 -13058 -13059 -13060 -13061 -13062 -13063 -13064 -13065 -13066 -13067 -13068 -13069 -13070 -13071 -13072 -13073 -13074 -13075 -13076 -13077 -13078 13079 -13080 -13081 -13082 -13083 -13084 -13085 -13086 -13087 -13088 -13089 -13090 -13091 -13092 -13093 -13094 -13095 -13096 -13097 -13098 -13099 13100 -13101 -13102 -13103 -13104 -13105 -13106 -13107 -13108 -13109 -13110 -13111 -13112 -13113 -13114 -13115 -13116 -13117 -13118 -13119 13120 -13121 -13122 -13123 -13124 -13125 -13126 -13127 -13128 -13129 -13130 -13131 -13132 -13133 -13134 -13135 -13136 -13137 -13138 -13139 -13140 -13141 -13142 13143 -13144 -13145 -13146 -13147 -13148 -13149 -13150 -13151 -13152 -13153 -13154 -13155 -13156 -13157 -13158 -13159 -13160 -13161 -13162 -13163 -13164 -13165 -13166 13167 -13168 -13169 -13170 -13171 -13172 -13173 -13174 -13175 -13176 -13177 -13178 -13179 -13180 -13181 -13182 -13183 -13184 -13185 -13186 13187 -13188 -13189 -13190 -13191 -13192 -13193 -13194 -13195 -13196 -13197 -13198 -13199 -13200 -13201 -13202 13203 -13204 -13205 -13206 -13207 -13208 -13209 -13210 -13211 -13212 -13213 -13214 -13215 -13216 -13217 -13218 -13219 -13220 -13221 -13222 13223 -13224 -13225 -13226 -13227 -13228 -13229 -13230 -13231 -13232 -13233 -13234 -13235 -13236 -13237 -13238 -13239 -13240 -13241 -13242 -13243 -13244 -13245 -13246 -13247 -13248 -13249 13250 -13251 -13252 -13253 -13254 -13255 -13256 -13257 -13258 -13259 -13260 -13261 -13262 -13263 -13264 -13265 -13266 -13267 -13268 -13269 -13270 -13271 -13272 -13273 -13274 -13275 -13276 13277 -13278 -13279 -13280 -13281 -13282 -13283 -13284 -13285 -13286 -13287 -13288 -13289 -13290 -13291 -13292 -13293 13294 -13295 -13296 -13297 -13298 -13299 -13300 -13301 -13302 -13303 -13304 -13305 -13306 -13307 -13308 -13309 -13310 -13311 -13312 13313 -13314 -13315 -13316 -13317 -13318 -13319 -13320 -13321 -13322 -13323 -13324 -13325 -13326 -13327 -13328 -13329 -13330 -13331 -13332 -13333 -13334 -13335 -13336 -13337 -13338 13339 -13340 -13341 -13342 -13343 -13344 -13345 -13346 -13347 -13348 -13349 -13350 -13351 -13352 -13353 -13354 -13355 -13356 -13357 -13358 13359 -13360 -13361 -13362 -13363 -13364 -13365 -13366 -13367 -13368 -13369 -13370 -13371 -13372 -13373 -13374 -13375 -13376 -13377 -13378 -13379 -13380 -13381 -13382 13383 -13384 -13385 -13386 -13387 -13388 -13389 -13390 -13391 -13392 -13393 -13394 -13395 -13396 -13397 -13398 -13399 -13400 -13401 -13402 -13403 -13404 -13405 13406 -13407 -13408 -13409 -13410 -13411 -13412 -13413 -13414 -13415 -13416 -13417 -13418 -13419 -13420 -13421 -13422 -13423 -13424 -13425 -13426 -13427 13428 -13429 -13430 -13431 -13432 -13433 -13434 -13435 -13436 -13437 -13438 -13439 -13440 -13441 -13442 -13443 -13444 -13445 -13446 -13447 -13448 -13449 13450 -13451 -13452 -13453 -13454 -13455 -13456 -13457 -13458 -13459 -13460 -13461 -13462 -13463 -13464 -13465 -13466 -13467 -13468 -13469 -13470 -13471 -13472 -13473 -13474 13475 -13476 -13477 -13478 -13479 -13480 -13481 -13482 -13483 -13484 -13485 -13486 -13487 -13488 -13489 -13490 -13491 -13492 -13493 -13494 -13495 -13496 13497 -13498 -13499 -13500 -13501 -13502 -13503 -13504 -13505 -13506 -13507 -13508 -13509 13510 -13511 -13512 -13513 -13514 -13515 -13516 -13517 -13518 -13519 -13520 -13521 -13522 -13523 -13524 -13525 -13526 -13527 -13528 -13529 -13530 -13531 -13532 -13533 -13534 -13535 -13536 -13537 -13538 -13539 -13540 -13541 -13542 13543 13544 13545 13546 13547 13548 13549 13550 13551 13552 -13553 -13554 -13555 -13556 -13557 -13558 -13559 -13560 -13561 -13562 -13563 13564 13565 13566 13567 13568 13569 13570 13571 13572 13573 13574 0

Verifier Data

OK

Watcher Data

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3290782-1303776048/watcher-3290782-1303776048 -o /tmp/evaluation-result-3290782-1303776048/solver-3290782-1303776048 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3290782-1303776048.cnf 

running on 2 cores: 1,3

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.41 3.80 3.39 4/186 31081
/proc/meminfo: memFree=14956900/32951124 swapFree=67111528/67111528
[pid=31081] ppid=31079 vsize=8704 CPUtime=0 cores=1,3
/proc/31081/stat : 31081 (glucose.sh) S 31079 31081 30717 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 489203006 8912896 252 33554432000 4194304 4922060 140733346886288 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31081/statm: 2176 252 211 178 0 69 0

[startup+0.056495 s]
/proc/loadavg: 3.41 3.80 3.39 4/186 31081
/proc/meminfo: memFree=14956900/32951124 swapFree=67111528/67111528
[pid=31081] ppid=31079 vsize=8704 CPUtime=0 cores=1,3
/proc/31081/stat : 31081 (glucose.sh) S 31079 31081 30717 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 489203006 8912896 252 33554432000 4194304 4922060 140733346886288 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31081/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.100491 s]
/proc/loadavg: 3.41 3.80 3.39 4/186 31081
/proc/meminfo: memFree=14956900/32951124 swapFree=67111528/67111528
[pid=31081] ppid=31079 vsize=8704 CPUtime=0 cores=1,3
/proc/31081/stat : 31081 (glucose.sh) S 31079 31081 30717 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 489203006 8912896 252 33554432000 4194304 4922060 140733346886288 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31081/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.300465 s]
/proc/loadavg: 3.41 3.80 3.39 4/186 31081
/proc/meminfo: memFree=14956900/32951124 swapFree=67111528/67111528
[pid=31081] ppid=31079 vsize=8704 CPUtime=0 cores=1,3
/proc/31081/stat : 31081 (glucose.sh) S 31079 31081 30717 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 489203006 8912896 252 33554432000 4194304 4922060 140733346886288 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31081/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+0.700383 s]
/proc/loadavg: 3.41 3.80 3.39 4/186 31081
/proc/meminfo: memFree=14956900/32951124 swapFree=67111528/67111528
[pid=31081] ppid=31079 vsize=8704 CPUtime=0 cores=1,3
/proc/31081/stat : 31081 (glucose.sh) S 31079 31081 30717 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 489203006 8912896 252 33554432000 4194304 4922060 140733346886288 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31081/statm: 2176 252 211 178 0 69 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8704

[startup+1.50025 s]
/proc/loadavg: 3.38 3.79 3.38 4/188 31083
/proc/meminfo: memFree=14816908/32951124 swapFree=67111528/67111528
[pid=31081] ppid=31079 vsize=8704 CPUtime=0 cores=1,3
/proc/31081/stat : 31081 (glucose.sh) S 31079 31081 30717 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 489203006 8912896 252 33554432000 4194304 4922060 140733346886288 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31081/statm: 2176 252 211 178 0 69 0
[pid=31082] ppid=31081 vsize=144072 CPUtime=1.49 cores=1,3
/proc/31082/stat : 31082 (SatELite_releas) R 31081 31081 30717 0 -1 4202496 34556 0 0 0 139 10 0 0 25 0 1 0 489203006 147529728 34511 33554432000 134512640 135144242 4287350960 18446744073709551615 134551328 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31082/statm: 36018 34511 71 155 0 35861 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 152776

[startup+3.10095 s]
/proc/loadavg: 3.38 3.79 3.38 3/182 31101
/proc/meminfo: memFree=14845844/32951124 swapFree=67111528/67111528
[pid=31081] ppid=31079 vsize=8704 CPUtime=0 cores=1,3
/proc/31081/stat : 31081 (glucose.sh) S 31079 31081 30717 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 489203006 8912896 252 33554432000 4194304 4922060 140733346886288 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31081/statm: 2176 252 211 178 0 69 0
[pid=31082] ppid=31081 vsize=144072 CPUtime=3.09 cores=1,3
/proc/31082/stat : 31082 (SatELite_releas) R 31081 31081 30717 0 -1 4202496 34558 0 0 0 299 10 0 0 25 0 1 0 489203006 147529728 34513 33554432000 134512640 135144242 4287350960 18446744073709551615 134551328 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31082/statm: 36018 34513 71 155 0 35861 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 152776

[startup+6.30038 s]
/proc/loadavg: 3.38 3.79 3.38 5/194 31124
/proc/meminfo: memFree=14752920/32951124 swapFree=67111528/67111528
[pid=31081] ppid=31079 vsize=8704 CPUtime=0 cores=1,3
/proc/31081/stat : 31081 (glucose.sh) S 31079 31081 30717 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 489203006 8912896 252 33554432000 4194304 4922060 140733346886288 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31081/statm: 2176 252 211 178 0 69 0
[pid=31082] ppid=31081 vsize=144072 CPUtime=6.29 cores=1,3
/proc/31082/stat : 31082 (SatELite_releas) R 31081 31081 30717 0 -1 4202496 34569 0 0 0 619 10 0 0 25 0 1 0 489203006 147529728 34524 33554432000 134512640 135144242 4287350960 18446744073709551615 134588151 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31082/statm: 36018 34524 71 155 0 35861 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 152776

[startup+12.7002 s]
/proc/loadavg: 3.47 3.80 3.39 5/195 31126
/proc/meminfo: memFree=14715920/32951124 swapFree=67111528/67111528
[pid=31081] ppid=31079 vsize=8704 CPUtime=0 cores=1,3
/proc/31081/stat : 31081 (glucose.sh) S 31079 31081 30717 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 489203006 8912896 252 33554432000 4194304 4922060 140733346886288 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31081/statm: 2176 252 211 178 0 69 0
[pid=31082] ppid=31081 vsize=144264 CPUtime=12.69 cores=1,3
/proc/31082/stat : 31082 (SatELite_releas) R 31081 31081 30717 0 -1 4202496 34597 0 0 0 1259 10 0 0 25 0 1 0 489203006 147726336 34552 33554432000 134512640 135144242 4287350960 18446744073709551615 134551328 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31082/statm: 36066 34552 71 155 0 35909 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 152968

[startup+25.5009 s]
/proc/loadavg: 3.55 3.80 3.40 6/194 31134
/proc/meminfo: memFree=14654744/32951124 swapFree=67111528/67111528
[pid=31081] ppid=31079 vsize=8704 CPUtime=0 cores=1,3
/proc/31081/stat : 31081 (glucose.sh) S 31079 31081 30717 0 -1 4202496 332 0 0 0 0 0 0 0 21 0 1 0 489203006 8912896 252 33554432000 4194304 4922060 140733346886288 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31081/statm: 2176 252 211 178 0 69 0
[pid=31082] ppid=31081 vsize=144520 CPUtime=25.49 cores=1,3
/proc/31082/stat : 31082 (SatELite_releas) R 31081 31081 30717 0 -1 4202496 34671 0 0 0 2539 10 0 0 25 0 1 0 489203006 147988480 34626 33554432000 134512640 135144242 4287350960 18446744073709551615 134551340 0 0 4096 3 0 0 0 17 1 0 0 0
/proc/31082/statm: 36130 34626 71 155 0 35973 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 153224

[startup+51.1002 s]
/proc/loadavg: 3.58 3.79 3.40 4/188 31185
/proc/meminfo: memFree=14719424/32951124 swapFree=67111528/67111528
[pid=31081] ppid=31079 vsize=8704 CPUtime=29.19 cores=1,3
/proc/31081/stat : 31081 (glucose.sh) S 31079 31081 30717 0 -1 4202496 359 36812 0 0 0 0 2901 18 18 0 1 0 489203006 8912896 254 33554432000 4194304 4922060 140733346886288 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31081/statm: 2176 254 211 178 0 69 0
[pid=31136] ppid=31081 vsize=168356 CPUtime=21.89 cores=1,3
/proc/31136/stat : 31136 (glucose_static) R 31081 31081 30717 0 -1 4202496 71446 0 0 0 2177 12 0 0 25 0 1 0 489205926 172396544 31724 33554432000 4194304 4260849 140735657893984 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31136/statm: 42089 31724 251 17 0 38730 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 177060

[startup+102.307 s]
/proc/loadavg: 3.82 3.81 3.43 6/194 31229
/proc/meminfo: memFree=14300008/32951124 swapFree=67111528/67111528
[pid=31081] ppid=31079 vsize=8704 CPUtime=29.19 cores=1,3
/proc/31081/stat : 31081 (glucose.sh) S 31079 31081 30717 0 -1 4202496 359 36812 0 0 0 0 2901 18 18 0 1 0 489203006 8912896 254 33554432000 4194304 4922060 140733346886288 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31081/statm: 2176 254 211 178 0 69 0
[pid=31136] ppid=31081 vsize=176892 CPUtime=73.1 cores=1,3
/proc/31136/stat : 31136 (glucose_static) R 31081 31081 30717 0 -1 4202496 212347 0 0 0 7273 37 0 0 25 0 1 0 489205926 181137408 35722 33554432000 4194304 4260849 140735657893984 18446744073709551615 4238016 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31136/statm: 44223 35722 251 17 0 40864 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 185596

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

[startup+115.101 s]
/proc/loadavg: 3.84 3.81 3.43 5/194 31229
/proc/meminfo: memFree=14252740/32951124 swapFree=67111528/67111528
[pid=31081] ppid=31079 vsize=8704 CPUtime=29.19 cores=1,3
/proc/31081/stat : 31081 (glucose.sh) S 31079 31081 30717 0 -1 4202496 359 36812 0 0 0 0 2901 18 18 0 1 0 489203006 8912896 254 33554432000 4194304 4922060 140733346886288 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31081/statm: 2176 254 211 178 0 69 0
[pid=31136] ppid=31081 vsize=177764 CPUtime=85.89 cores=1,3
/proc/31136/stat : 31136 (glucose_static) R 31081 31081 30717 0 -1 4202496 251558 0 0 0 8546 43 0 0 25 0 1 0 489205926 182030336 33829 33554432000 4194304 4260849 140735657893984 18446744073709551615 4209389 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31136/statm: 44441 33829 251 17 0 41082 0
Current children cumulated CPU time (s) 115.08
Current children cumulated vsize (KiB) 186468

[startup+121.5 s]
/proc/loadavg: 3.87 3.82 3.44 5/194 31229
/proc/meminfo: memFree=14280888/32951124 swapFree=67111528/67111528
[pid=31081] ppid=31079 vsize=8704 CPUtime=29.19 cores=1,3
/proc/31081/stat : 31081 (glucose.sh) S 31079 31081 30717 0 -1 4202496 359 36812 0 0 0 0 2901 18 18 0 1 0 489203006 8912896 254 33554432000 4194304 4922060 140733346886288 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31081/statm: 2176 254 211 178 0 69 0
[pid=31136] ppid=31081 vsize=178300 CPUtime=92.3 cores=1,3
/proc/31136/stat : 31136 (glucose_static) R 31081 31081 30717 0 -1 4202496 255551 0 0 0 9186 44 0 0 25 0 1 0 489205926 182579200 37771 33554432000 4194304 4260849 140735657893984 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31136/statm: 44575 37771 251 17 0 41216 0
Current children cumulated CPU time (s) 121.49
Current children cumulated vsize (KiB) 187004

[startup+124.701 s]
/proc/loadavg: 3.87 3.82 3.44 6/194 31229
/proc/meminfo: memFree=14280268/32951124 swapFree=67111528/67111528
[pid=31081] ppid=31079 vsize=8704 CPUtime=29.19 cores=1,3
/proc/31081/stat : 31081 (glucose.sh) S 31079 31081 30717 0 -1 4202496 359 36812 0 0 0 0 2901 18 18 0 1 0 489203006 8912896 254 33554432000 4194304 4922060 140733346886288 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31081/statm: 2176 254 211 178 0 69 0
[pid=31136] ppid=31081 vsize=178300 CPUtime=95.49 cores=1,3
/proc/31136/stat : 31136 (glucose_static) R 31081 31081 30717 0 -1 4202496 273068 0 0 0 9503 46 0 0 25 0 1 0 489205926 182579200 34991 33554432000 4194304 4260849 140735657893984 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31136/statm: 44575 34992 251 17 0 41216 0
Current children cumulated CPU time (s) 124.68
Current children cumulated vsize (KiB) 187004

[startup+125.501 s]
/proc/loadavg: 3.87 3.82 3.44 5/194 31229
/proc/meminfo: memFree=14273696/32951124 swapFree=67111528/67111528
[pid=31081] ppid=31079 vsize=8704 CPUtime=29.19 cores=1,3
/proc/31081/stat : 31081 (glucose.sh) S 31079 31081 30717 0 -1 4202496 359 36812 0 0 0 0 2901 18 18 0 1 0 489203006 8912896 254 33554432000 4194304 4922060 140733346886288 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31081/statm: 2176 254 211 178 0 69 0
[pid=31136] ppid=31081 vsize=178300 CPUtime=96.29 cores=1,3
/proc/31136/stat : 31136 (glucose_static) R 31081 31081 30717 0 -1 4202496 273575 0 0 0 9583 46 0 0 25 0 1 0 489205926 182579200 35495 33554432000 4194304 4260849 140735657893984 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31136/statm: 44575 35495 251 17 0 41216 0
Current children cumulated CPU time (s) 125.48
Current children cumulated vsize (KiB) 187004

[startup+126.301 s]
/proc/loadavg: 3.87 3.82 3.44 5/194 31229
/proc/meminfo: memFree=14273696/32951124 swapFree=67111528/67111528
[pid=31081] ppid=31079 vsize=8704 CPUtime=29.19 cores=1,3
/proc/31081/stat : 31081 (glucose.sh) S 31079 31081 30717 0 -1 4202496 359 36812 0 0 0 0 2901 18 18 0 1 0 489203006 8912896 254 33554432000 4194304 4922060 140733346886288 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31081/statm: 2176 254 211 178 0 69 0
[pid=31136] ppid=31081 vsize=178436 CPUtime=97.1 cores=1,3
/proc/31136/stat : 31136 (glucose_static) R 31081 31081 30717 0 -1 4202496 274173 0 0 0 9663 47 0 0 25 0 1 0 489205926 182718464 36085 33554432000 4194304 4260849 140735657893984 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31136/statm: 44609 36085 251 17 0 41250 0
Current children cumulated CPU time (s) 126.29
Current children cumulated vsize (KiB) 187140

[startup+126.701 s]
/proc/loadavg: 3.88 3.82 3.44 5/194 31229
/proc/meminfo: memFree=14266752/32951124 swapFree=67111528/67111528
[pid=31081] ppid=31079 vsize=8704 CPUtime=29.19 cores=1,3
/proc/31081/stat : 31081 (glucose.sh) S 31079 31081 30717 0 -1 4202496 359 36812 0 0 0 0 2901 18 18 0 1 0 489203006 8912896 254 33554432000 4194304 4922060 140733346886288 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0
/proc/31081/statm: 2176 254 211 178 0 69 0
[pid=31136] ppid=31081 vsize=178436 CPUtime=97.5 cores=1,3
/proc/31136/stat : 31136 (glucose_static) R 31081 31081 30717 0 -1 4202496 274382 0 0 0 9703 47 0 0 25 0 1 0 489205926 182718464 36292 33554432000 4194304 4260849 140735657893984 18446744073709551615 4239848 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/31136/statm: 44609 36292 251 17 0 41250 0
Current children cumulated CPU time (s) 126.69
Current children cumulated vsize (KiB) 187140

Child status: 10
Real time (s): 126.745
CPU time (s): 126.745
CPU user time (s): 126.065
CPU system time (s): 0.679896
CPU usage (%): 99.9996
Max. virtual memory (cumulated for all children) (KiB): 312340

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 126.065
system time used= 0.679896
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 312372
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= 44
involuntary context switches= 258

runsolver used 0.202969 second user time and 0.494924 second system time

The end

Launcher Data

Begin job on node138 at 2011-04-26 02:00:50
IDJOB=3290782
IDBENCH=83447
IDSOLVER=1651
FILE ID=node138/3290782-1303776048
RUNJOBID= node138-1303774706-30737
PBS_JOBID= 13157192
Free space on /tmp= 71924 MiB

SOLVER NAME= glucose 2
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F22.cnf
COMMAND LINE= glucose.sh BENCHNAME 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3290782-1303776048/watcher-3290782-1303776048 -o /tmp/evaluation-result-3290782-1303776048/solver-3290782-1303776048 -C 2400 -W 1300 -M 7680  glucose.sh HOME/instance-3290782-1303776048.cnf 

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 0b29cb9f2e17f3e05b66912497d8cb84
RANDOM SEED=1954359169

node138.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.854
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14957180 kB
Buffers:       2067716 kB
Cached:       15230120 kB
SwapCached:          0 kB
Active:       10079568 kB
Inactive:      7352912 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14957180 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           79508 kB
Writeback:           0 kB
AnonPages:      133756 kB
Mapped:          15284 kB
Slab:           497808 kB
PageTables:       5472 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   316928 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71724 MiB
End job on node138 at 2011-04-26 02:02:57