Trace number 3321221

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
CryptoMiniSat Strange-Night-2-mtSAT 19887.9 2622.11

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 benchmark44.5842
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 Outputting solution to console
0.00/0.03	c Using 8 threads
0.00/0.03	c This is CryptoMiniSat 3.0.0
0.00/0.03	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.03	c Reading file 'HOME/instance-3321221-1304332681.cnf'
0.00/0.03	c -- header says num vars:          13574
0.00/0.03	c -- header says num clauses:     1301188
5.12/0.79	c -- clauses added:            0 learnts,      1301188 normals,            0 xors
5.12/0.79	c -- vars added      13574
5.12/0.79	c Parsing time:  0.63 s
5.12/0.79	c  N st     0         0     13574   1264678     34486         0  11439771         0   no data   no data
8.30/1.18	c asymm  cl-useful: 0/6731/1263470 lits-rem:0 time: 0.32
42.60/5.50	c Flit:    23 Blit:      0 bXBeca:    0 bXProp:   88 Bins:      0 BRemL:      0 BRemN:      0 P: 138.2M T:  4.29
52.23/6.69	c Replacing       88 vars Replaced   886898 lits Time:     1.07 s 
58.44/7.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
58.44/7.72	c bin-w-bin subsume rem          764 bins  time:  0.00 s
68.75/9.07	c subs with bin:     7631  lits-rem:        12  v-fix:    0  time:  1.35 s
69.55/9.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1343 time:  0.03 s
69.55/9.14	c Removed useless bin:       0  fixed:     0  props:   3.63M  time:  0.04 s
2556.21/320.32	c lits-rem:         0  cl-subs:    25458  v-elim:   1006  v-fix:    0  time: 311.10 s
2556.21/320.35	c Finding binary XORs  T:     0.02 s  found:       1
2557.01/320.42	c Replacing        1 vars Replaced        9 lits Time:     0.08 s 
2883.85/361.30	c Finding non-binary XORs:    40.81 s (found:       0, avg size: nan)
2883.85/361.30	c calculated reachability. Time: 0.00
2883.85/361.36	c Calc default polars -  time:   0.06 s pos:     376 undec:    2150 neg:   11048
2883.85/361.36	c =========================================================================================
2883.85/361.36	c types(t): F = full restart, N = normal restart
2883.85/361.36	c types(t): S = simplification begin/end, E = solution found
2883.85/361.36	c restart types(rt): st = static, dy = dynamic
2883.85/361.36	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2883.85/361.36	c  B st     0         0     11424   1231617     29678         0  10448561         0   no data   no data
2904.63/363.97	c  N dy    20      4524     11421   1231617     29811      4333  10448561    178037     10.00     10.62
2916.61/365.40	c Finding binary XORs  T:     0.02 s  found:       0
2924.59/366.43	c  N dy    40      8587     11415   1231610     33065      8277  10448388    348731      9.58     10.13
2944.58/368.98	c  N dy    63     12698     11415   1231610     33372     12312  10448388    521567      9.58     10.30
2960.56/370.91	c  N dy    92     17077     11415   1231610     33433     16588  10448387    706961      9.73     10.45
2966.98/371.74	c Finding binary XORs  T:     0.02 s  found:       0
2978.94/373.28	c  N dy   115     21084     11415   1231610     33911     10799  10448387    249892      9.72     10.35
2994.93/375.23	c  F st   140     25000     11414   1231610     34081     14664  10448387    442669      9.82   no data
2998.13/375.69	c  N st   141     25252     11414   1231609     34071     14914  10448378    450386      9.82   no data
3009.31/377.01	c  N dy   146     30000     11414   1231609     34122     19565  10448377    669905      9.82   no data
3009.31/377.01	c  S st   146     30000     11414   1231609     34122     19565  10448377    669905      9.82   no data
3019.72/378.39	c  S st   146     30501     11414   1231609     34147     20040  10448376    683224      9.82   no data
3020.56/378.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
3094.01/387.60	c Flit:     4 Blit:      1 bXBeca:    0 bXProp:    3 Bins: 446460 BRemL: 230831 BRemN:      0 P: 200.1M T:  9.12
3094.81/387.75	c Replacing        3 vars Replaced     1473 lits Time:     0.15 s 
3098.01/388.14	c blocked clauses removed:        0 vars:      0 tried:       11399 T: 0.01 s
3098.01/388.17	c bin-w-bin subsume rem          141 bins  time:  0.03 s
3109.99/389.69	c subs with bin:      982  lits-rem:     60963  v-fix:    0  time:  1.52 s
3110.79/389.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    524 time:  0.04 s
3110.79/389.76	c Removed useless bin:      13  fixed:     0  props:   1.57M  time:  0.03 s
5185.27/649.35	c lits-rem:         0  cl-subs:    44934  v-elim:    205  v-fix:    0  time: 259.53 s
5186.87/649.57	c subs with bin:      100  lits-rem:      3654  v-fix:    0  time:  0.20 s
7207.83/902.46	c lits-rem:         0  cl-subs:      811  v-elim:      0  v-fix:    0  time: 252.61 s
7211.03/902.84	c asymm  cl-useful: 0/4885/1185609 lits-rem:0 time: 0.39
7211.83/902.91	c calculated reachability. Time: 0.01
7211.83/902.91	c  N dy   146     30501     11194   1185609    234063     10738  10062048    639701      9.82   no data
7211.83/902.94	c Finding binary XORs  T:     0.03 s  found:       0
7219.01/903.81	c Finding binary XORs  T:     0.03 s  found:       5
7232.59/905.53	c  N dy   177     34506     11172   1185546    535593     14673  10061437   1414116      9.97     11.67
7254.97/908.35	c  N dy   200     38633     11171   1185546    536847     18774  10061436   1670584     10.01     10.73
7270.15/910.20	c  N dy   217     42643     11171   1185546    536849     11934  10061436   1220243     10.01     14.79
7282.15/911.79	c  S st   236     45751     11171   1185546    539692     15027  10061436   1411633     10.02      6.26
7294.12/913.27	c  S st   236     46253     11171   1185546    539693     15528  10061436   1427364     10.02   no data
7294.92/913.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
7378.05/923.75	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:    2 Bins:   8661 BRemL: 302077 BRemN:      0 P: 200.0M T: 10.40
7378.84/923.89	c Replacing        7 vars Replaced     2351 lits Time:     0.15 s 
7382.83/924.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7382.83/924.34	c bin-w-bin subsume rem         2068 bins  time:  0.03 s
7406.88/927.32	c subs with bin:     6437  lits-rem:     15107  v-fix:    0  time:  2.99 s
7406.88/927.37	c Subs w/ non-existent bins:      3 l-rem:      2 v-fix:     0 done:    233 time:  0.05 s
7407.61/927.40	c Removed useless bin:       7  fixed:     0  props:   1.12M  time:  0.03 s
9335.85/1168.70	c lits-rem:         0  cl-subs:    18350  v-elim:     45  v-fix:    0  time: 241.27 s
9339.87/1169.22	c subs with bin:      101  lits-rem:      1472  v-fix:    0  time:  0.49 s
11312.02/1416.03	c lits-rem:         0  cl-subs:      524  v-elim:      0  v-fix:    0  time: 246.52 s
11318.48/1416.86	c vivif2 --  cl tried  1160595 cl shrink      122 lits rem        175 time: 0.83
11319.21/1416.91	c vivif2 --  cl tried    13594 cl shrink     1901 lits rem       6255 time: 0.04
11323.21/1417.42	c asymm  cl-useful: 0/6148/1160594 lits-rem:0 time: 0.51
11323.21/1417.49	c calculated reachability. Time: 0.01
11323.21/1417.49	c  N dy   236     46253     11118   1160594    241157     13591   9834583    747660     10.02   no data
11324.01/1417.52	c Finding binary XORs  T:     0.03 s  found:       0
11351.98/1421.09	c  N dy   240     50303     11118   1160594    241158     17630   9834583   1385993      9.82     10.42
11353.64/1421.22	c Finding binary XORs  T:     0.03 s  found:      10
11376.75/1424.19	c  N dy   261     54338     11107   1160585    272668     21613   9834383   1679967      9.81     10.40
11387.14/1425.47	c Finding binary XORs  T:     0.03 s  found:       2
11396.76/1426.65	c  N dy   289     58499     11091   1160521    277767     25720   9815087   1898893      9.88     10.45
11413.52/1428.72	c  N dy   314     62528     11091   1160521    277776     29720   9815087   2110873      9.91     10.46
11427.10/1430.43	c  N dy   340     66597     11091   1160521    277793     18245   9815087   1023184      9.96     13.06
11440.71/1432.12	c  S st   362     69382     11091   1160521    277811     21016   9815087   1182924      9.99   no data
11449.50/1433.26	c  S st   362     69886     11091   1160521    277812     21517   9815086   1200300      9.99   no data
11450.35/1433.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
11527.80/1443.00	c Flit:     3 Blit:      0 bXBeca:    0 bXProp:    2 Bins:  26267 BRemL: 212199 BRemN:     20 P: 200.1M T:  9.68
11531.00/1443.46	c Replacing       14 vars Replaced    24783 lits Time:     0.45 s 
11534.19/1443.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
11534.19/1443.85	c bin-w-bin subsume rem          934 bins  time:  0.01 s
11536.59/1444.15	c subs with bin:      221  lits-rem:      7341  v-fix:    0  time:  0.29 s
11536.59/1444.18	c Subs w/ non-existent bins:      3 l-rem:      0 v-fix:     0 done:    309 time:  0.03 s
11537.40/1444.27	c Removed useless bin:     177  fixed:     0  props:   1.17M  time:  0.02 s
13154.89/1646.70	c lits-rem:         0  cl-subs:    32378  v-elim:     49  v-fix:    0  time: 202.40 s
13163.68/1647.71	c subs with bin:      103  lits-rem:      3298  v-fix:    0  time:  0.97 s
15037.56/1882.28	c lits-rem:        16  cl-subs:      370  v-elim:      0  v-fix:    0  time: 234.29 s
15044.78/1883.12	c vivif2 --  cl tried  1026480 cl shrink       24 lits rem         25 time: 0.83
15044.78/1883.19	c vivif2 --  cl tried    19392 cl shrink     2374 lits rem      14342 time: 0.07
15049.55/1883.72	c asymm  cl-useful: 0/2136/1127892 lits-rem:0 time: 0.53
15049.55/1883.78	c calculated reachability. Time: 0.01
15049.55/1883.78	c  N dy   362     69886     11025   1127892     83651     19373   9541577    650062      9.99   no data
15050.34/1883.81	c Finding binary XORs  T:     0.03 s  found:       0
15075.12/1886.92	c  N dy   380     74559     11025   1127892     83652     24024   9541577   1001740      9.99     10.54
15075.92/1887.06	c Finding binary XORs  T:     0.03 s  found:      35
15100.69/1890.12	c  N dy   418     79431     11017   1127794    114381     28619   9484526   1349137     10.07     11.15
15122.28/1892.87	c Finding binary XORs  T:     0.03 s  found:       0
15129.46/1893.78	c  N dy   448     84560     11017   1127794    117207     33725   9484525   1722766     10.12     11.75
15147.84/1896.03	c  F st   461     87501     11017   1127794    117228     18404   9484525    475884     10.11   no data
15162.22/1897.88	c Replacing       35 vars Replaced   385729 lits Time:     1.85 s 
15175.00/1899.41	c  N st   466     90803     10982   1127794    117123     21684   9484385    696432     10.11   no data
15206.17/1903.37	c  N dy   493     96959     10982   1127794    117137     27807   9484385   1127871     10.13     10.83
15233.35/1906.78	c  N dy   532    103232     10982   1127794    117146     34044   9484381   1489571     10.16     10.71
15239.73/1907.57	c  S st   544    104830     10982   1127794    117146     35633   9484381   1570961     10.17      9.49
15243.73/1908.03	c Finding binary XORs  T:     0.03 s  found:       0
15251.74/1909.03	c  S st   544    105331     10981   1127793    125815     36118   9484371   1602519     10.17   no data
15252.54/1909.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
15338.04/1919.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  19818 BRemL:  58608 BRemN:     22 P: 200.0M T: 10.71
15341.25/1920.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15341.25/1920.28	c bin-w-bin subsume rem          171 bins  time:  0.01 s
15342.85/1920.45	c subs with bin:      498  lits-rem:        31  v-fix:    0  time:  0.17 s
15342.85/1920.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    155 time:  0.03 s
15343.67/1920.51	c Removed useless bin:      11  fixed:     0  props:   1.20M  time:  0.02 s
17244.79/2158.43	c lits-rem:         0  cl-subs:    72634  v-elim:     32  v-fix:    0  time: 237.89 s
17259.18/2160.22	c subs with bin:      167  lits-rem:      1523  v-fix:    0  time:  1.70 s
18899.84/2365.55	c lits-rem:        10  cl-subs:      794  v-elim:      0  v-fix:    0  time: 205.07 s
18907.82/2366.51	c vivif2 --  cl tried  1054681 cl shrink      109 lits rem        837 time: 0.97
18908.62/2366.66	c vivif2 --  cl tried    33321 cl shrink     5651 lits rem      40666 time: 0.14
18911.82/2367.05	c asymm  cl-useful: 0/3938/1054681 lits-rem:0 time: 0.39
18911.82/2367.10	c calculated reachability. Time: 0.01
18911.82/2367.11	c  N dy   544    105331     10949   1054681     85953     33320   8864280   1238272     10.17   no data
18912.64/2367.13	c Finding binary XORs  T:     0.03 s  found:       0
18931.79/2369.56	c Finding binary XORs  T:     0.03 s  found:       1
18936.59/2370.18	c  N dy   566    112212     10940   1054673    136291     39987   8864131   1886841     10.13     10.72
18958.17/2372.81	c  N dy   612    119426     10940   1054673    137144     27137   8864130    943093     10.19     14.47
18988.54/2376.63	c  N dy   652    127275     10940   1054673    137159     34936   8864130   1473497     10.20     10.84
19017.31/2380.20	c  N dy   700    135429     10940   1054673    137168     43050   8864130   1965294     10.24     10.78
19054.86/2384.96	c  N dy   741    144207     10940   1054673    137181     29350   8864129    958264     10.21     10.80
19086.04/2388.81	c  N dy   798    153457     10940   1054673    137189     38545   8864129   1513962     10.26     17.04
19096.42/2390.18	c  S st   828    157997     10940   1054673    137191     43063   8864128   1725004     10.29      8.03
19106.88/2391.42	c  S st   828    158497     10940   1054673    137191     43563   8864128   1747751     10.29   no data
19106.88/2391.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
19157.11/2399.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   9748 BRemL:  50201 BRemN:      1 P: 200.0M T:  8.40
19157.61/2399.95	c Replacing        2 vars Replaced      549 lits Time:     0.07 s 
19159.16/2400.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
19159.16/2400.27	c bin-w-bin subsume rem          525 bins  time:  0.01 s
19160.61/2400.57	c subs with bin:     1601  lits-rem:        10  v-fix:    0  time:  0.31 s
19161.11/2400.60	c Subs w/ non-existent bins:      1 l-rem:      1 v-fix:     0 done:   1048 time:  0.03 s
19161.11/2400.63	c Removed useless bin:       1  fixed:     0  props:   1.08M  time:  0.02 s
19528.15/2493.80	c lits-rem:         0  cl-subs:        5  v-elim:     37  v-fix:    0  time: 93.16 s
19532.62/2495.28	c subs with bin:       63  lits-rem:       789  v-fix:    0  time:  1.43 s
19832.62/2595.21	c lits-rem:        94  cl-subs:     1022  v-elim:      0  v-fix:    0  time: 99.73 s
19835.62/2596.25	c vivif2 --  cl tried  1053018 cl shrink      109 lits rem        785 time: 1.03
19835.92/2596.37	c vivif2 --  cl tried    41243 cl shrink     7365 lits rem      60894 time: 0.12
19837.13/2596.70	c asymm  cl-useful: 0/1384/1052992 lits-rem:0 time: 0.33
19837.13/2596.76	c calculated reachability. Time: 0.01
19837.13/2596.76	c  N dy   828    158497     10901   1052992     95197     41239   8854570   1397334     10.29   no data
19887.49/2621.89	c Following stats are for *FIRST FINISHED THREAD ONLY*
19887.49/2621.89	c num threads              : 8          
19887.49/2621.89	c restarts                 : 5047       
19887.49/2621.89	c dynamic restarts         : 5017       
19887.49/2621.89	c static restarts          : 30         
19887.49/2621.89	c full restarts            : 4          
19887.49/2621.89	c total simplify time      : 1.45       
19887.49/2621.89	c learnts DL2              : 0          
19887.49/2621.89	c learnts size 2           : 1049692    
19887.49/2621.89	c learnts size 1           : 1161        (8.55      % of vars)
19887.49/2621.89	c filedLit time            : 36.10       (1.38      % time)
19887.49/2621.89	c v-elim SatELite          : 1284        (9.46      % vars)
19887.49/2621.89	c SatELite time            : 1563.92     (59.68     % time)
19887.49/2621.89	c v-elim xor               : 0           (0.00      % vars)
19887.49/2621.89	c xor elim time            : 0.17        (0.01      % time)
19887.49/2621.89	c num binary xor trees     : 138        
19887.49/2621.89	c binxor trees' crown      : 169         (1.22      leafs/tree)
19887.49/2621.89	c bin xor find time        : 0.51       
19887.49/2621.89	c OTF clause improved      : 5625        (0.00      clauses/conflict)
19887.49/2621.89	c OTF impr. size diff      : 8607        (1.53       lits/clause)
19887.49/2621.89	c OTF cl watch-shrink      : 867585      (0.75      clauses/conflict)
19887.49/2621.89	c OTF cl watch-sh-lit      : 6775591     (7.81       lits/clause)
19887.49/2621.89	c tried to recurMin cls    : 516365      (44.52      % of conflicts)
19887.49/2621.89	c updated cache            : 62943       (0.12       lits/tried recurMin)
19887.49/2621.89	c unit cls recevied        : 37          (3.19      % of units)
19887.49/2621.89	c unit cls sent            : 1075        (92.59     % of units)
19887.49/2621.89	c bin cls recevied         : 345985     
19887.49/2621.89	c bin cls sent             : 592299     
19887.49/2621.89	c clauses over max glue    : 0           (0.00      % of all clauses)
19887.49/2621.89	c conflicts                : 1159829     (442.63    / sec)
19887.49/2621.89	c decisions                : 2630627     (1.33      % random)
19887.49/2621.89	c bogo-props               : 39196748624 (14958806.01 / sec)
19887.49/2621.89	c conflict literals        : 65045415    (32.14     % deleted)
19887.49/2621.89	c Memory used              : 5653.27     MB
19887.49/2621.89	c single-thread CPU time   : 2620.31     s
19887.49/2621.89	c all-threads sum CPU time : 19879.39    s
19887.49/2621.89	s SATISFIABLE
19887.49/2621.89	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-3321221-1304332681/watcher-3321221-1304332681 -o /tmp/evaluation-result-3321221-1304332681/solver-3321221-1304332681 -C 40000 -W 5100 -M 31000 ./strangenight2-mt --threads=8 HOME/instance-3321221-1304332681.cnf 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 40000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 40030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 6.34 2.95 3.53 2/248 1627
/proc/meminfo: memFree=28178944/32951124 swapFree=67111348/67111528
[pid=1627] ppid=1625 vsize=92188 CPUtime=0 cores=0-7
/proc/1627/stat : 1627 (strangenight2-m) R 1625 1627 1495 0 -1 4202496 414 0 0 0 0 0 0 0 21 0 8 0 525683618 94400512 353 33554432000 4194304 4627427 140737245312160 18446744073709551615 254261672945 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1627/statm: 23047 353 299 106 0 18018 0
[pid=1627/tid=1628] ppid=1625 vsize=92188 CPUtime=0 cores=0-7
/proc/1627/task/1628/stat : 1628 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 8 0 525683619 94400512 353 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729714096 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1627/tid=1629] ppid=1625 vsize=92188 CPUtime=0 cores=0-7
/proc/1627/task/1629/stat : 1629 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 525683619 94400512 353 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729714098 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1627/tid=1630] ppid=1625 vsize=92188 CPUtime=0 cores=0-7
/proc/1627/task/1630/stat : 1630 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 525683619 94400512 353 33554432000 4194304 4627427 140737245312160 18446744073709551615 254261672945 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1627/tid=1631] ppid=1625 vsize=92188 CPUtime=0 cores=0-7
/proc/1627/task/1631/stat : 1631 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 525683619 94400512 353 33554432000 4194304 4627427 140737245312160 18446744073709551615 254261672945 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1627/tid=1632] ppid=1625 vsize=92188 CPUtime=0 cores=0-7
/proc/1627/task/1632/stat : 1632 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 525683619 94400512 353 33554432000 4194304 4627427 140737245312160 18446744073709551615 254261672945 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1627/tid=1633] ppid=1625 vsize=92188 CPUtime=0 cores=0-7
/proc/1627/task/1633/stat : 1633 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 525683619 94400512 353 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729714098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=1627/tid=1634] ppid=1625 vsize=92188 CPUtime=0 cores=0-7
/proc/1627/task/1634/stat : 1634 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 8 0 525683619 94400512 353 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729714102 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.095203 s]
/proc/loadavg: 6.34 2.95 3.53 2/248 1627
/proc/meminfo: memFree=28178944/32951124 swapFree=67111348/67111528
[pid=1627] ppid=1625 vsize=427716 CPUtime=0.77 cores=0-7
/proc/1627/stat : 1627 (strangenight2-m) R 1625 1627 1495 0 -1 4202496 16087 0 0 0 69 8 0 0 18 0 8 0 525683618 437981184 15996 33554432000 4194304 4627427 140737245312160 18446744073709551615 4507218 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1627/statm: 107049 16459 339 106 0 102020 0
[pid=1627/tid=1628] ppid=1625 vsize=428680 CPUtime=0.1 cores=0-7
/proc/1627/task/1628/stat : 1628 (strangenight2-m) D 1625 1627 1495 0 -1 4202560 1956 0 0 0 9 1 0 0 18 0 8 0 525683619 438968320 16459 33554432000 4194304 4627427 140737245312160 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1627/tid=1629] ppid=1625 vsize=428736 CPUtime=0.11 cores=0-7
/proc/1627/task/1629/stat : 1629 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 2224 0 0 0 10 1 0 0 18 0 8 0 525683619 439025664 17561 33554432000 4194304 4627427 140737245312160 18446744073709551615 4530637 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1627/tid=1630] ppid=1625 vsize=428736 CPUtime=0.07 cores=0-7
/proc/1627/task/1630/stat : 1630 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 2068 0 0 0 7 0 0 0 18 0 8 0 525683619 439025664 17561 33554432000 4194304 4627427 140737245312160 18446744073709551615 4530576 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1627/tid=1631] ppid=1625 vsize=428816 CPUtime=0.09 cores=0-7
/proc/1627/task/1631/stat : 1631 (strangenight2-m) D 1625 1627 1495 0 -1 4202560 2220 0 0 0 9 0 0 0 18 0 8 0 525683619 439107584 17568 33554432000 4194304 4627427 140737245312160 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1627/tid=1632] ppid=1625 vsize=429056 CPUtime=0.09 cores=0-7
/proc/1627/task/1632/stat : 1632 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 2220 0 0 0 9 0 0 0 18 0 8 0 525683619 439353344 17621 33554432000 4194304 4627427 140737245312160 18446744073709551615 4530637 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1627/tid=1633] ppid=1625 vsize=429056 CPUtime=0.1 cores=0-7
/proc/1627/task/1633/stat : 1633 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 2057 0 0 0 9 1 0 0 18 0 8 0 525683619 439353344 17621 33554432000 4194304 4627427 140737245312160 18446744073709551615 254261674410 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1627/tid=1634] ppid=1625 vsize=429056 CPUtime=0.1 cores=0-7
/proc/1627/task/1634/stat : 1634 (strangenight2-m) D 1625 1627 1495 0 -1 4202560 2354 0 0 0 10 0 0 0 18 0 8 0 525683619 439353344 17621 33554432000 4194304 4627427 140737245312160 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 427716

