source: rtems/testsuites/smptests/smplock01/smplock01.scn @ d505fbb

5
Last change on this file since d505fbb was d505fbb, checked in by Sebastian Huber <sebastian.huber@…>, on 11/03/16 at 07:22:59

smptests/smplock01: Update screen file
  • Property mode set to 100644
File size: 87.6 KB
Line 
1*** BEGIN OF TEST SMPLOCK 1 ***
2<SMPLock01>
3  <GlobalTicketLockWithLocalCounter activeWorker="1">
4    <LocalCounter worker="0">18488947</LocalCounter>
5    <GlobalCounter>0</GlobalCounter>
6    <SumOfLocalCounter>18488947</SumOfLocalCounter>
7  </GlobalTicketLockWithLocalCounter>
8  <GlobalTicketLockWithLocalCounter activeWorker="2">
9    <LocalCounter worker="0">10408771</LocalCounter>
10    <LocalCounter worker="1">10408970</LocalCounter>
11    <GlobalCounter>0</GlobalCounter>
12    <SumOfLocalCounter>20817741</SumOfLocalCounter>
13  </GlobalTicketLockWithLocalCounter>
14  <GlobalTicketLockWithLocalCounter activeWorker="3">
15    <LocalCounter worker="0">5792952</LocalCounter>
16    <LocalCounter worker="1">5793000</LocalCounter>
17    <LocalCounter worker="2">5793002</LocalCounter>
18    <GlobalCounter>0</GlobalCounter>
19    <SumOfLocalCounter>17378954</SumOfLocalCounter>
20  </GlobalTicketLockWithLocalCounter>
21  <GlobalTicketLockWithLocalCounter activeWorker="4">
22    <LocalCounter worker="0">4199979</LocalCounter>
23    <LocalCounter worker="1">4199989</LocalCounter>
24    <LocalCounter worker="2">4199995</LocalCounter>
25    <LocalCounter worker="3">4199989</LocalCounter>
26    <GlobalCounter>0</GlobalCounter>
27    <SumOfLocalCounter>16799952</SumOfLocalCounter>
28  </GlobalTicketLockWithLocalCounter>
29  <GlobalTicketLockWithLocalCounter activeWorker="5">
30    <LocalCounter worker="0">3341769</LocalCounter>
31    <LocalCounter worker="1">3341779</LocalCounter>
32    <LocalCounter worker="2">3341783</LocalCounter>
33    <LocalCounter worker="3">3341776</LocalCounter>
34    <LocalCounter worker="4">3341784</LocalCounter>
35    <GlobalCounter>0</GlobalCounter>
36    <SumOfLocalCounter>16708891</SumOfLocalCounter>
37  </GlobalTicketLockWithLocalCounter>
38  <GlobalTicketLockWithLocalCounter activeWorker="6">
39    <LocalCounter worker="0">2766306</LocalCounter>
40    <LocalCounter worker="1">2766318</LocalCounter>
41    <LocalCounter worker="2">2766317</LocalCounter>
42    <LocalCounter worker="3">2766314</LocalCounter>
43    <LocalCounter worker="4">2766317</LocalCounter>
44    <LocalCounter worker="5">2766315</LocalCounter>
45    <GlobalCounter>0</GlobalCounter>
46    <SumOfLocalCounter>16597887</SumOfLocalCounter>
47  </GlobalTicketLockWithLocalCounter>
48  <GlobalTicketLockWithLocalCounter activeWorker="7">
49    <LocalCounter worker="0">2369782</LocalCounter>
50    <LocalCounter worker="1">2369785</LocalCounter>
51    <LocalCounter worker="2">2369785</LocalCounter>
52    <LocalCounter worker="3">2369784</LocalCounter>
53    <LocalCounter worker="4">2369787</LocalCounter>
54    <LocalCounter worker="5">2369784</LocalCounter>
55    <LocalCounter worker="6">2369786</LocalCounter>
56    <GlobalCounter>0</GlobalCounter>
57    <SumOfLocalCounter>16588493</SumOfLocalCounter>
58  </GlobalTicketLockWithLocalCounter>
59  <GlobalTicketLockWithLocalCounter activeWorker="8">
60    <LocalCounter worker="0">2088876</LocalCounter>
61    <LocalCounter worker="1">2088876</LocalCounter>
62    <LocalCounter worker="2">2088878</LocalCounter>
63    <LocalCounter worker="3">2088877</LocalCounter>
64    <LocalCounter worker="4">2088879</LocalCounter>
65    <LocalCounter worker="5">2088876</LocalCounter>
66    <LocalCounter worker="6">2088879</LocalCounter>
67    <LocalCounter worker="7">2088880</LocalCounter>
68    <GlobalCounter>0</GlobalCounter>
69    <SumOfLocalCounter>16711021</SumOfLocalCounter>
70  </GlobalTicketLockWithLocalCounter>
71  <GlobalTicketLockWithLocalCounter activeWorker="9">
72    <LocalCounter worker="0">535373</LocalCounter>
73    <LocalCounter worker="1">535382</LocalCounter>
74    <LocalCounter worker="2">535375</LocalCounter>
75    <LocalCounter worker="3">535370</LocalCounter>
76    <LocalCounter worker="4">535381</LocalCounter>
77    <LocalCounter worker="5">535373</LocalCounter>
78    <LocalCounter worker="6">535378</LocalCounter>
79    <LocalCounter worker="7">535378</LocalCounter>
80    <LocalCounter worker="8">535481</LocalCounter>
81    <GlobalCounter>0</GlobalCounter>
82    <SumOfLocalCounter>4818491</SumOfLocalCounter>
83  </GlobalTicketLockWithLocalCounter>
84  <GlobalTicketLockWithLocalCounter activeWorker="10">
85    <LocalCounter worker="0">479836</LocalCounter>
86    <LocalCounter worker="1">479858</LocalCounter>
87    <LocalCounter worker="2">479853</LocalCounter>
88    <LocalCounter worker="3">479874</LocalCounter>
89    <LocalCounter worker="4">479864</LocalCounter>
90    <LocalCounter worker="5">479821</LocalCounter>
91    <LocalCounter worker="6">479859</LocalCounter>
92    <LocalCounter worker="7">479851</LocalCounter>
93    <LocalCounter worker="8">480851</LocalCounter>
94    <LocalCounter worker="9">480850</LocalCounter>
95    <GlobalCounter>0</GlobalCounter>
96    <SumOfLocalCounter>4800517</SumOfLocalCounter>
97  </GlobalTicketLockWithLocalCounter>
98  <GlobalTicketLockWithLocalCounter activeWorker="11">
99    <LocalCounter worker="0">433033</LocalCounter>
100    <LocalCounter worker="1">433024</LocalCounter>
101    <LocalCounter worker="2">433052</LocalCounter>
102    <LocalCounter worker="3">433049</LocalCounter>
103    <LocalCounter worker="4">433048</LocalCounter>
104    <LocalCounter worker="5">433065</LocalCounter>
105    <LocalCounter worker="6">433039</LocalCounter>
106    <LocalCounter worker="7">433068</LocalCounter>
107    <LocalCounter worker="8">433715</LocalCounter>
108    <LocalCounter worker="9">433715</LocalCounter>
109    <LocalCounter worker="10">433753</LocalCounter>
110    <GlobalCounter>0</GlobalCounter>
111    <SumOfLocalCounter>4765561</SumOfLocalCounter>
112  </GlobalTicketLockWithLocalCounter>
113  <GlobalTicketLockWithLocalCounter activeWorker="12">
114    <LocalCounter worker="0">393376</LocalCounter>
115    <LocalCounter worker="1">393356</LocalCounter>
116    <LocalCounter worker="2">393353</LocalCounter>
117    <LocalCounter worker="3">393361</LocalCounter>
118    <LocalCounter worker="4">393368</LocalCounter>
119    <LocalCounter worker="5">393378</LocalCounter>
120    <LocalCounter worker="6">393360</LocalCounter>
121    <LocalCounter worker="7">393341</LocalCounter>
122    <LocalCounter worker="8">393736</LocalCounter>
123    <LocalCounter worker="9">393734</LocalCounter>
124    <LocalCounter worker="10">393743</LocalCounter>
125    <LocalCounter worker="11">393740</LocalCounter>
126    <GlobalCounter>0</GlobalCounter>
127    <SumOfLocalCounter>4721846</SumOfLocalCounter>
128  </GlobalTicketLockWithLocalCounter>
129  <GlobalTicketLockWithLocalCounter activeWorker="13">
130    <LocalCounter worker="0">358275</LocalCounter>
131    <LocalCounter worker="1">358264</LocalCounter>
132    <LocalCounter worker="2">358271</LocalCounter>
133    <LocalCounter worker="3">358246</LocalCounter>
134    <LocalCounter worker="4">358262</LocalCounter>
135    <LocalCounter worker="5">358250</LocalCounter>
136    <LocalCounter worker="6">358267</LocalCounter>
137    <LocalCounter worker="7">358266</LocalCounter>
138    <LocalCounter worker="8">358538</LocalCounter>
139    <LocalCounter worker="9">358534</LocalCounter>
140    <LocalCounter worker="10">358532</LocalCounter>
141    <LocalCounter worker="11">358533</LocalCounter>
142    <LocalCounter worker="12">358608</LocalCounter>
143    <GlobalCounter>0</GlobalCounter>
144    <SumOfLocalCounter>4658846</SumOfLocalCounter>
145  </GlobalTicketLockWithLocalCounter>
146  <GlobalTicketLockWithLocalCounter activeWorker="14">
147    <LocalCounter worker="0">330667</LocalCounter>
148    <LocalCounter worker="1">330677</LocalCounter>
149    <LocalCounter worker="2">330652</LocalCounter>
150    <LocalCounter worker="3">330656</LocalCounter>
151    <LocalCounter worker="4">330682</LocalCounter>
152    <LocalCounter worker="5">330655</LocalCounter>
153    <LocalCounter worker="6">330679</LocalCounter>
154    <LocalCounter worker="7">330662</LocalCounter>
155    <LocalCounter worker="8">330843</LocalCounter>
156    <LocalCounter worker="9">330837</LocalCounter>
157    <LocalCounter worker="10">330842</LocalCounter>
158    <LocalCounter worker="11">330840</LocalCounter>
159    <LocalCounter worker="12">330841</LocalCounter>
160    <LocalCounter worker="13">330835</LocalCounter>
161    <GlobalCounter>0</GlobalCounter>
162    <SumOfLocalCounter>4630368</SumOfLocalCounter>
163  </GlobalTicketLockWithLocalCounter>
164  <GlobalTicketLockWithLocalCounter activeWorker="15">
165    <LocalCounter worker="0">304222</LocalCounter>
166    <LocalCounter worker="1">304232</LocalCounter>
167    <LocalCounter worker="2">304211</LocalCounter>
168    <LocalCounter worker="3">304202</LocalCounter>
169    <LocalCounter worker="4">304212</LocalCounter>
170    <LocalCounter worker="5">304232</LocalCounter>
171    <LocalCounter worker="6">304228</LocalCounter>
172    <LocalCounter worker="7">304206</LocalCounter>
173    <LocalCounter worker="8">304350</LocalCounter>
174    <LocalCounter worker="9">304350</LocalCounter>
175    <LocalCounter worker="10">304349</LocalCounter>
176    <LocalCounter worker="11">304361</LocalCounter>
177    <LocalCounter worker="12">304367</LocalCounter>
178    <LocalCounter worker="13">304350</LocalCounter>
179    <LocalCounter worker="14">304522</LocalCounter>
180    <GlobalCounter>0</GlobalCounter>
181    <SumOfLocalCounter>4564394</SumOfLocalCounter>
182  </GlobalTicketLockWithLocalCounter>
183  <GlobalTicketLockWithLocalCounter activeWorker="16">
184    <LocalCounter worker="0">274413</LocalCounter>
185    <LocalCounter worker="1">274412</LocalCounter>
186    <LocalCounter worker="2">274414</LocalCounter>
187    <LocalCounter worker="3">274402</LocalCounter>
188    <LocalCounter worker="4">274409</LocalCounter>
189    <LocalCounter worker="5">274410</LocalCounter>
190    <LocalCounter worker="6">274404</LocalCounter>
191    <LocalCounter worker="7">274401</LocalCounter>
192    <LocalCounter worker="8">274407</LocalCounter>
193    <LocalCounter worker="9">274410</LocalCounter>
194    <LocalCounter worker="10">274415</LocalCounter>
195    <LocalCounter worker="11">274412</LocalCounter>
196    <LocalCounter worker="12">274404</LocalCounter>
197    <LocalCounter worker="13">274426</LocalCounter>
198    <LocalCounter worker="14">274414</LocalCounter>
199    <LocalCounter worker="15">274412</LocalCounter>
200    <GlobalCounter>0</GlobalCounter>
201    <SumOfLocalCounter>4390565</SumOfLocalCounter>
202  </GlobalTicketLockWithLocalCounter>
203  <GlobalTicketLockWithLocalCounter activeWorker="17">
204    <LocalCounter worker="0">259630</LocalCounter>
205    <LocalCounter worker="1">259619</LocalCounter>
206    <LocalCounter worker="2">259621</LocalCounter>
207    <LocalCounter worker="3">259624</LocalCounter>
208    <LocalCounter worker="4">259622</LocalCounter>
209    <LocalCounter worker="5">259621</LocalCounter>
210    <LocalCounter worker="6">259631</LocalCounter>
211    <LocalCounter worker="7">259632</LocalCounter>
212    <LocalCounter worker="8">259629</LocalCounter>
213    <LocalCounter worker="9">259621</LocalCounter>
214    <LocalCounter worker="10">259619</LocalCounter>
215    <LocalCounter worker="11">259623</LocalCounter>
216    <LocalCounter worker="12">259632</LocalCounter>
217    <LocalCounter worker="13">259628</LocalCounter>
218    <LocalCounter worker="14">259627</LocalCounter>
219    <LocalCounter worker="15">259623</LocalCounter>
220    <LocalCounter worker="16">259673</LocalCounter>
221    <GlobalCounter>0</GlobalCounter>
222    <SumOfLocalCounter>4413675</SumOfLocalCounter>
223  </GlobalTicketLockWithLocalCounter>
224  <GlobalTicketLockWithLocalCounter activeWorker="18">
225    <LocalCounter worker="0">237091</LocalCounter>
226    <LocalCounter worker="1">237091</LocalCounter>
227    <LocalCounter worker="2">237091</LocalCounter>
228    <LocalCounter worker="3">237089</LocalCounter>
229    <LocalCounter worker="4">237090</LocalCounter>
230    <LocalCounter worker="5">237090</LocalCounter>
231    <LocalCounter worker="6">237088</LocalCounter>
232    <LocalCounter worker="7">237092</LocalCounter>
233    <LocalCounter worker="8">237092</LocalCounter>
234    <LocalCounter worker="9">237095</LocalCounter>
235    <LocalCounter worker="10">237093</LocalCounter>
236    <LocalCounter worker="11">237091</LocalCounter>
237    <LocalCounter worker="12">237090</LocalCounter>
238    <LocalCounter worker="13">237090</LocalCounter>
239    <LocalCounter worker="14">237091</LocalCounter>
240    <LocalCounter worker="15">237092</LocalCounter>
241    <LocalCounter worker="16">237111</LocalCounter>
242    <LocalCounter worker="17">237110</LocalCounter>
243    <GlobalCounter>0</GlobalCounter>
244    <SumOfLocalCounter>4267677</SumOfLocalCounter>
245  </GlobalTicketLockWithLocalCounter>
246  <GlobalTicketLockWithLocalCounter activeWorker="19">
247    <LocalCounter worker="0">224860</LocalCounter>
248    <LocalCounter worker="1">224860</LocalCounter>
249    <LocalCounter worker="2">224859</LocalCounter>
250    <LocalCounter worker="3">224858</LocalCounter>
251    <LocalCounter worker="4">224859</LocalCounter>
252    <LocalCounter worker="5">224862</LocalCounter>
253    <LocalCounter worker="6">224861</LocalCounter>
254    <LocalCounter worker="7">224861</LocalCounter>
255    <LocalCounter worker="8">224862</LocalCounter>
256    <LocalCounter worker="9">224860</LocalCounter>
257    <LocalCounter worker="10">224860</LocalCounter>
258    <LocalCounter worker="11">224859</LocalCounter>
259    <LocalCounter worker="12">224865</LocalCounter>
260    <LocalCounter worker="13">224862</LocalCounter>
261    <LocalCounter worker="14">224859</LocalCounter>
262    <LocalCounter worker="15">224859</LocalCounter>
263    <LocalCounter worker="16">224884</LocalCounter>
264    <LocalCounter worker="17">224880</LocalCounter>
265    <LocalCounter worker="18">224881</LocalCounter>
266    <GlobalCounter>0</GlobalCounter>
267    <SumOfLocalCounter>4272411</SumOfLocalCounter>
268  </GlobalTicketLockWithLocalCounter>
269  <GlobalTicketLockWithLocalCounter activeWorker="20">
270    <LocalCounter worker="0">212719</LocalCounter>
271    <LocalCounter worker="1">212721</LocalCounter>
272    <LocalCounter worker="2">212721</LocalCounter>
273    <LocalCounter worker="3">212720</LocalCounter>
274    <LocalCounter worker="4">212724</LocalCounter>
275    <LocalCounter worker="5">212725</LocalCounter>
276    <LocalCounter worker="6">212726</LocalCounter>
277    <LocalCounter worker="7">212725</LocalCounter>
278    <LocalCounter worker="8">212723</LocalCounter>
279    <LocalCounter worker="9">212724</LocalCounter>
280    <LocalCounter worker="10">212721</LocalCounter>
281    <LocalCounter worker="11">212720</LocalCounter>
282    <LocalCounter worker="12">212724</LocalCounter>
283    <LocalCounter worker="13">212722</LocalCounter>
284    <LocalCounter worker="14">212726</LocalCounter>
285    <LocalCounter worker="15">212726</LocalCounter>
286    <LocalCounter worker="16">212743</LocalCounter>
287    <LocalCounter worker="17">212744</LocalCounter>
288    <LocalCounter worker="18">212744</LocalCounter>
289    <LocalCounter worker="19">212745</LocalCounter>
290    <GlobalCounter>0</GlobalCounter>
291    <SumOfLocalCounter>4254543</SumOfLocalCounter>
292  </GlobalTicketLockWithLocalCounter>
293  <GlobalTicketLockWithLocalCounter activeWorker="21">
294    <LocalCounter worker="0">198923</LocalCounter>
295    <LocalCounter worker="1">198922</LocalCounter>
296    <LocalCounter worker="2">198921</LocalCounter>
297    <LocalCounter worker="3">198921</LocalCounter>
298    <LocalCounter worker="4">198921</LocalCounter>
299    <LocalCounter worker="5">198923</LocalCounter>
300    <LocalCounter worker="6">198921</LocalCounter>
301    <LocalCounter worker="7">198924</LocalCounter>
302    <LocalCounter worker="8">198922</LocalCounter>
303    <LocalCounter worker="9">198920</LocalCounter>
304    <LocalCounter worker="10">198922</LocalCounter>
305    <LocalCounter worker="11">198922</LocalCounter>
306    <LocalCounter worker="12">198924</LocalCounter>
307    <LocalCounter worker="13">198922</LocalCounter>
308    <LocalCounter worker="14">198921</LocalCounter>
309    <LocalCounter worker="15">198922</LocalCounter>
310    <LocalCounter worker="16">198930</LocalCounter>
311    <LocalCounter worker="17">198930</LocalCounter>
312    <LocalCounter worker="18">198929</LocalCounter>
313    <LocalCounter worker="19">198929</LocalCounter>
314    <LocalCounter worker="20">198933</LocalCounter>
315    <GlobalCounter>0</GlobalCounter>
316    <SumOfLocalCounter>4177402</SumOfLocalCounter>
317  </GlobalTicketLockWithLocalCounter>
318  <GlobalTicketLockWithLocalCounter activeWorker="22">
319    <LocalCounter worker="0">189448</LocalCounter>
320    <LocalCounter worker="1">189450</LocalCounter>
321    <LocalCounter worker="2">189449</LocalCounter>
322    <LocalCounter worker="3">189448</LocalCounter>
323    <LocalCounter worker="4">189449</LocalCounter>
324    <LocalCounter worker="5">189450</LocalCounter>
325    <LocalCounter worker="6">189447</LocalCounter>
326    <LocalCounter worker="7">189446</LocalCounter>
327    <LocalCounter worker="8">189447</LocalCounter>
328    <LocalCounter worker="9">189447</LocalCounter>
329    <LocalCounter worker="10">189448</LocalCounter>
330    <LocalCounter worker="11">189449</LocalCounter>
331    <LocalCounter worker="12">189449</LocalCounter>
332    <LocalCounter worker="13">189450</LocalCounter>
333    <LocalCounter worker="14">189447</LocalCounter>
334    <LocalCounter worker="15">189449</LocalCounter>
335    <LocalCounter worker="16">189454</LocalCounter>
336    <LocalCounter worker="17">189452</LocalCounter>
337    <LocalCounter worker="18">189453</LocalCounter>
338    <LocalCounter worker="19">189453</LocalCounter>
339    <LocalCounter worker="20">189455</LocalCounter>
340    <LocalCounter worker="21">189453</LocalCounter>
341    <GlobalCounter>0</GlobalCounter>
342    <SumOfLocalCounter>4167893</SumOfLocalCounter>
343  </GlobalTicketLockWithLocalCounter>
344  <GlobalTicketLockWithLocalCounter activeWorker="23">
345    <LocalCounter worker="0">177492</LocalCounter>
346    <LocalCounter worker="1">177490</LocalCounter>
347    <LocalCounter worker="2">177489</LocalCounter>
348    <LocalCounter worker="3">177490</LocalCounter>
349    <LocalCounter worker="4">177491</LocalCounter>
350    <LocalCounter worker="5">177491</LocalCounter>
351    <LocalCounter worker="6">177491</LocalCounter>
352    <LocalCounter worker="7">177491</LocalCounter>
353    <LocalCounter worker="8">177492</LocalCounter>
354    <LocalCounter worker="9">177490</LocalCounter>
355    <LocalCounter worker="10">177492</LocalCounter>
356    <LocalCounter worker="11">177489</LocalCounter>
357    <LocalCounter worker="12">177491</LocalCounter>
358    <LocalCounter worker="13">177489</LocalCounter>
359    <LocalCounter worker="14">177491</LocalCounter>
360    <LocalCounter worker="15">177491</LocalCounter>
361    <LocalCounter worker="16">177494</LocalCounter>
362    <LocalCounter worker="17">177493</LocalCounter>
363    <LocalCounter worker="18">177493</LocalCounter>
364    <LocalCounter worker="19">177495</LocalCounter>
365    <LocalCounter worker="20">177493</LocalCounter>
366    <LocalCounter worker="21">177492</LocalCounter>
367    <LocalCounter worker="22">177498</LocalCounter>
368    <GlobalCounter>0</GlobalCounter>
369    <SumOfLocalCounter>4082308</SumOfLocalCounter>
370  </GlobalTicketLockWithLocalCounter>
371  <GlobalTicketLockWithLocalCounter activeWorker="24">
372    <LocalCounter worker="0">164885</LocalCounter>
373    <LocalCounter worker="1">164884</LocalCounter>
374    <LocalCounter worker="2">164884</LocalCounter>
375    <LocalCounter worker="3">164885</LocalCounter>
376    <LocalCounter worker="4">164884</LocalCounter>
377    <LocalCounter worker="5">164886</LocalCounter>
378    <LocalCounter worker="6">164887</LocalCounter>
379    <LocalCounter worker="7">164888</LocalCounter>
380    <LocalCounter worker="8">164885</LocalCounter>
381    <LocalCounter worker="9">164885</LocalCounter>
382    <LocalCounter worker="10">164884</LocalCounter>
383    <LocalCounter worker="11">164884</LocalCounter>
384    <LocalCounter worker="12">164884</LocalCounter>
385    <LocalCounter worker="13">164885</LocalCounter>
386    <LocalCounter worker="14">164886</LocalCounter>
387    <LocalCounter worker="15">164884</LocalCounter>
388    <LocalCounter worker="16">164883</LocalCounter>
389    <LocalCounter worker="17">164884</LocalCounter>
390    <LocalCounter worker="18">164885</LocalCounter>
391    <LocalCounter worker="19">164885</LocalCounter>
392    <LocalCounter worker="20">164884</LocalCounter>
393    <LocalCounter worker="21">164884</LocalCounter>
394    <LocalCounter worker="22">164884</LocalCounter>
395    <LocalCounter worker="23">164884</LocalCounter>
396    <GlobalCounter>0</GlobalCounter>
397    <SumOfLocalCounter>3957233</SumOfLocalCounter>
398  </GlobalTicketLockWithLocalCounter>
399  <GlobalMCSLockWithLocalCounter activeWorker="1">
400    <LocalCounter worker="0">13052163</LocalCounter>
401    <GlobalCounter>0</GlobalCounter>
402    <SumOfLocalCounter>13052163</SumOfLocalCounter>
403  </GlobalMCSLockWithLocalCounter>
404  <GlobalMCSLockWithLocalCounter activeWorker="2">
405    <LocalCounter worker="0">6249883</LocalCounter>
406    <LocalCounter worker="1">6250063</LocalCounter>
407    <GlobalCounter>0</GlobalCounter>
408    <SumOfLocalCounter>12499946</SumOfLocalCounter>
409  </GlobalMCSLockWithLocalCounter>
410  <GlobalMCSLockWithLocalCounter activeWorker="3">
411    <LocalCounter worker="0">2971593</LocalCounter>
412    <LocalCounter worker="1">2971609</LocalCounter>
413    <LocalCounter worker="2">2971610</LocalCounter>
414    <GlobalCounter>0</GlobalCounter>
415    <SumOfLocalCounter>8914812</SumOfLocalCounter>
416  </GlobalMCSLockWithLocalCounter>
417  <GlobalMCSLockWithLocalCounter activeWorker="4">
418    <LocalCounter worker="0">2917683</LocalCounter>
419    <LocalCounter worker="1">2917704</LocalCounter>
420    <LocalCounter worker="2">2917704</LocalCounter>
421    <LocalCounter worker="3">2917698</LocalCounter>
422    <GlobalCounter>0</GlobalCounter>
423    <SumOfLocalCounter>11670789</SumOfLocalCounter>
424  </GlobalMCSLockWithLocalCounter>
425  <GlobalMCSLockWithLocalCounter activeWorker="5">
426    <LocalCounter worker="0">3024302</LocalCounter>
427    <LocalCounter worker="1">3024315</LocalCounter>
428    <LocalCounter worker="2">3024315</LocalCounter>
429    <LocalCounter worker="3">3024313</LocalCounter>
430    <LocalCounter worker="4">3024315</LocalCounter>
431    <GlobalCounter>0</GlobalCounter>
432    <SumOfLocalCounter>15121560</SumOfLocalCounter>
433  </GlobalMCSLockWithLocalCounter>
434  <GlobalMCSLockWithLocalCounter activeWorker="6">
435    <LocalCounter worker="0">2592858</LocalCounter>
436    <LocalCounter worker="1">2592873</LocalCounter>
437    <LocalCounter worker="2">2592872</LocalCounter>
438    <LocalCounter worker="3">2592868</LocalCounter>
439    <LocalCounter worker="4">2592869</LocalCounter>
440    <LocalCounter worker="5">2592872</LocalCounter>
441    <GlobalCounter>0</GlobalCounter>
442    <SumOfLocalCounter>15557212</SumOfLocalCounter>
443  </GlobalMCSLockWithLocalCounter>
444  <GlobalMCSLockWithLocalCounter activeWorker="7">
445    <LocalCounter worker="0">2210518</LocalCounter>
446    <LocalCounter worker="1">2210526</LocalCounter>
447    <LocalCounter worker="2">2210526</LocalCounter>
448    <LocalCounter worker="3">2210524</LocalCounter>
449    <LocalCounter worker="4">2210526</LocalCounter>
450    <LocalCounter worker="5">2210527</LocalCounter>
451    <LocalCounter worker="6">2210526</LocalCounter>
452    <GlobalCounter>0</GlobalCounter>
453    <SumOfLocalCounter>15473673</SumOfLocalCounter>
454  </GlobalMCSLockWithLocalCounter>
455  <GlobalMCSLockWithLocalCounter activeWorker="8">
456    <LocalCounter worker="0">1911334</LocalCounter>
457    <LocalCounter worker="1">1911340</LocalCounter>
458    <LocalCounter worker="2">1911340</LocalCounter>
459    <LocalCounter worker="3">1911339</LocalCounter>
460    <LocalCounter worker="4">1911340</LocalCounter>
461    <LocalCounter worker="5">1911341</LocalCounter>
462    <LocalCounter worker="6">1911341</LocalCounter>
463    <LocalCounter worker="7">1911338</LocalCounter>
464    <GlobalCounter>0</GlobalCounter>
465    <SumOfLocalCounter>15290713</SumOfLocalCounter>
466  </GlobalMCSLockWithLocalCounter>
467  <GlobalMCSLockWithLocalCounter activeWorker="9">
468    <LocalCounter worker="0">1222955</LocalCounter>
469    <LocalCounter worker="1">1222958</LocalCounter>
470    <LocalCounter worker="2">1222958</LocalCounter>
471    <LocalCounter worker="3">1222956</LocalCounter>
472    <LocalCounter worker="4">1222959</LocalCounter>
473    <LocalCounter worker="5">1222958</LocalCounter>
474    <LocalCounter worker="6">1222959</LocalCounter>
475    <LocalCounter worker="7">1222957</LocalCounter>
476    <LocalCounter worker="8">1222957</LocalCounter>
477    <GlobalCounter>0</GlobalCounter>
478    <SumOfLocalCounter>11006617</SumOfLocalCounter>
479  </GlobalMCSLockWithLocalCounter>
480  <GlobalMCSLockWithLocalCounter activeWorker="10">
481    <LocalCounter worker="0">1033322</LocalCounter>
482    <LocalCounter worker="1">1033324</LocalCounter>
483    <LocalCounter worker="2">1033322</LocalCounter>
484    <LocalCounter worker="3">1033322</LocalCounter>
485    <LocalCounter worker="4">1033323</LocalCounter>
486    <LocalCounter worker="5">1033323</LocalCounter>
487    <LocalCounter worker="6">1033324</LocalCounter>
488    <LocalCounter worker="7">1033323</LocalCounter>
489    <LocalCounter worker="8">1033323</LocalCounter>
490    <LocalCounter worker="9">1033322</LocalCounter>
491    <GlobalCounter>0</GlobalCounter>
492    <SumOfLocalCounter>10333228</SumOfLocalCounter>
493  </GlobalMCSLockWithLocalCounter>
494  <GlobalMCSLockWithLocalCounter activeWorker="11">
495    <LocalCounter worker="0">782867</LocalCounter>
496    <LocalCounter worker="1">782869</LocalCounter>
497    <LocalCounter worker="2">782869</LocalCounter>
498    <LocalCounter worker="3">782868</LocalCounter>
499    <LocalCounter worker="4">782867</LocalCounter>
500    <LocalCounter worker="5">782869</LocalCounter>
501    <LocalCounter worker="6">782869</LocalCounter>
502    <LocalCounter worker="7">782868</LocalCounter>
503    <LocalCounter worker="8">782868</LocalCounter>
504    <LocalCounter worker="9">782866</LocalCounter>
505    <LocalCounter worker="10">782868</LocalCounter>
506    <GlobalCounter>0</GlobalCounter>
507    <SumOfLocalCounter>8611548</SumOfLocalCounter>
508  </GlobalMCSLockWithLocalCounter>
509  <GlobalMCSLockWithLocalCounter activeWorker="12">
510    <LocalCounter worker="0">667681</LocalCounter>
511    <LocalCounter worker="1">667683</LocalCounter>
512    <LocalCounter worker="2">667684</LocalCounter>
513    <LocalCounter worker="3">667682</LocalCounter>
514    <LocalCounter worker="4">667684</LocalCounter>
515    <LocalCounter worker="5">667683</LocalCounter>
516    <LocalCounter worker="6">667682</LocalCounter>
517    <LocalCounter worker="7">667683</LocalCounter>
518    <LocalCounter worker="8">667684</LocalCounter>
519    <LocalCounter worker="9">667683</LocalCounter>
520    <LocalCounter worker="10">667683</LocalCounter>
521    <LocalCounter worker="11">667682</LocalCounter>
522    <GlobalCounter>0</GlobalCounter>
523    <SumOfLocalCounter>8012194</SumOfLocalCounter>
524  </GlobalMCSLockWithLocalCounter>
525  <GlobalMCSLockWithLocalCounter activeWorker="13">
526    <LocalCounter worker="0">601940</LocalCounter>
527    <LocalCounter worker="1">601943</LocalCounter>
528    <LocalCounter worker="2">601942</LocalCounter>
529    <LocalCounter worker="3">601941</LocalCounter>
530    <LocalCounter worker="4">601943</LocalCounter>
531    <LocalCounter worker="5">601942</LocalCounter>
532    <LocalCounter worker="6">601943</LocalCounter>
533    <LocalCounter worker="7">601942</LocalCounter>
534    <LocalCounter worker="8">601942</LocalCounter>
535    <LocalCounter worker="9">601942</LocalCounter>
536    <LocalCounter worker="10">601943</LocalCounter>
537    <LocalCounter worker="11">601942</LocalCounter>
538    <LocalCounter worker="12">601942</LocalCounter>
539    <GlobalCounter>0</GlobalCounter>
540    <SumOfLocalCounter>7825247</SumOfLocalCounter>
541  </GlobalMCSLockWithLocalCounter>
542  <GlobalMCSLockWithLocalCounter activeWorker="14">
543    <LocalCounter worker="0">592663</LocalCounter>
544    <LocalCounter worker="1">592666</LocalCounter>
545    <LocalCounter worker="2">592665</LocalCounter>
546    <LocalCounter worker="3">592665</LocalCounter>
547    <LocalCounter worker="4">592664</LocalCounter>
548    <LocalCounter worker="5">592667</LocalCounter>
549    <LocalCounter worker="6">592665</LocalCounter>
550    <LocalCounter worker="7">592665</LocalCounter>
551    <LocalCounter worker="8">592665</LocalCounter>
552    <LocalCounter worker="9">592664</LocalCounter>
553    <LocalCounter worker="10">592666</LocalCounter>
554    <LocalCounter worker="11">592665</LocalCounter>
555    <LocalCounter worker="12">592665</LocalCounter>
556    <LocalCounter worker="13">592666</LocalCounter>
557    <GlobalCounter>0</GlobalCounter>
558    <SumOfLocalCounter>8297311</SumOfLocalCounter>
559  </GlobalMCSLockWithLocalCounter>
560  <GlobalMCSLockWithLocalCounter activeWorker="15">
561    <LocalCounter worker="0">493086</LocalCounter>
562    <LocalCounter worker="1">493087</LocalCounter>
563    <LocalCounter worker="2">493086</LocalCounter>
564    <LocalCounter worker="3">493087</LocalCounter>
565    <LocalCounter worker="4">493087</LocalCounter>
566    <LocalCounter worker="5">493087</LocalCounter>
567    <LocalCounter worker="6">493087</LocalCounter>
568    <LocalCounter worker="7">493087</LocalCounter>
569    <LocalCounter worker="8">493087</LocalCounter>
570    <LocalCounter worker="9">493086</LocalCounter>
571    <LocalCounter worker="10">493086</LocalCounter>
572    <LocalCounter worker="11">493087</LocalCounter>
573    <LocalCounter worker="12">493087</LocalCounter>
574    <LocalCounter worker="13">493086</LocalCounter>
575    <LocalCounter worker="14">493089</LocalCounter>
576    <GlobalCounter>0</GlobalCounter>
577    <SumOfLocalCounter>7396302</SumOfLocalCounter>
578  </GlobalMCSLockWithLocalCounter>
579  <GlobalMCSLockWithLocalCounter activeWorker="16">
580    <LocalCounter worker="0">462384</LocalCounter>
581    <LocalCounter worker="1">462386</LocalCounter>
582    <LocalCounter worker="2">462387</LocalCounter>
583    <LocalCounter worker="3">462386</LocalCounter>
584    <LocalCounter worker="4">462384</LocalCounter>
585    <LocalCounter worker="5">462385</LocalCounter>
586    <LocalCounter worker="6">462384</LocalCounter>
587    <LocalCounter worker="7">462384</LocalCounter>
588    <LocalCounter worker="8">462386</LocalCounter>
589    <LocalCounter worker="9">462385</LocalCounter>
590    <LocalCounter worker="10">462385</LocalCounter>
591    <LocalCounter worker="11">462384</LocalCounter>
592    <LocalCounter worker="12">462384</LocalCounter>
593    <LocalCounter worker="13">462385</LocalCounter>
594    <LocalCounter worker="14">462384</LocalCounter>
595    <LocalCounter worker="15">462385</LocalCounter>
596    <GlobalCounter>0</GlobalCounter>
597    <SumOfLocalCounter>7398158</SumOfLocalCounter>
598  </GlobalMCSLockWithLocalCounter>
599  <GlobalMCSLockWithLocalCounter activeWorker="17">
600    <LocalCounter worker="0">444000</LocalCounter>
601    <LocalCounter worker="1">443997</LocalCounter>
602    <LocalCounter worker="2">443999</LocalCounter>
603    <LocalCounter worker="3">443999</LocalCounter>
604    <LocalCounter worker="4">444003</LocalCounter>
605    <LocalCounter worker="5">443999</LocalCounter>
606    <LocalCounter worker="6">443999</LocalCounter>
607    <LocalCounter worker="7">443999</LocalCounter>
608    <LocalCounter worker="8">444003</LocalCounter>
609    <LocalCounter worker="9">443997</LocalCounter>
610    <LocalCounter worker="10">444002</LocalCounter>
611    <LocalCounter worker="11">443998</LocalCounter>
612    <LocalCounter worker="12">444002</LocalCounter>
613    <LocalCounter worker="13">443995</LocalCounter>
614    <LocalCounter worker="14">444003</LocalCounter>
615    <LocalCounter worker="15">444000</LocalCounter>
616    <LocalCounter worker="16">444006</LocalCounter>
617    <GlobalCounter>0</GlobalCounter>
618    <SumOfLocalCounter>7548001</SumOfLocalCounter>
619  </GlobalMCSLockWithLocalCounter>
620  <GlobalMCSLockWithLocalCounter activeWorker="18">
621    <LocalCounter worker="0">405647</LocalCounter>
622    <LocalCounter worker="1">405651</LocalCounter>
623    <LocalCounter worker="2">405648</LocalCounter>
624    <LocalCounter worker="3">405644</LocalCounter>
625    <LocalCounter worker="4">405646</LocalCounter>
626    <LocalCounter worker="5">405651</LocalCounter>
627    <LocalCounter worker="6">405646</LocalCounter>
628    <LocalCounter worker="7">405646</LocalCounter>
629    <LocalCounter worker="8">405645</LocalCounter>
630    <LocalCounter worker="9">405647</LocalCounter>
631    <LocalCounter worker="10">405653</LocalCounter>
632    <LocalCounter worker="11">405650</LocalCounter>
633    <LocalCounter worker="12">405648</LocalCounter>
634    <LocalCounter worker="13">405650</LocalCounter>
635    <LocalCounter worker="14">405648</LocalCounter>
636    <LocalCounter worker="15">405648</LocalCounter>
637    <LocalCounter worker="16">405649</LocalCounter>
638    <LocalCounter worker="17">405646</LocalCounter>
639    <GlobalCounter>0</GlobalCounter>
640    <SumOfLocalCounter>7301663</SumOfLocalCounter>
641  </GlobalMCSLockWithLocalCounter>
642  <GlobalMCSLockWithLocalCounter activeWorker="19">
643    <LocalCounter worker="0">368682</LocalCounter>
644    <LocalCounter worker="1">368649</LocalCounter>
645    <LocalCounter worker="2">368690</LocalCounter>
646    <LocalCounter worker="3">368691</LocalCounter>
647    <LocalCounter worker="4">368656</LocalCounter>
648    <LocalCounter worker="5">368663</LocalCounter>
649    <LocalCounter worker="6">368673</LocalCounter>
650    <LocalCounter worker="7">368669</LocalCounter>
651    <LocalCounter worker="8">368677</LocalCounter>
652    <LocalCounter worker="9">368677</LocalCounter>
653    <LocalCounter worker="10">368679</LocalCounter>
654    <LocalCounter worker="11">368687</LocalCounter>
655    <LocalCounter worker="12">368688</LocalCounter>
656    <LocalCounter worker="13">368686</LocalCounter>
657    <LocalCounter worker="14">368677</LocalCounter>
658    <LocalCounter worker="15">368681</LocalCounter>
659    <LocalCounter worker="16">368601</LocalCounter>
660    <LocalCounter worker="17">368584</LocalCounter>
661    <LocalCounter worker="18">368598</LocalCounter>
662    <GlobalCounter>0</GlobalCounter>
663    <SumOfLocalCounter>7004608</SumOfLocalCounter>
664  </GlobalMCSLockWithLocalCounter>
665  <GlobalMCSLockWithLocalCounter activeWorker="20">
666    <LocalCounter worker="0">377161</LocalCounter>
667    <LocalCounter worker="1">377163</LocalCounter>
668    <LocalCounter worker="2">377174</LocalCounter>
669    <LocalCounter worker="3">377191</LocalCounter>
670    <LocalCounter worker="4">377164</LocalCounter>
671    <LocalCounter worker="5">377131</LocalCounter>
672    <LocalCounter worker="6">377141</LocalCounter>
673    <LocalCounter worker="7">377109</LocalCounter>
674    <LocalCounter worker="8">377238</LocalCounter>
675    <LocalCounter worker="9">377231</LocalCounter>
676    <LocalCounter worker="10">377218</LocalCounter>
677    <LocalCounter worker="11">377227</LocalCounter>
678    <LocalCounter worker="12">377244</LocalCounter>
679    <LocalCounter worker="13">377234</LocalCounter>
680    <LocalCounter worker="14">377232</LocalCounter>
681    <LocalCounter worker="15">377216</LocalCounter>
682    <LocalCounter worker="16">376777</LocalCounter>
683    <LocalCounter worker="17">376775</LocalCounter>
684    <LocalCounter worker="18">376769</LocalCounter>
685    <LocalCounter worker="19">376796</LocalCounter>
686    <GlobalCounter>0</GlobalCounter>
687    <SumOfLocalCounter>7542191</SumOfLocalCounter>
688  </GlobalMCSLockWithLocalCounter>
689  <GlobalMCSLockWithLocalCounter activeWorker="21">
690    <LocalCounter worker="0">344202</LocalCounter>
691    <LocalCounter worker="1">344622</LocalCounter>
692    <LocalCounter worker="2">344067</LocalCounter>
693    <LocalCounter worker="3">344419</LocalCounter>
694    <LocalCounter worker="4">343655</LocalCounter>
695    <LocalCounter worker="5">343922</LocalCounter>
696    <LocalCounter worker="6">343404</LocalCounter>
697    <LocalCounter worker="7">343235</LocalCounter>
698    <LocalCounter worker="8">352351</LocalCounter>
699    <LocalCounter worker="9">352850</LocalCounter>
700    <LocalCounter worker="10">352931</LocalCounter>
701    <LocalCounter worker="11">352932</LocalCounter>
702    <LocalCounter worker="12">353155</LocalCounter>
703    <LocalCounter worker="13">352736</LocalCounter>
704    <LocalCounter worker="14">352964</LocalCounter>
705    <LocalCounter worker="15">353029</LocalCounter>
706    <LocalCounter worker="16">290883</LocalCounter>
707    <LocalCounter worker="17">290649</LocalCounter>
708    <LocalCounter worker="18">290744</LocalCounter>
709    <LocalCounter worker="19">290552</LocalCounter>
710    <LocalCounter worker="20">291478</LocalCounter>
711    <GlobalCounter>0</GlobalCounter>
712    <SumOfLocalCounter>7028780</SumOfLocalCounter>
713  </GlobalMCSLockWithLocalCounter>
714  <GlobalMCSLockWithLocalCounter activeWorker="22">
715    <LocalCounter worker="0">320717</LocalCounter>
716    <LocalCounter worker="1">320587</LocalCounter>
717    <LocalCounter worker="2">320424</LocalCounter>
718    <LocalCounter worker="3">320715</LocalCounter>
719    <LocalCounter worker="4">320905</LocalCounter>
720    <LocalCounter worker="5">316975</LocalCounter>
721    <LocalCounter worker="6">316841</LocalCounter>
722    <LocalCounter worker="7">317262</LocalCounter>
723    <LocalCounter worker="8">315703</LocalCounter>
724    <LocalCounter worker="9">319811</LocalCounter>
725    <LocalCounter worker="10">319117</LocalCounter>
726    <LocalCounter worker="11">319402</LocalCounter>
727    <LocalCounter worker="12">320093</LocalCounter>
728    <LocalCounter worker="13">319963</LocalCounter>
729    <LocalCounter worker="14">320021</LocalCounter>
730    <LocalCounter worker="15">320218</LocalCounter>
731    <LocalCounter worker="16">288739</LocalCounter>
732    <LocalCounter worker="17">288974</LocalCounter>
733    <LocalCounter worker="18">289159</LocalCounter>
734    <LocalCounter worker="19">289033</LocalCounter>
735    <LocalCounter worker="20">288433</LocalCounter>
736    <LocalCounter worker="21">284984</LocalCounter>
737    <GlobalCounter>0</GlobalCounter>
738    <SumOfLocalCounter>6838076</SumOfLocalCounter>
739  </GlobalMCSLockWithLocalCounter>
740  <GlobalMCSLockWithLocalCounter activeWorker="23">
741    <LocalCounter worker="0">318178</LocalCounter>
742    <LocalCounter worker="1">318395</LocalCounter>
743    <LocalCounter worker="2">319081</LocalCounter>
744    <LocalCounter worker="3">318467</LocalCounter>
745    <LocalCounter worker="4">318876</LocalCounter>
746    <LocalCounter worker="5">315686</LocalCounter>
747    <LocalCounter worker="6">315218</LocalCounter>
748    <LocalCounter worker="7">315397</LocalCounter>
749    <LocalCounter worker="8">313680</LocalCounter>
750    <LocalCounter worker="9">317143</LocalCounter>
751    <LocalCounter worker="10">317234</LocalCounter>
752    <LocalCounter worker="11">317102</LocalCounter>
753    <LocalCounter worker="12">317395</LocalCounter>
754    <LocalCounter worker="13">317189</LocalCounter>
755    <LocalCounter worker="14">317487</LocalCounter>
756    <LocalCounter worker="15">317394</LocalCounter>
757    <LocalCounter worker="16">305239</LocalCounter>
758    <LocalCounter worker="17">304909</LocalCounter>
759    <LocalCounter worker="18">305590</LocalCounter>
760    <LocalCounter worker="19">305457</LocalCounter>
761    <LocalCounter worker="20">305662</LocalCounter>
762    <LocalCounter worker="21">303160</LocalCounter>
763    <LocalCounter worker="22">304358</LocalCounter>
764    <GlobalCounter>0</GlobalCounter>
765    <SumOfLocalCounter>7208297</SumOfLocalCounter>
766  </GlobalMCSLockWithLocalCounter>
767  <GlobalMCSLockWithLocalCounter activeWorker="24">
768    <LocalCounter worker="0">299263</LocalCounter>
769    <LocalCounter worker="1">298742</LocalCounter>
770    <LocalCounter worker="2">300224</LocalCounter>
771    <LocalCounter worker="3">299675</LocalCounter>
772    <LocalCounter worker="4">300411</LocalCounter>
773    <LocalCounter worker="5">292962</LocalCounter>
774    <LocalCounter worker="6">292878</LocalCounter>
775    <LocalCounter worker="7">293233</LocalCounter>
776    <LocalCounter worker="8">286026</LocalCounter>
777    <LocalCounter worker="9">294896</LocalCounter>
778    <LocalCounter worker="10">294288</LocalCounter>
779    <LocalCounter worker="11">294873</LocalCounter>
780    <LocalCounter worker="12">294293</LocalCounter>
781    <LocalCounter worker="13">294051</LocalCounter>
782    <LocalCounter worker="14">294365</LocalCounter>
783    <LocalCounter worker="15">293904</LocalCounter>
784    <LocalCounter worker="16">298269</LocalCounter>
785    <LocalCounter worker="17">298190</LocalCounter>
786    <LocalCounter worker="18">298452</LocalCounter>
787    <LocalCounter worker="19">298896</LocalCounter>
788    <LocalCounter worker="20">299491</LocalCounter>
789    <LocalCounter worker="21">290312</LocalCounter>
790    <LocalCounter worker="22">290176</LocalCounter>
791    <LocalCounter worker="23">298399</LocalCounter>
792    <GlobalCounter>0</GlobalCounter>
793    <SumOfLocalCounter>7096269</SumOfLocalCounter>
794  </GlobalMCSLockWithLocalCounter>
795  <GlobalTicketLockWithGlobalCounter activeWorker="24">
796    <LocalCounter worker="0">149884</LocalCounter>
797    <LocalCounter worker="1">149885</LocalCounter>
798    <LocalCounter worker="2">149884</LocalCounter>
799    <LocalCounter worker="3">149884</LocalCounter>
800    <LocalCounter worker="4">149884</LocalCounter>
801    <LocalCounter worker="5">149884</LocalCounter>
802    <LocalCounter worker="6">149884</LocalCounter>
803    <LocalCounter worker="7">149885</LocalCounter>
804    <LocalCounter worker="8">149884</LocalCounter>
805    <LocalCounter worker="9">149884</LocalCounter>
806    <LocalCounter worker="10">149885</LocalCounter>
807    <LocalCounter worker="11">149885</LocalCounter>
808    <LocalCounter worker="12">149884</LocalCounter>
809    <LocalCounter worker="13">149884</LocalCounter>
810    <LocalCounter worker="14">149884</LocalCounter>
811    <LocalCounter worker="15">149886</LocalCounter>
812    <LocalCounter worker="16">149884</LocalCounter>
813    <LocalCounter worker="17">149884</LocalCounter>
814    <LocalCounter worker="18">149884</LocalCounter>
815    <LocalCounter worker="19">149885</LocalCounter>
816    <LocalCounter worker="20">149884</LocalCounter>
817    <LocalCounter worker="21">149884</LocalCounter>
818    <LocalCounter worker="22">149884</LocalCounter>
819    <LocalCounter worker="23">149885</LocalCounter>
820    <GlobalCounter>3597224</GlobalCounter>
821    <SumOfLocalCounter>3597224</SumOfLocalCounter>
822  </GlobalTicketLockWithGlobalCounter>
823  <GlobalMCSLockWithGlobalCounter activeWorker="24">
824    <LocalCounter worker="0">207836</LocalCounter>
825    <LocalCounter worker="1">207836</LocalCounter>
826    <LocalCounter worker="2">207836</LocalCounter>
827    <LocalCounter worker="3">207836</LocalCounter>
828    <LocalCounter worker="4">207835</LocalCounter>
829    <LocalCounter worker="5">207835</LocalCounter>
830    <LocalCounter worker="6">207837</LocalCounter>
831    <LocalCounter worker="7">207837</LocalCounter>
832    <LocalCounter worker="8">207835</LocalCounter>
833    <LocalCounter worker="9">207836</LocalCounter>
834    <LocalCounter worker="10">207836</LocalCounter>
835    <LocalCounter worker="11">207837</LocalCounter>
836    <LocalCounter worker="12">207836</LocalCounter>
837    <LocalCounter worker="13">207836</LocalCounter>
838    <LocalCounter worker="14">207836</LocalCounter>
839    <LocalCounter worker="15">207835</LocalCounter>
840    <LocalCounter worker="16">207836</LocalCounter>
841    <LocalCounter worker="17">207837</LocalCounter>
842    <LocalCounter worker="18">207836</LocalCounter>
843    <LocalCounter worker="19">207835</LocalCounter>
844    <LocalCounter worker="20">207836</LocalCounter>
845    <LocalCounter worker="21">207836</LocalCounter>
846    <LocalCounter worker="22">207835</LocalCounter>
847    <LocalCounter worker="23">207835</LocalCounter>
848    <GlobalCounter>4988061</GlobalCounter>
849    <SumOfLocalCounter>4988061</SumOfLocalCounter>
850  </GlobalMCSLockWithGlobalCounter>
851  <LocalTicketLockWithLocalCounter activeWorker="1">
852    <LocalCounter worker="0">18650458</LocalCounter>
853    <GlobalCounter>0</GlobalCounter>
854    <SumOfLocalCounter>18650458</SumOfLocalCounter>
855  </LocalTicketLockWithLocalCounter>
856  <LocalTicketLockWithLocalCounter activeWorker="2">
857    <LocalCounter worker="0">17783819</LocalCounter>
858    <LocalCounter worker="1">17785099</LocalCounter>
859    <GlobalCounter>0</GlobalCounter>
860    <SumOfLocalCounter>35568918</SumOfLocalCounter>
861  </LocalTicketLockWithLocalCounter>
862  <LocalTicketLockWithLocalCounter activeWorker="3">
863    <LocalCounter worker="0">16520473</LocalCounter>
864    <LocalCounter worker="1">16521638</LocalCounter>
865    <LocalCounter worker="2">17564324</LocalCounter>
866    <GlobalCounter>0</GlobalCounter>
867    <SumOfLocalCounter>50606435</SumOfLocalCounter>
868  </LocalTicketLockWithLocalCounter>
869  <LocalTicketLockWithLocalCounter activeWorker="4">
870    <LocalCounter worker="0">16137393</LocalCounter>
871    <LocalCounter worker="1">16138619</LocalCounter>
872    <LocalCounter worker="2">16303116</LocalCounter>
873    <LocalCounter worker="3">16302393</LocalCounter>
874    <GlobalCounter>0</GlobalCounter>
875    <SumOfLocalCounter>64881521</SumOfLocalCounter>
876  </LocalTicketLockWithLocalCounter>
877  <LocalTicketLockWithLocalCounter activeWorker="5">
878    <LocalCounter worker="0">16215163</LocalCounter>
879    <LocalCounter worker="1">16216385</LocalCounter>
880    <LocalCounter worker="2">16419724</LocalCounter>
881    <LocalCounter worker="3">16418949</LocalCounter>
882    <LocalCounter worker="4">16568002</LocalCounter>
883    <GlobalCounter>0</GlobalCounter>
884    <SumOfLocalCounter>81838223</SumOfLocalCounter>
885  </LocalTicketLockWithLocalCounter>
886  <LocalTicketLockWithLocalCounter activeWorker="6">
887    <LocalCounter worker="0">15565201</LocalCounter>
888    <LocalCounter worker="1">15566389</LocalCounter>
889    <LocalCounter worker="2">15685815</LocalCounter>
890    <LocalCounter worker="3">15685127</LocalCounter>
891    <LocalCounter worker="4">15620223</LocalCounter>
892    <LocalCounter worker="5">15620726</LocalCounter>
893    <GlobalCounter>0</GlobalCounter>
894    <SumOfLocalCounter>93743481</SumOfLocalCounter>
895  </LocalTicketLockWithLocalCounter>
896  <LocalTicketLockWithLocalCounter activeWorker="7">
897    <LocalCounter worker="0">15943795</LocalCounter>
898    <LocalCounter worker="1">15944974</LocalCounter>
899    <LocalCounter worker="2">15977607</LocalCounter>
900    <LocalCounter worker="3">15977022</LocalCounter>
901    <LocalCounter worker="4">15903753</LocalCounter>
902    <LocalCounter worker="5">15904253</LocalCounter>
903    <LocalCounter worker="6">16117471</LocalCounter>
904    <GlobalCounter>0</GlobalCounter>
905    <SumOfLocalCounter>111768875</SumOfLocalCounter>
906  </LocalTicketLockWithLocalCounter>
907  <LocalTicketLockWithLocalCounter activeWorker="8">
908    <LocalCounter worker="0">15239786</LocalCounter>
909    <LocalCounter worker="1">15240906</LocalCounter>
910    <LocalCounter worker="2">15327597</LocalCounter>
911    <LocalCounter worker="3">15326914</LocalCounter>
912    <LocalCounter worker="4">15310067</LocalCounter>
913    <LocalCounter worker="5">15310575</LocalCounter>
914    <LocalCounter worker="6">15337426</LocalCounter>
915    <LocalCounter worker="7">15336718</LocalCounter>
916    <GlobalCounter>0</GlobalCounter>
917    <SumOfLocalCounter>122429989</SumOfLocalCounter>
918  </LocalTicketLockWithLocalCounter>
919  <LocalTicketLockWithLocalCounter activeWorker="9">
920    <LocalCounter worker="0">15454569</LocalCounter>
921    <LocalCounter worker="1">15455745</LocalCounter>
922    <LocalCounter worker="2">15503002</LocalCounter>
923    <LocalCounter worker="3">15502385</LocalCounter>
924    <LocalCounter worker="4">15413852</LocalCounter>
925    <LocalCounter worker="5">15414319</LocalCounter>
926    <LocalCounter worker="6">15520760</LocalCounter>
927    <LocalCounter worker="7">15520203</LocalCounter>
928    <LocalCounter worker="8">18688666</LocalCounter>
929    <GlobalCounter>0</GlobalCounter>
930    <SumOfLocalCounter>142473501</SumOfLocalCounter>
931  </LocalTicketLockWithLocalCounter>
932  <LocalTicketLockWithLocalCounter activeWorker="10">
933    <LocalCounter worker="0">15380608</LocalCounter>
934    <LocalCounter worker="1">15381745</LocalCounter>
935    <LocalCounter worker="2">15462107</LocalCounter>
936    <LocalCounter worker="3">15461369</LocalCounter>
937    <LocalCounter worker="4">15401483</LocalCounter>
938    <LocalCounter worker="5">15401869</LocalCounter>
939    <LocalCounter worker="6">15477566</LocalCounter>
940    <LocalCounter worker="7">15476963</LocalCounter>
941    <LocalCounter worker="8">17527446</LocalCounter>
942    <LocalCounter worker="9">17527935</LocalCounter>
943    <GlobalCounter>0</GlobalCounter>
944    <SumOfLocalCounter>158499091</SumOfLocalCounter>
945  </LocalTicketLockWithLocalCounter>
946  <LocalTicketLockWithLocalCounter activeWorker="11">
947    <LocalCounter worker="0">15391003</LocalCounter>
948    <LocalCounter worker="1">15392179</LocalCounter>
949    <LocalCounter worker="2">15471014</LocalCounter>
950    <LocalCounter worker="3">15470425</LocalCounter>
951    <LocalCounter worker="4">15386413</LocalCounter>
952    <LocalCounter worker="5">15386829</LocalCounter>
953    <LocalCounter worker="6">15487034</LocalCounter>
954    <LocalCounter worker="7">15486425</LocalCounter>
955    <LocalCounter worker="8">16657492</LocalCounter>
956    <LocalCounter worker="9">16658025</LocalCounter>
957    <LocalCounter worker="10">17594537</LocalCounter>
958    <GlobalCounter>0</GlobalCounter>
959    <SumOfLocalCounter>174381376</SumOfLocalCounter>
960  </LocalTicketLockWithLocalCounter>
961  <LocalTicketLockWithLocalCounter activeWorker="12">
962    <LocalCounter worker="0">15339827</LocalCounter>
963    <LocalCounter worker="1">15341004</LocalCounter>
964    <LocalCounter worker="2">15416423</LocalCounter>
965    <LocalCounter worker="3">15415808</LocalCounter>
966    <LocalCounter worker="4">15324518</LocalCounter>
967    <LocalCounter worker="5">15324985</LocalCounter>
968    <LocalCounter worker="6">15428303</LocalCounter>
969    <LocalCounter worker="7">15427710</LocalCounter>
970    <LocalCounter worker="8">16046885</LocalCounter>
971    <LocalCounter worker="9">16047411</LocalCounter>
972    <LocalCounter worker="10">16267282</LocalCounter>
973    <LocalCounter worker="11">16266605</LocalCounter>
974    <GlobalCounter>0</GlobalCounter>
975    <SumOfLocalCounter>187646761</SumOfLocalCounter>
976  </LocalTicketLockWithLocalCounter>
977  <LocalTicketLockWithLocalCounter activeWorker="13">
978    <LocalCounter worker="0">15453325</LocalCounter>
979    <LocalCounter worker="1">15454520</LocalCounter>
980    <LocalCounter worker="2">15499213</LocalCounter>
981    <LocalCounter worker="3">15498628</LocalCounter>
982    <LocalCounter worker="4">15475931</LocalCounter>
983    <LocalCounter worker="5">15476378</LocalCounter>
984    <LocalCounter worker="6">15538095</LocalCounter>
985    <LocalCounter worker="7">15537475</LocalCounter>
986    <LocalCounter worker="8">16215480</LocalCounter>
987    <LocalCounter worker="9">16215815</LocalCounter>
988    <LocalCounter worker="10">16444160</LocalCounter>
989    <LocalCounter worker="11">16443272</LocalCounter>
990    <LocalCounter worker="12">16628160</LocalCounter>
991    <GlobalCounter>0</GlobalCounter>
992    <SumOfLocalCounter>205880452</SumOfLocalCounter>
993  </LocalTicketLockWithLocalCounter>
994  <LocalTicketLockWithLocalCounter activeWorker="14">
995    <LocalCounter worker="0">15241659</LocalCounter>
996    <LocalCounter worker="1">15242764</LocalCounter>
997    <LocalCounter worker="2">15311552</LocalCounter>
998    <LocalCounter worker="3">15310874</LocalCounter>
999    <LocalCounter worker="4">15234807</LocalCounter>
1000    <LocalCounter worker="5">15235319</LocalCounter>
1001    <LocalCounter worker="6">15320844</LocalCounter>
1002    <LocalCounter worker="7">15320408</LocalCounter>
1003    <LocalCounter worker="8">15612980</LocalCounter>
1004    <LocalCounter worker="9">15613446</LocalCounter>
1005    <LocalCounter worker="10">15700518</LocalCounter>
1006    <LocalCounter worker="11">15699717</LocalCounter>
1007    <LocalCounter worker="12">15643397</LocalCounter>
1008    <LocalCounter worker="13">15643757</LocalCounter>
1009    <GlobalCounter>0</GlobalCounter>
1010    <SumOfLocalCounter>216132042</SumOfLocalCounter>
1011  </LocalTicketLockWithLocalCounter>
1012  <LocalTicketLockWithLocalCounter activeWorker="15">
1013    <LocalCounter worker="0">15474021</LocalCounter>
1014    <LocalCounter worker="1">15475103</LocalCounter>
1015    <LocalCounter worker="2">15545724</LocalCounter>
1016    <LocalCounter worker="3">15545077</LocalCounter>
1017    <LocalCounter worker="4">15487261</LocalCounter>
1018    <LocalCounter worker="5">15487666</LocalCounter>
1019    <LocalCounter worker="6">15563087</LocalCounter>
1020    <LocalCounter worker="7">15562461</LocalCounter>
1021    <LocalCounter worker="8">15951382</LocalCounter>
1022    <LocalCounter worker="9">15951714</LocalCounter>
1023    <LocalCounter worker="10">15990339</LocalCounter>
1024    <LocalCounter worker="11">15989672</LocalCounter>
1025    <LocalCounter worker="12">15837008</LocalCounter>
1026    <LocalCounter worker="13">15837501</LocalCounter>
1027    <LocalCounter worker="14">16183725</LocalCounter>
1028    <GlobalCounter>0</GlobalCounter>
1029    <SumOfLocalCounter>235881741</SumOfLocalCounter>
1030  </LocalTicketLockWithLocalCounter>
1031  <LocalTicketLockWithLocalCounter activeWorker="16">
1032    <LocalCounter worker="0">15338755</LocalCounter>
1033    <LocalCounter worker="1">15339912</LocalCounter>
1034    <LocalCounter worker="2">15418316</LocalCounter>
1035    <LocalCounter worker="3">15417717</LocalCounter>
1036    <LocalCounter worker="4">15384213</LocalCounter>
1037    <LocalCounter worker="5">15384612</LocalCounter>
1038    <LocalCounter worker="6">15484391</LocalCounter>
1039    <LocalCounter worker="7">15483850</LocalCounter>
1040    <LocalCounter worker="8">15342729</LocalCounter>
1041    <LocalCounter worker="9">15343053</LocalCounter>
1042    <LocalCounter worker="10">15438680</LocalCounter>
1043    <LocalCounter worker="11">15438045</LocalCounter>
1044    <LocalCounter worker="12">15319617</LocalCounter>
1045    <LocalCounter worker="13">15320187</LocalCounter>
1046    <LocalCounter worker="14">15504952</LocalCounter>
1047    <LocalCounter worker="15">15504342</LocalCounter>
1048    <GlobalCounter>0</GlobalCounter>
1049    <SumOfLocalCounter>246463371</SumOfLocalCounter>
1050  </LocalTicketLockWithLocalCounter>
1051  <LocalTicketLockWithLocalCounter activeWorker="17">
1052    <LocalCounter worker="0">15405565</LocalCounter>
1053    <LocalCounter worker="1">15406721</LocalCounter>
1054    <LocalCounter worker="2">15457536</LocalCounter>
1055    <LocalCounter worker="3">15456970</LocalCounter>
1056    <LocalCounter worker="4">15410823</LocalCounter>
1057    <LocalCounter worker="5">15411363</LocalCounter>
1058    <LocalCounter worker="6">15494352</LocalCounter>
1059    <LocalCounter worker="7">15493781</LocalCounter>
1060    <LocalCounter worker="8">15441835</LocalCounter>
1061    <LocalCounter worker="9">15442322</LocalCounter>
1062    <LocalCounter worker="10">15503323</LocalCounter>
1063    <LocalCounter worker="11">15502544</LocalCounter>
1064    <LocalCounter worker="12">15437462</LocalCounter>
1065    <LocalCounter worker="13">15437892</LocalCounter>
1066    <LocalCounter worker="14">15524904</LocalCounter>
1067    <LocalCounter worker="15">15524299</LocalCounter>
1068    <LocalCounter worker="16">18727294</LocalCounter>
1069    <GlobalCounter>0</GlobalCounter>
1070    <SumOfLocalCounter>266078986</SumOfLocalCounter>
1071  </LocalTicketLockWithLocalCounter>
1072  <LocalTicketLockWithLocalCounter activeWorker="18">
1073    <LocalCounter worker="0">15411917</LocalCounter>
1074    <LocalCounter worker="1">15413065</LocalCounter>
1075    <LocalCounter worker="2">15488119</LocalCounter>
1076    <LocalCounter worker="3">15487404</LocalCounter>
1077    <LocalCounter worker="4">15447208</LocalCounter>
1078    <LocalCounter worker="5">15447653</LocalCounter>
1079    <LocalCounter worker="6">15509190</LocalCounter>
1080    <LocalCounter worker="7">15508612</LocalCounter>
1081    <LocalCounter worker="8">15263061</LocalCounter>
1082    <LocalCounter worker="9">15263449</LocalCounter>
1083    <LocalCounter worker="10">15395370</LocalCounter>
1084    <LocalCounter worker="11">15394701</LocalCounter>
1085    <LocalCounter worker="12">15251795</LocalCounter>
1086    <LocalCounter worker="13">15252271</LocalCounter>
1087    <LocalCounter worker="14">15428945</LocalCounter>
1088    <LocalCounter worker="15">15428419</LocalCounter>
1089    <LocalCounter worker="16">17509130</LocalCounter>
1090    <LocalCounter worker="17">17509588</LocalCounter>
1091    <GlobalCounter>0</GlobalCounter>
1092    <SumOfLocalCounter>281409897</SumOfLocalCounter>
1093  </LocalTicketLockWithLocalCounter>
1094  <LocalTicketLockWithLocalCounter activeWorker="19">
1095    <LocalCounter worker="0">15454721</LocalCounter>
1096    <LocalCounter worker="1">15455814</LocalCounter>
1097    <LocalCounter worker="2">15531336</LocalCounter>
1098    <LocalCounter worker="3">15530736</LocalCounter>
1099    <LocalCounter worker="4">15476168</LocalCounter>
1100    <LocalCounter worker="5">15476627</LocalCounter>
1101    <LocalCounter worker="6">15526814</LocalCounter>
1102    <LocalCounter worker="7">15526279</LocalCounter>
1103    <LocalCounter worker="8">15499278</LocalCounter>
1104    <LocalCounter worker="9">15499646</LocalCounter>
1105    <LocalCounter worker="10">15569191</LocalCounter>
1106    <LocalCounter worker="11">15568610</LocalCounter>
1107    <LocalCounter worker="12">15479546</LocalCounter>
1108    <LocalCounter worker="13">15480059</LocalCounter>
1109    <LocalCounter worker="14">15581751</LocalCounter>
1110    <LocalCounter worker="15">15581161</LocalCounter>
1111    <LocalCounter worker="16">16679062</LocalCounter>
1112    <LocalCounter worker="17">16679513</LocalCounter>
1113    <LocalCounter worker="18">17632923</LocalCounter>
1114    <GlobalCounter>0</GlobalCounter>
1115    <SumOfLocalCounter>299229235</SumOfLocalCounter>
1116  </LocalTicketLockWithLocalCounter>
1117  <LocalTicketLockWithLocalCounter activeWorker="20">
1118    <LocalCounter worker="0">15431594</LocalCounter>
1119    <LocalCounter worker="1">15432731</LocalCounter>
1120    <LocalCounter worker="2">15514464</LocalCounter>
1121    <LocalCounter worker="3">15513801</LocalCounter>
1122    <LocalCounter worker="4">15451554</LocalCounter>
1123    <LocalCounter worker="5">15452178</LocalCounter>
1124    <LocalCounter worker="6">15542494</LocalCounter>
1125    <LocalCounter worker="7">15542059</LocalCounter>
1126    <LocalCounter worker="8">15405806</LocalCounter>
1127    <LocalCounter worker="9">15406166</LocalCounter>
1128    <LocalCounter worker="10">15500615</LocalCounter>
1129    <LocalCounter worker="11">15499854</LocalCounter>
1130    <LocalCounter worker="12">15446807</LocalCounter>
1131    <LocalCounter worker="13">15447370</LocalCounter>
1132    <LocalCounter worker="14">15523598</LocalCounter>
1133    <LocalCounter worker="15">15522911</LocalCounter>
1134    <LocalCounter worker="16">15989393</LocalCounter>
1135    <LocalCounter worker="17">15989822</LocalCounter>
1136    <LocalCounter worker="18">16266926</LocalCounter>
1137    <LocalCounter worker="19">16266215</LocalCounter>
1138    <GlobalCounter>0</GlobalCounter>
1139    <SumOfLocalCounter>312146358</SumOfLocalCounter>
1140  </LocalTicketLockWithLocalCounter>
1141  <LocalTicketLockWithLocalCounter activeWorker="21">
1142    <LocalCounter worker="0">15293855</LocalCounter>
1143    <LocalCounter worker="1">15294996</LocalCounter>
1144    <LocalCounter worker="2">15373983</LocalCounter>
1145    <LocalCounter worker="3">15373359</LocalCounter>
1146    <LocalCounter worker="4">15311033</LocalCounter>
1147    <LocalCounter worker="5">15311444</LocalCounter>
1148    <LocalCounter worker="6">15373601</LocalCounter>
1149    <LocalCounter worker="7">15373029</LocalCounter>
1150    <LocalCounter worker="8">15368606</LocalCounter>
1151    <LocalCounter worker="9">15368996</LocalCounter>
1152    <LocalCounter worker="10">15417455</LocalCounter>
1153    <LocalCounter worker="11">15416655</LocalCounter>
1154    <LocalCounter worker="12">15365477</LocalCounter>
1155    <LocalCounter worker="13">15366045</LocalCounter>
1156    <LocalCounter worker="14">15446382</LocalCounter>
1157    <LocalCounter worker="15">15445857</LocalCounter>
1158    <LocalCounter worker="16">16164636</LocalCounter>
1159    <LocalCounter worker="17">16164755</LocalCounter>
1160    <LocalCounter worker="18">16340626</LocalCounter>
1161    <LocalCounter worker="19">16339807</LocalCounter>
1162    <LocalCounter worker="20">16482233</LocalCounter>
1163    <GlobalCounter>0</GlobalCounter>
1164    <SumOfLocalCounter>327392830</SumOfLocalCounter>
1165  </LocalTicketLockWithLocalCounter>
1166  <LocalTicketLockWithLocalCounter activeWorker="22">
1167    <LocalCounter worker="0">15354609</LocalCounter>
1168    <LocalCounter worker="1">15355720</LocalCounter>
1169    <LocalCounter worker="2">15441225</LocalCounter>
1170    <LocalCounter worker="3">15440578</LocalCounter>
1171    <LocalCounter worker="4">15389118</LocalCounter>
1172    <LocalCounter worker="5">15389555</LocalCounter>
1173    <LocalCounter worker="6">15469844</LocalCounter>
1174    <LocalCounter worker="7">15469275</LocalCounter>
1175    <LocalCounter worker="8">15396674</LocalCounter>
1176    <LocalCounter worker="9">15397078</LocalCounter>
1177    <LocalCounter worker="10">15476343</LocalCounter>
1178    <LocalCounter worker="11">15475695</LocalCounter>
1179    <LocalCounter worker="12">15420378</LocalCounter>
1180    <LocalCounter worker="13">15420856</LocalCounter>
1181    <LocalCounter worker="14">15512565</LocalCounter>
1182    <LocalCounter worker="15">15512017</LocalCounter>
1183    <LocalCounter worker="16">15639668</LocalCounter>
1184    <LocalCounter worker="17">15640093</LocalCounter>
1185    <LocalCounter worker="18">15835975</LocalCounter>
1186    <LocalCounter worker="19">15835235</LocalCounter>
1187    <LocalCounter worker="20">15719480</LocalCounter>
1188    <LocalCounter worker="21">15719975</LocalCounter>
1189    <GlobalCounter>0</GlobalCounter>
1190    <SumOfLocalCounter>341311956</SumOfLocalCounter>
1191  </LocalTicketLockWithLocalCounter>
1192  <LocalTicketLockWithLocalCounter activeWorker="23">
1193    <LocalCounter worker="0">15297511</LocalCounter>
1194    <LocalCounter worker="1">15298619</LocalCounter>
1195    <LocalCounter worker="2">15387117</LocalCounter>
1196    <LocalCounter worker="3">15386585</LocalCounter>
1197    <LocalCounter worker="4">15255545</LocalCounter>
1198    <LocalCounter worker="5">15256058</LocalCounter>
1199    <LocalCounter worker="6">15397294</LocalCounter>
1200    <LocalCounter worker="7">15396755</LocalCounter>
1201    <LocalCounter worker="8">15311096</LocalCounter>
1202    <LocalCounter worker="9">15311488</LocalCounter>
1203    <LocalCounter worker="10">15393982</LocalCounter>
1204    <LocalCounter worker="11">15393274</LocalCounter>
1205    <LocalCounter worker="12">15351229</LocalCounter>
1206    <LocalCounter worker="13">15351821</LocalCounter>
1207    <LocalCounter worker="14">15422331</LocalCounter>
1208    <LocalCounter worker="15">15421750</LocalCounter>
1209    <LocalCounter worker="16">15937897</LocalCounter>
1210    <LocalCounter worker="17">15938202</LocalCounter>
1211    <LocalCounter worker="18">15961738</LocalCounter>
1212    <LocalCounter worker="19">15961104</LocalCounter>
1213    <LocalCounter worker="20">15827119</LocalCounter>
1214    <LocalCounter worker="21">15827606</LocalCounter>
1215    <LocalCounter worker="22">16046878</LocalCounter>
1216    <GlobalCounter>0</GlobalCounter>
1217    <SumOfLocalCounter>357132999</SumOfLocalCounter>
1218  </LocalTicketLockWithLocalCounter>
1219  <LocalTicketLockWithLocalCounter activeWorker="24">
1220    <LocalCounter worker="0">15359254</LocalCounter>
1221    <LocalCounter worker="1">15360492</LocalCounter>
1222    <LocalCounter worker="2">15486820</LocalCounter>
1223    <LocalCounter worker="3">15486239</LocalCounter>
1224    <LocalCounter worker="4">15373528</LocalCounter>
1225    <LocalCounter worker="5">15373958</LocalCounter>
1226    <LocalCounter worker="6">15523810</LocalCounter>
1227    <LocalCounter worker="7">15523194</LocalCounter>
1228    <LocalCounter worker="8">15449725</LocalCounter>
1229    <LocalCounter worker="9">15450145</LocalCounter>
1230    <LocalCounter worker="10">15501565</LocalCounter>
1231    <LocalCounter worker="11">15500907</LocalCounter>
1232    <LocalCounter worker="12">15423597</LocalCounter>
1233    <LocalCounter worker="13">15424099</LocalCounter>
1234    <LocalCounter worker="14">15510174</LocalCounter>
1235    <LocalCounter worker="15">15509555</LocalCounter>
1236    <LocalCounter worker="16">15333282</LocalCounter>
1237    <LocalCounter worker="17">15333567</LocalCounter>
1238    <LocalCounter worker="18">15417102</LocalCounter>
1239    <LocalCounter worker="19">15416446</LocalCounter>
1240    <LocalCounter worker="20">15366931</LocalCounter>
1241    <LocalCounter worker="21">15367424</LocalCounter>
1242    <LocalCounter worker="22">15326844</LocalCounter>
1243    <LocalCounter worker="23">15326340</LocalCounter>
1244    <GlobalCounter>0</GlobalCounter>
1245    <SumOfLocalCounter>370144998</SumOfLocalCounter>
1246  </LocalTicketLockWithLocalCounter>
1247  <LocalMCSLockWithLocalCounter activeWorker="1">
1248    <LocalCounter worker="0">12012163</LocalCounter>
1249    <GlobalCounter>0</GlobalCounter>
1250    <SumOfLocalCounter>12012163</SumOfLocalCounter>
1251  </LocalMCSLockWithLocalCounter>
1252  <LocalMCSLockWithLocalCounter activeWorker="2">
1253    <LocalCounter worker="0">11840550</LocalCounter>
1254    <LocalCounter worker="1">11841478</LocalCounter>
1255    <GlobalCounter>0</GlobalCounter>
1256    <SumOfLocalCounter>23682028</SumOfLocalCounter>
1257  </LocalMCSLockWithLocalCounter>
1258  <LocalMCSLockWithLocalCounter activeWorker="3">
1259    <LocalCounter worker="0">10912829</LocalCounter>
1260    <LocalCounter worker="1">11686722</LocalCounter>
1261    <LocalCounter worker="2">11363920</LocalCounter>
1262    <GlobalCounter>0</GlobalCounter>
1263    <SumOfLocalCounter>33963471</SumOfLocalCounter>
1264  </LocalMCSLockWithLocalCounter>
1265  <LocalMCSLockWithLocalCounter activeWorker="4">
1266    <LocalCounter worker="0">10847812</LocalCounter>
1267    <LocalCounter worker="1">11012883</LocalCounter>
1268    <LocalCounter worker="2">10848750</LocalCounter>
1269    <LocalCounter worker="3">10848348</LocalCounter>
1270    <GlobalCounter>0</GlobalCounter>
1271    <SumOfLocalCounter>43557793</SumOfLocalCounter>
1272  </LocalMCSLockWithLocalCounter>
1273  <LocalMCSLockWithLocalCounter activeWorker="5">
1274    <LocalCounter worker="0">10672194</LocalCounter>
1275    <LocalCounter worker="1">10766080</LocalCounter>
1276    <LocalCounter worker="2">10686688</LocalCounter>
1277    <LocalCounter worker="3">10686256</LocalCounter>
1278    <LocalCounter worker="4">10751786</LocalCounter>
1279    <GlobalCounter>0</GlobalCounter>
1280    <SumOfLocalCounter>53563004</SumOfLocalCounter>
1281  </LocalMCSLockWithLocalCounter>
1282  <LocalMCSLockWithLocalCounter activeWorker="6">
1283    <LocalCounter worker="0">10191331</LocalCounter>
1284    <LocalCounter worker="1">10427635</LocalCounter>
1285    <LocalCounter worker="2">10213958</LocalCounter>
1286    <LocalCounter worker="3">10213515</LocalCounter>
1287    <LocalCounter worker="4">10190660</LocalCounter>
1288    <LocalCounter worker="5">10413043</LocalCounter>
1289    <GlobalCounter>0</GlobalCounter>
1290    <SumOfLocalCounter>61650142</SumOfLocalCounter>
1291  </LocalMCSLockWithLocalCounter>
1292  <LocalMCSLockWithLocalCounter activeWorker="7">
1293    <LocalCounter worker="0">10094413</LocalCounter>
1294    <LocalCounter worker="1">10150145</LocalCounter>
1295    <LocalCounter worker="2">10099599</LocalCounter>
1296    <LocalCounter worker="3">10099212</LocalCounter>
1297    <LocalCounter worker="4">10095359</LocalCounter>
1298    <LocalCounter worker="5">10145507</LocalCounter>
1299    <LocalCounter worker="6">10157424</LocalCounter>
1300    <GlobalCounter>0</GlobalCounter>
1301    <SumOfLocalCounter>70841659</SumOfLocalCounter>
1302  </LocalMCSLockWithLocalCounter>
1303  <LocalMCSLockWithLocalCounter activeWorker="8">
1304    <LocalCounter worker="0">9482692</LocalCounter>
1305    <LocalCounter worker="1">9538919</LocalCounter>
1306    <LocalCounter worker="2">9475649</LocalCounter>
1307    <LocalCounter worker="3">9475299</LocalCounter>
1308    <LocalCounter worker="4">9487665</LocalCounter>
1309    <LocalCounter worker="5">9526988</LocalCounter>
1310    <LocalCounter worker="6">9484104</LocalCounter>
1311    <LocalCounter worker="7">9483770</LocalCounter>
1312    <GlobalCounter>0</GlobalCounter>
1313    <SumOfLocalCounter>75955086</SumOfLocalCounter>
1314  </LocalMCSLockWithLocalCounter>
1315  <LocalMCSLockWithLocalCounter activeWorker="9">
1316    <LocalCounter worker="0">9551538</LocalCounter>
1317    <LocalCounter worker="1">9607950</LocalCounter>
1318    <LocalCounter worker="2">9527892</LocalCounter>
1319    <LocalCounter worker="3">9527539</LocalCounter>
1320    <LocalCounter worker="4">9541318</LocalCounter>
1321    <LocalCounter worker="5">9599380</LocalCounter>
1322    <LocalCounter worker="6">9545003</LocalCounter>
1323    <LocalCounter worker="7">9544655</LocalCounter>
1324    <LocalCounter worker="8">12100821</LocalCounter>
1325    <GlobalCounter>0</GlobalCounter>
1326    <SumOfLocalCounter>88546096</SumOfLocalCounter>
1327  </LocalMCSLockWithLocalCounter>
1328  <LocalMCSLockWithLocalCounter activeWorker="10">
1329    <LocalCounter worker="0">9518208</LocalCounter>
1330    <LocalCounter worker="1">9590167</LocalCounter>
1331    <LocalCounter worker="2">9501471</LocalCounter>
1332    <LocalCounter worker="3">9501014</LocalCounter>
1333    <LocalCounter worker="4">9514888</LocalCounter>
1334    <LocalCounter worker="5">9580544</LocalCounter>
1335    <LocalCounter worker="6">9520640</LocalCounter>
1336    <LocalCounter worker="7">9520357</LocalCounter>
1337    <LocalCounter worker="8">11901852</LocalCounter>
1338    <LocalCounter worker="9">11902280</LocalCounter>
1339    <GlobalCounter>0</GlobalCounter>
1340    <SumOfLocalCounter>100051421</SumOfLocalCounter>
1341  </LocalMCSLockWithLocalCounter>
1342  <LocalMCSLockWithLocalCounter activeWorker="11">
1343    <LocalCounter worker="0">9588133</LocalCounter>
1344    <LocalCounter worker="1">9642600</LocalCounter>
1345    <LocalCounter worker="2">9569435</LocalCounter>
1346    <LocalCounter worker="3">9569077</LocalCounter>
1347    <LocalCounter worker="4">9581625</LocalCounter>
1348    <LocalCounter worker="5">9634480</LocalCounter>
1349    <LocalCounter worker="6">9582599</LocalCounter>
1350    <LocalCounter worker="7">9582254</LocalCounter>
1351    <LocalCounter worker="8">11143802</LocalCounter>
1352    <LocalCounter worker="9">11642425</LocalCounter>
1353    <LocalCounter worker="10">11430365</LocalCounter>
1354    <GlobalCounter>0</GlobalCounter>
1355    <SumOfLocalCounter>110966795</SumOfLocalCounter>
1356  </LocalMCSLockWithLocalCounter>
1357  <LocalMCSLockWithLocalCounter activeWorker="12">
1358    <LocalCounter worker="0">9504141</LocalCounter>
1359    <LocalCounter worker="1">9566497</LocalCounter>
1360    <LocalCounter worker="2">9480268</LocalCounter>
1361    <LocalCounter worker="3">9479883</LocalCounter>
1362    <LocalCounter worker="4">9500138</LocalCounter>
1363    <LocalCounter worker="5">9557387</LocalCounter>
1364    <LocalCounter worker="6">9508730</LocalCounter>
1365    <LocalCounter worker="7">9508263</LocalCounter>
1366    <LocalCounter worker="8">10860480</LocalCounter>
1367    <LocalCounter worker="9">11079334</LocalCounter>
1368    <LocalCounter worker="10">10860904</LocalCounter>
1369    <LocalCounter worker="11">10860416</LocalCounter>
1370    <GlobalCounter>0</GlobalCounter>
1371    <SumOfLocalCounter>119766441</SumOfLocalCounter>
1372  </LocalMCSLockWithLocalCounter>
1373  <LocalMCSLockWithLocalCounter activeWorker="13">
1374    <LocalCounter worker="0">9566731</LocalCounter>
1375    <LocalCounter worker="1">9602398</LocalCounter>
1376    <LocalCounter worker="2">9555023</LocalCounter>
1377    <LocalCounter worker="3">9554678</LocalCounter>
1378    <LocalCounter worker="4">9565409</LocalCounter>
1379    <LocalCounter worker="5">9597597</LocalCounter>
1380    <LocalCounter worker="6">9568768</LocalCounter>
1381    <LocalCounter worker="7">9568372</LocalCounter>
1382    <LocalCounter worker="8">10697869</LocalCounter>
1383    <LocalCounter worker="9">10788567</LocalCounter>
1384    <LocalCounter worker="10">10705386</LocalCounter>
1385    <LocalCounter worker="11">10704917</LocalCounter>
1386    <LocalCounter worker="12">10773483</LocalCounter>
1387    <GlobalCounter>0</GlobalCounter>
1388    <SumOfLocalCounter>130249198</SumOfLocalCounter>
1389  </LocalMCSLockWithLocalCounter>
1390  <LocalMCSLockWithLocalCounter activeWorker="14">
1391    <LocalCounter worker="0">9498902</LocalCounter>
1392    <LocalCounter worker="1">9573902</LocalCounter>
1393    <LocalCounter worker="2">9477978</LocalCounter>
1394    <LocalCounter worker="3">9477580</LocalCounter>
1395    <LocalCounter worker="4">9495093</LocalCounter>
1396    <LocalCounter worker="5">9562850</LocalCounter>
1397    <LocalCounter worker="6">9505874</LocalCounter>
1398    <LocalCounter worker="7">9505569</LocalCounter>
1399    <LocalCounter worker="8">10259456</LocalCounter>
1400    <LocalCounter worker="9">10479812</LocalCounter>
1401    <LocalCounter worker="10">10274650</LocalCounter>
1402    <LocalCounter worker="11">10274227</LocalCounter>
1403    <LocalCounter worker="12">10255667</LocalCounter>
1404    <LocalCounter worker="13">10470946</LocalCounter>
1405    <GlobalCounter>0</GlobalCounter>
1406    <SumOfLocalCounter>138112506</SumOfLocalCounter>
1407  </LocalMCSLockWithLocalCounter>
1408  <LocalMCSLockWithLocalCounter activeWorker="15">
1409    <LocalCounter worker="0">9568054</LocalCounter>
1410    <LocalCounter worker="1">9610830</LocalCounter>
1411    <LocalCounter worker="2">9556810</LocalCounter>
1412    <LocalCounter worker="3">9556463</LocalCounter>
1413    <LocalCounter worker="4">9564043</LocalCounter>
1414    <LocalCounter worker="5">9605955</LocalCounter>
1415    <LocalCounter worker="6">9567781</LocalCounter>
1416    <LocalCounter worker="7">9567465</LocalCounter>
1417    <LocalCounter worker="8">10121955</LocalCounter>
1418    <LocalCounter worker="9">10176705</LocalCounter>
1419    <LocalCounter worker="10">10126901</LocalCounter>
1420    <LocalCounter worker="11">10126506</LocalCounter>
1421    <LocalCounter worker="12">10122670</LocalCounter>
1422    <LocalCounter worker="13">10170121</LocalCounter>
1423    <LocalCounter worker="14">10183118</LocalCounter>
1424    <GlobalCounter>0</GlobalCounter>
1425    <SumOfLocalCounter>147625377</SumOfLocalCounter>
1426  </LocalMCSLockWithLocalCounter>
1427  <LocalMCSLockWithLocalCounter activeWorker="16">
1428    <LocalCounter worker="0">9545502</LocalCounter>
1429    <LocalCounter worker="1">9606047</LocalCounter>
1430    <LocalCounter worker="2">9529441</LocalCounter>
1431    <LocalCounter worker="3">9529036</LocalCounter>
1432    <LocalCounter worker="4">9542921</LocalCounter>
1433    <LocalCounter worker="5">9596990</LocalCounter>
1434    <LocalCounter worker="6">9546969</LocalCounter>
1435    <LocalCounter worker="7">9546662</LocalCounter>
1436    <LocalCounter worker="8">9500406</LocalCounter>
1437    <LocalCounter worker="9">9584384</LocalCounter>
1438    <LocalCounter worker="10">9472779</LocalCounter>
1439    <LocalCounter worker="11">9472417</LocalCounter>
1440    <LocalCounter worker="12">9493981</LocalCounter>
1441    <LocalCounter worker="13">9574576</LocalCounter>
1442    <LocalCounter worker="14">9498520</LocalCounter>
1443    <LocalCounter worker="15">9498159</LocalCounter>
1444    <GlobalCounter>0</GlobalCounter>
1445    <SumOfLocalCounter>152538790</SumOfLocalCounter>
1446  </LocalMCSLockWithLocalCounter>
1447  <LocalMCSLockWithLocalCounter activeWorker="17">
1448    <LocalCounter worker="0">9477441</LocalCounter>
1449    <LocalCounter worker="1">9536545</LocalCounter>
1450    <LocalCounter worker="2">9460577</LocalCounter>
1451    <LocalCounter worker="3">9460200</LocalCounter>
1452    <LocalCounter worker="4">9480967</LocalCounter>
1453    <LocalCounter worker="5">9523923</LocalCounter>
1454    <LocalCounter worker="6">9480392</LocalCounter>
1455    <LocalCounter worker="7">9480046</LocalCounter>
1456    <LocalCounter worker="8">9487515</LocalCounter>
1457    <LocalCounter worker="9">9547565</LocalCounter>
1458    <LocalCounter worker="10">9474196</LocalCounter>
1459    <LocalCounter worker="11">9473749</LocalCounter>
1460    <LocalCounter worker="12">9487160</LocalCounter>
1461    <LocalCounter worker="13">9540682</LocalCounter>
1462    <LocalCounter worker="14">9486801</LocalCounter>
1463    <LocalCounter worker="15">9486447</LocalCounter>
1464    <LocalCounter worker="16">12011930</LocalCounter>
1465    <GlobalCounter>0</GlobalCounter>
1466    <SumOfLocalCounter>163896136</SumOfLocalCounter>
1467  </LocalMCSLockWithLocalCounter>
1468  <LocalMCSLockWithLocalCounter activeWorker="18">
1469    <LocalCounter worker="0">9513232</LocalCounter>
1470    <LocalCounter worker="1">9584994</LocalCounter>
1471    <LocalCounter worker="2">9492399</LocalCounter>
1472    <LocalCounter worker="3">9492017</LocalCounter>
1473    <LocalCounter worker="4">9508104</LocalCounter>
1474    <LocalCounter worker="5">9572238</LocalCounter>
1475    <LocalCounter worker="6">9515215</LocalCounter>
1476    <LocalCounter worker="7">9514855</LocalCounter>
1477    <LocalCounter worker="8">9509726</LocalCounter>
1478    <LocalCounter worker="9">9564574</LocalCounter>
1479    <LocalCounter worker="10">9497507</LocalCounter>
1480    <LocalCounter worker="11">9497104</LocalCounter>
1481    <LocalCounter worker="12">9506890</LocalCounter>
1482    <LocalCounter worker="13">9556927</LocalCounter>
1483    <LocalCounter worker="14">9511038</LocalCounter>
1484    <LocalCounter worker="15">9510683</LocalCounter>
1485    <LocalCounter worker="16">11964542</LocalCounter>
1486    <LocalCounter worker="17">11964965</LocalCounter>
1487    <GlobalCounter>0</GlobalCounter>
1488    <SumOfLocalCounter>176277010</SumOfLocalCounter>
1489  </LocalMCSLockWithLocalCounter>
1490  <LocalMCSLockWithLocalCounter activeWorker="19">
1491    <LocalCounter worker="0">9501239</LocalCounter>
1492    <LocalCounter worker="1">9566300</LocalCounter>
1493    <LocalCounter worker="2">9480114</LocalCounter>
1494    <LocalCounter worker="3">9479759</LocalCounter>
1495    <LocalCounter worker="4">9497499</LocalCounter>
1496    <LocalCounter worker="5">9554053</LocalCounter>
1497    <LocalCounter worker="6">9504428</LocalCounter>
1498    <LocalCounter worker="7">9504112</LocalCounter>
1499    <LocalCounter worker="8">9450537</LocalCounter>
1500    <LocalCounter worker="9">9500082</LocalCounter>
1501    <LocalCounter worker="10">9437165</LocalCounter>
1502    <LocalCounter worker="11">9436702</LocalCounter>
1503    <LocalCounter worker="12">9448376</LocalCounter>
1504    <LocalCounter worker="13">9494933</LocalCounter>
1505    <LocalCounter worker="14">9452444</LocalCounter>
1506    <LocalCounter worker="15">9452215</LocalCounter>
1507    <LocalCounter worker="16">11096186</LocalCounter>
1508    <LocalCounter worker="17">11513346</LocalCounter>
1509    <LocalCounter worker="18">11336141</LocalCounter>
1510    <GlobalCounter>0</GlobalCounter>
1511    <SumOfLocalCounter>185705631</SumOfLocalCounter>
1512  </LocalMCSLockWithLocalCounter>
1513  <LocalMCSLockWithLocalCounter activeWorker="20">
1514    <LocalCounter worker="0">9486065</LocalCounter>
1515    <LocalCounter worker="1">9557588</LocalCounter>
1516    <LocalCounter worker="2">9472473</LocalCounter>
1517    <LocalCounter worker="3">9472199</LocalCounter>
1518    <LocalCounter worker="4">9487667</LocalCounter>
1519    <LocalCounter worker="5">9548271</LocalCounter>
1520    <LocalCounter worker="6">9491616</LocalCounter>
1521    <LocalCounter worker="7">9491243</LocalCounter>
1522    <LocalCounter worker="8">9529780</LocalCounter>
1523    <LocalCounter worker="9">9607162</LocalCounter>
1524    <LocalCounter worker="10">9514560</LocalCounter>
1525    <LocalCounter worker="11">9514178</LocalCounter>
1526    <LocalCounter worker="12">9525187</LocalCounter>
1527    <LocalCounter worker="13">9594754</LocalCounter>
1528    <LocalCounter worker="14">9529212</LocalCounter>
1529    <LocalCounter worker="15">9528811</LocalCounter>
1530    <LocalCounter worker="16">10901458</LocalCounter>
1531    <LocalCounter worker="17">11097405</LocalCounter>
1532    <LocalCounter worker="18">10901870</LocalCounter>
1533    <LocalCounter worker="19">10901433</LocalCounter>
1534    <GlobalCounter>0</GlobalCounter>
1535    <SumOfLocalCounter>196152932</SumOfLocalCounter>
1536  </LocalMCSLockWithLocalCounter>
1537  <LocalMCSLockWithLocalCounter activeWorker="21">
1538    <LocalCounter worker="0">9465819</LocalCounter>
1539    <LocalCounter worker="1">9552112</LocalCounter>
1540    <LocalCounter worker="2">9442548</LocalCounter>
1541    <LocalCounter worker="3">9442197</LocalCounter>
1542    <LocalCounter worker="4">9460727</LocalCounter>
1543    <LocalCounter worker="5">9539920</LocalCounter>
1544    <LocalCounter worker="6">9467314</LocalCounter>
1545    <LocalCounter worker="7">9466941</LocalCounter>
1546    <LocalCounter worker="8">9499616</LocalCounter>
1547    <LocalCounter worker="9">9555215</LocalCounter>
1548    <LocalCounter worker="10">9480992</LocalCounter>
1549    <LocalCounter worker="11">9480585</LocalCounter>
1550    <LocalCounter worker="12">9497803</LocalCounter>
1551    <LocalCounter worker="13">9549084</LocalCounter>
1552    <LocalCounter worker="14">9503779</LocalCounter>
1553    <LocalCounter worker="15">9503347</LocalCounter>
1554    <LocalCounter worker="16">10632691</LocalCounter>
1555    <LocalCounter worker="17">10740462</LocalCounter>
1556    <LocalCounter worker="18">10643969</LocalCounter>
1557    <LocalCounter worker="19">10643484</LocalCounter>
1558    <LocalCounter worker="20">10722706</LocalCounter>
1559    <GlobalCounter>0</GlobalCounter>
1560    <SumOfLocalCounter>205291311</SumOfLocalCounter>
1561  </LocalMCSLockWithLocalCounter>
1562  <LocalMCSLockWithLocalCounter activeWorker="22">
1563    <LocalCounter worker="0">9543555</LocalCounter>
1564    <LocalCounter worker="1">9577947</LocalCounter>
1565    <LocalCounter worker="2">9536419</LocalCounter>
1566    <LocalCounter worker="3">9536025</LocalCounter>
1567    <LocalCounter worker="4">9545186</LocalCounter>
1568    <LocalCounter worker="5">9572363</LocalCounter>
1569    <LocalCounter worker="6">9545696</LocalCounter>
1570    <LocalCounter worker="7">9545380</LocalCounter>
1571    <LocalCounter worker="8">9546863</LocalCounter>
1572    <LocalCounter worker="9">9598252</LocalCounter>
1573    <LocalCounter worker="10">9538891</LocalCounter>
1574    <LocalCounter worker="11">9538471</LocalCounter>
1575    <LocalCounter worker="12">9544650</LocalCounter>
1576    <LocalCounter worker="13">9589800</LocalCounter>
1577    <LocalCounter worker="14">9548809</LocalCounter>
1578    <LocalCounter worker="15">9548442</LocalCounter>
1579    <LocalCounter worker="16">10257926</LocalCounter>
1580    <LocalCounter worker="17">10464973</LocalCounter>
1581    <LocalCounter worker="18">10271404</LocalCounter>
1582    <LocalCounter worker="19">10270974</LocalCounter>
1583    <LocalCounter worker="20">10255638</LocalCounter>
1584    <LocalCounter worker="21">10453549</LocalCounter>
1585    <GlobalCounter>0</GlobalCounter>
1586    <SumOfLocalCounter>214831213</SumOfLocalCounter>
1587  </LocalMCSLockWithLocalCounter>
1588  <LocalMCSLockWithLocalCounter activeWorker="23">
1589    <LocalCounter worker="0">9505256</LocalCounter>
1590    <LocalCounter worker="1">9546515</LocalCounter>
1591    <LocalCounter worker="2">9487064</LocalCounter>
1592    <LocalCounter worker="3">9486709</LocalCounter>
1593    <LocalCounter worker="4">9503819</LocalCounter>
1594    <LocalCounter worker="5">9540926</LocalCounter>
1595    <LocalCounter worker="6">9507421</LocalCounter>
1596    <LocalCounter worker="7">9507083</LocalCounter>
1597    <LocalCounter worker="8">9463245</LocalCounter>
1598    <LocalCounter worker="9">9512217</LocalCounter>
1599    <LocalCounter worker="10">9445442</LocalCounter>
1600    <LocalCounter worker="11">9444922</LocalCounter>
1601    <LocalCounter worker="12">9462724</LocalCounter>
1602    <LocalCounter worker="13">9505280</LocalCounter>
1603    <LocalCounter worker="14">9465093</LocalCounter>
1604    <LocalCounter worker="15">9464656</LocalCounter>
1605    <LocalCounter worker="16">10061481</LocalCounter>
1606    <LocalCounter worker="17">10110674</LocalCounter>
1607    <LocalCounter worker="18">10057745</LocalCounter>
1608    <LocalCounter worker="19">10057332</LocalCounter>
1609    <LocalCounter worker="20">10065338</LocalCounter>
1610    <LocalCounter worker="21">10106393</LocalCounter>
1611    <LocalCounter worker="22">10117053</LocalCounter>
1612    <GlobalCounter>0</GlobalCounter>
1613    <SumOfLocalCounter>222424388</SumOfLocalCounter>
1614  </LocalMCSLockWithLocalCounter>
1615  <LocalMCSLockWithLocalCounter activeWorker="24">
1616    <LocalCounter worker="0">9509934</LocalCounter>
1617    <LocalCounter worker="1">9589757</LocalCounter>
1618    <LocalCounter worker="2">9487081</LocalCounter>
1619    <LocalCounter worker="3">9486681</LocalCounter>
1620    <LocalCounter worker="4">9504741</LocalCounter>
1621    <LocalCounter worker="5">9577778</LocalCounter>
1622    <LocalCounter worker="6">9512299</LocalCounter>
1623    <LocalCounter worker="7">9511943</LocalCounter>
1624    <LocalCounter worker="8">9495683</LocalCounter>
1625    <LocalCounter worker="9">9576547</LocalCounter>
1626    <LocalCounter worker="10">9477429</LocalCounter>
1627    <LocalCounter worker="11">9476945</LocalCounter>
1628    <LocalCounter worker="12">9488619</LocalCounter>
1629    <LocalCounter worker="13">9564424</LocalCounter>
1630    <LocalCounter worker="14">9497789</LocalCounter>
1631    <LocalCounter worker="15">9497366</LocalCounter>
1632    <LocalCounter worker="16">9576435</LocalCounter>
1633    <LocalCounter worker="17">9594541</LocalCounter>
1634    <LocalCounter worker="18">9569473</LocalCounter>
1635    <LocalCounter worker="19">9569144</LocalCounter>
1636    <LocalCounter worker="20">9576206</LocalCounter>
1637    <LocalCounter worker="21">9592059</LocalCounter>
1638    <LocalCounter worker="22">9571494</LocalCounter>
1639    <LocalCounter worker="23">9591007</LocalCounter>
1640    <GlobalCounter>0</GlobalCounter>
1641    <SumOfLocalCounter>228895375</SumOfLocalCounter>
1642  </LocalMCSLockWithLocalCounter>
1643  <LocalTicketLockWithGlobalCounter activeWorker="24">
1644    <LocalCounter worker="0">913947</LocalCounter>
1645    <LocalCounter worker="1">914257</LocalCounter>
1646    <LocalCounter worker="2">914150</LocalCounter>
1647    <LocalCounter worker="3">914145</LocalCounter>
1648    <LocalCounter worker="4">914171</LocalCounter>
1649    <LocalCounter worker="5">914150</LocalCounter>
1650    <LocalCounter worker="6">914168</LocalCounter>
1651    <LocalCounter worker="7">914180</LocalCounter>
1652    <LocalCounter worker="8">910191</LocalCounter>
1653    <LocalCounter worker="9">910177</LocalCounter>
1654    <LocalCounter worker="10">910157</LocalCounter>
1655    <LocalCounter worker="11">910172</LocalCounter>
1656    <LocalCounter worker="12">910177</LocalCounter>
1657    <LocalCounter worker="13">910146</LocalCounter>
1658    <LocalCounter worker="14">910166</LocalCounter>
1659    <LocalCounter worker="15">910159</LocalCounter>
1660    <LocalCounter worker="16">910137</LocalCounter>
1661    <LocalCounter worker="17">910144</LocalCounter>
1662    <LocalCounter worker="18">910132</LocalCounter>
1663    <LocalCounter worker="19">910150</LocalCounter>
1664    <LocalCounter worker="20">910160</LocalCounter>
1665    <LocalCounter worker="21">910110</LocalCounter>
1666    <LocalCounter worker="22">910156</LocalCounter>
1667    <LocalCounter worker="23">910129</LocalCounter>
1668    <GlobalCounter>2093981</GlobalCounter>
1669    <SumOfLocalCounter>21875631</SumOfLocalCounter>
1670  </LocalTicketLockWithGlobalCounter>
1671  <LocalMCSLockWithGlobalCounter activeWorker="24">
1672    <LocalCounter worker="0">866859</LocalCounter>
1673    <LocalCounter worker="1">967353</LocalCounter>
1674    <LocalCounter worker="2">887770</LocalCounter>
1675    <LocalCounter worker="3">887751</LocalCounter>
1676    <LocalCounter worker="4">867070</LocalCounter>
1677    <LocalCounter worker="5">967115</LocalCounter>
1678    <LocalCounter worker="6">887992</LocalCounter>
1679    <LocalCounter worker="7">887922</LocalCounter>
1680    <LocalCounter worker="8">871507</LocalCounter>
1681    <LocalCounter worker="9">973319</LocalCounter>
1682    <LocalCounter worker="10">891012</LocalCounter>
1683    <LocalCounter worker="11">890973</LocalCounter>
1684    <LocalCounter worker="12">869760</LocalCounter>
1685    <LocalCounter worker="13">971285</LocalCounter>
1686    <LocalCounter worker="14">896445</LocalCounter>
1687    <LocalCounter worker="15">896401</LocalCounter>
1688    <LocalCounter worker="16">864682</LocalCounter>
1689    <LocalCounter worker="17">963546</LocalCounter>
1690    <LocalCounter worker="18">885639</LocalCounter>
1691    <LocalCounter worker="19">885592</LocalCounter>
1692    <LocalCounter worker="20">864194</LocalCounter>
1693    <LocalCounter worker="21">963193</LocalCounter>
1694    <LocalCounter worker="22">861691</LocalCounter>
1695    <LocalCounter worker="23">953868</LocalCounter>
1696    <GlobalCounter>1771393</GlobalCounter>
1697    <SumOfLocalCounter>21722939</SumOfLocalCounter>
1698  </LocalMCSLockWithGlobalCounter>
1699  <GlobalTicketLockWithBusySection activeWorker="24">
1700    <LocalCounter worker="0">123820</LocalCounter>
1701    <LocalCounter worker="1">123819</LocalCounter>
1702    <LocalCounter worker="2">123820</LocalCounter>
1703    <LocalCounter worker="3">123819</LocalCounter>
1704    <LocalCounter worker="4">123820</LocalCounter>
1705    <LocalCounter worker="5">123819</LocalCounter>
1706    <LocalCounter worker="6">123820</LocalCounter>
1707    <LocalCounter worker="7">123820</LocalCounter>
1708    <LocalCounter worker="8">123819</LocalCounter>
1709    <LocalCounter worker="9">123820</LocalCounter>
1710    <LocalCounter worker="10">123820</LocalCounter>
1711    <LocalCounter worker="11">123820</LocalCounter>
1712    <LocalCounter worker="12">123819</LocalCounter>
1713    <LocalCounter worker="13">123819</LocalCounter>
1714    <LocalCounter worker="14">123820</LocalCounter>
1715    <LocalCounter worker="15">123819</LocalCounter>
1716    <LocalCounter worker="16">123820</LocalCounter>
1717    <LocalCounter worker="17">123820</LocalCounter>
1718    <LocalCounter worker="18">123819</LocalCounter>
1719    <LocalCounter worker="19">123819</LocalCounter>
1720    <LocalCounter worker="20">123819</LocalCounter>
1721    <LocalCounter worker="21">123819</LocalCounter>
1722    <LocalCounter worker="22">123819</LocalCounter>
1723    <LocalCounter worker="23">123819</LocalCounter>
1724    <GlobalCounter>0</GlobalCounter>
1725    <SumOfLocalCounter>2971667</SumOfLocalCounter>
1726  </GlobalTicketLockWithBusySection>
1727  <GlobalMCSLockWithBusySection activeWorker="24">
1728    <LocalCounter worker="0">112523</LocalCounter>
1729    <LocalCounter worker="1">112524</LocalCounter>
1730    <LocalCounter worker="2">112523</LocalCounter>
1731    <LocalCounter worker="3">112523</LocalCounter>
1732    <LocalCounter worker="4">112522</LocalCounter>
1733    <LocalCounter worker="5">112523</LocalCounter>
1734    <LocalCounter worker="6">112523</LocalCounter>
1735    <LocalCounter worker="7">112524</LocalCounter>
1736    <LocalCounter worker="8">112522</LocalCounter>
1737    <LocalCounter worker="9">112524</LocalCounter>
1738    <LocalCounter worker="10">112523</LocalCounter>
1739    <LocalCounter worker="11">112523</LocalCounter>
1740    <LocalCounter worker="12">112524</LocalCounter>
1741    <LocalCounter worker="13">112523</LocalCounter>
1742    <LocalCounter worker="14">112523</LocalCounter>
1743    <LocalCounter worker="15">112523</LocalCounter>
1744    <LocalCounter worker="16">112523</LocalCounter>
1745    <LocalCounter worker="17">112524</LocalCounter>
1746    <LocalCounter worker="18">112523</LocalCounter>
1747    <LocalCounter worker="19">112523</LocalCounter>
1748    <LocalCounter worker="20">112524</LocalCounter>
1749    <LocalCounter worker="21">112525</LocalCounter>
1750    <LocalCounter worker="22">112523</LocalCounter>
1751    <LocalCounter worker="23">112524</LocalCounter>
1752    <GlobalCounter>0</GlobalCounter>
1753    <SumOfLocalCounter>2700559</SumOfLocalCounter>
1754  </GlobalMCSLockWithBusySection>
1755  <SequenceLock activeWorker="24">
1756    <LocalCounter worker="0">2442341</LocalCounter>
1757    <LocalCounter worker="1">1</LocalCounter>
1758    <LocalCounter worker="2">19</LocalCounter>
1759    <LocalCounter worker="3">3</LocalCounter>
1760    <LocalCounter worker="4">7</LocalCounter>
1761    <LocalCounter worker="5">14</LocalCounter>
1762    <LocalCounter worker="6">17</LocalCounter>
1763    <LocalCounter worker="7">40</LocalCounter>
1764    <LocalCounter worker="8">735</LocalCounter>
1765    <LocalCounter worker="9">692</LocalCounter>
1766    <LocalCounter worker="10">749</LocalCounter>
1767    <LocalCounter worker="11">714</LocalCounter>
1768    <LocalCounter worker="12">698</LocalCounter>
1769    <LocalCounter worker="13">681</LocalCounter>
1770    <LocalCounter worker="14">687</LocalCounter>
1771    <LocalCounter worker="15">673</LocalCounter>
1772    <LocalCounter worker="16">781</LocalCounter>
1773    <LocalCounter worker="17">763</LocalCounter>
1774    <LocalCounter worker="18">754</LocalCounter>
1775    <LocalCounter worker="19">786</LocalCounter>
1776    <LocalCounter worker="20">747</LocalCounter>
1777    <LocalCounter worker="21">704</LocalCounter>
1778    <LocalCounter worker="22">800</LocalCounter>
1779    <LocalCounter worker="23">755</LocalCounter>
1780    <GlobalCounter>0</GlobalCounter>
1781    <SumOfLocalCounter>2454161</SumOfLocalCounter>
1782  </SequenceLock>
1783</SMPLock01>
1784*** END OF TEST SMPLOCK 1 ***
Note: See TracBrowser for help on using the repository browser.