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

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

Zz0wIGNlbGxQYWRkaW5nPTAgYm9yZGVyPTA+DQogICAgICAgICAgICAgICAgICAgIDxUQk9EWT4N
CiAgICAgICAgICAgICAgICAgICAgPFRSPg0KICAgICAgICAgICAgICAgICAgICAgIDxURCB2QWxp
Z249Y2VudGVyPjxJTUcgaGVpZ2h0PTE2IGFsdD0iIiANCiAgICAgICAgICAgICAgICAgICAgICAg
IHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvdjE0L2ljb25zL3VfYm9sZC5naWYiIHdpZHRoPTE2
IA0KICAgICAgICAgICAgICAgICAgICAgICAgYm9yZGVyPTA+PEJSPjwvVEQ+DQogICAgICAgICAg
ICAgICAgICAgICAgPFREIHZBbGlnbj10b3AgYWxpZ249cmlnaHQ+PEEgY2xhc3M9ZmJveCANCiAg
ICAgICAgICAgICAgICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3
b3Jrcy9jbi9qYXZhL2otY3NwMS5odG1sI21haW4iPjxCPuWbnumhtemmljwvQj48L0E+PC9URD48
L1RSPjwvVEJPRFk+PC9UQUJMRT48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxFPjxCUj48QlI+DQog
ICAgICAgICAgICA8UD48QSBuYW1lPU4xMDEzMT48U1BBTiBjbGFzcz1hdGl0bGU+57q/56iL54q2
5oCBPC9TUEFOPjwvQT48L1A+DQogICAgICAgICAgICA8UD7miJHliY3pnaLmj5DliLDov4fvvIzl
v4XpobvosIPnlKjmlrDliJvlu7rnmoTnur/nqIvnmoQgPENPREU+c3RhcnQoKTwvQ09ERT4g5pa5
5rOV5p2l5ZCv5Yqo5a6D55qE5omn6KGM44CC5L2G5piv77yM5LuF5LuF5piv6LCD55SoIA0KICAg
ICAgICAgICAgPENPREU+c3RhcnQoKTwvQ09ERT4g5pa55rOV5bm25LiN5oSP5ZGz552A57q/56iL
5Lya56uL5Y2z5byA5aeL6L+Q6KGM44CC6L+Z5Liq5pa55rOV5Y+q5piv5oqK57q/56iL55qE54q2
5oCB5LuOIDxJPm5ldzwvST4g5Y+Y5oiQIA0KICAgICAgICAgICAgPEk+cnVubmFibGU8L0k+44CC
5Y+q5pyJ5Zyo5pON5L2c57O757uf55yf5q2j5a6J5o6S57q/56iL5omn6KGM55qE5pe25YCZ77yM
57q/56iL54q25oCB5omN5Lya5Y+Y5oiQIDxJPnJ1bm5pbmc8L0k+IO+8iOS7jiANCiAgICAgICAg
ICAgIDxJPnJ1bm5hYmxlPC9JPu+8ieOAgjwvUD4NCiAgICAgICAgICAgIDxQPuWFuOWei+eahOaT
jeS9nOezu+e7n+aUr+aMgeS4pOenjee6v+eoi+aooeWeiyDigJTigJQg5Y2P5L2c5byP5ZKM5oqi
5Y2g5byP44CC5ZyoPEk+5Y2P5L2c5byPPC9JPiDmqKHlnovkuK3vvIzmr4/kuKrnur/nqIvlr7nk
uo7oh6rlt7Hlr7kgQ1BVIA0KICAgICAgICAgICAg55qE5o6n5Yi25p2D6KaB5L+d55WZ5aSa5LmF
44CB5LuA5LmI5pe25YCZ5pS+5byD5pyJ5pyA57uI5oSP6KeB44CC5Zyo6L+Z5Liq5qih5Z6L5Lit
77yM5Zug5Li65Y+v6IO95a2Y5Zyo5p+Q5Liq5peg6LWW57q/56iL5Y2g5L2P5o6n5Yi25p2D5LiN
5pS+77yM5omA5Lul5YW25LuW57q/56iL5Y+v6IO95rC46L+c5peg5rOV5b6X5Yiw6L+Q6KGM44CC
5ZyoIA0KICAgICAgICAgICAgPEk+5oqi5Y2g5byPPC9JPiANCiAgICAgICAgICAgIOaooeWei+S4
re+8jOaTjeS9nOezu+e7n+acrOi6q+mHh+eUqOWfuuS6juaXtumSn+KAnOa7tOetlOKAneeahOiu
oeaXtuWZqO+8jOWfuuS6jui/meS4quiuoeaXtuWZqO+8jOaTjeS9nOezu+e7n+WPr+S7peW8uuWI
tuaKiuaOp+WItuadg+S7juS4gOS4que6v+eoi+i9rOenu+WIsOWPpuWkluS4gOS4que6v+eoi+OA
guWcqOi/meenjeaDheWGteS4i++8jOWGs+WumuWTquS4que6v+eoi+S8muW+l+WIsOS4i+S4gOas
oeaOp+WItuadg+eahOiwg+W6puetlueVpeWwseacieWPr+iDveWfuuS6juWQhOenjeaMh+agh++8
jOS+i+WmguebuOWvueS8mOWFiOe6p+OAgeafkOS4que6v+eoi+W3sue7j+etieW+heaJp+ihjOea
hOaXtumXtOmVv+efre+8jOetieetieOAgjwvUD4NCiAgICAgICAgICAgIDxQPuWmguaenOWHuuS6
juafkOS6m+WOn+WboO+8jOWkhOWcqCA8ST5ydW5uaW5nPC9JPiANCiAgICAgICAgICAgIOeKtuaA
geeahOe6v+eoi+mcgOimgeetieWAmeafkOS4qui1hOa6kO+8iOS+i+Wmgu+8jOetieWAmeiuvuWk
h+eahOi+k+WFpeaVsOaNruWIsOi+vu+8jOaIluiAheetieWAmeafkOS6m+adoeS7tuW3sue7j+iu
vuWumueahOmAmuefpe+8ie+8jOaIluiAheWcqOivleWbvuiOt+W+l+S6kuaWpeS9k+eahOaXtuWA
meiiq+mYu+Whnu+8jOWboOatpOe6v+eoi+WGs+WumuedoeecoO+8jOmCo+S5iOi/meaXtuWug+WP
r+S7pei/m+WFpSANCiAgICAgICAgICAgIDxJPmJsb2NrZWQ8L0k+IA0KICAgICAgICAgICAg54q2
5oCB44CC5b2T552h55yg5ZGo5pyf5Yiw5pyf44CB6aKE5pyf6L6T5YWl5Yiw6L6+77yM5oiW6ICF
5LqS5pal5L2T5b2T5YmN55qE5oul5pyJ6ICF5bCG5YW26YeK5pS+5bm26YCa55+l562J5YCZ57q/
56iL5Y+v5Lul5YaN5qyh5aS65Y+W5LqS5pal5L2T5pe277yM6Zi75aGe55qE57q/56iL6YeN5paw
6L+b5YWlIA0KICAgICAgICAgICAgPEk+cnVubmFibGU8L0k+IOeKtuaAgeOAgjwvUD4NCiAgICAg
ICAgICAgIDxQPuW9k+e6v+eoi+eahCA8Q09ERT5ydW4oKTwvQ09ERT4g5pa55rOV5a6M5oiQ5pe2
77yI5oiW6ICF5q2j5bi46L+U5Zue77yM5oiW6ICF5oqb5Ye6IA0KICAgICAgICAgICAgPENPREU+
UnVudGltZUV4Y2VwdGlvbjwvQ09ERT4g6L+Z5qC355qE5pyq5qOA5rWL5Yiw5byC5bi477yJ77yM
57q/56iL5bCG57uI5q2i44CC6L+Z5pe277yM57q/56iL55qE54q25oCB5pivIA0KICAgICAgICAg
ICAgPEk+ZGVhZDwvST7jgILlvZPnur/nqIvmrbvkuqHml7bvvIzlsLHkuI3og73pgJrov4flho3m
rKHosIPnlKjlroPnmoQgPENPREU+c3RhcnQoKTwvQ09ERT4gDQogICAgICAgICAgICDmlrnms5Xm
naXph43mlrDlkK/liqjlroPvvIzlpoLmnpzpgqPkuYjlgZrvvIzliJnkvJrmipvlh7ogPENPREU+
SW52YWxpZFRocmVhZFN0YXRlRXhjZXB0aW9uPC9DT0RFPiANCiAgICAgICAgICAgIOW8guW4uOOA
gjwvUD48QlI+DQogICAgICAgICAgICA8VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0w
IHdpZHRoPSIxMDAlIiBib3JkZXI9MD4NCiAgICAgICAgICAgICAgPFRCT0RZPg0KICAgICAgICAg
ICAgICA8VFI+DQogICAgICAgICAgICAgICAgPFREPjxJTUcgaGVpZ2h0PTEgYWx0PSIiIA0KICAg
ICAgICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS92MTQvcnVsZXMvYmx1ZV9y
dWxlLmdpZiIgDQogICAgICAgICAgICAgICAgICB3aWR0aD0iMTAwJSI+PEJSPjxJTUcgaGVpZ2h0
PTYgYWx0PSIiIA0KICAgICAgICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS9j
LmdpZiIgd2lkdGg9OCANCiAgICAgICAgICAgICAgYm9yZGVyPTA+PC9URD48L1RSPjwvVEJPRFk+
PC9UQUJMRT4NCiAgICAgICAgICAgIDxUQUJMRSBjbGFzcz1uby1wcmludCBjZWxsU3BhY2luZz0w
IGNlbGxQYWRkaW5nPTAgYWxpZ249cmlnaHQ+DQogICAgICAgICAgICAgIDxUQk9EWT4NCiAgICAg
ICAgICAgICAgPFRSIGFsaWduPXJpZ2h0Pg0KICAgICAgICAgICAgICAgIDxURD48SU1HIGhlaWdo
dD00IGFsdD0iIiBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL2MuZ2lmIiANCiAgICAgICAgICAg
ICAgICAgIHdpZHRoPSIxMDAlIj48QlI+DQogICAgICAgICAgICAgICAgICA8VEFCTEUgY2VsbFNw
YWNpbmc9MCBjZWxsUGFkZGluZz0wIGJvcmRlcj0wPg0KICAgICAgICAgICAgICAgICAgICA8VEJP
RFk+DQogICAgICAgICAgICAgICAgICAgIDxUUj4NCiAgICAgICAgICAgICAgICAgICAgICA8VEQg
dkFsaWduPWNlbnRlcj48SU1HIGhlaWdodD0xNiBhbHQ9IiIgDQogICAgICAgICAgICAgICAgICAg
ICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL3YxNC9pY29ucy91X2JvbGQuZ2lmIiB3aWR0
aD0xNiANCiAgICAgICAgICAgICAgICAgICAgICAgIGJvcmRlcj0wPjxCUj48L1REPg0KICAgICAg
ICAgICAgICAgICAgICAgIDxURCB2QWxpZ249dG9wIGFsaWduPXJpZ2h0PjxBIGNsYXNzPWZib3gg
DQogICAgICAgICAgICAgICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxv
cGVyd29ya3MvY24vamF2YS9qLWNzcDEuaHRtbCNtYWluIj48Qj7lm57pobXpppY8L0I+PC9BPjwv
VEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+PC9URD48L1RSPjwvVEJPRFk+PC9UQUJMRT48QlI+PEJS
Pg0KICAgICAgICAgICAgPFA+PEEgbmFtZT1OMTAxN0E+PFNQQU4gY2xhc3M9YXRpdGxlPuWbm+S4
quW4uOingee8uumZtzwvU1BBTj48L0E+PC9QPg0KICAgICAgICAgICAgPFA+5q2j5aaC5oiR5bey
57uP5bGV56S66L+H55qE77yMSmF2YSANCiAgICAgICAgICAgIOivreiogOS4reeahOWkmue6v+eo
i+e8lueoi+aYr+mAmui/h+ivreiogOaUr+aMgeeahOWkp+mHj+eyvuW/g+iuvuiuoeeahOaehOmA
oOWunueOsOeahOOAguWPpuWklu+8jOi/mOiuvuiuoeS6huWkp+mHj+iuvuiuoeaooeW8j+WSjOaM
h+WvvOWOn+WIme+8jOadpeW4ruWKqeS6uuS7rOS6huino+i/meenjeWkjeadguaAp+W4puadpeea
hOiuuOWkmue8uumZt+OAgumZpOatpOS5i+Wklu+8jOWkmue6v+eoi+e8lueoi+S8muW+iOWuueaY
k+WcsOWcqOS4jee7j+aEj+mXtOaKiue7huW+rueahCANCiAgICAgICAgICAgIGJ1ZyDluKbov5vl
pJrnur/nqIvku6PnoIHvvIzogIzkuJTmm7Tph43opoHnmoTmmK/vvIzov5nnsbvpl67popjliIbm
npDlkozosIPor5XotbfmnaXpnZ7luLjlm7Dpmr7jgILmjqXkuIvmnaXopoHku4vnu43nmoTmmK/n
lKggSmF2YSANCiAgICAgICAgICAgIOivreiogOi/m+ihjOWkmue6v+eoi+e8lueoi+aXtuWwhuS8
mumBh+WIsO+8iOaIluiAheWPr+iDveW3sue7j+mBh+WIsOi/h++8ieeahOacgOW4uOingemXrumi
mOeahOS4gOS4quWIl+ihqOOAgjwvUD4NCiAgICAgICAgICAgIDxQPjxBIG5hbWU9TjEwMTg0PjxT
UEFOIGNsYXNzPXNtYWxsdGl0bGU+5LqJ55So5p2h5Lu2PC9TUEFOPjwvQT48L1A+DQogICAgICAg
ICAgICA8UD7mja7or7QgPEk+5LqJ55So5p2h5Lu2PC9JPiDlrZjlnKjkuo7ov5nmoLfnmoTns7vn
u5/kuK3vvJrlpJrkuKrnur/nqIvkuYvpl7TlrZjlnKjlr7nlhbHkuqvotYTmupDnmoTnq57kuonv
vIzogIzog5zlh7rogIXlhrPlrprns7vnu5/nmoTooYzkuLrjgIJBbGxlbiBIb2x1YiANCiAgICAg
ICAgICAgIOWcqOS7luaSsOWGmeeahOaWh+eroCDigJxwcm9ncmFtbWluZyBKYXZhIHRocmVhZHMg
aW4gdGhlIHJlYWwgd29ybGTigJ0g77yI6K+35Y+C6ZiFIDxBIA0KICAgICAgICAgICAgaHJlZj0i
aHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3AxLmh0bWwjcmVz
b3VyY2VzIj7lj4LogIPotYTmlpk8L0E+77yJ5o+Q5L6b5LqG5LiA5Liq5bim5pyJ6L+Z5qC3IA0K
ICAgICAgICAgICAgYnVnIOeahOeugOWNleeahOWkmue6v+eoi+eoi+W6j+ekuuS+i+OAguWcqOWG
sueqgeeahOiuv+mXruivt+axguS5i+mXtOi/m+ihjOS4jeato+ehruWQjOatpeeahOWPpuS4gOS4
quabtOWPr+aAleeahOWQjuaenOaYryANCiAgICAgICAgICAgIDxJPuaVsOaNruW0qea6gzwvST7v
vIzmraTml7bvvIzlhbHkuqvnmoTmlbDmja7nu5PmnoTmnInkuIDpg6jliIbnlLHkuIDkuKrnur/n
qIvmm7TmlrDvvIzogIzlj6bkuIDpg6jliIbnlLHlj6bkuIDkuKrnur/nqIvmm7TmlrDjgILlnKjo
v5nnp43mg4XlhrXkuIvvvIzns7vnu5/nmoTooYzkuLrkuI3mmK/mjInnhafog5zlh7rnur/nqIvn
moTmhI/lm77ov5vooYzvvIzns7vnu5/moLnmnKzkuI3mjInnhafku7vkvZXkuIDkuKrnur/nqIvn
moTmhI/lm77ooYzliqjvvIzmiYDku6XkuKTkuKrnur/nqIvmnIDlkI7pg73lsIbku6XlpLHotKXl
kYrnu4jjgII8L1A+DQogICAgICAgICAgICA8UD48QSBuYW1lPU4xMDE5OD48U1BBTiBjbGFzcz1z
bWFsbHRpdGxlPuatu+mUgTwvU1BBTj48L0E+PC9QPg0KICAgICAgICAgICAgPFA+PEk+5q276ZSB
PC9JPiANCiAgICAgICAgICAgIOeahOaDheWGteaYr+aMh++8mue6v+eoi+eUseS6juetieWAmeaf
kOenjeadoeS7tuWPmOaIkOecn++8iOS+i+Wmgui1hOa6kOWPr+S7peS9v+eUqO+8ie+8jOS9huaY
r+Wug+etieWAmeeahOadoeS7tuaXoOazleWPmOaIkOecn++8jOWboOS4uuiDveWkn+iuqeadoeS7
tuWPmOaIkOecn+eahOe6v+eoi+WcqOetieWAmeesrOS4gOS4que6v+eoi+KAnOWBmuafkOS7tuS6
i+KAneOAgui/meagt++8jOS4pOS4que6v+eoi+mDveWcqOetieWAmeWvueaWueWFiOmHh+WPlues
rOS4gOatpe+8jOaJgOS7pemDveaXoOazleWBmuS6i+OAguivt+WPgumYhSANCiAgICAgICAgICAg
IEFsbGVuIEhvbHViIOaSsOWGmeeahOaWh+eroCDvvIjor7flj4LpmIUgPEEgDQogICAgICAgICAg
ICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY24vamF2YS9qLWNzcDEu
aHRtbCNyZXNvdXJjZXMiPuWPguiAg+i1hOaWmTwvQT7vvInvvIzku6XojrflvpflnKjlpJrnur/n
qIsgDQogICAgICAgICAgICBKYXZhIOS7o+eggeS4reWmguS9leWPkeeUn+atu+mUgeeahOekuuS+
i+OAgjwvUD4NCiAgICAgICAgICAgIDxQPjxBIG5hbWU9TjEwMUE5PjxTUEFOIGNsYXNzPXNtYWxs
dGl0bGU+5rS75Yqo6ZSBPC9TUEFOPjwvQT48L1A+DQogICAgICAgICAgICA8UD48ST7mtLvliqjp
lIE8L0k+IOS4jiA8ST7mrbvplIE8L0k+IA0KICAgICAgICAgICAg5LiN5ZCM77yM5a6D5piv5Zyo
57q/56iL5a6e6ZmF5bel5L2c55qE5pe25YCZ5Y+R55Sf55qE77yM5L2G6L+Z5pe26L+Y5rKh5pyJ
5a6M5oiQ5bel5L2c44CC6L+Z6YCa5bi45piv5Zyo5Lik5Liq57q/56iL5Lqk5Y+J5bel5L2c55qE
5pe25YCZ5Y+R55Sf77yM5omA5Lul56ys5LiA5Liq57q/56iL5YGa55qE5bel5L2c6KKr5Y+m5LiA
5Liq57q/56iL5Y+W5raI44CC5LiA5Liq566A5Y2V55qE56S65L6L5bCx5piv77ya5q+P5Liq57q/
56iL5bey57uP5oul5pyJ5LqG5LiA5Liq5a+56LGh77yM5ZCM5pe26ZyA6KaB5Y+m5aSW5LiA5Liq
57q/56iL5oul5pyJ55qE5Y+m5aSW5LiA5Liq5a+56LGh44CC5Y+v5Lul5oOz5YOP6L+Z5qC355qE
5oOF5Ya177ya5q+P5Liq57q/56iL5pS+5LiL6Ieq5bex5oul5pyJ55qE5a+56LGh77yM5o2h6LW3
5Y+m5aSW5LiA5Liq57q/56iL5pS+5LiL55qE5a+56LGh44CC5pi+54S277yM6L+Z5Lik5Liq57q/
56iL5Lya5rC46L+c6YO96L+Q6KGM5Zyo5LiK6ZSB6L+Z5LiA5q2l5pON5L2c5LiK77yM57uT5p6c
5piv5LuA5LmI6YO95YGa5LiN5oiQ44CC77yI5bi46KeB55qE55yf5a6e56S65L6L5bCx5piv77yM
5Lik5Liq5Lq65Zyo54ut56qE55qE6LWw5buK55u46YGH44CC5q+P5Liq5Lq66YO956S86LKM5Zyw
6K6p5Yiw5Y+m5LiA6L656K6p5a+55pa55YWI6KGM77yM5L2G5Y205Zyo55u45ZCM55qE5pe26Ze0
6YO96K6p5Yiw5ZCM5LiA6L655LqG77yM5omA5Lul5Lik5Liq5Lq66L+Y6YO95rKh5rOV6YCa6L+H
44CC6L+Z56eN5oOF5Ya15Lya5oyB57ut5LiA5Lqb5pe26Ze077yM54S25ZCO5Lik5Liq5Lq66YO9
5LuO6L+Z6L656Zeq5Yiw6YKj6L6577yM57uT5p6c6L+Y5piv5LiA54K56L+b5bGV5Lmf5rKh5pyJ
44CC77yJPC9QPg0KICAgICAgICAgICAgPFA+PEEgbmFtZT1OMTAxQjk+PFNQQU4gY2xhc3M9c21h
bGx0aXRsZT7otYTmupDogJflsL08L1NQQU4+PC9BPjwvUD4NCiAgICAgICAgICAgIDxQPjxJPui1
hOa6kOiAl+WwvTwvST7vvIzlj4jnp7DkuLogPEk+57q/56iL6ICX5bC9PC9JPu+8jOaYryBKYXZh
IOivreiogOeahCANCiAgICAgICAgICAgIDxDT0RFPndhaXQ8L0NPREU+LzxDT0RFPm5vdGlmeTwv
Q09ERT4g5Y6f6K+t5peg5rOV5L+d6K+BIDxJPmxpdmUtbmVzczwvST4gDQogICAgICAgICAgICDn
moTlkI7mnpzjgIJKYXZhIOW8uuWItui/meS6m+aWueazleimgeaLpeacieWug+S7rOetieWAmeaI
lumAmuefpeeahOWvueixoeeahOmUgeOAguWcqOafkOS4que6v+eoi+S4iuiwg+eUqOeahCA8Q09E
RT53YWl0KCk8L0NPREU+IA0KICAgICAgICAgICAg5pa55rOV5Zyo5byA5aeL562J5YCZ5LmL5YmN
5b+F6aG76YeK5pS+55uR6KeG5Zmo6ZSB77yM54S25ZCO5Zyo5LuO5pa55rOV6L+U5Zue5bm26I63
5b6X6YCa55+l5LmL5ZCO77yM5b+F6aG75YaN5qyh6YeN5paw6I635b6X6ZSB44CC5Zug5q2k77yM
SmF2YSDor63oqIDop4TojIPvvIjor7flj4LpmIUgPEEgDQogICAgICAgICAgICBocmVmPSJodHRw
Oi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY24vamF2YS9qLWNzcDEuaHRtbCNyZXNvdXJj
ZXMiPuWPguiAg+i1hOaWmTwvQT7vvIkgDQogICAgICAgICAgICDlnKjplIHmnKzouqvkuYvlpJbv
vIzov5jmj4/ov7DkuobkuIDlpZfkuI7mr4/kuKrlr7nosaHnm7jlhbPnmoQgPEk+562J5YCZ6ZuG
77yId2FpdCBzZXTvvIk8L0k+44CC5LiA5pem57q/56iL6YeK5pS+5LqG5a+56LGh5LiK55qE6ZSB
77yI5ZyoIA0KICAgICAgICAgICAgPENPREU+d2FpdDwvQ09ERT4g55qE6LCD55So5LmL5ZCO77yJ
77yM57q/56iL5bCx5Lya5pS+5Zyo6L+Z5Liq562J5YCZ6ZuG5LiK44CCPC9QPg0KICAgICAgICAg
ICAgPFA+5aSa5pWwIEpWTSANCiAgICAgICAgICAgIOWunueOsOaKiuetieWAmee6v+eoi+aUvuWc
qOmYn+WIl+S4reOAguaJgOS7pe+8jOWmguaenOWcqOmAmuefpeWPkeeUn+eahOaXtuWAme+8jOi/
mOacieWFtuS7lue6v+eoi+WcqOetieWAmeebkeinhuWZqO+8jOmCo+S5iOWwseS8muaKiuS4gOS4
quaWsOe6v+eoi+aUvuWcqOmYn+WIl+WwvumDqO+8jOiAjOWug+W5tuS4jeaYr+S4i+S4gOS4quiO
t+W+l+mUgeeahOe6v+eoi+OAguaJgOS7pe+8jOetieWIsOiiq+mAmuefpee6v+eoi+WunumZheW+
l+WIsOebkeinhuWZqOeahOaXtuWAme+8jOmAmuefpeivpee6v+eoi+eahOadoeS7tuWPr+iDveW3
sue7j+S4jeWGjeS4uuecn++8jOaJgOS7peWug+S4jeW+l+S4jeWGjeasoSANCiAgICAgICAgICAg
IDxDT0RFPndhaXQ8L0NPREU+44CC6L+Z56eN5oOF5Ya15Y+v6IO95peg6ZmQ5oyB57ut5LiL5Y67
77yM5LuO6ICM6YCg5oiQ6L+Q566X5bel5L2c5LiK5rWq6LS577yI5Zug5Li66KaB5Y+N5aSN5oqK
6K+l57q/56iL5pS+5YWl562J5YCZ6ZuG5ZKM5LuO5Lit5Y+W5Ye677yJ5ZKM57q/56iL6ICX5bC9
44CCPC9QPg0KICAgICAgICAgICAgPFA+PEEgbmFtZT1OMTAxRUE+PFNQQU4gY2xhc3M9c21hbGx0
aXRsZT7otKrlv4Plk7LlrablrrbnmoTlr5PoqIA8L1NQQU4+PC9BPjwvUD4NCiAgICAgICAgICAg
IDxQPua8lOekuui/meenjeihjOS4uueahOWOn+Wei+ekuuS+i+aYryBQZXRlciBXZWxjaCDmlZnm
jojmj4/ov7DnmoTigJzogarmmI7kurrmsqHmnInpuKHogonigJ3vvIjor7flj4LpmIUgPEEgDQog
ICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY24vamF2
YS9qLWNzcDEuaHRtbCNyZXNvdXJjZXMiPuWPguiAg+i1hOaWmTwvQT7vvInjgILlnKjov5nkuKrl
nLrmma/kuK3ogIPomZHnmoTns7vnu5/mmK/kuIDmiYDnlLHkupTkvY3lk7LlrablrrbjgIHkuIDk
vY3ljqjluIjlkozkuIDkuKrpo5/loILnu4TmiJDnmoTlrabpmaLjgILmiYDmnInnmoTlk7Llrabl
rrbvvIjpmaTkuobkuIDkvY3vvInpg73opoHmg7Pmg7PvvIjlnKjku6PnoIHnpLrkvovkuK3vvIzo
gIPomZHnmoTml7bpl7TmmK8gDQogICAgICAgICAgICAzIOenku+8ieS5i+WQjuaJjeWOu+mjn+Wg
guWPlumlreOAguiAjOKAnOi0quW/g+eahOKAneWTsuWtpuWutuWImeS4jeaDs+aKiuaXtumXtOa1
qui0ueWcqOaAneiAg+S4iiDigJTigJQg55u45Y+N77yM5L