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

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

5piv5Zyo6L+Q6KGM57q/56iL6LCD55So5a6D5Lus55qE5pa55rOV5pe25omN5a2Y5Zyo44CC5Zug
5q2k77yM5LiN5ZCM55qE5omn6KGM57q/56iL5Y+v5Lul5Zyo5ZCM5LiA5pe26Ze06K+V5Zu+6LCD
55So5ZCM5LiA5a+56LGh55qE5ZCM5LiA5pa55rOV77yM5bCx5YOPIDxBIA0KICAgICAgICAgICAg
aHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3AxLmh0
bWwiPuesrCAxIA0KICAgICAgICAgICAg6YOo5YiGPC9BPuaJgOiuqOiuuueahOmCo+agt+OAguaY
vueEtu+8jOi/meenjeaDheWGteWcqCBDU1Ag5Lit5rC46L+c5LiN5Lya5Y+R55Sf44CCPC9QPg0K
ICAgICAgICAgICAgPFA+PEEgbmFtZT1OMTAwNzc+PFNQQU4gY2xhc3M9c21hbGx0aXRsZT7pgJrk
v6HpgJrpgZPlkozov5vnqIvnvZHnu5w8L1NQQU4+PC9BPjwvUD4NCiAgICAgICAgICAgIDxQPui/
m+eoi+mXtOmAmuS/oeacgOeugOWNleeahOacuuWItuWwseaYr+mAmui/h+mAmumBk+ivu+WGmeaV
sOaNruOAgkNTUCDkuK3ln7rmnKznmoTpgJrpgZPmnoTpgKDmmK88ST7lkIzmraXnmoTvvIhzeW5j
aHJvbm91c++8iTwvST4g5ZKMIA0KICAgICAgICAgICAgPEk+54K55a+554K555qE77yIcG9pbnQt
dG8tcG9pbnTvvIk8L0k+77yb5Lmf5bCx5piv6K+077yM5a6D5LiN5YyF5ZCr5YaF6YOo57yT5Yay
77yM5bm25LiU5oqK5LiA5Liq6L+b56iL6L+e5o6l5Yiw5Y+m5aSW5LiA5Liq6L+b56iL44CC5LuO
6L+Z5Liq5Z+65pys6YCa6YGT5byA5aeL77yM5pyJ5Y+v6IO95p6E5bu65aSa5Liq6ZiF6K+75Zmo
L+WGmeWFpeWZqOmAmumBk++8iOWNs+S4gOWvueWkmuOAgeWkmuWvueS4gOWSjOWkmuWvueWkmu+8
ieOAgjwvUD4NCiAgICAgICAgICAgIDxQPkNTUCDkuK3nmoTov5vnqIvmnoTmiJDkuoblpI3mnYLn
s7vnu5/nmoTln7rmnKzmnoTpgKDlnZcg4oCU4oCUIA0KICAgICAgICAgICAg5LiA5Liq6L+b56iL
5Y+v5Lul5ZCM5LiA5Liq5oiW5aSa5Liq5YW25LuW6L+b56iL6L+e5o6l6LW35p2l77yI5YWo6YO9
6K6+572u5oiQ5bm26KGM55qE77yJ77yM5LuO6ICM5p6E5oiQ5LiA5Liq6L+b56iL572R57uc44CC
5Y+v5Lul5oqK6L+Z5Liq572R57uc5pys6Lqr5oOz5YOP5oiQ5LiA5Liq6L+b56iL77yM6L+Z5Liq
6L+b56iL6L+Y5Y+v5Lul6YCS5b2S5Zyw5LiO5YW25LuW6L+b56iL44CB5a6D5Lus6Ieq5bex55qE
572R57uc5oiW6ICF5YW25LuW57G75Ly85Lic6KW/57uE5ZCI5Zyo5LiA6LW377yM5b2i5oiQ5LiA
5Liq5Li65LqG5pyA5aW95Zyw6Kej5Yaz5omL5LiK6Zeu6aKY6ICM6K6+6K6h55qE5aSN5p2C5o6S
5YiX55qE6YeR5a2X5aGU44CCPC9QPg0KICAgICAgICAgICAgPFA+5aaC5p6c5Y2V54us6ICD6JmR
77yM6YKj5LmI6L+b56iL5LuF5LuF5piv5LiA5Liq54us56uL55qE5Liy6KGM56iL5bqP77yM5a6D
5Y+q5LiO5aSW6YOoIEkvTyDorr7lpIfkuqTkupLjgILov5nkuKrnqIvluo/mnKzouqvlubbkuI3p
nIDopoHogIPomZHlnKggSS9PIA0KICAgICAgICAgICAg6YCa6YGT5Y+m5LiA56uv55qE6L+b56iL
5piv5ZCm5a2Y5Zyo5oiW5a+55pa555qE5oCn6LSo44CCPC9QPg0KICAgICAgICAgICAgPFA+Q1NQ
IOeQhuiuuuW3sue7j+WcqOiuuOWkmuWfuuS6jiBKYXZhIOeahOahhuaetuS4reWunueOsOS6hu+8
jOWMheaLrOmdouWQkSBKYXZhIOeahOmAmuS/oemhuuW6j+i/m+eoi++8iENvbW11bmljYXRpbmcg
DQogICAgICAgICAgICBTZXF1ZW50aWFsIFByb2Nlc3NlcyBmb3IgSmF2Ye+8jEpDU1DvvIkg5bqT
44CCPC9QPg0KICAgICAgICAgICAgPFRBQkxFIGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCB3
aWR0aD0iNDAlIiBhbGlnbj1yaWdodCANCiAgICAgICAgICAgICAgYm9yZGVyPTA+PFRCT0RZPg0K
ICAgICAgICAgICAgICA8VFI+DQogICAgICAgICAgICAgICAgPFREIHdpZHRoPTEwPjxJTUcgaGVp
Z2h0PTEgYWx0PSIiIA0KICAgICAgICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20v
aS9jLmdpZiIgd2lkdGg9MTA+PC9URD4NCiAgICAgICAgICAgICAgICA8VEQ+DQogICAgICAgICAg
ICAgICAgICA8VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz01IHdpZHRoPSIxMDAlIiBi
b3JkZXI9MT4NCiAgICAgICAgICAgICAgICAgICAgPFRCT0RZPg0KICAgICAgICAgICAgICAgICAg
ICA8VFI+DQogICAgICAgICAgICAgICAgICAgICAgPFREIGJnQ29sb3I9I2VlZWVlZT48QSBuYW1l
PXNpZGViYXIyPjxCPuWFs+S6jiBDU1AgDQogICAgICAgICAgICAgICAgICAgICAgICDnmoTmm7Tl
pJrlhoXlrrk8L0I+PC9BPjxCUj4NCiAgICAgICAgICAgICAgICAgICAgICAgIDxQPuacrOaWh+aP
kOS+m+S6huWvuSBDU1Ag5aSN5p2C5Li76aKY55qE5LiA6Iis5oCn5LuL57uN44CC5aaC5p6c5a+5
5LqO5rex5YWl55CG6K665bqV5bGC55qE5pWw5a2m5py65Yi25pyJ5YW06Laj77yM6YKj5LmI6K+3
5Y+C6ZiFIEMuQS5SLiANCiAgICAgICAgICAgICAgICAgICAgICAgIEhvYXJlIOeahOWOn+aWh+er
oOS7peWPiuS7lumSiOWvuei/meS4gOS4u+mimOaSsOWGmeeahOS5puOAguimgeaDs+iOt+W+lyBD
U1Ag55CG6K6655qE5pyA5paw5Y+R5bGV77yI6L+Z5Lqb5bm05bey57uP5YGa5LqG5pu05paw77yJ
77yM6K+35Y+C6ZiFIA0KICAgICAgICAgICAgICAgICAgICAgICAgQmlsbCBSb3Njb2Ug5pKw5YaZ
55qE5Lmm44CC6KaB5oOz6I635b6X5bm/5rOb55qE5Y+C6ICD5p2l5rqQ77yM6K+35Y+C6ICD54mb
5rSl5aSn5a2m6K6h566X5py65a6e6aqM5a6k5ZKMIFdvVFVHIOS4u+mhteeahCANCiAgICAgICAg
ICAgICAgICAgICAgICAgIENTUCDlvZLmoaPjgILov5jor7flj4LpmIUgPEEgDQogICAgICAgICAg
ICAgICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY24v
amF2YS9qLWNzcDIvI3Jlc291cmNlcyI+5Y+C6ICD6LWE5paZPC9BPu+8jOS7peiOt+WPluaJgOac
iei/meS6m+WPguiAg+WSjOabtOWkmuWGheWuueeahOmTvuaOpeOAgjwvUD48L1REPjwvVFI+PC9U
Qk9EWT48L1RBQkxFPjwvVEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+PEJSPg0KICAgICAgICAgICAg
PFRBQkxFIGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCB3aWR0aD0iMTAwJSIgYm9yZGVyPTA+
DQogICAgICAgICAgICAgIDxUQk9EWT4NCiAgICAgICAgICAgICAgPFRSPg0KICAgICAgICAgICAg
ICAgIDxURD48SU1HIGhlaWdodD0xIGFsdD0iIiANCiAgICAgICAgICAgICAgICAgIHNyYz0iaHR0
cDovL3d3dy5pYm0uY29tL2kvdjE0L3J1bGVzL2JsdWVfcnVsZS5naWYiIA0KICAgICAgICAgICAg
ICAgICAgd2lkdGg9IjEwMCUiPjxCUj48SU1HIGhlaWdodD02IGFsdD0iIiANCiAgICAgICAgICAg
ICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvYy5naWYiIHdpZHRoPTggDQogICAgICAg
ICAgICAgIGJvcmRlcj0wPjwvVEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+DQogICAgICAgICAgICA8
VEFCTEUgY2xhc3M9bm8tcHJpbnQgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIGFsaWduPXJp
Z2h0Pg0KICAgICAgICAgICAgICA8VEJPRFk+DQogICAgICAgICAgICAgIDxUUiBhbGlnbj1yaWdo
dD4NCiAgICAgICAgICAgICAgICA8VEQ+PElNRyBoZWlnaHQ9NCBhbHQ9IiIgc3JjPSJodHRwOi8v
d3d3LmlibS5jb20vaS9jLmdpZiIgDQogICAgICAgICAgICAgICAgICB3aWR0aD0iMTAwJSI+PEJS
Pg0KICAgICAgICAgICAgICAgICAgPFRBQkxFIGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCBi
b3JkZXI9MD4NCiAgICAgICAgICAgICAgICAgICAgPFRCT0RZPg0KICAgICAgICAgICAgICAgICAg
ICA8VFI+DQogICAgICAgICAgICAgICAgICAgICAgPFREIHZBbGlnbj1jZW50ZXI+PElNRyBoZWln
aHQ9MTYgYWx0PSIiIA0KICAgICAgICAgICAgICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3Lmli
bS5jb20vaS92MTQvaWNvbnMvdV9ib2xkLmdpZiIgd2lkdGg9MTYgDQogICAgICAgICAgICAgICAg
ICAgICAgICBib3JkZXI9MD48QlI+PC9URD4NCiAgICAgICAgICAgICAgICAgICAgICA8VEQgdkFs
aWduPXRvcCBhbGlnbj1yaWdodD48QSBjbGFzcz1mYm94IA0KICAgICAgICAgICAgICAgICAgICAg
ICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3Ay
LyNtYWluIj48Qj7lm57pobXpppY8L0I+PC9BPjwvVEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+PC9U
RD48L1RSPjwvVEJPRFk+PC9UQUJMRT48QlI+PEJSPg0KICAgICAgICAgICAgPFA+PEEgbmFtZT1O
MTAwQTE+PFNQQU4gY2xhc3M9YXRpdGxlPkpDU1Ag5bqTPC9TUEFOPjwvQT48L1A+DQogICAgICAg
ICAgICA8UD5KQ1NQIOW6k+eUseiLseWbveWdjueJueS8r+mbt+W4guiCr+eJueWkp+WtpueahCBQ
ZXRlciBXZWxjaCDmlZnmjojlkowgUGF1bCBBdXN0aW4g5byA5Y+R77yI6K+35Y+C6ZiFIDxBIA0K
ICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2NuL2ph
dmEvai1jc3AyLyNyZXNvdXJjZXMiPuWPguiAg+i1hOaWmTwvQT7vvInjgILlr7nkuo7mnKzmlofk
vZnkuIvnmoTlpKfpg6jliIblhoXlrrnmnaXor7TvvIzmiJHkvJrmiorph43ngrnmlL7lnKggDQog
ICAgICAgICAgICBDU1Ag5qaC5b+15ZyoIEpDU1Ag5Lit55qE5a6e546w5pa55byP5LiK44CC5Zug
5Li6IEphdmEg6K+t6KiA5rKh5pyJ5o+Q5L6b5a+5IENTUCDmnoTpgKDnmoToh6rluKbmlK/mjIHv
vIzmiYDku6UgSkNTUCDlupPlhoXpg6jkvb/nlKggSmF2YSANCiAgICAgICAgICAgIOivreiogCA8
ST7lrp7pmYU8L0k+IOaUr+aMgeeahOOAgeiHquW4pueahOW5tuWPkeaehOmAoO+8jOS+i+WmgiAN
CiAgICAgICAgICAgIDxDT0RFPnN5bmNocm9uaXplZDwvQ09ERT7jgIE8Q09ERT53YWl0PC9DT0RF
PiDlkowgDQogICAgICAgICAgICA8Q09ERT5ub3RpZnk8L0NPREU+44CC5Li65LqG5biu5Yqp5oKo
5q2j56Gu5Zyw55CG6KejIEpDU1Ag55qE5bel5L2c5pa55byP77yM5oiR5bCG5LuO6L+Z5LqbIEph
dmEg5p6E6YCg55qE6KeS5bqm5a+5IEpDU1AgDQogICAgICAgICAgICDlupPkuK3mn5Dkupvnsbvn
moTlhoXpg6jlrp7njrDov5vooYzkuobop6Pph4rjgII8L1A+DQogICAgICAgICAgICA8UD48ST7m
s6jmhI/vvIzlkI7nu63nq6DoioLkuK3nmoTnpLrkvovln7rkuo7miJbmnaXoh6ogSkNTUCDlupPn
moQgSmF2YWRvYyDmlofmoaPvvIzmiJbogIXln7rkuo7lj6/ku6XlnKggSkNTUCANCiAgICAgICAg
ICAgIOS4u+mhteS4iuW+l+WIsOeahOa8lOekuuaWh+eov+OAgjwvST4gPC9QPjxCUj4NCiAgICAg
ICAgICAgIDxUQUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgd2lkdGg9IjEwMCUiIGJv
cmRlcj0wPg0KICAgICAgICAgICAgICA8VEJPRFk+DQogICAgICAgICAgICAgIDxUUj4NCiAgICAg
ICAgICAgICAgICA8VEQ+PElNRyBoZWlnaHQ9MSBhbHQ9IiIgDQogICAgICAgICAgICAgICAgICBz
cmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL3YxNC9ydWxlcy9ibHVlX3J1bGUuZ2lmIiANCiAgICAg
ICAgICAgICAgICAgIHdpZHRoPSIxMDAlIj48QlI+PElNRyBoZWlnaHQ9NiBhbHQ9IiIgDQogICAg
ICAgICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL2MuZ2lmIiB3aWR0aD04IA0K
ICAgICAgICAgICAgICBib3JkZXI9MD48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxFPg0KICAgICAg
ICAgICAgPFRBQkxFIGNsYXNzPW5vLXByaW50IGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCBh
bGlnbj1yaWdodD4NCiAgICAgICAgICAgICAgPFRCT0RZPg0KICAgICAgICAgICAgICA8VFIgYWxp
Z249cmlnaHQ+DQogICAgICAgICAgICAgICAgPFREPjxJTUcgaGVpZ2h0PTQgYWx0PSIiIHNyYz0i
aHR0cDovL3d3dy5pYm0uY29tL2kvYy5naWYiIA0KICAgICAgICAgICAgICAgICAgd2lkdGg9IjEw
MCUiPjxCUj4NCiAgICAgICAgICAgICAgICAgIDxUQUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRk
aW5nPTAgYm9yZGVyPTA+DQogICAgICAgICAgICAgICAgICAgIDxUQk9EWT4NCiAgICAgICAgICAg
ICAgICAgICAgPFRSPg0KICAgICAgICAgICAgICAgICAgICAgIDxURCB2QWxpZ249Y2VudGVyPjxJ
TUcgaGVpZ2h0PTE2IGFsdD0iIiANCiAgICAgICAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDov
L3d3dy5pYm0uY29tL2kvdjE0L2ljb25zL3VfYm9sZC5naWYiIHdpZHRoPTE2IA0KICAgICAgICAg
ICAgICAgICAgICAgICAgYm9yZGVyPTA+PEJSPjwvVEQ+DQogICAgICAgICAgICAgICAgICAgICAg
PFREIHZBbGlnbj10b3AgYWxpZ249cmlnaHQ+PEEgY2xhc3M9ZmJveCANCiAgICAgICAgICAgICAg
ICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9jbi9qYXZh
L2otY3NwMi8jbWFpbiI+PEI+5Zue6aG16aaWPC9CPjwvQT48L1REPjwvVFI+PC9UQk9EWT48L1RB
QkxFPjwvVEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+PEJSPjxCUj4NCiAgICAgICAgICAgIDxQPjxB
IG5hbWU9TjEwMEM0PjxTUEFOIGNsYXNzPWF0aXRsZT5KQ1NQIOS4reeahOi/m+eoizwvU1BBTj48
L0E+PC9QPg0KICAgICAgICAgICAgPFA+5ZyoIEpDU1Ag5Lit77yM6L+b56iL5a6e6ZmF5LiK5bCx
5piv5a6e546w5LqGIDxDT0RFPkNTUHJvY2VzczwvQ09ERT4g5o6l5Y+j55qE57G744CC5riF5Y2V
IDEgDQogICAgICAgICAgICDmmL7npLrkuobov5nkuKrmjqXlj6PvvJo8L1A+PEJSPjxCUj48QSBu
YW1lPWNvZGUxPjxCPua4heWNlSAxLiBDU1Byb2Nlc3Mg5o6l5Y+jPC9CPjwvQT48QlI+DQogICAg
ICAgICAgICA8VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIHdpZHRoPSIxMDAlIiBi
b3JkZXI9MD4NCiAgICAgICAgICAgICAgPFRCT0RZPg0KICAgICAgICAgICAgICA8VFI+DQogICAg
ICAgICAgICAgICAgPFREIGNsYXNzPWNvZGUtb3V0bGluZT48UFJFIGNsYXNzPWRpc3BsYXljb2Rl
PnBhY2thZ2UgamNzcC5sYW5nOw0KcHVibGljIGludGVyZmFjZSBDU1Byb2Nlc3MNCnsNCiAgICBw
dWJsaWMgdm9pZCBydW4oKTsNCn0NCjwvUFJFPjwvVEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+PEJS
Pg0KICAgICAgICAgICAgPFA+5rOo5oSP77yMPENPREU+Q1NQcm9jZXNzPC9DT0RFPiDmjqXlj6Pn
nIvotbfmnaXlsLHlg48gSmF2YSDor63oqIDnmoQgPENPREU+UnVubmFibGU8L0NPREU+IA0KICAg
ICAgICAgICAg5o6l5Y+j77yM6ICM5LiU5a6D5Lmf5YWF5b2T552A57G75Ly855qE6KeS6Imy44CC
6Jm954S2IEpDU1Ag55uu5YmN5piv55So5qCH5YeGIEphdmEgQVBJIA0KICAgICAgICAgICAg5a6e
546w55qE77yM5L2G5piv5bm25LiN6ZyA6KaB6L+Z5qC377yM6ICM5LiU5Zyo5pyq5p2l5Y+v6IO9
55yf55qE5LiN6ZyA6KaB6L+Z5qC344CC5Ye65LqO6L+Z5Liq5Y6f5Zug77yM5ZyoIEpDU1Ag5Lit
5rKh5pyJ55u05o6l5L2/55SoIA0KICAgICAgICAgICAgPENPREU+UnVubmFibGU8L0NPREU+IOaO
peWPo+OAgjwvUD4NCiAgICAgICAgICAgIDxUQUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5n
PTAgd2lkdGg9IjQwJSIgYWxpZ249cmlnaHQgDQogICAgICAgICAgICAgIGJvcmRlcj0wPjxUQk9E
WT4NCiAgICAgICAgICAgICAgPFRSPg0KICAgICAgICAgICAgICAgIDxURCB3aWR0aD0xMD48SU1H
IGhlaWdodD0xIGFsdD0iIiANCiAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0u
Y29tL2kvYy5naWYiIHdpZHRoPTEwPjwvVEQ+DQogICAgICAgICAgICAgICAgPFREPg0KICAgICAg
ICAgICAgICAgICAgPFRBQkxFIGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9NSB3aWR0aD0iMTAw
JSIgYm9yZGVyPTE+DQogICAgICAgICAgICAgICAgICAgIDxUQk9EWT4NCiAgICAgICAgICAgICAg
ICAgICAgPFRSPg0KICAgICAgICAgICAgICAgICAgICAgIDxURCBiZ0NvbG9yPSNlZWVlZWU+PEEg
bmFtZT1zaWRlYmFyMz48Qj7pqozor4EgSkNTUCANCiAgICAgICAgICAgICAgICAgICAgICAgIOeo
i+W6jzwvQj48L0E+PEJSPg0KICAgICAgICAgICAgICAgICAgICAgICAgPFA+UGV0ZXIgV2VsY2gg
5pWZ5o6I5ZKM5YW25LuW5Lq65p6E5bu65LqG5LiA5Liq5q2j5byP55qEIENTUCDmqKHlnovvvIzk
u47ogIzlj6/ku6XnlKggQ1NQIOacr+ivreWvueWkmue6v+eoiyANCiAgICAgICAgICAgICAgICAg
ICAgICAgIEphdmEg56iL5bqP6L+b6KGM5YiG5p6Q77yM5bm26aqM6K+B56iL5bqP5piv5ZCm5Lya
6YCg5oiQ5a+86Ie05LqJ55So6aOO6Zmp44CB5q276ZSB5ZKM6LWE5rqQ6ICX5bC955qEIGJ1Z+OA
guWboOS4uiBKQ1NQIA0KICAgICAgICAgICAgICAgICAgICAgICAg5bqT5L2/55So5qih5Z6L5bqV
6YOo55qE55uR6KeG5Zmo5py65Yi2IO+8iOWNsyANCiAgICAgICAgICAgICAgICAgICAgICAgIDxD
T0RFPnN5bmNocm9uaXplZCgpPC9DT0RFPuOAgTxDT0RFPndhaXQoKTwvQ09ERT7jgIE8Q09ERT5u
b3RpZnkoKTwvQ09ERT4gDQogICAgICAgICAgICAgICAgICAgICAgICDlkowgPENPREU+bm90aWZ5
QWxsKCk8L0NPREU+77yJIO+8jOaJgOS7peWfuuS6jiBKQ1NQIA0KICAgICAgICAgICAgICAgICAg
ICAgICAg55qE5bqU55So56iL5bqP5Y+v5Lul55So5ZCE56eN6L2v5Lu25bel56iL5bel5YW36L+b
6KGM6aqM6K+B77yM5YW25Lit5YyF5ous5LiA5Lqb5ZWG5Lia5YyW5pSv5oyB55qE5bel5YW344CC
6K+35Y+C6ZiFIDxBIA0KICAgICAgICAgICAgICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5p
Ym0uY29tL2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3AyLyNyZXNvdXJjZXMiPuWPguiAg+i1
hOaWmTwvQT7vvIzlrabkuaDlhbPkuo4gDQogICAgICAgICAgICAgICAgICAgICAgICBGRFIyIOea
hOWGheWuue+8jOi/meaYr+S4gOS4qumSiOWvueWfuuS6jiBDU1AgDQogICAgICAgICAgICAgICAg
55qE56iL5bqP55qE5qih5Z6L5qOA5rWL5bel5YW344CCPC9QPjwvVEQ+PC9UUj48L1RCT0RZPjwv
VEFCTEU+PC9URD48L1RSPjwvVEJPRFk+PC9UQUJMRT4NCiAgICAgICAgICAgIDxQPkpDU1Ag5a6a
5LmJ5LqG5Lik5Liq5o6l5Y+j55So5LqO5LuO6YCa6YGT6K+75Y+W5a+56LGh5ZKM5ZCR6YCa6YGT
5YaZ5YWl5a+56LGh44CC5LuO6YCa6YGT6K+75Y+W5a+56LGh55qE5o6l5Y+j5Y+r5L2cIA0KICAg
ICAgICAgICAgPENPREU+Q2hhbm5lbElucHV0PC9DT0RFPiDvvIzlroPlj6rmnInkuIDkuKrmlrnm
s5XvvIzlj6vkvZwgPENPREU+cmVhZCgpPC9DT0RFPuOAguWmguaenOi/m+eoi+iwg+eUqOS4gOS4
quWunueOsCANCiAgICAgICAgICAgIDxDT0RFPkNoYW5uZWxJbnB1dDwvQ09ERT4gDQogICAgICAg
ICAgICDmjqXlj6PnmoTlr7nosaHnmoTov5nkuKrmlrnms5XvvIzpgqPkuYjov5vnqIvkvJrpmLvl
oZ7vvIznm7TliLDlnKjpgJrpgZPlj6bkuIDnq6/nmoTov5vnqIvlrp7pmYXlkJHpgJrpgZPlhpnl
haXkuobkuIDkuKrlr7nosaHjgIIgDQogICAgICAgICAgICDkuIDml6blnKjpgJrpgZPkuIrmnInl
r7nosaHlj6/nlKjvvIzlr7nosaHlsLHooqvov5Tlm57nu5nosIPnlKjov5vnqIvjgILnsbvkvLzl
nLDvvIw8Q09ERT5DaGFubmVsT3V0cHV0PC9DT0RFPiDmjqXlj6PkuZ/lj6rmnInkuIDkuKrmlrnm
s5XvvIzlj6vkvZwgDQogICAgICAgICAgICA8Q09ERT53cml0ZShPYmplY3Qgbyk8L0NPREU+44CC
5aaC5p6c6L+b56iL6LCD55SoIOS4gOS4quWunueOsCA8Q09ERT5DaGFubmVsT3V0cHV0PC9DT0RF