[startup+0.139196 s]
/proc/loadavg: 6.34 2.95 3.53 2/248 1627
/proc/meminfo: memFree=28178944/32951124 swapFree=67111348/67111528
[pid=1627] ppid=1625 vsize=430964 CPUtime=0.97 cores=0-7
/proc/1627/stat : 1627 (strangenight2-m) D 1625 1627 1495 0 -1 4202496 21154 0 0 0 88 9 0 0 18 0 8 0 525683618 441307136 21063 33554432000 4194304 4627427 140737245312160 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1627/statm: 107833 21239 341 106 0 102804 0
[pid=1627/tid=1628] ppid=1625 vsize=431332 CPUtime=0.12 cores=0-7
/proc/1627/task/1628/stat : 1628 (strangenight2-m) D 1625 1627 1495 0 -1 4202560 2521 0 0 0 11 1 0 0 18 0 8 0 525683619 441683968 21282 33554432000 4194304 4627427 140737245312160 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1627/tid=1629] ppid=1625 vsize=431332 CPUtime=0.12 cores=0-7
/proc/1627/task/1629/stat : 1629 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 2668 0 0 0 11 1 0 0 18 0 8 0 525683619 441683968 21328 33554432000 4194304 4627427 140737245312160 18446744073709551615 4530432 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1627/tid=1630] ppid=1625 vsize=431824 CPUtime=0.09 cores=0-7
/proc/1627/task/1630/stat : 1630 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 2593 0 0 0 9 0 0 0 18 0 8 0 525683619 442187776 21542 33554432000 4194304 4627427 140737245312160 18446744073709551615 254261721631 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1627/tid=1631] ppid=1625 vsize=431964 CPUtime=0.11 cores=0-7
/proc/1627/task/1631/stat : 1631 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 2703 0 0 0 10 1 0 0 18 0 8 0 525683619 442331136 21694 33554432000 4194304 4627427 140737245312160 18446744073709551615 254261721582 0 0 4096 2 18446604453924301504 0 0 -1 7 0 0 0
[pid=1627/tid=1632] ppid=1625 vsize=431964 CPUtime=0.11 cores=0-7
/proc/1627/task/1632/stat : 1632 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 2736 0 0 0 11 0 0 0 18 0 8 0 525683619 442331136 21752 33554432000 4194304 4627427 140737245312160 18446744073709551615 254261721582 0 0 4096 2 18446604453924301504 0 0 -1 5 0 0 0
[pid=1627/tid=1633] ppid=1625 vsize=431964 CPUtime=0.12 cores=0-7
/proc/1627/task/1633/stat : 1633 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 2525 0 0 0 11 1 0 0 18 0 8 0 525683619 442331136 21878 33554432000 4194304 4627427 140737245312160 18446744073709551615 4360952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1627/tid=1634] ppid=1625 vsize=432864 CPUtime=0.12 cores=0-7
/proc/1627/task/1634/stat : 1634 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 3191 0 0 0 12 0 0 0 18 0 8 0 525683619 443252736 21994 33554432000 4194304 4627427 140737245312160 18446744073709551615 4358019 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 430964

