适用于 java 程序员的 csp，第 1 部分.mht

这是英国Kent大学开发的进程代数的JAVA库,对付多线程和并发系统变得很容易,有大量的范例,我们导师很看好的东西

Pg0KICAgICAgICAgICAgICAgICAgICA8VFI+DQogICAgICAgICAgICAgICAgICAgICAgPFREIGJn
Q29sb3I9I2VlZWVlZT48QSANCiAgICAgICAgICAgICAgICAgICAgICAgIG5hbWU9c2lkZWJhcjE+
PEI+5LiN6KaB6ZSZ6L+H6L+e6L295Ymp5LiL55qE6YOo5YiG77yBPC9CPjwvQT48QlI+DQogICAg
ICAgICAgICAgICAgICAgICAgICA8UD7igJzpnaLlkJEgSmF2YSDnqIvluo/lkZjnmoQgQ1NQ4oCd
5piv55Sx5LiJ6YOo5YiG57uE5oiQ55qE44CB5LuL57uN6YCa5L+h6aG65bqP6L+b56iL77yIQ29t
bXVuaWNhdGluZyANCiAgICAgICAgICAgICAgICAgICAgICAgIFNlcXVlbnRpYWwgUHJvY2Vzc2Vz
IOKAlOKAlCBDU1DvvInnmoTns7vliJfmlofnq6DkuK3nmoTkuIDnr4fjgIJDU1AgDQogICAgICAg
ICAgICAgICAgICAgICAgICDmmK/lubblj5HnvJbnqIvnmoTkuIDkuKrojIPlvI/vvIzlroPmib/o
rqTkuoblubblj5HnvJbnqIvnmoTlpI3mnYLmgKfvvIzljbTlubbmsqHmnInmiorlpI3mnYLmgKfn
lZnnu5nlvIDlj5HkurrlkZjjgILor7flj4LpmIXmnKzns7vliJfnmoTlhbbku5bpg6jliIbvvJo8
QlI+PEJSPjxBIA0KICAgICAgICAgICAgICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0u
Y29tL2RldmVsb3BlcndvcmtzL2phdmEvbGlicmFyeS9qLWNzcDIvIj7nrKwgDQogICAgICAgICAg
ICAgICAgICAgICAgICAyIOmDqOWIhu+8mueUqCBKQ1NQIOi/m+ihjOW5tuWPkee8lueoizwvQT4g
PEJSPjxCUj48QSANCiAgICAgICAgICAgICAgICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJt
LmNvbS9kZXZlbG9wZXJ3b3Jrcy9qYXZhL2xpYnJhcnkvai1jc3AzLmh0bWwiPuesrCANCiAgICAg
ICAgICAgICAgICAgICAgICAgIDMg6YOo5YiG77yaIEpDU1Ag55qE6auY57qn5Li76aKYPC9BPiAN
CiAgICAgICAgICAgICAgPC9QPjwvVEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+PC9URD48L1RSPjwv
VEJPRFk+PC9UQUJMRT4NCiAgICAgICAgICAgIDxQPuacieS6hui/meS6m+WfuuehgO+8jOWwseWP
r+S7peWujOWFqOWcsOS9k+S8miBKQ1NQIOeahOWlveWkhOS6huOAgui/meaYryBKYXZhIOW5s+WP
sOWkmue6v+eoi+e8lueoi+eahOS4gOS4quamguW/teaAp+WSjOWunui3teaAp+eahOino+WGs+aW
ueahiO+8jOaIkeWwhuWcqCA8QSANCiAgICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNv
bS9kZXZlbG9wZXJ3b3Jrcy9qYXZhL2xpYnJhcnkvai1jc3AyLyI+56ysIDIgDQogICAgICAgICAg
ICDpg6jliIY8L0E+IOWvueWFtui/m+ihjOaOouiuqO+8jOi/mOWwhuWcqCA8QSANCiAgICAgICAg
ICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9qYXZhL2xpYnJhcnkv
ai1jc3AzLyI+56ysIDMgDQogICAgICAgICAgICDpg6jliIY8L0E+IOaOouiuqCBKYXZhIOW5s+WP
sOS4iuabtOmrmOe6p+eahCBDU1Ag5bqU55So56iL5bqP44CCIDwvUD4NCiAgICAgICAgICAgIDxQ
Puivt+azqOaEj++8jOS4uuS6huaWueS+v+ivu+iAhe+8jOi/meevh+aWh+eroOeahOS4ieS4qumD
qOWIhuWQjOaXtuWPkeW4g+OAguacrOaWh+WBh+iuvuivu+iAheWvueS6jiBKYXZhIA0KICAgICAg
ICAgICAg6K+t6KiA55qE5bm25Y+R57yW56iL5pyJ5LiA6Iis5oCn55qE5LqG6Kej77yM6Jm954S2
5oiR5Zyo5paH56ug5Lit5Lmf5o+Q5L6b5LqG5YWz5LqO6L+Z5LiA5Li76aKY55qE5LiA5Liq5qaC
6L+w44CC6K+35Y+C6ZiFIDxBIA0KICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29t
L2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3AxLmh0bWwjcmVzb3VyY2VzIj7lj4LogIPotYTm
lpk8L0E+IA0KICAgICAgICAgICAg5LiA6IqC77yM5Lul6I635b6X5pu06K+m57uG55qE5L+h5oGv
44CCPC9QPg0KICAgICAgICAgICAgPFA+PEEgbmFtZT1OMTAwODY+PFNQQU4gY2xhc3M9YXRpdGxl
PkphdmEg6K+t6KiA55qE5bm25Y+R57yW56iLPC9TUEFOPjwvQT48L1A+DQogICAgICAgICAgICA8
UD7lsLHlhbboh6rouqvmnaXor7TvvIzlubblj5HnvJbnqIvmmK/kuIDnp43mioDmnK/vvIzmj5Dk
vpvkuobmk43kvZznmoTlkIzml7bmiafooYzvvIzkuI3orrrmmK/lnKjljZXkuIDns7vnu5/kuIro
v5jmmK/liIbluIPlnKjlpKfph4/ns7vnu5/kuIrjgILov5nnsbvmk43kvZzlrp7pmYXmmK/kuIDk
upvmjIfku6Tpobrluo/vvIzkvovlpoLljZXni6zmn5DkuKrpobbnuqfku7vliqHnmoTlrZDku7vl
iqHvvIzov5nnsbvmk43kvZzog73lpJ/lubbooYzmiafooYzvvIzmiJbogIXmmK/kvZzkuLrnur/n
qIvvvIzmiJbogIXmmK/kvZzkuLrov5vnqIvjgILnur/nqIvlkozov5vnqIvkuYvpl7TnmoTmnKzo
tKjljLrliKvlnKjkuo7vvJrov5vnqIvpgJrluLjmmK/ni6znq4vnmoTvvIjkvovlpoLni6znq4vn
moTlnLDlnYDnqbrpl7TvvInvvIzmiYDku6Xlj6rog73pgJrov4fns7vnu5/mj5DkvpvnmoTov5vn
qIvpl7TpgJrkv6HmnLrliLbov5vooYzkuqTkupLvvIzogIznur/nqIvpgJrluLjlhbHkuqvljZXk
uIDov5vnqIvnmoTnirbmgIHkv6Hmga/vvIzog73lpJ/nm7TmjqXlhbHkuqvns7vnu5/otYTmupDl
kozlhoXlrZjkuK3nmoTlr7nosaHjgII8L1A+DQogICAgICAgICAgICA8UD7lj6/ku6Xkvb/nlKjk
uIvpnaLkuKTnp43mlrnms5XkuYvkuIDvvIzpgJrov4flpJrkuKrov5vnqIvmnaXlrp7njrDlubbl
j5HjgILnrKzkuIDnp43mlrnms5XmmK/lnKjlkIzkuIDkuKrlpITnkIblmajkuIrov5DooYzov5vn
qIvvvIznlLHmk43kvZzns7vnu5/lpITnkIbov5vnqIvkuYvpl7TnmoTkuIrkuIvmlofnjq/looPl
iIfmjaLjgILvvIjlj6/ku6XnkIbop6PvvIzov5nnp43liIfmjaLopoHmr5TlkIzkuIDov5vnqIvl
hoXlpJrnur/nqIvkuYvpl7TnmoTkuIrkuIvmlofnjq/looPliIfmjaLmm7TmhaLjgILvvInnrKzk
uoznp43mlrnms5XmmK/mnoTlu7rlpKfop4TmqKHnmoTlubbooYzlkozlpI3mnYLnmoTliIbluIPl
vI/ns7vnu5/vvIzlnKjkuI3lkIznmoTniannkIblpITnkIblmajkuIrov5DooYzlpJrkuKrov5vn
qIvjgII8L1A+DQogICAgICAgICAgICA8UD7ku47lhoXlu7rmlK/mjIHnmoTop5LluqbmnaXor7Tv
vIxKYXZhIOivreiogOmAmui/h+e6v+eoi+aPkOS+m+W5tuWPkee8lueoi++8m+avj+S4qiBKVk0g
6YO96IO95pSv5oyB6K645aSa57q/56iL5ZCM5pe25omn6KGM44CC5Y+v5Lul55So5Lul5LiL5Lik
56eN5pa55rOV5LmL5LiA5ZyoIA0KICAgICAgICAgICAgSmF2YSDor63oqIDkuK3liJvlu7rnur/n
qIvvvJo8L1A+DQogICAgICAgICAgICA8VUw+DQogICAgICAgICAgICAgIDxMST48Qj7nu6fmib8g
PENPREU+amF2YS5sYW5nLlRocmVhZDwvQ09ERT4g57G7PC9CPuOAguWcqOi/meenjeaDheWGteS4
i++8jOW3sue7j+mHjeWGmeeahOWtkOexu+eahCANCiAgICAgICAgICAgICAgPENPREU+cnVuKCk8
L0NPREU+IOaWueazleW/hemhu+WMheWQq+WunueOsOe6v+eoi+i/kOihjOaXtuihjOS4uueahOS7
o+eggeOAguimgeaJp+ihjOi/meS4quS7o+egge+8jOmcgOimgeWunuS+i+WMluWtkOexu+Wvueix
oe+8jOeEtuWQjuiwg+eUqOWvueixoeeahCANCiAgICAgICAgICAgICAgPENPREU+c3RhcnQoKTwv
Q09ERT4g5pa55rOV77yM6L+Z5qC35bCx5Y+v5Lul5Zyo5YaF6YOo5omn6KGMIDxDT0RFPnJ1bigp
PC9DT0RFPiDmlrnms5XkuobjgII8QlI+PEJSPg0KICAgICAgICAgICAgICA8TEk+PEI+5Yib5bu6
IDxDT0RFPlJ1bm5hYmxlPC9DT0RFPiDmjqXlj6PnmoTlrprliLblrp7njrA8L0I+44CC6L+Z5Liq
5o6l5Y+j5Y+q5YyF5ZCr5LiA5LiqIA0KICAgICAgICAgICAgICA8Q09ERT5ydW4oKTwvQ09ERT4g
5pa55rOV77yM5Zyo6L+Z5Liq5pa55rOV5Lit77yM6KaB5pS+572u5bqU55So56iL5bqP5Luj56CB
44CC6KaB5omn6KGM6L+Z5Liq5Luj56CB77yM6ZyA6KaB5a6e5L6L5YyW5a6e546w57G755qE5a+5
6LGh77yM54S25ZCO5Zyo5Yib5bu65pawIA0KICAgICAgICAgICAgICA8Q09ERT5UaHJlYWQ8L0NP
REU+IOaXtu+8jOaKiuWvueixoeS9nOS4uuaehOmAoOWHveaVsOeahOWPguaVsOS8oOWFpeOAgueE
tuWQjuiwg+eUqOaWsOWIm+W7uueahOe6v+eoi+WvueixoeeahCANCiAgICAgICAgICAgICAgPENP
REU+c3RhcnQoKTwvQ09ERT4g5pa55rOV77yM5byA5aeL5omn6KGM5o6n5Yi255qE5paw57q/56iL
44CCIDwvTEk+PC9VTD48QlI+DQogICAgICAgICAgICA8VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxs
UGFkZGluZz0wIHdpZHRoPSIxMDAlIiBib3JkZXI9MD4NCiAgICAgICAgICAgICAgPFRCT0RZPg0K
ICAgICAgICAgICAgICA8VFI+DQogICAgICAgICAgICAgICAgPFREPjxJTUcgaGVpZ2h0PTEgYWx0
PSIiIA0KICAgICAgICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS92MTQvcnVs
ZXMvYmx1ZV9ydWxlLmdpZiIgDQogICAgICAgICAgICAgICAgICB3aWR0aD0iMTAwJSI+PEJSPjxJ
TUcgaGVpZ2h0PTYgYWx0PSIiIA0KICAgICAgICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3Lmli
bS5jb20vaS9jLmdpZiIgd2lkdGg9OCANCiAgICAgICAgICAgICAgYm9yZGVyPTA+PC9URD48L1RS
PjwvVEJPRFk+PC9UQUJMRT4NCiAgICAgICAgICAgIDxUQUJMRSBjbGFzcz1uby1wcmludCBjZWxs
U3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgYWxpZ249cmlnaHQ+DQogICAgICAgICAgICAgIDxUQk9E
WT4NCiAgICAgICAgICAgICAgPFRSIGFsaWduPXJpZ2h0Pg0KICAgICAgICAgICAgICAgIDxURD48
SU1HIGhlaWdodD00IGFsdD0iIiBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL2MuZ2lmIiANCiAg
ICAgICAgICAgICAgICAgIHdpZHRoPSIxMDAlIj48QlI+DQogICAgICAgICAgICAgICAgICA8VEFC
TEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIGJvcmRlcj0wPg0KICAgICAgICAgICAgICAg
ICAgICA8VEJPRFk+DQogICAgICAgICAgICAgICAgICAgIDxUUj4NCiAgICAgICAgICAgICAgICAg
ICAgICA8VEQgdkFsaWduPWNlbnRlcj48SU1HIGhlaWdodD0xNiBhbHQ9IiIgDQogICAgICAgICAg
ICAgICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL3YxNC9pY29ucy91X2JvbGQu
Z2lmIiB3aWR0aD0xNiANCiAgICAgICAgICAgICAgICAgICAgICAgIGJvcmRlcj0wPjxCUj48L1RE
Pg0KICAgICAgICAgICAgICAgICAgICAgIDxURCB2QWxpZ249dG9wIGFsaWduPXJpZ2h0PjxBIGNs
YXNzPWZib3ggDQogICAgICAgICAgICAgICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3LmlibS5j
b20vZGV2ZWxvcGVyd29ya3MvY24vamF2YS9qLWNzcDEuaHRtbCNtYWluIj48Qj7lm57pobXpppY8
L0I+PC9BPjwvVEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+PC9URD48L1RSPjwvVEJPRFk+PC9UQUJM
RT48QlI+PEJSPg0KICAgICAgICAgICAgPFA+PEEgbmFtZT1OMTAwQzk+PFNQQU4gY2xhc3M9YXRp
dGxlPue6v+eoi+WuieWFqOaAp+WSjOWQjOatpTwvU1BBTj48L0E+PC9QPg0KICAgICAgICAgICAg
PFA+5aaC5p6cIEphdmEg5a+56LGh5Lit55qE5p+Q5Liq5pa55rOV6IO95aSf5a6J5YWo5Zyw6L+Q
6KGM5Zyo5aSa57q/56iL546v5aKD5Lit77yM6YKj5LmI5bCx56ew6K+l5pa55rOV5pivIA0KICAg
ICAgICAgICAgPEk+57q/56iL5a6J5YWo55qEPC9JPuOAguimgeiOt+W+l+i/meenjeWuieWFqOaA
p++8jOW/hemhu+acieS4gOenjeacuuWItu+8jOmAmui/h+ivpeacuuWItu+8jOi/kOihjOWQjOS4
gOaWueazleeahOWkmuS4que6v+eoi+WwseiDveWkn+WQjOatpeWFtuaTjeS9nO+8jOi/meagt++8
jOWcqOiuv+mXruebuOWQjOeahOWvueixoeaIluS7o+eggeihjOaXtu+8jOWwseS8muWPquWFgeiu
uOS4gOS4que6v+eoi+iiq+WkhOeQhuOAgui/meenjeWQjOatpeimgeaxgue6v+eoi+S9v+eUqOWP
q+S9nCANCiAgICAgICAgICAgIDxJPuS/oeWPtzwvST4g55qE5a+56LGh5b285q2k6L+b6KGM5rKf
6YCa44CCPC9QPg0KICAgICAgICAgICAgPFA+5pyJ5LiA56eN57G75Z6L55qE5L+h5Y+35Y+r5L2c
IDxJPuS6kuaWpeS/oeWPtzwvST4g5oiWIA0KICAgICAgICAgICAgPEk+5LqS5pal5L2TPC9JPuOA
gumhvuWQjeaAneS5ie+8jOi/meS4quS/oeWPt+WvueixoeeahOaLpeacieadg+aYr+S6kuaWpeea
hO+8jOS5n+WwseaYr+ivtO+8jOWcqOS7u+aEj+aMh+WumuaXtumXtO+8jOWPquacieS4gOS4que6
v+eoi+iDveWkn+aLpeacieS6kuaWpeS9k+OAguWFtuS7luaDs+iOt+W+l+aJgOacieadg+eahOe6
v+eoi+S8muiiq+mYu+Whnu+8jOWug+S7rOW/hemhu+etieW+he+8jOebtOWIsOaLpeacieS6kuaW
peS9k+eahOe6v+eoi+mHiuaUvuS6kuaWpeS9k+OAguWmguaenOWkmuS4que6v+eoi+aMiemhuuW6
j+aOkumYn+etieWAmeWQjOS4gOS6kuaWpeS9k++8jOmCo+S5iOWcqOW9k+WJjeaLpeacieiAhemH
iuaUvuWug+eahOaXtuWAme+8jOWPquacieS4gOS4quetieWAmee6v+eoi+iDveWkn+W+l+WIsOWu
g++8m+WFtuS7lue6v+eoi+Wwhue7p+e7remYu+WhnuOAgjwvUD4NCiAgICAgICAgICAgIDxQPuWc
qCAxOTcwIOW5tOS7o+WIne+8jEMuQS5SLiBIb2FyZSDlkozlhbbku5bkurrlhbHlkIzlvIDlj5Hk
uobkuIDkuKrlj6vkvZwgPEk+55uR6KeG5ZmoPC9JPiDnmoTmpoLlv7XvvIjor7flj4LpmIUgPEEg
DQogICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY24v
amF2YS9qLWNzcDEuaHRtbCNyZXNvdXJjZXMiPuWPguiAg+i1hOaWmTwvQT7vvInjgIIgDQogICAg
ICAgICAgICDkuIDkuKogPEk+55uR6KeG5ZmoPC9JPiANCiAgICAgICAgICAgIOWwseaYr+S4gOS4
quS7o+eggeS4u+S9k++8jOWug+eahOiuv+mXruWPl+WIsOS6kuaWpeS9k+eahOS/neaKpOOAguS7
u+S9leaDs+aJp+ihjOi/meS4quS7o+eggeeahOe6v+eoi++8jOmDveW/hemhu+WcqOS7o+eggeWd
l+mhtumDqOW+l+WIsOWFs+iBlOeahOS6kuaWpeS9k++8jOeEtuWQjuWcqOW6lemDqOWGjemHiuaU
vuWug+OAguWboOS4uuWcqOaMh+WumuaXtumXtOWPquacieS4gOS4que6v+eoi+iDveWkn+aLpeac
ieS6kuaWpeS9k++8jOaJgOS7pei/meWwseacieaViOWcsOS/neivgeS6huWPquacieaLpeacieWu
g+eahOe6v+eoi+aJjeiDveaJp+ihjOebkeinhuWZqOeahOS7o+eggeWdl+OAgu+8iOWPl+S/neaK
pOeahOS7o+eggeS4jemcgOimgeebuOmCuyANCiAgICAgICAgICAgIOKAlOKAlCDkvovlpoLvvIxK
YXZhIOivreiogOS4reeahOavj+S4quWvueixoemDveacieS4gOS4quS4juS5i+WFs+iBlOeahOeb
keinhuWZqOOAgu+8iTwvUD4NCiAgICAgICAgICAgIDxQPuS7u+S9leaDs+WcqCBKYXZhIOivreio
gOS4rei/m+ihjOe6v+eoi+e8lueoi+eahOW8gOWPkeS6uuWRmO+8jOmDveS8mueri+WNs+aKiuS4
iumdoueahOWGheWuueW9k+aIkCA8Q09ERT5zeW5jaHJvbml6ZWQ8L0NPREU+IA0KICAgICAgICAg
ICAg5YWz6ZSu5a2X5omA5bim5p2l55qE5pWI5p6c44CC5Y+v5Lul56Gu5L+d5YyF5ZCr5ZyoIDxD
T0RFPnN5bmNocm9uaXplZDwvQ09ERT4g5Z2X5Lit55qEIEphdmEgDQogICAgICAgICAgICDku6Pn
oIHlnKjmjIflrprml7bpl7Tlj6rooqvkuIDkuKrnur/nqIvmiafooYzjgILlnKjlhoXpg6jvvIzl
j6/ku6XnlLHov5DooYzml7blsIYgPENPREU+c3luY2hyb25pemVkPC9DT0RFPiANCiAgICAgICAg
ICAgIOWFs+mUruWtl+i9rOaNouaIkOafkOS4gOenjeaDheWGte+8muaJgOacieeahOernuS6iee6
v+eoi+mDveivleWbvuiOt+W+l+S4juWug+S7rO+8iOaMh+e6v+eoi++8ieato+WcqOaTjeS9nOea
hOWvueixoeWunuS+i+WFs+iBlOeahOmCo+S4qu+8iOaDn+S4gOeahOS4gOS4qu+8ieS6kuaWpeS9
k+OAguaIkOWKn+W+l+WIsOS6kuaWpeS9k+eahOe6v+eoi+Wwhui/kOihjOS7o+egge+8jOeEtuWQ
juWcqOmAgOWHuiANCiAgICAgICAgICAgIDxDT0RFPnN5bmNocm9uaXplZDwvQ09ERT4g5Z2X5pe2
6YeK5pS+5LqS5pal5L2T44CCPC9QPg0KICAgICAgICAgICAgPFA+PEEgbmFtZT1OMTAxMDI+PFNQ
QU4gY2xhc3M9c21hbGx0aXRsZT7nrYnlgJnlkozpgJrnn6U8L1NQQU4+PC9BPjwvUD4NCiAgICAg
ICAgICAgIDxQPjxDT0RFPndhaXQ8L0NPREU+LzxDT0RFPm5vdGlmeTwvQ09ERT4g5p6E6YCg5Zyo
IEphdmEgDQogICAgICAgICAgICDor63oqIDnmoTnur/nqIvpl7TpgJrkv6HmnLrliLbkuK3kuZ/m
ia7mvJTkuobph43opoHnmoTop5LoibLjgILln7rmnKznmoTmg7Pms5XmmK/vvJrkuIDkuKrnur/n
qIvpnIDopoHnmoTmn5DkuKrmnaHku7blj6/ku6XnlLHlj6blpJbkuIDkuKrnur/nqIvkv4PmiJDj
gILov5nmoLfvvIzmnaHku7bnmoQgDQogICAgICAgICAgICA8ST53YWl0PC9JPiDlsLHlj6/ku6Xl
vpfliLDmu6HotrPjgILkuIDml6bmnaHku7bkuLrnnJ/vvIzpgqPkuYjlvJXlj5HmnaHku7bnmoTn
ur/nqIvlsLHkvJogPEk+bm90aWZ5PC9JPiANCiAgICAgICAgICAgIOetieWAmee6v+eoi+iLj+mG
ku+8jOW5tuS7juS4reatoueahOWcsOaWuee7p+e7rei/m+ihjOOAgjwvUD4NCiAgICAgICAgICAg
IDxQPjxDT0RFPndhaXQ8L0NPREU+LzxDT0RFPm5vdGlmeTwvQ09ERT4g5py65Yi26KaB5q+UIA0K
ICAgICAgICAgICAgPENPREU+c3luY2hyb25pemVkPC9DT0RFPiDmnLrliLbmm7Tpmr7nkIbop6Pl
kozliKTmlq3jgILopoHmg7PliKTmlq3lh7rkvb/nlKggDQogICAgICAgICAgICA8Q09ERT53YWl0
PC9DT0RFPi88Q09ERT5ub3RpZnk8L0NPREU+IA0KICAgICAgICAgICAg55qE5pa55rOV55qE6KGM
5Li66YC76L6R77yM5bCx6KaB5rGC5Yik5pat5Ye65L2/55So5a6D55qE5omA5pyJ5pa55rOV55qE
6YC76L6R44CC5LiA5qyh5Yik5pat5LiA5Liq5pa55rOV77yM5oqK6K+l5pa55rOV5ZKM5YW25LuW
5pa55rOV6ZqU56a75byA77yM5piv5a+55pW05L2T57O757uf6KGM5Li65b6X5Ye66ZSZ6K+v57uT
6K6655qE5Y+v6Z2g5pa55byP44CC5pi+54S277yM6L+Z5qC35YGa55qE5aSN5p2C5oCn5Lya6ZqP
552A6KaB5Yik5pat55qE5pa55rOV55qE5pWw6YeP5aKe6ZW/6ICM6L+F6YCf5o+Q6auY44CCPC9Q
PjxCUj4NCiAgICAgICAgICAgIDxUQUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgd2lk
dGg9IjEwMCUiIGJvcmRlcj0wPg0KICAgICAgICAgICAgICA8VEJPRFk+DQogICAgICAgICAgICAg
IDxUUj4NCiAgICAgICAgICAgICAgICA8VEQ+PElNRyBoZWlnaHQ9MSBhbHQ9IiIgDQogICAgICAg
ICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL3YxNC9ydWxlcy9ibHVlX3J1bGUu
Z2lmIiANCiAgICAgICAgICAgICAgICAgIHdpZHRoPSIxMDAlIj48QlI+PElNRyBoZWlnaHQ9NiBh
bHQ9IiIgDQogICAgICAgICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL2MuZ2lm
IiB3aWR0aD04IA0KICAgICAgICAgICAgICBib3JkZXI9MD48L1REPjwvVFI+PC9UQk9EWT48L1RB
QkxFPg0KICAgICAgICAgICAgPFRBQkxFIGNsYXNzPW5vLXByaW50IGNlbGxTcGFjaW5nPTAgY2Vs
bFBhZGRpbmc9MCBhbGlnbj1yaWdodD4NCiAgICAgICAgICAgICAgPFRCT0RZPg0KICAgICAgICAg
ICAgICA8VFIgYWxpZ249cmlnaHQ+DQogICAgICAgICAgICAgICAgPFREPjxJTUcgaGVpZ2h0PTQg
YWx0PSIiIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvYy5naWYiIA0KICAgICAgICAgICAgICAg
ICAgd2lkdGg9IjEwMCUiPjxCUj4NCiAgICAgICAgICAgICAgICAgIDxUQUJMRSBjZWxsU3BhY2lu