0.00/0.00	c Outputting solution to console
0.00/0.00	c This is CryptoMiniSat 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c Using 4 thread(s)
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3291724-1304180589.cnf'
0.00/0.00	c -- header says num vars:          14013
0.00/0.00	c -- header says num clauses:      481761
0.39/0.43	c -- clauses added:            0 learnts,       481761 normals,            0 xors
0.39/0.43	c -- vars added      14013
0.39/0.43	c Parsing time:  0.40 s
0.39/0.43	c  N st     0         0     14013      1555    462026         0    937688         0   no data   no data  --
0.39/0.43	c asymm  cl-useful: 0/1539/1539 lits-rem:0 time: 0.02
1.09/0.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P:  5.5M T:  0.80
1.09/0.69	c Calc non-exist non-lernt bins v-fix:     0 done:  13351 time:  0.20 s
1.09/0.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1.09/0.69	c Subs w/ non-existent bins:      0 time:  0.00 s
1.49/0.76	c bin-w-bin subsume rem            0 bins  time:  0.24 s
1.49/0.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.09 s
1.89/0.83	c Removed useless bin:       0  fixed:     0  bprops:   1.84M  time:  0.18 s
2.29/0.98	c lits-rem:         0  cl-subs:        0  v-elim:   7909  v-fix:    0  time:  0.56 s
2.29/0.98	c learnt bin added due to v-elim: 0
2.29/1.00	c Finding binary XORs  T:     0.05 s  found:       0
2.69/1.02	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
2.69/1.02	c calculated reachability. Time: 0.01
2.69/1.03	c Calc default polars -  time:   0.03 s pos:      13 undec:    1653 neg:   12347
2.69/1.03	c =========================================================================================
2.69/1.03	c types(t): F = full restart, N = normal restart
2.69/1.03	c types(t): S = simplification begin/end, E = solution found
2.69/1.03	c restart types(rt): st = static, dy = dynamic
2.69/1.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits   MTavgCS    LTAvgG
2.69/1.03	c  B st     0         0     12360     45142    397709         0   1217265         0   no data   no data  --
3.09/1.12	c Decided on static restart strategy
3.46/1.22	c  N dy    21      4084     12360     45142    397709      3811   1217265    111401     26.99      9.33  --
4.26/1.48	c  N dy    50      8149     12360     45142    397709      5178   1217265    140535     27.88      9.64  --
5.47/1.77	c  N dy    79     12205     12360     45142    397709      4984   1217265    128929     25.32      9.74  --
6.67/2.08	c  N dy   108     16211     12360     45142    397709      8672   1217265    225002     26.98      9.72  --
7.86/2.38	c  N dy   137     20212     12360     45142    397709      7220   1217265    175949     24.39      9.84  --
9.06/2.69	c  N dy   166     24240     12360     45142    397709     10900   1217265    273681     28.04      9.89  --
10.66/3.01	c  N dy   195     28268     12360     45142    397709      8375   1217265    192658     25.41      9.94  --
11.06/3.14	c  S st   208     30000     12360     45142    397709     10036   1217265    242971     30.81      9.92  --
11.47/3.23	c  S st   208     30501     12360     45142    397710     10535   1217265    256202     30.81      9.92  --
11.47/3.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
11.47/3.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.87/4.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     91 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  4.23
15.87/4.35	c Calc non-exist non-lernt bins v-fix:     0 done:  12360 time:  0.20 s
15.87/4.35	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
15.87/4.37	c Subs w/ non-existent bins:      0 time:  0.05 s
16.27/4.44	c bin-w-bin subsume rem            0 bins  time:  0.21 s
17.85/4.81	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  1.48 s
17.85/4.86	c Removed useless bin:       0  fixed:     0  bprops:   1.64M  time:  0.17 s
22.24/5.93	c lits-rem:       315  cl-subs:     8475  v-elim:  15872  v-fix:    0  time:  4.27 s
22.24/5.93	c learnt bin added due to v-elim: 0
22.24/5.94	c vivif2 --  cl tried    80078 cl shrink      226 lits rem        240 time: 0.07
22.24/5.95	c vivif2 --  cl tried     2057 cl shrink        0 lits rem          0 time: 0.00
22.64/6.01	c asymm  cl-useful: 0/3358/80063 lits-rem:0 time: 0.27
22.64/6.03	c calculated reachability. Time: 0.02
22.64/6.03	c  N dy   208     30501     11752     80063    361339      2057   1557881     47727     30.81      9.92  --
22.64/6.03	c  F st   208     30501     11752     80063    361339      2057   1557881     47727     30.81      9.92  --
23.84/6.37	c Decided on dynamic restart strategy
24.65/6.57	c  N dy   229     34580     11752     80063    361340      6025   1557881    173757     28.48      9.94  --
27.03/7.13	c  N dy   260     38699     11752     80063    361342     10053   1557881    299079     34.77      9.83  --
29.05/7.69	c  N dy   290     42757     11752     80063    361382     13937   1557881    398671     22.88      9.71  --
31.03/8.13	c  S st   313     45752     11752     80063    361383      9534   1557881    217647     25.89      9.60  --
31.43/8.28	c  S st   313     46253     11752     80063    361383     10030   1557881    237688     25.89      9.60  --
31.43/8.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
31.43/8.29	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.42/9.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:      0 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  3.67
35.42/9.26	c Calc non-exist non-lernt bins v-fix:     0 done:  11752 time:  0.18 s
35.42/9.26	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
35.42/9.28	c Subs w/ non-existent bins:      0 time:  0.08 s
35.82/9.35	c bin-w-bin subsume rem           10 bins  time:  0.19 s
39.01/10.16	c subs with bin:       61  lits-rem:         3  v-fix:    0  time:  3.23 s
39.01/10.20	c Removed useless bin:       0  fixed:     0  bprops:   1.50M  time:  0.15 s
41.01/10.63	c lits-rem:       716  cl-subs:      570  v-elim:  11710  v-fix:    0  time:  1.72 s
41.01/10.63	c learnt bin added due to v-elim: 0
41.01/10.64	c vivif2 --  cl tried    80063 cl shrink       56 lits rem         56 time: 0.07
41.01/10.65	c vivif2 --  cl tried     9399 cl shrink        1 lits rem          2 time: 0.02
41.41/10.72	c asymm  cl-useful: 0/8268/80063 lits-rem:0 time: 0.27
41.41/10.73	c calculated reachability. Time: 0.02
41.41/10.73	c  N dy   313     46253     11752     80063    361373      9399   1557825    223003     25.89      9.60  --
43.40/11.21	c  N dy   343     50310     11752     80063    361373     13297   1557825    328760     27.76      9.52  --
45.40/11.73	c  N dy   373     54341     11752     80063    361373      8713   1557825    190772     31.78      9.52  --
47.39/12.21	c  N dy   403     58355     11752     80063    361373     12592   1557825    296092     26.55      9.50  --
49.39/12.74	c  N dy   433     62436     11752     80063    361373     16519   1557825    400914     25.13      9.45  --
51.42/13.29	c  N dy   463     66493     11752     80063    361374     10908   1557825    213646     30.49      9.42  --
52.99/13.68	c  S st   485     69381     11752     80063    361375     13692   1557825    285164     29.68      9.39  --
53.79/13.86	c  S st   485     69881     11752     80063    361375     14188   1557825    299597     29.68      9.39  --
53.79/13.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
53.79/13.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.78/14.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:     11 BRemL:      0 BRemN:      0 CBin:       0 P: 60.0M T:  4.01
58.18/14.92	c Calc non-exist non-lernt bins v-fix:     0 done:  11752 time:  0.19 s
58.18/14.92	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.18/14.95	c Subs w/ non-existent bins:      0 time:  0.10 s
58.58/15.02	c bin-w-bin subsume rem            0 bins  time:  0.19 s
61.78/15.83	c subs with bin:       29  lits-rem:       154  v-fix:    0  time:  3.23 s
61.78/15.87	c Removed useless bin:       0  fixed:     0  bprops:   1.50M  time:  0.16 s
64.19/16.42	c ORs :      0 avg-s:  nan cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.24
67.77/17.35	c Added 51 vars  tried: 80000 time: 3.73
67.77/17.36	c ORs :     51 avg-s:  0.0 cl-sh:  6481 l-rem:   6481 b-add:    102 v-rep:   0 cl-rem: 112 avg s: 7.9 T:    3.76
67.77/17.38	c lits-rem:       623  cl-subs:      694  v-elim:  11710  v-fix:    0  time:  6.04 s
67.77/17.38	c learnt bin added due to v-elim: 0
68.17/17.40	c vivif2 --  cl tried    80005 cl shrink        0 lits rem          0 time: 0.07
68.17/17.41	c vivif2 --  cl tried    13462 cl shrink        0 lits rem          0 time: 0.03
68.17/17.48	c asymm  cl-useful: 0/5343/80005 lits-rem:0 time: 0.28
68.17/17.49	c calculated reachability. Time: 0.02
68.17/17.49	c  N dy   485     69881     11803     80005    361488     13462   1555682    278720     29.68      9.39  --
68.17/17.49	c  F st   485     69881     11803     80005    361488     13462   1555682    278720     29.68      9.39  --
69.37/17.79	c Decided on static restart strategy
70.97/18.19	c  N dy   510     74459     11803     80005    361511     17851   1555682    431907     30.18      9.43  --
74.16/18.98	c  N dy   547     79345     11803     80005    361528     12088   1555682    255271     48.71      9.67  --
77.38/19.79	c  N dy   584     84460     11803     80005    361535     17103   1555682    558946     78.68      9.65  --
80.96/20.63	c  N dy   624     89960     11803     80005    361548     22488   1555682    830127     46.83      9.80  --
84.15/21.48	c  N dy   669     95799     11803     80005    361548     16555   1555682    469889     40.19     10.03  --
87.74/22.34	c  N dy   715    101936     11803     80005    361549     22609   1555682    720428     42.78     10.27  --
89.74/22.83	c  S st   737    104821     11803     80005    361549     25459   1555682    868387     53.05     10.38  --
90.96/23.12	c  S st   737    105322     11803     80005    361558     13212   1555682    290262     53.05     10.38  --
90.96/23.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
90.96/23.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.95/24.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bin:    263 BRemL:      2 BRemN:      0 CBin:       0 P: 60.0M T:  4.09
95.36/24.21	c Calc non-exist non-lernt bins v-fix:     0 done:  11803 time:  0.20 s
95.36/24.21	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
95.36/24.23	c Subs w/ non-existent bins:      0 time:  0.09 s
95.73/24.31	c bin-w-bin subsume rem            0 bins  time:  0.20 s
98.93/25.18	c subs with bin:        0  lits-rem:        85  v-fix:    0  time:  3.47 s
99.35/25.22	c Removed useless bin:       0  fixed:     0  bprops:   1.47M  time:  0.15 s
101.72/25.87	c ORs :     52 avg-s:  2.0 cl-sh:    18 l-rem:     18 b-add:      0 v-rep:   0 cl-rem: 2 avg s: 5.0 T:    0.25
101.72/25.89	c lits-rem:       109  cl-subs:     2027  v-elim:  12941  v-fix:    0  time:  2.70 s
101.72/25.89	c learnt bin added due to v-elim: 0
102.12/25.91	c vivif2 --  cl tried    81282 cl shrink        0 lits rem          0 time: 0.07
102.12/25.92	c vivif2 --  cl tried    11184 cl shrink       36 lits rem         81 time: 0.02
102.12/25.98	c asymm  cl-useful: 0/2059/81282 lits-rem:0 time: 0.24
102.12/25.99	c calculated reachability. Time: 0.02
102.12/25.99	c  N dy   737    105322     11784     81282    360502     11184   1556939    235760     53.05     10.38  --
106.12/26.98	c  N dy   788    112081     11784     81282    360502     17823   1556939    480318     38.60     10.50  --
110.52/28.07	c  N dy   843    119371     11784     81282    360502     25038   1556939    802138     48.46     10.72  --
114.91/29.15	c  N dy   901    127015     11784     81282    360502     18804   1556939    474898     40.92     10.97  --
119.70/30.33	c  N dy   962    135186     11784     81282    360502     26851   1556939    810889     41.22     11.28  --
125.71/31.83	c  N dy  1027    143830     11784     81282    360502     20623   1556939    551316     48.56     11.56  --
132.88/33.63	c  N dy  1097    153067     11827     81282    360705     29710   1557131    967086     36.45     11.76  --
136.47/34.56	c  S st  1136    157983     11827     81282    360705     18785   1557131    397475     31.38     11.79  --
138.07/34.90	c  S st  1136    158484     11827     81282    360705     19284   1557131    409269     31.38     11.79  --
138.07/34.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
138.07/34.91	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
142.07/35.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bin:    611 BRemL:     15 BRemN:     12 CBin:       0 P: 60.0M T:  4.28
142.47/36.04	c Calc non-exist non-lernt bins v-fix:     0 done:  11827 time:  0.20 s
142.47/36.04	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
142.47/36.06	c Subs w/ non-existent bins:      0 time:  0.10 s
142.47/36.08	c Replacing        6 vars Replaced       82 lits Time:     0.08 s 
142.87/36.16	c bin-w-bin subsume rem            0 bins  time:  0.19 s
146.86/37.10	c subs with bin:        1  lits-rem:        47  v-fix:    0  time:  3.76 s
146.86/37.14	c Removed useless bin:       0  fixed:     0  bprops:   1.45M  time:  0.15 s
149.26/37.77	c ORs :     52 avg-s:  2.0 cl-sh:     0 l-rem:      0 b-add:      0 v-rep:   0 cl-rem: 0 avg s: nan T:    0.25
149.26/37.79	c lits-rem:       216  cl-subs:     1008  v-elim:  11683  v-fix:    0  time:  2.62 s
149.26/37.79	c learnt bin added due to v-elim: 0
149.66/37.81	c vivif2 --  cl tried    81282 cl shrink        0 lits rem          0 time: 0.07
149.66/37.82	c vivif2 --  cl tried    18275 cl shrink        3 lits rem          3 time: 0.04
149.66/37.89	c asymm  cl-useful: 0/1869/81282 lits-rem:0 time: 0.27
150.06/37.90	c calculated reachability. Time: 0.02
150.06/37.90	c  N dy  1136    158484     11821     81282    361277     18275   1557081    387935     31.38     11.79  --
157.25/39.78	c  N dy  1215    168677     11821     81282    361277     28231   1557081    761853     46.55     11.87  --
162.84/41.14	c  E dy  1272    176079         0     81282    361277     18816   1557081    385875     33.73     11.97  --
162.84/41.15	c Verified 81282 clauses.
162.84/41.15	c Solution needs extension. Extending.
163.96/41.58	c Verified 81282 clauses.
163.96/41.58	c Following stats are for *FIRST FINISHED THREAD ONLY*
163.96/41.58	c num threads              : 4          
163.96/41.58	c restarts                 : 1272       
163.96/41.58	c dynamic restarts         : 1254       
163.96/41.58	c static restarts          : 18         
163.96/41.58	c full restarts            : 2          
163.96/41.58	c total simplify time      : 0.00       
163.96/41.58	c learnts DL2              : 0          
163.96/41.58	c learnts size 2           : 463545     
163.96/41.58	c learnts size 1           : 662         (4.69      % of vars)
163.96/41.58	c filedLit time            : 21.09       (12.87     % time)
163.96/41.58	c v-elim SatELite          : 1618        (11.47     % vars)
163.96/41.58	c SatELite time            : 18.52       (11.30     % time)
163.96/41.58	c v-elim xor               : 0           (0.00      % vars)
163.96/41.58	c xor elim time            : 0.29        (0.18      % time)
163.96/41.58	c num binary xor trees     : 6          
163.96/41.58	c binxor trees' crown      : 6           (1.00      leafs/tree)
163.96/41.58	c bin xor find time        : 0.05       
163.96/41.58	c OTF clause subsumed      : 5497        (0.03      clauses/conflict)
163.96/41.58	c OTF subs. size diff      : 5676        (1.03       lits/clause)
163.96/41.58	c OTF cl watch-shrink      : 74396       (0.42      clauses/conflict)
163.96/41.58	c OTF cl watch-sh-lit      : 271350      (3.65       lits/clause)
163.96/41.58	c tried to recurMin cls    : 176079      (100.00     % of conflicts)
163.96/41.58	c updated cache            : 83          (0.00       lits/tried recurMin)
163.96/41.58	c OTF Gate-Rem cl          : 1585        (0.01      clauses/conflict)
163.96/41.58	c OTF Gate-rem lits        : 1748        (1.10      lits/confl)
163.96/41.58	c unit cls received        : 0           (0.00      % of units)
163.96/41.58	c unit cls sent            : 662         (100.00    % of units)
163.96/41.58	c bin cls received         : 249        
163.96/41.58	c bin cls sent             : 1282       
163.96/41.58	c tri cls recevied         : 41         
163.96/41.58	c tri cls sent             : 1396       
163.96/41.58	c clauses over max glue    : 0           (0.00      % of all clauses)
163.96/41.58	c conflicts                : 176079      (1074.23   / sec)
163.96/41.58	c decisions                : 885365      (2.16      % random)
163.96/41.58	c bogo-props               : 1698548282  (10362620.22 / sec)
163.96/41.58	c props                    : 55786704    (340347.36 / sec)
163.96/41.58	c conflict literals        : 6473502     (15.68     % deleted)
163.96/41.58	c Memory used              : 788.89      MB
163.96/41.58	c single-thread CPU time   : 163.91      s
163.96/41.58	c all-threads sum CPU time : 163.91      s
163.96/41.58	s SATISFIABLE
163.96/41.58	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 -13575 -13576 -13577 -13578 -13579 13580 -13581 -13582 -13583 -13584 -13585 -13586 -13587 13588 -13589 -13590 -13591 -13592 -13593 -13594 13595 -13596 -13597 -13598 -13599 -13600 -13601 13602 -13603 -13604 -13605 -13606 -13607 -13608 -13609 -13610 -13611 13612 -13613 -13614 -13615 -13616 -13617 -13618 13619 -13620 -13621 -13622 -13623 -13624 -13625 -13626 13627 -13628 -13629 -13630 -13631 -13632 -13633 -13634 -13635 -13636 -13637 -13638 -13639 -13640 13641 -13642 -13643 -13644 -13645 13646 -13647 -13648 -13649 -13650 -13651 -13652 -13653 -13654 -13655 -13656 -13657 -13658 -13659 13660 -13661 -13662 -13663 -13664 -13665 -13666 -13667 -13668 -13669 -13670 13671 -13672 -13673 -13674 -13675 13676 -13677 -13678 -13679 -13680 -13681 13682 -13683 -13684 -13685 -13686 -13687 -13688 -13689 13690 -13691 -13692 -13693 -13694 -13695 -13696 -13697 -13698 -13699 -13700 -13701 -13702 -13703 -13704 -13705 -13706 13707 -13708 -13709 -13710 13711 -13712 -13713 -13714 -13715 -13716 -13717 -13718 -13719 -13720 -13721 13722 -13723 -13724 -13725 -13726 -13727 -13728 -13729 13730 -13731 -13732 -13733 -13734 -13735 -13736 -13737 13738 -13739 -13740 -13741 -13742 -13743 -13744 13745 -13746 -13747 -13748 -13749 -13750 -13751 -13752 13753 -13754 -13755 -13756 -13757 -13758 -13759 -13760 -13761 -13762 -13763 -13764 -13765 -13766 -13767 -13768 -13769 13770 -13771 -13772 -13773 -13774 -13775 13776 -13777 -13778 -13779 -13780 -13781 -13782 -13783 -13784 -13785 -13786 13787 -13788 13789 -13790 -13791 -13792 -13793 -13794 -13795 -13796 -13797 -13798 -13799 -13800 -13801 -13802 -13803 -13804 -13805 13806 -13807 -13808 -13809 -13810 -13811 13812 -13813 -13814 -13815 -13816 13817 -13818 -13819 -13820 -13821 -13822 -13823 -13824 13825 -13826 -13827 -13828 -13829 -13830 -13831 -13832 -13833 -13834 -13835 13836 -13837 -13838 -13839 -13840 -13841 -13842 -13843 -13844 -13845 -13846 13847 -13848 -13849 -13850 -13851 -13852 -13853 -13854 13855 -13856 -13857 -13858 -13859 -13860 -13861 -13862 -13863 -13864 -13865 13866 -13867 -13868 -13869 -13870 -13871 13872 -13873 -13874 -13875 -13876 -13877 -13878 -13879 -13880 -13881 -13882 -13883 -13884 -13885 13886 -13887 -13888 -13889 -13890 -13891 -13892 -13893 -13894 -13895 13896 -13897 -13898 -13899 -13900 -13901 -13902 13903 -13904 -13905 -13906 13907 -13908 -13909 -13910 -13911 -13912 -13913 -13914 -13915 -13916 -13917 -13918 -13919 -13920 -13921 13922 -13923 13924 -13925 -13926 -13927 -13928 -13929 -13930 -13931 -13932 -13933 -13934 -13935 -13936 -13937 -13938 -13939 -13940 13941 -13942 -13943 -13944 13945 -13946 -13947 -13948 -13949 -13950 -13951 -13952 -13953 -13954 -13955 13956 -13957 -13958 -13959 -13960 -13961 -13962 -13963 -13964 -13965 -13966 13967 -13968 13969 -13970 -13971 -13972 -13973 -13974 -13975 -13976 -13977 -13978 -13979 13980 -13981 -13982 -13983 -13984 -13985 -13986 -13987 -13988 -13989 -13990 13991 -13992 -13993 -13994 -13995 -13996 -13997 -13998 13999 -14000 -14001 -14002 -14003 -14004 -14005 -14006 -14007 -14008 -14009 14010 -14011 -14012 -14013 0

