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

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

Ym0uY29tL2kvYy5naWYiIHdpZHRoPTggDQogICAgICAgICAgICAgIGJvcmRlcj0wPjwvVEQ+PC9U
Uj48L1RCT0RZPjwvVEFCTEU+DQogICAgICAgICAgICA8VEFCTEUgY2xhc3M9bm8tcHJpbnQgY2Vs
bFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIGFsaWduPXJpZ2h0Pg0KICAgICAgICAgICAgICA8VEJP
RFk+DQogICAgICAgICAgICAgIDxUUiBhbGlnbj1yaWdodD4NCiAgICAgICAgICAgICAgICA8VEQ+
PElNRyBoZWlnaHQ9NCBhbHQ9IiIgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS9jLmdpZiIgDQog
ICAgICAgICAgICAgICAgICB3aWR0aD0iMTAwJSI+PEJSPg0KICAgICAgICAgICAgICAgICAgPFRB
QkxFIGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCBib3JkZXI9MD4NCiAgICAgICAgICAgICAg
ICAgICAgPFRCT0RZPg0KICAgICAgICAgICAgICAgICAgICA8VFI+DQogICAgICAgICAgICAgICAg
ICAgICAgPFREIHZBbGlnbj1jZW50ZXI+PElNRyBoZWlnaHQ9MTYgYWx0PSIiIA0KICAgICAgICAg
ICAgICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS92MTQvaWNvbnMvdV9ib2xk
LmdpZiIgd2lkdGg9MTYgDQogICAgICAgICAgICAgICAgICAgICAgICBib3JkZXI9MD48QlI+PC9U
RD4NCiAgICAgICAgICAgICAgICAgICAgICA8VEQgdkFsaWduPXRvcCBhbGlnbj1yaWdodD48QSBj
bGFzcz1mYm94IA0KICAgICAgICAgICAgICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0u
Y29tL2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3AzLmh0bWwjbWFpbiI+PEI+5Zue6aG16aaW
PC9CPjwvQT48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxFPjwvVEQ+PC9UUj48L1RCT0RZPjwvVEFC
TEU+PEJSPjxCUj4NCiAgICAgICAgICAgIDxQPjxBIG5hbWU9TjEwMDhBPjxTUEFOIGNsYXNzPWF0
aXRsZT7pq5jnuqcgSkNTUCDlkIzmraU8L1NQQU4+PC9BPjwvUD4NCiAgICAgICAgICAgIDxQPumA
mumBk+S4jeaYr+i/m+eoi+mXtOWQjOatpeeahOaDn+S4gOWPr+eUqOmAieaLqe+8jOS5n+S4jeaA
u+aYr+acgOWQiOmAgueahOmAieaLqeOAgumAmumBk+aAu+aYr+WcqOS7peS4i+S4pOS4qui/m+eo
i+mXtOWQjOatpe+8mumYheivu+WZqOWSjOWGmeWFpeWZqOOAguaYr+WQpuWcqOi/kOihjOWkmuS4
qumYheivu+WZqC/lhpnlhaXlmajlubbkuI3ph43opoHvvIzlm6DkuLrlnKggDQogICAgICAgICAg
ICA8Q09ERT5BbnkyT25lPC9DT0RFPuOAgTxDT0RFPk9uZTJBbnk8L0NPREU+IOWSjCA8Q09ERT5B
bnkyQW55PC9DT0RFPiANCiAgICAgICAgICAgIOaooeWei+S4re+8jOavj+enjeexu+Wei+eahOi/
m+eoi+mDveWPquacieS4gOS4qui/m+eoi+iDveWkn+enr+aegeWcsOWPguS4juWIsOmAmumBk+S4
pOi+uei/m+ihjOeahOS8muivneS4reOAgjwvUD4NCiAgICAgICAgICAgIDxQPuS4uuS6huiOt+W+
l+abtOmrmOe6p+eahOWQjOatpe+8jOWNs+WcqOWkmuS4qui/m+eoi+S5i+mXtOeahOWQjOatpe+8
jEpDU1Ag5o+Q5L6b5LqGIA0KICAgICAgICAgICAgPENPREU+QmFycmllcjwvQ09ERT7jgIE8Q09E
RT5CdWNrZXQ8L0NPREU+IOWSjCA8Q09ERT5DUkVXPC9DT0RFPiANCiAgICAgICAgICAgIOaehOmA
oO+8jOi/mOaPkOS+m+S6huS4gOS4quWPq+S9nCA8Q09ERT5Qcm9jZXNzTWFuYWdlcjwvQ09ERT4g
55qE57G76LSf6LSj566h55CGIA0KICAgICAgICAgICAgPENPREU+Q1NQcm9jZXNzPC9DT0RFPiDl
rp7kvovjgII8L1A+PEJSPg0KICAgICAgICAgICAgPFRBQkxFIGNlbGxTcGFjaW5nPTAgY2VsbFBh
ZGRpbmc9MCB3aWR0aD0iMTAwJSIgYm9yZGVyPTA+DQogICAgICAgICAgICAgIDxUQk9EWT4NCiAg
ICAgICAgICAgICAgPFRSPg0KICAgICAgICAgICAgICAgIDxURD48SU1HIGhlaWdodD0xIGFsdD0i
IiANCiAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvdjE0L3J1bGVz
L2JsdWVfcnVsZS5naWYiIA0KICAgICAgICAgICAgICAgICAgd2lkdGg9IjEwMCUiPjxCUj48SU1H
IGhlaWdodD02IGFsdD0iIiANCiAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0u
Y29tL2kvYy5naWYiIHdpZHRoPTggDQogICAgICAgICAgICAgIGJvcmRlcj0wPjwvVEQ+PC9UUj48
L1RCT0RZPjwvVEFCTEU+DQogICAgICAgICAgICA8VEFCTEUgY2xhc3M9bm8tcHJpbnQgY2VsbFNw
YWNpbmc9MCBjZWxsUGFkZGluZz0wIGFsaWduPXJpZ2h0Pg0KICAgICAgICAgICAgICA8VEJPRFk+
DQogICAgICAgICAgICAgIDxUUiBhbGlnbj1yaWdodD4NCiAgICAgICAgICAgICAgICA8VEQ+PElN
RyBoZWlnaHQ9NCBhbHQ9IiIgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS9jLmdpZiIgDQogICAg
ICAgICAgICAgICAgICB3aWR0aD0iMTAwJSI+PEJSPg0KICAgICAgICAgICAgICAgICAgPFRBQkxF
IGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCBib3JkZXI9MD4NCiAgICAgICAgICAgICAgICAg
ICAgPFRCT0RZPg0KICAgICAgICAgICAgICAgICAgICA8VFI+DQogICAgICAgICAgICAgICAgICAg
ICAgPFREIHZBbGlnbj1jZW50ZXI+PElNRyBoZWlnaHQ9MTYgYWx0PSIiIA0KICAgICAgICAgICAg
ICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS92MTQvaWNvbnMvdV9ib2xkLmdp
ZiIgd2lkdGg9MTYgDQogICAgICAgICAgICAgICAgICAgICAgICBib3JkZXI9MD48QlI+PC9URD4N
CiAgICAgICAgICAgICAgICAgICAgICA8VEQgdkFsaWduPXRvcCBhbGlnbj1yaWdodD48QSBjbGFz
cz1mYm94IA0KICAgICAgICAgICAgICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29t
L2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3AzLmh0bWwjbWFpbiI+PEI+5Zue6aG16aaWPC9C
PjwvQT48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxFPjwvVEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+
PEJSPjxCUj4NCiAgICAgICAgICAgIDxQPjxBIG5hbWU9TjEwMEI3PjxTUEFOIGNsYXNzPWF0aXRs
ZT5CYXJyaWVyIOaehOmAoDwvU1BBTj48L0E+PC9QPg0KICAgICAgICAgICAgPFA+PEk+YmFycmll
cjwvST4g5piv5LiA5LiqIEpDU1Ag5LqL5Lu277yM5Y+v5Lul5YWF5b2T5aSa5Liq6L+b56iL5LmL
6Ze055qE5ZCM5q2l5py65Yi244CC5q+P5LiqIGJhcnJpZXIgDQogICAgICAgICAgICDpg73og73k
uI7lpJrkuKrov5vnqIvnm7jlhbPogZTvvIzku7vkvZXlnKjov5nkuKogYmFycmllciDkuIrlkIzm
raXnmoTov5vnqIvpg73lsIbooqvpmLvloZ7vvIznm7TliLDlhbbku5bov5vnqIvlt7Lnu4/lkIzm
raXkuLrmraLjgII8L1A+DQogICAgICAgICAgICA8UD7lv4XpobvnlKjpnIDopoHlnKggPENPREU+
QmFycmllcjwvQ09ERT4gDQogICAgICAgICAgICDnsbvkuIrlkIzmraXnmoTov5vnqIvnmoTmlbDp
h4/mnaXliJvlu7rlroPvvIzlhbbkuK3mr4/kuKrov5vnqIvpg73ov5DooYzlnKjni6znq4vnmoTn
ur/nqIvkuK3jgILlnKjlrozmiJDlvZPliY3kuIDova7lt6XkvZzkuYvlkI7vvIzmr4/kuKrov5vn
qIvpg73osIPnlKggDQogICAgICAgICAgICA8Q09ERT5CYXJyaWVyPC9DT0RFPiDlrp7kvovnmoQg
PENPREU+c3luYygpPC9DT0RFPiDmlrnms5XvvIznhLblkI7nrYnlgJnlhbbku5bov5vnqIvlrozm
iJDjgII8L1A+DQogICAgICAgICAgICA8UD48QSBuYW1lPU4xMDBEMz48U1BBTiBjbGFzcz1zbWFs
bHRpdGxlPkJhcnJpZXIg5YaF6YOoPC9TUEFOPjwvQT48L1A+DQogICAgICAgICAgICA8UD7ku47l
hoXpg6jmnaXnnIvvvIw8Q09ERT5CYXJyaWVyPC9DT0RFPiDljIXlkKvkuIDkuKrmiJDlkZjlj5jp
h4/vvIzlnKjliJvlu7ogPENPREU+QmFycmllcjwvQ09ERT4gDQogICAgICAgICAgICDlr7nosaHm
l7bvvIzov5nkuKrmiJDlkZjlj5jph4/ooqvliJ3lp4vljJbkuLrmjIflrprnmoTov5vnqIvmgLvm
lbDjgILmr4/lvZPov5vnqIvosIPnlKggPENPREU+c3luYygpPC9DT0RFPiDmlrnms5Xml7bvvIzo
v5nkuKrlj5jph4/lsLHlh4/kuIDvvIzlubblj5Hlh7ogDQogICAgICAgICAgICA8Q09ERT53YWl0
KCk8L0NPREU+IOiwg+eUqOOAgu+8iOaCqOS8muaDs+i1t+W3sue7j+S7i+e7jei/h+eahOWGheWu
ue+8mkphdmEg57q/56iL5Zyo6IO95aSf6LCD55SoIA0KICAgICAgICAgICAgPENPREU+d2FpdCgp
PC9DT0RFPiDmlrnms5XkuYvliY3lv4XpobvkuIDnm7TmjIHmnInmgbDlvZPnmoTplIHjgILlnKjo
v5nph4zvvIznlLHkuo7lsIYgPENPREU+QmFycmllcjwvQ09ERT4g55qEIA0KICAgICAgICAgICAg
PENPREU+c3luYygpPC9DT0RFPiDmlrnms5XmoIforrDkuLrlkIzmraXnmoTvvIzmiYDku6UgPENP
REU+QmFycmllcjwvQ09ERT4g5a6e5L6L5pys6Lqr5YWF5b2T552A6ZSB55qE5L2c55So44CC77yJ
IA0KICAgICAgICAgICAg5qOA5rWL5piv5Zyo5pyA5ZCO5LiA5Liq6LCD55SoIDxDT0RFPnN5bmMo
KTwvQ09ERT4g55qE6L+b56iL5omA5Zyo55qE57q/56iL5LiK6L+b6KGM55qE44CC5aaC5p6c5oiQ
5ZGY5Y+Y6YeP5Y+Y5oiQIA0KICAgICAgICAgICAgPENPREU+MDwvQ09ERT7vvIzliJnmuIXmpZrl
nLDooajmmI7vvIzmiYDmnInov5vnqIvlt7Lnu4/lrozmiJDkuoblr7kgPENPREU+c3luYygpPC9D
T0RFPiDnmoTosIPnlKgg77yM5Y+v5Lul5a6J5YWo55qE5Y+R5Ye6IA0KICAgICAgICAgICAgPENP
REU+bm90aWZ5QWxsKCk8L0NPREU+IOS6huOAgui/meaXtu+8jOWGhemDqOeahOiuoeaVsOWZqOii
q+mHjeaWsOiuvue9ruWbnuacgOWIneaPkOS+m+eahOi/m+eoi+aAu+aVsO+8jOS7juiAjOS9v+W+
lyANCiAgICAgICAgICAgIDxDT0RFPkJhcnJpZXI8L0NPREU+IOWunuS+i+WPr+S7peWcqOS4i+S4
gOi9ruWQjOatpeS4remHjeWkjeS9v+eUqOOAgjwvUD4NCiAgICAgICAgICAgIDxQPuazqOaEj++8
jDxDT0RFPkJhcnJpZXI8L0NPREU+IOW5tuayoeacieaKiui/m+eoi+eahOi6q+S7veWSjOiHqui6
q+WFs+iBlOi1t+adpeOAguaJgOS7pe+8jOWPquacieiDveW+l+WIsCANCiAgICAgICAgICAgIDxD
T0RFPkJhcnJpZXI8L0NPREU+IOWvueixoe+8jOS7u+S9lei/m+eoi++8iOmZpOS6huimgeWcqCBC
YXJyaWVyIA0KICAgICAgICAgICAg5LiK5ZCM5q2l55qE6L+b56iL5LmL5aSW77yJ6YO96IO96LCD
55So5a+56LGh5LiK55qEPENPREU+c3luYzwvQ09ERT7vvIzku47ogIzlsIbkuIDkuKrmiJblpJrk
uKrlkIjms5Xov5vnqIvmjpLpmaTlnKjlpJbjgILopoHmg7PpmLLmraLov5nkuKrpl67popjvvIzl
j6/ku6Xlr7kgDQogICAgICAgICAgICA8Q09ERT5CYXJyaWVyPC9DT0RFPiDlr7nosaHnmoTlj6/o
p4HmgKfov5vooYzkuKXmoLzmjqfliLbvvIzlj6rlhYHorrjpgqPkupvlt7Lnu4/lnKggQmFycmll
ciDkuIrlkIzmraXnmoTov5vnqIvpm4bnnIvliLDlroPjgII8L1A+DQogICAgICAgICAgICA8UD48
QSBuYW1lPU4xMDEyND48U1BBTiBjbGFzcz1zbWFsbHRpdGxlPuS8vOabvuebuOivhu+8gTwvU1BB
Tj48L0E+PC9QPg0KICAgICAgICAgICAgPFA+5aaC5p6c5oKo6K6k5Li6IDxDT0RFPkJhcnJpZXI8
L0NPREU+IA0KICAgICAgICAgICAg5bel5L2c5pa55byP55qE5o+P6L+w5ZCs6LW35p2l5b6I54af
5oKJ77yM6YKj5bCx5a+55LqG44CCPENPREU+UGFyYWxsZWw8L0NPREU+IOaehOmAoOiHquihjOaO
p+WItui/kOihjOWkmuS4qiANCiAgICAgICAgICAgIDxDT0RFPkNTUHJvY2VzczwvQ09ERT4g5a6e
5L6L55qE5Z+656GA5bCx5pivIDxDT0RFPkJhcnJpZXI8L0NPREU+IOaehOmAoOeahOW6leWxguac
uuWItuOAgjwvUD4NCiAgICAgICAgICAgIDxQPuaCqOS8muaDs+i1t+WJjemdouS7i+e7jei/h++8
jOWcqOaCqOiwg+eUqCA8Q09ERT5QYXJhbGxlbDwvQ09ERT4g5a6e5L6L5LiK55qEIDxDT0RFPnJ1
bjwvQ09ERT4gDQogICAgICAgICAgICDmlrnms5Xml7bvvIzlroPliJvlu7rkuoYgPEk+KG4tMSk8
L0k+IOS4que6v+eoi+adpei/kOihjOWJjemdoiA8ST4obi0xKTwvST4g5LiqIDxDT0RFPkNTUHJv
Y2VzczwvQ09ERT4gDQogICAgICAgICAgICDlrp7kvovvvIznhLblkI7lnKjoh6rlt7HnmoTnur/n
qIvkuK3ov5DooYzmnIDlkI7kuIDkuKogPENPREU+Q1NQcm9jZXNzPC9DT0RFPiDlrp7kvovjgILm
iYDmnInov5nkupvov5vnqIvpg73lnKjkuIDkuKrlhazlhbHnmoQgDQogICAgICAgICAgICA8Q09E
RT5CYXJyaWVyPC9DT0RFPiDlrp7kvovkuIrov5vooYwgPENPREU+c3luYzwvQ09ERT7vvIzov5nk
uKrlrp7kvovmmK/lnKggDQogICAgICAgICAgICA8Q09ERT5QYXJhbGxlbDwvQ09ERT4g57G755qE
5p6E6YCg5Ye95pWw5Lit5Yib5bu655qE77yI6ICM5LiU6YCa6L+H6LSf6LSj6L+Q6KGMIDxDT0RF
PkNTUHJvY2VzczwvQ09ERT4g55qE5q+P5LiqIA0KICAgICAgICAgICAgPEk+bi0xPC9JPiDnur/n
qIvnmoTmnoTpgKDlh73mlbDvvIzlj6/ku6XlsIblrp7kvovkvKDpgJLnu5nmr4/kuKrnur/nqIvv
vInjgII8L1A+DQogICAgICAgICAgICA8UD48Q09ERT5CYXJyaWVyPC9DT0RFPiDmmK/kuIDkuKrm
r5QgPENPREU+UGFyYWxsZWw8L0NPREU+IA0KICAgICAgICAgICAg57qn5Yir5L2O55qE5p6E6YCg
77yM5Zug5q2k77yM55u45bqU5Zyw5Lmf5bCx5bim5p2l5LqG5pu05aSa55qE5aSN5p2C5oCn77yM
6L+b56iL5Y+v5Lul5Zyo5Lu75oSP5pe26Ze05LuOIDxDT0RFPkJhcnJpZXI8L0NPREU+IOWvueix
oSANCiAgICAgICAgICAgIDxDT0RFPmVucm9sbDwvQ09ERT7vvIjnmbvorrDvvInmiJYgDQogICAg
ICAgICAgICA8Q09ERT5yZXNpZ248L0NPREU+77yI6YCA5Ye677yJ44CC5L6L5aaC77yM5Zyo5LiA
5Liq5bel5L2c6L+b56iL6L+Q6KGM5pe277yM5a6D5Y+v6IO95oOz5LiO5pe26ZKf5ZCM5q2l77yI
5a6e6ZmF5LiK5piv5qih5ouf5pe26ZKf5ru0562U77yJIA0KICAgICAgICAgICAg77yM54S25ZCO
5YGc5LiL5p2l5LyR5oGv5LiA5q615pe26Ze077yI5Zyo5q2k5pyf6Ze077yM5a6D5bqU5b2T5LuO
IGJhcnJpZXIg6YCA5Ye677yJ77yM5o6l552A5YaN55m76K6w5YiwIGJhcnJpZXLvvIzph43mlrDl
vIDlp4vlt6XkvZzjgIIgPC9QPjxCUj4NCiAgICAgICAgICAgIDxUQUJMRSBjZWxsU3BhY2luZz0w
IGNlbGxQYWRkaW5nPTAgd2lkdGg9IjEwMCUiIGJvcmRlcj0wPg0KICAgICAgICAgICAgICA8VEJP
RFk+DQogICAgICAgICAgICAgIDxUUj4NCiAgICAgICAgICAgICAgICA8VEQ+PElNRyBoZWlnaHQ9
MSBhbHQ9IiIgDQogICAgICAgICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL3Yx
NC9ydWxlcy9ibHVlX3J1bGUuZ2lmIiANCiAgICAgICAgICAgICAgICAgIHdpZHRoPSIxMDAlIj48
QlI+PElNRyBoZWlnaHQ9NiBhbHQ9IiIgDQogICAgICAgICAgICAgICAgICBzcmM9Imh0dHA6Ly93
d3cuaWJtLmNvbS9pL2MuZ2lmIiB3aWR0aD04IA0KICAgICAgICAgICAgICBib3JkZXI9MD48L1RE
PjwvVFI+PC9UQk9EWT48L1RBQkxFPg0KICAgICAgICAgICAgPFRBQkxFIGNsYXNzPW5vLXByaW50
IGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCBhbGlnbj1yaWdodD4NCiAgICAgICAgICAgICAg
PFRCT0RZPg0KICAgICAgICAgICAgICA8VFIgYWxpZ249cmlnaHQ+DQogICAgICAgICAgICAgICAg
PFREPjxJTUcgaGVpZ2h0PTQgYWx0PSIiIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvYy5naWYi
IA0KICAgICAgICAgICAgICAgICAgd2lkdGg9IjEwMCUiPjxCUj4NCiAgICAgICAgICAgICAgICAg
IDxUQUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgYm9yZGVyPTA+DQogICAgICAgICAg
ICAgICAgICAgIDxUQk9EWT4NCiAgICAgICAgICAgICAgICAgICAgPFRSPg0KICAgICAgICAgICAg
ICAgICAgICAgIDxURCB2QWxpZ249Y2VudGVyPjxJTUcgaGVpZ2h0PTE2IGFsdD0iIiANCiAgICAg
ICAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvdjE0L2ljb25zL3Vf
Ym9sZC5naWYiIHdpZHRoPTE2IA0KICAgICAgICAgICAgICAgICAgICAgICAgYm9yZGVyPTA+PEJS
PjwvVEQ+DQogICAgICAgICAgICAgICAgICAgICAgPFREIHZBbGlnbj10b3AgYWxpZ249cmlnaHQ+
PEEgY2xhc3M9ZmJveCANCiAgICAgICAgICAgICAgICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cu
aWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9jbi9qYXZhL2otY3NwMy5odG1sI21haW4iPjxCPuWbnumh
temmljwvQj48L0E+PC9URD48L1RSPjwvVEJPRFk+PC9UQUJMRT48L1REPjwvVFI+PC9UQk9EWT48
L1RBQkxFPjxCUj48QlI+DQogICAgICAgICAgICA8UD48QSBuYW1lPU4xMDE4MT48U1BBTiBjbGFz
cz1hdGl0bGU+QnVja2V0IOaehOmAoDwvU1BBTj48L0E+PC9QPg0KICAgICAgICAgICAgPFA+PEk+
YnVja2V0PC9JPiDkuZ/mmK/kuIDkuKrnlKjkuo7lpJrov5vnqIvnmoTlkIzmraUgYmFycmllcuOA
gmJ1Y2tldCDmnoTpgKDlkowgYmFycmllciANCiAgICAgICAgICAgIOaehOmAoOS5i+mXtOeahOWM
uuWIq+aYr++8muWcqOWJjeiAheS4re+8jOaJgOaciei/m+eoi+mDveiiq+mYu+Whnu+8jOebtOWI
sOWPpuWkluS4gOS4qu+8iOWklumDqO+8iei/m+eoi+WGs+WumumHiuaUvuWug+S7rO+8jOiAjOmH
iuaUvuaYr+mAmui/h+KAnOa4heepuiBidWNrZXTigJ3ov5vooYznmoTjgII8L1A+DQogICAgICAg
ICAgICA8UD7kvb/nlKggPENPREU+QnVja2V0PC9DT0RFPiDnmoTmlrnms5Xlj6rmmK/liJvlu7rk
uIDkuKogYnVja2V0IA0KICAgICAgICAgICAg5p6E6YCg77yb54S25ZCO77yM5q+P5Liq6ZyA6KaB
5Zyo6K+l5p6E6YCg5LiK6Z2i5ZCM5q2l55qE6L+b56iL6YO95Y+v5Lul6LCD55So6L+Z5LiqIGJ1
Y2tldCDnmoQgPENPREU+ZmFsbEludG8oKTwvQ09ERT4gDQogICAgICAgICAgICDmlrnms5XjgII8
Q09ERT5mYWxsSW50bygpPC9DT0RFPiANCiAgICAgICAgICAgIOaYr+S4gOS4quWQjOatpeeahOaW
ueazle+8jOWug+e7tOaKpOS4gOS4quWGhemDqOWPmOmHj++8jOeUqOivpeWPmOmHj+adpei3n+i4
quW9k+WJje+8iOetieWAme+8ieeahOi/m+eoi+aVsOmHj++8iOS5n+WwseaYr+ivtO+8jOavj+ac
ieS4gOS4quiwg+eUqCANCiAgICAgICAgICAgIDxDT0RFPmZhbGxJbnRvKCk8L0NPREU+IOaWueaz
leeahOi/m+eoi++8jOiuoeaVsOWZqOWPmOmHj+WwseWKoCAx44CC77yJ5Zyo6K6h5pWw5aKe5Yqg
5LmL5ZCO77yM6LCD55So6L+b56iL5omn6KGMIA0KICAgICAgICAgICAgPENPREU+d2FpdCgpPC9D
T0RFPu+8jOi/meWvvOiHtOiwg+eUqOi/m+eoi+WPl+mYu+WhnuOAguW9k+WklumDqOi/m+eoi+iw
g+eUqCA8Q09ERT5CdWNrZXQ8L0NPREU+IOeahO+8iOS5n+aYr+WQjOatpeeahO+8iSANCiAgICAg
ICAgICAgIDxDT0RFPmZsdXNoKCk8L0NPREU+IOaWueazleaXtu+8jOWwseWPkemAgeS4gOS4qiA8
Q09ERT5ub3RpZnlBbGwoKTwvQ09ERT4gDQogICAgICAgICAgICDvvIzllKTphpLmiYDmnInlj5fp
mLvloZ7nmoTnur/nqIvjgILpmLvloZ7ov5vnqIvnmoTmnIDlkI7orqHmlbDlsIbku47ov5nkuKro
sIPnlKjkuK3ovpPlh7rjgII8L1A+DQogICAgICAgICAgICA8UD48Q09ERT5CYXJyaWVyPC9DT0RF
PiDmmK/noa7lrprmgKfnmoTvvIzogIwgPENPREU+QnVja2V0PC9DT0RFPiDmmK/pnZ7noa7lrprm
gKfnmoTjgILlj6/ku6Xkv53or4HlkIzmraXliLAgDQogICAgICAgICAgICA8Q09ERT5CYXJyaWVy
PC9DT0RFPiANCiAgICAgICAgICAgIOeahOi/m+eoi+W+l+WIsOmHjeaWsOWuieaOku+8jOS7juiA
jOW+l+S7peaJp+ihjO+8iOWcqOS4gOS4quaXtumXtOWRqOacn+WQju+8jOWPl+mYu+aXtumXtOmV