[startup+0.305135 s]
/proc/loadavg: 6.34 2.95 3.53 2/248 1627
/proc/meminfo: memFree=28178944/32951124 swapFree=67111348/67111528
[pid=1627] ppid=1625 vsize=952220 CPUtime=2.11 cores=0-7
/proc/1627/stat : 1627 (strangenight2-m) R 1625 1627 1495 0 -1 4202496 69367 0 0 0 182 29 0 0 18 0 8 0 525683618 975073280 68473 33554432000 4194304 4627427 140737245312160 18446744073709551615 4530816 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1627/statm: 238055 68473 341 106 0 233026 0
[pid=1627/tid=1628] ppid=1625 vsize=952220 CPUtime=0.26 cores=0-7
/proc/1627/task/1628/stat : 1628 (strangenight2-m) D 1625 1627 1495 0 -1 4202560 8427 0 0 0 23 3 0 0 18 0 8 0 525683619 975073280 68473 33554432000 4194304 4627427 140737245312160 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1627/tid=1629] ppid=1625 vsize=952220 CPUtime=0.26 cores=0-7
/proc/1627/task/1629/stat : 1629 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 8935 0 0 0 23 3 0 0 18 0 8 0 525683619 975073280 68473 33554432000 4194304 4627427 140737245312160 18446744073709551615 254261616443 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1627/tid=1630] ppid=1625 vsize=952220 CPUtime=0.24 cores=0-7
/proc/1627/task/1630/stat : 1630 (strangenight2-m) D 1625 1627 1495 0 -1 4202560 7926 0 0 0 21 3 0 0 18 0 8 0 525683619 975073280 68473 33554432000 4194304 4627427 140737245312160 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1627/tid=1631] ppid=1625 vsize=952220 CPUtime=0.25 cores=0-7
/proc/1627/task/1631/stat : 1631 (strangenight2-m) D 1625 1627 1495 0 -1 4202560 8930 0 0 0 22 3 0 0 18 0 8 0 525683619 975073280 68473 33554432000 4194304 4627427 140737245312160 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1627/tid=1632] ppid=1625 vsize=952220 CPUtime=0.25 cores=0-7
/proc/1627/task/1632/stat : 1632 (strangenight2-m) D 1625 1627 1495 0 -1 4202560 8646 0 0 0 23 2 0 0 18 0 8 0 525683619 975073280 68473 33554432000 4194304 4627427 140737245312160 18446744073709551615 4361048 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1627/tid=1633] ppid=1625 vsize=952220 CPUtime=0.26 cores=0-7
/proc/1627/task/1633/stat : 1633 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 8446 0 0 0 22 4 0 0 18 0 8 0 525683619 975073280 68473 33554432000 4194304 4627427 140737245312160 18446744073709551615 254261659831 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1627/tid=1634] ppid=1625 vsize=952220 CPUtime=0.27 cores=0-7
/proc/1627/task/1634/stat : 1634 (strangenight2-m) D 1625 1627 1495 0 -1 4202560 9404 0 0 0 23 4 0 0 18 0 8 0 525683619 975073280 68473 33554432000 4194304 4627427 140737245312160 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.11
Current children cumulated vsize (KiB) 952220