OK

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-3291724-1304180589/watcher-3291724-1304180589 -o /tmp/evaluation-result-3291724-1304180589/solver-3291724-1304180589 -C 4800 -W 1300 -M 15500 ./techdemo --threads=4 HOME/instance-3291724-1304180589.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 3.83 5.24 6.79 7/184 32306
/proc/meminfo: memFree=25804380/32951124 swapFree=67111412/67111528
[pid=32306] ppid=32304 vsize=24708 CPUtime=0 cores=1,3,5,7
/proc/32306/stat : 32306 (techdemo) R 32304 32306 31591 0 -1 4202496 1452 0 0 0 0 0 0 0 21 0 1 0 529657127 25300992 1392 33554432000 4194304 4797429 140734494981680 18446744073709551615 4365507 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/32306/statm: 6177 1393 341 148 0 1106 0

[startup+0.0845089 s]
/proc/loadavg: 3.83 5.24 6.79 7/184 32306
/proc/meminfo: memFree=25804380/32951124 swapFree=67111412/67111528
[pid=32306] ppid=32304 vsize=73864 CPUtime=0.08 cores=1,3,5,7
/proc/32306/stat : 32306 (techdemo) R 32304 32306 31591 0 -1 4202496 7145 0 0 0 7 1 0 0 21 0 1 0 529657127 75636736 5700 33554432000 4194304 4797429 140734494981680 18446744073709551615 4549605 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/32306/statm: 18466 5700 350 148 0 13395 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 73864

