[Modeling] English/Dutch Auction in AUML

Marc-Philippe Huget M.P.Huget@csc.liv.ac.uk
Thu, 24 Apr 2003 14:27:45 +0100


This is a multi-part message in MIME format.
--------------D385DF5C177587F8DE89EFF2
Content-Type: text/plain; charset=us-ascii
Content-Transfer-Encoding: 7bit

Hello all,

Here is the second and final example for today: FIPA English and Dutch
Auction protocol. As you can see it, there are some modifications in
comparison with document FIPA 00031 and FIPA 00032. Any comments
welcome.

Cheers,
Marc-Philippe

--
Marc-Philippe Huget

Agent Applications, Research and Technology Group
Department of Computer Science
University of Liverpool
Chadwick Building, Peach Street
L69 7ZF Liverpool
United Kingdom

email: mph@csc.liv.ac.uk
http://www.csc.liv.ac.uk/~mph



--------------D385DF5C177587F8DE89EFF2
Content-Type: image/gif;
 name="english2.gif"
Content-Transfer-Encoding: base64
Content-Disposition: inline;
 filename="english2.gif"

R0lGODdhUQImA4AAAAAAAP///ywAAAAAUQImAwAC/oyPqcvtD6OctNqLs968+w+G4kiWJYCm
6sq27gvH8kzX9o3n+s73/g8MCofEovFINABMzKbz2VhCp9Sq9YrNah9S6fYLnnrD5LL5jE5b
uuq2GzJ+y+f0ul3CvuvL8b3/DxgIlSdY+NRnmKi4yHhA2Ai5gRhJWWlp9siQ4vCipJKAyIKn
tDDpeGEa9TmSCnr5ChuLlamZ2ufVNYZSisrJ2fqRSwJ8Kmt8jAySuRmw4utKGu15y/us+Uvc
DDyJ21yLke2dPE5eDiet7SisytydHn27qr07v7tk386M8Hif26JOTx68e94+5Qu4aVW4cOYa
OqTED6Ena4QE0nInrh88/lL0NkLTxXFfHlwExQEceVKaPpP2JjB8CDOmoGX4JkZRgFHkSpP7
PKKc51FnRza6fobkiTRixJ6nFsp8CrURP47rrkFDyjMOyIzTipU0is6dRqAZhS376G+dQolO
o7p9+0dpWlsdgeo7KDTgQL0F24VFmLZrOpJ8tQ4N/G4t4rZwGzt+Q4vOzrd1H1u+DCaym5yU
X2L+DFqE5s2Vo5YOjTq1idGqM3tuDTv2OayytZyujTt3hLlIevv+jUS38OG70RE/jjy5FdbK
mzt/noE59OnUqzN9bT27dtzSt3v/Lrs7+PHkMYsvjz491PPq27snx/69/PmX4tO/jz+R/fz8
/vvf2e9fgAKmAeCABh5om3EILsggHwrqAVyEAnUmYYQNbvbgf4tghwyHanh4oRMFOqgIiLKY
eAaKIZ6QoR0qktjYi2TIuGIII8644WM0ZlYjGjeGseMXQUYy5CH1tNQjJi3WUWQWTTLyJBMV
0ZZkglS6GBc1jkW5mkpXVnnFjzzGhZOOfkzJJZguLSkZIFrGuEdCLaWpZnFftknmVXDRKUad
Y/LZZZ5MwVmin0KyOcdrkynY5Jt7YnNbNXo2Aaih1VQ6DDhAlrnlM5GmaKmVmLKiaYaf3pbN
hKOeSdGljEn6TgWrhspVINgRNpYzZMmpF4ezQuipP1TVdCSughn0/qlVtC6HqBy3ejVQWBOR
dOdshNZS2UjdaOWVWFT1siyz1Tpbaq1qHYXkUdGZeZMr2jZ11bbmxkrBr5aKeSi48yY22LRm
ScKustNG+21Bxdi1UbIChztIs5CBg2RFX+VTj03lPsqOUIlpKzFgX1m8JsNU4LuFohLqi3Ep
FdIwish9jvtwoZ2OTKnLL9vrAc6iBXyIwgDbbCTMGMp8rSE610mylfrxXMjRaibtZI4zLw20
iA4PTXXRTVdttdBtOB0M0zNxXbPXH0qt9dhkBwr2ukSnbPTabM+0MnA61v2b3CyaDR+tbeu9
xtXm/N0c4YCHbDiBfh/OKt/jJI4c5Ix7/jp55fhBbXnmw2Gueee1cU7k4p7HLLmSoZY+OuiQ
oC4c652rLpXoo38teDmu53Z75rDPzvtlu/cOPMa5B0983I4nM3x4xZuefNSnL09i87PIDn2+
0odJffWiiv209n96D/7ntYdP/nrjl4/+Q7+/7ef1gK+ftaHu6w2/8femL+78ND+P//76v3y/
/t1MgASkzPkKiMD6HDCBDFzdAo/xP9BEkGv12xr/Gpip43UoexhUxgONMUHzdDCDISwbB3xW
MsOhcGcjZGEJN4UtyE1IA57hxqJaqCENSpBcisOhBV9ouoNxKjqhABkXctaKbUxqUD7kIRD3
BgdjIatXfZlh/sV4NSwb4gNVvQqMrhTzrivyiihVvOE1RPFEhlVQbXbaF7W8NY1/gCyMcuxX
seBYEnWoK2Kc+skboSU4NDUxbDoEYcjc2BM4UklO6DKiEPPIC5QYRl0Gw4ofpaVIhghykB1Y
o60O6cd/BaWIfbFjVUAhSpXNq4sF4+NHfJLKKSEOXpw84QdPBEqCrcUu6dLYYBhJL19GaorC
GljF9uXGxfRjmULDIiRrWao0QhOHnpymNUl4zSqYMZv1umUspCmToXAzcIXEZfueOc7ZgNNG
eGunO985g3R2s5zfPKc3OVlNQfVoJevkXz91J8+f/TOg6csnQQ+qTu6BaaDtu+cr/hgaE4h2
j56wkKj6EHpEij6Ugxi9jkKrZFGQOrSjJHVbSEsaPIOilKQqBdZyTgqjlQYlnPCsqU1vyrKD
thRrQhSDFb0D0wDt9GxDHJkoyhPU/gzVRwsbhAuQGtClBhFInRhPUvMj1Zi6BgZWlWdWccSH
eALVqyO1X1F9mtOgPeWq9/kqDGGF1rRWh630ceuY4OrUG5xAiX1Lp13zhdee5cAl4vSYro75
UwX6tawWDKyIeJDLStpEYrWCIFk1Gr+t6qA43irKTD+2wcVi1qyaxcFu8kiUYqoFtJYVLV17
KqTBEtZjx0KtX0aLJddGtF3a1Kt1Xiufv5aMt0aV61wv/gvcK42qBmPVLUxMsVwZgCe57hGu
0s6a16d21bkXDWsdtztO6zpvRt8FLzfFOz3vbnM71G0PerHXVMG2F1TcdQh0w7TC7Mw3Pe8V
l2NNWN2oMraxS6zafvk7YALDFmgHRjBujdbg5+o0wRA+XH6b2N8U4nTDHIZnRzP8VvnJ1KNT
E/GIZ2rAC44YxHc18YlZDFgXr5jCJ65xZW2MY0JGOMdqpDGUOFpSGA9XxTIV8nUbWmMjj1fG
RfYx2pi8UiXzuH9SnnJBnWxljFbZv1BG6Za1CWSWYjmzSLPxl/cXwBePmbRlTvKasyzgB8M5
yG+ec3jr/EkiRxnPblodjS7M/kM1y9mBUFqvHiHFvj0POnY/llVGn9zkRTcabal69AR3jFU+
63eMx+Qtb7Z4u2UaWsuaPm684nhYbg3qlEPjzIwlTZ43uZqJSTmY62Rp5lLHiW6jXHBPqeil
RHkJ05fTtUttdZg4soNjkx01VZmJTi8bO4ehsxGZpQ3rREO6k9emc7a7DWEZORsT2cr1twkK
6DgT+17rLva5m9bheMsbCDg+MwAXam+y5Vut+6xLu+ez767t878fnnZu0/xqYv8b3AV/t53P
a/CH+zDgEu8dxaUU5oYrPOOkdnieER7pjesZ2yIHuaIXXvELXTzlnls5yzXn8gyanOQfTRLK
A+zx/j6P3Nsl7zLPaz5wN+f85RiOONEZGPOjM0488266058O9ahLfepV1Xmlj50zju88t1en
dta3viz9MX3XHgS71p3YMq9z2+xsR3sbD6507qit63CPu/LyTHcm2R13c0973W3Zdp9z3e96
L/vMe4x3wuOJkIcPl9gd1rw/n13whc/7o79+sbU3Pux9f7u1Yrx32DweZpoMpq1VofnQi77z
n8dJYUEdEsUcabLKjq/qQzN6yw9RI18EZCv1KGpusHDzk2+14hPZlLGcniu5EokjC/wz4gfe
+J53/raaz5JvYb/ZDwrSzdnIYNZf3vWFYSbty1ITVZMFu6lHsoHFbw1h/pNq+m22+vFpd3vx
Jb76+M//3e3Pf0Tlf7GRe/fHVFBEecWHf6kydYEifQ9IOgZYT/Q3UQDYeqH1OA7YQ++3fxfY
WhmIgAfIgRY4fuEEeqg0T+wXCi/xfdRRgAGoPuPGCgdhfpGkTLQVfLxEW512Zx1Ygrs1dAmT
EneESNeXEBaTLnchTpdFgvGHPJSTXpC0TZd0fauWfs53aEF4SOHng06IgZfiPLkyhT7BL8CW
Whuzg5LTgoTWhMT1hO0yKxzDasK0F1vkL2xBg6jWf1zYhrZnThDofnmie4akhaY2goIogd+0
horWhwT3UIsYaY3IfhUFia8midBXH1SniVSn/m/w54YglG4HUonalkODeCKhKCCjyHB4YooT
qIryd4iN04oVpYAViIgwOIBBd4m0losL5Yl+2Isr8oIeSIiAWH+3SIx/mIAU2EOzuFHMKFJd
+IkfuIzGSFTOqFjW6IvSCIzBqHK/6IjeyCDD+IPiGCLk6IXUGIg2g47TWIzVCI/Ul4wTqI3R
uIu+pozr6DLt2I3PWI82B46TODjmuG0uhY0FSX4EuYryd5D6kSwyqJAxc49GV1xMBJH+8YoK
RnYNWSJLuH4ASUEBiYmVcFsXKVSdyI3hSCRzgopKhZITWYixdVi2yI4iyYunaJIRCYvIWI6K
mJEIxY8qCRGJpZM6/geTMFVe9siHPJmOj0gQOYmRL8mU7mgJJdmSmRaSKSmQQ4kRUImVsbiR
iSgV/qYT2wiWBimWG/KQV1mUISaLaemQxOCVbdlib4mLjHZaP2lNQbmVtAiNIHmUA/mXujiV
/ZiN8XiMdjmPfvmPhKmYPUmPiEmTYXmXdOmSWjmSlnmZgamZC8KXmemPkmmWhSmUJFmLo/mY
TZmPibmPNomPkamPIvOZN/mOsYl4nNmZouiaFJmbrTGbr9mbbbWbMemWrCmbw3lVehloS5ma
VAmbxnmbpNmXoWmbjoecR3USO1Fe24mdqJYt3UmEefGdMxme2TmeqgKe3Eme6ome65me/u/p
nvHZnjPJntoJn/Npn/KZn/h5nvvpn/0JoIahnwFKnGvHkcGpHr/JmwiKe8jJoKnooLZzmkrZ
nIZZlRMKmNIJmodZnZyHmbS5mpN5nB8KnNQJndZJogv6oCKUogW6og3aosr5ogBWoaUJERjq
mJS5mCYqotFZo9PJoSfqobgJgo1ZIwrqokNmpMIYoTPqbkTqpADXpBAKojI6IEianPBGRWCk
bFyKl8ypo5DJmFbHWhFzGGfKlgIIpmhZmUFKdpUEEtSSfMrHhmtainBpmmw0Mca0K6yUpMNn
p4PXphdKNxKBWHkoe3VakzFKU2mKZjtKdFgKhKa3h2J6dJIq/mElSl5y6aj1NqVvyH1HKpU/
uqGEOoSimpVQ+oUdiqPRg6c3CqRXOqphqpqw2ak4d5Z3OqiUGKUSqaEgCoq9upykCqw+uYnH
6nStyagSSqmomquCCqmm+pHOGqiV96rVVqpU+qzWuquwuqTn+KmrKqStClYHKqz6Fa7n6mCq
qq7ogal99a3fuKzwKpoUSqvOOaasOpiu2q3YWq8ZSqyaKq36Gq/Wc63t6oLpirDmFbAqurCT
+qsCm6cFO44KG6KoqazsWpvjuq/lerAziKwhK7KcyB/vumT3ZqWVam0la7H35rLak7IheK8W
inFc5j0xK3MRa3DLVT44O38a+6go/kuulrquOkucPCuxDdIom2m0OOMrNFSs1AqowjmvJ9sw
SVuxMiulVZtexKUwchm1TKq1wdWyVzuEU4SGiEGzs+OzUzuzNoqAf9RptnVj2co7bbuyQCu0
tLR+Uli3YQs8eGt4TRtjbAEQyWdMwme3WZuzVKu3Zlt7u4R+YMGLggtWjVtXZctvcOuBlluc
g+u4hKuka8t/nluXefukontkqPQiikuxnPsdJtu1Aoc+pgt4j7u5Gli7TNuwR3syVMa7bxur
Nbu6PYp5qdu7TnuCxtt+mcu18FW8GAu6zou7tDu7BOs2X6m6VmuzHAu1LPu83Ytt2pu8y+tt
5Cu8i4u5/uOLvOkLuMTLvdLLeO3LptEKv9frvdlLv7pqv7oLvf/6sZIwspDltvVLtDQqGg/5
C4Khm2Prv49YwPx7wPcbwZm5FQ28vhS8UZIXvmD2wM0KK7b7dwj8jOKmudY7fPKApnfxvj6K
wv7YuidMwmUnp89nkZVTKSF1wdG3vfi7sjs8hliLqz8LubbavAZcq0XsQqtVRiwsxO71wRoo
Rx6iQsOLrwwZwKj7s8iCjyrsmVEct2RYkCAiu/9LxFfcwu+xtEFrHLYwvR9MxTKswcqgwHn5
xQ6stQLqRWV0aBaRhzw4v+r7xPRlrmcMoyrrGni8vqqWg3NxHerHR+R5vFac/sbNmMVvLK/0
ZcgkzMj0Mocs4ZFwCsJHXMl/alKXHMgpBjFueF+Zd7kVnMevZIZTUVmGW0oPxlcp2MNmzMu0
I2p1KEZaREZeSkzH0lunUiQ5rDJ4ZKjaWXuRuxcZvLhlLL4ezJAKUSwo+A+iJLdKWBprhCtf
lMzWjJNihcowVMiwrMQLyC2hDMLykhWgnEhm+KjQNc5snKnn/D39Ks0vy84Jo1rvTEu23Kdn
CM6fbMOkDMaCqc8Gy8+bTM6QUUzox8Bc1Mx/XMxXdMz2fKulzMMmuIXlO7qoQcYhbRoRDbH9
e40N/dGfEW26PMHM6s/dxdLb89DqHCNk7DNzma8v/sxmKKPSlnzTWtzL8jvJPq2RQB3TKz3U
mIzPRq3QecvBCa1+lOzRdkvNKF3N9urUSLTDh9ulnBbMMRR7GC3Wt9XSSYzFTZ3KWw2wRE1E
QQyGj4TNwWwQiQt8FT0ZYlJ6HfzUf+2Z5abIXFBDkSQtWagSwzTQyDdHu/K3Sq3WbhfUEA0+
HY3GqqTUZlpbRmFG8EzQeFFKfA3T7jvIcN2zUZJERDnah6paaGrDkkvMZ32Et8vW6FzT+jsL
A6zb7UTBln3VNPsqbm3VB5jOpg3YKgc7njXHuB3ZxtbX1TvDx40g/ASyvt3ceLDT2R2Hqy3B
173QuZvJv32TynzSJo3E/pe93DPN1fWCKlpN07W9z5ON00j91stm3unN0PDt0PJt3BhU0tJt
3TvJ3/w64G3t3yZC3vEyl1Vda5+L3gt4264sQKoN2fitIkmkpgVu2/qd1u4ttouW4P0Itt4N
pO3t3Vkt3fQd2F/d35i7g5H7x2H9zGmbFwYje2etXNwNrUvdz+uciuu1xv7MGd08e90iWYw8
SeZiEb+E1muL4uoN5dSr41G9yL/G2HR6eqil4FsRRvBCLMD53Lss3OBdV6EY5Os85NzML0a+
fWJc0bTHkmuO4fe94yTe4xQU4C2+yTUMzRRNh0UOzGc70VyshCcux9+Nog774EedKHmetE/u
/uNq5OjRPdhBlCZhLtLRm+LHwdMVzuj47SOT/uiHXumUvjmn29V3Tq8aHt88TtlRzh2iHuHi
7ekNgemkvbPmu96fjuhFyuE2zeq07cNQLewqLtO/HoazTk45+lKbnupxXJcMjtWkruqyquvV
/uzfe+1fcuvnTbrYzqJUjYlPu+3zTdTuXGB8EX2ua3pz7uTU/uqR/mwpAQD1/stjvczDbO8w
Xu+sHXGOYu7Tu+/+zoP7bu9q26VlaOMGz/B6TOMPDulk7uzAnhUHD8wHb/B4nbj9PuMohr9n
nrscf2NgwfGpNfBt3Guzd4ZoceSG7tewbuzDRctGRBieNvLyPKeN/nSCII/CIi9JnyVJpARI
YsHl7e7lr9nt3b3o4F7quV0Wmz1KIr97T29HBa19/z7cdC6zPn/1Ix/0f6HzRN9IUh8tbW7F
ER/zpi6TrT3oA0/2gs7vXuT2GW8bJ09jId7HF9/GoGX3m83Ejk31Z6uH7/7y8p4awW3nvi7x
tj7lrKjsjqYbiL/0ip/2oIrsUfj4jY97b7/MdhwnnN/0Bm5fmi/Zrh7wvS6Ksyb6oa+Ops88
ma/1ho/cIO7hjB/7ax3sHV5cGM/7ve/7vw/8wS/8w0/8xW/8x4/8yT/8qL/6+Z37FJ/4p8/6
V5rcG63814/92X/9pB+Bl1/rsp/6LJ7q/gkK79LPtrUPxYW/+B2Hvt4Ou+YPceAL3aBe+UrL
/AyL60db7h8e7+Sv/vVPAPExdRP4YZSTVntx1tJt7sFQHEmvK9GqOyM2VV/MjenavrO51PHe
/xk8oGhFEf6OvuSQ2XQ+lqbnlLqrEg3RgNbGvX7BYTHC+wKc0Wn1mt12v+FxuXpUHmfxE7v5
3vf/q/asAGnOsAg/towCERsdHw+dBCGDFEEmw4r0GKkwKT9xPFumREEtPUs5tVIvOU1fv1gX
ZHNgpfI0aCVxRztdbYGbdMlIg2sPJoeZNBOLfY2hkWqUYaKrkXOBmXudu62/Y6gtd8GbsWW0
eSHEr8vd30nY/s3hG2bRbbfXf+n5+xef5PnhUSZgKHVQ9vlTuJAYQIYHz/2DlQ/hM28PMUbk
47CBIWGtJNoLaYpiJYscM6Yct5FcvZY3kqxKt1LfyZcqH4orWNElTQWlPPoUqbGdSW6vSg5F
uRQnQ50Ag0ZMkwUNHgdTq07dUpXqCq5auxb5OjZolCU7u0BUevNjU4xPpTXsKfZn2BNX74It
axXsqavYXNCxC+coSbV1bbpVjK8HV7ly6bqM+ncr3p93+Q6lrChwssKgkiK+uJg06HBmNWc+
RbUrZ9V5z1leiZm22NA8jSI93JNpad+PdEX9XHk1cdbG27Qmo8lrZ4/PlRu/EHOm/szEy373
g5vL8T1IaKkzFrq27ejs4LaXBx4Xt+HxontjPw8v/brukRzdnzac0u3HbOWbz536kAkILdNq
mmi3/9QDMDvhxAvnMiXmC0/B93hzMIU5OOzQww9BDFHEEUkssa8QTqTwPAt1w5DBAPcTUIUU
jcGEhQPh841F96wzDwUc6VsDPRmEA/JFWoyMh7/vFiSqwQ03kXEw/WaC4izzkrxjRwR7jE/J
KKV8wxohIMwNRidHyjFD77b6sj0u0zzzxzgfJAwaUbIUSitDnCtwsuYAdW3PyrIqlM8yj3nz
E//QHIJAMyuUo0YUsWSNz9RoYi5Tu/LICyvV8CNv0SZJ/oUpxnkinaPKDfLUATPXiHk1sE43
bbMhT2+1NVQ1R3WxUSAeldI+DiNktVJbi9wsH02h84rWcb5aDdFEIe21Sw13FXbYDlu8BcC+
Zhi0Vuaea661rJDrNJUtraUT2FO15SBEBL19slp+2O2v1DxLzQZMGUnUFyRsrXpryfV87Rde
KP8dMp4RBa5XzgkNTrDFa+118+DSII7YWC8Vy5fJhElOqxB3J7pyOhDdk9jRCjduhFGFT64Z
1T8ck80NPwM1wsMLXX53xZgRmbnkhed0WNrlnm3TaELjWNVfgnESGWGMJ9Z4Ulln0xSwfomV
mtqsQyaaEKP5PZrNYC6ltVxy/i0FO+pJB864bIt5RFlFCRsGZE+y4g6raXl3jgZPH+9WVGCs
X7bZbLcKH5NSkCF/HOd9Exrk5jqFVPpjqlWyOj/Mr9Na8d86L+dwypsSXWbSEc9WVM7TNqhu
sivHG86+cZ88XsLx9d3u3E+/Wu/GkP599m+Air11ywWCnXXhlU+p+elDh74PtDNPWvfqDa/D
+aq111J60C9xHfyWqW/8wfLH4L70Dclcf0xZWoX5+8WPt70xEwEYQAEOkIAFnJvmhve8/Y2M
cUIbn/3Oljz2oA5+YpDfAyGYwc8lkHwLNB7v3KdBEZrOgRT04OhIlrbajZA0+RvaCV+Xwu6V
kIUx/uQb+jKivgjKcH4TrGHRJLg3ExYPhQ30IQd/mIkgIu+FRIyhEYWIwyTOUHZR5FgFlchD
DJpsiju8IRKth0UwXBB7XTSj2hj2PhgCUYtlPOMUW2VAOc7RTk5kIxSZ+EY98mqPVfzg5mgI
xj6GMI2DJCH/QBjI3hlykUFj5AbzlsgjNvKRVkRgJR3JwP6ZqoeYnOQhPWmBFYIEj/5zYygd
V0hUrm13gPzkKjM4SuXJ8mOl5CQsa0jLeOnyGLbsAh2BGUxhDpOYxVQVLlnZLkn6g5d9bCYq
nynK81UMmYqsphSj18YcXtOa3CRkK8VIN2+acpyCvJw2qVnOJarzlhfb/iQ74RnPNSnTlfK0
5z2jWQ1f3pOf3sznP/Y5oH5ecqBfjGQ9tVNQ8Sl0nU985zv+acaIPnKivQio6hjavoyC8o/h
ZNtGMwnSkBbxoSI16RkrWpOLnpSluaxOSVsaUxGmtCIrZZ5MYYrTeSISocHTqUdjSlOT2FRy
P12jUZfX0aPSB6l2bOpONbnMhErimdPqBCuEusesIoao2iITlVK5LY4uj0ZPJSc4l5pEIHGh
qmY9ZTa7Okuoro6PSZ0RQmd1L7eO1aFS9elpeEYowQoKagMxVM9mcdggNAtQhRLcYGUjWKxE
6y+Ro9lTtyqZnN70VF6DDdemJKTIcIYNBfKL/mCKsxldKYsyeU0tLtqWWmf9aq9QVapTmdrZ
Z90IWrBNbK5eBR/V1oVZTCvY12r12tn01i8aySxKX+pXerADtLONLTNcFRmdLTZwv2WWuV7T
2rns1lnVne1lm/rc2Gy2qDaDG2TxEt/xROu0iPqblQ71tuP0zLPrRdZYiKPYF9W2rrfVK4ER
rKPo9jTBDc6eeOLq4P5YVcK0Jal0c4vZ4FbYwn1lcIbNGlsOozd+08yJMVGcYhWLaMQDjuqH
IbpX6LSYxBY0sVM0zFsao9F86NzxnX584AvDOMhFBpo7MWxkJdMLyUTGKILV28UoF8fJnpPx
j6dMxm1CGcsLBmqx/q684yzfeCFTXp+ZfzhmHy+ZzWBGK27bHGcvNvnLcrYzNrdHZoWguXp8
ZqGaI0yEFQ+a0IU2NDEVCmj2EjSPPDZpsOKp6CSHtdF+/h2k4SnpKqtSiJbeZUPLqek6Q9KS
d940LEWdVkqf1dSnXmWq4bzqdrZ60tWEtZAbPZ16edqroB7nre2a604nGNPsBHaBS+1clR2F
18IqtjqPbdso/i2//33bEXRM4GeH2suq/uJnHwsrpx3GtbXd9q+7Hetvx8pPyD1u/WgtzYJG
28UTLBe09nLvpDSbm/yebrpxTU5qW/ex+463rucN8GCzut5jqzFIz+1PhSNb2NJOpr8F/hTx
fk/c4gyPjkYdLVKNX5PeHfY4SzqO05HbmuMNr7hBXa7TlSOz5A9/2DAP7nB71jzkjM55LBLd
cpPP+udjDDqEF83Xkxt15rjkuQqpyHRfSxzptUY5nk/adFQL3eYL3WJQp77xqrta6UQPcdhJ
zvWel73o39y52qHedhsnfOyjnprcgU73CwUa5N1EqtZfDXcqokvWAc/z8cA6Mpi/ve7evvp4
Cx8+73Xr8Yzfe9K9jinAZmgPFI45xTmf8s/7De0sb7y6Ky8VwPHlU6J17I0oe+3BGrewtJGs
gOVb39kXHDlkedo5Fy/Ppw/ev77tLXYFE67uqha1HbHoZDmF/m/S6kUyysqUuNQ40OH3sLrM
tT2+y+3b7x8Hvyp1TpGMuxd1jH+46G9iP7cfO65dV/ywnbHyj0ta5YTLU9RH1mkH597SBTKO
zzYGR8H0js4cj9MIUPcM5fYqS7+WQwDB6z48z7R6r9rID/yir+DIBVe67goAD5oEj/sqDuPW
LgVFsPRorgTl7wJvJwTnjEjULPgizQXfCuYSj21gMMYiD9pwEOsYELNY0OmC0JzwbumA8PQM
j4uSMOqW8PKsbgifkJKoTgrJLvOEUOSKcOuYcOHMzu2I8Ae57QtBLwz9TurIEN3MUPS60OfS
6w1JsA1HTw610K1GMJTiLwer0AYz/u0IrbAP7dCT9nALBZHtxA4L7U7nxDAO1/AKFRD1qPCV
/m4QMakQkdAP1VATozASm9ASY/DsHjERPREMndAQNyoPCREQG/EQX+4G6XDoTtEV07ATD2oR
k6kKe/AOLa8Uz3AWAzGj8I8Ty1ARF3DyUPHwdqAGZZERYdEYJREZMxGI4ou/rI0OdtCGmjEX
n9EX3XAUwfGJPmW3ag8Dj0wGPzHtYhEdR+oVLybbvmsCdYXy2PEXSfEWjxEO7Yfg7i+8QIUe
0fAP11EF+24fwQu+9Ou+SCIbpbEX8TEa9VGi3ggFBWog4+7rgEyBiJENoTEdNxIYg4Qi5bEO
uVEgO9IU/kGxHVlK/T7yHt/MI1OvFoNquBpS+FhRJmHi0HRyJ3EuHFvQIqHwCXeR1BzyJVHS
J2mNIRFRHU/SHpHS1HBEJK3MKJ2yJZ8S4lKSkTAxGK1yJbPSkLayFZOtEq9yDpvyG7syJsky
LY0QKDvJHTdRLY3tJimRFkGyGx8SJifRLr9ykMISJ/myJvGSKtFSLuHyp1TxEulyLBkTMfvS
mRbzMJVQ5h5TqyJzMgMyLvfSFgmTJNlSMNfSMIvRGz1TNAMTNOfSLTHyNAsyNc+yNDeTNSOS
M+kJF1eGJ3EzN3VTN4/uNbfxybSty1QzjLhMzC7z34qTxv5yz4hNOH2zHmWz/g+XMzqpsyp7
jO+qUzqPE8TCTDm30weD0ziHc8vC0zvHM526s8Wmc6rKUz2/MztZcz3hkzrlcz5lsz65Ew+d
kzR/cypF0TyfkyDd7D/d8zxzojnFM0ClMh9TcT/z8ijt0y7xM0L58ul280IxNEM1dEM5tEOT
YyCJx9wolGEWtDUdc0QHoURDcQxRdKFUVCVVrkW/5EWJkkVllJRuNEc5i0Z1ND6hs0eBtC14
1BlDM0jlbUhLUjONFKB6LTmXVJ+atD2fNEqQFOGkdEotCku1lPQEdEu9NGmq9EuL7vc66ErF
NFecDUHPVCTCtCj0c03ZNEpFFE65Sk7Tk04PEE/1/tRk2nRP5YxM/TRQEa5Pp5ALAxVQidNM
4RRRyXNO/ZRR0fNNH/VHK1JR1xRSBTVTa0pTOdVFO/VTb4FQs5ChRDXrKBU4HXVPMRXHnFRP
V7XM1FRVT9U/bdRVZxVUz/RVcVVQdXVXJ7VLkdNSc/VW2ytVbRVY85NAj7VUGVQYeZVYJU9Y
xbRXfXVZq/VaVQpbtbVO07RV8ZRa/8pYvxVaM1JavxRcg1Vc6RRdt9VL2bVdtfRd4XVK5XVe
l7Re7TVI8TVfe3Rf+TVH/fVfZTRgBRZFCbZgKfRgEdY+FXZh4bNhHbY6ITZio3NiKdZHkfVi
DZZcNZY+ObZj7/NjQfY0Ii12ZF2xZE1WEFE2ZXUxtDz0ZWE2ZmV2Zmm2ZgOIZQW1AAAAOw==
--------------D385DF5C177587F8DE89EFF2--