Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » M2M (model-to-model transformation) » [ATL] containment problem, output model incomplete
[ATL] containment problem, output model incomplete [message #104398] Mon, 04 May 2009 01:35 Go to next message
Eclipse UserFriend
Originally posted by: aaniculaesei.gmail.com

This is a multi-part message in MIME format.
--------------040801010004010906030103
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit

Hello people,
I need to transform the transitions of a UML statemachine to the
corresponding type of NuSMV, TAssign.
As an example, I want to transform the transitions pointing to final
states and the transitions coming out of pseudostates. For this, I have
the following ATL code,

assign <- s.region->collect(r | r.transition->select(t |
t.target.isFinal)->collect(t | thisModule.TransitionToFinal2Assign(t))
->union(s.region->collect(r | r.transition->select(t |
t.source.isPseudostate)->collect(t |
thisModule.TransitionFromPseudostate2Assign(t)) ) ) )
->flatten()

The output model is incomplete, in the sense that only the transitions
going into the final state is shown. Also, the shown TAssign elements,
which correspond in NuSMV to the UML transitions, are outside of the
module element, which corresponds in NuSMV to the containing UML
statemachine.

If I try to print them out separately, without doing the union
operation, the containment problem disappears. Doing a flatten on each
of the collections and then union doesn't help much either. I've
attached the transformation, source and output metamodels and a sorce
metamodel with two statemachines to illustrate my problem.

Could you please help me out here and point me in the right direction?
Many thanks
Adina

--------------040801010004010906030103
Content-Type: application/octet-stream;
name="Uml2NuSmv.zip"
Content-Transfer-Encoding: base64
Content-Disposition: attachment;
filename="Uml2NuSmv.zip"

UEsDBBQAAAAIACYPpDqvB2DVjwUAABgWAAANAAAAVW1sMk51U212LmF0bNVY 32/bNhB+tv6K
CzagMjAbQx7rLejWLluwpStWN++MRMdcJNIgKSdulv99Rx4pUf5RK37plqKx RN4d7/t4/I5x
rcqm4vCprs7fNx/r9QwmE7imwTmvVxWzPCs0xw+QjanX8BrQ8PoGFlrVsMB5 i844+un6j1mW
TSaN4cbHu8Q5/PSD8KZY8uIexALskkPRaM2lBWNd3DXXlj+C5ivNDQ4bYLAy vCmVn/fuyTsU
TMItByY3oCjeQlWVehDyjiKa1yCksIJVMyg5X/0mjFV6MwOzZM6wff9bCTlD b32Pz40srFBy
5tcDGHU/gD/FUomCzwDz05sP6Gfx+VHY8Gi5roXEtadZtuTVimsolERY1hFz dkMQS77A1MyH
BMxr+FmpiiOkHyEbGV4tpqqorszvQpZ/LnLnnJiPT2JTRjrI5HiCV8G8nxwu dzS/bIQZSYim
92iFvt8kuwDeYMEqwzEmdx/b1m6b2l1K7A+Yu10cENVtMwywi4UwwJSKYoBh VzU9Y1dY++1j
ZQ0zb6svJau1trrxickS/V74O+Oed4roR2ajkw70AvMbXH+X3njA0fCGH+lk wEl5FapeKSNw
lmy+nBy47N62LkmG2aHTQdn5jemOkOZ3WGFTIz7zfAwX8H2YH7m9ohrCl1j0 BzaC8Fq1goqv
eQXaibZVqI9V5dFnfgTVnFfnpOlvERUTEvE9YSxUcFzFkHifeTs8v8qlEWX+ 7J0qmhq5+ksp
CzlOjaQb98bwwwRq9zDC8fF3+Mu/tb5z6hTeq/brG+cSA7j31jMd7ALEgSSE i9Dyes2KJcKZ
IuIriRsoC27ysYuZPRM9ngI8+ngKmDT4UDN/uLFzMBcnbHtNgVAokUAWWlxY MPCYLhjo3MNi
arVDZsCTwnnPag/JTCU+OSYcJSNM/dsCuxpHKcK2Nn/HFy49ystuVshJobC2 zUphLaAFpi0d
uArlvkxPm4nhPAi2WlUCndGcY5JAhRj7aI+L6HfbWAxt0RRPkxFYaRtPqPcn D9JfWAqumS6W
m4iipKw9PFppchFQ5Rr+AT01zS2dSmfulsPjgbMRCyGAh6XAtZjmPpHYzDAH j5NcL8gzX2Nc
PGbradfGevocWnrUUWdHcnPQis5kHOm0cZwBrRwhuaXtUhja5SnJxjltXb4e j7cwbm8SRmok
cpQfJasHtkUQ4h9Kp9PKJCXw/4Kjv81xmfsDub8OHaU3TN+wqjlSjb0rx1cp Que7Zlqw22pY
De7QGgpoHHf/ILfBkNh1L47b8Taj8T8zRtzJL6XkxUpYPxNysm7FqWX6jtve jkPnbPtZzdso
c+Xtz3/yK+eWahHgWMUdzMOoRhd82rvLtjGPpnOJmpk4JmlRPRJNLlRLYEaV 8BLqyGPUy9zd
C/Ymv3380ZFu/lEoEu5PdNsrM32HcFVLh7dvZONwJAYRnTA7bunoOMU+iVS/ rFOGS5RdMlRi
A5ILRKTb4y6jKvdbaegEJS8qpn3crGKfN3Rn6Qll7KmQNNVwAdvtp8ElD82m 30yDhiHMUsET
Dpb8trnLX/WXIzEqX+EF8nkwFT1xi5T0AEeLVoDWTjIT0DuScRw4ptZJbmiK ne6aVHXb/TIA
fcp6Cp4HjewTt4+03XRPIi7peS8okJ3WtefidVqN7IO6u1qAOn0Z1k6J6MuS +K3GhOATfkJP
spYgPqaV+4ql89nDQnDzLLgiIQpICX1zku6vHT9IguWYgVOw+k3tIR0GdK7+ fzB3ynkAyrQT
/5fwhSv3Fsxbbh84dqxEUIYB/RoI38DRHbxrmC55mULs6VCcD8gmEx/xVxpN 0IWRXx7ddwnG
hXlCYxIl17z3YMVblo/u/0ILz1Oz4oVYiMKnOXauSIgLkFCyu1buTbAh7DIU JrZZChOUgB/f
s763cUk8/wtQSwMEFAAAAAgARBdXOQSZjI+WcgEAYocRAAkAAABVTUwuZWNv cmXs/f1y48iS
Lwj+P08Bq2PdRdkypa66s7uzdW7mNVVmnr66XVWZXZlVZ8zW1mQQGaLQCQIs AJRSp6sfYl9p
nmzCPyLCAwiQIEUSpIRrM6crRSAQEe7h4Z8//+//4+s8je5VUSZ59vqb787/ 5ZtIZZN8mmSz
19/89vlvr/6Pb/7Hm//tv6tJXqgf3n+MJ1/imYq+zpMf7Evf65f+t0j/Pz1U Vv6gf3v9zV1V
LX64uHh4eDjP57PzvJhd/J8/X31jHin9Rx7+Gz7x/b/8y3f6sZ8+Te7UPH6V ZGUVZxMlB8d5
eO+qSZosSoUDqPktDPL9xXt47Jsoi+f64eU8pSGy8rdfr1pf1o99f/H9ud6C i99+/km/XH4s
1G3ylQZ4o0f47+ptGpdlcpvopUd6ET9Ujwv9Ad6cd3EVf9Z/MN+9yio1U8U3 kVkIvv0L/pZk
FQ4Jg15mWV7Fld7LMirzZTHpsMB/VdnP+VSlPIgeZqqqOEnL6It6fP3NNJ8s 5yqjUb+J7uN0
qQe9zPRUcE5RUkZxtCiSeVIl9yqCdUSFWhSq1G9p2tsH8dXy/JsLnu2FnC5u yoXclS226cc8
T1WcBbfphn87/FZFPC3aGr1dy1JNo9u8iNJ8lkziNFJfYbvgCIyjiZ5QUuLG 5bdRdaf03qqp
5p5Mv0RbGFXFUkVxpgeJUz3HPe7op6rQMwlu6H/E9/F5Gmezc36oh50t8cvE gqX6Y6nljYJt
m9zFRTypYIlJpicxV1G5TKr4JlXuN/1GRbSo8mialIs0ftSPa8LM8TtRfJMv KyTBHOZ2Hr2V
r5bRHJ+fpMupirI8e/VrPtdUjtPFXXwDvwOF3Ez2SabfshTOn5r+ElfLIk6P SlAszeT0ZHF2
60VG85XdCw/80Wzg23wOc9c31qflQhWwt+Xrb/5ycfE+VfhDD8w9oTnRblXq a7XU+xDb72vG
jKtoojnuRguDqor1VYesHCNj61OgaO6rdg2WpI/vcoK7/DcFu60Cm3VZ6ZN2 s6wsx93k08dv
oryYKi2dXn+Dgkjv3md8Se8bywRecKQpqieFB/D1NyC+3F7sZku7beqnhZoA P6C8INmBu6i3
GI4577jdr/COrZnzBU6UJo0Txi28WFZJevH+a6WyqZr+rKcKZ7h1+l+SbGpn zXRcPSv9tyYh
NyHxr+pW0xKUJCYxs5qamjNQJ7cj7kKfmR/zZaZ/evWdZAP/+ByY2nZFRF2e y6g80ycGSM/k
VtM1BG/d2qfJHLut8Y3mRX1J8MnwZZC+lSq4kn64WKTLWZIBe9ld0jt0TuyF NxQpq/QX2Hzc
tP4kWGYkEIkw0GyqpFrCH7R0is2teqnnsZzcjaOkiu5iPonxIr5J0qR6hEfz hwz1If1L0VWq
fdBbyKuk7dZPXOuBrkuV3loWrd2nUSdrALb2R0+dPDBji50FHUR/V+svhZpU qd4urZFn7l8P
WlGvYMnn//yXr+/+qv/n8q/wPP4pTtMPD5k94OXo7NUbVmjKETxxtl4SftT6 zVyhqkX7PE3i
WZZrSk/Kp2/zOzuY1r2STO7Trja825Z/vkPNUWuTmh/FEuHCfbhLJndan8n1 7TbXnF4o+Cvc
ylougrgX8qV1Iy/ETq7YXX2IQBXoeSNA10A9m2bzqqR7dSLV5w6Lhsnriagi mSBbCOH5BJ75
OV74q0ImvCxmuJpyR1/5X9r8+XDzH/qYyXUe9mt6V8X2rWAl/ScnD1slpBa+ ICHBz3DS4tGI
M9Lt5suygsMIK5vSv+7ie7Cf8U+FEIwoFOGJHxXKxdFZlMwXKeiL+OirN3oN 7+eL6nE0SMZB
Mg6S8aVIRq0PVUUeMHjT/MFaPt/1I+3e0dxA2mk12+iFN49Roeb5PejNWs2L JkVelvpPziLK
L26LfA5KN/ip7MP63/z3EplYH2z4s7Z4cBmgX+a43euNpm5Xzr+pxwe9rev2 VhiVvV4u74B5
5kmmt/DhTqFF4m28sWD44Osr5wstsINXoSHTvmy8N54vtichyLMG1+sfS82d 3UTe1odzpirm
obK5Ue2uidpOHdgzoT+u7tkxwftVYkxAMtNOjlg8nZ7YEbucTlvOEGgPG2zQ MzxT4N+dbqk2
deMXvAnUibHMrzjpNq7BC+3F8w0Rds+S+Bellfyy4uj+qgiBeeQIBHBGk44W nJOAdqO2+Mpo
pBK84sPutTOPqcYRim/lvJ7oeItGyS1oVRT0oi+c7USy6+2mta/Y5Zrbtr89 Rmfvlju7k91K
yk+an1UODvnLhbbqJxCNOhUBF1Q7pawr7eKQ0+wCd3FlurE3kn72pV4loNyY wyikktN+VX8s
NU+fzEW6IZ8VvLxNVdeBzXbLZijQni2XxbS6QZQdnMdg5x8/bbxnMtwdPSWC zZ69fszQBbn+
WzlzYEe5Fcgq++TFZfaSufG3LF7Hjzsxc58RRzLD7NnidbaE24UNHZGNzevR TnNbyPFTCNq1
mxNjzoClVLq8VO4lqxvG2VSfMkxVidNCxdNHDgHCpb4rSzhEhtUJise569GD totrZ/yPZZzS
f8FybcriKqro/c6WaRolt1GWY35Vq4W4jZSwM4LU4hNzidV2k7PsxWb6UqRg Qu1ZjDScE/j7
WjliZ/Sc7rrWsxGLrdlPtKSNEq2i5BluuNhlczrC+kaNAOukjhxXfU1KkcP5 AhUU2D3KjxFC
BrKSxDbtWeYY59TzVVy29U89YQufudLRuqMddA7z7qBxwFbbnexF32CP4fM9 +ts5Dbffv2d+
7lu2s8Op72jpvZBTb/ax10O/vCmfxbn31rFSV32iWHiGmijUmIkNqrOnv7X9 sugJiVY57ZUM
eQjJ+wTB+2J4++ms/dIurt3uXuc88d9hgicd4K5licfRCFAjpuo2XqbVGb3K ZhWgfuR6E6rH
kKBAsiRZq3B5eQe+xa1SQVaf3M0dnnAz5AkecHmsLZ8dLlu/5SS3VMQ9xacq ioOOQDmgA17f
9y3O95BttdaPavd7OPGtJ/4B47XElQe6x8vW038ElXSfVDUc1AMdVIAoGs7o xmdUb9sONytT
Dxtp1Xu+mvvZdfXQonnvUw5OChVX6r0b8uC5bOLTvQjbt7gDJQY8HaZZQMZy 3TEUKXsmlLag
oEaZ6kqeIl5x/BOTFbwphmWBid0u7j1qnNKf7vSiNnEeyxePQR8v5ELgGufb SXJZAj/c5+n9
7jLVnun+NZydJk/9SbsaPLKEHHFwkUlf7fXcj/Q+xGfSqekT4YD5arjcd1iv p6ab8bSdluPt
0EDHwONTnldtn4UuW+PrmOe3s2y0F73PYaHy5N0fpMoaqdJCjsOJl89xof/3 pbL9KgavcGd2
JV5e9j5vLl467f4gXo5avNRhTzfRwXsFNKbgrCqgjqaO3BrNEmB2wPryNhkN ZwOswCCIBkIX
YXgtlqwAQixUuUyr6DU9zx959WaZ6dmM/L9N8jTVI49U9GekAoiyZ2uQEruR TIAynkoI2BGr
hiipaTFB14eJDEtyoMTBoxJAqow+LW8mcJ4p2Yk3mRJFpjniAHNSqX2Hhsnv VVEkU0XD52Z3
QxRHCOrNKbYVwrjkpKegiwP+ZDZThC7PTKGtSz1DCzev1xVnZaKf5j/Y4fVH 9cmZWvDtD4tF
XiaV94ULgkXtjY8soimd35vHTYMKofniaRYg2juGj2ck2Taq7oaKNeq50Vup OO1dgnvHFrFw
ToOYU9skY/OTal9lSMm5I2FvdOA57fZQQXaUApXCQW22s+A6cv33J/UXsBhc 9Z4mEBsrF/FE
RQ6GC06dYUz9189qDkqn/PM3hoF2QqZuLVAMIJdpmqQVxFmRLxf2yhyjerMo 8nt9u4F+ntm1
Gd84viCUHnHpuQ9AGxW8a/MMIU7nejth2Fste/yqQz0Fc4M7eGN4rKQBbpTK bOJl9KOaxHrm
2O6GBpMwYGPGBdOiqky4jBdL1sXzcKnnmf6T/o1f06u+WWrFLi1z/Ct/XyzM NFdDwyZOk3/o
2QVIipsXYAD5mlWx5QMQiUSb6ZETq72NvFFELcxxq/iz+K049DX/sYX53pr+ DiEunC6JUMoZ
PP8dgZjhlDcOi1VivtlcyRRWULu62YuxtWOVM6Ah0oZ0grAOrd50M2uXkZIO QggbSq7iiobh
YBZ6vVjeaN64zovrhdYY9GacOMj9lTTdbK64vcrciYRU0/tEyxdsp2JFDm4H iDrejjoMvryo
yldvtDS9TFO28txwEhHfYuXjA9y95XX0F/cp+Sb+Qp8esPQHLP3QRgxY+s8R S59SX1C6b+QR
BSvC82X2k64yys6ikenYdRahO6Y1NTAuzU3KrmVz3bJw3saPnJ1oZpvMVcFd swVMOxRcSXnJ
pHmCm/Dge/R3gYFotycq7/JlOkUJz2vaf0YaOW8zPUejGnfeRflWv0c0Um4q w9Hc8GiKvXvi
Ad2Y7z6ajrCfN8t19t/rmfdqbW0H9tuM/fztOzQHQp/14jbeKB3UvdMv51FH dpzJwHUbcp3d
uYMwXFJ+JJfdc0Ntlj7OWtH6ExiMR93oQqA3emUyuxkHRGr+2LZVLZGZZwFe J3GaJ8uiAH8Y
uhgTVAAbOT6GMDXWJAf1ssrBsTCJU/DC88gBpKbSlH2J0axTFcQv/uxG/7YU oYm7RGkaF5O7
x/MI/HjRNLlFT6g3cThFDJfKp2lcm988mRUs/PUzZZlPEujXLYuucI/KSA8X R//8xzKv/noD
NdHqVlO6oj9EN3GpvzXS407usC+2CDHBppQ2OBXdmpDhzSOuZ10jk+d4oA+I df0iz3Mb0rXZ
fwdz3X5yl3aMFUcWB9rm0L5Inj8gmjaYghTT3CQ1r75hPaab2pBwK+xUN32o +7al6envHOQu
brR7EnzcviSehfrADFQv+J1eGZU7673lb/jKVmfHsb9S9m0PP2X3PgA/1TQA BtA/iZ0kxOlh
4dReKJMCj4JurMkQkAUltebj5Ijp2cDSfbJ0cN8KpS268imwX/0Fc3I9yfwL KJ11vtv3mU9T
6WDatpWAkwkSB/+4dISWjgDt+kHzhf0qCYEdXC+Dj2i/1/YDaPGm7FGWnrgp RYguck8Ppw28
VG48Gj1g4N3h2t/L4U5KnPZPyU0RF48nHVESxxaT5QnhJ6WV7eRexizUVP2s 5jd6mzfylDTS
1/suLvTXMjqLOLua80Xn9Hes9DTJ9yZJP55MVAmJ+vmyKqE6MAnWgNIQr96U Cgs9o3n0Z4Qp
wvP4iyp/p++P5jsq9BRjngoXi7R7uSOSFMTbjgL4oEzgZjIKUuAWu8o/tIX1 ZSQyqMHt7bmv
TVa3fKaAj+kB+QP1NG9DXFKUVTlS6VmAB6jo9+fAw2eaSPjsiKdyNV/kRWXZ RSV/quQ8wT/a
hHKXFn4mKohDT561fY1FRO1ri+TPRVLPMq9/iB4yH2KSBHfiTOa3b5Omrnmp OxODbyBQG7bL
YttgZpVl9na5R+/tphoTxrpg8vWlUJq6E7IlaS7iMFnHMxbN7bgUkBnObEHn asCtKc8f+lkV
s62I/9F7v1nBWaOvfPxCa3Iqudda0McjIricoSC2Xwf6sVOEZlPib1UH+lTK P6XGPqDxHEsR
7yc2+7xTjB08mwf5ELS1dbUX4rbcH3HBvLDX1xNIuyu5buQamz3HdOBXSPiP TePsJIV8bdc7
4C5sS/4VZHfseAxUN8p2DWhhf4ffUPnCZo3sUbSvd+V1EQGBUdZf8I2XLjA1 5MgOfSAGwvHC
rvX75EZUx6QK7AQSwrvMTXGRL9xDmBHWesNT34QF6BEhQt76otyd8CCmfpk0 9KG/MRoB4WKl
j17NdBNJwdcqMCWF8RpKVdyr3jAMLquqSG6WlRULzvRd5dn/3T71b3qzJJoB dyNCWPifEqBv
qmUNWtD9+VavLEGRgEFND7EL4vQhfuSDHPtV7+fqfCwdI/oiQGiNBXwp7pLv 37bsdkAD704Q
lNkA1OBp593zKNRPeuOM93iM/WOaeK6xJLNOYHt+mcLwmofn4o9T6osvLzRz LEvww8eQyQz/
ob4utDgtOX5hkEwwMgQDRp/vMPc6zR84ARTcpx7QPOPAIIR14NyXMAY4WKtl nHKXkDJSsFxM
0OYUVhWYEGK9PNzpS4iAGkqVWWyYqZ5sHo3U+UzzMj4jhI5+9gau+LM1QifU W+06y69tmsc1
VfScOjoGeFwVHXNcKEb1EN6Hgoas5sD2W3UNRId4QQ7hZ8EIphuhHxX++OpN UhosDP0t/Lvm
ImsWlqMz66jUW/BnlJX193yHo/tIZME1cFQvnUi8PgBpDEAagY0YgDSeI5AG yO1nJbT/Djea
lbkxC2Es7nCotm1i2+oDKLbrSYt6PP0iFTLJ+9fe7q1Dt0h6AXuEJVLbyXr3 30a+s7RvSvno
dctHUEmv1Eh/Ifohsr/9NaLg3Q8R5ZCa93E7xHQI0xd/KhUoMFVe4NzoBxpk q9jXcLMMN8tw
s5zizeJM1etMqWl5jViAiOV/2jcMFtt6rizjBnC4eVaCIlTeNFf0RMOnIC4G e1tIC8Ao7BIs
b1DUB3E6iNOXJk4JYOadQqbNJptkZ4qXehGYDtdoameiT2D1oBSXSvseN+rS 6LVvXGIspRjX
QvDee1BorfT5LqunAIWYT22bctXr2TeT93Bp3KbvuTDgp/gmlKrWWojWV/WP puQEgamnUQpT
diU/Hj/tqnrndLZlxWaMxabJOodtjpgZ6WQz82n6eMBwz/YPLPZbGcrHaN8v er5nab+ESQyC
/mCCHvd7zzL+33dTgzy4BENFElqw7s87iJ+qYCvYPRj16gvESSjNNHY2n1T1 n/9Ff9a3y+0u
bl9vbatKcuxTfRd/1KjBDdlQSCr9RDZB005wqOiNrJpeCUynG0cPefEFSJYv q4e4mK5lvrof
wvHOJ56FoZQmYO21JkMtCtRAR/5zZ7sldVK+SzB5cZmUd5DV8Td9Fk+v+Ce4 DKwCaha5PeQe
wUtMakjzGcNXTfJX6qsezIBSCa/UefTjo8nSGeNA3gVLbpKpPxFgkFF8BnzG qRPLDDsvMgxo
CeHq0Y18wP8Z2s04jDrkg1V8mE/SqxIyiz7cjjL4F5AKY+KZ95t5GH92jKrl kb6ucMUfbimL
Gh/FWiC4+LTYBHkUei5rCk5kdMh46cq1QZ1jEyjsUCFPeNBN0O+doFtVG9Q4 XVaSn8iV7w6U
uIOkMKUrzCC/mL5Q/LC5vzE7xt7vlP3TmsJhGfjbH374dkeX14eHzOXDblNj 2vfuN9agqVCo
allkDoXDZk8Cjkbm/oXvubrnwE7X7ytTv6fVkYUnI/jrTgtZnAdmtk3taZe0 60Z+ZRbUnRsn
x+75MitVVVFPw37b3aGyx2qtFFDrfSVPy1zfJEXVLqo1VfVINtQvXC9UU4WD GEVcWFhJd3s6
BctBTirs0AqnCrMMycKBfEQq0TYRp0NTajVqVYBYzP076OTZC1Upf5SVcs7/ bBCWQlDJVP83
XSZWR7vTVj0ChKKej/q7oPZ5dFU9wejU915c0EVW4VNFDnFLesN9GWvCM0Q8 suhpbSffFJnv
ma0apSuaYvrrK+IhTnq2XpLybb86xf1yQR/qKdQsctaVc+QnJondpooTyXGm B6eEq1PqcLid
/rm/Tr32G14JZS8E9KtL7U551WQb3aRt8+9SH1RIMyI0yJ77/8L/vrdJ6t2v AvnOkVQNfw6m
3Rszgko5amJzw/DSUwi9v0Iw6M9kyFlTqgxrHKzgw/++qfcQXZsQu5762jOG SkrFSCURibUv
pJMo6tHUsn4QVzaypiDiJzMy7U2t2OnACggjuIhKGIMMA7DzaVqrYAYkH9IR reagbFvXsNRK
OlwzZkvatsh0UOVpf9fbbtFE5HZh/YzZsyRDMJ29bkVeKdDl7Ky+728zeCot 3ONzDodHZpDn
AjFROnfo9oPp3iULU/26r52z5ee0gP/W275xmbhkIpcOWFs95wuKFt4xCbDW jQZ/LBt5Jdwo
tmlBiRYe+0qcDz76ABxcc+rakbxkRYtfyIBe87j4Qn23NXWFB0ZmLUbRZfZo 19rhjVUySBiw
Jqyrr7U0L+VQI/DdZcw86P7mNdthkBc1+2plX3z4TM/1A8NhrfzCWFYLdlwR 7KOBxNqIk59W
kOmZLbXyy0BrdDBn0Kmmpr+Kk9lHhabI/8JIrC8pgLZlMsuMwow94YFGKWFv RlrxCRRRcmOd
kvmi9isHyJPCZBkY1M8Ck2uVnSZXbM5VbEr86TKEhyoIcs3jDJNK+VqktXgs COWZCU7CPI2B
GCjjs+pX+mh3QS8m46EajYZMfJ/HlmDCYQVkK428NQfCSr+ad391BLWRG3Fw ndxtF7iS3T7f
CgNZPDT2hKreM80iIi0F/ihYVnLreXSV6QXNjfsaUADCT5bRCLFftTD5FdVQ PJSmwyw8pKcR
A6PNc4w23INTCFo3MXPkc85sxpZKr25isDI+fNBfv4VoLiYhaJm6WBLHzvPC NXuV9c9oghS5
llXRO71SLY7oT+6TY7BgCOfxt59/wnBiWSWLJZYGx1hFjMaMWGm5TNCPKs4Z TXhssCMJpLBl
WrWjoA8dvQUHEV4wZ3bHxlJIHl5UcTFTewTXYUfSjo9awPdh0QIaPrJjOJcN 6ReSdfZ0TTS3
ixMUR58LUKPE8cGAMzQu0zfHnA87nUk4RCNWuMYsaOGpWEpaXyac4b1UcVyq nBRKPotXCySn
sboW2+Php9TvjUXppT3juwSVhY4IL70rGEYYe5pFocBFQ4kN/i8mORHkL+J6 MrVpmnVdAlPG
ak+S1Kg9uZe7mmj/dPHhEPjWOmDt4McYaPF9q/Qxq52FmHjHJ9Q7mZzqEsjX 6MHRyjfZwCph
VqHteVas8jSJv1LSHw/Cj5wmu3utQqmV2IlaMDhXacmNOsQXcA9rYgcl/z5F do3Sw3kMn0dh
yVO+IGb9q2gHB/IQp0eENNcdnYCRfHCELPJDrkbH4ihb6XwuIVciOwxFFgM3 9N0UPIr7C1zX
Mk5PvE78kvPbvO4JllmCKbbsCvVaKPDrl4WqZQYPBeBDAfhQAP7CCsDfy/4Y GyRj++/1Ig9t
YWAWUduMZuctdx+Z3lvuxgr08RQRqa3aaoTVshVttNob9/Ry0i0ibc47ukNR tgoDtnWDgikh
PW2OCNXJIknLYk/YsE0O7EfZYmZzXjvyA2t7bB3iwPLHrjffxX450WzScEy7 H1PLWHs/pjPF
t6IrpDvFZm5+f0sXkualeZX0lCOyI3iLK78F1ulUKdXahZs0mMPt2Im3Dky8 ZXDqDSXGsIvJ
lSZ46mdpI+zeJVeeR+HeG2K1IolJmNVIJmFZU5gHi8QgmZNSMvxvQVKGP6nW AjNap+mNiH/y
utTVu82dx+UnVY3OXuFYsh7eazdX7x0nWsth/Vq9J+PZbnoj1otdN+G+46jo bJTrnkUVJhnQ
hkJGDqoj8WSiF1FhyQxVft7oneZaeuvUMhzlnGEP+TKdUjoZ+MUyMa4VBWPD VTdqEi9LxTjr
mFSHGOHY9Ndk2WFBspUrUON4n0yXkAskn5V/p1fw+IQaSqzcDFqr9dwJjAu5 Xj4/9dXKGvGr
zGR2usfB54cPz/UJSRapGdR/FyGCcEfsqjGdQ38awOmNcujq2eI0gUA/Id7T yoimTERsumzI
8Bwp2ix/d6UrkddPkvIUJCJD9Z//ZZ8wD2BZrChdT5XNcWB594Mv/4y0a2vA qWVSsAWnS5zI
DMj8be1LEsqEn8GZ15+yPTxT+Fhq6vJHZ+YthzbR1rgTJGezK2ddlAb2U/8t cq09w8M0zpp9
2cwPYAGeBBCwuU8iBBPQ7SZodSyfEmoGT8C0zm33lYcQNOqiEeTAt6XVLLp6 6H11wbSA1dbM
ZZqOcLToz2azXPUVWFCPPYK/nNkXKIv1T+v7Pw9DguBjY/zkjjQDT885VaWU UVQ8la3ezhoD
MXxhhFRM7MyEXVfSRynk66UMnDFMhASwqGQ6VXC/qdL0Cqqw1z19Fu8fcUFN 8uw2TSaEz+KK
d+mCYR40MFVl7j7jEudxWHG52aRVrkAWd1Qru/Kwb7XsS6CIrRzpV0qHLKX/ ZVp1e+2bmVv1
PB2vgsRsYVf9a0dmDcpFmNMTWXIj2djYldM+D00inzl+Yp1k1YHIHjk5F3kN VJubpmjEcVQM
BwxFWJLV7eeQuqMJ++pNof6Dee07zWzwt3OELkJm/B7QxXL02H7Xwl3w1BGz 11bJI552tE11
ey1UtLYjo/f8hVWRe4ZGq7kEao4EgRKphOlyBKW1W9N9sTJg0IHutYhD11bb x033uvfm+dEd
v/LrMqB+d6D5W8QD0WTuQnD38EU9YaGnLDB7+7iplTUE2H0ROQwWsTcqz8NO tw4k9qs+TjwB
8LKWRe/jGJqMMmlxeQfdOWsASB6RLZFZcvEXzUNFPl1OiIecxwdRxvS7SRVn W3PTnhO4fdf6
Ey4Br0nvifNMr8GBfQmd+Z7ljRRqRyR0VlWtZf0qHqtF00EUjzp7RGuUkadJ qadlP9esjHrG
85FUnme1vB+XtNzIg87IevWgGQSMm8i5ulGOcFNuD2z6/+K1lS8rgRi6rpH3 qg5ahOhynRfX
FjblpHOja5kf4JHLavEIV0zPcDZ5YaBahCMBHVNipNfRX9zjoR95+4bM6SFz esicfhmZ00ab
vmbZfZ2ULFBPXIpeOv++CchC63FfbEoxW0ATcvEH0JbTtC5O6/ksImvTBXL9 XuLtrziJPMjc
QeYOMveFyFzOlTi5dgE258TC1FsUTz1lyJeyzVZsZDiAufWQpCmc2i+ZttcM kk8g62hVBhDm
RHltgCBrRvb2xifqjXSC8hg++KR+K3sDae+apG7alfwOFGMstX5xNv0iZt+a Wc8f1qnpuMLk
GWESHC+3hjhnI/wxO7vq3zLpX9FV+IcVvYjHnPK2yEsH1DeVRRsGzLG1huYw iPLI9psgyR8H
3H8TC5rRCu4wqg53/HRKAMI+YqZHY4lGqDlIq2BLmcPUYAh6Fj3pljeAvyjj ktuYzZdlhUwB
EGN3lJACQX9G1CMnFD7ZYFqTyuh1FNJaJo5veqscHJO8Jv+2ED/HksThc01I lGCKERGnNMqi
YaR4bz7KXiDUAsHpzSkr3m3DjfdzL46A7i5+QXhmpo4ixBCUz8NuTHOnHAyc rO6rXh/beJr/
uZbtcKT+51o9Wxv6qfAzLwlqcZn5DafwhCM1EPORRzXhLiQ9Ed5eH+uQbRqq +wvwNfvxvsHV
PLg9BrfH4PbY3O0xWMW7tIrLsFkssn4oqd6Ub9Rt25LcLjDAskBoKgE570V1 2XiGO1boU64Z
IGaJOOe6NczZqG7cHrTh46DFXVpnkJlNLvDobZhZS8BU1M2ZphT6mUcaQFOw NzPK1GlvbUYd
Ay8a2pLBJIt8/BqPwWbaymby85aPgN4tNpOEZOPSh2dvJMn04PUdI/qwjyZ2 hmQb6X9PuSNC
Ael6+g6ljCxut4WHVa8ONypK42y2RIgVrUpRhieULGsdC/o7FSqeogPMPmaQ RhbLYpEbTPtJ
GmNDL8QMNUg3suuDSxTa1KTST1xrTTZ9vK7yazAVTtyk8ug1iTOuCIIlJuR4 4q6QznpC76J5
yTrmRCUuVu8MxtJgLA3G0vM0lpr5jUDha68tz/UNi7XTlo/ocoL/rDUdgnsn lrITAy8KHkVl
H5RPU9GO79fdT95wo7Nz3i40//Q/k/LDJOWe5zzOIFIHkTqI1JciUlkeXCOl ByHaEKIY/R8E
4iAQB4H4MgRipu3tZKqu1e2t/tAOTm+vIvE9CTnwUlQbSUeb8IWOZ96MQS4O cnGQiy9VLpJH
MlHTwSc5+CQHuTjIxZcoF7dr5NsQGQ2sMDu9Zu+23mxpDvoaqB2bdCFq2A3Y josXHjzlwNNm
t0mQgQV/8gdpIiL1d0NxVBND0qiaaxkJUyK4RuPFwOgmrt3GKsXtRpK11KOX kBh60rBXRph3
KOfokITgQLSOIAHBVXBQqc5D5hITbGXW7pFDAkAq+80uCB25bu2iA9nr+q/w e59dEkNmtam9
8v6IqcQjrpd6jBSU6Z0Z+Zro4woIU4AFmzHUb3STV3dRjpcYdUGY6muQPijN 8eaO0pfjNPmH
Zi57tcmN00KBZsdYnXFwHdyzUX2FvIcpoSGhupJGlZ4/9N+MFmZ4Aj/RSt19 MuWHM0bGdQ9R
rsUNYJ0DuhZsiRlpTZpEiKTTpVbX9VxV6YiGIgJuqgYb2gvdJjuVb/P5Qv9J b8zfk+quXays
uELqZkwv+iUDGdfW4+NYJ4xutZD84KrzSn1nmJdD3ZiCr8lCrpaBP4aGDj/6 7zRH14P3o1fF
iL4qLcuAqFTS6J78d2xAEE/pwhzjPdg8F5Rzie+b2xRwlYGjuczSPRDoXhXa AHcMA8W5i1dv
8kl6VXKQlXCRJynwzhmeFvwLfO6c51F+zkcLeOayhKdGUrqd4ZNn3ayEEAtq ziZo68ZNEJIR
F43jIT8caLi1Uaet5vfk3WYO8UZ5UzTfZXVqqPTy8NLsWwDoV8noCb5MqiB3 52XE8dzsk/Bz
3C4BrZy4AV/58Pan8+jSnAbEptJSWdkJY9XL1wWmKMLloYdP7qGsCJRRUjq9 T6FjOU1DM+Z0
6oRaAvO86fLQA/O/Hdo+ZNzBaK6U3n0FpIOewEYzBy8DZ3mbbznvOHdASSk3 Ptjlh9hpFwj6
msVnqvidgq+d2fWKXuudXcXsZRsZTQC9uTxJ3lU0VvJM1Xk1tL3YoGQX2yuT XU5PGvipOvXt
9QLW/WxvidXym+7uccB2iLk395am2OfWLrM0mWsJNN10d38zL/5Cmc5977O/ kOZW1+fb56Yn
5S/6Tjw9QUHzlgg01j3EN6xUDvDmddcd9FtYepBeT7rmnuYY8Az5ukug4Qzw sGZ7MPthHVNp
PcXWFoHluJ9wywsFdQholspOY4icgUMJEtTHvkOzGx9abSFv5VGDX5tc79gc /qMvHoeOcC48
EmwVSVxvIJqtImr5stYGT1p2kt+2dVw/nePXc/pxlNzgziGbB9ibgVuMUY7P UmqJx8qgp+Nv
Viyhp90YLc0+d+Zx48wunewq3ZmiUET9WxsW3VD/7cuyzCdJOJrQfhXIt3o5 Krb39ig7i0Y3
SRYXj2eaGnZaererB6W4xw45ULirqnNwUNEr/DgOOYCy+D6ZxVifm4CfMp7N CjWjBY7JfT2m
PdLaq94kbkeFsS7vL36rBvjet5oKKobCLcsE27TDy6bfXZW/0DSf5ALoxYcn 9td1t75NCkhX
pYul4nbXgrA7DJTD9l06mm7C/+6t/luEC7bsaxefhmXYE/PNVV/b9RNszBM8 IL1smBB0fe3b
byBZd2Ee9rKB4l7oawM/B3Xf1v3zVOFe9swqVoffrO+f281aKsivONz+PdOr 9dDbeOp366H3
69lcrofeuOd3u+5pBztDfAszeaP+qb2b178qLUXUPSdqiQ0D/5QNTBrDGr1W 93l63wXJtsPO
ucyA0/NOi6wG4/23EWNy2Lju1vAc1mMSGKmPEVw95Ph4GU3ziDPx4Q14wXUR 5oi38YxjkDKb
2rivyX+gI2FTsG0KyAQqnqolbdKWTvGgPMHJbapp7rxH8GIdLlcTiKvesW3D Tm08DCVa9udJ
9hMt9WQkLLZp+jexbtsxpCHF2eNzyLb0HJp1z7IbBhIpe2+6Jv2VU1VOiuRG dnutlosUs2Eg
I8T6gBnblny/NovyPIJuN/wvRmOSwwO94zQFl3WUJtmXTb3FLr9yeq0lzHW2 pJ6Jp10T5e+R
XSOcFoMQLR+4i0VyHu0ANsnMpqWJBDReqkOULOIComKjs1dvtAy+TNPRIvoz WpwT5tr7bHpe
6k3Wl8drypWr/32otxrqrYZ6q2dab7VW7KJGeOJS9++QqhG3iF5sONoQouNI GyNawxWWnOVv
OYxen1YiFjkIZFSs5RszoEuc+uPWgoITfKEABVsJWU9RdJmNzWPO9YbagfWr A2bAIKsHWf0y
ZTVlIVzHntPnpCX1hyx9jGhZvhOI01lkQkRdz7V666s36mtSao1XOtP/Oa3+ +iYSvv4ffsjy
TNXaZooxrFL8/SBTB5k6yNQXIlOF1AH999QFqnBOkdcAHDVSsGIWGiqV1Z2W seAExudM8Z7I
JFMtXobkNmrKzTfR99gekwbAXwyKC7gg7AuDd2GQroN0fSnSNSl/ROXuVMJs 75olohjJqDm6
44DOSs1xXG8cbgX/NZ5UWscFOcttPEHc7iSKOVOVFqifyWHTHuvtL0ikaHbB KgOKPBonh9iZ
QIywrqpP8jTVfDtS0Z+Rqldwd97PrQJ+5nbrAjj0sYCyWugy1cS/qUf1+NEL iqT1Hp4HkYxq
ASFZFO16gQF1221gT2zAhSV85MXXLm6JalETf+ZnfGN/kDl2Rr4Y+94xQftp dEzRwgFx37R/
D7F/clLaCqtFXGjVJFkQySW4ijnCLtYL3J7Z2vCKOIlaJWdf7PPhHJldBYWJ Gea75YNGI7mk
fEdibQuYLHPNhRvI0Sg9R/bdDajqF6AnzrlJNXzL9Vwrl5qL9AXY8LSX4OZ2 WFodrsIdn16+
leoqSIezS69pnT2j2jGrzKxL6bBj+6kdPWVemdNSO7dC2NvKM3lJG3Nyv6fX a9aFDXoPgIGW
mTTsD/Z6bzvQHSR7bze2XcbR3N1WXdpzezX7ZLcqZwKFQ27D9LUA/hn+X4bR 6rs1m7taqTUb
/3sSuI1fgeERyPRxTyBXIBT5rTkgCWLGzPVZjryvgRPeQJrFJgiZ/INTVfQT cTG5ewTGMiyA
WDFa+puApZAuXg2q+IhJeZnEC1NPAN1CH2BOaRrf5AxMo2VSCcmIWiMJ/ILK BeKuy19syaX4
nh4csib1s7RNC7OJ8NxDXnzRawhoNZtPH5qbTmKc9WVa3eXL2Z1MlpNTelwk kDv1KFUuDA0v
0UB3HiF+X59mOzoCLD+OyU4F9IG8irT6pcoyLpL0kSenWRHQvBZFoom0SNXY hZ7NSDbm4gCb
51oxgafNRKDaVH9kqidIBawsU8w8pWwptH5DaHTmA2IL33osbVJI2cVlq/4r cf5sdXSZG3i9
GqfeCOA8SGfQCyYUgVS/0vaJMGraqm+sgOvrA27PyKh1HhbhTzqyUiKTWmxW IoA3PB9MkBuA
voiHmD5K3MOAE0EAwNFTQqpD4y7xea2gsgCzocVZ9Gc0857aC2hc4Ma5EDRu hXNbyTVhJ4YZ
9FMywy6eK5KYJcsEXlvr3RC3bOP1C3fC+mXDHC8Cea5LM0dzCZq2H60CoOzo oX46U7SQ8GLd
V7bBHH4qu5l9si7kzThNvOazlbtEGo9e/JMTrP90YelTh7fpidWajEPXDYHC liTujISTCLHN
m2aXfBZErGwS76mYkll+PXmcpKq8TrJrX6k88eDrv4Y1ZPClmPDqlHtSY1pg DPsAml9A72ZU
ScQrjtmhUGm9Vd9zNs0QMgvlD678xo1lkhlB0wtqs/AhtAL1HfrRpY4PLTiG oO0QtH2RQVtf
Jl8LMTbI50E+D/J5kM+DfD6Okh2s1jlxoexJ1nn8GOWZEZW4Ri9Chf5E/WIy rUN8tpQ+TqI/
OX0kfvxkx0Q30GSodBzE5iA2X4zYnMeLElpt1tTbUlUnLkGBZ0VAhTqb6cVS J3Zf6f2kKhSy
mUrQs44BDcvfGVYgGv1VBmmgnvLRKKs1PboQIXsXzCGIHD2VxgQwEkV5IQ95 gRCm0QLhibDw
EafHvUN9xAEKV+Ms4SEINLq4JoZ59DsJJp/c4K2hhhbLg8AfBP4LFfiAj5Wm NmtvI4CsfpN5
HDoWtM7BrB27ijC6jm1wR919kkxLV0BOowy9hFI4Vad0u2476/62yba6AHbP ++o1PQrt6a72
SXPgiW+VYcGV29UrC65qtnA02+jwZV2zrSAk/FyNRWCQQeCxD6SLFmJeJtdS bMK2wTs4C+J/
HiHgJ6ufbv+0WlLwBo8hawM7r+xOObEbjjmDmxzeY9iyGg/1t3tcodR997yK pZ73zkuB3sfe
DeLuCeJOXzvacsHuYpjCmECm6xTzPrp05R5E4SAKB1F4NKIwuHd4wNXbuDwp jPy/m8zVnCQU
p1gnmWmGiO2bi6QEYJv93hu/lWoKEOTFbTzZjPnsW8dwmSR2CVHuIUTXkvEh 3xxAaKcKnVXZ
ZB3o7Cam3DPYS2POddlPcAeT21eYb3veZXYXb7S5ov6nNw98oOSFXKe1Ijub dGmrJ2Yr3Omt
5fA21Lmjbb8y5joVT2+0/YHGkT0QIPFX0FayqjednzTp3PxPrCugkmF7yxmP RRsV+NVRPfps
EAoIeVd8gHeXsnZ2Qjt9nk0h3SY043f6RrMXs3fNbE2fcr9ErWLdl4r3mgVa EFXiowTVTQUW
XM0VlOsm5dxVJBtq6CPIVVMPif4iRsLSuIAe21A0h/BI/P0Q/YlTXr3RlARK 55P0qoR+Mh9u
R7yi3dCXuerUxCGR1x6JJmmTuRYaCWTBY/yuyk16hxWH+rC+DWXEWRL4gvOc /7mbRvL1E3t6
8tA0lW/IngAxhNjzat44lvyIgVXr0E2olzSrBVBGqXWAOIPyQK9iURP3HjrW J2XCpZHQj7JI
JrQHWLgo6DpZmeK4/gjOtbCdnGvt5Hf7QX0Y51ul+Uw2MDbEcVvVYKLBZLWZ ngpGkuOt+laf
aV5o4CfVu9tqeYsMkSoj1KUMdw1KkD1BgeKnTTknpodxpwHsyY3hMY5PwgNl ril5B5e7rXuP
WRDV88V8fjOX9gT5iJhLsmEW4sHkNhpJVcCoH957ZwSNN8rOxVkghNK/LLRa og/Kmd4gbSBu
maSwSf8zTzptxLDPt21OXeRxidT6hjqfueoaEDPGOJj6Gs+xwJq52+QSkCKq ZaYrK5RdcuBV
F2EL3XbIZq/xu1iiOlqVFU6PdZB8G5Yi6t24EGxwsYInN+3Qs60Y5YN3ehc0 T1y40kC86Ruz
SKZThY419RXpKdosLSgxIfFSmxrXPYpiYuG7/AG9UPwxiwhhkHrOo/+p2Ez1 JiIq5s27+pk5
iGUjilt7QQGgRFLodZvkLC2oCyU1byzcvr2lWgsEkMB3E1TkQmI2uyu3kIv4 2raMsREXNvKL
T09ENlOkgxd63UkE6iHiiTQgQqQnA3iklsntR4Iwn9u7/+sfac8JtxU0KMy9 lgk07Bp+1QzY
wEHCJU2TW5R/lfs4LU0CWLU5B6RJOIF/fV6PVNibMurukdO0NOU92LRvqKwL w4oQH+R/bGl2
1p09y0xPaY0LSE5vX2CVAXy6SwZDek4AdVe3qLkRgo3IUZ7mitBv9BV5n0xB HkGQJdUnSa9B
n2++24AJoILPoe5wtjHlElcJBo+h25mBkqohMNXECIKlaQlCGc1Sjqjz2blp 21WBZwkvXiOZ
9BGP/dRphzuyzhd8aMy8epn+5uho/1obYS1oiP/ChVGj+wZFXJv/Tnnvmk2E EGHYKv+9kvHa
KlL1vFtLchHbEW3wWztGb1sFBLJ7vsK0f3jk/VcAkng6Y33Cao4VjKQfuLBf 7QtkmkzAIDd9
IiHh4L5MGMO7lggIzhVNHBxEkx3j2xDMRB52CKRZozh/gRGCk2zWt5ryS16x E6FCQ4g9qrVg
U72GB6Ebby1adsTLivQVj7/BtcUG/5SkhI9UPqYLSCTiMn3FReIEG7b8NZjK wpCreegOg9Xb
Ng6qWvsTRzUf3jbc7VmQHVjcDrmmDXDP1x7o0hbb13EURrB9c9AivIcwIE8E 6bnBGNZUlEij
mzNH33Kohv37tm7zglTxrOK6IrNrrN86+uqF/freVQ8TLXwaGTft5n0MZG8e TCPnVyi2wTtD
jiaZKaQDH1pDAaarkmq5rcHyyXt/rbkiH79w3+5f96gRX25LGCJ6nyc+ZF1E tVvzQi9e/593
NrNsfzIgdh6TJ+B9PwtEeAprOY/ZRxtncEzCjrMRNroh7dMoAvrAJ/NFXuj/ PmsUK+5RgWz2
A+lZhbQIzms8JeI2kZDVv/XlVRNioo6iDfjNZI+a2gqGvPaeQi7x8Ks3LUzb ku6T+v7tjbaN
L22jOzTGaF4tfTNAk7gIse61EdgbZQ/rgMKvaDIE6ws6kNO+epxUdCjx/gV/ AIP+IJ2Yljug
nK/H8Z8vOJGtv7AWh+kdBUGpFmn6vjNQoPBvq2k/rQVH05ZrtOLgSYUactSS MQ7aXqNwM/dg
5TP7L7jaxpRsVneMEWBIPW9ybJoFOGMa3fs2FwiiTpqcNrycPoZGzOohJbpk XRy8jEakk9Fw
JrSZPp55YwVOe0esZpmWcc3DXSP+2oljJl1Wkf44VKdm1skqF2v2rqz/mM0s WxjM0LieHAC0
6zw+5oyB79XxCn+gnq1Y941YkDtlQO6S8lfxjbf0id+BXKO12ejBzIMB/GgA P8KUrAH86MTA
j+qSu0xKirCettheJYfdKglp4IlStQCxWigtVN/agf+ux+1UuzVI00GaDtL0 2UjTugw4veTe
hhQ7s7m3JRUuQKU3tClvWnKYgxRbcyIx5eKeQqtNJm1GY6nO2OYKe0885Mt0 Coc/zWdsAzmR
LVN/XTM73Ny/0j9ddroR+CJXHhbgUD/hAAZaO1amD5yxjujbE5zHFCfpZ/PS 02qVXt1Wm0Zs
sfkdYT+6AYsFbO/NKihal9e5q9wR8nsryQTnez2OV9h/mv0C/ATXGdVjYOtG 7FVrel6vNCZd
1nuYS/XZgKoN2QYKUVYE93L9kcyX38ykFWPvxpBtrK2pcNnTUTRpY1vtUfld S12T1dbOA0Oc
baWV2SH3d+K2zN7+ScXNqlB7Hk4wc9uGj8yxSyp5bwCT3y4L/EUUe8SBU3Ie XRG74dDoATU5
4RmPiqngq0eGAQJjHzpVoZH0soU7O+R/PfHss89O1HjOWXSCagLfKLACm/lK qhMZe4sPN8TW
U1OQnkP6gQw88n3C+bLynqK0WUdxyDXcK5mfFhMJ9Q/vGBTpMR7S2mfXD4hg iMM0TU2RMIYs
iA9lm1xCvc0N8DA2xiZti38rN41HeO2ajXWyEa53YIC+VdXgokQX5MpFA20K rgTmwAIkLjMS
rU7dw1TjHug6ahTBEMkDBhlMwmhiDhb6QTjXyvPok7PCsJsP2WiqbsMleH1r y+suB7RoVG8J
G0SuN9ieO1hxqafzQWQMlEFgnhD1d4PS070R9zGaSvtuvR1sVvzqjV7r+/mi etwKxGyr29fM
8kcIlWazbW7ez/Uh1qaG1t64QGHYu+yx/a5vaFoSYFcYnU1RfbJpPs122XbT 2hF/t+l33mxy
bnbxCMi9o/bmvfHAblQye3rritc7bgD6q8h971MLM8dTplbGPrLCjaoelMqE EPbkNHYydfI5
Coxdehn9foo4+IBQzAs+4AR/1ehLbr1A9nPbKnjXchbX9J0TD16+h3ikU77k AskFh8eDuna1
nkG7wVRP3jzN4gK2L8niBBvfvIn+dGSyjwpf2805zWKIdQ6xziHW+WJinXmm rsNi+MTl76W9
71iDKyG6Mc85uNEimW1+3k5EckjgsjxGoJiwxGZTFiS2EcrarFqc6V+Sf4DV BliCr6PvBkE9
COpBUD9TQb1dFawzWzeOIzZN396s14DRakwQ+5MJC/loS/AvFvs7tl5DluIF fXiPgDmhC6Ld
j7HejfUxOGDAx+FSPYK+juA4F3V/W28MFL7c62VRdcP4GPwdW7OK52bc/vR7 wasw7SWAw9FQ
vBEtxhCUofT+CVxEbTKCRjmQo0v4LY8wxijk+Y0mT6q8aFe7I7IW0po2Yv4d 3U2aUNfKhhFP
2roRqic6k/TScC9FyFA9SqMFrk8IvdkHbFqlrPM1x4iSLeyGB0waI2vOpXhz 7iQ0cczXnfnj
YCBeucnREB8bzwz2zWDfDPbNYN8E9OHWzOQNVOAeo3OknZmLD3Ir1lx+vr7q XE2Hzl30JXXD
4nBWw4pt7x5Rte9clP0bpSso1IKrtDG9dmFhRMGItDs4ezNAbND7YMZHS5j/ OGwQPbmyBzZY
T+DdGBriOB+joeEUX/VVcxHCHAWzyyh7caWzP946vA0q9vWNusburxVkpp+4 1QFcbgpQXB2u
WZzr+N26n8KQ4HFkXhiAiqWQl2B/gzo2MzzWsTUticFKGKyEwUoYrIR9RUHW ZvvVdOJjipq0
aSJOHvepiTzdDOxQQ9VK6WBtQI3YoWesz/sISG6UGFJyApZHV0Lv21J0hGoN Xq2jzFqrMUgs
PY0kmx2R7V8PVLSYjIc4oSGT0ZncgUO2twPN+l4X/NTjKumpU7MSCrL127Rr w70cyndP3Oxj
Ab/c5jTZPILFsgCRiVVH2EAK4h2xod2OD13zcBke6SctPkzWoy9VDBvwLbWK 2rQxt+IaE98P
Lo4hVOZQDWIcvZ4STwgpJr/wST6CuoV7igVlNRvd6yOZcNFhK/FC/gO3/8HX PCCM8MAfQ0OH
H/13rk6Mvmh6AjE/WojV2DSZ1CcbjpOpuzRP/rtXAFneIeRNWw2ktre59EY0 mjRTpCbRa/pM
Ll69kfWNpu0kMMQ2XpDFBrwWFBkbws4EfIenx+uNRWzI7t2EUoj6Dbujj5LK Nn26g1ofch2v
Cfu0GRHHFwSqm9pPQ6XonHHU0UDde9Cn/Uh3CwmuY4SAMdK/n6VGfBNp8Gpq 5TF/st6/49CN
nwN6RIpeYIe9Ig0C36KruK6ajcqzdTV1MYrnytfbGjmCLznG09B3twr2cEfC EJVY6UbNKUQi
h1GGj4jrkEayZTRx9GcUnzdUUJpTIO9sqG4cwkVDuGgIF8nmtlxtvnWs6Ai8 ymv0UtEpVpse
LLkB4kfcqgd3RpIk77zvp4Ly5IM2oeQMXIAira9XIqCFdbmGEhtu/TE5iJv7 3pKstwEVnuz+
9YqmeIYHLxjqDI60Vv45dJWVQEjhYrbeOOOIEJH2nbTnN3o9XhScmd+QFrve V/HXPMvnWhFr
QcHBVkuBJrcEhOM1YpKtkSLEZ0mysoo1TWpwxvJJnEZa5hAHMC2XGu81v38e fb5bluP2UamZ
JhmxplW7Ga5lTcIMamyWsYnj4NfQIm4ZdYxb5QfPwnu2oWnsz/AavOnXbrQT N5Pf34M/uNZC
ua5kxdEsuddc6j/2SXH25F18r1ygodlaGXgItbcx1gj4o5iqOHBlJJNlGhfd PlPC2a9b1XhJ
D4bxYBgPhvGLNYwDkPRWU4vRr7netW/B6JeZ1nrwtT4tgCYEfdt1zCkDCK6r ny3UPT8c0CzE
swRMb7DoI/VVTchFDZkUqt4lwfviQ6JFOrVhAIlcOgCLtlECCsGhzUWewhbG goAw74UVarjj
AbJyS85/DehVrHU+B0iRWV1H2Mbsbygadduv8cCF/91+eOCdotRoUpOV6G1k 9Hk8a//aMEOw
eRDVbM6xx/E6a3D3dDMi5GlHr0Ym0Vf9GOhTO6O2dQeCuB3bQaWX6n6bw5ry dPJq1vzHePIl
nqmmM7RPWx5PG1Xh2dlZN8sDIlO4M8iNj6Apvd53nK0+lkwd+M+Q7ct02bjJ wGClbm5DBkxV
Z0v6G/rqDZNxNIv+jGbn/OvZqzdxqUcfNVANBzN0MEMHM/R5mqHN7Jl4UV5X +XVdCKtTb10M
PPtW+F+pgcuiJE9sQMjGj1GmErRRXW8+4O8MvXxNiYs56NmjMQ5XaEPmQp1y zFFPpTEBbchm
3K7nQSuY4HGMFqBQRpj3jNPLKSUn87zfSQVpyDhLeAg82u4i14/DH1yrzsHl OMj6Qda/CFm/
pcvxLZRPbBePPoFOmKP7JKZ8EKeD18I6Z9ZXqUUqyFwBkWgPgjQYQSBMeNea MaFQZPLv2DbT
brXrp6nQXJDiPTiWvIRkcFS8Vusji7dAaPKmHi9wIQVmiTREV6teM+ZwZFig g5FNz4fD3dFW
zNzmgcAee+92nrx/rYYWsWcvUeD8vEvK/8iTrSriT+D8bHg0sExvhWZEZq1l XP34JJ/P9eUC
bn23l17D2XY+XmNH47ey3HgQ3df+apL0cPwENDuQreT6wJohqPEJzMkdhxXL Xz8neYg2nxzQ
gSf4N2ie8DWeL6Ap/Ef9FDaMhpo4ch885CvV1DF1XrCJ5a5KLrC6H6Kf4yye ES98quLbW4iW
6/nYvvNTs1M3ahIvAfq0Id14jujhkMp3c+gran1daLGwzdL0V+/z9B5BVR9y t54RpF5kefbK
CPAzScAfok8xgOTy9+BZnhmvtUlQWj2r6o0dcILTE3g8PimaHN2Km9+2+3Jw 5zdaIvBIlxhk
J3e3HfH916q3dFERj6gC9mJSyh6reKM5i8zcOa2KxAGunzXBpadHllaHlWox C3CGHwMZV8WS
6IjFQtCijtWSJdRPnRiP1AAEaAQaAk3Iewg0cO6cPipaxS0wtHejtFBOclD4 oJjf7hGY2LAg
LWnBukbdThLL6cjrogjb5lPAMNuE8I5WNftkewl6LWQNUdyG/wOKo7Ued59M Id3Z7bvddJt6
KEJ9I1zaWcTCTgYBye80AtY8O7igo/Xp+1peNsfS17391mOyHINLlBPxOa6k WYZ3nytm1VOA
Ug/R7X118eyvqh5KP6hM9Kplk9YWoqCKCpmHwHGmMWhc1bqD+jF4KARFqE6r rZN6PKkEeIc5
z+YXPztaz8vgfZK6U7ff274N12exzKpkLp7BgDJmbjUHCkwAB1FfFxjX34Gw b0gI880TTJX6
LLcM6UtqSxd+2HXmhUIXdzZ5vCi1GE2TfYIZyLUJGti96wxW0skCKXuvgrnq /8DtnEv09uwf
P0tK94bov2StuRfRL2ZGct/mUIER6WbWfh+YFJs5fNsWM47RSWSbUhNYmvFi 0OdGxEF0SM/Q
YQB/oZiibGedodhXdvKGafSEoGB1RIoekPHsPJILkjm6Vc4zLCu1eEhKmByY yjDqGGu75sah
Pia9yUaO4A+mqGtsRnnM9GdL8HLdQmzjIS++oEyDo6vfGUeqmqy4Jp7GT5Jl msVZlrl70CQy
j2mamgRe3BaOQ7OPrX4Fw4tZya+Itazg0om0uJioRQWOd+fzS9W9Ssk+FlPQ w2KZnnvuPlEP
C/By7cJma9wJ83ixWBmNclL/wyL+Y6nef4XllUm4rV4vcv4yk6yMO5pFbp5E Fi3BLaTKWjkh
Tro96HRk0VNa5kDUuITzVS7B4VFG78BEieksJejbWpbaEEwfTe06jKMVdyqw S6Ay86/ghSb5
URvsM+TF18fh4DCNdCMHAm0TchiQlHAJmZUjPhs9g29BBgO0xJonFTjUGBdO Pz4hCdOyF5bB
2R1uNeBj6Cj4NNHUZOq6fEJXxCd5FfQip3KcaI24ms81S0HAQv8VKArpBOB+ QG53gJFavOaU
FT7Sx6RMbjQ7YUzjzISX8EPo5MgiBf9AjysGWDhLQaS2fEREURxvrsCuT8o5 OmyZk9JHcuxi
OAA6lrK/io9mYynnUdsCjX9YW1rO7aXZRh/gZFLRPalXviwyvsBLiW4alpMh qk2X+rBjCM7R
BdcNXN/gIJsMYDXrCnwlyCnrMP9EroMTrZ/w/bVZKQU5JFXz5DSZ9ELOSZxS s6qNcojTOJst
45m6vsmnj9eQz3ri6WtXRiWjdembmX2ZXsQPQ4J8Heg12wa8ehNQnLrXiyJ+ dC0HzcUvjox5
NNgOZAQj2jzh15F7mP40YDoNeWRDHtkzzSNrdnHN0sdrutSu6UK7dvAuJy53 P0ttALRRWCw5
yfkaZzhYt2IhRBEQ2Lx+3hSk7sko8p/1gVZLLVgV1mwsoj+jxblVpaFE481f aCZn0J2pE/rs
IH8H+TvI32ckf1Wb+H1W0teWvamv8aRKH9mCCkrhPQjhNhn82slfqxAPRXOD AB4E8EsRwDNV
/Yryp+lLCSAzWmdPc6D7Lg4ZMeaV5qJZn1FpasKAf9ByD7LmKJ5E86IfKBU7 8xxl4NKZkjdM
H//pcoJJz3WhnZS4wCJOR2eb1Kl17X9hRj/FthduZ6JKpalL96rtdBncbEej UGML2oSdbPFH
DHLcb8LUR7PFZu6hLTYcLrb6DhOlFvwSDdiNo/ex8b/k2S9qFp/q3ovpb7T9 kLqf8YsHJcFW
CajgRgVoruSPpUsyrGUnBgKb7H0/EkwvasHxVaBlGZqMIxu8SaCoI62SReqc 2NvmJvE6LnDy
tBBcBO7yxbJK0gssItAy72c9fVAaWpcEjaPsSpQfwWul/o5rxMx+nB7pXbKx DE6UDsbJ5we4
jTDQN6UAsA0Eemkn4nkMXEwx36KM8sz/CkG9ed8FC0LvjIn2YjjkMZonszsM c6DBN0kqAyzc
/JZJa+YIYvSTN7TWz7X+jhcpPk0RqxKCfShhD571XIS1zgDfiNY+W+Q11/KZ e+G1XzmGWgYj
siKu2uod4ApWKgm5zyce1zVHxAxKhTlJcVRqQqeqFnzW7EwfIJ6AslSEnOJk WlMJZEPDuIeO
+XjMFg+GmZioJ7KOiUPzmflwJ8RJ8+wRSCQZxw8SuZ+CHtlnq5a88TbPMm2s ihIeADT7ma5O
kF2Px9DvU6Qy2nRDSpWI2X63SYELaCgkvBsg9HOQs/my4nf8w+hVC5myA5HK 4Rw7IJLjFHTZ
KfuNqkLhQYkRIdBspE0HCg+DLkXInsoL6hFcwjBzfTjHmlMgDy7BHEUIoIv+ V2ptfltDK+c5
5cW1Aq3jpF2zkhtsXOxGBbDM7KojvWr8I+MF8i1LRAdQsvgmpw2r6+z6xYDj lry1/otZxwaM
gwd28MAOHthn44ElkX2tRfS1FdnPSMBO4syAffHthLeRXWoUi+RtqAoZYL0G WTjIwpcpCzV9
no8QBOtgsazCsjBzEnAQeIPAGwTeyxR4hVJQ3ZpB22fyHJx61umvZkXWF1Ia uUfeCtIBgzmn
g/gbxN8g/l6Q+EsytHvz5alDdH/IKFCM3Q+zXGp9JfoYUfbFkR5Z/y1St7d6 Y88jfE0/PaaX
yFHLQZXwABN0E5sBBtE5iM5BdL5I0TlT1TvCb1uVuck5F+1pmwk0TmkdaG2y VfvAZedhVxyg
TD1sPrfamjvtJuakdPzUyjXzxrwT0Hrd13/IYLPidsEMAijyXRFBzTktoG+1 AwVW04iXyClq
W1w6m6YK12/2XsSoZkV/r7a7JzrGBFTF+dHPmZG8VOtDMFI95/xFMBKJw+fM R5TLdjg26ogg
8ay46LcsTeZJpaa/xJhR9Jz5aWnWqpdPWL8HY636Nr8sJvtlmT5Dxsr0qjpx 0NbJ+U2MezOH
LXvyfvTe92En5W8Xrlq3F1p8ps4sIq/N4KQZOCRXVRt9UiqSkz94KmruoIy6 IMDZh7fIeu7J
9e+13LUrgMxiooc8HjvGM/tFj2pwzC5gv8tFPFHCCtxx5YOtod4ClNdy4Tsz yL9hLUcQkD3p
DdG13ign9rNobxQQFdEX64mxMg+WM1gP3r5o2mLNB86aqUxZW0vQKF05huoC lzceR7SSGjgm
/ECXFHk6Mb8Z0eey3GU9Q4EL4TC6JlQfOx7W3cvK6So1IEDCAHLgsUBmSvo0 p3lwWm0qWLcC
itz61Cble5f/83xaW3yuV4FqSennBkGMR2nVX9Kfyrwm6RKLekwhCDUtw/fX lSHugz6fMID/
rIlTz9sC2sQThBW22J36msCqKVunA73VvqoJAp6P4TJcRW2tT9fG8mp+5FgH JzHFFjeqzHuP
r5ASc4zlnbQk14kCS91Ea0emCtRh55mhC5T/EC6r02x8k6KXCqxQQVW9vRLP ql6h1WP91VzM
mkqwCLW2Smz9VZKhpLvn4lr9KvzgVcWzxxhO3SzJ0KjgSh2UOtENiB3KL9fa q/t1JIq58avq
jKxfeuM8qk2QdVYtkG/UtCTDRRaCVabtHjUlwUouLNeaxIX+bpzqdanSoIdQ S4OKyymRi+CA
1/TijoVYOO3rWXX9LyeeMlHbcoTIIshdv2mqfjyZio19tA3tZpgLgQ3usugf qshFPoTzbYzO
gjiw8oHoTfQvQ/LEkDwxJE+8kOQJvC2uZ+rkhSjwqLz6DCp2HLw3o5S0bYmV bbX1FjkpH4je
vB4E5SAoB0H5YgQla5vqGsXAMxCWQuu3wtLTI6HW/w9o68H+FyFdhdgcteqX 2KugRai2aZ+v
vTcGATsI2EHAvhABixS+9uBorrP8ukym6pq8VqdeEHZ1y9ooK5+hGAh23hKx DBK6+h9CXHOD
GG6YZKNcPpIPinRXa6Z3kX1/Q5nZIGQHITsIWStkNYXRKztIVyld20QquhTM lkkQukGqDlJ1
kKovUqqWqvqJvAJPqe/qNESghmOj8i5IYAdZ97SpdhpiVTL3RnOeddzeY+qp YHBi6YZxjR7x
DmG3irmAfqy5VCyMeXdfSOeNfDLlet9Ruqpbd9T5k0I7Kr1Nu4HoxyQEnOb0 FCH6xfRHZ/qi
VpMvLgEIo/NebBrx+TPPd+j7DL3+H22uwTWEid6sa73UFVNhki6nqnzrIuYn SKLmIkKEklU7
MkNAE5DSBmxVhqRnlzSBVW7cACFHXpgMWhu+jt7SKKO6r/ftNh7et/u+Is2O y/Si0+UbuYou
J9y8B6k8BPDrJfIYqOabxxrTtbAVovuu5C18ojX4Ck/8vHqAn1vfDrFn43PM o/4ozLCN2QPX
+tPZhoV/3oCdQkluG7GzG/mU9CdiYo9OhAZT1mNRJhnR4+K4XNMdKbmlMdBJ IHqukvH/XaT0
/ognznmo37lJFiTV3e7ijnKsdJJKGZHJOyGSTFJPCJEJ0wLp95oIYQo2ClBb aIkfWklL98S5
HXTn1IRuE/oPN6n6e1LdndKlYSvyIn8NURV/wXZwlGxfJxHmh59HV5W5WDQt IFWxnuTqBuVE
VBovRE0WPef6prlCL9tElSDWNa9cpukoiX4wj0R/0uURUpESF2GmL4Uf2kZ6 43iHlOBJeZqc
hO1S9MbNk0whZziRYJVKXzgUUN7JjkAYCt6DfoRZiFFI06T3Xws1wqU+47e8 B9xftqG8G357
HTQ4sJvWjpXbLStbPtAcnlNpy9/wqpk7c9eTUWPShJ1XobRVE9LGMi2DsrXJ 7MjDpdL3IzyR
po9mK3uoU/oNW9PtnJj9lbRsRstyN8SkBn8HJ98y6LCz27VCKezSECxAVtGx 7qhKervok6Zc
5uBUSoP+6QCVjNB+hsRZZ5MdijiNCmqn+p94/fRn53Hx+97JcxF29J1QJXSD fs4Mf670k0fn
aOn3tGLNZk+8rrWa8F9T0UfPas9yLMNgByvkDPT4S9BlYRYV6TnGE9gCh2kA uXqx6T+ZGOuW
ck0WafwYFVrhKrmXmt3a8+htoA8e1mLfqOg/cm1eoUNWazyQXzB1zdpK8rBy gab+820yWxrj
Un8lTbIvWNhrZ4LpFwStbNu8WfVoogzDCmwhMU9npF2GWveZGauvi7ykBn9x 8LlKadMdwJ2b
Bcbh2tAQ1adLODsA2+LoimkXsHfrhY6Zg2jz2CZ7pPT53HzNB41q8k3jlYt/ cnP/Jwcs5U5q
rzksHRbgZFjglISKxlfluYQWqPcC62Obki0kHC6atBTS1PDEKv4KRdLfZ9OA X6YdSeytOZT6
RYecu9WFiI0nO37J7uQptAd+p/SnVOn1m0ThyKKtpFqUJNgZtB8Qgg7HofVi azx48FssLKeb
8pdldpvARkmOCWypeIe8+2aww4vwgORcIcPXY5R5uss6qe4L8aYEOjIZ7kT2 ist3l4K6eesF
yLWBmN7JKSaR2TioR9K52e/BS9qm/q+FVgBt/11+Ysy5tU5uktJmZGoePsjn 0Xv9ePNDmjT4
BQjt2B83xeuYe/kUJ51r/rnu23Bqsdg4UHcz6nI317OOZpByimlqcdZ0j9Q6 xYN1qPnVoHcy
cKTb/CHdfEg3H9LNX2S6OUjja7DNr6Hb/bWCbIcTF6hXt40e8xTCIYcG3lew 2JX+hzHeU5C1
8BEefUjSFN0NsD+DvBzk5SAvX6a8BKcqdtfzBefzE5nOxIpucoT7g6WjDzj2 ZKOtcVT0hKts
RCFrYOXIdrPJvmA+CehHO9ogWwfZOsjWlylbIavueclV7KRRQBYj1DupFHFv MXnQ0y4tvgaK
zUEMDmJwEIMvVwxSD1I0SN9vlMT7kSXNEyOC0xUfD+TI2K9u01HnGAKFl7Yc WPpLjf5rnKZ6
s/T2LXJCwJZPgracZw2HK4kj2Oq6xzx/sH17PJ37PPqMyaZiEFScaXJacdY3 BzS24RnV58Ao
7KUmIiSATACglPy9QEN4C/z6/kvwtdBM3PVz6AQ7eTFuxH79GE62nY+1f9io wQzFLE6hjyLu
gqqn4lD1ChpAaCiZG6zp/Bfuq4MnPMKa1smgAFkCKVq9aWDBKLNxB+KpaZ7E v4NN2zVZCauS
KM9pDKj5SfYFAzajqVowZH7eiNIkqjyTCVLglwx8z32E+iywPGlJW3jyuX1a 6NPdBfWwZ+Nr
UZBJ4K/v1CLNHzH7IS70ZRiJCG+vaXqXTpfHXgulXVN0y4uqH3Gkmb4XIYlP y+B/YI2ASZBr
kBg6JthPFCpFvtByH1MrbZ44R1zdR0Y51yHEyLJCxJ95LZAyUZMCfpx5MrvT JyEtc/dYbQA6
DFcVz6ZsZVGaFPXYyQuTlshlEfyg9PnYmbSteQ5dIiCEDsNBSxhUbuM0+QeT ms6Lf2XLtSqX
Oi4egju25n0SNK3PsmUMmZso5i6aTYXTMsEkQVpihmWbLOF3wl+5i1mbiBfx TZJysJeaxkH3
D3N0oorODqRcyj/jDsP+3SUL1jdUBqeqjOZwIIxyIUfKozs9sbiY6OtJ83qW T82CEA+S54at
OZYZNt4jFcndgXCpS6zIj8FNm+qjqrcIWg9DzgjnCGjyY8Tb7SWoNaqYc24r SJ6pt64aLxIT
GpHun2F5JGpnd+wKe9woSELDpYxlvEJk3zwyaaztn+ZV6VQEpnTb1PxzuMWE CrFrpkkPygo9
3EhfP23nA2sn+QAnU/MpSyznxrUznuj53tD1qDWG1OirldVWzZPflnjCQsxg T7j+VihRym8Q
A+ep8X0vHZiTyJpJSGMUf/rd+2TKD+vd1qLcSznDo3OT8P19e8j0M9Gm1BTe 6buyTEp4PlgO
3iX5rO4K68VpYcCC/PWMzlxh3Zg7/GgiP+TRRyddkCDs64B/kLrMaWGJsZe4 KZEa2wI974mH
fKmP4g3UScxAnKWYy85TgcvIPK2JLs+je8i0PzL5aFPxXPOiCw0HyfM5CDA+ sIHnxajj1vye
0NgjPQeLpHLGM4drhppurRnK+ywckrbPCMM0aRtBPOTVXNNz6jwpfxWUeUuE /R0kDoKlhCBX
3Mv5JL0qoTfah9uRkSCEtIJv6GOgbz+YSfRDZCVMbYDLEs6GeF1vEL89glfP UVIZan3OCcMF
/uh9aUQPr8SdWYlM4/AFGgMBSEzj3dDX1+PitD2x6uuEZ7NmAgScUL4z/CBH s3/GV2pvvM3n
lPdaf8f+IEEVdpcvymwnM2wbAlZ+tun/tWy0gXuu+dX2nNTNb4eVYCEneDvI 9WhGrIM/yJ7X
nmEfAAjxwaWCr51HPz7a1vPhgT+Ghg4/+u9GJn5JyID4aIwLdM5hKnu5vEGx z/q8efLftbWl
r7npFGUiXYVOwR6768KE2Vk6xeZeqt8n6xbuhGxA3C5evZFyFo+t/sNnKwGt QJRSciFkqyy4
OyPRebBSncaxWH2mF5u42kN5/Nud5gDIwq8qnn7I0rVIceKAbYeacfAzfqVt Yrs8PBTFUo19
j4DMdX4okqqC7BJt0d2SUq4PhvUCCO7VI7eNlcO3bkBDiaek1cDoPPReChIa 3q4LQdSn1otJ
9e06v72emMvyxIPllw3FNI7s2qJ4Niuw8VqjH8UqDNHvPC+KPz45y3hY6+vZ 7TdDOk6ty5GD
GDPY8b7y9d3QumiI/g/R/5cS/SeYBXCbXTNhr41qdeLy/ZNdmbuV88lkiT3d MxtdA+eO0V3d
G62+k/ArwgtRB5C1TxizP9Sg0zNU3TTYR9FmYQcfJKxBPdQk+pOHjaK2mTAw YbkQz+qnF+Gh
1VdtsJYjPXBUTqQGPjmD/zfcG8O9MdwbL+TesO7XayP4rpPsTg+v5cuJXxyX Id+y8X/YRUa3
RT4HKD9ZHiticSLa2uLUlnr7bTSyHw1dFAQI7F6I7PPSmV2/JuTz8P8Cn+Ab oFj8WX8YXL3B
b0wg4DapRreTwDtRdDsB/FvNVcDSeub64ojLT0rfIGfu3cmfET5mckFG4jFt ozDgrZ7WcK0M
18pwrbyYa0WYI8UyVadug1wGbQowR8pKy8eZLWXzXOgNm4K8iJCV5HW+Jkgy vUtlB6OjqeoH
nenlwgUcrWAfNbtJNC2S9phg3cyB/9cYEL1PtUGiQfoP0n+Q/i9G+mfxfTKD ENc1xE5yDEmd
tPzHsBPkDPK6Gglk87j4QilhBcdrPG++C12xMz8pfzFjresCN8jGQTYOsvHZ yEbObLteZvqP
10l5zX84cQnpquFwYeEcPpvV9Rs9Y4Uh/3kQhIMgHAThSxWEoDldPwNlMSAK YWkYuewiDEMZ
P4M0HKThIA2fsTS0nj4Xh4MfTt9x6nlLIRGOViqLsFy2NaQ5w7IHHJtBEg6S 8GVKQldCfE3F
yCcvAj/WnIVx1MAqSG6jhLr32JKOX/S3MCJjqqNLKk9FIHQuyWtBC4G6Xyw5 0STPZjjSIFEH
iTpI1JcpUbkY/brKr2NXNXTiQtWrsLeqZKBtjN/5TCI3mFwwhgSx0CJOVI6S 0tZZUXExSuRR
o5cKJClXSbWESXohc5lZZSs51rzOIX7NZH9GcgJVeU7YBEOS7iDABwH+cgQ4 QTtCVWaztNNV
cH7SciKbORTHxjAJ5GW2DrS2wrt94LLzsCsOUKYeNp9bbc0d8YKrK1df97QZ bzDQih3tOm3T
7+tpc+46yiqI0E4zXmbdGWMlc125bInuSz9kiZKqqByfE0QswBYBDhjlBKGt CPhxHSBjkHZJ
9204NoAGzXbe5mx38XaWlh8AwCeIgnssCKC/Ki251D0jgFp0LZM7OtLqbVwA Mo1EdbXosB5b
odeAcO8Qd28thGM3YcN8807AARz34TM4HAR1ZpsJOtsgryFb8ArphW0O5H2X TTnGo+ht1T7P
IghvrYnOVPGM+SihFR6Oj3hLXxYfkar3jNmoxAUejotYd35RTPRbliZzKPv7 BerV4vQZs9PS
LFWvntCGD8ZZ9V1+WTz2yzJ9fnyV6UV1YqBu2yTcmk/Qnw4OCW9w5pxP9syg URnsto9CLTfV
x3ETMrjM5x6EdwBFzfmnoML2yiDyevgNk3M7qii33a7adiMgs60cArPuLoyj MdSu6la8/m8J
xg1EGlszTf+ZYV7JgJP2m0NGbZh7td4diK3e/AhWGea8gdEsaViPIS7SbEmN my/dNyR6FHbm
E0DOFkD91Zsy+Qcw+Ovoew5gcO061f4BUGrOdrZ+ZhQcJHqFFYJQFJ4hTkom agdhajzA+co5
0sLNt5Rml0jLr//8L1hzcmtHND9E//lf7m/wxG4k1lM8fb1JLMb9vo08SDEW WYilo6kgAcsY
rRIfDPETlZDKN15Hf7FvrJE7mxYPM1ZBc8Nddenrb155Ow7/0fcFEUDdEcfV QA/BXSvKil0U
EzsnMHC0Pvac6zGJS5PdYWX+2PUXkW2GJBo9Vhw3R6hjxOsbpglE30R/L1tE TCwPrgt/Ur4J
otQL6aDHASq9ggJlfAIPrh7FfdkrS8YB4MC73/8rLAV2eNp34WrtTT8RxYXW 5VxaYHPKNDKA
56DhkWsWoAsnhf6zh7wfojjkcUpieWCEktQNsX5uayg/wP2G94zVW/Cq2IJ8 W3Uowvl3aRXF
rWq2aFPWk2fZduAFMuLsqe+BJkbp6agdbMHQxEloNeFLf9H7akB7LzB7eQHt xPQvBs6U+t2A
XLTMIzTIHbegmsZ64nAbdKCxCfzq02w0VO/vF34vnf5OuI1QS4rq0/wsSRrA ODaVgq00XSuc
uwAcH9rCECj4EtvYKm8+OLFoooDgVSK3A69FLecLqbt9Mi0y7A3QNFRxOK1r nKvzsbgoykbj
GNuxZb5YWvgs0g/COSZ76TfXzhlYTfWc2CNMvVBHDcaEp6oz0POcTieaLdmW UqBh6hsLPRTQ
IofqMpLq4LSbtqQIBOQ0+6zXNwjF3IOKbuujaRnqSBlHtBKihtfOig4c5akt oSkRwpxmuaYZ
pS4ByUttAKXg5SWHnbjSJXC1/AZ07IKhTccnsEeweVbT/SdkwwP3M8wxxclw E2l1wkEFo1PL
qCrpkN2wexYS9ugWZ//SvQ0tC1pkQJZnvfON7PkgbXA61AvKL2WXbUeVYB+y uN1VsoEg7tAE
uFVS288cwam/Cjpf6Ibnc1UDmfSuetvwTx8zcz7NceRbudmrKZTMjF37cEBz YeDLY2Mhwtfl
FSP5K286tx3evZ6G3szDt5ito2C2M1u7u6jvLCDPVgvd0g7DFHvnCU/0jlX9 QHcj++1aq5Ld
07LhJ+iiDHiP+3ab+IlMN0gGOwYS89Up/W/1PMExOtSyXdPXcPqF/HbvJl6o jXx75DTABPgg
X5AT3noWh/OePTGXUXNyx6eMbcpHhlXoWO1dMLTFCwOs4O6BDqpD/2qBcMqj xd6w66CNrYOc
s41mmpFFijneaCscffTupTFJllCo8NC3dQPK9Dnd1pouLZm5NSMbq39pKw5O gXgvt6sN9R4F
TWr36pp06Y437e5J8ccyTukerTP7SrHWvNdqhAnd8b2R5hKSFeAvcRqlSYkX FrNdZDfAWSql
vfCoeTzdbvgiXJcQX+IUCPj7pZ8xAQEpM+ZpX3g1ym107bUwg+O2XvjgnSqT WYYRSLyCDE/U
YtAiohGH+GOPVF2vzuofnIJFf5F/aNKVg4ZE0zrcwzdRfAO3wsQd409LTSsg aTPu8o3hp53Q
rCuCmZlxVDFCBVEvzVmPxWbb/Bz4nvVFeKsXtKbHebi0kcbg5TZjsqsUgnjy JaaorL9bB+Zx
lx5D+TFu/1yvDLNXl7xVso/GPM6SW1XSqPKHpVZjk3+4XqiHio67BWyjp70T b6+9tNzDF4a7
+ouvQghE31NuTiVzev0MH+CSaVjneq36/+iZQPF6NnncpxXuncmtdPXm0eyQ Q2EHPkaTTTAI
90EWjjpzhMkJq810c86tyZ9kerH39Ps7IWDzzdlr7xdV80oSbNfvhcQ3UZza u4hz2sx+w3k1
/51w2jTtcuNa88Jl6NHO4Mfm18RfQI3N0OuNPaPMp8rgd8uWD4+tHpQ+OrAS kPSU8iteKKX/
6Dx6/zWeL1JFcBbqq5osMcxZYqYfdABJZsuC72h9rso1N/KTxINh8e3vCDFG b0f60lLQHmar
1+jLC+iHEFoRRlCk2oqkgbbSrNtyWNbPgdvtReGO4YX52v6uAY+dnqYIrHXR tmoF3psXQjHp
7w7wPLpaHtQDN/JA18UHHFM6tvyyFCaWFU/ahrVq3ObR36ap1MYW9PtR8IMR ZQzmR14nvjjY
fELPrZv8/oQC6YgHMWil/D8Ng1YYqugHXKs0wGG+i8voRqnMjdGiS7RftLvS ympCtL7Jtau0
LwXNF4+lSHpi5bkuLqcgKudJpoRgXLjyNDw7TjmL63q1uKyhSQ9e1SsmZFA4 kzmwAyARW5Qs
oIGBz8KMCz1QVvtgoWg1mmEA0I3NgNavibVy7oV9cKrKSZEsqrzY1GtiVnyt rM/kpOH8Pt85
lcu4geoik4WrVdGkNRV79pQ5tKLORT/mnnjlR2Q91NW3ls1GkAtrCnZQC1JT x4XlWb1Xn3T5
mObd0+jPaHpursPz+hLFgyrymrBqFs4n6VUJ6Wgfbkd2VgPy34D8NyD/vRzk v+cGhu20ZSHS
a4J+hXR+b9SD99l9UuRoPobq07oKZE/IhgYfxO0gbgdx+1zF7ZbVKkas/LTW zdEsXGnUpfQm
hq33nJLPZMDCt6nqDlBwbDwutHwG13UcfTtNCk2VvHj8Fmyib+dqnkN62nSq 97P89uDVB9aE
fF7kEQawpRMtVZVMGG4kHuO7KRCj0LSo3FgHz3PqEkUOR41bQ8S+S7pnaxXt TUy+NJlmaqUi
Y63RfsJ7zl1X9xyJ7OH20Mwh/UmZ56irQk73OFrcPZYgh6JFoiaEciJKYY17 CIvo9GHQ6sl0
OTEBtjK/rR4o1HOv0nyBpNSPTLTQGsPj+qma1z43Fwh9vXwsKzUXATn4qw0l MahBNIe1UyRu
zHtm/4Xen5IwOjir1wX0zFNxRP9ENwfUtN9AxjB9fIwOJTd//ankXk8SU38x beFBH7tXvCxI
EzfbDW/ONRWiuf4hnsk6odDe07xx2dLvmRt/24b+q0mheZoQIOxvG+BsuHd6 Of9vcfboX3Is
4ZqYWQQ+WOtYdKLA4gr5BzipTP5C6TOekQNyBAVVyzQ9Y+AwQoLyuA9TWhs5 VxvYKPC/HcDk
e1WyYY42KRRQ/OwWIHPDFu3QrrBkgVDFRklox7BXNS7DbTvwvuFtsjVUU8+7 hkfxcMxGx/1z
CJ3kqDZIiqV9bE43L5i4LraBjey3asTeFqGGl7W7AvZ5TAuJbmAldDngEaI/ eFeChyj5Mq8E
CYW281MaRA86qvPZOJh73Q9kzFPDKRenKbxTO9wgPKgnC5QsxcwOd2p3rjew iH4JSamj9+hA
cmmmr7GKRZhnm2ozCvN5DHCH88Nl0shlV7M1OH9AC5EtQb5AlhnYf6V+Wu8o GW3o/BEpBofy
/WSYC/2UDFH37pEUdLcmixJAw4iWfIb3OwNxmMc9HI4m4K/LJBUmnqJr/mdq 7SJfQdCtX2yt
vuYbmV8lvrV7NDj84oWY2P7SCL2imG0Y6Gd/gCPiIk6EIufQuloCj4+izyQ6 sBayVPUh4G1T
M2RxX7EGeYlNhNG5MIOQCU7qzKLLdVcct8YPrJevRIdHE6h5nNYX34qHj4h9 hIVkhI+5sCWj
PFXO7JgZnJOZIUVUdHihUgPyfGL9dW8cIMqmfchdQoBo5YpdXkN7u2cEozgT d2tWeVrMpHaH
NFJuOe/ZOaMPmnXrXZHGW29VTas6FiBxC26XLOsNarcHREayrrW8Wx2/Wj3r FhUCx1LyC+fH
2z6n1Nfu3xqRvOLAI6gOetr5EBdk/Wz8qO7i+yR3n4uQfGwdCgLC3z9zT+wm XQ8bdnRhFhSI
N3YNkbmzKB3dBUyR7KUH0Si9eS6RfWxK9AgRhkuLIY/5i+lN7tKVzYf9wJyb HQT78VVFwD8I
nCHLivQ373I3DkSfoweVAu4CwwCJtVHzgFJJfH9LWa/MLUAnYGk8xgQju1jk RT0LHi4S05o9
d8oLBj7R3+D+eB6FPxxkHPggfuiRlWe5RZzor74u8pK78ETUQD3QJ56Isyjy +2TqWvbo0wLh
ZRsmQIvcaz1vRlojLEMsPF3qA4rQ/I5J0cgH1micOnHQHMwm9ojQz/9dW5zt srQD2mavjifT
tsBfz+jMnaoxVeFnmswPuVR/kSCmo4ZtkMrAhYk5x6bXgYO29p54yJfplFCt zQSM7C5VRk0z
5nBiDUYneF0n+X1cJFAmpDkWx8RnS84KpHG0kcNZOYX6Y5nor9JKFLlwgH9d 8Yt8q/55WGIR
uy/+VoJohrFJ1YviVA+T6V25p/0EUbSEW58DgtPkFm+KipwH3zZ3+1toYyRn Nwb3VO0rTCsY
c8qD2HmZcbyiarPRcF6kaBVbzR2THNKlePAWulXcMbJ1Ca6zbIl6KCgyGASp y9fKuMWhSj/W
zFB7DMs5tBSwOLnm4WYfFTcj+/Z5JNON6Wd1npS/Cn7ipi+/a8E1pZ4WoT46 7m2ZhGxZGzsz
4SvYaGnxgxCLryPv5csSjrN8ldssYRo0Lt8Kz3Pb1ClftPxkvks506Mk+rP5 7P83+f+dw76d
m838nI8CXzOPnVEnmLNuCbEh+WMW3Am3tCEZ5WdDwVjezA08982vSkXOSPEO Yj1soNo5thuo
nonqHl+PEWaevbDHrD/p7yNbG3Qw9o7xXe1XAmKYs6FZBrsdVDLCL7q24RD2 tHTM0t6MKRsT
vKiRdUfMovVIrdq8/zpRi9VO0lVu0n7DmDUEPzQfHCI+iGFllsceUnOj4tqj KULTgrYG6rDQ
N4HK+YGpXKfHjshslExxztsJLQjbfM2XBfYQNJ68+Cennf7ThT1F9RruHvgF w94N9Z04g1R9
boljzHKp97t7fB/8EDJRLpq0a2WKjtmTcXU9z8vqOs/UNSXonHhV2GXdatPH ClycESwT/VWc
h2TJ91fuVGNTYRwj2OQaqktAM1KhpfgtjfJtrXDXl8yv3ug/AvKaHlFrPvp/ z91Ar6O/0Bhn
tjvmP6fVX19H3w1lYkOZWGAjhjKxZ1Am1hDA0Df1+iafPl5rIl6jRXzqEjiC 5bwFu9cKYewO
eyOTFAkJkTwATrNy4tQbw2vhCUgZBIHx77hbg7QcpOUgLV+GtJyp6qctE0cv Vg3621OTLdtH
1wrjVfmBBl73hRWnKlMPnYcJ+OQvNtllnPJvWfJHoG3KhjPuNsoOJtyJLVbP 9qmc1XWq4VKN
TWbaZYS6U2bTWXY6EqunubNT1VU2/IoG1a/oF1+VbO/s5140JD3NIlGmj8oI lKMzY5ayU9/Z
oJR20+J/6gzcHehKvr0w6WXTrupuOMLlapjz48guLVKA/V/6/W/dr7SzEmKT o28PCfSQt8/p
j+LOtPSrLwTTjc6a3ebrv8eZ/ulcTBK6z+MHoh32nN9a8B49cWllLbTlH9eR lh/j/ok7JqyZ
IFAUht8dWR3xnlA5c6SEpdqaEFXpl9UkpWe4ewtHWndKVp4e0PSTqv7zv3ZH VBdM2UW1z5FS
l+qBQtSlX1ZTl57ZI3V5enug7qybvtcWQjtScmKeQ4iaooiwjZj4yB5pSXPb AymLldrlqu4V
vWqbLivK3y/+J6fDqEbn4DrVTV6Lyx1JKAFYfU1KgB7JDYnHkGhjRo8zargF nwiQORwxidaE
TA7VuibRd2dxG086lQleuYf90Kj94aJWNNIbP9gZiU5ZrakMu0gmbu8ILNOc 9th9gPKM1xOR
E5J9AuIfj4Z4uBaPcKqzcbgfuvXf+zfQOJ6iA09oGr+iJ3wvtHfZSCbzFGSr zNMGTmhmyuvV
GF8DFA7YBEWu9l1m1EppGo14016D1XIGhR3mQ2Uy1XL+9lZBsSrkzOSTybJw L+CunB0cn6/d
ibEBmTs0+G3lA/uZo+gohX2hHGgZQi/itChPV1zqfP1a35IT+6HkN8MFQa0A 9EX2ZABKRF5h
J1ROueqBI1ocH3tnCL/l2IvmhyU5QI6AHcIoIy26GzhJtiT+dy+E8pUFQZnr txLI6ku0as8X
SsBb1x/pw/gpAdI3XCkDD6zlAfKXHBsPNLR+/d2JySHZBvThra2v6zGZEf4S pyaR3U1J37tZ
q1L3YJpbC2u95CK/XTe1rpVS/7pM1f4MOW2VVc+ZplyCaJww3WkLmM6pWo8H fNTUtVVS7VCu
HUjcs41eq0IQfkQLyuKqwVbVkOzXgD8ARgpADAeB7wLXsMk4auB189+Pxv1i U6OOynXWvwum
QX0vhbOT7+2IRLObi7lmWUvCZwmgO1gmtC82OKgc7oRWafe2g778zPVh/0UD deOAbZ+uAz8N
WaPhFOzWZbMuP/qApQmgZiCaRkcIDUTCWEBIialixsN8EQTX5+7aXql5+Ku2 SSM4SwuFaBLT
M2oCYEE2ouDbEtQDG0WKKT8kqYHNsA1By2SWIXgHFPursoKPWHgPnLeZC/yB ADrWrQDvqn+o
IreYPc5tAzKnD9yJd0kJK1gm5R3ccH/TR/H0wScCixqdOXQG4UF7yJsOe/Kw T3KMq1r0BsAr
sGfyPLqq6iyln3qkajfNQvh/HU4DcROM3RJqzzzkgMaUqOYegu7cVBJeKc9n qsIpfbgl/CxC
KHj1BsOmJUVtR6HnsjMvnM+DYlAfg/YwBPS80JvoxjR/gIo54+cd3dxGf0Y3 zcq7SZ5i6Z2A
DIhcSpb5N6QG4H/7v9RSBtou8DYea6/q9DS0MPOvxhfYpLWF1yd5zbABsP2V 4yIXPrn6lMDY
V2ftrgDv6jWtwmGxt2XutkCzE7IIAF68FGB1b4MGcPWd78nu8l26AoZ0hAvp OUz+RByQUwI8
DgRCDZzkc0qBgAxFzVhjUhWkOi/U3GmuKLuQSv8zpyqzNYYNuDIVzZegV6uI 4Q25mxcqxrZc
kJEftMJ1S0n647bP4mjhT1r0ZKfzgwEippBkWh2EIBQZozwLAle2qJAHj5+Q WbGNC9acpro3
z/z9wsP0661Q2VFRW1zYQi2x3d4MBcsWgiMqMgJsU6tEATFhbUyqctbSpkom yzQu9H8mhcX7
E+wwiglUqKibqYihFQaPhHea0Ijy3YMHXQEudlkAD22TefU2TtO3bgQwRlpE UAlGsTZ9+0p8
9++YUs3jDEutqeCYFlBF0NbUQsOhAbcAgt8r63SIRhZ7xP4pL5JZAuh7mk1Y GFDGH+qTWq5P
EJjvRuEDlHgV8R+tM4NA/vI0iifQro8nkRTAZAFeKg8uWjqjTXXEmuozwrNb nCkjXnx4bbTg
U2fqhwQCjo7grO7zByesr0Jqa34b0vrvH4liCWSQE6vDwB2nBrkbx/F6fzG9 dnAHsZmgwJyX
1+Fd/oDeUgPrKq5cynotTYj9Htxxydx0pvZH4uOrEkq7jQTgq/6IgYR1977I ytX/mKtiBveB
+Zn7qVKpA4rtNF3C7poBUTAARBq6hyJiCO9L9gMlNWdI44qLhed+U23sCgRq yCReUOjPQLJC
19jl5I4wzYC07EsX2or9StCz/FR/csMd5Kyy63lcTe5OHAjncw0zshZ/QNUf 19lAl6QnZbQh
oH46kuCBHGBwBhic5kYMMDjPEQaHRcB1fnvNhL12F9szkJqrJZ91mrgg8Igv xkfnSLHtqAJX
f00UD6J0EKWDKH2ZohRkyTWncpy45LzqojZiSf+Nwup5k4PK3ml0HFW5U0CD DsmA750EMm8i
1YhAaLSSDRsGBXaQuoPUHaQuS12DOc5iYfkMtNZOoaBZcq8yGQXqHgPaLgI0 CNlByA5C9kUK
2ZmqDK7Kitwo40BX00BNyLa5J79qBROqAJ5V8slnBeFcWfxuhTu3B+T6SpAg qf4XdvDUYiVN
jSfdhXQXhYJ7rxQRwMPHYI0F4KI8T8j06DsS63IkTJA0Kd2fbE4u5OeXyxtM yNMiz8aP4O42
D2F3QGpsGXgUc4E88otckVCmBuNhLdJ4YutFbP1f+6ClnyLiDDA9mj7U2Jy5 ZbBnVEP4HFIS
PS5NIasfYnlOF+AUEUt60kAoJelGJjLa3GEM1dlLCfmdZRBpmA8NG92Vf1P+ 260D7iv5g1iH
cmOqmVCO1UcxVcYlRlVD8cFjiHlvzWyTlvsywGXBe5ODynBS7FW7rjrOjn0U VXKqUUvlOoGj
G90kMTeAp1ZKMpspEUehjRszC7tP+18V+JFjbzb82G1S6EMVGhncUlq7xW/f 5qnWOkxpvVX/
yeYqVEp7fKd38zz6m+xdKl8EsZzO8iKp7ub+XChwD4qPXubE5H3GnGAw19OA q8UsrLbLFsnN
e5qC+yZJa0VEQzRkRuKY6+g+oXwBljChN7V5U3vq4NfIYTAAnzkaiECOeMCU M46S3S7TWy3Y
g+J8wAQ5RcpCkqAlanxbqTUS2YMHwWJkuLzlcYgeYjnmjbqFbB4qj+1onhw1 hwxJiUeRi7g1
/fxqgQ20M1HwHi5EcP1WudihFyq+M/XeYQOymfUrTE7SEVakSQiGWKF3uKy+ wi9IgcLzij7S
ns0mPmsap3sF6oGsN9QThdFeK9vxHdtj9qYQGHSqFayyzCcJVshzz3fpSaes +sTqh7Lov7YL
mP74cJen2+OXPi3F1iAO1/Jp32eTeFEuIZIq1dk2y+PgibeXXJXgrNTY3F05 ejbZLC3v0IFu
KiA8qiIbGe12DCLV3HlUpGULK7z8U/oux1oEUgJQkvJpmf6g+TdgHoC9DIYC FENUd9pCmBrv
d5GnCHxrCjVWjuScesCCpsbLWQNlrhdMbiTaEijUENPXwis3lzub4C7NXxZz mNIAelWbmNNU
BbbkjrV/zTjxTZICKp+BAjAZxahhMBPTUV3kRSX3960dysCjmKPmSqO01oCY D5xebdOj0Sml
4PgX+XJ2hwEwkxpcQj5zDsdAS6xP9h/mhGKHyC8JeSa0jIkFyvUkBqb2vqCF khzw8MAVJB7X
tgEQkYSWwvxeIz+8DNHxAWz1e1UUyXQKxkIOpSTpciq9jIsCHq+SFjCJ7K58 9YbeArQG/e/o
z0hoCbYrskScaNqGgBDBD9adjQYMQpUw+tnZWbfQ1GZQDU62Xhhir8ZQgIVv 0hYiDM+wUXP3
Tap+awGXIGNuEno5PL9CKyU0YU1BHLhieLmCE2WNcCRuTqtfaP69Bzzz2BpF er16RD4BIBTB
l+pqKFj4kDyuUOnQgjyzH6/5rUDQkhjEqDFWYNyYeMJE6AXqfHZuPDZVXMzo 9jRFvyAEPacU
iFL+MfkHzdV3Wu37GDjm2o5dw2aZYOIuwvMjSZ/HkAVW0/HNoxcTUZvUk6SN zSpL0imo5sNK
0rOAlr4XehoNViqPFzU6XKwbvs0qFEPa9UbrrMUmE3UuF0IdjVLfTzx/6NJq nE49BLEDGqq2
eEwxp5Ny8CMgI53bgmDTFxv/Sj4V86J+iJGWhgSgIQFoSAB6OQlA78FgKuFv m6im9q0Vfa0J
u+uDD8rbHb2rZyBfi96VCdunBbBrLMpaEVVX/gHtT/JWMKQTWrUjBnQ6Q69E xre7+5Rn0b8Y
IDCBiLp7EDBLE9Q2NmH3Y9irGov1sG3oetxk2/pHVasdw8NtGh31z0cPOydF 0j42p2s36p+N
Q+9UGlK/C2C1Og8spuZZJ+U2/di3ioLp2VR+utH6ZDgvOek4QpYyGy5Na24a 0STB+BtHtO4z
6WV/2/HePOKYZq2fQQdaiofX+j7sszXnx8GD07mTBitdHLugoPA/mGhkD7Fq iOO9Xd1vdEUq
Cr14MpD6kG7KiWuwbqQqt0d4Eok7eSTZG7pXFE10rjynMobA1QYGChqjwvIx CSTuxiM3E3X1
oyRPH4pTny6IhdoXkG4F+cHJCuIhiC98RM2MwYjaX/c9ZP3gmlmP2jZHW7x8 NDexj1JnAvd+
vBnuYkgNx/zXHBEFF+uwSHdy90ZBkb4/ya2s22ML6jqfyQ6TwGuXuv3GhVU+ e1fh4OQ7L5Ns
v/EYxVNKLwTEZRvqMDk4Tn+m3CIO1gQbsyj3gYe7vISXgUHeQwkMumc1Faxm 0UU33DNcnq+l
16DzeFpBAL3eknlu7MxlNBPCEF7+CPaMJ6QHcgo3slAYXE+/gC/azKta4o/A noCkGtut6jz6
kJmGdyVVVBtuWpPIpYeByMeGmHM4gClDP/UqdD+hzgjwQPnYylw7QVPcUTeI TSbNbOsOP+zk
jzNEnYao0xB1eoFRpysHQXRlbo2NXMv2rb7UG20HKmPY2osPO+7SMfWKi/07 845sneB1qa89
PMvZ5HEbr2Fory/TdLvtDjiYjmbbjV9ww60HiBWo3OYCFy1C4ezskSDbW5I7 Kbk/HjvSmgNt
+p4oAHUEO20HblMv2qQype+eFzXgoFrbxM107d2QL2Q8XfiHZW+0tMLhVycb tjmaV8Fx1nrr
Q69dyAKahnHYgyefqztCc6359kOUPHcvSgFcOi7AV6+ExL+1Ej88JHol6712 dsyUplIZ18f/
aPRa1hut/887e5XsOWj0uUhmM7XV1WFfPb6bg6cmO/F418bb47o2nuYoCsuJ uktI/nh4n1Cb
yuQ6LVADXO9HmZGub5DqQbmEfS64g35GYmxuuOC9CGVQfmtT/ogNMLCbKUdL sZT4BpiRX4tj
CE1yjYNoa9iQLVut9a5ye45cJ6JFzTlvLJrkIKbNand8DJ34vOCGbPu878N3 q9277lkqQY9v
uNbYU2yCGscx8EDwppW1wvqwWj6RR59rJUNVxowNXGcy6/VKqmiRQ93nuhrc JzAVXdKHkust
DXL68u9LWY7y25RaNinFXazgIVkWhRF9VgEn+R31lV4sb9Jk4gBqEFlK/2lG i8IqqaQmU7Ar
uxUif0WL3TU/C3Vz97jHDYel5AxawYWiRjJhRElMJJJNuBql43KO4HblHCNs pqMndB8XiNQH
W2ZavFlsjpHpoaO37RUX1JbVK4usUVI5cZFX+SRPa1bxmNkfJqYlEgS2UPCA 1IXmP0UyYTWI
pxhPzHKowNa/2UQNnNOicezM1HDaeO8IoIk4PAfn0KXpSMzYTwkQJQ4T0bsT 7mKYnJ46+rP9
IAMUsRCTCoy62laAeVBWKgZ8En/y8HYsdrCSaEo1s1XdA1dSd8AJ86MmzAXQ JHI0sbmQIjmJ
Mrjt/piy9o0ViIaPDsGVsBr7xKNLcKbcYvCopqkAp7KqelY/pPrQkaSoh5b4 5VdvNEEu03QE
zdxvz8VHXkd/oTeHGNIQQxpiSC8lhjQUF+2iuKh5ZW0gPIcCo6HAaLfbNhQY dd+0ocBoy+tC
pHB3vi4spES/t4VLgWy9K2Cfx7SQ6AZWQpcDHiH6g3clOBCGl3sl2D3YxzGt jv6ANk7mXvcD
OXODkwd+ipmIafayReI4hXdqhxuEJ3WDDfotS5M5wDD+EqOnst+dknJmhzu1 49SaDoBC3eCE
evOyPA0saMeVdN2RfE63RjLpNwr3Iuskh2rm51TNbDEaRQTsCelTR0NLEUkR fXYea2HQZ9dw
54UUOhIUpG3s4YcB913zeBRS2MTVuqSufuRnP0EI7meKwB0RiUWPpZZoYS2p JVUzbLhgooWc
5+paHrSjnMsAIQvxTUzrY09PEye4nsbQRNY/fDaDC9RSMoPMUwCKE4Hh4q1B sy4KBVUBWFMO
jYEqkzgGAyaLirMcEIQbsLrdd6YSoZ8eIIhyL2VafdX/rDXe1gRZ6C3hXj5m efpDiOMNU3UD
FqqZuWYD5vW8BTNvmiCbY08uiNRPXOsDUZx6tPoyskyM1agZgfjGES4ujKT5 77juIdA8BJqH
QPOzDDRvB+iDwrmLgvSJnuzNh8DXiGt/6q4HahrREywC78txpUSa3XLp7LKL eqkw6K4vi7IS
nTgm+Xy+zLBxxNSmt7M1QRc8ahLYYYQhdXjnnZpxr0Iju1bupueOIB+PPdWH SEuiokhMUYQ3
zRG38YRsRIBhQjUnqYwigc9K5XYyWRam8gbbbCBUPadc4pBnKNltTig3WXHe SdaPncLk9tQB
PJgSS2jb0yglK50a5EYSU9sYz2EIBXYMBTLRhjjgqsUPccAhDjjEAYc44G53 eos4oBcT6iy6
+wv5PU1hDHsa6+qj92sPCmSLlxE7RD/Ejx7IVa01nIeCEF3JGgZS4mQ4sFF+ z63eoTsRjc7N
43AaqAVofcu0kbdlD1CatSzrTlA9hhY6UxxM+kKz2ke/LcWcQNVrWb0tH8KY dV5SZ2ksxADY
yQqUSEK/49UZ76lodge6b7NVtZ5/PiPASqsViW3i1WrtmA6J+AgUl5DSM4+z DEbCGgWuOUqT
WzV5nKTK7iuqYSTaYm8CN4/17UMJ7khQmxMPiLiX1KOQm2Pinrk6HnpZTkrv 7kzvJGCpTpeF
aVioviZl1UEtDh2CJ3a8c9twbRwyO3cQHvwya+ViLFvBnoSMkOYXHcPyx+hS DLZrNV3rnZNx
BM8a19EbA4wWnZ1JJzLZZe7nvfS1k0LzIkDU1U3uDuTp3CkjHNrbuYJWIe2w o8+zry3Z2O/Z
vvzD+D4P7f08uLc16AFtMz22bK3GUvFaXKKnHg+ChA6pd9y2x4lt0aL52dMl RnKYuPSa0sLd
HlJewSM3+RLP1JlsmTpDcc+1j0X0Z1Scu7HtD5X+oTrHbqmw3x9uR+YLn+3D XhPUIW41xK2G
uNVzils1BLSeb/F4rc2B6nqan7hk/uzsoVVCmbuAoz6Oyx+DOVSh+3Kak40F JeOMkXC+RtCW
y5t7VegjYf9+r/9+fy67UqMEtxDHpMjfn+PHhZaOKrz+s55M86/T/JInJn7T /w8HG0T2ILIH
kf1CRPZUqcV1XlyXd+hyu75Lyio/+TSrj0FhXXrSGlYOUppXHvHKIz2H5TQn 0d8qrqM2eR0F
BPbHcql4xJrY1nIbIY/+Oa3++ib6C0zpf9I0SFLXfuepmkcGiT1I7EFivzSJ vciLqgTHaIZJ
vScuqaFh10Me4aLwTNqFiR5eLbo3h6AgKygpMORkCiVGya0Jc51Zv4lFBrP5 1avHpTKM1nHF
3YDx2EEGDzJ4kMHPUgZvC79rgAi3KVczKuxbOcza4uHAWxeG5fychAPLeTEh m6EaFr+7LjkN
YaXvOVFkdYJIrdfCAZNDPjWsIZC9S87JVV8hS6LZZWERF6YE6bGs1PzcgvFC UskcZsEpuBCR
0OZQCbmy8PysiBd3mLeMH870o1zOaG95CE/kcOcWeiR9HfxHjrkpLuCgL4mJ KFiuCI/dxTWm
SbmIK1jRjDKkC+7mN0LYzTORtVueR+8oawGzLuxkxy75weoA6quaLLmuyg7J 3jzEiq2VPRk4
VkUM5pKQ5aiHz49ISn3wSkzPqP6u59kuiTo0je31JsUCqai+ntGZV+uGxXWc ZQB0bqRATezb
jLIr6qfrGUOs/Qms9/Zx9Umy3SCdXhoc+YfoV3QlkPqTZHeavUwSTsG/mAyd 6RT0YPdM7Xf7
BUwlmsQlqhrzZVoli7R9wuVYTNZ0ylu/zJkCti6qu3yGzTPNZCAhScWTuzXr 9p0ppZ5k9Dry
Nefd5ZMEatUbR2F1TokZe5M8/eZX5VW2Vcz7EAlOB4+rNNOW+H4JhVZufKhn wUU2cylrNn4U
mU2eL86CIwyR6cFgGwy2Z2qwNcUoUfPaSZ7nIEYbyciii/VdXtdo8ttwXqjx j4VaZHBzjRDY
hERN9zNFA+J4FJLVgSRTGttrf/LqDeYXwxjRn9FEKw081pBcNIjwQYS/JBEO LgP9l2vqyvM8
JDiviTsNhfRgOLEyKA3PYFQYU37oRfCfQKoP/cvXkekDH+EHF6VGWUrB5dfR X3Ckj2Yg8Xc9
JP55ELWDqB1E7UsRtaQ+nrh8vayL0VKqxlRFF6qSqid0XqBcbUjqjdRf9zaL 4UAx1SBXB7k6
yNVnLVd/enu5gTfZlrgfAfxzpKc+Kr8bl9+fcXcNQnFx0QAStlqqUljAtNAk oatvAWx1N59D
QA+89BXFFlmjLb8jZ8D34+gmhnAk11/jz9Yf7ILf0Z2mdlxM7h6fnoVTfrcB TTCCKj4SGO77
bYfrxkNm9zb4Su9mDsXuzMyBjyJgJC3jJl+gRJ7K58vvOZJmGYR5ysSPy+/O rc9Lhth/+MG+
oceOfqAf4Rvmv8/0f/AuOH4JhKOSWz3C9/o/yu/OMP3MMhb+h9L7TM98d87c CP4pvsxXv/H9
6jeQhu6VkVwRrMS9vZXb68SYPCk5lIYpAG+J5r/HaTJd913Lm0fH/u1r8oLY 5jTIUCxKYOZ8
6SLwPAQIFZM+UstyyuhYOYYP3+WNB9jSmBOPeRKc0kDotBQUJUQJmCdBwDFz 1vqg40Tr4WSv
mtUbr3WQQFDZJFSsDSlvkkG0YTi5lUVXnRy7jk0PkEknWnWOtsTInyWrENVr 01oFsE4DrU1S
owcvSrms3g6nyWIgKKNpUmgVUJ8ig2kUTN/ZTWLagTHV9TR4HSSQt8hJ5Bd9 auIfL9zovQOt
I93sdEalNsNdckwsfiLqnkc/m4QZmxlH+JI84tR/X7M3JZRV/P6W4KVPSSyV zoStkkudO7lL
Uql7+kgObdNvbm4HAn4DIEnv5MIt9eggQ2s920O5enARZ5QbicillAPZYJ6T FgkGI8LPV91S
LvTOFLVaP00tg34FTTT8HL0jbI3y1N4IdPnWk40tR0Xh/DTDPwdtk4AOgqTu QTBnTCWoAIOk
nZMUcs6FuH6uryojv0rjTEA0MwGNMiTdHjbp1tF3VbYtP7UyzdbjlBX5tfTc OMKudEkFebNl
BHW5yaTJD/jvxNkebXzT9pkhjVWmsa48GW39uKTJtOpwtN84Xsu1uzibKZit Xdp9rm3gBP6A
lBFDEoGFqqO/DdjnNVDVg5+2mv4qG6ZkDjITXV+eUT6PH/1M8AOxYYiST811 xuHi9Joq6k8+
/MjSC3L1Ca5RUytHAEfQPXGpES1VhBKh5YsAFdD/BrT+IKiAVcrPzl69MW/r p0eL6IdI/Kxf
XdiMDv6wfqNM/qG0JAdogdfRdwOOwBCMHIKRLykYicgvDHryEkQu4r0YkJeD y10J7TLI3kH2
DrL3JcveGtrWSxC/dZitbhJ4dwK4hp01yOBBBg8y+CXLYIywnLjIvYKA5K/W S2rb8cRefhQj
aUEWMyU3x2mJJ7b+PKHDJhMF0rmMZacIGfcLpjjjAxJNlgAM+c9tL9gR3XuD EB6E8CCEX4gQ
7hIQaA9UNDq19pI/1MyvM5lvRi5TJzp9SMtKZrnJTLZAUClVVVTOud6ZXpFS HUQp5Y4mt/q5
80YfnzNEt52fz4BeceoJYZt3Ws5t0in/2wxEf8+mye3aBJcho3MHGZ3MLjvI 5eSRnpLFKVnz
wqZhh8K8K/M4w8NsF1V9DpmcnKWxUS50+PRvmz7a25FxpSSt4swUliA3ewBb mUzlcfouEyCc
yN+iX0aUoG/lH2ZxtU2pJhvFb7uVjjcqzbNZ+Tn/+OnnUyrscESVK4hGtrYj Mad9Jh5CydSC
/himJRgtbfS0pAz1IpLkdNT0hgyO5bGFlo+15bmRiESbs8C2KbzGU7h5kt7v /ObadE968MIu
vseMPoWqlM3ksSiQou+sFgN8g5x0KqZLPNqGtp/F22vp6x4+Ihp7iVeyqzAT N/olrxQxAObt
QsKgl9RVeO4MkxF2s6zAJCaEQ1KiaE3PIX2X87fb2KVT3j5Xf/RGfvI7+VhT vzLJ13i3Oru1
ft5b+YZJ7r3IbK3u3pO1f11Tr9PQNns0jZF0fiJ2OKfzCPOxn3Ys12bTt+jn oUNq+uIexVn9
2dQIbnNkN3VIH8eRfVpmvtG74ptSX1gTdykHMvWnPablk2ZpSrB5snx+Y8Tu BjusDk6FEN8I
P8xupjGT1SAK8nUL7fBUWekzacfMHqNsCTdk7f5fk7A/GMiBYiXfQv7dknKl hWwwcv2idLZu
rCn06pX06kBCcmkVLAvDS1bSWjMaS+Fbg/mR/CaBm3mwZv/DeDtHTdwydHaO mrhlNZPOs95D
E3rrF9dZ4X7WZhw2qaQnn+XkVwP6JlMsHiz1GrTE0DeScx10SDro5j+Yqeoq m+RzPZmyyfid
7IaLVYN/WFazfBeDb3WhJry0p1pGtaqArrUAB5UEn0RhjfIsHAVmj21eQNL6 4LWnOTPCyybF
VEGtGtDitsjnvRLEWfDdDYKWcnzrXOrbYEDV0lb1dd/dk1AH5Sk4gWJN0YgF 730CSMCwTUoz
uEsWtqNPbNQ9ViYhBSSOqrjQd4ihIZRsctWS6yyDpZ5LrwBvbDSa+IsKqTx4 9HJTiI3d3ZLZ
klUo8DBneAWPXdU3CU+FH0tVBfxWLvQKWgrAcQzRPoaU1gjbynBPaJACk2Ua FxEQfKg0PXCl
qc+cq6pNxZMrK07Fc3cMGHmbQxCVIp6p5S4/hule+yG6bBnP1ZvGacoh3oob CxFXFsSPU/pW
c2xo2zJRi6rhxqTS1TvbHSkUTB3ZSlAvm9aJI0zYci9GmH+AH/8hck/pkbyB LjHi4g2TZHKU
KBrRVDUtX9N45/YPVHKLc7Y/n9s/nMllmG+uCLpDCvFZtxSgoQx3KMMdynCj oL13mxdfrks1
gw9cz5ZxMT11qPVLgIX5EvGaKGXFgvzSCsF9wIKn9PJecWatBQgEW0nPGOcD fEt0vsDxZZBZ
CL0h73XIex3yXl9g3iu0uXxuMhbWtJWMJftwtYzlZ4yMhW8NMnaQsYOMHWRs Jz2Wc2VOXMQ2
1dg4fYgfS+Ni4+jsbhXYgHgmUO1BnA7idBCnL0Wceirr8xCnTY2VxWmuVUdI VeEoQ0CsPl1n
DQjmQawOYnUQqy9LrJqMimvZ4vHEJetnmczP6/NbWIK/3HoH4kDcqoPaSoJ4 JJVXAHN5oyXt
MpvYkFYUfAJlcduvBiTRSeumL2EAjBkk9SCpX5KkNvC0slTrpMX0ZWZxaEWe AidFVPkCsbtS
da9SyB4wtRx+76EzA9cO6RJZbgQluHqTCv9opTtlZVCejSpUDjFqlLjw/08K pQd980ZeAYgI
tuYeYAHNvg7/Dc5NkM83cHDbB3AJz68j+rusJdLbU3uXXq5fFJCXLMY2F53b gXNgLv2Jb2kH
vj0bbpbhZhlulhd1s5TJLKP80mvITdS/aYY+8cvlyvVMmucF1otlmK7JInBM N4FdOafBldwZ
7obSNGkrbAMmeGXhTqZJ24RBUjz+QPEZZs3lUZpPAGE9LhLImCkv4kp/+map zQ9xyTy5fegg
dQepO0jdU5S6zxl7zM+M7oA/FkoZflYAZM+kSpTy5LeoEK0X1ciKJmPD2e6X mKhDv2rr7zHE
HOurPveEinNprnGTzQwm3RYgcs5J+W84gD5KsV7a77DXPyUVcCyBLgDWSF86 1JSKQyLSfDR1
EtCCQJay7uOIeIylZ+uA0MKVaMLB0su2v1OklnISuKxKY8ADkKldN75t8seC K2Jz1mVl2vpa
ws89E+mzL8EIGagUdTMGHWpvhOoVZAQzHrvQCcpU9BYkWdWTk5GSP6l6cGIn QwTjWiz4Cbbt
1Qx+07QD0VLkaZTfM27mbYKlz02hh8CV9gsKPoqImdi91VXruSI+AEVI9JGq tE4/Dbd5BhST
Sg4LpiH5ReF/kjkBmEj24/oPhdwwHVP1/4MW1giHQd/En86jf6Vc2PIuX6ZT rILUJI/UVyhS
LJEi4CfNl1r30lsTqdtbfSeX/F7jOe8htMWSNIU8sblnh+0B3erXZbpPtCNc URcG/1HdxfdJ
XoSQz3rheFc3Dh6PBfwWp5rQNE22lbXqQ0QiTq2xk2Z3Ve6YfEZGIfH2Lp/Y y7MdTgC/enT0
FCWWXI4K5x6I1bcuRqlGWyhiv/dY8l/Ts7wycXGhxyipQ8cERHP8RR1+u2lj Tnu7TY4b3Ku8
5yPbZ3khY2w7MzU2Rk54ny3nTeAEtNcM/Q6GheB/3wDY6Qka2CaM5jlLGczS 138hJ7RJIwHZ
W5gAI5QQc4Pr+lvG7Fz74uaIA518cC0b49S30m4L8sh1Ul7TSu0/reW8coZs aLsQe6/mtkn2
McAAsvQekIxJ9KN+Bwql09QAbwr100LC9NSwRrWquixRH5zmqiT0rXhZKoup RhXU8JxmrrmK
MzEVHw5LE2JKItCEQCQawAOogDD8DURO7vMvoHZisL8BnGqR2kCMorJsIJtr +GIlxGAgfKOn
gPEcsor1MlSJ+rbeiSQji6sLtKr+m6F9Cy8gP1nafHf0LGF3HSlkcEaofz0n mZ3R1hAsrX4I
XwF42kcCG3m0BOTNlGPwqwz1UDKZwejQ39MUgB+Q+dYq/uv33h5esw/fn8b2 r936zXbmqUg/
rMceG9Kjyceh7hKlM5MRl90ZKkbBjdEWg8cSLf9jhsLx8RHExec+YOJksbSR /1jGKfWpYON7
kQMKkAMwVL7R7rg5fIVsZ17CF7bQ397fq74cKZ/txpArH64OzyQ5uBYMhFsL CBiw2D/Cez05
o6w9Tlxn2hNMVAKuphxjjj4zmvOg37mlvaHbkO7VQ2nCnmQhLlyLKPsxnnyJ CZKlP2ljZAuH
IX2RoPe/zOdK+ues1FnkAF2SxCncjixQjJ8LEIIzptYK8fC0XUY2bW4qATc9 9iG4kWfRkcrw
UY+MnuZganD7HGYWALYB6u6EYfMZ0hfhVC1qG8kTNwZoEgnE8rP7pMjR/wJq n3tc36r2lqAj
dBZ63+qbgJNWnkewoeSjnBDKKuXpBKCw3Fg3j+bhHH0uRb6c3fHpLNQfS619 lkaJncdTTEWh
s9lyeMv6lmnVGGeGTEc7x05hVdxj2wlvg63LepRrZizKM/xibbdibRoo0O1K fySGMBPDqa8L
5OgRLAa8fmhu18bzLldkAkyszSDdKZ8k6PAOt1PZFEuZZzG9RtrdxpPTr0VB +U6rityqGMAP
6c75ZhYYTvMc4zqJfCerqRDSHLHv+ZA+NqSPDeljLzJ9DITBdTybFWrGND9p OQlX4LlYjpeG
i6b0IOwGYTcIuxcs7KCBR5E/nnzX9L9jbojV5uyyxojMK8yNuKoo+IiAv/pR fMX4Xe172L5m
kI6DdByk48uUjpw6fI2UPnHheOklQkMmGUk97tR1IxtNu5wMkZH80TipsujK mNuDbBxk4yAb
X6RsnKnqIzvWNuoeZWXH6s5Uv7Jr76ljb1V5kpQu+XTjUKKR8uHCExqllxvA 5Ttq+Y51QdbR
HhdFcg/JLXElFGKQTSXHj+vuey9MAK5T4Xf/tAQJZ4MCmK9akLYdl+5VeALy Vx7Rse8iR3Eo
NEdJhKCTVzKW7Snud3E2TV38uR7Uzh+wOk5i/1cA3jCONPfdUYwloxDUo33Z 5ih4a8SYAqex
7js8G+DOTxR32Dlz9peLC5n5kIyf2Moot+3GnluWNq4EYoc898ubNCnBlLtl bKg4TZrhs79C
Ugnu0Tg8JuTjUceHOqMv8TlQkUxXI8xkKEsKYkYmpSZ9fHWfYB/A5lRqY0Ic TatdWGygD4em
8hgVgBSTfKilZkrMDt3pHb6KDbzZ6dpDE/gEdSoUUTjbZh076iDn2EVhXM8b 9eBpByaas01u
uZP8HfqVNLqU2A8cQXe6WqcSEdniGKbNQaQG67m7PIHokPKwoH+6+FYgLlmP bOozQOKT0xRN
BJLTsXljXOCTmMZNzobiWPhKy4FSMlDcRuUS49uLtWUQeyyI+xjKb+nAZH3m tyxMJFt2oyFD
DbZVVH/L+42ZRguif0CuqKwtB+Q+Myah9U0p9RTEi6MrXv15qZzwELFpK5jc jBytceRCLVLo
exdnblBgEcw4vWWOuOnCD207fpRVfCbkPIiyPYoyytMIpGlQMi29Y7JxSbiF CuI1N+or+CEu
sD9bwtmS3r1ort2SeWGNkOTmocqXj3QIV8nHlp/GJnWblF0QwfqJKSdL2W8I R/XBEwY5R6VL
Wd9HfrZ/2AXBnrKgL5xww+w0VeVEa+P6FeoALZKvSms8NTKy+skmxB3euBlp VK9mOmgmHO85
vAn5WWVSLel4TZdYfEFUwNzC0bJcYhIh1tJMkgpgSxAVKpOFFHd5OpXAUJ9N DQSmCoWJTXar
VpXy0gSJFJgKFpoqKSwsixNIJWSc1Qa0PUopG5tH1L+BneBWx4KmOeYPtuC5 PUXb2idFPoES
YjDjtQVrpelYTh3Zk0eC9DoGRv+S5Q90G1eNpqtD+9MDtz8lGqzpfEoPrWx6 asdB1tPDlMJY
rI0E/U1LNAANC1DupXtshEPob52Rw3oChzCuF7JEI7iWpniXxlxMRIDMzUdX fcKNYgqSYAz3
V6hshNTLMR9mLqARANWYMKoveyyi4UH0CU1Tc/yxBGKK9rZRU7Eaa4zlJjTg t9P8Ugvye23I
fxuxnA+h5vjhj1Uu7BALPtsOpY2T3RGtqcv5DioQPR7ynWA30e97hm3aHXuS onDRQtWhq+3Q
1XbvXW21/c/H6fpZ9Fj4kOkD7xZlLiu4K9FNw2lMrtrDbbuQC0n5yQ7xidQA Lrl07zvcvmgU
Dc1phuD9ELx/KcF7SHFEjBD9p+u8uCZe0v95K7ognLokRf5tl5YU+4spT9Rs xgXvBFpJwpio
O73jhoi2efXGmIlLMicusHgdv45gC6jmNV5uoLViW4F2MU5tB6Qw18cRjJvR ZBH96YaZLM5x
Fu53/XO0OJcYsbYRgv2W6cMjBtGL2HCMoeHZcKcMd8qLuVOEIq5vFHa4nPgV cul8aOBhjVPw
RkwpWK518Zu8fhVQ3GpWcxMJYCcrwGG8hngfBOYgMAeB+UIEpnWHPyPHRc3F L/wWPtCZ1zTS
eKGEwmn12o+gN3sdBowARaGa+3B5g9wc5OYgN5+53ERJAjomSJLnIDRXiEYQ n4AyA2l3DWdG
uUpikqk+miz+1Na76Y5ovyT/pj86WOqDAB0E6EsRoNrsxEyPDTIC+rbCZWYK AqU5QFXA6YV8
p6bZbYPj9NO57V+1i75TEqz5ZPaxnoFT20rIYNTTKyvMz+Zda99Pp5TvZkM/ FJqaM0jCPJkd
1deEnbTc0/pG+7v7vWHWwN5yR+ZXb8rkHyrS9s6b6Lsd7W/d2XQim7wuIh67 oM7a1ndumB1z
73NuOmj5eug3CMfo1yapf4dk8C161fUeHzX5qW1r8jJVTdlw1cItpWQX0I6p 9jB9ZERqm0rd
+rJAkrUprlCOAX53P4VJ/9WkHlFxL8yMKpwEZ8ru9o3EWAzYeoME3wwky67P AN2kgmnD7M9W
9nMfb88CXcuk9QRLkfu9o7aOqxQny7/rC5ifVhvVWpl/DHVTl1JpENv1mkqk 9ffjZGpMz7qq
AUUIK9Q8P+U0pO8dvpx9hd43MESAIdx+BTnC00mb3LHqZ5GM/JDXW4L0AXQQ tlP75IpVCcB9
MgVtVVhESPP5vF7oYZvWkDLtLGnG+3YP4O1kO5q0pTD1wCVr7JpBiIT4xd+0 FsapEZmxXcxl
ggxRUsGsX9kwEnlgh+/iZr/dpSDVL0TxGxfL3y7KGpv1prQHikiSkmmmZTfU ZEBlakQ1TazC
Sop07Zmz+8bSHKPYpi7+rR/hEKM3+0nWyNj26kXZLyEpHIMNnrj7lx/foRTV BG2k/2BQGQO6
kJQBko6j5FwfUigRR7wkkuGc0zrW5xWMKyoiGptcVLZ0LJZD88xfrkijlQm1 ZEIV8BUov9VW
lDDzCJGnPo4IdtncWJlVakd3LX3t9LowcRtRO/bC/VnNb1SxP5yIWtRuK1AS t4MdToJ4+siY
3wt7MrPUVNfP2B4N/H45uARv6kklYnGmHvROPZKdj8rNNLlFAlS4/SWO+OgN aMx8gMes57Kc
dN9e6wBYoyLVzf+eLznNCAb7wzQgJGtWupCeE3IMLvHK4Bhs2Aj++DorWxwG gT7GkAOocDLS
rKQt3iLYNaoyB/8qawNqGJv3zI5RWF5gGckZkPdxUSjxRwMOuKxmOeLRuKoP liH8lhYsjfac
SaaFRO2tzjgsxy0wULSeZJ/2y2B3dtaS1Vc1WVYMnaXu0ZstuU9Rp03QiuJi mqrScohorkpd
VdEFHTMukeHUW3OFjM0FZ8BhHOfbOegR4JJJFWlEBbeRJ/xJxhxySJuFV5Ek Gs27rqJ17/RJ
MyBmd9W91QG+s8zxLPjvq8GrEOzHV6BjQASBQiaE7If8tpUFQS3qzoGoBcW3 mvOwY4LlwZgg
MLDxnIeyYcfm0mQcSU15/N1fzYflQIf98azlYJJCPz0EP5NSBGNplpDwRwD0 DVzYLDLptiyr
fFEaAAttshmIXf1piypfY/Yx8TceBgCVKaPbpCjXgWYdOesg5jGokLZb8Oam nX31WBgqSpOS
xA3NTELKauInU0LuRUdUAeNlwm73nFaEaOcagGa5d7nVpVo0Av8zwCHpaU3P wCUxtajSPITm
J/vNZVYlaeCzeF8rFw3zcK6AQaEJLAP+RoC9Cygs/KEe8fXIRbMNC/3Kb651 DNCDffsETOQB
D6nDv5EsdBQOn6cB87V7MutYff0B8a30+DlMu2hZxjN9PLU+YhAzm1EDbH0K GGS1cnjrbVnp
+Ws6/mqM0BEohsoGpJvpxGsHnBNNOr4sDoH3R/TuYsY/voF8JwQaQwQEqqw8 8ICRiv6MlF9N
gEMN9QND/UBoI4b6gedYPwAS/NkJ0noAYa0c1S80xCiCpISkqEBPqQtRM84g QwcZOsjQZypD
9+GC7xYT7lc1RclGApMuDFu94eUJmD6sdavj4CkqYadzbacDzr/j2HFzlZQn tOPlZvHoUILW
hUgs6m3zP5kcFtGrImBD6025U+yMb6Kv7sqjYRycF5lxb+zZpeFloRyPF8NL L0Ic9PgGguVE
Re: [ATL] containment problem, output model incomplete [message #104431 is a reply to message #104398] Mon, 04 May 2009 08:16 Go to previous messageGo to next message
Tristan Faure is currently offline Tristan FaureFriend
Messages: 460
Registered: July 2009
Senior Member
Hi adina
i don't really look at your example but i can give you a little tip
about containment problems
why don't you put a reference owner in your TAssign elements inverse to
your containment relation ? With this ereference you can manage the
containment of your tassign directly in your Tassign rules and don't
have complex helpers

rule ...
to ...TAssign
...owner <- calculateTheOwner

regards

Adina Aniculaesei a écrit :
> Hello people,
> I need to transform the transitions of a UML statemachine to the
> corresponding type of NuSMV, TAssign.
> As an example, I want to transform the transitions pointing to final
> states and the transitions coming out of pseudostates. For this, I
> have the following ATL code,
>
> assign <- s.region->collect(r | r.transition->select(t |
> t.target.isFinal)->collect(t | thisModule.TransitionToFinal2Assign(t))
> ->union(s.region->collect(r | r.transition->select(t |
> t.source.isPseudostate)->collect(t |
> thisModule.TransitionFromPseudostate2Assign(t)) ) ) )
> ->flatten()
>
> The output model is incomplete, in the sense that only the transitions
> going into the final state is shown. Also, the shown TAssign elements,
> which correspond in NuSMV to the UML transitions, are outside of the
> module element, which corresponds in NuSMV to the containing UML
> statemachine.
>
> If I try to print them out separately, without doing the union
> operation, the containment problem disappears. Doing a flatten on
> each of the collections and then union doesn't help much either. I've
> attached the transformation, source and output metamodels and a sorce
> metamodel with two statemachines to illustrate my problem.
>
> Could you please help me out here and point me in the right direction?
> Many thanks
> Adina




Re: [ATL] containment problem, output model incomplete [message #104458 is a reply to message #104431] Mon, 04 May 2009 12:03 Go to previous message
Eclipse UserFriend
Originally posted by: aaniculaesei.gmail.com

Hi Tristan
Thanks for the tip. I'll try it and let you know how it works.
Regards

Tristan FAURE wrote:
> Hi adina
> i don't really look at your example but i can give you a little tip
> about containment problems
> why don't you put a reference owner in your TAssign elements inverse to
> your containment relation ? With this ereference you can manage the
> containment of your tassign directly in your Tassign rules and don't
> have complex helpers
>
> rule ...
> to ...TAssign
> ...owner <- calculateTheOwner
>
> regards
>
> Adina Aniculaesei a écrit :
>> Hello people,
>> I need to transform the transitions of a UML statemachine to the
>> corresponding type of NuSMV, TAssign.
>> As an example, I want to transform the transitions pointing to final
>> states and the transitions coming out of pseudostates. For this, I
>> have the following ATL code,
>>
>> assign <- s.region->collect(r | r.transition->select(t |
>> t.target.isFinal)->collect(t | thisModule.TransitionToFinal2Assign(t))
>> ->union(s.region->collect(r | r.transition->select(t |
>> t.source.isPseudostate)->collect(t |
>> thisModule.TransitionFromPseudostate2Assign(t)) ) ) ) ->flatten()
>>
>> The output model is incomplete, in the sense that only the transitions
>> going into the final state is shown. Also, the shown TAssign elements,
>> which correspond in NuSMV to the UML transitions, are outside of the
>> module element, which corresponds in NuSMV to the containing UML
>> statemachine.
>>
>> If I try to print them out separately, without doing the union
>> operation, the containment problem disappears. Doing a flatten on
>> each of the collections and then union doesn't help much either. I've
>> attached the transformation, source and output metamodels and a sorce
>> metamodel with two statemachines to illustrate my problem.
>>
>> Could you please help me out here and point me in the right direction?
>> Many thanks
>> Adina
Previous Topic:[QVTO] Generating UML model with Stereotypes
Next Topic:[QVTO] Mapping issue
Goto Forum:
  


Current Time: Thu Apr 25 04:45:26 GMT 2024

Powered by FUDForum. Page generated in 0.03427 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top