[startup+0.1005 s]
/proc/loadavg: 3.83 5.24 6.79 7/184 32306
/proc/meminfo: memFree=25804380/32951124 swapFree=67111412/67111528
[pid=32306] ppid=32304 vsize=75448 CPUtime=0.09 cores=1,3,5,7
/proc/32306/stat : 32306 (techdemo) R 32304 32306 31591 0 -1 4202496 7538 0 0 0 8 1 0 0 21 0 1 0 529657127 77258752 6094 33554432000 4194304 4797429 140734494981680 18446744073709551615 232335553221 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/32306/statm: 18862 6097 350 148 0 13791 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 75448

[startup+0.300468 s]
/proc/loadavg: 3.83 5.24 6.79 7/184 32306
/proc/meminfo: memFree=25804380/32951124 swapFree=67111412/67111528
[pid=32306] ppid=32304 vsize=93928 CPUtime=0.29 cores=1,3,5,7
/proc/32306/stat : 32306 (techdemo) R 32304 32306 31591 0 -1 4202496 12191 0 0 0 27 2 0 0 22 0 1 0 529657127 96182272 10746 33554432000 4194304 4797429 140734494981680 18446744073709551615 232335553221 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/32306/statm: 23482 10747 350 148 0 18411 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 93928

[startup+0.700352 s]
/proc/loadavg: 3.83 5.24 6.79 7/184 32306
/proc/meminfo: memFree=25804380/32951124 swapFree=67111412/67111528
[pid=32306] ppid=32304 vsize=734812 CPUtime=1.49 cores=1,3,5,7
/proc/32306/stat : 32306 (techdemo) R 32304 32306 31591 0 -1 4202496 21544 0 0 0 145 4 0 0 18 0 4 0 529657127 752447488 20002 33554432000 4194304 4797429 140734494981680 18446744073709551615 4655663 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32306/statm: 183703 20005 388 148 0 178632 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 734812