[startup+0.700942 s]
/proc/loadavg: 6.34 2.95 3.53 2/248 1627
/proc/meminfo: memFree=28178944/32951124 swapFree=67111348/67111528
[pid=1627] ppid=1625 vsize=2110188 CPUtime=5.12 cores=0-7
/proc/1627/stat : 1627 (strangenight2-m) R 1625 1627 1495 0 -1 4202496 182570 0 0 0 454 58 0 0 18 0 8 0 525683618 2160832512 181320 33554432000 4194304 4627427 140737245312160 18446744073709551615 4504795 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1627/statm: 527547 181330 341 106 0 522518 0
[pid=1627/tid=1628] ppid=1625 vsize=2110188 CPUtime=0.64 cores=0-7
/proc/1627/task/1628/stat : 1628 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 22568 0 0 0 57 7 0 0 18 0 8 0 525683619 2160832512 181335 33554432000 4194304 4627427 140737245312160 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1627/tid=1629] ppid=1625 vsize=2110188 CPUtime=0.63 cores=0-7
/proc/1627/task/1629/stat : 1629 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 22926 0 0 0 56 7 0 0 18 0 8 0 525683619 2160832512 181340 33554432000 4194304 4627427 140737245312160 18446744073709551615 4507021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1627/tid=1630] ppid=1625 vsize=2110188 CPUtime=0.6 cores=0-7
/proc/1627/task/1630/stat : 1630 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 22201 0 0 0 54 6 0 0 18 0 8 0 525683619 2160832512 181346 33554432000 4194304 4627427 140737245312160 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1627/tid=1631] ppid=1625 vsize=2110188 CPUtime=0.62 cores=0-7
/proc/1627/task/1631/stat : 1631 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 23241 0 0 0 56 6 0 0 18 0 8 0 525683619 2160832512 181351 33554432000 4194304 4627427 140737245312160 18446744073709551615 4530656 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1627/tid=1632] ppid=1625 vsize=2110188 CPUtime=0.63 cores=0-7
/proc/1627/task/1632/stat : 1632 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 22519 0 0 0 58 5 0 0 18 0 8 0 525683619 2160832512 181358 33554432000 4194304 4627427 140737245312160 18446744073709551615 4506933 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1627/tid=1633] ppid=1625 vsize=2110188 CPUtime=0.65 cores=0-7
/proc/1627/task/1633/stat : 1633 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 22744 0 0 0 56 9 0 0 18 0 8 0 525683619 2160832512 181365 33554432000 4194304 4627427 140737245312160 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1627/tid=1634] ppid=1625 vsize=2110188 CPUtime=0.65 cores=0-7
/proc/1627/task/1634/stat : 1634 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 23697 0 0 0 57 8 0 0 18 0 8 0 525683619 2160832512 181368 33554432000 4194304 4627427 140737245312160 18446744073709551615 4507021 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.12
Current children cumulated vsize (KiB) 2110188

