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

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

IDxUUiB2QWxpZ249dG9wPg0KICAgICAgICAgIDxURCB3aWR0aD0iMTAwJSI+DQogICAgICAgICAg
ICA8VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIHdpZHRoPSIxMDAlIiBib3JkZXI9
MD4NCiAgICAgICAgICAgICAgPFRCT0RZPg0KICAgICAgICAgICAgICA8VFI+DQogICAgICAgICAg
ICAgICAgPFREPjxBIG5hbWU9bWFpbj48SU1HIGhlaWdodD0xIGFsdD0ic2tpcCB0byBtYWluIGNv
bnRlbnQiIA0KICAgICAgICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS9jLmdp
ZiIgd2lkdGg9NTkyIA0KICAgICAgICAgICAgICBib3JkZXI9MD48L0E+PC9URD48L1RSPjwvVEJP
RFk+PC9UQUJMRT4NCiAgICAgICAgICAgIDxUQUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5n
PTAgd2lkdGg9IjEwMCUiIGJvcmRlcj0wPg0KICAgICAgICAgICAgICA8VEJPRFk+DQogICAgICAg
ICAgICAgIDxUUiB2QWxpZ249dG9wPg0KICAgICAgICAgICAgICAgIDxURCB3aWR0aD0xMCBoZWln
aHQ9MTg+PElNRyBoZWlnaHQ9MTggYWx0PSIiIA0KICAgICAgICAgICAgICAgICAgc3JjPSJodHRw
Oi8vd3d3LmlibS5jb20vaS9jLmdpZiIgd2lkdGg9MTA+PC9URD4NCiAgICAgICAgICAgICAgICA8
VEQgd2lkdGg9IjEwMCUiPjxJTUcgaGVpZ2h0PTYgYWx0PSIiIA0KICAgICAgICAgICAgICAgICAg
c3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS9jLmdpZiIgd2lkdGg9MT48QlI+PEEgY2xhc3M9YmN0
bCANCiAgICAgICAgICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3
b3Jrcy9jbi8iPmRldmVsb3BlcldvcmtzIA0KICAgICAgICAgICAgICAgICAg5Lit5Zu9PC9BPjxT
UEFOIGNsYXNzPWJjdD4mbmJzcDsmbmJzcDsmZ3Q7Jm5ic3A7Jm5ic3A7PC9TUEFOPjxBIA0KICAg
ICAgICAgICAgICAgICAgY2xhc3M9YmN0bCANCiAgICAgICAgICAgICAgICAgIGhyZWY9Imh0dHA6
Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9jbi9qYXZhLyI+SmF2YSANCiAgICAgICAgICAg
ICAgICAgIHRlY2hub2xvZ3k8L0E+PFNQQU4gY2xhc3M9YmN0PiZuYnNwOyZuYnNwOyZndDs8L1NQ
QU4+PElNRyANCiAgICAgICAgICAgICAgICAgIGhlaWdodD0xIGFsdD0iIiBzcmM9Imh0dHA6Ly93
d3cuaWJtLmNvbS9pL2MuZ2lmIiB3aWR0aD0xPjxCUj4NCiAgICAgICAgICAgICAgICAgIDxIMT7p
gILnlKjkuo4gSmF2YSDnqIvluo/lkZjnmoQgQ1NQ77yM56ysIDEg6YOo5YiGPC9IMT4NCiAgICAg
ICAgICAgICAgICAgIDxQIGlkPXN1YnRpdGxlPjxFTT7lnKggSmF2YSDlubPlj7DkuIrov5vooYzl
pJrnur/nqIvnvJbnqIvnmoTnvLrpmbc8L0VNPjwvUD48SU1HIA0KICAgICAgICAgICAgICAgICAg
Y2xhc3M9ZGlzcGxheS1pbWcgaGVpZ2h0PTYgYWx0PSIiIA0KICAgICAgICAgICAgICAgICAgc3Jj
PSJodHRwOi8vd3d3LmlibS5jb20vaS9jLmdpZiIgd2lkdGg9MT48L1REPg0KICAgICAgICAgICAg
ICAgIDxURCBjbGFzcz1uby1wcmludCB3aWR0aD0xOTI+PElNRyBoZWlnaHQ9MTggYWx0PWRldmVs
b3BlcldvcmtzIA0KICAgICAgICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vZGV2
ZWxvcGVyd29ya3MvY24vaS9kdy5naWYiIA0KICAgICAgICAgICAgICAgIHdpZHRoPTE5Mj48L1RE
PjwvVFI+PC9UQk9EWT48L1RBQkxFPjwvVEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+DQogICAgICA8
VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIHdpZHRoPSIxMDAlIiBib3JkZXI9MD4N
CiAgICAgICAgPFRCT0RZPg0KICAgICAgICA8VFIgdkFsaWduPXRvcD4NCiAgICAgICAgICA8VEQg
d2lkdGg9MTA+PElNRyBoZWlnaHQ9MSBhbHQ9IiIgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS9j
LmdpZiIgDQogICAgICAgICAgICB3aWR0aD0xMD48L1REPg0KICAgICAgICAgIDxURCB3aWR0aD0i
MTAwJSI+DQogICAgICAgICAgICA8VEFCTEUgY2xhc3M9bm8tcHJpbnQgY2VsbFNwYWNpbmc9MCBj
ZWxsUGFkZGluZz0wIHdpZHRoPTE2MCANCiAgICAgICAgICAgIGFsaWduPXJpZ2h0IGJvcmRlcj0w
Pg0KICAgICAgICAgICAgICA8VEJPRFk+DQogICAgICAgICAgICAgIDxUUj4NCiAgICAgICAgICAg
ICAgICA8VEQgd2lkdGg9MTA+PElNRyBoZWlnaHQ9MSBhbHQ9IiIgDQogICAgICAgICAgICAgICAg
ICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL2MuZ2lmIiB3aWR0aD0xMD48L1REPg0KICAgICAg
ICAgICAgICAgIDxURD4NCiAgICAgICAgICAgICAgICAgIDxUQUJMRSBjZWxsU3BhY2luZz0wIGNl
bGxQYWRkaW5nPTAgd2lkdGg9MTUwIGJvcmRlcj0wPg0KICAgICAgICAgICAgICAgICAgICA8VEJP
RFk+DQogICAgICAgICAgICAgICAgICAgIDxUUj4NCiAgICAgICAgICAgICAgICAgICAgICA8VEQg
Y2xhc3M9djE0LWhlYWRlci0xLXNtYWxsPuaWh+aho+mAiemhuTwvVEQ+PC9UUj48L1RCT0RZPjwv
VEFCTEU+DQogICAgICAgICAgICAgICAgICA8VEFCTEUgY2xhc3M9djE0LWdyYXktdGFibGUtYm9y
ZGVyIGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCANCiAgICAgICAgICAgICAgICAgIGJvcmRl
cj0wPg0KICAgICAgICAgICAgICAgICAgICA8VEJPRFk+DQogICAgICAgICAgICAgICAgICAgIDxU
Uj4NCiAgICAgICAgICAgICAgICAgICAgICA8VEQgY2xhc3M9bm8tcGFkZGluZyB3aWR0aD0xNTA+
DQogICAgICAgICAgICAgICAgICAgICAgICA8VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGlu
Zz0wIHdpZHRoPTE0MyANCiAgICAgICAgICAgICAgICAgICAgICAgICAgYm9yZGVyPTA+PElNRyBo
ZWlnaHQ9MSBhbHQ9IiIgDQogICAgICAgICAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3
dy5pYm0uY29tL2kvYy5naWYiIHdpZHRoPTg+DQogICAgICAgICAgICAgICAgICAgICAgICAgIDxT
Q1JJUFQgbGFuZ3VhZ2U9SmF2YVNjcmlwdCB0eXBlPXRleHQvamF2YXNjcmlwdD4KPCEtLQpkb2N1
bWVudC53cml0ZSgnPHRyIHZhbGlnbj0idG9wIj48dGQgd2lkdGg9IjgiPjxpbWcgc3JjPSIvL3d3
dy5pYm0uY29tL2kvYy5naWYiIHdpZHRoPSI4IiBoZWlnaHQ9IjEiIGFsdD0iIi8+PC90ZD48dGQg
d2lkdGg9IjE2Ij48aW1nIHNyYz0iLy93d3cuaWJtLmNvbS9pL3YxNC9pY29ucy9lbS5naWYiIGhl
aWdodD0iMTYiIHdpZHRoPSIxNiIgdnNwYWNlPSIzIiBhbHQ9IuWwhuatpOmhteS9nOS4uueUteWt
kOmCruS7tuWPkemAgSIgLz48L3RkPjx0ZCB3aWR0aD0iMTIyIj48cD48YSBjbGFzcz0ic21hbGxw
bGFpbmxpbmsiIGhyZWY9ImphdmFzY3JpcHQ6ZG9jdW1lbnQuZW1haWwuc3VibWl0KCk7Ij48Yj7l
sIbmraTpobXkvZzkuLrnlLXlrZDpgq7ku7blj5HpgIE8L2I+PC9hPjwvcD48L3RkPjwvdHI+Jyk7
Ci8vLS0+CjwvU0NSSVBUPg0KICAgICAgICAgICAgICAgICAgICAgICAgICA8Tk9TQ1JJUFQ+DQog
ICAgICAgICAgICAgICAgICAgICAgICAgIDxUQk9EWT4NCiAgICAgICAgICAgICAgICAgICAgICAg
ICAgPFRSIHZBbGlnbj10b3A+DQogICAgICAgICAgICAgICAgICAgICAgICAgICAgPFREIHdpZHRo
PTg+PElNRyBoZWlnaHQ9MSBhbHQ9IiIgDQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICBz
cmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL2MuZ2lmIiB3aWR0aD04PjwvVEQ+DQogICAgICAgICAg
ICAgICAgICAgICAgICAgICAgPFREIHdpZHRoPTE2PjxJTUcgaGVpZ2h0PTE2IGFsdD0iIiANCiAg
ICAgICAgICAgICAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvYy5n
aWYiIHdpZHRoPTE2PjwvVEQ+DQogICAgICAgICAgICAgICAgICAgICAgICAgICAgPFREIGNsYXNz
PXNtYWxsIHdpZHRoPTEyMj4NCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIDxQPjxTUEFO
IGNsYXNzPWFzdD7mnKrmmL7npLrpnIDopoEgSmF2YVNjcmlwdCANCiAgICAgICAgICAgICAgICAg
ICAgICAgICAgICAgIOeahOaWh+aho+mAiemhuTwvU1BBTj48L1A+PC9URD48L1RSPjwvTk9TQ1JJ
UFQ+PC9UQk9EWT48L1RBQkxFPjwvVEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+PCEtLVNUQVJUIFJF
U0VSVkVEIEZPUiBGVVRVUkUgVVNFIElOQ0xVREUgRklMRVMtLT48IS0tIHRoaXMgY29udGVudCB3
aWxsIGJlIGF1dG9tYXRpY2FsbHkgZ2VuZXJhdGVkIGFjcm9zcyBhbGwgY29udGVudCBhcmVhcyAt
LT48QlI+PCEtLUVORCBSRVNFUlZFRCBGT1IgRlVUVVJFIFVTRSBJTkNMVURFIEZJTEVTLS0+PEJS
Pg0KICAgICAgICAgICAgICAgICAgPFRBQkxFIGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCB3
aWR0aD0xNTAgYm9yZGVyPTA+DQogICAgICAgICAgICAgICAgICAgIDxUQk9EWT4NCiAgICAgICAg
ICAgICAgICAgICAgPFRSPg0KICAgICAgICAgICAgICAgICAgICAgIDxURCBjbGFzcz12MTQtaGVh
ZGVyLTEtc21hbGw+5a+55q2k6aG155qE6K+E5Lu3PC9URD48L1RSPjwvVEJPRFk+PC9UQUJMRT4N
CiAgICAgICAgICAgICAgICAgIDxUQUJMRSBjbGFzcz12MTQtZ3JheS10YWJsZS1ib3JkZXIgY2Vs
bFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIA0KICAgICAgICAgICAgICAgICAgYm9yZGVyPTA+DQog
ICAgICAgICAgICAgICAgICAgIDxUQk9EWT4NCiAgICAgICAgICAgICAgICAgICAgPFRSPg0KICAg
ICAgICAgICAgICAgICAgICAgIDxURCBjbGFzcz1uby1wYWRkaW5nIHdpZHRoPTE1MD4NCiAgICAg
ICAgICAgICAgICAgICAgICAgIDxUQUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgd2lk
dGg9MTQzIGJvcmRlcj0wPg0KICAgICAgICAgICAgICAgICAgICAgICAgICA8VEJPRFk+DQogICAg
ICAgICAgICAgICAgICAgICAgICAgIDxUUiB2QWxpZ249dG9wPg0KICAgICAgICAgICAgICAgICAg
ICAgICAgICAgIDxURCB3aWR0aD04PjxJTUcgaGVpZ2h0PTEgYWx0PSIiIA0KICAgICAgICAgICAg
ICAgICAgICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS9jLmdpZiIgd2lkdGg9
OD48L1REPg0KICAgICAgICAgICAgICAgICAgICAgICAgICAgIDxURD48SU1HIGhlaWdodD0xNiBh
bHQ9IiIgDQogICAgICAgICAgICAgICAgICAgICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJt
LmNvbS9pL3YxNC9pY29ucy9kX2JvbGQuZ2lmIiANCiAgICAgICAgICAgICAgICAgICAgICAgICAg
ICAgIHdpZHRoPTE2IHZzcGFjZT0zIGJvcmRlcj0wPjwvVEQ+DQogICAgICAgICAgICAgICAgICAg
ICAgICAgICAgPFREIHdpZHRoPTEyNT4NCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIDxQ
PjxBIGNsYXNzPXNtYWxscGxhaW5saW5rIA0KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg
aHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3AxLmh0
bWwjcmF0ZSI+PEI+5biu5Yqp5oiR5Lus5pS56L+b6L+Z5Lqb5YaF5a65PC9CPjwvQT48L1A+PC9U
RD48L1RSPjwvVEJPRFk+PC9UQUJMRT48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxFPjxCUj48L1RE
PjwvVFI+PC9UQk9EWT48L1RBQkxFPg0KICAgICAgICAgICAgPFA+57qn5YirOiDliJ3nuqc8L1A+
DQogICAgICAgICAgICA8UD48QSANCiAgICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNv
bS9kZXZlbG9wZXJ3b3Jrcy9jbi9qYXZhL2otY3NwMS5odG1sI2F1dGhvciI+QWJoaWppdCANCiAg
ICAgICAgICAgIEJlbGFwdXJrYXI8L0E+ICg8QSANCiAgICAgICAgICAgIGhyZWY9Im1haWx0bzph
Ymhpaml0X2JlbGFwdXJrYXJAaW5mb3N5cy5jb20/c3ViamVjdD3pgILnlKjkuo4gSmF2YSDnqIvl
uo/lkZjnmoQgQ1NQ77yM56ysIDEg6YOo5YiGIj5tYWlsdG86YWJoaWppdF9iZWxhcHVya2FyQGlu
Zm9zeXMuY29tP3N1YmplY3Q96YCC55So5LqOIA0KICAgICAgICAgICAgSmF2YSDnqIvluo/lkZjn
moQgQ1NQ77yM56ysIDEg6YOo5YiGPC9BPiksIOmrmOe6p+aKgOacr+aetuaehOW4iDxCUj48L1A+
DQogICAgICAgICAgICA8UD4yMSDml6UgNiDmnIggMjAwNSDlubQ8L1A+DQogICAgICAgICAgICA8
QkxPQ0tRVU9URT7omb3nhLbkvb/nlKggSmF2YeKEoiANCiAgICAgICAgICAgICAg6K+t6KiA6L+b
6KGM5aSa57q/56iL5bqU55So56iL5bqP57yW56iL5bm25LiN6Zq+5o6M5o+h77yM5L2G5piv6K64
5aSa5byA5Y+R5Lq65ZGY6YO95Zyo5Li65LqG5q2j56Gu5Zyw5bqU55So5a6D5Lus6ICM5oyj5omO
44CC57uT5p6c77yM5aSa57q/56iL56iL5bqP6KaB5q+U5oiR5Lus5oOz5YOP55qE5pu05a655piT
5Y+R55Sf57uG5b6u55qE6ZSZ6K+v77yM6L+Z5a+86Ie05LiA5Lqb5byA5Y+R5Lq65ZGY5Li65LqG
6YG/5YWN5L2/55So5aSa57q/56iL6ICM5LiN5oOc5Luj5Lu377yM5Y2z5L2/5Zyo5bm25Y+R5ZKM
5bmz6KGM6IO95aSf5b6I5piO5pi+6IO95aSf5Lqn55Sf5pyA5aW955qE6K6+6K6h55qE5pe25YCZ
77yM5LuW5Lus5Lmf5LiN6YeH55So5aSa57q/56iL44CC5Zyo6L+Z56+H55Sx5LiJ6YOo5YiG57uE
5oiQ55qE57O75YiX5paH56ug5Lit77yMZGV2ZWxvcGVyV29ya3MgDQogICAgICAgICAgICAgIOea
hOWumuacn+aKleeov+iAhSBBYmhpaml0IEJlbGFwdXJrYXIgDQogICAgICAgICAgICAgIOS4uuaC
qOmTuuiuvuS6huS4gOadoeacieWKqeS6juWFi+acjeWvueWkmue6v+eoi+e8lueoi+aBkOaDp+OA
geaEn+WPl+Wug+eahOWlveWkhOeahOmBk+i3r+OAguaWh+eroOS7juWkmue6v+eoi+e8lueoi+ac
gOW4uOingemXrumimOeahOamgui/sOW8gOWni++8jOi/meS6m+mXrumimOWMheaLrO+8muernuS6
ieWGkumZqe+8iHJhY2UgDQogICAgICAgICAgICAgIGhhemFyZO+8ieOAgeatu+mUgeOAgea0u+WK
qOmUgeOAgei1hOa6kOiAl+Wwve+8iHJlc291cmNlIHN0YXJ2YXRpb27vvInvvIznrYnnrYnjgIIg
PC9CTE9DS1FVT1RFPjwhLS1TVEFSVCBSRVNFUlZFRCBGT1IgRlVUVVJFIFVTRSBJTkNMVURFIEZJ
TEVTLS0+PCEtLSBpbmNsdWRlIGphdmEgc2NyaXB0IG9uY2Ugd2UgdmVyaWZ5IHRlYW1zIHdhbnRz
IHRvIHVzZSB0aGlzIGFuZCBpdCB3aWxsIHdvcmsgb24gZGJjcyBhbmQgY3lyaWxsaWMgY2hhcmFj
dGVycyAtLT48IS0tRU5EIFJFU0VSVkVEIEZPUiBGVVRVUkUgVVNFIElOQ0xVREUgRklMRVMtLT4N
CiAgICAgICAgICAgIDxQPuWcqCBKYXZhIOW5s+WPsOS4iui/m+ihjOWkmue6v+eoi+e8lueoi+aY
r+S7tuiuqeS6uuacm+iAjOeUn+eVj+eahOS6i++8jOi/meS4gOeCueW+l+WIsOS6huW5v+azm+iu
pOWPr+OAguWunumZheS4iu+8jOS4gOiIrOeahOeQhuiuuuS8vOS5juaYr++8muacgOWlveaKiuWk
mue6v+eoi+e8lueoi+eVmee7mSANCiAgICAgICAgICAgIEphdmEg6auY5omL44CCU3VuIE1pY3Jv
c3lzdGVtcyDpgJrov4fvvIjlnKggRUpCIOinhOiMg+S4reKAlOKAlCDor7flj4LpmIU8QSANCiAg
ICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9jbi9qYXZh
L2otY3NwMS5odG1sI3Jlc291cmNlcyI+5Y+C6ICD6LWE5paZPC9BPu+8ieaKiuS7peS4i+WGheWu
ueaPj+i/sOaIkCANCiAgICAgICAgICAgIEVKQiDmnrbmnoTnmoTnm67moIfkuYvkuIDvvIzkuZ/p
l7TmjqXlnLDjgIHmm7Tmt7HlhaXlnLDorqjorrrkuobov5nkuKrop4Llv7XvvJo8L1A+DQogICAg
ICAgICAgICA8QkxPQ0tRVU9URT7lupTnlKjnqIvluo/lvIDlj5HkurrlkZjkuI3lv4XnkIbop6Pk
vY7nuqfkuovliqHlkoznirbmgIHnrqHnkIbnu4boioLjgIHkuI3lv4XnkIbop6PlpJrnur/nqIvj
gIHov57mjqXmsaDmiJbogIXlhbbku5blpI3mnYLnmoTkvY7nuqcgDQogICAgICAgICAgICBBUEnj
gII8L0JMT0NLUVVPVEU+DQogICAgICAgICAgICA8UD7lpoLmnpzku6Xov5nkuKrop4Llv7XkuLro
tbfngrnvvIzpgqPkuYjmgqjkuZ/lsLHkuI3kvJrmg4rorrbkuLrku4DkuYjorrjlpJogSmF2YSAN
CiAgICAgICAgICAgIOW8gOWPkeS6uuWRmOimgemBv+W8gOiuvuiuoeWSjOW8gOWPkeWkmue6v+eo
i+W6lOeUqOeoi+W6j+OAguS9huS6i+WunuS4iu+8jOiuuOWkmu+8iOWNs+S9v+S4jeaYr+Wkp+Wk
muaVsO+8ieS8geS4mue6p+mXrumimOS9v+eUqOafkOenjeW9ouW8j+eahOWkmue6v+eoi+adpein
o+WGs+acgOWQiOmAgu+8jOiAjCBFSkIgDQogICAgICAgICAgICDlkoznsbvkvLznmoTmoYbmnrbl
ubbkuI3lg4/lroPku6zlo7Dnp7DnmoTpgqPmoLfvvIzmgLvmmK/mnIDlrrnmmJPnmoTop6PlhrPm
lrnmoYjjgII8L1A+DQogICAgICAgICAgICA8UD7lnKjov5nnr4fnlLHkuInpg6jliIbnu4TmiJDn
moTns7vliJfmlofnq6DkuK3vvIzmiJHku4vnu43kuobkuIDkuKrnkIborrrvvIzor6XnkIborrrm
ib/orqTkuoblubblj5HnvJbnqIvnmoTlpI3mnYLmgKfvvIzlubbkuJTmsqHmnInor5Xlm77pmpDo
l4/ov5nnp43lpI3mnYLmgKfvvIzmiJbogIXkvb/lroPkuI3pgqPkuYjpmr7kuo7lrabkuaDlkozl
upTnlKjjgILpgJrkv6Hpobrluo/ov5vnqIvvvIhDb21tdW5pY2F0aW5nIA0KICAgICAgICAgICAg
U2VxdWVudGlhbCBQcm9jZXNzZXMg4oCU4oCUIENTUO+8iSANCiAgICAgICAgICAgIOaYr+S4gOS4
queyvuehrueahOW5tuWPkeaVsOWtpueQhuiuuu+8jOWPr+S7peeUqOadpeaehOW7uuWkmue6v+eo
i+W6lOeUqOeoi+W6j++8jOehruS/neaehOW7uueahOeoi+W6j+S4reS4jeWHuueOsOW5tuWPkeea
hOW4uOingemXrumimO+8jOiAjOS4lOabtOmHjeimgeeahOaYr++8jOi/meS4gOeCuTxJPiANCiAg
ICAgICAgICAgIOiDveWkn+W+l+WIsOivgeWunjwvST7jgII8L1A+DQogICAgICAgICAgICA8UD7l
nKjku4vnu40gQ1NQIOeQhuiuuuWSjOWug+WfuuS6jiBKYXZhIOivreiogOeahOWunueOsCDigJTi
gJQgSkNTUCDlupMg4oCU4oCUIOS5i+WJje+8jOaIkeW4jOacm+iDveWkn+ehruWumuaIkeS7rOac
ieS4gOS4quWFseWQjOeahOiuqOiuuuahhuaetuOAguaIkeWFiOS7jiANCiAgICAgICAgICAgIEph
dmEgDQogICAgICAgICAgICDlubPlj7DnmoTlubblj5HnvJbnqIvmioDmnK/mpoLov7DlvIDlp4vv
vIzmjqXnnYDmj5DkvpvkuoblpJrnur/nqIvlupTnlKjnqIvluo/lvIDlj5HnvLrpmbfnmoTmt7Hl
haXmpoLov7DvvIzov5nkupvnvLrpmbfljIXmi6zvvJrnq57kuonlhpLpmanjgIHmrbvplIHjgIHm
tLvliqjplIHlkozotYTmupDogJflsL3nrYnjgILmnIDlkI7vvIzpgJrov4fkuIDkupvlhbfkvZPn
moTorqjorrrnu5PmnZ/mnKzmlofvvIzov5nkupvorqjorrrljIXmi6w8ST7kuLrku4DkuYg8L0k+
IA0KICAgICAgICAgICAg5LiN6IO95YOP5oKo5Zac5qyi55qE6YKj5qC36aqM6K+B5aSa57q/56iL
IEphdmEg5bqU55So56iL5bqP77yM5bm256Gu5a6a546w5pyJ5Y+Y6YCa5pa55rOV5Lit5oKo5pyA
5YGP54ix55qE5Y+Y6YCa5pa55rOV44CCPC9QPg0KICAgICAgICAgICAgPFRBQkxFIGNlbGxTcGFj
aW5nPTAgY2VsbFBhZGRpbmc9MCB3aWR0aD0iNDAlIiBhbGlnbj1yaWdodCANCiAgICAgICAgICAg
ICAgYm9yZGVyPTA+PFRCT0RZPg0KICAgICAgICAgICAgICA8VFI+DQogICAgICAgICAgICAgICAg
PFREIHdpZHRoPTEwPjxJTUcgaGVpZ2h0PTEgYWx0PSIiIA0KICAgICAgICAgICAgICAgICAgc3Jj
PSJodHRwOi8vd3d3LmlibS5jb20vaS9jLmdpZiIgd2lkdGg9MTA+PC9URD4NCiAgICAgICAgICAg
ICAgICA8VEQ+DQogICAgICAgICAgICAgICAgICA8VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFk
ZGluZz01IHdpZHRoPSIxMDAlIiBib3JkZXI9MT4NCiAgICAgICAgICAgICAgICAgICAgPFRCT0RZ