[startup+1.50021 s]
/proc/loadavg: 3.83 5.24 6.79 9/188 32310
/proc/meminfo: memFree=25682876/32951124 swapFree=67111412/67111528
[pid=32306] ppid=32304 vsize=749744 CPUtime=4.66 cores=1,3,5,7
/proc/32306/stat : 32306 (techdemo) R 32304 32306 31591 0 -1 4202496 34406 0 0 0 458 8 0 0 18 0 4 0 529657127 767737856 32583 33554432000 4194304 4797429 140734494981680 18446744073709551615 4488447 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32306/statm: 187436 32583 413 148 0 182365 0
[pid=32306/tid=32308] ppid=32304 vsize=749744 CPUtime=1.04 cores=1,3,5,7
/proc/32306/task/32308/stat : 32308 (techdemo) R 32304 32306 31591 0 -1 4202560 4454 0 0 0 103 1 0 0 18 0 4 0 529657170 767737856 32583 33554432000 4194304 4797429 140734494981680 18446744073709551615 4422855 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32306/tid=32309] ppid=32304 vsize=749744 CPUtime=1.05 cores=1,3,5,7
/proc/32306/task/32309/stat : 32309 (techdemo) R 32304 32306 31591 0 -1 4202560 4671 0 0 0 104 1 0 0 18 0 4 0 529657170 767737856 32583 33554432000 4194304 4797429 140734494981680 18446744073709551615 4424670 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32306/tid=32310] ppid=32304 vsize=749744 CPUtime=1.05 cores=1,3,5,7
/proc/32306/task/32310/stat : 32310 (techdemo) R 32304 32306 31591 0 -1 4202560 4414 0 0 0 104 1 0 0 18 0 4 0 529657170 767737856 32583 33554432000 4194304 4797429 140734494981680 18446744073709551615 4425034 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.66
Current children cumulated vsize (KiB) 749744