[startup+1.50081 s]
/proc/loadavg: 6.47 3.03 3.56 9/256 1635
/proc/meminfo: memFree=27296372/32951124 swapFree=67111348/67111528
[pid=1627] ppid=1625 vsize=2352172 CPUtime=11.43 cores=0-7
/proc/1627/stat : 1627 (strangenight2-m) R 1625 1627 1495 0 -1 4202496 236939 0 0 0 1072 71 0 0 19 0 8 0 525683618 2408624128 235688 33554432000 4194304 4627427 140737245312160 18446744073709551615 4309284 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1627/statm: 588043 235689 367 106 0 583014 0
[pid=1627/tid=1628] ppid=1625 vsize=2352172 CPUtime=1.43 cores=0-7
/proc/1627/task/1628/stat : 1628 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 29621 0 0 0 134 9 0 0 18 0 8 0 525683619 2408624128 235689 33554432000 4194304 4627427 140737245312160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1627/tid=1629] ppid=1625 vsize=2352172 CPUtime=1.42 cores=0-7
/proc/1627/task/1629/stat : 1629 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 29993 0 0 0 134 8 0 0 19 0 8 0 525683619 2408624128 235689 33554432000 4194304 4627427 140737245312160 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1627/tid=1630] ppid=1625 vsize=2352172 CPUtime=1.4 cores=0-7
/proc/1627/task/1630/stat : 1630 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 29259 0 0 0 132 8 0 0 18 0 8 0 525683619 2408624128 235689 33554432000 4194304 4627427 140737245312160 18446744073709551615 4238208 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1627/tid=1631] ppid=1625 vsize=2352172 CPUtime=1.4 cores=0-7
/proc/1627/task/1631/stat : 1631 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 30047 0 0 0 132 8 0 0 18 0 8 0 525683619 2408624128 235689 33554432000 4194304 4627427 140737245312160 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1627/tid=1632] ppid=1625 vsize=2352172 CPUtime=1.42 cores=0-7
/proc/1627/task/1632/stat : 1632 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 28456 0 0 0 136 6 0 0 19 0 8 0 525683619 2408624128 235690 33554432000 4194304 4627427 140737245312160 18446744073709551615 254261277729 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1627/tid=1633] ppid=1625 vsize=2352172 CPUtime=1.44 cores=0-7
/proc/1627/task/1633/stat : 1633 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 29681 0 0 0 133 11 0 0 19 0 8 0 525683619 2408624128 235690 33554432000 4194304 4627427 140737245312160 18446744073709551615 4308920 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1627/tid=1634] ppid=1625 vsize=2352172 CPUtime=1.43 cores=0-7
/proc/1627/task/1634/stat : 1634 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 30481 0 0 0 134 9 0 0 19 0 8 0 525683619 2408624128 235690 33554432000 4194304 4627427 140737245312160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 11.43
Current children cumulated vsize (KiB) 2352172

[startup+3.10052 s]
/proc/loadavg: 6.47 3.03 3.56 9/256 1635
/proc/meminfo: memFree=27193328/32951124 swapFree=67111348/67111528
[pid=1627] ppid=1625 vsize=2428904 CPUtime=24.2 cores=0-7
/proc/1627/stat : 1627 (strangenight2-m) R 1625 1627 1495 0 -1 4202496 256833 0 0 0 2342 78 0 0 18 0 8 0 525683618 2487197696 255582 33554432000 4194304 4627427 140737245312160 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1627/statm: 607226 255582 367 106 0 602197 0
[pid=1627/tid=1628] ppid=1625 vsize=2428904 CPUtime=3.02 cores=0-7
/proc/1627/task/1628/stat : 1628 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 32223 0 0 0 292 10 0 0 21 0 8 0 525683619 2487197696 255582 33554432000 4194304 4627427 140737245312160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1627/tid=1629] ppid=1625 vsize=2428904 CPUtime=3.02 cores=0-7
/proc/1627/task/1629/stat : 1629 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 32130 0 0 0 293 9 0 0 22 0 8 0 525683619 2487197696 255582 33554432000 4194304 4627427 140737245312160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1627/tid=1630] ppid=1625 vsize=2428904 CPUtime=3 cores=0-7
/proc/1627/task/1630/stat : 1630 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 31649 0 0 0 291 9 0 0 21 0 8 0 525683619 2487197696 255582 33554432000 4194304 4627427 140737245312160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1627/tid=1631] ppid=1625 vsize=2428904 CPUtime=2.98 cores=0-7
/proc/1627/task/1631/stat : 1631 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 32629 0 0 0 289 9 0 0 22 0 8 0 525683619 2487197696 255582 33554432000 4194304 4627427 140737245312160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1627/tid=1632] ppid=1625 vsize=2428904 CPUtime=3.02 cores=0-7
/proc/1627/task/1632/stat : 1632 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 31062 0 0 0 294 8 0 0 20 0 8 0 525683619 2487197696 255582 33554432000 4194304 4627427 140737245312160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1627/tid=1633] ppid=1625 vsize=2428904 CPUtime=3.03 cores=0-7
/proc/1627/task/1633/stat : 1633 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 31913 0 0 0 292 11 0 0 23 0 8 0 525683619 2487197696 255582 33554432000 4194304 4627427 140737245312160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1627/tid=1634] ppid=1625 vsize=2428904 CPUtime=3.03 cores=0-7
/proc/1627/task/1634/stat : 1634 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 33466 0 0 0 293 10 0 0 22 0 8 0 525683619 2487197696 255582 33554432000 4194304 4627427 140737245312160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 24.2
Current children cumulated vsize (KiB) 2428904

