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

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

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

This is a multi-part message in MIME format.

------=_NextPart_000_008D_01C7ABD5.0E3A3D30
Content-Type: text/html;
	charset="utf-8"
Content-Transfer-Encoding: base64
Content-Location: http://www.ibm.com/developerworks/cn/java/j-csp2/

77u/PCFET0NUWVBFIEhUTUwgUFVCTElDICItLy9XM0MvL0RURCBIVE1MIDQuMDEgVHJhbnNpdGlv
bmFsLy9FTiIgImh0dHA6Ly93d3cudzNjLm9yZy9UUi8xOTk5L1JFQy1odG1sNDAxLTE5OTkxMjI0
L2xvb3NlLmR0ZCI+DQo8SFRNTCBsYW5nPXpoLUNOIHhtbDpsYW5nPSJ6aC1DTiIgDQp4bWxucz0i
aHR0cDovL3d3dy53My5vcmcvMTk5OS94aHRtbCI+PEhFQUQ+PFRJVExFPumAgueUqOS6jiBKYXZh
IOeoi+W6j+WRmOeahCBDU1Ag77yM56ysIDIg6YOo5YiGPC9USVRMRT4NCjxNRVRBIGh0dHAtZXF1
aXY9Q29udGVudC1UeXBlIGNvbnRlbnQ9InRleHQvaHRtbDsgY2hhcnNldD1VVEYtOCI+DQo8TUVU
QSBodHRwLWVxdWl2PVBJQ1MtTGFiZWwgDQpjb250ZW50PScoUElDUy0xLjEgImh0dHA6Ly93d3cu
aWNyYS5vcmcvcmF0aW5nc3YwMi5odG1sIiBsIGdlbiB0cnVlIHIgKGN6IDEgbHogMSBueiAxIG96
IDEgdnogMSkgImh0dHA6Ly93d3cucnNhYy5vcmcvcmF0aW5nc3YwMS5odG1sIiBsIGdlbiB0cnVl
IHIgKG4gMCBzIDAgdiAwIGwgMCkgImh0dHA6Ly93d3cuY2xhc3NpZnkub3JnL3NhZmVzdXJmLyIg
bCBnZW4gdHJ1ZSByIChTU35+MDAwIDEpKSc+PExJTksgDQpocmVmPSJodHRwOi8vcHVybC5vcmcv
REMvZWxlbWVudHMvMS4wLyIgcmVsPXNjaGVtYS5EQz48TElOSyANCmhyZWY9Imh0dHA6Ly93d3cu
aWJtLmNvbS9mYXZpY29uLmljbyIgcmVsPSJTSE9SVENVVCBJQ09OIj4NCjxNRVRBIGNvbnRlbnQ9
ZHdAY24uaWJtLmNvbSBuYW1lPU93bmVyPg0KPE1FVEEgc2NoZW1lPXJmYzE3NjYgY29udGVudD16
aC1DTiBuYW1lPURDLkxhbmd1YWdlPg0KPE1FVEEgY29udGVudD1jbiBuYW1lPUlCTS5Db3VudHJ5
Pg0KPE1FVEEgY29udGVudD1QdWJsaWMgbmFtZT1TZWN1cml0eT4NCjxNRVRBIA0KY29udGVudD0i
5Zyo6L+Z56+H55Sx5LiJ6YOo5YiG57uE5oiQ55qE6Z2i5ZCRIEphdmEg56iL5bqP5ZGY55qE6YCa
5L+h6aG65bqP6L+b56iLIO+8iENTUO+8ieS7i+e7jeeahOesrOS6jOacn+S4re+8jEFiaGlqaXQg
QmVsYXB1cmthciDlsIbku4vnu43lpoLkvZXkvb/nlKjln7rkuo4gSmF2YSDnmoQgSkNTUCDlupPm
naXnvJblhpnog73lpJ/noa7kv53msqHmnInlubblj5Hpl67popjvvIjkvovlpoLkuonnlKjpo47p
manjgIEg5q276ZSB44CB5rS75Yqo6ZSB44CB6LWE5rqQ6ICX5bC977yJ55qEIEphdmEg5bqU55So
56iL5bqP44CCIiANCm5hbWU9QWJzdHJhY3Q+DQo8TUVUQSANCmNvbnRlbnQ9IuWcqOi/meevh+eU
seS4iemDqOWIhue7hOaIkOeahOmdouWQkSBKYXZhIOeoi+W6j+WRmOeahOmAmuS/oemhuuW6j+i/
m+eoiyDvvIhDU1DvvInku4vnu43nmoTnrKzkuozmnJ/kuK3vvIxBYmhpaml0IEJlbGFwdXJrYXIg
5bCG5LuL57uN5aaC5L2V5L2/55So5Z+65LqOIEphdmEg55qEIEpDU1Ag5bqT5p2l57yW5YaZ6IO9
5aSf56Gu5L+d5rKh5pyJ5bm25Y+R6Zeu6aKY77yI5L6L5aaC5LqJ55So6aOO6Zmp44CBIOatu+mU
geOAgea0u+WKqOmUgeOAgei1hOa6kOiAl+Wwve+8ieeahCBKYXZhIOW6lOeUqOeoi+W6j+OAgiIg
DQpuYW1lPURlc2NyaXB0aW9uPg0KPE1FVEEgDQpjb250ZW50PSJtb25pdG9yLCBtdXRleCwgc2Vt
YXBob3JlLCBDQVIgSG9hcmUsIHJhY2UgaGF6YXJkcywgZGVhZGxvY2tzLCBsaXZlbG9ja3MsIHJl
c291cmNlIHN0YXJ2YXRpb24sIENvbW11bmljYXRpbmcgU2VxdWVudGlhbCBQcm9jZXNzZXMsIENT
UCwgSkNTUCwgbGlicmFyeSwgdmVyaWZpY2F0aW9uLCB2YWxpZGF0aW9uLCB0b29sLCB0ZXN0aW5n
LCBlcnJvciwgY29uY3VycmVudCwgc3luY2hyb25pemVkLCB3YWl0L25vdGlmeSwgc3luY2hyb25p
emF0aW9uLCBBT1AsIGFzcGVjdC1vcmllbnRlZCBwcm9ncmFtbWluZywgY29uY3VycmVuY3ksIHBh
cmFsbGVsaXNtLCBtdWx0aS10aHJlYWRlZCwgbXVsdGl0aHJlYWRlZCwgdGhyZWFkcywgcHJvZ3Jh
bW1pbmcsIFBldGVyIFdlbGNoLCBqYXZhLnV0aWwuY29uY3VycmVudCwgSkRLIDUuMCwgVGlnZXIs
IEZEUjIsIEFiaGlqaXQgQmVsYXB1cmthciwgICAg55uR6KeG5ZmoLCDkupLmlqXkvZMsIOS/oeWP
tywg5LqJ55So6aOO6ZmpLCDmrbvplIEsIOa0u+WKqOmUgSwg6LWE5rqQ6ICX5bC9LCDpgJrkv6Hp
obrluo/ov5vnqIssIOW6kywg6aqM6K+BLCDmoKHpqowsIOa1i+ivlSwg6ZSZ6K+vLCDlubblj5Es
IOWQjOatpeeahCwg562J5YCZL+mAmuefpSwg5ZCM5q2lLCDpnaLlkJHmlrnpnaLnvJbnqIssIOW5
tuWPkeaApywg5bmz6KGMLCDlpJrnur/nqIssIOe6v+eoiywg57yW56iLICAgICwgdHR0amNhIiAN
Cm5hbWU9S2V5d29yZHM+DQo8TUVUQSBzY2hlbWU9aXNvODYwMSBjb250ZW50PTIwMDUtMDctMDcg
bmFtZT1EQy5EYXRlPg0KPE1FVEEgY29udGVudD0iQmFzZWQgb24gdjE0IFRlbXBsYXRlIEdlbmVy
YXRvciwgVGVtcGxhdGUgMTQuMCIgbmFtZT1Tb3VyY2U+DQo8TUVUQSBjb250ZW50PSJDb3B5cmln
aHQgKGMpIDIwMDUgYnkgSUJNIENvcnBvcmF0aW9uIiBuYW1lPURDLlJpZ2h0cz4NCjxNRVRBIGNv
bnRlbnQ9aW5kZXgsZm9sbG93IG5hbWU9Um9ib3RzPg0KPE1FVEEgc2NoZW1lPVczQ0RURiBjb250
ZW50PTIwMDUtMDctMDcgbmFtZT1JQk0uRWZmZWN0aXZlPg0KPE1FVEEgY29udGVudD0xNzAxMjAw
N3pvdWNsQGNuLmlibS5jb20gbmFtZT0iTGFzdCB1cGRhdGUiPjxMSU5LIA0KbWVkaWE9c2NyZWVu
LHByaW50IGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9jb21tb24vdjE0L3RhYmxlLmNzcyIgdHlw
ZT10ZXh0L2NzcyANCnJlbD1zdHlsZXNoZWV0Pg0KPFNDUklQVCBsYW5ndWFnZT1KYXZhU2NyaXB0
IA0Kc3JjPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvanMvZHdjc3MxNC5qcyIg
DQp0eXBlPXRleHQvamF2YXNjcmlwdD48L1NDUklQVD4NCjxOT1NDUklQVD48TElOSyBocmVmPSJo
dHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY3NzL3Ixc3MuY3NzIiANCnR5cGU9dGV4
dC9jc3MgcmVsPXN0eWxlc2hlZXQ+PC9OT1NDUklQVD48TElOSyANCmhyZWY9Imh0dHA6Ly93d3cu
aWJtLmNvbS9jb21tb24vdjE0L21haW4uY3NzIiB0eXBlPXRleHQvY3NzIHJlbD1zdHlsZXNoZWV0
PjxMSU5LIA0KbWVkaWE9YWxsIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9jb21tb24vdjE0L2Nu
L3poL3NjcmVlbi5jc3MiIHR5cGU9dGV4dC9jc3MgDQpyZWw9c3R5bGVzaGVldD48TElOSyBtZWRp
YT1wcmludCANCmhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9jb21tb24vdjE0L2NuL3poL3ByaW50
LmNzcyIgdHlwZT10ZXh0L2NzcyANCnJlbD1zdHlsZXNoZWV0Pg0KPFNDUklQVCBsYW5ndWFnZT1K
YXZhU2NyaXB0IA0Kc3JjPSJodHRwOi8vd3d3LmlibS5jb20vY29tbW9uL3YxNC9jbi96aC9kZXRl
Y3Rpb24uanMiIA0KdHlwZT10ZXh0L2phdmFzY3JpcHQ+PC9TQ1JJUFQ+DQoNCjxTQ1JJUFQgbGFu
Z3VhZ2U9SmF2YVNjcmlwdCANCnNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3Blcndvcmtz
L2pzL2Ryb3Bkb3duLmpzIiANCnR5cGU9dGV4dC9qYXZhc2NyaXB0PjwvU0NSSVBUPg0KDQo8U0NS
SVBUIGxhbmd1YWdlPUphdmFTY3JpcHQgDQpzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9w
ZXJ3b3Jrcy9lbWFpbC9ncmFidGl0bGUuanMiIA0KdHlwZT10ZXh0L2phdmFzY3JpcHQ+PC9TQ1JJ
UFQ+DQoNCjxTQ1JJUFQgbGFuZ3VhZ2U9SmF2YVNjcmlwdCANCnNyYz0iaHR0cDovL3d3dy5pYm0u
Y29tL2RldmVsb3BlcndvcmtzL2VtYWlsL2VtYWlsZnJpZW5kMi5qcyIgDQp0eXBlPXRleHQvamF2
YXNjcmlwdD48L1NDUklQVD4NCjwhLS1TVEFSVCBSRVNFUlZFRCBGT1IgRlVUVVJFIFVTRSBJTkNM
VURFIEZJTEVTLS0+DQo8U0NSSVBUIGxhbmd1YWdlPWphdmFzY3JpcHQgc3JjPSJodHRwOi8vd3d3
LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvanMvYWpheDEuanMiIA0KdHlwZT10ZXh0L2phdmFzY3Jp
cHQ+PC9TQ1JJUFQ+DQoNCjxTQ1JJUFQgbGFuZ3VhZ2U9amF2YXNjcmlwdCANCnNyYz0iaHR0cDov
L3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2pzL3NlYXJjaGNvdW50LmpzIiANCnR5cGU9dGV4
dC9qYXZhc2NyaXB0PjwvU0NSSVBUPg0KPCEtLUVORCBSRVNFUlZFRCBGT1IgRlVUVVJFIFVTRSBJ
TkNMVURFIEZJTEVTLS0+DQo8U0NSSVBUIGxhbmd1YWdlPUphdmFTY3JpcHQgdHlwZT10ZXh0L2ph
dmFzY3JpcHQ+dmFyIGVtYWlsQWJzdHJhY3QgPSAi5Zyo6L+Z56+H55Sx5LiJ6YOo5YiG57uE5oiQ
55qE6Z2i5ZCRIEphdmEg56iL5bqP5ZGY55qE6YCa5L+h6aG65bqP6L+b56iLIO+8iENTUO+8ieS7
i+e7jeeahOesrOS6jOacn+S4re+8jEFiaGlqaXQgQmVsYXB1cmthciDlsIbku4vnu43lpoLkvZXk
vb/nlKjln7rkuo4gSmF2YSDnmoQgSkNTUCDlupPmnaXnvJblhpnog73lpJ/noa7kv53msqHmnInl
ubblj5Hpl67popjvvIjkvovlpoLkuonnlKjpo47pmanjgIEg5q276ZSB44CB5rS75Yqo6ZSB44CB
6LWE5rqQ6ICX5bC977yJ55qEIEphdmEg5bqU55So56iL5bqP44CCIjsgPC9TQ1JJUFQ+DQoNCjxN
RVRBIGNvbnRlbnQ9Ik1TSFRNTCA2LjAwLjU3MzAuMTEiIG5hbWU9R0VORVJBVE9SPjwvSEVBRD4N
CjxCT0RZPjwhLS1NQVNUSEVBRF9CRUdJTi0tPg0KPFRBQkxFIGNlbGxTcGFjaW5nPTAgY2VsbFBh
ZGRpbmc9MCB3aWR0aD0iMTAwJSIgYm9yZGVyPTA+DQogIDxUQk9EWT4NCiAgPFRSIHZBbGlnbj10
b3A+DQogICAgPFREIGNsYXNzPWJiZyB3aWR0aD0xMTA+PEEgaHJlZj0iaHR0cDovL3d3dy5pYm0u
Y29tL2NuLyI+PElNRyBoZWlnaHQ9NTIgDQogICAgICBhbHQ9SUJNwq4gc3JjPSJodHRwOi8vd3d3
LmlibS5jb20vaS92MTQvdC9pYm0tbG9nby5naWYiIHdpZHRoPTExMCANCiAgICAgIGJvcmRlcj0w
PjwvQT48L1REPg0KICAgIDxURCBjbGFzcz1iYmc+PElNRyBoZWlnaHQ9MSBhbHQ9IiIgc3JjPSJo
dHRwOi8vd3d3LmlibS5jb20vaS9jLmdpZiIgDQogICAgICB3aWR0aD0xIGJvcmRlcj0wPjwvVEQ+
DQogICAgPFREIGNsYXNzPW1iYmcgYWxpZ249cmlnaHQgd2lkdGg9NjUwPg0KICAgICAgPFRBQkxF
IGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCBhbGlnbj1yaWdodCBib3JkZXI9MD4NCiAgICAg
ICAgPFRCT0RZPg0KICAgICAgICA8VFIgY2xhc3M9Y3R5LXRvdT4NCiAgICAgICAgICA8VEQgY2xh
c3M9dXBwZXItbWFzdGhlYWQtY29ybmVyIHdpZHRoPTE3IHJvd1NwYW49Mj48QSANCiAgICAgICAg
ICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9jbi9qYXZhL2otY3Nw
Mi8jbWFpbiI+PElNRyANCiAgICAgICAgICAgIGhlaWdodD0xIGFsdD3ot7PovazliLDkuLvopoHl
hoXlrrkgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS9jLmdpZiIgd2lkdGg9MSANCiAgICAgICAg
ICAgIGJvcmRlcj0wPjwvQT48L1REPg0KICAgICAgICAgIDxURCBhbGlnbj1sZWZ0Pg0KICAgICAg
ICAgICAgPFRBQkxFIGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCBhbGlnbj1sZWZ0IGJvcmRl
cj0wPg0KICAgICAgICAgICAgICA8VEJPRFk+DQogICAgICAgICAgICAgIDxUUj4NCiAgICAgICAg
ICAgICAgICA8VEQ+PFNQQU4gY2xhc3M9c3BhY2VyPiZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOzwv
U1BBTj48QiANCiAgICAgICAgICAgICAgICAgIGNsYXNzPWNvdW50cnk+5Lit5Zu9PC9CPjxTUEFO
IGNsYXNzPXNwYWNlcj4mbmJzcDtbPC9TUEFOPjxBIA0KICAgICAgICAgICAgICAgICAgY2xhc3M9
dXItbGluayANCiAgICAgICAgICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZl
bG9wZXJ3b3Jrcy9jbi9jb3VudHJ5LyI+6YCJ5oupPC9BPjxTUEFOIA0KICAgICAgICAgICAgICAg
ICAgY2xhc3M9c3BhY2VyPl08L1NQQU4+PC9URD4NCiAgICAgICAgICAgICAgICA8VEQgY2xhc3M9
dXBwZXItbWFzdGhlYWQtZGl2aWRlciANCiAgICAgICAgICAgICAgICB3aWR0aD0yOT4mbmJzcDsm
bmJzcDsmbmJzcDsmbmJzcDs8L1REPg0KICAgICAgICAgICAgICAgIDxURCBhbGlnbj1sZWZ0PjxB
IGNsYXNzPXVyLWxpbmsgDQogICAgICAgICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3LmlibS5j
b20vbGVnYWwvY24vIj7kvb/nlKjmnaHmrL48L0E+PC9URD48L1RSPjwvVEJPRFk+PC9UQUJMRT48
L1REPg0KICAgICAgICAgIDxURCB3aWR0aD00MD4mbmJzcDs8L1REPjwvVFI+DQogICAgICAgIDxU
Uj4NCiAgICAgICAgICA8VEQgY2xhc3M9Y3R5LXRvdS1ib3JkZXIgY29sU3Bhbj0yIGhlaWdodD0x
PjxJTUcgaGVpZ2h0PTEgYWx0PSIiIA0KICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5j
b20vaS9jLmdpZiIgd2lkdGg9MT48L1REPjwvVFI+DQogICAgICAgIDxUUj4NCiAgICAgICAgICA8
VEQgY29sU3Bhbj0zPjxJTUcgaGVpZ2h0PTggYWx0PSIiIHNyYz0iaHR0cDovL3d3dy5pYm0uY29t
L2kvYy5naWYiIA0KICAgICAgICAgICAgd2lkdGg9MT48L1REPjwvVFI+DQogICAgICAgIDxUUj4N
CiAgICAgICAgICA8VEQ+Jm5ic3A7PC9URD4NCiAgICAgICAgICA8VEQgYWxpZ249bWlkZGxlIGNv
bFNwYW49Mj4NCiAgICAgICAgICAgIDxGT1JNIGlkPWZvcm0xIG5hbWU9Zm9ybTEgDQogICAgICAg
ICAgICBhY3Rpb249aHR0cDovL3d3dy0xMjguaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9zZWFyY2gv
c2VhcmNoUmVzdWx0cy5qc3AgDQogICAgICAgICAgICBtZXRob2Q9Z2V0PjxJTlBVVCB0eXBlPWhp
ZGRlbiB2YWx1ZT0xIG5hbWU9c2VhcmNoVHlwZT48SU5QVVQgDQogICAgICAgICAgICB0eXBlPWhp
ZGRlbiB2YWx1ZT1kV0NoaW5hIG5hbWU9c2VhcmNoU2l0ZT48SU5QVVQgdHlwZT1oaWRkZW4gDQog
ICAgICAgICAgICB2YWx1ZT16aCBuYW1lPXBhZ2VMYW5nPjxJTlBVVCB0eXBlPWhpZGRlbiB2YWx1
ZT1VVEY4IA0KICAgICAgICAgICAgbmFtZT1sYW5nRW5jb2Rpbmc+DQogICAgICAgICAgICA8VEFC
TEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIGJvcmRlcj0wPg0KICAgICAgICAgICAgICA8
VEJPRFk+DQogICAgICAgICAgICAgIDxUUj4NCiAgICAgICAgICAgICAgICA8VEQgd2lkdGg9MT48
SU1HIGhlaWdodD0xIGFsdD0iU2VsZWN0IGEgc2NvcGU6IiANCiAgICAgICAgICAgICAgICAgIHNy
Yz0iaHR0cDovL3d3dy5pYm0uY29tL2kvYy5naWYiIHdpZHRoPTE+PC9URD4NCiAgICAgICAgICAg
ICAgICA8VEQgYWxpZ249cmlnaHQ+PExBQkVMIGZvcj1zcT48U0VMRUNUIGNsYXNzPWlucHV0LXNj
b3BlIGlkPXNxIA0KICAgICAgICAgICAgICAgICAgbmFtZT1zZWFyY2hTY29wZT48T1BUSU9OIHZh
bHVlPWRXIHNlbGVjdGVkPmRXIA0KICAgICAgICAgICAgICAgICAgICDlhajpg6jlhoXlrrk8L09Q
VElPTj48T1BUSU9OIA0KICAgICAgICAgICAgICAgICAgICB2YWx1ZT1kVz4tLS0tLS0tLS0tLS0t
LS0tLTwvT1BUSU9OPjxPUFRJT04gDQogICAgICAgICAgICAgICAgICAgIHZhbHVlPWFpeHVuaXg+
Jm5ic3A7Jm5ic3A7QUlYIGFuZCBVTklYPC9PUFRJT04+PE9QVElPTiANCiAgICAgICAgICAgICAg
ICAgICAgdmFsdWU9ZG1kZD4mbmJzcDsmbmJzcDtJbmZvcm1hdGlvbiANCiAgICAgICAgICAgICAg
ICAgICAgbWFuYWdlbWVudDwvT1BUSU9OPjxPUFRJT04gDQogICAgICAgICAgICAgICAgICAgIHZh
bHVlPWxvdHVzZGQ+Jm5ic3A7Jm5ic3A7TG90dXM8L09QVElPTj48T1BUSU9OIA0KICAgICAgICAg
ICAgICAgICAgICB2YWx1ZT1yZGQ+Jm5ic3A7Jm5ic3A7UmF0aW9uYWw8L09QVElPTj48T1BUSU9O
IA0KICAgICAgICAgICAgICAgICAgICB2YWx1ZT10aXZvbGlkZD4mbmJzcDsmbmJzcDtUaXZvbGk8
L09QVElPTj48T1BUSU9OIA0KICAgICAgICAgICAgICAgICAgICB2YWx1ZT13c2RkPiZuYnNwOyZu
YnNwO1dlYlNwaGVyZTwvT1BUSU9OPjxPUFRJT04gDQogICAgICAgICAgICAgICAgICAgIHZhbHVl
PXdvcmtwbGFjZT4mbmJzcDsmbmJzcDtXb3JrcGxhY2U8L09QVElPTj48T1BUSU9OIA0KICAgICAg
ICAgICAgICAgICAgICB2YWx1ZT1kVz4tLS0tLS0tLS0tLS0tLS0tLTwvT1BUSU9OPjxPUFRJT04g
DQogICAgICAgICAgICAgICAgICAgIHZhbHVlPWdyaWRaPiZuYnNwOyZuYnNwO0dyaWQgY29tcHV0
aW5nPC9PUFRJT04+PE9QVElPTiANCiAgICAgICAgICAgICAgICAgICAgdmFsdWU9amF2YVo+Jm5i
c3A7Jm5ic3A7SmF2YSDmioDmnK88L09QVElPTj48T1BUSU9OIA0KICAgICAgICAgICAgICAgICAg
ICB2YWx1ZT1saW51eFo+Jm5ic3A7Jm5ic3A7TGludXg8L09QVElPTj48T1BUSU9OIA0KICAgICAg
ICAgICAgICAgICAgICB2YWx1ZT1vcGVuc3JjWj4mbmJzcDsmbmJzcDtPcGVuIHNvdXJjZTwvT1BU
SU9OPjxPUFRJT04gDQogICAgICAgICAgICAgICAgICAgIHZhbHVlPXNlY3VyaXR5Wj4mbmJzcDsm
bmJzcDtTZWN1cml0eTwvT1BUSU9OPjxPUFRJT04gDQogICAgICAgICAgICAgICAgICAgIHZhbHVl
PXdlYnNlcnZaPiZuYnNwOyZuYnNwO1NPQSAmYW1wOyBXZWIgDQogICAgICAgICAgICAgICAgICAg
IHNlcnZpY2VzPC9PUFRJT04+PE9QVElPTiB2YWx1ZT13ZWJhcmNoWj4mbmJzcDsmbmJzcDtXZWIg
DQogICAgICAgICAgICAgICAgICAgIGRldmVsb3BtZW50PC9PUFRJT04+PE9QVElPTiANCiAgICAg
ICAgICAgICAgICAgICAgdmFsdWU9eG1sWj4mbmJzcDsmbmJzcDtYTUw8L09QVElPTj48T1BUSU9O
IA0KICAgICAgICAgICAgICAgICAgICB2YWx1ZT1kVz4tLS0tLS0tLS0tLS0tLS0tLTwvT1BUSU9O
PjxPUFRJT04gdmFsdWU9YWxsPklCTSANCiAgICAgICAgICAgICAgICAgICAg5YWo6YOo5YaF5a65