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

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

dGhvZD1nZXQ+PElOUFVUIHR5cGU9aGlkZGVuIHZhbHVlPTEgbmFtZT1zZWFyY2hUeXBlPjxJTlBV
VCANCiAgICAgICAgICAgIHR5cGU9aGlkZGVuIHZhbHVlPWRXQ2hpbmEgbmFtZT1zZWFyY2hTaXRl
PjxJTlBVVCB0eXBlPWhpZGRlbiANCiAgICAgICAgICAgIHZhbHVlPXpoIG5hbWU9cGFnZUxhbmc+
PElOUFVUIHR5cGU9aGlkZGVuIHZhbHVlPVVURjggDQogICAgICAgICAgICBuYW1lPWxhbmdFbmNv
ZGluZz4NCiAgICAgICAgICAgIDxUQUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgYm9y
ZGVyPTA+DQogICAgICAgICAgICAgIDxUQk9EWT4NCiAgICAgICAgICAgICAgPFRSPg0KICAgICAg
ICAgICAgICAgIDxURCB3aWR0aD0xPjxJTUcgaGVpZ2h0PTEgYWx0PSJTZWxlY3QgYSBzY29wZToi
IA0KICAgICAgICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS9jLmdpZiIgd2lk
dGg9MT48L1REPg0KICAgICAgICAgICAgICAgIDxURCBhbGlnbj1yaWdodD48TEFCRUwgZm9yPXNx
PjxTRUxFQ1QgY2xhc3M9aW5wdXQtc2NvcGUgaWQ9c3EgDQogICAgICAgICAgICAgICAgICBuYW1l
PXNlYXJjaFNjb3BlPjxPUFRJT04gdmFsdWU9ZFcgc2VsZWN0ZWQ+ZFcgDQogICAgICAgICAgICAg
ICAgICAgIOWFqOmDqOWGheWuuTwvT1BUSU9OPjxPUFRJT04gDQogICAgICAgICAgICAgICAgICAg
IHZhbHVlPWRXPi0tLS0tLS0tLS0tLS0tLS0tPC9PUFRJT04+PE9QVElPTiANCiAgICAgICAgICAg
ICAgICAgICAgdmFsdWU9YWl4dW5peD4mbmJzcDsmbmJzcDtBSVggYW5kIFVOSVg8L09QVElPTj48
T1BUSU9OIA0KICAgICAgICAgICAgICAgICAgICB2YWx1ZT1kbWRkPiZuYnNwOyZuYnNwO0luZm9y
bWF0aW9uIA0KICAgICAgICAgICAgICAgICAgICBtYW5hZ2VtZW50PC9PUFRJT04+PE9QVElPTiAN
CiAgICAgICAgICAgICAgICAgICAgdmFsdWU9bG90dXNkZD4mbmJzcDsmbmJzcDtMb3R1czwvT1BU
SU9OPjxPUFRJT04gDQogICAgICAgICAgICAgICAgICAgIHZhbHVlPXJkZD4mbmJzcDsmbmJzcDtS
YXRpb25hbDwvT1BUSU9OPjxPUFRJT04gDQogICAgICAgICAgICAgICAgICAgIHZhbHVlPXRpdm9s
aWRkPiZuYnNwOyZuYnNwO1Rpdm9saTwvT1BUSU9OPjxPUFRJT04gDQogICAgICAgICAgICAgICAg
ICAgIHZhbHVlPXdzZGQ+Jm5ic3A7Jm5ic3A7V2ViU3BoZXJlPC9PUFRJT04+PE9QVElPTiANCiAg
ICAgICAgICAgICAgICAgICAgdmFsdWU9d29ya3BsYWNlPiZuYnNwOyZuYnNwO1dvcmtwbGFjZTwv
T1BUSU9OPjxPUFRJT04gDQogICAgICAgICAgICAgICAgICAgIHZhbHVlPWRXPi0tLS0tLS0tLS0t
LS0tLS0tPC9PUFRJT04+PE9QVElPTiANCiAgICAgICAgICAgICAgICAgICAgdmFsdWU9Z3JpZFo+
Jm5ic3A7Jm5ic3A7R3JpZCBjb21wdXRpbmc8L09QVElPTj48T1BUSU9OIA0KICAgICAgICAgICAg
ICAgICAgICB2YWx1ZT1qYXZhWj4mbmJzcDsmbmJzcDtKYXZhIOaKgOacrzwvT1BUSU9OPjxPUFRJ
T04gDQogICAgICAgICAgICAgICAgICAgIHZhbHVlPWxpbnV4Wj4mbmJzcDsmbmJzcDtMaW51eDwv
T1BUSU9OPjxPUFRJT04gDQogICAgICAgICAgICAgICAgICAgIHZhbHVlPW9wZW5zcmNaPiZuYnNw
OyZuYnNwO09wZW4gc291cmNlPC9PUFRJT04+PE9QVElPTiANCiAgICAgICAgICAgICAgICAgICAg
dmFsdWU9c2VjdXJpdHlaPiZuYnNwOyZuYnNwO1NlY3VyaXR5PC9PUFRJT04+PE9QVElPTiANCiAg
ICAgICAgICAgICAgICAgICAgdmFsdWU9d2Vic2Vydlo+Jm5ic3A7Jm5ic3A7U09BICZhbXA7IFdl
YiANCiAgICAgICAgICAgICAgICAgICAgc2VydmljZXM8L09QVElPTj48T1BUSU9OIHZhbHVlPXdl
YmFyY2haPiZuYnNwOyZuYnNwO1dlYiANCiAgICAgICAgICAgICAgICAgICAgZGV2ZWxvcG1lbnQ8
L09QVElPTj48T1BUSU9OIA0KICAgICAgICAgICAgICAgICAgICB2YWx1ZT14bWxaPiZuYnNwOyZu
YnNwO1hNTDwvT1BUSU9OPjxPUFRJT04gDQogICAgICAgICAgICAgICAgICAgIHZhbHVlPWRXPi0t
LS0tLS0tLS0tLS0tLS0tPC9PUFRJT04+PE9QVElPTiB2YWx1ZT1hbGw+SUJNIA0KICAgICAgICAg
ICAgICAgICAgICDlhajpg6jlhoXlrrk8L09QVElPTj48L1NFTEVDVD48L0xBQkVMPjwvVEQ+DQog
ICAgICAgICAgICAgICAgPFREIGFsaWduPXJpZ2h0IHdpZHRoPTE+PElNRyBoZWlnaHQ9MSBhbHQ9
IlNlYXJjaCBmb3I6IiANCiAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29t
L2kvYy5naWYiIHdpZHRoPTE+Jm5ic3A7Jm5ic3A7PC9URD4NCiAgICAgICAgICAgICAgICA8VEQg
YWxpZ249cmlnaHQ+PElOUFVUIGNsYXNzPWlucHV0IGlkPXEgbWF4TGVuZ3RoPTEwMCBzaXplPTE1
IA0KICAgICAgICAgICAgICAgICAgbmFtZT1xdWVyeT48L1REPg0KICAgICAgICAgICAgICAgIDxU
RCB3aWR0aD03PiZuYnNwOzwvVEQ+DQogICAgICAgICAgICAgICAgPFREPjxMQUJFTCBmb3I9cT48
SU5QVVQgdHlwZT1pbWFnZSBhbHQ95pCc57SiIA0KICAgICAgICAgICAgICAgICAgc3JjPSJodHRw
Oi8vd3d3LmlibS5jb20vaS92MTQvdC9jbi96aC9zZWFyY2guZ2lmIiB2YWx1ZT3mkJzntKIgDQog
ICAgICAgICAgICAgICAgICBuYW1lPVNlYXJjaD48L0xBQkVMPjwvVEQ+DQogICAgICAgICAgICAg
ICAgPFREIA0KICAgICAgd2lkdGg9MjA+Jm5ic3A7PC9URD48L1RSPjwvVEJPRFk+PC9UQUJMRT48
L0ZPUk0+PC9URD48L1RSPjwvVEJPRFk+PC9UQUJMRT48L1REPjwvVFI+DQogIDxUUj4NCiAgICA8
VEQgY2xhc3M9YmxiZyBjb2xTcGFuPTM+DQogICAgICA8VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxs
UGFkZGluZz0wIHdpZHRoPSIxMDAlIiBib3JkZXI9MD4NCiAgICAgICAgPFRCT0RZPg0KICAgICAg
ICA8VFI+DQogICAgICAgICAgPFREPg0KICAgICAgICAgICAgPFRBQkxFIGNlbGxTcGFjaW5nPTAg
Y2VsbFBhZGRpbmc9MCBib3JkZXI9MD4NCiAgICAgICAgICAgICAgPFRCT0RZPg0KICAgICAgICAg
ICAgICA8VFI+DQogICAgICAgICAgICAgICAgPFREPjxTUEFOIGNsYXNzPXNwYWNlcj4mbmJzcDsm
bmJzcDsmbmJzcDsmbmJzcDs8L1NQQU4+PC9URD4NCiAgICAgICAgICAgICAgICA8VEQ+PEEgY2xh
c3M9bWFzdGhlYWQtbWFpbmxpbmsgDQogICAgICAgICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3
LmlibS5jb20vY24vIj7pppbpobU8L0E+PC9URD4NCiAgICAgICAgICAgICAgICA8VEQgY2xhc3M9
bWFzdGhlYWQtZGl2aWRlciANCndpZHRoPTI3PiZuYnNwOyZuYnNwOyZuYnNwOyZuYnNwOzwvVEQ+
DQogICAgICAgICAgICAgICAgPFREPjxBIGNsYXNzPW1hc3RoZWFkLW1haW5saW5rIA0KICAgICAg
ICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL3Byb2R1Y3RzL2NuLyI+5Lqn5ZOB
PC9BPjwvVEQ+DQogICAgICAgICAgICAgICAgPFREIGNsYXNzPW1hc3RoZWFkLWRpdmlkZXIgDQp3
aWR0aD0yNz4mbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDs8L1REPg0KICAgICAgICAgICAgICAgIDxU
RD48QSBjbGFzcz1tYXN0aGVhZC1tYWlubGluayANCiAgICAgICAgICAgICAgICAgIGhyZWY9Imh0
dHA6Ly93d3cuaWJtLmNvbS9zZXJ2aWNlc3NvbHV0aW9ucy9jbi8iPuacjeWKoeS4juino+WGs+aW
ueahiDwvQT48L1REPg0KICAgICAgICAgICAgICAgIDxURCBjbGFzcz1tYXN0aGVhZC1kaXZpZGVy
IA0Kd2lkdGg9Mjc+Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7PC9URD4NCiAgICAgICAgICAgICAg
ICA8VEQ+PEEgY2xhc3M9bWFzdGhlYWQtbWFpbmxpbmsgDQogICAgICAgICAgICAgICAgICBocmVm
PSJodHRwOi8vd3d3LmlibS5jb20vc3VwcG9ydC9jbi8iPuaUr+aMgeS4juS4i+i9vTwvQT48L1RE
Pg0KICAgICAgICAgICAgICAgIDxURCBjbGFzcz1tYXN0aGVhZC1kaXZpZGVyIA0Kd2lkdGg9Mjc+
Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7PC9URD4NCiAgICAgICAgICAgICAgICA8VEQ+PEEgY2xh
c3M9bWFzdGhlYWQtbWFpbmxpbmsgDQogICAgICAgICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3
LmlibS5jb20vYWNjb3VudC9jbi8iPuS4quaAp+WMluacjeWKoTwvQT48L1REPg0KICAgICAgICAg
ICAgICAgIDxURD48U1BBTiANCiAgICAgICAgICAgICAgY2xhc3M9c3BhY2VyPiZuYnNwOyZuYnNw
OyZuYnNwOyZuYnNwOzwvU1BBTj48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxFPjwvVEQ+PC9UUj48
L1RCT0RZPjwvVEFCTEU+PC9URD48L1RSPjwvVEJPRFk+PC9UQUJMRT48IS0tDQo8c2NyaXB0IHNy
Yz0iLy93d3cuaWJtLmNvbS9jb21tb24vdjE0L3BtaC5qcyIgbGFuZ3VhZ2U9IkphdmFTY3JpcHQi
IHR5cGU9InRleHQvamF2YXNjcmlwdCI+PC9zY3JpcHQ+DQotLT48IS0tIGVuZCBtYXN0aGVhZCBk
dyBsaXF1aWQgLS0+PCEtLU1BU1RIRUFEX0VORC0tPg0KPFRBQkxFIGlkPXYxNC1ib2R5LXRhYmxl
IGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCB3aWR0aD0iMTAwJSIgYm9yZGVyPTA+DQogIDxU
Qk9EWT4NCiAgPFRSIHZBbGlnbj10b3A+PCEtLUxFRlROQVZfQkVHSU4tLT4NCiAgICA8VEQgaWQ9
bmF2aWdhdGlvbiB3aWR0aD0xNTA+DQogICAgICA8VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFk
ZGluZz0wIHdpZHRoPTE1MCBib3JkZXI9MD4NCiAgICAgICAgPFRCT0RZPg0KICAgICAgICA8VFI+
DQogICAgICAgICAgPFREIGNsYXNzPWxlZnQtbmF2LXNwYWNlcj48QSBjbGFzcz1sZWZ0LW5hdi1v
dmVydmlldyANCiAgICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3
b3Jrcy9jbi8iPiZuYnNwOzwvQT48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxFPg0KICAgICAgPFRB
QkxFIGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCB3aWR0aD0xNTAgYm9yZGVyPTA+DQogICAg
ICAgIDxUQk9EWT4NCiAgICAgICAgPFRSPg0KICAgICAgICAgIDxURCBjbGFzcz1sZWZ0LW5hdi1v
dmVydmlldyBjb2xTcGFuPTI+PEEgY2xhc3M9bGVmdC1uYXYtb3ZlcnZpZXcgDQogICAgICAgICAg
ICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY24vIj5kZXZlbG9wZXJX
b3JrczxCUj7kuK3lm708L0E+PC9URD48L1RSPjwvVEJPRFk+PC9UQUJMRT4NCiAgICAgIDxUQUJM
RSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgd2lkdGg9MTUwIGJvcmRlcj0wPg0KICAgICAg
ICA8VEJPRFk+DQogICAgICAgIDxUUj4NCiAgICAgICAgICA8VEQgY2xhc3M9bGVmdC1uYXYtaGln
aGxpZ2h0IGNvbFNwYW49Mj48QSBjbGFzcz1sZWZ0LW5hdiANCiAgICAgICAgICAgIGhyZWY9Imh0
dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9jbi9qYXZhL2otY3NwMS5odG1sIyI+5pys
5paH5YaF5a655YyF5ousOjwvQT48L1REPjwvVFI+DQogICAgICAgIDxUUiBjbGFzcz1sZWZ0LW5h
di1jaGlsZC1oaWdobGlnaHQ+DQogICAgICAgICAgPFREPjxJTUcgaGVpZ2h0PTggYWx0PSIiIA0K
ICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS92MTQvdC9jbC1idWxsZXQuZ2lm
IiB3aWR0aD0yPjwvVEQ+DQogICAgICAgICAgPFREPjxBIGNsYXNzPWxlZnQtbmF2LWNoaWxkIA0K
ICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2NuL2ph
dmEvai1jc3AxLmh0bWwjTjEwMDg2Ij5KYXZhIA0KICAgICAgICAgICAg6K+t6KiA55qE5bm25Y+R
57yW56iLPC9BPjwvVEQ+PC9UUj4NCiAgICAgICAgPFRSIGNsYXNzPWxlZnQtbmF2LWNoaWxkLWhp
Z2hsaWdodD4NCiAgICAgICAgICA8VEQ+PElNRyBoZWlnaHQ9OCBhbHQ9IiIgDQogICAgICAgICAg
ICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL3YxNC90L2NsLWJ1bGxldC5naWYiIHdpZHRoPTI+
PC9URD4NCiAgICAgICAgICA8VEQ+PEEgY2xhc3M9bGVmdC1uYXYtY2hpbGQgDQogICAgICAgICAg
ICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY24vamF2YS9qLWNzcDEu
aHRtbCNOMTAwQzkiPue6v+eoi+WuieWFqOaAp+WSjOWQjOatpTwvQT48L1REPjwvVFI+DQogICAg
ICAgIDxUUiBjbGFzcz1sZWZ0LW5hdi1jaGlsZC1oaWdobGlnaHQ+DQogICAgICAgICAgPFREPjxJ
TUcgaGVpZ2h0PTggYWx0PSIiIA0KICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20v
aS92MTQvdC9jbC1idWxsZXQuZ2lmIiB3aWR0aD0yPjwvVEQ+DQogICAgICAgICAgPFREPjxBIGNs
YXNzPWxlZnQtbmF2LWNoaWxkIA0KICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29t
L2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3AxLmh0bWwjTjEwMTMxIj7nur/nqIvnirbmgIE8
L0E+PC9URD48L1RSPg0KICAgICAgICA8VFIgY2xhc3M9bGVmdC1uYXYtY2hpbGQtaGlnaGxpZ2h0
Pg0KICAgICAgICAgIDxURD48SU1HIGhlaWdodD04IGFsdD0iIiANCiAgICAgICAgICAgIHNyYz0i
aHR0cDovL3d3dy5pYm0uY29tL2kvdjE0L3QvY2wtYnVsbGV0LmdpZiIgd2lkdGg9Mj48L1REPg0K
ICAgICAgICAgIDxURD48QSBjbGFzcz1sZWZ0LW5hdi1jaGlsZCANCiAgICAgICAgICAgIGhyZWY9
Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9jbi9qYXZhL2otY3NwMS5odG1sI04x
MDE3QSI+5Zub5Liq5bi46KeB57y66Zm3PC9BPjwvVEQ+PC9UUj4NCiAgICAgICAgPFRSIGNsYXNz
PWxlZnQtbmF2LWNoaWxkLWhpZ2hsaWdodD4NCiAgICAgICAgICA8VEQ+PElNRyBoZWlnaHQ9OCBh
bHQ9IiIgDQogICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL3YxNC90L2NsLWJ1
bGxldC5naWYiIHdpZHRoPTI+PC9URD4NCiAgICAgICAgICA8VEQ+PEEgY2xhc3M9bGVmdC1uYXYt
Y2hpbGQgDQogICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29y
a3MvY24vamF2YS9qLWNzcDEuaHRtbCNOMTAyMDMiPumqjOivgeeahOmXrumimDwvQT48L1REPjwv
VFI+DQogICAgICAgIDxUUiBjbGFzcz1sZWZ0LW5hdi1jaGlsZC1oaWdobGlnaHQ+DQogICAgICAg
ICAgPFREPjxJTUcgaGVpZ2h0PTggYWx0PSIiIA0KICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3
LmlibS5jb20vaS92MTQvdC9jbC1idWxsZXQuZ2lmIiB3aWR0aD0yPjwvVEQ+DQogICAgICAgICAg
PFREPjxBIGNsYXNzPWxlZnQtbmF2LWNoaWxkIA0KICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3
dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3AxLmh0bWwjTjEwMjI2Ij7nrKwg
DQogICAgICAgICAgICAxIOmDqOWIhueahOe7k+adn+ivrTwvQT48L1REPjwvVFI+DQogICAgICAg
IDxUUiBjbGFzcz1sZWZ0LW5hdi1jaGlsZC1oaWdobGlnaHQ+DQogICAgICAgICAgPFREPjxJTUcg
aGVpZ2h0PTggYWx0PSIiIA0KICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS92
MTQvdC9jbC1idWxsZXQuZ2lmIiB3aWR0aD0yPjwvVEQ+DQogICAgICAgICAgPFREPjxBIGNsYXNz
PWxlZnQtbmF2LWNoaWxkIA0KICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2Rl
dmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3AxLmh0bWwjcmVzb3VyY2VzIj7lj4LogIPotYTmlpkg
DQogICAgICAgICAgICA8L0E+PC9URD48L1RSPg0KICAgICAgICA8VFIgY2xhc3M9bGVmdC1uYXYt
Y2hpbGQtaGlnaGxpZ2h0Pg0KICAgICAgICAgIDxURD48SU1HIGhlaWdodD04IGFsdD0iIiANCiAg
ICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvdjE0L3QvY2wtYnVsbGV0LmdpZiIg
d2lkdGg9Mj48L1REPg0KICAgICAgICAgIDxURD48QSBjbGFzcz1sZWZ0LW5hdi1jaGlsZCANCiAg
ICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9jbi9qYXZh
L2otY3NwMS5odG1sI2F1dGhvciI+5YWz5LqO5L2c6ICFPC9BPjwvVEQ+PC9UUj4NCiAgICAgICAg
PFRSIGNsYXNzPWxlZnQtbmF2LWNoaWxkLWhpZ2hsaWdodD4NCiAgICAgICAgICA8VEQ+PElNRyBo
ZWlnaHQ9OCBhbHQ9IiIgDQogICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL3Yx
NC90L2NsLWJ1bGxldC5naWYiIHdpZHRoPTI+PC9URD4NCiAgICAgICAgICA8VEQ+PEEgY2xhc3M9
bGVmdC1uYXYtY2hpbGQgDQogICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2
ZWxvcGVyd29ya3MvY24vamF2YS9qLWNzcDEuaHRtbCNyYXRlIj7lr7nmnKzmlofnmoTor4Tku7c8
L0E+PC9URD48L1RSPg0KICAgICAgICA8VFIgY2xhc3M9bGVmdC1uYXYtbGFzdD4NCiAgICAgICAg
ICA8VEQgd2lkdGg9MTQ+PElNRyBjbGFzcz1kaXNwbGF5LWltZyBoZWlnaHQ9MSBhbHQ9IiIgDQog
ICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL2MuZ2lmIiB3aWR0aD0xND48L1RE
Pg0KICAgICAgICAgIDxURCB3aWR0aD0xMzY+PElNRyBjbGFzcz1kaXNwbGF5LWltZyBoZWlnaHQ9
MTkgYWx0PSIiIA0KICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS92MTQvdC9s
ZWZ0LW5hdi1jb3JuZXIuZ2lmIiANCiAgICAgICAgd2lkdGg9MTM2PjwvVEQ+PC9UUj48L1RCT0RZ
PjwvVEFCTEU+PEJSPg0KICAgICAgPFRBQkxFIGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCB3
aWR0aD0xNTAgYm9yZGVyPTA+DQogICAgICAgIDxUQk9EWT4NCiAgICAgICAgPFRSPg0KICAgICAg
ICAgIDxURCBjbGFzcz1yZWxhdGVkIGNvbFNwYW49Mj48QiBjbGFzcz1yZWxhdGVkPuebuOWFs+mT
vuaOpTo8L0I+PC9URD48L1RSPg0KICAgICAgICA8VFIgY2xhc3M9cmxpbmtzPg0KICAgICAgICAg
IDxURD48SU1HIGhlaWdodD04IGFsdD0iIiANCiAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5p
Ym0uY29tL2kvdjE0L3QvcmwtYnVsbGV0LmdpZiIgd2lkdGg9Mj48L1REPg0KICAgICAgICAgIDxU
RD48QSBjbGFzcz1ybGlua3MgDQogICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20v
ZGV2ZWxvcGVyd29ya3MvY24vdmlld3MvamF2YS9hcnRpY2xlcy5qc3AiPkphdmEgDQogICAgICAg
ICAgICB0ZWNobm9sb2d5IOaKgOacr+aWh+aho+W6kzwvQT48L1REPjwvVFI+PCEtLVNUQVJUIFJF
U0VSVkVEIEZPUiBGVVRVUkUgVVNFIElOQ0xVREUgRklMRVMtLT48IS0tIE5vIGNvbnRlbnQgY3Vy
cmVudGx5IC0tPjwhLS1FTkQgUkVTRVJWRUQgRk9SIEZVVFVSRSBVU0UgSU5DTFVERSBGSUxFUy0t
Pg0KICAgICAgICA8VFI+DQogICAgICAgICAgPFREIHdpZHRoPTE0PjxJTUcgY2xhc3M9ZGlzcGxh
eS1pbWcgaGVpZ2h0PTEgYWx0PSIiIA0KICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5j
b20vaS9jLmdpZiIgd2lkdGg9MTQ+PC9URD4NCiAgICAgICAgICA8VEQgd2lkdGg9MTM2PjxJTUcg
Y2xhc3M9ZGlzcGxheS1pbWcgaGVpZ2h0PTE5IGFsdD0iIiANCiAgICAgICAgICAgIHNyYz0iaHR0
cDovL3d3dy5pYm0uY29tL2kvYy5naWYiIHdpZHRoPTEzNj48L1REPjwvVFI+PC9UQk9EWT48L1RB
QkxFPjwhLS1TVEFSVCBSRVNFUlZFRCBGT1IgRlVUVVJFIFVTRSBJTkNMVURFIEZJTEVTLS0+PCEt
LSBObyBjb250ZW50IGN1cnJlbnRseSAtLT48IS0tRU5EIFJFU0VSVkVEIEZPUiBGVVRVUkUgVVNF
IElOQ0xVREUgRklMRVMtLT48L1REPjwhLS1MRUZUTkFWX0VORC0tPg0KICAgIDxURCB3aWR0aD0i
MTAwJSI+DQogICAgICA8VEFCTEUgaWQ9Y29udGVudC10YWJsZSBjZWxsU3BhY2luZz0wIGNlbGxQ
YWRkaW5nPTAgd2lkdGg9IjEwMCUiIA0KICAgICAgICBib3JkZXI9MD48VEJPRFk+DQogICAgICAg