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

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

RCBhbGlnbj1yaWdodCB3aWR0aD0xPjxJTUcgaGVpZ2h0PTEgYWx0PSJTZWFyY2ggZm9yOiIgDQog
ICAgICAgICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL2MuZ2lmIiB3aWR0aD0x
PiZuYnNwOyZuYnNwOzwvVEQ+DQogICAgICAgICAgICAgICAgPFREIGFsaWduPXJpZ2h0PjxJTlBV
VCBjbGFzcz1pbnB1dCBpZD1xIG1heExlbmd0aD0xMDAgc2l6ZT0xNSANCiAgICAgICAgICAgICAg
ICAgIG5hbWU9cXVlcnk+PC9URD4NCiAgICAgICAgICAgICAgICA8VEQgd2lkdGg9Nz4mbmJzcDs8
L1REPg0KICAgICAgICAgICAgICAgIDxURD48TEFCRUwgZm9yPXE+PElOUFVUIHR5cGU9aW1hZ2Ug
YWx0PeaQnOe0oiANCiAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kv
djE0L3QvY24vemgvc2VhcmNoLmdpZiIgdmFsdWU95pCc57SiIA0KICAgICAgICAgICAgICAgICAg
bmFtZT1TZWFyY2g+PC9MQUJFTD48L1REPg0KICAgICAgICAgICAgICAgIDxURCANCiAgICAgIHdp
ZHRoPTIwPiZuYnNwOzwvVEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+PC9GT1JNPjwvVEQ+PC9UUj48
L1RCT0RZPjwvVEFCTEU+PC9URD48L1RSPg0KICA8VFI+DQogICAgPFREIGNsYXNzPWJsYmcgY29s
U3Bhbj0zPg0KICAgICAgPFRBQkxFIGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCB3aWR0aD0i
MTAwJSIgYm9yZGVyPTA+DQogICAgICAgIDxUQk9EWT4NCiAgICAgICAgPFRSPg0KICAgICAgICAg
IDxURD4NCiAgICAgICAgICAgIDxUQUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgYm9y
ZGVyPTA+DQogICAgICAgICAgICAgIDxUQk9EWT4NCiAgICAgICAgICAgICAgPFRSPg0KICAgICAg
ICAgICAgICAgIDxURD48U1BBTiBjbGFzcz1zcGFjZXI+Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7
PC9TUEFOPjwvVEQ+DQogICAgICAgICAgICAgICAgPFREPjxBIGNsYXNzPW1hc3RoZWFkLW1haW5s
aW5rIA0KICAgICAgICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2NuLyI+6aaW
6aG1PC9BPjwvVEQ+DQogICAgICAgICAgICAgICAgPFREIGNsYXNzPW1hc3RoZWFkLWRpdmlkZXIg
DQp3aWR0aD0yNz4mbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDs8L1REPg0KICAgICAgICAgICAgICAg
IDxURD48QSBjbGFzcz1tYXN0aGVhZC1tYWlubGluayANCiAgICAgICAgICAgICAgICAgIGhyZWY9
Imh0dHA6Ly93d3cuaWJtLmNvbS9wcm9kdWN0cy9jbi8iPuS6p+WTgTwvQT48L1REPg0KICAgICAg
ICAgICAgICAgIDxURCBjbGFzcz1tYXN0aGVhZC1kaXZpZGVyIA0Kd2lkdGg9Mjc+Jm5ic3A7Jm5i
c3A7Jm5ic3A7Jm5ic3A7PC9URD4NCiAgICAgICAgICAgICAgICA8VEQ+PEEgY2xhc3M9bWFzdGhl
YWQtbWFpbmxpbmsgDQogICAgICAgICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20v
c2VydmljZXNzb2x1dGlvbnMvY24vIj7mnI3liqHkuI7op6PlhrPmlrnmoYg8L0E+PC9URD4NCiAg
ICAgICAgICAgICAgICA8VEQgY2xhc3M9bWFzdGhlYWQtZGl2aWRlciANCndpZHRoPTI3PiZuYnNw
OyZuYnNwOyZuYnNwOyZuYnNwOzwvVEQ+DQogICAgICAgICAgICAgICAgPFREPjxBIGNsYXNzPW1h
c3RoZWFkLW1haW5saW5rIA0KICAgICAgICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0u
Y29tL3N1cHBvcnQvY24vIj7mlK/mjIHkuI7kuIvovb08L0E+PC9URD4NCiAgICAgICAgICAgICAg
ICA8VEQgY2xhc3M9bWFzdGhlYWQtZGl2aWRlciANCndpZHRoPTI3PiZuYnNwOyZuYnNwOyZuYnNw
OyZuYnNwOzwvVEQ+DQogICAgICAgICAgICAgICAgPFREPjxBIGNsYXNzPW1hc3RoZWFkLW1haW5s
aW5rIA0KICAgICAgICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2FjY291bnQv
Y24vIj7kuKrmgKfljJbmnI3liqE8L0E+PC9URD4NCiAgICAgICAgICAgICAgICA8VEQ+PFNQQU4g
DQogICAgICAgICAgICAgIGNsYXNzPXNwYWNlcj4mbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDs8L1NQ
QU4+PC9URD48L1RSPjwvVEJPRFk+PC9UQUJMRT48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxFPjwv
VEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+PCEtLQ0KPHNjcmlwdCBzcmM9Ii8vd3d3LmlibS5jb20v
Y29tbW9uL3YxNC9wbWguanMiIGxhbmd1YWdlPSJKYXZhU2NyaXB0IiB0eXBlPSJ0ZXh0L2phdmFz
Y3JpcHQiPjwvc2NyaXB0Pg0KLS0+PCEtLSBlbmQgbWFzdGhlYWQgZHcgbGlxdWlkIC0tPjwhLS1N
QVNUSEVBRF9FTkQtLT48IS0tIENNQSBJRCBmb3IgdGhpcyBjb250ZW50IGlzOiA4ODQ3NiAtLT4N
CjxUQUJMRSBpZD12MTQtYm9keS10YWJsZSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgd2lk
dGg9IjEwMCUiIGJvcmRlcj0wPg0KICA8VEJPRFk+DQogIDxUUiB2QWxpZ249dG9wPjwhLS1MRUZU
TkFWX0JFR0lOLS0+DQogICAgPFREIGlkPW5hdmlnYXRpb24gd2lkdGg9MTUwPg0KICAgICAgPFRB
QkxFIGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCB3aWR0aD0xNTAgYm9yZGVyPTA+DQogICAg
ICAgIDxUQk9EWT4NCiAgICAgICAgPFRSPg0KICAgICAgICAgIDxURCBjbGFzcz1sZWZ0LW5hdi1z
cGFjZXI+PEEgY2xhc3M9bGVmdC1uYXYtb3ZlcnZpZXcgDQogICAgICAgICAgICBocmVmPSJodHRw
Oi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY24vIj4mbmJzcDs8L0E+PC9URD48L1RSPjwv
VEJPRFk+PC9UQUJMRT4NCiAgICAgIDxUQUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAg
d2lkdGg9MTUwIGJvcmRlcj0wPg0KICAgICAgICA8VEJPRFk+DQogICAgICAgIDxUUj4NCiAgICAg
ICAgICA8VEQgY2xhc3M9bGVmdC1uYXYtb3ZlcnZpZXcgY29sU3Bhbj0yPjxBIGNsYXNzPWxlZnQt
bmF2LW92ZXJ2aWV3IA0KICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVs
b3BlcndvcmtzL2NuLyI+ZGV2ZWxvcGVyV29ya3M8QlI+5Lit5Zu9PC9BPjwvVEQ+PC9UUj48L1RC
T0RZPjwvVEFCTEU+DQogICAgICA8VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIHdp
ZHRoPTE1MCBib3JkZXI9MD4NCiAgICAgICAgPFRCT0RZPg0KICAgICAgICA8VFI+DQogICAgICAg
ICAgPFREIGNsYXNzPWxlZnQtbmF2LWhpZ2hsaWdodCBjb2xTcGFuPTI+PEEgY2xhc3M9bGVmdC1u
YXYgDQogICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3Mv
Y24vamF2YS9qLWNzcDMuaHRtbCMiPuacrOaWh+WGheWuueWMheaLrDo8L0E+PC9URD48L1RSPg0K
ICAgICAgICA8VFIgY2xhc3M9bGVmdC1uYXYtY2hpbGQtaGlnaGxpZ2h0Pg0KICAgICAgICAgIDxU
RD48SU1HIGhlaWdodD04IGFsdD0iIiANCiAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0u
Y29tL2kvdjE0L3QvY2wtYnVsbGV0LmdpZiIgd2lkdGg9Mj48L1REPg0KICAgICAgICAgIDxURD48
QSBjbGFzcz1sZWZ0LW5hdi1jaGlsZCANCiAgICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJt
LmNvbS9kZXZlbG9wZXJ3b3Jrcy9jbi9qYXZhL2otY3NwMy5odG1sI04xMDA1NCI+QU9QIA0KICAg
ICAgICAgICAg5ZKMIENTUDwvQT48L1REPjwvVFI+DQogICAgICAgIDxUUiBjbGFzcz1sZWZ0LW5h
di1jaGlsZC1oaWdobGlnaHQ+DQogICAgICAgICAgPFREPjxJTUcgaGVpZ2h0PTggYWx0PSIiIA0K
ICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS92MTQvdC9jbC1idWxsZXQuZ2lm
IiB3aWR0aD0yPjwvVEQ+DQogICAgICAgICAgPFREPjxBIGNsYXNzPWxlZnQtbmF2LWNoaWxkIA0K
ICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2NuL2ph
dmEvai1jc3AzLmh0bWwjTjEwMDhBIj7pq5jnuqcgDQogICAgICAgICAgICBKQ1NQIOWQjOatpTwv
QT48L1REPjwvVFI+DQogICAgICAgIDxUUiBjbGFzcz1sZWZ0LW5hdi1jaGlsZC1oaWdobGlnaHQ+
DQogICAgICAgICAgPFREPjxJTUcgaGVpZ2h0PTggYWx0PSIiIA0KICAgICAgICAgICAgc3JjPSJo
dHRwOi8vd3d3LmlibS5jb20vaS92MTQvdC9jbC1idWxsZXQuZ2lmIiB3aWR0aD0yPjwvVEQ+DQog
ICAgICAgICAgPFREPjxBIGNsYXNzPWxlZnQtbmF2LWNoaWxkIA0KICAgICAgICAgICAgaHJlZj0i
aHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3AzLmh0bWwjTjEw
MEI3Ij5CYXJyaWVyIA0KICAgICAgICAgICAg5p6E6YCgPC9BPjwvVEQ+PC9UUj4NCiAgICAgICAg
PFRSIGNsYXNzPWxlZnQtbmF2LWNoaWxkLWhpZ2hsaWdodD4NCiAgICAgICAgICA8VEQ+PElNRyBo
ZWlnaHQ9OCBhbHQ9IiIgDQogICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL3Yx
NC90L2NsLWJ1bGxldC5naWYiIHdpZHRoPTI+PC9URD4NCiAgICAgICAgICA8VEQ+PEEgY2xhc3M9
bGVmdC1uYXYtY2hpbGQgDQogICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2
ZWxvcGVyd29ya3MvY24vamF2YS9qLWNzcDMuaHRtbCNOMTAxODEiPkJ1Y2tldCANCiAgICAgICAg
ICAgIOaehOmAoDwvQT48L1REPjwvVFI+DQogICAgICAgIDxUUiBjbGFzcz1sZWZ0LW5hdi1jaGls
ZC1oaWdobGlnaHQ+DQogICAgICAgICAgPFREPjxJTUcgaGVpZ2h0PTggYWx0PSIiIA0KICAgICAg
ICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS92MTQvdC9jbC1idWxsZXQuZ2lmIiB3aWR0
aD0yPjwvVEQ+DQogICAgICAgICAgPFREPjxBIGNsYXNzPWxlZnQtbmF2LWNoaWxkIA0KICAgICAg
ICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1j
c3AzLmh0bWwjTjEwMUQ4Ij5DUkVXIA0KICAgICAgICAgICAg5p6E6YCgPC9BPjwvVEQ+PC9UUj4N
CiAgICAgICAgPFRSIGNsYXNzPWxlZnQtbmF2LWNoaWxkLWhpZ2hsaWdodD4NCiAgICAgICAgICA8
VEQ+PElNRyBoZWlnaHQ9OCBhbHQ9IiIgDQogICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJt
LmNvbS9pL3YxNC90L2NsLWJ1bGxldC5naWYiIHdpZHRoPTI+PC9URD4NCiAgICAgICAgICA8VEQ+
PEEgY2xhc3M9bGVmdC1uYXYtY2hpbGQgDQogICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3Lmli
bS5jb20vZGV2ZWxvcGVyd29ya3MvY24vamF2YS9qLWNzcDMuaHRtbCNOMTAxRUMiPueuoeeQhiAN
CiAgICAgICAgICAgIENTUHJvY2VzcyDlrp7kvos8L0E+PC9URD48L1RSPg0KICAgICAgICA8VFIg
Y2xhc3M9bGVmdC1uYXYtY2hpbGQtaGlnaGxpZ2h0Pg0KICAgICAgICAgIDxURD48SU1HIGhlaWdo
dD04IGFsdD0iIiANCiAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvdjE0L3Qv
Y2wtYnVsbGV0LmdpZiIgd2lkdGg9Mj48L1REPg0KICAgICAgICAgIDxURD48QSBjbGFzcz1sZWZ0
LW5hdi1jaGlsZCANCiAgICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9w
ZXJ3b3Jrcy9jbi9qYXZhL2otY3NwMy5odG1sI04xMDI1NiI+6LaK5p2l6LaK5aSa55qE5p6E6YCg
77yBPC9BPjwvVEQ+PC9UUj4NCiAgICAgICAgPFRSIGNsYXNzPWxlZnQtbmF2LWNoaWxkLWhpZ2hs
aWdodD4NCiAgICAgICAgICA8VEQ+PElNRyBoZWlnaHQ9OCBhbHQ9IiIgDQogICAgICAgICAgICBz
cmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL3YxNC90L2NsLWJ1bGxldC5naWYiIHdpZHRoPTI+PC9U
RD4NCiAgICAgICAgICA8VEQ+PEEgY2xhc3M9bGVmdC1uYXYtY2hpbGQgDQogICAgICAgICAgICBo
cmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY24vamF2YS9qLWNzcDMuaHRt
bCNOMTAyQ0MiPkNTUCANCiAgICAgICAgICAgIOeahOWlveWkhDwvQT48L1REPjwvVFI+DQogICAg
ICAgIDxUUiBjbGFzcz1sZWZ0LW5hdi1jaGlsZC1oaWdobGlnaHQ+DQogICAgICAgICAgPFREPjxJ
TUcgaGVpZ2h0PTggYWx0PSIiIA0KICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20v
aS92MTQvdC9jbC1idWxsZXQuZ2lmIiB3aWR0aD0yPjwvVEQ+DQogICAgICAgICAgPFREPjxBIGNs
YXNzPWxlZnQtbmF2LWNoaWxkIA0KICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29t
L2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3AzLmh0bWwjTjEwMkRGIj5KQ1NQIA0KICAgICAg
ICAgICAg5ZKMIGphdmEudXRpbC5jb25jdXJyZW50PC9BPjwvVEQ+PC9UUj4NCiAgICAgICAgPFRS
IGNsYXNzPWxlZnQtbmF2LWNoaWxkLWhpZ2hsaWdodD4NCiAgICAgICAgICA8VEQ+PElNRyBoZWln
aHQ9OCBhbHQ9IiIgDQogICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL3YxNC90
L2NsLWJ1bGxldC5naWYiIHdpZHRoPTI+PC9URD4NCiAgICAgICAgICA8VEQ+PEEgY2xhc3M9bGVm
dC1uYXYtY2hpbGQgDQogICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxv
cGVyd29ya3MvY24vamF2YS9qLWNzcDMuaHRtbCNOMTAzMjUiPuesrCANCiAgICAgICAgICAgIDMg
6YOo5YiG55qE57uT5p2f6K+tPC9BPjwvVEQ+PC9UUj4NCiAgICAgICAgPFRSIGNsYXNzPWxlZnQt
bmF2LWNoaWxkLWhpZ2hsaWdodD4NCiAgICAgICAgICA8VEQ+PElNRyBoZWlnaHQ9OCBhbHQ9IiIg
DQogICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL3YxNC90L2NsLWJ1bGxldC5n
aWYiIHdpZHRoPTI+PC9URD4NCiAgICAgICAgICA8VEQ+PEEgY2xhc3M9bGVmdC1uYXYtY2hpbGQg
DQogICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY24v
amF2YS9qLWNzcDMuaHRtbCNyZXNvdXJjZXMiPuWPguiAg+i1hOaWmSANCiAgICAgICAgICAgIDwv
QT48L1REPjwvVFI+DQogICAgICAgIDxUUiBjbGFzcz1sZWZ0LW5hdi1jaGlsZC1oaWdobGlnaHQ+
DQogICAgICAgICAgPFREPjxJTUcgaGVpZ2h0PTggYWx0PSIiIA0KICAgICAgICAgICAgc3JjPSJo
dHRwOi8vd3d3LmlibS5jb20vaS92MTQvdC9jbC1idWxsZXQuZ2lmIiB3aWR0aD0yPjwvVEQ+DQog
ICAgICAgICAgPFREPjxBIGNsYXNzPWxlZnQtbmF2LWNoaWxkIA0KICAgICAgICAgICAgaHJlZj0i
aHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3AzLmh0bWwjYXV0
aG9yIj7lhbPkuo7kvZzogIU8L0E+PC9URD48L1RSPg0KICAgICAgICA8VFIgY2xhc3M9bGVmdC1u
YXYtY2hpbGQtaGlnaGxpZ2h0Pg0KICAgICAgICAgIDxURD48SU1HIGhlaWdodD04IGFsdD0iIiAN
CiAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvdjE0L3QvY2wtYnVsbGV0Lmdp
ZiIgd2lkdGg9Mj48L1REPg0KICAgICAgICAgIDxURD48QSBjbGFzcz1sZWZ0LW5hdi1jaGlsZCAN
CiAgICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9jbi9q
YXZhL2otY3NwMy5odG1sI3JhdGUiPuWvueacrOaWh+eahOivhOS7tzwvQT48L1REPjwvVFI+DQog
ICAgICAgIDxUUiBjbGFzcz1sZWZ0LW5hdi1sYXN0Pg0KICAgICAgICAgIDxURCB3aWR0aD0xND48
SU1HIGNsYXNzPWRpc3BsYXktaW1nIGhlaWdodD0xIGFsdD0iIiANCiAgICAgICAgICAgIHNyYz0i
aHR0cDovL3d3dy5pYm0uY29tL2kvYy5naWYiIHdpZHRoPTE0PjwvVEQ+DQogICAgICAgICAgPFRE
IHdpZHRoPTEzNj48SU1HIGNsYXNzPWRpc3BsYXktaW1nIGhlaWdodD0xOSBhbHQ9IiIgDQogICAg
ICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL3YxNC90L2xlZnQtbmF2LWNvcm5lci5n
aWYiIA0KICAgICAgICB3aWR0aD0xMzY+PC9URD48L1RSPjwvVEJPRFk+PC9UQUJMRT48QlI+DQog
ICAgICA8VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIHdpZHRoPTE1MCBib3JkZXI9
MD4NCiAgICAgICAgPFRCT0RZPg0KICAgICAgICA8VFI+DQogICAgICAgICAgPFREIGNsYXNzPXJl
bGF0ZWQgY29sU3Bhbj0yPjxCIGNsYXNzPXJlbGF0ZWQ+55u45YWz6ZO+5o6lOjwvQj48L1REPjwv
VFI+DQogICAgICAgIDxUUiBjbGFzcz1ybGlua3M+DQogICAgICAgICAgPFREPjxJTUcgaGVpZ2h0
PTggYWx0PSIiIA0KICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS92MTQvdC9y
bC1idWxsZXQuZ2lmIiB3aWR0aD0yPjwvVEQ+DQogICAgICAgICAgPFREPjxBIGNsYXNzPXJsaW5r
cyANCiAgICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9j
bi92aWV3cy9qYXZhL2FydGljbGVzLmpzcCI+SmF2YSANCiAgICAgICAgICAgIHRlY2hub2xvZ3kg
5oqA5pyv5paH5qGj5bqTPC9BPjwvVEQ+PC9UUj48IS0tU1RBUlQgUkVTRVJWRUQgRk9SIEZVVFVS
RSBVU0UgSU5DTFVERSBGSUxFUy0tPjwhLS0gTm8gY29udGVudCBjdXJyZW50bHkgLS0+PCEtLUVO
RCBSRVNFUlZFRCBGT1IgRlVUVVJFIFVTRSBJTkNMVURFIEZJTEVTLS0+DQogICAgICAgIDxUUj4N
CiAgICAgICAgICA8VEQgd2lkdGg9MTQ+PElNRyBjbGFzcz1kaXNwbGF5LWltZyBoZWlnaHQ9MSBh
bHQ9IiIgDQogICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL2MuZ2lmIiB3aWR0
aD0xND48L1REPg0KICAgICAgICAgIDxURCB3aWR0aD0xMzY+PElNRyBjbGFzcz1kaXNwbGF5LWlt
ZyBoZWlnaHQ9MTkgYWx0PSIiIA0KICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20v
aS9jLmdpZiIgd2lkdGg9MTM2PjwvVEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+PCEtLVNUQVJUIFJF
U0VSVkVEIEZPUiBGVVRVUkUgVVNFIElOQ0xVREUgRklMRVMtLT48IS0tIE5vIGNvbnRlbnQgY3Vy
cmVudGx5IC0tPjwhLS1FTkQgUkVTRVJWRUQgRk9SIEZVVFVSRSBVU0UgSU5DTFVERSBGSUxFUy0t
PjwvVEQ+PCEtLUxFRlROQVZfRU5ELS0+DQogICAgPFREIHdpZHRoPSIxMDAlIj4NCiAgICAgIDxU
QUJMRSBpZD1jb250ZW50LXRhYmxlIGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCB3aWR0aD0i
MTAwJSIgDQogICAgICAgIGJvcmRlcj0wPjxUQk9EWT4NCiAgICAgICAgPFRSIHZBbGlnbj10b3A+
DQogICAgICAgICAgPFREIHdpZHRoPSIxMDAlIj4NCiAgICAgICAgICAgIDxUQUJMRSBjZWxsU3Bh
Y2luZz0wIGNlbGxQYWRkaW5nPTAgd2lkdGg9IjEwMCUiIGJvcmRlcj0wPg0KICAgICAgICAgICAg
ICA8VEJPRFk+DQogICAgICAgICAgICAgIDxUUj4NCiAgICAgICAgICAgICAgICA8VEQ+PEEgbmFt
ZT1tYWluPjxJTUcgaGVpZ2h0PTEgYWx0PSJza2lwIHRvIG1haW4gY29udGVudCIgDQogICAgICAg
ICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL2MuZ2lmIiB3aWR0aD01OTIgDQog
ICAgICAgICAgICAgIGJvcmRlcj0wPjwvQT48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxFPg0KICAg
ICAgICAgICAgPFRBQkxFIGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCB3aWR0aD0iMTAwJSIg
Ym9yZGVyPTA+DQogICAgICAgICAgICAgIDxUQk9EWT4NCiAgICAgICAgICAgICAgPFRSIHZBbGln
bj10b3A+DQogICAgICAgICAgICAgICAgPFREIHdpZHRoPTEwIGhlaWdodD0xOD48SU1HIGhlaWdo
dD0xOCBhbHQ9IiIgDQogICAgICAgICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9p
L2MuZ2lmIiB3aWR0aD0xMD48L1REPg0KICAgICAgICAgICAgICAgIDxURCB3aWR0aD0iMTAwJSI+
PElNRyBoZWlnaHQ9NiBhbHQ9IiIgDQogICAgICAgICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cu
aWJtLmNvbS9pL2MuZ2lmIiB3aWR0aD0xPjxCUj48QSBjbGFzcz1iY3RsIA0KICAgICAgICAgICAg