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

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

PC9PUFRJT04+PC9TRUxFQ1Q+PC9MQUJFTD48L1REPg0KICAgICAgICAgICAgICAgIDxURCBhbGln
bj1yaWdodCB3aWR0aD0xPjxJTUcgaGVpZ2h0PTEgYWx0PSJTZWFyY2ggZm9yOiIgDQogICAgICAg
ICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL2MuZ2lmIiB3aWR0aD0xPiZuYnNw
OyZuYnNwOzwvVEQ+DQogICAgICAgICAgICAgICAgPFREIGFsaWduPXJpZ2h0PjxJTlBVVCBjbGFz
cz1pbnB1dCBpZD1xIG1heExlbmd0aD0xMDAgc2l6ZT0xNSANCiAgICAgICAgICAgICAgICAgIG5h
bWU9cXVlcnk+PC9URD4NCiAgICAgICAgICAgICAgICA8VEQgd2lkdGg9Nz4mbmJzcDs8L1REPg0K
ICAgICAgICAgICAgICAgIDxURD48TEFCRUwgZm9yPXE+PElOUFVUIHR5cGU9aW1hZ2UgYWx0PeaQ
nOe0oiANCiAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvdjE0L3Qv
Y24vemgvc2VhcmNoLmdpZiIgdmFsdWU95pCc57SiIA0KICAgICAgICAgICAgICAgICAgbmFtZT1T
ZWFyY2g+PC9MQUJFTD48L1REPg0KICAgICAgICAgICAgICAgIDxURCANCiAgICAgIHdpZHRoPTIw
PiZuYnNwOzwvVEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+PC9GT1JNPjwvVEQ+PC9UUj48L1RCT0RZ
PjwvVEFCTEU+PC9URD48L1RSPg0KICA8VFI+DQogICAgPFREIGNsYXNzPWJsYmcgY29sU3Bhbj0z
Pg0KICAgICAgPFRBQkxFIGNlbGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCB3aWR0aD0iMTAwJSIg
Ym9yZGVyPTA+DQogICAgICAgIDxUQk9EWT4NCiAgICAgICAgPFRSPg0KICAgICAgICAgIDxURD4N
CiAgICAgICAgICAgIDxUQUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgYm9yZGVyPTA+
DQogICAgICAgICAgICAgIDxUQk9EWT4NCiAgICAgICAgICAgICAgPFRSPg0KICAgICAgICAgICAg
ICAgIDxURD48U1BBTiBjbGFzcz1zcGFjZXI+Jm5ic3A7Jm5ic3A7Jm5ic3A7Jm5ic3A7PC9TUEFO
PjwvVEQ+DQogICAgICAgICAgICAgICAgPFREPjxBIGNsYXNzPW1hc3RoZWFkLW1haW5saW5rIA0K
ICAgICAgICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2NuLyI+6aaW6aG1PC9B
PjwvVEQ+DQogICAgICAgICAgICAgICAgPFREIGNsYXNzPW1hc3RoZWFkLWRpdmlkZXIgDQp3aWR0
aD0yNz4mbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDs8L1REPg0KICAgICAgICAgICAgICAgIDxURD48
QSBjbGFzcz1tYXN0aGVhZC1tYWlubGluayANCiAgICAgICAgICAgICAgICAgIGhyZWY9Imh0dHA6
Ly93d3cuaWJtLmNvbS9wcm9kdWN0cy9jbi8iPuS6p+WTgTwvQT48L1REPg0KICAgICAgICAgICAg
ICAgIDxURCBjbGFzcz1tYXN0aGVhZC1kaXZpZGVyIA0Kd2lkdGg9Mjc+Jm5ic3A7Jm5ic3A7Jm5i
c3A7Jm5ic3A7PC9URD4NCiAgICAgICAgICAgICAgICA8VEQ+PEEgY2xhc3M9bWFzdGhlYWQtbWFp
bmxpbmsgDQogICAgICAgICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vc2Vydmlj
ZXNzb2x1dGlvbnMvY24vIj7mnI3liqHkuI7op6PlhrPmlrnmoYg8L0E+PC9URD4NCiAgICAgICAg
ICAgICAgICA8VEQgY2xhc3M9bWFzdGhlYWQtZGl2aWRlciANCndpZHRoPTI3PiZuYnNwOyZuYnNw
OyZuYnNwOyZuYnNwOzwvVEQ+DQogICAgICAgICAgICAgICAgPFREPjxBIGNsYXNzPW1hc3RoZWFk
LW1haW5saW5rIA0KICAgICAgICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL3N1
cHBvcnQvY24vIj7mlK/mjIHkuI7kuIvovb08L0E+PC9URD4NCiAgICAgICAgICAgICAgICA8VEQg
Y2xhc3M9bWFzdGhlYWQtZGl2aWRlciANCndpZHRoPTI3PiZuYnNwOyZuYnNwOyZuYnNwOyZuYnNw
OzwvVEQ+DQogICAgICAgICAgICAgICAgPFREPjxBIGNsYXNzPW1hc3RoZWFkLW1haW5saW5rIA0K
ICAgICAgICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2FjY291bnQvY24vIj7k
uKrmgKfljJbmnI3liqE8L0E+PC9URD4NCiAgICAgICAgICAgICAgICA8VEQ+PFNQQU4gDQogICAg
ICAgICAgICAgIGNsYXNzPXNwYWNlcj4mbmJzcDsmbmJzcDsmbmJzcDsmbmJzcDs8L1NQQU4+PC9U
RD48L1RSPjwvVEJPRFk+PC9UQUJMRT48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxFPjwvVEQ+PC9U
Uj48L1RCT0RZPjwvVEFCTEU+PCEtLQ0KPHNjcmlwdCBzcmM9Ii8vd3d3LmlibS5jb20vY29tbW9u
L3YxNC9wbWguanMiIGxhbmd1YWdlPSJKYXZhU2NyaXB0IiB0eXBlPSJ0ZXh0L2phdmFzY3JpcHQi
Pjwvc2NyaXB0Pg0KLS0+PCEtLSBlbmQgbWFzdGhlYWQgZHcgbGlxdWlkIC0tPjwhLS1NQVNUSEVB
RF9FTkQtLT48IS0tIENNQSBJRCBmb3IgdGhpcyBjb250ZW50IGlzOiA4ODQ3NSAtLT4NCjxUQUJM
RSBpZD12MTQtYm9keS10YWJsZSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgd2lkdGg9IjEw
MCUiIGJvcmRlcj0wPg0KICA8VEJPRFk+DQogIDxUUiB2QWxpZ249dG9wPjwhLS1MRUZUTkFWX0JF
R0lOLS0+DQogICAgPFREIGlkPW5hdmlnYXRpb24gd2lkdGg9MTUwPg0KICAgICAgPFRBQkxFIGNl
bGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCB3aWR0aD0xNTAgYm9yZGVyPTA+DQogICAgICAgIDxU
Qk9EWT4NCiAgICAgICAgPFRSPg0KICAgICAgICAgIDxURCBjbGFzcz1sZWZ0LW5hdi1zcGFjZXI+
PEEgY2xhc3M9bGVmdC1uYXYtb3ZlcnZpZXcgDQogICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3
LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY24vIj4mbmJzcDs8L0E+PC9URD48L1RSPjwvVEJPRFk+
PC9UQUJMRT4NCiAgICAgIDxUQUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgd2lkdGg9
MTUwIGJvcmRlcj0wPg0KICAgICAgICA8VEJPRFk+DQogICAgICAgIDxUUj4NCiAgICAgICAgICA8
VEQgY2xhc3M9bGVmdC1uYXYtb3ZlcnZpZXcgY29sU3Bhbj0yPjxBIGNsYXNzPWxlZnQtbmF2LW92
ZXJ2aWV3IA0KICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3Blcndv
cmtzL2NuLyI+ZGV2ZWxvcGVyV29ya3M8QlI+5Lit5Zu9PC9BPjwvVEQ+PC9UUj48L1RCT0RZPjwv
VEFCTEU+DQogICAgICA8VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIHdpZHRoPTE1
MCBib3JkZXI9MD4NCiAgICAgICAgPFRCT0RZPg0KICAgICAgICA8VFI+DQogICAgICAgICAgPFRE
IGNsYXNzPWxlZnQtbmF2LWhpZ2hsaWdodCBjb2xTcGFuPTI+PEEgY2xhc3M9bGVmdC1uYXYgDQog
ICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY24vamF2
YS9qLWNzcDIvIyI+5pys5paH5YaF5a655YyF5ousOjwvQT48L1REPjwvVFI+DQogICAgICAgIDxU
UiBjbGFzcz1sZWZ0LW5hdi1jaGlsZC1oaWdobGlnaHQ+DQogICAgICAgICAgPFREPjxJTUcgaGVp
Z2h0PTggYWx0PSIiIA0KICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS92MTQv
dC9jbC1idWxsZXQuZ2lmIiB3aWR0aD0yPjwvVEQ+DQogICAgICAgICAgPFREPjxBIGNsYXNzPWxl
ZnQtbmF2LWNoaWxkIA0KICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVs
b3BlcndvcmtzL2NuL2phdmEvai1jc3AyLyNOMTAwNDUiPkNTUCANCiAgICAgICAgICAgIOWfuueh
gDwvQT48L1REPjwvVFI+DQogICAgICAgIDxUUiBjbGFzcz1sZWZ0LW5hdi1jaGlsZC1oaWdobGln
aHQ+DQogICAgICAgICAgPFREPjxJTUcgaGVpZ2h0PTggYWx0PSIiIA0KICAgICAgICAgICAgc3Jj
PSJodHRwOi8vd3d3LmlibS5jb20vaS92MTQvdC9jbC1idWxsZXQuZ2lmIiB3aWR0aD0yPjwvVEQ+
DQogICAgICAgICAgPFREPjxBIGNsYXNzPWxlZnQtbmF2LWNoaWxkIA0KICAgICAgICAgICAgaHJl
Zj0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3AyLyNOMTAw
QTEiPkpDU1AgDQogICAgICAgICAgICDlupM8L0E+PC9URD48L1RSPg0KICAgICAgICA8VFIgY2xh
c3M9bGVmdC1uYXYtY2hpbGQtaGlnaGxpZ2h0Pg0KICAgICAgICAgIDxURD48SU1HIGhlaWdodD04
IGFsdD0iIiANCiAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvdjE0L3QvY2wt
YnVsbGV0LmdpZiIgd2lkdGg9Mj48L1REPg0KICAgICAgICAgIDxURD48QSBjbGFzcz1sZWZ0LW5h
di1jaGlsZCANCiAgICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3
b3Jrcy9jbi9qYXZhL2otY3NwMi8jTjEwMEM0Ij5KQ1NQIA0KICAgICAgICAgICAg5Lit55qE6L+b
56iLPC9BPjwvVEQ+PC9UUj4NCiAgICAgICAgPFRSIGNsYXNzPWxlZnQtbmF2LWNoaWxkLWhpZ2hs
aWdodD4NCiAgICAgICAgICA8VEQ+PElNRyBoZWlnaHQ9OCBhbHQ9IiIgDQogICAgICAgICAgICBz
cmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL3YxNC90L2NsLWJ1bGxldC5naWYiIHdpZHRoPTI+PC9U
RD4NCiAgICAgICAgICA8VEQ+PEEgY2xhc3M9bGVmdC1uYXYtY2hpbGQgDQogICAgICAgICAgICBo
cmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY24vamF2YS9qLWNzcDIvI04x
MDE1OCI+SkNTUCANCiAgICAgICAgICAgIOS4reeahOmAmumBkzwvQT48L1REPjwvVFI+DQogICAg
ICAgIDxUUiBjbGFzcz1sZWZ0LW5hdi1jaGlsZC1oaWdobGlnaHQ+DQogICAgICAgICAgPFREPjxJ
TUcgaGVpZ2h0PTggYWx0PSIiIA0KICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20v
aS92MTQvdC9jbC1idWxsZXQuZ2lmIiB3aWR0aD0yPjwvVEQ+DQogICAgICAgICAgPFREPjxBIGNs
YXNzPWxlZnQtbmF2LWNoaWxkIA0KICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29t
L2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3AyLyNOMTAxRjQiPumAmumBk+WunuaImDwvQT48
L1REPjwvVFI+DQogICAgICAgIDxUUiBjbGFzcz1sZWZ0LW5hdi1jaGlsZC1oaWdobGlnaHQ+DQog
ICAgICAgICAgPFREPjxJTUcgaGVpZ2h0PTggYWx0PSIiIA0KICAgICAgICAgICAgc3JjPSJodHRw
Oi8vd3d3LmlibS5jb20vaS92MTQvdC9jbC1idWxsZXQuZ2lmIiB3aWR0aD0yPjwvVEQ+DQogICAg
ICAgICAgPFREPjxBIGNsYXNzPWxlZnQtbmF2LWNoaWxkIA0KICAgICAgICAgICAgaHJlZj0iaHR0
cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3AyLyNOMTAyNjkiPlBh
cmFsbGVsIA0KICAgICAgICAgICAg5p6E6YCgPC9BPjwvVEQ+PC9UUj4NCiAgICAgICAgPFRSIGNs
YXNzPWxlZnQtbmF2LWNoaWxkLWhpZ2hsaWdodD4NCiAgICAgICAgICA8VEQ+PElNRyBoZWlnaHQ9
OCBhbHQ9IiIgDQogICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL3YxNC90L2Ns
LWJ1bGxldC5naWYiIHdpZHRoPTI+PC9URD4NCiAgICAgICAgICA8VEQ+PEEgY2xhc3M9bGVmdC1u
YXYtY2hpbGQgDQogICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVy
d29ya3MvY24vamF2YS9qLWNzcDIvI04xMDJBOSI+UGFyYWxsZWwgDQogICAgICAgICAgICDnpLrk
vos8L0E+PC9URD48L1RSPg0KICAgICAgICA8VFIgY2xhc3M9bGVmdC1uYXYtY2hpbGQtaGlnaGxp
Z2h0Pg0KICAgICAgICAgIDxURD48SU1HIGhlaWdodD04IGFsdD0iIiANCiAgICAgICAgICAgIHNy
Yz0iaHR0cDovL3d3dy5pYm0uY29tL2kvdjE0L3QvY2wtYnVsbGV0LmdpZiIgd2lkdGg9Mj48L1RE
Pg0KICAgICAgICAgIDxURD48QSBjbGFzcz1sZWZ0LW5hdi1jaGlsZCANCiAgICAgICAgICAgIGhy
ZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9jbi9qYXZhL2otY3NwMi8jTjEw
MzY4Ij7nvZHnu5zkuK3nmoTnvZHnu5w8L0E+PC9URD48L1RSPg0KICAgICAgICA8VFIgY2xhc3M9
bGVmdC1uYXYtY2hpbGQtaGlnaGxpZ2h0Pg0KICAgICAgICAgIDxURD48SU1HIGhlaWdodD04IGFs
dD0iIiANCiAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvdjE0L3QvY2wtYnVs
bGV0LmdpZiIgd2lkdGg9Mj48L1REPg0KICAgICAgICAgIDxURD48QSBjbGFzcz1sZWZ0LW5hdi1j
aGlsZCANCiAgICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jr
cy9jbi9qYXZhL2otY3NwMi8jTjEwNDk0Ij5KQ1NQIA0KICAgICAgICAgICAg5Lit55qE56Gu5a6a
5oCnPC9BPjwvVEQ+PC9UUj4NCiAgICAgICAgPFRSIGNsYXNzPWxlZnQtbmF2LWNoaWxkLWhpZ2hs
aWdodD4NCiAgICAgICAgICA8VEQ+PElNRyBoZWlnaHQ9OCBhbHQ9IiIgDQogICAgICAgICAgICBz
cmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL3YxNC90L2NsLWJ1bGxldC5naWYiIHdpZHRoPTI+PC9U
RD4NCiAgICAgICAgICA8VEQ+PEEgY2xhc3M9bGVmdC1uYXYtY2hpbGQgDQogICAgICAgICAgICBo
cmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY24vamF2YS9qLWNzcDIvI04x
MDRBNyI+SkNTUCANCiAgICAgICAgICAgIOS4reeahOmdnuehruWumuaApzwvQT48L1REPjwvVFI+
DQogICAgICAgIDxUUiBjbGFzcz1sZWZ0LW5hdi1jaGlsZC1oaWdobGlnaHQ+DQogICAgICAgICAg
PFREPjxJTUcgaGVpZ2h0PTggYWx0PSIiIA0KICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3Lmli
bS5jb20vaS92MTQvdC9jbC1idWxsZXQuZ2lmIiB3aWR0aD0yPjwvVEQ+DQogICAgICAgICAgPFRE
PjxBIGNsYXNzPWxlZnQtbmF2LWNoaWxkIA0KICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5p
Ym0uY29tL2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3AyLyNOMTA1NjEiPui/kOS9nOS4reea
hOitpuWNqzwvQT48L1REPjwvVFI+DQogICAgICAgIDxUUiBjbGFzcz1sZWZ0LW5hdi1jaGlsZC1o
aWdobGlnaHQ+DQogICAgICAgICAgPFREPjxJTUcgaGVpZ2h0PTggYWx0PSIiIA0KICAgICAgICAg
ICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS92MTQvdC9jbC1idWxsZXQuZ2lmIiB3aWR0aD0y
PjwvVEQ+DQogICAgICAgICAgPFREPjxBIGNsYXNzPWxlZnQtbmF2LWNoaWxkIA0KICAgICAgICAg
ICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2NuL2phdmEvai1jc3Ay
LyNOMTA1OTIiPlNjYWxlSW50IA0KICAgICAgICAgICAg6L+b56iLPC9BPjwvVEQ+PC9UUj4NCiAg
ICAgICAgPFRSIGNsYXNzPWxlZnQtbmF2LWNoaWxkLWhpZ2hsaWdodD4NCiAgICAgICAgICA8VEQ+
PElNRyBoZWlnaHQ9OCBhbHQ9IiIgDQogICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNv
bS9pL3YxNC90L2NsLWJ1bGxldC5naWYiIHdpZHRoPTI+PC9URD4NCiAgICAgICAgICA8VEQ+PEEg
Y2xhc3M9bGVmdC1uYXYtY2hpbGQgDQogICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3LmlibS5j
b20vZGV2ZWxvcGVyd29ya3MvY24vamF2YS9qLWNzcDIvI04xMDcwNSI+56ysIDIgDQogICAgICAg
ICAgICDpg6jliIbnmoTnu5PmnZ/or608L0E+PC9URD48L1RSPg0KICAgICAgICA8VFIgY2xhc3M9
bGVmdC1uYXYtY2hpbGQtaGlnaGxpZ2h0Pg0KICAgICAgICAgIDxURD48SU1HIGhlaWdodD04IGFs
dD0iIiANCiAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvdjE0L3QvY2wtYnVs
bGV0LmdpZiIgd2lkdGg9Mj48L1REPg0KICAgICAgICAgIDxURD48QSBjbGFzcz1sZWZ0LW5hdi1j
aGlsZCANCiAgICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jr
cy9jbi9qYXZhL2otY3NwMi8jcmVzb3VyY2VzIj7lj4LogIPotYTmlpkgDQogICAgICAgICAgICA8
L0E+PC9URD48L1RSPg0KICAgICAgICA8VFIgY2xhc3M9bGVmdC1uYXYtY2hpbGQtaGlnaGxpZ2h0
Pg0KICAgICAgICAgIDxURD48SU1HIGhlaWdodD04IGFsdD0iIiANCiAgICAgICAgICAgIHNyYz0i
aHR0cDovL3d3dy5pYm0uY29tL2kvdjE0L3QvY2wtYnVsbGV0LmdpZiIgd2lkdGg9Mj48L1REPg0K
ICAgICAgICAgIDxURD48QSBjbGFzcz1sZWZ0LW5hdi1jaGlsZCANCiAgICAgICAgICAgIGhyZWY9
Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9jbi9qYXZhL2otY3NwMi8jYXV0aG9y
Ij7lhbPkuo7kvZzogIU8L0E+PC9URD48L1RSPg0KICAgICAgICA8VFIgY2xhc3M9bGVmdC1uYXYt
Y2hpbGQtaGlnaGxpZ2h0Pg0KICAgICAgICAgIDxURD48SU1HIGhlaWdodD04IGFsdD0iIiANCiAg
ICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvdjE0L3QvY2wtYnVsbGV0LmdpZiIg
d2lkdGg9Mj48L1REPg0KICAgICAgICAgIDxURD48QSBjbGFzcz1sZWZ0LW5hdi1jaGlsZCANCiAg
ICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9jbi9qYXZh
L2otY3NwMi8jcmF0ZSI+5a+55pys5paH55qE6K+E5Lu3PC9BPjwvVEQ+PC9UUj4NCiAgICAgICAg
PFRSIGNsYXNzPWxlZnQtbmF2LWxhc3Q+DQogICAgICAgICAgPFREIHdpZHRoPTE0PjxJTUcgY2xh
c3M9ZGlzcGxheS1pbWcgaGVpZ2h0PTEgYWx0PSIiIA0KICAgICAgICAgICAgc3JjPSJodHRwOi8v
d3d3LmlibS5jb20vaS9jLmdpZiIgd2lkdGg9MTQ+PC9URD4NCiAgICAgICAgICA8VEQgd2lkdGg9
MTM2PjxJTUcgY2xhc3M9ZGlzcGxheS1pbWcgaGVpZ2h0PTE5IGFsdD0iIiANCiAgICAgICAgICAg
IHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvdjE0L3QvbGVmdC1uYXYtY29ybmVyLmdpZiIgDQog
ICAgICAgIHdpZHRoPTEzNj48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxFPjxCUj4NCiAgICAgIDxU
QUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgd2lkdGg9MTUwIGJvcmRlcj0wPg0KICAg
ICAgICA8VEJPRFk+DQogICAgICAgIDxUUj4NCiAgICAgICAgICA8VEQgY2xhc3M9cmVsYXRlZCBj
b2xTcGFuPTI+PEIgY2xhc3M9cmVsYXRlZD7nm7jlhbPpk77mjqU6PC9CPjwvVEQ+PC9UUj4NCiAg
ICAgICAgPFRSIGNsYXNzPXJsaW5rcz4NCiAgICAgICAgICA8VEQ+PElNRyBoZWlnaHQ9OCBhbHQ9
IiIgDQogICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL3YxNC90L3JsLWJ1bGxl
dC5naWYiIHdpZHRoPTI+PC9URD4NCiAgICAgICAgICA8VEQ+PEEgY2xhc3M9cmxpbmtzIA0KICAg
ICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2NuL3ZpZXdz
L2phdmEvYXJ0aWNsZXMuanNwIj5KYXZhIA0KICAgICAgICAgICAgdGVjaG5vbG9neSDmioDmnK/m
lofmoaPlupM8L0E+PC9URD48L1RSPjwhLS1TVEFSVCBSRVNFUlZFRCBGT1IgRlVUVVJFIFVTRSBJ
TkNMVURFIEZJTEVTLS0+PCEtLSBObyBjb250ZW50IGN1cnJlbnRseSAtLT48IS0tRU5EIFJFU0VS
VkVEIEZPUiBGVVRVUkUgVVNFIElOQ0xVREUgRklMRVMtLT4NCiAgICAgICAgPFRSPg0KICAgICAg
ICAgIDxURCB3aWR0aD0xND48SU1HIGNsYXNzPWRpc3BsYXktaW1nIGhlaWdodD0xIGFsdD0iIiAN
CiAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvYy5naWYiIHdpZHRoPTE0Pjwv
VEQ+DQogICAgICAgICAgPFREIHdpZHRoPTEzNj48SU1HIGNsYXNzPWRpc3BsYXktaW1nIGhlaWdo
dD0xOSBhbHQ9IiIgDQogICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL2MuZ2lm
IiB3aWR0aD0xMzY+PC9URD48L1RSPjwvVEJPRFk+PC9UQUJMRT48IS0tU1RBUlQgUkVTRVJWRUQg
Rk9SIEZVVFVSRSBVU0UgSU5DTFVERSBGSUxFUy0tPjwhLS0gTm8gY29udGVudCBjdXJyZW50bHkg
LS0+PCEtLUVORCBSRVNFUlZFRCBGT1IgRlVUVVJFIFVTRSBJTkNMVURFIEZJTEVTLS0+PC9URD48