[startup+3.10092 s]
/proc/loadavg: 4.17 5.29 6.80 9/188 32310
/proc/meminfo: memFree=25656712/32951124 swapFree=67111412/67111528
[pid=32306] ppid=32304 vsize=757480 CPUtime=11.06 cores=1,3,5,7
/proc/32306/stat : 32306 (techdemo) R 32304 32306 31591 0 -1 4202496 38211 0 0 0 1096 10 0 0 21 0 4 0 529657127 775659520 35327 33554432000 4194304 4797429 140734494981680 18446744073709551615 4424994 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32306/statm: 189370 35327 416 148 0 184299 0
[pid=32306/tid=32308] ppid=32304 vsize=757480 CPUtime=2.65 cores=1,3,5,7
/proc/32306/task/32308/stat : 32308 (techdemo) R 32304 32306 31591 0 -1 4202560 5129 0 0 0 263 2 0 0 20 0 4 0 529657170 775659520 35327 33554432000 4194304 4797429 140734494981680 18446744073709551615 4520334 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32306/tid=32309] ppid=32304 vsize=757480 CPUtime=2.64 cores=1,3,5,7
/proc/32306/task/32309/stat : 32309 (techdemo) R 32304 32306 31591 0 -1 4202560 5383 0 0 0 263 1 0 0 21 0 4 0 529657170 775659520 35327 33554432000 4194304 4797429 140734494981680 18446744073709551615 4520385 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32306/tid=32310] ppid=32304 vsize=757480 CPUtime=2.66 cores=1,3,5,7
/proc/32306/task/32310/stat : 32310 (techdemo) R 32304 32306 31591 0 -1 4202560 4898 0 0 0 264 2 0 0 21 0 4 0 529657170 775659520 35327 33554432000 4194304 4797429 140734494981680 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 11.06
Current children cumulated vsize (KiB) 757480

[startup+6.30036 s]
/proc/loadavg: 4.17 5.29 6.80 9/188 32310
/proc/meminfo: memFree=25597192/32951124 swapFree=67111412/67111528
[pid=32306] ppid=32304 vsize=770256 CPUtime=23.84 cores=1,3,5,7
/proc/32306/stat : 32306 (techdemo) R 32304 32306 31591 0 -1 4202496 50389 0 0 0 2371 13 0 0 25 0 4 0 529657127 788742144 47172 33554432000 4194304 4797429 140734494981680 18446744073709551615 4413827 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32306/statm: 192564 47172 417 148 0 187493 0
[pid=32306/tid=32308] ppid=32304 vsize=770256 CPUtime=5.84 cores=1,3,5,7
/proc/32306/task/32308/stat : 32308 (techdemo) R 32304 32306 31591 0 -1 4202560 8005 0 0 0 582 2 0 0 25 0 4 0 529657170 788742144 47172 33554432000 4194304 4797429 140734494981680 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32306/tid=32309] ppid=32304 vsize=770256 CPUtime=5.82 cores=1,3,5,7
/proc/32306/task/32309/stat : 32309 (techdemo) R 32304 32306 31591 0 -1 4202560 8381 0 0 0 581 1 0 0 25 0 4 0 529657170 788742144 47172 33554432000 4194304 4797429 140734494981680 18446744073709551615 4520376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32306/tid=32310] ppid=32304 vsize=770256 CPUtime=5.85 cores=1,3,5,7
/proc/32306/task/32310/stat : 32310 (techdemo) R 32304 32306 31591 0 -1 4202560 8033 0 0 0 583 2 0 0 25 0 4 0 529657170 788742144 47172 33554432000 4194304 4797429 140734494981680 18446744073709551615 4557702 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 23.84
Current children cumulated vsize (KiB) 770256

