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

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

From: <由 Windows Internet Explorer 7 保存>
Subject: =?gb2312?B?ysrTw9PaIEphdmEgs8zQ8tSxtcQgQ1NQIKOstdogMyCyv7fW?=
Date: Mon, 11 Jun 2007 03:05:52 +0800
MIME-Version: 1.0
Content-Type: multipart/related;
	type="text/html";
	boundary="----=_NextPart_000_00C4_01C7ABD5.6B9C7D30"
X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2900.3028

This is a multi-part message in MIME format.

------=_NextPart_000_00C4_01C7ABD5.6B9C7D30
Content-Type: text/html;
	charset="utf-8"
Content-Transfer-Encoding: base64
Content-Location: http://www.ibm.com/developerworks/cn/java/j-csp3.html

77u/PCFET0NUWVBFIEhUTUwgUFVCTElDICItLy9XM0MvL0RURCBIVE1MIDQuMDEgVHJhbnNpdGlv
bmFsLy9FTiIgImh0dHA6Ly93d3cudzNjLm9yZy9UUi8xOTk5L1JFQy1odG1sNDAxLTE5OTkxMjI0
L2xvb3NlLmR0ZCI+DQo8SFRNTCBsYW5nPXpoLUNOIHhtbDpsYW5nPSJ6aC1DTiIgDQp4bWxucz0i
aHR0cDovL3d3dy53My5vcmcvMTk5OS94aHRtbCI+PEhFQUQ+PFRJVExFPumAgueUqOS6jiBKYXZh
IOeoi+W6j+WRmOeahCBDU1Ag77yM56ysIDMg6YOo5YiGPC9USVRMRT4NCjxNRVRBIGh0dHAtZXF1
aXY9Q29udGVudC1UeXBlIGNvbnRlbnQ9InRleHQvaHRtbDsgY2hhcnNldD1VVEYtOCI+DQo8TUVU
QSBodHRwLWVxdWl2PVBJQ1MtTGFiZWwgDQpjb250ZW50PScoUElDUy0xLjEgImh0dHA6Ly93d3cu
aWNyYS5vcmcvcmF0aW5nc3YwMi5odG1sIiBsIGdlbiB0cnVlIHIgKGN6IDEgbHogMSBueiAxIG96
IDEgdnogMSkgImh0dHA6Ly93d3cucnNhYy5vcmcvcmF0aW5nc3YwMS5odG1sIiBsIGdlbiB0cnVl
IHIgKG4gMCBzIDAgdiAwIGwgMCkgImh0dHA6Ly93d3cuY2xhc3NpZnkub3JnL3NhZmVzdXJmLyIg
bCBnZW4gdHJ1ZSByIChTU35+MDAwIDEpKSc+PExJTksgDQpocmVmPSJodHRwOi8vcHVybC5vcmcv
REMvZWxlbWVudHMvMS4wLyIgcmVsPXNjaGVtYS5EQz48TElOSyANCmhyZWY9Imh0dHA6Ly93d3cu
aWJtLmNvbS9mYXZpY29uLmljbyIgcmVsPSJTSE9SVENVVCBJQ09OIj4NCjxNRVRBIGNvbnRlbnQ9
ZHdAY24uaWJtLmNvbSBuYW1lPU93bmVyPg0KPE1FVEEgc2NoZW1lPXJmYzE3NjYgY29udGVudD16
aC1DTiBuYW1lPURDLkxhbmd1YWdlPg0KPE1FVEEgY29udGVudD1jbiBuYW1lPUlCTS5Db3VudHJ5
Pg0KPE1FVEEgY29udGVudD1QdWJsaWMgbmFtZT1TZWN1cml0eT4NCjxNRVRBIA0KY29udGVudD0i
QWJoaWppdCBCZWxhcHVya2FyIOmAmui/h+S7i+e7jSBKQ1NQIOW8gOWPkemrmOe6p+S4u+mimO+8
jOe7k+adn+S6hueUseS4iemDqOWIhue7hOaIkOeahOS7i+e7jemAgueUqOS6jiBKYXZhIOW8gOWP
keS6uuWRmOeahCBDU1Ag55qE57O75YiX5paH56ug77yM5LuL57uN55qE5YaF5a655YyF5ous77ya
SkNTUCDkuI4gQU9QIOeahOebuOS8vOaAp+OAgUpDU1Ag5LiOIGphdmEudXRpbC5jb25jdXJyZW50
IOeahOavlOi+g++8jOS7peWPiueUqCBKQ1NQIOi/m+ihjOmrmOe6p+WQjOatpeOAgiIgDQpuYW1l
PUFic3RyYWN0Pg0KPE1FVEEgDQpjb250ZW50PSJBYmhpaml0IEJlbGFwdXJrYXIg6YCa6L+H5LuL
57uNIEpDU1Ag5byA5Y+R6auY57qn5Li76aKY77yM57uT5p2f5LqG55Sx5LiJ6YOo5YiG57uE5oiQ
55qE5LuL57uN6YCC55So5LqOIEphdmEg5byA5Y+R5Lq65ZGY55qEIENTUCDnmoTns7vliJfmlofn
q6DvvIzku4vnu43nmoTlhoXlrrnljIXmi6zvvJpKQ1NQIOS4jiBBT1Ag55qE55u45Ly85oCn44CB
SkNTUCDkuI4gamF2YS51dGlsLmNvbmN1cnJlbnQg55qE5q+U6L6D77yM5Lul5Y+K55SoIEpDU1Ag
6L+b6KGM6auY57qn5ZCM5q2l44CCIiANCm5hbWU9RGVzY3JpcHRpb24+DQo8TUVUQSANCmNvbnRl
bnQ9Im1vbml0b3IsIG11dGV4LCBzZW1hcGhvcmUsIENBUiBIb2FyZSwgcmFjZSBoYXphcmRzLCBk
ZWFkbG9ja3MsIGxpdmVsb2NrcywgcmVzb3VyY2Ugc3RhcnZhdGlvbiwgQ29tbXVuaWNhdGluZyBT
ZXF1ZW50aWFsIFByb2Nlc3NlcywgQ1NQLCBKQ1NQLCBsaWJyYXJ5LCB2ZXJpZmljYXRpb24sIHZh
bGlkYXRpb24sIHRlc3RpbmcsIHRvb2xzLCBlcnJvciwgY29uY3VycmVudCwgc3luY2hyb25pemVk
LCB3YWl0L25vdGlmeSwgc3luY2hyb25pemF0aW9uLCBBT1AsIGFzcGVjdC1vcmllbnRlZCBwcm9n
cmFtbWluZywgY29uY3VycmVuY3ksIHBhcmFsbGVsaXNtLCBtdWx0aS10aHJlYWRlZCwgbXVsdGl0
aHJlYWRlZCwgdGhyZWFkcywgcHJvZ3JhbW1pbmcsIFBldGVyIFdlbGNoLCBqYXZhLnV0aWwuY29u
Y3VycmVudCwgSkRLIDUuMCwgVGlnZXIsIEZEUjIsIEFiaGlqaXQgQmVsYXB1cmthciwgICDnm5Ho
p4blmagsIOS6kuaWpeS9kywg5L+h5Y+3LCDkuonnlKjpo47pmaksIOatu+mUgSwg5rS75Yqo6ZSB
LCDotYTmupDogJflsL0sIOmAmuS/oemhuuW6j+i/m+eoiywg5bqTLCDpqozor4EsIOagoemqjCwg
5rWL6K+VLCDplJnor68sIOW5tuWPkSwg5ZCM5q2l55qELCDnrYnlgJkv6YCa55+lLCDlkIzmraUs
IOmdouWQkeaWuemdoue8lueoiywg5bm25Y+R5oCnLCDlubbooYwsIOWkmue6v+eoiywg57q/56iL
LCDnvJbnqIssIHR0dGpjYSIgDQpuYW1lPUtleXdvcmRzPg0KPE1FVEEgc2NoZW1lPWlzbzg2MDEg
Y29udGVudD0yMDA1LTA3LTExIG5hbWU9REMuRGF0ZT4NCjxNRVRBIGNvbnRlbnQ9IkJhc2VkIG9u
IHYxNCBUZW1wbGF0ZSBHZW5lcmF0b3IsIFRlbXBsYXRlIDE0LjAiIG5hbWU9U291cmNlPg0KPE1F
VEEgY29udGVudD0iQ29weXJpZ2h0IChjKSAyMDA1IGJ5IElCTSBDb3Jwb3JhdGlvbiIgbmFtZT1E
Qy5SaWdodHM+DQo8TUVUQSBjb250ZW50PWluZGV4LGZvbGxvdyBuYW1lPVJvYm90cz4NCjxNRVRB
IHNjaGVtZT1XM0NEVEYgY29udGVudD0yMDA1LTA3LTExIG5hbWU9SUJNLkVmZmVjdGl2ZT4NCjxN
RVRBIGNvbnRlbnQ9MTcwMTIwMDd6b3VjbEBjbi5pYm0uY29tIG5hbWU9Ikxhc3QgdXBkYXRlIj48
TElOSyANCm1lZGlhPXNjcmVlbixwcmludCBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vY29tbW9u
L3YxNC90YWJsZS5jc3MiIHR5cGU9dGV4dC9jc3MgDQpyZWw9c3R5bGVzaGVldD4NCjxTQ1JJUFQg
bGFuZ3VhZ2U9SmF2YVNjcmlwdCANCnNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3Blcndv
cmtzL2pzL2R3Y3NzMTQuanMiIA0KdHlwZT10ZXh0L2phdmFzY3JpcHQ+PC9TQ1JJUFQ+DQo8Tk9T
Q1JJUFQ+PExJTksgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2Nzcy9y
MXNzLmNzcyIgDQp0eXBlPXRleHQvY3NzIHJlbD1zdHlsZXNoZWV0PjwvTk9TQ1JJUFQ+PExJTksg
DQpocmVmPSJodHRwOi8vd3d3LmlibS5jb20vY29tbW9uL3YxNC9tYWluLmNzcyIgdHlwZT10ZXh0
L2NzcyByZWw9c3R5bGVzaGVldD48TElOSyANCm1lZGlhPWFsbCBocmVmPSJodHRwOi8vd3d3Lmli
bS5jb20vY29tbW9uL3YxNC9jbi96aC9zY3JlZW4uY3NzIiB0eXBlPXRleHQvY3NzIA0KcmVsPXN0
eWxlc2hlZXQ+PExJTksgbWVkaWE9cHJpbnQgDQpocmVmPSJodHRwOi8vd3d3LmlibS5jb20vY29t
bW9uL3YxNC9jbi96aC9wcmludC5jc3MiIHR5cGU9dGV4dC9jc3MgDQpyZWw9c3R5bGVzaGVldD4N
CjxTQ1JJUFQgbGFuZ3VhZ2U9SmF2YVNjcmlwdCANCnNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2Nv
bW1vbi92MTQvY24vemgvZGV0ZWN0aW9uLmpzIiANCnR5cGU9dGV4dC9qYXZhc2NyaXB0PjwvU0NS
SVBUPg0KDQo8U0NSSVBUIGxhbmd1YWdlPUphdmFTY3JpcHQgDQpzcmM9Imh0dHA6Ly93d3cuaWJt
LmNvbS9kZXZlbG9wZXJ3b3Jrcy9qcy9kcm9wZG93bi5qcyIgDQp0eXBlPXRleHQvamF2YXNjcmlw
dD48L1NDUklQVD4NCg0KPFNDUklQVCBsYW5ndWFnZT1KYXZhU2NyaXB0IA0Kc3JjPSJodHRwOi8v
d3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvZW1haWwvZ3JhYnRpdGxlLmpzIiANCnR5cGU9dGV4
dC9qYXZhc2NyaXB0PjwvU0NSSVBUPg0KDQo8U0NSSVBUIGxhbmd1YWdlPUphdmFTY3JpcHQgDQpz
cmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9lbWFpbC9lbWFpbGZyaWVuZDIu
anMiIA0KdHlwZT10ZXh0L2phdmFzY3JpcHQ+PC9TQ1JJUFQ+DQo8IS0tU1RBUlQgUkVTRVJWRUQg
Rk9SIEZVVFVSRSBVU0UgSU5DTFVERSBGSUxFUy0tPg0KPFNDUklQVCBsYW5ndWFnZT1qYXZhc2Ny
aXB0IHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2pzL2FqYXgxLmpzIiAN
CnR5cGU9dGV4dC9qYXZhc2NyaXB0PjwvU0NSSVBUPg0KDQo8U0NSSVBUIGxhbmd1YWdlPWphdmFz
Y3JpcHQgDQpzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9qcy9zZWFyY2hj
b3VudC5qcyIgDQp0eXBlPXRleHQvamF2YXNjcmlwdD48L1NDUklQVD4NCjwhLS1FTkQgUkVTRVJW
RUQgRk9SIEZVVFVSRSBVU0UgSU5DTFVERSBGSUxFUy0tPg0KPFNDUklQVCBsYW5ndWFnZT1KYXZh
U2NyaXB0IHR5cGU9dGV4dC9qYXZhc2NyaXB0PnZhciBlbWFpbEFic3RyYWN0ID0gIkFiaGlqaXQg
QmVsYXB1cmthciDpgJrov4fku4vnu40gSkNTUCDlvIDlj5Hpq5jnuqfkuLvpopjvvIznu5PmnZ/k
uobnlLHkuInpg6jliIbnu4TmiJDnmoTku4vnu43pgILnlKjkuo4gSmF2YSDlvIDlj5HkurrlkZjn
moQgQ1NQIOeahOezu+WIl+aWh+eroO+8jOS7i+e7jeeahOWGheWuueWMheaLrO+8mkpDU1Ag5LiO
IEFPUCDnmoTnm7jkvLzmgKfjgIFKQ1NQIOS4jiBqYXZhLnV0aWwuY29uY3VycmVudCDnmoTmr5To
voPvvIzku6Xlj4rnlKggSkNTUCDov5vooYzpq5jnuqflkIzmraXjgIIiOyA8L1NDUklQVD4NCg0K
PE1FVEEgY29udGVudD0iTVNIVE1MIDYuMDAuNTczMC4xMSIgbmFtZT1HRU5FUkFUT1I+PC9IRUFE
Pg0KPEJPRFk+PCEtLU1BU1RIRUFEX0JFR0lOLS0+DQo8VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxs
UGFkZGluZz0wIHdpZHRoPSIxMDAlIiBib3JkZXI9MD4NCiAgPFRCT0RZPg0KICA8VFIgdkFsaWdu
PXRvcD4NCiAgICA8VEQgY2xhc3M9YmJnIHdpZHRoPTExMD48QSBocmVmPSJodHRwOi8vd3d3Lmli
bS5jb20vY24vIj48SU1HIGhlaWdodD01MiANCiAgICAgIGFsdD1JQk3CriBzcmM9Imh0dHA6Ly93
d3cuaWJtLmNvbS9pL3YxNC90L2libS1sb2dvLmdpZiIgd2lkdGg9MTEwIA0KICAgICAgYm9yZGVy
PTA+PC9BPjwvVEQ+DQogICAgPFREIGNsYXNzPWJiZz48SU1HIGhlaWdodD0xIGFsdD0iIiBzcmM9
Imh0dHA6Ly93d3cuaWJtLmNvbS9pL2MuZ2lmIiANCiAgICAgIHdpZHRoPTEgYm9yZGVyPTA+PC9U
RD4NCiAgICA8VEQgY2xhc3M9bWJiZyBhbGlnbj1yaWdodCB3aWR0aD02NTA+DQogICAgICA8VEFC
TEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIGFsaWduPXJpZ2h0IGJvcmRlcj0wPg0KICAg
ICAgICA8VEJPRFk+DQogICAgICAgIDxUUiBjbGFzcz1jdHktdG91Pg0KICAgICAgICAgIDxURCBj
bGFzcz11cHBlci1tYXN0aGVhZC1jb3JuZXIgd2lkdGg9MTcgcm93U3Bhbj0yPjxBIA0KICAgICAg
ICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1j
c3AzLmh0bWwjbWFpbiI+PElNRyANCiAgICAgICAgICAgIGhlaWdodD0xIGFsdD3ot7PovazliLDk
uLvopoHlhoXlrrkgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS9jLmdpZiIgd2lkdGg9MSANCiAg
ICAgICAgICAgIGJvcmRlcj0wPjwvQT48L1REPg0KICAgICAgICAgIDxURCBhbGlnbj1sZWZ0Pg0K
ICAgICAgICAgICAgPFRBQkxFIGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCBhbGlnbj1sZWZ0
IGJvcmRlcj0wPg0KICAgICAgICAgICAgICA8VEJPRFk+DQogICAgICAgICAgICAgIDxUUj4NCiAg
ICAgICAgICAgICAgICA8VEQ+PFNQQU4gY2xhc3M9c3BhY2VyPiZuYnNwOyZuYnNwOyZuYnNwOyZu
YnNwOzwvU1BBTj48QiANCiAgICAgICAgICAgICAgICAgIGNsYXNzPWNvdW50cnk+5Lit5Zu9PC9C
PjxTUEFOIGNsYXNzPXNwYWNlcj4mbmJzcDtbPC9TUEFOPjxBIA0KICAgICAgICAgICAgICAgICAg
Y2xhc3M9dXItbGluayANCiAgICAgICAgICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNv
bS9kZXZlbG9wZXJ3b3Jrcy9jbi9jb3VudHJ5LyI+6YCJ5oupPC9BPjxTUEFOIA0KICAgICAgICAg
ICAgICAgICAgY2xhc3M9c3BhY2VyPl08L1NQQU4+PC9URD4NCiAgICAgICAgICAgICAgICA8VEQg
Y2xhc3M9dXBwZXItbWFzdGhlYWQtZGl2aWRlciANCiAgICAgICAgICAgICAgICB3aWR0aD0yOT4m
bmJzcDsmbmJzcDsmbmJzcDsmbmJzcDs8L1REPg0KICAgICAgICAgICAgICAgIDxURCBhbGlnbj1s
ZWZ0PjxBIGNsYXNzPXVyLWxpbmsgDQogICAgICAgICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3
LmlibS5jb20vbGVnYWwvY24vIj7kvb/nlKjmnaHmrL48L0E+PC9URD48L1RSPjwvVEJPRFk+PC9U
QUJMRT48L1REPg0KICAgICAgICAgIDxURCB3aWR0aD00MD4mbmJzcDs8L1REPjwvVFI+DQogICAg
ICAgIDxUUj4NCiAgICAgICAgICA8VEQgY2xhc3M9Y3R5LXRvdS1ib3JkZXIgY29sU3Bhbj0yIGhl
aWdodD0xPjxJTUcgaGVpZ2h0PTEgYWx0PSIiIA0KICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3
LmlibS5jb20vaS9jLmdpZiIgd2lkdGg9MT48L1REPjwvVFI+DQogICAgICAgIDxUUj4NCiAgICAg
ICAgICA8VEQgY29sU3Bhbj0zPjxJTUcgaGVpZ2h0PTggYWx0PSIiIHNyYz0iaHR0cDovL3d3dy5p
Ym0uY29tL2kvYy5naWYiIA0KICAgICAgICAgICAgd2lkdGg9MT48L1REPjwvVFI+DQogICAgICAg
IDxUUj4NCiAgICAgICAgICA8VEQ+Jm5ic3A7PC9URD4NCiAgICAgICAgICA8VEQgYWxpZ249bWlk
ZGxlIGNvbFNwYW49Mj4NCiAgICAgICAgICAgIDxGT1JNIGlkPWZvcm0xIG5hbWU9Zm9ybTEgDQog
ICAgICAgICAgICBhY3Rpb249aHR0cDovL3d3dy0xMjguaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9z
ZWFyY2gvc2VhcmNoUmVzdWx0cy5qc3AgDQogICAgICAgICAgICBtZXRob2Q9Z2V0PjxJTlBVVCB0
eXBlPWhpZGRlbiB2YWx1ZT0xIG5hbWU9c2VhcmNoVHlwZT48SU5QVVQgDQogICAgICAgICAgICB0
eXBlPWhpZGRlbiB2YWx1ZT1kV0NoaW5hIG5hbWU9c2VhcmNoU2l0ZT48SU5QVVQgdHlwZT1oaWRk
ZW4gDQogICAgICAgICAgICB2YWx1ZT16aCBuYW1lPXBhZ2VMYW5nPjxJTlBVVCB0eXBlPWhpZGRl
biB2YWx1ZT1VVEY4IA0KICAgICAgICAgICAgbmFtZT1sYW5nRW5jb2Rpbmc+DQogICAgICAgICAg
ICA8VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIGJvcmRlcj0wPg0KICAgICAgICAg
ICAgICA8VEJPRFk+DQogICAgICAgICAgICAgIDxUUj4NCiAgICAgICAgICAgICAgICA8VEQgd2lk
dGg9MT48SU1HIGhlaWdodD0xIGFsdD0iU2VsZWN0IGEgc2NvcGU6IiANCiAgICAgICAgICAgICAg
ICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvYy5naWYiIHdpZHRoPTE+PC9URD4NCiAgICAg
ICAgICAgICAgICA8VEQgYWxpZ249cmlnaHQ+PExBQkVMIGZvcj1zcT48U0VMRUNUIGNsYXNzPWlu
cHV0LXNjb3BlIGlkPXNxIA0KICAgICAgICAgICAgICAgICAgbmFtZT1zZWFyY2hTY29wZT48T1BU
SU9OIHZhbHVlPWRXIHNlbGVjdGVkPmRXIA0KICAgICAgICAgICAgICAgICAgICDlhajpg6jlhoXl
rrk8L09QVElPTj48T1BUSU9OIA0KICAgICAgICAgICAgICAgICAgICB2YWx1ZT1kVz4tLS0tLS0t
LS0tLS0tLS0tLTwvT1BUSU9OPjxPUFRJT04gDQogICAgICAgICAgICAgICAgICAgIHZhbHVlPWFp
eHVuaXg+Jm5ic3A7Jm5ic3A7QUlYIGFuZCBVTklYPC9PUFRJT04+PE9QVElPTiANCiAgICAgICAg
ICAgICAgICAgICAgdmFsdWU9ZG1kZD4mbmJzcDsmbmJzcDtJbmZvcm1hdGlvbiANCiAgICAgICAg
ICAgICAgICAgICAgbWFuYWdlbWVudDwvT1BUSU9OPjxPUFRJT04gDQogICAgICAgICAgICAgICAg
ICAgIHZhbHVlPWxvdHVzZGQ+Jm5ic3A7Jm5ic3A7TG90dXM8L09QVElPTj48T1BUSU9OIA0KICAg
ICAgICAgICAgICAgICAgICB2YWx1ZT1yZGQ+Jm5ic3A7Jm5ic3A7UmF0aW9uYWw8L09QVElPTj48
T1BUSU9OIA0KICAgICAgICAgICAgICAgICAgICB2YWx1ZT10aXZvbGlkZD4mbmJzcDsmbmJzcDtU
aXZvbGk8L09QVElPTj48T1BUSU9OIA0KICAgICAgICAgICAgICAgICAgICB2YWx1ZT13c2RkPiZu
YnNwOyZuYnNwO1dlYlNwaGVyZTwvT1BUSU9OPjxPUFRJT04gDQogICAgICAgICAgICAgICAgICAg
IHZhbHVlPXdvcmtwbGFjZT4mbmJzcDsmbmJzcDtXb3JrcGxhY2U8L09QVElPTj48T1BUSU9OIA0K
ICAgICAgICAgICAgICAgICAgICB2YWx1ZT1kVz4tLS0tLS0tLS0tLS0tLS0tLTwvT1BUSU9OPjxP
UFRJT04gDQogICAgICAgICAgICAgICAgICAgIHZhbHVlPWdyaWRaPiZuYnNwOyZuYnNwO0dyaWQg
Y29tcHV0aW5nPC9PUFRJT04+PE9QVElPTiANCiAgICAgICAgICAgICAgICAgICAgdmFsdWU9amF2
YVo+Jm5ic3A7Jm5ic3A7SmF2YSDmioDmnK88L09QVElPTj48T1BUSU9OIA0KICAgICAgICAgICAg
ICAgICAgICB2YWx1ZT1saW51eFo+Jm5ic3A7Jm5ic3A7TGludXg8L09QVElPTj48T1BUSU9OIA0K
ICAgICAgICAgICAgICAgICAgICB2YWx1ZT1vcGVuc3JjWj4mbmJzcDsmbmJzcDtPcGVuIHNvdXJj
ZTwvT1BUSU9OPjxPUFRJT04gDQogICAgICAgICAgICAgICAgICAgIHZhbHVlPXNlY3VyaXR5Wj4m
bmJzcDsmbmJzcDtTZWN1cml0eTwvT1BUSU9OPjxPUFRJT04gDQogICAgICAgICAgICAgICAgICAg
IHZhbHVlPXdlYnNlcnZaPiZuYnNwOyZuYnNwO1NPQSAmYW1wOyBXZWIgDQogICAgICAgICAgICAg
ICAgICAgIHNlcnZpY2VzPC9PUFRJT04+PE9QVElPTiB2YWx1ZT13ZWJhcmNoWj4mbmJzcDsmbmJz
cDtXZWIgDQogICAgICAgICAgICAgICAgICAgIGRldmVsb3BtZW50PC9PUFRJT04+PE9QVElPTiAN
CiAgICAgICAgICAgICAgICAgICAgdmFsdWU9eG1sWj4mbmJzcDsmbmJzcDtYTUw8L09QVElPTj48
T1BUSU9OIA0KICAgICAgICAgICAgICAgICAgICB2YWx1ZT1kVz4tLS0tLS0tLS0tLS0tLS0tLTwv
T1BUSU9OPjxPUFRJT04gdmFsdWU9YWxsPklCTSANCiAgICAgICAgICAgICAgICAgICAg5YWo6YOo
5YaF5a65PC9PUFRJT04+PC9TRUxFQ1Q+PC9MQUJFTD48L1REPg0KICAgICAgICAgICAgICAgIDxU