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

来自「这是英国Kent大学开发的进程代数的JAVA库,对付多线程和并发系统变得很容易,」· MHT 代码 · 共 850 行 · 第 1/5 页

ICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2NuLyI+ZGV2ZWxv
cGVyV29ya3MgDQogICAgICAgICAgICAgICAgICDkuK3lm708L0E+PFNQQU4gY2xhc3M9YmN0PiZu
YnNwOyZuYnNwOyZndDsmbmJzcDsmbmJzcDs8L1NQQU4+PEEgDQogICAgICAgICAgICAgICAgICBj
bGFzcz1iY3RsIA0KICAgICAgICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2Rl
dmVsb3BlcndvcmtzL2NuL2phdmEvIj5KYXZhIA0KICAgICAgICAgICAgICAgICAgdGVjaG5vbG9n
eTwvQT48U1BBTiBjbGFzcz1iY3Q+Jm5ic3A7Jm5ic3A7Jmd0OzwvU1BBTj48SU1HIA0KICAgICAg
ICAgICAgICAgICAgaGVpZ2h0PTEgYWx0PSIiIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvYy5n
aWYiIHdpZHRoPTE+PEJSPg0KICAgICAgICAgICAgICAgICAgPEgxPumAgueUqOS6jiBKYXZhIOeo
i+W6j+WRmOeahCBDU1Ag77yM56ysIDMg6YOo5YiGPC9IMT4NCiAgICAgICAgICAgICAgICAgIDxQ
IGlkPXN1YnRpdGxlPjxFTT5KQ1NQIOeahOmrmOe6p+S4u+mimDwvRU0+PC9QPjxJTUcgY2xhc3M9
ZGlzcGxheS1pbWcgDQogICAgICAgICAgICAgICAgICBoZWlnaHQ9NiBhbHQ9IiIgc3JjPSJodHRw
Oi8vd3d3LmlibS5jb20vaS9jLmdpZiIgd2lkdGg9MT48L1REPg0KICAgICAgICAgICAgICAgIDxU
RCBjbGFzcz1uby1wcmludCB3aWR0aD0xOTI+PElNRyBoZWlnaHQ9MTggYWx0PWRldmVsb3Blcldv
cmtzIA0KICAgICAgICAgICAgICAgICAgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVy
d29ya3MvY24vaS9kdy5naWYiIA0KICAgICAgICAgICAgICAgIHdpZHRoPTE5Mj48L1REPjwvVFI+
PC9UQk9EWT48L1RBQkxFPjwvVEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+DQogICAgICA8VEFCTEUg
Y2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIHdpZHRoPSIxMDAlIiBib3JkZXI9MD4NCiAgICAg
ICAgPFRCT0RZPg0KICAgICAgICA8VFIgdkFsaWduPXRvcD4NCiAgICAgICAgICA8VEQgd2lkdGg9
MTA+PElNRyBoZWlnaHQ9MSBhbHQ9IiIgc3JjPSJodHRwOi8vd3d3LmlibS5jb20vaS9jLmdpZiIg
DQogICAgICAgICAgICB3aWR0aD0xMD48L1REPg0KICAgICAgICAgIDxURCB3aWR0aD0iMTAwJSI+
DQogICAgICAgICAgICA8VEFCTEUgY2xhc3M9bm8tcHJpbnQgY2VsbFNwYWNpbmc9MCBjZWxsUGFk
ZGluZz0wIHdpZHRoPTE2MCANCiAgICAgICAgICAgIGFsaWduPXJpZ2h0IGJvcmRlcj0wPg0KICAg
ICAgICAgICAgICA8VEJPRFk+DQogICAgICAgICAgICAgIDxUUj4NCiAgICAgICAgICAgICAgICA8
VEQgd2lkdGg9MTA+PElNRyBoZWlnaHQ9MSBhbHQ9IiIgDQogICAgICAgICAgICAgICAgICBzcmM9
Imh0dHA6Ly93d3cuaWJtLmNvbS9pL2MuZ2lmIiB3aWR0aD0xMD48L1REPg0KICAgICAgICAgICAg
ICAgIDxURD4NCiAgICAgICAgICAgICAgICAgIDxUQUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRk
aW5nPTAgd2lkdGg9MTUwIGJvcmRlcj0wPg0KICAgICAgICAgICAgICAgICAgICA8VEJPRFk+DQog
ICAgICAgICAgICAgICAgICAgIDxUUj4NCiAgICAgICAgICAgICAgICAgICAgICA8VEQgY2xhc3M9
djE0LWhlYWRlci0xLXNtYWxsPuaWh+aho+mAiemhuTwvVEQ+PC9UUj48L1RCT0RZPjwvVEFCTEU+
DQogICAgICAgICAgICAgICAgICA8VEFCTEUgY2xhc3M9djE0LWdyYXktdGFibGUtYm9yZGVyIGNl
bGxTcGFjaW5nPTAgY2VsbFBhZGRpbmc9MCANCiAgICAgICAgICAgICAgICAgIGJvcmRlcj0wPg0K
ICAgICAgICAgICAgICAgICAgICA8VEJPRFk+DQogICAgICAgICAgICAgICAgICAgIDxUUj4NCiAg
ICAgICAgICAgICAgICAgICAgICA8VEQgY2xhc3M9bm8tcGFkZGluZyB3aWR0aD0xNTA+DQogICAg
ICAgICAgICAgICAgICAgICAgICA8VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIHdp
ZHRoPTE0MyANCiAgICAgICAgICAgICAgICAgICAgICAgICAgYm9yZGVyPTA+PElNRyBoZWlnaHQ9
MSBhbHQ9IiIgDQogICAgICAgICAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0u
Y29tL2kvYy5naWYiIHdpZHRoPTg+DQogICAgICAgICAgICAgICAgICAgICAgICAgIDxGT1JNIG5h
bWU9ZW1haWwgDQogICAgICAgICAgICAgICAgICAgICAgICAgIGFjdGlvbj1odHRwczovL3d3dy5p
Ym0uY29tL2RldmVsb3BlcndvcmtzL3NlY3VyZS9lbWFpbC1pdC5qc3A+PElOUFVUIA0KICAgICAg
ICAgICAgICAgICAgICAgICAgICB0eXBlPWhpZGRlbiANCiAgICAgICAgICAgICAgICAgICAgICAg
ICAgdmFsdWU9IkFiaGlqaXQgQmVsYXB1cmthciDpgJrov4fku4vnu40gSkNTUCDlvIDlj5Hpq5jn
uqfkuLvpopjvvIznu5PmnZ/kuobnlLHkuInpg6jliIbnu4TmiJDnmoTku4vnu43pgILnlKjkuo4g
SmF2YSDlvIDlj5HkurrlkZjnmoQgQ1NQIOeahOezu+WIl+aWh+eroO+8jOS7i+e7jeeahOWGheWu
ueWMheaLrO+8mkpDU1Ag5LiOIEFPUCDnmoTnm7jkvLzmgKfjgIFKQ1NQIOS4jiBqYXZhLnV0aWwu
Y29uY3VycmVudCDnmoTmr5TovoPvvIzku6Xlj4rnlKggSkNTUCDov5vooYzpq5jnuqflkIzmraXj
gIIiIA0KICAgICAgICAgICAgICAgICAgICAgICAgICBuYW1lPWJvZHk+PElOUFVUIHR5cGU9aGlk
ZGVuIA0KICAgICAgICAgICAgICAgICAgICAgICAgICB2YWx1ZT0i6YCC55So5LqOIEphdmEg56iL
5bqP5ZGY55qEIENTUCDvvIznrKwgMyDpg6jliIYiIG5hbWU9c3ViamVjdD48SU5QVVQgDQogICAg
ICAgICAgICAgICAgICAgICAgICAgIHR5cGU9aGlkZGVuIHZhbHVlPWNuIG5hbWU9bGFuZz4NCiAg
ICAgICAgICAgICAgICAgICAgICAgICAgPFNDUklQVCBsYW5ndWFnZT1KYXZhU2NyaXB0IHR5cGU9
dGV4dC9qYXZhc2NyaXB0Pgo8IS0tCmRvY3VtZW50LndyaXRlKCc8dHIgdmFsaWduPSJ0b3AiPjx0
ZCB3aWR0aD0iOCI+PGltZyBzcmM9Ii8vd3d3LmlibS5jb20vaS9jLmdpZiIgd2lkdGg9IjgiIGhl
aWdodD0iMSIgYWx0PSIiLz48L3RkPjx0ZCB3aWR0aD0iMTYiPjxpbWcgc3JjPSIvL3d3dy5pYm0u
Y29tL2kvdjE0L2ljb25zL2VtLmdpZiIgaGVpZ2h0PSIxNiIgd2lkdGg9IjE2IiB2c3BhY2U9IjMi
IGFsdD0i5bCG5q2k6aG15L2c5Li655S15a2Q6YKu5Lu25Y+R6YCBIiAvPjwvdGQ+PHRkIHdpZHRo
PSIxMjIiPjxwPjxhIGNsYXNzPSJzbWFsbHBsYWlubGluayIgaHJlZj0iamF2YXNjcmlwdDpkb2N1
bWVudC5lbWFpbC5zdWJtaXQoKTsiPjxiPuWwhuatpOmhteS9nOS4uueUteWtkOmCruS7tuWPkemA
gTwvYj48L2E+PC9wPjwvdGQ+PC90cj4nKTsKLy8tLT4KPC9TQ1JJUFQ+DQogICAgICAgICAgICAg
ICAgICAgICAgICAgIDxOT1NDUklQVD4NCiAgICAgICAgICAgICAgICAgICAgICAgICAgPFRCT0RZ
Pg0KICAgICAgICAgICAgICAgICAgICAgICAgICA8VFIgdkFsaWduPXRvcD4NCiAgICAgICAgICAg
ICAgICAgICAgICAgICAgICA8VEQgd2lkdGg9OD48SU1HIGhlaWdodD0xIGFsdD0iIiANCiAgICAg
ICAgICAgICAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvYy5naWYi
IHdpZHRoPTg+PC9URD4NCiAgICAgICAgICAgICAgICAgICAgICAgICAgICA8VEQgd2lkdGg9MTY+
PElNRyBoZWlnaHQ9MTYgYWx0PSIiIA0KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgc3Jj
PSJodHRwOi8vd3d3LmlibS5jb20vaS9jLmdpZiIgd2lkdGg9MTY+PC9URD4NCiAgICAgICAgICAg
ICAgICAgICAgICAgICAgICA8VEQgY2xhc3M9c21hbGwgd2lkdGg9MTIyPg0KICAgICAgICAgICAg
ICAgICAgICAgICAgICAgICAgPFA+PFNQQU4gY2xhc3M9YXN0PuacquaYvuekuumcgOimgSBKYXZh
U2NyaXB0IA0KICAgICAgICAgICAgICAgICAgICAgICAgICAgICAg55qE5paH5qGj6YCJ6aG5PC9T
UEFOPjwvUD48L1REPjwvVFI+PC9OT1NDUklQVD48L0ZPUk0+PC9UQk9EWT48L1RBQkxFPjwvVEQ+
PC9UUj48L1RCT0RZPjwvVEFCTEU+PCEtLVNUQVJUIFJFU0VSVkVEIEZPUiBGVVRVUkUgVVNFIElO
Q0xVREUgRklMRVMtLT48IS0tIHRoaXMgY29udGVudCB3aWxsIGJlIGF1dG9tYXRpY2FsbHkgZ2Vu
ZXJhdGVkIGFjcm9zcyBhbGwgY29udGVudCBhcmVhcyAtLT48QlI+PCEtLUVORCBSRVNFUlZFRCBG
T1IgRlVUVVJFIFVTRSBJTkNMVURFIEZJTEVTLS0+PEJSPjwvVEQ+PC9UUj48L1RCT0RZPjwvVEFC
TEU+DQogICAgICAgICAgICA8UD7nuqfliKs6IOWInee6pzwvUD4NCiAgICAgICAgICAgIDxQPjxB
IA0KICAgICAgICAgICAgaHJlZj0iaHR0cDovL3d3dy5pYm0uY29tL2RldmVsb3BlcndvcmtzL2Nu
L2phdmEvai1jc3AzLmh0bWwjYXV0aG9yIj5BYmhpaml0IA0KICAgICAgICAgICAgQmVsYXB1cmth
cjwvQT4gKDxBIA0KICAgICAgICAgICAgaHJlZj0ibWFpbHRvOmFiaGlqaXRfYmVsYXB1cmthckBp
bmZvc3lzLmNvbT9zdWJqZWN0PemAgueUqOS6jiBKYXZhIOeoi+W6j+WRmOeahCBDU1Ag77yM56ys
IDMg6YOo5YiGIj5tYWlsdG86YWJoaWppdF9iZWxhcHVya2FyQGluZm9zeXMuY29tP3N1YmplY3Q9
6YCC55So5LqOIA0KICAgICAgICAgICAgSmF2YSDnqIvluo/lkZjnmoQgQ1NQIO+8jOesrCAzIOmD
qOWIhjwvQT4pLCDpq5jnuqfmioDmnK/mnrbmnoTluIgsIEluZm9zeXMgVGVjaG5vbG9naWVzIA0K
ICAgICAgICAgICAgTGltaXRlZDxCUj48L1A+DQogICAgICAgICAgICA8UD4yMDA1IOW5tCA3IOac
iCAxMSDml6U8L1A+DQogICAgICAgICAgICA8QkxPQ0tRVU9URT5BYmhpaml0IEJlbGFwdXJrYXIg
6YCa6L+H5LuL57uNIEpDU1Ag5byA5Y+R6auY57qn5Li76aKY77yM57uT5p2f5LqG55Sx5LiJ6YOo
5YiG57uE5oiQ55qE5LuL57uN6YCC55So5LqOIA0KICAgICAgICAgICAgICBKYXZhIOW8gOWPkeS6
uuWRmOeahCBDU1Ag55qE57O75YiX5paH56ug77yM5LuL57uN55qE5YaF5a655YyF5ous77yaSkNT
UCDkuI4gQU9QIOeahOebuOS8vOaAp+OAgUpDU1Ag5LiOIA0KICAgICAgICAgICAgICA8Q09ERT5q
YXZhLnV0aWwuY29uY3VycmVudDwvQ09ERT4g55qE5q+U6L6D77yM5Lul5Y+K55SoIEpDU1Ag6L+b
6KGM6auY57qn5ZCM5q2l44CCPC9CTE9DS1FVT1RFPjwhLS1TVEFSVCBSRVNFUlZFRCBGT1IgRlVU
VVJFIFVTRSBJTkNMVURFIEZJTEVTLS0+PCEtLSBpbmNsdWRlIGphdmEgc2NyaXB0IG9uY2Ugd2Ug
dmVyaWZ5IHRlYW1zIHdhbnRzIHRvIHVzZSB0aGlzIGFuZCBpdCB3aWxsIHdvcmsgb24gZGJjcyBh
bmQgY3lyaWxsaWMgY2hhcmFjdGVycyAtLT48IS0tRU5EIFJFU0VSVkVEIEZPUiBGVVRVUkUgVVNF
IElOQ0xVREUgRklMRVMtLT4NCiAgICAgICAgICAgIDxQPuWmguaenOaCqOS7juW8gOWni+WwseS4
gOebtOmYheivu+i/meS4quezu+WIl++8jOmCo+S5iOWIsOS6hueOsOWcqO+8jOaCqOW6lOW9k+WQ
jOaEjyBDU1Ag5piv5LiA5Liq5YC85b6X56CU56m255qE57yW56iL6IyD5byP77yM6ICMIEpDU1Ag
DQogICAgICAgICAgICDlupPliJnlgLzlvpfmgqjmt7vliqDliLDlt6XlhbfljIXkuK3jgILlnKjn
rKwgMyDpg6jliIbkuK3vvIzmiJHlj6rmmK/nu5nmgqjmj5Dkvpvkuobmm7TlpJrnmoTnoJTnqbYg
SkNTUCDnkIbnlLHjgILmiJHlsIbku47orqjorrogQ1NQIOeahOWkjeWQiOaKgOacr+S4jumdouWQ
keaWuemdoue8lueoi++8iOaIliANCiAgICAgICAgICAgIEFPUO+8iSDnmoTmqKHlnZfljJbmioDm
nK/kuYvpl7TnmoTnm7jkvLzmgKflvIDlp4vjgILnhLblkI7ku4vnu40gSkNTUCDnmoTkuIDkupvm
m7Tpq5jnuqfnmoTlkIzmraXmnoTpgKDvvIzlubborqjorrrpgILlkIjlupTnlKjlroPku6znmoTl
nLrmma/vvIzov5jlsIbmm7Tlub/ms5vlnLDorqjorrrkvb/nlKggDQogICAgICAgICAgICBKQ1NQ
IOi/m+ihjOWkmue6v+eoi+e8lueoi+eahOWlveWkhO+8jOavlOWmgumqjOivgeOAgee7tOaKpOS7
peWPiuWPr+W6lOeUqOS6juWIhuW4g+W8j+e8lueoi+eahOS4gOenjeaWueazleOAgjwvUD4NCiAg
ICAgICAgICAgIDxQPuaIkei/mOimgeWbnuetlOS7peS4i+mXrumimO+8muWmguaenOW3sue7j+mH
h+eUqOS6hiA8Q09ERT5qYXZhLnV0aWwuY29uY3VycmVudDwvQ09ERT4gDQogICAgICAgICAgICDn
moTlubblj5HmgKflt6XlhbfvvIzpgqPkuYjmmK/lkKbov5jmnInlrabkuaAgSkNTUCDnmoTlv4Xo
poHjgILvvIjmmL7nhLbvvIzmiJHorqTkuLrmnInov5nkuKrlv4XopoHvvIHvvIk8L1A+DQogICAg
ICAgICAgICA8UD7lpoLmnpzov5jmsqHmnInpmIXor7vmnKzmlofnmoQgPEEgDQogICAgICAgICAg
ICBocmVmPSJodHRwOi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY24vamF2YS9qLWNzcDEu
aHRtbCI+56ysIDEgDQogICAgICAgICAgICDpg6jliIY8L0E+IOWSjCA8QSANCiAgICAgICAgICAg
IGhyZWY9Imh0dHA6Ly93d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9jbi9qYXZhL2otY3NwMi8i
PuesrCAyIA0KICAgICAgICAgICAg6YOo5YiGPC9BPu+8jOmCo+S5iOWcqOe7p+e7reaIkeS7rOea
hOS7i+e7jeS5i+WJje+8jOaCqOWPr+iDvemcgOimgei/meS5iOWBmuOAgjwvUD4NCiAgICAgICAg
ICAgIDxQPjxBIG5hbWU9TjEwMDU0PjxTUEFOIGNsYXNzPWF0aXRsZT5BT1Ag5ZKMIENTUDwvU1BB
Tj48L0E+PC9QPg0KICAgICAgICAgICAgPFA+6Z2i5ZCR5pa56Z2i57yW56iL77yM5Y2zIEFPUO+8
jOaYr+eOsOWcqOWkp+WkmuaVsCBKYXZhIOW8gOWPkeS6uuWRmOmDveefpemBk+eahOS4gOS4quac
r+ivreOAgkFPUCANCiAgICAgICAgICAgIOaKiuezu+e7n+W9k+aIkOaWuemdouaIluiAheWFs+az
qOeCueeahOeahOe7hOWQiO+8jOiAjOS4jeaYr+WNlee6r+WcsOWwhuezu+e7n+eci+aIkOaYr+Wv
ueixoeeahOe7hOWQiOOAguWug+ivleWbvumAmui/h+aKiuWIh+WFpeeCuee7hOWQiOaIkOeLrOer
i+eahOaooeWdl++8jOeUseaooeWdl+S7o+eggeino+WGs+S4gOS4queJueWumuWFs+azqO+8jOS7
juiAjOaPkOmrmOezu+e7n+eahOaooeWdl+aAp+OAgui/meS6m+aooeWdl+WPr+S7peeUqOmdmeaA
geaIluWKqOaAgee8lue7h+aKgOacr+e8lue7h+WcqOS4gOi1t+OAgjwvUD4NCiAgICAgICAgICAg
IDxQPui/meS4quezu+WIl+aWh+eroOS4reW3sue7j+S7i+e7jeS6huW+iOWkmuWGheWuue+8jOaJ
gOS7peWvueaCqOadpeivtO+8jOW6lOW9k+W+iOWuueaYk+WwseWPr+S7peeci+WHuiBBT1Ag55qE
5qaC5b+1IDxJPuaKiuaooeWdl+e8lue7h+WcqOS4gOi1tzwvST4g5LiOIENTUCANCiAgICAgICAg
ICAgIOeahOamguW/tSA8ST7nu4TlkIjov5vnqIvnvZHnu5w8L0k+IOS5i+mXtOeahOebuOS8vOaA
p+OAguS4pOS4quaKgOacr+S5i+mXtOeahOebuOS8vO+8iOe7neWvueS4jeaYr+aVheaEj+eahO+8
ge+8ieS4u+imgeaYr+eUseS6juWQjuiAheeahOWkjeWQiOaAp+i0qOOAgjwvUD4NCiAgICAgICAg
ICAgIDxQPuS4gOS4quWfuuS6juWuieWFqOaAp+ajgOa1i+eahOekuuS+i+iiq+mikee5geWcsOeU
qOS9nCBBT1AgDQogICAgICAgICAgICDnmoTnpLrkvovjgILlnKjov5nkuKrnpLrkvovkuK3vvIzl
jIXlkKvop6PlhrPlupTnlKjnqIvluo/lronlhajpl67popjnmoTku6PnoIHnmoTmqKHlnZfmmK/k
u6XmlrnpnaLnmoTlvaLlvI/nvJblhpnlkozmiZPljIXnmoTvvJvnhLblkI7vvIzov5nkuKrmlrnp
naLlsIblupTnlKjkuo7mlbTkuKrlupTnlKjnqIvluo/kuK3miYDmnInpgILlvZPnmoTkuJrliqHl
r7nosaHjgILkuLrkuobnlKggDQogICAgICAgICAgICBDU1AgDQogICAgICAgICAgICDop6PlhrPl
kIzmoLfnmoTpl67popjvvIzlj6/ku6XlhYjku47nvJblhpnov5vnqIvlvIDlp4vvvIznvJblhpnk
uIDkuKrljIXlkKvkuJrliqHlr7nosaHnmoTlip/og73nmoTov5vnqIvvvIzlho3nvJblhpnlj6bk
uIDkuKrljIXlkKvlupTnlKjnqIvluo/nmoTlronlhajmgKfmo4DmtYvlip/og73nmoTov5vnqIvj
gILnhLblkI7lj6/ku6XnlKggDQogICAgICAgICAgICA8Q09ERT5PbmUyT25lPC9DT0RFPiDpgJrp
gZPmiorkuKTkuKrov5vnqIvov57mjqXotbfmnaXjgIJDU1Ag5oqA5pyv55qE5LyY5Yq/5LiOIEFP
UCDmioDmnK/nsbvkvLzvvJrpg73lj6/ku6XlsIblhbPms6jngrnliIbpmpTlvIDjgII8L1A+DQog
ICAgICAgICAgICA8VEFCTEUgY2VsbFNwYWNpbmc9MCBjZWxsUGFkZGluZz0wIHdpZHRoPSI0MCUi
IGFsaWduPXJpZ2h0IA0KICAgICAgICAgICAgICBib3JkZXI9MD48VEJPRFk+DQogICAgICAgICAg
ICAgIDxUUj4NCiAgICAgICAgICAgICAgICA8VEQgd2lkdGg9MTA+PElNRyBoZWlnaHQ9MSBhbHQ9
IiIgDQogICAgICAgICAgICAgICAgICBzcmM9Imh0dHA6Ly93d3cuaWJtLmNvbS9pL2MuZ2lmIiB3
aWR0aD0xMD48L1REPg0KICAgICAgICAgICAgICAgIDxURD4NCiAgICAgICAgICAgICAgICAgIDxU
QUJMRSBjZWxsU3BhY2luZz0wIGNlbGxQYWRkaW5nPTUgd2lkdGg9IjEwMCUiIGJvcmRlcj0xPg0K
ICAgICAgICAgICAgICAgICAgICA8VEJPRFk+DQogICAgICAgICAgICAgICAgICAgIDxUUj4NCiAg
ICAgICAgICAgICAgICAgICAgICA8VEQgYmdDb2xvcj0jZWVlZWVlPjxBIA0KICAgICAgICAgICAg
ICAgICAgICAgICAgbmFtZT1zaWRlYmFyMT48Qj7kuI3opoHplJnov4fmnKzns7vliJflhbbkvZnp
g6jliIbvvIE8L0I+PC9BPjxCUj4NCiAgICAgICAgICAgICAgICAgICAgICAgIDxQPuKAnOmAgueU
qOS6jiBKYXZhIOeoi+W6j+WRmOeahCBDU1DigJ3mmK/nlLHkuInpg6jliIbnu4TmiJDnmoTku4vn
u43pgJrkv6Hpobrluo/ov5vnqIvvvIhDb21tdW5pY2F0aW5nIA0KICAgICAgICAgICAgICAgICAg
ICAgICAgU2VxdWVudGlhbCBQcm9jZXNzZXMg4oCU4oCUIENTUO+8ieeahOS4gOS4quezu+WIl+OA
gkNTUCANCiAgICAgICAgICAgICAgICAgICAgICAgIOaYr+W5tuWPkee8lueoi+eahOS4gOS4quiM
g+W8j++8jOWug+aJv+iupOS6huW5tuWPkee8lueoi+eahOWkjeadguaAp++8jOWNtOayoeacieaK
iuWkjeadguaAp+eVmee7meW8gOWPkeS6uuWRmOOAguivt+mYheivu+acrOezu+WIl+eahOWFtuS7
lumDqOWIhu+8mjxCUj48QlI+PEEgDQogICAgICAgICAgICAgICAgICAgICAgICBocmVmPSJodHRw
Oi8vd3d3LmlibS5jb20vZGV2ZWxvcGVyd29ya3MvY24vamF2YS9qLWNzcDIvIj7nrKwgDQogICAg
ICAgICAgICAgICAgICAgICAgICAyIOmDqOWIhu+8mueUqCBKQ1NQIOi/m+ihjOW5tuWPkee8lueo
izwvQT4gPEJSPjxCUj48QSANCiAgICAgICAgICAgICAgICAgICAgICAgIGhyZWY9Imh0dHA6Ly93
d3cuaWJtLmNvbS9kZXZlbG9wZXJ3b3Jrcy9jbi9qYXZhL2otY3NwMy5odG1sIj7nrKwgDQogICAg
ICAgICAgICAgICAgICAgICAgICAzIOmDqOWIhu+8miBKQ1NQIOeahOmrmOe6p+S4u+mimDwvQT4g
DQogICAgICAgICAgICAgIDwvUD48L1REPjwvVFI+PC9UQk9EWT48L1RBQkxFPjwvVEQ+PC9UUj48
L1RCT0RZPjwvVEFCTEU+PEJSPg0KICAgICAgICAgICAgPFRBQkxFIGNlbGxTcGFjaW5nPTAgY2Vs
bFBhZGRpbmc9MCB3aWR0aD0iMTAwJSIgYm9yZGVyPTA+DQogICAgICAgICAgICAgIDxUQk9EWT4N
CiAgICAgICAgICAgICAgPFRSPg0KICAgICAgICAgICAgICAgIDxURD48SU1HIGhlaWdodD0xIGFs
dD0iIiANCiAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5pYm0uY29tL2kvdjE0L3J1
bGVzL2JsdWVfcnVsZS5naWYiIA0KICAgICAgICAgICAgICAgICAgd2lkdGg9IjEwMCUiPjxCUj48
SU1HIGhlaWdodD02IGFsdD0iIiANCiAgICAgICAgICAgICAgICAgIHNyYz0iaHR0cDovL3d3dy5p