[startup+6.30094 s]
/proc/loadavg: 6.47 3.03 3.56 9/256 1635
/proc/meminfo: memFree=27107560/32951124 swapFree=67111348/67111528
[pid=1627] ppid=1625 vsize=2438772 CPUtime=49.76 cores=0-7
/proc/1627/stat : 1627 (strangenight2-m) R 1625 1627 1495 0 -1 4202496 270693 0 0 0 4893 83 0 0 25 0 8 0 525683618 2497302528 269442 33554432000 4194304 4627427 140737245312160 18446744073709551615 4324192 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/1627/statm: 609693 269442 371 106 0 604664 0
[pid=1627/tid=1628] ppid=1625 vsize=2438772 CPUtime=6.22 cores=0-7
/proc/1627/task/1628/stat : 1628 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 34049 0 0 0 612 10 0 0 25 0 8 0 525683619 2497302528 269442 33554432000 4194304 4627427 140737245312160 18446744073709551615 4324208 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=1627/tid=1629] ppid=1625 vsize=2438772 CPUtime=6.22 cores=0-7
/proc/1627/task/1629/stat : 1629 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 33624 0 0 0 612 10 0 0 25 0 8 0 525683619 2497302528 269442 33554432000 4194304 4627427 140737245312160 18446744073709551615 4324344 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=1627/tid=1630] ppid=1625 vsize=2438772 CPUtime=6.2 cores=0-7
/proc/1627/task/1630/stat : 1630 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 33449 0 0 0 611 9 0 0 25 0 8 0 525683619 2497302528 269442 33554432000 4194304 4627427 140737245312160 18446744073709551615 4324208 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=1627/tid=1631] ppid=1625 vsize=2438772 CPUtime=6.16 cores=0-7
/proc/1627/task/1631/stat : 1631 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 34109 0 0 0 606 10 0 0 25 0 8 0 525683619 2497302528 269442 33554432000 4194304 4627427 140737245312160 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=1627/tid=1632] ppid=1625 vsize=2438772 CPUtime=6.22 cores=0-7
/proc/1627/task/1632/stat : 1632 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 32869 0 0 0 614 8 0 0 25 0 8 0 525683619 2497302528 269442 33554432000 4194304 4627427 140737245312160 18446744073709551615 4324192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1627/tid=1633] ppid=1625 vsize=2438772 CPUtime=6.22 cores=0-7
/proc/1627/task/1633/stat : 1633 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 33630 0 0 0 610 12 0 0 25 0 8 0 525683619 2497302528 269442 33554432000 4194304 4627427 140737245312160 18446744073709551615 4324192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1627/tid=1634] ppid=1625 vsize=2438772 CPUtime=6.24 cores=0-7
/proc/1627/task/1634/stat : 1634 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 35530 0 0 0 613 11 0 0 25 0 8 0 525683619 2497302528 269442 33554432000 4194304 4627427 140737245312160 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0

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

[pid=1627/tid=1632] ppid=1625 vsize=5788940 CPUtime=2373.06 cores=0-7
/proc/1627/task/1632/stat : 1632 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 359266 0 0 0 237161 145 0 0 25 0 8 0 525683619 5927874560 1028882 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 7 0 0 0
[pid=1627/tid=1633] ppid=1625 vsize=5788940 CPUtime=2393.78 cores=0-7
/proc/1627/task/1633/stat : 1633 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 289325 0 0 0 239280 98 0 0 25 0 8 0 525683619 5927874560 1028882 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 2 0 0 0
[pid=1627/tid=1634] ppid=1625 vsize=5788940 CPUtime=2562.01 cores=0-7
/proc/1627/task/1634/stat : 1634 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 355839 0 0 0 256071 130 0 0 25 0 8 0 525683619 5927874560 1028882 33554432000 4194304 4627427 140737245312160 18446744073709551615 4219962 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19733.9
Current children cumulated vsize (KiB) 5788940

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

[startup+2585.5 s]
/proc/loadavg: 3.36 5.87 6.89 4/256 1713
/proc/meminfo: memFree=24059260/32951124 swapFree=67111348/67111528
[pid=1627] ppid=1625 vsize=5788940 CPUtime=19803.5 cores=0-7
/proc/1627/stat : 1627 (strangenight2-m) R 1625 1627 1495 0 -1 4202496 2364708 0 0 0 1979524 828 0 0 25 0 8 0 525683618 5927874560 1028882 33554432000 4194304 4627427 140737245312160 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1627/statm: 1447235 1028882 392 106 0 1442206 0
[pid=1627/tid=1628] ppid=1625 vsize=5788940 CPUtime=2410.79 cores=0-7
/proc/1627/task/1628/stat : 1628 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 223225 0 0 0 241019 60 0 0 25 0 8 0 525683619 5927874560 1028882 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 4 0 0 0
[pid=1627/tid=1629] ppid=1625 vsize=5788940 CPUtime=2393.56 cores=0-7
/proc/1627/task/1629/stat : 1629 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 313426 0 0 0 239244 112 0 0 25 0 8 0 525683619 5927874560 1028882 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 3 0 0 0
[pid=1627/tid=1630] ppid=1625 vsize=5788940 CPUtime=2477.27 cores=0-7
/proc/1627/task/1630/stat : 1630 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 277209 0 0 0 247624 103 0 0 25 0 8 0 525683619 5927874560 1028882 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 1 0 0 0
[pid=1627/tid=1631] ppid=1625 vsize=5788940 CPUtime=2584.99 cores=0-7
/proc/1627/task/1631/stat : 1631 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 310951 0 0 0 258382 117 0 0 25 0 8 0 525683619 5927874560 1028882 33554432000 4194304 4627427 140737245312160 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1627/tid=1632] ppid=1625 vsize=5788940 CPUtime=2373.06 cores=0-7
/proc/1627/task/1632/stat : 1632 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 359266 0 0 0 237161 145 0 0 25 0 8 0 525683619 5927874560 1028882 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 7 0 0 0
[pid=1627/tid=1633] ppid=1625 vsize=5788940 CPUtime=2393.78 cores=0-7
/proc/1627/task/1633/stat : 1633 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 289325 0 0 0 239280 98 0 0 25 0 8 0 525683619 5927874560 1028882 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 2 0 0 0
[pid=1627/tid=1634] ppid=1625 vsize=5788940 CPUtime=2585.21 cores=0-7
/proc/1627/task/1634/stat : 1634 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 355839 0 0 0 258391 130 0 0 25 0 8 0 525683619 5927874560 1028882 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729689131 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19803.5
Current children cumulated vsize (KiB) 5788940

