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

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

v+efreetieS6jue7hOS4reacgOaFoueahOi/m+eoi+eahOaJp+ihjOaXtumXtO+8ie+8jOWQjOat
peWIsCANCiAgICAgICAgICAgIDxDT0RFPkJ1Y2tldDwvQ09ERT4g55qE57q/56iL5Y+X6Zi75aGe
55qE5pe26Ze05piv5LiN56Gu5a6a55qE77yM5pe26Ze06ZW/55+t5Y+W5Yaz5LqO5riF6Zmk6L+b
56iL5L2V5pe25Yaz5a6a5Y+R5Ye66YeK5pS+6L+Z5Lqb6L+b56iL55qE6LCD55So44CCPC9QPg0K
ICAgICAgICAgICAgPFA+5Zyo5b+F6aG75oyJ54Wn5YWI5ZCO6aG65bqP5aSE55CG5LiA57uE6L+b
56iL5pe277yMPENPREU+QmFycmllcjwvQ09ERT4g5b6I5pyJ55So44CC6L+Z5bCx5piv6K+077yM
5q+P5Liq6L+b6KGM5Yiw5q2l6aqkIDxJPm48L0k+IA0KICAgICAgICAgICAg55qE6L+b56iL6YO9
5LiN6IO96L+b6KGM5q2l6aqkIDxJPm4rMTwvST7vvIznm7TliLDlkIznu4TkuK3nmoTlhbbku5bm
iYDmnInov5vnqIvpg73lt7Lnu4/lrozmiJDlroPku6znmoTmraXpqqQgDQogICAgICAgICAgICA8
ST5uPC9JPuOAguWcqOavj+S4qui/m+eoi+mDveimgeWujOaIkOiHquW3seWIhumFjeeahOS7u+WK
oeW5tuS4lOWBnOWcqCBidWNrZXQgDQogICAgICAgICAgICDkuK3vvIzku6XooajmmI7oh6rlt7Hl
j6/ku6Xov5vooYzkuIvkuIDmraXvvIzov5nnp43mg4XlhrXkuIvvvIw8Q09ERT5CYXJyaWVyPC9D
T0RFPiDlvojmnInnlKjjgILmuIXpmaTov5vnqIvlj6/ku6XlkajmnJ/mgKflnLDmuIXpmaTov5nk
uKogYnVja2V0IA0KICAgICAgICAgICAg77yI5Y+v6IO955So5p+Q5Lqb5bel5L2c6LCD5bqm566X
5rOV77yJ77yM5LuO6ICM6YeK5pS+55uu5YmN5ZyoIGJ1Y2tldCDkuK3nmoTmiYDmnInov5vnqIvv
vIzlvIDlp4vkuIvkuIDnu4Tku7vliqHjgII8L1A+PEJSPg0KICAgICAgICAgICAgPFRBQkxFIGNl
bGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCB3aWR0aD0iMTAwJSIgYm9yZGVyPTA+DQogICAgICAg
ICAgICAgIDxUQk9EWT4NCiAgICAgICAgICAgICAgPFRSPg0KICAgICAgICAgICAgICAgIDxURD48
SU1HIGhlaWdodD0xIGFsdD0iIiANCiAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5p
Ym0uY29tL2kvdjE0L3J1bGVzL2JsdWVfcnVsZS5naWYiIA0KICAgICAgICAgICAgICAgICAgd2lk
dGg9IjEwMCUiPjxCUj48SU1HIGhlaWdodD02IGFsdD0iIiANCiAgICAgICAgICAgICAgICAgIHNy
Yz0iaHR0cDovL3d3dy5pYm0uY29tL2kvYy5naWYiIHdpZHRoPTggDQogICAgICAgICAgICAgIGJv
cmRlcj0wPjwvVEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+DQogICAgICAgICAgICA8VEFCTEUgY2xh
c3M9bm8tcHJpbnQgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIGFsaWduPXJpZ2h0Pg0KICAg
ICAgICAgICAgICA8VEJPRFk+DQogICAgICAgICAgICAgIDxUUiBhbGlnbj1yaWdodD4NCiAgICAg
ICAgICAgICAgICA8VEQ+PElNRyBoZWlnaHQ9NCBhbHQ9IiIgc3JjPSJodHRwOi8vd3d3LmlibS5j
b20vaS9jLmdpZiIgDQogICAgICAgICAgICAgICAgICB3aWR0aD0iMTAwJSI+PEJSPg0KICAgICAg
ICAgICAgICAgICAgPFRBQkxFIGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCBib3JkZXI9MD4N
CiAgICAgICAgICAgICAgICAgICAgPFRCT0RZPg0KICAgICAgICAgICAgICAgICAgICA8VFI+DQog
ICAgICAgICAgICAgICAgICAgICAgPFREIHZBbGlnbj1jZW50ZXI+PElNRyBoZWlnaHQ9MTYgYWx0
PSIiIA0KICAgICAgICAgICAgICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS92
MTQvaWNvbnMvdV9ib2xkLmdpZiIgd2lkdGg9MTYgDQogICAgICAgICAgICAgICAgICAgICAgICBi
b3JkZXI9MD48QlI+PC9URD4NCiAgICAgICAgICAgICAgICAgICAgICA8VEQgdkFsaWduPXRvcCBh
bGlnbj1yaWdodD48QSBjbGFzcz1mYm94IA0KICAgICAgICAgICAgICAgICAgICAgICAgaHJlZj0i
aHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3AzLmh0bWwjbWFp
biI+PEI+5Zue6aG16aaWPC9CPjwvQT48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxFPjwvVEQ+PC9U
Uj48L1RCT0RZPjwvVEFCTEU+PEJSPjxCUj4NCiAgICAgICAgICAgIDxQPjxBIG5hbWU9TjEwMUQ4
PjxTUEFOIGNsYXNzPWF0aXRsZT5DUkVXIOaehOmAoDwvU1BBTj48L0E+PC9QPg0KICAgICAgICAg
ICAgPFA+5bm25Y+R6K+7L+aOkuWug+WGme+8iENvbmN1cnJlbnQtUmVhZC1FeGNsdXNpdmUtV3Jp
dGXvvInmnoTpgKDvvIzljbMgQ1JFVyANCiAgICAgICAgICAgIOmUge+8jOWFgeiuuOWkmuS4quW5
tuihjOmYheivu+WZqOiuv+mXruWFseS6q+i1hOa6kO+8jOadoeS7tuaYr++8mu+8iDHvvInigJzo
r7vigJ3orr/pl67kuI3kvJrkv67mlLnotYTmupDvvJvvvIgy77yJ5LmL5YmN5rKh5pyJ5YaZ5YWl
5Zmo5q2j5Zyo6K6/6Zeu6LWE5rqQ44CC5b2T5YaZ5YWl5Zmo5q2j5Zyo6K6/6Zeu6LWE5rqQ5pe2
77yM5a6D5a+56LWE5rqQ5oul5pyJ5o6S5a6D5p2D6ZmQ77ya5LiN566h5piv6ZiF6K+75Zmo6L+Y
5piv5YaZ5YWl5Zmo77yM6YO95LiN5YWB6K646K6/6Zeu6LWE5rqQ44CCPC9QPg0KICAgICAgICAg
ICAgPFA+Q1JFVyANCiAgICAgICAgICAgIOmUgeeahOS9v+eUqOaYr+S4uuS6hua2iOmZpOS6ieeU
qOmjjumZqe+8iOWboOS4uuernuS6ieeahOmYheivu+WZqC/lhpnlhaXlmajov5vnqIvkuYvpl7Tk
u7vmhI/nmoTkuqTlj4nvvInvvIzlubbkuJTnlLHkuo7lhYHorrjlpJrkuKrpmIXor7vlmajov5vn
qIvlubbooYzmiafooYzogIzmj5Dpq5jkuobmgKfog73jgILmmK/lkKbnnJ/nmoTkvJrmnInmgKfo
g73mj5DljYfliJnlj5blhrPkuo7ku6XkuIvlm6DntKDvvJrku6Xor7vmqKHlvI/orr/pl67otYTm
upDnmoTpopHnjofkuI7ku6XlhpnmqKHlvI/orr/pl67otYTmupDnmoTpopHnjofnmoTmr5TovoPj
gIHor7vmk43kvZzlkozlhpnmk43kvZznmoTml7bpl7TvvIzku6Xlj4rlnKjlkIzkuIDml7bpl7Tl
nKjlhrLnqoHmqKHlvI/kuIvor5Xlm77orr/pl67lhbHkuqvotYTmupDnmoTov5vnqIvmlbDph4/j
gII8L1A+DQogICAgICAgICAgICA8UD7or7flj4LpmIUgSkNTUCDlj5HooYzniYjpmYTluKbnmoQg
SmF2YWRvY++8iOWcqCA8QSANCiAgICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9k
ZXZlbG9wZXJ3b3Jrcy9jbi9qYXZhL2otY3NwMy5odG1sI3Jlc291cmNlcyI+5Y+C6ICD6LWE5paZ
PC9BPuS4re+8ie+8jOS7peiOt+W+lyANCiAgICAgICAgICAgIENSRVcg6ZSB55qE5YaF6YOo5a6e
546w55qE57K+5b2p5o+P6L+w44CCPC9QPjxCUj4NCiAgICAgICAgICAgIDxUQUJMRSBjZWxsU3Bh
Y2luZz0wIGNlbGxQYWRkaW5nPTAgd2lkdGg9IjEwMCUiIGJvcmRlcj0wPg0KICAgICAgICAgICAg
ICA8VEJPRFk+DQogICAgICAgICAgICAgIDxUUj4NCiAgICAgICAgICAgICAgICA8VEQ+PElNRyBo
ZWlnaHQ9MSBhbHQ9IiIgDQogICAgICAgICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNv
bS9pL3YxNC9ydWxlcy9ibHVlX3J1bGUuZ2lmIiANCiAgICAgICAgICAgICAgICAgIHdpZHRoPSIx
MDAlIj48QlI+PElNRyBoZWlnaHQ9NiBhbHQ9IiIgDQogICAgICAgICAgICAgICAgICBzcmM9Imh0
dHA6Ly93d3cuaWJtLmNvbS9pL2MuZ2lmIiB3aWR0aD04IA0KICAgICAgICAgICAgICBib3JkZXI9
MD48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxFPg0KICAgICAgICAgICAgPFRBQkxFIGNsYXNzPW5v
LXByaW50IGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCBhbGlnbj1yaWdodD4NCiAgICAgICAg
ICAgICAgPFRCT0RZPg0KICAgICAgICAgICAgICA8VFIgYWxpZ249cmlnaHQ+DQogICAgICAgICAg
ICAgICAgPFREPjxJTUcgaGVpZ2h0PTQgYWx0PSIiIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kv
Yy5naWYiIA0KICAgICAgICAgICAgICAgICAgd2lkdGg9IjEwMCUiPjxCUj4NCiAgICAgICAgICAg
ICAgICAgIDxUQUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgYm9yZGVyPTA+DQogICAg
ICAgICAgICAgICAgICAgIDxUQk9EWT4NCiAgICAgICAgICAgICAgICAgICAgPFRSPg0KICAgICAg
ICAgICAgICAgICAgICAgIDxURCB2QWxpZ249Y2VudGVyPjxJTUcgaGVpZ2h0PTE2IGFsdD0iIiAN
CiAgICAgICAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvdjE0L2lj
b25zL3VfYm9sZC5naWYiIHdpZHRoPTE2IA0KICAgICAgICAgICAgICAgICAgICAgICAgYm9yZGVy
PTA+PEJSPjwvVEQ+DQogICAgICAgICAgICAgICAgICAgICAgPFREIHZBbGlnbj10b3AgYWxpZ249
cmlnaHQ+PEEgY2xhc3M9ZmJveCANCiAgICAgICAgICAgICAgICAgICAgICAgIGhyZWY9Imh0dHA6
Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9jbi9qYXZhL2otY3NwMy5odG1sI21haW4iPjxC
PuWbnumhtemmljwvQj48L0E+PC9URD48L1RSPjwvVEJPRFk+PC9UQUJMRT48L1REPjwvVFI+PC9U
Qk9EWT48L1RBQkxFPjxCUj48QlI+DQogICAgICAgICAgICA8UD48QSBuYW1lPU4xMDFFQz48U1BB
TiBjbGFzcz1hdGl0bGU+566h55CGIENTUHJvY2VzcyDlrp7kvos8L1NQQU4+PC9BPjwvUD4NCiAg
ICAgICAgICAgIDxQPuWcqCA8QSBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29y
a3MvY24vamF2YS9qLWNzcDIvIj7nrKwgMiANCiAgICAgICAgICAgIOmDqOWIhjwvQT4g5Lit77yM
5oiR5LuL57uN5LqG5aaC5L2V55SoIDxDT0RFPlBhcmFsbGVsPC9DT0RFPiANCiAgICAgICAgICAg
IOaehOmAoOaKiui+g+S9jue6p+WIq+eahOKAnOaehOmAoOWdl+KAnei/m+eoi+e7hOWQiOaIkOab
tOmrmOe6p+WIq+eahOi/m+eoi+e9kee7nOOAguiZveeEtuWvueS6juiuuOWkmue8lueoi+WcuuaZ
r++8jOi/meS6m+aPj+i/sOmDveaYr+WQiOmAgueahO+8jOS9huWcqOi/meevh+aWh+eroOeahOek
uuS+i+S4re+8jOaIkeWBh+iuvuW3sue7j+efpemBk+S6humcgOimgeWIm+W7uueahOaJgOaciei/
m+eoi+eahOWFqOmDqOe7huiKguOAguS9huaYr+WvueS6juafkOS6m+W6lOeUqOeoi+W6j+adpeiv
tO+8jOWPr+iDveS8muWPkeeOsOacieW/heimgeagueaNruWPquiDveWcqOi/kOihjOaXtuaJjeiD
veiuoeeul+eahOafkOS6m+adoeS7tu+8jOWKqOaAgeWcsOWIm+W7uuS4gOS4quaIluWkmuS4qui/
m+eoi++8jOiAjOS4lOi/mOW6lOW9k+iDveWkn+euoeeQhuWug+S7rOOAgjwvUD4NCiAgICAgICAg
ICAgIDxUQUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgd2lkdGg9IjQwJSIgYWxpZ249
cmlnaHQgDQogICAgICAgICAgICAgIGJvcmRlcj0wPjxUQk9EWT4NCiAgICAgICAgICAgICAgPFRS
Pg0KICAgICAgICAgICAgICAgIDxURCB3aWR0aD0xMD48SU1HIGhlaWdodD0xIGFsdD0iIiANCiAg
ICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvYy5naWYiIHdpZHRoPTEw
PjwvVEQ+DQogICAgICAgICAgICAgICAgPFREPg0KICAgICAgICAgICAgICAgICAgPFRBQkxFIGNl
bGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9NSB3aWR0aD0iMTAwJSIgYm9yZGVyPTE+DQogICAgICAg
ICAgICAgICAgICAgIDxUQk9EWT4NCiAgICAgICAgICAgICAgICAgICAgPFRSPg0KICAgICAgICAg
ICAgICAgICAgICAgIDxURCBiZ0NvbG9yPSNlZWVlZWU+PEEgDQogICAgICAgICAgICAgICAgICAg
ICAgICBuYW1lPXNpZGViYXIyPjxCPkpDU1AubmV0PC9CPjwvQT48QlI+DQogICAgICAgICAgICAg
ICAgICAgICAgICA8UD7miJHlnKjmnKzmlofnpLrkvovkuK3kvb/nlKjnmoQgSkNTUCDlupPlrp7p
mYXkuIrkvb/nlKjnmoTmmK/lkIzkuIAgSlZNIOS4rei/kOihjOeahOe6v+eoi++8jOW9k+eEtu+8
jEpWTSANCiAgICAgICAgICAgICAgICAgICAgICAgIOWPr+iDveato+i/kOihjOWcqOWNleWkhOeQ
huWZqOaIluWkmuWkhOeQhuWZqOacuuWZqOS4iuOAguWAmOiLpeaCqOWvueaYr+WQpuacieWPr+iD
vee7hOWQiOWvuei3qOiuuOWkmiBKVk0gDQogICAgICAgICAgICAgICAgICAgICAgICDnmoTov5vn
qIvov5vooYzpgJrkv6HlkozlkIzmraXnmoTliIblsYLnvZHnu5zmhJ/liLDmgIDnlpHvvIzpgqPk
uYjnrZTmoYjmmK/ogq/lrprnmoTvvIFKQ1NQIOW6k+eahOWPq+S9nCA8ST5KQ1NQLm5ldDwvST4g
DQogICAgICAgICAgICAgICAgICAgICAgICDnmoTkuIDkuKrlj5jkvZPlj6/ku6Xorqnmgqjnsr7n
oa7lnLDlgZrliLDov5nngrnjgILkvb/nlKggSkNTUC5uZXQgDQogICAgICAgICAgICAgICAgICAg
ICAgICDnvJbnqIvnmoTmnIDlpKflpb3lpITmmK/vvJrot6jniannkIbnvZHnu5zov5DooYznmoTo
mZrmi5/pgJrpgZPnnIvotbfmnaXlt67kuI3lpJrlsLHlg4/mgqjlnKjmnKzmlofkuK3lt7Lnu4/p
gYfliLDov4fnmoTmnKzlnLDnmoTjgIHljZXkuIAgSlZNIA0KICAgICAgICAgICAgICAgICAgICAg
ICAg55qE6YCa6YGT5LiA5qC377yM6Jm954S25b6I5pi+54S25Lya5pu05aSN5p2C5LiA5Lqb44CC
6K+35Y+C6ZiFIDxBIA0KICAgICAgICAgICAgICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5p
Ym0uY29tL2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3AzLmh0bWwjcmVzb3VyY2VzIj7lj4Lo
gIPotYTmlpk8L0E+77yM5a2m5Lmg5YWz5LqOIA0KICAgICAgICAgICAgICAgICAgICAgICAgSkNT
UC5uZXQgDQogICAgICAgICAgICAgIOWPr+eUqOeahOWVhuS4mueJiOacrOeahOabtOWkmuWGheWu
ueOAgjwvUD48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxFPjwvVEQ+PC9UUj48L1RCT0RZPjwvVEFC
TEU+DQogICAgICAgICAgICA8UD5KQ1NQIOS4uui/meexu+WcuuaZr+aPkOS+m+S6huS4gOS4quWP
q+S9nCA8Q09ERT5Qcm9jZXNzTWFuYWdlcjwvQ09ERT4g55qE57G744CC6L+Z5Liq57G75o6l5Y+X
IA0KICAgICAgICAgICAgPENPREU+Q1NQcm9jZXNzPC9DT0RFPiANCiAgICAgICAgICAgIOWunuS+
i+S9nOS4uui+k+WFpeWPguaVsO+8jOWFgeiuuOeUqOS7peS4i+S4pOenjeS4jeWQjOeahOaWueaz
leS5i+S4gOWQr+WKqOi/m+eoi+OAguWmguaenOWcqDxDT0RFPlByb2Nlc3NNYW5hZ2VyPC9DT0RF
PiDkuIrosIPnlKggDQogICAgICAgICAgICA8Q09ERT5ydW4oKTwvQ09ERT4g5pa55rOV77yM6YKj
5LmIIDxDT0RFPlByb2Nlc3NNYW5hZ2VyPC9DT0RFPiANCiAgICAgICAgICAgIOWwhuWQr+WKqOaJ
mOeuoeeahOi/m+eoi++8jOeEtuWQjuetieWAmei/m+eoi+e7iOatou+8iOiiq+euoeeQhueahOi/
m+eoi+WcqCA8Q09ERT5Qcm9jZXNzTWFuYWdlcjwvQ09ERT4gDQogICAgICAgICAgICDnmoTnur/n
qIvkuIrov5DooYzvvIzmiYDku6XvvIzlkI7ogIXnmoTov5DooYzooqvpmLvmjKHvvIznm7TliLDm
iZjnrqHnmoTov5vnqIvlrozmiJDkuLrmraLvvInjgILlj6bkuIDkuKrpgInpobnmmK/osIPnlKgg
PENPREU+UHJvY2Vzc01hbmFnZXI8L0NPREU+IA0KICAgICAgICAgICAg5LiK55qEIDxDT0RFPnN0
YXJ0KCk8L0NPREU+IA0KICAgICAgICAgICAg5pa55rOV77yM6L+Z5L2/5omY566h55qE6L+b56iL
5Zyo54us56uL55qE57q/56iL5Lit5ZCv5Yqo77yM5Zyo6L+Z56eN5oOF5Ya15LiL77yMPENPREU+
UHJvY2Vzc01hbmFnZXI8L0NPREU+IOiHquW3seS7jeeEtue7p+e7rei/kOihjOOAgjwvUD4NCiAg
ICAgICAgICAgIDxQPjxBIG5hbWU9TjEwMjM5PjxTUEFOIGNsYXNzPXNtYWxsdGl0bGU+566h55CG
5bm26KGM5LyY5YWI57qnPC9TUEFOPjwvQT48L1A+DQogICAgICAgICAgICA8UD7miJHlnKggPEEg
aHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3AyLyI+
56ysIA0KICAgICAgICAgICAgMiDpg6jliIY8L0E+IOS4reaPkOWIsO+8mjxDT0RFPlBhcmFsbGVs
PC9DT0RFPiDmnoTpgKDlubbooYzlnLDov5DooYzmnoTpgKDlh73mlbDkuK3kvKDpgJLnu5nlroPn
moTmlbDnu4TkuK3ljIXlkKvnmoTmiYDmnIkgDQogICAgICAgICAgICA8Q09ERT5DU1Byb2Nlc3M8
L0NPREU+IOWunuS+i+OAguS9huaYr+WcqOafkOS6m+aDheWGteS4i++8jOWPr+iDveW/hemhu+im
geS4uui/meS6m+i/m+eoi+i1i+S6iOS4jeWQjOeahOS8mOWFiOe6p+OAgkpDU1Ag5o+Q5L6b5LqG
5LiA5Liq5Y+r5L2cIA0KICAgICAgICAgICAgPENPREU+UHJpUGFyYWxsZWw8L0NPREU+IOeahOex
u++8jOWPr+S7peS4uuS8oOmAkue7meWug+eahOi/m+eoi+WKoOS4iuS8mOWFiOe6p+OAgjwvUD4N
CiAgICAgICAgICAgIDxQPuWPl+aOp+WItueahOi/m+eoi+eahOS8mOWFiOe6p+aYr+eUsei/m+eo
i+WcqOaVsOe7hOS4reeahOS9jee9rue0ouW8leWGs+WumueahOOAguWcqOaVsOe7hOS4re+8jOaU
vuWcqOWJjemdoueahOi/m+eoi+aLpeacieabtOmrmOeahOS8mOWFiOe6p+OAguazqOaEj++8jEpD
U1AgDQogICAgICAgICAgICDku6XlupXlsYLnur/nqIvnmoTkvJjlhYjnuqfmnLrliLblrp7njrDo
v5vnqIvnmoTkvJjlhYjnuqfvvJvmiYDku6XkvJjlhYjnuqflrp7pmYXnmoTlt6XkvZzmlrnlvI/l
j5blhrPkuo7lupXlsYLnmoQgSlZNIOWunueOsOOAgjwvUD48QlI+DQogICAgICAgICAgICA8VEFC
TEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIHdpZHRoPSIxMDAlIiBib3JkZXI9MD4NCiAg
ICAgICAgICAgICAgPFRCT0RZPg0KICAgICAgICAgICAgICA8VFI+DQogICAgICAgICAgICAgICAg
PFREPjxJTUcgaGVpZ2h0PTEgYWx0PSIiIA0KICAgICAgICAgICAgICAgICAgc3JjPSJodHRwOi8v
d3d3LmlibS5jb20vaS92MTQvcnVsZXMvYmx1ZV9ydWxlLmdpZiIgDQogICAgICAgICAgICAgICAg
ICB3aWR0aD0iMTAwJSI+PEJSPjxJTUcgaGVpZ2h0PTYgYWx0PSIiIA0KICAgICAgICAgICAgICAg
ICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS9jLmdpZiIgd2lkdGg9OCANCiAgICAgICAgICAg
ICAgYm9yZGVyPTA+PC9URD48L1RSPjwvVEJPRFk+PC9UQUJMRT4NCiAgICAgICAgICAgIDxUQUJM
RSBjbGFzcz1uby1wcmludCBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgYWxpZ249cmlnaHQ+
DQogICAgICAgICAgICAgIDxUQk9EWT4NCiAgICAgICAgICAgICAgPFRSIGFsaWduPXJpZ2h0Pg0K
ICAgICAgICAgICAgICAgIDxURD48SU1HIGhlaWdodD00IGFsdD0iIiBzcmM9Imh0dHA6Ly93d3cu
aWJtLmNvbS9pL2MuZ2lmIiANCiAgICAgICAgICAgICAgICAgIHdpZHRoPSIxMDAlIj48QlI+DQog
ICAgICAgICAgICAgICAgICA8VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIGJvcmRl
cj0wPg0KICAgICAgICAgICAgICAgICAgICA8VEJPRFk+DQogICAgICAgICAgICAgICAgICAgIDxU
Uj4NCiAgICAgICAgICAgICAgICAgICAgICA8VEQgdkFsaWduPWNlbnRlcj48SU1HIGhlaWdodD0x
NiBhbHQ9IiIgDQogICAgICAgICAgICAgICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNv
bS9pL3YxNC9pY29ucy91X2JvbGQuZ2lmIiB3aWR0aD0xNiANCiAgICAgICAgICAgICAgICAgICAg
ICAgIGJvcmRlcj0wPjxCUj48L1REPg0KICAgICAgICAgICAgICAgICAgICAgIDxURCB2QWxpZ249
dG9wIGFsaWduPXJpZ2h0PjxBIGNsYXNzPWZib3ggDQogICAgICAgICAgICAgICAgICAgICAgICBo
cmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY24vamF2YS9qLWNzcDMuaHRt
bCNtYWluIj48Qj7lm57pobXpppY8L0I+PC9BPjwvVEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+PC9U
RD48L1RSPjwvVEJPRFk+PC9UQUJMRT48QlI+PEJSPg0KI