[m-users.] More modes for map.map_foldl
Volker Wysk <[email protected]> Mon, 01 Dec 2025 19:25:39 +0100
| Newsgroups | gmane.comp.lang.mercury.general |
|---|---|
| Message-ID | <[email protected]> |
--=-+lvBl6uCCGMxnclDqq15
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Hi
I have this code:
angaben_ergaenzen(WerteFelder, !.GegMap, !:GegMap, !IO) :-
map.map_foldl(
(pred(_::in, !.Geg::in, !:Geg::out,=C2=A0
!.IO1::di, !:IO1::uo) is cc_multi :-
(
try []
angaben_ergaenzen_aus_teilen(WerteFelder, !Geg)
then
true
catch TW@teilewiderspruch(_, _, _) ->
teilewiderspruch_melden(TW, !IO1)
)
),
!GegMap,
!IO).
The inner predicate (argument 1 of map_foldl) must be cc_multi, because it
has a try goal in it and catches an exception. But the predicate
map.map_foldl doesn't provide a mode line which matches this.
Could you (the Mercury Team) provide more modes for map_foldl, for the case
when the inner predicate is cc_multi? For my case, it should look like this=
:
:- mode map_foldl(in(pred(in, in, out, di, uo) is cc_multi),=C2=A0
in, out, di, uo) is cc_multi.
There are also a lot more predicates which should updated this way as well.
Cheers,
Volker
--=-+lvBl6uCCGMxnclDqq15
Content-Type: application/x-compressed-tar; name="bug.tar.gz"
Content-Disposition: attachment; filename="bug.tar.gz"
Content-Transfer-Encoding: base64
H4sIAAAAAAAAA+19bXvbNrJoP+tXsDrHG6lVZEmxkybZ9KzrOl0/68a5sdO0N83RpSXa5kYiVZKK
4930v995wTtBifKLkm7DZze1SGAwGAwGg8Fgprv5PHz/9ygcR1m+eTI/++IWnh4897e26L/wuP/t
9e/1vuhv9/v37m3f2+71v+j1ew/ub30RvL8NZNxnnhdhBqiso61P8Bk8DKZFPI2e9IHk9/v9h73t
7sPB1uDe/f43jXu9ILQ/Pug+vL892How6H3TgKqjyqofu1+fn3oPTPnN224D5/iD7W38b//Bds/8
r3zs+Q+ltwZfBNu3jRg+cv6/u1hcbtn3P+iD42+vAN3pTbexXP4P1Pjf27oH8r9/f2v7s/xfxwMi
3pL/3/T73d7D+w8GW71790oLwDcPHnTvD3q9b+7d693Hr6Pquh+7Z5+fOg/O/1uZ9MZjzH+f/B+A
RuHM/9527/4XwVrm5J9c/j+6G0zT8XwSBcgFDfgZJ0WUnYajiH9NZ5NoGiUFyIE0ka/SrBiKatNw
1gnitBNM4rzoBNP5pIiH9DLM83Q05NfR+1E0QwidIC+yODnzQIrTfD6bdRsN/FRczqLgIsqKaHga
TWBtCp480cBbDEQCa3d1nbPoDEtQcSgogM7C4ryD36IExjsZOzXE20YAz927d7813rXoJT4IORqd
F7PTcAw/Hz0KTOBWsXFYRAmWi7AYksBEpN1pWKXD5Cw8iZKAgYpfVMJEU5aCjmnKKkIYP9ptk4ZF
FE+iixhX91k2H53rPrpfrJ6K3utuiYbUb7NBhSs1O8uiscR2GGVnYZT8K0oYujmijx7FCcMTY+Z5
kc4LfhOnjx6N4w79d5422kGcB6PRkDgCGi439wpbekoNdYIvuz9EZz8iU375SP21f9gOHt0l6NBW
F/4/PE0n44mmQwu70hoiFMKN4Yg/H9GfiCC83j/sM35fPqI/5ylhOI4K2YSCaf3Cp8gug9dvSq/x
KXVrGM7zIQ2c20PApl0GfS4YqdzmPCp9GIXF6Dw4fvW3EmcMOwH+rx3c/dYPzqkwnCJaSev4FdG5
b2Omf7U1P30pxkW/gPHpLuIokxaLmUsws/8djGBDDpaPk8xmhoLQJl5VfXffM9vYfGy0WwVm2BGU
uB357+j/QkrdrDawVP8fbMn1f3Cf1v/BVn/wWf9fxzN4YOv/Ww/73e1B7+HDsvVn+8HD7oPeN1sP
tu71thpQcVRR8WP36fNT/8H5fyuT3nh4/vf8+n9/C/b628787w/u9z7r/+t4Np6s4WlsCFU5uBsc
wX/EjgL0nkl8kuF/T9MMlZWA1uQwGwf7h/JbYwOq76azyyw+Oy+CQW+wHfyUTt7CluDVZf42+Oss
zYu/vaM3dy/gTXccfQtVjs9hbT2NcWMBa2yMqurJvIAFe57gdgJbg43ONA/SU/rxw7OXwUGU5/Dt
hyiJsnASPJ+fTOJRcBCPQFuIOsFPsETCHia4FwC6E9Dxs25wFEXQGAKgtnYPn/+y/+yH7sHe0dHe
C+oXrO9hPMm7jfXQWu/o1IbKt6szNl5yD4G7uJM0nci93Og8BM1yGl6eROZuDgDigADApMgf0fC8
iHJQxHPQ0cZBlGVplsPLgzh5C3A358lE/JVFSTiFP4hUWORwBnTGbSGMQhLg3gjfPg+zHMZJ/vw/
87SASvDX3ntocwyfdgoxmvj9OMoLInQeTnkUCKNwjC3hwIwErjjSIQz6+0KWepXFCBreMg2CIjVL
ANUAL9ghpqDvbdxdw1NBy7U0TW3PJsAjODuJonHazaJ8s9cJLuLiHFCSPEWIAXnyAuhMdMVP/Lqr
9p5QV28307f092P8h8q1TFhtyaYwlkuqnWXpnHfw1Rj3r45x67htti5/1sO7tW9X3i9VtrDfSYJw
fobIA1NLbAD18xg2YuEkT2FPlmVxBNwQsAkDOBLY+Z/zZITThjvJxZHTuZPpaDSHnYnuFb3WeDEi
aqOFgNHw4O7w45TBkaGjq2FI3EGOXwZ5Oo2KczF1EIV34WSOEyeHrYxBfhoUwugUcMcN9xDJhT9a
P7eDJ8EvHaMovMJ3xotfRKssmgsCzehNQWaHZzDxs3SKb8sE1c3Sz6GoYY8jNCctU9jOj+HbyGYd
gp9fAv9MBUHlDnAKZYdcdsgtYNkhlx0a1AaEzJd6P8ot8w7RfVAewgDJFdLEqU7dLDqN3+vayWgy
Hxu0EXhpmEtsLrxZBQLtJ/ksGhViGpnd6gb7p0FcQFvjeARDlQf5fDQCmneCcRokKbFLuZAc0A4y
+DvYyiPC0JAJmuSzM6VRThbnWXoB/4ZFV+/L8Z01CMMwt4bpUx+UBdQ/RvZk0mcRrxWSakBUi0rw
vcvKUDge50pTSXCxFHNW0D1GoXipKYgQaZZWdonJsElrJQEkEYzdIT0JhJVBHSnWGWeQqwasDdkT
wEh0xORMWR5YE8vucgmmGIJdRJzNPi+l74ssHBWsEJBQHbOsAk4EmRrmEbFjbq4LHZraJY7D2Y0q
bWHwXlwgkUGXgkkRn8ZCfQH5PJkEJyQPBcJJiWE0wc+iAhi0BsWRTCcm4yRlFhRk/skmM2sXVOAn
QU+bN19l4WwmabOYsD3sPy9JFvkW0a717PDYJHGb5SrTkhTpG6MmC4A4XTT5b4LEbm2DxDXnsFoh
l1BUirnFPbZkmwR9c0heYTZpXDt6gC2uVzxvTHjBuQavOrjtkr3amq+jFM+rikhKwfJSkUUmiwE4
eDHPktxQXvgNYHZyKdYgxJOWKVM4ypOxMj+VZT4T/aklJ70LB504vIgK3o3FabtjAngu8SAAQu9L
DVwUKVjUIiBBVgTWENoq7PuicgeQQah5OtNAjhAGannO0gmqvnSvAHWMnaSnGupNjPJaRqw8WFcc
sZUGyjtGVxwe78hUDoqc5LyPUlMbezmZpBe0x0/nmZ44eXAO4wLEpHHB7yjyWbjJs2ExIdFsA7Td
MCsz4XhiuruKgLZ9WoZ6RJCBoJzcAJ9ne5SMwhkIQ6mEmgO8OZCbMRBSOeOeCLFQ3dUu2USOSdHK
cqklxNlYmprMmmiBCjNmj8oOC1TfxaEypYkdFS+TEehMY2oHUYHFK02iBWDTBHZumphi15gpPR0a
wY0lzEuceJeidSHnO4iGTXCnv8VFWt0xVNKBw2YRIJvy8r1/iHY/EK5mZxAI9eIizd4C+K8ERl8h
xmYN5ph5Hp3OJ9TYPMnD0wjZOp3GZEiC3bA5PEHrKIpEsSHC2bwHSy4yXJrH77tTgkKMGeJsEXOR
ZMiXLXPO66UqnLSVxMZVq1Ul8sSJJ1SotdFa3O5KTV61Eeqc3UJFZ+rDrADn6h7nUR6V5AjyFJmK
USqHvG7D51FE9j5kGeluwrwG3y+DkIwVtFYoUKRthoVSAMwdg2X7ykAdJItxWEP2IAsriYYTCWdc
B/slpEfsE53wOS9Quy3pS7BftkxVep4B8DA7m/MiIuhANiKe5HHuUWELEztzmO6W9GFz3NbE5MuR
uGmOr9ntq7P/8gbqzIW1GZ+X2+zXggiqfVmEWlMSXYDmAEsn4pOzmT96R6czhBAebKRaHhQwIyJY
X2IQCEWaGcYMrD+cwmq2aON37FSnoqank6zAmiHNMARc2mwRU1K5Zvq2GXh0R6UL0JJ5GgI4RrK7
bFN2c8QJXp1HJBNApKJYZT0Ul/9xmtwpgEjpLDiZF6A2TiZk7AMJxYWklo0qBACYKuFCfeNjohLp
h7jV4/rVo3CF0bD1dXtUTOc7tjiYo4PCFEuQNNado3VBmtHRUqlHyhC5XlcouwvNyyhvkuKJ5IEx
pMbIjoGnUiFQ7V9RliKD4EFTxLp5vpQHLBbIL6fXnR0CxE1OEDSi5JrLxbiIhm5qwghw66IX8QuC
0BbPESzO4/j0NMIdC2q9VD2doHYb+Qk8jMQ55vJJsITyHkfQ0tSQI0FHRYj7CWgfiHrl4HQrR8fD
4J/2aKENgOf0kqGAPz7x0bh1avkXA14K8BzmZhYDi/rrWw9MufOfuiR8H6FDSwyV8CRHdjkYh8nZ
BLe9AmkypWfRKRMmxAM52N2I0gIxtpwoQ2h8Sv1HxUAC24Ehz3GL3kUrI22gmkna5KKiEQBB2xfN
ypIL4nxIkGDUhuJjHQ4gw7yYJ/6VpIUOLG1TYm2Ik0aB+XIyHomNZXiSvos6xPKFbQXnzhmuBOal
hqr+DWeWhRthlLq5ph6icwwgPTpHZoPGJKewTIA5n8+FQwEzOPKh2GEa5RSa8LPgAW+5G9M2nxaE
AI78pVRTApwNCUj3Lk7nueIXxVq4U57OikueLPGpcLmipnFzMktjmn+otWp2o7ksOkUyDefzFG9l
hCd5OpmjAUlKPUENQcMON8BfJiG0aXZ8nEbUUvSesEm0+xefJHPDWUSyQTfGHk0w6QA4VUXMpcDW
vAPCfKyYhrCqwzo2G+3o+ezQSJCa4LoLfevfJBr5jgq5gv1uiUY+NOK1C+1zaE0G3iA3sGWCz8bv
riVmHf5bGZYQbDROJal3jIJ7GoVJruxBKzYQMOS6g1/jUM0wXxlSBrmTWQS5ZqQOuXH5IvmSk7sh
Wi4n8SgaYtnNwSLGqa/ScE+vxTZiEXYZ5zPb3AzbrM0G5HXKXEvbtDSRFim0iLP4XcQoMN1yL+Ek
/2O5IZdjxkdGrGJ70A3pFAZH/iRFN18Sw/9TUwupsSjXPWKX+oaB/uY2S4R5vpraYYCQa8aVabBc
T7lBGgiPHuiSnNxyrUSpNhFSkVTOjA/UyLsElJ55Ev82ByqdgnZxEWbjXC2+KHNUZWiDION2/QRY
5xzgRMKaLo69TueTyaUhdrUolnpwB0R0CiJRuJZemnsDaOA8fBcBcODYKBmlc/S4Ri9Ma3TyYZEO
FVatGluY43OpOAi30CwShn1rhdA9LYO0t+8bgkCSrKM0A2qBRB4bbpwOqIW7JblTZPy8VPh0OWDR
8CijQGmEKoi8vJvkV8rOvIYS+hQPHC0tUR5WUx+EskwqA37lClkEKjUISKMCnmGKjZel5uqyYnhh
G5vhjhUPV3HUHRMXq/3vxHUHw0MGVXsTz6AljkrZlyvM3QMy60xXAsLdZZFHk1PtQIcV6WxbOWqr
UzI0HsGumyE1u93ucNaUuOXoUippwzITu8QztIkYNoP05J/QNxx/Q3YKhSpo5aBQmepUu6tmHJIR
3dWSNJuGEzxKNrhFkoGqtcwFw5CI9gysvPvphQkCXLh8a3hCMxdnYNqtw62IaHjOxZgF7cInl62j
Oaz4igM6JNs7wY4ohr/adML/ifCudgrMEXGXd52XYr4DdAmH/EPI8oIc5iIb2rgFLVZbPYBZKQTY
Z3GSwP9hPDauyaNVHIrmN4tHq3jmxG+93wiOHORPS4PgryddIdmZU7RlFRU+pBuKYQic7zDURVWq
KMzmwUqIWnWqkaQhlMUcBA0XKw9mNJN5GvnVNWGwUG4JuI9jkHTVYNG4XGVMFnbVuL3g62olUtcd
gWDxCCBaPOe9I7Cc/AgA+cui/2VShKMCyI7qmpLNQjDBDtnUZY29JipOvAGbhWjx7wZ7ZFHCJajZ
bTJKG04F6PgUxnXcpas61soHG+TLXL9DMCGgk9z1FAO45hdLQYG+/XOeF9auvmX8SfK3bXCW6rK5
9Nj3VyqEtbDTw493JKWaZm9pJbRGwiw+HKcF/M+RPEPx9XrrnwegWPxKAGkBVPpn5YJa5hMex1Kn
+dKQ4BzpSxYGP7zcOzoyHGlevTh89gP8FAZBl1UM/6PiXDRCcJQh0m3XWjvoBiJvM8I4sbSMszls
TATtDYrwX45oot2zf2zldSzRUWXz1HjrvpiId3ixDSdoDsVDJulslEQRTSFJspNoFOJmlRomTdw4
gNCwx1GSshMgEpE0UH2asyGNTIZRh/2fzPesOHa1qYpZXLch9Hug3jwZh0kByz2hnKfk1yhON8iq
xQcg5pIODB/bOov+qK/ZyZaBI4GsSF5FCWSL82j0FsaupQxeckMRIC/mbUReoWccvKTQYTyK4e2l
4SVKVHWZrsMnNEI8qSHVBnYUdqoZdeAUaWg20aC0UJMYJKl8BBYpSrs6eQmRKSEtWq3LCPhQ+mTD
XKs2i++fBhcRw0IspMpncSrVQmmpTOQzPF9I9bmS6AtAIp50ONmBSNu+t5FwA+QlQNncedQMK5/T
ro2bsR5YhgDUztCEwO17yGtMaFucLhdyC0Uc7JkTOomFxUNvUgIlu0PDT0EwFa9JEZA0BKamK95B
q7nZbKtDn7DgrVg4HsdoBQwn3kp8nywaszOxJRq1rRNwoHbJFQL56am4gxsmo+gRcTP1gJYbaAAw
OU3TzZMwa3aC5kn4r2Y7gIVNvd3EV4uqbep6pWpqAXVrO4f19k3QtRg+3Tvva2mULvHyBWHy0TYw
EHttWJCbwELRZKw2Xbl7wGvrNE3keVWJxGFhWOydGSXmH32VPCO8Vdm8Rgoa4NYsTam8KyWIMUGl
FJOztKPWJfLo1qI2dFbIm1yYQMaVVntlslOIxXx9VqgM0IQhJ3Hbno+yeBonIZU4iYoLNKgp5w6c
3DzhFZqxee/AlVym4YuIqrbtwOyXEW3ASbJoKoBMMPbrXDJJ+VxUyUwYFyNCHbV6F2+Yk2LKPjFQ
8dEjDitBL4hBVFQ8GUCuLSTazgwvBhBVYN00eFEoy8IEDqtkXDCekv8SUJRspyOp1Nll9GgKo5Q4
3AaSZ9FZmI1tKw/hIwwx+l/T9MIl/NtFte9ywaidkR9Oad8jAVH/v/6a/+uCgLUTPsG/5U0TiRdD
0QUhT1sMtsWhY1BpsSPdf5Rm4zKd5daJb5nw/mnB1gnPLJuKQ0BCG3tl9gkyNj7GRsKj5Uo6lGpo
gurNTwKiA3gJ48tQ74Syb5lc5LYHEGoLVncMQOyplZb3h67lCCcDmpbYn+YCKQdjWdzJOfgK9BRN
9aGM5eDonqYGKaWWKEjTUm8umoZOKjRVWoMZW3FviGOIxIn2nChtWjjIC63cdD2CvBGsg2U1QNbe
VOsshgmoPESlOm6IhV3AJMziHA8ZpR1l81RGtvAtSbzXeJnEI2D3u+EFcJljvx+icxrAaZVOr0ov
TubxBKjaHSk0hky2iv5UgbdAYx8rAX+Mw1wVPGct7YkGIx1QRwV2Oo8mE7E+ARkiWOXTnOKaiILo
e5POT2AR/G2eFkKuqD8v5UaUlE/Y1keZ3NWaimuMx3DyljhKr7Mk/hdPOhTzoqmTS2wWEeLlwWkX
PXZIs43w8FlqtnLzgKYc2vyKrkFnZvNsBp3h5fcZAHlEYAneWNlx2acjw5lL9giFHPSckAlwzZ+h
ZvPdvNBEQw9RPFUTJyQhaPo0VaFlEgFkz6JzmuYp7IbmWdSUOzSSIrm4JTs6T9+ipMD7P5NwSif8
wTTM3uZCCNAVOBJVaDYB8YeLSseggugQCUSLZt3gl3RO+gUf3qNidCrs23lUBF+jxxPiy7a3pp5U
VN9nwgLxgLsMUlzkORSs21Tero2eLlneInUC/6TIMfqXUCyYLSuZaCnDCuZYDsBmR96jV/Mh6348
zkRjMTHGpfkg5J9Uk4FDCU27zGcOvBoH9lZlwZ5Tvx4TvkB/7JyvL0anp6h+CIBWEDJCm+Dy+amy
8wiz1DyjGFJYVMtKZbnJgzu/3jEYVPn9SkErnCQt5hAbAL36UsQ6teTSkXGYR9KAhnufkxSNAh5c
+H5mFpmqgDnPcflF8rRc9SGPpjGvj+KUBaCJqhjQCw/OUvJNisgzSXWRCO07OythUBomhYv5qowP
YRQV1mrlLlPkvod/GXythAMOSvNOV89KU3Mjm6Hsi7I5i/FhCMYWgDvy27TK8H9dPJs3jOegCtH/
o7A5CUdv8wkImUgZAAX+gFDz11+bjJAqZqm9lSiRLCGkAiOuAOiKIGFI1xVikaYbiDiFAsnu/Dyd
T8aoR1AFjG8SZScYELcjtt/CXuoq9yDe8lE4w/3lb3MQ5/Jauzn7UCTRrssZhxL5TnI/9fSKRgJ6
GhWhMeP1sqUmtFy/uM/mIiV1G+rRNM7N/ohIB0JX2ofCFIyObBlos4BfyVherD6fT8OEnFBhLO6y
oPCslyFfxs8jyyityGPK+MaGK+VBlAGaHbGyTqJTPDcD4MmZtFibDqLR+3A0kYZ7AwVU4IRBRrSG
ixv5LKGnf8I7RTqgQW7L03k2wqUT+Xsj+I44kFeajk6QkAfPD4/2fw76vd697gB2vam5P5xl6Xg+
Qnmr+EosxbDrNFsjjjrF7eZZlD8iXwKGM8ebLMjAEYZjYKaRk1qeIDnYmwihmsE2vFGoNlhY6P/J
mKt3cGf1Xgx287MqsbIqQT0crqrSGrW8oOqpFmZcxDh5l4pBZi9RojxsR6cUXYrJSf7dueNQA1x6
loXTQPu8yE8NfafDtsiNUhivvFC2N9GM8OyKdC00xio1QRDe6GaH2GEsjxlY+OSzcBTlLllEE9Xx
e8i2MJUJPUxDoy6xI/FquAvTWnbKFcFs19I28stLin5CcxfvAuFEEuiEEh2xbIowKswqeGHvPZbQ
JhsKr9IFUaGishgHxJYJCcOtKACr3LZEF4gVij9D3VGwY7lbrtcyxTdWqVOMmHjKe9n2/1GUu8hi
EYe0Funy65Iur0+6miSrRarFAH6i0EByLVlK7XLIQT+V1zIP/KGj19J0QypoMOsLPlOT5x10NTML
zLu6xtmQMFu7HkQAgPZjBgRx9EYAuFInMJx1ZSgoeaNVOb+M6CQ/BlHL+t9FSqy5uc3eC9rVgA6t
5PVA2jD6HD9lSGMdqDiW98ENrwUGhA3Qxks55OOqcCIVCH1eo1tLqpp0TnkQtPbszeVhGKgUFHUy
pQjxwOdz6DjfTIR+MyDc+KLGHIMub99xF2eVOvaO6BFvjQ2iNZSHgBfpZvq2hRveNik7eAG7iT+F
ExGenclFG13OxAGswzDmcGt+6Uh+MQ5boMQQS6x2P6T27Zin6vCtRuEjHh1Veuk1V5fLF02Spd74
a5nqNWPRrwUXJXZMDydQxikSUTgeoqfImJgDw6Xy0G1u2fG05JV/OuHDNAK0721suFNDGWOsMNz6
oqKvLX+wpCqHwk9lfOtnEVjbKQwNMikouYMWkV0j1/WHcizFzZfhy/QgEvThxXk6McVJdUDdRVFl
AJvKwTQDT64vhcbSvIfjOLPSGsZozsii3+ZxFmEHukiTDl5OKvAkO848MOZ8kon+HhkSuyMiEMrs
YuHZFN0Asyg+S4bjaDRpNXfRwanxX9JL5q8wPEnaPf/WeJUX40l84r6j/Y397jLfxEWq/BbP6vPy
a1I+7deYAcp+A30CBKx3zeY0ykDNuBxeUHBpgNFsNpq8dW3ouEPDTvD6jTpOTd/KzGdGEQ4B8j3S
/jXG9vhAAT6gEiuRdlY/neIgPrXu7gpyd2XsldZTGqvvxE+dn65w8+fx+FC4Cq6jEELXC/SZgf9I
OIQVo9SxoJRzAEJBne8Ael4q4CUBdd7uu1Xx8eJ2OALs/iGm5NmjC1zldsXd7QV1rCr6VzTJ7QvT
8yR6jy5P0bj13yhAgI9hHNQYBKfR+eQsykfnk/AsSrrB89Nw/IToid00ckx6w8cI3sH/u0xjFnOJ
97fXww9DqLMnrjCa7EPJIAduNkisJpNBci2ZD1L+WjklpMOd+NTmUHxKXIrPFTm17+GBMrsKzljM
svhIqkBJSa5SuTKXlsDX4VSnuddG6Q+y7XKWTZuSJabF5yYYl5rSOPPEVT9faw5U72T6y0bDis1W
KSOtUqaYxLX3A/5zfTH5nNxdaotJGdiHq61LUlYRgkjwxxaW1mioTfRz9gUkgtJlIS0qK0OdHQsn
Viz/LLpAeAc2V/gD1vnrOYPXKg8TvX/sp6lLTVI0Wwa9qrtSbzq46Ot5EdwNRC+CD1afKqZKXb4W
YMqUUZ2sZOOliJdIb7PzY38Ti9i3JtuWh2Hh+ltVUrLQn2L9laxiLsGf11/j+eTXX1+kOp74am5L
fvrybkvcnRfbP/pniLupVpLyzG0DF8BvqhiUpILDiVgSD6fEjdahigaHT9WiCzu6Frn0Kyz7tVfW
vslRraF/iQusQklaYxntL2Clv1kfQI7sHzKL1Z4J8WlAuXhQyFj5vmjmCnAdOuuo4Ft66CwE1tG9
Z4d7z46b3oJkvHVmHlK7nHodH2RnsZxVKgH41FYL3JYl8as4dTir4lUfW1se24JZVcX1GdQaDR49
X5o+0R3FIsETnkHAAlINavIgwX+J/HwcT70hwfsoaNIf0iqpmpEwsaMyPeFTIkAPT4iJi0saM361
RmTHXlftCfUUPntW6Z47Oxb1uAr88pqaU+okLDyiH2LqMCROWwcQU8XLDlOlXQG6JlgJ8NAAxh00
2nD7aHcL+6MS1clPxLU85eBPz06HihBgJZDcdU1VX5nGj33NwPBTAoVF8EUZPVA1chguGKeqTV4Q
WEkVhyALxImbCc3e3gVFNo8swVQr7eUiLjp0uMgRzRVyk+iiE+UZ4g1J552h1gBUKMmVbMBo1JtX
SzLOVYhiD67XRMbtnth/CUCoGqM+CGpxF63vqJJmMR3VXIQZRiNQXeEmamBsbfNW34FUjfUKCMss
cjVYoTTXbhBjFkdOki3F+OMOpWSrIGaRXQav47SFX7WmbOs8z1V+OMuA4Zus6tWIMqjhjjrQqXzb
wd1vnV1MBW9BvXbd3l2zYx+rT40vW4z/4dwZHUHverv4FlS/FY6S6F0Zs9tECjvtIvWRKbUyPreC
yl1ralyRtZYQ60bWLQfTKyG5RvxWYri1028l1G4Tq//o0BXiujx2vs83xdF0gFeK8wFvW3nLV1qL
qEYQiOvibCmhan17a/Vc37A3C+HWUbTijJ0DGA0+y+DqMi5YHEC7i/ifgdiIEgzRM08p3X1a2xgx
cTgwuAKENY2pY3wAVKwhfC4o59ooyCrtvJME3jmRA6fA0C8LzLAvjB3ljZJwmxAUamJ0mWHHOGTh
KQnKyY6MpGFvkXZE2Aw9KcsBDKB5fVnA9FXvmv2SSEIZ7oGkCrzcPYC3RUoXBTj9jLc/qijb3NV7
gjfs2zQZtLi4wby2vqZrOeD0x4FEdtj3fIaP03DWoj2jwrwjq2r6Pq5q1tcmvXc0yMceCrjd1/Wq
Rmng3MDgn8Y7IyaIVa0czWOjohzIg2RIwRqIFm1Rz32tPdzs8ToNxwfSIHYaT4ooa4kzk6Mi44uO
+lKjewZCD5QLfi1T1vp2p3vnjbNVz2eTuBDtGx+IkiWbIureZ36zRHiSKyY3pxLNMKhFIZ3IsP/P
NE6Y02lOUkwZESjRmoAWmmXjMbRpVLV5x9d4t2wUpmnOn+sgRXRRfGYTBxFASII09kcmGzsEKO4k
unsuBpmvNLNQ6ddvuJ9d+fvnDz/nb+ym0Zr6M7L4nc07CnWDDq+hfvBBNP8ziFZFNaJGK/i/KEvk
V5eX+LOPxwT01z+/cYehfKhAMH758Eu+CM6HX95gCaeAZzTWat325nepsA3ha5x5TwKPcZ53w9Vn
TVCRQKoDJ58mKs6YFuic9ry55mHLokMW7+HKv+l0DsRB8Hv5rNC3USspx0QGWz/WbPDYTwtoGH8s
oEKpawsP62T3SrXkmSEhKYfS5BDZhbY8Pn4RTaiwcYBooSEL2aqSWddTCw9U4f/Ky4daeE6B0Dyl
PfF6LebkahoV+SeoQ5Jrzcc7IVSN6iPM8rDIp3Ty8u/ggLSL78WZFzCT/ySwdL4J/KdQ+YBA3lhQ
SkAqT9MXnYHWQqbCLcN8apym++dXkpp9MTaRnpxCFaLKO4reA8V+pTByBw1ofoQQxsJ5iwgfWYPn
GTBUK01x2XHgtA1AZSFQc5xqjc1a9+EfMW9PgwSBSL3Dd4YM/wOvDxW6KZRK1uKMK3kQXGkRk6tU
2d2n8iTenHvLzIiLlqJqT4wSwyv3A+I2YyRg/i0bC8+wLfECwGrruyZN3SknZXFczfyFaK5LB7MX
8otNAPl6773YOBGv0KaJ7CHsW4bjcQW/si9bgtklWgzTFIL9tlwQ0eWAPN5aGifDaVVg3zMniHor
9P4upsYZhsl4yJGAhuP5LNeMj2KxhRuH1s4LueERf9nLj26trVjKyVskB2DhIFSOgPC1skZC91/W
L/deiQeqsTMeHyZRadxeRNIjsPviOS7Y0j9Q/hLjCEiYX9VPI/ifO6BLvZGdI37FCKJt3JVAiQ8S
M3tnUs8BmX5UKQ2qG+SAp4t+UN21m7Sc49hw4DhdMpFN6aPGQr17bY7uwOdWJ6HfOscO2u01BnFo
2EmAKoSs43qx3JjoMpVdhFYW6Z8q8jgNVUTQVqWyLLyy7YVl92Ls0z1dDKCY4bVq40OPR+v1Ldo+
j0LRGBa3v5nns26CIw+pN4jCaZfvJYr7pE2n4iPLW14UYtbC/v2aNAXtNn7++Wdn9PwnAotWZreo
zx5pngWY5KkcYei9b4xbzoQg4ntHWKBp4wcD/L8iNrMYYfm7XWWK9Q0wnqt7WyuV8m02fJmpjHRU
V59RbIfHD/Y04vfQisPd1SgJ3isflPhPmgaB56RpUOekyXu+ZIBz+cUBREjCEIYnwhO4747vQA1w
nQEg0Xuijh2WjVTXS7m60MyiCt7ahLqTX0fiuzQ/z7r2Wo1SUhhxzoWapfET1kJJYLPGsN/a7dNn
jmfz92iC+Z44y5OZnMKKAO1AKKesLCVDNEzPTmVWHKF59z0yPn6j/3q+73SC7z4Ao6MN5qCqc691
kX5pJ0ny4oCOjzBIP5UcuCbkHTzooOwClhA54FWqGNgyhM6Tdj4c9PX50fosyVYyEeTEvzn84DHT
mHWAXlQWhwS5YgXrzO5g6dKn+NARZRvBK4rXMZHRHrF0d+F2v8YW37fSWD98O1uf38SCKbHVDb7n
wDzhqJiHE8rkV5neBahLYBfFWNE02a9IrEEgFuWI1SC+11kP0wSTScmwI7yf4nTKItWwmUtjhSae
21XtvDxuqkYd3Z5aMAJ5mI25UV50QArhltwRJnlxkk+xhPjYlkPKSQS8RlQ/sf09EGH+nPQdYlDH
GCtjlSZEJyI2JpU0oGUZv0u8NCT1xrrviOd5agdeVUGIVaMSC9jqijRx+ZrkTkfJ05qyRFyFfL2D
otysXFeyHAzCVQ5eoPhieR6gSA9KQh0f75mM/0Tt6HI6+VspqYHb5TbL3MFq5xWeXhnUGagzKetw
yX/nyNsj+ZDgFam8rJzfMj2ULzeYzkMWI1tWw0YKPVKpII1kZDLm5DS8tFOzLQAGJEVIj4LWS6b5
uM2Iiek6rhJ1MudeJWwB2VXprNFUZjnf82VLZXRrYZ/bzBxohNh5XnkwJx9ZFDceula91gTqbcKx
ZnuiJDSn61S35udP+aD6ZOAvAC6sspAf5cNhe3XqOjN7H6WV8qesMzMq1WjDyNlWi1Hk41pDUD4t
rOQ9eFvWZytd38JuWzmuVkcfldVB+Ka6CwsuM1azB8zYqIiyqZ6IFPuK0v6I2HfRWCdY5Bj0S4fA
kn5e61FFJ2kh8HfEf0K7rA8qZKGZdVCFtw7poielfLgDqtuCFhDi3SQt7p5i3HwRYlDAmVzKZJXU
BAcUhzkHFHNImEunQn8jKu8oxwEDsXsR0YQRK7aIoMdS+QKzSOB40MJgpG1c2AAndPRwaGWeRFKy
rDSNCxowcidWFdK8UeW54j7LhVtwpRNB9/FacRdwpHxoitEaPcErTpZ2VdovyYXQ1CuXC4OlHjPN
ps9Zxn38X+o4JCwXR3XO5N3t4NCzEVQW5XV6d9k5jCtOBCqt2XU1ZFBTnFMQxxQgCvh10ZKpeFA6
bnDDUJT291yo2jI8cEes2tultpfLOpw1zKTW1aNnDPG1PFxcUpfIXDJZ9H1XPG+cCm6GVBUwjf3P
k0RFCWIH+Sw+Oy+4FBqR8Jff9Eaf2I/XNq4R0CdyI/XUXH1IatjfhaleFdOeDzJBm22k34W3avzm
I1XKQ16PAwReKCEI3QWNMGVARJuuFQuwWadn0JqTwHHIBXQ0BJrY/v0tM6WBdWUBi5MZ3SyBCRNy
cli+07zzBofcSrckPuPOG78jSUU6pwWN95a3LotoZ2nn/e75h91zdpuG/8q4EC3m8Wk0PYkyQK5D
aHWCO/+N//w//OfXX+/IlY7Z/pwm72v8AIxx/sHpXy7vy/IkEKUrywkHcZlvialAABxK2PmQ/KRo
2IUo38wYu/wyETkcBKvzFzFKZILpCxOMKvnEzsA07JM61LcuW7glVs7S5AKoxtiSStZiZPXljSWj
rHJGz4xLAzRKjjHHgCgGOcyISPyhZhuqlnz5prSIFkuoLchhIVuBqYtjZ114tbtmZQWJwiAa2VX8
07ucNMXP2OVyYqLzbGVJUi50/L5gXyYsCz90OBjkotM4wWjWWV4Mp3g3vcXeSLvntW7e2I8lQX69
g0gFJD0K+jdhLJebPIyHee/OB/znL/jPY/ynhf+08Z+/4j/frgjzS6z0b/znd/znK/znNf7zP/jP
G/znf1cEqUXlf90hYypuBv2xmPiBgVjUwlDyO4lbGrUngTOqsgjNXlHkWESkZomqcq4ZErUJj3Yi
6XrXud/g1UQcc3Q9zEi6DDyetGlYcUHOH7OYXqast3qR0ly6i2ZP4B2TKEIuoew26xuLD1NGLTul
Au2uQaPB6kQaXJlKg5pkGvjpNFiRUE2HToOlhBp4KCXROslNUi0iEew4FlLIkzeuFmG4mEsX8baS
LC1kmLaPheDfDyaMBaRxC8hgt1aGp+dZekb3UMJp7tDJuG0XNNn9oIv+gmZKqeA1AvjA9d8I18BS
IiLe5j2TYRi1czRn7xlikh5DY8jTKfQDtndvnI00yncqG6ddo5E4HVJqnxb6Cztb30okfMdH8dSB
nlvQu+XYKVaHc29blL9n7f1ehstNdv9PkEtIp3SRTvyUhKUj0qt4bBjW9QtReKndArPUQL3vwyI0
jRYWLKPFenYnA+jAGXHfhV3vUq+wCv4XsBmOo3d4uCahqpd+PcGpHCdpuXLssbZXHmy9EDG3/HEh
K8+GVDX3KskSK1tN89rqdrUapqRFNqQ/ZXqd6sw2FcbERZl36tuFuzSLqm194nOV5bDyAGWpSxVj
+BGDz3xyuXdKaXGYRJjixh75dBYlw3RezOaFyxw8AN4ghwjnkCod4RnhVPoplKKyqTGkyloG064U
s9Isu9Ak8+6UomU7LvYuRkZf++apzFD/aVziWSveo0kKeo2geRnvJRh3G1/85z0n87PN5+H7v1PW
5nxTZCTqTm+yjR4897e26L/wuP/t9Qf3v+hv9/v37m0P7m89+AJebA8efBG8v0kkqp45JsIFVNbR
1if4DL4JppjE6Un/wf2t+/3+1sPt7tb97V7/4b3GvV4Qmt+2v7nf3e4/2H7wsP/NvQbUHFXV/Ni9
+vzUfXD+38qkNx6e/zTfgXus/+Kf/a1Bz5n/ffjri2Atc1LO/3cXi8st+/4HfdaTUG9DproL7gZH
aEd4KX7ixiHNCko2v5vOLukgORj0BtvBT+nkbZQFry7zt8FfZ2le/O0dvbl7AW+64+hbmeaQ9byc
Mrhy0mFMmTwWuUHRn0v5eP/w7GVwEOU5fOOE6ZPg+fwEnWAP4lGU5GiEEJnZ7wUp5lTF49usC9va
SPuD7R4+/2X/2Q/dg72jo70XtOcfRwWmpO2uKUGhiDRm5BBkCyAlvD8NR5En2SBa/siRnpNYU627
4QU6a+GncARVcf8kU9OrLNW5TkQ9GhbpHDP4kR2RLwnwX9aFH6v8JL1YVh4QOmLt3WgfFPn5bHOc
XvB1ABMojPN81jJzScq/q9CA7whpeZ1FtJmEeR6fIk2q6RPn4SSZT1V/7SNKq6BNyAUFbQouKBhO
ZudhnYIX8K6iXIkAuRwZdGXAjqOZmcKMbPpJIJ0efLTGv0/mMajnSRdV/zCL8zRBdxpQ2cvDx+fC
LkgJDq3WlcAs5oqKQloIJukonMgE7VOQ/uhLi0maKWs5FTmJzuKEXEDl1ZAsPcvCKbIkBr2nd1KC
EZEwFbakCjloasoEBdaITk8pC7NKwhwVjEjLvv9hpq/9hJKd4gUmSnEqyBkF50Uxyx9tbo6jd9Ek
xZyeZwkI9m6anW2eTeITzCx6Mok262cyPSslLRVDBe+a0lHAgQQDMyJI0rFHiic+du0EL2ejc2Yr
LvLaNG5jVvLJZJikxRAZYCiylGKKbg5mFJ5GbzoNPH1EOMBtZ0MUt3j4ohtqP5apTGvhx5N5DfjJ
hhR+ZSnVM8QyDK4rCmv0RwGSHaLoG9fvDxtDdXekWDW6Ywjb3XPTucvAqRPsq/DL7Jyzj3B75tkV
OnabR1Qq0YUxqJbIvgmqCUC3TrUSkxorj0s1hdNNU4048SaoJgDdOtVKU8dYhl2qKZxummq0mN/M
DCVAa5ihqH2UZ6h468xQgdNNUw01m5sgGsO5YZr5qEaqmEs0+dKimUTpBkk2GtbQ165AQgsuqPYi
jhb8Nbgtghan31gtcmt6cXYQ4s8cayMzDr9LmMuCLzyB/NmlGTD4q6K+cmcmsOgs8de2vm0n/AMF
1tV1nrh1jG/fGqcsBq4YG0GEh/c4OuNX7kMdRUprp/uHPVZPpYV9pfFCDXA8PMUUU6l/+HRLB7vD
nYODDjn6tPmMCtqEDgEKahDrzF3eHD4FBJnVjtOb4bQznLDBV7Ap7WmO0411grt9wJuK/vhiKPaz
8xkOmfrdxk9TaApwhqqTKGkBuHbwddAXfYa3o9lliyTYV+0Ao6Dov3uygbPhaRZFLePNMZ5az2er
6KJyT3x7pELwNrFUg35y0W5/CcEI6AKS4XdNNC5tk816R4TDN0y6j22PW/fjnP/IqFPrPf+5N5D2
33v0vj/YhuKfz3/W8Nzr2ec/299sde893Np6+PB+v+oEaBvGqnf/Pn4dVdf92D37/NR5cP7fyqQ3
nsXnP/e2tu6787+/1dv+fP6zjmdd5z+Cx/D8B/4jrI3ZZTCJTzL8Lx6i0I36IkzGYTbGCvLjJ3o6
ZJwNQWOf0OmQPhySM3vp4ZA0rKOeznl40Lt2VIC6NLi35akgvMDW5+hlh7ZCH7+1OfUJThqL2BBo
04fBnkbFeToOTi5FGAWg9VCitrkd5OfpfDIOMMAtFUct2Qlaw6G3gLQUYMKsP8RqpJ4CBt+qw1Px
bNiHD8CKwM7oE8944mnOJL3gWACPWUMeB8aDp21ilsmq7LhMTJBrMNM59Os0zJHNNbQkTaKuCe1Z
St3k2Gk/RIXHE1MHAoNNaDHPEkETOqkJ8czECA4mg5806SiFQkwApCyOKLREY0NkN4KJDJsVLsyQ
OPSEdXw1uSTcMG1gjLOcOzY6T/Mo6apQY1bctYaKn8HOhAr3DocuEQGRMPSKtKOYY8fmgdJoeiKq
qZBvZbaQ7HMSKfSRFpLZvA7EvmdDjbDcKimzTnWV574wS8JbtU4At/JURWlJ7n0CSlXIs4/MPzT8
KPmCFnafQtcYYrAt41iJiFN5xeB1GxsO0FmYY4pEERWLThszdE210N7sVzCkxY68lq7OkHWGfoXh
N+lSYoNrscDaVpRdjqxMIRzJ+KD6uqaFZSPYCaS3A9AbHVTdYM+b9zisUEZM7/A5cBCI5pASYdMH
Yn5t3C3FBjfHz4jU2gkqD6FvBUWalsjIohwzulFQ3vGq7spwZnYGAdToyu55mJzx3CqPuWrqHN5Z
tnDd0PWaQEmTpRcGgTj4U/R+FM3IsyJlw/08i7oL8anyGFjcvtKxo/fRaF6IIQ21rwKvMWSLHjEc
EC8n4UjGkZpGYZKzqgvLLC61xUXKCKI3Oyef6QQnKcsPIStD7hTroCRTMRrU8GJM6dqP21rNEdE+
5TtSNvhGNbUx5BBc1gUEo2RON4/sosd22E3rGFxgsZp0ZAn5LLrwcBB+Iy/1Y9aj4xR4kl4Q1+CQ
6eEiKflcUh4lO48Kn9LYFDJXVx86L3idQdqyp1p4kr6LloUX1aGdQZQbDQKolhcJoA1bTBmf5Uu5
uZhRhLPTmEPkIrZigRGNaCakFS+RQVMp3zHFnZTY0huFr3FnoArdRSiuRc5vBD+GFquAIrLGvcuP
6H8UeiTd9C1Klkr2F4qAFBoJ8Lwbzjcpa7XQHm5M/LX0xiIdMzPgoQRM+Tt5MJ+GsHEn9mXEBm03
aLCeB5Lnl/J4uftXk8J/GFotowQ2xGGgDS2S1uPJBDROUogMPpURBDH2XDjJUxmHkDdTpn6I4TVx
j3sZcD4pGacQ3+E5IP3Gi0P0AzYypAkLFWyeoyFF9ngSC0S1UMBb8cLI4rMQdcTwKVqykNnkoWXB
iBo5Zd0VksckN24NsI/QBOy4eumDBw8CUHGVmYOo3DbifKMboKFYXU1dkGOSJpNL38B0g6doNirR
2qF0JxCddobvMhinKGlgw15w0aUkvhqBcWCWkviSmWgF8uYx5ui7MSr/CThfrpsqLHqG56nW9tgR
dnrMoI0FE+MmpsV/2CywiU1DtAK5604RvUu60iSp9i1ei/5B5hzlen2CyiBedA4wpfld3W0YsqIt
NiMYFnZt+29iBLlxdVAkZ/EwL5zwtgaeMlgv7osKVOGzaDYJRxGbaLoIK6HAFrwTit6H2npMQNGx
Ag2Ul0kRjop4xBGAkUXknpt3Wkk4ucyNitDANMXt13mapfOzc6xVGYnX14gKHg2NhRSxOPiK0qh8
JY8zBNOZuVWMIDOya9KMEDyR1wR8Vw6c0v7bF/oCwqfk+D7GkJZq+mKCi9/mMXrDoEe8p7y+jfMn
OBixjIxHQAUKS+/EsJHOaDgjRHJByzaOHGLU41yCdp5LK+BBTwU82LVyU2N6O8QBPuMBhR0D44hs
6BitMSm0Z91jXUWMW0UtlaqwpV3qOgir7QWWF+OlgKiy/L4wbgPV9YRu6JmhG4bPQYTG4UTHYlgh
iIMivieOQ8PKhmOOXMNrbKbxLG+U7FVJZ9bQ23TOkaMMCzUSTPm29+2GWuPKWA1VR78DicR/DTGG
LKZupxzzwHUY9cXm3C8f4TuMkCWrffiyi69EqEMMPwBfMSABUcyaFiJjg39C6GLEsoFZePEMwCwE
5SGGt0glTMKaRwWUqGCba0Z2+dMY6Bve9JpIkrJs8xbdP6wcReKZxaFXsKEVY7U/9jUBbIEpTRbA
FiX0EFdknfR2vToRKRavDl1DX0vhsO0wNmRWwUcVc2Izl6LeUMcsqMYpA+dX9GS3fLwAMV9my3JD
TmZLFp5svFdzGnbMNvXoe08UOKK0AyLRgI9mTvQrGFkrU0GcD6UF3QBlZ8K0AAi7sUEry+ncaYw3
Ibjn4L9FqxSv0MSjHLXL6hjybJOOKeS2wHNQwbk2iLuVAPLFhHN7sEhq1b2HCKoALODq1qF1DtNb
flrApwPuuak1UpY9fyMQvYvxhEyWrzLjLb14wVjCZGbsCPYuaDaiTcOff3V3fu3p7fj2K8dv6EOL
eR7FSfDkCXp5B/9WY6bQEU7e+7D8nUVQEuiSpDwJf+cbDzUq9USFhrgt4FwWUIh45hy/dgIuWdKp
NC0e+7/KtNy+tZQsAtY3zY7y+IkQeU5KsE9CLJSvtdIMlOaEk3CAJ5DnnM2qUiZB310+vouQJw3g
NqVXSkNRQtqNDVgT8cGS4HmqA05KrN0J7Onx8kZJmG2ob3R5nI0HjiNHr1RLpabfWha+akGEaEVP
pjRR9Z4IW+WPbVid8Aar2v1fUHJL6hHeQtX5lOxGFibytAJvVaNgaUv9cnRFfDxZaJzRPY0TtIK0
eNodd+SQqj8qQpCWyanLe/BzeRYfgzdLpDFGdgEExfkVB95mCzYpygPlou/jA92efTxfJrep+fiO
aV/Br1fj0kZIU1UVMFobuqLHLLR48pclsasY+KH6CDu0CLscctu7N/QctRtEOV6FLsf/SXRZ35YS
86p9rLN4PqtlZR9Pfv0rPpXqWcX+HDsD7nHTcZZQu4Hgk9oOiFG62nbA4wugy1s+AZoKLQ6NVLAb
KR4hDYUFcX27C9Fptbv4kTYWH2mfwbOJtEvE4yPvNhxsPFPa/PgxNx7OGW21dbJbVbKGcb7aoF3u
Us+jOt1IDGL/AemyDldX+EP128Xft6lczArX582VFAPSAxaNQGUPlg3x6h25gZ58PmEHlUed/FJq
RKDqd+KFO45WwY4qhqSs+qQjqPvswqxOyH2x5zRb5uSjGkMOBJLLTSid0+Hhf4teWwh97BubN/s4
9/9naR6/v+mLwMvv//f0/d8+3f8f9D/Hf17LM3jo3P9/OOg+3N7e3tr+Zrt8/f/hVvebQQ8+Pxxs
N6DqqLLqx+7X56feg/P/Via98Sy8/9/vwczfduY/vNz6fP9/Hc+67v8Tj5Vu/z8/PNr/+RO/5t+4
QhDoYC1U1ff8eQZf4Zb/NJyhCoQ702l4eVLt2Kbu+9MYsdfKIxqxgzhBg83mPJmIvzJUlehSORCK
3aHfhVkckmsauTfiXadWOziFYpNLHBcVBkJG0RUFgaxvoSDbN+jirPhwEcYFfCDXavhzFo/tYghg
7z2gOQZG2CkET+BbdPgJZniTP8+NlnAlE39SQquBBQ6j4AV59I64hTojsTyUF99yvDhCCbOp6Vgp
5ZQLRt7eWOPGYMWBWQtW0gSLV3LQ9fkcPazpbnOc6LnFhFfOqeSJC2WcMZFXwXN2VsrZ81r7rlqX
Yal+pbVuI0gnY94ZVRdBfFUR/60k69oJOhR6DG6Gi1oD7zGhI+6q1OAhvQ49BIQF3V2hq0t7ybfh
aRfn4KwQEp8XD9HyEVqCdfpW3UMvb9wX3p6y2FZeyF8yTKLYdcZJgljQa1hJz6JiQQEEcMOMu76s
ijVXi7WgI5UNuvoMiD0npQbR63a7dxU25MKP906SO8pBIBZ3YQF7cRTTDV7hTesCi3KhDrMBD8I5
cEU6Gs3piJovEKi7ChiqvnTLxDicQIze2QkSyv60Zt1qf1rncEACv03Y0RLglOXVTgRwtVbd4aTE
naXRxIQFhb7tE+e1LvqsNhhVeCLUJErn+Wr0XxncVUlep6H1ygqfwriW5ht4nZ9UvCAeg3aMd3Yz
I7wTaKjDguMcoLIKanrbDIlwnoJ0I3JSkQC9feLJmG3TQpLzzbYWQbJCGVCnjXgYDG1pRIy1DkwN
hX0t2GiSAxZ4rmgRPUwuh2XC0xtB9/KHYZwMz7J0PltYgnL0UjFj2HGnMc8tDCLYORB3WGDy+CwJ
JwbXcAgLpKkVByXOGImOAN1eygQmLBwUSRb3mu0C4Euk7NrYzLvfW0vbDc5CS6uERCKUSIA68Pf9
o+DV4Yt/HAVPD18Ex3s/H7/cOQh2jo9f7H/38ngv+Gnn4OXeUXD47OAXcf8PU2E7Cz5eNJaRcYJn
c7wpellwTCtUNEKOASV1UtU8w5JhrkgZoTdUkbfwnKu4Rfm3222pON6lKvoMCTWSHCPCQS81dLrs
XIDOKMKV4dl9N2gSrCavlrivrno0lRiPJG27RXx4JKlAxaxeVutV9Qznuw4somL5yT26OVjwc/9Q
r/ZRMgpnoB2D9j9e0BErmperkOk870sdRuTDISVWKI4Xk6SJq8yEju7fImuPL36bDK2xfEeEqXej
W2B5Hf7JDaPWVGe2TQ5YyJo0bumalee1XFRF9DBTMNUdk5pjUWsMFgOgaWMEaloyjOXIQLWHby1y
0WdtW0vDgnXQTYrsvsYOPUhP/gmSJNe3mTEGw5Dicz7hHFfWB0p27P0iIjbJb+ojrfJegPzFC5E/
VYFMMeaWFyR/8YLkT1Ugkf+pG3EJJn5ifDzfinj09lJBa1gxx4yBZmcDpHs3OCLtBUWF8FaRUTCM
QHFhdjbHYwEz8hkMX53JqW0bCx3ryH5ncOLyqbSCjWutujTbqtfSoBmSU8wf4MIJoRCMJulIxCGi
P4dn6ItCRr6uufbRx5a7BP0bhqsD///dXn6OyMuYrdPPwiRlr+N8Kf2Do0kUzTg0R5DMpydRRtYW
rm7b5bBk617bMUHya8VEi+wGZltECg5aQocEGv1Eo69Pj+gltTRow8YazwzOjEhT+rOfpRWBqj4v
ppkdanOtXLvKscpa0GpQIOQiGIdF2DVjgURjKaAQZzOZ4zg6jfEzapRdaxs3RChI8LsUylC+sXye
c3gXvRM/Hj0K5jB897c6TpEYlNslRdBlYwiDvKxIgmWqi6iY0lAEJ6PzXd3Sp+/GrX1Zjm+DB9+n
pLPx6LKFe09YtrOowmRpG7mxLgHlKAB+EQ7KBMW5RZv4SYrntWjY/p9VtDcrAKoYISl9DGZYrvu+
TNA92QyNivA6HAkVAw7hjmwczUB9w2NBZCVoBCQS7CywZGSexCCo4SdAg8CiwUfZwntPU9fStrHO
4QI3E0GQ2V+yEzQ5cHOSJhhBJ/4X8vNJnk5Qs8ISeHjVtBYZCQXXmV10IhCHFu6xlyjlD25WN06v
FLEU0wLt1XN0ilW7ImyhqYLxllvX4XTxVwkJ41sdTMgUIg9txfGUiOvLp1mwGOJGCQSCkCpd9vjn
r5tbKs5WUyCOcmSek3GDetDY4CnHFmmK8q3RJauDWRrLNjn0cNPqu2ryBnu/FmZd5GCw3qOw/Hxe
5Jy3q4QKru54iwbxxCB7fLEjp7BZGBZYJ16mqGtWEQTe2LBic+kQsmgjFTZIZCKO4MbBMc1vXeOQ
Iy4q9CkSjnu60nLZv+5+/8gXY67V61X7Iy7jBNk8QfUWZApdTCVLHxrrGfa9thkZmhc/DBmN6j5M
QaiKsRPRZUf0LzgP37E3VpyEdJXpPJrm0eSdDNovywmb5tsYydThQ1JVTShnsqJWI6AP2IPhrQ/3
H4k8WBGNo+/JSjuOhE0W1lfin3fxmNVdwWbIpXdySoIAL/FuWVQQQYdMsM17iwm+gJTrcopbGtXN
COiGaq9ahVa4FgibmE1UhXM7ZTm+JqOizlr+p3b3osX1cDLmKxnPoouK21dYrucpWOPmK2q+q152
9V4BwocTtKbyNmvlTVY7pM1uiLNxxB5CyonrUaDDM/luq/quTFk/FDk8d7yE/1YFOfnrCoGF/nOJ
WElB0zOwV5382Hu5dvFp6oIbtBafcwuC10WGZE0SdZM2TuRVWnhh3qYNVr9Oq8pwfAYd9Ny6Wuud
tZ4Ltga2HDKu8latXdK9Sot7zyfUUzt/rfJT7LVucUzMyfIpjYIxxddK+zUtDcLhs8biMBpWlq0n
2q4SD2GhdLNEUA1JZ4sse0zKEVd+m6eF6mw7+PrroBnc/Rb+gb/4m5qS+A1FZAmGFJmlDze8Dhmp
5LPqIL+3MGtdpvAI0z2cFDUmcMWUrZqlzmQ2p38gQoLqSVzBuf5oBUm6ZCrLMmoSl+cwNd9eo9Gu
0ZBGlGOy9HRIE535p7Io2vOU/QNqKaI319ZRJDEWaCmKcGuaXs5AcRtysD6lVbKK+f4Dl8y63vA6
wUEBvJ1wkotxOCukxYlMR+S73ozeF1nYlDC663bCZA4ehlkWXnq5Ekvx7tssChNxBFuE4Kuv7KA8
FA3CKNcquzKbn3X0+Zrxb0rwDwA+w93RAAXLV/C4PREMjlds/eOL4asU9j+zImPOy+N/RcMCdg9R
Yr+IHzNPwgfNp1ANfiBm/PviHJ1fWl8iXAoPDWIzms6KyxaUbJsTBMB8/bWOhMGAZC2820g1rNlA
3eZSP+wOn+29Gu68eLHzy5AdvVo8Sh1C8Oug38FyOwcHh7vD/e/bAvn4JlAnPF7HbzBqDzfaVpXO
gcIG5ku7RkhJQpj9ZPjPXh4cmPsUcoshw8rJJGI3WelXp/IiQFlVgpzE7rKrF5ag36jIPSENj97f
vFDZIE/POCmkx/8IJEURMK3QQMSpKvg3fwOJ+g7j8ZvvouTd7PUbINRGoyEA7abTKYgYnAJnsNzv
Je88gbpUKKTSFHot6n/A6m8YClG7XTXp8DaCpCbdTegW6TDM83REw9kCDNptQsSEw9j2bHR3WJrI
ol4tRGNRN7yZV7uX7aoXTUG/thHhTH00CaheIj6lqxs+lUCKt4o3S/UEnpdCLC6Tig5hpTgUxBWq
uCCwTzG/RqQwf3CwhG5dCekyTg0pAa9x5ffwrcMIUshJCUQVUZ8I/vIXFBsoh6CdrEVaRFuKMkeH
F/qCHSlswawxJ8oqk4tpVg5HdBs+Po4cmZXkiE+GGPJi5nbpBkUFN+Cf4muf2LNrTuzZ0ol9C9N4
tnga+1T+jzN9Z55BvuKk9W4LqqduiYFLs3Y5iy+csLc6X63pyhvvhdP1tmfrJzJZrzlXP8ZUXbLg
fgJL7M1N0drr6tK5eb2p+We5y0ot+4IT44de63k8Xj0oMVQK/hro0PiloMPXjiBc+tj0GMabgqqe
6b5w2svnSlGHHaNjmTBPFhGmHI25RddK2xbYZVX07WEcv7ZhZDSvEffY/53kxgr2xGUSS/GNgHO7
4okpygP9WFkK6e2NWN298ufTuk39B7ABNqgTpSMCfCtFDHkcVYsaHFYhVnjWqCFbWZZUyhFXhjQF
6SvkR6XssOXGkmi5jdKkpr7Gp+RpFY1bTJm2V1bYs15M9+Au+6QZnlwSSHuxHKkCJ66ko9vZEP72
QCtLGB5bLWGuJGuWChvFQQIQY3bTkqdGlPJEehk+LutJLKOImf4irtM7upGSV5W6ETEuO4Q+US2t
Td5JwfMK/vs0zTynfUYGCy4DEFSEhY5JCoyFjbDuljIN6ZochQELLyljBWRo/YB/mdllzOb443Jw
OnqDF07PSm4hCEMs2OsEVxNlspVblmS8cnzSwuympNjNiC8aWAqDIc5d1yDMFDNxk38YySbIDXNA
iLhO0PuDSTk59JpbhUu5nbR62Si6zE4QrjgoahSOXu7u7h0dDfeffb+/u3N8+AJQf7X/dO/n/eO9
7yVDP7bzlgAizPnX6IkCcPt9Odr/4dnOga83dOpmygGMjWNcVl9iQHHlBxPiSdDCuwEqkcm1uyWh
YW9wXI6Od45fHlX0RsmiVbriCLA19ON478WPMC5OJ/4UYX50HBfhzeXPdT4a+gvS0e7qlpNr53Ky
VHgj0k/1inkth8ag+ZT0CUxURCErynFM8mU+U+UWyP0L6WqRg7zrFBz6D9K6KpmgKgAkae49O/x+
53inWSrq8xvDyESlgrSk1M58Yj1Xsnb5yU0sVl22yUcbOBJ4GaQ8GF4HUvWULKRWUb8r6Arxjm4j
to4byYMBcGydSgiPgv7gm+AkLoLz6L0AxSvesvxaSSrKXTlrryMvhC8rdJj/Isylyvfxve5A+TuZ
n6IPUv+x+2bAb96loJZ9hS9Zw2JVFjW+lqWoSThQCkhQlpjwXeuM1BSofLqSq/fhU+nlJx/mA6X4
KVSACG/1q98bbptuQ6CsnmZRRJ/Mekbf2MdoiqHZRhrtr4O+PNgwaDBYSANZ2U+KgZ8UWCJiNfdJ
sPdi59kPe24RYr80KeJkHtn0+P1WqOpq4WXYPT9c6OmS8eJ/hRZf9tHMq5Zk7wK+oPStLN+112/7
LMG3aF83BWOpiFhAMMbUCgvI8lyNKyRqpFXljxuxrXL9CNQSgkHsjpgzrr2a5HVWk0/EhZtPknFn
75N9LVxIvmpLzRmGYhIlQn1lh9Je2zAGqOPkNd1S+zOF0Ws0dJw8foBEaa+31et1G0akPOPTQH2S
Qej403tM+wOfGkakPKMagOw2zFB5xqeB+qRBik99hGgEyjOr9ba6DTNSnvlpID+VIPb6XV43ZJw8
VQ06Da1ZcfLkpwF/4jB56qFPffrUaHBkO5GmDgbVuwKVC/2hbshwUMBTh29v5TovPu4OhKlnXZCR
oSBu9haaHiZhnIXO3ppwrXUlzb4fY7JRS6QNJiTXe5/3Pzc+oopv6DcD8bejaAQfn/F/1jSPW/82
Wv3dNvbcgK7YbKrJnsmAT9IDgeJCLs/XfRUlUJHUd/By43dMrQEU4J4Zf/vmOM1snuQ43Y05Xnlv
dOUJr+c4iLj5qCCWxwBJFCVJ+7zYYTl3Dw53/zF8sbdzcLz/4x6eykBhnxyADgb+9Nf4PFvyfQUx
4gGEOHWLdxjecEmTsmRiFa0QTZWSaelNSArGCe2zVF8kw292fBFm00CBjwUAEWEDqLj3W+4PRv3h
/pgRbJAjdJSaZVTQYUmZ+2lLof+8wvXqyntwV+H6LPqNSQB/COZBbsHvQyZabn1PnALPuITT1b9A
aWOH8fEXtk8vhGqZb6L3FGopSuZTvrhpRg7d7KmTqOg0ft9qPj0eNtudAEQ+8EWYR2+YqtRRDnUp
rBKeu+RQRoa4kUW/j/B+TJJ2gh9FiFTxV8J/wkzo0GbqGJAR5wW79PIahhwFZYVTmNLaqiPG1uhD
sPkr7CcewKN7025f0zRkEIOJKlZ3ioGLI8jKOwFZyayja1gBjHTY09JAqzG2gitoouXpNApeQ+tv
nIMiPMamssB0ogU0rcPmhaKutr58VMJ4EavZJeOpAzq3QHfNsxHfFX7i11VMV1eNBMvhfqvOQTgK
cb2CsTjbWFpQRiReoXQii2v9zddNEahYGMW0KCnb0ez4xIuPbVhLEFk+KhLerWJ008KIB4wHRyfJ
4gemtlQTlauOnOTmz8T4Lc/w9Uw3su7wo2bu8n3mTXkAiQWYZAP+o8zzbNAzPXQEnz6hs5Bf9o7a
1m0R6dQjBPlfBLB2hcbIFSYLapjWwDz4ElRAxzOISeUqk86RBoyUfRaxbzoL4SPHzfM2Kb/mFo03
cjDhLayBL5/949nhq2fVrkoK6Z6Lo+h+l6e1i7DxNTb7JxAyPuMk8/bOLANvS7q52WVPWdbOzb1t
62i4f/Ri74cWItF2T6RswkCxlwc7L4ZP9w/2SsdIEtb3+y/qwIJie7vHhy9+qQS0+/dagHb/vvNi
Z/d478Xw+72f9nerEfvu4B914H1H+7IlsJ7uPz2sA+zZzo973w+f7z+vBnXwrBZaR7/8+N3hwf7u
8GD/2T8qgR0B7rWgQbm94yVHgQtmBdVZamf6EwQqb6iY4UpbKd3TkkV6qkw4qR0xzVZ6rhA7zdUI
3atIEpsFDkjXDaoWNL93UnypqO7a2XmRJdp/q6teaEkjrHrF3kUNIWiSoLvBeizHs02le/6xwS9+
Stre2FYZowFV3HV5twGr/UAlWF2irOdq3vPFqroNO53N7dwej592jbYUpKHyjx7ejoM03akOR8Wc
EXv9fOf478Mfd37+uv/msS7wlVBnnAmt69lnm6TNYPSZKoXGVDjQ7QTmTzgBcgF+4k7yKJ1dqoud
VjtYaaHisUhbUpNFNquaS/Ki1YRHaWdrjjFpxPiX0xXty6UJiR+PKCiQZ0aae49uCSZUQ7DOplFP
WvpEU0eZuF3PQIXUUnkjGjNFzmNfSzDvoejiJmzZgMV93nzY3+rQc7c0ncduSNZPYDpzIovyVKbL
EPG/Ip7IY4PXChGTDr+mpy3+2TYnNdX70nN9wTenBQJY583qs120vu6Z/idKiVHr2kFrb1eazL1X
dCos4XXPgd1opE2zYXVw4LnjsgzttaMrapu5B66Iv52m4I9Hfxv/T3ggvvj8fH4+P5+fz8/n5/Pz
+fn8fH4+P5+fz8/n5/PzKT7/Hx8/3CcA4AEA
--=-+lvBl6uCCGMxnclDqq15
Content-Type: text/plain; charset="utf-8"
MIME-Version: 1.0
Content-Transfer-Encoding: base64
Content-Disposition: inline
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KdXNlcnMgbWFp
bGluZyBsaXN0CnVzZXJzQGxpc3RzLm1lcmN1cnlsYW5nLm9yZwpodHRwczovL2xpc3RzLm1lcmN1
cnlsYW5nLm9yZy9saXN0aW5mby91c2Vycwo=
--=-+lvBl6uCCGMxnclDqq15--