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

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

PiANCiAgICAgICAgICAgIOaOpeWPo+eahOWvueixoeeahOi/meS4quaWueazle+8jOi/m+eoi+S5
n+S8mumYu+Whnu+8jOebtOWIsOmAmumBk+aOpeWPl+WvueixoeOAguato+WmguWJjemdouaPkOWI
sOi/h+eahO+8jOacgOeugOWNleeahOmAmumBk+exu+Wei+ayoeaciee8k+WGsu+8jOaJgOS7peWu
g+WcqOWPpuS4gOerr++8iOivu+WPlu+8ieeahOi/m+eoi+iwg+eUqCANCiAgICAgICAgICAgIDxD
T0RFPnJlYWQoKTwvQ09ERT4g5LmL5YmN5LiN5Lya5o6l5Y+X5a+56LGh44CCPC9QPg0KICAgICAg
ICAgICAgPFA+5LuO546w5Zyo5byA5aeL77yM5oiR5bCG5L2/55So5Luj56CB56S65L6L5p2l5ryU
56S66L+Z5Lqb5ZKM5YW25LuWIEpDU1Ag5p6E6YCg5aaC5L2V5bel5L2c44CC5Zyo5riF5Y2VIDIg
5Lit77yM5Y+v5Lul55yL5Yiw5LiA5Liq6Z2e5bi4566A5Y2V55qE6L+b56iL77yM5a6D6L6T5Ye6
IDEg5YiwIA0KICAgICAgICAgICAgMTAwIOS5i+mXtOeahOaJgOacieWBtuaVsO+8mjwvUD48QlI+
PEJSPjxBIG5hbWU9Y29kZTI+PEI+5riF5Y2VIDIuIOeUn+aIkCAxIOWIsCAxMDAgDQogICAgICAg
ICAgICDkuYvpl7TlgbbmlbDnmoTov5vnqIs8L0I+PC9BPjxCUj4NCiAgICAgICAgICAgIDxUQUJM
RSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgd2lkdGg9NTAwIGJvcmRlcj0wPg0KICAgICAg
ICAgICAgICA8VEJPRFk+DQogICAgICAgICAgICAgIDxUUj4NCiAgICAgICAgICAgICAgICA8VEQg
Y2xhc3M9Y29kZS1vdXRsaW5lPjxQUkUgY2xhc3M9ZGlzcGxheWNvZGU+aW1wb3J0IGpjc3AubGFu
Zy4qOw0KcHVibGljIGNsYXNzIFNlbmRFdmVuSW50c1Byb2Nlc3MgaW1wbGVtZW50cyBDU1Byb2Nl
c3MgDQp7DQogICAgcHJpdmF0ZSBDaGFubmVsT3V0cHV0IG91dDsNCiAgICBwdWJsaWMgU2VuZEV2
ZW5JbnRzUHJvY2VzcyhDaGFubmVsT3V0cHV0IG91dCkNCiAgICB7DQogICAgICB0aGlzLm91dCA9
IG91dDsNCiAgICB9DQogICAgcHVibGljIHZvaWQgcnVuKCkNCiAgICB7DQogICAgICBmb3IgKGlu
dCBpID0gMjsgaSAmbHQ7PSAxMDA7IGkgPSBpICsgMikNCiAgICAgIHsNCiAgICAgICAgb3V0Lndy
aXRlIChuZXcgSW50ZWdlciAoaSkpOw0KICAgICAgfQ0KICAgIH0NCn0NCjwvUFJFPjwvVEQ+PC9U
Uj48L1RCT0RZPjwvVEFCTEU+PEJSPg0KICAgICAgICAgICAgPFA+5LiO5q+P5LiA5Liq5YaZ6L+b
56iL5a+55bqU77yM5b+F6aG75pyJ5LiA5Liq6K+76L+b56iL44CC5aaC5p6c5LiN5a2Y5Zyo6L+Z
5qC355qE6L+b56iL77yM5YiZ5Lya6YCg5oiQIA0KICAgICAgICAgICAgPENPREU+U2VuZEV2ZW5J
bnRzUHJvY2VzczwvQ09ERT4g5ZyoIDxDT0RFPkNoYW5uZWxPdXRwdXQ8L0NPREU+IOWvueixoeea
hCANCiAgICAgICAgICAgIDxDT0RFPm91dDwvQ09ERT4g6L+b6KGM56ys5LiA5qyh5YaZ5pON5L2c
5LmL5ZCO56uL5Y2z5peg6ZmQ5pyf6Zi75aGe44CC5riF5Y2VIDMg5ryU56S65LqG5LiA5Liq566A
5Y2V55qE6K+76L+b56iL77yM6K+l6L+b56iL5LiO5riF5Y2VIDIgDQogICAgICAgICAgICDku4vn
u43nmoTlhpnov5vnqIvlr7nlupTvvJo8L1A+PEJSPjxCUj48QSBuYW1lPWNvZGUzPjxCPua4heWN
lSAzLiDlr7nlupTnmoTmtojotLnogIXov5vnqIs8L0I+PC9BPjxCUj4NCiAgICAgICAgICAgIDxU
QUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgd2lkdGg9IjEwMCUiIGJvcmRlcj0wPg0K
ICAgICAgICAgICAgICA8VEJPRFk+DQogICAgICAgICAgICAgIDxUUj4NCiAgICAgICAgICAgICAg
ICA8VEQgY2xhc3M9Y29kZS1vdXRsaW5lPjxQUkUgY2xhc3M9ZGlzcGxheWNvZGU+aW1wb3J0IGpj
c3AubGFuZy4qOw0KcHVibGljIGNsYXNzIFJlYWRFdmVuSW50c1Byb2Nlc3MgaW1wbGVtZW50cyBD
U1Byb2Nlc3MNCnsNCiAgICBwcml2YXRlIENoYW5uZWxJbnB1dCBpbjsNCiAgICBwdWJsaWMgUmVh
ZEV2ZW5JbnRzUHJvY2VzcyhDaGFubmVsSW5wdXQgaW4pDQogICAgew0KICAgICAgdGhpcy5pbiA9
IGluOw0KICAgIH0NCiAgICBwdWJsaWMgdm9pZCBydW4oKQ0KICAgIHsNCiAgICAgIHdoaWxlICh0
cnVlKQ0KICAgICAgew0KICAgICAgICBJbnRlZ2VyIGQgPSAoSW50ZWdlcilpbi5yZWFkKCk7DQog
ICAgICAgIFN5c3RlbS5vdXQucHJpbnRsbigiUmVhZDogIiArIGQuaW50VmFsdWUoKSk7DQogICAg
ICB9DQogICAgfQ0KfQ0KPC9QUkU+PC9URD48L1RSPjwvVEJPRFk+PC9UQUJMRT48QlI+PEJSPg0K
ICAgICAgICAgICAgPFRBQkxFIGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCB3aWR0aD0iMTAw
JSIgYm9yZGVyPTA+DQogICAgICAgICAgICAgIDxUQk9EWT4NCiAgICAgICAgICAgICAgPFRSPg0K
ICAgICAgICAgICAgICAgIDxURD48SU1HIGhlaWdodD0xIGFsdD0iIiANCiAgICAgICAgICAgICAg
ICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvdjE0L3J1bGVzL2JsdWVfcnVsZS5naWYiIA0K
ICAgICAgICAgICAgICAgICAgd2lkdGg9IjEwMCUiPjxCUj48SU1HIGhlaWdodD02IGFsdD0iIiAN
CiAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvYy5naWYiIHdpZHRo
PTggDQogICAgICAgICAgICAgIGJvcmRlcj0wPjwvVEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+DQog
ICAgICAgICAgICA8VEFCTEUgY2xhc3M9bm8tcHJpbnQgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGlu
Zz0wIGFsaWduPXJpZ2h0Pg0KICAgICAgICAgICAgICA8VEJPRFk+DQogICAgICAgICAgICAgIDxU
UiBhbGlnbj1yaWdodD4NCiAgICAgICAgICAgICAgICA8VEQ+PElNRyBoZWlnaHQ9NCBhbHQ9IiIg
c3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS9jLmdpZiIgDQogICAgICAgICAgICAgICAgICB3aWR0
aD0iMTAwJSI+PEJSPg0KICAgICAgICAgICAgICAgICAgPFRBQkxFIGNlbGxTcGFjaW5nPTAgY2Vs
bFBhZGRpbmc9MCBib3JkZXI9MD4NCiAgICAgICAgICAgICAgICAgICAgPFRCT0RZPg0KICAgICAg
ICAgICAgICAgICAgICA8VFI+DQogICAgICAgICAgICAgICAgICAgICAgPFREIHZBbGlnbj1jZW50
ZXI+PElNRyBoZWlnaHQ9MTYgYWx0PSIiIA0KICAgICAgICAgICAgICAgICAgICAgICAgc3JjPSJo
dHRwOi8vd3d3LmlibS5jb20vaS92MTQvaWNvbnMvdV9ib2xkLmdpZiIgd2lkdGg9MTYgDQogICAg
ICAgICAgICAgICAgICAgICAgICBib3JkZXI9MD48QlI+PC9URD4NCiAgICAgICAgICAgICAgICAg
ICAgICA8VEQgdkFsaWduPXRvcCBhbGlnbj1yaWdodD48QSBjbGFzcz1mYm94IA0KICAgICAgICAg
ICAgICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2Nu
L2phdmEvai1jc3AyLyNtYWluIj48Qj7lm57pobXpppY8L0I+PC9BPjwvVEQ+PC9UUj48L1RCT0RZ
PjwvVEFCTEU+PC9URD48L1RSPjwvVEJPRFk+PC9UQUJMRT48QlI+PEJSPg0KICAgICAgICAgICAg
PFA+PEEgbmFtZT1OMTAxNTg+PFNQQU4gY2xhc3M9YXRpdGxlPkpDU1Ag5Lit55qE6YCa6YGTPC9T
UEFOPjwvQT48L1A+DQogICAgICAgICAgICA8UD7liLDnm67liY3kuLrmraLvvIzmiJHlj6rmnInk
uKTkuKrni6znq4vnmoTov5vnqIvjgILkuIvkuIDmraXlsLHmmK/kvb/nlKjkuIDkuKrnlKjkvZzl
hbHkuqvlkIzmraXmnLrliLbnmoTlhazlhbHpgJrpgZPmiorlroPku6zogZTns7vlnKjkuIDotbfv
vIznhLblkI7ku47kuK3liZTpmaTkuIDkuKrov5vnqIvjgII8ST5jaGFubmVsPC9JPiANCiAgICAg
ICAgICAgIOaOpeWPo+aYryBKQ1NQIOeahCA8Q09ERT5DaGFubmVsSW5wdXQ8L0NPREU+IOWSjCA8
Q09ERT5DaGFubmVsT3V0cHV0PC9DT0RFPiANCiAgICAgICAgICAgIOaOpeWPo+eahOWtkOaOpeWP
o++8jOaYr+ivu+WPluWSjOWGmeWFpeWvueixoeeahOWFrOWFseaOpeWPo+OAgui/meS4quaOpeWP
o+acieiuuOWkmuWPr+iDveeahOWunueOsO+8jOWwseWDj+S4i+mdouaPj+i/sOeahOS4gOagt++8
mjwvUD4NCiAgICAgICAgICAgIDxVTD4NCiAgICAgICAgICAgICAgPExJPuexuyANCiAgICAgICAg
ICAgICAgPENPREU+T25lMk9uZUNoYW5uZWw8L0NPREU+77yM6aG+5ZCN5oCd5LmJ77yM5a6e546w
5LqG4oCc5Y2V5LiA5YaZ5YWl5ZmoL+WNleS4gOmYheivu+WZqOKAneexu+Wei+eahOmAmumBk+OA
gjxCUj48QlI+DQogICAgICAgICAgICAgIDxMST7nsbsgPENPREU+T25lMkFueUNoYW5uZWw8L0NP
REU+IA0KICAgICAgICAgICAgICDlrp7njrDkuobigJzljZXkuIDlhpnlhaXlmagv5aSa6ZiF6K+7
5Zmo4oCd5a+56LGh6YCa6YGT44CC77yI5rOo5oSP77yM6L+Z5LiN5piv5bm/5pKt5py65Yi277yM
5a6e6ZmF5LiK77yM5Li65LqG5LuO6YCa6YGT6K+75Y+W5a+56LGh77yM5aSa5Liq6ZiF6K+75Zmo
6KaB6L+b6KGM55u45LqS56ue5LqJ77yb5Zyo5oyH5a6a5pe26Ze05Y+q5pyJ5LiA5Liq6ZiF6K+7
5Zmo6IO95L2/55So6YCa6YGT5ZKM5YaZ5YWl5Zmo6L+b6KGM5rKf6YCa44CC77yJPEJSPjxCUj4N
CiAgICAgICAgICAgICAgPExJPuexuyA8Q09ERT5BbnkyT25lQ2hhbm5lbDwvQ09ERT4g5a6e546w
5LqGIA0KICAgICAgICAgICAgICDigJzlpJrlhpnlhaXlmagv5Y2V5LiA6ZiF6K+75Zmo4oCd5a+5
6LGh6YCa6YGT44CC5ZCM5LiK6Z2i55qE5oOF5Ya15LiA5qC377yM5YaZ5YWl6L+b56iL5b285q2k
56ue5LqJ5L2/55So6YCa6YGT44CC5Zyo5oyH5a6a5pe26Ze077yM5Y+q5pyJ6ZiF6K+75Zmo5ZKM
5LyX5aSa5YaZ5YWl5Zmo5Lit55qE5LiA5Liq5Zyo5a6e6ZmF5L2/55So6YCa6YGT44CCPEJSPjxC
Uj4NCiAgICAgICAgICAgICAgPExJPuexuyA8Q09ERT5BbnkyQW55Q2hhbm5lbDwvQ09ERT4gDQog
ICAgICAgICAgICAgIOWunueOsOS6huKAnOWkmuWGmeWFpeWZqC/lpJrpmIXor7vlmajigJ3lr7no
saHpgJrpgZPjgILor7vlj5bov5vnqIvlvbzmraTnq57kuonkvb/nlKjnmoTpgJrpgZPvvIzlhpnl
haXov5vnqIvkuZ/kuIDmoLfjgILlnKjmjIflrprml7bpl7Tlj6rmnInkuIDkuKrpmIXor7vlmajl
kozkuIDkuKrlhpnlhaXlmajlnKjlrp7pmYXkvb/nlKjpgJrpgZPjgIIgDQogICAgICAgICAgICAg
IDwvTEk+PC9VTD4NCiAgICAgICAgICAgIDxQPuWcqOa4heWNlSAzIOeahOekuuS+i+S4re+8jOaI
keWPquacieS4gOS4quWGmeWFpeWZqOi/m+eoi+WSjOS4gOS4qumYheivu+WZqOi/m+eoi++8jOaJ
gOS7pSA8Q09ERT5PbmUyT25lQ2hhbm5lbDwvQ09ERT4gDQogICAgICAgICAgICDnsbvlsLHotrPl
pJ/kuobjgILpqbHliqjlmajnqIvluo/nmoTnpLrkvovku6PnoIHlpoLmuIXljZUgNCDmiYDnpLrv
vJo8L1A+PEJSPjxCUj48QSBuYW1lPWNvZGU0PjxCPua4heWNlSA0LiANCiAgICAgICAgICAgIOmp
seWKqOWZqOeoi+W6jzwvQj48L0E+PEJSPg0KICAgICAgICAgICAgPFRBQkxFIGNlbGxTcGFjaW5n
PTAgY2VsbFBhZGRpbmc9MCB3aWR0aD0iMTAwJSIgYm9yZGVyPTA+DQogICAgICAgICAgICAgIDxU
Qk9EWT4NCiAgICAgICAgICAgICAgPFRSPg0KICAgICAgICAgICAgICAgIDxURCBjbGFzcz1jb2Rl
LW91dGxpbmU+PFBSRSBjbGFzcz1kaXNwbGF5Y29kZT5pbXBvcnQgamNzcC5sYW5nLio7DQpwdWJs
aWMgY2xhc3MgRHJpdmVyUHJvZ3JhbQ0Kew0KICAgIHB1YmxpYyBzdGF0aWMgdm9pZCBtYWluKFN0
cmluZ1tdIGFyZ3MpDQogICAgew0KICAgICAgT25lMk9uZUNoYW5uZWwgY2hhbiA9IG5ldyBPbmUy
T25lQ2hhbm5lbCgpOw0KICAgICAgbmV3IFBhcmFsbGVsDQogICAgICAoDQogICAgICAgIG5ldyBD
U1Byb2Nlc3NbXQ0KCSAgICB7DQoJICAgICAgbmV3IFNlbmRFdmVuSW50c1Byb2Nlc3MgKGNoYW4p
LA0KCSAgICAgIG5ldyBSZWFkRXZlbkludHNQcm9jZXNzIChjaGFuKQ0KCSAgICB9DQogICAgICAp
LnJ1biAoKTsNCiAgICB9DQp9DQo8L1BSRT48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxFPjxCUj4N
CiAgICAgICAgICAgIDxQPuato+WmguS7o+eggeihqOekuueahO+8jOaIkemmluWFiOWunuS+i+WM
luS4gOS4quaWsOeahCA8Q09ERT5PbmUyT25lQ2hhbm5lbDwvQ09ERT4g5a+56LGh77yM54S25ZCO
5oqK5a6D5Lyg6YCS57uZIA0KICAgICAgICAgICAgPENPREU+U2VuZEV2ZW5JbnRzUHJvY2Vzczwv
Q09ERT4g5ZKMIDxDT0RFPlJlYWRFdmVudEludHNQcm9jZXNzPC9DT0RFPiANCiAgICAgICAgICAg
IOi/m+eoi+eahOaehOmAoOWHveaVsOOAgui/meagt+WBmuaYr+WboOS4uiA8Q09ERT5PbmUyT25l
Q2hhbm5lbDwvQ09ERT4g5ZCM5pe25a6e546w5LqG5Lik5Liq5o6l5Y+jIOKAlOKAlCANCiAgICAg
ICAgICAgIDxDT0RFPkNoYW5uZWxJbnB1dDwvQ09ERT4g5ZKMIDxDT0RFPkNoYW5uZWxPdXRwdXQ8
L0NPREU+44CCPC9QPg0KICAgICAgICAgICAgPFA+PEEgbmFtZT1OMTAxQzY+PFNQQU4gY2xhc3M9
c21hbGx0aXRsZT7pgJrpgZPlhoXpg6g8L1NQQU4+PC9BPjwvUD4NCiAgICAgICAgICAgIDxQPuWb
oOS4uumAmumBk+WcqCBKQ1NQIA0KICAgICAgICAgICAg5Lit5piv6YeN6KaB55qE5qaC5b+177yM
5omA5Lul5Zyo6L+b6KGM5LiL5LiA5q2l5LmL5YmN77yM6KaB56Gu5a6a5oKo56Gu5a6e55CG6Kej
5LqG5a6D5Lus55qE5bel5L2c5pa55byP44CC5q2j5aaC5oiR5Zyo5YmN6Z2i5o+Q5Yiw55qE77yM
6YCa6YGT5Zyo6buY6K6k5oOF5Ya15LiL5piv6Z2e57yT5Yay55qE77yM5L2G5piv5Lmf5Y+v5Lul
5oqK5a6D5Lus5Y+Y5oiQ57yT5Yay55qE44CC5a6e546w5pa55byP5piv77ya6YCa6YGT5pys6Lqr
5bm25LiN5aSE55CG57yT5Yay54m55oCn77yM6ICM5piv5oqK6L+Z5Liq6LSj5Lu75aeU5omY57uZ
5YW25LuW57G777yM5YW25LuW57G75b+F6aG75a6e546w5Y+r5L2cIA0KICAgICAgICAgICAgPENP
REU+Q2hhbm5lbERhdGFTdG9yZTwvQ09ERT4g55qE5o6l5Y+j44CCSkNTUCANCuS4uui/meS4quaO
peWPo+aPkOS+m+S6huWkmuS4quWGhee9ruWunueOsO+8jOWFtuS4reWMheaLrOS7peS4i+WHoOS4
quWunueOsO+8mjwvUD4NCiAgICAgICAgICAgIDxVTD4NCiAgICAgICAgICAgICAgPExJPjxDT0RF
Plplcm9CdWZmZXI8L0NPREU+77yM5a+55bqU6buY6K6k55qE6Z2e57yT5Yay54m55oCn44CCPEJS
PjxCUj4NCiAgICAgICAgICAgICAgPExJPjxDT0RFPkJ1ZmZlcjwvQ09ERT7vvIzkuLrkuI7kuYvn
m7jlhbPogZTnmoTpgJrpgZPmj5DkvpvkuobkuIDkuKrpmLvloZ7nmoTlhYjov5vlhYjlh7rnmoTn
vJPlhrLor63kuYnjgIIgPEJSPjxCUj4NCiAgICAgICAgICAgICAgPExJPjxDT0RFPkluZmluaXRl
QnVmZmVyPC9DT0RFPu+8jOS5n+aPkOS+m+WFiOi/m+WFiOWHuuivreS5ie+8jOS9huaYr+Wmguae
nOe8k+WGsuS4uuepuu+8jOmCo+S5iOWPr+S7peWwhumYheivu+WZqOmYu+WhnuOAguWGmeWFpeWZ
qOawuOi/nOS4jeS8mumYu+Whnu+8jOWboOS4uue8k+WGsuWPr+S7peaXoOmZkOaJqeWxle+8jOaI
luiAheiHs+WwkeWIsOS6huW6leWxguWGheWtmOezu+e7n+iuvue9rueahOmZkOWItuS4uuatouOA
giANCiAgICAgICAgICAgICAgPC9MST48L1VMPjxCUj4NCiAgICAgICAgICAgIDxUQUJMRSBjZWxs
U3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgd2lkdGg9IjEwMCUiIGJvcmRlcj0wPg0KICAgICAgICAg
ICAgICA8VEJPRFk+DQogICAgICAgICAgICAgIDxUUj4NCiAgICAgICAgICAgICAgICA8VEQ+PElN
RyBoZWlnaHQ9MSBhbHQ9IiIgDQogICAgICAgICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJt
LmNvbS9pL3YxNC9ydWxlcy9ibHVlX3J1bGUuZ2lmIiANCiAgICAgICAgICAgICAgICAgIHdpZHRo
PSIxMDAlIj48QlI+PElNRyBoZWlnaHQ9NiBhbHQ9IiIgDQogICAgICAgICAgICAgICAgICBzcmM9
Imh0dHA6Ly93d3cuaWJtLmNvbS9pL2MuZ2lmIiB3aWR0aD04IA0KICAgICAgICAgICAgICBib3Jk
ZXI9MD48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxFPg0KICAgICAgICAgICAgPFRBQkxFIGNsYXNz
PW5vLXByaW50IGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCBhbGlnbj1yaWdodD4NCiAgICAg
ICAgICAgICAgPFRCT0RZPg0KICAgICAgICAgICAgICA8VFIgYWxpZ249cmlnaHQ+DQogICAgICAg
ICAgICAgICAgPFREPjxJTUcgaGVpZ2h0PTQgYWx0PSIiIHNyYz0iaHR0cDovL3d3dy5pYm0uY29t
L2kvYy5naWYiIA0KICAgICAgICAgICAgICAgICAgd2lkdGg9IjEwMCUiPjxCUj4NCiAgICAgICAg
ICAgICAgICAgIDxUQUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgYm9yZGVyPTA+DQog
ICAgICAgICAgICAgICAgICAgIDxUQk9EWT4NCiAgICAgICAgICAgICAgICAgICAgPFRSPg0KICAg
ICAgICAgICAgICAgICAgICAgIDxURCB2QWxpZ249Y2VudGVyPjxJTUcgaGVpZ2h0PTE2IGFsdD0i
IiANCiAgICAgICAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvdjE0
L2ljb25zL3VfYm9sZC5naWYiIHdpZHRoPTE2IA0KICAgICAgICAgICAgICAgICAgICAgICAgYm9y
ZGVyPTA+PEJSPjwvVEQ+DQogICAgICAgICAgICAgICAgICAgICAgPFREIHZBbGlnbj10b3AgYWxp
Z249cmlnaHQ+PEEgY2xhc3M9ZmJveCANCiAgICAgICAgICAgICAgICAgICAgICAgIGhyZWY9Imh0
dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9jbi9qYXZhL2otY3NwMi8jbWFpbiI+PEI+
5Zue6aG16aaWPC9CPjwvQT48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxFPjwvVEQ+PC9UUj48L1RC
T0RZPjwvVEFCTEU+PEJSPjxCUj4NCiAgICAgICAgICAgIDxQPjxBIG5hbWU9TjEwMUY0PjxTUEFO
IGNsYXNzPWF0aXRsZT7pgJrpgZPlrp7miJg8L1NQQU4+PC9BPjwvUD4NCiAgICAgICAgICAgIDxQ
PuiAg+iZkeS4gOS4quWunumZheS9v+eUqOeahOmAmumBk+ekuuS+i+OAguW9k+aIkeWIm+W7uuS6
huWmgua4heWNlSA0IOaJgOekuueahCA8Q09ERT5PbmUyT25lQ2hhbm5lbDwvQ09ERT4gDQogICAg
ICAgICAgICDlrp7kvovml7bvvIzmiJHmiorlroPlhoXpg6jnmoQgPENPREU+Q2hhbm5lbERhdGFz
b3VyY2U8L0NPREU+IOiuvue9ruaIkCANCiAgICAgICAgICAgIDxDT0RFPlplcm9CdWZmZXI8L0NP
REU+IOeahOS4gOS4quaWsOWunuS+i+OAgjxDT0RFPlplcm9CdWZmZXI8L0NPREU+IA0KICAgICAg
ICAgICAg5Y+q6IO95L+d5a2Y5LiA5Liq5a+56LGh77yI5oiW5pW05pWw77yJ44CC5a6D5pyJ5LiA
5Liq5YaF6YOo54q25oCB5Y+Y6YeP77yM6K+l5Y+Y6YeP55qE6LW35aeL5YC85Li6IA0KICAgICAg
ICAgICAgPENPREU+RU1QVFk8L0NPREU+77yM5Y+q6KaB5pS+6L+b5LiA5Liq5a+56LGh77yM6K+l
5Y+Y6YeP55qE5YC85bCx5Y+Y5oiQIDxDT0RFPkZVTEw8L0NPREU+IOS6huOAgjwvUD4NCiAgICAg
ICAgICAgIDxQPuW9kyA8Q09ERT5TZW5kRXZlbkludHNQcm9jZXNzPC9DT0RFPiDov5vnqIvlnKjl
roPnmoQgPEk+b3V0PC9JPiDpgJrpgZPkuIrov5vooYwgDQogICAgICAgICAgICA8Q09ERT53cml0
ZTwvQ09ERT4g5pON5L2c5pe277yM5Lya5Y+R55Sf5LuA5LmI5ZGi77yfPENPREU+T25lMk9uZUNo
YW5uZWw8L0NPREU+IOexu+eahCANCiAgICAgICAgICAgIDxDT0RFPndyaXRlKCk8L0NPREU+IOaW
ueazleaYr+S4gOS4qiA8Q09ERT5zeW5jaHJvbml6ZWQoKTwvQ09ERT4gDQogICAgICAgICAgICDm
lrnms5XjgILlm6DmraTvvIzlj5HpgIHmlrnov5vnqIvov5DooYzmiYDlnKjnmoTnur/nqIvvvIjl
vojlv6vlsLHkvJrnnIvliLDlj5HpgIHmlrnov5vnqIvlkozpmIXor7vlmajov5vnqIvov5DooYzl
nKjni6znq4vnmoTnur/nqIvkuK3vvInlsLHkvJrlvpfliLDku