Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » M2M (model-to-model transformation) » [ATL]containment reference problem
[ATL]containment reference problem [message #103354] Mon, 13 April 2009 23:53 Go to next message
Eclipse UserFriend
Originally posted by: aaniculaesei.gmail.com

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

Hello to you all,
I'm trying to write an ATL transformation for transforming UML
statemachines with their corresponding states and transitions into the
corresponding NuSMV elements.
In the UML metamodel I have the following:

contains
StateMachine ----------> (1..*) Region

contains
Region -----------> (0..*) Vertex


In the NuSMV metamodel I have:

contains
TModule -----------> (1..*) TDefine


I have mapped StateMachine to TModule and I need to map Vertex to
TDefine so that the TDefine elements are not outside the model.

I've tried to solve this by comparison with the basic examples on the
ATL website, i.e. Tree2List or SideEffect, but I get the same error
every time:
"message: ERROR: could not find operation not on Sequence(OclAny) having
supertypes: [Collection(OclAny)]"

Does any of you know what this could possibly mean ? I am not using
"not" operation anywhere in my code, at least not explicitly.

Furthermore, what do the following warnings mean:
"WARNING: metamodel contains several classifiers with same name: EAttribute"
"WARNING: metamodel contains several classifiers with same name:
ecore::EAttribute" ?

I get the same type of warnings for EAnnotation, EClass, EClassifier,
EDataType, EEnum, EEnumLiteral, etc.

I have attached the ATL code, console output, NuSMV.ecore and UML.ecore
files, hoping that you could help me or have some hints to what I am
doing wrong.

Many thanks
Adina


--------------040300030703090603020106
Content-Type: application/octet-stream;
name="UML2NuSMV.rar"
Content-Transfer-Encoding: base64
Content-Disposition: attachment;
filename="UML2NuSMV.rar"

UmFyIRoHAM+QcwAADQAAAAAAAABMyHSgkEEAIwEAAG4CAAACp9zRqPcNjjod MxwAIAAAAFVN
TDJOdVNNVlxsb2NrZXJfb3V0cHV0MS54bWwA8NASEwnZEMzP1cEXvQvg6H3b UbtoSsVsIWFC
cHJCx2l5wY4m6hr+INJyz3ykZSDrVarrjtLS3wRBqXyzc3EC8gzN+03dDc4/ umcfs8AFi3GK
DaOdJEH6mnXMDQBnjRrIeWrZdOdvDh6Olt1rF18vIKtZH/GDKD4rfbepMYOl 9h6v5KVsfCHz
4DiDS8OeULLfFLNRpg8KySEKPfkZpEdBl4qSGHPobgx44W9E8UyiTezLDr5M nZFGNuJRQ96w
HmXDbQ2tTm5OtpkQABW83+Ld3IQq07Ok9KCw4ZbgsGarUL9TeC8QPmmaJYvv DXfV2FIxo0H9
rfoQg+uVf8ZQg/xH7pkOQchDr7rfJdnFWWD1YLs3/6Hae3t/Nv56Z7arEX7+ FZ/d8xm/0fTT
dKCQQQD0AAAAXgEAAAK0wECpsQiOOh0zHAAgAAAAVU1MMk51U01WXGxvY2tl cl9vdXRwdXQy
LnhtbACwOJwcCZVQzM/VgRd9C+DoW9PLIFCVCthCzTNDkhY5C66McVdQ1+IN Jyz3yllCDiUF
ZZKX8eDoEd4ZnMwzyDhhgd6d6Zmnn2jnhJr+xSRaz1tQxfaO5J1DEddDNKF0 27FmyEvXuvsJ
cHf7unoNjszS6C4WUWKeR3gxjhP8gu3u7aLFtLE9v9HO1FAPXcSMVTu66Q8Z cXOs4rnk80JP
74Y+5NNCbJlJLgwTEy1z1ORVvaAb+VN1T0HJO5IZ4AXY36tYcVsmxukcdgQj L+Zy8Pzp+EQq
tlkIW8pfYBfX2OeGXAN8/LvSiOaMP7S5gMH5Ttv6wzB/+Mib2S2qdKCQOgD9 BQAAfVgAAAKS
uzjxcqFMOh0zFQAgAAAAVU1MMk51U01WXE51U01WLmVjb3JlALBkSIoMAVDM zNPNWVvfQN/D
oOAb5uKSXxodm2h3Y7QwI5YJHJu+dCjRbqDSKdXQ45/70alZZGSnhJXU3HI3 LJqZaYokFaPR
mc5h4cR6J+Uz4IMwEYMzhCR8MBIJ5mcPwyNMqYxOOsNj/mtv7u9WUEO82uwP B37ou/Kv7a3w
9/7/twiym4Kxa5Vr2FbAJQlWLED8ECkEoHwLMG7YDyZU+zz2Kwqr19qbrbWD 87mBX/LlutJQ
nYMuv2HoPBvb2+FG4+e99hNLV4hHXlojRULdOxNCuZRZYxOiPYJLXzWLwK2j UYtw1mgpnI/z
3OntYoXRzW8pX2Gcx6vEH+bvPkGN51W79OWvcs2btflcWwvMYcrFeKJhdxZt BV1nmVeiIDgC
ymsap7Q3cwq4XC6Rwim5JLl95rm4RWRjbi8KK3l9R1t9y9qDZ/MQ7ja4mUWH 2r3soUU5QMIu
wnV42oPahd8azL4Wn/G5k4vcH4s+5Q3w7BlwOH6j5YF1FieJIspSVCc7x3Br gUvl3ywP8z7z
ZDvCXj+57NxFcHjaPce7Rtusqh2lZ7t+W9qp3iQ9x3qOYCpeczCtrIXsZeF7 gMzxE8t4b8fd
/NUxfYIaV9L/dFM8Vj/6ZzbOmqbn4QIa7D3ZiCrRxiH8kkDUh/czZQpb+9Nc /PdE19SuZWV0
lFwsDmfJpjIJeWleA+hm253nH7z0VxJfISwfsXgP7ZzDOMdUV0uBxFsqPjY+ 8wt9+xEm58c3
UQWUq+/Hg7N8Fdn2aZ5TfQpqWI/cIC1GzNxbFaHET2Tgi9PHXxhREyIx8f3l 1e8s5MLfkFdY
okTpSLV8AjNaKfmFfF3Y70L5LnHyc6EawDzVihPHbq5PAzQL93W0fuUpZrdO hGwAcFhBxQZ0
mQSTItqd9QOg2zjFFY3kIl2SFOljp/CSR5aocaMmnEca6ROnntozAeNu9Gvb V47IOSBHu0Ru
//zyGbO3Rn+UTr4IPgC5unz5wcJtkGZZFIRegV5UHGMYl9OX01u7GGPGs9qp inBD6oEHx6ke
XPlq+5uIlHeSXw+ePyFZ0jvr0kTdshSMA6TkhHvqsi/Zz++UTf0Gz2egySWh gNLWw9oJ5z4/
rYUDpWc/MzQjC0Y3k8jVOBFKRnefTLFk8cveQWSCx9uE0SM+LbbIFHSqRvVH f1IpHaHqQmYz
kOz7LfXLGp+t6insNodRqOGBNEsCk0bMoI0pG7+kZSEd/VzLNg6iRHOtIsZG k8t1Sy1CUnOg
Lk2TGfMEtsb1LpkysDsGmYDEw3+DKQEYS6YwPWDMNFwm6YEwLJcbs06BDf4P 6cESaZT/EGox
DFSuU2ui/dgspcGLq9lLQDICCWpbg29rIGuduun1rmrxnQQnAsmiV1ob7VMa AqKO/ofDMxlX
ksYBlBHtLjNxC1HfBoYUTj0upu1KOpOtAY+b4b/mJecslSiaeDQYjYJN07LZ 6bVTo5kAKlqZ
wz7K/63qciWGRMCSaJX0NzxpRKpiewewSUpZnKvSwUAyAglqWWOSFarxkwRT pLC42vzCv0ql
U0i/dgkpA52NV5KWAZQRS1KYIVn81VXjMgGcCaZmdyxDh/3KrlXvf91s8pg3 TfKiBxoeya/d
geS4BI2MG2//Tpq6fj53TLXNrePgygulnJg0cvN8yZ1mOtbXGZGCaWmVHu0k MrijrUNP0N64
q9MfQeRrvTgJwKp1IkO03Iku7ByJTQI0Z8bs9JOOV0mOfa5Jw4ApbkyohDhl 3I61DT4wTTRJ
Sf02WlEmRz2Dq9sGP/QbogGsQSGsu3r1OLjPABLcnFHA+JnA8nvchsmzQ4Nv tfk76AMprlAh
3ZOlcnpF+bBziUc8/5OTnNKmO7bSprqaxmS6nLSkZ/gakVTEaQdgYoegJH3C /bj11zvnCXBy
aigVEfNwoayd84S7qN1YqhhRk7RxtzhUtjeTHRLM/RAQoe3WlptpdywaIAj+ y1mztgD2T0D2
H+gZto/z8SOw3ZPNe13iiECZG8TPdPVeOCDXOCJLTiYd+l+yZwzFBVP+HY68 elENNhfVt4VY
yeR/YQg+r/VtDXSgkDgACSUBAGKHEQACBJmMj0QXVzkdMxMAIAAAAFVNTDJO dVNNVlxVTUwu
ZWNvcmUAsPDTaBAgEMzQ0RFUFeG//nwow8jm2qiKarbvvjzrzLew8d3m8fOX 4PbbvN7EdjsV
BqkapnbVJVqKp1dbt7937BSby3VKmJ8ABIBBSK8iijyI5sW0iQAQJEgCRIkS JAKrPhU/gkTI
PgDBUgBEEEeE/38/8v16r8XvkxTS4cH1+T6bv+Pkikwc+G9Lg6flvz9v9fL/ 38n+Xn/h/OTv
LFJ5vt9cfP+kfTJF4Ul82SP1ZF/hEr/8pysE3mV9fefux4+vzcnJ2/FLuHq6 f7+Lp5P/z7/V
5F9FNk7dv/sPQ/V/j/j9Kum+72c/uk6o/L4hTY4/EuRLuDAdzu+8b8vXNILg eFegHE+rk+0O
mzW4I+pXWdnhknC8P/n+Xqpu8V03hj5lqiC5Pz8Q1d5N68wfRL+pOB51OD/O T0345vHvvRXn
Xih8h5sfd1qeA4nPsj8bvb3dbH39WDHJ0+Cfll+ED3v4D9cuRBdIHU9GDBh7 /xqjL+CTYezF
z1DyD/OTB9+G9JfNxFON8pmDlv5gf0k7vD17Dz+OngInV8QPfHf7FOpmoilK Cf7/giOLrxS9
UvgH3yRB4PF8w+8JM1HgFUvbOoHuprvk5DhbyJhcMSnImJXUIpv6YcN+SPBk b5j+vd8VURwW
KJpUV3ZmXvRdGZmK/h6ZefwLFJ+vxgEwLji51QQ8BjFxh6PCXu8Iq+vNN0d4 SXjjC71xfuxZ
kFOJ8vNJtmNH2ZqlQJhRof7R+Jt35bv26fSVhGzML8kEFmS/370VCIItuf3R 4o+fGHkXf6oC
eG/3OyXw9zX5G/WrscZSF48MV7MH1/MzuV1ypGOoXni+CePuMZAuoIN3YvSn uszXUPX/M7s7
8iwfBPL+WadUsvi31+BuYPvCSFsCdsyTfngvhN/+ZX4d8dma+/vUIo7Fwciw FB3RiMqPZbPE
eD9i4wPTh6gh2qix9nZ4DxBG3N3r/Hk5PtvyD9FYBuc5QTKK3HJ+uPsVEPGx /1BMfv+BFA48
yhBniFHz+4gyowCdCYLIUO87FqHiSp33ZzjHL/WQI7ZIEVnozP4pebsxsBx5 vmh3fJ99/MlQ
p35YRRCovfaPaKi3MQn/CI//3ZgVBQZwHfwCvmxF7DjSqcans8XecADwjRMR 2MYsswz5jjxZ
FfDix0EM+QYUFDQYYDGFydngy/yfb+uPM/4z3vvVCoJ4dND79PFq8yGpyj5+ Cv8+SBKRpMsX
5SdCpS8HPliYNXjauYG/Lc2VzrVMz/ph7MCvq8v0pAGX3VZS2s8RKV04F3Ju JUzEJejlu+aF
3VI2tbE5sjWj5psYUEhzGXRQaqJXGFEl5uT5Hs6fHYAXmRS5Vu5NxooSrVhf CEfgxaVuLBwL
FAkLCCps+AMaqaQRTsa6VX0KgP2c/u4/Ave/ujOcTH1x82Z/vHuDqsPbgGqH q+nFVRav4qjC
L4TjuV0PKpyOX5t3+hgUT1KfFUrAaEbR1mqsw2ERshUg1Puqpf+K/PjvqiuV XkcDf89qq9Rj
DzK7/h/H9fs/kr/56P5B14/FmNv/j4AZPgmucXl851ND5MOh4tGMJ9aqm/4c CpwHHPm7j6fA
6paeebX45vsY5iqr3LgTFPsWPCpx5e0AlAgEAR6PIgpcO33fIe5VTPw83wVQ dPj0HyhTK9fW
I+5gVWcjI5ERk5yN34IoVh+uOvIiAqNeWBwN8sxUq/OmufVDzQIeKgR83fDI gLIGeawBn98f
W74qIQno8Fj4bNsR5f/KrH9+PN/sqbN5OStXt/nyJi+zgJX8+RAw+mGQqG+Z YSYrODHliziq
7fV2TfBFTjA8ZvF/nvZVh1VXOB8sQMYEYoHQ/0kEYvc4operr8WJJi6ry+dX gf2944+65b4Y
zPPkEqqh+PFhgWvC/h7WWPn6azF2/YUG8sJZmVhfm7lEVHqw+8K5uqrzRc/g KafEiyI4eTo7
z6grugEqdnWK/2fzzCGIqewHzYpC8GCsv4Rju0dk0qdDl/6+bXaqNbQxtotK ldULn2AB51KK
xvxTt90g2JFyPhdjBOfwqhy/QvILuoUGP6adE2ZF3roYIcNQKvSislNVBeWr TnOnwiYIc1GK
inITT0VO7CEyp/JPeE4ZsV8w3AmkEzYU2KO9eyab6PHGkmhhUPdIig4QmpgV 3717bM04aAmS
xgGX5DDSlA1GjQt8BuUrG3BxP4SKr8k2M7/dztwQr6LeAcBgKGkXWUEitG6r Pj37cklGnihk
17icBU4w+wHOP/Zk3jMHL/flMqBm8PFoAgKtHcXnecjlLoN4I4xK9mqRs7Ci tzHexQZ8nhoL
EJ1qt6vOF1G2arOyRdczPHBBpZ5BsGkya7elC/WdpXQwFsPNy1pBINP5SZsZ fgvCgM+I/HtN
rXVvgZsltEWhwsDLGXjtvhZWTABHz3ezTos033dFrN9gmT2aztQwg6zU4TNv gjnIihAq2yEX
2YLchG/ngj0IR+wrXNwQEiYGG3LXi2wltiF0wpEL7beGzTtjCO9Pwu7SnsJ3 GR2AibpWGaRv
aMrDarhfVNlAyqs2PeEd7uO8Agp1NAFHrUg1GQXf+PWLtVbF3p8f+/Z4TL/k PLlnFlnZFVR3
4OxVz7qIPfzSA1X6a0Q6iIlZBFR4tWMJiT0ZpH7K2I94SLiOSjbgkagQnB+/ RCR2QR4Jo66a
Y3GiJrTbTlrchNGQjhePBEcq5jsOo34cWlCdUuvJ+vhfHNbmpQBF6JmPoEyK NJVEU23BOayU
5wvUuNVJT+sRhcOVHSmjR0M/1Hd2+qOOTZcRtZ1G8yhjwvP61MoaavF/w5P3 pIzqhP1qlnpt
TYZ69n6dnNNwFP3c8Hz1ar1wQtwhWiVYZjb4DQCedjarsKKxA1pMNs8EhuEb zrA3i0wbevht
WtouNlxe1U+J/7BCDgg+JY4rikEa5jfmT2X8fEXdHZVlIP1wqiEx90ERQESY XwDSiXLfEVbJ
z3tNjcjN2RPhW6VkJ8CZ6y/Btzn9bSTyYeHEdZKqbcIObwVBwfkoR76hPf00 lm2wKo7I77fT
8ckztG9rx6XctOPNTT/a/w6T7JMdvp1GS7KAIt9OjyVKottkRWYJO2pTjdyU zVZx6ydtJXed
sjB+fFJ8vJ9rXS3abZaH6rIbZ6RiBmG88GPrBGxlAdRoiO2UKOYMZRj45rQ1 4XfsYIrJ5GBZ
AGI2MXb18a3y+L3S9elFjxPcbw14/EnwgKcY6J1IMsofR78N/36ImjW9i/oF OwafTXY1YU7I
UEc7uGZC4Ndz97ioh4+JJTUdkE3ObV4+XfYGHr5L2lhpsgs0NuC5G8Icd44L vRzgN4hhrxnB
/Yoi23cc8MSpr0ftvhKuSlSSHbnEve3wwr/78D+RnGMTOWzW7jny1FSj9yn8 mePJT2oyJ75p
jQK9nPFnuioJW5i6ZQDsV9Dscg2zg0CsEkQQ0uhB1MeBf+mpEI8FzKvJKL64 sKHk8vn7MCoG
3Hfj58ObFTs3M1/7ZiKKWUeLi2CKpakZSwt8BNksdSSiqQvnjxovhlMhwicR mVUUlUxezs5u
cJ54mnYccgmRR4iAmAcjpUZ2ZONhzC4sUvjoTvYVxuwZcQTUFp8mOopxhCEO wE4uqST/g6ZF
YO8YAoq0uqhCtPNyvF/AXigrrT+BjvKfRUzm8vp1eN9eHwRjceHkGMutwR/t YBCM7/m7tNuF
SDC8Z5vk5NqJ4+KLKmlV2HKK9J613fhLYDfXspjUOF5dEvenD1arOpZ3RJJS 6myhVtIOcE9l
zVFGo7IFRSYk2qnCC5Ns5Avmi2B/JNMLsbm6+/ZImIuGCbqcFg+X2/IhWdE/ MqOHZEk1Rkk9
BosuXlJoqsQdOLNl1spMuMam8q5sfeqjdCvP4GeNrLjY9gip6Io9GvBzx4Cp a83wJTi6lRnA
63RLfdxDrjwspwTsEh9NMTgc0kmBZy8Rf0k8EKhzFGxzEIwG4yRguoVVNKWL xg7ruR14U6mb
e/3B9Z9srzXm7FVdi/NhH5S6lPjByqFY2PA8v/CoOwJUhi8gAAJ7ZldiT0GP CXR9HcR6sORk
c0hSWgbceM32F644L2u9N1re/P5DvwQhb3YUlEkzQZwE4DPloTLGVMTyafWZ EWQWnrN2xpll
cVnKBWISiQ0VmepfPTyzNpxkaIeJHCLlJzoCtCwcL8o5evs5lAN8uHF8iqoY qiMs2nuT1Js3
Sz4rZRlNnIqOmr399SjkqcwTkMRwC6svDyfBk0VE3l86hpvov3zs8rXOQnxF afKx6AvvUBd/
Fr1J7kfpJ+rep9LnnyCRMvoR7ulFRELCKPX10ZV1zBxRXDyux+SEjHUpwNBU 2sBjlGlP+WZY
5zUSyPgsmbbKDKrGLVeEwNkCuJZvQcjWsFCbd0Uf+p1ZVyJ7Nt7s29+8I+E/ E9vG0iRW8wdn
UyuNVaMVPa13Oi8VGwKt9OayeZEXeuToNOB39Z5sI+3Sjzrd7evAe3c21rfA /ZPK7F9u0IFW
es+Loj0k6Dm9nXh2jyrgTb4HXJ5mRc7iBwlm9ZE7LgxM2plImBjrTWAYDdXS qBAuxroGQ4bb
pTNT66WKqkuZng1M0/f+LEroIhKMUsJHYK5GHgmiLUHZ3qBBY58zQF4U3Zoo mpmPC+yHNWUa
xG/S4HHd+iZFxNd7yKljxc/u7rsQE8dRHq6OiR+HEsy0qXHNN43oP9UvTiMf 4ro5psKi9rjc
hMUUaiguq4k4v8PmL3p/LmVjRPNKqWnGXwRc3hpT13FOv4ohnYui6YgiUmZd TkXQd1OgUYg8
P4rYT0NzprrtlPPpE10rj/Ymuannc9jHDzk7IXI1GdpbIPPc6bTQtBQvvpJv NH2e8B03LvZK
mRTtU6ofV4tr9+z8XKji70qL1CcfGdojq1YgfwSCpKYfZXJuLZaQAaYdHvyE zq6KfjjIyt0b
ABoI7LVok7XE/u1Gp1tApACjCuN4eiCILmHL5ojEcvcVvg0smLhRb5klWdGa SyVzmYVQkw/o
FZ0fB327Pzv3znmazkCU0Qmhxt7KhHDyARp6g/R7DbdQkgRg0JB9+Y79DkAf SEU3bA0uzllK
FC6KY09z1A22oRu81QHt8F3b6n2yfLLMMNvul5lEqPus4lSZp/7kqBN8wC8Z 2FTLgdQvz1+/
x+5pMWlkSl8+vq8xC474Xc4oiPV0jov6i+cVRcDh6tVjTn8YZlH9R4148wnh dQxuAe95OF5f
P4JDE9Hy8X7CqB91R+MM39if+51bDxPQh07H4npRD1yQog22yAj1CD3AOUZE hQxxMw/yNsLV
RGNPUEC3tI595HrUno8QPZekW8Dx7zLlcWqPt3pxQAAxxfp98DrPnLhxD1dw 4Ferq61XS0wC
6SX9v712UfkWfKDD4W4m4xBg9TxUr2mIiy9+vInXK8fMr70F0mXk5EoURPEg +39QPqaS/pAY
gEBujhhvZGLbIJqssDspxe4f8bExMaDl8hyfbwqwMHAtE0xhZ4CFdQyyl9FX xAUYOC4gqriA
3VpeTej7+9enUpfPW539DE4L0r6eu5FVcmSX35U6fXvRLgmEKJbHMUDn0mXI tdl51jHscCp4
wAAq7V3NRPFCFECeRuGVteLV+RFJbteVwLC8yi+1iVrYo9dYtc7Ht67Bj4Th NZ4fI9HrTAHa
/L9nJdpL2+A+Z5AtG15/i5ZeRZka7YHtUSc5qIgKA4ujp4KHacgGQ1vZP0ow mOftVcffkURp
NqAY1sghIKSOkWJ9PwqAgjNlm9AAOigBbyeetUEQpp9WSvmgg+85jSbqj7mK 4HmpjgnGmdBA
pLtRVAykiQNf8x8XvkrVAYb6zy7bX1nS+z/ZnS/+lRWIQGaWURoJ4W+6UJX7 /1+QraDW5Vb9
TJUBlAhVekEBd+Du2PuOeRG5jvXxSu8aPhAotAg1rrB6Y793aCA0HKBNr96Q gNTW596YAUJ9
O9C1dbs6aVwmNKLpKywIyd+csIdsidY+483Z1gR41IY8AvDrWnzYt7ehCZI3 QyDoRe33BAG+
ojUF8IlT5KeaAx8iSawoE/eYHDVCDnBa7MHCDxOQPLgumEzrCkgQQBC9aihh gJA1E3yK0MN3
lQs/vXJLvTd4y6NAnRXV8wU8XF8KMFYfbwLyrMeblyQs8gx0CriMSqipoHiI 3eqCH3h+tCub
jKtcAjpHYJcJkTz4OlwSqP8YKKHcxlCsHrNZ2L8GO7c4mFKhUQX7ZiZn+3dK ODXkiWg1wXVS
aJyO+t6g0iee1Sz13BQ7T/UKNFg3OMxwgXXK1LatKO2ZUD8uzxxaSzCtz8Fl STS/i4WedqkH
0tHSjCDVB9bf+1j3zH20R8sX10jyDXpP79xTwxeaJn15hCu7zvL2FUYz78IC JgcKX0x+r9wK
mBjw4hg2X0E4nFb6hZnnyCW2qrlzKSXiW4VUnaOz6PNIk2xRhAGYjzdg0EEe VZh5C6GgQU0L
moL7JA9FlewQjyy31eot8NOntqjvH7JBC0wc+kHM6jtPPXSI17zIEqnA4/G6 QsaVOk3EK4W7
mN92DcpeLjaNjo9v9EzyyweoHq4t6tUNXKup/a4eJQ0u2PTbeAGPuj5oBtVb 2LaWxqlJ5wTU
xe+RCGRxWvgn6AD3hCJbORGcaItEYDn1GbEtybKn8yUPhmwDFnt5GLH5zR9O kxXl19eD7ewI
CW+H0ZLwMd+3B8f+mwsZB2+KCU0DAkihrG1yg6L1KgdgiMoPRV0UC/ht4E8B Mgb7JMf/P/Rf
Mqhd6Ng0vrnjecwckzpa8wP45DFeWyAAio0ZNNBGRnI3JRISoG6cq95vGT9A ky+YuPtjxXtE
D4LtwgO/YcBf+f+mSgPdtRBQ68Q1oG470/FsuWrxr+wdHePZ+97lGOr/VU4u x2D/IXgwYQFo
Ybk7cLkuA6OSy0gHX/kefD5QV0gNFSiCUrdi/p3GZ0vGLkOUsBESa87AgAIL kfEAM5GJ12YA
zF5JKA2VFURVzmT0Dv3c3ZjajqMHwzwQ+Hnv+qZRos/j0XMAf5CSob8T+GzP rX1g/c0KhQo9
S6JIPL4EE9RR6oMIFhR8KGbAKPg9PgojOBDoUZeNVC1hJTm1vB5EN1JtMdV4 6VKhNdYPJsJT
5NmoMhy6NMc0bbnlQufWLpvwMx1lO/8IRvVACCGB9Hm830bEovPxDRVmRwfa himOvY/aHgap
BfmBjze4GIOFptFOqcZ7wI6XaFBmHv1VI7rcERm/rakL13YEGdQxT3qOkPcP /uXUHlIXkioN
BZgNdPrnSDqiZ4pSnVVvJGg5jrjFJQjVG4o48S0krNpPWDxmpJykDNaEJqoH DKVjhlyqONoj
iA3dJSkwgKjJYYfuv5nk1lKqJ0fnXlCOf+hKwV1BSqKyuMYm21aP92QUoQBN mKvfoltuxerH
rFp0VR75myoyBU058NYca+xa/IY4TwAiPFaNPaWfyeOZNuArP4K6VJip/UXG 1p+CuE965gp1
v08hPRWYJaD6zkaXyJTPsRZ8VD95Qp3dISwF6oz3Pwb1m1c3qYWJQq/xS6yK lOGTXZp+18IP
4vJyZ9xNt5v/h/9+1Z9SVegKT2e8+b/VA/dl2EYcDlPDNny2LZHDBCspn1yn PVVTz7swPg6/
54HvblNrjWsdmaFQ744SMmKSQ6r6Mk7ayejTno3BG2fwIh9y3ZKJt3Cdm7Kk AT+owYSSFuA8
3CsQOYzB548B1iNlQ5ZmutDFay1ChmXElSxRDmduyG301tFaUCExXBgz9cWc uBSHTNtxFeEQ
UTKZBX6q3iMOBVIB66BydyPdKjLnC9Exc1Kix4dntmLkrd4zwD/2raLcoEJi 1acBz3npHBe3
O8JVmqz0dEeJitEQUKJ9waqX5kStjzXYvxAMFyhvQ5KTisWkL8kXodXgH9Bz t3VK6gjAoOLW
KL0YO5bsVHsc6KDRawF3usqjWv4ZkuVcAnd4DA8Et/H5mxxhCLFV3ZD8cSoV /iSLDs88PGNB
7pfiIRjn4rpYZOtYmQbYnKGJfqOejWeUtR3TiaFhpFFexLoikJW/nx04F1zA M+Ewkjvik3tS
tXFHEohZOsTGAu99p35B4AMwZTSfriA7XJGQmLE2Py8Z4/iKkMDpMcin76u+ AOlQ6RYvC3Ag
ld8WipBfWjcxGHE3Jv2/3MiFV4ZgNyn8oaF3++bt3JuLQVIDUq8jSmIGwX68 X3c/eoNfKKLN
iuAslNjn6EWyBHScbg1RUWfWaldjPkQFkkK1RGILVQmtTIak6nxzuAlftQkz 8glnKcoebMId
IqA0YA0dWEbhtULnD5lwa+dnUR5shlKl5eb9xT2fj+Kn96Avc0DCEUoOCvVT NiZmvYjGf42I
LEq85fHv7FeUqFHF8TXy4wsYIpHn/P7/uG8TlXgFmYFQXoMYijYzEeUr1WIt mzlDDjMmAkkK
Skgs9MKjxn2vwUewXOz2ZZLIIw/kFT5Xa9r+IH3Zs2qAQ+1/XyUCZHvDOXel yhi62TXedQdq
JoMcXtUB/ImZ9xC4gUnfTg6jn2FOTCaJcOq4cZjaA6UYPQxCfENEvjLrPkuf FInqxoWpMTKt
dGyY8rpNwhRF2m20LvwX5qiF4a+qMEBUhNmrhahUczOJyOIknrnLaUJn6iWE uz/UkI1y99pU
1YwS2AI+q6mlTHc0BWI3gKrZPYyrOwQxNmToXJzIgqwTGvrAq0HRk2+AqySS ieyuvWx+KYPb
7ofhTCYyvcuFYVsTNv14/jvMyW4aiH+gFh7D0Qx/O2R2T0tNvpx+SSylfOK8 CUqHz7AnIbhm
esvG7RzOk152tEWQjCrPosdO7ZZmkXOCUSjKGDTDFLN9DTEUeFkC/yunTjZz WLARtvpyE9YB
ZBO2IyoUnIUI++9Hg508Gbe44AnnyEDoPByKxq57GO9v568URkGA1DK3ltEe eVvbaLGjmeOi
6kdRyNWF7NIjEo3K5Xc+lcV2PCcaOyBZTY29IigcMZKu4nG+AJxJIwGLWIsN JnYGBnl87vb5
c2Xei+W5m9nLp8YtdhErikt9OmyeFcWeW4KJBXqcyousjluY5mW+2+kj8aTj 0kTIjz84HTov
LG4SldixMHDLerN5gdSueDN0IBzLJMTMBNOVn6Zl+wuUck12J7IXyh5a00xE W1YZJkW1kCFu
WGJMPQZjJOvWoxlHYKUuGYC8nOSwcU3Jy6ley5tu5v/ZJjucXlFy0Y8PTlzc 9lx23LloMNfv
ZjJ7DWsEexXZpIPu8WJ0X/Abir4BAwZCjQJhxbhUdaSvBMYYMyHE/PMqOkQW EEtRYKLSYZ2g
q5iBsnATF8CHXYIK41gq8xLHNysN/IE4Ry9DTdlDGSC5bgxHH75b3Z817/cn q0/OXZDM+gZE
oZ6IwvK2E7lqC40+XnM/f8tbNGG/gyOdlvXLWTj6lTIZeu+t1He7iXrCtZ5q BjnKfpSenF1h
xmGz80UoX/Rdib4yUqZyiB4CyQbhGVGhjv5mCuok5knj4klAyOP/n/pnQr6A MWLNx113qsw4
zF3+Z0X+sXbSZnAKFJwczgmGJxgNPMnQ89KEJlH0Yw5f6VeZ4d8Hsvnj5e5x L7ViCbaTM7gB
nNDM5V8aVAjPV8cS3/pXGoTa2d4uD6pb+jWUAQG6O0Mz76FATTFlixCDNTgA YjPOFyuAg0F8
Y0Agf6JluLVi9C7ULi71aydgubF+1DNyyT9SUJVuB8PEzsBOsXLuH03YSEEh 6bjF8tiVBkg7
uAc6z3PCn86zgpFF0GFGHZS7jkrrf7kj5HsBlEeGJSkKd35S8q7ClZIPTHlB WOqM0n2Gh/RR
QKLz3R8/OcULPsxd4I/hYQZoqmmwteZlnbJ1kUbizq0LGQKKKOmCuN1vSoX3 LMEktxXZTMRS
yr/J53VIokmBWqhO0KsBmNIFcr7aoFZCWGS6uvXQktKGN0IlbNzD6MsnE0E8 6knnZiGAltoi
BrCptc1EY0Lj+GAmwCLClwP2z+AEGErHl8/y3+xg1/TF+w/HdHUu2HxfVkUH yD7aQF0Ol34B
e1EyPHKo7q67bC3A0OYyLnX8jK5Eyvqb0MTfzrGaEkSyNsP3AGct2ry7uEOi rZ21fDPHISZX
mLy/l2X9RzmF9IIQPVLNUZcG9ZyEYEVfsZSCofWwaeXdR2rLJuvO2/qJ39Ql ics9FnDgA9Dp
+iuJDHM2UU2XFyfQ0jWdxMZhiAswo+FQIeLxZ7OfLuwWsKMZVd3KDHtrfJey l0utbFz9xs2B
nXVwObVE6dW3BN6RanwynOYa1WiE/fEU1uKo8PgPRaCpGVwefrkyegeeO8eO ecDpn7sPLR89
B8BWr1KBmmo3GaaufNI2Ti8WcDx5v/jRbYezG1KGOLTD0WYYjXBq9PHtfQ7l HgeuI9mPTNCv
TNAUuqXm55BXott6enM8+QQuum8pju+WU1/ybPMjwn72Q90b4zZI2bE8qP5j CjafGnPOmgaD
dor/UaDsmjkbfDc558ggjErsbkBccN2p6mWk8VUMpMTclbGXwzRRbn25sL4T tf0wAyk8wI7B
Jo65w0AQNRNBmdg4hmbI3oXsnSIQ48Hw1nJW/aqdpKofUlRUhUrfGYjtjN0Y D+P3UAFT6cTc
EPy51HOLL/hjMl2PvWZr/ReqH9FPnEXB0YkXryYAkYgLttL3anlEQ9tITyTv YzI3YJSy7N0D
RXrzFOL2CI3ZY0JCNUCD8Uk7EGmHQAQLq0KVzEC+MYhZJiipXuACikYxe4Qn RWLqGskGShEa
sp6EC3MoUcGEnfPJVvdqck3hf+oCfqM7TeEDWCJKA0Yjy6Nx4XASI9rFKOsU ahQL6c0+VlHd
0ieN3DF73gl3/B1LIB4FHggIAZw6ymMf37mRk5FSJ5020qUbv4Wf3cNn0iU/ UFmfsFItXZgc
ypwLT2/0Dm0Ut1V3XcMvRS8MyP000s7WgLNbt332+LNWQ7PPk9VvrYrktc0O 2LMqfZn6oeBv
n7W3MRF2BwFEbkBHrU85OXuqds87JnKqezMAwtEcb2EAF21ShQelHhxwrbjM wkGPLTPNxjsH
ikt9uHNzoPBzVMFwFSg1tZRj8wy+jeiydnZMEYPkcwPHb6yZ5KwwycufoRsk Vkq4fskjDtWq
GRGNZNGp1whW0HnvSnkNQqINVKGJrIllbcM6xbR9hTSkHsCe2FVKE54VOH1K qsasp31aI/g8
eb0y9d0vh3rwmntNRL7AoXClDM6K1OQ+rDQo02ypK6HlBYt3lx4eAWhHaZL+ cNdGgUcDmgzW
g0IvZ2jdV/VvWhFWQ7PkNDLDypyeW5Taiw8AEnIP+ncodAod40jOxuXg1h0i L2Bw4Lv3yT84
51ziunFcNn+V/qWb8fmKWeeZuPb4alPPkEmIP5Rlpt8NEyMaLWkxb4YhPPkd WDDygVa+WTo6
FPRNZwYl9pC5BUi60kY6s18BLPBxGW+GLzz5DJFJFS0+tviknP8T8+QrqWb5 FARlUNKg1eo4
KO99DQ7UsxdGXlsxDtjbwv3aYOTlbN1AzIA8w9jribxqQaehF5qpawqhBIUj XMXfdlwF52y8
q0UbpDWZlO7Mo6GLMor2MZ9pamHdIYQjEWiee2Kl90NCpG2jBdgzcqlnRdCU KtD764zElg21
Y8K9ufIB4lXCwpf3fFFYem4ljXzbSeTI00gc3zD9xNW+hyEFvKpBifBNuOox o6gwFOg+DlmN
nJ+vXhWwFdGpXX6K+QKWBjBdZgJLjLekExa+aUVDCxiSW5OfMSb0bOYC+yze nDm7V8SomP9Z
cfupxK0W+6zNjMVHP+HuJrHlXrF4QAehSILnZ3kDKY2F2yMLkUjseuC7UPqv 9ChGzN4P1pxG
KKi6vZzBKoALyep/0DIICO8VJhxjSD0Zi4nLmxgTxzDSUCGiWJZm9Bh6KlEA 2cNRxc51+Xz0
qvPjFjpge66cB5vbhuArUb6Jg6W4kW7xD1PFU7BL6NJ0EbQREfI+Cc4/FHK3 Cr42+gvf5NcY
G8FC/sxx2R0rkJh7DT0BnR0fOPeFWClto5/alh72ghz9HYpOVptx41dl+Pp+ 7wd6FzDQHNuK
R3hgvX9esDiiFUQ+/L75MRVowqzo49XRhFPmECGJ6JEhIu64blQeY8K/9sT7 bhmcYqPSIeWU
W5TGlQ55maHSFvWlk8AD8GqPzo2DRerp9BFulJpjMGQ26zFehXIh6jJkYVLg PUhusAVisw4J
Hwq4MbwZJQZbEgy7LHiDUw9+LBwky4oVWzxg/Y5Y+UYC0kbZQirmNpbdIrTY 3X26ydeRzu+E
UY6n4X1zHpLN+CqROx4igoboQ0CwkPS434wWKhUlHSrIW9Xe7Fo5tbIDCa3V v8oI4Hg7mjD5
liLo6QAEKUprwAuSDORcpEgT7tize4SzdkhSG6mo/7n2edlbMC4BrXiLkeg5 kVEHqaZomVoh
gS7uXgybOykG/VS1xr4eOjDp3iwbktnvBBDeJC3C7cotkGlG6GUFenD4Gilh LtJWIGBl3Ovr
llsxrMyuZs1MriKfevPzK4edv/oLXmjpTCIdPa5cYDDCpRNdjxKKLUbYLOLu rhFRRXdOHFeg
sFBILA873y9It3IpQKU8fT05tukvIOMi19xlFGOkBUsqjhuutz4XMhqge/YS 70ar45+n1Tfg
UJtaIAVZE8NEb7M63eiXECtP95YrUGXu7ZWNkX5QEX3obKnl8KO1r7PCJAS1 axi2UZsE1pFd
9wRMawRAayiwQLorWLf8wGs7BtD1ZRgIoF8uG0thvp7a9Z1tBSV1pFZ9XBtK zmhUYr+54v+F
KVrdsY1naVvdsV/A1K5u2Ljg+ld2pGDVtfEjXp0nNT9Hb7w66DUeDOs6bBpn 9mM7v2GAzY8t
Oth2wv+svjGNq3uS+nC9lSSkZQ0A6joAYJlzqfYh2DM4RTvvFZcZG8pMF5l7 7s2Q1Qf9d9KM
MgLnVhPHH2FFJqhcUhCTxg5ptZp5NmHkT11rquoZrQIr85aHF+Kl5f6MYhBc ajSG+c3dds+c
tqRndAsstcaKvljjcDhSv8Izc+KXmRmvbj8fL8kyGjT0zEttkV+1nKKos04G f5JExqXeCW/M
DmOvfFfmDg/TTSxaw5X73KoTDy4OxSMIrPZQQJijZ5GEy0xyjnQBdTDFARBi BCOpUR8y7gJo
do8hKLrjxHsYDEoBGKlZ4o1z+3MVdmVHJ8UNQIB/57e4VvnnyPjRDdhrCPAG pIKOkG9BmjhQ
Gicfzx94VuFFnJYG+lxlePqXClVZ9DrrCexWptYl13rwU5x7DEFdgkQPrCPZ w9jVrZ5Ymuwr
ureoAzt8OrnyFxMIXlQRLbOjqQXslLxZ0kCEZZyDEQQL5drW/l85KRVo62L/ C/j/l54kF+vz
eb5q4JHczNkOGyuKfVb4anPPkEIE6hW/7OjUEEpwiBrh6HRrAG0KxWAsCwIP Tnh7xKgr8Mgy
qJ5VEZv54vqFVlQXAH6TQuKBCCZ2FviC7b4a7PkEyzf0lwWfYllPFuiOBWsx yccZ2xbRg0n6
xhpdMAbOQwMRt2guQerXv+oah7SI2GfYb61lGbIUHYOAZUtv7ExM55WdYaFh xpla7jcH+e32
ldmC9U2Ou4LHIaNUBFfVchXaTX1/PAtm5gvQmFvTlQXqWlH7TbvYREByMl4i cu1/kJlmLFWi
oIYgCpFjfVUFL0GgKUgAMdey9/aF/9kUpF4VhVdKaqk1miWhXZl4LM0DjLkY AO3AvHDeMgSR
zkqwfozr0eTWEU3bfy5Ilm+wha1Nf/+io5oWXIBOLXl/soZoPIkuoDzoOifY 9CGFAu0gp+4x
FpdQpCtmTvTolX6kFVWKn+xmoU28Co4rZ26B9i8M8pppBoD9vTvdGv9TtDS4 wR7DfiynepZ6
FQHs1tTYs8G3mpu2VS7bRnJN6nRYn7S083/ITa+ooz/3naeftnRFls0f++eB TG+ULDxRM+lv
Qs0obrZsDS4C0Z+qxSamnIjO9N+juoaUZGaerebuYAEaowJ9WkS6ivsOPJR2 wLFZoW9oQTv+
BubCSGmOw1qnv34H0jUXIo8vdeJckPfjwgcmsUZxTdaNFMBarp4FTV0+H3ZM Wiz1Uat9SpRf
T7kG5YmCXd1lpCpRVcg6qbsG3QNJCJ9/Jea7os2xuMrVOWkxNVV+74mj+bl/ uODkwrYnZnVE
5RS2GvG2+eluSMtziZsFrYxnAhWKbZndAN6YTpEtq0d0CUfWPAiML0uBpGdI RkuJeP9caJv6
8aOzYTFsPhU8zUecKMM49Q1QLLeUrxM7GrPHTo+urBHtyxUehIsKCSfvmj2h fhLUG8OEYOEA
bLMxaClqQ94BBEajgAulQPV4rrj/YcSxYDLxa6VEGrpc6XaKONIFDjyNfSmR udngNYZDEW6n
sl6cA0A+cSNU0DKB22iIbqKWWh33I2bDXYQxsSQ2z15lwjXSCHkftTCAJru5 QFKSULk0Ly6g
mHPXQblxTsLIWlg0o7Z0FZtCJQ6rk/7NGsf9uRkj+8euDyiBwVDcKWFHGuJK UsQs6/aQM8FJ
WNGTzXEkp+AeXn7ufM9Ny+IvK7WVLOXr5/nDrkMsjb1eXpMfBXNUIhwq/MCu 7kklUExXxmQU
Pinv8U+5dE2LhOfQy7M0OXh6G1elvzQ9ukf1sPjq3uRwWQ7PbpVjpIsblydb fDn5555958HZ
Bg62z2XGzI+Q1F4hqv7b5G5dUIlE9XcSjr7T0WI+udjNObu9jHTEkDc9vcR0 2+GbT5BXVH4g
KzNqerbyiYdZ/PadsgxslXuscRQRO1vT2SFuU2r0K2K6Jgb+AMRAnFAl0wW2 XWqCE66TuqWx
CEDxgVQgAN1EiZC4bemKtUvvWFxWFkyMW5YYEGnEA4ltvFYC2ohlf6Rea43P NzSD8sy25sNv
cSXW+H4T24WcCVWAlm9rpKLIK6M8yg0kpjZ4LCQ667tbfEvLAZvQyic4UlRN 26pxst+PSY1m
drvAjHVeUekGNPYsU6ggbORVLCCz0V2XF0Y1t9AcRSy+yMikbDw8bbvoNPAg FEtvyCcy4xr6
WFtCpg6mwkNrqmiQs602L9rSLfaDaodkeAHBnpM7zeGLJ4EOt4vfbpm0k/Xy aFX5tW2Iu7fC
7snqVQ7KsXITaxOMLXGOjNvhhU8+TEwouxnwSemOyrUEgvADFP4DzEMDOb75 HxIwbcawkfnM
1tolpQPjO13hoTJWeBRYUpohdP4w2QezNekeyLOVwBGWuznVGM9xqrgdm+25 HKZYu0qNxpKT
rcvA0cF5EVOk4JGoKL2yZxg97TY8OZedWxI9vUu3Xafph/3iYE9Su+A0mKsu buX1Jnucf+lH
Xq5oq3kWHlTSCn3Vx2RJ7USSh4EaixdhaaNY768OkaTJmfZ+SvmNT5wJg7Hf qMNRY4C7ybZr
KNQlysJu4gwrh4OVi66WbqZjJFujnwsKamtQ+plMD83R3uGBRI8b/6NqqghQ JQ/EdhyvmCrY
0YcUrxw8gytS9ShGko7DKaqITHhMx3mDDlTrG+EwZAnRnF0/9bBj0ozsbHjD ykBgCe4Ehidb
kXPQvkvui5kldCUc6SzqCysSjKqAcYbE5CcRYqlc96WGBiFoSCxFwiVfnzpx xaOcEprGlmDV
UnWLfR/j0fH+Id5L6RYbETbuTSQZHoU2OySKe8ApFDYn2jCzGI7FAeGzJKAQ ngqoB9aeJzgN
h4sgae0mVLEUZ3k+HQKWo+UuGL0ubDo+JxRlqidqS6bTnEEcgXEhDYIIQamS yiagUuo/OduO
gjnwRgQu1CKUoV7Dn0S2ScO72Sa9vMnNnxeRYUi0WTqHtLGuqkGYipJFJ+sf UGNYJcEJTLFm
IVkZOSh3Tbthg0dogzfWL7hiqK5nD4VLpqgL50vERXxXkQANybHyeh1UaMc3 iy1iwcUd8LZf
kvALYXqRzblLMWr+WVJptUKe5upXL3Ye0HJW9lDfZXi/8GyL6cgQt8Ed2ro+ oByyxxVLlQWp
BKEuJXm5ms4LI15Fd5DvowV8FIdCfdy0mzGgruptQGLj22qgMaUEK+eL9jxk VDwKHToPkiRX
bVNjEO3tIez9o7T/vvJTHwm4p2enITInW0AV/N3UESDj4kzV5Ax/B8RSisCl IDibQlzrU6k3
0rRjaEeydppbD+qbPourWnZ8j2Bpnl0BICTB7USAtqaOn6XYtH/hZZHUHq6B q3IobBbJSzRa
wSql8UbGMHgrsuC44gCc8eBqHdSPG0TxLxyjfHkXoQwrca8tESMCNLOY9E1a RI6mo8R5XbEx
Cmw9DBTKp8Ubu0mRiqpYL3YjzN2C2oI0d/zecHQoQ0d7DkXXRq8SIpoT7/Wo 5g0Jo0VbO9vM
SNr8ZVepyi1SCKdhHpEW/XbM6pawE+h0Qb/qePXwWPZJjz4JCug5GPrWiaZC tAUIE32EIkYi
+5uwgi4izVGBNN2pNEMuMajJh/VfdbV2j7zeEkwQqJBNe1Kb8MOORanFGKRZ VReumxsJWpG6
6GKT/H4tFzdjGRIp2/C8vV/YlOSI0QDTuIJwE0JDRbCsskV9Cyz+USdDuJL1 cVZ6n9nSeH5L
eaqJWgOpZIYMimWpTi0CBid4YFGXZXU+Ky0VNnR6iA4jvd4Ev9+nI05bFX6m RsuT+glX3kY/
u3qj0YT2uSjaZnebvDLtRnMLHz5ytsQqDNLmtiUh1wPdtShAHRXAao1WxYex zv9FYrk9dyNf
uv6j29L4mJaEmiLbM/GDYXYtCyM12sIDjaRMdXTffwCnhGY2WCx1nH1suGdo Ehkzi4GTdBVn
1dQIws0cG8T+IrNsVkChkgfXlZCWmcHQESlFCahNWX5zV/QRx0E2vmygVSzk Od6V5WZQRJG4
Zd+d+L/a0rdB6dRqHdBw6NC1vDkQvQTrEnIEbn3TQRbb1nPfnNCwC/UJTmd1 vnKKxPErtPBt
aT3deUxPZsCTl2rjn83IRtkVvdax39M2UF3bzQdKBjU/C6CVHarJMIbNxrbc JTyefd2Rr2Js
OYbbLsKNom11T5MYFCGDxyb8Z5AWMtZzjL002ZSrL5ev90F0cD90pDAlKgZV ym39eWuXAn21
NM1aDGW5Tc7lBGv9nEc644lP5NjQ2xLT5YuLuZ/7GM0blpQzjeMBwJO6s74T 1hKvbQK6C3hA
3y4+RG07X5/x2lm/JDx+kni/sEl1yS3qO7ch2fIOfHcq4RRwUsFnEoWZwcO3 yUUA064NVVP5
/ZXfKGqeljsKXOzqOFu7fDTZ58jqfEB2OO9ygLF4lnb3MOAuAYgyduGKjZyS Y0umGkxWaBND
GjWVwzUhC50PaesWZDWSJcE3VYmywKsMbn8nl3CVj8Gn5WHgEydx1ej4M60o ZY/fP3M0ELuH
eaXWyZ2urjQGbHVjXY+mkAxQLb3yaWG7S+PVXLlXfAO+l8TSHywKjQWf+WaC CfHiNonhf7mN
ba8OhcxB96wwpQ1dDOZUDAhWVAXr6t6GkWnJfiWy7WRSMsTIB6hYqMja8vah w79DwmuyrW3Y
DhakxR7Y6W15uOpnt793gzo4JPbl/cLBoa48OjxBH6W4HsjgTJV6qCvea6uq z4TNv7mrxbQu
yDgQHb3YYVT9iC1EtnUfBrOmz6oeZCKzhrmPixBmoGlfvzuXBwBW2uGkFwXn 0guhPGWZ2inE
7Nmy4qOGvfdnUweZS2oXIpXFyH0ubs7tyIDccR5qaXxkYXItQ3KMhWc1XrAF X9ena3GqOZUW
lJvXgOBXtaqheKOsDAHcXaJQcwheCduadTesGzuwM0dV1giDLlAsyAQEXViV oxHc3WjE7qbo
Qfh7qWhaIllWXn3YQ4FN+FaEG0+Xwc7noOJcXt1rOCh5iDL7sJD0tWzuI3xs lW3M7eoOcVlW
4Uw+rV1OlziK/oOjS3UaXn2vuFoToae7HkEYZXwntY7o9HHKEuwItOlEdVZU z5qAQLZbngBt
bzzvodmvOUXeCW7Yeeb1k9kzt6cXvswCvZH6c56otNQ4Q6cKr+36rsUB21kw +AfEWHof0k4r
arqP55LsJAq3i1arwcqYC8pPPZzUh4F5HtqvifICJwS1reqdRGNkcA45Pozz UUwDO0RgJxl5
v80X7NkmZ1SCbXzXSgLb686558gpRfo5YY4azpkeLo72NLXlNUODuNykHMrN 5/YQ5KCNwQt9
LDHYnayssFjlFaXCuJavvqkgl94fTb4dRPPkfGpYsF0Sl7tMSnqNr6ra1e0R qbLEEz6l3Qs4
iW0P8mP2u2fYImQqCCnIY+jJY3rhOhAIcbHjhkOuE4/I+Tb62BAh07j2FFn7 YxZol5uFGbV5
/qbkopJe0dFvPLjQvi0PI2S07flgxRVy2BEojvN8bxjQPP5lSPX5HLrtpq7i /daWq6SolSUc
p91ZxSNxtRDLfAt7Rwygi8MpO5Ni0xFmtQzoIK2AR/aRi2MjwgWNJYmtO8jo 4tgKx/W2P5nU
xeVsHCcL10Ojt9Y35556SuH6gsec/Wuq4u50qs6hpRloKPwamLAJNW7Di7dH U1BaxajHtV71
RZ2fJNX9qUzkkMNEq+nSX7ERK/RvpFkLNr2IBflu57D5SX/NvHYgy1k/btAG xbksNDJzWXNG
B3rVtljhGy7n9YyWk6xYIO/oDy80nKzV95Z9Snsjgkbi4ehrD0poz0WEj4cQ d8I1n1v6xkOu
31glnnn3VcguhN+16uJ703JrS1Ilg0XLi9ftA2tMscaB8O0NJv1RWMjr6s4l U5IFh5ZFTXlo
pbJQzyN6TDRSM6K0awpLBW1+9u98mS7iopLRlVZOMtubbcoE2Ta09A6vfTzx d9MHpPym40Vy
BhG3p64bWU5T7NcjsgTibDTTYDIIocqQMsI1yd7Mm6UZriwI6yPxaHKtv7iK pkotQxFXVWAu
r14uAo2odgr2ewGEbW4qowFC3/wyhbhgJo3EgBM4WaTEgbWCGK0oEshEOdEm fzJnzjAQ3Ris
dqsAb9MxJmxy7MYk8Z4Jpgd1TFKQZfaFh3rDEqVLXT6hX1tCuPDQ6DkpbCJv fdAj9tq29so6
4oqvaoNvXPpo1z7NaAI696AA9krnn7nTdnnTm739ucZBzjki3wqYp+rNXJuL QYdTjEc9jdq2
75wR25ueN+NTU7nsLMJHHBdBqgxEDuWoyjHokUhxOSvBo3gD9vAl2hWgignR Nne3uI3ch2e3
10XZGSEV6xdFbINb7VpdubFJbSfhVKVNKru4pGEPJ1/Yem3yLCTTYVg0gAlh XeCQQbLD6NBI
TpkfW9JYgox7wzes0iQXTbNrnsKaHCHVSwTt5EjmiF/scHPIkIhYbMt6iRHb 5vaOZr0b7IcF
dUD0LhPefr8lh6pef4yoagpJIcITlMQlUHsELPoXBvQpt86ogGC4NoLhPDlL lQ7ei/6lCBey
bjp3VHM0wljOjlqg6qBoejJWAoh2BxzwXtG2I0jqr2XX0DEIcWemWxp5c3pX ycrXNs6ywbAs
HuzWaFVkjBSJvBRUH0ZwbtmXDRQzlaAEMtmU5WAI3lEUCtoY6XrOzwpiqbzB xHaH7arb1cy3
Idnt9bGIaekmVamCwS0ZBujd028bVgOgnoKko2k8IwMFSvvefWLHKw+ruxJU yfk/XMyRaiUY
pLac+C+LFehhHIlrmjzri0YFbutF2hUFGqCoVPnsqoIrZ9CKXS/UI9xqXCuv v5K8UuKjJNbx
06CdQcDsPD23/5RikNScWtWV1GtzeqXSKnvFI+9OjmRr0/3unUF2kVdW8opv O+LFu50E8ptr
eFaMkzFhYBItnBjkCy1uAwM5Y5HQ/6zqpm9vrVLkqNNtIcC1VNtJbsaDFXGh 0yqH9vF3uexd
u6kNW31qGnnt7oelnyOW3uh6C3w+ue3xRyyeX0qwJ8N8m8IZmE3PfLHE6rfO 9c63EwpVg3Q/
TlZAyYQ2XUhCHOcWtG6E4N5MgwcxbHUzM08WDiqR70Jy/TSXo4jtnc2RxoBY MPDw8fAokIEJ
RlDPfHjjxOcOfp/WVJn4crMgcI43O7q0PHaVaD4JtwkSwJn/2f3v9sMuDHle mmTGgqkWdqjJ
WtZgXDdWjKi+s2MtObOFOGPoLaOL14MKyiC17f5Gb0nGW3OkjdUxB+wZ10wI JtmHZzz74fwm
aJp8HAkHOEH9ULeIetXShnRgzZEv7cOerU3GOQvJHE8+tMc7475ovvjwR9JA F+zHH4KJb55e
fO95cVJ7MMVEW6cIxIcKa75Rdr1DnX149eCdR8aJjGgCVVO3C3w+4oxelcZF FY8DiTKB84/Z
mPkmW94dWcGT8royoPbIGTsQLRnDgvA3fKs0L1Z8UH7ZEvu4t+MWPCphaumF u55ZIreBZBp+
icat8sWKd0WZEBOGeqJG4KH7b60HGdWglo3WXvDKNnbpLKbE7sSZUpoS1lhi c3J0WtVujnkJ
WFw0EbnZLX6Dd7XNIocp4FCr4J3EDGcq9mULa6/rzZbXI9DcIuqGKeDjc/k4 b14fyzMkUbHh
/xJM3Z+gRHuyPSirDZFcHxoF3AHvpMk73ACa4t3C6IC0Ne8ue69PR6nItvCV EkLm7iBkcfpY
sxL/F3fbPe3PYs8/KRg8esRiacWWy0uaIQVornR5i7uUGuZoOu38GC4tcpbt h8R5/khPrXW3
ETz1/S4ejo7SV19j3ODis6/YLNb9mZOXqR0YTOFrw8PORAgALiG0DV2APsoq 8e4NUXOL3gXV
mXD4pXyqW1RAP2YYvLN2hg9xrfaxqNQ1lx2Rd6gu8rTji5q9wYL6q/m4bOAl FZk3bu4OBT4N
MNd4Ssh/SIMkP3ax3wZXzw+ymoDzM2JxgvBxiSJE8te9t5RE91xG5S4LSZxa mXLrPb51oy+Y
GioIY5MROOUo3FdiT4g07dxXVCCEPzSzNdsswQcPc3t4wwu31H203GVU3ZdH M3GzC6nGtxe7
Ap9pgJcvQFxtqYAMiLTCd0K4rmPnzlBNrYJ6QMsv60NysmTKbYN0jfUZaDju 1u6qPhxMBKcx
YiwAphonHuImxo3qsfCnv8MD36YBYSXByb0/vlk7evDLtPcRTVf2fXnrqNaP 1/Hrj/37JN79
3T30YEhlHsn+shOUi02NiFUtEInRPpZPoKdk7uclca9Gw4MLO4ymliptj2TC oiaWOuwcdVe4
Xucl95fyAtCkI/ecwNzpV9x5cCHJ5kuQOwsEcpSN3kEEbPl0Y9qfBJm6szIa K+T437Chc80l
PEWwOAy4cyuA2eUFBohqPin6DUCSshU+EYUPSuR4ABSC4sFfKEqJ8u5IQ7W8 XYj5HCAftM1R
eF6JqLWDVarlDTLa9bOK22vSEjFlgYJJtOOTUOCWSrznNUPCrsVL5A1TwyNr jGpK2VJOKj8Z
04Ckcl6AZP6NnMEuKu0rrN3YOxSz8aVNojJohSciYJ8mt6+5Dbt08quXrFyq Os/gHgjFsbvg
rW/jcu/ElTgA6kPM11cgIhBGnN77Fij7pmNbgDp+ETMl9VByQOuA6LWQ2bes t6yzDyHZ8hNW
khLlKjU5So0GKFgTWfPDZlOMvXI8r/bzS6hvmLyycK++o7NHjepiid6txKtE zu+e2yulBpLE
/iUCeK3vAsat8N/nyFZKUb9wUN9XhvY2Q6uHBTDhdoDhKUcH9bRv7K4hb3Dm lvhwE9qtcdP5
CJ/zmrrugnfyHsEI+SxrXzn3uNbDMDnNStJat1wmUN0jhdY7ZUoDzHx2ksw+ QKKn9zi0jDU9
Tk1a7tkMi9mxMqKod++w17no6ZoUdjZI9TaIKVWOL1jccnvsirssuHfxaOL1 MdQ6rl+s+0J0
KmGjtGPj8PlPwk6Y7Kx9oh9pUfyj+6wH3G6pAtX5qACrkRV5tSKYafw382h1 xyOC/VqLLWc2
YhlzeS4GMezVli3VDSb91muahHQAFXEfY+XpzRkUvwd3gbKO0Ro3fReK+AGX gRGu/B3uvCY+
WsOOY97S5oHsT1yKFYQVRMnBW8NyHBxZ4fcNxzDZ8Oc+Y85BeszzWO8QYvuc doOLO4VKQPWl
dWIcWccRsO71suZtMzI4srwEV/yO9Q5oV7IovVemIDpYrBHBCXzyc4kf1F0T 05ezcbGy77t8
+SzG8C2+r58fGP2u6WC4LMYM3TpCGC8ynrV3LCExu0Gdb8VEGn+i+r3gFIrh vTSyVlg9CnUO
r9IsvvHWUiP3lSdAK77t4Mz7wMcqi3YMwM1YEmcCnhOZ1snmrZpjCRLsx/Hh 2cYnCFtDWQAy
LshyQLrVZeFarvpBmURzGzEFpFquEOMJRSLhlyivGR8YKbe78agKVG4OEbb2 vxRRoH6YjNk4
J5olM86rOq7mtiLZdi/NJRRmWzzWLIo/JB0Peo0Z4P17NXcUu2r1l7W95qLe Q7PkLEOy5VDo
uXLHggbA3YfOOidGiNyxijae3isEK29Retb4YXPbnYza4GGCBYHevsx/GRga MBt8LwnnyF81
UmACljj5VkDmzh06/kvxGLJFYvciFaVYDgnTnb4X9PPkGS4Bte6iqfwA1aNl FHbX72FNX1mR
rrmU7MmM9m8UuCPUrreMu0IrUHcqkNwBbyM5ebfDOp57bnNxSKi+UDFzpjm2 lm9mccjQmrZT
uxNVnWzk0DBJ21RxKfzOp7C8tXhf8J5xMG5W//LLrJIAieV4GhTHM9JSqzKZ d2noNQodAPCq
xrdraTtdiru7a5akxHo/wyCQZyE5bucaeUYQw7hkEceEebucEYo0bVgivN3U OGQT4foE+7hB
afjmtWDJ+HZf4QBYwdl+pggwop9bXvr1LN5P1ud/DWEaBgYev/FbH9+4ba6O F54nSWrdi8b5
Ikw83adRS1ZvqkjgFnWaeeeu8GbuTPATahbuzHrtieMb+/gPleNQ9YWYu+xb iU+5AjLg3kyc
ojcO0UV51wSL68djCDsHqSsXu0JIKS3m0+CmdDNVoYK63rYG1GyYif2S5i6t DDHYEc+4MLjG
P8UjDsyqE9darIupmFVGULffag7TI/RhNu6SvcKSKNXyLX+0zMX4IyLa9r2K BVDKXDQbC548
0suNMv44Xm8RuyZGD7RcIu/m3flwp7Bv8DhqRyXBRkbVwxZes6/ZMe5vljmZ g6eWY1FbFYF9
w4s9LaqunvOWErWVvd0sRXi3pOHmftHst6OHtA7wcphg+zIokMN1NzHaLwUM bD4cC5F1YP+E
pSoqbLnX1lhYGBhVDf5aW/qRDUcLBM1JmLwqWIun3li1xXdB9CceKmWMQm69 PyeBfDzljTsV
SPcPQNCXiZcAvrJxI2JlLsT0IFriF9Wai8SwwqL0tc2rsCwuSPosuR4lPvGO y8qaEPWMWHT8
sgrHq1PCxAw25enHy/42bMTJ6PIEWREodYnNTQNeGaI2O5eXaHSBiFhl3Bgi /4+QwtMQ9pDb
ucUFLA6egi88X+NvTE8nnyCBoLeXpks8NEe2Rn2LJ1waTc9q0pAydtetyyU9 BF5/rt8Monny
CjrNsnKIgbgAZYPiGXu5WR1Y/rVvLbrIv6BrqBm1ymrL4WHylGqUtZ9+tzsb fDYJ58gj30d1
0jgrcz49XQdaNOs+QbkDR6UijRumHEkdcWTEEiNzUePG6h8m3u5pjb4bJPPk /wF9Ho7OsK1t
mDXaUakJBSXFkhHQlvhqs8+Qsq95qjtNn57C7+qbTiXJpkKvz6+vJ7td2mhN Khn01SN7ejIV
MjcNOhhZmPQNCGZFWXRAf0eIqRJZE0kiF1aMjXpOa+jRKmqyyx+7LLSSbcti lmAwhBhNesgn
6JEPsqqonef9HVIdHL6bBPz+BNUueKGacj/6UoNaCRhV9CfTsKRwtSmvpbfm NkJIqPgkGShG
DtUGBDLMRgbdGGBKfUJK88VxoEpFxPVksT76ScW4+V6/TqJXh9O3aSJceKDR esuBunwWoz4X
2CTbhnkAZ8D66Z8l6lBWBL7ueBbHoQdTLL+/PuB993SQnqD3GFG64phYD1j4 WrsDtRDC+/J4
YBtyaUGc12bHZVJtg+6wfKRdRa133UhixzZ/KR2XoJwxIEjc1cyt/n0i0hIb 0N13cpX2Lxv8
WglWY3HUOvrhyTD9GWaBwLF98l6DKC/ioCklLF6Ms9vQ3WOps6U3nsrpJ0Zp FQd8DPhlgkyV
GfkiA+HwaINHQsS9AHFU8dcj2iOE3PgymmJ6uqoaVqWlNblGSxeZfRLZHYwK pFK2+YSemH0m
ojvRc/dI8GWayYJMsz+kcM5w7ayo6Ic8MYDyemD/WEO3BV8W7TVmku/+tFRG YefQvW50Dfh1
GXlrvavWg4TsNgtsytuangtn8SgHwRgtr+o0NXU213OCoyYfONIKsJjW6eUG WDQn2YIYY8eO
3HKTKqoYyt34Sn/MMumstvVAywUpc2w5TBy/g3dJ92QidgyK7OVhTRYvEhSr Ny6x3pxelUay
eeDLt3SS38Pbk/xY7ThCRwYg8uQv41BbX+rN40/9sBqoU/MXhk+izGv4QQWO GpPx8hy59rWJ
rKGXidUxNWH/O93KVwo+HvcWc1UI4wVmpfVfhg7MJ2VI+4NlfB9ryDdi9NHL wc1TVv9sK1Qq
z9TPpeW1g7yzx4mgV82Y7p7DsEQPKrZfwRt5PkYvwplaZx3z3FuhXeO8xSbL 71GGS4Yp0/WQ
enoaTcM/ihv0a6qK5ubZFwoAb2L2ReKh4A0WHR6zgLZF/Hag20pqvMucojZ3 K1OkQkwXqs9L
IybAZwPfYtVjFgsIhjhi2hFQCCxAEbVkgISoTDssqj1FYbPjFGMjPa58IPYQ dQx7uqgLd48L
SNZaGt6y0qIAro8SiKB3sHh0WAh+2x1FR1JG7l5WDzgzKhOo3jzm5czeDPj0 VXgV+mOsZr6E
+N1w0Zv7pEjU8MOeQWlb+g9B6j2Audpn2adqPTbGLZ/En6fDkVxZEXDV/3k6 WJB22NKRwkZ8
3qCvCuwo2i8GR+W9Pm6efIWAcbyhbm+VWfdvKCvGnAGDvKFDs56u5YeWZ4g/ 8Y0U6jC19YdU
elAoYn7fDL558hcCqoGXrrozjg8Zk2yxHs6ph50S/MqRjbVkYh6FmI2QiYfX 0nI77EblqSXN
t8NbnnyF1G6rwWNX9qPR50+TvglveZRweOVl1aDXxGbW+GDTz29zSDJcHv7d JO8RbXwDW7wR
vZx/GeZ7Da+7bxcUXo4CObblxxLLKmjN1mgPhT1IVy0lWik/MQo4di6N0rn4 e1eT27ldzzyq
Eqq5wKyNy4IvwDQpPkq5Dudbfc8ZQzYKDPbmR8c0GBNbNw2U0jGlA/V/yYjz 25Yl7E52AF0y
CiFkeM4pmgZgKnS5t0p0xK+3crCjhv1ZdBF8wN94da98C6nGlA6PHCnE/6+6 SrGlYqSAzTn4
y3hbRubC4zkaJYaFzS+Fw9bzJfcBL/Be9ryDbSViT4Zhba9O31u8+m0Bb957 UHtipVW2/sk6
7+HuD/I+jaNvPt/8o426UdHnrgwtha97RLE9oGKabziHibx/+x1wBGfE53ri 15B2AXCvApzd
1l4nV/1l4DHFe0sFdBg0sOM6Z5wCmGepi/INKFEUFBioiw4nVbFkNxND/7ZA ml8zZuUylzoT
XGmhR7u9qYVu+Vt3eB0dIFLG7AlMqb8JaRw2zZXIdtf2GcyydcacdKJLPs4b ywvXHKHLjSOK
8yZ0bL3GXA78yF9ITqN/wQJqpelPmuouJcnCtu24Hr2r4FdOjRQ2zYEBi6Oz AGXvBVSJtIGF
OolWWyFFoWjh+8KwCQeLwtMHgVNbw71CCuew2anxd4IsuCCYY9JyW9yYk+2A zCId5xRlCdag
s5wdkvi29st/d/Cxp8yvuKaDTs4fUIIYkRanWHiEVhyufeKmmPhiTs54Et6H v9GuTPG7/dyq
hjfXWr8bK1avqfoHcjFggGafwR0X3/4Y4I42dat35dRqTVv1rbPfcDVvRLXN BM495rmZHQ2G
A+48ZLpoQoLnI2IuaTr0Orx0pnvwXbuS9DIyr3EcOWcAoLQOU4+x6EN4LzIt TEtK4KOk2I1f
Fb3iWlIxvgKFaSXO5vyYxgTF5ol/e+4BbiP7e+lXy2C7gd0/wStpj4JZbj03 C6xs3fTENMsQ
C/QciLz/XR7uC/uiQ4vS9D8JwobP0EACWtFLdF7dc1nzD2T3Y+ktDecj/Zs+ jaW4urRbtzvi
kHH2k221oV0vcPQt7wX5Mg1tdgt7wX3MmqaVzcbApFo7ylQxNR0PE6QgzXd0 +P1dETfHnNR2
jbMQ086+3vLGWwsfH0FXlFTGGbMMTQs/V0Uzlms0Srh97FU1Qd03a2jgJCgS 7eRvmuu4YvTV
vuXD0cvOuks4KzK6K3HMqEKN6ktzIo/OJRD+lAEL7vkTLDdZhHr2W+cGpxpS V07za3U/Vb1o
yJkOz20v/0UCzATNltz311Vqzg9/2M8ZbTK+CPBIZ7pvrcAYwrXbexpiJ3D7 JBCFeSyAzoV2
/aBmdA5aqGwGMhR0tthhdQKQa1OVzxfs5zGaIECS6zwX15Oqut64btNbLQZn U14Hn4uLit7o
9zt9Qbz2vbov/u8qxfHKvYQNs9YGIBZbWQ/3dutalYihvKdhQC2o5vipMbVt QaCgUwII0UU3
ILa0N2gmT14f/j7KBQA4uv9n+sU8UN4zYDfdHPA7P+50ONrvOJjAdhG0bGTa +MzILuI6ZDa+
7rt9QrTz20sR2Lsv2d3UcfRCsKfwgpa0HvMB6lEuhULCmzmMlJJApIySVFKj SvlV6/VCLpk3
W28cGD2LlzR5GF9eju/FFBTQdAST684kVvh/s8+QUvezA5QuTvCFxe2fWxRj bvbMPGyAzl50
Yjua9A8pN1dGXzJWcHDK3qgMdvhjc+QURts8oa2ylce0E/gs9XIV5mOYHMNA uDCCNdX8y6Ng
ww/mt8MInnyGQqnPLwBWLIAwoPGop6iMMgGfjb4YbPPaIqYJu4fApZzezwwt wqWqNwgvKUYW
EWeQC+Trnb1DY9vhhM+QuzGIXKOMjLPDAvW8ULI4n0BVt9mpU8Dpfgp6xuZE 8aOzBinEU6ES
4M4hC1WL9wwTlMrTQ0Lk2+Gozz5C5Y6MUyGOXguHgVvAGLGspY2Ghj7R3LPn A8o9tzAhRhPz
oVpZlmXhWcb87JQZR/JUtDDDTQ+hhroe+O/4lAyftEmAHeC2+5Nvrozt8PAn t7oZeyHcleqF
vqZh1/W4Y6Q5GcjRqsNvx69gwzqriwEiW1lofHq/D1g89cr9Cp4epx57gsqT kc2tbxastl+H
zPJ2uROVCiD1kZb+KpDMUBLRG9+9w0lFrpnR3B4kVLnDlRSi/VvBt60ALNWE 2cC6LPGWBu3u
izufaYI9vdFnU+wgRre6LOZ9lAnW90WcT7JBX1rRZvAIRTCmtZBXLJpWT4jR UaaNu/WivLI2
fSHUwZCxdJzu6k/6W/ahUoh7adgW6rcW3ali23r28QEOmrkMLebIaroo2W5C bjB9YTyhrKtg
cKllxjp1CThLEbM3ii8g8L5c4wCYGSOOdDVaZf4URiEUehBND/QuGqU3mM2n /0KVKMJ22dXR
3ITiReWIvQYszTg9sre/iGDRuBdz0Iwfdr1gq6WHF7dbzGKAc9f0Rf8/9N+P Y3oSL6yT6a2F
Yr4y3iIfsFZKOpEJBUIywJJVo9RS7wX11PY95/xyx2CsWi+hrTVd82mtKCCi h3VE647mbPbD
rPqUXmKKsZgpZXmXvFAKY6UnrkcWPz4w+ChlDM+1QCouC8niNHofgs72gnf2 k9CmlDnv8yqU
Z3qRDpcJ7nyqxlB/gvmWsyoZbTJcSJfMueb9//UMQLsifbsEq1VoD8nELkUu j2trT3YwYox9
yJpCfeYMuKvFHJLEpCMTLVQHrXX+E9G9vUQbk0rLDD+oZUVDVh7K6T+Bh67x 1OPWuVrPx10s
ONK0n6xZ/dfJ5Nq6QtY/itTZstLvfh5R1Rfz8jmTpdbz4VwQebZLcJSpWi4X 1Pq6Imp8FQmN
tPst9Mp9H2CAbTHbGkWBld2gdtAZnlP2qgXOf5PDGOZ/Jjh7jSbt4YHSID7c y5vpwGQwqbw9
wxyKORlhp4THDOrnNaxYngtmVKTeP78FQDLAy8tvdMDmTVKNWt9Djxp9NvJH C08ok/5rmk/c
eAuPbUsE0lKCWj8Qd1O8rtu0EJFqP1Cf29xeSoYgPBhwV8BujIfNHmZz1D9Y 6nC5KJWA4thB
q1kcRqSvTzzzbwT9fVCIvhU8JzV3UkyOU9S8v8Gt+5D7ZdMrQymrgHmYe+XH GuJQu8412iEH
9TQxJBfw0S24wj5k0WzrbbtuXBWnBs0e7P7vDZq4NNKzyVbatA/Z0S4I3fxa BAnqNQMc652z
bweG15vDLEXlDhN/eOCfafFtkgcPpmKvrPFwxqBr9EDQP/vdVjN+9tfE7wv0 pQFKwCgH/qQX
lGejVs5eM2B3h4FhLlBvFkrxzBS28C9G3tCWqHg3hVu2mtfSmVldTd7el6+K nrbITZhbmm3f
qrxj2lSusvereKRN6lXz56XVSlp2fIUvmdlbU4kP6Ih62ka9DNwleLMrMNFg YOzOZ+WhbyNd
HgOfHhUbo9wbUSlqoGaAgjZpcrdOzdHg9JzpVHtSAGMjsrMAd1pqKwBN6+g0 XGjHBAfsu3Wm
eQPdv9x/w6KgCJrewnWxxWNZLpwLPaqQjoR7CisGSOkxG0Th/bqO4wPvFzCX WGY8JmPti/Zk
ZWuKv0HFUjI0fqjwd55gydVP0dmOUGh8Z+O7mvx1vgGp+kQgzvdFRaN6zkWC 7W96vkocC2CZ
tYAX54fDW9qjednJ295unNACChsAGLnhE0A9/vLnzl0TeOH2H3tBOCwLacC9 t6io3raNXJok
DoiVaGBnWQGRx34cTf+zUTIKOWhRrOXZcJbRwB9lF7UfC6ozAt6poT7zUj8c aNzXNaErJf+D
O/JHYJXOuuxfaLW4cUFnDq6YFR4hRv0pXFfiD1ZSdBTI60IeWHFq9BGhw62n pLgCieYypr4S
5eZKnaoqizoUZ6caOdt6SzDTzhwE7W6gQ4VBdKqCrnc8jZjFcUAaYIgIPfub hM9B8R8E6Zje
Ah4SYwIqza8luq8oHZ+kHpwFi+/eIA9YsooJGSdX9vMJNPJZtqJPQHd2EtaC LVQEj+jqGgqd
WzD6wRDHDh06WcpaNgx2wBoj8cjJDq7q0Dox6ahzsnXxly1FpUDGGsTcRmdt qzkb9dXRTWKy
ekGmqzkEDScLL1CquOxlUAvLb5Zi4g0ugdfDFIXhqPSL4mp3tR5WAOKeoPil cacuGOvzHgTb
r09vubVclkgZ8ZkY1xlWiTZTU9O2dpGlu4i3ofK5NGcSrr6WAzDv2PAPCXVB QXzWP7puJFg6
oEfI87vPCH7fNe6ukOuv+RI6iSJOawl5xTKlkFbeo/5nnt6mwyzo+igPSy98 4Od+1dQe+3B7
5cWHBSbzS9VHIODZILuW+G3Tz5HzqJ9utErfdoiHNvwz9qWMEI2fE3FhLNnS oAPInNP2XlYv
oFhr54rd30ZV+WzWqJZKvovXlRnzfRu3APrLSFwXI82w9NknLyoeMKfKvRMa XqrLjzP8OpXB
KyW5e7TTnqN8iwSf3nL4idLSVeWq3qWreuxZ4PO1MhlqNrO73lgcUWeFzHDi p7ma3SST8DhO
oxwuWRl1+7umBYlvr8eBWFISwYXRyffxVcPXz8xo2emPr4m+/xcw9YQDDolc Y3HjLn6APF7U
COQh/Zs3mP5you5APlZdJRIDUJskMN3E8ZxZs/yJH9JngiR3qtu9BfSq2ZKS 4UssYcsubmUe
GJP4H2ph+XKx7E7+gKaIbA+flPxZR8TLjuDuepUgv7ivod5QLUCPsobh5A6s fEZNv0wlft9o
+Vn11dBs7ez+OO1Dh6KO8OYlLKGcPhiuFw5feJPtIROA+gdaT5q5xcH8PSFH o1mMiCt7w9Gs
lMItt2Rb2f4eim5gbCn3QeFC/vVFAkUttGJyFZls7QXagkjYz0Ir72sjc97t XnGXKZhbpeKf
5TFDlAks9G8phkQW0Z0uPf6c+EIdzxH3+BOTpi5FTsiKDs4N5OjPwsOxyb0F kRCrO2PI6IaR
OVUY2MxYT3qyYM5L1rTiPKz5Mtchlmplpw8w2iE7QSdCB87Qs/80d9f4YIxI /m72m9Y+qbnr
B0Qt7ugcFu9R0WCgaC4XmXEhpU2vrkoOHoJfwo8AbEsbtweIIOCLdG85Zdz1 ewEPXZngsKpw
YpqIIH3uuBvQCLC9R4GHgEtwEdm1BzjypNQ9P1pXenhDNfds9XXlQHVxfC6d Fd+kwadIrHGm
gY0uCvot3IBNeJOOixb4jrN6APmQVobHVSQKNdEz7MAM9O8HIP0wvWkXWsa/ 1sACjhDN4nsW
lZwBXZNEMhzNrAUM8n1cCrW7kzeoQ96W/CnoicpIll61lZqZWOlRts0HlowD e9QehcjOCqYv
L1Kb8uibs9z+UPb7novm19R6l/ekkTiByv8IO63MfRSQPzGzazgp0DeMtDu+ PuhyYHNbHaWW
ned0DWMPuUJcUk81h9kcZ4eiPcoKEc8o8x/0PPJui1ujaNkcg6F/2D3RccLx zaxfCst5s/dh
a44KEe9sl++zkPmo8bHIDxzZ3H/Fj16D3QuV802PHhW1kAoasZD7hHF6AZwG U2/JdihvxUl9
2kxRW9X3ciyPVkRWW3NX2tMd2v1Rq+qOViTox5fvXzBxSjoGI/EvVSswFwUt EcFJMjOVP28t
k8Rl1z1dP09q+/w7DvDXx/OY2jRZslpr4KMFY5feUZ4CilS3MvBBmwauJA8+ ijHb9CsoxnOI
332UHlOSsdBnpOIyC63HSKyQs5g2czn1/GE8CF6XHScqU4awJQGvoWGGDZh2 e6bOr+jOZKjt
gi1m1zsNfpK5CX6TYG0xYbkMpaOvzND1hr9Hs+9eUswP263J8ZyqNMyVJ9S3 3Xr7t/aj1f/7
L//Ql+5YfTF6X7NvV9lataoGQjyzILLfvSN203kZNmrcf64mtl3es+h8BJVQ jyhWWaXhprJ7
xO4QsyZbd2iEpQhA7uh47FAsVWR1VNrRszpYt9TGHdR+CNg+cUe0W1ecc4Hl 5edxXuzEdc9c
bH/u+8a7uOWV+Q/fvkK9MmCW95CvOTSvlOVXALt5WN7r7OKXmv2bUV9LG8A9 R5qMN/IsmqVm
YUz6UbRMpM9zxoT1Vez6CcX6IHu2ueug3ud7xHgHk3WuR9cT7e6O3u2W5kOz 5Cas1Nx2MEVS
ico2xGzyop6vDvSFr3YOEPQn+w4pAIDayADA97Ldxw4LMMCWb/QYrbfDLZ57 UKhe64yBX2kx
5H5M8pznSMOgdJU9sqzja+qA96qRhrNpkMam4uwIYWHZFYg4Gtwp1DmepcnD 7I1f8hsqGkbC
e/nrGqQuKfYXAqjnFSt5cgqlFMSf9YzyV1cSZWUWnqfJwwouXoW87jiZ40LI 0co5fexQLxf2
r286Gd2d2+htAVN6c9s0SHn1fiQDo4vXIORMT/3goV7dRCRTtE8GyFCYdWG8 b/SuF4zSStn9
mhlaPpizE/2ZKwbuL4y3mx5Vr9jWPflXlYGH8KVUvpz8qRdGWS3p3rTsqVYn geUIp8lumPmd
XldHyTK2X05aBdHl+kngy/F01Or3v1a3fyU4LpihSmj9GflMHotsSli7+0ZS sWerLucyK9r1
rKWRNnT4BR4WJjucHL8upmWuyJc2Qjoqch8cWFcsQbSui3dUtSCEmgPFAlmh 3JjFoLky1CU7
UTxiXx5EahiCZnHnPevRpn0cjuCNK2APZBFuVlNKYZW2s4EUGnNtfIH3S1Ho aO18jvNJ5z0V
HhsNdSbxb4KLvFcDvDKh3seBw9pwAJoH5Srw1nsqxx41nFAWL7ezAOUpV6K4 cWn1hYteJDVO
pDP3ADMzHS5qzsBiV27tyw7SZHtcCKAN7M525NEG6FUFZZlm7WOf3gZqEkau V2yDJB7UwEHM
scrdAHiyRb3hAOtkyLI2vLyxj+7C1bgugF11L1btkzTtsAMY3MuX0Ne5OKRf EfG1BA+jPQtz
r7OvaB6pxuCmq6gKDvvW62YsPybMzrUgehPVybWlSw/N/hmVN3hu8VeVs9lh qzUrp2ltNtm1
CWJveb0trLs6pMTu8i8Mt1tiFXNt4CL9llfjbwjBUJfUnOFUQAt6RzTYFrpZ jqko9WGGPoWE
JtqgDbqHD1FJVrI26hXL+HK4e73BobqX22wa4HrSDWaBQU0vmKKL7Xd6GlqK DNQQabU0GhAg
wnrapnGjZ1/TvBEIlcpX1XmNIBUsxSDuKZcTm3qxdihd62CNDmEjAxvaLHFZ 5oIEonPeDH9i
uftlzdzEHvS40QLD4BQdBofARoq1NlT1oezaRttHs4d+jaCCd6h7YEP8LGIJ 80n2wL6E5si7
Dz4RvVdPsqGsnJgsus8Ckz2v48eF/kFVHwb7aRZXRz2vv6EEmLK+s9cFDXfa /NheuECn1xO1
RiNdNfwKw5isrz3ObxI/aLmoYd5NRPRqAMomGslQ9cBzOe2CXsbE6rlWhhAT uPrRO1Xya57Y
VsWzvbCv1XFPop2Mzx3a6LXYBXidi6Q7uaT8D1mAuQ21aROrDkUFvU6ubPiT 2MZd9UQhhU0I
XVlOY2KhAexCY8LX8h+gaovBrczvqmnPboJRehI9gZou0WsYDzdz/AQNR6p3 nQzeNKgPsj8O
sj3ouOlCxFfzL3Ys6lrJD1tmglq/NrVCwraiVglzTXyeav5+RKP060I9yZRU c0fka6c3P5CH
Lhdi9qOQdyhBMS+soby+PyUq2Mg6QDrkZbW079qmJdVWA/49m5GNQ7vd166c +HAH4LqefUDV
59Pge/6WuDTrKfsaNFbw0MafUKRZEFjDkxJBjX5vtQRzE3cIJRBW4tCPbWIm UvSor3BYGFiD
GfhqMUPX5wR8wLEdUjV4iP5GKYVExEGX7WImEt55lQMkAEvbrfG/VkU274Lr PbZRTPQ2uXwr
IA28G+231QRCAu6CVnGv9u6Vh2shbB2Ip9506Vpgw8jgbfOsg7DLHGjLF5dt u4sQLhBD2x/v
dh7T/P3i5x29yVRAmXfsQcBcuVfvISuuSc74t6/55vnGaWEm0+7TuVV/jMp8 5pG7QnBZqnjg
OoR21/5lhG6lvpooGQvfxnIBBx6WPAGc2C92xcLG85naotsxB8t14yE7ElZJ u65UHMqto745
bHlhFlnXSyfQJBzO9m5Q241rPqFQUOK4M5uQdj5PFjhdSm4bc7to/2907C5D s+QgYgLlw9DG
E0PAnASN9uiF8tZnvr+FGwgOZFIXlUdAp+nhxVvhpU8+QuAkvlIxyuAt3Y/Q DPFqtBJ5SzYd
wnlB+43ti01blQC72fGCqR7swWP4qjIbC31bAt8N1nnydTTjmYhbs4ArWtSu goGw/yboFq90
B6ndANvhsk89t0uWUukPSjf1KeT2Rya2ZPa9uCzhbZhOSNmX7Yuw4lfXswij uguKPd1ey/qv
2cbsUgUe8yLwBrbQHqsAPWTHp+GOYYkbePROz4l+VzKP59voiof0RvKkL6Rv rq0QOqWuygx3
GmRXAMakkWHgzsRC9wU4f/p3UmcMiJf0C5sgbqJlM5nA+IQ+ADiScClNeL9F z4Y8LsvRVIFn
PezWcZCzw7FUiBdEojiFoFWYe2hbo2Y3+FxDrFDNnKrn9y2nMS90kCi4q90o Ab1Vg3g/vDfe
e4PUj5hUm9nOP7x7aLO++WhphqfzggD4M8LJbpyBgxccZhhJ0E8J3W9fxYkF xHzr6YeaCtBd
kvRdXF+/HpTd+48etMr/xWXNPAuKd4GUye4Actf6e/Zfkup2BZ67Lsalasud ed0BGDAfrR8n
DF+OVaNyXOtK/3DNaTOXGi3OZBO+zY31vbaXucUj/Srk44LSAH14pLRoI57U ep2T0dl/olBn
IfnaBS3qEE7ESsyzIlUFl0pnhyKUIPcY5yETRJmHZl40un4Y6AZ5349IsT2/ QENvTiUs3yh1
HCnJpNWdY8tJgIhnQchYDs89e8KnSjaQKB36otORVCOnMSZACGcqO7HZw4nM FIK7iXHdizxt
mofY89OE46gom3qP47ImfS97DgrkuZ7/458oM2Buzpt8ZI/VS7KBu66O1Tnw 32+5RJz1XAl2
v+g1TR4jrWD589cyvc7IcrZ1LYefPu9seAD+wPQZZP1TTC9h0qPEjhssplVE EZdbd40KJnDh
aReBWKHoK1LuWtqBKQlJE7Tzl/Cv8voHmP3YPi3hGVQZFiKj0HgTIEt8Hgaj POS0nqQt3EGb
D1L2t1hiS4l89jUf0maTMURzK3BMP+Z/gSYnyno1eAK43i0CJKF6DPC8NJUG D8ARxve2rR6W
OVAadJo/C7PMR6vMbeEjvNwr5otSFKHmfjuvuxL/OmKudCrKQRa2zbG4NayG yAhdLw83c46G
7kFcVPmQwm7VD1ZNN4s6/NjcyG9PMeWR7XpKv9xftEn2sp6PIuGo2hviZ7Wd 75RsbqXmU7vF
tJn9C1Tjg4pc+gUPYHMhY15ndxS4v1y6/7V+pbkeHEAIxR+XUjO4b02o5iBm 3ZgzQXNTCu1V
U0DXNIYXPXv5pK2qmyMXoNaNJ4oFel2lKeutgprHj2qJHk0LvbJVNs1VDHp1 aMT76s/vCsj4
aisPF7dbSo5F4nM/woegAGvGCCd5oEiKmvuLtveAMJkOz22NAAN9HTTfbctZ 2rDQIt6t7v1Z
Pjfp6Lere6T5OtvVvc58jklm+9ZPQsJnUh9mc5sch6f9z8T1DPY/V1pBm1H+ oG4Ynrd7zcNv
36bmU7ZxaQsews3eaey1mQKRUY54h+buvpxqu0WeIcXAqzCocS6kbvU1Eyii 7iwqfUmaoD2c
UjMshHtaliqRSRMqG7ZSaLzweAld/Cy2AxoFG0zVgQ7wpl3KPEYiT1jQxUEn FI9IsUOwGTfE
RcHWsIGwlxOpNRwEiIyn750mQ7twJY6TUdRntI7zeamJcR1KQAj983hTFqPh oDr/wluWYbhp
e4Xpfu7XHcyMIe2oSu/a3vNq8L6Vjx8jKz5vCkQBpJlRkb93La0iR33dWcId o2ufxe2HryFb
wFE2PAj2aKvtBtx9iFNrzKiz6dZEP7CR5c7XpalskMV0Z5nMyHKLyibvVQN/ M0LikgNY/n/R
kPHuFuu8Z/DUE9qM1RPv6THl3hMONUVgm581yHfSy5ql0iC4C98aTgBvqIk7 9YeGPs6btb2l
o1riLDepeAHw649vrp1nnyFPUZ39cNegDNDpM/dHNTUl20vQCC1OO5kSNkPQ CRhx9U/oBObT
kQ1e0k7Bx7lvgV0aWr3txQA2TCzZXAo1RfSMFM1oaM8OSB7MTbS67XsOT6DZ POR2ZZtaUtgh
xvDZL1Gc16oTj6IvWwe25EYNA3g4d9xYHdgwreL7cGUm7F6oI4BvoJ+j3XqQ PxZrt0hukWp3
dzJ2vZgSm9es0wYDe3FL09OpcQkxndb30HJwaRk8S5QbenJlmtkiiDNE3s4h ENLVMn+Hhmn7
MraafMcoz0O2WQuDncUeITITyOMakoLY4qFxCX2vdnyRBqqENtTy1qYARvEV yGQNeUKHRz+l
1+W3bL6yjaSlbZF3VjKlgUS9JjGtPR8kKo47wgBwYWvKB1sAnTP6LElcDGMp dNQBkYS9VFJI
eHs9xWb1hmtnnb1l99A29zU4NRkpfb+HMyaWXWAvnx7hzpXH21ZGIagBFLKv iP1Zn4nH4bns
qwSJ/JXZvcWE3PAetc4MclEgrRf4BI8S9EWCIEJyuEfxx0mEbPwrqgLwFv0D iBH1IRZHlvEt
BzZ/g0GVFt5Sxah355Wc0j0cYnYsOPNnhvvWxVf4PkB92w2ZuxJSn0JF8Jwi jP/Z4tgciQRh
wNfxp/fWYzBJKp1jG68YTh2GdMhLGfsV3L1z+NlEcoE08TzSZ24ZFYLEIKRq Oo3oigsD3hoG
5j0rsPA72NEYKESPv2raT3gEqX4vliCPVIxyBIm3mnosYl+M81I9wWRPnjtb TqiA0kSUfbpb
k4L9v7S+z8+HLa9VgfnSc0hiKX7paPvFtAp1Z7mQvb/Qt9dIc8+QTb3CLmSx 0aLK3uEYJ557
e6j1Mhq19Alb3UerPkO5Hzw/puR09EFm92mzbf3Ekctd3cLbHEk9vcZm5HWe Jr6b9MtTI1tG
an280paLlJoK/aM+zg3J3C0eI6Gcq9Z2yO7hxHnvEOFXdq9TZAOj1fsC7gvv K7gd8hw9LeFr
plqX5OmO/l64eiHw7iKCc5U3hAhsKB0bye/YbrRhjIng6HUMTu8wzW3tRFK8 YU82Nu+SIkwS
5Rv6RWAFS1eTqNihfO+bzIeLosIPyTcJdiS895CfoS6AU5ROcBo8uMl3A1CH iYSi/HsPQKbx
whU10MUlA2uVuVR5OzsiIQYcWwsSIK6HgPR0MwMRHqnOlo5zhJNJt7o5QyHZ +H75o1JD6Ajn
KjrYoLqa2IIZ0IzM0/m0Dw5EaVmgRY4l96jkSXFbCVA4mkwMWV7Qqqt1dXZg Frrus+3jsJpU
8B/oMYP5lx8tqM3vkguyzPco8nc0SfG7Ye3Ezm7xYlq1WOQmuFmeNGvgdxhx GAV1EgerTW3O
clXaZDyNmBPVRHLkLpcQj2UbTusad3Io64+2qYNjTYgeA/xsu3+6hhkqZtUG a5KINauwYOt9
eBWSgcmlvrwHnnnnyaA5dCdWHdWU1uUwyjS/WPnPtrCsgUhRllmL9AV9S9Eh p1bcwquI96or
UlHlAuF6ceS9YVRQGGoCt9+xdeA9lYWa7H16YT3zAgcxJULeWSx+iZOs1im8 9T66VpKnLFBR
XelxxMxR36vBbT+XdkJW7FUP8PSKSsGVRVsEl+WqrjpTJEPIrBLhVPTxlwYB 1nQMfGK/mdkD
1sfmRrltyHvenARxhN/ei+EeC5xUXEQTP9KyGMPTnRvLzMcXxzSRweOXeJgo qN3pD3lVJjWA
tHP3AdY6m79aETYhjVZz2eUIN3UZlMGKGCtmcaVeNyb6Xn3GP5MMKNwOUeOP bcDqz+ZjVOOL
i4klkQrMvB40mUOWinixpkufJGackCVRL5VsU6dlAEbtKduckro1POrFPOtY ktOKe9P59uMp
97rKR+73vhlQGkBc1TLVoxivKilEs7dB9++7Ud+invideItF/c5US7iP8is7 YzNpQKduDWvD
/T30nW9/0obzRq0p34rrXbZ9GPIuMV3nwjvyqt4fazrLespzMh2fIPBSGXlV YDsfLew2fxyu
I3/PjlEcSmwfPuOIPPxKX2ZgrLGG/ePzkOn0A2hREGzEYlTEmfP78i+9K+g4 jwXNnqrwLdF/
Hmze/vuhAyj8viz6Dgwj6+Il8kbfDsp58gi9JJ18ubDlm9wk3LlUSjlMo6bO DvPXCHWOcUBo
POQHS5eIp4lQD7Myo9xTjroqUdfFAHYevwLIbovDtlDt1Ie/P1NYggl/4KAx DqXvvOFS+it8
OxnnyEQUca5V+y13Z9aB7twio/eM5NnjDcrw6Su9ndQR/scvWfdYbj9h3XNx QNwhHHhqDrjg
YbLLt6sWJb4cHPkDaq0haJIRGoqnrmKb9KXG0OMPIHar0FqGV9KzOERsEFnV DDG/Wf9EbzPG
RAeEq93GQ57HI53uS0qXCFnfyFlUvb04zIQQvm8H5g6ry17sCZHOj1/T8t1g qFCUsA7qkA0p
rKeULieQp8gW/7S24cFUEnOjmhIinY9txr3vEPrL9nJQPSLEhhX/NwEm7cTT u1Vckv2CYWoG
LqyFnHQVziWzZ5ijQ6Rk80P8vYT2NKxyf3J1POrb1iqFk+swJELjvuR+6Bic o71jKv61O9dO
68eBmZBtDdI6c67zRfkJBKKp/MVbRFHp/Skzob14K4O3o3vvY8IGiUbeP0tR gFPDCbjRCwyE
fUPJg/L4Vi8B4ekMzPFwMX6HPGf83gqjLjRh2xYmZ1S+89wGnBu65V6BpbCN dh3K1zOJnqQC
Ks0uaOY/DTTZcJxa0COW+vpnIdnyDeEdASFNoBDFYDWiS1oJ0LrJj9RV+Igr 2UunRTAHHXII
6uidMlHUgUexAdEOxAeqoaG5dvTRct8PCnyDcA6fvOUcnleAx4J+JllDTBrg 4TsU30oHRjfC
orbqFwGmsQGjuX+Xa5GTwesPobfUojSyvlz64v4i5PrW5CPnU6Q/Nb4bVPPk ElWPrPbkaTo0
aZNcaAlaQsKSvHOhyAMEojqdKrfze9McNb1QoS3w1efIR+70+jUdUaNbVp9m T3qodXJvp45v
qZ+l5bAm4DSG2Av2n0s355iWtHHimvjzFll6L0WXgwrwr6SIBn1ccQfoC1Rr pEWPARffjfWh
V10zhc3ekSJjeoPk5M6531ZK6pghri9sdsjarhyAI6pan+GZP3kd2ksAgXrp nL/jwvdYS803
7F5vMzsVO3F5i+wHjX/3mr8x7ShjQL6T15JPqV/xmGZ+O0QAWE7J4ynlurbG gspzM/2P1TjK
G3srifEeOJPe8XFw+HJb31F6MlGN0Yzr/qLvuOfpPqLsh5DC33sRhQ/fJycV muOfTOJAvlQ3
F1H+EFLYl8nUsp2emc6h6i4iRdeemj6mnyPpzqdUXoLZxOsBORoTakLqOSZP i1bTnDMMV/9k
0FMZ31kchC1QGPwcQT9R9Zmou4dlNH5ORru7w58XNgcH6L4WbODSPqKV27F9 5mZgs3GRSS+b
o3ne/bqlKy758BXZ8pDxBMy1XraWTqhOvR1u8k7SgRjXWiB8s1HQli3f1VcT 41BN6sVz1D9Q
rIzkDoAeWaEJGgiNyhg1UQvXwCjhs2u7CjrpvR735KNa5kI2FGNpvuIi1gjq AyBBK+QQVzY1
6oz2bIwDCC5G/PX9TP0FBmQTEe2WcjVjXb07dMl1bK/nDttPpc6dsx9HoTtf Lpy90thXGzUv
XvCSsXLy89EA8t4KJnfUoG9K81vTrG1deVrSfU5U2NzQfkOlU1mst3TbaX3M 7WJHFO3eZ71O
aru5AhoMpOufhHEHfjD5Rx6jZ/euc6aVnPcflUWTd1RH9qAVB0A15ZDK8p8E 8EL70eWrt5ok
fcpkFisx0Tfh9nO9b1AI+Q7PbRC/JIT0tCNyDy9aF5N3Dd0IXat8N7nnyHSR ORakb8fmWmDg
djjgHUWd2+HBzz5Do3LDwAt61+TCpK1YJdNzJM9ZG0jzcP2+gn+vFLDqipoA 52aNH7cjEOfB
POIegWabLOK+6XzUvYMdFvb2+HCTz5BFRuBCnuKjeBaH+Abr5m3yscu39ZJ7 TblQbZMC6VFN
ZFpuqL60dkkeqzcJsVwY2eq6b9u/ugW6j9AreD+ZiDv9P5mFmuRszb5vt6c6 OSiYF2vnOWbk
6wc4qQmhM/N85zTeXOnOPDcbU71V4AOckqtVpR6Fw5/uqHR9X+CSqYWclnf0 lFsCVzZW1u85
AIR/kUlZfHg3OtF/h0t2lgk8MbR9eyxjvNmj+U6Zvbh9fs++xGB2GyqJ8BiZ xlA18HwPpR0g
imYaR/YcpYWLSllPZKVAyiLTKc2U1x0oTluALKGPvePNckpItPAC1Q7wiJj2 oG9J/Y+50Jz3
F1HIfT1+uO2szyYfpCAEC7Zo5imGjxqS4oDe90Ur7es3oljb5+7nCqcrkTPZ yaXqQyT2bvCp
CM2Eebsf28NS8T4AO76bPH+PUT+3KKit5fhgK6imv8jly0BLdqxLWMf/dsz+ /4Iz2sKJCoy7
flXkrZAtunsRCOdPghUqqaon6bSV5+DOkP69451ZwM1OdlppaQs/+F4ZdV33 82iQCrLLvFtg
WuLGpN3cDXBwCb4nPbzSX+MntFLdhBeULHKv9eqceDua2zqqx/YW+tkFHXMi 9bIf7MlKyzwm
80MdKXHWWq3l8qSOqfMzSIUWPQM+nR20YH1uU1/mRJfMEO9uIzW/yXwWgqCM txKdlzKw106N
u9gwQ9LmHXGD3OKltDlGSVUPMB+vSAfJZOmkmWoDs0gdD/zsX3DF/FBXM2K0 paMttg35M67n
49mPpw5LFqS8ix+Na7ZGbAaWvnGR4abHCrqpGZBeEOt3binvCYBFu5CvDnWP 7ZHS0kF1vIgw
b5pFgQh4+OYSXK9sGCf10s1eN2wVYOTMF3/xNY0PYqfeD+xTdmgVIoHLrJga BVT1gil8YYmy
LCWp4nxLE9XYnDwHGupox/pJBqeQzesOBfzJ2bNm+331xuMnAgcdesWA1bBI WOABcNuTHxsD
SlLzmvsilNF+O6ODJrb3FNOT1tAs0GKbUdTncU4o6c9cW7GCsyw8llEmC73m i9FI57MU3x34
GmHmkbzMpmIiylBoFMZak4BZSO3as3mOaKOf4QxCjB/F/Pmm3pYbeZpLjSp4 Q/39y4UKgbzJ
i591nwDDcoZs+678YpUKVvVNvUTb3Fw08+T29GHF+nLNJ0g8HL09keKzv4Yb Ig8TiycO8MrI
vIQIHxieE/wPCDBmlwEAIsE+jWQfAetuRfIu+8oMEb1W9OveefIUVmXNwaNj DxPLVlaH8tA+
jy8g9eU/PPPVq2OIkrhCtjEremQx5d7O7LrYEAc8KbVLfDTp57a1rLK5A8Sy tm0DtO4ZYA1b
X61nAHMfA/PPkHmYqPKjMeKzmZbTTErX4+5mWEbCkkUMTQLq3qFa2JUUI+pQ qJP/sXBxQNAQ
cDocMuc+00iSNHW0SCXb1DGFvh1M+QaaWnm38hZ7ZCVPxNKkt4mC/jw9fVhm L0ezFGB70me2
6cbq8Rp2uH+KMoxlAbnHh/l6/P42LoarYySCNxD/+K1bvn872m4vQ0A6VXTn uxIwm09e+lwe
ncBZusnuO3IPEC6qJ57uy7x+goX/HyEn7rrYgVfqdxU8X0fDf6LeqvpW+oWZ 8g9jXwjgb1nj
EKZIM/aOis2oyU90Z5y3Xq7Q9Z7E8pgITSpJuhKcP3juihTEdxiQNoblThzM XQ/TePlvVXxL
fDdZ7eox7yPFFfPqSMf7vDiMgOA8USifk+n4ohewapIkCOh/ZI638PCEEBzR Yn11CTXUWGhw
WdLT0ciNKUlO1vSUgKBSEa6846osSPSvNNnLU7KJvhhnp2QSqYaJb4nWcezu +OeZD6e9hpFk
JLNoRXWfWbZiFQxCX7a8kk9rgfjP62MD8Ni5u7bklFcoRkA48bAt0vhOfwcQ et/Q00EmDP6F
Sgi28vSW/SQbYCfCfrBl9C2kTTwvQElcMeFm/zmGa3rMPWsw+JLMtXjJiKZH syVCeZjrB/d4
CcM1NbjuN6Ay2XNYgG3ntjHUnzH6szn+YnYWv9b5nX2Ykeh7SLYVLD2Y3OYy gXb0Onc6QVcU
S9l5OzTOT2rc3Bbe1gju3gWCNZygsaIDYRl0+apSSEFS8CcoO6zfttkGR5fJ Z9gAa8gAcYOt
1veBJZXtWL0r9/5D6SFd4arOnHEyKdACL7DmTSzBjh3d8dxRMZdcQ2fROPO4 vOWfrRdmex7D
VrH8LIr1mvy391/8slFspC1LfX/Ei0Ij+59dd4wN4Gmb/artO2i7jTkA41In B0kTDdeMTIlh
AjVxK3S8pZ/pfgWfhC5/CdLLgrq23PLKFIx71L0MWh74yrKDatTJ+spftgya h6ZzH0h+uasj
XkGX9H1w9AWNQYP8ILziLDmfq706KD0H+tAVrTfxmvvNxKnC0bUgNGGuWGmb J9ZuKXAlaag1
FNx1McI/nTPHutc/hWxEE9kjf07/AJMj1GSEUDonOlM2ZOIomhS0tKXJk9V+ CF0UI2dxfe4z
u4Tn4GvbwBmkZyZe/1WtB+IPkl7Xo+2TvFxD/VYOP7RR9aXEzriH6Rg5vd+g r8oMI5CXZWyb
HhfahXgz4RGzF57kPCoo+GvBBbVXHwE+WW3weTjmjR1W5btL13P0IWp2l736 luPN/b7669f6
H3t9kinsmdsSW7q4LA/cjvUNKatafrf39Dbcejk90lp0AxHp0ccCMoq0R1Vp VBtP9tpXvgcs
drfL1tTliW6TeTkFoUc7p30ARV1+MC+XeuYcLCXOLA89z+7hmjIBrccohTUY 1D0vJVgO4L9f
IrdOxOg2GaB/db5z40MHqhSqc31GCHGocp8ZcORm+BMFX2R6jG9x1isNxQe/ d5Ec0XroL3yB
Q5UUWFNcvm7mcjoF7SkyWoA5n8PSF4DKKKc3S6rI39LdHoGDL7IdWbvv3ioy AjrWlrK5mHUM
PH2Ns34rXWofDHJoap/h1TNqc0v4cnOI9LNUkHfIBMAShvv+wslTtMTKWcBb 3KtTRzgBZWag
vxCYAvWvk0y8zVz8ebuYuuMnkk+rm/sC+t6vwHkOz290HD8reECFZwZOFIFd f4/7HMi2lW+F
2Tz5Dg/35L2dz01PkoqnVzWeLDw2JEWG5HK8bHg2xo5XebO3DJr63wx2efIX I8OuAP1+mehJ
6EKNkkherF/jWZ00dsDjwK+tZKkwMYBE2+GNzz5Cwf0MDiTWNTZi2cmj/uUR 1129TZ/EMOnz
hjbPRYXaFa35Pef8hCq64gPNWGZpNWos3316130l3f2K/obpZcCjrP1pndB0 KjK/7tH6df5H
CIfBD3X0Dte4DW+2hj6G7faiGgGKGAWfH4wxs5SKA3UF3Pcosmj+IHMjrG1W 8KtYCd9hXDvw
PzWlSaDvo/BPA4EW3fJyMvnkXuVMfrpvdIzjM2RrZAXIkv/koyVOg2g/0B01 snoaAdHYz3vy
423yzJNMV5iRGZqV/u8ptq2KECnnTJrPn8IKk9VSBqgrzFvCEDtpsD6T8AWo DC3+RYJl28OM
uhKR4gwFXS8O0AvY48X4onaHkjrNuhBC/v7kYCTUR/PBfvdGoutl3WQWbYv7 rpGSKjbrfgXk
u9eRIthugGfZ7lfKMvPggNGwcZdxUDl13hNsPlRq9g32/11hsoCHhcT16n/A 6vW5lvqvNGj7
4P4/qoTT6NV7jCINrLzkcKptyrEY6Yo+tY0M+RKvjwu/3vIQmEDC4ItlrJu3 GDdodxktKelB
roMBHmqIB9icPirvnK3wsrJ9QmNPRMaYTtMWy3rGsPELcgY8QBudVi7Y8V4f /CVwFamdpF32
zZdT9SN9wY+U4TLOpPq44pUdP2j+cxZ9lH5VW7iu97D9avQnkYfQhGbg+3kl HOgFLLSddawf
NZGs2Dg4Q/1D85P6cJm7pNwk48w7lRrPn+mbo9dSxSCgcLdxfrayl6nanEFp HHevPbgUj3Yb
6eJ/45q3/hy2Fatz3vfjtfp/x+Mjs5tUNH0kDXlO7yxojdGYN/9ZHjtLryF8 y8Z4Ux7RMsT7
OBpYFrBYNN40w6lma5KjdeJOjH6YC2YuqOaulvc0/sl+KQOo6a1dHprNqWms VWab8w2gAv9v
/hJAuGo1RxEWsPFzqkorjmXOYWmxIBClhEwUzIUeqzrxNcU8JIR4LyPlNTDv jOeYWDQGpqgx
4aGm2BU6G/fPsRwIFeG23rrUydY9IOh9DNYqP0QdY9dvVwKNLnswkQp6lPfc cDeCfJsFE3Zf
fttE22xwnnFQUn5Vbe5tq5DuS5sXu55eAchY1ch0B9fI6Zizvby+kSI9kCF1 XBG5oAWo6Osm
I+3iuRW9yacyHZ7WX941TbKYNcEoglq/66OB2Bwft92eGWr0EBpiM5G/yQit iJot+AHx0Sz9
XXYzI5kaUZy0FnFj/2j3j6VrQyBWpx4w5A7N8ebpoB60cLZH5U9fIK/vH1tv EJYjXkIQx6xs
2LriK8E0xw7e5Z4W+oU58gps/kKFEyLhwHpprMqwt9X2sWvN2F+gKbq3sz/L UVBz6A963wzC
efIIYXDuCCFwzxOgQt3EZ0JzI0obyy7ujwqHvvIqGqYXEeXW+Gbzz2kYdGqr MYCSeARmmcGN
AM+P+oBt/SY7nRmJfnx/6/252L6WMelPxqfS31upt8NAnyCVWnYDHpsIuEi6 ZTKjLQalVBX8
UseDugW3Zl+OF9VUbYQ8K8eVb0P155+Mpz05MqZdcA/pbXlNhxofivSxnYaN GjqcqGNN+Oh2
N36lhWQlZz8sB0JjxD6N6GxI33yTZYSOTQ34jG251NDl301xtmBe8MZg6MDX t7mDfb1fPCq6
mwti6mu9ZXzuRn26+djGdXzhb3NE7LLT6mnvJybMzHW2HxxZNawo3S4+Z3i5 00CKhoiK76xx
pEp/8wJ7K99Co1XYs9V5nDpyg1e/ybv3zVqar72+AQyNNivhAIuVpOiA7nfu aeRnbheyQSrA
BmktU9cgKj0W+AChRVQgEHLZ9dewPQ9utgdycC4oybVxH+IB7B3UxphVgBLV NVgNvhImTq9F
pSAcPSyEhdtdCZiX+T7h3AbNxvc7u9swpr97JXmme1a0VtXtKOCRD/in4UO7 kH+HMkueIodb
CTIjXurODUMeL0i64Oj0CM0vdck1dykFcxw8X1eBr6LE6opRskZqh9t95yuj KkWpyqM1cOCH
hl4TNxl/PW+GERF8i54h9rVLxKE/P0U52jIO1Cgtna2xUp9C2NrjouuxcD0k E2h+eqxsHrP6
B6a+1f5bzB+PMHCYFjYD8yYiODPC7enKPHGcKVIuaJy7vRRBH9MWsD1LoI1g 3PP/ZrN7dhAA
9mlaEXK8o5HNBMaLWakkhcG6CZPUaAx9Lz4I3uzlZa28FYiEAli2l7TsLsre Nn91wBz+PVSs
eU+NfbrixmJ4mIjLTAE2SDsiPkOqPLVjObgfU/31gEz5cxv5nPGvmCntUFBy zIjARrVkc9p/
RBz2dOuSkx3/FFnSvcd+eB9LM2kKorH8+lc0NqhnJMWaqpNT1fc2pagoDCYi njTt3NzJD5ZA
Mf35X35CXbALPkYLa8tEOaNsylAMqM+aGZoqlAXgQID9YG13jAB3YA5wED/+ suOgD8dIE0ID
tjmMIRvq4owQggqi1XCBGqCjtzxR377Qg0MhH0oNlY7Y1V5e3Pq3cGqsyECx B/fDQweW+e8u
+4JFCuONlID+mjgfbRuhjMipLe9c2czP5TnDS7Fhbzi9Xg7CX4QGYYpDKkw7 gsFmwOg+AOFq
bwPsGfehe4yaWZ26EspZUvS3gskxkojEDn4IajxR/j99NyBVxhbRuPi1YjaJ ozKgte4h41kp
ppVNwpZmvmr3AGb8B9i/bXtHB0AuF7gHRJfwUWLcAOut6K3R6/oGB5Wy2B3e /LA7Sz7Xu+lK
R1H26ya1R8RnifixHaY/o+FuI/AWA+UQeI9BsLuPDl1KfPk/miT+HgCKmhig X94JWeNYTREk
vhaAh3PkCwRtY0uet1jSb8doOFZUoA8H9neFHRtLb3AH88+QQA8Hg4aQFErp Q0dXYUBoyvjh
jRR+iGNEt6x+Kt8NDnyANol4Kp3wnXdaaEWyQzAqDCIxpDhgTu+mEzrqdONm FnTRqN9bxR4r
oSpsuk7A1F2N8ErePz2HeQ6Miq4FtDVEooqDFRcHa/uANKfqQ/96CGKitSUd PgAlLxfNJwTx
Mal/qRqM57VpxxcIVruny/yclt2EjGB1hH7C18XwL9oe/tUcpFxzCSHqtwix JHb30ANsh2fI
UQwNhAcrZwZ4TAr5tDJqIzv49kMImV/pmuhsDNnV2886Nmt6u2Nb4bXPbDRB DwFWo/VgRujD
pvG9XHhWDydda7YfGi8WRqxIlAOfADL3R7cuek1uJOiDwvvhDfQG8xM9W1dc Bz+3z9/fVb1f
GC3w5mfIPQKF5ViEuC2ynK/FoI59mjc5H9ijazRF6IDMMvSBxUUTw2w8g/8f 08fjJ9SmylP0
hohax/U/z+YSduZGgltTMWvwgSy9oOAf/XE3XkgjH7tvchQLfDzJ7W6Y17QV 2YPJ8tFdb8yz
4FeLyywfPK2txMsh6vCZT9vhzM+U+sQlldq/FoI58UElmYI+wa7UDxZW1wGy 2Uoc5di/6yn7
fD0J58imh0y0NduX5XnK7k5XTQrfunFsU3jqNdi8+irsf05D9vhyU+Qfz+7D mJktCOQLynbI
44nht8OMnnn1zUl4pUMrlI7hrP4flgDRC/n0tvPHl6xVRhu6mbzdmMth4hun xCMdFKOqHmNd
e1pyo1+zBBh3rbe60/rfDm58grdGlTpuDxc77ZJQ0B1e7xJ9JpU6R4Kvfle5 pCVpy8zcRL8b
MOY8ax/vHE09N+OJw9JuMDKC4xLkPGwisccRQSLRLEVd8z+F1LDsWnXkxR7x MWpnGJjHrcwv
OeHWB/k8swM/8fwih+XrdTDSvmxNONfLWAN2b0sD7KxLBvCAG9pey63p+DAG 5T/utA2ujkzF
5OTbGjR58cn592YlFegBSaNIPJpWjA8Rtle4ioSBylFay+amg5pC0xp/85mi /ecVRYTiTBct
wCdulTmfiWq4LTNCRRYzPGyEvz1jGB+cteNiG0dFvn9FMSKT5keNaf+stNkC nf4M2BjqUsDB
gFKj/veSAWdAu9JmQBC0dLuMSy0AmfyX+TmeAkGgXF7WcCEFaTGX3uDo1CKM ZJMpgZXt1Rn4
mru0dA7pjid1yLhApferXc2fDZceNgaMs0DSeQnU/Q/4D4+3ohS4UH/h81Ph 04qmwqdL7Upl
FNrRmxM1BNcUevvT3LhC9PPJYSp2GAWf5aZQteD0drE3krvRq77HIG1APoKO ZYqd1Zk01b1D
EYEj4hNU8jxs+HiqwUEJnhqHfIA9ItUr/rV3h9oAMilofFeeL0Z15xxNB58W vBLZ0y1+HdgZ
mD8M9lzMwspXkrr+57b/yqAbMW5ioLQqJMOHKEr/SuV0i4ak0nVGjh+WFB5K CGmGo3QbypBL
fDY3+OYDdVMzzjCWPXY+gtX+WP/vkwn9VQDyszKs0ys9z4B3unPEbmEymMpd uEL1YfUR+ia/
THsQVpgyktX89MbbL84HiKUgmAMLTc8EBSiboO2ZTFkIZkbP/xWk0s4DtjPA RefBFU8vR8oi
ZQn+G+nHhMrar2hclt860Swlk9c52p8oCCAxpoEXFMvRm8MnL3B1raZjzuwJ qr+5RQBAzIFQ
cT9iEkywDwa8w97AYHujxSUITRXDatmh/TxgOjAYRQ/Fdi9IwLmDK7VX6atH oV6OZozwSDCF
gY/an+w5MQrG5KgL3dOy/jbGGNMP5BbV5K38ynXVwVbrgbRgi+HxWFGZxwX9 PfFjfexH8954
kLMZeWajb/Q3/2lpF3ofhM0/f+hWeAv0DTVu5Tp6BApsGmQLUf5FL0L29pzn jK/8F/a9o5sQ
uE+MBC8Yc3eKL2UsVJzJ16PzhEhXu5U9ul65kztC2KZFHVs2C4zboxVCPD28 WvCZyeFk+7/5
rMTL6XvJxI9A/rkbLUClxlxO5z/uk/OMwwUEWd05Rl5LwEORXXBYAD8CYFTy VXYvUf9L6Azo
cZ6m6mufSznSFdBuz2rWfZvAW6hh6slvsq4aqxkzl2idCxaJ+LlEaS1d0uHE ysNsq5aeKvti
8PeXHhbkgrNjk61eFva173Yw1zrRKsI781Qcn5DmlV5biLB2ExcQoUfyRS4K k4y9ji0FsFXP
yJ9y37/lOtHxXPaocT78Mof+heE9T0Csp7OrqXwRIiEGUs/9mYgqBLYCTCg+ IkIPxfZpM8RU
998JdmqAZn9fkprgNmM2ICYUcNonrLbWUsomj6FE9OPmw++TJYGlvFk2D/6r YnKDAyBmQvMz
hJ0t9fa91voJiok1/1YC/WsEjP8vQ9uzX2/CJ7kZy5pyl2j6qtnp9oZEl3Ds yJr/vW8iKoF0
8iDfsqkh/2ssdjner9iSnuekpoteJy/4hZoO0MgeG7DggpMdYv1dAdp/vHWQ vkHVlOU7X3H6
0KiPFY1yQQkgXr/vR+MipZyLjXQUmXk9lj/95MI0ABF6ZOAsvagF5F5Q/rk5 djGD1jOI8D+1
uOWm/CWZr0CvH+936882xk5XqGpD4y4L4cuNdJOP3JytRws0AbCvJI8sRM8B Zf8amJV8khxB
3YtHFK+S8Gco4mIf/ZOOJhC+jnx6cKS1tKA8DZDd3x/LO5T7OJbv7kTC/bY6 szQKXMo0OUot
jwo0Fgu9FdiY+7dkkhf4yKmB86B606cC2dFjd/dBO38oLDw6DAO28XRfClh2 qo6S//9Eldwh
3cIgFRYdfvuipaeDTe1WLeY4K8V5FwmCWqDYBVSVUUklrzdE76l31kZiWtat UnCOAHE4Mvot
g4AoDlzOH89evfv58/f7oB/hGvFirk1vNDUmdmQ5w7p8zz9sHJd5m1X703bB cx2rg84HF7XR
lxFQTuiqxHE3NhwIWw7GaPfVf66kLn1FxxGCfUqsxOLzPuauCkQhRjFIJYu+ XCt1B1nETWFk
IC/TMjcEibUDnp0WS0GCvEGZKNpf34GRrKOpFisnZJLxu5CXGc5/Xwkwzm9d 9iqOuyAHE8bB
jYU1JeVogNOg46F2s5D59yTtmndlF4SBmLShuVoSVtphm1RYbdL2L3cR1HER 7Auw7uTiKcDQ
1xB8ddeMq4LNIVT859EFOUKMzGrdIePoLOa5f94z0PSDRYE+cyhFeYJX2asW nZqQ1TrKmqdr
JgaqCaqIdW8BLKdrJkKnWMqft2wDZTiOWDmLJ6daB77GQuf47Myod+Rmcxdd 5i+sv5aFwa9I
4+aKxHNrByRiK1yURLncNsZoanSu0LGOZhgI9L52MgT6SwcY9VwrQeHt0jEl oGfwZNODcczF
dG3GuQ5DPxbCuKqDv4twJwjtQX2/yWlLpEHjq7Q6xzVQ4+ji9cjPxO1FLyt0 CXJOfjJd7Trj
aHNhjKDcBfVWz3qw+773d4J3aEGsO0O9R3YQaCxGWdME2ZR9Qpc0NXFi5oj5 KVoNoEkmueZ/
I+6rgZdAYQ5IJGEOgcZXq1LV6v1vUBTtWPCUt0huN9njQ09J2gjA6HdZxr3W gj0Dcq5aowsK
nNjUR/8paCa3LrFZ0ynWangJqsekpPioXKMQGlVDnUWzA6Rn8x2fNk1BdFmC fpAq6vMOO0Ug
IZAcEStMGE6RNGhU4neS5B+P7stPSvvXn8Mecu4O0TkaHjU90+7uKyjteB04 HkZ6FCcixZZb
VSqPLSIfLtAyTahHq0Jenv3plbjaDSqdCWg8IuBqIH4iey8g92MF2fGfj0lP yC8OqJ7cz5s6
Y4CPNvc13jmqKvnJ+Nf/16nbx0fMlco6LpjnK4GkJyOnoO0zvA6B6cdU+bR4 P8ApKrYJyVBd
gpPwtxnDLE5imlW5QwFjn7tx8/j7vZXoKrAXIdCZe1P2jAZljB3fabAk/PeW fmgRu37YU/Mz
qxWIyUVpsLF5j0tXOwU5cpx2MyrmgL391aSG/+GhMMTfJP9FmWstB9BSh2aY bVGgARlU8vMG
lCTDm26o+RRlny0z112jZ5SxoOwdN080yrGVL4HvIPU4LesKdWhdpKKPCngi bGVLgLesABDp
RpIoIbj0mMYgw+4arWg4shtfkCSna9vpbsjwWP90fvAu69yJZ3GgZKQVK5vk 8w8Pp4LgxlS5
CRB9Bnl1gAhv5FdzPFPCVxIb4A8iOCCAihREXZoGg+0J9ieMMjpKF5sgWKS0 ExpbjCKaUE5f
4Qkp7NPBbmMqdALb1oS4dYAqFk61pHowuGOILkYXFZEke5oZmn16lLu1VutA f6sBR/b8bz0v
jmZNWp/NUhsWbw+nbVrPTwaBjKtk6Paqiwz4mNrQ0JtshJ7z4Ij5NiANKRci NjSj8DVR94oU
WuqQfgol7JOZ08G0YypcLOzIgErBNIiO+MSMMplhl7XhmfwKh8Pmh0ymE6CF KLYcnYYZN296
VBqjsgLMhGfoFFLmvd0HJ84OAb1oE4NE4QlRv6eDcsZUuTnHuurG/gbGc5/K cOd4nP0SLtLT
C5+mnl3nTwTllS+9UdjGzfrk+xuzW9Lt9jdZtpXBe813pWylPPc/sBgpwh/8 Teo/aaAi1Kjj
VBp5DxgqXO8yualRewBXWsPJ6L2KsdvMFrugT1a4wOleAJVs/CpTDPfOnvZi wPmdM597METH
m8keINwsz6VHOUBuPL3KehiVlmwxPvINDm/bhR1EnSXjp9dbPiDmtKra8tt3 WruiF9Lt7Mjo
NWZR5ZQheiYBfY43sJiUReYlpuXeo01WTeW11LontD3uKKYFJ5zMRCStyCUO jZYYR9nRKyZt
KrLYNwx//AxpbQpsPn54+2eDn3EY0sjZfVv9sQvXoge7rNZzfCw8cPGvKGI+ W6nX84cS84hz
5MlqVlsCtT1/9z+EwlVBv2qhzxI9F56EK32xvhMcx6JSe27G+mHuCDItCYZ1 8LYnb3e7OXx9
wUGtTbyi42FTnQGiBH6F6A3ULxP5y8ntjsuI9YUoOIjH9S8yHdXrdTiyNW9w D/Psz1T0gpPu
WShZGeT6RWQSXeDcZyZE2yhq8JQT8+4ObrDhl/rriY6DrP+/+QOjzQ1beDEz Q0hQvAD0oaRp
3V/VNtQjae87211IizvUp2Qx/U6yjZ5/vWFiWyv+1R0AR0elCsxBIxXiZ8ys TH39UFmoIpzF
G+08EMZU6rQvUXntAu71+YdlCAhXED2KsBUfT6Doey1Mdjimbifv1oQvwO/I pzkUc+8k75y6
bLVFqWM7Va+xvLDlgk9DKFg4Loa4zNFNTLJu0qZV6B/RMnmvqVqwyaFhskji dxfe3gng2AHT
cZAuJAiGJN0roLYgnKiQDQCwDdBbZA9aQDqDvV4ggPl03r0WdevI83clntde z2Ag48WW9mm6
lOC4IDfLNP4RPv8nzvOQBddfLzWmea2CEpc/pud7ZJdE9oITna3trBzp77gC PPol/07xDJ0w
i3EbD5+aGQmRm0VT0wuFRQN5BG62jFp+b5jS/f5xpxfb6+VVLG89JIlmg6aZ FKY0MY7oQQ1+
GoEq/qpDmcfHViw/6hadb93V1fL0y2gA7P2xc+HknPWyJQJJvHZMKi1yq9HC d9FmpcGGK36I
FK2VoclJANuTnjqcbmiw+TjpSKzjTn2lRXSQNClcilKUzRMGNTUdNaiKCihS iW34gs3g3VLf
aGiuI2HfTJz13fVz6iqKslgQDUzDt2iTXr2k4lt+nvfQyXE6J5PdLAWfxPoX TVr5HYDKeFOe
fyflSQPdu8XnlxwRLokYceY53wp7yXem/voXFVmIw4zOFmLcpZW2GPGYke09 MEhAr5XL0dxe
+zsbkvXtLjk7+6rV7gl0vOuNaE8DXxXsFebnfE129FwplxW6eWrQrVCVVcC2 qKJJQiYKuEi3
0BwIUxcTas5vKfeKgeRFKd6rav733cm4oUy1T4rUZQMykD96LuWP3XFoq3fb KADCRZaJsmBJ
DDV10tkLjeSdYubho0QFETqX7mnx4vlnsW3SMiQ3lDhKa4BJwrhLsNXBEKay GQRLilPLSCTY
Ecp3sjK0aH20cgtTl5LgqdZUlgaloP8UlnsgmC1eZS0OadhaNP6eCGsZVE+D GbqnAL3DLXwv
ApfgnFIv5s/rGSEo6SdWptOYSqmwHd0FFtemS2mHPOTOXJYZf7BE9YSNxc/d n8oZPYETJKoH
onQ5mQE3knSdyfGVc9dzMU80m6RSKu//evNnAhE1v4Wt7vSxB06clXmDJpmD pQwR2OU8tbId
p2AnunlNplLL+gyqvK/1LfeoIyduB/f08WARUH+JRf1v3RQQWAqwHShuHSeG hBUvkv4INbxd
FwA+yqGeIlXcCp4MCxlGZduatKXHa+nfETc7ex72JQZ99ElJL0kbhb2DOlCO rwOjOA8/CurE
tLvLQ2y5CKCHc8YBdcRdTBitvQHtocy+UTQaXHezrNzzy/vxXpz3AkMuDKzd slmOW/7cHpf2
LYOkPNrsmzJnkBt1PHUVZdgc9Tmbcfq3SOy5YCUfek7hgJC2shgCuVAbYSwe d5v1uCW5J3Ft
Yve8ncp1Bcw8HH3d24nirxSGdfux0vW+ma5D7gkAfpNxbvLdKA3cJCOdoBX+ 8Bq0g5dDfnUE
HHIU/QsGPw+TcmC94fPbubtSa0GnknE/7y7RG/xBgkHw/f1af9OziOGFeWuO z5SpAYQSnCJQ
Csl+7qWILiiVgeM3sSrCbTiiVSvFqWa9py5G15T2271WwtTu4vbrMYe5S4kK 0qh+D5MZOr+A
+d0/m5pYhgMxuCa+BmBs1HLMh2WKhOFWJx0mkr1gnC7WUcZ+T6e7uEtxRW7b nuMLOXNHcLRI
aI53DUSGJQ1QuHWDUcNOKGFkGebC0yaD0kgMZZpAJlOfOCv/ArKoVFRKlvSB ZXGy2bgBN8L/
YG4hxW99nKHO4YDnIrZkssDwHcNy/MOhIddTD2A+GAOIBflV0uKGmLx5dXuH 6OkuBIXxtfZ4
frdZg3QJQKNGN1ajB8eVLLmPp+NM7yO1Vex6OxN+/FqJrjusX9AhLY+wUYsX e/H+n2dBE0uD
emf9vu+0JbEvPrALma4Wv6kTxvBgkWb6qLJPv17U0SoGIzNWRaS4Fpuqyha6 s7ru/EVNCAcs
/Aw3vPkJRTg30QjVTkBoteS7sTUYfkKZvCDlu0ze6J7C8eL5Tvoto96aVr/I c2KnSldMKD7P
mxN7bOl3eP/wfh/Jv/P+n4a/X+v3N/l9Wu/+P3fhNqwZvCpy3gS6QO3L+eL4 /u8P3fV70/jx
Fa7HT5OU0Jx0REcWibwlSwPJBxD4Ehvmy6DILKc87QfJt6JH/ggYGUClPR3K TyjoreXDsgmp
BPJ39Pq8v/n+fn7h9i01Yg2hErKkP60HQdG0JpOg3K2FUPKyMXP0LRaWAKUx WazloJDgn6Mf
Zj9CLQZ+1BwNG7NkdC1ujn8EFbHWhmHOf/fEW/f6EAwlxseU3LxrgnLRgRKv riQ9eLLO6ytD
zBJf4neAS8QhywtfyfOqbeAEnTYSM5dTi4X9hM
Re: [ATL]containment reference problem [message #103381 is a reply to message #103354] Tue, 14 April 2009 08:11 Go to previous messageGo to next message
Max Bureck is currently offline Max BureckFriend
Messages: 72
Registered: July 2009
Member
Hi Adina,

there is something wrong with your StateMachine2Module rule. You call
select on s.region, but you want the defines (transformed vertices), not
to select a region. You need to use collect and flatten. You did the
same thing twice in that rule. The following code is the second time you
use the select:

s.region->select(r | r.subvertex->select(v | v.isFinal).debug('...')
->collect(v | thisModule.FinalState2Define(v)) )

instead you should try this:

s.region->collect(r | r.subvertex->select(v | v.isFinal).debug('...')
->collect(v | thisModule.FinalState2Define(v)) )
->flatten()

I didn't test it, because there was no input model in your zip.

Greetings,
Max

> Hello to you all,
> I'm trying to write an ATL transformation for transforming UML
> statemachines with their corresponding states and transitions into the
> corresponding NuSMV elements.
> In the UML metamodel I have the following:
>
> contains
> StateMachine ----------> (1..*) Region
>
> contains
> Region -----------> (0..*) Vertex
>
>
> In the NuSMV metamodel I have:
>
> contains
> TModule -----------> (1..*) TDefine
>
>
> I have mapped StateMachine to TModule and I need to map Vertex to
> TDefine so that the TDefine elements are not outside the model.
>
> I've tried to solve this by comparison with the basic examples on the
> ATL website, i.e. Tree2List or SideEffect, but I get the same error
> every time:
> "message: ERROR: could not find operation not on Sequence(OclAny) having
> supertypes: [Collection(OclAny)]"
>
> Does any of you know what this could possibly mean ? I am not using
> "not" operation anywhere in my code, at least not explicitly.
>
> Furthermore, what do the following warnings mean:
> "WARNING: metamodel contains several classifiers with same name:
> EAttribute"
> "WARNING: metamodel contains several classifiers with same name:
> ecore::EAttribute" ?
>
> I get the same type of warnings for EAnnotation, EClass, EClassifier,
> EDataType, EEnum, EEnumLiteral, etc.
>
> I have attached the ATL code, console output, NuSMV.ecore and UML.ecore
> files, hoping that you could help me or have some hints to what I am
> doing wrong.
>
> Many thanks
> Adina
>
Re: [ATL]containment reference problem [message #103425 is a reply to message #103381] Tue, 14 April 2009 09:10 Go to previous message
Eclipse UserFriend
Originally posted by: aaniculaesei.gmail.com

Hi Max,
Many thanks. It works wonderfully.
Bye
Adina

Max Bureck wrote:
> Hi Adina,
>
> there is something wrong with your StateMachine2Module rule. You call
> select on s.region, but you want the defines (transformed vertices), not
> to select a region. You need to use collect and flatten. You did the
> same thing twice in that rule. The following code is the second time you
> use the select:
>
> s.region->select(r | r.subvertex->select(v | v.isFinal).debug('...')
> ->collect(v | thisModule.FinalState2Define(v)) )
>
> instead you should try this:
>
> s.region->collect(r | r.subvertex->select(v | v.isFinal).debug('...')
> ->collect(v | thisModule.FinalState2Define(v)) )
> ->flatten()
>
> I didn't test it, because there was no input model in your zip.
>
> Greetings,
> Max
>
>> Hello to you all,
>> I'm trying to write an ATL transformation for transforming UML
>> statemachines with their corresponding states and transitions into the
>> corresponding NuSMV elements.
>> In the UML metamodel I have the following:
>>
>> contains
>> StateMachine ----------> (1..*) Region
>>
>> contains
>> Region -----------> (0..*) Vertex
>>
>>
>> In the NuSMV metamodel I have:
>>
>> contains
>> TModule -----------> (1..*) TDefine
>>
>>
>> I have mapped StateMachine to TModule and I need to map Vertex to
>> TDefine so that the TDefine elements are not outside the model.
>>
>> I've tried to solve this by comparison with the basic examples on the
>> ATL website, i.e. Tree2List or SideEffect, but I get the same error
>> every time:
>> "message: ERROR: could not find operation not on Sequence(OclAny) having
>> supertypes: [Collection(OclAny)]"
>>
>> Does any of you know what this could possibly mean ? I am not using
>> "not" operation anywhere in my code, at least not explicitly.
>>
>> Furthermore, what do the following warnings mean:
>> "WARNING: metamodel contains several classifiers with same name:
>> EAttribute"
>> "WARNING: metamodel contains several classifiers with same name:
>> ecore::EAttribute" ?
>>
>> I get the same type of warnings for EAnnotation, EClass, EClassifier,
>> EDataType, EEnum, EEnumLiteral, etc.
>>
>> I have attached the ATL code, console output, NuSMV.ecore and UML.ecore
>> files, hoping that you could help me or have some hints to what I am
>> doing wrong.
>>
>> Many thanks
>> Adina
>>
Previous Topic:[ATL] helpers not producing expected result (containment problem)
Next Topic:[ATL] extracting a model with 3.0 EMF Specific VM
Goto Forum:
  


Current Time: Fri Mar 29 01:07:19 GMT 2024

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

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

Back to the top