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

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

From: <由 Windows Internet Explorer 7 保存>
Subject: =?gb2312?B?ysrTw9PaIEphdmEgs8zQ8tSxtcQgQ1NQo6y12iAxILK/t9Y=?=
Date: Sat, 9 Jun 2007 23:21:57 +0800
MIME-Version: 1.0
Content-Type: multipart/related;
	type="text/html";
	boundary="----=_NextPart_000_002C_01C7AAEC.F927FE20"
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.3028

This is a multi-part message in MIME format.

------=_NextPart_000_002C_01C7AAEC.F927FE20
Content-Type: text/html;
	charset="utf-8"
Content-Transfer-Encoding: base64
Content-Location: http://www.ibm.com/developerworks/cn/java/j-csp1.html

77u/PCFET0NUWVBFIEhUTUwgUFVCTElDICItLy9XM0MvL0RURCBIVE1MIDQuMDEgVHJhbnNpdGlv
bmFsLy9FTiIgImh0dHA6Ly93d3cudzNjLm9yZy9UUi8xOTk5L1JFQy1odG1sNDAxLTE5OTkxMjI0
L2xvb3NlLmR0ZCI+DQo8SFRNTCBsYW5nPWVuLVVTIHhtbDpsYW5nPSJlbi1VUyIgDQp4bWxucz0i
aHR0cDovL3d3dy53My5vcmcvMTk5OS94aHRtbCI+PEhFQUQ+PFRJVExFPumAgueUqOS6jiBKYXZh
IOeoi+W6j+WRmOeahCBDU1DvvIznrKwgMSDpg6jliIY8L1RJVExFPg0KPE1FVEEgaHR0cC1lcXVp
dj1Db250ZW50LVR5cGUgY29udGVudD0idGV4dC9odG1sOyBjaGFyc2V0PVVURi04Ij4NCjxNRVRB
IGh0dHAtZXF1aXY9UElDUy1MYWJlbCANCmNvbnRlbnQ9JyhQSUNTLTEuMSAiaHR0cDovL3d3dy5p
Y3JhLm9yZy9yYXRpbmdzdjAyLmh0bWwiIGwgZ2VuIHRydWUgciAoY3ogMSBseiAxIG56IDEgb3og
MSB2eiAxKSAiaHR0cDovL3d3dy5yc2FjLm9yZy9yYXRpbmdzdjAxLmh0bWwiIGwgZ2VuIHRydWUg
ciAobiAwIHMgMCB2IDAgbCAwKSAiaHR0cDovL3d3dy5jbGFzc2lmeS5vcmcvc2FmZXN1cmYvIiBs
IGdlbiB0cnVlIHIgKFNTfn4wMDAgMSkpJz48TElOSyANCmhyZWY9Imh0dHA6Ly9wdXJsLm9yZy9E
Qy9lbGVtZW50cy8xLjAvIiByZWw9c2NoZW1hLkRDPjxMSU5LIA0KaHJlZj0iaHR0cDovL3d3dy5p
Ym0uY29tL2Zhdmljb24uaWNvIiByZWw9IlNIT1JUQ1VUIElDT04iPg0KPE1FVEEgY29udGVudD1k
d0Bjbi5pYm0uY29tIG5hbWU9T3duZXI+DQo8TUVUQSBzY2hlbWU9cmZjMTc2NiBjb250ZW50PXpo
LUNOIG5hbWU9REMuTGFuZ3VhZ2U+DQo8TUVUQSBjb250ZW50PWNuIG5hbWU9SUJNLkNvdW50cnk+
DQo8TUVUQSBjb250ZW50PVB1YmxpYyBuYW1lPVNlY3VyaXR5Pg0KPE1FVEEgDQpjb250ZW50PSLo
mb3nhLbkvb/nlKggSmF2YSDor63oqIDov5vooYzlpJrnur/nqIvlupTnlKjnqIvluo/nvJbnqIvl
ubbkuI3pmr7mjozmj6HvvIzkvYbmmK/orrjlpJrlvIDlj5HkurrlkZjpg73lnKjkuLrkuobmraPn
oa7lnLDlupTnlKjlroPku6zogIzmjKPmiY7jgILnu5PmnpzvvIzlpJrnur/nqIvnqIvluo/opoHm
r5TmiJHku6zmg7Plg4/nmoTmm7TlrrnmmJPlj5HnlJ/nu4blvq7nmoTplJnor6/vvIzov5nlr7zo
h7TkuIDkupvlvIDlj5HkurrlkZjkuLrkuobpgb/lhY3kvb/nlKjlpJrnur/nqIvogIzkuI3mg5zk
u6Pku7fvvIzljbPkvb/lnKjlubblj5HlkozlubPooYzog73lpJ/lvojmmI7mmL7lnLDkuqfnlJ/m
nIDlpb3nmoTorr7orqHnmoTml7blgJnvvIzku5bku6zkuZ/kuI3ph4fnlKjlpJrnur/nqIvjgILl
nKjov5nnr4fnlLHkuInpg6jliIbnu4TmiJDnmoTns7vliJfmlofnq6DkuK3vvIxkZXZlbG9wZXJX
b3JrcyDnmoTlrprmnJ/mipXnqL/ogIUgQWJoaWppdCBCZWxhcHVya2FyIOS4uuaCqOmTuuiuvuS6
huS4gOadoeacieWKqeS6juWFi+acjeWvueWkmue6v+eoi+e8lueoi+aBkOaDp+OAgeaEn+WPl+Wu
g+eahOWlveWkhOeahOmBk+i3r+OAguaWh+eroOS7juWkmue6v+eoi+e8lueoi+acgOW4uOingemX
rumimOeahOamgui/sOW8gOWni++8jOi/meS6m+mXrumimOWMheaLrO+8muernuS6ieWGkumZqeOA
geatu+mUgeOAgea0u+WKqOmUgeOAgei1hOa6kOiAl+Wwve+8jOetieetieOAgiIgDQpuYW1lPUFi
c3RyYWN0Pg0KPE1FVEEgDQpjb250ZW50PSLomb3nhLbkvb/nlKggSmF2YSDor63oqIDov5vooYzl
pJrnur/nqIvlupTnlKjnqIvluo/nvJbnqIvlubbkuI3pmr7mjozmj6HvvIzkvYbmmK/orrjlpJrl
vIDlj5HkurrlkZjpg73lnKjkuLrkuobmraPnoa7lnLDlupTnlKjlroPku6zogIzmjKPmiY7jgILn
u5PmnpzvvIzlpJrnur/nqIvnqIvluo/opoHmr5TmiJHku6zmg7Plg4/nmoTmm7TlrrnmmJPlj5Hn
lJ/nu4blvq7nmoTplJnor6/vvIzov5nlr7zoh7TkuIDkupvlvIDlj5HkurrlkZjkuLrkuobpgb/l
hY3kvb/nlKjlpJrnur/nqIvogIzkuI3mg5zku6Pku7fvvIzljbPkvb/lnKjlubblj5HlkozlubPo
oYzog73lpJ/lvojmmI7mmL7lnLDkuqfnlJ/mnIDlpb3nmoTorr7orqHnmoTml7blgJnvvIzku5bk
u6zkuZ/kuI3ph4fnlKjlpJrnur/nqIvjgILlnKjov5nnr4fnlLHkuInpg6jliIbnu4TmiJDnmoTn
s7vliJfmlofnq6DkuK3vvIxkZXZlbG9wZXJXb3JrcyDnmoTlrprmnJ/mipXnqL/ogIUgQWJoaWpp
dCBCZWxhcHVya2FyIOS4uuaCqOmTuuiuvuS6huS4gOadoeacieWKqeS6juWFi+acjeWvueWkmue6
v+eoi+e8lueoi+aBkOaDp+OAgeaEn+WPl+Wug+eahOWlveWkhOeahOmBk+i3r+OAguaWh+eroOS7
juWkmue6v+eoi+e8lueoi+acgOW4uOingemXrumimOeahOamgui/sOW8gOWni++8jOi/meS6m+mX
rumimOWMheaLrO+8muernuS6ieWGkumZqeOAgeatu+mUgeOAgea0u+WKqOmUgeOAgei1hOa6kOiA
l+Wwve+8jOetieetieOAgiIgDQpuYW1lPURlc2NyaXB0aW9uPg0KPE1FVEEgDQpjb250ZW50PSJt
b25pdG9yLCBtdXRleCwgc2VtYXBob3JlLCBDQVIgSG9hcmUsIHJhY2UgaGF6YXJkcywgZGVhZGxv
Y2tzLCBsaXZlbG9ja3MsIHJlc291cmNlIHN0YXJ2YXRpb24sIENvbW11bmljYXRpbmcgU2VxdWVu
dGlhbCBQcm9jZXNzZXMsIENTUCwgSkNTUCwgbGlicmFyeSwgdmVyaWZpY2F0aW9uLCB2YWxpZGF0
aW9uLCB0ZXN0aW5nLCBlcnJvciwgY29uY3VycmVudCwgc3luY2hyb25pemVkLCB3YWl0L25vdGlm
eSwgc3luY2hyb25pemF0aW9uLCBBT1AsIGFzcGVjdC1vcmllbnRlZCBwcm9ncmFtbWluZywgY29u
Y3VycmVuY3ksIHBhcmFsbGVsaXNtLCBtdWx0aS10aHJlYWRlZCwgbXVsdGl0aHJlYWRlZCwgdGhy
ZWFkcywgcHJvZ3JhbW1pbmcsIFBldGVyIFdlbGNoLCBqYXZhLnV0aWwuY29uY3VycmVudCwgSkRL
IDUuMCwgVGlnZXIsIEZEUjIsIEFiaGlqaXQgQmVsYXB1cmthciznm5Hop4blmags5LqS5pal5L2T
LCDkv6Hlj7csIOernuS6ieWGkumZqSwg5q276ZSBLCDmtLvliqjplIEsIOi1hOa6kOiAl+WwvSwg
6YCa5L+h6aG65bqP6L+b56iLLOW6kywg6aqM6K+BLCDmoKHpqowsIOa1i+ivlSwg6ZSZ6K+vLCDl
ubblj5EsIOWQjOatpeeahCwg562J5YCZL+mAmuefpSwg5ZCM5q2lLCDpnaLlkJHmlrnpnaLnvJbn
qIssIOW5tuWPkeaApywg5bmz6KGMLCDlpJrnur/nqIssIOe6v+eoiyznvJbnqIssIHR0dGpjYSIg
DQpuYW1lPUtleXdvcmRzPg0KPE1FVEEgc2NoZW1lPWlzbzg2MDEgY29udGVudD0yMDA1LTA2LTIx
IG5hbWU9REMuRGF0ZT4NCjxNRVRBIGNvbnRlbnQ9IkJhc2VkIG9uIHYxNCBUZW1wbGF0ZSBHZW5l
cmF0b3IsIFRlbXBsYXRlIDE0LjAiIG5hbWU9U291cmNlPg0KPE1FVEEgY29udGVudD0iQ29weXJp
Z2h0IChjKSAyMDA1IGJ5IElCTSBDb3Jwb3JhdGlvbiIgbmFtZT1EQy5SaWdodHM+DQo8TUVUQSBj
b250ZW50PWluZGV4LGZvbGxvdyBuYW1lPVJvYm90cz4NCjxNRVRBIHNjaGVtZT1XM0NEVEYgY29u
dGVudD0yMDA1LTA2LTIxIG5hbWU9SUJNLkVmZmVjdGl2ZT4NCjxNRVRBIGNvbnRlbnQ9MjgxMTIw
MDVqaGF2ZXJpQHVzLmlibS5jb20gbmFtZT0iTGFzdCB1cGRhdGUiPjxMSU5LIA0KbWVkaWE9c2Ny
ZWVuLHByaW50IGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9jb21tb24vdjE0L3RhYmxlLmNzcyIg
dHlwZT10ZXh0L2NzcyANCnJlbD1zdHlsZXNoZWV0Pg0KPFNDUklQVCBsYW5ndWFnZT1KYXZhU2Ny
aXB0IA0Kc3JjPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY24vanMvZHdjc3Mx
NC5qcyIgDQp0eXBlPXRleHQvamF2YXNjcmlwdD48L1NDUklQVD4NCjxOT1NDUklQVD48TElOSyBo
cmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY24vY3NzL3Ixc3MuY3NzIiAN
CnR5cGU9dGV4dC9jc3MgcmVsPXN0eWxlc2hlZXQ+PC9OT1NDUklQVD48TElOSyANCmhyZWY9Imh0
dHA6Ly93d3cuaWJtLmNvbS9jb21tb24vdjE0L21haW4uY3NzIiB0eXBlPXRleHQvY3NzIHJlbD1z
dHlsZXNoZWV0PjxMSU5LIA0KbWVkaWE9YWxsIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9jb21t
b24vdjE0L2NuL3poL3NjcmVlbi5jc3MiIHR5cGU9dGV4dC9jc3MgDQpyZWw9c3R5bGVzaGVldD48
TElOSyBtZWRpYT1wcmludCANCmhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9jb21tb24vdjE0L2Nu
L3poL3ByaW50LmNzcyIgdHlwZT10ZXh0L2NzcyANCnJlbD1zdHlsZXNoZWV0Pg0KPFNDUklQVCBs
YW5ndWFnZT1KYXZhU2NyaXB0IA0Kc3JjPSJodHRwOi8vd3d3LmlibS5jb20vY29tbW9uL3YxNC9j
bi96aC9kZXRlY3Rpb24uanMiIA0KdHlwZT10ZXh0L2phdmFzY3JpcHQ+PC9TQ1JJUFQ+DQoNCjxT
Q1JJUFQgbGFuZ3VhZ2U9SmF2YVNjcmlwdCANCnNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVs
b3BlcndvcmtzL2pzL2Ryb3Bkb3duLmpzIiANCnR5cGU9dGV4dC9qYXZhc2NyaXB0PjwvU0NSSVBU
Pg0KDQo8U0NSSVBUIGxhbmd1YWdlPUphdmFTY3JpcHQgDQpzcmM9Imh0dHA6Ly93d3cuaWJtLmNv
bS9kZXZlbG9wZXJ3b3Jrcy9lbWFpbC9ncmFidGl0bGUuanMiIA0KdHlwZT10ZXh0L2phdmFzY3Jp
cHQ+PC9TQ1JJUFQ+DQoNCjxTQ1JJUFQgbGFuZ3VhZ2U9SmF2YVNjcmlwdCANCnNyYz0iaHR0cDov
L3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2VtYWlsL2VtYWlsZnJpZW5kMi5qcyIgDQp0eXBl
PXRleHQvamF2YXNjcmlwdD48L1NDUklQVD4NCjwhLS1TVEFSVCBSRVNFUlZFRCBGT1IgRlVUVVJF
IFVTRSBJTkNMVURFIEZJTEVTLS0+DQo8U0NSSVBUIGxhbmd1YWdlPWphdmFzY3JpcHQgc3JjPSJo
dHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvanMvYWpheDEuanMiIA0KdHlwZT10ZXh0
L2phdmFzY3JpcHQ+PC9TQ1JJUFQ+DQoNCjxTQ1JJUFQgbGFuZ3VhZ2U9amF2YXNjcmlwdCANCnNy
Yz0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2pzL3NlYXJjaGNvdW50LmpzIiAN
CnR5cGU9dGV4dC9qYXZhc2NyaXB0PjwvU0NSSVBUPg0KPCEtLUVORCBSRVNFUlZFRCBGT1IgRlVU
VVJFIFVTRSBJTkNMVURFIEZJTEVTLS0+DQo8U1RZTEUgdHlwZT10ZXh0L2Nzcz5DT0RFLnNlY3Rp
b24gew0KCUZPTlQtU0laRTogMTAwJTsgRk9OVC1GQU1JTFk6IEFuZGFsZSBNb25vLCBMdWNpZGEg
Q29uc29sZSwgTW9uYWNvLCBmaXhlZCwgbW9ub3NwYWNlDQp9DQouYm9sZGNvZGUgew0KCUZPTlQt
V0VJR0hUOiBib2xkOyBGT05ULVNJWkU6IDEwMCU7IEZPTlQtRkFNSUxZOiBBbmRhbGUgTW9ubywg
THVjaWRhIENvbnNvbGUsIE1vbmFjbywgZml4ZWQsIG1vbm9zcGFjZQ0KfQ0KLnJib2xkY29kZSB7
DQoJRk9OVC1XRUlHSFQ6IGJvbGQ7IEZPTlQtU0laRTogMTAwJTsgQ09MT1I6ICNmZjAwMDA7IEZP
TlQtRkFNSUxZOiBBbmRhbGUgTW9ubywgTHVjaWRhIENvbnNvbGUsIE1vbmFjbywgZml4ZWQsIG1v
bm9zcGFjZQ0KfQ0KLmdib2xkY29kZSB7DQoJRk9OVC1XRUlHSFQ6IGJvbGQ7IEZPTlQtU0laRTog
MTAwJTsgQ09MT1I6ICNmZjY2MDA7IEZPTlQtRkFNSUxZOiBBbmRhbGUgTW9ubywgTHVjaWRhIENv
bnNvbGUsIE1vbmFjbywgZml4ZWQsIG1vbm9zcGFjZQ0KfQ0KLmJib2xkY29kZSB7DQoJRk9OVC1X
RUlHSFQ6IGJvbGQ7IEZPTlQtU0laRTogMTAwJTsgQ09MT1I6ICMzYzVmODQ7IEZPTlQtRkFNSUxZ
OiBBbmRhbGUgTW9ubywgTHVjaWRhICBDb25zb2xlLCBNb25hY28sIGZpeGVkLCBtb25vc3BhY2UN
Cn0NCjwvU1RZTEU+DQoNCjxTVFlMRSB0eXBlPXRleHQvY3NzPi5hdGl0bGUgew0KCUZPTlQtU0la
RTogMThweDsgRk9OVC1GQU1JTFk6IGFyaWFsLHNhbnMtc2VyaWYNCn0NCjwvU1RZTEU+DQoNCjxT
Q1JJUFQgbGFuZ3VhZ2U9SmF2YVNjcmlwdCB0eXBlPXRleHQvamF2YXNjcmlwdD52YXIgZW1haWxB
YnN0cmFjdCA9ICLomb3nhLbkvb/nlKggSmF2YSDor63oqIDov5vooYzlpJrnur/nqIvlupTnlKjn
qIvluo/nvJbnqIvlubbkuI3pmr7mjozmj6HvvIzkvYbmmK/orrjlpJrlvIDlj5HkurrlkZjpg73l
nKjkuLrkuobmraPnoa7lnLDlupTnlKjlroPku6zogIzmjKPmiY7jgILnu5PmnpzvvIzlpJrnur/n
qIvnqIvluo/opoHmr5TmiJHku6zmg7Plg4/nmoTmm7TlrrnmmJPlj5HnlJ/nu4blvq7nmoTplJno
r6/vvIzov5nlr7zoh7TkuIDkupvlvIDlj5HkurrlkZjkuLrkuobpgb/lhY3kvb/nlKjlpJrnur/n
qIvogIzkuI3mg5zku6Pku7fvvIzljbPkvb/lnKjlubblj5HlkozlubPooYzog73lpJ/lvojmmI7m
mL7lnLDkuqfnlJ/mnIDlpb3nmoTorr7orqHnmoTml7blgJnvvIzku5bku6zkuZ/kuI3ph4fnlKjl
pJrnur/nqIvjgILlnKjov5nnr4fnlLHkuInpg6jliIbnu4TmiJDnmoTns7vliJfmlofnq6DkuK3v
vIxkZXZlbG9wZXJXb3JrcyDnmoTlrprmnJ/mipXnqL/ogIUgQWJoaWppdCBCZWxhcHVya2FyIOS4
uuaCqOmTuuiuvuS6huS4gOadoeacieWKqeS6juWFi+acjeWvueWkmue6v+eoi+e8lueoi+aBkOaD
p+OAgeaEn+WPl+Wug+eahOWlveWkhOeahOmBk+i3r+OAguaWh+eroOS7juWkmue6v+eoi+e8lueo
i+acgOW4uOingemXrumimOeahOamgui/sOW8gOWni++8jOi/meS6m+mXrumimOWMheaLrO+8muer
nuS6ieWGkumZqeOAgeatu+mUgeOAgea0u+WKqOmUgeOAgei1hOa6kOiAl+Wwve+8jOetieetieOA
giI7IDwvU0NSSVBUPg0KDQo8TUVUQSBjb250ZW50PSJNU0hUTUwgNi4wMC41NzMwLjExIiBuYW1l
PUdFTkVSQVRPUj48L0hFQUQ+DQo8Qk9EWT48IS0tTUFTVEhFQURfQkVHSU4tLT4NCjxUQUJMRSBj
ZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgd2lkdGg9IjEwMCUiIGJvcmRlcj0wPg0KICA8VEJP
RFk+DQogIDxUUiB2QWxpZ249dG9wPg0KICAgIDxURCBjbGFzcz1iYmcgd2lkdGg9MTEwPjxBIGhy
ZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9jbi8iPjxJTUcgaGVpZ2h0PTUyIA0KICAgICAgYWx0PUlC
TcKuIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvdjE0L3QvaWJtLWxvZ28uZ2lmIiB3aWR0aD0x
MTAgDQogICAgICBib3JkZXI9MD48L0E+PC9URD4NCiAgICA8VEQgY2xhc3M9YmJnPjxJTUcgaGVp
Z2h0PTEgYWx0PSIiIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvYy5naWYiIA0KICAgICAgd2lk
dGg9MSBib3JkZXI9MD48L1REPg0KICAgIDxURCBjbGFzcz1tYmJnIGFsaWduPXJpZ2h0IHdpZHRo
PTY1MD4NCiAgICAgIDxUQUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgYWxpZ249cmln
aHQgYm9yZGVyPTA+DQogICAgICAgIDxUQk9EWT4NCiAgICAgICAgPFRSIGNsYXNzPWN0eS10b3U+
DQogICAgICAgICAgPFREIGNsYXNzPXVwcGVyLW1hc3RoZWFkLWNvcm5lciB3aWR0aD0xNyByb3dT
cGFuPTI+PEEgDQogICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVy
d29ya3MvY24vamF2YS9qLWNzcDEuaHRtbCNtYWluIj48SU1HIA0KICAgICAgICAgICAgaGVpZ2h0
PTEgYWx0Pei3s+i9rOWIsOS4u+imgeWGheWuuSBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL2Mu
Z2lmIiB3aWR0aD0xIA0KICAgICAgICAgICAgYm9yZGVyPTA+PC9BPjwvVEQ+DQogICAgICAgICAg
PFREIGFsaWduPWxlZnQ+DQogICAgICAgICAgICA8VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFk
ZGluZz0wIGFsaWduPWxlZnQgYm9yZGVyPTA+DQogICAgICAgICAgICAgIDxUQk9EWT4NCiAgICAg
ICAgICAgICAgPFRSPg0KICAgICAgICAgICAgICAgIDxURD48U1BBTiBjbGFzcz1zcGFjZXI+Jm5i
c3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7PC9TUEFOPjxCIA0KICAgICAgICAgICAgICAgICAgY2xhc3M9
Y291bnRyeT7kuK3lm708L0I+PFNQQU4gY2xhc3M9c3BhY2VyPiZuYnNwO1s8L1NQQU4+PEEgDQog
ICAgICAgICAgICAgICAgICBjbGFzcz11ci1saW5rIA0KICAgICAgICAgICAgICAgICAgaHJlZj0i
aHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2NuL2NvdW50cnkvIj7pgInmi6k8L0E+
PFNQQU4gDQogICAgICAgICAgICAgICAgICBjbGFzcz1zcGFjZXI+XTwvU1BBTj48L1REPg0KICAg
ICAgICAgICAgICAgIDxURCBjbGFzcz11cHBlci1tYXN0aGVhZC1kaXZpZGVyIA0KICAgICAgICAg
ICAgICAgIHdpZHRoPTI5PiZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOzwvVEQ+DQogICAgICAgICAg
ICAgICAgPFREIGFsaWduPWxlZnQ+PEEgY2xhc3M9dXItbGluayANCiAgICAgICAgICAgICAgICAg
IGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9sZWdhbC9jbi8iPuS9v+eUqOadoeasvjwvQT48L1RE
PjwvVFI+PC9UQk9EWT48L1RBQkxFPjwvVEQ+DQogICAgICAgICAgPFREIHdpZHRoPTQwPiZuYnNw
OzwvVEQ+PC9UUj4NCiAgICAgICAgPFRSPg0KICAgICAgICAgIDxURCBjbGFzcz1jdHktdG91LWJv
cmRlciBjb2xTcGFuPTIgaGVpZ2h0PTE+PElNRyBoZWlnaHQ9MSBhbHQ9IiIgDQogICAgICAgICAg
ICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL2MuZ2lmIiB3aWR0aD0xPjwvVEQ+PC9UUj4NCiAg
ICAgICAgPFRSPg0KICAgICAgICAgIDxURCBjb2xTcGFuPTM+PElNRyBoZWlnaHQ9OCBhbHQ9IiIg
c3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS9jLmdpZiIgDQogICAgICAgICAgICB3aWR0aD0xPjwv
VEQ+PC9UUj4NCiAgICAgICAgPFRSPg0KICAgICAgICAgIDxURD4mbmJzcDs8L1REPg0KICAgICAg
ICAgIDxURCBhbGlnbj1taWRkbGUgY29sU3Bhbj0yPg0KICAgICAgICAgICAgPEZPUk0gaWQ9Zm9y
bTEgbmFtZT1mb3JtMSANCiAgICAgICAgICAgIGFjdGlvbj1odHRwOi8vd3d3LTEyOC5pYm0uY29t
L2RldmVsb3BlcndvcmtzL3NlYXJjaC9zZWFyY2hSZXN1bHRzLmpzcCANCiAgICAgICAgICAgIG1l