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

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

IS0tTEVGVE5BVl9FTkQtLT4NCiAgICA8VEQgd2lkdGg9IjEwMCUiPg0KICAgICAgPFRBQkxFIGlk
PWNvbnRlbnQtdGFibGUgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIHdpZHRoPSIxMDAlIiAN
CiAgICAgICAgYm9yZGVyPTA+PFRCT0RZPg0KICAgICAgICA8VFIgdkFsaWduPXRvcD4NCiAgICAg
ICAgICA8VEQgd2lkdGg9IjEwMCUiPg0KICAgICAgICAgICAgPFRBQkxFIGNlbGxTcGFjaW5nPTAg
Y2VsbFBhZGRpbmc9MCB3aWR0aD0iMTAwJSIgYm9yZGVyPTA+DQogICAgICAgICAgICAgIDxUQk9E
WT4NCiAgICAgICAgICAgICAgPFRSPg0KICAgICAgICAgICAgICAgIDxURD48QSBuYW1lPW1haW4+
PElNRyBoZWlnaHQ9MSBhbHQ9InNraXAgdG8gbWFpbiBjb250ZW50IiANCiAgICAgICAgICAgICAg
ICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvYy5naWYiIHdpZHRoPTU5MiANCiAgICAgICAg
ICAgICAgYm9yZGVyPTA+PC9BPjwvVEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+DQogICAgICAgICAg
ICA8VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIHdpZHRoPSIxMDAlIiBib3JkZXI9
MD4NCiAgICAgICAgICAgICAgPFRCT0RZPg0KICAgICAgICAgICAgICA8VFIgdkFsaWduPXRvcD4N
CiAgICAgICAgICAgICAgICA8VEQgd2lkdGg9MTAgaGVpZ2h0PTE4PjxJTUcgaGVpZ2h0PTE4IGFs
dD0iIiANCiAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvYy5naWYi
IHdpZHRoPTEwPjwvVEQ+DQogICAgICAgICAgICAgICAgPFREIHdpZHRoPSIxMDAlIj48SU1HIGhl
aWdodD02IGFsdD0iIiANCiAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29t
L2kvYy5naWYiIHdpZHRoPTE+PEJSPjxBIGNsYXNzPWJjdGwgDQogICAgICAgICAgICAgICAgICBo
cmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY24vIj5kZXZlbG9wZXJXb3Jr
cyANCiAgICAgICAgICAgICAgICAgIOS4reWbvTwvQT48U1BBTiBjbGFzcz1iY3Q+Jm5ic3A7Jm5i
c3A7Jmd0OyZuYnNwOyZuYnNwOzwvU1BBTj48QSANCiAgICAgICAgICAgICAgICAgIGNsYXNzPWJj
dGwgDQogICAgICAgICAgICAgICAgICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVy
d29ya3MvY24vamF2YS8iPkphdmEgDQogICAgICAgICAgICAgICAgICB0ZWNobm9sb2d5PC9BPjxT
UEFOIGNsYXNzPWJjdD4mbmJzcDsmbmJzcDsmZ3Q7PC9TUEFOPjxJTUcgDQogICAgICAgICAgICAg
ICAgICBoZWlnaHQ9MSBhbHQ9IiIgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS9jLmdpZiIgd2lk
dGg9MT48QlI+DQogICAgICAgICAgICAgICAgICA8SDE+6YCC55So5LqOIEphdmEg56iL5bqP5ZGY
55qEIENTUCDvvIznrKwgMiDpg6jliIY8L0gxPg0KICAgICAgICAgICAgICAgICAgPFAgaWQ9c3Vi
dGl0bGU+PEVNPueUqCBKQ1NQIOi/m+ihjOW5tuWPkee8lueoizwvRU0+PC9QPjxJTUcgDQogICAg
ICAgICAgICAgICAgICBjbGFzcz1kaXNwbGF5LWltZyBoZWlnaHQ9NiBhbHQ9IiIgDQogICAgICAg
ICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL2MuZ2lmIiB3aWR0aD0xPjwvVEQ+
DQogICAgICAgICAgICAgICAgPFREIGNsYXNzPW5vLXByaW50IHdpZHRoPTE5Mj48SU1HIGhlaWdo
dD0xOCBhbHQ9ZGV2ZWxvcGVyV29ya3MgDQogICAgICAgICAgICAgICAgICBzcmM9Imh0dHA6Ly93
d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9jbi9pL2R3LmdpZiIgDQogICAgICAgICAgICAgICAg
d2lkdGg9MTkyPjwvVEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+PC9URD48L1RSPjwvVEJPRFk+PC9U
QUJMRT4NCiAgICAgIDxUQUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgd2lkdGg9IjEw
MCUiIGJvcmRlcj0wPg0KICAgICAgICA8VEJPRFk+DQogICAgICAgIDxUUiB2QWxpZ249dG9wPg0K
ICAgICAgICAgIDxURCB3aWR0aD0xMD48SU1HIGhlaWdodD0xIGFsdD0iIiBzcmM9Imh0dHA6Ly93
d3cuaWJtLmNvbS9pL2MuZ2lmIiANCiAgICAgICAgICAgIHdpZHRoPTEwPjwvVEQ+DQogICAgICAg
ICAgPFREIHdpZHRoPSIxMDAlIj4NCiAgICAgICAgICAgIDxUQUJMRSBjbGFzcz1uby1wcmludCBj
ZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTAgd2lkdGg9MTYwIA0KICAgICAgICAgICAgYWxpZ249
cmlnaHQgYm9yZGVyPTA+DQogICAgICAgICAgICAgIDxUQk9EWT4NCiAgICAgICAgICAgICAgPFRS
Pg0KICAgICAgICAgICAgICAgIDxURCB3aWR0aD0xMD48SU1HIGhlaWdodD0xIGFsdD0iIiANCiAg
ICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvYy5naWYiIHdpZHRoPTEw
PjwvVEQ+DQogICAgICAgICAgICAgICAgPFREPg0KICAgICAgICAgICAgICAgICAgPFRBQkxFIGNl
bGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCB3aWR0aD0xNTAgYm9yZGVyPTA+DQogICAgICAgICAg
ICAgICAgICAgIDxUQk9EWT4NCiAgICAgICAgICAgICAgICAgICAgPFRSPg0KICAgICAgICAgICAg
ICAgICAgICAgIDxURCBjbGFzcz12MTQtaGVhZGVyLTEtc21hbGw+5paH5qGj6YCJ6aG5PC9URD48
L1RSPjwvVEJPRFk+PC9UQUJMRT4NCiAgICAgICAgICAgICAgICAgIDxUQUJMRSBjbGFzcz12MTQt
Z3JheS10YWJsZS1ib3JkZXIgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIA0KICAgICAgICAg
ICAgICAgICAgYm9yZGVyPTA+DQogICAgICAgICAgICAgICAgICAgIDxUQk9EWT4NCiAgICAgICAg
ICAgICAgICAgICAgPFRSPg0KICAgICAgICAgICAgICAgICAgICAgIDxURCBjbGFzcz1uby1wYWRk
aW5nIHdpZHRoPTE1MD4NCiAgICAgICAgICAgICAgICAgICAgICAgIDxUQUJMRSBjZWxsU3BhY2lu
Zz0wIGNlbGxQYWRkaW5nPTAgd2lkdGg9MTQzIA0KICAgICAgICAgICAgICAgICAgICAgICAgICBi
b3JkZXI9MD48SU1HIGhlaWdodD0xIGFsdD0iIiANCiAgICAgICAgICAgICAgICAgICAgICAgICAg
c3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS9jLmdpZiIgd2lkdGg9OD4NCiAgICAgICAgICAgICAg
ICAgICAgICAgICAgPEZPUk0gbmFtZT1lbWFpbCANCiAgICAgICAgICAgICAgICAgICAgICAgICAg
YWN0aW9uPWh0dHBzOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3Mvc2VjdXJlL2VtYWlsLWl0
LmpzcD48SU5QVVQgDQogICAgICAgICAgICAgICAgICAgICAgICAgIHR5cGU9aGlkZGVuIA0KICAg
ICAgICAgICAgICAgICAgICAgICAgICB2YWx1ZT0i5Zyo6L+Z56+H55Sx5LiJ6YOo5YiG57uE5oiQ
55qE6Z2i5ZCRIEphdmEg56iL5bqP5ZGY55qE6YCa5L+h6aG65bqP6L+b56iLIO+8iENTUO+8ieS7
i+e7jeeahOesrOS6jOacn+S4re+8jEFiaGlqaXQgQmVsYXB1cmthciDlsIbku4vnu43lpoLkvZXk
vb/nlKjln7rkuo4gSmF2YSDnmoQgSkNTUCDlupPmnaXnvJblhpnog73lpJ/noa7kv53msqHmnInl
ubblj5Hpl67popjvvIjkvovlpoLkuonnlKjpo47pmanjgIEg5q276ZSB44CB5rS75Yqo6ZSB44CB
6LWE5rqQ6ICX5bC977yJ55qEIEphdmEg5bqU55So56iL5bqP44CCIiANCiAgICAgICAgICAgICAg
ICAgICAgICAgICAgbmFtZT1ib2R5PjxJTlBVVCB0eXBlPWhpZGRlbiANCiAgICAgICAgICAgICAg
ICAgICAgICAgICAgdmFsdWU9IumAgueUqOS6jiBKYXZhIOeoi+W6j+WRmOeahCBDU1Ag77yM56ys
IDIg6YOo5YiGIiBuYW1lPXN1YmplY3Q+PElOUFVUIA0KICAgICAgICAgICAgICAgICAgICAgICAg
ICB0eXBlPWhpZGRlbiB2YWx1ZT1jbiBuYW1lPWxhbmc+DQogICAgICAgICAgICAgICAgICAgICAg
ICAgIDxTQ1JJUFQgbGFuZ3VhZ2U9SmF2YVNjcmlwdCB0eXBlPXRleHQvamF2YXNjcmlwdD4KPCEt
LQpkb2N1bWVudC53cml0ZSgnPHRyIHZhbGlnbj0idG9wIj48dGQgd2lkdGg9IjgiPjxpbWcgc3Jj
PSIvL3d3dy5pYm0uY29tL2kvYy5naWYiIHdpZHRoPSI4IiBoZWlnaHQ9IjEiIGFsdD0iIi8+PC90
ZD48dGQgd2lkdGg9IjE2Ij48aW1nIHNyYz0iLy93d3cuaWJtLmNvbS9pL3YxNC9pY29ucy9lbS5n
aWYiIGhlaWdodD0iMTYiIHdpZHRoPSIxNiIgdnNwYWNlPSIzIiBhbHQ9IuWwhuatpOmhteS9nOS4
uueUteWtkOmCruS7tuWPkemAgSIgLz48L3RkPjx0ZCB3aWR0aD0iMTIyIj48cD48YSBjbGFzcz0i
c21hbGxwbGFpbmxpbmsiIGhyZWY9ImphdmFzY3JpcHQ6ZG9jdW1lbnQuZW1haWwuc3VibWl0KCk7
Ij48Yj7lsIbmraTpobXkvZzkuLrnlLXlrZDpgq7ku7blj5HpgIE8L2I+PC9hPjwvcD48L3RkPjwv
dHI+Jyk7Ci8vLS0+CjwvU0NSSVBUPg0KICAgICAgICAgICAgICAgICAgICAgICAgICA8Tk9TQ1JJ
UFQ+DQogICAgICAgICAgICAgICAgICAgICAgICAgIDxUQk9EWT4NCiAgICAgICAgICAgICAgICAg
ICAgICAgICAgPFRSIHZBbGlnbj10b3A+DQogICAgICAgICAgICAgICAgICAgICAgICAgICAgPFRE
IHdpZHRoPTg+PElNRyBoZWlnaHQ9MSBhbHQ9IiIgDQogICAgICAgICAgICAgICAgICAgICAgICAg
ICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL2MuZ2lmIiB3aWR0aD04PjwvVEQ+DQogICAg
ICAgICAgICAgICAgICAgICAgICAgICAgPFREIHdpZHRoPTE2PjxJTUcgaGVpZ2h0PTE2IGFsdD0i
IiANCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29t
L2kvYy5naWYiIHdpZHRoPTE2PjwvVEQ+DQogICAgICAgICAgICAgICAgICAgICAgICAgICAgPFRE
IGNsYXNzPXNtYWxsIHdpZHRoPTEyMj4NCiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgIDxQ
PjxTUEFOIGNsYXNzPWFzdD7mnKrmmL7npLrpnIDopoEgSmF2YVNjcmlwdCANCiAgICAgICAgICAg
ICAgICAgICAgICAgICAgICAgIOeahOaWh+aho+mAiemhuTwvU1BBTj48L1A+PC9URD48L1RSPjwv
Tk9TQ1JJUFQ+PC9GT1JNPjwvVEJPRFk+PC9UQUJMRT48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxF
PjwhLS1TVEFSVCBSRVNFUlZFRCBGT1IgRlVUVVJFIFVTRSBJTkNMVURFIEZJTEVTLS0+PCEtLSB0
aGlzIGNvbnRlbnQgd2lsbCBiZSBhdXRvbWF0aWNhbGx5IGdlbmVyYXRlZCBhY3Jvc3MgYWxsIGNv
bnRlbnQgYXJlYXMgLS0+PEJSPjwhLS1FTkQgUkVTRVJWRUQgRk9SIEZVVFVSRSBVU0UgSU5DTFVE
RSBGSUxFUy0tPjxCUj48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxFPg0KICAgICAgICAgICAgPFA+
57qn5YirOiDliJ3nuqc8L1A+DQogICAgICAgICAgICA8UD48QSANCiAgICAgICAgICAgIGhyZWY9
Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9jbi9qYXZhL2otY3NwMi8jYXV0aG9y
Ij5BYmhpaml0IA0KICAgICAgICAgICAgQmVsYXB1cmthcjwvQT4gKDxBIA0KICAgICAgICAgICAg
aHJlZj0ibWFpbHRvOmFiaGlqaXRfYmVsYXB1cmthckBpbmZvc3lzLmNvbT9zdWJqZWN0PemAgueU
qOS6jiBKYXZhIOeoi+W6j+WRmOeahCBDU1Ag77yM56ysIDIg6YOo5YiGIj5tYWlsdG86YWJoaWpp
dF9iZWxhcHVya2FyQGluZm9zeXMuY29tP3N1YmplY3Q96YCC55So5LqOIA0KICAgICAgICAgICAg
SmF2YSDnqIvluo/lkZjnmoQgQ1NQIO+8jOesrCAyIOmDqOWIhjwvQT4pLCDpq5jnuqfmioDmnK/m
nrbmnoTluIgsIEluZm9zeXMgVGVjaG5vbG9naWVzIA0KICAgICAgICAgICAgTGltaXRlZDxCUj48
L1A+DQogICAgICAgICAgICA8UD4yMDA1IOW5tCA3IOaciCAwNyDml6U8L1A+DQogICAgICAgICAg
ICA8QkxPQ0tRVU9URT7lnKjov5nnr4fnlLHkuInpg6jliIbmnoTmiJDnmoTpnaLlkJEgSmF2YSDn
qIvluo/lkZjnmoTpgJrkv6Hpobrluo/ov5vnqIsg77yIQ1NQ77yJ5LuL57uN55qE56ys5LqM5pyf
5Lit77yMQWJoaWppdCANCiAgICAgICAgICAgICAgQmVsYXB1cmthciDlsIbku4vnu43lpoLkvZXk
vb/nlKjln7rkuo4gSmF2YSDnmoQgSkNTUCDlupPmnaXnvJblhpnog73lpJ/noa7kv53msqHmnInl
ubblj5Hpl67popjvvIjkvovlpoLkuonnlKjpo47pmanjgIEgDQogICAgICAgICAgICAgIOatu+mU
geOAgea0u+WKqOmUgeOAgei1hOa6kOiAl+Wwve+8ieeahCBKYXZhIOW6lOeUqOeoi+W6j+OAgjwv
QkxPQ0tRVU9URT48IS0tU1RBUlQgUkVTRVJWRUQgRk9SIEZVVFVSRSBVU0UgSU5DTFVERSBGSUxF
Uy0tPjwhLS0gaW5jbHVkZSBqYXZhIHNjcmlwdCBvbmNlIHdlIHZlcmlmeSB0ZWFtcyB3YW50cyB0
byB1c2UgdGhpcyBhbmQgaXQgd2lsbCB3b3JrIG9uIGRiY3MgYW5kIGN5cmlsbGljIGNoYXJhY3Rl
cnMgLS0+PCEtLUVORCBSRVNFUlZFRCBGT1IgRlVUVVJFIFVTRSBJTkNMVURFIEZJTEVTLS0+DQog
ICAgICAgICAgICA8UD5DU1Ag5piv5a+55bm25Y+R5a+56LGh5LmL6Ze055qE5aSN5p2C5Lqk5LqS
6L+b6KGM5bu65qih55qE6IyD5byP44CC5L2/55SoIENTUCANCiAgICAgICAgICAgIOeahOS4u+im
geS8mOWKv+S5i+S4gOaYr++8muWvueeoi+W6j+avj+S4gOmYtuauteaJgOWMheWQq+Wvueixoeea
hOihjOS4uui/m+ihjOeyvuehruWcsOaMh+WumuWSjOmqjOivgeOAgkNTUCDnmoTnkIborrrlkozl
rp7ot7Xlr7nkuo7lubblj5Horr7orqHlkoznvJbnqIvpoobln5/mnInmt7Hov5znmoTlvbHlk43j
gILlroPmmK8gDQogICAgICAgICAgICBvY2NhbSDov5nmoLfnmoTnvJbnqIvor63oqIDnmoTln7rn
oYDvvIzlr7nlhbbku5bor63oqIDvvIjkvovlpoIgQWRh77yJ55qE6K6+6K6h5Lmf5pyJ5b2x5ZON
44CC5bCx5YOP5Zyo5pys5paHIDxBIA0KICAgICAgICAgICAgaHJlZj0idHRwOi8vd3d3LmlibS5j
b20vZGV2ZWxvcGVyd29ya3MvY24vamF2YS9qLWNzcDEuaHRtbCI+56ysIDEgDQogICAgICAgICAg
ICDpg6jliIY8L0E+IOeugOimgeiuqOiuuui/h+eahO+8jOeUseS6jumAguWQiOWcqCBKYXZhIOW5
s+WPsOS4iui/m+ihjOWuieWFqOOAgeS8mOmbheeahOWkmue6v+eoi+e8lueoi++8jOaJgOS7pSBD
U1Ag5a+5IEphdmEgDQogICAgICAgICAgICDlvIDlj5HkurrlkZjkuZ/mmK/ml6Dku7fnmoTjgII8
L1A+DQogICAgICAgICAgICA8UD7lnKjmiJHnmoTov5nnr4fnlLHkuInpg6jliIbnu4TmiJDnmoQg
SmF2YSDlubPlj7AgQ1NQIOe8lueoi+S7i+e7jeeahOesrCAyIOmDqOWIhuS4re+8jOaIkeaKiumH
jeeCueaUvuWcqCBDU1Ag55CG6K665ZKM5a6e6Le15LiK77yM54m55Yir5piv5a6D5ZyoIA0KICAg
ICAgICAgICAgSmF2YSDor63oqIDkuK3lpJrnur/nqIvnqIvluo/orr7orqHnmoTlupTnlKjjgILm
iJHlsIbku44gQ1NQIOeQhuiuuueahOamgui/sOW8gOWni+S7i+e7je+8jOeEtuWQjuS7i+e7jeWf
uuS6jiBKYXZhIOeahCBKQ1NQIOW6k+WunueOsO+8jEpDU1AgDQogICAgICAgICAgICDnmoTmoLjl
v4PmmK8gQ1NQIOOAgjwvUD4NCiAgICAgICAgICAgIDxQPjxBIG5hbWU9TjEwMDQ1PjxTUEFOIGNs
YXNzPWF0aXRsZT5DU1Ag5Z+656GAPC9TUEFOPjwvQT48L1A+DQogICAgICAgICAgICA8UD5DU1Ag
55qE5Z+65pys5p6E6YCg5piv6L+b56iL5ZKM6L+b56iL5LmL6Ze05ZCE56eN5b2i5byP55qE6YCa
5L+h44CCQ1NQIA0KICAgICAgICAgICAg5Lit55qE5q+P5Lu25LqL6YO95piv6L+b56iL77yM55Sa
6Iez77yI5a2Q77yJ6L+b56iL572R57uc5Lmf5piv6L+b56iL44CC5L2G5piv77yM5Zyo6L+b56iL
5LmL6Ze05rKh5pyJ55u05o6l5Lqk5LqSIOKAlOKAlCDmiYDmnInkuqTkupLpg73pgJrov4cgQ1NQ
IA0KICAgICAgICAgICAg55qE5ZCM5q2l5a+56LGh77yI5L6L5aaC5ZCE57qn6L+b56iL6K6i6ZiF
55qE6YCa5L+h6YCa6YGT5ZKM5LqL5Lu26L6555WM77yJ5a6e546w55qE44CCPC9QPg0KICAgICAg
ICAgICAgPFA+Q1NQIDxJPui/m+eoizwvST4g5LiO5YW45Z6L55qEIEphdmEg5a+56LGh5LiN5ZCM
77ya5bCB6KOF5Zyo6L+b56iL57uE5Lu25Lit55qE5pWw5o2uIDxJPuWSjDwvST4gDQogICAgICAg
ICAgICDmk43nurXmlbDmja7nmoTnrpfms5Xpg73mmK/np4HmnInnmoTjgILkuZ/lsLHmmK/or7Tv
vIzov5vnqIvmsqHmnInlr7nlpJblj6/ku6XosIPnlKjnmoTmlrnms5XvvIjpmaTkuoblkK/liqjo
v5vnqIvlv4XpobvosIPnlKjnmoTmlrnms5XkuYvlpJbvvInvvIznrpfms5Xlj6rog73lnKjov5vn
qIvoh6rlt7HnmoTmjqfliLbnur/nqIvlhoXmiafooYzjgILlpoLmnpzmiorov5nnp43mlrnms5Xk
uI4gDQogICAgICAgICAgICBKYXZhIOivreiogOS4reeahOaWueazleiwg+eUqOi/m+ihjOWvueav
lO+8jOWwseWPr+S7peeri+WNs+eci+WHuiBDU1Ag5piv5aaC5L2V5raI6Zmk5pi+5byP6ZSB5a6a
55qE6ZyA5rGC55qE77yaPC9QPg0KICAgICAgICAgICAgPFRBQkxFIGNlbGxTcGFjaW5nPTAgY2Vs
bFBhZGRpbmc9MCB3aWR0aD0iNDAlIiBhbGlnbj1yaWdodCANCiAgICAgICAgICAgICAgYm9yZGVy
PTA+PFRCT0RZPg0KICAgICAgICAgICAgICA8VFI+DQogICAgICAgICAgICAgICAgPFREIHdpZHRo
PTEwPjxJTUcgaGVpZ2h0PTEgYWx0PSIiIA0KICAgICAgICAgICAgICAgICAgc3JjPSJodHRwOi8v
d3d3LmlibS5jb20vaS9jLmdpZiIgd2lkdGg9MTA+PC9URD4NCiAgICAgICAgICAgICAgICA8VEQ+
DQogICAgICAgICAgICAgICAgICA8VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz01IHdp
ZHRoPSIxMDAlIiBib3JkZXI9MT4NCiAgICAgICAgICAgICAgICAgICAgPFRCT0RZPg0KICAgICAg
ICAgICAgICAgICAgICA8VFI+DQogICAgICAgICAgICAgICAgICAgICAgPFREIGJnQ29sb3I9I2Vl
ZWVlZT48QSANCiAgICAgICAgICAgICAgICAgICAgICAgIG5hbWU9c2lkZWJhcjE+PEI+5LiN6KaB
6ZSZ6L+H5pys57O75YiX55qE5YW25L2Z6YOo5YiGITwvQj48L0E+PEJSPg0KICAgICAgICAgICAg
ICAgICAgICAgICAgPFA+4oCc6YCC55So5LqOIEphdmEg56iL5bqP5ZGY55qEIENTUOKAneaYr+Wv
uemAmuS/oemhuuW6j+i/m+eoi++8iENvbW11bmljYXRpbmcgU2VxdWVudGlhbCANCiAgICAgICAg
ICAgICAgICAgICAgICAgIFByb2Nlc3NlcyDigJTigJQgQ1NQ77yJ6L+b6KGM5LuL57uN55qE55Sx
5LiJ6YOo5YiG57uE5oiQ55qE5LiA5Liq57O75YiX44CCQ1NQIA0KICAgICAgICAgICAgICAgICAg
ICAgICAg5piv5bm25Y+R57yW56iL55qE5LiA5Liq6IyD5byP77yM5a6D5om/6K6k5LqG5bm25Y+R
57yW56iL55qE5aSN5p2C5oCn77yM5Y205bm25rKh5pyJ5oqK5aSN5p2C5oCn55WZ57uZ5byA5Y+R
5Lq65ZGY44CC6K+35Y+C6ZiF5pys57O75YiX55qE5YW25LuW6YOo5YiG77yaPEJSPjxCUj48QSAN
CiAgICAgICAgICAgICAgICAgICAgICAgIGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9w
ZXJ3b3Jrcy9jbi9qYXZhL2otY3NwMi8iPuesrCANCiAgICAgICAgICAgICAgICAgICAgICAgIDIg
6YOo5YiG77ya55SoIEpDU1Ag6L+b6KGM5bm25Y+R57yW56iLPC9BPiA8QlI+PEJSPuesrCAzIOmD
qOWIhu+8miBKQ1NQIA0KICAgICAgICAgICAgICAgICAgICDnmoTpq5jnuqfkuLvpopg8L1A+PC9U
RD48L1RSPjwvVEJPRFk+PC9UQUJMRT48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxFPg0KICAgICAg
ICAgICAgPFA+5ZyoIEphdmEgDQogICAgICAgICAgICDor63oqIDkuK3vvIzlnKjlr7nosaHkuIro
sIPnlKjnmoTmlrnms5XmgLvmmK/lnKjosIPnlKjogIXnmoTnur/nqIvkuK3ov5DooYzjgILkvYbk
uZ/mnInkuIDkuKrnibnmrornmoTmjqfliLbnur/nqIvmmK/pgJrov4fns7vnu5/kuK3nmoTlpJrk
uKrlr7nosaHov5vooYzlt6XkvZznmoTjgILlr7nkuo7lpKfpg6jliIbmg4XlhrXmnaXor7TvvIzl
r7nosaHmsqHmnInoh6rlt7HnmoTnlJ/lkb0gDQogICAgICAgICAgICDigJTigJQg5a6D5Lus5Y+q