[startup+2598.3 s]
/proc/loadavg: 3.28 5.73 6.83 3/256 1713
/proc/meminfo: memFree=24073764/32951124 swapFree=67111348/67111528
[pid=1627] ppid=1625 vsize=5788940 CPUtime=19840.5 cores=0-7
/proc/1627/stat : 1627 (strangenight2-m) S 1625 1627 1495 0 -1 4202496 2365328 0 0 0 1983220 829 0 0 25 0 8 0 525683618 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1627/statm: 1447235 1025236 392 106 0 1442206 0
[pid=1627/tid=1628] ppid=1625 vsize=5788940 CPUtime=2410.79 cores=0-7
/proc/1627/task/1628/stat : 1628 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 223225 0 0 0 241019 60 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 4 0 0 0
[pid=1627/tid=1629] ppid=1625 vsize=5788940 CPUtime=2393.56 cores=0-7
/proc/1627/task/1629/stat : 1629 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 313426 0 0 0 239244 112 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 3 0 0 0
[pid=1627/tid=1630] ppid=1625 vsize=5788940 CPUtime=2477.27 cores=0-7
/proc/1627/task/1630/stat : 1630 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 277209 0 0 0 247624 103 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 1 0 0 0
[pid=1627/tid=1631] ppid=1625 vsize=5788940 CPUtime=2597.79 cores=0-7
/proc/1627/task/1631/stat : 1631 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 310951 0 0 0 259662 117 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1627/tid=1632] ppid=1625 vsize=5788940 CPUtime=2373.06 cores=0-7
/proc/1627/task/1632/stat : 1632 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 359266 0 0 0 237161 145 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 7 0 0 0
[pid=1627/tid=1633] ppid=1625 vsize=5788940 CPUtime=2393.78 cores=0-7
/proc/1627/task/1633/stat : 1633 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 289325 0 0 0 239280 98 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 2 0 0 0
[pid=1627/tid=1634] ppid=1625 vsize=5788940 CPUtime=2598.01 cores=0-7
/proc/1627/task/1634/stat : 1634 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 355839 0 0 0 259671 130 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729689131 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19840.5
Current children cumulated vsize (KiB) 5788940

[startup+2611.1 s]
/proc/loadavg: 2.99 5.55 6.75 3/256 1714
/proc/meminfo: memFree=24073764/32951124 swapFree=67111348/67111528
[pid=1627] ppid=1625 vsize=5788940 CPUtime=19866.1 cores=0-7
/proc/1627/stat : 1627 (strangenight2-m) S 1625 1627 1495 0 -1 4202496 2365328 0 0 0 1985780 829 0 0 25 0 8 0 525683618 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1627/statm: 1447235 1025236 392 106 0 1442206 0
[pid=1627/tid=1628] ppid=1625 vsize=5788940 CPUtime=2410.79 cores=0-7
/proc/1627/task/1628/stat : 1628 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 223225 0 0 0 241019 60 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 4 0 0 0
[pid=1627/tid=1629] ppid=1625 vsize=5788940 CPUtime=2393.56 cores=0-7
/proc/1627/task/1629/stat : 1629 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 313426 0 0 0 239244 112 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 3 0 0 0
[pid=1627/tid=1630] ppid=1625 vsize=5788940 CPUtime=2477.27 cores=0-7
/proc/1627/task/1630/stat : 1630 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 277209 0 0 0 247624 103 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 1 0 0 0
[pid=1627/tid=1631] ppid=1625 vsize=5788940 CPUtime=2610.59 cores=0-7
/proc/1627/task/1631/stat : 1631 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 310951 0 0 0 260942 117 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 4468043 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1627/tid=1632] ppid=1625 vsize=5788940 CPUtime=2373.06 cores=0-7
/proc/1627/task/1632/stat : 1632 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 359266 0 0 0 237161 145 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 7 0 0 0
[pid=1627/tid=1633] ppid=1625 vsize=5788940 CPUtime=2393.78 cores=0-7
/proc/1627/task/1633/stat : 1633 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 289325 0 0 0 239280 98 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 2 0 0 0
[pid=1627/tid=1634] ppid=1625 vsize=5788940 CPUtime=2610.81 cores=0-7
/proc/1627/task/1634/stat : 1634 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 355839 0 0 0 260951 130 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729689284 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19866.1
Current children cumulated vsize (KiB) 5788940

[startup+2617.5 s]
/proc/loadavg: 2.91 5.49 6.72 3/256 1714
/proc/meminfo: memFree=24073764/32951124 swapFree=67111348/67111528
[pid=1627] ppid=1625 vsize=5788940 CPUtime=19878.9 cores=0-7
/proc/1627/stat : 1627 (strangenight2-m) S 1625 1627 1495 0 -1 4202496 2365328 0 0 0 1987060 829 0 0 25 0 8 0 525683618 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1627/statm: 1447235 1025236 392 106 0 1442206 0
[pid=1627/tid=1628] ppid=1625 vsize=5788940 CPUtime=2410.79 cores=0-7
/proc/1627/task/1628/stat : 1628 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 223225 0 0 0 241019 60 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 4 0 0 0
[pid=1627/tid=1629] ppid=1625 vsize=5788940 CPUtime=2393.56 cores=0-7
/proc/1627/task/1629/stat : 1629 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 313426 0 0 0 239244 112 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 3 0 0 0
[pid=1627/tid=1630] ppid=1625 vsize=5788940 CPUtime=2477.27 cores=0-7
/proc/1627/task/1630/stat : 1630 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 277209 0 0 0 247624 103 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 1 0 0 0
[pid=1627/tid=1631] ppid=1625 vsize=5788940 CPUtime=2616.99 cores=0-7
/proc/1627/task/1631/stat : 1631 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 310951 0 0 0 261582 117 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1627/tid=1632] ppid=1625 vsize=5788940 CPUtime=2373.06 cores=0-7
/proc/1627/task/1632/stat : 1632 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 359266 0 0 0 237161 145 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 7 0 0 0
[pid=1627/tid=1633] ppid=1625 vsize=5788940 CPUtime=2393.78 cores=0-7
/proc/1627/task/1633/stat : 1633 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 289325 0 0 0 239280 98 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 2 0 0 0
[pid=1627/tid=1634] ppid=1625 vsize=5788940 CPUtime=2617.21 cores=0-7
/proc/1627/task/1634/stat : 1634 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 355839 0 0 0 261591 130 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729689284 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19878.9
Current children cumulated vsize (KiB) 5788940

