From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:36283) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZhHJp-0004Pp-9a for qemu-devel@nongnu.org; Wed, 30 Sep 2015 09:21:14 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1ZhHJj-0007QI-84 for qemu-devel@nongnu.org; Wed, 30 Sep 2015 09:21:13 -0400 Received: from mx1.redhat.com ([209.132.183.28]:49574) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1ZhHJi-0007QA-MB for qemu-devel@nongnu.org; Wed, 30 Sep 2015 09:21:07 -0400 References: <1443083566-10994-1-git-send-email-a.rigo@virtualopensystems.com> <560B68B0.1080702@redhat.com> From: Paolo Bonzini Message-ID: <560BE1BB.9070104@redhat.com> Date: Wed, 30 Sep 2015 15:20:59 +0200 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/mixed; boundary="------------060000030408040607050301" Subject: Re: [Qemu-devel] [RFC v5 0/6] Slow-path for atomic instruction translation List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , To: alvise rigo Cc: mttcg@greensocs.com, Claudio Fontana , QEMU Developers , "Emilio G. Cota" , Jani Kokkonen , VirtualOpenSystems Technical Team , =?UTF-8?Q?Alex_Benn=c3=a9e?= This is a multi-part message in MIME format. --------------060000030408040607050301 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable On 30/09/2015 10:14, alvise rigo wrote: >> From 10000ft, both approaches rely on checking a flag during stores. >> This is split between the TLB and the CPUState for Alvise's patches (i= n >> order to exploit the existing fast-path checks), and entirely in the >> radix tree for Emilio's. However, the idea is the same. >> >> Now, the patch are okay for serial emulation, but I am not sure if it'= s >> possible to do lock-free ll/sc emulation, because there is a race. >=20 > Do you mean to not use any locking mechanism at all at the emulation si= de? Not using it in the fast path of the store, at least. >> >> If we check the flag before the store, the race is as follows: >> >> CPU0 CPU1 >> ------------------------------------------------------- >> check flag >> load locked: >> set flag >> load value (normal load on CPU) >> store >> store conditional (normal store on CPU) >> >> where the sc doesn't fail. For completeness, if we check it afterward= s >=20 > Shouldn't this be prevented by the tcg_excl_access_lock in the > patchseries based on mttcg (branch slowpath-for-atomic-v5-mttcg)? No, the issue happens already in the fast path, i.e. when checking the TL= B. Have you ever heard of consensus numbers? Basically, it's a tool to prove that it is impossible to implement an algorithm X in a wait-free manner. For LL/SC/store, consider a simple case with two CPUs, one executing LL and one executing a store. This does not require any lock on the LL/SC side, because there is only one CPU running that code. It is also okay if it requires a lock to synchronize between LL/store in the slow path. However, we want a wait-free fast path. If we can formalize the fast path as a consensus problem, consensus numbers let us prove whether it can be done or not. In fact, it's easy for the CPUs to use consensus to decide the outcome of a subsequent SC instruction. If the LL comes before the store, the SC fails. If the LL comes after the store, the SC succeeds. Because there's two CPUs, this consensus problem can be solved with any primitive whose consensus number is >=3D 2. Unfortunately atomic registers (i.e. memory cells, like QEMU's TLBs) have consensus number 1. You need test-and-set, compare-and-swap, atomic writes to two memory locations or something like that. All very expensive stuff. I attach a PDF with some pseudocode examples, and a Promela model of the same. (Yes, I was nerd-sniped). >> If I'm right, we can still keep the opcodes and implement them with a >> simple cmpxchg. It would provide a nice generic tool to implement >> atomic operations, and it will work correctly if the target has ll/sc. >> However, ll/sc-on-cmpxchg (e.g., ARM-on-x86) would be susceptible to t= he >> ABA problem. >=20 > This was one of my fears that led me to the ll/sc approach. I think it > could be even more probable in emulation since we can't assume the > distance in time between LLs and SCs to be small to avoid "aba" > accesses. In practice cmpxchg works because most primitives and lock-free data structures are written against cmpxchg, not LL/SC. ABA is avoided through garbage collection, RCU or hazard pointers, without relying on LL/SC semantics. Again, your patches are still very useful to provide the abstraction. Paolo --------------060000030408040607050301 Content-Type: application/pdf; name="llsc.pdf" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="llsc.pdf" JVBERi0xLjUKJbXtrvsKMyAwIG9iago8PCAvTGVuZ3RoIDQgMCBSCiAgIC9GaWx0ZXIgL0Zs YXRlRGVjb2RlCj4+CnN0cmVhbQp4nO1bW3PbNhZ+16/gI9WJYNwvM53OpG12t90knabehx0n D4xM2Wp0SSS53v77PQBICryKpBVvvM14opAgeQCec/B9B/ikTxMc2b83f48uEhzd7CcYMa0I 5dE9XPoZ/v0+uXoXYYSj6wnB0avoU0TcI/ZTc4K0NkryaL6eCI0Yj2aEGsSwiNYRxQpRqo5N q+i36Nesy91N9P3lxCBpMOPKNRUnYEloQriJFKZICyI5jy7Xk4vFDM9s15eLSfxyevn7RCEl KDX++eJEcmS0JHBUfv4q/mU6ozp+Pp1JGv84fXf5c8sINEVGEC6qI7iKZ9OZwNC5fba5d8MQ lppS2dQ79PuD+/wnfJL4xcmREEoREdqQqrn4bWw9AD4huU+uYng9ESfX1ztnMfSXvcZ1/Hbq rry4PEb+dEQ5g35NKaJZ0/CISi0RxZpyMS6i5edDnxLwaWdEBeda04oFcCP4BDqeUcSNMpzC 2yFijNE6uryeWG82+xm3O5oqFh+2/qa3lLLVdv5hSnCcXvu21XJ/gHbuHsblDq/i1TbJ7lvs tuu8g369w0yl3BgmKm/xqsO3CkllBNWRFAQxylierz47X7lP7+c3Ux7/u8PLRiKJhWayZsvP m+875g3BEhnJlTG1h59nndsgv3HHP7nPF1l7x/RhGjxCaHVAEPZk/uluuUuz6GtIbKoFq/ht new+jAr/ctMe/vfLwzr5eEyAlpj9qyNmEjAGpgOLJIUXlFLlrnrtXPLSuaqMNx1Rg9mFDTei Yq2YG/3gghINoCBCCmAKIzGcACgxCEMuAPp0MMBv7f4B10IuGc5qGHwJMMiLbPYY3O4ZyiEn tdCqbsgn9A8dCU0FzCzOOamziO//dYb+dhQ+oS+D5P7Ftb8OGOtlx0gZsdStxRloAq49a0Yd JeI/ktVd2vbYIHY5pkvBL3m6DGSXIF3G0QulAgmYhDCasfxCuaV9QliV4opJBIOh+WAc2WjM q3CzXPQBGzYj2cVvv7Ng8y0m3zVHhJymHwLoAyOpgs/d5jNAH6lBX5X7dul6OyWQZvYjHcZ9 ef+ONcsjML2oN94ftru07Z27Mh/DSwPhn4WqO2CfMokEM0ydBfapFAAZUhvahvullGVIKWaI LQghvTEuQjYlOk4Pdzsbsk2rg/Z383m63+fXj3ZbEjBd7fNQFLbgVsEw02M8JqAuJxrD6uYs HiubO+2xUpL389jCTpxkubrbpQNglUGlC3wbsrBwTiDDedjaAkwGpB7Jw8BIiHKYbvQkEdNO IuZAb1SA68WT4bdjIAp+OwZiIMN5WxrT6vIlzLcje9RSyWL5Ve2dvYuaHmHxuw5yuIovvskm 9Wo7Bb/c+7OPyeHWH31z0VnZdlAxMxopBn+wHJFuFd6wfO6mYk7AQ0ZiySomTq71/hqkN5x3 mDFIE0YEPwvxcLAhIT5KthHPjAN0SiNlmWy6lrEAtIhLIyQUYJAAnCmeQ/0LNzq7jmVZVf1m yjrXsZxCNQ0rIsDKqrHTC1nOMBxanqg9/DyAuzdB3X96IcslYAuUl5hWjDavZI3gj13bhKgI 3rNRM9H9pGN7iSJBoQKmkkP1rS0+cowMkE3R1Ht/yZrijMARLI0hnxRM/go8XsV/W97cee61 iyoWE9T4ygJjCFRxJay1dUutndiZe++mm6bxcv1xla7TzSE5LLcWFzSPt4tmD8Ltdr9nBjN2 Skyc4caFjdaUqTidzbeb66W1k6waRvvMW08Oh3T98bDc3HiTbvMJ3nCdeIP+7HALBwxrYOyO 7IW1kKKSQGTKvhxM2QIoGyYRkTVDvrLZH/ywMtqAYd/7iidrX+zSFPnDy1ufnTNIIMzBqqlv mgWYC/Nqnsxv09Vyk+7tOVjdWSfAkN08yG5yoG0v+tMCOSeBoQI7/Z2brDlZ7bf+yFFG8MDb OEU3qOhg4m/35xkTTL2xBcTYNd/t0+z6n/Z9RXeAiEAcAEpAsguBMLi4LUDdmxuAIYgSyTCv GcqG/w/P7qn99OS0m3Lskg6GD+UGDFZ2D9ZIRBQ1DX0MG6wAROaKEU0rhoA9k+u9Jw2APoPB M9XkcImf10HZHly62LqUgJqvazff7r8bDmAO0wGKNk4IyV+gr5hALKphQ6iomTitJhBhazDh lhz1/ofLCVBIQm3EOKmZu032WVGXHjLcPzzzDuqKMKXKRlgwXrM4dK/NwIpKY1w31GevDSoU bk9a3PTa9f9jsL/2kL02W54Q3tDZ/XK18s7bbA/FwXKe5V+RiIDqNYax1FIpxuPl/ICqO7CB RndSu2HcIm8o3WQtw5UbrgF3jGDw1qOUm/LzY7S4qoUhWlxD7w/R4srmHk+LY1AGUlJSV/Om ERGVdgeWmNERLT0/RosrW/hCtLhgvfG/lH96SXacMQTLJAzRfLBkV7U1SLKrPnwOya5sE7Jj cbdadep1n0c87SXE2R0qhQ3PHfAwIa5sbawQV6B/JqwMxP5AV+kA/14yXBV+R8twzRzQU4Zr JoHPI8M9mCEeW4Y7UkueLQOJJUyXUcwSyHBjqSWQ4Vq45QnIcAEB/TV2JJ+sDHcO0A9EpRbU P6eodG4ZLsjVXh5jSiBNmVDyLB4rm/sSZbiCgwvxZyALByLcOBYORLhTNNxbhHsq7HYMQ8Fu xzgM5LdAhKvx21MR4YLp2k+E4xw4GSq4HOFGiHBlE19FuIeLcOegnUCEa6GdkgjXb2EaiHB2 uNjvMzxchKsaGyTCVR8+iwhXNvr0RTiuoVWqUITLm4aLcDDVEQPf8Co6ljU4RlhMOzS4zfZw mwazLSi3GeGnlDhrvarE2bYWJc5eKpQ4iitKnDypxCFrgsfPb6bAehaIGOsW2pj9Igd4i+qy vwbLOAQIgmkla3bmSfbKViLxR14CJCxTQuxRroQwZjr3UoHuENfccFXtp+9OrmAKcVjg4cpI YTrbOSMAFIkisjppOohKGARPCEkiBralhgiM3941OJ/RFWNeGQFXeWXE5tXBKmSExj8t8obs DjvBs7v9Zj/ctEmnlE8cQUPzH5as3VR3p8nikFoZELKly/tWHRH2++sNb9rL+VQqy7fC1Hx1 ehudKniAcCZ0u5+J8zPt4WeGtcUcw2Wro33Clpy4Bn7e/TmV3MmPp+YWFDCcADLWuhg4t6zq SBWAZbPTuvadAAkhnxRMmGannVORsuW4FLAqq6VHJkiBJ70g5Q+sIOX1dI4sw1e/aHP1+EqV kBQpSUNlI28armxQCfBiIG1H/m6s/PwYrapqYYhW1dD7Q7SqsrnH06oEoAYjJfExbxoRUagu YC7Ben9kREvPj9Gqyha+EK3qsX+q9MXILRTb6kkS9YDvIR7llrK1sXLLEcKyHfShABbsoHcg WC/BpYohowWXZiDrKbg0I9nnEVweDHOPLbgc8TFPl4HoGKbLKHgMBJex+BgILi0A+QQEl6/S x3Dp4xwAHGzktyDw/9MvkGClipjADJ/nF0hlc1+i9HHkw2LPfSgjBuLHOEYMxI9TlNhb/Hgq THMMRME0x0AM5JpA/KhxzVH8OOySzT6Zu8028EnLxDq/RBIOwnYK9Xi10+T9dneoGpm13PwY MHwKf67ibVaY+6G7w+ttreMWNbafvEOgBpYYYkxGyztlE1/lnadI64G2RLiGohIw9wEsFWhL ZXONK6tBOoWEkQpBQp0ibxquU8AbI0k5x6ZbqIAKO2ZdQoW/JbW59Z/Eag62wUkN7kLi/3M/ b9nuPrif6diGijwxcY0t+oS91K5P9PqlEGcyvr9dzm/96G4bft3hutmlTsra+7PbZHftf5gD KTxpnFwB7CfZ19+z7Vo3N+fJx+T9cgVjS/feixIpzWCyuMAUJ9QISF2oASPFEJUAHtolDavO HAZcBMhCGDxtM5tiIi7MBcNZav06+S8admEfCmVuZHN0cmVhbQplbmRvYmoKNCAwIG9iagog ICAyOTIzCmVuZG9iagoyIDAgb2JqCjw8CiAgIC9FeHRHU3RhdGUgPDwKICAgICAgL2EwIDw8 IC9DQSAxIC9jYSAxID4+CiAgID4+CiAgIC9Gb250IDw8CiAgICAgIC9mLTAtMCA1IDAgUgog ICAgICAvZi0xLTAgNiAwIFIKICAgICAgL2YtMi0wIDcgMCBSCiAgICAgIC9mLTMtMSA4IDAg UgogICAgICAvZi0wLTEgOSAwIFIKICAgPj4KPj4KZW5kb2JqCjEwIDAgb2JqCjw8IC9UeXBl IC9QYWdlCiAgIC9QYXJlbnQgMSAwIFIKICAgL01lZGlhQm94IFsgMCAwIDU5NS4yNzU1OTEg ODQxLjg4OTc2NCBdCiAgIC9Db250ZW50cyAzIDAgUgogICAvR3JvdXAgPDwKICAgICAgL1R5 cGUgL0dyb3VwCiAgICAgIC9TIC9UcmFuc3BhcmVuY3kKICAgICAgL0kgdHJ1ZQogICAgICAv Q1MgL0RldmljZVJHQgogICA+PgogICAvUmVzb3VyY2VzIDIgMCBSCj4+CmVuZG9iagoxMSAw IG9iago8PCAvTGVuZ3RoIDEyIDAgUgogICAvRmlsdGVyIC9GbGF0ZURlY29kZQogICAvTGVu Z3RoMSAyNTE1CiAgIC9MZW5ndGgyIDExNjE2CiAgIC9MZW5ndGgzIDUzMwo+PgpzdHJlYW0K eJztl2VUnEuz73GH4C4TCO4aLAR3d4eBGWBwGNwhwd3dExwCBPfggaAJBEKw4O4Q/E72fs9O znvv+XLP+XTXnbVmredX1V31r67ufmbon6prsUuAnCzAsk6ObuzcHFzCAFWIg4U7VNPJQdVJ SJldE2ztDoDZ+THo6aVcwUA3iJOjNNANLAzQA4MA0mBLAA8PgFtISAiDHiDl5OztCrG2cQMw 6WjqMbOysv22/BoCsPD+Dw9sJhRi7QhggD14gO2dnB3Ajm6wEP/XE7XAYICbDRhgBbEHA6TU 1A0UVOUATHKqOgA5sCPYFWgPUHe3sIdYApQhlmBHKJgZYOXkCrD/GwCWTo4gyK/SoBywWBJQ ABAAdQZbQmDTwF6WYOdfLjaAM9jVAQKFwp4BECjA2hXo6AZbAzcnAMTR0t4d9EsAzG7l9Jcg Z1cn2AgHmA8WTN0J6ga1dIU4uwFgWdWlZf/W6WYDdPuVGwqBuQFOVrCRICdL918l/eWDhYF5 3YAQRyjADezl9iuXBRgAgkCd7YHesNywYM6ukL9kuEMhjta/FbABXMHWQFeQPRgKhYWBxf61 Or/rBPxRPdDZ2d77r9lOf436RwPEDQq2t+LA4OaB5bR0g+W2hjhicP7aKwqOVk4Abq6/7SB3 5//weYBd/1ogpl97hhkmAghycrT3BoDAVhicqk5usJQApv+7LnP8zzX5f6DF/yMN/h9p73+v uf/eoz8O8X/3PP97aFl3e3tVoANsA/x9xwBglwzQEQC7ZwDKgF8XjT3Q9X+bA3SA2Hv/V7P+ fbQe+G+5/0UwBTcgbFkkHK1hreHi4PrbCIHKQrzAIHWIm6UNwApoD1uzv+w6jiCwqz3EEQzr 7V/LCmDn5uL6N5+2DcTSzvFXE/j/doEdQf9eAaxdf+nnlAJCXJ3+umi52P8VSB3WfDdtb2eY nn9VoOIE+gd+jZWUdPIC+LJzCwgC2HkEuWFnDiZCiIfP//+Q5q9A3L9ZBejmCvECGMFq5eL+ q+J/fX+Tyb+FkXG0dAL92i48/AIAoKsr0BuDCxaSh58f4MsN2+sgsNev82ID4ORwdHKDTQE4 u7v5/zpnGL9uAT4uAKcz0BXsaA+2cvvl+tvK/S/r33vnHzMPgBMIdQO7QqB2v418AE5LJwcH 4G8LP4DTxtvZBuz42yQACwib5wT6bXoO4ITaA6E2/1j4YVndbFxhd8Z/WARgkSR+EyyI5G+C zZf6TYIATunfJATglPmHnsNky/8mXgCnwm+CZVD6TbAMyr8JlkHlN8EyqP4mWAa1f0gQlkHz N8EyaP0m2Ppo/yZYPp3fBIti8A8Jweq3cAVa2oHd/lM3hHj/sf/nfgjBBP5ediGYQIvfBAtt +Q/9OgicoD8Qlgr8B8L0W/2BsITWfyCsAps/EFYC5A+EibD7A2Eq7P9AmAyH3wh7AXE6/oEw GU5/IEyG8x8Ik+HyB8JkuP6BMBnQPxDWOrc/EKbK/Q+EqfL4A2GqPH8jD0yV1x8IU+X9G39t VBd3J9ilbmH/n/rCzSf42/O7M//pfFq6u8KOkdtfb13YVfMf/NfLBgz2AltiXL86gkvf3xS4 VUwbUmGofE2qd9T11DsFoOluNx6GoSaOTBCzT89QS9ax2iEmnxpt0fYGUb0ReFMwLvCiILiu hFlgXZFkkJ2umF1d6sJDyG5LfNj9KJmD4tURS56if8hbLf/15WHa/cyD/Xaqra029DLTOmU2 MgTLJICrF541ReOaYfgnf8E2UJYvu6XXyOkI2iVk9ZChCpCAWf2TLuFMLcIOyb88yd7FCZdo KDJaktGgA3cC+5VI1NJ9eiogjOKcpOIjetw1gVLqXiXrbApZ0C49tirVxOXExzdvSO55LuHh m8/3CNeD86GLIT+sPbzEr00JRdpAvV0CeIolLn3GZFRxFs+r4h7rEfbRHC6sir6YanxHjfLR ++RDvDZsUsd2M+eC0v/DJrGQz8+2JZu5AfnNlZyjK2fEOS9y8tN5h+3NFgp4plSWnXWdpolP bbaaqNMbUBwmEln5/gdMlpYAicRs0etor9j15Bj91ihpsnvgrKataqA5u+uBQH90VN3wJ8Zv Ndj6WTF7gaFYhDSjbgzQ+AKX8ra60bHM6XqG6MWt46ZbL5FVhOHdzCSX4+xWs3tMV2Y/IEPO Zoy1qUemsUza9ycKZ+lqfBOHYhFxmF+SIrmeto22roPl6+Y4Rs+yVnQKZS9DdWqVdbXf7YYE URyN9MQ2Tegul3zFk+eifbfHKGXWzfRjSdzSu2rAUKuyYuD48kgwo4aYEMUFuZOnDZmD7i0y yxRpEkYvomIV1agaA9dbdbkTpFYRqclc3H6SdxFjkhbn+JsNChz56gIrlBw/GYfjrOoe5/sj I/h4rcf8rMjp0zxbjMmpd+iScwTZlVGClNQmJvAUU3juPkyXUN383NHENhKWrHVcE+V+ts5c tTq0b1NMIb9wXbmW8uGzyavIkvvqej8EBJNb4w7Xn+0Xa+kXRH3v0ZvlRGJVkeYYk0JR8nGd 7wVyN43yPuHxC7QZsKLQuqdGRu5/TnstMYgB1otarH5BICLN4dHtxz8sFIAFdxY28pE0IE+P N9JfuIszDGFz7HVVgjedMfSmNKeau/kGeXmMvuYU4MoXNPXsybMqyq10HBWvTk1+w7RDs3dL opRO3uIjc7ykmNKBIoiit1yoUPm1b3kDNFNbNgUjX7bPrVhy1QWxOn4MBalcuO/wI2pYqtd6 1WKkbEwl59GFfbT1VPhQb8In12JbU2kdhNoH5XYNBr5g3CnAO6KxfvltC6TvD0+FbFkMjkiG v17aYDu8znIDrcUZEXYObuRhTITZRYYL5saE9IMK6bPGCpCopJj0tkiiI5xJRq9aew2uQwvt yqMXy2jv+MIi03UVkbDXXlA+hNYKLi+/srAgC3QnYF2KRMbKC+BEgZNGSKLLaCHtE+SqGGtk jRLRUOrD6uB89pWXphEM+DD1aNG8b26B9wbXtDRMsv8tUBVFSHgmlRBv8Nz+LH+TRcdh3gya R4M+M5iOMZJcpm1tXyNiyLpumplgNK1AP6wnQg9tT5ICRVH80M3JeNvu/ePFN1MwUelyBZE/ PWQikaCLZ7jUPysKzV3/57Uzr16V0oo8Y+CY+WfRY0EnW83c1wqMABkoSOxDJ99hx9Txa3KJ gCSX8k/b5p3kbv0hWBDd5OYMHgBcBpnWXnkcxpOZtbV1bXkxI7wClHY3tSFkRZ8gVBcbr5cf CZeOt92AD49ryopVn5FYDvxxLvjtv1Ju7EOuvc6NTLGnGzT4rBc58vWKnVvRaElJ5fo9THeM hU7uC0WbSnK5Ni1XuxcP5R2/FSPR8WlMvEiarthqLT048bhh3V6UKThWrzaXRk/PhENC1ogX xphyTMxTVLbcicAZC65OQUuA4+rVjT4QdoZYYbYzrGiqiXAxoKkhOdy3sizslKUo8E4Nmn++ g16ZWCXH1RZMYOpbX4Q9/15dOCg9kyWutKHCOv1TTOE+r3R2uOmzV8+7sKA5nPccWKHnmp4O wgS5R5blrywIhO/UVPlnfypLHyg/bkcy1zJYoZPiIC24pY/f8tIPgc/2pciyB+eFRYjInjrp bSoEEeIpoZfuqeKUMF997U4rvXjW0iV3Yo9uPURi9RA/BcJiMCc5SHxEFCFUJHxy9szAzX89 6yrlSxmV2T1taBtJ99FBBbKqAXGDzejIytPLwnfS5mPu6u85q0k4dNaLy616qh2nA58rOoMZ 2pe53Xxw0FDs4ro993y05I7mCAfMGjofdc3ckp4fCE6us9OH7Z6nKqxiafP2+22c6bzRMzoT d+ReDeUdMUVhfM7n0fOE22itYHipcE+oi2MnSD0K9EnrMi8+80ZJ6TL1uP+TRcFID28SsIVp PW4kgbSuRvyD4VpFJQMELRrn42Ej9mybptzXIs2ru5VsuW2XWtOob6/G6V5QxXTDMUeyKsT2 aYqvYXMPdbC/7Z5055jeJhvQiP9GgHGEcCVm/1nM1ZeZ9+THZkXOz1X80Jdu/e5PURgHCMOM QVQMbXTXSCQbpk1sIvlNyKurRZ3M7JeL2bxFCmHkSSyHHEJk/HFycIcCjBQSFB68AzGLA+Gz FD9bHEwKXrvXwh+QsYRzm4LtvkrPZg2T8mMp/FQncRdI5qblYblo7+pPJD0nk2nBFWcGafK8 fHXrqPE+2VHOGhstJsxOIbXhfUJ17GOao+pegYK/B12m66czHlDEIi8eAUmVRauOewoRelFo XCl+Y4NjROPNTo+MzD5wNfEpBU+aDhjTPnDEWcK1fTCAEQ3PyU0+MfjJD3oVUZ2wGiVaoxDa uNntOZS7LNKK/itDREGzZXsfp/PdrPp3NMxzEuHfFbS1P7yfVEJ+dDyiyNwxARjOfxYLvTyh K0FAaEBhNcZIfxSnCiMSb17q2W6RuFXvzRTSt0v1rkXQjugxiByKvdriR9nsYZ9XOpUX+Zg2 g+FHlLnJrtZuCPA5BMwZbpirEVw72ogTfBkARR0EcAsXv/ekJGClIh/fq2yQjeETKmp/XdOq lqiUqCeEO4/ISgmF0FPD7em8mM7JCpE8ZmXUXD1pZSTtcm8ElBsisFEVpZNzZhRlvnHa2MFr FEofLmmS7sv5eFdOUqJy6bz1eC3zMuORdFZt4Kma7jInOLEtMf30nWf5V+IDQLQ1yHDpRXZg Dr3QI3KJtnoutyenDc4nIbMTkU2d16a1P2hlBJRHiEEvOaMqHTlR7vvrkibAXEqXcHeN31nQ msR805eEFA7n3icOHMGdpoICImMlSAlIilQH6fjmml5Rnd9n1RQ1rm/7U5tImVH5OjbvUunF wlE0bc9B63NG8qWyk3qPEj8ox/+kk12O1hRe2AddGiy+xMBhkpRlVtL3SsJ48tqRI8pB+NVV hsNq4BuDqDITcvFlrWPvzrTbVw0HSPHPWM0xhyVDHfPHPAmO2q6rW1/9qAz8+o6TPeLg+hI8 7a5gTIT9TO0HraWG6hAq2himGToe+mXE0rj0SKCWhLBK3dzkUs3mhBiN6GOXtN3divyCaPBz jq6jidgabhUnP5bBopr31HYRNPJhrO44uTPLH9fWxG3ZDIfuEZ7UtMjj+rJtFn1zQmyijOrV DtS125EBGlfaYfJ2W6sFPlbi7t8SNcAlfcc+ATIdxNKpKGhxnVinbhZHziUjtQfy9Qm9ElXl q54oHTNqwU2Laxx5x0jrUVrG/NVjxmKKTg8oQbOiFLIi5zko5J+hJEy66Q6uZh41xXWrP5Il KnF3RP0UsNP9I4P0DhqUPfY4RSLMz8Q9++Gn1dgAvz/4FKzf7XvQhn2SIDxtM2nga0YFdmk0 wQXHokwk6sl28BqbN8eUwgOf6DVlykxQeC8+/+j8ZG5HQ0kraWnIcSzAjaoQy857RtK7X7lR HDRpP7F9/XVfdyYeQ1KAEfYjNRTY5FCT9sKHgocE2WCmOiQyY3o0c4zAf2QH5aCKNMt5t7En 1Ykf7oyxEafWRDhypXw2QbQCUtn54/JqqPrpnZ/qTvd1erGruw3aeXoQJI62q340GeKsvG3G RO9nxdu9AUReK5RK2i3LuusmtjONYLUlcs3vqCnDjWJQmO5uWO/QyC04iua7wbV+REgcb//m lERReojqUVce3zspkCzsQJBjOxcSKio2/AJl+n0ibo3RCH1eVUwa3PH+a83xhO0cpfN3ajX4 347vt9nUd2MiGIH1qH6CGgbR1O1r9v2vRWtl8Q8OvyU/9xh9ztOrm+Nw9iByxTyUMuFCh01L skX72XCbcOhqXfHkB9o75/ce16miHPh6xi48qRxVjGr5t7iE8fmvuja3ayXDLfvQbWOLXrQ9 E8nOsU4pu6V9EOqeSp50s+D3d2qGt7gfFyYK/dmPU+/Y0vDyOTkyVBeXX4Jlzwl3sRTjiF0k bU03Pb/kI4awq8EN9cTHbBohzSn42fGVyLeMxBrSJEg1CFjalD/2U+YuybdE68EjLu1Ikzx8 MgDzGzcll9mumvJMIeALPPOJyolijQR9zTaugANHzx2QqYRK3JNKckuX5EAL1/NLxlnD0NLj UyqDCgrSqEP1quzaF1NTALoUntGXzf1jcGR1mD/hkCZZ+3PHGDc9hlAru9NCH+9aPDQAJvan G4PdYfTQvITMN43RjV1xlk1mUsZ51mX8NbyKwEK3/mqXg1P/mV5ig298BqWPZrKPXOmYrORi 8oBQPHuaOknKOnVmuZaRxEjyxcAC7MSmvGDSgjJ/YOdgSVQZ2T7FC1+WLWpXV83ueXH35x3E Hk4BwrW5N7ozYIZo83JBqfA7uS7AUNXzkvn1/MG4cn5WMSp8CRpjCd3mqI48p564OlLXNFnd VzNdIkvYyXp5qEcgpHpe8o2+Shob+1v2j2V8ifBCY+ISVbx7ZhQibaE1yRlv5+F8PgWCZvp3 gywgo/KBbxiI5Frk6aLKr1/hDI42WvJ1NeiIXH84QJKutNO1TrYf2csqebkgyvDaKVRJ18BO rVOsjlOIGFksnN4yaCT19W4DdfyhfZL5dopUcQq1G+NJPbla/4xX/AGtEaooaIqYmrSrpdPE LusyPTYpDXevlFB9fsEXMZpxCWtNqsu2AaiuHfRJE6oEUb9eRrAomqtQzCR7ShacAiqlpW0v Rhoy+eohlB5rnZy3gnMpdXeSFOJzYEghWF83guDNTbqyvGO3Ln/jMy6jb6B46XREgpbqYl5f +PYpMqr94tOfo4wlm5w7WzhEkrN61VnSuBrx1P1oizreepEzfbdHixNrfhhOTif72og8M8rv UmRmhR2nRwUz4ItG0rGwLPTHh3vknZGQPdKeKyrKV5W946WRL309Pt2189zkaii8pP6Nyvci DlbmFqemKbod0yCPkceFRyOXVSRqBbERp34JYfeD6NucZodeVm2tmtCPBclJ/tcpjBQ0Qu3F Su5s3vBIcnoukmeZrUtZPXe0IIPYx2QL/FOeJe1Lg2mC+v4YftdS78fVJUxvq7Vs8zpnOvQn 3ntvIwZt8yYAzVu92qxszqhVrtnnZIeGkCYe+kt8augWzkzmLJlfhO0iPVKXx9VFgVR/diva ysPd6GNUO6+FjZZiCs2Ct+K1rdY3o3ia6fEvAa9sSIYuXDYk6tpZnR8E1yLWisu0cLyXH+nB x12kDNdD5cNZki34xSPbdaL23S31q/gtGXHI+tVep2r5Jfe3tUuBBxJ0uq07Xm0Lnkx1mowY ZkHFSd4DN3ot75G70VDMchYU2A0zT2KesjTG2JuBF9g1rL++GepXY5IUYqHkfC7C4ZKmtNfQ MNoYsG58hrNnpvmARj/PdtFwN2lmjyHBvLhfDMGc+nxbiA9siN7SJuPaNxsiUdIqAbQYBw8J ONEMRiRrUlEDnm6DpJvUe69eGahsEhw0MRNJ0fsitIw8ssjn7jssWWX5tI/aoV8xK2vMeN7U EQ3cLZJaC1h/u6jVesN8ofScGaEueNN00ma96rIxcbduUu+UNKyZTWQ3w6/Da10PPn77mahU 50iKCPgjLvMFstfFrIKWxFvlDqy582A3YVfplfl7Wil8n67bLnPkOdOMEMJY/6SIdK5Zx7Ha wor6adyF2eUelyyShoqvTR9pHMbe20dYFKV+obpBH0rJjFSgCtmHC1WJNZjL7DGVFEUjRLq1 J3mtNXm3xqElTskX3Mi8tjFtJ8lAyZILasSUj5TpcmVuWQiade7IG4wSk3tNa4/HXjXjmDec bW0wpcjLHLyji3EQRUG/bDLgH/reEplgUJEcieWN8th0LNWUrRAI9/zVJpJ/6bpZJ5a8vwqU NJZdQUC2aF7mDdzuaqn7u9u3o/YvhmKRfcld+F5U9VMq0zI6u1ZfNeVGPbidkxShJ+A7RTSF eKQsKqBKfTqtrYmqqSJRJeDie32GuXtNVTfS/ASHy2Ros6jXd5rwNqY3jNS0CaHagVpGTosa 6bBVoFIx5dMCrruUrLKo3fe81xhLW8mpWWFbJUGKzOiayNaGNMU5IxBXPmQePtTFTS4xW+ey QEj5cGz8cZg3Inrly2EPjtgCVIw+x7WulB+WGWsoNgG9fmcJczVJZOY4AVS2KWjPfkjuUINw zFr9gKyu5GdWFzNJqjI8/ZwHQFt61iKJq7fZ3RV6NAauFAvVZBEQvz3ickHXxmdl90KIxKun iB9OmWNrkb9/3xD8/jYkm/8qviDenaVcbfHuA5LX8S21882+go6ADyk+nBCfU6JuiPUkYSrm 9wGCbOnbpMHNF9RZifDZirY6GGGxWCQblLWr20/BEHjhla9i/qw19sLVrQMZr7UV6nAhMZ5g lXghV3GBuFl5tTfPgvgcMdTAFWqp2aufmN7yvZrg1kBN8pWLZE1D2V5xa3KrGBihYqCZNMe2 01dP0Y+v/h4FL7J3ESIkdIjv6ITZN/rJl3EeSCiUQYq4W06VLXxKd2aZFjrOtaK1iLo5LO6S bDW1xP0JhR9N2Xdt192Rz5/RWPpFlxko/dyE/9uuk5D6dKlQX0U2FeYxgJB6bFpKEYepX6hY 0OI7nim1X/vVF9Fo1KGwd7rJvMEKb8dMwV0/oBb1rdou6MwaXZHltRGdeX1N0y7pRoUu7xmG gVhqiAykagcGdh9Zv5d/n7ZJ08wPvZwPYA48wTKfTWd++84CekfTiHfwKiy+GqXrSj/jqqek v2WZM+ips8UDTUbw/oenbaTa9JlGxsEg0ftzSGf4bgHyWSKVGJx49DNtqWRFJ5n68l7ml6na 0utzZsJK5WFqtK+dj9oeehGH90eCD6gmrKvFyLBvWyo8yQvvmCJeo5V1wQGHOjZsA6UYIuQN W9WKfIOmmWp4EH0Jtpzafeajtp0CbSM1toq+WNQ5KCEIH+eGoTzgSy9aallfnYifCN7vHw0S fxLSn17UR1zhYnqfzTOKBGJCeGdE3qUBRHl4S/kZqgth8OQ9XDX+ZuLhysu1u2BwLMygFPmD PPcbxpd5gJH3NjDgcYK0xo5FXou2T9xzboCAF7r0ik1HmGBEKX6B3xrbISDtVNyEGVCLMCbx 0mxiyozv427tsKjgxOYRjfCIHtoUp66SfVc0kFa1+9mj/6lK/t6gbWp6d9tGE4qVomhftndK BZLoEe3yGjtLytvPxdyEJpue8BTnqDVyZaWfhdfHBK9n49ZPBIO0Ay3sSA5vvb4mGCDc+5nh Xb9sAEMhnEt9j1RpH6b1wMPe5aU9Y5KhVGdSlhr58O/ImGXwrnM80nEwU8gfejFw2ZChlf4e PQrVHK7FhBx1n6a19gOR7j4UnDh+c8QC/iQyEMchCuRNUMzZ0Tlryi42oXN469G8P2b+MdpQ HoiB6jmYipRmnfzSC7um/hNBCr5UwYtrdjXDFdaWkySstPflKbJrlFneRYFCSakZ3UxBXMyV bDcja2j5dMRtyekiWi4xGTMx2ZFzCsiUfKQ+eUYf8FJIz03mfz4f9M4PH4C+60BsjaGhp2zI qykOXDFgzxgM/YJIiaY+0sgcHlZTSXHGmbqiZRkv5GPtz7N0kP1BqIWq6qVn/emBc0uyWzmh THC8OtGCRIBeSyi6/vvKZQxxptDuLV2mvocjRI7gUW8wSaxl1snCXosxiyeRWGjcIVGdaFhb p0PllBvvpSrRR3SZcjL22YEaeQN7pmZ/cpph4k/C9TbAdStTjnAUHD+UTaecDq+i8+B0a2l9 SvezAePrMY9l8mCx7Xy3FwB94A42FN8878WA9gRaOwtRJqpGfGUg/uhkyS4BShvxSwWFiHhU G8kmR6iejh9dJ4jwzXF3fgVGD7+oi7S+hu+uQgexls9+3Tge/BlhdKDyXp0H09S8xo1zpB1e YsdHm+8Cz4rlICf7eA/CAIk6deuWEyJy7RU2p1A6l24WvR1Z3/JZ2/ORKBELuK4P9EwXHumb pJ22Pk/bx4wmh7xx6XuaMEuYbzfdX9QPbnLyaYSoETFvbcJ7Yp3OJ1gfE6wIGkdk+Cfw0o0a KDimW/OY05TUJlD3oR50n7PZvPIsKfSjNSKfN+jV5bIVYzWzdfzMv7pwOcj+ijAbsZF3IiXH kEQzxQD/55oQ/Du9oYXkjQz+M5Bzgz/8+Fsc7CMTKYgk111wXIwrxy7hXbrURcaqasXTqKK6 eZk0MIpQMXpr1c8U+u7XaOFPfpKx+6TcK528kVX5kFB2xseJKNeyH6HUl8VupEc5YJrijtpS 2jhb/6IgU/xU4zI5cnMJcz8fG1U/026nHFzovLlKVOL/bf+M0GI99H3UW7Tna6xuTaerYRG9 iUTYvPgsheH6tFcetBybJ3GP3zScjjW4lb8/BhoakDBt8GgiU+N719vP2VgTkzADqBckJe7p euJE9LTk+NHjyP0S8DgHS1QebTtcpQrUkZNjlQt8aHFN9Mm+WQfWJVBtjZNHwW+zLNQgTm1g vCpdbJpNirVMntNECRu3yBLdvF7XoLT+8nD4bjppckAwzz2q5GhxYC2YeWrTzskbPa+kDZWN svue94lb+uR5LEBbLpCC/RZ53wRJIMJzVtsOjkDOhRX9JwublFbi7dcV7LXI5YTGc4MM5w4t WZ33GVZC0rxvSsnOFPABCOLnDtiGAuDWTUN48V6Hmq84ESfcDReKRYMBZv2125eEKVCOdFW1 XcmJk53IcWakULx0Lr6a76nL1/cKrt9WvOcQFZ5hQdjPl7uLDwrg74NyQOFoyhyeoGWjc58Y ha1RfurR4+LqHjg7jtlxnLs9jb7Bhk/04EJum3Y5CWMnvheqnYz7CKri5YfnC29KaT5MvvHj pWnRWUUq8Elqeh3In+umivTYsWaqHZ47TS2LiDJ4w3PUfha7XOpTL/p48KW5o9W4wUTEhC/c svwgpsJzgoP1hrPyYi3VeaaW4GyGdj2W9nyJCC4lnLxWcZuHGNvTZGzgWAi5EOnL8x9QLVzp dkP4+3guSOv4szol5y/U1NfwkeOHTTajKrbv/HLp5/Pkdup0yXXrGxXTWflfIcUO9ZYy8CZ1 pZup+cqK3eWH+d0Y30GMVVy+gOoCwztaL4wv9m3gSaeQAwx5XYpsUUYpY5EGVt5dVjYCegM4 6VZRMhWfjG/VkXNDD87O76cP73vNflJa7UKjOEY3dRyvHnUkx+NzasVcykM6bpvEanibtioi etO3mSWbpl8QFdO9cZWg+hKS/rPwqX0kQ+MYLoSmlVW5O2jP4VsKU+DZzswUhzBrcugQ5GQ5 W+Ah2XDIacFX+t2XcsIH5EJTeC6KGVfzoLyF7Ldb9J/tkoDoSiRFvfjYVCCR/IkKbcHi/pdY ObOLNDncS3tvJOOIPDXvKh8QeXkTSPs3qYpKJ0+bi1/U8nvXsVK52a2mM/GHMLfL+OQKSnGS w819nJbHqu8BdhO5iJjbf7q65JFXPliqO7d2LL3opl61w5eX6KZHMV9DT76gxDa0mLp+j7pT lCSXxf5yfldJWkNYHjVW6+nkQHfoDVefDbbgg0ObyhUNj79MqilB7wGTJrcAuzPHN0Hbr49r Rw250Q+aRvIfV3AgyGEZmWBGwTr+VQIy6k5oWSxVWIV9BHG1ZMlc1mV2XTeHmrKUi1ZYlVoX QorM6m2FOnvRmpY5g7xBIxixQXxctxfqTWOFzgen3+mxi9aJEks8Ivf9fbSSboHRhEoRZ8ry 8UqmkmdEK3IAvpnj27LjmSCMGyV6Wq8jq/uYr3qHZFU3rQJmGYYXczOZMjhCDp9iweCibNJe 28+GAPTaxodE7SDRx64cdO+w9w94/SSmKNLr5lTMVAU/yl4YIZ+uBlzkyKrTPVPBr7wbOitI uR4XC2N7NdCZ1xHYJfYJwibT0Hk1Ju6Ht2R/vRdba5T0hJCRSr2SINvq48fMLbbXxZdP2O/M ivOrbXGfORqOVejipvsNpNOIqVe2ukqyXEYNPLfpFjuEy7OeKD+kxwN9e/B//+Tk9Ik2KfUU X2s4BlaUcFnBwlAJPXWdaQiTLXlgFVnpGluKKrlSYx5VDtNgSw0NHA/3jqfCp6tgDgxlQnWC x3MC/PLvfPYH48SNVDEA6tksznMGAsZXGWptipU9BQo3h36d1N/DGFspc9nIbr8UPfSm9LzH Yg/BfX3pd8VrkXG/9sSc2AsHjOLk7t2XGb6pL0akS2SanYw/r7mh0nYli+1yiIGrYGHpT3Yq bUsOPikTLaLBZ8s/T2/vCL/GE3KQ7rPqpDTyHAjrG7Gnxv56XXRxI5on+8NFHGd2U0LXp+iQ KHnP79pQjpLiK8v5IlohN7z8qWmG3dNC3Et41nQVAHDLH9vcv/uJY2a/onTpj2Lu6elHhsWi cnGJkjx55H2bkzgkjAE+pXmAmyor4NhnXtSSrCTpOZnHwM2qhclFBlP069ZCwadgvH6NQzWw inbZhagcG1q7Oei9jiu6ErxRAndtzA+E6yNWfVOfGclggbsTtChIUbO4PlHzs5IdtGM54tO7 4NkrTIDC7FT4ldc+dr3jfXFJLiEm9il6sGHakTJ3Z9KNv5aNF08FO6SA75FTxFw9+GGyGX77 I8VxYPhmE0b8qhE6zs9Xz/SY0778VMSIEMwyMiS+qdGxSOI1olVNZWF6pX9jsBjty67a1WAC ukYS4Ig7zuwsb+v3k1Vnzayf0TvMdzw7nrjNYK9g+mILAhhCUaPRXv58P/IKzmLNDbcYBefr 9JGzt0TBBqbDKCXqGyg1d+FVlzXFsM0kOCEhP7V+6DjcELXb3HJQ7UoJW6DMrVOFaaF9ZPfF 0xFLqra3gC/PPMjwEo0WU7OIProKs+KWMQHjo9K+8ISrU9BUjfli05LLBOD8/Hyfgz5gYSdT uczXs0DDGI+372LpcUZwzO2mgJoBmlm3RY1qERj2Qv5R7ZEujEX0+aUf9ml8mTUlz+gFgkU0 HgaTh8Zzzu0f5+rZhK6QDUUp8zetVRK6GQjt5bzlgMUo6GOpA7wsvadSn5GPMY0N4ECvLbCJ +QW57FDjl36GGF+7tdd2UwtptnUtXVhtKwfzBX5cfu7tIUOUzJk31F/uyXQWEFMdCq6IEudk H3PtBPHSVVcDLgeY41/sPEg1B8ZOe/vT4zqqjopHm4o8Mfwm2GIBDYjMZYGwXiW/Sfa7y8vS 0sMOZsJit31yrViSYo2C6BFu6ghqIHL+zvWZdL7lrrbZFeXz/YHTEckZAeUUqvRs8oNg1Pfd TcGogqp9GtIObT0M58brHSF/VPlvIlU92cfeZbgOtyTW1WNrSuc9YktLeNFxRrULdm8qA6dt HZhweM+Np8sOTVZBKj/h3AzcsUeqRzkbE7mJf5hYCpFghxTuGz2DMCSo5+7WneHGaf3oxU7h 6JScKvgsPpkpJkeSFUAvc2BPCve6HYCzqkBMJxbjYeScppHCjku9rrZR+UGk8xAUWJv8seKa W6mO+0zJbkFYwgcqc1gaPvo5sFk3WBTK7vSF2zviLF0JyfeI1/HgR/X4zI6rvuTzJ5/epNr5 yj08CrNf6WpVlFaY1QuSQD5VletvlyZ4DiyVf0H+fMulvXzuRFwXwyXH6BmFpIe6CCWUc6/k O3oYq++fb3sva9NEheCUxGB6TnL97aIPo6HUeC3GUttW5ElNWdHPxI4Yt2A/kVbhpw4Xi6xo 3XctCNSJUeQHpqvX6B4+4tMZl3ZhVjUv7w/aM0teL1hgIA362Ky329d2+JPdFmDS0VEJF1t3 SE1+DgwsfznPnQ31HAlCqFvH5lytr2ZjLsdRz8e4wYwDziDDuaU849nzoM0Xf8mb2rsOzjJy Ecz0CipEeRpijItlJsapfzinA3IBVT64s3HXgrSKOElkShYV1342wGPscZXEpDnwGx6bUVn2 ICzlGNnmTWspPJuODHYMOH5DKFS2axoviiAu+/347fPB4vJxxPtYb4HgGShEIYpTYUM4L0qj 48JqPYEwUnMB6evKKkYPurWrnJTSHN5he3I5Um0L4jmcOh/2hRoiaSSn2oi2Ks/NOunqmupi j7YAcFtcwH8jD0D8sEHzTEU1oUfJZxi+colYmal+V95K192v3s9a8oNYH4iMEeW7FQc3SF3N vPslzkxLx3KrYPi9cVDAKBx8ioDjcvH0x/IbIJc4GuO5svaTbqaZLzF6FpGn1pB3ymiKfWqd JNmspxNHZJBJkClNZX77D/WLklXr3H7jwmW6QkYeUcjiIFV/kHpWjhNF1bMIsh2GvDEn4Pf7 VMArOH509Uzxg2RxCvMC5YPuEeZboLCMKsuHuSEVE1VhKgN6972kR5+MNhJinasU7NxGHq4A sWqrqZXSqHQHKdshrPjTM6bEZ2zOWiZvBlcaCeBiWA5iWssKyb29VoC7Mx+ErFfZKZjbW8NB lTpN3tgHmOFln5nYdiKDKB+WfYmx3A1d1yeal9c7XyzD/uCxRvZqch9GfU9uJX/gZmXhs4Bz yo7b6Ht1hUL8epStbWjssqQg8sb2YBE7kupklmaI4Rt+2+qSR+xjNK0IXFauwcUbt4/Np96I LMHMa83e0yIa0DMEyLHeuSXbJIisaKHK4bEIVf7abNHkuyS+Z2j2VNlI5KswIJLYM2fzyuqc q+VXyalhVVbXrluJNDclW5zX3ONCi6Q5bH4gS7wglcb8bcpHY2qE66c4e6XHnHyRYYmqhiZR idxJ81GRp+fN+QVxKht8wcinUZa5FdVTdlhzwL5CJJuuUwduPBe13s3Z+Ffd1Io/k8kua6l1 RJ2/7D9U4Rc84gTrR1BSOFUVYNOfkr0bTAw+fYp3aiN56IszemvJRMr2SIyCF5myukk31IHJ jG0WEWdG9nLiu82T+AbkcNK6CFsy3gfm1KBcyqRm0fcGqt2NeQsujl8GT5FZ4GeErlJ6B8Fa yBHtjU8c3thJTg378NfdDTPJg7rGy/KLe/UQKjXrm1CpLDKwTeF4rH0Utk9ohMYFPnVdgj91 6eCtC6MPmGDFZdwNA0frw54gcrxWrcJp/MKcLP+YJxwwmskwgZtGfEzuM3vMg+V9V/ZRm14/ fsUKCxwyx5tbRJBWFlMESL6PtvS0npnc/UThzyFSMg1Ib8gKbQ4C+UGI3JTSjKyoNI/t0uwG 5eJiS57id8yln17nY35I+uEToGxcxMVA3g7fQI9LzTR9kCA7b+1zX95TBSbc7Aow+3kdxZVo /DEx30o3aqr92PGRNi/gKzYWSEhBpRBDBjfHvHmI1yY+js39qyzWauk4q2bYLaAPs7aak/Ur G1iLkoivxo11TWt0DyvFouR4Tb89bbgsv7rbd79xJVqfBzJWYTw/wDNWaf0yZvzpGUoI3mP7 Q6/hejHK86O0Ku/PAoiFpeaYWDbpZXpKveFPQg+1uKRoKUIC0aH4n513F+YijWwrBbjmxRkZ ImJVrjAWen2NOORH7n0FVHeYkgZCWQMaLt9KPofz6O1wcOKIskvAopu/+YZVCEbAKfLbJJje yfA7UQTth0yMTHyPnxLndbY7QL1N3WyUncZBa87bwZjkncMI+SRP7bnh9iY26LYJY863bXWl OCENmtejtuMRC95BsTB03TfEi4EeX755iyClsfhaodOquGn5qx3x+k75pJy9qVlZmy6VDaub Mren+66ibWffDCdPOXER4ECRJkFJsV96kZxoxEYz1tF5RNubcn3uJ+Zkb1NfX0nGIBMOLnm2 /+6T6Zi4SstaX1uf836Bef8D55zP142LJ9Z5DOVek6Nw2LJyqwIhzDgm3BsxHXeITxd5o1gQ Kk+tRPdMdzooIF7bhjVL2g/JDeBiAB2SMqvYwIep0J1rJoSE8ZXUotZDdPj3ddwmesl+G1w7 zXy0kKfxu9DyfIdLa4eLAGsBrx5wDqZMyHLWsY5fayyk+UZHv3Uhd0EF70HE+HaR/+fwF77a KwiYXaplz+jcO1Jv4Ha458Q2FEtM2HAmoNqiRFIxjSs4L9P57TB+zoXHtyqlN6oTz1cKKW/Q fT1DPDxaSnN9a6c2V/UNmk2dL4JRJt6XCC3devgLCwveRBsnp0jh/KxO3Bya++xr29ffxs1w ZH/7IeuRlWxVK6a5li4sQcoZBcqJKkJwMVipjUfqgyCnpKTBPpyy4ZtOHyqP/WpRmSbOFMBj Uc8j3MYVI2JyBU/ajFR/uKOmNjCZ8rRJSwb35U7xeg7/XBp5+ee8XLLVj7of92OFP5oQrQIf odHPfC80OvN7t5PJNblmycNW9Ed6fNojEh5zfXojeXF5j8TgMR4FW9q63wmfkzG00lbFmiZk PZ2hfX1Grqgj+H7rhzgTJmWAsx/zvcMR4WsRoBec/LfvXLl1aO+58MZsKY6bb5hBWQpbErXP /Y9tT0v0rN+rFbB1vk1q3tjaDL9EAAQ9uz5UNjMaF/iKJaFkVlcxyfSa5UyCvTld2H9eS7Ob KLG4bpbBnKlRgrnH4usHoxNFg5lD9dSUq5meJs1gLS7KwK+ympQn8H0Zi1ALgnx3/PkvKX3o MeHuP4iZauIg67sCkTxoL7lMgSs6+O5gvSWIH4drumqFArlxgNHWioG6hH/gPirRT7VS/8/u cyBjfKla8sSX3NqUhBNv8e5ZbLTQKmekA5+L3mrbTb5JzqHf118Kp8JlTWPZHfcLZnh+K5+o b4Qd0ar7g5Pt4bM8vqgOUdXTfnQtgZBLmcyenofuYU0NJNxMKjNAymToVUf7x+IS63fnPou4 7tCE13oaz4yrcXUUvWa+hpaGFkt+Ua/W6ulFdw5hyEzoqImNn/a0hthWKK1vkmacsT8mbUR+ J/a8SmoCLWgWnDWOe6muxpwrZgU+Y17H8ImOjRodX5Q/6+1OXr0lScRxfZe0zP5YAL7DEeJ7 qfiyb+8z5fodQV363P7K5tWE6IuACNQnVjq25lGjfXhII9vexJ7OYaJZzN+TrO1sf8w2eXLl X2HpvyhWzadEa1DxK2m+Om77ck1nk1IemsSJSTD4LJKFXkB2S2J+ZoNORAWzYexWh9V+9num 6N5gY92gXMxZcW7fADWPhLoYc8vOrfmE2XR1G5f80K5Y49YNdzEXItQDPfRotMs0DU++TgYR 6wvHN8DI0uDhUCbh07Sfc9On7pE8QYx5AurlX00X0BAjJ9R4jMWoKeaMhAMRv6ufU8pWzoU9 UkHctfSa/dajllMV58kOzZiS/eJb+D7Md9xHo6rgAWjdixuyjJ7czRoqyru/jVph/BGOA3Ll +UxdPY+HS/xJWEyFIJr+eBGD0XYGsl4SklGfdPUS6YHSNouLr3KR6on5BFEkzdbL+pNxrv/m B+P/B/h/IoClPRjo6ubkAHS1w8D4XxpcEgQKZW5kc3RyZWFtCmVuZG9iagoxMiAwIG9iagog ICAxMjg3OAplbmRvYmoKMTMgMCBvYmoKPDwgL0xlbmd0aCAxNCAwIFIKICAgL0ZpbHRlciAv RmxhdGVEZWNvZGUKPj4Kc3RyZWFtCnicXVPLbtswELzrK3hMD4EkmlzGgGCgSC8+JC3q9gP0 WDkCakmg5YP/vhxOkAA52BwtZ5czy2X5fPxxnKfNlL/i0p90M+M0D1Gvyy32ajo9T3NRWzNM /fb+lf/7S7sWZUo+3a+bXo7zuBRNY8rfafO6xbt5+D4snX4rjDHlzzhonOazefj7fGLodFvX f3rReTNVcTiYQcdU7qVdX9uLmjInPx6HtD9t98eU9sn4c1/V2PxdU1K/DHpd215jO5+1aKrq YJpxPBQ6D1/2/I4p3di/tbFoXJ+oVZWWhEfiEbgmroEdsUvYDhmnJcV3jO+AO+IO2BN78J/I fwLeE+8TFtYX1BfWF9QPxAFYqEegZ4+zbFVDp1CzZEwNAg1CDQINQg0CDcJzBecG8gP4e8ea 8CJCjoBjybGI069kv8QO2JPjwfGs71HfMe4Qd4y7fC79BvgN1BayNmV9BWauIDdU5FSoT74H 35HvwPf04uHFs28+3xH7Y9GfQF8Bvjz749EfTy8eXiz7bNFn2xK3yA3MDdDGexTcozAuiFvq sdAT6DfkPpDvwA/EAXhHzWnBcL5PIcYU7+lj/vtbjGn086PLM49pn2b9eJfrsiIr//4DvBnu TwplbmRzdHJlYW0KZW5kb2JqCjE0IDAgb2JqCiAgIDQ2NQplbmRvYmoKMTUgMCBvYmoKPDwg L1R5cGUgL0ZvbnREZXNjcmlwdG9yCiAgIC9Gb250TmFtZSAvV0JZSlVVK05pbWJ1c1JvbU5v OUwtUmVndQogICAvRmxhZ3MgNAogICAvRm9udEJCb3ggWyAtMTY4IC0yODEgMTAwMCA5MjQg XQogICAvSXRhbGljQW5nbGUgMAogICAvQXNjZW50IDkyNAogICAvRGVzY2VudCAtMjgxCiAg IC9DYXBIZWlnaHQgOTI0CiAgIC9TdGVtViA4MAogICAvU3RlbUggODAKICAgL0ZvbnRGaWxl IDExIDAgUgo+PgplbmRvYmoKNSAwIG9iago8PCAvVHlwZSAvRm9udAogICAvU3VidHlwZSAv VHlwZTEKICAgL0Jhc2VGb250IC9XQllKVVUrTmltYnVzUm9tTm85TC1SZWd1CiAgIC9GaXJz dENoYXIgMzIKICAgL0xhc3RDaGFyIDE0OAogICAvRm9udERlc2NyaXB0b3IgMTUgMCBSCiAg IC9FbmNvZGluZyAvV2luQW5zaUVuY29kaW5nCiAgIC9XaWR0aHMgWyAwIDAgMCAwIDAgMCAw IDAgMzMzIDMzMyA1MDAgMCAyNTAgMzMzIDI1MCAyNzggMCAwIDAgNTAwIDAgMCAwIDAgMCAw IDAgMCAwIDAgMCAwIDAgNzIyIDY2NyA2NjcgNzIyIDYxMSAwIDAgNzIyIDMzMyAwIDcyMiA2 MTEgODg5IDcyMiA3MjIgMCAwIDY2NyA1NTYgNjExIDcyMiAwIDAgMCA3MjIgMCAzMzMgMCAz MzMgMCAwIDAgNDQ0IDUwMCA0NDQgNTAwIDQ0NCAzMzMgNTAwIDUwMCAyNzggMCA1MDAgMjc4 IDc3OCA1MDAgNTAwIDUwMCA1MDAgMzMzIDM4OSAyNzggNTAwIDUwMCA3MjIgNTAwIDUwMCAw IDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDQ0NCA0 NDQgXQogICAgL1RvVW5pY29kZSAxMyAwIFIKPj4KZW5kb2JqCjE2IDAgb2JqCjw8IC9MZW5n dGggMTcgMCBSCiAgIC9GaWx0ZXIgL0ZsYXRlRGVjb2RlCiAgIC9MZW5ndGgxIDE2NzQKICAg L0xlbmd0aDIgMTYwOQogICAvTGVuZ3RoMyA1MzMKPj4Kc3RyZWFtCnic7VZ5VFNnFlcUlCAW ChQQKJ8gyBqSsAyIVAVkUyAFERWBviQvyZOQF957wcSCgChlk8q+iIhVEBUVbFVAtBVQkLVQ a9WpoKxFUWxBBRWdl9DWjjP9p/WvOZNzck6+u/zu8rv3npgsZQZar+GgLNgDFRLWdCptBfBD IlliPACN9EOd1lsHwDwxIOX2FBMTNwyGCAQVukMEvAIEwxzgDrMBgwHoTk5OFBPghoqkGMLj E8AsKCDY3NLS6o1EZgJY0t80pCeO8ITAlPwRDQtQUSQsJEiIv+wYCMOA4MOAiwhg4ObP3Ozt 5wnMPP2CgCcshDFIAJhilgBhg/UIGxbisDngohgQzD4AGxVyEFlpOJXEWoMDCOAimI2QbrCE DYtkKisggrFIBMfJ3wDBAQ+DhATZAwIFiJAtEHNkCZByLipPSIShpEUkqSPBmChO4GwMERGA jMp095jNk+BDhCw2jpBqgHJJSw7KFstKkutIGFJLQIgQBwQsIWSxWDDgILhIAEnJ2CSYCEPk aYhxRMh7k4EVwGAehHEEMI6TMCS2rDtv6gR/qB4SiQRSuTcqt/o9B4TAYQGXSqEzyJhsgozN Q4QUG9mseAu5KKDTZuUcseg3XTSMyRtkJpsZczIJiIMKBVLAgbkUGz+UIEMCs7/GMvXdkfwO KH4nBL8Tev8euW9z9Icl/rv7/Da0h1gg8IMiyQGYvTGAPDKQEJB3BqwHskMjgLD/8IEiEYH0 z7zetg6GZ9P9EzBvAiLbskbII6mhUWmzQgT3QCQwh4kQbD7gQgKyZ3J5kJADYwJECJPcytsK rOk02lu6DXyEHSGUkWA/q4KFnLcrIOmS52/jBiEYKj+0NGv6rJJJkk9skIrIfH6twBfl/P6Q 2bq6ohLwqTXdwRFYMxzp5M6RSTgx7GL/Sxg5EP3N2xciMEQCQshaaXR5xb9+37xC34JZK2Sj HNm4MOwdAIRhkJRCIyEZ9vbgUzo56xxYItsXPrChClGCdAEiMREr2zOK7ArQgQ1XIBNR/g2W LcYwciDkx4Ls0G9v+Y7AsARmU6YTx+fkjw07vPDJa/Y1PbFbJ3j80lJpDggQR3QmUfxXK2qk j5mYVunW36v/yCs3jVV3ZB7zLPS8tNPBpTShutzcYdBH+6q18WFrptuTaKeIkdUt4vFsql7i uEWJT+yussDYwb4Wo7HCh2MXDEZG6pQrwqrXW+kqsLMAJlHn6Z0d2PJZe6xjHafoU2u2pPWX 1oVPkXuPTCvBPpWTU8b7JvyTI+bHHssSRKFqWs0paa7LN9erdakmOqf2zuTngiS9Se3j15Qz pjXW5T44YXkjRzf+vomqn0HX065rR45ozzCezp17fvKB5mDCQfzOrn5etGT1dJimcx2n4ZKD uk95VONWXYMM1j8qM16fURhbGPmE+8X1sI9/XJC6I7h9xwcDLaHVVs9vRik19fMzD9nFbKvZ b/6V4pFnnkLMJnnSVjF76a3In4Zr9Oaa5VqMDgad62qv2xawoGcIX2ym7eHV9ErFombnmsz9 K6fTJHsHs9M31aa6685ANwK2+cV9Yo09dGhKS61uaV9++5TqpqL0B3F7FmkathGm+OelUcfq qts6CnvOmKbdGXl87oXE+Z5Cy/3CrKjH+2vDZ1Qw8xjItHg4nRcWXbh1bd6P73lP5PvbdT36 KDlD5XpWCm1pXVvtIOxVfZPaNlF0N+iQx9M9QVXrN244fX9XvN546zd7z3Vt7Cv/Qd2LZnT6 wXK38K/N+ntXs6WVV7YEnjh+5fHTcceCUx9oKkUpXmTUKVKNyxQtunWyKA3zfCoN2vxNaWVM z5/n1zq7fXtArUn7dHKHK2vy/eGvvKkHmQ539alTy1syuNWvbzWlJNvZ8jpiuEtM8rbXbF3y 4ahxdrGj9Xql+HX+XV3qPjmMl5d7yg2eT40GqIascK0SDqykLxs0r7zXPMY/rOf1z+kTAzmX vwtNTCmfOXkmRkEh9MXWemzqwpOB/CdajV8qn/d03us3/+byrD1KB9VEMw4HhkNK2tXtHeo2 WyoZiXNTUsa+y9u95ioFDk69c9JFw9mdGv11jH2L085FcyaSWq/p7CwJtk2JXXHJJklhuGN3 5T6p8Vb8+dHik/TzzxX7OkxO/QIwu/juZe8tq9QfyV/sK7kYYL8l71H46d6V+qh0detNWx0V 9zjneStf0BbgXgO3S64Ydo/wS1uv/zTJtTjAdFxU398c7/tEPGo/72M2s0pSRckZ6s4uMU66 tm279+UzoXaeNdtOneDFL2jE6VgC5LJ8tFR93JC36vYIZ1PsXANF9mE4OXvudO+Q1aPpIoIz kBGiefHqUAmlKyki5TPHA+m7mjiHTIo6SucbuJkFj2inJYu0257VNmye3nMo4ljanQqjl3ZJ KfkbfearDrjov9pT5djXl8hi6caJNSx7UxQXley0UZrjrpBlXFCj0+hIO95x1jLV+eN1jYvq bZb9YGt4FgaXu1+zzo99wlI/ohZ2NMm1qQzyU3Ja8X2upvrVScHEwWGLoMhb4XiJofL3V/Mp rdkVG3iCU85bLAfDCveF9HibtAQ7m+AXstw4qXr9G4sLyi5I+11uh8FaR/uOa8WaIF2ZGpcY LUdji1IXijdNTYtsgyvX3fUvfpQHKihVW4P5ga++Xay4e9n1y/p+LkzJI16UGnqo9OD+Q6oP FcMuGlErnl1qHwy/2+iWszZo4a0+evjmeP6JBem6vcVjPZs3+mc279pSmRDvO7rj9nDDi9TT eNcLtEHVoC1M9/1dGWGXc02rLOKml+YI7q5KW7Z3Pzu+dWgkdEJHuS7c0LVi40mjLFZecwB7 p11igBfvdfM9egPnukZIdXe1kej4jfvGPrWVkY+/sdDQTDjO/4GrlLDE/Xzs/OSpAqNr1bf6 Gd8Pea2d7p42Lvxyjg3f6bW/+ZSay5UzvqWeL++VFXgV9ltsuha4OpoYuA+tqHalalVEhPKy 3bbXcK+nFtW8+mTJQ8aNzlzNRP3iDS5SQ4d2y+d78+92BvacKgxrjbmwN553NLF2qFe/kp7j G9etH/8F9LOHS1j5qnhVrQMxwuqQ97XSky/qdSbknsTvJCYvpG7oLYVrtBuKvjH1Yf3oqJzZ 9SGzPjV04nC7T0+bsfrEzyuV75d9Xu967qhtWbZCzkKbhzNRmXGsoUqr0fYClR2TGnabCj48 X39ru8pL/RDBomjbpIPvOepLJXqNxfvKj9kt1jl8Wj3AwLNzQWfmsxt+w4pC2t/8UP4P8D8B wBbAEEaQfxWxCArlX+DqrpAKZW5kc3RyZWFtCmVuZG9iagoxNyAwIG9iagogICAyNDYxCmVu ZG9iagoxOCAwIG9iago8PCAvTGVuZ3RoIDE5IDAgUgogICAvRmlsdGVyIC9GbGF0ZURlY29k ZQo+PgpzdHJlYW0KeJxdkLGOwyAMhneewmM7VCSZo0in3pKhvVNzfQACJofUGOSQIW9/QKNW ugEk+/8/82N57j97chHkN3s9YATryDAufmWNMOLkSNQNGKfjXpVbzyoImeBhWyLOPVkv2hbk LYlL5A0OH8aPeBQAIL/YIDua4HA/D8/WsIbwwBkpQiW6DgzaNO6iwlXNCLLAp94k3cXtlLC3 42cLCE2p62ck7Q0uQWlkRROKtqo6aK3tBJL5p+3EaPWv4uSss3OsmuLdu5nK33vF0StzSlJ2 UCLkxx3ha03Bh0yV8wfkxW89CmVuZHN0cmVhbQplbmRvYmoKMTkgMCBvYmoKICAgMjIyCmVu ZG9iagoyMCAwIG9iago8PCAvVHlwZSAvRm9udERlc2NyaXB0b3IKICAgL0ZvbnROYW1lIC9W WVRRSUcrTmltYnVzUm9tTm85TC1SZWd1CiAgIC9GbGFncyA0CiAgIC9Gb250QkJveCBbIC0x NjggLTI4MSAxMDAwIDkyNCBdCiAgIC9JdGFsaWNBbmdsZSAwCiAgIC9Bc2NlbnQgOTI0CiAg IC9EZXNjZW50IC0yODEKICAgL0NhcEhlaWdodCA5MjQKICAgL1N0ZW1WIDgwCiAgIC9TdGVt SCA4MAogICAvRm9udEZpbGUgMTYgMCBSCj4+CmVuZG9iago5IDAgb2JqCjw8IC9UeXBlIC9G b250CiAgIC9TdWJ0eXBlIC9UeXBlMQogICAvQmFzZUZvbnQgL1ZZVFFJRytOaW1idXNSb21O bzlMLVJlZ3UKICAgL0ZpcnN0Q2hhciAwCiAgIC9MYXN0Q2hhciAxCiAgIC9Gb250RGVzY3Jp cHRvciAyMCAwIFIKICAgL1dpZHRocyBbIDI1MCA1NTYgXQogICAgL1RvVW5pY29kZSAxOCAw IFIKPj4KZW5kb2JqCjIxIDAgb2JqCjw8IC9MZW5ndGggMjIgMCBSCiAgIC9GaWx0ZXIgL0Zs YXRlRGVjb2RlCiAgIC9MZW5ndGgxIDIwMTkKICAgL0xlbmd0aDIgNTI2OQogICAvTGVuZ3Ro MyA1MzMKPj4Kc3RyZWFtCnic7VRnVNP9kqaXiFKlI39Eem+hgxTpvYMIhBAgGJKQBBDpRZDe kV7FQhMQULoUaQIqIqCAgPQiHQsgbtD7Xt13d7/svZ/2bM5JTp4pz8z8pvBwmZiLqLmgnGFa KCROREJUXAEwgns6e2PNUJ5GKHkDETOYm7cuDoIA8DoZEA+PBgYGwcFRSE0IDqYAWMNcAE0Y FJCUBCTk5eVBPIAGCu2Hgbu54wB+SzNrASEh4d+SUxPA2e8vDd4TC3dDArz4Pz4wBArtCUPi 8BT/a0dzGAzAucMAVzgCBmgYm9jqGmkD/NpGloA2DAnD4Isw8XZGwKGAARwKQ2JhAoArCgMg fgEAikK6wE9Lw4riudSwAATAomFQON4NdgMKQ5+qhAE0DOMJx2Lx/wE4FnDDQJA4/BvgUAAc CUV4u5wmgJe7on4mhMag8BaeeB2ezASFxWGhGDgaB+Cjmmhq/coT5w7BncbGwvFqAOWKt3RB Qb1PS/qpw9PgtTgIHIkFcLAbuNNYzjDABY5FIyB++Nh4MjQG/jMNbywc6fY7A2EAA3ODYFwQ MCwWT4PnPn2d33UCf1QPQaMRfj+9UT+t/pkDHIeFIVxFQRKS+JhQHD62GxwJEjudF12kKwqQ EP8ld/FG/6XzgWF+PhD/6cwI4JOAuKCQCD/ABeYKEjNC4fAhAf7/XZdF/31N/je0+N/S4H9L e/+15v69R38s8b+6z3+n1vJGIIwgnvgB+HVnAPyhgSAB/K0BDIDTY4OAYIDTgwOH/hdXiCcc 4fc/Of/d2hr2K+t/cP5d/SuEGtIN3yERCRlRmV9iOFYLfgPmYgLHQd0BVwgC/3g/5ZZIFxgG AUfC8E3++b54J3Hxv+ks3OHQ68jTbsj8UsGQLn+vAd+3nxWIaUDgGNSvqyvyDyIT/BTgLPzQ MOAfAmtDlMs/wamtujrqBuAvIgGWB0QkZcXxy4dfP3lJ6cD/JsxPIonf2BCCw8BvAFfFRcXF JQD871/f3+ja32iuIKEol9O5kZQBAxAMBuIHwsfEIxnAXwI/9C6wG6eL4w6IiSJROLwLgPbG BZ4uHOj0HEjLAGLufmh3GPJU/kskC4hhERCs+2+JHCB2E4ZB/RbIA2IoJOyfGP+WYjjf33oZ CTx2x8D+sJACxFzhPn8I8FGQ8D845PECyG+EjwD9Jzrto5jLHxDPD/sD4ouA/wHxTNf/gPjs Eb8hvhtiyD8gngr1B5QGxDB/QDwz9g8Ixtf1B8QH8v4D4gP5/IT/qUVQbwwGv2U/LzB+2v7C Pw8PDHYDBgV9C98iuLOxBD7Sy+g15C2PYLbeauPySwPMvK8PR4KML5PSx23w8FaztMy1qOik xzo33SU2qYccFg6DlQtDa+4JgBf0mHpEuEtETDQOfOSvL1/u895KFWUL3xLM1wsMKzUPXJjp u7iR9WmjmWN5uYnygUONgTALETQFwNygdWOrn7eLGgyUa3LJ9heB3hjYHaD4DJ/b5K0Aks5U fuVO2jO+fZ0k8GEKwgtFc743Oladz7aF5uXZcMWYD9/vpKqJ5rbs0cX4gso1Jg+L7spJFCTy BCzijqKDnB1XF8Sf43TV2PN4Rc66uGmmIu07wPnI0Fci27k9S/UicdHIuAgxJQut9OhA90qB xCrHrLu76aaecA4BdWLurszlMw5tBy4n292E8m4i0Wza2i+e0CaWMFlN0LQi7UwxN83pOymj Whcgyan0DVeaeL22Fcy8uMkxyeDN/YriA37Fe4WsLD2wlFGOcIOI1i/9OpRGmPYPg3v32RS7 rp1UdI5fbI9NPOkVNjKeulT07ZKQG+RzYGvP1PEVg6BrqYFdCh8Hol4PbldYraUFMpFnHdtt Pe8FU3J9zYqPidW2Uyl9vRNE5yZUlv6wJ8MnWehodxHdGOjHeGZsoI9Bv6SI6K7actnwnH/N ngC9EUpnn5XyE6YZ+gYnBNeucWQh6vyal7z4dtGp5vEAZj6A1iucNY/wEzM5b1TWeSOSJeiG ZTkx9rrFUXn+veWbC8dtPNJWDyQJ5Zm2iRxjFVXCrteD7D2aKax/0M3nH9zO6JJ9VTszmfRU jk2UwWO9mvzt8PG592uCkOLgMb13Q/4vl/tKyWoF2RnZN9BZ97Lsm0AtJqRFFI4vb+wu20g/ LK8WfuUsak/OHP4qIV7uQdN9tYy50BwWSh53slJGU5kOSbG3h672lTCdV7ufoE7coYuh5lfW r31UUbJTA2f1XXXrDO7vsUpmXDLOxG1kBFrcH1U0d64Neskx3eD1w1j7yrm76mcUUa9IjjTz HvKYGxjIOJheevrgI0VeZ7bnOcWXJQ3B9Ps2Y0ej8dTgS3L6ATdEz1S8zDj3oZi/q9l1vG0o hYKyXij+k/jX5mxNSHamq+xjIyFusjH2FyrjdK8zisK8SHugb4smT2rZYSvS5fYsclgjOFsH wkSmreGdx325y+c/J7rxUU284LAd4IFfzDS39s14DX7encQSSHx8DLIbICDTxiFsVQLHqzKL fziGyr34XEYupr9WDAFVlNLz9/AT3uwHy1VHNWQmsQ/oG9Oem1eZtHxnM3dC0G9oBgyy02NK HeLtE2UWo52014waMq3I47JF3+R9e02gSiV1WKGCumAqIvSIuGSxakVniVaYK6vx+phOA2HQ PHfkoG/PvulusVzHzd0bw6Qxyo6dO7KtdywCMzq3io3oM6SEqN8ksX+nRh2woy8+iOaneStS VrHT30POYTWMeeG2mP+uyX4KdZnx0oPzbEj0sE2dmc+e2cj97BK1oW6JamHVKGEn9XtC828N rfrRgRxk/TKK44Igr3WNr6YsD3J1+GyuQaFt60C8wz35YSZ9lB1tj4NCxvqRcF6zsrJVCaQQ MKJ4mOk6IczR6lc9E5+H3kzpGSugsrI50z24R+r9plE0YCQ7DzO3Us/qMUIwwmAcoqI/k50h 8GR2Vc3+2k4sDbZ8uRn2MsbmQ1S/llVIfkgBk0OQcAWTncXraSleR2Ui+Vfv7W3r4wqS+i8N g+DibIofty1ckV6LEjxrEx4pURqDkvJkcfsmIivErU+2/DTVypS2abvkalQ4l8YLaTkIJHk1 F2g2skFipCosHjLuZh8kzhkU9gI0ilLy6QfqY2c11mjNNvg/+Ii3eJWrETIvcFW6vinJ3ASz y8BXt6YfVjIITXvJg94ObNCYsVdWruSKnDSEdfXaJR/HM7ChnVJt5BZwH5HzLoGzmhMl8VLt Yucrs2vee58ZRE7sDPXIYjoP+aP2Dz+HnnwyHi5LNKTXvXPnSR41pSlLZt+8ob0lDU3k1QWP HLJv1x7W7lEth+Vfae9xuC5+k9H0wYy3DQpdEOpfdIeTIK1sR3w7MpBUXjM9bTqTZx8klPCW vkskRTKSF8YBBQo0KI4sXXy5qF4CzxH1OF8DAXnO89Mxl8CTeuEBxOOT26lgUABN8+zQWW/d LEKCWx0lxlL+E2UzKT/s6LpDCVSu9t3rTX9x+dDmMSLvM+LLJuFXbouih+/D0xHqn3lLNJXG NQsV2fS2Zra4yWQyX7DQHIEhE/X777LAZz4ItAHNt8bINvqvDKIf4WyYBvhX4/PMB8tX9yJ4 QruafW+4NdUxHrg712TJxvRWno8gbLXzV66zy+OKM81ReFhJGOoOql/YA9C9tg+52abcc0lD HyU/v3jNUNohtk8wcSOHkYWnnzzXcJIj+PgF+23+p5K7vjkyAio//Fahtpt53L1LgbIfPEjY 8hMbiT5UR3h9D0bn3d5tMqoKXQbNOQdbSopD+jxp56pdiuvprJhXCwand98X6uQhzlKwLmhc uj9by51S48gtetx9k8Z8LHL9R1BdlinkyRAWw8Hp0/24OnTv8v7A5Li19he1Yt28M+t9B44E H5rP7dppwvOU9GpCVFOPKshSd5/5lDuLmyDH3F1LLOqEo71xYsfcT/h2Sus1yR92f72gMwVT iF5nTu48WHre4BUU66dXO4l7kxZHMk5Tir4YMj9L+vbsW32ka1sMeGXEx3ZbXlF6WRj1ww4E XQ40lEpaQWMTEt38/IqsNJwHhyILFJqw5NSxStoL51xav6ifYYk2UFWs3Te8kM3iMCv6IwR3 rJjVOWLL3Gus/KM1x9LQhHRCZ95CEBNF/PSIXqjh44qBJGumwm2YWEoXx4I5CwhCUxgkZLUs kUwNdfZ2pL55Cz6OsBtmoC42/8LawCGp1BgZDFwo2eg+kHBy6LET2x+NJ2VMLPg+Osc43Bou Ouhxreb8UUGkbo59yocvuszUn1XnVjxRoEFYBeZzG4XNN7DPkJfVoCbTTEzuOVpd12Ijqpfw pR6ryOKjmCY+z3euDxokp0set+5iWEypGjeVOwMq3lOJyI+wChNp9Yh+GZ9rEDBZKjXvMivJ U9kg4Vkkykp7N9TkqzlVP16zvKJ4Oz+ZfPLRlBoFWknai+cVdcBQwkWzUY9g1/FWd/0Tiv43 zNJcsrxmM/X55rTBjRARO8+8a20PdJa/N3w/2Vfj1QmO3afQSb5CIqhQ4R3N1b53dUBVptTb x/0uV+Gokk0RAaRTO3PKkPdy+6u+Ka1Kmh8zD0KSaY6eEb+X79omqsryRO4EES2WuL55rsVz RPKM8M3x1ZlrotsKKo3nkikTN+hMnryma6n8HjpGf0cxO68n2EmSyc3kWTTrkWG43dyBF9PI aN+m0tOvPJQLwU2Kzt1J5TYvDu/nOTK+vBA6t5tn7Ra1ZZMBVfZ9a+U3EyOru6eaP5ITkvBY qXGJVFkForX21vxYtcTvyLjQId8Mu09yNeQ1yxgp6rHosUwnhaV3j5yeVr+ymGWZ8EQSGEzz Ii02aAwsMNKlRMUWsmzHfSYaJHP/kBD46uf5QvCOEcnQG2VCs+o0ZM4ypJnri+nqVxUkv+JO jCpCgfzRh7YFHa8jE9c9M3qgQ5684KzIeDZLfRW4cPVbKtPiI/BwaYCDeDm70kXjb8fYqqts QlRd5oYWVvoU4q8WOQwnisMtG2hk3onoyk+/etaEUXhwBzQY4XNhO0EV+S5Kxtp7ujCyPeTI Utd0ykfHQ+NVecXzTbUIK3gepdpNgze9r8Nb+Gy0XokyTORuErkaPZS+3ofechExqTTlkUju dt7L3BCKHzNb4NTcyOTzuhZ/xau9QoBNeLByJNP0XWdQ7F5ctZNoT9V0i9CtMG+0XGfw0QlO ZZERZKnUdPDt80KQfoXaPZ+CRJAwm8lKBXwqezmGtZwNNYlD7evUMcbsByhluT/iSY2sha4I CgncnU4K3tk4/hpEha99YVfvddrDVUIJHVD6tzk/olJMYvZWl9nuvJEejhJ7TkM1p8TLLnfg +ItUWos4mwb/3cazqYdck7Tn5s6E0XnGz+jYdWSG9cIj4js1p8b7uPk0SUSRSyBT37r27obn N2rVBHW7ItM3C5bNA1QTeNo1Td2Nk79Pxvj3twGuTEQDJVa5YpO3M6c2k4fQ1Q7PisuS7F1W PhUVbSKNMOmET5PPdCcxAyof4y+i0UXnWklsae8BF8ifH7h+UWJOaBRFqFAXZyBcql4tHSJV HxOFpUT4+sPHsov836+UpB8zao0fPjKq3ZvdfmJ1DmcOpdPheOR2V1qUna/CI4G2K7TCXc9x 44D42Hhd7vNt/URvZ2hYGUeoIrqQYa4nncjyA6NoC2RkdMbwuW2SveP3vETzLO09BYXH3oHC id0fy+0ntByfq5jsZN3XVx5ct1wMsPnB6ej+7BIx02r1ur8U3d6g5y0EUQs0wTB/v9REJQod nTzay2Napng3BKyyDbLv2N71sXLg1TCneF+99vUHmGxiTD0v5mlj0tkfkQILs5x8Hm9UAzkf XbP1cicdf+Hvbkz+OvvbiOXF18nMAw8ve77PdXraHNdU1S0+NVrCE2jQRzaj14Twq8s7PI6j MP5O9vpHfUqXWSZDl7T18oai0n1ayslxCRrN2pxrtI9Ew86W638hMWPlG3OrCtfL4PDwC2CF 3JUI6JJ9sJMzL87yzX3wGetOcmGp8gwyAe5yffBt3lFy16P2i5UWm24WhinekpEBX1qCr7BL qF8eCUvNgBcqCWZ7ljltzS4BBNpKzzZWDKYi1d2SbqnaNW3usmaaZWrMPHgXjUJkL9Csld6r eXScMlYQd5RGBXDend7PX55rvxX4gjzjpCiLazB5bESNTGxWgE3EWkDjyGVLqnbsSZ3ogPnT kR4IeYFgt95LN7oYxT1pLZblgKj2pRMTOGrW2TDKras5ciDBG7LDWuOwKZKZF3lhbFevcYop q1YNul9OYhHV1UtcK+d35GxKe6PtinXa7bbj+JeaFj/ktl1f7is9Oeffqgikt4QYppFo1FzW 2AL1yS8ZH3Z2jetTzO0/WWZUCDprrXKlMsxv0LFX0etRxJxBI+58XsL8amVJr5hbnFOhg9R1 8rHkZU6jyJJgvQtN9U9ZjzVWSwiqmGjOYa5mcRZ2EOnFxOmZOSWk27X6ClZXazm918xQnTuC krzN0EevGlnzBeZSgamq3CiKVmKTVIj1RBiYMi/n9k210OqljJ6cOZuUPxKJzO16+lzzcCvE q3GnLfGuQI2AX9ljvr7V2DgQ51gugwpbd0rSmmSoASJqEK68YZLTa6BSQzmiBEv67KfzqaPC uZTmTMc4VlZJTqMigzbog7K19a1mxRvOQdJWca98p3zvZWOGXcaOtqMNYNkQfXlbYp7SFDZb 2VcXlwhu88mFNjzjBepxUQ7prgSTgTm+CS4vNHYMWuS9FttSjCJD5KRys1wIgBN7alAtZpkO TEBnnhTWmFPfq80v2j5Y0XExZfrq6HoSJ2y7gjx+XNHD+E6d3C3qxHiiJh1wQ1ZdSRgQqbna eJLk/7H6EZNxCZ1OW0qG9+03u2Jam29KpJoV7CepzYRU1F/v60dEXHCgPH66w0k87MgZ7Qsz EbQemZsm7wlkvieQizGWqN/2PzM6aaI4LlHORfHQyaRM5VVQOSu4Ft3qztp9mEDfIDQTFnRs tWVf1NOeTyUflnDy8Mj2M2PDahduu4A0RPmqL+t6HTQlkvoslSqfIdX5Cic/B1G/JlFiy7Qa Y4txr3b6oZ70l4sd3th7ekxUZTnD3caN9GMTUVQ55oTobBU+ignSNK8h2kPacHovY3pcO2Xd M5bwngvbUlqhg+KcVCVc83LvnCB3Gqdm0ptbPsvQi9TEHFP0G7at+WUYvdxdHBwnevH0QuqM /+sYn8wwH09zHZo1809GtfRMgkf8yh2Gk+9ISfNEEGl1GjPacIHGIB1Zqdl06djdYlpwdt7j g7N+iVDdcQbBsaYWXi9EKL37PRNvRAadkwpfJrVgDy9JJMvEt5cdbESmEUgYQY5jIGMQVK3U dGdUfHosvb2ak8Ci8C4cskBvty/F5dlmlvTxZv9HQ7bmhri361LMUbvL+radjhbyC+x933L9 ijrUZ2N2E3tkNWnU7bwjaq8kyg+rMyoNzXCIjWZ/gsKNL70JcWTjlbY8TAxy+FifrUdHd04R O7fNXWqu5+Fu0DvP3BeL8FyXrIwJoUoVXWNfUHZff2odVIUdk+mwsfoaj9JsYbRFbp3oxkHN J/kqsALPwgMYfAWu8EYCvcA6bR4qrp2YK7C0cxNlpWpUlTlb5bkM068TthRYP4AqmIMjntLu CR1qJ2Z873x3ML8UX3RUuTdBtSmb+yCfCYICz0wmNI7elAyLoi8TiCMYeK5/8+yqxchsLWx4 M3pwiPIHBGqfbfZ4ouJCYseTp+bKBDQxcxdP5t5vRXrGyvvtx5Xk4tJ4svu4vrSOy5Py3pYj SQc7V/tlyz0YieLO6p+NvL5ZvrUw7SKVLFNk5SoVMCNLdu9Knc75beW0S5+Mejysbxzpps0p dwjrtBG47PBL90Sr0Hx4L/0mysCrtv6yBVH413nmpxAWg4exZ+6DHaj1Vwu62O+Esmm1d9dK 5PRX+Ny35GY2Dl1TSCmm5q/8Zqt6mcFVSa15uUiEs4vGJF+OkTUx/mNR6sWDmMaSYa5j6ymG xoAXJzSphE6UX7A+TdkrSbMLoXp2yZ2JZGn6XY++tek/Mhdai/Cqu5z+mYLrMSHJW9ZGHsFQ ModcCormkCiWMfLzIikXOA3829+1vSaBUEPTHqPq44XL3Zjr7FRJPxLZWzK0du35CIxb3mJ8 zizHPmSaq1o1dDuP2U6+XBauVNhpWyZXe7KuGXu0KUPqzMu6znDPrqNO3vZZA8Pts1Lli5cN bXNiyYiCnoczslYUUJiEerALQNHxYkq8y9oBtJxc2TY3Q9SvcOW/l1/NOGAPm1hTYC/6NMxJ /enZcc9QTrJcsIVU+wHT1xn/+VJ9fZy9mwjW0MGm72Z8thHliDOuLJnO7NutAupFMAKDXFTM p15TWxF+t80YaskBM602uvtm36vqvvi/+AH9P8H/CQIoAgbB4FCeEMx1EOg/AJqsJ7AKZW5k c3RyZWFtCmVuZG9iagoyMiAwIG9iagogICA2Mjk4CmVuZG9iagoyMyAwIG9iago8PCAvTGVu Z3RoIDI0IDAgUgogICAvRmlsdGVyIC9GbGF0ZURlY29kZQo+PgpzdHJlYW0KeJxdks9ugzAM xu95Ch+7QwUlLWgSQpq6C4f90dgeABKnQxohCvTA28+Oq07aAfyL8xm+2MnO7XPrxxWy9zib Dldwo7cRl/kaDcKAl9GrQwF2NOttld5m6oPKqLjblhWn1rtZ1TVkH7S5rHGD3ZOdB3xQAJC9 RYtx9BfYfZ07SXXXEH5wQr9CrpoGLDr63EsfXvsJIUvF+9bS/rhueyr7U3xuAaFI64NYMrPF JfQGY+8vqOo8b6B2rlHo7b+9opCSwZnvPqq6PJA0zykQH4WPxFWRmAJxKVyyxojGcP4k+RPn hcvETpgM1IVNTIHyWvKaeRAeWCP6gvWVaCrWVOKnYj8lih6ZH4UfibX41OxT58I5s5xL87m0 eNPsTUutTrXyLwrcqFtHuGU82/sszDVGGkO6AKn/3PnR4/2OhDlwVXp+AeE2oekKZW5kc3Ry ZWFtCmVuZG9iagoyNCAwIG9iagogICAzMjYKZW5kb2JqCjI1IDAgb2JqCjw8IC9UeXBlIC9G b250RGVzY3JpcHRvcgogICAvRm9udE5hbWUgL1VZVU1KTStOaW1idXNSb21ObzlMLVJlZ3VJ dGFsCiAgIC9GbGFncyA0CiAgIC9Gb250QkJveCBbIC0xNjkgLTI3MCAxMDEwIDkyNCBdCiAg IC9JdGFsaWNBbmdsZSAwCiAgIC9Bc2NlbnQgOTI0CiAgIC9EZXNjZW50IC0yNzAKICAgL0Nh cEhlaWdodCA5MjQKICAgL1N0ZW1WIDgwCiAgIC9TdGVtSCA4MAogICAvRm9udEZpbGUgMjEg MCBSCj4+CmVuZG9iago2IDAgb2JqCjw8IC9UeXBlIC9Gb250CiAgIC9TdWJ0eXBlIC9UeXBl MQogICAvQmFzZUZvbnQgL1VZVU1KTStOaW1idXNSb21ObzlMLVJlZ3VJdGFsCiAgIC9GaXJz dENoYXIgMzIKICAgL0xhc3RDaGFyIDExOAogICAvRm9udERlc2NyaXB0b3IgMjUgMCBSCiAg IC9FbmNvZGluZyAvV2luQW5zaUVuY29kaW5nCiAgIC9XaWR0aHMgWyAwIDAgMCAwIDAgMCAw IDAgMCAwIDAgMCAwIDMzMyAwIDI3OCA1MDAgNTAwIDUwMCA1MDAgMCA1MDAgMCAwIDAgNTAw IDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAw IDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDUwMCAwIDQ0NCA1MDAgNDQ0IDAgMCAwIDI3OCAw IDQ0NCAyNzggMCA1MDAgNTAwIDAgMCAzODkgMzg5IDI3OCA1MDAgNDQ0IF0KICAgIC9Ub1Vu aWNvZGUgMjMgMCBSCj4+CmVuZG9iagoyNiAwIG9iago8PCAvTGVuZ3RoIDI3IDAgUgogICAv RmlsdGVyIC9GbGF0ZURlY29kZQogICAvTGVuZ3RoMSAxOTYxCiAgIC9MZW5ndGgyIDUxMTcK ICAgL0xlbmd0aDMgNTMzCj4+CnN0cmVhbQp4nO1WeTTUf7+PkES2ErJ8kTUMslP2bezZktCY hWHMMDP2UNaEsoUi2XeyVci+72tItoiUPfsS7qjn+dX93Xv/uc/z1z13zplz5vVeXu/t836f 4eYwMBJSgmFs4OoYNF5IVFhEFtBDOtq44G5iHPUwMjpCunAYEiDIJSi4uVWwcAgeiUGrQvBw WcAMDgNU4VBATAwQlZGRoeAGVDBOHlikrR0e4DO5acZ/9argb8mJCWDj8U8NwROHtEUDPIQf rnAUxskRjsYTKP7XjkZwOIC3gwMIJAoOqOgbmGvpaQB8GnomgAYcDcdCUICBiw0KCQV0kFA4 GgfnBxAYLID6BQAoBg1DnpSGEyZwKeEACIBzgkORBDe4OxTudKISBJzgWEckDkf4DSBxgC0W gsYTeoDHAEg0FOUCO0mAIEdgfibkhMUQLBwJOgKZAQaHx0GxSCc8QIhqoKr+K0+8HQR/EhuH JKgBDIJgCcNAXU5K+qkj0BC0eAgSjQPwcHf8SSwbOABD4pxQEA9CbAKZExb5Mw0XHBJt+zsD QQALt4VgYSg4DkegIXCfdOd3ncAf1UOcnFAeP70xP63+ygGJx8FRCGEKUTFCTCieENsWiaYA nbwVLTQCA4iK/JLDXJz+qXOFY382iO/kzfATkoDAMGiUBwCDIyhAehg8ISTA97+bsvC/b8j/ hhH/Wwb8bxnvvzbcv8/ojyX+V/f579TqLiiUHsSR8AB+3RiAcGQgaIBwZwAd4OTQuDj+FxeI IxLl8T85/d3aDP4rW2UMCvZ3nRYeQmiJEtqWMBYRYZFfQiROHekOhxkg8VA7AAFBEfr1U26C hsGxKCQaTpjrz5YCQqIiIn/TGdshoQ7okwFI/FLB0bC/p08Y1c/kQSoQJBbz88iKCf2DyIAw eLyxhxMhn3+kr4uB/QVObJWVMe6Al5CopDQgdE1clLBvhCRkJEW8/5swP4lEf2NdCB6LdAcs CLWKiP6s+B/f38jybzRqaCgGdvJUxCQkAQgWC/GgECFQiklIAF6ihHcOg7uf7IodABJGY/AE F8DJBe99smMUJxdAXBIAEfYHiYGdyH+JZAAQBg3/CxMaBcK7YX5jUQK2w8J/W0gRLNT/QjJS AAjyG0kDIJvfiMAN/QudjAcE+wMSmOF/QDEAhPgDXgNAtn9ACQCE/AMS4qB+Q8KVA6H/gARm zB9QHABh/4AEKtwfkNAT/B+QUI/LT/ifOg91wWIJ+/LzlhIe0T/xzxMCh7vDoRR7/qun4pa+ SB6AY1t1efICGM1Wazg8YoCbLg49QRT6iqT0YUvcPEVMVdNVNzSfhtpUpp82eA3ZT+6RvJ78 oDiTX3IWfKlFiCtNyEBly1XGYV6xzWU1Wviy/6pAEtjbL8PIe3aqjXPp2fLSO9b5+cqz2VbF OoJMxNAoAOtOa3v59efbwV3e0pWw515CUPeO9Q7ybeT0Ck8+EHGuYJcrYkP/oQOJd04UyhlD c7E1JFSZ17yKppfKX+7R5GFc7Mq97EMQrFVYQVbWt6572PusfJw/T7Bj7X0/60K86rlRe4qx SwtZqSjTl8385FZBuD2u+iUurjKNHt/9XWHHG5zp+xaTT9WqiuvM5Iek1kwojSpGJ7v2RKq+ TeIMQ9I+MUkvzslZaz/JIqnIZfSXYwCdSmYdPe/7KXCP/By2kfLwYyY/jaCPT+97TwjfDvj+ 3u3Bh19sEp6NWBwbVQrL2LuZaU/eeF3bxZbusboZqGWUJDGJpi3wZIqckTPuNG6K16Qm9URc VsE5y3hUWFznS71VGpX9LXRQPVjmAmlUaUik4rlk5cePYgQ6tdM2wRd/fGq+1EffY/DZrPeY v872IKT3Voa0XCWrbObYR8uVi77n6p+pd7c7B0Qu3It7rCOdHzwS266HhI3qHzbO3xaTUIkl sdx4Zq97DnpwIRKlNBNmup3Y3k9XdanqW5BpyDvDTXvHuS8SVnRp7QnzF+tHEonXW+q+fiVn UTzkMkoD/FQe0oeLvtFpuJr94/n3fv4rhoWyVRm6OiuV3SSc5mhZ7Sc78hPw2nNsMS+VVO5p Dm/phRcS9ck+Vjsu5iZ66VXw6Xhnr9ezR/Ueix0b+LqXhAe19Js52lBfGZrr/cY7mkAF+yqL e21K7MWB7oI6pNi8vZat9wYktTDt7fBtvgDGa2YvVD61flUvWoL05ms90dQXlNjKgjqLVvhF V+tprziN33E0PNIL3X/8QT1J2ht0R1DIs3erQykcujGZWiTA6/OomnTCwPvHVqbGqdNpZu1V o/LlEgxWR5YPiyq1TT5/bzDJothjTzIV+ABL8EIINb91HL7LMGOP4Ld/LPi6p/izK3v1MS1A /Oq+mswnljl7KvmN4vTWEqaqtLAYiuMEStXhCSK5HyRXxSEcnsvuZHLUCVrOb684v+zVerDt f0qlUGan1G4sq6tnT88BUVUezL5cdYZnTmLwqRbqSI/1E5c9he7E8dJ7ZX9yRQ9cW+VngXE7 tusXkRx7LrVLlOC6PVxnanV6bHXNYcu+YgdqPH65Y4Jd2lMPoV0/YD8aLj22cy+Q+wwva7Gz cXoF6acHAWaeB3YUVYeZmopgdwvNyHbTgXkxQcorFZqaTTsqQMU3n7AZRXiF3iA64U3l1TV1 JQW8UmBi/XRWyT718F6KDFFDzoDCvUS30Yij7rN8DqrXm9j6cVVts0YW7LN+Z4Jn6LhzrOJC KseR86UX6itPt49ZU9gzJ2iys26Z+Gzyue6suPEae4h66beJbCmZuXCWEW1k+ddqaF+0cHa6 eeaV5bN4sm65eLonPZzMrxeRNznyetr6P6xS8aoi7+OqyTD7lGx4R+5xdtr2HO4JXFP7nYCw s7SD0fHZZ9MHNqxMv1MhqtzHrJoWGacytPJrL18HXiYjoSlN0L4z7JZlFnShrn0qxXa5JmST 9kCBpWsOf78Gu62Xl/FQRE9+jURqCu3deimh91nlqk8T5j5dqGkZ8AJhdlHQzB3ZwCFzQyKe iMu1LJ+kBlsFPrs6Fu31aXK8HPJ+o24FLl1F3DJLj2gD0XShxcPwN8wO7t85KxKQT9wogKJT Y2n4lnQr1CHfELLRYPVAX6ROo02sRkH94CmolSk64q1106HcNxPxXHn2fFXwLpp2sWId9dyK kYO/FIXJ9xnrSaesvczg0aHCqvmyflV1frzz+KqrBY/5E2mXAapofE9S07I/1cWXYUMo2Yh7 mu/o5zh98z9anNM9onslusfInk1LqnHoZmThTUTMeJf2tswtt+JZZbt4+yn9TlY9xdLyZ7vQ g9WrenE30zvFBuLDFILkSLZyn7+EYVT2zbaE29Su0iS1u/ZeZQGPoZu/1MZHavcVFRzn3lQo TKLI5Sy9T2XtPcSu1Ci4uIS5OL+xGaoktZfDsWfDaGpmlvQwVs3ZUoImM4NumzSo/krdZAGk 1+NM8+s4qXfDDcLcjqmjE/ONox70w5RsCBt24W/nhF04pKpmwN5Zi4pv1e5J1j4nV6ebHR05 CA1TuWQjBVloW+qV2/OpfK5Z7fSUjvhAtvFj34jrskJBvvuzSKpE4sxducqJOwcmYrmChuVi wI0aT6Qxa3iuT/qdHL3sp/K+OqjXoPc1zirAbQvqvanbBlzxLEE3B/aiGqjEI4c8+iqjP+YQ f9XVqtQIcNxGCpV95PPN8SZ5OhPWoxTkVe6913EGS8dDslqYwaEcYGj2jbLKtBvIbbheDdOH Ng15jC2EfVHXWtWYMUVsr5lnGswnPRoKD7dolU98wPE6eVT7odykYQefytPLDW45AkedNglc GrItJFmLY58xexdb7utpXlsbzgQWPtj6b4nWujvsAzgEmNl3hHUB98UUNaVvqmFEJKslFVNL ZyBMQv2RvWWgu/m1XS3G4k5X4NGjAZGbXtsyQyEQwejSRIM2en4vhe4sRtd1f5r6hLJIX8SB 8oc++TNn/NmFyMnnIOodoXU5jLaj72jWSDJ4UivUra0lZ65G+XHW9ftWFjeryDdPpexRsutv ahdfIGG4An2eZQI+ul5cXvC5T97v03P6KXvyu1sqycJKjgLiRB8LXS5sfhs+lR34hhavLZlt MftyKG5/0cpL2sz+KDwqYDCidvLC7A0aXzLacns/h6X2VHyzcXlAY/Wuj7Jx0V3kyrYrFEx0 KsLvSPC004W4F0ZrN380pGM62Azr2io0Lt1kuvSBhnbfVOqZP42QiJQP+NQyn5rGNKhZqBMp wXTje9TZaCNuUKxLP+/DmXxjKcPqom4LUul+FlsfM/97CyWRJa7f3+R+UOnJ5ZuApXRpFw+Q pJN1ED/hK3W0eujJAwlO7IxcLTmbup379XmxI6MkhznE75ihpfQgV9aFhJLdSUJjUwSW1/5e 8fTnyrVrI6OU12R4bgcweuMFVrnH+zj4BS+30/p9/yJEXM8IayyQuEPPJ1I4cWTjNky6g2QT TlsyxaRtGys/ff91cF303vaNQpbJmoFs0zp6ypfqrc5E0bTVvPURB5gsa2rz4lKFMDKrNVMy 5iMLnccq7+rTPBtP/XjH4nvfoCyz2xDbDhgfhrJ0EekQeb0PnL4+SB8YKtTLL6I6xaFGHMLI BjZ0JVfmZeH7qJ/foKsW5Vor9ITbWQtfWrfL02qFGG5eJO1ZW7g4H747NZ7xwPlq26n8SyXy kPff9UIZaeeLYpVAklazzHSPihs+cV2DIEg/VJdNCLa0BuRv5OXkfS+YTzzVfLxmzi756G2A HCfNwjl3Mr7csj5GI/p3jrikWouBIJ8sYRXUsy/Ly3WbdCRJZ2/mrQlEMX+/r2O/et6w5Hwg UJ+Q92C/ovpZJefh65TXhe4T4FO+VrekZkctznN0vPcJQfYP6gMxEr1DvHeie287RJWdlZbv 7ZbYSBp7sOMkP5NbGsVtpTpZzy89tsXS887xHHZ10f3VGFLgNU5E5n1AXZDdxLz7NWfOA91L ar1EZ+P3mB95NMJ0Xg3QSomGL+U0P3dLGnNvoQ+dE3ffikIYStNZ0GelyQ5YznCr0Tk5PIlZ cK5U5hAkvi/sZf80MXN/QyFmnIOlpDOGM0yARFF6MnOAi+nW8+22Kq6i1Us55+SjX2cwbXlm BZbKLO2IhDWfbil3DedZKdC1X6d42sRUIjCRw+cXoroAv5+YJr7ezD8weowAOxtc/sKQVtnR kXdKymMex+JTmKszHeMwM8je3NJzKYE2aVGPnW5sUWaBTThRi8RQFikYk6dgh3hOU85VDpNX uKP5rs7t/UR//fKlJNrq0KWnuKCJsAGF6mMK5IhTS8f5xnWPBw7zNx6Z8qoYmL+nPaeS5xdi 7eUxA67kDV1tCLRsdS0MbvX9YdsoN2V8YS7OSPXKAngoREPuAmJK7jpR9CtfkYnETFhmQB0T TNhcd5hR7Ide9XpeQ1SQlyoEBriXkPoe+J4SI+7UY+shD667sBeyInxeC3q4uZ7Z6tCeeuyI 62sycTL6njO47I3oHTPqTLwzZEgeE3y7X1FjivOtw9dWzZBpuzsQkiCIm4OmYf/eqDU+oKTI 2hqLCx41ng3nz2Z1b7kg8oM3Il7Dl15+BXdjAn7twIDoQqwwhMorjuiZyf1Z3c46K+T58Xvd JgWmGZc6NyPInPPiiaLP03wO3X/kQMu7OFdyk5ctX/UDp8DQ4/5Ol8F7Swtlqbtp+5fRfauB 7z2zI8R9WZQ/1A0+IKMvqusrjxTO1xak9rHVTm5e4c10XIgt9WMVvdtrFzj3hEFTAz3OzMr0 ge/tPUewwMMODOoWxQMG8TZgXf8g+S48j1PD4coNiBAa7CQQs2BQQzvR2zMwdIufXFlglB/Q 40r2RZ2nT3mh/RZ0ZNb7ubaDd3iT3vt2dBx1REv24XnE23U7Ksur1jV2Og6hg0u0VCvX96bb Sh92KRTkiTpuxF05+6iTc/nwcVkK5jT4SqV+CjpAyi1hDd5W3lvZ/1VYJu20VJv4Eipx9H75 wsQ4QumLYVOH6Cspg9AzwsMaULf2nJrzl9/HR3XU8omlpj02ehGthu9ar6vVhPWZD0C/VTEK lte8lfry3GLbqPw4yVh6KjrpFPMr2m226OCvo9fSesPf7UJhUb0WKEoQkb6GX+GQHWIt0mFC Wd/vdezg4McazUidrNWeglc/bgkXrardTBLXZtiN6doYyWB/QXmQf1E+2mMutQx0HhsVXieC L7gto7ul7i6at+/OnCD3xmPL/7z2eC9V7ldiy9JAvdD4hm+KavTJG/kSGs6gbO7Z1KnL6O+f vOKgxn76sFfSAh9t8oOxEpZL17f10+6T79gZlpS8nalTC0oLq8/+slY+duVUtZEjtTnSxf3Y E6T3ddduYdHowJNT8rwf6SbX5+4kLYFMbRmdFIZlk+klhqBmun0u2Gw015ZoV/9W0ip7uuD4 ki53jlve/F1ePiKPsNMBNerL5oB+oMiRtukIePDZkdcQz5PKvMaRFer8x3to5KyxRPKV0Fer PkOXSJGMCX51In65g3P2bdj12rKULLb29PlYxfKPezL51gHzNxJiXnq/5BJUKjQXf4/Hvrae uND7aNk3kdxuidjqQ8a1Ef5gkYSv5rB3i0u2Og+asIvmiTUah8fqWyI4ge+dQLl7VaRa67yH PT/b6PpBceoc7ecF7HLlGC93jhqXwZusjhEtQx/lHKH8Lm6W1Fr2WFJ9DtEg04PGW7pmX9e7 nXukehMLmkCD4/TktHBjqDBT7fzLzPiyQMvOjVfrTzJGqiSx4LPiJtnBPTWBxjFp7NoXuOSi n4XyIdhSXz1nYIuXlXnKqsZGkSITxJxD+MsjNSLfwEzbnZA1Q6Ep8m66KoUoaqTApuvYs8JN qIhFJw2xZV7d/T23ojMZM1pPgq6Iahqttb5lF25pIHxxTl7+G3VPA9dmc8TTxLH2J6SaTNci a8jybWVPqw4UvC0Sxw14zNrOX+NmBue3LF9nyvBXyAh59oprr49mU9XTuWevF62wBDyXuoHy /7xIs1pRYtE+XZNYnUaWGFGH5TYa0q+YwGkX3Fr53LzTkdD9uZlJKZ0m/8qxr6V6mZua0NBB /T1hLVrmH8xkmOiPSHIVk8942xg2lid5MVgrTbEctotPWFd+IBK/nMFx1AhkhDQ7uTl4qv/I 9y8ddZ++5DvzJSQW1uEWY3wmWsLqcKy3CMtpiTmdziM6N7HLGng0dn5VwCSD0RXxbZTOvPdK /fVjcwg7CCTrZxQ8+Ymi9n33qj1dFwO3/s1UjAa13BBaIOi57lhySmmVcuWTASNa7jsy9x46 98GoKLpO23SlI6kL4slnXzxdzqntl3o4s15cqaE8+rHJOqo/5mvSjfEGZS/PJTefdEErATld nUNaycocMqyb7RnmsIM3HY2lM9LSdt8fcQ1s1bR30K0JEc9WZaH9Ery7dgWMG1f8zLJgbdYd 0eD6KbBaYq5X6LnkTVYTmLT+puyVrsvdQkSPQx8LatuAMWJD2UaTW0VfI7zQRt4KgcrXIhnk X7yxDldMFwP8JupX/EsrwJ57LDoIh7JuyTD1fh89Mj6PFD94BJ9/XAhobqn2hZx5mf5ZYpb8 OyH4G1GeCVee7RsnsrRnSYy9y1sm6cJJyDwTTsSN6NG7ej9eJ+YYYZaBZG57GjstUZ6Vrqki K4UFMS9HJisH2iI8H3yqLf+wMhN0fadBMGwaNmO8ZdVOOimb8Zqh1DX/McBOZdEWvqHUuruT n2i7FDgV3GrjthZVm/q4Ynrp7Tkz9jcPwk6PAcqnM/cHzEeiQJVglhcDT+6VP9SI5r6isOMH 77s1QZ/zrpkW1PPA9ONkSFFcz9K2q4Hg+fPNqJUpiunbktfC6HszwWnyxQuW2zvhJtT5MTz6 mcFEcT7NXyFXCg8Uznp8oowvSbN5UaAZr5QCP7T3aUl60CKhd5TIazM0zSV/QY+HW8HEsvAb /WmSZwdlbBp3DC/v8ioOOpS0SnIaVmcVrAlQnpm+Om5+u1wgD+eCaL4F7qIFUQfWgBYDwig4 lHl8jh1X4ZbDcbk+2oJntO2IIiV9BhCyE60XpxkzVO8KVqvbDX1I51pgG6kWrbMeshK9FWv1 QVp3cC+7U12ORhDm8IbYS4vYvq2Ng+FrdDTtsbv28bB5b2JcGv/qQtOCyOUlImeqxBw6hdhk N+qk5eQ4iy9Zx4n+ZXGNzd5UQ8qiM+Ui/+KH4v8J/k8QQFFwCBaPcYRgHSgo/gOEcvUACmVu ZHN0cmVhbQplbmRvYmoKMjcgMCBvYmoKICAgNjEyNwplbmRvYmoKMjggMCBvYmoKPDwgL0xl bmd0aCAyOSAwIFIKICAgL0ZpbHRlciAvRmxhdGVEZWNvZGUKPj4Kc3RyZWFtCnicXVLLboMw ELz7K/aYHiIIEKNKCKlKLxz6UGk/gNjrFKkYy5ADf99db5RKPcCOZ2dHy5js1D13flwhe4+z 6XEFN3obcZmv0SCc8TJ6dSjAjma9ndLbTENQGQ3327Li1Hk3q6aB7IOayxo32D3Z+YwPCgCy t2gxjv4Cu69TL1R/DeEHJ/Qr5KptwaIju5chvA4TQpaG952l/rhuexr7U3xuAaFI54OsZGaL SxgMxsFfUDV53kLjXKvQ23+9IpeRszPfQ1SNfiRpnlMhrAVrwnWRMBXij8Ifma+ErxgLXzOv UTTI2Ag2rClFUxKuxL9if12LpiZcHhKmoppCfAr2KWWHMu0gGs0aLZ6aPbUT7BiLXie97Kl5 z1L0VDiQ25dzNHyH98zNNUaKO110ypkTHj3e/4UwB55Kzy9qtJybCmVuZHN0cmVhbQplbmRv YmoKMjkgMCBvYmoKICAgMzE3CmVuZG9iagozMCAwIG9iago8PCAvVHlwZSAvRm9udERlc2Ny aXB0b3IKICAgL0ZvbnROYW1lIC9LRElUTk0rTmltYnVzUm9tTm85TC1NZWRpCiAgIC9GbGFn cyA0CiAgIC9Gb250QkJveCBbIC0xNjggLTM0MSAxMDAwIDk2MCBdCiAgIC9JdGFsaWNBbmds ZSAwCiAgIC9Bc2NlbnQgOTYwCiAgIC9EZXNjZW50IC0zNDEKICAgL0NhcEhlaWdodCA5NjAK ICAgL1N0ZW1WIDgwCiAgIC9TdGVtSCA4MAogICAvRm9udEZpbGUgMjYgMCBSCj4+CmVuZG9i ago3IDAgb2JqCjw8IC9UeXBlIC9Gb250CiAgIC9TdWJ0eXBlIC9UeXBlMQogICAvQmFzZUZv bnQgL0tESVROTStOaW1idXNSb21ObzlMLU1lZGkKICAgL0ZpcnN0Q2hhciAzMgogICAvTGFz dENoYXIgMTE3CiAgIC9Gb250RGVzY3JpcHRvciAzMCAwIFIKICAgL0VuY29kaW5nIC9XaW5B bnNpRW5jb2RpbmcKICAgL1dpZHRocyBbIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAy NTAgMCAwIDUwMCA1MDAgNTAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAw IDYxMSAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAwIDAgMCAw IDAgNTAwIDU1NiA0NDQgNTU2IDQ0NCAzMzMgNTAwIDAgMjc4IDAgMCAyNzggMCA1NTYgNTAw IDAgMCA0NDQgMzg5IDMzMyA1NTYgXQogICAgL1RvVW5pY29kZSAyOCAwIFIKPj4KZW5kb2Jq CjMxIDAgb2JqCjw8IC9MZW5ndGggMzIgMCBSCiAgIC9GaWx0ZXIgL0ZsYXRlRGVjb2RlCiAg IC9MZW5ndGgxIDEzOTIKICAgL0xlbmd0aDIgNTk4NAogICAvTGVuZ3RoMyA1MzMKPj4Kc3Ry ZWFtCnic7XdnVJPrFiZNhCAdlE6o0iF0kBZ674J0AgQIhARI6L03KYIFEClSpfeOFOkiShcU kSK9o9Jhosdz7z13Zq2ZtebfrEnWSr5372c/e+/3ffaXLxws+kb8YAekHVQViUDzgwSEpIFK OkZmICGgkJCIgJCQMICDwxiGhkP/tgM4TKCeKBgSIf0fCCVPKASNsSlD0BigDhIB1PSCA0Ei QJC4NEhCWkgIKCwkJPU3EOkpDVSGeMMcgDoCQE0kAooCcCgh3f08YU7OaEyevy+BXPbcQJCU lATf73Ag2A3qCbOHIIA6ELQz1A2T0R4CBxoh7WFQtN8/KLhknNFod2lBQR8fHwGIG0oA6ekk x80H9IGhnYGGUBTU0xvqAPzVMlAX4gb905oAgANo7AxD/eUwQjqifSCeUCDGAIfZQxEoTIgX wgHqCcRkBxppaAP13KGIv8DafwH4gH82BwgSAP2L7k/0LyIY4ncwxN4e6eYOQfjBEE5ARxgc CtRT1RZA+6L5gBCEwy8gBI5CYuIh3hAYHGKHAfwuHQJUBRsAIZgO//SHsveEuaNRAigY/FeP gr9oMNusgnBQQrq5QRFoFOBXfcowT6g9Zt/9BP8crisC6YMI+HvlCEM4OP5qw8HLXfA+Aubh BdVQ/gsDdEe6Ax0x1UCBARgv4N9uJygaKCYkJS4uBgJCPYBQX3tnwV+5jP3cob+dv82YdoIC /sURBHOEYr4AASiINxSI9vSCBgX8p+OfKwAIBHSA2aOBdlAnGALwb3aMGer41xojBU+YL9BC CKNEEFDo1/tfV1YYsTkgEXC/f8N/n7agEgTmifwteBH+/+BSVET6AgP4haWA/FLiQkAQCCQO lJAQAwb9k0cfAvtTh9C/YzUQjkig1F/lYvbp75K9/8iB68+scAP/yaWLxIgYCuT6t+YthcSE 7DEfoP9j5f8O+V8J/hfL/1bz/12Rqhcc/tvP9Rfgf/JD3GBwvz8IjIi90JiB0EFixgLx31BT 6F9TrAN1gHm5/bdXAw3BDAYY4YQRNz9IVEBI9C87DKUK84U66MPQ9s5/lPfbfv/X6MFhCKg+ EgX7dbPBRAkJ/ZcPM2/2rpgbCgojzd8uKGac/plXBWGPdPg1d8Ji4kCIpyfED4A5a8xKDBgA wgyoA9T3t5iBggIIJBoTAsT0GAR0RHoCfh0sCCgIhUN/jdYvO+Af3PZenp4Yx28RYBL/vf49 4FCoL9QecBqxh/Vse5XhqPhpysy9cy0sdsqGEk60u8zxaJbEmO4csWeU/UFrxgOz5Jv7HqLU EbgZbCGI7qnoO0nl7Hw0T8pYFm/bS2WHJecHWCoaqUmcUqpo+Y6GHJRPv9utID/XXK07ycVP /hIeoaXK53SgDfGrr297GmbnOlMSPQO11SFcXrz7eYiQgtDUcCa5jccMe3t8nu3JMux9ZED4 jVWdt8fWITXcjbsRNIqnn6qYTna9cpNsjaIHJvIrWwXNRAMihprPyPO6uZ8N2/fdw7okIrJ1 L/jsx/W6p4IzEEtgOPSpK9oJutT1BrYn2bevLNlmPtuuYAQY6iXpmfg+agPqe/CjCUW1sBB1 N1fwFUf4B4OqmfPs88AnfKJP85nl2hsWzTgumwLnc4SlJgKLDaYsyB1XwesP+gleZLuWZjgO DQ7B5/ZpWNTvRZgRC7W5WfNmzA6PBtNUUWwcHCfVqgVbSzqDpwKJn+/LMXI/8uUMTpu8o0NQ Ls7wQK1ltQor+9zzXWbId48QEaIC1j6PccMI9gTFdZWfmQz49A6MOmEt5hYffkCf6z5ENHD0 DmpKiBLG9LW7lj8jQy8wabOUT5I/moGQNPQQUNDO0raVbk4W4lXXNYiSV0ibr7OElIY2U4ah E7+/v8zlbAxl3vQuvlvfxM1cTevA0h9Yf7zdZDvaZZQu99NQk67f+HuuymEmVkzAzUqVn82K F/yHnxE98mGhB3O4VtuJ3GPa2tsKLBkVGwX7AEKcqbeQXEYkU4gGafkkXQT2sUpGVDyzy0nm BdMeVnzl5eXVyQooTuqISShm3ovP1yntxQhjw5bJdX/Pm48Sq7FKUkyZlKar3fJlsn1fXCSI vgQUGYIqnKg/WaOf3bbaS6snZKHkOOdcxXmKwwovsDlD2CRxgpea85TxDVCvnrjGR7DHAhL2 2pZ6q8cBO+mMXo1YCIGq0CHPIqQP5aAM9KfbotXJW1DET5L5CVPQCq60+ct0RtxgOXHo+MCn BL59chvow1kRTuYbOLasUo19y72TxT6SoEaIupzk5STg6srXv8PLf5uHDf6kP+odtfXQDI/i q01KHUr7znHQu83hmLGR/QO7Jik+3qGAGOjPSl3L927XTd+u5fqEzB8agSfBGaRLgAlyE6jv ofFezjlnElYt0jvo0nbXbJ0l1jy4/3DIQxiJHxSVOS5vaoinp9qgaGZI37zqgbo1o9OT/boK vHThAjZ386uLepK54pD8xuCiWESWCjBbkr63+XV9Z7vU+rn3eKb0RqLG53cD8/jKwQutP4qO Hr7KfK8FSONW/7R8+Ti+ZYWsv3J0qDVL53kbmRoFh9QrjQjwi10bKoZDf5e7thO3jVKDcID1 SyPKJPfvD2eytI6IwdJ5DSRxu0lYy5KdvY4swh996u18key3ozJ4IIW/AwzvtKoktGFITfew ONsJNPV/1zX96kfcmMelP5e8hIdPPxFIVpQmyEIpFCcWPHbTjiiOh1f0VUInx6CydnCZeuv4 ScREFAdDUhPzMMt97ayfb2UCFshGq0VDRUpw1uN0E1FBRfPzpgOtybAQjaB8+gO5qR2gWAxH 8A8SZ9K2GLk9sdHx23b0zHr6TuFtip/TudQcKS6EC2qm84xDIP0tHEmPhVKWwvZmENRlbq1g ObnOdBXlqWx5O7brmNpal8ua3LOXlJA99ui4AZalsxc2wO9cudTyHlMGwVhL/PeIeGseUE2S l0xX7tVEK5QEV2gKgSMVFMvN507lQ70usqYy3nep+nD87NZSmre5oCeFv7g1H/ktfuViLP1b /GrlW3X+L0XVLwnJ4lJt7cT2A5smjve3QVBtbdod4Y3FUkh8KDV3TvpQDkcJnRfD5tJBWFdU nNK8k06JEnGBV8NQZJYkjZi7iGjAEYWby7kmTt5e86vqlyPdXXrc1pp6/WBRzU29FV3gwiyk gFi58Ivt+G1Tqn3NRyT0d2td+xxtpBsKnyJCg/JunU9LJ0UNjLqV0jaxZ9VzLqa5MZJrEvqr Mhrl+1cr8bGz9X2BE0rF5Yh5k7m6Cr9EGPZpEaq7E23jat7vnbamZNb6JLJFFtBUMxBjdo5X 3IpLsmt8f981zCvWsrPz4Gl7yuUxa1wZu0QTiEZ9h/Yh95N3yPCXYqY7Rboat7MdktWr464K /Wzj3NsulmMVqsXqLx0s+/inR3l4s+Bqeh9QPRVMAzYOEtPZhJN91ckRH0Mi4ix6e+yUpvRS Z60aQr4JzuOgEyZ1eu/EZNF67844GSXxZ6n2Lu5YcTJhi0D0GKxnMixOtj18aNjMCY0vq1oj bU4/9SooMT2IzWO/xV40HheUF/bOJm0y02WiyyPtw5vWY1DpbB1Z56TPQSZMQAPqJbZLvnaO kOCHncrfsB3W0x8f3kykCfvcaOdGbLH5KEmMBOlkDlf0u4hjtXomOegn0MhK78g6tHQwsZUQ cWirSy0nGVS4LrA0nhN9HIqXNL6oGiugls3n/EnQN/HtzQECT6L0+iirkDzfCiZs1vlRPp6+ 6RcdFedKly7Y3wC0KdFvIUnnpx/lPh0nN5A6cKSUDDDR3k0SpsyfwJbyBdbRrsvsxg1dGHgU PKOzekLEzufhGvYpzyt1qXpj+2FbTkshNraU4Rv53VCyDthLj0G/W5zqLjG15wFs6OW0DwF4 Fm4CJ+cbucm7t6R1lFrBEWB6veJoJs5evO4hC66lBsZXMiPARxkUeSKNDD+ttUX0fA/Vbu4Q fCw6muwb6lEHx25u3XxTGCBRNai188yKxbV7dLTC1N4Dv6NxuusWJ83tTeJNWyaJCfNqeTtG XAozLT37FO6MD2ldab6WBmwkjLxmtzpyFYTCCK9msNqrQoslv2XPKKA0OV0sgfeOO1Ou8JUA 6hFKeWBpOXHury9ROlWbS2vhH1sqSrE95hqixQMCSW4W9gpWcN3ReUPTc42edFPLmiVQKOup JuAmEcIjvezpI47IsVXHkvViQcU8Z9MOGnknrvP5R9WNeKhcdc8ioTir/V0jgJ+hwGYt10zA 3ZCLr4v8vIxfaveW6O+9sboqWYIm24RXDhdLtOQTu2WmkXywQS4/SRNj2pIgzNRIt9CnRemR L++tBKjYybolb1km/LDG9rEQZToSVOCVLKKXSpCT/4Q33PFTqKTly0Ywfz2i3p7k5o8HsjzB P59vY34tF+NjU/RnK702bUKcP3JfEz9NyliGZM/faH4pT3fVM5JHfT/k4oZP2cmH0C3j9NKx 1Xct8yecEn3MvuNrU4aHB42Jwd1vROaNlaFNp+97HXi1V3Y2eeSGz8h6M/Se27JpR6mE97/e 4XizlZ/N5DdWBqZ4JgLOOE2Y/eoPLt3N1W4unWbBfut+0vA9xu+U6gKZf6Iwao2m622h3C+7 HuAcWaLSC4HrSpY1lqQ1BZah8XTw+3yuBAoeHVQw9GhUVx5vMCb0xLUETXbY+L/+OHn2KXOj k0e53IbLqC7uesPcKWOqeUcXtaGPFj5+8CUFfkpFQtOeK3ZbWQzPvK7nLajHsFw7ewgHd0hq drp/7XRMV+4Ipb5PeKPKKPRr82iRb29vyOvUSKkbZouYp5iCbeKQDY7EV49b92bO2vzE1CyH ve9Ike08dpezEqZ8zrblqllK/4y3gfdNt0lEYh7+hSzNMRmjQfkCw63jz0zdah4VScTUJ2Vf osA/SC3pZdi2cpKLhlM/qxlsdgiJLTc8Uig42tMslGc+7YnhHWXID804WzoxuWfIO3DnUA9A SfidStR1vX+D9JZisFC/q/7rN4Sz/I1f5pehnHr4OYiFaVnBmonjx2323aJBn3siCmUUzDxf 0zsq0ySae6ypESyrwzLsj4dH543Qt18dLRKJXF1gPdI9Twy0Kjl4UbT2Iqqc3fslXaPSk7TF 8VtzBQv7MdIunStJLHY2eEmuhPdcH1zXDNfnvH/MoaY213rziUH5BBh5wDwmgmU/1dnC3oqz WNK/jJVMJ3tNk/4lItv12XeBtc7e4JvFvSgVEetY8Z/lck/qJ3ZXmu6X3dl9OGIvXpqloCR+ wAPsk+yQoDbypxl9lWmn+vJAJu2INDT0s+NyLe7DyaFOYtcz4p3Sw+6QQQm5mYznS24r5+hP p8U0oW6L+FdKWLVSHdGQADaqVuyD5lkTUTquOLG7WyvslRbPmVauzWXbH7egfYUkBV+51DHp sFRiHy53tEeHec8uPSTQ9TZ8xnvlJUpVDdzh034p8rOSL6LXeVqm4GMP43p4KzcgtzBMSNLl Z+oQn92Qtlvh3F7Sj7UT+zZzEP3486/9RfI4WwIezBQpjy60LgCaJnkOpgwufIICnwIHdtvT OlvXO/o6hi3xDCYUOb9w9aTrpjZK+0Bcs7C9NoCTLRluRLzNnHS5IcneteKe2aJPDjsUaiCk Pv79waZUHaytzikTUCfzzuUb5nSCtPwM96TK7kbcS+zZ/nhSGY8iaF628LQot85VHktln8fH n3be77JBsxPa3m2qb6J5+vwZVhHMx3pf3WANbmZWYD/BbkIdvjxtPLvWJriq5uCaLdwhirPF JyNRxNaG7TXe2Kb/9A7FfB/8Kiex4mLQ/7OzoHsTAcESnCNKEQFbehsmrNL3gFT2Jt5wFE/Z wTjo43Hlo0O3aPUeBzB6Eo8MjxShafSeL0qTXlxkaPnNjN+5wSTBQ07y9joDmFnGPd190i3g viWrptfc1f07ylKf11MpmzrBHVqhMEO7RB+l47I9WhH1Lvx35svfTQcVlZdu5EbpcwA3VrIl 9bI+RLf64H/3JtUVkeH0XZgTyEAttzaMXdQxorYXyfl3FnOZoBtekcXHylQGh9Ek2NbpIPlN v6nxphcmVfz77guGAVoH0ztql1gip6Zd+Wsrn6Q/+5SIcvcaHh/sBnfqJ7iE7+jDOC0nFt4O ThFe+SjsePKEL3wmKtsc/vlBEFzGS8q14KQPehJKuqaUrkKIFQvceJ1p6SRU/iikginb0CBO ea/NUcG9afRbfaHH686cGPUEz3jbVewMvnp8+NGcTKu6jZ6K5TnOFteO7HhcE0uGQQI11RTk YJStt1hc1Cr6a5LlKJNdR6DLpngZ8Rz8wo9NJnZP3+RYOkfdYtQvf+6t8WMGYd5vl9Jrnc7S ahcER5pO9pGy3eM5qUCD1m5vepCm3ocOM+HZ5NLp4oXalhcyVSfJM9/CfTyqDgPDkQIndNU+ EuXFKD0RdXjMc8dBFtWM5Dao24PIqGmHaNWRPKjGmGphZbtomGv7tV9fYksLh2nu84QMqpaC viTt7Kb9iHfW9B+Vgn9ArmRvFuIMgCfZ3wuSi8mGCMk3NyXvZGVq3cjF5jyfj5lQluXvSKmJ d3jcKTk4Ne1oGXxtoo0fE+c8WBtlr+QYTyEH7keYD48savxIt6eVkmXkZ8xX+t4w5aHxwfCM Lo9AgArXwPjSgEn/Uv3eoteN7Rd6lwhDEjuVVM3bycN+AIdb8cbtyL5rAlXy7O+TOQo51Ttk MnWnqnGREpR5g++zVR/PF2+PlvkaQ7hpU9J1d7JIGd49ndvg935bB9hVpn/Yv09lMduuaL31 dprdU7ZLH79bCmtvJi0AxX/l0WT1IOHdWHJs9khHwErykjfRMyv59RGy2jtXlNV+31xqrr6y C8P9mG9RxIhoiFkMmfGGrfoU741KsCSJ6Ge1x6I2VbvWZL6LsWanrbHBdUhOKk88NWpGIlzn rTMJ3rmYTKdSu2LhMff7GGmbN5e9aHWIJJif95iJIJu0fd77AHVhcq/EYn3y0SxOyujFK/gI +2ioKg/4YXBmAdusgBv4ZtBFk6txanLRDuaPxhXJlT5r/xirKfLohD8UOmt4ETYwnH7M9COA vEYg8XDp/lBMPewyDdG3FDcmjrdE5nbWQbl1v/V8ZqWiuGeeuPoV8indUoJ8qgiOUM1d3FIX 41Cfk0VeklxsW3S73r5nMXWPPFfk2BmFcW5swmD0m6PA+yL+Rut3uyxKTmJiIDU8lC6gJRzc rVSofa9iQeycnjp8/e237C3NgD518GspimdLA7GdG1Wfw4RqWJ6kp8OIAHWs0bV4ig/eQMgy Q03pASeGVcv6LdUtNZYqvRZ8AjHfeSZo3E3k8Dc0qaqIhoPz/NnuF+M2MQzhWi8uNNe6E3+V vcZNbj0/mfIQu9ay6HcRW6xUSDVGTFUQbgrgkjc/bm14Z5MZ9IW0za01gCIZ20mbfSD20aVK 2v3pyep843bdEc7iGvVvT5pQlW2IWs+HJJhnP+t+0LMJh0NTSpZGIjus1XD/8rRVqvlwf1rJ gKOSqJCZGJfMIEv/hNK2F/d5EkbVUvaVcZbOVUjNxlCPeblHSp0ZIc1p2QZtWmEqXyRhSotP GUTpjIrc+wNyOhYY9LXkjDntyT5vnCkCxpQ6+o0f45PNxuAQ3lEayWzbCbL1k6RfuY5nyKHH XlM5EvW7qVUnUEqqZiW7qiDIgXIpMdOT+w73XI36rJVtSVtnmlAw9CyV8uWgxz36XH+Rprj5 l1zUrw+RXlXzFfsPIxTWu16Vblyr7NdOX3w5uAvd8NYqqK3xGQDcqWAnaHN/q3CZtsKocP7V F7Cx1s1HES3uuanP9ZjGqLBDlK1IKJ//naT9mQx5A32Q0rZwGPim9MxEK8PO7I07MUqVzTnZ VsUlItSbpeUMi7HuHo8CSTka4g2WnBxaosYLDtvzSQl3EWGbQdy6sqY/DLlVyX0fnJRcM9ly nSWq8lro9tQfHuj+OGnBfbxxWzrej9pQyWY2mvhDtcKi2kKuoIoX8VAm5GF4v+hHnpuKxFuu cynOTFklpEwtlcoFSpF8BU0iemRktF/YmS+Lo622Ix3laMWgmrOFraIJGWZFHidp3yK1Y7rK vpUurkfC52bcMyTp8O/qzknPNyaPpqLLwF8/vckxQ/WLUfTj4+M9UFo4uN/841Zi9Z0O/NeF 4bQmee0zB5435JJRn3i3CvnBU0+etr7pr3kZ8ZOjpoBjSQVZTktQdhfy7pZBf3UZokC4LlFY vX2wYWC3gPLZ6fCPvLLPlp2FeFfppx0spa9sJB5ynBJzPV8Lsa7D7jwLNNGYLQvOCth00r1V U974yrubYsAwM9/oSXJRw8yajBE3vdmj5V1W1/ehTa/gdV6VMia0Gdm01DnYu9ePwZTDO+xY bR7LYxa3y/W8r83PQpl/GiErr/o2p3Q+MqyzuLKdhD6o26IeCfdjOaac/HqH5uEuTnSJ/PUd pXdB5JTNbgU93HEdDeiJ12v638ls8ea5ZPkau2zGVgnHFSPwzsRmhruCSyJbB1X5cwnlQeXd DNGDimfHvYDvVvmbnD+Ye9s2szIrM+8chgnn7y611fHcGuB1wUYP1J2w2fDOI/LFPmYcDUxz RGLzqHZr5dxn3QEu+Ax0ipm1DHhYtCt1yQ0uwhuVuO9iPfUEmbnEvej1nkArR/qcQRKfkga+ cBIfim2/udSBv071Qqfpbr2ky0Y33SJ2NNfxjJQVaK3cxEJVP8haod2sPXHR7Fob+JZS83sJ eBMHkF/y8kYAEMAMSuucnCgguJROzhnycv2mIkGHO1ef52pM+9B4CCdvW4TpE2t46KP9+GeZ pg4uwr0qzLPFQ0RtrkR3v7ErVxpP9V9zvU+dpsMD3nYYH5P18WHxlFXfclcDhYfFX1yXjoYl XIwdBVE39uO6+v7AyacydJh5XJC+ej8E4J4S6Bj3E2WVGZ8alcU6E23kzvEU2oam0UFFxNwq 0VxHy4Gd3Ck049mMcR1O6MuGvqpWOjc7cCocXMcdkF13L9zDcbWpJJz4ZJCI7S7E8MFiVhqL zWDn1iHU0VGFAUk2nL3JncJt5kUhzSDpopiWZMes8CQO3p8TbDPDJJGyfq91IYDSP78tylzj 3lSjxKJw455qBPRD/KZO82v0TZ5sk8cGOusx+mtv6d6KVEY7GxJFRK74h7zOe9OnTYrlOuco 6aUi3FvVNnT6wGR8v3bG6AU8WC5L3JzrKWHioPOzwEdEc7s8QyMIxKxFccb6F310zLyfxu0v VlZiz5l/ToFThgf1u2/zHCMfvHZaSz16VE6XGCnnQhKZ5yj0f/kC/H+C/ycI7OFQiCca6Qbx dAUA/gfFvvYGCmVuZHN0cmVhbQplbmRvYmoKMzIgMCBvYmoKICAgNjk3MQplbmRvYmoKMzMg MCBvYmoKPDwgL0xlbmd0aCAzNCAwIFIKICAgL0ZpbHRlciAvRmxhdGVEZWNvZGUKPj4Kc3Ry ZWFtCnicXZA9bsMwDIV3nYJjMhiyPXUwDBTp4iE/iNsDyBLlCIgpgZYH376yYqRABwkg3/uo J8pT99WRiyBv7HWPEawjwzj7hTXCgKMjUdVgnI57lW89qSBkgvt1jjh1ZL1oGpD3JM6RVzh8 Gj/gUQCAvLJBdjTC4efUv1r9EsITJ6QIpWhbMGjTuLMKFzUhyAwXnUm6i2uRsD/H9xoQ6lxX r0jaG5yD0siKRhRNWbbQWNsKJPNP24nB6ofi5KySs67Lj+zduxu1fe8dRy/MKUneQY6wPe4I 32sKPmxUPr/IP27fCmVuZHN0cmVhbQplbmRvYmoKMzQgMCBvYmoKICAgMjI0CmVuZG9iagoz NSAwIG9iago8PCAvVHlwZSAvRm9udERlc2NyaXB0b3IKICAgL0ZvbnROYW1lIC9QWUZOR1cr Q01TWTEwCiAgIC9GbGFncyA0CiAgIC9Gb250QkJveCBbIC0yOSAtOTYwIDExMTYgNzc1IF0K ICAgL0l0YWxpY0FuZ2xlIDAKICAgL0FzY2VudCA3NzUKICAgL0Rlc2NlbnQgLTk2MAogICAv Q2FwSGVpZ2h0IDc3NQogICAvU3RlbVYgODAKICAgL1N0ZW1IIDgwCiAgIC9Gb250RmlsZSAz MSAwIFIKPj4KZW5kb2JqCjggMCBvYmoKPDwgL1R5cGUgL0ZvbnQKICAgL1N1YnR5cGUgL1R5 cGUxCiAgIC9CYXNlRm9udCAvUFlGTkdXK0NNU1kxMAogICAvRmlyc3RDaGFyIDAKICAgL0xh c3RDaGFyIDEKICAgL0ZvbnREZXNjcmlwdG9yIDM1IDAgUgogICAvV2lkdGhzIFsgNTAwIDY2 NiBdCiAgICAvVG9Vbmljb2RlIDMzIDAgUgo+PgplbmRvYmoKMSAwIG9iago8PCAvVHlwZSAv UGFnZXMKICAgL0tpZHMgWyAxMCAwIFIgXQogICAvQ291bnQgMQo+PgplbmRvYmoKMzYgMCBv YmoKPDwgL0NyZWF0b3IgKGNhaXJvIDEuMTQuMiAoaHR0cDovL2NhaXJvZ3JhcGhpY3Mub3Jn KSkKICAgL1Byb2R1Y2VyIChjYWlybyAxLjE0LjIgKGh0dHA6Ly9jYWlyb2dyYXBoaWNzLm9y ZykpCj4+CmVuZG9iagozNyAwIG9iago8PCAvVHlwZSAvQ2F0YWxvZwogICAvUGFnZXMgMSAw IFIKPj4KZW5kb2JqCnhyZWYKMCAzOAowMDAwMDAwMDAwIDY1NTM1IGYgCjAwMDAwNDQwNDYg MDAwMDAgbiAKMDAwMDAwMzAzOCAwMDAwMCBuIAowMDAwMDAwMDE1IDAwMDAwIG4gCjAwMDAw MDMwMTUgMDAwMDAgbiAKMDAwMDAxNzI5OCAwMDAwMCBuIAowMDAwMDI4MzY0IDAwMDAwIG4g CjAwMDAwMzU3NTAgMDAwMDAgbiAKMDAwMDA0Mzg2NCAwMDAwMCBuIAowMDAwMDIxMDQxIDAw MDAwIG4gCjAwMDAwMDMyMjMgMDAwMDAgbiAKMDAwMDAwMzQ1MiAwMDAwMCBuIAowMDAwMDE2 NDYwIDAwMDAwIG4gCjAwMDAwMTY0ODUgMDAwMDAgbiAKMDAwMDAxNzAyOSAwMDAwMCBuIAow MDAwMDE3MDUyIDAwMDAwIG4gCjAwMDAwMTc4NTcgMDAwMDAgbiAKMDAwMDAyMDQ0NyAwMDAw MCBuIAowMDAwMDIwNDcxIDAwMDAwIG4gCjAwMDAwMjA3NzIgMDAwMDAgbiAKMDAwMDAyMDc5 NSAwMDAwMCBuIAowMDAwMDIxMjM1IDAwMDAwIG4gCjAwMDAwMjc2NjIgMDAwMDAgbiAKMDAw MDAyNzY4NiAwMDAwMCBuIAowMDAwMDI4MDkxIDAwMDAwIG4gCjAwMDAwMjgxMTQgMDAwMDAg biAKMDAwMDAyODgwNSAwMDAwMCBuIAowMDAwMDM1MDYxIDAwMDAwIG4gCjAwMDAwMzUwODUg MDAwMDAgbiAKMDAwMDAzNTQ4MSAwMDAwMCBuIAowMDAwMDM1NTA0IDAwMDAwIG4gCjAwMDAw MzYxODEgMDAwMDAgbiAKMDAwMDA0MzI4MSAwMDAwMCBuIAowMDAwMDQzMzA1IDAwMDAwIG4g CjAwMDAwNDM2MDggMDAwMDAgbiAKMDAwMDA0MzYzMSAwMDAwMCBuIAowMDAwMDQ0MTEyIDAw MDAwIG4gCjAwMDAwNDQyNDAgMDAwMDAgbiAKdHJhaWxlcgo8PCAvU2l6ZSAzOAogICAvUm9v dCAzNyAwIFIKICAgL0luZm8gMzYgMCBSCj4+CnN0YXJ0eHJlZgo0NDI5MwolJUVPRgo= --------------060000030408040607050301 Content-Type: text/plain; charset=UTF-8; name="llsc.promela" Content-Transfer-Encoding: base64 Content-Disposition: attachment; filename="llsc.promela" aW50IGxsX3ZhbDsgICAgICAgIC8vIHZhbHVlIHJlYWQgYnkgTEwKaW50IHZhbDsgICAgICAg ICAgIC8vIGN1cnJlbnQgdmFsdWUgb2YgbWVtb3J5IGNlbGwKaW50IG1hcms7ICAgICAgICAg IC8vIG1hcmsgdG8gdHJpZ2dlciBzbG93IHBhdGggaW4gc3RvcmVzCmludCBsaXN0ZWQ7ICAg ICAgICAvLyBhYnN0cmFjdCByZXByZXNlbnRhdGlvbiBvZiAibG9ja2VkIGxpc3QiCmludCBz Y19mYWlsdXJlOyAgICAvLyBkaWQgU0Mgc3VjY2VlZCBvciBmYWlsPwoKLyogY29tbW9uIGlt cGxlbWVudGF0aW9uIG9mIHN0b3JlLWNvbmRpdGlvbmFsICovCiNkZWZpbmUgU0MgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgXAogICBhdG9taWMgeyAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIFwKICAgICAgIHNjX2ZhaWx1 cmUgPSAhbGlzdGVkOyAgICAgICAgICAgICAgICAgICAgICAgICBcCiAgICAgICBhc3NlcnQo c2NfZmFpbHVyZSB8fCB2YWwgPT0gbGxfdmFsKTsgICAgICAgICAgXAogICAgICAgaWYgOjog c2NfZmFpbHVyZSAtPiBza2lwOyAgICAgICAgICAgICAgICAgICAgIFwKICAgICAgICAgIDo6 IGVsc2UgLT4gbWFyayA9IDA7IGxpc3RlZCA9IDA7IHZhbCA9IDI7ICBcCiAgICAgICBmaTsg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgXAogICB9CgovLyB0 cml2aWFsIGltcGxlbWVudGF0aW9uLCBvYnZpb3VzbHkgYnJva2VuIC0gZG9lcyBub3QgZXZl biB0cnkKI2lmIDAKI2RlZmluZSBMTCAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgIFwKICAgbGlzdGVkID0gMTsgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIFwK ICAgbGxfdmFsID0gdmFsOyAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIFwKICAgbWFy ayA9IDE7CgojZGVmaW5lIFNUT1JFICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg XAogICB2YWwgPSAxCiNlbmRpZgoKLy8gLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLQoKLy8gYnJva2VuIGltcGxl bWVudGF0aW9uICMxCi8vIFNUT1JFIGNhbiByZWFkIHRoZSBtYXJrIGJlZm9yZSBMTCBoYXMg c2V0IGl0LiAgSWYgaXQgc3RvcmVzCi8vIHRoZSBuZXcgdmFsdWUgYWZ0ZXIgTEwgaGFzIHJl YWQgdGhlIG1lbW9yeSwgU0Mgd2lsbCBub3QKLy8gbm90aWNlIHRoZSBjb25mbGljdC4KCiNp ZiAwCiNkZWZpbmUgTEwgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBcCiAg IGxsX3ZhbCA9IHZhbDsgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBcCiAgIGF0b21p YyB7ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBcCiAgICAgbGlzdGVkID0g MTsgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBcCiAgICAgbWFyayA9IDE7ICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICBcCiAgIH0KCiNkZWZpbmUgU1RPUkUgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgXAogICBpZiA6OiBtYXJrIC0+IGF0b21p YyB7IGxpc3RlZCA9IDA7IG1hcmsgPSAwOyB9IFwKICAgICAgOjogZWxzZSAtPiBza2lwOyAg ICAgICAgICAgICAgICAgICAgICAgICAgICBcCiAgIGZpOyAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgXAogICB2YWwgPSAxCiNlbmRpZgoKLy8gLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLQoKLy8gYnJva2VuIGltcGxlbWVudGF0aW9uICMyCi8vIElmIFNUT1JFIHJlYWRz IHRoZSBtYXJrIGJlZm9yZSBMTCBoYXMgc2V0IGl0LCBTQyB3aWxsIG5vdAovLyBub3RpY2Ug dGhlIGNvbmZsaWN0LgoKI2lmIDAKI2RlZmluZSBMTCAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgIFwKICAgYXRvbWljIHsgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgIFwKICAgICBsaXN0ZWQgPSAxOyAgICAgICAgICAgICAgICAgICAgICAgICAgICAg IFwKICAgICBsbF92YWwgPSB2YWw7ICAgICAgICAgICAgICAgICAgICAgICAgICAgIFwKICAg ICBtYXJrID0gMTsgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIFwKICAgfQoKI2Rl ZmluZSBTVE9SRSAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIFwKICAgaWYgOjog bWFyayAtPiBhdG9taWMgeyBsaXN0ZWQgPSAwOyBtYXJrID0gMDsgfSBcCiAgICAgIDo6IGVs c2UgLT4gc2tpcDsgICAgICAgICAgICAgICAgICAgICAgICAgICAgXAogICBmaTsgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIFwKICAgdmFsID0gMQojZW5k aWYKCi8vIC0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0tLS0tLS0tLS0KCi8vIFRoaXMgd29ya3MgYnV0IHVzZXMgdHJhbnNhY3Rp b25hbCBtZW1vcnkgaW4gU1RPUkUKCiNpZiAxCiNkZWZpbmUgTEwgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICBcCiAgIGxpc3RlZCA9IDE7ICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICBcCiAgIG1hcmsgPSAxOyAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICBcCiAgIGxsX3ZhbCA9IHZhbDsgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICBcCgojZGVmaW5lIFNUT1JFICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgIFwKICBhdG9taWMgeyAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICBcCiAgICBpZiA6OiBtYXJrIC0+IHNsb3cgPSAxOyAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgXAogICAgICAgOjogZWxzZSAtPiB2YWwgPSAxOyAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIFwKICAgIGZpICAgICAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBcCiAgfSAgICAgICAgICAg ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgXAogIGlmIDo6 IHNsb3cgLT4gYXRvbWljIHsgbWFyayA9IDA7IHZhbCA9IDE7IGxpc3RlZCA9IDA7IH07IFwK ICAgICA6OiBlbHNlIC0+IHNraXA7ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg ICAgICBcCiAgZmkKCiNlbmRpZgoKYWN0aXZlIHByb2N0eXBlIGxsc2MoKQp7CiAgIExMOwog ICBTQzsKfQoKYWN0aXZlIHByb2N0eXBlIHN0b3JlKCkKewogICBpbnQgc2xvdzsKICAgU1RP UkU7Cn0K --------------060000030408040607050301--