From a6283671f31498773d0842b43884048c8d2d61fd Mon Sep 17 00:00:00 2001
From: Sebastian Huber <sebastian.huber@embedded-brains.de>
Date: Tue, 22 Nov 2016 12:51:12 +0100
Subject: smptests/smplock01: Test TAS and TTAS locks

Cache align locks in the context.
---
 testsuites/smptests/smplock01/init.c           |  102 +-
 testsuites/smptests/smplock01/smplock01.py     |   32 -
 testsuites/smptests/smplock01/smplock01.scn    | 3898 ++++++++++++++----------
 testsuites/smptests/smplock01/smplock01fair.py |   58 +
 testsuites/smptests/smplock01/smplock01perf.py |   38 +
 5 files changed, 2538 insertions(+), 1590 deletions(-)
 delete mode 100644 testsuites/smptests/smplock01/smplock01.py
 create mode 100755 testsuites/smptests/smplock01/smplock01fair.py
 create mode 100755 testsuites/smptests/smplock01/smplock01perf.py

diff --git a/testsuites/smptests/smplock01/init.c b/testsuites/smptests/smplock01/init.c
index 046fce6493..e57b441947 100644
--- a/testsuites/smptests/smplock01/init.c
+++ b/testsuites/smptests/smplock01/init.c
@@ -31,27 +31,29 @@ const char rtems_test_name[] = "SMPLOCK 1";
 
 #define CPU_COUNT 32
 
-#define TEST_COUNT 11
+#define TEST_COUNT 13
 
 typedef struct {
   rtems_test_parallel_context base;
   unsigned long counter[TEST_COUNT];
   unsigned long local_counter[CPU_COUNT][TEST_COUNT][CPU_COUNT];
-  SMP_lock_Control lock;
+  SMP_lock_Control lock RTEMS_ALIGNED(CPU_CACHE_LINE_BYTES);
+  Atomic_Uint flag RTEMS_ALIGNED(CPU_CACHE_LINE_BYTES);
+  SMP_MCS_lock_Control mcs_lock RTEMS_ALIGNED(CPU_CACHE_LINE_BYTES);
 #if defined(RTEMS_PROFILING)
   SMP_lock_Stats mcs_stats;
 #endif
-  SMP_MCS_lock_Control mcs_lock;
-  SMP_sequence_lock_Control seq_lock;
+  SMP_sequence_lock_Control seq_lock RTEMS_ALIGNED(CPU_CACHE_LINE_BYTES);
   int a RTEMS_ALIGNED(CPU_CACHE_LINE_BYTES);
   int b RTEMS_ALIGNED(CPU_CACHE_LINE_BYTES);
-} test_context RTEMS_ALIGNED(CPU_CACHE_LINE_BYTES);
+} test_context;
 
 static test_context test_instance = {
   .lock = SMP_LOCK_INITIALIZER("global ticket"),
 #if defined(RTEMS_PROFILING)
   .mcs_stats = SMP_LOCK_STATS_INITIALIZER("global MCS"),
 #endif
+  .flag = ATOMIC_INITIALIZER_UINT(0),
   .mcs_lock = SMP_MCS_LOCK_INITIALIZER,
   .seq_lock = SMP_SEQUENCE_LOCK_INITIALIZER
 };
@@ -587,6 +589,86 @@ static void test_10_fini(
   );
 }
 