[startup+12.7002 s]
/proc/loadavg: 4.76 5.38 6.81 9/188 32311
/proc/meminfo: memFree=25567480/32951124 swapFree=67111412/67111528
[pid=32306] ppid=32304 vsize=777616 CPUtime=49.39 cores=1,3,5,7
/proc/32306/stat : 32306 (techdemo) R 32304 32306 31591 0 -1 4202496 55434 0 0 0 4925 14 0 0 25 0 4 0 529657127 796278784 50139 33554432000 4194304 4797429 140734494981680 18446744073709551615 4424170 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32306/statm: 194404 50139 419 148 0 189333 0
[pid=32306/tid=32308] ppid=32304 vsize=777616 CPUtime=12.25 cores=1,3,5,7
/proc/32306/task/32308/stat : 32308 (techdemo) R 32304 32306 31591 0 -1 4202560 8648 0 0 0 1222 3 0 0 25 0 4 0 529657170 796278784 50139 33554432000 4194304 4797429 140734494981680 18446744073709551615 4520392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32306/tid=32309] ppid=32304 vsize=777616 CPUtime=12.19 cores=1,3,5,7
/proc/32306/task/32309/stat : 32309 (techdemo) R 32304 32306 31591 0 -1 4202560 9012 0 0 0 1217 2 0 0 25 0 4 0 529657170 796278784 50139 33554432000 4194304 4797429 140734494981680 18446744073709551615 4387808 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32306/tid=32310] ppid=32304 vsize=777616 CPUtime=12.24 cores=1,3,5,7
/proc/32306/task/32310/stat : 32310 (techdemo) R 32304 32306 31591 0 -1 4202560 8484 0 0 0 1222 2 0 0 25 0 4 0 529657170 796278784 50139 33554432000 4194304 4797429 140734494981680 18446744073709551615 4520280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 49.39
Current children cumulated vsize (KiB) 777616

[startup+25.5009 s]
/proc/loadavg: 5.25 5.46 6.82 9/188 32311
/proc/meminfo: memFree=25551512/32951124 swapFree=67111412/67111528
[pid=32306] ppid=32304 vsize=799248 CPUtime=100.53 cores=1,3,5,7
/proc/32306/stat : 32306 (techdemo) R 32304 32306 31591 0 -1 4202496 68354 0 0 0 10035 18 0 0 25 0 4 0 529657127 818429952 51740 33554432000 4194304 4797429 140734494981680 18446744073709551615 4524592 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32306/statm: 199812 51740 420 148 0 194741 0
[pid=32306/tid=32308] ppid=32304 vsize=799248 CPUtime=25.05 cores=1,3,5,7
/proc/32306/task/32308/stat : 32308 (techdemo) R 32304 32306 31591 0 -1 4202560 10416 0 0 0 2502 3 0 0 25 0 4 0 529657170 818429952 51740 33554432000 4194304 4797429 140734494981680 18446744073709551615 4429139 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32306/tid=32309] ppid=32304 vsize=799248 CPUtime=24.91 cores=1,3,5,7
/proc/32306/task/32309/stat : 32309 (techdemo) R 32304 32306 31591 0 -1 4202560 11263 0 0 0 2489 2 0 0 25 0 4 0 529657170 818429952 51740 33554432000 4194304 4797429 140734494981680 18446744073709551615 4519904 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32306/tid=32310] ppid=32304 vsize=799248 CPUtime=25.05 cores=1,3,5,7
/proc/32306/task/32310/stat : 32310 (techdemo) R 32304 32306 31591 0 -1 4202560 10323 0 0 0 2502 3 0 0 25 0 4 0 529657170 818429952 51740 33554432000 4194304 4797429 140734494981680 18446744073709551615 4424784 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 100.53
Current children cumulated vsize (KiB) 799248

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

[startup+31.9068 s]
/proc/loadavg: 5.68 5.55 6.84 9/188 32311
/proc/meminfo: memFree=25538116/32951124 swapFree=67111412/67111528
[pid=32306] ppid=32304 vsize=802312 CPUtime=126.11 cores=1,3,5,7
/proc/32306/stat : 32306 (techdemo) R 32304 32306 31591 0 -1 4202496 74027 0 0 0 12592 19 0 0 25 0 4 0 529657127 821567488 53445 33554432000 4194304 4797429 140734494981680 18446744073709551615 4425828 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32306/statm: 200578 53445 420 148 0 195507 0
[pid=32306/tid=32308] ppid=32304 vsize=802312 CPUtime=31.46 cores=1,3,5,7
/proc/32306/task/32308/stat : 32308 (techdemo) R 32304 32306 31591 0 -1 4202560 10696 0 0 0 3142 4 0 0 25 0 4 0 529657170 821567488 53445 33554432000 4194304 4797429 140734494981680 18446744073709551615 4429097 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32306/tid=32309] ppid=32304 vsize=802312 CPUtime=31.28 cores=1,3,5,7
/proc/32306/task/32309/stat : 32309 (techdemo) R 32304 32306 31591 0 -1 4202560 11485 0 0 0 3126 2 0 0 25 0 4 0 529657170 821567488 53445 33554432000 4194304 4797429 140734494981680 18446744073709551615 4428635 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32306/tid=32310] ppid=32304 vsize=802312 CPUtime=31.46 cores=1,3,5,7
/proc/32306/task/32310/stat : 32310 (techdemo) R 32304 32306 31591 0 -1 4202560 10636 0 0 0 3143 3 0 0 25 0 4 0 529657170 821567488 53445 33554432000 4194304 4797429 140734494981680 18446744073709551615 4425848 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 126.11
Current children cumulated vsize (KiB) 802312