[startup+2620.7 s]
/proc/loadavg: 2.91 5.49 6.72 3/256 1714
/proc/meminfo: memFree=24073764/32951124 swapFree=67111348/67111528
[pid=1627] ppid=1625 vsize=5788940 CPUtime=19885.3 cores=0-7
/proc/1627/stat : 1627 (strangenight2-m) S 1625 1627 1495 0 -1 4202496 2365328 0 0 0 1987700 829 0 0 25 0 8 0 525683618 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1627/statm: 1447235 1025236 392 106 0 1442206 0
[pid=1627/tid=1628] ppid=1625 vsize=5788940 CPUtime=2410.79 cores=0-7
/proc/1627/task/1628/stat : 1628 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 223225 0 0 0 241019 60 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 4 0 0 0
[pid=1627/tid=1629] ppid=1625 vsize=5788940 CPUtime=2393.56 cores=0-7
/proc/1627/task/1629/stat : 1629 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 313426 0 0 0 239244 112 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 3 0 0 0
[pid=1627/tid=1630] ppid=1625 vsize=5788940 CPUtime=2477.27 cores=0-7
/proc/1627/task/1630/stat : 1630 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 277209 0 0 0 247624 103 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 1 0 0 0
[pid=1627/tid=1631] ppid=1625 vsize=5788940 CPUtime=2620.19 cores=0-7
/proc/1627/task/1631/stat : 1631 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 310951 0 0 0 261902 117 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 4520543 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1627/tid=1632] ppid=1625 vsize=5788940 CPUtime=2373.06 cores=0-7
/proc/1627/task/1632/stat : 1632 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 359266 0 0 0 237161 145 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 7 0 0 0
[pid=1627/tid=1633] ppid=1625 vsize=5788940 CPUtime=2393.78 cores=0-7
/proc/1627/task/1633/stat : 1633 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 289325 0 0 0 239280 98 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 2 0 0 0
[pid=1627/tid=1634] ppid=1625 vsize=5788940 CPUtime=2620.41 cores=0-7
/proc/1627/task/1634/stat : 1634 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 355839 0 0 0 261911 130 0 0 25 0 8 0 525683619 5927874560 1025236 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729689131 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19885.3
Current children cumulated vsize (KiB) 5788940

[startup+2621.5 s]
/proc/loadavg: 2.84 5.43 6.70 3/256 1714
/proc/meminfo: memFree=24073640/32951124 swapFree=67111348/67111528
[pid=1627] ppid=1625 vsize=5788940 CPUtime=19886.9 cores=0-7
/proc/1627/stat : 1627 (strangenight2-m) S 1625 1627 1495 0 -1 4202496 2365559 0 0 0 1987860 829 0 0 25 0 8 0 525683618 5927874560 1025467 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1627/statm: 1447235 1025467 392 106 0 1442206 0
[pid=1627/tid=1628] ppid=1625 vsize=5788940 CPUtime=2410.79 cores=0-7
/proc/1627/task/1628/stat : 1628 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 223225 0 0 0 241019 60 0 0 25 0 8 0 525683619 5927874560 1025467 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 4 0 0 0
[pid=1627/tid=1629] ppid=1625 vsize=5788940 CPUtime=2393.56 cores=0-7
/proc/1627/task/1629/stat : 1629 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 313426 0 0 0 239244 112 0 0 25 0 8 0 525683619 5927874560 1025468 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 3 0 0 0
[pid=1627/tid=1630] ppid=1625 vsize=5788940 CPUtime=2477.27 cores=0-7
/proc/1627/task/1630/stat : 1630 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 277209 0 0 0 247624 103 0 0 25 0 8 0 525683619 5927874560 1025468 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 1 0 0 0
[pid=1627/tid=1631] ppid=1625 vsize=5788940 CPUtime=2620.99 cores=0-7
/proc/1627/task/1631/stat : 1631 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 311183 0 0 0 261982 117 0 0 25 0 8 0 525683619 5927874560 1025468 33554432000 4194304 4627427 140737245312160 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=1627/tid=1632] ppid=1625 vsize=5788940 CPUtime=2373.06 cores=0-7
/proc/1627/task/1632/stat : 1632 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 359266 0 0 0 237161 145 0 0 25 0 8 0 525683619 5927874560 1025468 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 7 0 0 0
[pid=1627/tid=1633] ppid=1625 vsize=5788940 CPUtime=2393.78 cores=0-7
/proc/1627/task/1633/stat : 1633 (strangenight2-m) S 1625 1627 1495 0 -1 4202560 289325 0 0 0 239280 98 0 0 25 0 8 0 525683619 5927874560 1025468 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729713716 0 0 4096 2 18446604453924301504 0 0 -1 2 0 0 0
[pid=1627/tid=1634] ppid=1625 vsize=5788940 CPUtime=2621.21 cores=0-7
/proc/1627/task/1634/stat : 1634 (strangenight2-m) R 1625 1627 1495 0 -1 4202560 355839 0 0 0 261991 130 0 0 25 0 8 0 525683619 5927874560 1025468 33554432000 4194304 4627427 140737245312160 18446744073709551615 46913729689131 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19886.9
Current children cumulated vsize (KiB) 5788940

[startup+2621.9 s]
/proc/loadavg: 2.84 5.43 6.70 3/256 1714
/proc/meminfo: memFree=24073640/32951124 swapFree=67111348/67111528
[pid=1627] ppid=1625 vsize=0 CPUtime=19887.7 cores=0-7
/proc/1627/stat : 1627 (strangenight2-m) Z 1625 1627 1495 0 -1 4203548 2366232 0 0 0 1987939 829 0 0 18 0 2 0 525683618 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1627/statm: 0 0 0 0 0 0 0
[pid=1627/tid=1634] ppid=1625 vsize=0 CPUtime=2621.61 cores=0-7
/proc/1627/task/1634/stat : 1634 (strangenight2-m) R 1625 1627 1495 0 -1 4202564 355847 0 0 0 262031 130 0 0 25 0 2 0 525683619 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19887.7
Current children cumulated vsize (KiB) 0

[startup+2622.1 s]
/proc/loadavg: 2.84 5.43 6.70 3/256 1714
/proc/meminfo: memFree=24073640/32951124 swapFree=67111348/67111528
[pid=1627] ppid=1625 vsize=0 CPUtime=19887.9 cores=0-7
/proc/1627/stat : 1627 (strangenight2-m) Z 1625 1627 1495 0 -1 4203548 2366232 0 0 0 1987939 849 0 0 18 0 2 0 525683618 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/1627/statm: 0 0 0 0 0 0 0
[pid=1627/tid=1634] ppid=1625 vsize=0 CPUtime=2621.81 cores=0-7
/proc/1627/task/1634/stat : 1634 (strangenight2-m) R 1625 1627 1495 0 -1 4202564 355847 0 0 0 262031 150 0 0 25 0 2 0 525683619 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 19887.9
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 2622.11
CPU time (s): 19887.9
CPU user time (s): 19879.4
CPU system time (s): 8.50471
CPU usage (%): 758.47
Max. virtual memory (cumulated for all children) (KiB): 6098472

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19879.4
system time used= 8.50471
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2366232
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= 92221
involuntary context switches= 94110

runsolver used 5.05323 second user time and 17.8493 second system time

The end

Launcher Data 

Begin job on node140 at 2011-05-02 12:38:03
IDJOB=3321221
IDBENCH=83447
IDSOLVER=1709
FILE ID=node140/3321221-1304332681
RUNJOBID= node140-1304332543-1509
PBS_JOBID= 13177701
Free space on /tmp= 73520 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/application/leberre/2dimensionalstrippacking/E02F22.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3321221-1304332681/watcher-3321221-1304332681 -o /tmp/evaluation-result-3321221-1304332681/solver-3321221-1304332681 -C 40000 -W 5100 -M 31000  ./strangenight2-mt --threads=8 HOME/instance-3321221-1304332681.cnf

TIME LIMIT= 40000 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 0b29cb9f2e17f3e05b66912497d8cb84
RANDOM SEED=302956721

node140.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.833
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.66
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.833
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	: 5226.14
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.833
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.75
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.833
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.77
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.833
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.75
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.833
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.74
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.833
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.75
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.833
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:      28179100 kB
Buffers:        996564 kB
Cached:        1959832 kB
SwapCached:        176 kB
Active:        1579632 kB
Inactive:      2675936 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28179100 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           69620 kB
Writeback:           0 kB
AnonPages:     1298904 kB
Mapped:          21348 kB
Slab:           437312 kB
PageTables:      15612 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 37393308 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= 73516 MiB
End job on node140 at 2011-05-02 13:21:45