+static void test_11_body(
+  rtems_test_parallel_context *base,
+  void *arg,
+  size_t active_workers,
+  size_t worker_index
+)
+{
+  test_context *ctx = (test_context *) base;
+  size_t test = 11;
+  unsigned long counter = 0;
+
+  while (!rtems_test_parallel_stop_job(&ctx->base)) {
+    while (_Atomic_Exchange_uint(&ctx->flag, 1, ATOMIC_ORDER_ACQUIRE) != 0) {
+      /* Wait */
+    }
+
+    _Atomic_Store_uint(&ctx->flag, 0, ATOMIC_ORDER_RELEASE);
+    ++counter;
+  }
+
+  ctx->local_counter[active_workers - 1][test][worker_index] = counter;
+}
+
+static void test_11_fini(
+  rtems_test_parallel_context *base,
+  void *arg,
+  size_t active_workers
+)
+{
+  test_context *ctx = (test_context *) base;
+
+  test_fini(
+    ctx,
+    "GlobalTASLockWithLocalCounter",
+    11,
+    active_workers
+  );
+}
+
+static void test_12_body(
+  rtems_test_parallel_context *base,
+  void *arg,
+  size_t active_workers,
+  size_t worker_index
+)
+{
+  test_context *ctx = (test_context *) base;
+  size_t test = 12;
+  unsigned long counter = 0;
+
+  while (!rtems_test_parallel_stop_job(&ctx->base)) {
+    while (_Atomic_Exchange_uint(&ctx->flag, 1, ATOMIC_ORDER_ACQUIRE) != 0) {
+      while (_Atomic_Load_uint(&ctx->flag, ATOMIC_ORDER_RELAXED) != 0) {
+        /* Wait */
+      }
+    }
+
+    _Atomic_Store_uint(&ctx->flag, 0, ATOMIC_ORDER_RELEASE);
+    ++counter;
+  }
+
+  ctx->local_counter[active_workers - 1][test][worker_index] = counter;
+}
+
+static void test_12_fini(
+  rtems_test_parallel_context *base,
+  void *arg,
+  size_t active_workers
+)
+{
+  test_context *ctx = (test_context *) base;
+
+  test_fini(
+    ctx,
+    "GlobalTTASLockWithLocalCounter",
+    12,
+    active_workers
+  );
+}
+
 static const rtems_test_parallel_job test_jobs[TEST_COUNT] = {
   {
     .init = test_init,
@@ -643,6 +725,16 @@ static const rtems_test_parallel_job test_jobs[TEST_COUNT] = {
     .body = test_10_body,
     .fini = test_10_fini,
     .cascade = false
+  }, {
+    .init = test_init,
+    .body = test_11_body,
+    .fini = test_11_fini,
+    .cascade = true
+  }, {
+    .init = test_init,
+    .body = test_12_body,
+    .fini = test_12_fini,
+    .cascade = true
   }
 };
 
diff --git a/testsuites/smptests/smplock01/smplock01.py b/testsuites/smptests/smplock01/smplock01.py
deleted file mode 100644
index 4a4f794620..0000000000
--- a/testsuites/smptests/smplock01/smplock01.py
+++ /dev/null
@@ -1,32 +0,0 @@
-#!/usr/bin/env python
-
-#
-# Copyright (c) 2016 embedded brains GmbH.  All rights reserved.
-#
-# The license and distribution terms for this file may be
-# found in the file LICENSE in this distribution or at
-# http://www.rtems.org/license/LICENSE.
-#
-
-import re
-import libxml2
-from libxml2 import xmlNode
-import matplotlib.pyplot as plt
-data = open('smplock01.scn').read()
-data = re.sub(r'\*\*\*.*\*\*\*', '', data)
-doc = libxml2.parseDoc(data)
-ctx = doc.xpathNewContext()
-
-plt.title('SMP Lock Performance')
-plt.xlabel('Active Workers')
-plt.ylabel('Operation Count')
-
-y = map(xmlNode.getContent, ctx.xpathEval('/SMPLock01/GlobalTicketLockWithLocalCounter/SumOfLocalCounter'))
-x = range(1, len(y) + 1)
-plt.plot(x, y, label = 'Global Ticket Lock', marker = 'o')
-
-y = map(xmlNode.getContent, ctx.xpathEval('/SMPLock01/GlobalMCSLockWithLocalCounter/SumOfLocalCounter'))
-plt.plot(x, y, label = 'Global MCS Lock', marker = 'o')
-
-plt.legend(loc = 'best')
-plt.show()
diff --git a/testsuites/smptests/smplock01/smplock01.scn b/testsuites/smptests/smplock01/smplock01.scn
index 33062e72c6..3d4b90f507 100644
--- a/testsuites/smptests/smplock01/smplock01.scn
+++ b/testsuites/smptests/smplock01/smplock01.scn
@@ -1,1784 +1,2576 @@
 *** BEGIN OF TEST SMPLOCK 1 ***
 <SMPLock01>
   <GlobalTicketLockWithLocalCounter activeWorker="1">
-    <LocalCounter worker="0">18488947</LocalCounter>
+    <LocalCounter worker="0">18357037</LocalCounter>
     <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>18488947</SumOfLocalCounter>
+    <SumOfLocalCounter>18357037</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="2">
-    <LocalCounter worker="0">10408771</LocalCounter>
-    <LocalCounter worker="1">10408970</LocalCounter>
+    <LocalCounter worker="0">10121166</LocalCounter>
+    <LocalCounter worker="1">10121320</LocalCounter>
     <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>20817741</SumOfLocalCounter>
+    <SumOfLocalCounter>20242486</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="3">
-    <LocalCounter worker="0">5792952</LocalCounter>
-    <LocalCounter worker="1">5793000</LocalCounter>
-    <LocalCounter worker="2">5793002</LocalCounter>
+    <LocalCounter worker="0">5707325</LocalCounter>
+    <LocalCounter worker="1">5707356</LocalCounter>
+    <LocalCounter worker="2">5707357</LocalCounter>
     <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>17378954</SumOfLocalCounter>
+    <SumOfLocalCounter>17122038</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="4">
-    <LocalCounter worker="0">4199979</LocalCounter>
-    <LocalCounter worker="1">4199989</LocalCounter>
-    <LocalCounter worker="2">4199995</LocalCounter>
-    <LocalCounter worker="3">4199989</LocalCounter>
+    <LocalCounter worker="0">4194779</LocalCounter>
+    <LocalCounter worker="1">4194794</LocalCounter>
+    <LocalCounter worker="2">4194790</LocalCounter>
+    <LocalCounter worker="3">4194794</LocalCounter>
     <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>16799952</SumOfLocalCounter>
+    <SumOfLocalCounter>16779157</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="5">
-    <LocalCounter worker="0">3341769</LocalCounter>
-    <LocalCounter worker="1">3341779</LocalCounter>
-    <LocalCounter worker="2">3341783</LocalCounter>
-    <LocalCounter worker="3">3341776</LocalCounter>
-    <LocalCounter worker="4">3341784</LocalCounter>
+    <LocalCounter worker="0">3328106</LocalCounter>
+    <LocalCounter worker="1">3328112</LocalCounter>
+    <LocalCounter worker="2">3328107</LocalCounter>
+    <LocalCounter worker="3">3328109</LocalCounter>
+    <LocalCounter worker="4">3328114</LocalCounter>
     <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>16708891</SumOfLocalCounter>
+    <SumOfLocalCounter>16640548</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="6">
-    <LocalCounter worker="0">2766306</LocalCounter>
-    <LocalCounter worker="1">2766318</LocalCounter>
-    <LocalCounter worker="2">2766317</LocalCounter>
-    <LocalCounter worker="3">2766314</LocalCounter>
-    <LocalCounter worker="4">2766317</LocalCounter>
-    <LocalCounter worker="5">2766315</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>16597887</SumOfLocalCounter>
+    <LocalCounter worker="0">2719456</LocalCounter>
+    <LocalCounter worker="1">2719464</LocalCounter>
+    <LocalCounter worker="2">2719465</LocalCounter>
+    <LocalCounter worker="3">2719465</LocalCounter>
+    <LocalCounter worker="4">2719465</LocalCounter>
+    <LocalCounter worker="5">2719464</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>16316779</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="7">
-    <LocalCounter worker="0">2369782</LocalCounter>
-    <LocalCounter worker="1">2369785</LocalCounter>
-    <LocalCounter worker="2">2369785</LocalCounter>
-    <LocalCounter worker="3">2369784</LocalCounter>
-    <LocalCounter worker="4">2369787</LocalCounter>
-    <LocalCounter worker="5">2369784</LocalCounter>
-    <LocalCounter worker="6">2369786</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>16588493</SumOfLocalCounter>
+    <LocalCounter worker="0">2281694</LocalCounter>
+    <LocalCounter worker="1">2281698</LocalCounter>
+    <LocalCounter worker="2">2281695</LocalCounter>
+    <LocalCounter worker="3">2281700</LocalCounter>
+    <LocalCounter worker="4">2281700</LocalCounter>
+    <LocalCounter worker="5">2281697</LocalCounter>
+    <LocalCounter worker="6">2281699</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>15971883</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="8">
-    <LocalCounter worker="0">2088876</LocalCounter>
-    <LocalCounter worker="1">2088876</LocalCounter>
-    <LocalCounter worker="2">2088878</LocalCounter>
-    <LocalCounter worker="3">2088877</LocalCounter>
-    <LocalCounter worker="4">2088879</LocalCounter>
-    <LocalCounter worker="5">2088876</LocalCounter>
-    <LocalCounter worker="6">2088879</LocalCounter>
-    <LocalCounter worker="7">2088880</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>16711021</SumOfLocalCounter>
+    <LocalCounter worker="0">1973749</LocalCounter>
+    <LocalCounter worker="1">1973751</LocalCounter>
+    <LocalCounter worker="2">1973749</LocalCounter>
+    <LocalCounter worker="3">1973754</LocalCounter>
+    <LocalCounter worker="4">1973753</LocalCounter>
+    <LocalCounter worker="5">1973751</LocalCounter>
+    <LocalCounter worker="6">1973749</LocalCounter>
+    <LocalCounter worker="7">1973749</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>15790005</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="9">
-    <LocalCounter worker="0">535373</LocalCounter>
-    <LocalCounter worker="1">535382</LocalCounter>
-    <LocalCounter worker="2">535375</LocalCounter>
-    <LocalCounter worker="3">535370</LocalCounter>
-    <LocalCounter worker="4">535381</LocalCounter>
-    <LocalCounter worker="5">535373</LocalCounter>
-    <LocalCounter worker="6">535378</LocalCounter>
-    <LocalCounter worker="7">535378</LocalCounter>
-    <LocalCounter worker="8">535481</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>4818491</SumOfLocalCounter>
+    <LocalCounter worker="0">531562</LocalCounter>
+    <LocalCounter worker="1">531561</LocalCounter>
+    <LocalCounter worker="2">531558</LocalCounter>
+    <LocalCounter worker="3">531556</LocalCounter>
+    <LocalCounter worker="4">531562</LocalCounter>
+    <LocalCounter worker="5">531566</LocalCounter>
+    <LocalCounter worker="6">531561</LocalCounter>
+    <LocalCounter worker="7">531560</LocalCounter>
+    <LocalCounter worker="8">531589</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>4784075</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="10">
-    <LocalCounter worker="0">479836</LocalCounter>
-    <LocalCounter worker="1">479858</LocalCounter>
-    <LocalCounter worker="2">479853</LocalCounter>
-    <LocalCounter worker="3">479874</LocalCounter>
-    <LocalCounter worker="4">479864</LocalCounter>
-    <LocalCounter worker="5">479821</LocalCounter>
-    <LocalCounter worker="6">479859</LocalCounter>
-    <LocalCounter worker="7">479851</LocalCounter>
-    <LocalCounter worker="8">480851</LocalCounter>
-    <LocalCounter worker="9">480850</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>4800517</SumOfLocalCounter>
+    <LocalCounter worker="0">467120</LocalCounter>
+    <LocalCounter worker="1">467127</LocalCounter>
+    <LocalCounter worker="2">467117</LocalCounter>
+    <LocalCounter worker="3">467120</LocalCounter>
+    <LocalCounter worker="4">467123</LocalCounter>
+    <LocalCounter worker="5">467116</LocalCounter>
+    <LocalCounter worker="6">467122</LocalCounter>
+    <LocalCounter worker="7">467116</LocalCounter>
+    <LocalCounter worker="8">467180</LocalCounter>
+    <LocalCounter worker="9">467179</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>4671320</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="11">
-    <LocalCounter worker="0">433033</LocalCounter>
-    <LocalCounter worker="1">433024</LocalCounter>
-    <LocalCounter worker="2">433052</LocalCounter>
-    <LocalCounter worker="3">433049</LocalCounter>
-    <LocalCounter worker="4">433048</LocalCounter>
-    <LocalCounter worker="5">433065</LocalCounter>
-    <LocalCounter worker="6">433039</LocalCounter>
-    <LocalCounter worker="7">433068</LocalCounter>
-    <LocalCounter worker="8">433715</LocalCounter>
-    <LocalCounter worker="9">433715</LocalCounter>
-    <LocalCounter worker="10">433753</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>4765561</SumOfLocalCounter>
+    <LocalCounter worker="0">426740</LocalCounter>
+    <LocalCounter worker="1">426739</LocalCounter>
+    <LocalCounter worker="2">426742</LocalCounter>
+    <LocalCounter worker="3">426737</LocalCounter>
+    <LocalCounter worker="4">426740</LocalCounter>
+    <LocalCounter worker="5">426741</LocalCounter>
+    <LocalCounter worker="6">426747</LocalCounter>
+    <LocalCounter worker="7">426735</LocalCounter>
+    <LocalCounter worker="8">426768</LocalCounter>
+    <LocalCounter worker="9">426765</LocalCounter>
+    <LocalCounter worker="10">426767</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>4694221</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="12">
-    <LocalCounter worker="0">393376</LocalCounter>
-    <LocalCounter worker="1">393356</LocalCounter>
-    <LocalCounter worker="2">393353</LocalCounter>
-    <LocalCounter worker="3">393361</LocalCounter>
-    <LocalCounter worker="4">393368</LocalCounter>
-    <LocalCounter worker="5">393378</LocalCounter>
-    <LocalCounter worker="6">393360</LocalCounter>
-    <LocalCounter worker="7">393341</LocalCounter>
-    <LocalCounter worker="8">393736</LocalCounter>
-    <LocalCounter worker="9">393734</LocalCounter>
-    <LocalCounter worker="10">393743</LocalCounter>
-    <LocalCounter worker="11">393740</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>4721846</SumOfLocalCounter>
+    <LocalCounter worker="0">388705</LocalCounter>
+    <LocalCounter worker="1">388703</LocalCounter>
+    <LocalCounter worker="2">388710</LocalCounter>
+    <LocalCounter worker="3">388706</LocalCounter>
+    <LocalCounter worker="4">388701</LocalCounter>
+    <LocalCounter worker="5">388702</LocalCounter>
+    <LocalCounter worker="6">388702</LocalCounter>
+    <LocalCounter worker="7">388705</LocalCounter>
+    <LocalCounter worker="8">388740</LocalCounter>
+    <LocalCounter worker="9">388739</LocalCounter>
+    <LocalCounter worker="10">388740</LocalCounter>
+    <LocalCounter worker="11">388739</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>4664592</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="13">
-    <LocalCounter worker="0">358275</LocalCounter>
-    <LocalCounter worker="1">358264</LocalCounter>
-    <LocalCounter worker="2">358271</LocalCounter>
-    <LocalCounter worker="3">358246</LocalCounter>
-    <LocalCounter worker="4">358262</LocalCounter>
-    <LocalCounter worker="5">358250</LocalCounter>
-    <LocalCounter worker="6">358267</LocalCounter>
-    <LocalCounter worker="7">358266</LocalCounter>
-    <LocalCounter worker="8">358538</LocalCounter>
-    <LocalCounter worker="9">358534</LocalCounter>
-    <LocalCounter worker="10">358532</LocalCounter>
-    <LocalCounter worker="11">358533</LocalCounter>
-    <LocalCounter worker="12">358608</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>4658846</SumOfLocalCounter>
+    <LocalCounter worker="0">356920</LocalCounter>
+    <LocalCounter worker="1">356917</LocalCounter>
+    <LocalCounter worker="2">356916</LocalCounter>
+    <LocalCounter worker="3">356917</LocalCounter>
+    <LocalCounter worker="4">356920</LocalCounter>
+    <LocalCounter worker="5">356919</LocalCounter>
+    <LocalCounter worker="6">356920</LocalCounter>
+    <LocalCounter worker="7">356917</LocalCounter>
+    <LocalCounter worker="8">356948</LocalCounter>
+    <LocalCounter worker="9">356947</LocalCounter>
+    <LocalCounter worker="10">356948</LocalCounter>
+    <LocalCounter worker="11">356947</LocalCounter>
+    <LocalCounter worker="12">356953</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>4640089</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="14">
-    <LocalCounter worker="0">330667</LocalCounter>
-    <LocalCounter worker="1">330677</LocalCounter>
-    <LocalCounter worker="2">330652</LocalCounter>
-    <LocalCounter worker="3">330656</LocalCounter>
-    <LocalCounter worker="4">330682</LocalCounter>
-    <LocalCounter worker="5">330655</LocalCounter>
-    <LocalCounter worker="6">330679</LocalCounter>
-    <LocalCounter worker="7">330662</LocalCounter>
-    <LocalCounter worker="8">330843</LocalCounter>
-    <LocalCounter worker="9">330837</LocalCounter>
-    <LocalCounter worker="10">330842</LocalCounter>
-    <LocalCounter worker="11">330840</LocalCounter>
-    <LocalCounter worker="12">330841</LocalCounter>
-    <LocalCounter worker="13">330835</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>4630368</SumOfLocalCounter>
+    <LocalCounter worker="0">330192</LocalCounter>
+    <LocalCounter worker="1">330192</LocalCounter>
+    <LocalCounter worker="2">330186</LocalCounter>
+    <LocalCounter worker="3">330185</LocalCounter>
+    <LocalCounter worker="4">330190</LocalCounter>
+    <LocalCounter worker="5">330183</LocalCounter>
+    <LocalCounter worker="6">330187</LocalCounter>
+    <LocalCounter worker="7">330187</LocalCounter>
+    <LocalCounter worker="8">330226</LocalCounter>
+    <LocalCounter worker="9">330225</LocalCounter>
+    <LocalCounter worker="10">330225</LocalCounter>
+    <LocalCounter worker="11">330228</LocalCounter>
+    <LocalCounter worker="12">330225</LocalCounter>
+    <LocalCounter worker="13">330226</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>4622857</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="15">
-    <LocalCounter worker="0">304222</LocalCounter>
-    <LocalCounter worker="1">304232</LocalCounter>
-    <LocalCounter worker="2">304211</LocalCounter>
-    <LocalCounter worker="3">304202</LocalCounter>
-    <LocalCounter worker="4">304212</LocalCounter>
-    <LocalCounter worker="5">304232</LocalCounter>
-    <LocalCounter worker="6">304228</LocalCounter>
-    <LocalCounter worker="7">304206</LocalCounter>
-    <LocalCounter worker="8">304350</LocalCounter>
-    <LocalCounter worker="9">304350</LocalCounter>
-    <LocalCounter worker="10">304349</LocalCounter>
-    <LocalCounter worker="11">304361</LocalCounter>
-    <LocalCounter worker="12">304367</LocalCounter>
-    <LocalCounter worker="13">304350</LocalCounter>
-    <LocalCounter worker="14">304522</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>4564394</SumOfLocalCounter>
+    <LocalCounter worker="0">303180</LocalCounter>
+    <LocalCounter worker="1">303186</LocalCounter>
+    <LocalCounter worker="2">303190</LocalCounter>
+    <LocalCounter worker="3">303180</LocalCounter>
+    <LocalCounter worker="4">303188</LocalCounter>
+    <LocalCounter worker="5">303181</LocalCounter>
+    <LocalCounter worker="6">303183</LocalCounter>
+    <LocalCounter worker="7">303191</LocalCounter>
+    <LocalCounter worker="8">303199</LocalCounter>
+    <LocalCounter worker="9">303204</LocalCounter>
+    <LocalCounter worker="10">303209</LocalCounter>
+    <LocalCounter worker="11">303207</LocalCounter>
+    <LocalCounter worker="12">303212</LocalCounter>
+    <LocalCounter worker="13">303215</LocalCounter>
+    <LocalCounter worker="14">303217</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>4547942</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="16">
-    <LocalCounter worker="0">274413</LocalCounter>
-    <LocalCounter worker="1">274412</LocalCounter>
-    <LocalCounter worker="2">274414</LocalCounter>
-    <LocalCounter worker="3">274402</LocalCounter>
-    <LocalCounter worker="4">274409</LocalCounter>
-    <LocalCounter worker="5">274410</LocalCounter>
-    <LocalCounter worker="6">274404</LocalCounter>
-    <LocalCounter worker="7">274401</LocalCounter>
-    <LocalCounter worker="8">274407</LocalCounter>
-    <LocalCounter worker="9">274410</LocalCounter>
-    <LocalCounter worker="10">274415</LocalCounter>
-    <LocalCounter worker="11">274412</LocalCounter>
-    <LocalCounter worker="12">274404</LocalCounter>
-    <LocalCounter worker="13">274426</LocalCounter>
-    <LocalCounter worker="14">274414</LocalCounter>
-    <LocalCounter worker="15">274412</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>4390565</SumOfLocalCounter>
+    <LocalCounter worker="0">274980</LocalCounter>
+    <LocalCounter worker="1">274975</LocalCounter>
+    <LocalCounter worker="2">274979</LocalCounter>
+    <LocalCounter worker="3">274983</LocalCounter>
+    <LocalCounter worker="4">274979</LocalCounter>
+    <LocalCounter worker="5">274977</LocalCounter>
+    <LocalCounter worker="6">274974</LocalCounter>
+    <LocalCounter worker="7">274980</LocalCounter>
+    <LocalCounter worker="8">274977</LocalCounter>
+    <LocalCounter worker="9">274984</LocalCounter>
+    <LocalCounter worker="10">274983</LocalCounter>
+    <LocalCounter worker="11">274981</LocalCounter>
+    <LocalCounter worker="12">274982</LocalCounter>
+    <LocalCounter worker="13">274978</LocalCounter>
+    <LocalCounter worker="14">274980</LocalCounter>
+    <LocalCounter worker="15">274977</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>4399669</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="17">
-    <LocalCounter worker="0">259630</LocalCounter>
-    <LocalCounter worker="1">259619</LocalCounter>
-    <LocalCounter worker="2">259621</LocalCounter>
-    <LocalCounter worker="3">259624</LocalCounter>
-    <LocalCounter worker="4">259622</LocalCounter>
-    <LocalCounter worker="5">259621</LocalCounter>
-    <LocalCounter worker="6">259631</LocalCounter>
-    <LocalCounter worker="7">259632</LocalCounter>
-    <LocalCounter worker="8">259629</LocalCounter>
-    <LocalCounter worker="9">259621</LocalCounter>
-    <LocalCounter worker="10">259619</LocalCounter>
-    <LocalCounter worker="11">259623</LocalCounter>
-    <LocalCounter worker="12">259632</LocalCounter>
-    <LocalCounter worker="13">259628</LocalCounter>
-    <LocalCounter worker="14">259627</LocalCounter>
-    <LocalCounter worker="15">259623</LocalCounter>
-    <LocalCounter worker="16">259673</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>4413675</SumOfLocalCounter>
+    <LocalCounter worker="0">261695</LocalCounter>
+    <LocalCounter worker="1">261697</LocalCounter>
+    <LocalCounter worker="2">261696</LocalCounter>
+    <LocalCounter worker="3">261696</LocalCounter>
+    <LocalCounter worker="4">261694</LocalCounter>
+    <LocalCounter worker="5">261695</LocalCounter>
+    <LocalCounter worker="6">261697</LocalCounter>
+    <LocalCounter worker="7">261692</LocalCounter>
+    <LocalCounter worker="8">261696</LocalCounter>
+    <LocalCounter worker="9">261692</LocalCounter>
+    <LocalCounter worker="10">261696</LocalCounter>
+    <LocalCounter worker="11">261697</LocalCounter>
+    <LocalCounter worker="12">261697</LocalCounter>
+    <LocalCounter worker="13">261695</LocalCounter>
+    <LocalCounter worker="14">261692</LocalCounter>
+    <LocalCounter worker="15">261691</LocalCounter>
+    <LocalCounter worker="16">261708</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>4448826</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="18">
-    <LocalCounter worker="0">237091</LocalCounter>
-    <LocalCounter worker="1">237091</LocalCounter>
-    <LocalCounter worker="2">237091</LocalCounter>
-    <LocalCounter worker="3">237089</LocalCounter>
-    <LocalCounter worker="4">237090</LocalCounter>
-    <LocalCounter worker="5">237090</LocalCounter>
-    <LocalCounter worker="6">237088</LocalCounter>
-    <LocalCounter worker="7">237092</LocalCounter>
-    <LocalCounter worker="8">237092</LocalCounter>
-    <LocalCounter worker="9">237095</LocalCounter>
-    <LocalCounter worker="10">237093</LocalCounter>
-    <LocalCounter worker="11">237091</LocalCounter>
-    <LocalCounter worker="12">237090</LocalCounter>
-    <LocalCounter worker="13">237090</LocalCounter>
-    <LocalCounter worker="14">237091</LocalCounter>
-    <LocalCounter worker="15">237092</LocalCounter>
-    <LocalCounter worker="16">237111</LocalCounter>
-    <LocalCounter worker="17">237110</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>4267677</SumOfLocalCounter>
+    <LocalCounter worker="0">240007</LocalCounter>
+    <LocalCounter worker="1">240008</LocalCounter>
+    <LocalCounter worker="2">240007</LocalCounter>
+    <LocalCounter worker="3">240008</LocalCounter>
+    <LocalCounter worker="4">240010</LocalCounter>
+    <LocalCounter worker="5">240007</LocalCounter>
+    <LocalCounter worker="6">240006</LocalCounter>
+    <LocalCounter worker="7">240008</LocalCounter>
+    <LocalCounter worker="8">240008</LocalCounter>
+    <LocalCounter worker="9">240007</LocalCounter>
+    <LocalCounter worker="10">240010</LocalCounter>
+    <LocalCounter worker="11">240007</LocalCounter>
+    <LocalCounter worker="12">240010</LocalCounter>
+    <LocalCounter worker="13">240007</LocalCounter>
+    <LocalCounter worker="14">240007</LocalCounter>
+    <LocalCounter worker="15">240010</LocalCounter>
+    <LocalCounter worker="16">240020</LocalCounter>
+    <LocalCounter worker="17">240017</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>4320164</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="19">
-    <LocalCounter worker="0">224860</LocalCounter>
-    <LocalCounter worker="1">224860</LocalCounter>
-    <LocalCounter worker="2">224859</LocalCounter>
-    <LocalCounter worker="3">224858</LocalCounter>
-    <LocalCounter worker="4">224859</LocalCounter>
-    <LocalCounter worker="5">224862</LocalCounter>
-    <LocalCounter worker="6">224861</LocalCounter>
-    <LocalCounter worker="7">224861</LocalCounter>
-    <LocalCounter worker="8">224862</LocalCounter>
-    <LocalCounter worker="9">224860</LocalCounter>
-    <LocalCounter worker="10">224860</LocalCounter>
-    <LocalCounter worker="11">224859</LocalCounter>
-    <LocalCounter worker="12">224865</LocalCounter>
-    <LocalCounter worker="13">224862</LocalCounter>
-    <LocalCounter worker="14">224859</LocalCounter>
-    <LocalCounter worker="15">224859</LocalCounter>
-    <LocalCounter worker="16">224884</LocalCounter>
-    <LocalCounter worker="17">224880</LocalCounter>
-    <LocalCounter worker="18">224881</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>4272411</SumOfLocalCounter>
+    <LocalCounter worker="0">225896</LocalCounter>
+    <LocalCounter worker="1">225897</LocalCounter>
+    <LocalCounter worker="2">225897</LocalCounter>
+    <LocalCounter worker="3">225898</LocalCounter>
+    <LocalCounter worker="4">225899</LocalCounter>
+    <LocalCounter worker="5">225898</LocalCounter>
+    <LocalCounter worker="6">225898</LocalCounter>
+    <LocalCounter worker="7">225896</LocalCounter>
+    <LocalCounter worker="8">225896</LocalCounter>
+    <LocalCounter worker="9">225896</LocalCounter>
+    <LocalCounter worker="10">225897</LocalCounter>
+    <LocalCounter worker="11">225898</LocalCounter>
+    <LocalCounter worker="12">225900</LocalCounter>
+    <LocalCounter worker="13">225899</LocalCounter>
+    <LocalCounter worker="14">225895</LocalCounter>
+    <LocalCounter worker="15">225894</LocalCounter>
+    <LocalCounter worker="16">225906</LocalCounter>
+    <LocalCounter worker="17">225905</LocalCounter>
+    <LocalCounter worker="18">225907</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>4292072</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="20">
-    <LocalCounter worker="0">212719</LocalCounter>
-    <LocalCounter worker="1">212721</LocalCounter>
-    <LocalCounter worker="2">212721</LocalCounter>
-    <LocalCounter worker="3">212720</LocalCounter>
-    <LocalCounter worker="4">212724</LocalCounter>
-    <LocalCounter worker="5">212725</LocalCounter>
-    <LocalCounter worker="6">212726</LocalCounter>
-    <LocalCounter worker="7">212725</LocalCounter>
-    <LocalCounter worker="8">212723</LocalCounter>
-    <LocalCounter worker="9">212724</LocalCounter>
-    <LocalCounter worker="10">212721</LocalCounter>
-    <LocalCounter worker="11">212720</LocalCounter>
-    <LocalCounter worker="12">212724</LocalCounter>
-    <LocalCounter worker="13">212722</LocalCounter>
-    <LocalCounter worker="14">212726</LocalCounter>
-    <LocalCounter worker="15">212726</LocalCounter>
-    <LocalCounter worker="16">212743</LocalCounter>
-    <LocalCounter worker="17">212744</LocalCounter>
-    <LocalCounter worker="18">212744</LocalCounter>
-    <LocalCounter worker="19">212745</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>4254543</SumOfLocalCounter>
+    <LocalCounter worker="0">214338</LocalCounter>
+    <LocalCounter worker="1">214338</LocalCounter>
+    <LocalCounter worker="2">214338</LocalCounter>
+    <LocalCounter worker="3">214336</LocalCounter>
+    <LocalCounter worker="4">214338</LocalCounter>
+    <LocalCounter worker="5">214337</LocalCounter>
+    <LocalCounter worker="6">214335</LocalCounter>
+    <LocalCounter worker="7">214337</LocalCounter>
+    <LocalCounter worker="8">214338</LocalCounter>
+    <LocalCounter worker="9">214337</LocalCounter>
+    <LocalCounter worker="10">214337</LocalCounter>
+    <LocalCounter worker="11">214338</LocalCounter>
+    <LocalCounter worker="12">214337</LocalCounter>
+    <LocalCounter worker="13">214337</LocalCounter>
+    <LocalCounter worker="14">214339</LocalCounter>
+    <LocalCounter worker="15">214338</LocalCounter>
+    <LocalCounter worker="16">214343</LocalCounter>
+    <LocalCounter worker="17">214343</LocalCounter>
+    <LocalCounter worker="18">214345</LocalCounter>
+    <LocalCounter worker="19">214345</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>4286774</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="21">
-    <LocalCounter worker="0">198923</LocalCounter>
-    <LocalCounter worker="1">198922</LocalCounter>
-    <LocalCounter worker="2">198921</LocalCounter>
-    <LocalCounter worker="3">198921</LocalCounter>
-    <LocalCounter worker="4">198921</LocalCounter>
-    <LocalCounter worker="5">198923</LocalCounter>
-    <LocalCounter worker="6">198921</LocalCounter>
-    <LocalCounter worker="7">198924</LocalCounter>
-    <LocalCounter worker="8">198922</LocalCounter>
-    <LocalCounter worker="9">198920</LocalCounter>
-    <LocalCounter worker="10">198922</LocalCounter>
-    <LocalCounter worker="11">198922</LocalCounter>
-    <LocalCounter worker="12">198924</LocalCounter>
-    <LocalCounter worker="13">198922</LocalCounter>
-    <LocalCounter worker="14">198921</LocalCounter>
-    <LocalCounter worker="15">198922</LocalCounter>
-    <LocalCounter worker="16">198930</LocalCounter>
-    <LocalCounter worker="17">198930</LocalCounter>
-    <LocalCounter worker="18">198929</LocalCounter>
-    <LocalCounter worker="19">198929</LocalCounter>
-    <LocalCounter worker="20">198933</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>4177402</SumOfLocalCounter>
+    <LocalCounter worker="0">198227</LocalCounter>
+    <LocalCounter worker="1">198229</LocalCounter>
+    <LocalCounter worker="2">198227</LocalCounter>
+    <LocalCounter worker="3">198228</LocalCounter>
+    <LocalCounter worker="4">198228</LocalCounter>
+    <LocalCounter worker="5">198229</LocalCounter>
+    <LocalCounter worker="6">198229</LocalCounter>
+    <LocalCounter worker="7">198228</LocalCounter>
+    <LocalCounter worker="8">198227</LocalCounter>
+    <LocalCounter worker="9">198230</LocalCounter>
+    <LocalCounter worker="10">198227</LocalCounter>
+    <LocalCounter worker="11">198228</LocalCounter>
+    <LocalCounter worker="12">198229</LocalCounter>
+    <LocalCounter worker="13">198230</LocalCounter>
+    <LocalCounter worker="14">198228</LocalCounter>
+    <LocalCounter worker="15">198230</LocalCounter>
+    <LocalCounter worker="16">198231</LocalCounter>
+    <LocalCounter worker="17">198232</LocalCounter>
+    <LocalCounter worker="18">198233</LocalCounter>
+    <LocalCounter worker="19">198233</LocalCounter>
+    <LocalCounter worker="20">198232</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>4162815</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="22">
-    <LocalCounter worker="0">189448</LocalCounter>
-    <LocalCounter worker="1">189450</LocalCounter>
-    <LocalCounter worker="2">189449</LocalCounter>
-    <LocalCounter worker="3">189448</LocalCounter>
-    <LocalCounter worker="4">189449</LocalCounter>
-    <LocalCounter worker="5">189450</LocalCounter>
-    <LocalCounter worker="6">189447</LocalCounter>
-    <LocalCounter worker="7">189446</LocalCounter>
-    <LocalCounter worker="8">189447</LocalCounter>
-    <LocalCounter worker="9">189447</LocalCounter>
-    <LocalCounter worker="10">189448</LocalCounter>
-    <LocalCounter worker="11">189449</LocalCounter>
-    <LocalCounter worker="12">189449</LocalCounter>
-    <LocalCounter worker="13">189450</LocalCounter>
-    <LocalCounter worker="14">189447</LocalCounter>
-    <LocalCounter worker="15">189449</LocalCounter>
-    <LocalCounter worker="16">189454</LocalCounter>
-    <LocalCounter worker="17">189452</LocalCounter>
-    <LocalCounter worker="18">189453</LocalCounter>
-    <LocalCounter worker="19">189453</LocalCounter>
-    <LocalCounter worker="20">189455</LocalCounter>
-    <LocalCounter worker="21">189453</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>4167893</SumOfLocalCounter>
+    <LocalCounter worker="0">192321</LocalCounter>
+    <LocalCounter worker="1">192322</LocalCounter>
+    <LocalCounter worker="2">192322</LocalCounter>
+    <LocalCounter worker="3">192323</LocalCounter>
+    <LocalCounter worker="4">192325</LocalCounter>
+    <LocalCounter worker="5">192324</LocalCounter>
+    <LocalCounter worker="6">192323</LocalCounter>
+    <LocalCounter worker="7">192324</LocalCounter>
+    <LocalCounter worker="8">192325</LocalCounter>
+    <LocalCounter worker="9">192325</LocalCounter>
+    <LocalCounter worker="10">192323</LocalCounter>
+    <LocalCounter worker="11">192323</LocalCounter>
+    <LocalCounter worker="12">192323</LocalCounter>
+    <LocalCounter worker="13">192323</LocalCounter>
+    <LocalCounter worker="14">192324</LocalCounter>
+    <LocalCounter worker="15">192324</LocalCounter>
+    <LocalCounter worker="16">192329</LocalCounter>
+    <LocalCounter worker="17">192326</LocalCounter>
+    <LocalCounter worker="18">192325</LocalCounter>
+    <LocalCounter worker="19">192329</LocalCounter>
+    <LocalCounter worker="20">192326</LocalCounter>
+    <LocalCounter worker="21">192327</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>4231136</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="23">
-    <LocalCounter worker="0">177492</LocalCounter>
-    <LocalCounter worker="1">177490</LocalCounter>
-    <LocalCounter worker="2">177489</LocalCounter>
-    <LocalCounter worker="3">177490</LocalCounter>
-    <LocalCounter worker="4">177491</LocalCounter>
-    <LocalCounter worker="5">177491</LocalCounter>
-    <LocalCounter worker="6">177491</LocalCounter>
-    <LocalCounter worker="7">177491</LocalCounter>
-    <LocalCounter worker="8">177492</LocalCounter>
-    <LocalCounter worker="9">177490</LocalCounter>
-    <LocalCounter worker="10">177492</LocalCounter>
-    <LocalCounter worker="11">177489</LocalCounter>
-    <LocalCounter worker="12">177491</LocalCounter>
-    <LocalCounter worker="13">177489</LocalCounter>
-    <LocalCounter worker="14">177491</LocalCounter>
-    <LocalCounter worker="15">177491</LocalCounter>
-    <LocalCounter worker="16">177494</LocalCounter>
-    <LocalCounter worker="17">177493</LocalCounter>
-    <LocalCounter worker="18">177493</LocalCounter>
-    <LocalCounter worker="19">177495</LocalCounter>
-    <LocalCounter worker="20">177493</LocalCounter>
-    <LocalCounter worker="21">177492</LocalCounter>
-    <LocalCounter worker="22">177498</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>4082308</SumOfLocalCounter>
+    <LocalCounter worker="0">177893</LocalCounter>
+    <LocalCounter worker="1">177892</LocalCounter>
+    <LocalCounter worker="2">177895</LocalCounter>
+    <LocalCounter worker="3">177894</LocalCounter>
+    <LocalCounter worker="4">177892</LocalCounter>
+    <LocalCounter worker="5">177891</LocalCounter>
+    <LocalCounter worker="6">177893</LocalCounter>
+    <LocalCounter worker="7">177893</LocalCounter>
+    <LocalCounter worker="8">177893</LocalCounter>
+    <LocalCounter worker="9">177893</LocalCounter>
+    <LocalCounter worker="10">177894</LocalCounter>
+    <LocalCounter worker="11">177894</LocalCounter>
+    <LocalCounter worker="12">177893</LocalCounter>
+    <LocalCounter worker="13">177893</LocalCounter>
+    <LocalCounter worker="14">177894</LocalCounter>
+    <LocalCounter worker="15">177894</LocalCounter>
+    <LocalCounter worker="16">177895</LocalCounter>
+    <LocalCounter worker="17">177895</LocalCounter>
+    <LocalCounter worker="18">177896</LocalCounter>
+    <LocalCounter worker="19">177897</LocalCounter>
+    <LocalCounter worker="20">177894</LocalCounter>
+    <LocalCounter worker="21">177896</LocalCounter>
+    <LocalCounter worker="22">177894</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>4091558</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalTicketLockWithLocalCounter activeWorker="24">
-    <LocalCounter worker="0">164885</LocalCounter>
-    <LocalCounter worker="1">164884</LocalCounter>
-    <LocalCounter worker="2">164884</LocalCounter>
-    <LocalCounter worker="3">164885</LocalCounter>
-    <LocalCounter worker="4">164884</LocalCounter>
-    <LocalCounter worker="5">164886</LocalCounter>
-    <LocalCounter worker="6">164887</LocalCounter>
-    <LocalCounter worker="7">164888</LocalCounter>
-    <LocalCounter worker="8">164885</LocalCounter>
-    <LocalCounter worker="9">164885</LocalCounter>
-    <LocalCounter worker="10">164884</LocalCounter>
-    <LocalCounter worker="11">164884</LocalCounter>
-    <LocalCounter worker="12">164884</LocalCounter>
-    <LocalCounter worker="13">164885</LocalCounter>
-    <LocalCounter worker="14">164886</LocalCounter>
-    <LocalCounter worker="15">164884</LocalCounter>
-    <LocalCounter worker="16">164883</LocalCounter>
-    <LocalCounter worker="17">164884</LocalCounter>
-    <LocalCounter worker="18">164885</LocalCounter>
-    <LocalCounter worker="19">164885</LocalCounter>
-    <LocalCounter worker="20">164884</LocalCounter>
-    <LocalCounter worker="21">164884</LocalCounter>
-    <LocalCounter worker="22">164884</LocalCounter>
-    <LocalCounter worker="23">164884</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>3957233</SumOfLocalCounter>
+    <LocalCounter worker="0">168726</LocalCounter>
+    <LocalCounter worker="1">168726</LocalCounter>
+    <LocalCounter worker="2">168726</LocalCounter>
+    <LocalCounter worker="3">168726</LocalCounter>
+    <LocalCounter worker="4">168726</LocalCounter>
+    <LocalCounter worker="5">168725</LocalCounter>
+    <LocalCounter worker="6">168726</LocalCounter>
+    <LocalCounter worker="7">168726</LocalCounter>
+    <LocalCounter worker="8">168726</LocalCounter>
+    <LocalCounter worker="9">168726</LocalCounter>
+    <LocalCounter worker="10">168728</LocalCounter>
+    <LocalCounter worker="11">168727</LocalCounter>
+    <LocalCounter worker="12">168727</LocalCounter>
+    <LocalCounter worker="13">168726</LocalCounter>
+    <LocalCounter worker="14">168726</LocalCounter>
+    <LocalCounter worker="15">168728</LocalCounter>
+    <LocalCounter worker="16">168727</LocalCounter>
+    <LocalCounter worker="17">168729</LocalCounter>
+    <LocalCounter worker="18">168726</LocalCounter>
+    <LocalCounter worker="19">168725</LocalCounter>
+    <LocalCounter worker="20">168728</LocalCounter>
+    <LocalCounter worker="21">168727</LocalCounter>
+    <LocalCounter worker="22">168726</LocalCounter>
+    <LocalCounter worker="23">168726</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>4049435</SumOfLocalCounter>
   </GlobalTicketLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="1">
-    <LocalCounter worker="0">13052163</LocalCounter>
+    <LocalCounter worker="0">13090449</LocalCounter>
     <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>13052163</SumOfLocalCounter>
+    <SumOfLocalCounter>13090449</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="2">
-    <LocalCounter worker="0">6249883</LocalCounter>
-    <LocalCounter worker="1">6250063</LocalCounter>
+    <LocalCounter worker="0">6384726</LocalCounter>
+    <LocalCounter worker="1">6384887</LocalCounter>
     <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>12499946</SumOfLocalCounter>
+    <SumOfLocalCounter>12769613</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="3">
-    <LocalCounter worker="0">2971593</LocalCounter>
-    <LocalCounter worker="1">2971609</LocalCounter>
-    <LocalCounter worker="2">2971610</LocalCounter>
+    <LocalCounter worker="0">2955420</LocalCounter>
+    <LocalCounter worker="1">2955434</LocalCounter>
+    <LocalCounter worker="2">2955434</LocalCounter>
     <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>8914812</SumOfLocalCounter>
+    <SumOfLocalCounter>8866288</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="4">
-    <LocalCounter worker="0">2917683</LocalCounter>
-    <LocalCounter worker="1">2917704</LocalCounter>
-    <LocalCounter worker="2">2917704</LocalCounter>
-    <LocalCounter worker="3">2917698</LocalCounter>
+    <LocalCounter worker="0">2866696</LocalCounter>
+    <LocalCounter worker="1">2866710</LocalCounter>
+    <LocalCounter worker="2">2866711</LocalCounter>
+    <LocalCounter worker="3">2866708</LocalCounter>
     <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>11670789</SumOfLocalCounter>
+    <SumOfLocalCounter>11466825</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="5">
-    <LocalCounter worker="0">3024302</LocalCounter>
-    <LocalCounter worker="1">3024315</LocalCounter>
-    <LocalCounter worker="2">3024315</LocalCounter>
-    <LocalCounter worker="3">3024313</LocalCounter>
-    <LocalCounter worker="4">3024315</LocalCounter>
+    <LocalCounter worker="0">2996690</LocalCounter>
+    <LocalCounter worker="1">2996699</LocalCounter>
+    <LocalCounter worker="2">2996701</LocalCounter>
+    <LocalCounter worker="3">2996698</LocalCounter>
+    <LocalCounter worker="4">2996701</LocalCounter>
     <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>15121560</SumOfLocalCounter>
+    <SumOfLocalCounter>14983489</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="6">
-    <LocalCounter worker="0">2592858</LocalCounter>
-    <LocalCounter worker="1">2592873</LocalCounter>
-    <LocalCounter worker="2">2592872</LocalCounter>
-    <LocalCounter worker="3">2592868</LocalCounter>
-    <LocalCounter worker="4">2592869</LocalCounter>
-    <LocalCounter worker="5">2592872</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>15557212</SumOfLocalCounter>
+    <LocalCounter worker="0">2540852</LocalCounter>
+    <LocalCounter worker="1">2540864</LocalCounter>
+    <LocalCounter worker="2">2540864</LocalCounter>
+    <LocalCounter worker="3">2540862</LocalCounter>
+    <LocalCounter worker="4">2540861</LocalCounter>
+    <LocalCounter worker="5">2540863</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>15245166</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="7">
-    <LocalCounter worker="0">2210518</LocalCounter>
-    <LocalCounter worker="1">2210526</LocalCounter>
-    <LocalCounter worker="2">2210526</LocalCounter>
-    <LocalCounter worker="3">2210524</LocalCounter>
-    <LocalCounter worker="4">2210526</LocalCounter>
-    <LocalCounter worker="5">2210527</LocalCounter>
-    <LocalCounter worker="6">2210526</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>15473673</SumOfLocalCounter>
+    <LocalCounter worker="0">2182035</LocalCounter>
+    <LocalCounter worker="1">2182054</LocalCounter>
+    <LocalCounter worker="2">2182053</LocalCounter>
+    <LocalCounter worker="3">2182053</LocalCounter>
+    <LocalCounter worker="4">2182053</LocalCounter>
+    <LocalCounter worker="5">2182055</LocalCounter>
+    <LocalCounter worker="6">2182055</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>15274358</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="8">
-    <LocalCounter worker="0">1911334</LocalCounter>
-    <LocalCounter worker="1">1911340</LocalCounter>
-    <LocalCounter worker="2">1911340</LocalCounter>
-    <LocalCounter worker="3">1911339</LocalCounter>
-    <LocalCounter worker="4">1911340</LocalCounter>
-    <LocalCounter worker="5">1911341</LocalCounter>
-    <LocalCounter worker="6">1911341</LocalCounter>
-    <LocalCounter worker="7">1911338</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>15290713</SumOfLocalCounter>
+    <LocalCounter worker="0">1920366</LocalCounter>
+    <LocalCounter worker="1">1920373</LocalCounter>
+    <LocalCounter worker="2">1920374</LocalCounter>
+    <LocalCounter worker="3">1920373</LocalCounter>
+    <LocalCounter worker="4">1920371</LocalCounter>
+    <LocalCounter worker="5">1920374</LocalCounter>
+    <LocalCounter worker="6">1920373</LocalCounter>
+    <LocalCounter worker="7">1920372</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>15362976</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="9">
-    <LocalCounter worker="0">1222955</LocalCounter>
-    <LocalCounter worker="1">1222958</LocalCounter>
-    <LocalCounter worker="2">1222958</LocalCounter>
-    <LocalCounter worker="3">1222956</LocalCounter>
-    <LocalCounter worker="4">1222959</LocalCounter>
-    <LocalCounter worker="5">1222958</LocalCounter>
-    <LocalCounter worker="6">1222959</LocalCounter>
-    <LocalCounter worker="7">1222957</LocalCounter>
-    <LocalCounter worker="8">1222957</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>11006617</SumOfLocalCounter>
+    <LocalCounter worker="0">1216597</LocalCounter>
+    <LocalCounter worker="1">1216602</LocalCounter>
+    <LocalCounter worker="2">1216602</LocalCounter>
+    <LocalCounter worker="3">1216602</LocalCounter>
+    <LocalCounter worker="4">1216601</LocalCounter>
+    <LocalCounter worker="5">1216602</LocalCounter>
+    <LocalCounter worker="6">1216603</LocalCounter>
+    <LocalCounter worker="7">1216601</LocalCounter>
+    <LocalCounter worker="8">1216600</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>10949410</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="10">
-    <LocalCounter worker="0">1033322</LocalCounter>
-    <LocalCounter worker="1">1033324</LocalCounter>
-    <LocalCounter worker="2">1033322</LocalCounter>
-    <LocalCounter worker="3">1033322</LocalCounter>
-    <LocalCounter worker="4">1033323</LocalCounter>
-    <LocalCounter worker="5">1033323</LocalCounter>
-    <LocalCounter worker="6">1033324</LocalCounter>
-    <LocalCounter worker="7">1033323</LocalCounter>
-    <LocalCounter worker="8">1033323</LocalCounter>
-    <LocalCounter worker="9">1033322</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>10333228</SumOfLocalCounter>
+    <LocalCounter worker="0">1007168</LocalCounter>
+    <LocalCounter worker="1">1007170</LocalCounter>
+    <LocalCounter worker="2">1007171</LocalCounter>
+    <LocalCounter worker="3">1007170</LocalCounter>
+    <LocalCounter worker="4">1007170</LocalCounter>
+    <LocalCounter worker="5">1007170</LocalCounter>
+    <LocalCounter worker="6">1007171</LocalCounter>
+    <LocalCounter worker="7">1007170</LocalCounter>
+    <LocalCounter worker="8">1007170</LocalCounter>
+    <LocalCounter worker="9">1007171</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>10071701</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="11">
-    <LocalCounter worker="0">782867</LocalCounter>
-    <LocalCounter worker="1">782869</LocalCounter>
-    <LocalCounter worker="2">782869</LocalCounter>
-    <LocalCounter worker="3">782868</LocalCounter>
-    <LocalCounter worker="4">782867</LocalCounter>
-    <LocalCounter worker="5">782869</LocalCounter>
-    <LocalCounter worker="6">782869</LocalCounter>
-    <LocalCounter worker="7">782868</LocalCounter>
-    <LocalCounter worker="8">782868</LocalCounter>
-    <LocalCounter worker="9">782866</LocalCounter>
-    <LocalCounter worker="10">782868</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>8611548</SumOfLocalCounter>
+    <LocalCounter worker="0">772281</LocalCounter>
+    <LocalCounter worker="1">772283</LocalCounter>
+    <LocalCounter worker="2">772283</LocalCounter>
+    <LocalCounter worker="3">772284</LocalCounter>
+    <LocalCounter worker="4">772281</LocalCounter>
+    <LocalCounter worker="5">772283</LocalCounter>
+    <LocalCounter worker="6">772283</LocalCounter>
+    <LocalCounter worker="7">772282</LocalCounter>
+    <LocalCounter worker="8">772281</LocalCounter>
+    <LocalCounter worker="9">772282</LocalCounter>
+    <LocalCounter worker="10">772282</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>8495105</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="12">
-    <LocalCounter worker="0">667681</LocalCounter>
-    <LocalCounter worker="1">667683</LocalCounter>
-    <LocalCounter worker="2">667684</LocalCounter>
-    <LocalCounter worker="3">667682</LocalCounter>
-    <LocalCounter worker="4">667684</LocalCounter>
-    <LocalCounter worker="5">667683</LocalCounter>
-    <LocalCounter worker="6">667682</LocalCounter>
-    <LocalCounter worker="7">667683</LocalCounter>
-    <LocalCounter worker="8">667684</LocalCounter>
-    <LocalCounter worker="9">667683</LocalCounter>
-    <LocalCounter worker="10">667683</LocalCounter>
-    <LocalCounter worker="11">667682</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>8012194</SumOfLocalCounter>
+    <LocalCounter worker="0">672837</LocalCounter>
+    <LocalCounter worker="1">672841</LocalCounter>
+    <LocalCounter worker="2">672841</LocalCounter>
+    <LocalCounter worker="3">672841</LocalCounter>
+    <LocalCounter worker="4">672841</LocalCounter>
+    <LocalCounter worker="5">672842</LocalCounter>
+    <LocalCounter worker="6">672841</LocalCounter>
+    <LocalCounter worker="7">672841</LocalCounter>
+    <LocalCounter worker="8">672842</LocalCounter>
+    <LocalCounter worker="9">672841</LocalCounter>
+    <LocalCounter worker="10">672841</LocalCounter>
+    <LocalCounter worker="11">672841</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>8074090</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="13">
-    <LocalCounter worker="0">601940</LocalCounter>
-    <LocalCounter worker="1">601943</LocalCounter>
-    <LocalCounter worker="2">601942</LocalCounter>
-    <LocalCounter worker="3">601941</LocalCounter>
-    <LocalCounter worker="4">601943</LocalCounter>
-    <LocalCounter worker="5">601942</LocalCounter>
-    <LocalCounter worker="6">601943</LocalCounter>
-    <LocalCounter worker="7">601942</LocalCounter>
-    <LocalCounter worker="8">601942</LocalCounter>
-    <LocalCounter worker="9">601942</LocalCounter>
-    <LocalCounter worker="10">601943</LocalCounter>
-    <LocalCounter worker="11">601942</LocalCounter>
-    <LocalCounter worker="12">601942</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>7825247</SumOfLocalCounter>
+    <LocalCounter worker="0">595160</LocalCounter>
+    <LocalCounter worker="1">595163</LocalCounter>
+    <LocalCounter worker="2">595162</LocalCounter>
+    <LocalCounter worker="3">595163</LocalCounter>
+    <LocalCounter worker="4">595161</LocalCounter>
+    <LocalCounter worker="5">595162</LocalCounter>
+    <LocalCounter worker="6">595162</LocalCounter>
+    <LocalCounter worker="7">595163</LocalCounter>
+    <LocalCounter worker="8">595162</LocalCounter>
+    <LocalCounter worker="9">595162</LocalCounter>
+    <LocalCounter worker="10">595162</LocalCounter>
+    <LocalCounter worker="11">595162</LocalCounter>
+    <LocalCounter worker="12">595162</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>7737106</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="14">
-    <LocalCounter worker="0">592663</LocalCounter>
-    <LocalCounter worker="1">592666</LocalCounter>
-    <LocalCounter worker="2">592665</LocalCounter>
-    <LocalCounter worker="3">592665</LocalCounter>
-    <LocalCounter worker="4">592664</LocalCounter>
-    <LocalCounter worker="5">592667</LocalCounter>
-    <LocalCounter worker="6">592665</LocalCounter>
-    <LocalCounter worker="7">592665</LocalCounter>
-    <LocalCounter worker="8">592665</LocalCounter>
-    <LocalCounter worker="9">592664</LocalCounter>
-    <LocalCounter worker="10">592666</LocalCounter>
-    <LocalCounter worker="11">592665</LocalCounter>
-    <LocalCounter worker="12">592665</LocalCounter>
-    <LocalCounter worker="13">592666</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>8297311</SumOfLocalCounter>
+    <LocalCounter worker="0">581536</LocalCounter>
+    <LocalCounter worker="1">581540</LocalCounter>
+    <LocalCounter worker="2">581539</LocalCounter>
+    <LocalCounter worker="3">581539</LocalCounter>
+    <LocalCounter worker="4">581539</LocalCounter>
+    <LocalCounter worker="5">581539</LocalCounter>
+    <LocalCounter worker="6">581539</LocalCounter>
+    <LocalCounter worker="7">581538</LocalCounter>
+    <LocalCounter worker="8">581540</LocalCounter>
+    <LocalCounter worker="9">581539</LocalCounter>
+    <LocalCounter worker="10">581538</LocalCounter>
+    <LocalCounter worker="11">581539</LocalCounter>
+    <LocalCounter worker="12">581539</LocalCounter>
+    <LocalCounter worker="13">581540</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>8141544</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="15">
-    <LocalCounter worker="0">493086</LocalCounter>
-    <LocalCounter worker="1">493087</LocalCounter>
-    <LocalCounter worker="2">493086</LocalCounter>
-    <LocalCounter worker="3">493087</LocalCounter>
-    <LocalCounter worker="4">493087</LocalCounter>
-    <LocalCounter worker="5">493087</LocalCounter>
-    <LocalCounter worker="6">493087</LocalCounter>
-    <LocalCounter worker="7">493087</LocalCounter>
-    <LocalCounter worker="8">493087</LocalCounter>
-    <LocalCounter worker="9">493086</LocalCounter>
-    <LocalCounter worker="10">493086</LocalCounter>
-    <LocalCounter worker="11">493087</LocalCounter>
-    <LocalCounter worker="12">493087</LocalCounter>
-    <LocalCounter worker="13">493086</LocalCounter>
-    <LocalCounter worker="14">493089</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>7396302</SumOfLocalCounter>
+    <LocalCounter worker="0">578439</LocalCounter>
+    <LocalCounter worker="1">578441</LocalCounter>
+    <LocalCounter worker="2">578442</LocalCounter>
+    <LocalCounter worker="3">578441</LocalCounter>
+    <LocalCounter worker="4">578442</LocalCounter>
+    <LocalCounter worker="5">578441</LocalCounter>
+    <LocalCounter worker="6">578442</LocalCounter>
+    <LocalCounter worker="7">578444</LocalCounter>
+    <LocalCounter worker="8">578441</LocalCounter>
+    <LocalCounter worker="9">578442</LocalCounter>
+    <LocalCounter worker="10">578441</LocalCounter>
+    <LocalCounter worker="11">578440</LocalCounter>
+    <LocalCounter worker="12">578441</LocalCounter>
+    <LocalCounter worker="13">578441</LocalCounter>
+    <LocalCounter worker="14">578442</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>8676620</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="16">
-    <LocalCounter worker="0">462384</LocalCounter>
-    <LocalCounter worker="1">462386</LocalCounter>
-    <LocalCounter worker="2">462387</LocalCounter>
-    <LocalCounter worker="3">462386</LocalCounter>
-    <LocalCounter worker="4">462384</LocalCounter>
-    <LocalCounter worker="5">462385</LocalCounter>
-    <LocalCounter worker="6">462384</LocalCounter>
-    <LocalCounter worker="7">462384</LocalCounter>
-    <LocalCounter worker="8">462386</LocalCounter>
-    <LocalCounter worker="9">462385</LocalCounter>
-    <LocalCounter worker="10">462385</LocalCounter>
-    <LocalCounter worker="11">462384</LocalCounter>
-    <LocalCounter worker="12">462384</LocalCounter>
-    <LocalCounter worker="13">462385</LocalCounter>
-    <LocalCounter worker="14">462384</LocalCounter>
-    <LocalCounter worker="15">462385</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>7398158</SumOfLocalCounter>
+    <LocalCounter worker="0">527784</LocalCounter>
+    <LocalCounter worker="1">527783</LocalCounter>
+    <LocalCounter worker="2">527785</LocalCounter>
+    <LocalCounter worker="3">527784</LocalCounter>
+    <LocalCounter worker="4">527784</LocalCounter>
+    <LocalCounter worker="5">527783</LocalCounter>
+    <LocalCounter worker="6">527782</LocalCounter>
+    <LocalCounter worker="7">527784</LocalCounter>
+    <LocalCounter worker="8">527782</LocalCounter>
+    <LocalCounter worker="9">527782</LocalCounter>
+    <LocalCounter worker="10">527784</LocalCounter>
+    <LocalCounter worker="11">527783</LocalCounter>
+    <LocalCounter worker="12">527783</LocalCounter>
+    <LocalCounter worker="13">527783</LocalCounter>
+    <LocalCounter worker="14">527783</LocalCounter>
+    <LocalCounter worker="15">527783</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>8444532</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="17">
-    <LocalCounter worker="0">444000</LocalCounter>
-    <LocalCounter worker="1">443997</LocalCounter>
-    <LocalCounter worker="2">443999</LocalCounter>
-    <LocalCounter worker="3">443999</LocalCounter>
-    <LocalCounter worker="4">444003</LocalCounter>
-    <LocalCounter worker="5">443999</LocalCounter>
-    <LocalCounter worker="6">443999</LocalCounter>
-    <LocalCounter worker="7">443999</LocalCounter>
-    <LocalCounter worker="8">444003</LocalCounter>
-    <LocalCounter worker="9">443997</LocalCounter>
-    <LocalCounter worker="10">444002</LocalCounter>
-    <LocalCounter worker="11">443998</LocalCounter>
-    <LocalCounter worker="12">444002</LocalCounter>
-    <LocalCounter worker="13">443995</LocalCounter>
-    <LocalCounter worker="14">444003</LocalCounter>
-    <LocalCounter worker="15">444000</LocalCounter>
-    <LocalCounter worker="16">444006</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>7548001</SumOfLocalCounter>
+    <LocalCounter worker="0">468012</LocalCounter>
+    <LocalCounter worker="1">468009</LocalCounter>
+    <LocalCounter worker="2">468009</LocalCounter>
+    <LocalCounter worker="3">468010</LocalCounter>
+    <LocalCounter worker="4">468011</LocalCounter>
+    <LocalCounter worker="5">468010</LocalCounter>
+    <LocalCounter worker="6">468011</LocalCounter>
+    <LocalCounter worker="7">468009</LocalCounter>
+    <LocalCounter worker="8">468009</LocalCounter>
+    <LocalCounter worker="9">468010</LocalCounter>
+    <LocalCounter worker="10">468011</LocalCounter>
+    <LocalCounter worker="11">468012</LocalCounter>
+    <LocalCounter worker="12">468009</LocalCounter>
+    <LocalCounter worker="13">468011</LocalCounter>
+    <LocalCounter worker="14">468011</LocalCounter>
+    <LocalCounter worker="15">468011</LocalCounter>
+    <LocalCounter worker="16">468012</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>7956177</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="18">
-    <LocalCounter worker="0">405647</LocalCounter>
-    <LocalCounter worker="1">405651</LocalCounter>
-    <LocalCounter worker="2">405648</LocalCounter>
-    <LocalCounter worker="3">405644</LocalCounter>
-    <LocalCounter worker="4">405646</LocalCounter>
-    <LocalCounter worker="5">405651</LocalCounter>
-    <LocalCounter worker="6">405646</LocalCounter>
-    <LocalCounter worker="7">405646</LocalCounter>
-    <LocalCounter worker="8">405645</LocalCounter>
-    <LocalCounter worker="9">405647</LocalCounter>
-    <LocalCounter worker="10">405653</LocalCounter>
-    <LocalCounter worker="11">405650</LocalCounter>
-    <LocalCounter worker="12">405648</LocalCounter>
-    <LocalCounter worker="13">405650</LocalCounter>
-    <LocalCounter worker="14">405648</LocalCounter>
-    <LocalCounter worker="15">405648</LocalCounter>
-    <LocalCounter worker="16">405649</LocalCounter>
-    <LocalCounter worker="17">405646</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>7301663</SumOfLocalCounter>
+    <LocalCounter worker="0">439238</LocalCounter>
+    <LocalCounter worker="1">439222</LocalCounter>
+    <LocalCounter worker="2">439228</LocalCounter>
+    <LocalCounter worker="3">439225</LocalCounter>
+    <LocalCounter worker="4">439226</LocalCounter>
+    <LocalCounter worker="5">439228</LocalCounter>
+    <LocalCounter worker="6">439226</LocalCounter>
+    <LocalCounter worker="7">439219</LocalCounter>
+    <LocalCounter worker="8">439231</LocalCounter>
+    <LocalCounter worker="9">439213</LocalCounter>
+    <LocalCounter worker="10">439226</LocalCounter>
+    <LocalCounter worker="11">439215</LocalCounter>
+    <LocalCounter worker="12">439215</LocalCounter>
+    <LocalCounter worker="13">439222</LocalCounter>
+    <LocalCounter worker="14">439224</LocalCounter>
+    <LocalCounter worker="15">439217</LocalCounter>
+    <LocalCounter worker="16">439226</LocalCounter>
+    <LocalCounter worker="17">439230</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>7906031</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="19">
-    <LocalCounter worker="0">368682</LocalCounter>
-    <LocalCounter worker="1">368649</LocalCounter>
-    <LocalCounter worker="2">368690</LocalCounter>
-    <LocalCounter worker="3">368691</LocalCounter>
-    <LocalCounter worker="4">368656</LocalCounter>
-    <LocalCounter worker="5">368663</LocalCounter>
-    <LocalCounter worker="6">368673</LocalCounter>
-    <LocalCounter worker="7">368669</LocalCounter>
-    <LocalCounter worker="8">368677</LocalCounter>
-    <LocalCounter worker="9">368677</LocalCounter>
-    <LocalCounter worker="10">368679</LocalCounter>
-    <LocalCounter worker="11">368687</LocalCounter>
-    <LocalCounter worker="12">368688</LocalCounter>
-    <LocalCounter worker="13">368686</LocalCounter>
-    <LocalCounter worker="14">368677</LocalCounter>
-    <LocalCounter worker="15">368681</LocalCounter>
-    <LocalCounter worker="16">368601</LocalCounter>
-    <LocalCounter worker="17">368584</LocalCounter>
-    <LocalCounter worker="18">368598</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>7004608</SumOfLocalCounter>
+    <LocalCounter worker="0">392577</LocalCounter>
+    <LocalCounter worker="1">392658</LocalCounter>
+    <LocalCounter worker="2">392677</LocalCounter>
+    <LocalCounter worker="3">392625</LocalCounter>
+    <LocalCounter worker="4">392645</LocalCounter>
+    <LocalCounter worker="5">392611</LocalCounter>
+    <LocalCounter worker="6">392643</LocalCounter>
+    <LocalCounter worker="7">392617</LocalCounter>
+    <LocalCounter worker="8">392519</LocalCounter>
+    <LocalCounter worker="9">392507</LocalCounter>
+    <LocalCounter worker="10">392525</LocalCounter>
+    <LocalCounter worker="11">392515</LocalCounter>
+    <LocalCounter worker="12">392513</LocalCounter>
+    <LocalCounter worker="13">392488</LocalCounter>
+    <LocalCounter worker="14">392567</LocalCounter>
+    <LocalCounter worker="15">392567</LocalCounter>
+    <LocalCounter worker="16">392175</LocalCounter>
+    <LocalCounter worker="17">392148</LocalCounter>
+    <LocalCounter worker="18">392153</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>7457730</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="20">
-    <LocalCounter worker="0">377161</LocalCounter>
-    <LocalCounter worker="1">377163</LocalCounter>
-    <LocalCounter worker="2">377174</LocalCounter>
-    <LocalCounter worker="3">377191</LocalCounter>
-    <LocalCounter worker="4">377164</LocalCounter>
-    <LocalCounter worker="5">377131</LocalCounter>
-    <LocalCounter worker="6">377141</LocalCounter>
-    <LocalCounter worker="7">377109</LocalCounter>
-    <LocalCounter worker="8">377238</LocalCounter>
-    <LocalCounter worker="9">377231</LocalCounter>
-    <LocalCounter worker="10">377218</LocalCounter>
-    <LocalCounter worker="11">377227</LocalCounter>
-    <LocalCounter worker="12">377244</LocalCounter>
-    <LocalCounter worker="13">377234</LocalCounter>
-    <LocalCounter worker="14">377232</LocalCounter>
-    <LocalCounter worker="15">377216</LocalCounter>
-    <LocalCounter worker="16">376777</LocalCounter>
-    <LocalCounter worker="17">376775</LocalCounter>
-    <LocalCounter worker="18">376769</LocalCounter>
-    <LocalCounter worker="19">376796</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>7542191</SumOfLocalCounter>
+    <LocalCounter worker="0">393189</LocalCounter>
+    <LocalCounter worker="1">393145</LocalCounter>
+    <LocalCounter worker="2">393365</LocalCounter>
+    <LocalCounter worker="3">393284</LocalCounter>
+    <LocalCounter worker="4">393215</LocalCounter>
+    <LocalCounter worker="5">393191</LocalCounter>
+    <LocalCounter worker="6">393247</LocalCounter>
+    <LocalCounter worker="7">393229</LocalCounter>
+    <LocalCounter worker="8">392255</LocalCounter>
+    <LocalCounter worker="9">392239</LocalCounter>
+    <LocalCounter worker="10">392268</LocalCounter>
+    <LocalCounter worker="11">392259</LocalCounter>
+    <LocalCounter worker="12">392312</LocalCounter>
+    <LocalCounter worker="13">392395</LocalCounter>
+    <LocalCounter worker="14">392318</LocalCounter>
+    <LocalCounter worker="15">392431</LocalCounter>
+    <LocalCounter worker="16">389204</LocalCounter>
+    <LocalCounter worker="17">389161</LocalCounter>
+    <LocalCounter worker="18">389146</LocalCounter>
+    <LocalCounter worker="19">389191</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>7841044</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="21">
-    <LocalCounter worker="0">344202</LocalCounter>
-    <LocalCounter worker="1">344622</LocalCounter>
-    <LocalCounter worker="2">344067</LocalCounter>
-    <LocalCounter worker="3">344419</LocalCounter>
-    <LocalCounter worker="4">343655</LocalCounter>
-    <LocalCounter worker="5">343922</LocalCounter>
-    <LocalCounter worker="6">343404</LocalCounter>
-    <LocalCounter worker="7">343235</LocalCounter>
-    <LocalCounter worker="8">352351</LocalCounter>
-    <LocalCounter worker="9">352850</LocalCounter>
-    <LocalCounter worker="10">352931</LocalCounter>
-    <LocalCounter worker="11">352932</LocalCounter>
-    <LocalCounter worker="12">353155</LocalCounter>
-    <LocalCounter worker="13">352736</LocalCounter>
-    <LocalCounter worker="14">352964</LocalCounter>
-    <LocalCounter worker="15">353029</LocalCounter>
-    <LocalCounter worker="16">290883</LocalCounter>
-    <LocalCounter worker="17">290649</LocalCounter>
-    <LocalCounter worker="18">290744</LocalCounter>
-    <LocalCounter worker="19">290552</LocalCounter>
-    <LocalCounter worker="20">291478</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>7028780</SumOfLocalCounter>
+    <LocalCounter worker="0">333867</LocalCounter>
+    <LocalCounter worker="1">333818</LocalCounter>
+    <LocalCounter worker="2">333796</LocalCounter>
+    <LocalCounter worker="3">333998</LocalCounter>
+    <LocalCounter worker="4">333786</LocalCounter>
+    <LocalCounter worker="5">333970</LocalCounter>
+    <LocalCounter worker="6">333966</LocalCounter>
+    <LocalCounter worker="7">333946</LocalCounter>
+    <LocalCounter worker="8">331691</LocalCounter>
+    <LocalCounter worker="9">331644</LocalCounter>
+    <LocalCounter worker="10">331574</LocalCounter>
+    <LocalCounter worker="11">331570</LocalCounter>
+    <LocalCounter worker="12">331815</LocalCounter>
+    <LocalCounter worker="13">331757</LocalCounter>
+    <LocalCounter worker="14">331873</LocalCounter>
+    <LocalCounter worker="15">331902</LocalCounter>
+    <LocalCounter worker="16">321858</LocalCounter>
+    <LocalCounter worker="17">321819</LocalCounter>
+    <LocalCounter worker="18">321778</LocalCounter>
+    <LocalCounter worker="19">321915</LocalCounter>
+    <LocalCounter worker="20">322036</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>6934379</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="22">
-    <LocalCounter worker="0">320717</LocalCounter>
-    <LocalCounter worker="1">320587</LocalCounter>
-    <LocalCounter worker="2">320424</LocalCounter>
-    <LocalCounter worker="3">320715</LocalCounter>
-    <LocalCounter worker="4">320905</LocalCounter>
-    <LocalCounter worker="5">316975</LocalCounter>
-    <LocalCounter worker="6">316841</LocalCounter>
-    <LocalCounter worker="7">317262</LocalCounter>
-    <LocalCounter worker="8">315703</LocalCounter>
-    <LocalCounter worker="9">319811</LocalCounter>
-    <LocalCounter worker="10">319117</LocalCounter>
-    <LocalCounter worker="11">319402</LocalCounter>
-    <LocalCounter worker="12">320093</LocalCounter>
-    <LocalCounter worker="13">319963</LocalCounter>
-    <LocalCounter worker="14">320021</LocalCounter>
-    <LocalCounter worker="15">320218</LocalCounter>
-    <LocalCounter worker="16">288739</LocalCounter>
-    <LocalCounter worker="17">288974</LocalCounter>
-    <LocalCounter worker="18">289159</LocalCounter>
-    <LocalCounter worker="19">289033</LocalCounter>
-    <LocalCounter worker="20">288433</LocalCounter>
-    <LocalCounter worker="21">284984</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>6838076</SumOfLocalCounter>
+    <LocalCounter worker="0">336076</LocalCounter>
+    <LocalCounter worker="1">336030</LocalCounter>
+    <LocalCounter worker="2">335863</LocalCounter>
+    <LocalCounter worker="3">335861</LocalCounter>
+    <LocalCounter worker="4">335954</LocalCounter>
+    <LocalCounter worker="5">336069</LocalCounter>
+    <LocalCounter worker="6">335963</LocalCounter>
+    <LocalCounter worker="7">335891</LocalCounter>
+    <LocalCounter worker="8">336178</LocalCounter>
+    <LocalCounter worker="9">335697</LocalCounter>
+    <LocalCounter worker="10">335574</LocalCounter>
+    <LocalCounter worker="11">335581</LocalCounter>
+    <LocalCounter worker="12">335586</LocalCounter>
+    <LocalCounter worker="13">336068</LocalCounter>
+    <LocalCounter worker="14">336138</LocalCounter>
+    <LocalCounter worker="15">336049</LocalCounter>
+    <LocalCounter worker="16">330987</LocalCounter>
+    <LocalCounter worker="17">330865</LocalCounter>
+    <LocalCounter worker="18">331086</LocalCounter>
+    <LocalCounter worker="19">330937</LocalCounter>
+    <LocalCounter worker="20">331150</LocalCounter>
+    <LocalCounter worker="21">330937</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>7360540</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="23">
-    <LocalCounter worker="0">318178</LocalCounter>
-    <LocalCounter worker="1">318395</LocalCounter>
-    <LocalCounter worker="2">319081</LocalCounter>
-    <LocalCounter worker="3">318467</LocalCounter>
-    <LocalCounter worker="4">318876</LocalCounter>
-    <LocalCounter worker="5">315686</LocalCounter>
-    <LocalCounter worker="6">315218</LocalCounter>
-    <LocalCounter worker="7">315397</LocalCounter>
-    <LocalCounter worker="8">313680</LocalCounter>
-    <LocalCounter worker="9">317143</LocalCounter>
-    <LocalCounter worker="10">317234</LocalCounter>
-    <LocalCounter worker="11">317102</LocalCounter>
-    <LocalCounter worker="12">317395</LocalCounter>
-    <LocalCounter worker="13">317189</LocalCounter>
-    <LocalCounter worker="14">317487</LocalCounter>
-    <LocalCounter worker="15">317394</LocalCounter>
-    <LocalCounter worker="16">305239</LocalCounter>
-    <LocalCounter worker="17">304909</LocalCounter>
-    <LocalCounter worker="18">305590</LocalCounter>
-    <LocalCounter worker="19">305457</LocalCounter>
-    <LocalCounter worker="20">305662</LocalCounter>
-    <LocalCounter worker="21">303160</LocalCounter>
-    <LocalCounter worker="22">304358</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>7208297</SumOfLocalCounter>
+    <LocalCounter worker="0">317093</LocalCounter>
+    <LocalCounter worker="1">317207</LocalCounter>
+    <LocalCounter worker="2">317153</LocalCounter>
+    <LocalCounter worker="3">317177</LocalCounter>
+    <LocalCounter worker="4">317207</LocalCounter>
+    <LocalCounter worker="5">317164</LocalCounter>
+    <LocalCounter worker="6">317198</LocalCounter>
+    <LocalCounter worker="7">317132</LocalCounter>
+    <LocalCounter worker="8">317445</LocalCounter>
+    <LocalCounter worker="9">317166</LocalCounter>
+    <LocalCounter worker="10">317044</LocalCounter>
+    <LocalCounter worker="11">317000</LocalCounter>
+    <LocalCounter worker="12">317012</LocalCounter>
+    <LocalCounter worker="13">317587</LocalCounter>
+    <LocalCounter worker="14">317522</LocalCounter>
+    <LocalCounter worker="15">317568</LocalCounter>
+    <LocalCounter worker="16">315579</LocalCounter>
+    <LocalCounter worker="17">315563</LocalCounter>
+    <LocalCounter worker="18">315657</LocalCounter>
+    <LocalCounter worker="19">315582</LocalCounter>
+    <LocalCounter worker="20">315453</LocalCounter>
+    <LocalCounter worker="21">315445</LocalCounter>
+    <LocalCounter worker="22">315774</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>7284728</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalMCSLockWithLocalCounter activeWorker="24">
-    <LocalCounter worker="0">299263</LocalCounter>
-    <LocalCounter worker="1">298742</LocalCounter>
-    <LocalCounter worker="2">300224</LocalCounter>
-    <LocalCounter worker="3">299675</LocalCounter>
-    <LocalCounter worker="4">300411</LocalCounter>
-    <LocalCounter worker="5">292962</LocalCounter>
-    <LocalCounter worker="6">292878</LocalCounter>
-    <LocalCounter worker="7">293233</LocalCounter>
-    <LocalCounter worker="8">286026</LocalCounter>
-    <LocalCounter worker="9">294896</LocalCounter>
-    <LocalCounter worker="10">294288</LocalCounter>
-    <LocalCounter worker="11">294873</LocalCounter>
-    <LocalCounter worker="12">294293</LocalCounter>
-    <LocalCounter worker="13">294051</LocalCounter>
-    <LocalCounter worker="14">294365</LocalCounter>
-    <LocalCounter worker="15">293904</LocalCounter>
-    <LocalCounter worker="16">298269</LocalCounter>
-    <LocalCounter worker="17">298190</LocalCounter>
-    <LocalCounter worker="18">298452</LocalCounter>
-    <LocalCounter worker="19">298896</LocalCounter>
-    <LocalCounter worker="20">299491</LocalCounter>
-    <LocalCounter worker="21">290312</LocalCounter>
-    <LocalCounter worker="22">290176</LocalCounter>
-    <LocalCounter worker="23">298399</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>7096269</SumOfLocalCounter>
+    <LocalCounter worker="0">312519</LocalCounter>
+    <LocalCounter worker="1">312750</LocalCounter>
+    <LocalCounter worker="2">312612</LocalCounter>
+    <LocalCounter worker="3">312671</LocalCounter>
+    <LocalCounter worker="4">312685</LocalCounter>
+    <LocalCounter worker="5">312707</LocalCounter>
+    <LocalCounter worker="6">312543</LocalCounter>
+    <LocalCounter worker="7">312680</LocalCounter>
+    <LocalCounter worker="8">313250</LocalCounter>
+    <LocalCounter worker="9">312566</LocalCounter>
+    <LocalCounter worker="10">312775</LocalCounter>
+    <LocalCounter worker="11">312827</LocalCounter>
+    <LocalCounter worker="12">312652</LocalCounter>
+    <LocalCounter worker="13">313141</LocalCounter>
+    <LocalCounter worker="14">313261</LocalCounter>
+    <LocalCounter worker="15">313270</LocalCounter>
+    <LocalCounter worker="16">312883</LocalCounter>
+    <LocalCounter worker="17">312649</LocalCounter>
+    <LocalCounter worker="18">312529</LocalCounter>
+    <LocalCounter worker="19">312615</LocalCounter>
+    <LocalCounter worker="20">312755</LocalCounter>
+    <LocalCounter worker="21">312833</LocalCounter>
+    <LocalCounter worker="22">312673</LocalCounter>
+    <LocalCounter worker="23">312728</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>7506574</SumOfLocalCounter>
   </GlobalMCSLockWithLocalCounter>
   <GlobalTicketLockWithGlobalCounter activeWorker="24">
-    <LocalCounter worker="0">149884</LocalCounter>
-    <LocalCounter worker="1">149885</LocalCounter>
-    <LocalCounter worker="2">149884</LocalCounter>
-    <LocalCounter worker="3">149884</LocalCounter>
-    <LocalCounter worker="4">149884</LocalCounter>
-    <LocalCounter worker="5">149884</LocalCounter>
-    <LocalCounter worker="6">149884</LocalCounter>
-    <LocalCounter worker="7">149885</LocalCounter>
-    <LocalCounter worker="8">149884</LocalCounter>
-    <LocalCounter worker="9">149884</LocalCounter>
-    <LocalCounter worker="10">149885</LocalCounter>
-    <LocalCounter worker="11">149885</LocalCounter>
-    <LocalCounter worker="12">149884</LocalCounter>
-    <LocalCounter worker="13">149884</LocalCounter>
-    <LocalCounter worker="14">149884</LocalCounter>
-    <LocalCounter worker="15">149886</LocalCounter>
-    <LocalCounter worker="16">149884</LocalCounter>
-    <LocalCounter worker="17">149884</LocalCounter>
-    <LocalCounter worker="18">149884</LocalCounter>
-    <LocalCounter worker="19">149885</LocalCounter>
-    <LocalCounter worker="20">149884</LocalCounter>
-    <LocalCounter worker="21">149884</LocalCounter>
-    <LocalCounter worker="22">149884</LocalCounter>
-    <LocalCounter worker="23">149885</LocalCounter>
-    <GlobalCounter>3597224</GlobalCounter>
-    <SumOfLocalCounter>3597224</SumOfLocalCounter>
+    <LocalCounter worker="0">149325</LocalCounter>
+    <LocalCounter worker="1">149327</LocalCounter>
+    <LocalCounter worker="2">149325</LocalCounter>
+    <LocalCounter worker="3">149325</LocalCounter>
+    <LocalCounter worker="4">149325</LocalCounter>
+    <LocalCounter worker="5">149327</LocalCounter>
+    <LocalCounter worker="6">149325</LocalCounter>
+    <LocalCounter worker="7">149324</LocalCounter>
+    <LocalCounter worker="8">149326</LocalCounter>
+    <LocalCounter worker="9">149325</LocalCounter>
+    <LocalCounter worker="10">149326</LocalCounter>
+    <LocalCounter worker="11">149326</LocalCounter>
+    <LocalCounter worker="12">149326</LocalCounter>
+    <LocalCounter worker="13">149325</LocalCounter>
+    <LocalCounter worker="14">149325</LocalCounter>
+    <LocalCounter worker="15">149325</LocalCounter>
+    <LocalCounter worker="16">149325</LocalCounter>
+    <LocalCounter worker="17">149325</LocalCounter>
+    <LocalCounter worker="18">149325</LocalCounter>
+    <LocalCounter worker="19">149326</LocalCounter>
+    <LocalCounter worker="20">149325</LocalCounter>
+    <LocalCounter worker="21">149326</LocalCounter>
+    <LocalCounter worker="22">149325</LocalCounter>
+    <LocalCounter worker="23">149325</LocalCounter>
+    <GlobalCounter>3583809</GlobalCounter>
+    <SumOfLocalCounter>3583809</SumOfLocalCounter>
   </GlobalTicketLockWithGlobalCounter>
   <GlobalMCSLockWithGlobalCounter activeWorker="24">
-    <LocalCounter worker="0">207836</LocalCounter>
-    <LocalCounter worker="1">207836</LocalCounter>
-    <LocalCounter worker="2">207836</LocalCounter>
-    <LocalCounter worker="3">207836</LocalCounter>
-    <LocalCounter worker="4">207835</LocalCounter>
-    <LocalCounter worker="5">207835</LocalCounter>
-    <LocalCounter worker="6">207837</LocalCounter>
-    <LocalCounter worker="7">207837</LocalCounter>
-    <LocalCounter worker="8">207835</LocalCounter>
-    <LocalCounter worker="9">207836</LocalCounter>
-    <LocalCounter worker="10">207836</LocalCounter>
-    <LocalCounter worker="11">207837</LocalCounter>
-    <LocalCounter worker="12">207836</LocalCounter>
-    <LocalCounter worker="13">207836</LocalCounter>
-    <LocalCounter worker="14">207836</LocalCounter>
-    <LocalCounter worker="15">207835</LocalCounter>
-    <LocalCounter worker="16">207836</LocalCounter>
-    <LocalCounter worker="17">207837</LocalCounter>
-    <LocalCounter worker="18">207836</LocalCounter>
-    <LocalCounter worker="19">207835</LocalCounter>
-    <LocalCounter worker="20">207836</LocalCounter>
-    <LocalCounter worker="21">207836</LocalCounter>
-    <LocalCounter worker="22">207835</LocalCounter>
-    <LocalCounter worker="23">207835</LocalCounter>
-    <GlobalCounter>4988061</GlobalCounter>
-    <SumOfLocalCounter>4988061</SumOfLocalCounter>
+    <LocalCounter worker="0">219612</LocalCounter>
+    <LocalCounter worker="1">219612</LocalCounter>
+    <LocalCounter worker="2">219612</LocalCounter>
+    <LocalCounter worker="3">219612</LocalCounter>
+    <LocalCounter worker="4">219612</LocalCounter>
+    <LocalCounter worker="5">219612</LocalCounter>
+    <LocalCounter worker="6">219613</LocalCounter>
+    <LocalCounter worker="7">219612</LocalCounter>
+    <LocalCounter worker="8">219612</LocalCounter>
+    <LocalCounter worker="9">219614</LocalCounter>
+    <LocalCounter worker="10">219612</LocalCounter>
+    <LocalCounter worker="11">219611</LocalCounter>
+    <LocalCounter worker="12">219613</LocalCounter>
+    <LocalCounter worker="13">219614</LocalCounter>
+    <LocalCounter worker="14">219612</LocalCounter>
+    <LocalCounter worker="15">219612</LocalCounter>
+    <LocalCounter worker="16">219613</LocalCounter>
+    <LocalCounter worker="17">219613</LocalCounter>
+    <LocalCounter worker="18">219611</LocalCounter>
+    <LocalCounter worker="19">219612</LocalCounter>
+    <LocalCounter worker="20">219611</LocalCounter>
+    <LocalCounter worker="21">219612</LocalCounter>
+    <LocalCounter worker="22">219612</LocalCounter>
+    <LocalCounter worker="23">219613</LocalCounter>
+    <GlobalCounter>5270694</GlobalCounter>
+    <SumOfLocalCounter>5270694</SumOfLocalCounter>
   </GlobalMCSLockWithGlobalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="1">
-    <LocalCounter worker="0">18650458</LocalCounter>
+    <LocalCounter worker="0">17976591</LocalCounter>
     <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>18650458</SumOfLocalCounter>
+    <SumOfLocalCounter>17976591</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="2">
-    <LocalCounter worker="0">17783819</LocalCounter>
-    <LocalCounter worker="1">17785099</LocalCounter>
+    <LocalCounter worker="0">17093434</LocalCounter>
+    <LocalCounter worker="1">17094750</LocalCounter>
     <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>35568918</SumOfLocalCounter>
+    <SumOfLocalCounter>34188184</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="3">
-    <LocalCounter worker="0">16520473</LocalCounter>
-    <LocalCounter worker="1">16521638</LocalCounter>
-    <LocalCounter worker="2">17564324</LocalCounter>
+    <LocalCounter worker="0">16126005</LocalCounter>
+    <LocalCounter worker="1">16127191</LocalCounter>
+    <LocalCounter worker="2">16875254</LocalCounter>
     <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>50606435</SumOfLocalCounter>
+    <SumOfLocalCounter>49128450</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="4">
-    <LocalCounter worker="0">16137393</LocalCounter>
-    <LocalCounter worker="1">16138619</LocalCounter>
-    <LocalCounter worker="2">16303116</LocalCounter>
-    <LocalCounter worker="3">16302393</LocalCounter>
+    <LocalCounter worker="0">15412620</LocalCounter>
+    <LocalCounter worker="1">15413887</LocalCounter>
+    <LocalCounter worker="2">15366643</LocalCounter>
+    <LocalCounter worker="3">15366578</LocalCounter>
     <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>64881521</SumOfLocalCounter>
+    <SumOfLocalCounter>61559728</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="5">
-    <LocalCounter worker="0">16215163</LocalCounter>
-    <LocalCounter worker="1">16216385</LocalCounter>
-    <LocalCounter worker="2">16419724</LocalCounter>
-    <LocalCounter worker="3">16418949</LocalCounter>
-    <LocalCounter worker="4">16568002</LocalCounter>
+    <LocalCounter worker="0">16308721</LocalCounter>
+    <LocalCounter worker="1">16310021</LocalCounter>
+    <LocalCounter worker="2">16318960</LocalCounter>
+    <LocalCounter worker="3">16318983</LocalCounter>
+    <LocalCounter worker="4">16426938</LocalCounter>
     <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>81838223</SumOfLocalCounter>
+    <SumOfLocalCounter>81683623</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="6">
-    <LocalCounter worker="0">15565201</LocalCounter>
-    <LocalCounter worker="1">15566389</LocalCounter>
-    <LocalCounter worker="2">15685815</LocalCounter>
-    <LocalCounter worker="3">15685127</LocalCounter>
-    <LocalCounter worker="4">15620223</LocalCounter>
-    <LocalCounter worker="5">15620726</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>93743481</SumOfLocalCounter>
+    <LocalCounter worker="0">15193884</LocalCounter>
+    <LocalCounter worker="1">15195117</LocalCounter>
+    <LocalCounter worker="2">15113407</LocalCounter>
+    <LocalCounter worker="3">15121476</LocalCounter>
+    <LocalCounter worker="4">15104027</LocalCounter>
+    <LocalCounter worker="5">15104373</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>90832284</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="7">
-    <LocalCounter worker="0">15943795</LocalCounter>
-    <LocalCounter worker="1">15944974</LocalCounter>
-    <LocalCounter worker="2">15977607</LocalCounter>
-    <LocalCounter worker="3">15977022</LocalCounter>
-    <LocalCounter worker="4">15903753</LocalCounter>
-    <LocalCounter worker="5">15904253</LocalCounter>
-    <LocalCounter worker="6">16117471</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>111768875</SumOfLocalCounter>
+    <LocalCounter worker="0">15794728</LocalCounter>
+    <LocalCounter worker="1">15792858</LocalCounter>
+    <LocalCounter worker="2">15790710</LocalCounter>
+    <LocalCounter worker="3">15798703</LocalCounter>
+    <LocalCounter worker="4">15746011</LocalCounter>
+    <LocalCounter worker="5">15746393</LocalCounter>
+    <LocalCounter worker="6">15839713</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>110509116</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="8">
-    <LocalCounter worker="0">15239786</LocalCounter>
-    <LocalCounter worker="1">15240906</LocalCounter>
-    <LocalCounter worker="2">15327597</LocalCounter>
-    <LocalCounter worker="3">15326914</LocalCounter>
-    <LocalCounter worker="4">15310067</LocalCounter>
-    <LocalCounter worker="5">15310575</LocalCounter>
-    <LocalCounter worker="6">15337426</LocalCounter>
-    <LocalCounter worker="7">15336718</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>122429989</SumOfLocalCounter>
+    <LocalCounter worker="0">14538979</LocalCounter>
+    <LocalCounter worker="1">14540011</LocalCounter>
+    <LocalCounter worker="2">14540067</LocalCounter>
+    <LocalCounter worker="3">14543590</LocalCounter>
+    <LocalCounter worker="4">14523331</LocalCounter>
+    <LocalCounter worker="5">14523800</LocalCounter>
+    <LocalCounter worker="6">14541196</LocalCounter>
+    <LocalCounter worker="7">14543759</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>116294733</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="9">
-    <LocalCounter worker="0">15454569</LocalCounter>
-    <LocalCounter worker="1">15455745</LocalCounter>
-    <LocalCounter worker="2">15503002</LocalCounter>
-    <LocalCounter worker="3">15502385</LocalCounter>
-    <LocalCounter worker="4">15413852</LocalCounter>
-    <LocalCounter worker="5">15414319</LocalCounter>
-    <LocalCounter worker="6">15520760</LocalCounter>
-    <LocalCounter worker="7">15520203</LocalCounter>
-    <LocalCounter worker="8">18688666</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>142473501</SumOfLocalCounter>
+    <LocalCounter worker="0">14597172</LocalCounter>
+    <LocalCounter worker="1">14598178</LocalCounter>
+    <LocalCounter worker="2">14594621</LocalCounter>
+    <LocalCounter worker="3">14598190</LocalCounter>
+    <LocalCounter worker="4">14558148</LocalCounter>
+    <LocalCounter worker="5">14558565</LocalCounter>
+    <LocalCounter worker="6">14603981</LocalCounter>
+    <LocalCounter worker="7">14614317</LocalCounter>
+    <LocalCounter worker="8">18013252</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>134736424</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="10">
-    <LocalCounter worker="0">15380608</LocalCounter>
-    <LocalCounter worker="1">15381745</LocalCounter>
-    <LocalCounter worker="2">15462107</LocalCounter>
-    <LocalCounter worker="3">15461369</LocalCounter>
-    <LocalCounter worker="4">15401483</LocalCounter>
-    <LocalCounter worker="5">15401869</LocalCounter>
-    <LocalCounter worker="6">15477566</LocalCounter>
-    <LocalCounter worker="7">15476963</LocalCounter>
-    <LocalCounter worker="8">17527446</LocalCounter>
-    <LocalCounter worker="9">17527935</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>158499091</SumOfLocalCounter>
+    <LocalCounter worker="0">14529346</LocalCounter>
+    <LocalCounter worker="1">14530425</LocalCounter>
+    <LocalCounter worker="2">14525274</LocalCounter>
+    <LocalCounter worker="3">14530395</LocalCounter>
+    <LocalCounter worker="4">14501600</LocalCounter>
+    <LocalCounter worker="5">14501959</LocalCounter>
+    <LocalCounter worker="6">14539379</LocalCounter>
+    <LocalCounter worker="7">14546701</LocalCounter>
+    <LocalCounter worker="8">16764576</LocalCounter>
+    <LocalCounter worker="9">16764953</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>149734608</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="11">
-    <LocalCounter worker="0">15391003</LocalCounter>
-    <LocalCounter worker="1">15392179</LocalCounter>
-    <LocalCounter worker="2">15471014</LocalCounter>
-    <LocalCounter worker="3">15470425</LocalCounter>
-    <LocalCounter worker="4">15386413</LocalCounter>
-    <LocalCounter worker="5">15386829</LocalCounter>
-    <LocalCounter worker="6">15487034</LocalCounter>
-    <LocalCounter worker="7">15486425</LocalCounter>
-    <LocalCounter worker="8">16657492</LocalCounter>
-    <LocalCounter worker="9">16658025</LocalCounter>
-    <LocalCounter worker="10">17594537</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>174381376</SumOfLocalCounter>
+    <LocalCounter worker="0">14552313</LocalCounter>
+    <LocalCounter worker="1">14545774</LocalCounter>
+    <LocalCounter worker="2">14543859</LocalCounter>
+    <LocalCounter worker="3">14545590</LocalCounter>
+    <LocalCounter worker="4">14521699</LocalCounter>
+    <LocalCounter worker="5">14522178</LocalCounter>
+    <LocalCounter worker="6">14548350</LocalCounter>
+    <LocalCounter worker="7">14554882</LocalCounter>
+    <LocalCounter worker="8">15834293</LocalCounter>
+    <LocalCounter worker="9">15834734</LocalCounter>
+    <LocalCounter worker="10">16861946</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>164865618</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="12">
-    <LocalCounter worker="0">15339827</LocalCounter>
-    <LocalCounter worker="1">15341004</LocalCounter>
-    <LocalCounter worker="2">15416423</LocalCounter>
-    <LocalCounter worker="3">15415808</LocalCounter>
-    <LocalCounter worker="4">15324518</LocalCounter>
-    <LocalCounter worker="5">15324985</LocalCounter>
-    <LocalCounter worker="6">15428303</LocalCounter>
-    <LocalCounter worker="7">15427710</LocalCounter>
-    <LocalCounter worker="8">16046885</LocalCounter>
-    <LocalCounter worker="9">16047411</LocalCounter>
-    <LocalCounter worker="10">16267282</LocalCounter>
-    <LocalCounter worker="11">16266605</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>187646761</SumOfLocalCounter>
+    <LocalCounter worker="0">14544735</LocalCounter>
+    <LocalCounter worker="1">14545749</LocalCounter>
+    <LocalCounter worker="2">14545348</LocalCounter>
+    <LocalCounter worker="3">14545729</LocalCounter>
+    <LocalCounter worker="4">14531175</LocalCounter>
+    <LocalCounter worker="5">14531582</LocalCounter>
+    <LocalCounter worker="6">14545221</LocalCounter>
+    <LocalCounter worker="7">14552316</LocalCounter>
+    <LocalCounter worker="8">15709806</LocalCounter>
+    <LocalCounter worker="9">15710183</LocalCounter>
+    <LocalCounter worker="10">15613298</LocalCounter>
+    <LocalCounter worker="11">15613336</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>178988478</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="13">
-    <LocalCounter worker="0">15453325</LocalCounter>
-    <LocalCounter worker="1">15454520</LocalCounter>
-    <LocalCounter worker="2">15499213</LocalCounter>
-    <LocalCounter worker="3">15498628</LocalCounter>
-    <LocalCounter worker="4">15475931</LocalCounter>
-    <LocalCounter worker="5">15476378</LocalCounter>
-    <LocalCounter worker="6">15538095</LocalCounter>
-    <LocalCounter worker="7">15537475</LocalCounter>
-    <LocalCounter worker="8">16215480</LocalCounter>
-    <LocalCounter worker="9">16215815</LocalCounter>
-    <LocalCounter worker="10">16444160</LocalCounter>
-    <LocalCounter worker="11">16443272</LocalCounter>
-    <LocalCounter worker="12">16628160</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>205880452</SumOfLocalCounter>
+    <LocalCounter worker="0">14631943</LocalCounter>
+    <LocalCounter worker="1">14629081</LocalCounter>
+    <LocalCounter worker="2">14626428</LocalCounter>
+    <LocalCounter worker="3">14629173</LocalCounter>
+    <LocalCounter worker="4">14592751</LocalCounter>
+    <LocalCounter worker="5">14593171</LocalCounter>
+    <LocalCounter worker="6">14633428</LocalCounter>
+    <LocalCounter worker="7">14642988</LocalCounter>
+    <LocalCounter worker="8">16103014</LocalCounter>
+    <LocalCounter worker="9">16103498</LocalCounter>
+    <LocalCounter worker="10">16121344</LocalCounter>
+    <LocalCounter worker="11">16121522</LocalCounter>
+    <LocalCounter worker="12">16592935</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>198021276</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="14">
-    <LocalCounter worker="0">15241659</LocalCounter>
-    <LocalCounter worker="1">15242764</LocalCounter>
-    <LocalCounter worker="2">15311552</LocalCounter>
-    <LocalCounter worker="3">15310874</LocalCounter>
-    <LocalCounter worker="4">15234807</LocalCounter>
-    <LocalCounter worker="5">15235319</LocalCounter>
-    <LocalCounter worker="6">15320844</LocalCounter>
-    <LocalCounter worker="7">15320408</LocalCounter>
-    <LocalCounter worker="8">15612980</LocalCounter>
-    <LocalCounter worker="9">15613446</LocalCounter>
-    <LocalCounter worker="10">15700518</LocalCounter>
-    <LocalCounter worker="11">15699717</LocalCounter>
-    <LocalCounter worker="12">15643397</LocalCounter>
-    <LocalCounter worker="13">15643757</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>216132042</SumOfLocalCounter>
+    <LocalCounter worker="0">14663977</LocalCounter>
+    <LocalCounter worker="1">14657392</LocalCounter>
+    <LocalCounter worker="2">14653868</LocalCounter>
+    <LocalCounter worker="3">14657385</LocalCounter>
+    <LocalCounter worker="4">14618995</LocalCounter>
+    <LocalCounter worker="5">14619260</LocalCounter>
+    <LocalCounter worker="6">14663280</LocalCounter>
+    <LocalCounter worker="7">14669006</LocalCounter>
+    <LocalCounter worker="8">14932649</LocalCounter>
+    <LocalCounter worker="9">14933133</LocalCounter>
+    <LocalCounter worker="10">14914884</LocalCounter>
+    <LocalCounter worker="11">14922839</LocalCounter>
+    <LocalCounter worker="12">14912239</LocalCounter>
+    <LocalCounter worker="13">14912618</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>206731525</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="15">
-    <LocalCounter worker="0">15474021</LocalCounter>
-    <LocalCounter worker="1">15475103</LocalCounter>
-    <LocalCounter worker="2">15545724</LocalCounter>
-    <LocalCounter worker="3">15545077</LocalCounter>
-    <LocalCounter worker="4">15487261</LocalCounter>
-    <LocalCounter worker="5">15487666</LocalCounter>
-    <LocalCounter worker="6">15563087</LocalCounter>
-    <LocalCounter worker="7">15562461</LocalCounter>
-    <LocalCounter worker="8">15951382</LocalCounter>
-    <LocalCounter worker="9">15951714</LocalCounter>
-    <LocalCounter worker="10">15990339</LocalCounter>
-    <LocalCounter worker="11">15989672</LocalCounter>
-    <LocalCounter worker="12">15837008</LocalCounter>
-    <LocalCounter worker="13">15837501</LocalCounter>
-    <LocalCounter worker="14">16183725</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>235881741</SumOfLocalCounter>
+    <LocalCounter worker="0">14574685</LocalCounter>
+    <LocalCounter worker="1">14571820</LocalCounter>
+    <LocalCounter worker="2">14569180</LocalCounter>
+    <LocalCounter worker="3">14571882</LocalCounter>
+    <LocalCounter worker="4">14535038</LocalCounter>
+    <LocalCounter worker="5">14535448</LocalCounter>
+    <LocalCounter worker="6">14576273</LocalCounter>
+    <LocalCounter worker="7">14588007</LocalCounter>
+    <LocalCounter worker="8">15847051</LocalCounter>
+    <LocalCounter worker="9">15847907</LocalCounter>
+    <LocalCounter worker="10">15842926</LocalCounter>
+    <LocalCounter worker="11">15845292</LocalCounter>
+    <LocalCounter worker="12">15844741</LocalCounter>
+    <LocalCounter worker="13">15845144</LocalCounter>
+    <LocalCounter worker="14">15858663</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>227454057</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="16">
-    <LocalCounter worker="0">15338755</LocalCounter>
-    <LocalCounter worker="1">15339912</LocalCounter>
-    <LocalCounter worker="2">15418316</LocalCounter>
-    <LocalCounter worker="3">15417717</LocalCounter>
-    <LocalCounter worker="4">15384213</LocalCounter>
-    <LocalCounter worker="5">15384612</LocalCounter>
-    <LocalCounter worker="6">15484391</LocalCounter>
-    <LocalCounter worker="7">15483850</LocalCounter>
-    <LocalCounter worker="8">15342729</LocalCounter>
-    <LocalCounter worker="9">15343053</LocalCounter>
-    <LocalCounter worker="10">15438680</LocalCounter>
-    <LocalCounter worker="11">15438045</LocalCounter>
-    <LocalCounter worker="12">15319617</LocalCounter>
-    <LocalCounter worker="13">15320187</LocalCounter>
-    <LocalCounter worker="14">15504952</LocalCounter>
-    <LocalCounter worker="15">15504342</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>246463371</SumOfLocalCounter>
+    <LocalCounter worker="0">14565742</LocalCounter>
+    <LocalCounter worker="1">14566794</LocalCounter>
+    <LocalCounter worker="2">14563059</LocalCounter>
+    <LocalCounter worker="3">14566698</LocalCounter>
+    <LocalCounter worker="4">14539138</LocalCounter>
+    <LocalCounter worker="5">14539550</LocalCounter>
+    <LocalCounter worker="6">14572545</LocalCounter>
+    <LocalCounter worker="7">14582815</LocalCounter>
+    <LocalCounter worker="8">14708684</LocalCounter>
+    <LocalCounter worker="9">14709444</LocalCounter>
+    <LocalCounter worker="10">14704986</LocalCounter>
+    <LocalCounter worker="11">14705363</LocalCounter>
+    <LocalCounter worker="12">14739299</LocalCounter>
+    <LocalCounter worker="13">14739959</LocalCounter>
+    <LocalCounter worker="14">14685047</LocalCounter>
+    <LocalCounter worker="15">14684929</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>234174052</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="17">
-    <LocalCounter worker="0">15405565</LocalCounter>
-    <LocalCounter worker="1">15406721</LocalCounter>
-    <LocalCounter worker="2">15457536</LocalCounter>
-    <LocalCounter worker="3">15456970</LocalCounter>
-    <LocalCounter worker="4">15410823</LocalCounter>
-    <LocalCounter worker="5">15411363</LocalCounter>
-    <LocalCounter worker="6">15494352</LocalCounter>
-    <LocalCounter worker="7">15493781</LocalCounter>
-    <LocalCounter worker="8">15441835</LocalCounter>
-    <LocalCounter worker="9">15442322</LocalCounter>
-    <LocalCounter worker="10">15503323</LocalCounter>
-    <LocalCounter worker="11">15502544</LocalCounter>
-    <LocalCounter worker="12">15437462</LocalCounter>
-    <LocalCounter worker="13">15437892</LocalCounter>
-    <LocalCounter worker="14">15524904</LocalCounter>
-    <LocalCounter worker="15">15524299</LocalCounter>
-    <LocalCounter worker="16">18727294</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>266078986</SumOfLocalCounter>
+    <LocalCounter worker="0">14578846</LocalCounter>
+    <LocalCounter worker="1">14579881</LocalCounter>
+    <LocalCounter worker="2">14577981</LocalCounter>
+    <LocalCounter worker="3">14579886</LocalCounter>
+    <LocalCounter worker="4">14572709</LocalCounter>
+    <LocalCounter worker="5">14573049</LocalCounter>
+    <LocalCounter worker="6">14582536</LocalCounter>
+    <LocalCounter worker="7">14584350</LocalCounter>
+    <LocalCounter worker="8">15007742</LocalCounter>
+    <LocalCounter worker="9">15008395</LocalCounter>
+    <LocalCounter worker="10">15007420</LocalCounter>
+    <LocalCounter worker="11">15007658</LocalCounter>
+    <LocalCounter worker="12">15014167</LocalCounter>
+    <LocalCounter worker="13">15014785</LocalCounter>
+    <LocalCounter worker="14">15005244</LocalCounter>
+    <LocalCounter worker="15">15005419</LocalCounter>
+    <LocalCounter worker="16">18174844</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>254874912</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="18">
-    <LocalCounter worker="0">15411917</LocalCounter>
-    <LocalCounter worker="1">15413065</LocalCounter>
-    <LocalCounter worker="2">15488119</LocalCounter>
-    <LocalCounter worker="3">15487404</LocalCounter>
-    <LocalCounter worker="4">15447208</LocalCounter>
-    <LocalCounter worker="5">15447653</LocalCounter>
-    <LocalCounter worker="6">15509190</LocalCounter>
-    <LocalCounter worker="7">15508612</LocalCounter>
-    <LocalCounter worker="8">15263061</LocalCounter>
-    <LocalCounter worker="9">15263449</LocalCounter>
-    <LocalCounter worker="10">15395370</LocalCounter>
-    <LocalCounter worker="11">15394701</LocalCounter>
-    <LocalCounter worker="12">15251795</LocalCounter>
-    <LocalCounter worker="13">15252271</LocalCounter>
-    <LocalCounter worker="14">15428945</LocalCounter>
-    <LocalCounter worker="15">15428419</LocalCounter>
-    <LocalCounter worker="16">17509130</LocalCounter>
-    <LocalCounter worker="17">17509588</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>281409897</SumOfLocalCounter>
+    <LocalCounter worker="0">14520800</LocalCounter>
+    <LocalCounter worker="1">14521760</LocalCounter>
+    <LocalCounter worker="2">14516500</LocalCounter>
+    <LocalCounter worker="3">14519179</LocalCounter>
+    <LocalCounter worker="4">14488245</LocalCounter>
+    <LocalCounter worker="5">14488682</LocalCounter>
+    <LocalCounter worker="6">14533956</LocalCounter>
+    <LocalCounter worker="7">14545682</LocalCounter>
+    <LocalCounter worker="8">14854184</LocalCounter>
+    <LocalCounter worker="9">14854859</LocalCounter>
+    <LocalCounter worker="10">14853940</LocalCounter>
+    <LocalCounter worker="11">14854226</LocalCounter>
+    <LocalCounter worker="12">14853922</LocalCounter>
+    <LocalCounter worker="13">14854597</LocalCounter>
+    <LocalCounter worker="14">14853928</LocalCounter>
+    <LocalCounter worker="15">14854269</LocalCounter>
+    <LocalCounter worker="16">16695502</LocalCounter>
+    <LocalCounter worker="17">16695771</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>268360002</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="19">
-    <LocalCounter worker="0">15454721</LocalCounter>
-    <LocalCounter worker="1">15455814</LocalCounter>
-    <LocalCounter worker="2">15531336</LocalCounter>
-    <LocalCounter worker="3">15530736</LocalCounter>
-    <LocalCounter worker="4">15476168</LocalCounter>
-    <LocalCounter worker="5">15476627</LocalCounter>
-    <LocalCounter worker="6">15526814</LocalCounter>
-    <LocalCounter worker="7">15526279</LocalCounter>
-    <LocalCounter worker="8">15499278</LocalCounter>
-    <LocalCounter worker="9">15499646</LocalCounter>
-    <LocalCounter worker="10">15569191</LocalCounter>
-    <LocalCounter worker="11">15568610</LocalCounter>
-    <LocalCounter worker="12">15479546</LocalCounter>
-    <LocalCounter worker="13">15480059</LocalCounter>
-    <LocalCounter worker="14">15581751</LocalCounter>
-    <LocalCounter worker="15">15581161</LocalCounter>
-    <LocalCounter worker="16">16679062</LocalCounter>
-    <LocalCounter worker="17">16679513</LocalCounter>
-    <LocalCounter worker="18">17632923</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>299229235</SumOfLocalCounter>
+    <LocalCounter worker="0">14767102</LocalCounter>
+    <LocalCounter worker="1">14756811</LocalCounter>
+    <LocalCounter worker="2">14754774</LocalCounter>
+    <LocalCounter worker="3">14756725</LocalCounter>
+    <LocalCounter worker="4">14720166</LocalCounter>
+    <LocalCounter worker="5">14720526</LocalCounter>
+    <LocalCounter worker="6">14759446</LocalCounter>
+    <LocalCounter worker="7">14768164</LocalCounter>
+    <LocalCounter worker="8">15010901</LocalCounter>
+    <LocalCounter worker="9">15011570</LocalCounter>
+    <LocalCounter worker="10">15010636</LocalCounter>
+    <LocalCounter worker="11">15010954</LocalCounter>
+    <LocalCounter worker="12">15010667</LocalCounter>
+    <LocalCounter worker="13">15011279</LocalCounter>
+    <LocalCounter worker="14">15010747</LocalCounter>
+    <LocalCounter worker="15">15011090</LocalCounter>
+    <LocalCounter worker="16">16740850</LocalCounter>
+    <LocalCounter worker="17">16741140</LocalCounter>
+    <LocalCounter worker="18">16740556</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>288314104</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="20">
-    <LocalCounter worker="0">15431594</LocalCounter>
-    <LocalCounter worker="1">15432731</LocalCounter>
-    <LocalCounter worker="2">15514464</LocalCounter>
-    <LocalCounter worker="3">15513801</LocalCounter>
-    <LocalCounter worker="4">15451554</LocalCounter>
-    <LocalCounter worker="5">15452178</LocalCounter>
-    <LocalCounter worker="6">15542494</LocalCounter>
-    <LocalCounter worker="7">15542059</LocalCounter>
-    <LocalCounter worker="8">15405806</LocalCounter>
-    <LocalCounter worker="9">15406166</LocalCounter>
-    <LocalCounter worker="10">15500615</LocalCounter>
-    <LocalCounter worker="11">15499854</LocalCounter>
-    <LocalCounter worker="12">15446807</LocalCounter>
-    <LocalCounter worker="13">15447370</LocalCounter>
-    <LocalCounter worker="14">15523598</LocalCounter>
-    <LocalCounter worker="15">15522911</LocalCounter>
-    <LocalCounter worker="16">15989393</LocalCounter>
-    <LocalCounter worker="17">15989822</LocalCounter>
-    <LocalCounter worker="18">16266926</LocalCounter>
-    <LocalCounter worker="19">16266215</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>312146358</SumOfLocalCounter>
+    <LocalCounter worker="0">14503694</LocalCounter>
+    <LocalCounter worker="1">14504695</LocalCounter>
+    <LocalCounter worker="2">14504309</LocalCounter>
+    <LocalCounter worker="3">14504656</LocalCounter>
+    <LocalCounter worker="4">14481517</LocalCounter>
+    <LocalCounter worker="5">14481930</LocalCounter>
+    <LocalCounter worker="6">14504225</LocalCounter>
+    <LocalCounter worker="7">14511441</LocalCounter>
+    <LocalCounter worker="8">14881230</LocalCounter>
+    <LocalCounter worker="9">14881959</LocalCounter>
+    <LocalCounter worker="10">14880910</LocalCounter>
+    <LocalCounter worker="11">14881278</LocalCounter>
+    <LocalCounter worker="12">14881048</LocalCounter>
+    <LocalCounter worker="13">14881629</LocalCounter>
+    <LocalCounter worker="14">14881078</LocalCounter>
+    <LocalCounter worker="15">14881274</LocalCounter>
+    <LocalCounter worker="16">15921487</LocalCounter>
+    <LocalCounter worker="17">15921957</LocalCounter>
+    <LocalCounter worker="18">15772241</LocalCounter>
+    <LocalCounter worker="19">15772141</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>298434699</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="21">
-    <LocalCounter worker="0">15293855</LocalCounter>
-    <LocalCounter worker="1">15294996</LocalCounter>
-    <LocalCounter worker="2">15373983</LocalCounter>
-    <LocalCounter worker="3">15373359</LocalCounter>
-    <LocalCounter worker="4">15311033</LocalCounter>
-    <LocalCounter worker="5">15311444</LocalCounter>
-    <LocalCounter worker="6">15373601</LocalCounter>
-    <LocalCounter worker="7">15373029</LocalCounter>
-    <LocalCounter worker="8">15368606</LocalCounter>
-    <LocalCounter worker="9">15368996</LocalCounter>
-    <LocalCounter worker="10">15417455</LocalCounter>
-    <LocalCounter worker="11">15416655</LocalCounter>
-    <LocalCounter worker="12">15365477</LocalCounter>
-    <LocalCounter worker="13">15366045</LocalCounter>
-    <LocalCounter worker="14">15446382</LocalCounter>
-    <LocalCounter worker="15">15445857</LocalCounter>
-    <LocalCounter worker="16">16164636</LocalCounter>
-    <LocalCounter worker="17">16164755</LocalCounter>
-    <LocalCounter worker="18">16340626</LocalCounter>
-    <LocalCounter worker="19">16339807</LocalCounter>
-    <LocalCounter worker="20">16482233</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>327392830</SumOfLocalCounter>
+    <LocalCounter worker="0">14585345</LocalCounter>
+    <LocalCounter worker="1">14586417</LocalCounter>
+    <LocalCounter worker="2">14584462</LocalCounter>
+    <LocalCounter worker="3">14586324</LocalCounter>
+    <LocalCounter worker="4">14561834</LocalCounter>
+    <LocalCounter worker="5">14562194</LocalCounter>
+    <LocalCounter worker="6">14589003</LocalCounter>
+    <LocalCounter worker="7">14593127</LocalCounter>
+    <LocalCounter worker="8">14651792</LocalCounter>
+    <LocalCounter worker="9">14652414</LocalCounter>
+    <LocalCounter worker="10">14651588</LocalCounter>
+    <LocalCounter worker="11">14651811</LocalCounter>
+    <LocalCounter worker="12">14651560</LocalCounter>
+    <LocalCounter worker="13">14652081</LocalCounter>
+    <LocalCounter worker="14">14651657</LocalCounter>
+    <LocalCounter worker="15">14651849</LocalCounter>
+    <LocalCounter worker="16">15956242</LocalCounter>
+    <LocalCounter worker="17">15956591</LocalCounter>
+    <LocalCounter worker="18">15917381</LocalCounter>
+    <LocalCounter worker="19">15917342</LocalCounter>
+    <LocalCounter worker="20">16692459</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>314303473</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="22">
-    <LocalCounter worker="0">15354609</LocalCounter>
-    <LocalCounter worker="1">15355720</LocalCounter>
-    <LocalCounter worker="2">15441225</LocalCounter>
-    <LocalCounter worker="3">15440578</LocalCounter>
-    <LocalCounter worker="4">15389118</LocalCounter>
-    <LocalCounter worker="5">15389555</LocalCounter>
-    <LocalCounter worker="6">15469844</LocalCounter>
-    <LocalCounter worker="7">15469275</LocalCounter>
-    <LocalCounter worker="8">15396674</LocalCounter>
-    <LocalCounter worker="9">15397078</LocalCounter>
-    <LocalCounter worker="10">15476343</LocalCounter>
-    <LocalCounter worker="11">15475695</LocalCounter>
-    <LocalCounter worker="12">15420378</LocalCounter>
-    <LocalCounter worker="13">15420856</LocalCounter>
-    <LocalCounter worker="14">15512565</LocalCounter>
-    <LocalCounter worker="15">15512017</LocalCounter>
-    <LocalCounter worker="16">15639668</LocalCounter>
-    <LocalCounter worker="17">15640093</LocalCounter>
-    <LocalCounter worker="18">15835975</LocalCounter>
-    <LocalCounter worker="19">15835235</LocalCounter>
-    <LocalCounter worker="20">15719480</LocalCounter>
-    <LocalCounter worker="21">15719975</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>341311956</SumOfLocalCounter>
+    <LocalCounter worker="0">14567398</LocalCounter>
+    <LocalCounter worker="1">14564632</LocalCounter>
+    <LocalCounter worker="2">14561858</LocalCounter>
+    <LocalCounter worker="3">14564593</LocalCounter>
+    <LocalCounter worker="4">14537808</LocalCounter>
+    <LocalCounter worker="5">14538183</LocalCounter>
+    <LocalCounter worker="6">14568901</LocalCounter>
+    <LocalCounter worker="7">14571570</LocalCounter>
+    <LocalCounter worker="8">14824939</LocalCounter>
+    <LocalCounter worker="9">14825595</LocalCounter>
+    <LocalCounter worker="10">14824563</LocalCounter>
+    <LocalCounter worker="11">14824936</LocalCounter>
+    <LocalCounter worker="12">14824664</LocalCounter>
+    <LocalCounter worker="13">14825180</LocalCounter>
+    <LocalCounter worker="14">14824622</LocalCounter>
+    <LocalCounter worker="15">14824869</LocalCounter>
+    <LocalCounter worker="16">15000394</LocalCounter>
+    <LocalCounter worker="17">15000816</LocalCounter>
+    <LocalCounter worker="18">15132415</LocalCounter>
+    <LocalCounter worker="19">15132390</LocalCounter>
+    <LocalCounter worker="20">14957113</LocalCounter>
+    <LocalCounter worker="21">14957467</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>325254906</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="23">
-    <LocalCounter worker="0">15297511</LocalCounter>
-    <LocalCounter worker="1">15298619</LocalCounter>
-    <LocalCounter worker="2">15387117</LocalCounter>
-    <LocalCounter worker="3">15386585</LocalCounter>
-    <LocalCounter worker="4">15255545</LocalCounter>
-    <LocalCounter worker="5">15256058</LocalCounter>
-    <LocalCounter worker="6">15397294</LocalCounter>
-    <LocalCounter worker="7">15396755</LocalCounter>
-    <LocalCounter worker="8">15311096</LocalCounter>
-    <LocalCounter worker="9">15311488</LocalCounter>
-    <LocalCounter worker="10">15393982</LocalCounter>
-    <LocalCounter worker="11">15393274</LocalCounter>
-    <LocalCounter worker="12">15351229</LocalCounter>
-    <LocalCounter worker="13">15351821</LocalCounter>
-    <LocalCounter worker="14">15422331</LocalCounter>
-    <LocalCounter worker="15">15421750</LocalCounter>
-    <LocalCounter worker="16">15937897</LocalCounter>
-    <LocalCounter worker="17">15938202</LocalCounter>
-    <LocalCounter worker="18">15961738</LocalCounter>
-    <LocalCounter worker="19">15961104</LocalCounter>
-    <LocalCounter worker="20">15827119</LocalCounter>
-    <LocalCounter worker="21">15827606</LocalCounter>
-    <LocalCounter worker="22">16046878</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>357132999</SumOfLocalCounter>
+    <LocalCounter worker="0">14533130</LocalCounter>
+    <LocalCounter worker="1">14526680</LocalCounter>
+    <LocalCounter worker="2">14523900</LocalCounter>
+    <LocalCounter worker="3">14526694</LocalCounter>
+    <LocalCounter worker="4">14473827</LocalCounter>
+    <LocalCounter worker="5">14474177</LocalCounter>
+    <LocalCounter worker="6">14530917</LocalCounter>
+    <LocalCounter worker="7">14540399</LocalCounter>
+    <LocalCounter worker="8">14689348</LocalCounter>
+    <LocalCounter worker="9">14690045</LocalCounter>
+    <LocalCounter worker="10">14689080</LocalCounter>
+    <LocalCounter worker="11">14689352</LocalCounter>
+    <LocalCounter worker="12">14689191</LocalCounter>
+    <LocalCounter worker="13">14689822</LocalCounter>
+    <LocalCounter worker="14">14689153</LocalCounter>
+    <LocalCounter worker="15">14689383</LocalCounter>
+    <LocalCounter worker="16">15149225</LocalCounter>
+    <LocalCounter worker="17">15149721</LocalCounter>
+    <LocalCounter worker="18">15149099</LocalCounter>
+    <LocalCounter worker="19">15149020</LocalCounter>
+    <LocalCounter worker="20">15149087</LocalCounter>
+    <LocalCounter worker="21">15149374</LocalCounter>
+    <LocalCounter worker="22">15723066</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>340263690</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalTicketLockWithLocalCounter activeWorker="24">
-    <LocalCounter worker="0">15359254</LocalCounter>
-    <LocalCounter worker="1">15360492</LocalCounter>
-    <LocalCounter worker="2">15486820</LocalCounter>
-    <LocalCounter worker="3">15486239</LocalCounter>
-    <LocalCounter worker="4">15373528</LocalCounter>
-    <LocalCounter worker="5">15373958</LocalCounter>
-    <LocalCounter worker="6">15523810</LocalCounter>
-    <LocalCounter worker="7">15523194</LocalCounter>
-    <LocalCounter worker="8">15449725</LocalCounter>
-    <LocalCounter worker="9">15450145</LocalCounter>
-    <LocalCounter worker="10">15501565</LocalCounter>
-    <LocalCounter worker="11">15500907</LocalCounter>
-    <LocalCounter worker="12">15423597</LocalCounter>
-    <LocalCounter worker="13">15424099</LocalCounter>
-    <LocalCounter worker="14">15510174</LocalCounter>
-    <LocalCounter worker="15">15509555</LocalCounter>
-    <LocalCounter worker="16">15333282</LocalCounter>
-    <LocalCounter worker="17">15333567</LocalCounter>
-    <LocalCounter worker="18">15417102</LocalCounter>
-    <LocalCounter worker="19">15416446</LocalCounter>
-    <LocalCounter worker="20">15366931</LocalCounter>
-    <LocalCounter worker="21">15367424</LocalCounter>
-    <LocalCounter worker="22">15326844</LocalCounter>
-    <LocalCounter worker="23">15326340</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>370144998</SumOfLocalCounter>
+    <LocalCounter worker="0">14520191</LocalCounter>
+    <LocalCounter worker="1">14521316</LocalCounter>
+    <LocalCounter worker="2">14520064</LocalCounter>
+    <LocalCounter worker="3">14521273</LocalCounter>
+    <LocalCounter worker="4">14508861</LocalCounter>
+    <LocalCounter worker="5">14509277</LocalCounter>
+    <LocalCounter worker="6">14522439</LocalCounter>
+    <LocalCounter worker="7">14523376</LocalCounter>
+    <LocalCounter worker="8">14971139</LocalCounter>
+    <LocalCounter worker="9">14971788</LocalCounter>
+    <LocalCounter worker="10">14970834</LocalCounter>
+    <LocalCounter worker="11">14971145</LocalCounter>
+    <LocalCounter worker="12">14970850</LocalCounter>
+    <LocalCounter worker="13">14971356</LocalCounter>
+    <LocalCounter worker="14">14970773</LocalCounter>
+    <LocalCounter worker="15">14971212</LocalCounter>
+    <LocalCounter worker="16">14302288</LocalCounter>
+    <LocalCounter worker="17">14302674</LocalCounter>
+    <LocalCounter worker="18">14292318</LocalCounter>
+    <LocalCounter worker="19">14292258</LocalCounter>
+    <LocalCounter worker="20">14327757</LocalCounter>
+    <LocalCounter worker="21">14328109</LocalCounter>
+    <LocalCounter worker="22">14203917</LocalCounter>
+    <LocalCounter worker="23">14204596</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>350169811</SumOfLocalCounter>
   </LocalTicketLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="1">
-    <LocalCounter worker="0">12012163</LocalCounter>
+    <LocalCounter worker="0">12082070</LocalCounter>
     <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>12012163</SumOfLocalCounter>
+    <SumOfLocalCounter>12082070</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="2">
-    <LocalCounter worker="0">11840550</LocalCounter>
-    <LocalCounter worker="1">11841478</LocalCounter>
+    <LocalCounter worker="0">11860565</LocalCounter>
+    <LocalCounter worker="1">11861524</LocalCounter>
     <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>23682028</SumOfLocalCounter>
+    <SumOfLocalCounter>23722089</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="3">
-    <LocalCounter worker="0">10912829</LocalCounter>
-    <LocalCounter worker="1">11686722</LocalCounter>
-    <LocalCounter worker="2">11363920</LocalCounter>
+    <LocalCounter worker="0">10937185</LocalCounter>
+    <LocalCounter worker="1">11666176</LocalCounter>
+    <LocalCounter worker="2">11377885</LocalCounter>
     <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>33963471</SumOfLocalCounter>
+    <SumOfLocalCounter>33981246</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="4">
-    <LocalCounter worker="0">10847812</LocalCounter>
-    <LocalCounter worker="1">11012883</LocalCounter>
-    <LocalCounter worker="2">10848750</LocalCounter>
-    <LocalCounter worker="3">10848348</LocalCounter>
+    <LocalCounter worker="0">10711169</LocalCounter>
+    <LocalCounter worker="1">11044642</LocalCounter>
+    <LocalCounter worker="2">10712186</LocalCounter>
+    <LocalCounter worker="3">10711772</LocalCounter>
     <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>43557793</SumOfLocalCounter>
+    <SumOfLocalCounter>43179769</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="5">
-    <LocalCounter worker="0">10672194</LocalCounter>
-    <LocalCounter worker="1">10766080</LocalCounter>
-    <LocalCounter worker="2">10686688</LocalCounter>
-    <LocalCounter worker="3">10686256</LocalCounter>
-    <LocalCounter worker="4">10751786</LocalCounter>
+    <LocalCounter worker="0">10681736</LocalCounter>
+    <LocalCounter worker="1">10803241</LocalCounter>
+    <LocalCounter worker="2">10697774</LocalCounter>
+    <LocalCounter worker="3">10697365</LocalCounter>
+    <LocalCounter worker="4">10786731</LocalCounter>
     <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>53563004</SumOfLocalCounter>
+    <SumOfLocalCounter>53666847</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="6">
-    <LocalCounter worker="0">10191331</LocalCounter>
-    <LocalCounter worker="1">10427635</LocalCounter>
-    <LocalCounter worker="2">10213958</LocalCounter>
-    <LocalCounter worker="3">10213515</LocalCounter>
-    <LocalCounter worker="4">10190660</LocalCounter>
-    <LocalCounter worker="5">10413043</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>61650142</SumOfLocalCounter>
+    <LocalCounter worker="0">10202899</LocalCounter>
+    <LocalCounter worker="1">10453899</LocalCounter>
+    <LocalCounter worker="2">10236078</LocalCounter>
+    <LocalCounter worker="3">10235641</LocalCounter>
+    <LocalCounter worker="4">10203405</LocalCounter>
+    <LocalCounter worker="5">10435466</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>61767388</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="7">
-    <LocalCounter worker="0">10094413</LocalCounter>
-    <LocalCounter worker="1">10150145</LocalCounter>
-    <LocalCounter worker="2">10099599</LocalCounter>
-    <LocalCounter worker="3">10099212</LocalCounter>
-    <LocalCounter worker="4">10095359</LocalCounter>
-    <LocalCounter worker="5">10145507</LocalCounter>
-    <LocalCounter worker="6">10157424</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>70841659</SumOfLocalCounter>
+    <LocalCounter worker="0">10057432</LocalCounter>
+    <LocalCounter worker="1">10126310</LocalCounter>
+    <LocalCounter worker="2">10062880</LocalCounter>
+    <LocalCounter worker="3">10062441</LocalCounter>
+    <LocalCounter worker="4">10056560</LocalCounter>
+    <LocalCounter worker="5">10117801</LocalCounter>
+    <LocalCounter worker="6">10136814</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>70620238</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="8">
-    <LocalCounter worker="0">9482692</LocalCounter>
-    <LocalCounter worker="1">9538919</LocalCounter>
-    <LocalCounter worker="2">9475649</LocalCounter>
-    <LocalCounter worker="3">9475299</LocalCounter>
-    <LocalCounter worker="4">9487665</LocalCounter>
-    <LocalCounter worker="5">9526988</LocalCounter>
-    <LocalCounter worker="6">9484104</LocalCounter>
-    <LocalCounter worker="7">9483770</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>75955086</SumOfLocalCounter>
+    <LocalCounter worker="0">9534620</LocalCounter>
+    <LocalCounter worker="1">9563972</LocalCounter>
+    <LocalCounter worker="2">9529566</LocalCounter>
+    <LocalCounter worker="3">9529136</LocalCounter>
+    <LocalCounter worker="4">9534974</LocalCounter>
+    <LocalCounter worker="5">9559121</LocalCounter>
+    <LocalCounter worker="6">9532504</LocalCounter>
+    <LocalCounter worker="7">9532098</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>76315991</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="9">
-    <LocalCounter worker="0">9551538</LocalCounter>
-    <LocalCounter worker="1">9607950</LocalCounter>
-    <LocalCounter worker="2">9527892</LocalCounter>
-    <LocalCounter worker="3">9527539</LocalCounter>
-    <LocalCounter worker="4">9541318</LocalCounter>
-    <LocalCounter worker="5">9599380</LocalCounter>
-    <LocalCounter worker="6">9545003</LocalCounter>
-    <LocalCounter worker="7">9544655</LocalCounter>
-    <LocalCounter worker="8">12100821</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>88546096</SumOfLocalCounter>
+    <LocalCounter worker="0">9588196</LocalCounter>
+    <LocalCounter worker="1">9644812</LocalCounter>
+    <LocalCounter worker="2">9569541</LocalCounter>
+    <LocalCounter worker="3">9569144</LocalCounter>
+    <LocalCounter worker="4">9588269</LocalCounter>
+    <LocalCounter worker="5">9635446</LocalCounter>
+    <LocalCounter worker="6">9587520</LocalCounter>
+    <LocalCounter worker="7">9587124</LocalCounter>
+    <LocalCounter worker="8">12171038</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>88941090</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="10">
-    <LocalCounter worker="0">9518208</LocalCounter>
-    <LocalCounter worker="1">9590167</LocalCounter>
-    <LocalCounter worker="2">9501471</LocalCounter>
-    <LocalCounter worker="3">9501014</LocalCounter>
-    <LocalCounter worker="4">9514888</LocalCounter>
-    <LocalCounter worker="5">9580544</LocalCounter>
-    <LocalCounter worker="6">9520640</LocalCounter>
-    <LocalCounter worker="7">9520357</LocalCounter>
-    <LocalCounter worker="8">11901852</LocalCounter>
-    <LocalCounter worker="9">11902280</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>100051421</SumOfLocalCounter>
+    <LocalCounter worker="0">9494406</LocalCounter>
+    <LocalCounter worker="1">9569092</LocalCounter>
+    <LocalCounter worker="2">9483166</LocalCounter>
+    <LocalCounter worker="3">9482828</LocalCounter>
+    <LocalCounter worker="4">9494096</LocalCounter>
+    <LocalCounter worker="5">9549855</LocalCounter>
+    <LocalCounter worker="6">9493566</LocalCounter>
+    <LocalCounter worker="7">9493228</LocalCounter>
+    <LocalCounter worker="8">11870461</LocalCounter>
+    <LocalCounter worker="9">11870751</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>99801449</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="11">
-    <LocalCounter worker="0">9588133</LocalCounter>
-    <LocalCounter worker="1">9642600</LocalCounter>
-    <LocalCounter worker="2">9569435</LocalCounter>
-    <LocalCounter worker="3">9569077</LocalCounter>
-    <LocalCounter worker="4">9581625</LocalCounter>
-    <LocalCounter worker="5">9634480</LocalCounter>
-    <LocalCounter worker="6">9582599</LocalCounter>
-    <LocalCounter worker="7">9582254</LocalCounter>
-    <LocalCounter worker="8">11143802</LocalCounter>
-    <LocalCounter worker="9">11642425</LocalCounter>
-    <LocalCounter worker="10">11430365</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>110966795</SumOfLocalCounter>
+    <LocalCounter worker="0">9547513</LocalCounter>
+    <LocalCounter worker="1">9618639</LocalCounter>
+    <LocalCounter worker="2">9531079</LocalCounter>
+    <LocalCounter worker="3">9530708</LocalCounter>
+    <LocalCounter worker="4">9544013</LocalCounter>
+    <LocalCounter worker="5">9582528</LocalCounter>
+    <LocalCounter worker="6">9546188</LocalCounter>
+    <LocalCounter worker="7">9545855</LocalCounter>
+    <LocalCounter worker="8">10981480</LocalCounter>
+    <LocalCounter worker="9">11695200</LocalCounter>
+    <LocalCounter worker="10">11417956</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>110541159</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="12">
-    <LocalCounter worker="0">9504141</LocalCounter>
-    <LocalCounter worker="1">9566497</LocalCounter>
-    <LocalCounter worker="2">9480268</LocalCounter>
-    <LocalCounter worker="3">9479883</LocalCounter>
-    <LocalCounter worker="4">9500138</LocalCounter>
-    <LocalCounter worker="5">9557387</LocalCounter>
-    <LocalCounter worker="6">9508730</LocalCounter>
-    <LocalCounter worker="7">9508263</LocalCounter>
-    <LocalCounter worker="8">10860480</LocalCounter>
-    <LocalCounter worker="9">11079334</LocalCounter>
-    <LocalCounter worker="10">10860904</LocalCounter>
-    <LocalCounter worker="11">10860416</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>119766441</SumOfLocalCounter>
+    <LocalCounter worker="0">9480940</LocalCounter>
+    <LocalCounter worker="1">9534711</LocalCounter>
+    <LocalCounter worker="2">9471781</LocalCounter>
+    <LocalCounter worker="3">9471472</LocalCounter>
+    <LocalCounter worker="4">9481875</LocalCounter>
+    <LocalCounter worker="5">9525995</LocalCounter>
+    <LocalCounter worker="6">9478339</LocalCounter>
+    <LocalCounter worker="7">9478029</LocalCounter>
+    <LocalCounter worker="8">10711265</LocalCounter>
+    <LocalCounter worker="9">11114755</LocalCounter>
+    <LocalCounter worker="10">10711627</LocalCounter>
+    <LocalCounter worker="11">10711294</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>119172083</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="13">
-    <LocalCounter worker="0">9566731</LocalCounter>
-    <LocalCounter worker="1">9602398</LocalCounter>
-    <LocalCounter worker="2">9555023</LocalCounter>
-    <LocalCounter worker="3">9554678</LocalCounter>
-    <LocalCounter worker="4">9565409</LocalCounter>
-    <LocalCounter worker="5">9597597</LocalCounter>
-    <LocalCounter worker="6">9568768</LocalCounter>
-    <LocalCounter worker="7">9568372</LocalCounter>
-    <LocalCounter worker="8">10697869</LocalCounter>
-    <LocalCounter worker="9">10788567</LocalCounter>
-    <LocalCounter worker="10">10705386</LocalCounter>
-    <LocalCounter worker="11">10704917</LocalCounter>
-    <LocalCounter worker="12">10773483</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>130249198</SumOfLocalCounter>
+    <LocalCounter worker="0">9546022</LocalCounter>
+    <LocalCounter worker="1">9587726</LocalCounter>
+    <LocalCounter worker="2">9539512</LocalCounter>
+    <LocalCounter worker="3">9539112</LocalCounter>
+    <LocalCounter worker="4">9546798</LocalCounter>
+    <LocalCounter worker="5">9572802</LocalCounter>
+    <LocalCounter worker="6">9547437</LocalCounter>
+    <LocalCounter worker="7">9547014</LocalCounter>
+    <LocalCounter worker="8">10700918</LocalCounter>
+    <LocalCounter worker="9">10778357</LocalCounter>
+    <LocalCounter worker="10">10711682</LocalCounter>
+    <LocalCounter worker="11">10711355</LocalCounter>
+    <LocalCounter worker="12">10766560</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>130095295</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="14">
-    <LocalCounter worker="0">9498902</LocalCounter>
-    <LocalCounter worker="1">9573902</LocalCounter>
-    <LocalCounter worker="2">9477978</LocalCounter>
-    <LocalCounter worker="3">9477580</LocalCounter>
-    <LocalCounter worker="4">9495093</LocalCounter>
-    <LocalCounter worker="5">9562850</LocalCounter>
-    <LocalCounter worker="6">9505874</LocalCounter>
-    <LocalCounter worker="7">9505569</LocalCounter>
-    <LocalCounter worker="8">10259456</LocalCounter>
-    <LocalCounter worker="9">10479812</LocalCounter>
-    <LocalCounter worker="10">10274650</LocalCounter>
-    <LocalCounter worker="11">10274227</LocalCounter>
-    <LocalCounter worker="12">10255667</LocalCounter>
-    <LocalCounter worker="13">10470946</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>138112506</SumOfLocalCounter>
+    <LocalCounter worker="0">9529110</LocalCounter>
+    <LocalCounter worker="1">9587899</LocalCounter>
+    <LocalCounter worker="2">9523029</LocalCounter>
+    <LocalCounter worker="3">9522600</LocalCounter>
+    <LocalCounter worker="4">9529393</LocalCounter>
+    <LocalCounter worker="5">9562307</LocalCounter>
+    <LocalCounter worker="6">9531767</LocalCounter>
+    <LocalCounter worker="7">9531364</LocalCounter>
+    <LocalCounter worker="8">10124795</LocalCounter>
+    <LocalCounter worker="9">10538492</LocalCounter>
+    <LocalCounter worker="10">10167869</LocalCounter>
+    <LocalCounter worker="11">10167494</LocalCounter>
+    <LocalCounter worker="12">10101866</LocalCounter>
+    <LocalCounter worker="13">10500389</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>137918374</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="15">
-    <LocalCounter worker="0">9568054</LocalCounter>
-    <LocalCounter worker="1">9610830</LocalCounter>
-    <LocalCounter worker="2">9556810</LocalCounter>
-    <LocalCounter worker="3">9556463</LocalCounter>
-    <LocalCounter worker="4">9564043</LocalCounter>
-    <LocalCounter worker="5">9605955</LocalCounter>
-    <LocalCounter worker="6">9567781</LocalCounter>
-    <LocalCounter worker="7">9567465</LocalCounter>
-    <LocalCounter worker="8">10121955</LocalCounter>
-    <LocalCounter worker="9">10176705</LocalCounter>
-    <LocalCounter worker="10">10126901</LocalCounter>
-    <LocalCounter worker="11">10126506</LocalCounter>
-    <LocalCounter worker="12">10122670</LocalCounter>
-    <LocalCounter worker="13">10170121</LocalCounter>
-    <LocalCounter worker="14">10183118</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>147625377</SumOfLocalCounter>
+    <LocalCounter worker="0">9566449</LocalCounter>
+    <LocalCounter worker="1">9604833</LocalCounter>
+    <LocalCounter worker="2">9559288</LocalCounter>
+    <LocalCounter worker="3">9558898</LocalCounter>
+    <LocalCounter worker="4">9567098</LocalCounter>
+    <LocalCounter worker="5">9599387</LocalCounter>
+    <LocalCounter worker="6">9566496</LocalCounter>
+    <LocalCounter worker="7">9566147</LocalCounter>
+    <LocalCounter worker="8">10075047</LocalCounter>
+    <LocalCounter worker="9">10164135</LocalCounter>
+    <LocalCounter worker="10">10082703</LocalCounter>
+    <LocalCounter worker="11">10082326</LocalCounter>
+    <LocalCounter worker="12">10075244</LocalCounter>
+    <LocalCounter worker="13">10155140</LocalCounter>
+    <LocalCounter worker="14">10178314</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>147401505</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="16">
-    <LocalCounter worker="0">9545502</LocalCounter>
-    <LocalCounter worker="1">9606047</LocalCounter>
-    <LocalCounter worker="2">9529441</LocalCounter>
-    <LocalCounter worker="3">9529036</LocalCounter>
-    <LocalCounter worker="4">9542921</LocalCounter>
-    <LocalCounter worker="5">9596990</LocalCounter>
-    <LocalCounter worker="6">9546969</LocalCounter>
-    <LocalCounter worker="7">9546662</LocalCounter>
-    <LocalCounter worker="8">9500406</LocalCounter>
-    <LocalCounter worker="9">9584384</LocalCounter>
-    <LocalCounter worker="10">9472779</LocalCounter>
-    <LocalCounter worker="11">9472417</LocalCounter>
-    <LocalCounter worker="12">9493981</LocalCounter>
-    <LocalCounter worker="13">9574576</LocalCounter>
-    <LocalCounter worker="14">9498520</LocalCounter>
-    <LocalCounter worker="15">9498159</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>152538790</SumOfLocalCounter>
+    <LocalCounter worker="0">9508977</LocalCounter>
+    <LocalCounter worker="1">9585956</LocalCounter>
+    <LocalCounter worker="2">9501428</LocalCounter>
+    <LocalCounter worker="3">9501014</LocalCounter>
+    <LocalCounter worker="4">9508465</LocalCounter>
+    <LocalCounter worker="5">9556360</LocalCounter>
+    <LocalCounter worker="6">9512315</LocalCounter>
+    <LocalCounter worker="7">9511916</LocalCounter>
+    <LocalCounter worker="8">9534416</LocalCounter>
+    <LocalCounter worker="9">9549972</LocalCounter>
+    <LocalCounter worker="10">9531251</LocalCounter>
+    <LocalCounter worker="11">9530849</LocalCounter>
+    <LocalCounter worker="12">9535299</LocalCounter>
+    <LocalCounter worker="13">9547690</LocalCounter>
+    <LocalCounter worker="14">9533669</LocalCounter>
+    <LocalCounter worker="15">9533330</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>152482907</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="17">
-    <LocalCounter worker="0">9477441</LocalCounter>
-    <LocalCounter worker="1">9536545</LocalCounter>
-    <LocalCounter worker="2">9460577</LocalCounter>
-    <LocalCounter worker="3">9460200</LocalCounter>
-    <LocalCounter worker="4">9480967</LocalCounter>
-    <LocalCounter worker="5">9523923</LocalCounter>
-    <LocalCounter worker="6">9480392</LocalCounter>
-    <LocalCounter worker="7">9480046</LocalCounter>
-    <LocalCounter worker="8">9487515</LocalCounter>
-    <LocalCounter worker="9">9547565</LocalCounter>
-    <LocalCounter worker="10">9474196</LocalCounter>
-    <LocalCounter worker="11">9473749</LocalCounter>
-    <LocalCounter worker="12">9487160</LocalCounter>
-    <LocalCounter worker="13">9540682</LocalCounter>
-    <LocalCounter worker="14">9486801</LocalCounter>
-    <LocalCounter worker="15">9486447</LocalCounter>
-    <LocalCounter worker="16">12011930</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>163896136</SumOfLocalCounter>
+    <LocalCounter worker="0">9456577</LocalCounter>
+    <LocalCounter worker="1">9518572</LocalCounter>
+    <LocalCounter worker="2">9448329</LocalCounter>
+    <LocalCounter worker="3">9447904</LocalCounter>
+    <LocalCounter worker="4">9456755</LocalCounter>
+    <LocalCounter worker="5">9492156</LocalCounter>
+    <LocalCounter worker="6">9456619</LocalCounter>
+    <LocalCounter worker="7">9456290</LocalCounter>
+    <LocalCounter worker="8">9469695</LocalCounter>
+    <LocalCounter worker="9">9504090</LocalCounter>
+    <LocalCounter worker="10">9467165</LocalCounter>
+    <LocalCounter worker="11">9466779</LocalCounter>
+    <LocalCounter worker="12">9469736</LocalCounter>
+    <LocalCounter worker="13">9490753</LocalCounter>
+    <LocalCounter worker="14">9470460</LocalCounter>
+    <LocalCounter worker="15">9470100</LocalCounter>
+    <LocalCounter worker="16">12081737</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>163623717</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="18">
-    <LocalCounter worker="0">9513232</LocalCounter>
-    <LocalCounter worker="1">9584994</LocalCounter>
-    <LocalCounter worker="2">9492399</LocalCounter>
-    <LocalCounter worker="3">9492017</LocalCounter>
-    <LocalCounter worker="4">9508104</LocalCounter>
-    <LocalCounter worker="5">9572238</LocalCounter>
-    <LocalCounter worker="6">9515215</LocalCounter>
-    <LocalCounter worker="7">9514855</LocalCounter>
-    <LocalCounter worker="8">9509726</LocalCounter>
-    <LocalCounter worker="9">9564574</LocalCounter>
-    <LocalCounter worker="10">9497507</LocalCounter>
-    <LocalCounter worker="11">9497104</LocalCounter>
-    <LocalCounter worker="12">9506890</LocalCounter>
-    <LocalCounter worker="13">9556927</LocalCounter>
-    <LocalCounter worker="14">9511038</LocalCounter>
-    <LocalCounter worker="15">9510683</LocalCounter>
-    <LocalCounter worker="16">11964542</LocalCounter>
-    <LocalCounter worker="17">11964965</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>176277010</SumOfLocalCounter>
+    <LocalCounter worker="0">9528572</LocalCounter>
+    <LocalCounter worker="1">9578324</LocalCounter>
+    <LocalCounter worker="2">9512159</LocalCounter>
+    <LocalCounter worker="3">9511743</LocalCounter>
+    <LocalCounter worker="4">9526173</LocalCounter>
+    <LocalCounter worker="5">9569951</LocalCounter>
+    <LocalCounter worker="6">9534866</LocalCounter>
+    <LocalCounter worker="7">9534526</LocalCounter>
+    <LocalCounter worker="8">9544758</LocalCounter>
+    <LocalCounter worker="9">9593215</LocalCounter>
+    <LocalCounter worker="10">9539533</LocalCounter>
+    <LocalCounter worker="11">9539119</LocalCounter>
+    <LocalCounter worker="12">9545198</LocalCounter>
+    <LocalCounter worker="13">9585695</LocalCounter>
+    <LocalCounter worker="14">9543578</LocalCounter>
+    <LocalCounter worker="15">9543186</LocalCounter>
+    <LocalCounter worker="16">11927396</LocalCounter>
+    <LocalCounter worker="17">11927804</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>176585796</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="19">
-    <LocalCounter worker="0">9501239</LocalCounter>
-    <LocalCounter worker="1">9566300</LocalCounter>
-    <LocalCounter worker="2">9480114</LocalCounter>
-    <LocalCounter worker="3">9479759</LocalCounter>
-    <LocalCounter worker="4">9497499</LocalCounter>
-    <LocalCounter worker="5">9554053</LocalCounter>
-    <LocalCounter worker="6">9504428</LocalCounter>
-    <LocalCounter worker="7">9504112</LocalCounter>
-    <LocalCounter worker="8">9450537</LocalCounter>
-    <LocalCounter worker="9">9500082</LocalCounter>
-    <LocalCounter worker="10">9437165</LocalCounter>
-    <LocalCounter worker="11">9436702</LocalCounter>
-    <LocalCounter worker="12">9448376</LocalCounter>
-    <LocalCounter worker="13">9494933</LocalCounter>
-    <LocalCounter worker="14">9452444</LocalCounter>
-    <LocalCounter worker="15">9452215</LocalCounter>
-    <LocalCounter worker="16">11096186</LocalCounter>
-    <LocalCounter worker="17">11513346</LocalCounter>
-    <LocalCounter worker="18">11336141</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>185705631</SumOfLocalCounter>
+    <LocalCounter worker="0">9477447</LocalCounter>
+    <LocalCounter worker="1">9564597</LocalCounter>
+    <LocalCounter worker="2">9452396</LocalCounter>
+    <LocalCounter worker="3">9451981</LocalCounter>
+    <LocalCounter worker="4">9473225</LocalCounter>
+    <LocalCounter worker="5">9533594</LocalCounter>
+    <LocalCounter worker="6">9478730</LocalCounter>
+    <LocalCounter worker="7">9478355</LocalCounter>
+    <LocalCounter worker="8">9491282</LocalCounter>
+    <LocalCounter worker="9">9542542</LocalCounter>
+    <LocalCounter worker="10">9469974</LocalCounter>
+    <LocalCounter worker="11">9469570</LocalCounter>
+    <LocalCounter worker="12">9488649</LocalCounter>
+    <LocalCounter worker="13">9533937</LocalCounter>
+    <LocalCounter worker="14">9493941</LocalCounter>
+    <LocalCounter worker="15">9493595</LocalCounter>
+    <LocalCounter worker="16">10869069</LocalCounter>
+    <LocalCounter worker="17">11610326</LocalCounter>
+    <LocalCounter worker="18">11333158</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>185706368</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="20">
-    <LocalCounter worker="0">9486065</LocalCounter>
-    <LocalCounter worker="1">9557588</LocalCounter>
-    <LocalCounter worker="2">9472473</LocalCounter>
-    <LocalCounter worker="3">9472199</LocalCounter>
-    <LocalCounter worker="4">9487667</LocalCounter>
-    <LocalCounter worker="5">9548271</LocalCounter>
-    <LocalCounter worker="6">9491616</LocalCounter>
-    <LocalCounter worker="7">9491243</LocalCounter>
-    <LocalCounter worker="8">9529780</LocalCounter>
-    <LocalCounter worker="9">9607162</LocalCounter>
-    <LocalCounter worker="10">9514560</LocalCounter>
-    <LocalCounter worker="11">9514178</LocalCounter>
-    <LocalCounter worker="12">9525187</LocalCounter>
-    <LocalCounter worker="13">9594754</LocalCounter>
-    <LocalCounter worker="14">9529212</LocalCounter>
-    <LocalCounter worker="15">9528811</LocalCounter>
-    <LocalCounter worker="16">10901458</LocalCounter>
-    <LocalCounter worker="17">11097405</LocalCounter>
-    <LocalCounter worker="18">10901870</LocalCounter>
-    <LocalCounter worker="19">10901433</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>196152932</SumOfLocalCounter>
+    <LocalCounter worker="0">9513336</LocalCounter>
+    <LocalCounter worker="1">9581580</LocalCounter>
+    <LocalCounter worker="2">9502256</LocalCounter>
+    <LocalCounter worker="3">9501888</LocalCounter>
+    <LocalCounter worker="4">9514403</LocalCounter>
+    <LocalCounter worker="5">9561923</LocalCounter>
+    <LocalCounter worker="6">9510586</LocalCounter>
+    <LocalCounter worker="7">9510218</LocalCounter>
+    <LocalCounter worker="8">9577756</LocalCounter>
+    <LocalCounter worker="9">9601845</LocalCounter>
+    <LocalCounter worker="10">9576720</LocalCounter>
+    <LocalCounter worker="11">9576333</LocalCounter>
+    <LocalCounter worker="12">9576562</LocalCounter>
+    <LocalCounter worker="13">9591627</LocalCounter>
+    <LocalCounter worker="14">9575875</LocalCounter>
+    <LocalCounter worker="15">9575454</LocalCounter>
+    <LocalCounter worker="16">10774344</LocalCounter>
+    <LocalCounter worker="17">11131500</LocalCounter>
+    <LocalCounter worker="18">10795173</LocalCounter>
+    <LocalCounter worker="19">10794817</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>196344196</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="21">
-    <LocalCounter worker="0">9465819</LocalCounter>
-    <LocalCounter worker="1">9552112</LocalCounter>
-    <LocalCounter worker="2">9442548</LocalCounter>
-    <LocalCounter worker="3">9442197</LocalCounter>
-    <LocalCounter worker="4">9460727</LocalCounter>
-    <LocalCounter worker="5">9539920</LocalCounter>
-    <LocalCounter worker="6">9467314</LocalCounter>
-    <LocalCounter worker="7">9466941</LocalCounter>
-    <LocalCounter worker="8">9499616</LocalCounter>
-    <LocalCounter worker="9">9555215</LocalCounter>
-    <LocalCounter worker="10">9480992</LocalCounter>
-    <LocalCounter worker="11">9480585</LocalCounter>
-    <LocalCounter worker="12">9497803</LocalCounter>
-    <LocalCounter worker="13">9549084</LocalCounter>
-    <LocalCounter worker="14">9503779</LocalCounter>
-    <LocalCounter worker="15">9503347</LocalCounter>
-    <LocalCounter worker="16">10632691</LocalCounter>
-    <LocalCounter worker="17">10740462</LocalCounter>
-    <LocalCounter worker="18">10643969</LocalCounter>
-    <LocalCounter worker="19">10643484</LocalCounter>
-    <LocalCounter worker="20">10722706</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>205291311</SumOfLocalCounter>
+    <LocalCounter worker="0">9489784</LocalCounter>
+    <LocalCounter worker="1">9553505</LocalCounter>
+    <LocalCounter worker="2">9480407</LocalCounter>
+    <LocalCounter worker="3">9480031</LocalCounter>
+    <LocalCounter worker="4">9487187</LocalCounter>
+    <LocalCounter worker="5">9517609</LocalCounter>
+    <LocalCounter worker="6">9490215</LocalCounter>
+    <LocalCounter worker="7">9489795</LocalCounter>
+    <LocalCounter worker="8">9480100</LocalCounter>
+    <LocalCounter worker="9">9512956</LocalCounter>
+    <LocalCounter worker="10">9469789</LocalCounter>
+    <LocalCounter worker="11">9469408</LocalCounter>
+    <LocalCounter worker="12">9478224</LocalCounter>
+    <LocalCounter worker="13">9507407</LocalCounter>
+    <LocalCounter worker="14">9480884</LocalCounter>
+    <LocalCounter worker="15">9480522</LocalCounter>
+    <LocalCounter worker="16">10558463</LocalCounter>
+    <LocalCounter worker="17">10781768</LocalCounter>
+    <LocalCounter worker="18">10586536</LocalCounter>
+    <LocalCounter worker="19">10586157</LocalCounter>
+    <LocalCounter worker="20">10751665</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>205132412</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="22">
-    <LocalCounter worker="0">9543555</LocalCounter>
-    <LocalCounter worker="1">9577947</LocalCounter>
-    <LocalCounter worker="2">9536419</LocalCounter>
-    <LocalCounter worker="3">9536025</LocalCounter>
-    <LocalCounter worker="4">9545186</LocalCounter>
-    <LocalCounter worker="5">9572363</LocalCounter>
-    <LocalCounter worker="6">9545696</LocalCounter>
-    <LocalCounter worker="7">9545380</LocalCounter>
-    <LocalCounter worker="8">9546863</LocalCounter>
-    <LocalCounter worker="9">9598252</LocalCounter>
-    <LocalCounter worker="10">9538891</LocalCounter>
-    <LocalCounter worker="11">9538471</LocalCounter>
-    <LocalCounter worker="12">9544650</LocalCounter>
-    <LocalCounter worker="13">9589800</LocalCounter>
-    <LocalCounter worker="14">9548809</LocalCounter>
-    <LocalCounter worker="15">9548442</LocalCounter>
-    <LocalCounter worker="16">10257926</LocalCounter>
-    <LocalCounter worker="17">10464973</LocalCounter>
-    <LocalCounter worker="18">10271404</LocalCounter>
-    <LocalCounter worker="19">10270974</LocalCounter>
-    <LocalCounter worker="20">10255638</LocalCounter>
-    <LocalCounter worker="21">10453549</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>214831213</SumOfLocalCounter>
+    <LocalCounter worker="0">9529280</LocalCounter>
+    <LocalCounter worker="1">9596479</LocalCounter>
+    <LocalCounter worker="2">9526225</LocalCounter>
+    <LocalCounter worker="3">9525841</LocalCounter>
+    <LocalCounter worker="4">9530068</LocalCounter>
+    <LocalCounter worker="5">9560604</LocalCounter>
+    <LocalCounter worker="6">9526967</LocalCounter>
+    <LocalCounter worker="7">9526692</LocalCounter>
+    <LocalCounter worker="8">9535973</LocalCounter>
+    <LocalCounter worker="9">9579641</LocalCounter>
+    <LocalCounter worker="10">9521811</LocalCounter>
+    <LocalCounter worker="11">9521452</LocalCounter>
+    <LocalCounter worker="12">9533157</LocalCounter>
+    <LocalCounter worker="13">9572320</LocalCounter>
+    <LocalCounter worker="14">9537636</LocalCounter>
+    <LocalCounter worker="15">9537265</LocalCounter>
+    <LocalCounter worker="16">10282870</LocalCounter>
+    <LocalCounter worker="17">10460861</LocalCounter>
+    <LocalCounter worker="18">10307364</LocalCounter>
+    <LocalCounter worker="19">10307036</LocalCounter>
+    <LocalCounter worker="20">10284193</LocalCounter>
+    <LocalCounter worker="21">10447335</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>214751070</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="23">
-    <LocalCounter worker="0">9505256</LocalCounter>
-    <LocalCounter worker="1">9546515</LocalCounter>
-    <LocalCounter worker="2">9487064</LocalCounter>
-    <LocalCounter worker="3">9486709</LocalCounter>
-    <LocalCounter worker="4">9503819</LocalCounter>
-    <LocalCounter worker="5">9540926</LocalCounter>
-    <LocalCounter worker="6">9507421</LocalCounter>
-    <LocalCounter worker="7">9507083</LocalCounter>
-    <LocalCounter worker="8">9463245</LocalCounter>
-    <LocalCounter worker="9">9512217</LocalCounter>
-    <LocalCounter worker="10">9445442</LocalCounter>
-    <LocalCounter worker="11">9444922</LocalCounter>
-    <LocalCounter worker="12">9462724</LocalCounter>
-    <LocalCounter worker="13">9505280</LocalCounter>
-    <LocalCounter worker="14">9465093</LocalCounter>
-    <LocalCounter worker="15">9464656</LocalCounter>
-    <LocalCounter worker="16">10061481</LocalCounter>
-    <LocalCounter worker="17">10110674</LocalCounter>
-    <LocalCounter worker="18">10057745</LocalCounter>
-    <LocalCounter worker="19">10057332</LocalCounter>
-    <LocalCounter worker="20">10065338</LocalCounter>
-    <LocalCounter worker="21">10106393</LocalCounter>
-    <LocalCounter worker="22">10117053</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>222424388</SumOfLocalCounter>
+    <LocalCounter worker="0">9474195</LocalCounter>
+    <LocalCounter worker="1">9526351</LocalCounter>
+    <LocalCounter worker="2">9466045</LocalCounter>
+    <LocalCounter worker="3">9465650</LocalCounter>
+    <LocalCounter worker="4">9474273</LocalCounter>
+    <LocalCounter worker="5">9509635</LocalCounter>
+    <LocalCounter worker="6">9475163</LocalCounter>
+    <LocalCounter worker="7">9474803</LocalCounter>
+    <LocalCounter worker="8">9527687</LocalCounter>
+    <LocalCounter worker="9">9582242</LocalCounter>
+    <LocalCounter worker="10">9516774</LocalCounter>
+    <LocalCounter worker="11">9516407</LocalCounter>
+    <LocalCounter worker="12">9526734</LocalCounter>
+    <LocalCounter worker="13">9556254</LocalCounter>
+    <LocalCounter worker="14">9528842</LocalCounter>
+    <LocalCounter worker="15">9528456</LocalCounter>
+    <LocalCounter worker="16">9971596</LocalCounter>
+    <LocalCounter worker="17">10094615</LocalCounter>
+    <LocalCounter worker="18">9984885</LocalCounter>
+    <LocalCounter worker="19">9984498</LocalCounter>
+    <LocalCounter worker="20">9969546</LocalCounter>
+    <LocalCounter worker="21">10080306</LocalCounter>
+    <LocalCounter worker="22">10113352</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>222348309</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalMCSLockWithLocalCounter activeWorker="24">
-    <LocalCounter worker="0">9509934</LocalCounter>
-    <LocalCounter worker="1">9589757</LocalCounter>
-    <LocalCounter worker="2">9487081</LocalCounter>
-    <LocalCounter worker="3">9486681</LocalCounter>
-    <LocalCounter worker="4">9504741</LocalCounter>
-    <LocalCounter worker="5">9577778</LocalCounter>
-    <LocalCounter worker="6">9512299</LocalCounter>
-    <LocalCounter worker="7">9511943</LocalCounter>
-    <LocalCounter worker="8">9495683</LocalCounter>
-    <LocalCounter worker="9">9576547</LocalCounter>
-    <LocalCounter worker="10">9477429</LocalCounter>
-    <LocalCounter worker="11">9476945</LocalCounter>
-    <LocalCounter worker="12">9488619</LocalCounter>
-    <LocalCounter worker="13">9564424</LocalCounter>
-    <LocalCounter worker="14">9497789</LocalCounter>
-    <LocalCounter worker="15">9497366</LocalCounter>
-    <LocalCounter worker="16">9576435</LocalCounter>
-    <LocalCounter worker="17">9594541</LocalCounter>
-    <LocalCounter worker="18">9569473</LocalCounter>
-    <LocalCounter worker="19">9569144</LocalCounter>
-    <LocalCounter worker="20">9576206</LocalCounter>
-    <LocalCounter worker="21">9592059</LocalCounter>
-    <LocalCounter worker="22">9571494</LocalCounter>
-    <LocalCounter worker="23">9591007</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>228895375</SumOfLocalCounter>
+    <LocalCounter worker="0">9570183</LocalCounter>
+    <LocalCounter worker="1">9596856</LocalCounter>
+    <LocalCounter worker="2">9566396</LocalCounter>
+    <LocalCounter worker="3">9565955</LocalCounter>
+    <LocalCounter worker="4">9570347</LocalCounter>
+    <LocalCounter worker="5">9592890</LocalCounter>
+    <LocalCounter worker="6">9571708</LocalCounter>
+    <LocalCounter worker="7">9571344</LocalCounter>
+    <LocalCounter worker="8">9568931</LocalCounter>
+    <LocalCounter worker="9">9609557</LocalCounter>
+    <LocalCounter worker="10">9562498</LocalCounter>
+    <LocalCounter worker="11">9562127</LocalCounter>
+    <LocalCounter worker="12">9567335</LocalCounter>
+    <LocalCounter worker="13">9602518</LocalCounter>
+    <LocalCounter worker="14">9566096</LocalCounter>
+    <LocalCounter worker="15">9565736</LocalCounter>
+    <LocalCounter worker="16">9608409</LocalCounter>
+    <LocalCounter worker="17">9631716</LocalCounter>
+    <LocalCounter worker="18">9604886</LocalCounter>
+    <LocalCounter worker="19">9604505</LocalCounter>
+    <LocalCounter worker="20">9607807</LocalCounter>
+    <LocalCounter worker="21">9629640</LocalCounter>
+    <LocalCounter worker="22">9603907</LocalCounter>
+    <LocalCounter worker="23">9629626</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>230130973</SumOfLocalCounter>
   </LocalMCSLockWithLocalCounter>
   <LocalTicketLockWithGlobalCounter activeWorker="24">
-    <LocalCounter worker="0">913947</LocalCounter>
-    <LocalCounter worker="1">914257</LocalCounter>
-    <LocalCounter worker="2">914150</LocalCounter>
-    <LocalCounter worker="3">914145</LocalCounter>
-    <LocalCounter worker="4">914171</LocalCounter>
-    <LocalCounter worker="5">914150</LocalCounter>
-    <LocalCounter worker="6">914168</LocalCounter>
-    <LocalCounter worker="7">914180</LocalCounter>
-    <LocalCounter worker="8">910191</LocalCounter>
-    <LocalCounter worker="9">910177</LocalCounter>
-    <LocalCounter worker="10">910157</LocalCounter>
-    <LocalCounter worker="11">910172</LocalCounter>
-    <LocalCounter worker="12">910177</LocalCounter>
-    <LocalCounter worker="13">910146</LocalCounter>
-    <LocalCounter worker="14">910166</LocalCounter>
-    <LocalCounter worker="15">910159</LocalCounter>
-    <LocalCounter worker="16">910137</LocalCounter>
-    <LocalCounter worker="17">910144</LocalCounter>
-    <LocalCounter worker="18">910132</LocalCounter>
-    <LocalCounter worker="19">910150</LocalCounter>
-    <LocalCounter worker="20">910160</LocalCounter>
-    <LocalCounter worker="21">910110</LocalCounter>
-    <LocalCounter worker="22">910156</LocalCounter>
-    <LocalCounter worker="23">910129</LocalCounter>
-    <GlobalCounter>2093981</GlobalCounter>
-    <SumOfLocalCounter>21875631</SumOfLocalCounter>
+    <LocalCounter worker="0">903446</LocalCounter>
+    <LocalCounter worker="1">903762</LocalCounter>
+    <LocalCounter worker="2">903658</LocalCounter>
+    <LocalCounter worker="3">903679</LocalCounter>
+    <LocalCounter worker="4">903658</LocalCounter>
+    <LocalCounter worker="5">903690</LocalCounter>
+    <LocalCounter worker="6">903665</LocalCounter>
+    <LocalCounter worker="7">903667</LocalCounter>
+    <LocalCounter worker="8">905432</LocalCounter>
+    <LocalCounter worker="9">905463</LocalCounter>
+    <LocalCounter worker="10">905415</LocalCounter>
+    <LocalCounter worker="11">905426</LocalCounter>
+    <LocalCounter worker="12">905442</LocalCounter>
+    <LocalCounter worker="13">905442</LocalCounter>
+    <LocalCounter worker="14">905434</LocalCounter>
+    <LocalCounter worker="15">905417</LocalCounter>
+    <LocalCounter worker="16">902746</LocalCounter>
+    <LocalCounter worker="17">902734</LocalCounter>
+    <LocalCounter worker="18">902731</LocalCounter>
+    <LocalCounter worker="19">902719</LocalCounter>
+    <LocalCounter worker="20">902734</LocalCounter>
+    <LocalCounter worker="21">902750</LocalCounter>
+    <LocalCounter worker="22">902746</LocalCounter>
+    <LocalCounter worker="23">902708</LocalCounter>
+    <GlobalCounter>2057722</GlobalCounter>
+    <SumOfLocalCounter>21694564</SumOfLocalCounter>
   </LocalTicketLockWithGlobalCounter>
   <LocalMCSLockWithGlobalCounter activeWorker="24">
-    <LocalCounter worker="0">866859</LocalCounter>
-    <LocalCounter worker="1">967353</LocalCounter>
-    <LocalCounter worker="2">887770</LocalCounter>
-    <LocalCounter worker="3">887751</LocalCounter>
-    <LocalCounter worker="4">867070</LocalCounter>
-    <LocalCounter worker="5">967115</LocalCounter>
-    <LocalCounter worker="6">887992</LocalCounter>
-    <LocalCounter worker="7">887922</LocalCounter>
-    <LocalCounter worker="8">871507</LocalCounter>
-    <LocalCounter worker="9">973319</LocalCounter>
-    <LocalCounter worker="10">891012</LocalCounter>
-    <LocalCounter worker="11">890973</LocalCounter>
-    <LocalCounter worker="12">869760</LocalCounter>
-    <LocalCounter worker="13">971285</LocalCounter>
-    <LocalCounter worker="14">896445</LocalCounter>
-    <LocalCounter worker="15">896401</LocalCounter>
-    <LocalCounter worker="16">864682</LocalCounter>
-    <LocalCounter worker="17">963546</LocalCounter>
-    <LocalCounter worker="18">885639</LocalCounter>
-    <LocalCounter worker="19">885592</LocalCounter>
-    <LocalCounter worker="20">864194</LocalCounter>
-    <LocalCounter worker="21">963193</LocalCounter>
-    <LocalCounter worker="22">861691</LocalCounter>
-    <LocalCounter worker="23">953868</LocalCounter>
-    <GlobalCounter>1771393</GlobalCounter>
-    <SumOfLocalCounter>21722939</SumOfLocalCounter>
+    <LocalCounter worker="0">859801</LocalCounter>
+    <LocalCounter worker="1">967785</LocalCounter>
+    <LocalCounter worker="2">883645</LocalCounter>
+    <LocalCounter worker="3">883619</LocalCounter>
+    <LocalCounter worker="4">860037</LocalCounter>
+    <LocalCounter worker="5">968025</LocalCounter>
+    <LocalCounter worker="6">883058</LocalCounter>
+    <LocalCounter worker="7">883016</LocalCounter>
+    <LocalCounter worker="8">865337</LocalCounter>
+    <LocalCounter worker="9">974824</LocalCounter>
+    <LocalCounter worker="10">882369</LocalCounter>
+    <LocalCounter worker="11">882341</LocalCounter>
+    <LocalCounter worker="12">863544</LocalCounter>
+    <LocalCounter worker="13">972159</LocalCounter>
+    <LocalCounter worker="14">892721</LocalCounter>
+    <LocalCounter worker="15">892715</LocalCounter>
+    <LocalCounter worker="16">857049</LocalCounter>
+    <LocalCounter worker="17">963725</LocalCounter>
+    <LocalCounter worker="18">880627</LocalCounter>
+    <LocalCounter worker="19">880584</LocalCounter>
+    <LocalCounter worker="20">856853</LocalCounter>
+    <LocalCounter worker="21">963380</LocalCounter>
+    <LocalCounter worker="22">854026</LocalCounter>
+    <LocalCounter worker="23">952345</LocalCounter>
+    <GlobalCounter>1763851</GlobalCounter>
+    <SumOfLocalCounter>21623585</SumOfLocalCounter>
   </LocalMCSLockWithGlobalCounter>
   <GlobalTicketLockWithBusySection activeWorker="24">
-    <LocalCounter worker="0">123820</LocalCounter>
-    <LocalCounter worker="1">123819</LocalCounter>
-    <LocalCounter worker="2">123820</LocalCounter>
-    <LocalCounter worker="3">123819</LocalCounter>
-    <LocalCounter worker="4">123820</LocalCounter>
-    <LocalCounter worker="5">123819</LocalCounter>
-    <LocalCounter worker="6">123820</LocalCounter>
-    <LocalCounter worker="7">123820</LocalCounter>
-    <LocalCounter worker="8">123819</LocalCounter>
-    <LocalCounter worker="9">123820</LocalCounter>
-    <LocalCounter worker="10">123820</LocalCounter>
-    <LocalCounter worker="11">123820</LocalCounter>
-    <LocalCounter worker="12">123819</LocalCounter>
-    <LocalCounter worker="13">123819</LocalCounter>
-    <LocalCounter worker="14">123820</LocalCounter>
-    <LocalCounter worker="15">123819</LocalCounter>
-    <LocalCounter worker="16">123820</LocalCounter>
-    <LocalCounter worker="17">123820</LocalCounter>
-    <LocalCounter worker="18">123819</LocalCounter>
-    <LocalCounter worker="19">123819</LocalCounter>
-    <LocalCounter worker="20">123819</LocalCounter>
-    <LocalCounter worker="21">123819</LocalCounter>
-    <LocalCounter worker="22">123819</LocalCounter>
-    <LocalCounter worker="23">123819</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>2971667</SumOfLocalCounter>
+    <LocalCounter worker="0">122500</LocalCounter>
+    <LocalCounter worker="1">122500</LocalCounter>
+    <LocalCounter worker="2">122500</LocalCounter>
+    <LocalCounter worker="3">122500</LocalCounter>
+    <LocalCounter worker="4">122499</LocalCounter>
+    <LocalCounter worker="5">122500</LocalCounter>
+    <LocalCounter worker="6">122500</LocalCounter>
+    <LocalCounter worker="7">122500</LocalCounter>
+    <LocalCounter worker="8">122500</LocalCounter>
+    <LocalCounter worker="9">122500</LocalCounter>
+    <LocalCounter worker="10">122500</LocalCounter>
+    <LocalCounter worker="11">122500</LocalCounter>
+    <LocalCounter worker="12">122500</LocalCounter>
+    <LocalCounter worker="13">122500</LocalCounter>
+    <LocalCounter worker="14">122500</LocalCounter>
+    <LocalCounter worker="15">122500</LocalCounter>
+    <LocalCounter worker="16">122499</LocalCounter>
+    <LocalCounter worker="17">122501</LocalCounter>
+    <LocalCounter worker="18">122500</LocalCounter>
+    <LocalCounter worker="19">122500</LocalCounter>
+    <LocalCounter worker="20">122501</LocalCounter>
+    <LocalCounter worker="21">122501</LocalCounter>
+    <LocalCounter worker="22">122501</LocalCounter>
+    <LocalCounter worker="23">122501</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2940003</SumOfLocalCounter>
   </GlobalTicketLockWithBusySection>
   <GlobalMCSLockWithBusySection activeWorker="24">
-    <LocalCounter worker="0">112523</LocalCounter>
-    <LocalCounter worker="1">112524</LocalCounter>
-    <LocalCounter worker="2">112523</LocalCounter>
-    <LocalCounter worker="3">112523</LocalCounter>
-    <LocalCounter worker="4">112522</LocalCounter>
-    <LocalCounter worker="5">112523</LocalCounter>
-    <LocalCounter worker="6">112523</LocalCounter>
-    <LocalCounter worker="7">112524</LocalCounter>
-    <LocalCounter worker="8">112522</LocalCounter>
-    <LocalCounter worker="9">112524</LocalCounter>
-    <LocalCounter worker="10">112523</LocalCounter>
-    <LocalCounter worker="11">112523</LocalCounter>
-    <LocalCounter worker="12">112524</LocalCounter>
-    <LocalCounter worker="13">112523</LocalCounter>
-    <LocalCounter worker="14">112523</LocalCounter>
-    <LocalCounter worker="15">112523</LocalCounter>
-    <LocalCounter worker="16">112523</LocalCounter>
-    <LocalCounter worker="17">112524</LocalCounter>
-    <LocalCounter worker="18">112523</LocalCounter>
-    <LocalCounter worker="19">112523</LocalCounter>
-    <LocalCounter worker="20">112524</LocalCounter>
-    <LocalCounter worker="21">112525</LocalCounter>
-    <LocalCounter worker="22">112523</LocalCounter>
-    <LocalCounter worker="23">112524</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>2700559</SumOfLocalCounter>
+    <LocalCounter worker="0">109856</LocalCounter>
+    <LocalCounter worker="1">109857</LocalCounter>
+    <LocalCounter worker="2">109857</LocalCounter>
+    <LocalCounter worker="3">109856</LocalCounter>
+    <LocalCounter worker="4">109857</LocalCounter>
+    <LocalCounter worker="5">109856</LocalCounter>
+    <LocalCounter worker="6">109857</LocalCounter>
+    <LocalCounter worker="7">109857</LocalCounter>
+    <LocalCounter worker="8">109856</LocalCounter>
+    <LocalCounter worker="9">109856</LocalCounter>
+    <LocalCounter worker="10">109857</LocalCounter>
+    <LocalCounter worker="11">109858</LocalCounter>
+    <LocalCounter worker="12">109858</LocalCounter>
+    <LocalCounter worker="13">109857</LocalCounter>
+    <LocalCounter worker="14">109856</LocalCounter>
+    <LocalCounter worker="15">109856</LocalCounter>
+    <LocalCounter worker="16">109858</LocalCounter>
+    <LocalCounter worker="17">109857</LocalCounter>
+    <LocalCounter worker="18">109857</LocalCounter>
+    <LocalCounter worker="19">109857</LocalCounter>
+    <LocalCounter worker="20">109856</LocalCounter>
+    <LocalCounter worker="21">109857</LocalCounter>
+    <LocalCounter worker="22">109856</LocalCounter>
+    <LocalCounter worker="23">109857</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2636562</SumOfLocalCounter>
   </GlobalMCSLockWithBusySection>
   <SequenceLock activeWorker="24">
-    <LocalCounter worker="0">2442341</LocalCounter>
+    <LocalCounter worker="0">2443697</LocalCounter>
     <LocalCounter worker="1">1</LocalCounter>
-    <LocalCounter worker="2">19</LocalCounter>
-    <LocalCounter worker="3">3</LocalCounter>
-    <LocalCounter worker="4">7</LocalCounter>
-    <LocalCounter worker="5">14</LocalCounter>
-    <LocalCounter worker="6">17</LocalCounter>
-    <LocalCounter worker="7">40</LocalCounter>
-    <LocalCounter worker="8">735</LocalCounter>
-    <LocalCounter worker="9">692</LocalCounter>
-    <LocalCounter worker="10">749</LocalCounter>
-    <LocalCounter worker="11">714</LocalCounter>
-    <LocalCounter worker="12">698</LocalCounter>
-    <LocalCounter worker="13">681</LocalCounter>
-    <LocalCounter worker="14">687</LocalCounter>
-    <LocalCounter worker="15">673</LocalCounter>
-    <LocalCounter worker="16">781</LocalCounter>
-    <LocalCounter worker="17">763</LocalCounter>
-    <LocalCounter worker="18">754</LocalCounter>
-    <LocalCounter worker="19">786</LocalCounter>
-    <LocalCounter worker="20">747</LocalCounter>
-    <LocalCounter worker="21">704</LocalCounter>
-    <LocalCounter worker="22">800</LocalCounter>
-    <LocalCounter worker="23">755</LocalCounter>
-    <GlobalCounter>0</GlobalCounter>
-    <SumOfLocalCounter>2454161</SumOfLocalCounter>
+    <LocalCounter worker="2">11</LocalCounter>
+    <LocalCounter worker="3">19</LocalCounter>
+    <LocalCounter worker="4">34</LocalCounter>
+    <LocalCounter worker="5">4</LocalCounter>
+    <LocalCounter worker="6">11</LocalCounter>
+    <LocalCounter worker="7">27</LocalCounter>
+    <LocalCounter worker="8">738</LocalCounter>
+    <LocalCounter worker="9">715</LocalCounter>
+    <LocalCounter worker="10">708</LocalCounter>
+    <LocalCounter worker="11">710</LocalCounter>
+    <LocalCounter worker="12">716</LocalCounter>
+    <LocalCounter worker="13">722</LocalCounter>
+    <LocalCounter worker="14">663</LocalCounter>
+    <LocalCounter worker="15">680</LocalCounter>
+    <LocalCounter worker="16">818</LocalCounter>
+    <LocalCounter worker="17">816</LocalCounter>
+    <LocalCounter worker="18">798</LocalCounter>
+    <LocalCounter worker="19">793</LocalCounter>
+    <LocalCounter worker="20">749</LocalCounter>
+    <LocalCounter worker="21">737</LocalCounter>
+    <LocalCounter worker="22">681</LocalCounter>
+    <LocalCounter worker="23">713</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2455561</SumOfLocalCounter>
   </SequenceLock>
+  <GlobalTASLockWithLocalCounter activeWorker="1">
+    <LocalCounter worker="0">19899718</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>19899718</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="2">
+    <LocalCounter worker="0">11323121</LocalCounter>
+    <LocalCounter worker="1">8390566</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>19713687</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="3">
+    <LocalCounter worker="0">3505442</LocalCounter>
+    <LocalCounter worker="1">3505599</LocalCounter>
+    <LocalCounter worker="2">12137521</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>19148562</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="4">
+    <LocalCounter worker="0">3973366</LocalCounter>
+    <LocalCounter worker="1">3973543</LocalCounter>
+    <LocalCounter worker="2">5643661</LocalCounter>
+    <LocalCounter worker="3">5644098</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>19234668</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="5">
+    <LocalCounter worker="0">3605358</LocalCounter>
+    <LocalCounter worker="1">3605432</LocalCounter>
+    <LocalCounter worker="2">5184535</LocalCounter>
+    <LocalCounter worker="3">5184801</LocalCounter>
+    <LocalCounter worker="4">1514959</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>19095085</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="6">
+    <LocalCounter worker="0">3062204</LocalCounter>
+    <LocalCounter worker="1">3061638</LocalCounter>
+    <LocalCounter worker="2">2657329</LocalCounter>
+    <LocalCounter worker="3">2657997</LocalCounter>
+    <LocalCounter worker="4">3694149</LocalCounter>
+    <LocalCounter worker="5">3693569</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>18826886</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="7">
+    <LocalCounter worker="0">1413952</LocalCounter>
+    <LocalCounter worker="1">1413322</LocalCounter>
+    <LocalCounter worker="2">5634774</LocalCounter>
+    <LocalCounter worker="3">5634907</LocalCounter>
+    <LocalCounter worker="4">807079</LocalCounter>
+    <LocalCounter worker="5">806823</LocalCounter>
+    <LocalCounter worker="6">2780299</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>18491156</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="8">
+    <LocalCounter worker="0">2266504</LocalCounter>
+    <LocalCounter worker="1">2264023</LocalCounter>
+    <LocalCounter worker="2">2150464</LocalCounter>
+    <LocalCounter worker="3">2152501</LocalCounter>
+    <LocalCounter worker="4">2234184</LocalCounter>
+    <LocalCounter worker="5">2235885</LocalCounter>
+    <LocalCounter worker="6">2045159</LocalCounter>
+    <LocalCounter worker="7">2042094</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>17390814</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="9">
+    <LocalCounter worker="0">378978</LocalCounter>
+    <LocalCounter worker="1">493897</LocalCounter>
+    <LocalCounter worker="2">540956</LocalCounter>
+    <LocalCounter worker="3">307717</LocalCounter>
+    <LocalCounter worker="4">559266</LocalCounter>
+    <LocalCounter worker="5">435771</LocalCounter>
+    <LocalCounter worker="6">289002</LocalCounter>
+    <LocalCounter worker="7">524768</LocalCounter>
+    <LocalCounter worker="8">904</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>3531259</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="10">
+    <LocalCounter worker="0">315240</LocalCounter>
+    <LocalCounter worker="1">314639</LocalCounter>
+    <LocalCounter worker="2">343225</LocalCounter>
+    <LocalCounter worker="3">343430</LocalCounter>
+    <LocalCounter worker="4">330617</LocalCounter>
+    <LocalCounter worker="5">273430</LocalCounter>
+    <LocalCounter worker="6">114457</LocalCounter>
+    <LocalCounter worker="7">400594</LocalCounter>
+    <LocalCounter worker="8">199708</LocalCounter>
+    <LocalCounter worker="9">398954</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>3034294</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="11">
+    <LocalCounter worker="0">398649</LocalCounter>
+    <LocalCounter worker="1">243725</LocalCounter>
+    <LocalCounter worker="2">313197</LocalCounter>
+    <LocalCounter worker="3">341559</LocalCounter>
+    <LocalCounter worker="4">400879</LocalCounter>
+    <LocalCounter worker="5">485957</LocalCounter>
+    <LocalCounter worker="6">256149</LocalCounter>
+    <LocalCounter worker="7">312463</LocalCounter>
+    <LocalCounter worker="8">79929</LocalCounter>
+    <LocalCounter worker="9">79959</LocalCounter>
+    <LocalCounter worker="10">61</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2912527</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="12">
+    <LocalCounter worker="0">200097</LocalCounter>
+    <LocalCounter worker="1">314280</LocalCounter>
+    <LocalCounter worker="2">484541</LocalCounter>
+    <LocalCounter worker="3">400413</LocalCounter>
+    <LocalCounter worker="4">187776</LocalCounter>
+    <LocalCounter worker="5">244998</LocalCounter>
+    <LocalCounter worker="6">244859</LocalCounter>
+    <LocalCounter worker="7">330577</LocalCounter>
+    <LocalCounter worker="8">159931</LocalCounter>
+    <LocalCounter worker="9">122121</LocalCounter>
+    <LocalCounter worker="10">159973</LocalCounter>
+    <LocalCounter worker="11">199451</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>3049017</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="13">
+    <LocalCounter worker="0">104</LocalCounter>
+    <LocalCounter worker="1">145</LocalCounter>
+    <LocalCounter worker="2">209</LocalCounter>
+    <LocalCounter worker="3">169</LocalCounter>
+    <LocalCounter worker="4">206</LocalCounter>
+    <LocalCounter worker="5">120</LocalCounter>
+    <LocalCounter worker="6">166</LocalCounter>
+    <LocalCounter worker="7">188</LocalCounter>
+    <LocalCounter worker="8">798353</LocalCounter>
+    <LocalCounter worker="9">639101</LocalCounter>
+    <LocalCounter worker="10">1237960</LocalCounter>
+    <LocalCounter worker="11">840661</LocalCounter>
+    <LocalCounter worker="12">439274</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>3956656</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="14">
+    <LocalCounter worker="0">80</LocalCounter>
+    <LocalCounter worker="1">111</LocalCounter>
+    <LocalCounter worker="2">119</LocalCounter>
+    <LocalCounter worker="3">149</LocalCounter>
+    <LocalCounter worker="4">169</LocalCounter>
+    <LocalCounter worker="5">117</LocalCounter>
+    <LocalCounter worker="6">126</LocalCounter>
+    <LocalCounter worker="7">139</LocalCounter>
+    <LocalCounter worker="8">574829</LocalCounter>
+    <LocalCounter worker="9">803988</LocalCounter>
+    <LocalCounter worker="10">370549</LocalCounter>
+    <LocalCounter worker="11">846318</LocalCounter>
+    <LocalCounter worker="12">608269</LocalCounter>
+    <LocalCounter worker="13">608119</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>3813082</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="15">
+    <LocalCounter worker="0">8</LocalCounter>
+    <LocalCounter worker="1">20</LocalCounter>
+    <LocalCounter worker="2">34</LocalCounter>
+    <LocalCounter worker="3">65</LocalCounter>
+    <LocalCounter worker="4">84</LocalCounter>
+    <LocalCounter worker="5">38</LocalCounter>
+    <LocalCounter worker="6">60</LocalCounter>
+    <LocalCounter worker="7">95</LocalCounter>
+    <LocalCounter worker="8">482715</LocalCounter>
+    <LocalCounter worker="9">607538</LocalCounter>
+    <LocalCounter worker="10">482392</LocalCounter>
+    <LocalCounter worker="11">667855</LocalCounter>
+    <LocalCounter worker="12">409336</LocalCounter>
+    <LocalCounter worker="13">630426</LocalCounter>
+    <LocalCounter worker="14">408163</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>3688829</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="16">
+    <LocalCounter worker="0">117285</LocalCounter>
+    <LocalCounter worker="1">117670</LocalCounter>
+    <LocalCounter worker="2">117122</LocalCounter>
+    <LocalCounter worker="3">116813</LocalCounter>
+    <LocalCounter worker="4">117713</LocalCounter>
+    <LocalCounter worker="5">117774</LocalCounter>
+    <LocalCounter worker="6">117459</LocalCounter>
+    <LocalCounter worker="7">117328</LocalCounter>
+    <LocalCounter worker="8">303833</LocalCounter>
+    <LocalCounter worker="9">326784</LocalCounter>
+    <LocalCounter worker="10">277325</LocalCounter>
+    <LocalCounter worker="11">373516</LocalCounter>
+    <LocalCounter worker="12">263215</LocalCounter>
+    <LocalCounter worker="13">390871</LocalCounter>
+    <LocalCounter worker="14">446935</LocalCounter>
+    <LocalCounter worker="15">301501</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>3623144</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="17">
+    <LocalCounter worker="0">341558</LocalCounter>
+    <LocalCounter worker="1">231787</LocalCounter>
+    <LocalCounter worker="2">347677</LocalCounter>
+    <LocalCounter worker="3">218478</LocalCounter>
+    <LocalCounter worker="4">303719</LocalCounter>
+    <LocalCounter worker="5">154437</LocalCounter>
+    <LocalCounter worker="6">229631</LocalCounter>
+    <LocalCounter worker="7">216461</LocalCounter>
+    <LocalCounter worker="8">123537</LocalCounter>
+    <LocalCounter worker="9">103366</LocalCounter>
+    <LocalCounter worker="10">55161</LocalCounter>
+    <LocalCounter worker="11">90025</LocalCounter>
+    <LocalCounter worker="12">84691</LocalCounter>
+    <LocalCounter worker="13">68924</LocalCounter>
+    <LocalCounter worker="14">53786</LocalCounter>
+    <LocalCounter worker="15">190767</LocalCounter>
+    <LocalCounter worker="16">986</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2814991</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="18">
+    <LocalCounter worker="0">200069</LocalCounter>
+    <LocalCounter worker="1">264598</LocalCounter>
+    <LocalCounter worker="2">170182</LocalCounter>
+    <LocalCounter worker="3">138554</LocalCounter>
+    <LocalCounter worker="4">102824</LocalCounter>
+    <LocalCounter worker="5">175867</LocalCounter>
+    <LocalCounter worker="6">284187</LocalCounter>
+    <LocalCounter worker="7">164345</LocalCounter>
+    <LocalCounter worker="8">233732</LocalCounter>
+    <LocalCounter worker="9">178177</LocalCounter>
+    <LocalCounter worker="10">140189</LocalCounter>
+    <LocalCounter worker="11">153958</LocalCounter>
+    <LocalCounter worker="12">123252</LocalCounter>
+    <LocalCounter worker="13">227322</LocalCounter>
+    <LocalCounter worker="14">194095</LocalCounter>
+    <LocalCounter worker="15">54981</LocalCounter>
+    <LocalCounter worker="16">1079</LocalCounter>
+    <LocalCounter worker="17">1026</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2808437</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="19">
+    <LocalCounter worker="0">321115</LocalCounter>
+    <LocalCounter worker="1">371397</LocalCounter>
+    <LocalCounter worker="2">225899</LocalCounter>
+    <LocalCounter worker="3">354262</LocalCounter>
+    <LocalCounter worker="4">361476</LocalCounter>
+    <LocalCounter worker="5">350114</LocalCounter>
+    <LocalCounter worker="6">291933</LocalCounter>
+    <LocalCounter worker="7">196999</LocalCounter>
+    <LocalCounter worker="8">22397</LocalCounter>
+    <LocalCounter worker="9">25153</LocalCounter>
+    <LocalCounter worker="10">102182</LocalCounter>
+    <LocalCounter worker="11">21372</LocalCounter>
+    <LocalCounter worker="12">70582</LocalCounter>
+    <LocalCounter worker="13">29948</LocalCounter>
+    <LocalCounter worker="14">18969</LocalCounter>
+    <LocalCounter worker="15">57177</LocalCounter>
+    <LocalCounter worker="16">477</LocalCounter>
+    <LocalCounter worker="17">391</LocalCounter>
+    <LocalCounter worker="18">916</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2822759</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="20">
+    <LocalCounter worker="0">393436</LocalCounter>
+    <LocalCounter worker="1">309283</LocalCounter>
+    <LocalCounter worker="2">168529</LocalCounter>
+    <LocalCounter worker="3">224983</LocalCounter>
+    <LocalCounter worker="4">196844</LocalCounter>
+    <LocalCounter worker="5">140974</LocalCounter>
+    <LocalCounter worker="6">197196</LocalCounter>
+    <LocalCounter worker="7">84830</LocalCounter>
+    <LocalCounter worker="8">111946</LocalCounter>
+    <LocalCounter worker="9">111914</LocalCounter>
+    <LocalCounter worker="10">112325</LocalCounter>
+    <LocalCounter worker="11">112014</LocalCounter>
+    <LocalCounter worker="12">168007</LocalCounter>
+    <LocalCounter worker="13">111972</LocalCounter>
+    <LocalCounter worker="14">112201</LocalCounter>
+    <LocalCounter worker="15">252562</LocalCounter>
+    <LocalCounter worker="16">49</LocalCounter>
+    <LocalCounter worker="17">41</LocalCounter>
+    <LocalCounter worker="18">37</LocalCounter>
+    <LocalCounter worker="19">44</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2809187</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="21">
+    <LocalCounter worker="0">183153</LocalCounter>
+    <LocalCounter worker="1">263091</LocalCounter>
+    <LocalCounter worker="2">196238</LocalCounter>
+    <LocalCounter worker="3">56135</LocalCounter>
+    <LocalCounter worker="4">252253</LocalCounter>
+    <LocalCounter worker="5">112377</LocalCounter>
+    <LocalCounter worker="6">168624</LocalCounter>
+    <LocalCounter worker="7">252596</LocalCounter>
+    <LocalCounter worker="8">195948</LocalCounter>
+    <LocalCounter worker="9">43703</LocalCounter>
+    <LocalCounter worker="10">140073</LocalCounter>
+    <LocalCounter worker="11">223721</LocalCounter>
+    <LocalCounter worker="12">251924</LocalCounter>
+    <LocalCounter worker="13">169611</LocalCounter>
+    <LocalCounter worker="14">112360</LocalCounter>
+    <LocalCounter worker="15">168176</LocalCounter>
+    <LocalCounter worker="16">41</LocalCounter>
+    <LocalCounter worker="17">14</LocalCounter>
+    <LocalCounter worker="18">29</LocalCounter>
+    <LocalCounter worker="19">41</LocalCounter>
+    <LocalCounter worker="20">41</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2790149</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="22">
+    <LocalCounter worker="0">84315</LocalCounter>
+    <LocalCounter worker="1">168428</LocalCounter>
+    <LocalCounter worker="2">56084</LocalCounter>
+    <LocalCounter worker="3">280784</LocalCounter>
+    <LocalCounter worker="4">160642</LocalCounter>
+    <LocalCounter worker="5">195812</LocalCounter>
+    <LocalCounter worker="6">224182</LocalCounter>
+    <LocalCounter worker="7">112335</LocalCounter>
+    <LocalCounter worker="8">223416</LocalCounter>
+    <LocalCounter worker="9">279221</LocalCounter>
+    <LocalCounter worker="10">223306</LocalCounter>
+    <LocalCounter worker="11">195550</LocalCounter>
+    <LocalCounter worker="12">83826</LocalCounter>
+    <LocalCounter worker="13">83644</LocalCounter>
+    <LocalCounter worker="14">153478</LocalCounter>
+    <LocalCounter worker="15">251574</LocalCounter>
+    <LocalCounter worker="16">31</LocalCounter>
+    <LocalCounter worker="17">17</LocalCounter>
+    <LocalCounter worker="18">26</LocalCounter>
+    <LocalCounter worker="19">27</LocalCounter>
+    <LocalCounter worker="20">31</LocalCounter>
+    <LocalCounter worker="21">22</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2776751</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="23">
+    <LocalCounter worker="0">251094</LocalCounter>
+    <LocalCounter worker="1">111612</LocalCounter>
+    <LocalCounter worker="2">111946</LocalCounter>
+    <LocalCounter worker="3">250878</LocalCounter>
+    <LocalCounter worker="4">270360</LocalCounter>
+    <LocalCounter worker="5">83918</LocalCounter>
+    <LocalCounter worker="6">167667</LocalCounter>
+    <LocalCounter worker="7">251032</LocalCounter>
+    <LocalCounter worker="8">201670</LocalCounter>
+    <LocalCounter worker="9">195227</LocalCounter>
+    <LocalCounter worker="10">167446</LocalCounter>
+    <LocalCounter worker="11">194880</LocalCounter>
+    <LocalCounter worker="12">194852</LocalCounter>
+    <LocalCounter worker="13">83768</LocalCounter>
+    <LocalCounter worker="14">160169</LocalCounter>
+    <LocalCounter worker="15">83658</LocalCounter>
+    <LocalCounter worker="16">141</LocalCounter>
+    <LocalCounter worker="17">133</LocalCounter>
+    <LocalCounter worker="18">122</LocalCounter>
+    <LocalCounter worker="19">117</LocalCounter>
+    <LocalCounter worker="20">136</LocalCounter>
+    <LocalCounter worker="21">115</LocalCounter>
+    <LocalCounter worker="22">104</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2781045</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTASLockWithLocalCounter activeWorker="24">
+    <LocalCounter worker="0">132034</LocalCounter>
+    <LocalCounter worker="1">131676</LocalCounter>
+    <LocalCounter worker="2">132311</LocalCounter>
+    <LocalCounter worker="3">131443</LocalCounter>
+    <LocalCounter worker="4">132250</LocalCounter>
+    <LocalCounter worker="5">131733</LocalCounter>
+    <LocalCounter worker="6">131193</LocalCounter>
+    <LocalCounter worker="7">131281</LocalCounter>
+    <LocalCounter worker="8">122650</LocalCounter>
+    <LocalCounter worker="9">123113</LocalCounter>
+    <LocalCounter worker="10">123745</LocalCounter>
+    <LocalCounter worker="11">123264</LocalCounter>
+    <LocalCounter worker="12">123158</LocalCounter>
+    <LocalCounter worker="13">122764</LocalCounter>
+    <LocalCounter worker="14">123050</LocalCounter>
+    <LocalCounter worker="15">123616</LocalCounter>
+    <LocalCounter worker="16">122054</LocalCounter>
+    <LocalCounter worker="17">122876</LocalCounter>
+    <LocalCounter worker="18">122080</LocalCounter>
+    <LocalCounter worker="19">121904</LocalCounter>
+    <LocalCounter worker="20">122223</LocalCounter>
+    <LocalCounter worker="21">122088</LocalCounter>
+    <LocalCounter worker="22">121899</LocalCounter>
+    <LocalCounter worker="23">122670</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>3017075</SumOfLocalCounter>
+  </GlobalTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="1">
+    <LocalCounter worker="0">19645977</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>19645977</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="2">
+    <LocalCounter worker="0">4310217</LocalCounter>
+    <LocalCounter worker="1">15293675</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>19603892</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="3">
+    <LocalCounter worker="0">9402863</LocalCounter>
+    <LocalCounter worker="1">9226207</LocalCounter>
+    <LocalCounter worker="2">437594</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>19066664</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="4">
+    <LocalCounter worker="0">3386951</LocalCounter>
+    <LocalCounter worker="1">3201931</LocalCounter>
+    <LocalCounter worker="2">6304744</LocalCounter>
+    <LocalCounter worker="3">6305238</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>19198864</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="5">
+    <LocalCounter worker="0">4092852</LocalCounter>
+    <LocalCounter worker="1">3899527</LocalCounter>
+    <LocalCounter worker="2">2520768</LocalCounter>
+    <LocalCounter worker="3">2175848</LocalCounter>
+    <LocalCounter worker="4">5948549</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>18637544</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="6">
+    <LocalCounter worker="0">2597841</LocalCounter>
+    <LocalCounter worker="1">2443137</LocalCounter>
+    <LocalCounter worker="2">3331024</LocalCounter>
+    <LocalCounter worker="3">2708000</LocalCounter>
+    <LocalCounter worker="4">4093981</LocalCounter>
+    <LocalCounter worker="5">3080494</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>18254477</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="7">
+    <LocalCounter worker="0">1216614</LocalCounter>
+    <LocalCounter worker="1">2258952</LocalCounter>
+    <LocalCounter worker="2">1291063</LocalCounter>
+    <LocalCounter worker="3">1114575</LocalCounter>
+    <LocalCounter worker="4">5532606</LocalCounter>
+    <LocalCounter worker="5">5466345</LocalCounter>
+    <LocalCounter worker="6">1405693</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>18285848</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="8">
+    <LocalCounter worker="0">2086492</LocalCounter>
+    <LocalCounter worker="1">2244683</LocalCounter>
+    <LocalCounter worker="2">2112130</LocalCounter>
+    <LocalCounter worker="3">2067114</LocalCounter>
+    <LocalCounter worker="4">2081711</LocalCounter>
+    <LocalCounter worker="5">2090180</LocalCounter>
+    <LocalCounter worker="6">2168032</LocalCounter>
+    <LocalCounter worker="7">2534478</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>17384820</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="9">
+    <LocalCounter worker="0">634132</LocalCounter>
+    <LocalCounter worker="1">601192</LocalCounter>
+    <LocalCounter worker="2">480382</LocalCounter>
+    <LocalCounter worker="3">657643</LocalCounter>
+    <LocalCounter worker="4">592079</LocalCounter>
+    <LocalCounter worker="5">740174</LocalCounter>
+    <LocalCounter worker="6">465043</LocalCounter>
+    <LocalCounter worker="7">642726</LocalCounter>
+    <LocalCounter worker="8">3226</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>4816597</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="10">
+    <LocalCounter worker="0">142972</LocalCounter>
+    <LocalCounter worker="1">387723</LocalCounter>
+    <LocalCounter worker="2">457567</LocalCounter>
+    <LocalCounter worker="3">302196</LocalCounter>
+    <LocalCounter worker="4">314638</LocalCounter>
+    <LocalCounter worker="5">457645</LocalCounter>
+    <LocalCounter worker="6">371900</LocalCounter>
+    <LocalCounter worker="7">428999</LocalCounter>
+    <LocalCounter worker="8">691</LocalCounter>
+    <LocalCounter worker="9">362</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2864693</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="11">
+    <LocalCounter worker="0">355770</LocalCounter>
+    <LocalCounter worker="1">383778</LocalCounter>
+    <LocalCounter worker="2">369646</LocalCounter>
+    <LocalCounter worker="3">256341</LocalCounter>
+    <LocalCounter worker="4">327558</LocalCounter>
+    <LocalCounter worker="5">242178</LocalCounter>
+    <LocalCounter worker="6">398681</LocalCounter>
+    <LocalCounter worker="7">483955</LocalCounter>
+    <LocalCounter worker="8">176</LocalCounter>
+    <LocalCounter worker="9">201</LocalCounter>
+    <LocalCounter worker="10">67</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2818351</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="12">
+    <LocalCounter worker="0">457238</LocalCounter>
+    <LocalCounter worker="1">142885</LocalCounter>
+    <LocalCounter worker="2">416308</LocalCounter>
+    <LocalCounter worker="3">318737</LocalCounter>
+    <LocalCounter worker="4">371610</LocalCounter>
+    <LocalCounter worker="5">228382</LocalCounter>
+    <LocalCounter worker="6">429095</LocalCounter>
+    <LocalCounter worker="7">502040</LocalCounter>
+    <LocalCounter worker="8">160</LocalCounter>
+    <LocalCounter worker="9">115</LocalCounter>
+    <LocalCounter worker="10">191</LocalCounter>
+    <LocalCounter worker="11">108</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2866869</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="13">
+    <LocalCounter worker="0">155562</LocalCounter>
+    <LocalCounter worker="1">155271</LocalCounter>
+    <LocalCounter worker="2">154524</LocalCounter>
+    <LocalCounter worker="3">155620</LocalCounter>
+    <LocalCounter worker="4">155737</LocalCounter>
+    <LocalCounter worker="5">155945</LocalCounter>
+    <LocalCounter worker="6">156319</LocalCounter>
+    <LocalCounter worker="7">155596</LocalCounter>
+    <LocalCounter worker="8">526245</LocalCounter>
+    <LocalCounter worker="9">524881</LocalCounter>
+    <LocalCounter worker="10">495452</LocalCounter>
+    <LocalCounter worker="11">497374</LocalCounter>
+    <LocalCounter worker="12">586585</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>3875111</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="14">
+    <LocalCounter worker="0">862</LocalCounter>
+    <LocalCounter worker="1">739</LocalCounter>
+    <LocalCounter worker="2">902</LocalCounter>
+    <LocalCounter worker="3">876</LocalCounter>
+    <LocalCounter worker="4">922</LocalCounter>
+    <LocalCounter worker="5">881</LocalCounter>
+    <LocalCounter worker="6">877</LocalCounter>
+    <LocalCounter worker="7">945</LocalCounter>
+    <LocalCounter worker="8">798225</LocalCounter>
+    <LocalCounter worker="9">545250</LocalCounter>
+    <LocalCounter worker="10">758729</LocalCounter>
+    <LocalCounter worker="11">466001</LocalCounter>
+    <LocalCounter worker="12">638255</LocalCounter>
+    <LocalCounter worker="13">660193</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>3873657</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="15">
+    <LocalCounter worker="0">198289</LocalCounter>
+    <LocalCounter worker="1">203179</LocalCounter>
+    <LocalCounter worker="2">199945</LocalCounter>
+    <LocalCounter worker="3">199124</LocalCounter>
+    <LocalCounter worker="4">201799</LocalCounter>
+    <LocalCounter worker="5">199812</LocalCounter>
+    <LocalCounter worker="6">199839</LocalCounter>
+    <LocalCounter worker="7">199732</LocalCounter>
+    <LocalCounter worker="8">314842</LocalCounter>
+    <LocalCounter worker="9">291197</LocalCounter>
+    <LocalCounter worker="10">294608</LocalCounter>
+    <LocalCounter worker="11">286440</LocalCounter>
+    <LocalCounter worker="12">375388</LocalCounter>
+    <LocalCounter worker="13">316600</LocalCounter>
+    <LocalCounter worker="14">354856</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>3835650</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="16">
+    <LocalCounter worker="0">104577</LocalCounter>
+    <LocalCounter worker="1">489911</LocalCounter>
+    <LocalCounter worker="2">466186</LocalCounter>
+    <LocalCounter worker="3">366690</LocalCounter>
+    <LocalCounter worker="4">252721</LocalCounter>
+    <LocalCounter worker="5">460887</LocalCounter>
+    <LocalCounter worker="6">253823</LocalCounter>
+    <LocalCounter worker="7">113506</LocalCounter>
+    <LocalCounter worker="8">120249</LocalCounter>
+    <LocalCounter worker="9">46275</LocalCounter>
+    <LocalCounter worker="10">159071</LocalCounter>
+    <LocalCounter worker="11">83449</LocalCounter>
+    <LocalCounter worker="12">177618</LocalCounter>
+    <LocalCounter worker="13">120903</LocalCounter>
+    <LocalCounter worker="14">191314</LocalCounter>
+    <LocalCounter worker="15">263287</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>3670467</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="17">
+    <LocalCounter worker="0">234559</LocalCounter>
+    <LocalCounter worker="1">118245</LocalCounter>
+    <LocalCounter worker="2">219127</LocalCounter>
+    <LocalCounter worker="3">295109</LocalCounter>
+    <LocalCounter worker="4">248960</LocalCounter>
+    <LocalCounter worker="5">181934</LocalCounter>
+    <LocalCounter worker="6">297815</LocalCounter>
+    <LocalCounter worker="7">322059</LocalCounter>
+    <LocalCounter worker="8">163004</LocalCounter>
+    <LocalCounter worker="9">174212</LocalCounter>
+    <LocalCounter worker="10">26569</LocalCounter>
+    <LocalCounter worker="11">77433</LocalCounter>
+    <LocalCounter worker="12">133062</LocalCounter>
+    <LocalCounter worker="13">232843</LocalCounter>
+    <LocalCounter worker="14">33886</LocalCounter>
+    <LocalCounter worker="15">82456</LocalCounter>
+    <LocalCounter worker="16">4914</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2846187</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="18">
+    <LocalCounter worker="0">271262</LocalCounter>
+    <LocalCounter worker="1">355312</LocalCounter>
+    <LocalCounter worker="2">50921</LocalCounter>
+    <LocalCounter worker="3">148825</LocalCounter>
+    <LocalCounter worker="4">245230</LocalCounter>
+    <LocalCounter worker="5">182256</LocalCounter>
+    <LocalCounter worker="6">187273</LocalCounter>
+    <LocalCounter worker="7">255451</LocalCounter>
+    <LocalCounter worker="8">185514</LocalCounter>
+    <LocalCounter worker="9">44729</LocalCounter>
+    <LocalCounter worker="10">112757</LocalCounter>
+    <LocalCounter worker="11">98411</LocalCounter>
+    <LocalCounter worker="12">207969</LocalCounter>
+    <LocalCounter worker="13">185668</LocalCounter>
+    <LocalCounter worker="14">172032</LocalCounter>
+    <LocalCounter worker="15">109135</LocalCounter>
+    <LocalCounter worker="16">2423</LocalCounter>
+    <LocalCounter worker="17">2380</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2817548</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="19">
+    <LocalCounter worker="0">261804</LocalCounter>
+    <LocalCounter worker="1">234937</LocalCounter>
+    <LocalCounter worker="2">211116</LocalCounter>
+    <LocalCounter worker="3">198275</LocalCounter>
+    <LocalCounter worker="4">153636</LocalCounter>
+    <LocalCounter worker="5">353607</LocalCounter>
+    <LocalCounter worker="6">368351</LocalCounter>
+    <LocalCounter worker="7">369817</LocalCounter>
+    <LocalCounter worker="8">117702</LocalCounter>
+    <LocalCounter worker="9">41853</LocalCounter>
+    <LocalCounter worker="10">75374</LocalCounter>
+    <LocalCounter worker="11">125194</LocalCounter>
+    <LocalCounter worker="12">87239</LocalCounter>
+    <LocalCounter worker="13">58610</LocalCounter>
+    <LocalCounter worker="14">63622</LocalCounter>
+    <LocalCounter worker="15">96700</LocalCounter>
+    <LocalCounter worker="16">1021</LocalCounter>
+    <LocalCounter worker="17">966</LocalCounter>
+    <LocalCounter worker="18">985</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2820809</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="20">
+    <LocalCounter worker="0">251976</LocalCounter>
+    <LocalCounter worker="1">118001</LocalCounter>
+    <LocalCounter worker="2">84641</LocalCounter>
+    <LocalCounter worker="3">140476</LocalCounter>
+    <LocalCounter worker="4">77669</LocalCounter>
+    <LocalCounter worker="5">274047</LocalCounter>
+    <LocalCounter worker="6">318570</LocalCounter>
+    <LocalCounter worker="7">170363</LocalCounter>
+    <LocalCounter worker="8">252676</LocalCounter>
+    <LocalCounter worker="9">140874</LocalCounter>
+    <LocalCounter worker="10">189186</LocalCounter>
+    <LocalCounter worker="11">121034</LocalCounter>
+    <LocalCounter worker="12">161358</LocalCounter>
+    <LocalCounter worker="13">165381</LocalCounter>
+    <LocalCounter worker="14">141826</LocalCounter>
+    <LocalCounter worker="15">205937</LocalCounter>
+    <LocalCounter worker="16">118</LocalCounter>
+    <LocalCounter worker="17">77</LocalCounter>
+    <LocalCounter worker="18">70</LocalCounter>
+    <LocalCounter worker="19">94</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2814374</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="21">
+    <LocalCounter worker="0">84213</LocalCounter>
+    <LocalCounter worker="1">196158</LocalCounter>
+    <LocalCounter worker="2">196680</LocalCounter>
+    <LocalCounter worker="3">112159</LocalCounter>
+    <LocalCounter worker="4">224637</LocalCounter>
+    <LocalCounter worker="5">252342</LocalCounter>
+    <LocalCounter worker="6">140314</LocalCounter>
+    <LocalCounter worker="7">84179</LocalCounter>
+    <LocalCounter worker="8">223626</LocalCounter>
+    <LocalCounter worker="9">196078</LocalCounter>
+    <LocalCounter worker="10">111882</LocalCounter>
+    <LocalCounter worker="11">238331</LocalCounter>
+    <LocalCounter worker="12">252259</LocalCounter>
+    <LocalCounter worker="13">195491</LocalCounter>
+    <LocalCounter worker="14">83883</LocalCounter>
+    <LocalCounter worker="15">195126</LocalCounter>
+    <LocalCounter worker="16">52</LocalCounter>
+    <LocalCounter worker="17">26</LocalCounter>
+    <LocalCounter worker="18">35</LocalCounter>
+    <LocalCounter worker="19">44</LocalCounter>
+    <LocalCounter worker="20">41</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2787556</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="22">
+    <LocalCounter worker="0">31503</LocalCounter>
+    <LocalCounter worker="1">252623</LocalCounter>
+    <LocalCounter worker="2">196406</LocalCounter>
+    <LocalCounter worker="3">168591</LocalCounter>
+    <LocalCounter worker="4">140544</LocalCounter>
+    <LocalCounter worker="5">168154</LocalCounter>
+    <LocalCounter worker="6">280249</LocalCounter>
+    <LocalCounter worker="7">168483</LocalCounter>
+    <LocalCounter worker="8">195559</LocalCounter>
+    <LocalCounter worker="9">55718</LocalCounter>
+    <LocalCounter worker="10">139401</LocalCounter>
+    <LocalCounter worker="11">251481</LocalCounter>
+    <LocalCounter worker="12">222605</LocalCounter>
+    <LocalCounter worker="13">111214</LocalCounter>
+    <LocalCounter worker="14">139519</LocalCounter>
+    <LocalCounter worker="15">251258</LocalCounter>
+    <LocalCounter worker="16">46</LocalCounter>
+    <LocalCounter worker="17">26</LocalCounter>
+    <LocalCounter worker="18">31</LocalCounter>
+    <LocalCounter worker="19">39</LocalCounter>
+    <LocalCounter worker="20">39</LocalCounter>
+    <LocalCounter worker="21">41</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2773530</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="23">
+    <LocalCounter worker="0">139311</LocalCounter>
+    <LocalCounter worker="1">167336</LocalCounter>
+    <LocalCounter worker="2">278426</LocalCounter>
+    <LocalCounter worker="3">55951</LocalCounter>
+    <LocalCounter worker="4">139626</LocalCounter>
+    <LocalCounter worker="5">250691</LocalCounter>
+    <LocalCounter worker="6">223121</LocalCounter>
+    <LocalCounter worker="7">83809</LocalCounter>
+    <LocalCounter worker="8">194537</LocalCounter>
+    <LocalCounter worker="9">278533</LocalCounter>
+    <LocalCounter worker="10">139061</LocalCounter>
+    <LocalCounter worker="11">223216</LocalCounter>
+    <LocalCounter worker="12">194994</LocalCounter>
+    <LocalCounter worker="13">111343</LocalCounter>
+    <LocalCounter worker="14">186244</LocalCounter>
+    <LocalCounter worker="15">111364</LocalCounter>
+    <LocalCounter worker="16">142</LocalCounter>
+    <LocalCounter worker="17">126</LocalCounter>
+    <LocalCounter worker="18">121</LocalCounter>
+    <LocalCounter worker="19">122</LocalCounter>
+    <LocalCounter worker="20">124</LocalCounter>
+    <LocalCounter worker="21">125</LocalCounter>
+    <LocalCounter worker="22">124</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2778447</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
+  <GlobalTTASLockWithLocalCounter activeWorker="24">
+    <LocalCounter worker="0">127539</LocalCounter>
+    <LocalCounter worker="1">128004</LocalCounter>
+    <LocalCounter worker="2">127243</LocalCounter>
+    <LocalCounter worker="3">128231</LocalCounter>
+    <LocalCounter worker="4">128122</LocalCounter>
+    <LocalCounter worker="5">127956</LocalCounter>
+    <LocalCounter worker="6">128394</LocalCounter>
+    <LocalCounter worker="7">128093</LocalCounter>
+    <LocalCounter worker="8">121225</LocalCounter>
+    <LocalCounter worker="9">120770</LocalCounter>
+    <LocalCounter worker="10">120549</LocalCounter>
+    <LocalCounter worker="11">120785</LocalCounter>
+    <LocalCounter worker="12">120461</LocalCounter>
+    <LocalCounter worker="13">120591</LocalCounter>
+    <LocalCounter worker="14">121214</LocalCounter>
+    <LocalCounter worker="15">120733</LocalCounter>
+    <LocalCounter worker="16">120387</LocalCounter>
+    <LocalCounter worker="17">121153</LocalCounter>
+    <LocalCounter worker="18">121255</LocalCounter>
+    <LocalCounter worker="19">120737</LocalCounter>
+    <LocalCounter worker="20">120859</LocalCounter>
+    <LocalCounter worker="21">121071</LocalCounter>
+    <LocalCounter worker="22">121031</LocalCounter>
+    <LocalCounter worker="23">121163</LocalCounter>
+    <GlobalCounter>0</GlobalCounter>
+    <SumOfLocalCounter>2957566</SumOfLocalCounter>
+  </GlobalTTASLockWithLocalCounter>
 </SMPLock01>
 *** END OF TEST SMPLOCK 1 ***
diff --git a/testsuites/smptests/smplock01/smplock01fair.py b/testsuites/smptests/smplock01/smplock01fair.py
new file mode 100755
index 0000000000..23f85db23d
--- /dev/null
+++ b/testsuites/smptests/smplock01/smplock01fair.py
@@ -0,0 +1,58 @@
+#!/usr/bin/env python
+
+#
+# Copyright (c) 2016 embedded brains GmbH.  All rights reserved.
+#
+# The license and distribution terms for this file may be
+# found in the file LICENSE in this distribution or at
+# http://www.rtems.org/license/LICENSE.
+#
+
+import re
+import libxml2
+import math
+import statistics
+from libxml2 import xmlNode
+import matplotlib.pyplot as plt
+data = open('smplock01.scn').read()
+data = re.sub(r'\*\*\*.*\*\*\*', '', data)
+doc = libxml2.parseDoc(data)
+ctx = doc.xpathNewContext()
+
+plt.title('SMP Lock Fairness')
+plt.xlabel('Active Workers')
+plt.ylabel('Normed Coefficient of Variation')
+
+i = 1
+ticket = []
+mcs = []
+tas = []
+ttas = []
+
+def m(n):
+	return int(xmlNode.getContent(n))
+
+def normedCoefficientOfVariation(name, i):
+	y = map(m, ctx.xpathEval('/SMPLock01/' + name + '[@activeWorker=' + str(i) + ']/LocalCounter'))
+	if len(y) == 0:
+		raise
+	return (statistics.stdev(y) / statistics.mean(y)) / math.sqrt(len(y) - 1)
+
+try:
+	while True:
+		i = i + 1
+		ticket.append(normedCoefficientOfVariation('GlobalTicketLockWithLocalCounter', i))
+		mcs.append(normedCoefficientOfVariation('GlobalMCSLockWithLocalCounter', i))
+		tas.append(normedCoefficientOfVariation('GlobalTASLockWithLocalCounter', i))
+		ttas.append(normedCoefficientOfVariation('GlobalTTASLockWithLocalCounter', i))
+except:
+	pass
+
+x = range(1, len(ticket) + 1)
+plt.yscale('log')
+plt.plot(x, ticket, label = 'Ticket Lock', marker = 'o')
+plt.plot(x, mcs, label = 'MCS Lock', marker = 'o')
+plt.plot(x, tas, label = 'TAS Lock', marker = 'o')
+plt.plot(x, ttas, label = 'TTAS Lock', marker = 'o')
+plt.legend(loc = 'best')
+plt.show()
diff --git a/testsuites/smptests/smplock01/smplock01perf.py b/testsuites/smptests/smplock01/smplock01perf.py
new file mode 100755
index 0000000000..52db4d3cc1
--- /dev/null
+++ b/testsuites/smptests/smplock01/smplock01perf.py
@@ -0,0 +1,38 @@
+#!/usr/bin/env python
+
+#
+# Copyright (c) 2016 embedded brains GmbH.  All rights reserved.
+#
+# The license and distribution terms for this file may be
+# found in the file LICENSE in this distribution or at
+# http://www.rtems.org/license/LICENSE.
+#
+
+import re
+import libxml2
+from libxml2 import xmlNode
+import matplotlib.pyplot as plt
+data = open('smplock01.scn').read()
+data = re.sub(r'\*\*\*.*\*\*\*', '', data)
+doc = libxml2.parseDoc(data)
+ctx = doc.xpathNewContext()
+
+plt.title('SMP Lock Performance')
+plt.xlabel('Active Workers')
+plt.ylabel('Operation Count')
+
+y = map(xmlNode.getContent, ctx.xpathEval('/SMPLock01/GlobalTicketLockWithLocalCounter/SumOfLocalCounter'))
+x = range(1, len(y) + 1)
+plt.plot(x, y, label = 'Ticket Lock', marker = 'o')
+
+y = map(xmlNode.getContent, ctx.xpathEval('/SMPLock01/GlobalMCSLockWithLocalCounter/SumOfLocalCounter'))
+plt.plot(x, y, label = 'MCS Lock', marker = 'o')
+
+y = map(xmlNode.getContent, ctx.xpathEval('/SMPLock01/GlobalTASLockWithLocalCounter/SumOfLocalCounter'))
+plt.plot(x, y, label = 'TAS Lock', marker = 'o')
+
+y = map(xmlNode.getContent, ctx.xpathEval('/SMPLock01/GlobalTTASLockWithLocalCounter/SumOfLocalCounter'))
+plt.plot(x, y, label = 'TTAS Lock', marker = 'o')
+
+plt.legend(loc = 'best')
+plt.show()
-- 
cgit v1.2.3