[startup+38.3007 s]
/proc/loadavg: 5.86 5.59 6.84 9/188 32311
/proc/meminfo: memFree=25537620/32951124 swapFree=67111412/67111528
[pid=32306] ppid=32304 vsize=802392 CPUtime=151.66 cores=1,3,5,7
/proc/32306/stat : 32306 (techdemo) R 32304 32306 31591 0 -1 4202496 77020 0 0 0 15145 21 0 0 25 0 4 0 529657127 821649408 54365 33554432000 4194304 4797429 140734494981680 18446744073709551615 4425848 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32306/statm: 200598 54365 422 148 0 195527 0
[pid=32306/tid=32308] ppid=32304 vsize=802392 CPUtime=37.85 cores=1,3,5,7
/proc/32306/task/32308/stat : 32308 (techdemo) R 32304 32306 31591 0 -1 4202560 10823 0 0 0 3781 4 0 0 25 0 4 0 529657170 821649408 54365 33554432000 4194304 4797429 140734494981680 18446744073709551615 4429118 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32306/tid=32309] ppid=32304 vsize=802392 CPUtime=37.65 cores=1,3,5,7
/proc/32306/task/32309/stat : 32309 (techdemo) R 32304 32306 31591 0 -1 4202560 11675 0 0 0 3762 3 0 0 25 0 4 0 529657170 821649408 54365 33554432000 4194304 4797429 140734494981680 18446744073709551615 4415769 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32306/tid=32310] ppid=32304 vsize=802392 CPUtime=37.85 cores=1,3,5,7
/proc/32306/task/32310/stat : 32310 (techdemo) R 32304 32306 31591 0 -1 4202560 10747 0 0 0 3782 3 0 0 25 0 4 0 529657170 821649408 54365 33554432000 4194304 4797429 140734494981680 18446744073709551615 4429174 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 151.66
Current children cumulated vsize (KiB) 802392

[startup+39.9004 s]
/proc/loadavg: 5.86 5.59 6.84 9/188 32311
/proc/meminfo: memFree=25533280/32951124 swapFree=67111412/67111528
[pid=32306] ppid=32304 vsize=802392 CPUtime=158.05 cores=1,3,5,7
/proc/32306/stat : 32306 (techdemo) R 32304 32306 31591 0 -1 4202496 77488 0 0 0 15784 21 0 0 25 0 4 0 529657127 821649408 54807 33554432000 4194304 4797429 140734494981680 18446744073709551615 4423623 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32306/statm: 200598 54807 422 148 0 195527 0
[pid=32306/tid=32308] ppid=32304 vsize=802392 CPUtime=39.45 cores=1,3,5,7
/proc/32306/task/32308/stat : 32308 (techdemo) R 32304 32306 31591 0 -1 4202560 10823 0 0 0 3941 4 0 0 25 0 4 0 529657170 821649408 54807 33554432000 4194304 4797429 140734494981680 18446744073709551615 4520299 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32306/tid=32309] ppid=32304 vsize=802392 CPUtime=39.24 cores=1,3,5,7
/proc/32306/task/32309/stat : 32309 (techdemo) R 32304 32306 31591 0 -1 4202560 11742 0 0 0 3921 3 0 0 25 0 4 0 529657170 821649408 54807 33554432000 4194304 4797429 140734494981680 18446744073709551615 4642064 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32306/tid=32310] ppid=32304 vsize=802392 CPUtime=39.45 cores=1,3,5,7
/proc/32306/task/32310/stat : 32310 (techdemo) R 32304 32306 31591 0 -1 4202560 10806 0 0 0 3942 3 0 0 25 0 4 0 529657170 821649408 54807 33554432000 4194304 4797429 140734494981680 18446744073709551615 4356306 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 158.05
Current children cumulated vsize (KiB) 802392

[startup+40.7063 s]
/proc/loadavg: 5.86 5.59 6.84 9/188 32311
/proc/meminfo: memFree=25530056/32951124 swapFree=67111412/67111528
[pid=32306] ppid=32304 vsize=802392 CPUtime=161.27 cores=1,3,5,7
/proc/32306/stat : 32306 (techdemo) R 32304 32306 31591 0 -1 4202496 77866 0 0 0 16106 21 0 0 25 0 4 0 529657127 821649408 55181 33554432000 4194304 4797429 140734494981680 18446744073709551615 4424784 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32306/statm: 200598 55181 422 148 0 195527 0
[pid=32306/tid=32308] ppid=32304 vsize=802392 CPUtime=40.26 cores=1,3,5,7
/proc/32306/task/32308/stat : 32308 (techdemo) R 32304 32306 31591 0 -1 4202560 10831 0 0 0 4022 4 0 0 25 0 4 0 529657170 821649408 55181 33554432000 4194304 4797429 140734494981680 18446744073709551615 4425057 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32306/tid=32309] ppid=32304 vsize=802392 CPUtime=40.04 cores=1,3,5,7
/proc/32306/task/32309/stat : 32309 (techdemo) R 32304 32306 31591 0 -1 4202560 11742 0 0 0 4001 3 0 0 25 0 4 0 529657170 821649408 55181 33554432000 4194304 4797429 140734494981680 18446744073709551615 4520264 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32306/tid=32310] ppid=32304 vsize=802392 CPUtime=40.25 cores=1,3,5,7
/proc/32306/task/32310/stat : 32310 (techdemo) R 32304 32306 31591 0 -1 4202560 10871 0 0 0 4022 3 0 0 25 0 4 0 529657170 821649408 55181 33554432000 4194304 4797429 140734494981680 18446744073709551615 4428975 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 161.27
Current children cumulated vsize (KiB) 802392

[startup+41.1012 s]
/proc/loadavg: 5.86 5.59 6.84 9/188 32311
/proc/meminfo: memFree=25530056/32951124 swapFree=67111412/67111528
[pid=32306] ppid=32304 vsize=803288 CPUtime=162.84 cores=1,3,5,7
/proc/32306/stat : 32306 (techdemo) R 32304 32306 31591 0 -1 4202496 79394 0 0 0 16263 21 0 0 25 0 4 0 529657127 822566912 54409 33554432000 4194304 4797429 140734494981680 18446744073709551615 4424673 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32306/statm: 200822 54409 422 148 0 195751 0
[pid=32306/tid=32308] ppid=32304 vsize=803288 CPUtime=40.65 cores=1,3,5,7
/proc/32306/task/32308/stat : 32308 (techdemo) R 32304 32306 31591 0 -1 4202560 10865 0 0 0 4061 4 0 0 25 0 4 0 529657170 822566912 54409 33554432000 4194304 4797429 140734494981680 18446744073709551615 4425030 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32306/tid=32309] ppid=32304 vsize=803288 CPUtime=40.43 cores=1,3,5,7
/proc/32306/task/32309/stat : 32309 (techdemo) R 32304 32306 31591 0 -1 4202560 11742 0 0 0 4040 3 0 0 25 0 4 0 529657170 822566912 54409 33554432000 4194304 4797429 140734494981680 18446744073709551615 4524484 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32306/tid=32310] ppid=32304 vsize=803288 CPUtime=40.65 cores=1,3,5,7
/proc/32306/task/32310/stat : 32310 (techdemo) R 32304 32306 31591 0 -1 4202560 10871 0 0 0 4062 3 0 0 25 0 4 0 529657170 822566912 54409 33554432000 4194304 4797429 140734494981680 18446744073709551615 4429107 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 162.84
Current children cumulated vsize (KiB) 803288

[startup+41.5011 s]
/proc/loadavg: 5.86 5.59 6.84 9/188 32311
/proc/meminfo: memFree=25530056/32951124 swapFree=67111412/67111528
[pid=32306] ppid=32304 vsize=807816 CPUtime=163.96 cores=1,3,5,7
/proc/32306/stat : 32306 (techdemo) S 32304 32306 31591 0 -1 4202496 80540 0 0 0 16375 21 0 0 22 0 4 0 529657127 827203584 55549 33554432000 4194304 4797429 140734494981680 18446744073709551615 232347721329 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32306/statm: 201954 55549 426 148 0 196883 0
[pid=32306/tid=32308] ppid=32304 vsize=807816 CPUtime=40.89 cores=1,3,5,7
/proc/32306/task/32308/stat : 32308 (techdemo) S 32304 32306 31591 0 -1 4202560 10887 0 0 0 4085 4 0 0 25 0 4 0 529657170 827203584 55549 33554432000 4194304 4797429 140734494981680 18446744073709551615 47888235894324 0 0 4096 2 18446604471161004224 0 0 -1 5 0 0 0
[pid=32306/tid=32309] ppid=32304 vsize=807816 CPUtime=40.83 cores=1,3,5,7
/proc/32306/task/32309/stat : 32309 (techdemo) R 32304 32306 31591 0 -1 4202560 11742 0 0 0 4080 3 0 0 25 0 4 0 529657170 827203584 55549 33554432000 4194304 4797429 140734494981680 18446744073709551615 4427865 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32306/tid=32310] ppid=32304 vsize=807816 CPUtime=41.05 cores=1,3,5,7
/proc/32306/task/32310/stat : 32310 (techdemo) R 32304 32306 31591 0 -1 4202560 10871 0 0 0 4102 3 0 0 25 0 4 0 529657170 827203584 55549 33554432000 4194304 4797429 140734494981680 18446744073709551615 47888235894297 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 163.96
Current children cumulated vsize (KiB) 807816

[startup+41.6011 s]
/proc/loadavg: 5.86 5.59 6.84 9/188 32311
/proc/meminfo: memFree=25530056/32951124 swapFree=67111412/67111528
[pid=32306] ppid=32304 vsize=692168 CPUtime=164.18 cores=1,3,5,7
/proc/32306/stat : 32306 (techdemo) R 32304 32306 31591 0 -1 4202496 80549 0 0 0 16397 21 0 0 21 0 4 0 529657127 708780032 53312 33554432000 4194304 4797429 140734494981680 18446744073709551615 232335541640 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/32306/statm: 173042 53312 434 148 0 167971 0
[pid=32306/tid=32308] ppid=32304 vsize=692168 CPUtime=40.91 cores=1,3,5,7
/proc/32306/task/32308/stat : 32308 (techdemo) R 32304 32306 31591 0 -1 4202560 10887 0 0 0 4087 4 0 0 23 0 4 0 529657170 708780032 53312 33554432000 4194304 4797429 140734494981680 18446744073709551615 47888235894706 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32306/tid=32309] ppid=32304 vsize=692168 CPUtime=40.93 cores=1,3,5,7
/proc/32306/task/32309/stat : 32309 (techdemo) R 32304 32306 31591 0 -1 4202560 11742 0 0 0 4090 3 0 0 25 0 4 0 529657170 708780032 53312 33554432000 4194304 4797429 140734494981680 18446744073709551615 47888235894704 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32306/tid=32310] ppid=32304 vsize=692168 CPUtime=41.13 cores=1,3,5,7
/proc/32306/task/32310/stat : 32310 (techdemo) R 32304 32306 31591 0 -1 4202560 10871 0 0 0 4110 3 0 0 25 0 4 0 529657170 708780032 53312 33554432000 4194304 4797429 140734494981680 18446744073709551615 47888235894704 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 164.18
Current children cumulated vsize (KiB) 692168

Child status: 10
Real time (s): 41.6422
CPU time (s): 164.329
CPU user time (s): 164.104
CPU system time (s): 0.224965
CPU usage (%): 394.622
Max. virtual memory (cumulated for all children) (KiB): 901820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 164.104
system time used= 0.224965
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 80550
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= 4664
involuntary context switches= 3068

runsolver used 0.079987 second user time and 0.155976 second system time

The end

Begin job on node132 at 2011-04-30 18:23:10
IDJOB=3291724
IDBENCH=84802
IDSOLVER=1584
FILE ID=node132/3291724-1304180589
RUNJOBID= node132-1304180589-32284
PBS_JOBID= 13172423
Free space on /tmp= 72160 MiB

SOLVER NAME= CryptoMiniSat TechDemo-Alpha-mt
BENCH NAME= SAT04/industrial/vangelder/cnf-color/abb313GPIA-9-tr.used-as.sat04-321.cnf
COMMAND LINE= ./techdemo --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3291724-1304180589/watcher-3291724-1304180589 -o /tmp/evaluation-result-3291724-1304180589/solver-3291724-1304180589 -C 4800 -W 1300 -M 15500  ./techdemo --threads=4 HOME/instance-3291724-1304180589.cnf

TIME LIMIT= 4800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 6c3ea795f258ba82c81e44969c0c5fb4
RANDOM SEED=1704984303

node132.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	: 5332.74
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.76
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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.77
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.67
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.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.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:      25804792 kB
Buffers:        699080 kB
Cached:        5872792 kB
SwapCached:        112 kB
Active:        1569208 kB
Inactive:      5097320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25804792 kB
SwapTotal:    67111528 kB
SwapFree:     67111412 kB
Dirty:           22672 kB
Writeback:           0 kB
AnonPages:       94032 kB
Mapped:          15676 kB
Slab:           418268 kB
PageTables:       4464 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   688796 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 72152 MiB
End job on node132 at 2011-04-30 18:23:51