Re: How do relaxed access modes like opaque/acquire/release fit into the happens-before order.

Shuyang Liu via Concurrency-interest <[email protected]> Fri, 13 Aug 2021 07:20:37 -0700 (PDT)
Newsgroups gmane.comp.java.jsr.166-concurrency
Message-ID <[email protected]>
--===============3774096186853898356==
Content-Type: multipart/alternative;
	boundary=Apple-Mail-EF255BA6-5B96-4731-B465-AAB21217A42B
Content-Transfer-Encoding: 7bit


--Apple-Mail-EF255BA6-5B96-4731-B465-AAB21217A42B
Content-Type: text/plain;
	charset=utf-8
Content-Transfer-Encoding: base64

SGkgQWxleCwNCg0KWWVzIHRob3NlIGFyZSBjb3VudGVyLWV4YW1wbGVzIHRoYXQgYXJlIGZvcmJp
ZGRlbiBieSB0aGUgcnVsZXMgb2YgSkFNLiBJbiBnZW5lcmFsLCB3ZSBsb29rIGZvciBjZXJ0YWlu
IGtpbmRzIG9mIGN5Y2xlcyBpbiBhbiBleGVjdXRpb24gZ3JhcGggdG8gZGV0ZXJtaW5lIHRoZSBj
b25zaXN0ZW5jeSBvZiBpdCAod2hldGhlciBpdCBpcyBhbGxvd2VkIG9yIGZvcmJpZGRlbiBieSB0
aGUgbWVtb3J5IG1vZGVsKQ0KDQpUcmFjZSBvcmRlciBpcyBhIHRvdGFsIG9yZGVyIGFtb25nIGFs
bCBldmVudHMgdGhhdCBpcyBjb21wYXRpYmxlIHdpdGggc29tZSBiYXNpYyByZWxhdGlvbnMgaW4g
dGhlIGV4ZWN1dGlvbiwgc28gdGhhdCBpbmNsdWRlcyBwbGFpbiBhY2Nlc3Nlcy4gSG93ZXZlciwg
aXQgaXMgbm90IHVzZWQgYXMgYSBnbG9iYWwgb3JkZXIgdG8gZGV0ZXJtaW5lIHRoZSBjb25zaXN0
ZW5jeSBvZiBhbiBleGVjdXRpb24uIEl0IGlzIG1haW5seSBqdXN0IGEgbWVjaGFuaXNtIHVzZWQg
dG8gY29tcHV0ZSBhIHRvdGFsIG9yZGVyIGFtb25nIGZ1bGwgZmVuY2VzIGFuZCBhIHRvdGFsIG9y
ZGVyIGZvciBSTVdzLg0KDQpCZXN0IFJlZ2FyZHMsDQpTaHV5YW5nDQoNCj4gT24gQXVnIDEzLCAy
MDIxLCBhdCAxOjAxIEFNLCBBbGV4IE90ZW5rbyA8b2xla3NhbmRyLm90ZW5rb0BnbWFpbC5jb20+
IHdyb3RlOg0KPiANCj4g77u/DQo+IE9rLCByZS1yZWFkaW5nIGl0IHRvZGF5IGl0IGlzIGNsZWFy
IHRob3NlIHdlcmUgY291bnRlcmV4YW1wbGVzLg0KPiANCj4gQnV0IHdoYXQgaXMgdHJhY2Ugb3Jk
ZXI/IFRoZSBkZWZpbml0aW9uIHNheXMgYSB0b3RhbCBvcmRlciBvZiBhbGwgbWVtb3J5IGFjY2Vz
c2VzLiBEb2VzIHRoaXMgaW5jbHVkZSBwbGFpbiBhY2Nlc3Nlcz8gT3IgaXMgaXQgYWxsIGFjY2Vz
c2VzIGNvbnNpZGVyZWQgdGh1cyBmYXIgLSBvcGFxdWUsIHJhLCB2b2xhdGlsZT8NCj4gDQo+IEFs
ZXgNCj4gDQo+PiBPbiBGcmksIDEzIEF1ZyAyMDIxLCAwODowMiBBbGV4IE90ZW5rbywgPG9sZWtz
YW5kci5vdGVua29AZ21haWwuY29tPiB3cm90ZToNCj4+IEhpIFNodXlhbmcsIA0KPj4gDQo+PiBJ
cyBpdCBvayB0byBhc2sgZm9yIGNsYXJpZmljYXRpb25zIGhlcmU/DQo+PiANCj4+IEkgYW0gY29u
ZnVzZWQgYnkgY29fMCBhbmQgY28gZ29pbmcgaW4gb3Bwb3NpdGUgZGlyZWN0aW9ucyBpbiB0aGUg
ZGlhZ3JhbXMsIGJ1dCB0aGUgdGV4dCBjbGFpbXMgY29fMCBhcmUgdHJlYXRlZCBqdXN0IGxpa2Ug
b3RoZXIgY28uIERvZXNuJ3QgdGhhdCBpbnRyb2R1Y2UgY3ljbGVzPy4uDQo+PiANCj4+IEFsZXgN
Cj4+IA0KPj4+IE9uIFRodSwgMTIgQXVnIDIwMjEsIDA5OjQzIFNodXlhbmcgTGl1LCA8c2xpdTQ0
QGNzLnVjbGEuZWR1PiB3cm90ZToNCj4+PiBPdXIgZ3JvdXAgaGFkIGEgcGFwZXIgaW4gMjAxOSBm
b3JtYWxpemluZyB0aGUgYWNjZXNzIG1vZGVzIGluIEphdmE6IGh0dHBzOi8vZGwuYWNtLm9yZy9k
b2kvMTAuMTE0NS8zMzYwNTY4DQo+Pj4gKE5vdGUgdGhhdCB0aGVyZSB3YXMgYSBzbWFsbCBwcm9i
bGVtIG9uIHRoZSBzZW1hbnRpY3Mgb2Ygdm9sYXRpbGUuIEluIHBhcnRpY3VsYXIsIG9uZSBzaG91
bGQgdXNlIGVpdGhlciBsZWFkaW5nIG9yIHRyYWlsaW5nIGZlbmNlIGluc2VydGlvbiBzY2hlbWUg
Y29uc2lzdGVudGx5IGZvciB2b2xhdGlsZSByZWFkcyBhbmQgd3JpdGVzLCBpbnN0ZWFkIG9mIG1p
eGluZyB0aGVtLiBXZSBoYXZlIGZpeGVkIGl0IGJ1dCBzdGlsbCBpbiB0aGUgcHJvY2VzcyBvZiBw
dWJsaXNoaW5nIGl0KSANCj4+PiANCj4+PiBJbiBvdXIgbW9kZWwsIHdlIGRpZCBub3QgdXNlIHRo
ZSBoYXBwZW5zLWJlZm9yZSBhcHByb2FjaCBhbnltb3JlLiBJbnN0ZWFkIHdlIGZvcm1hbGl6ZWQg
aXQgaW4gdGVybXMgb2YgdmlzaWJpbGl0eSBvcmRlci4gKERldGFpbHMgY2FuIGJlIGZvdW5kIGlu
IHRoZSBwYXBlcikuDQo+Pj4gDQo+Pj4gSW4gZ2VuZXJhbCwgb3BhcXVlIG1vZGUgYWNjZXNzZXMg
ZG8gbm90IHByZXNlcnZlIHByb2dyYW0gb3JkZXJzIGZvciBhY2Nlc3NlcyB0byBkaWZmZXJlbnQg
bG9jYXRpb25zLiBUaGV5IGRvLCBob3dldmVyLCBmb2xsb3dzIHRoZSBjb2hlcmVuY2UgcnVsZXMu
IFRoZSByZWxlYXNlLWFjcXVpcmUgbW9kZSBhY2Nlc3NlcyBwcmVzZXJ2ZXMgcHJvZ3JhbSBvcmRl
cnMgYnV0IG5vdCBuZWNlc3NhcmlseSBnbG9iYWwgb3JkZXJzLiBUaGlzIGhhcyB0byBkbyB3aXRo
IHRoZSBub24tTUNBIG5hdHVyZSBvZiB0aGUgUG93ZXIgYXJjaGl0ZWN0dXJlIHRoYXQgaXQgY29t
cGlsZXMgdG8uIFlvdSBtaWdodCBmaW5kIGl0IHN0cmFuZ2UgdGhhdCB0aGVyZSBpcyBubyBzdyBv
cmRlciBmb3IgcmVsZWFzZS1hY3F1aXJlIG1vZGUgaW4gb3VyIG1vZGVsLiBUaGlzIGlzIGJlY2F1
c2Ugd2Ugc2ltcGxpZmllZCB0aGUgY3VtdWxhdGl2ZSBlZmZlY3Qgb2YgbHdzeW5jIGFuZCBod3N5
bmMgdXNpbmcgcmYgd2hpbGUgbm90IGNvbnNpZGVyaW5nIGZyICh3ZSBoYXZlIHByb3ZlZCB0aGUg
Y29tcGlsYXRpb24gaXMgY29ycmVjdCBpbiBvdXIgb24tZ29pbmcgcGFwZXIpIGFuZCB4ODYgYW5k
IEFSTXY4IGFyZSBNQ0EuIEZpbmFsbHksIHRoZXJlIGlzIGEgdG90YWwgb3JkZXIgYW1vbmcgdm9s
YXRpbGUgYWNjZXNzZXMgd2hlbiB0aGV5IGNhcnJ5IG91dCDigJxwdXNo4oCdIG9yZGVycyBlbXVs
YXRpbmcgdGhlIGVmZmVjdCBvZiBmdWxsIGZlbmNlcy4gDQo+Pj4gDQo+Pj4gVGhlIGZvcm1hbCBk
ZWZpbml0aW9uIG9mIGRhdGEgcmFjZSBpcyBkZWZpbmVkIGluIHRlcm1zIG9mIHN3IG9yZGVyIHRo
b3VnaDogYSBwYWlyIG9mIGFjY2Vzc2VzIGlzIHNhaWQgdG8gZm9ybSBhIHJhY2UgaWYgdGhleSBh
cmUgMSkgY29uZmxpY3RpbmcsIGFuZCAyKSBub3Qgb3JkZXJlZCBieSBoYXBwZW5zLWJlZm9yZS4g
V2UgdXNlIHRoZSBjb252ZW50aW9uYWwgZGVmaW5pdGlvbiBmb3IgaGFwcGVucyBiZWZvcmUsIHdo
aWNoIGlzIChwbyB8IHN3KSsgKHRoZSB0cmFuc2l0aXZlIGNsb3N1cmUgb2YgdGhlIHVuaW9uIG9m
IHByb2dyYW0gb3JkZXIgYW5kIHN5bmNocm9uaXplcy13aXRoKSwgd2hlcmUgc3cgaXMgZGVmaW5l
ZCBhcyB0aGUgcmVhZHMtZnJvbSBvcmRlciBmcm9tIGEgcmVsZWFzZSB3cml0ZSB0byBhbiBhY3F1
aXJlIHJlYWQuIA0KPj4+IA0KPj4+IE9uZSBsYXN0IHRoaW5nLCBpbiBvdXIgZm9ybWFsIG1vZGVs
LCBvcGFxdWUgcmVhZHMgcHJlc2VydmVzIHRoZSBsb2NhbCBwcm9ncmFtIG9yZGVyLiBCdXQgdGhp
cyBpcyBwdXJlbHkgYSB3b3JrLWFyb3VuZCB0byBwcmV2ZW50IG91dC1vZi10aGluLWFpciByZXN1
bHRzLiBBcyBhIGNvbnNlcXVlbmNlLCB0aGlzIHJlcXVpcmVzIHRoZSBjb21waWxlciB0byB5aWVs
ZCBhIOKAnGZha2XigJ0gZGVwZW5kZW5jeSBhZnRlciBlYWNoIHJlYWQgaW5zdHJ1Y3Rpb24sIHdo
aWNoIGlzIG5vdCB0cnVlIGluIHByYWN0aWNlLiANCj4+PiANCj4+PiBIb3BlIHRoaXMgaGVscHMh
DQo+Pj4gDQo+Pj4gQmVzdCBSZWdhcmRzLA0KPj4+IFNodXlhbmcNCj4+PiANCj4+Pj4+IE9uIEF1
ZyAxMiwgMjAyMSwgYXQgMToxOCBBTSwgUGV0ZXIgVmVlbnRqZXIgdmlhIENvbmN1cnJlbmN5LWlu
dGVyZXN0IDxjb25jdXJyZW5jeS1pbnRlcmVzdEBjcy5vc3dlZ28uZWR1PiB3cm90ZToNCj4+Pj4+
IA0KPj4+PiDvu78NCj4+Pj4gSGkgQWxleCwNCj4+Pj4gDQo+Pj4+IFRoYW5rcyBmb3IgeW91ciBh
bnN3ZXIuIFRoYXQgc291bmRzIGxpa2UgYSB2ZXJ5IHNlbnNpYmxlIGFwcHJvYWNoLiANCj4+Pj4g
DQo+Pj4+IEkgbmVlZCB0byB0aGluayBhYm91dCB0aGlzLg0KPj4+PiANCj4+Pj4gUmVnYXJkcywN
Cj4+Pj4gDQo+Pj4+IFBldGVyLg0KPj4+PiANCj4+Pj4+IE9uIFRodSwgQXVnIDEyLCAyMDIxIGF0
IDExOjE0IEFNIEFsZXggT3RlbmtvIDxvbGVrc2FuZHIub3RlbmtvQGdtYWlsLmNvbT4gd3JvdGU6
DQo+Pj4+PiBJIHRyZWF0IG9wYXF1ZSByZWFkL3dyaXRlIGFzIHBhcnQgb2YgU08sIGJ1dCB3aGlj
aCBkbyBub3QgaW50cm9kdWNlIFNXIGVkZ2VzIC0gbm8gdHJhbnNpdGl2ZSBjbG9zdXJlIG9mIHBy
b2dyYW0gb3JkZXJzLiBUaGV5IG9ic2VydmUgZWFjaCBvdGhlciwgYmVjYXVzZSBTTyBzcGVjaWZp
ZXMgd2hvIGlzIGJlZm9yZSB3aG8uDQo+Pj4+PiANCj4+Pj4+IFRoZW4gYWNxdWlyZS8gcmVsZWFz
ZSBpbnRyb2R1Y2UgY29ycmVzcG9uZGluZyBwYXJ0cyBvZiB0cmFuc2l0aXZlIGNsb3N1cmUuIElu
IHRoZSBlbmQgdm9sYXRpbGUgbG9hZC9zdG9yZSBhcmUganVzdCB0aGF0Lg0KPj4+Pj4gDQo+Pj4+
PiBBbGV4DQo+Pj4+PiANCj4+Pj4+PiBPbiBUaHUsIDEyIEF1ZyAyMDIxLCAwODo1MiBQZXRlciBW
ZWVudGplciB2aWEgQ29uY3VycmVuY3ktaW50ZXJlc3QsIDxjb25jdXJyZW5jeS1pbnRlcmVzdEBj
cy5vc3dlZ28uZWR1PiB3cm90ZToNCj4+Pj4+PiBUaGUgaGFwcGVucy1iZWZvcmUgKEhCKSBvcmRl
ciBpcyBkZWZpbmVkIHVzaW5nOg0KPj4+Pj4+IA0KPj4+Pj4+IFN5bmNocm9uaXphdGlvbiBvcmRl
ciAoU08pOiB0b3RhbCBvcmRlciBvdmVyIGFsbCBzeW5jaHJvbml6YXRpb24gYWN0aW9ucy4NCj4+
Pj4+PiANCj4+Pj4+PiBTeW5jaHJvbml6ZXMgd2l0aCBvcmRlciAoU1cpOiBhIHN1YiBvcmRlciBv
ZiB0aGUgU08gdGhhdCBvbmx5IG9yZGVycyBlLmcuIGEgdm9sYXRpbGUgd3JpdGUgb2YgWCB3aXRo
IGFsbCBzdWJzZXF1ZW50IHZvbGF0aWxlIHJlYWRzIG9mIFguDQo+Pj4+Pj4gDQo+Pj4+Pj4gUHJv
Z3JhbSBPcmRlciAoUE8pOiBhIHBhcnRpYWwgb3JkZXIgdGhhdCAgb3JkZXJzIGFsbCBtZW1vcnkg
YWN0aW9ucyBpc3N1ZWQgYnkgYSBzaW5nbGUgQ1BVLg0KPj4+Pj4+IA0KPj4+Pj4+IEFuZCB0aGUg
SEIgcmVsYXRpb24gaXMgZGVmaW5lZCBhcyB0aGUgdHJhbnNpdGl2ZSBjbG9zdXJlIG9mIHRoZSB1
bmlvbiBvZiB0aGUgU1cgYW5kIFBPLg0KPj4+Pj4+IA0KPj4+Pj4+IE15IHF1ZXN0aW9uIGlzIGhv
dyBkbyByZWxheGVkIGFjY2VzcyBtb2RlcyBsaWtlIG9wYXF1ZSBhbmQgYWNxdWlyZS9yZWxlYXNl
IGZpdCBpbnRvIHRoZSBIQj8NCj4+Pj4+PiANCj4+Pj4+PiBMZXQncyBzdGFydCB3aXRoIG9wYXF1
ZTsgaXMgYW4gb3BhcXVlIHdyaXRlL3JlYWQgcGFydCBvZiB0aGUgU08/IElmIHNvLCB0aGVuIGl0
IHdpbGwgYmUgcGFydCBvZiB0aGUgU1cgYW5kIEhCLiBBbmQgYmVjYXVzZSBvZiB0aGlzLCBpdCB3
aWxsIG9yZGVyIGxvYWRzL3N0b3JlcyB0byBkaWZmZXJlbnQgYWRkcmVzc2VzIHdoaWNoIGlzIG5v
dCBkZXNpcmFibGUuIFNvIEkgZ3Vlc3MgdGhlIGxvZ2ljYWwgc29sdXRpb24gd291bGQgYmUgdGhh
dCBhbiBvcGFxdWUgcmVhZC93cml0ZSBpcyBub3QgcGFydCBvZiB0aGUgU08gYW5kIGhlbmNlIHdl
IGRvbid0IGdldCB0aGlzIHByb2JsZW0uICBIb3dldmVyIG5vdyB3ZSBoYXZlIHRoZSBwcm9ibGVt
IHRoYXQgYW4gb3BhcXVlIHJlYWQvd3JpdGUgaXMgbm90IG9yZGVyZWQgYnkgdGhlIEhCIGFuZCB3
ZSBoYXZlIGEgZGF0YSByYWNlIChyZWFkIHdpbGwgc3RpbGwgYmUgaGItY29uc2lzdGVudCkuDQo+
Pj4+Pj4gDQo+Pj4+Pj4gSSdtIHJ1bm5pbmcgaW50byBhIHNpbWlsYXIgcHJvYmxlbSB3aXRoIHRo
ZSBhY3F1aXJlL3JlbGVhc2UuIFRyYWRpdGlvbmFsbHkgdGhleSBhcmUgY2FsbGVkIHN5bmNocm9u
aXphdGlvbiBhY3Rpb25zIHNpbmNlIGEgcmVsZWFzZS1zdG9yZSB3aWxsIHByZXZlbnQgYW55IG9s
ZGVyIGxvYWQvc3RvcmUgdG8gYmUgcmVvcmRlcmVkIHdpdGggdGhlIHJlbGVhc2Utc3RvcmUgYW5k
IGFjcXVpcmUtbG9hZCB3aWxsIHByZXZlbnQgYW55IGxhdGVyIGxvYWQvc3RvcmUgdG8gYmUgcmVv
cmRlcmVkIHdpdGggdGhlIGFjcXVpcmUtbG9hZC4gU28gdGhleSBwcm92aWRlIHNvbWUgbGV2ZWwg
b2YgICdzeW5jaHJvbml6YXRpb24nOyBidXQgaXMgdGhpcyBzdWZmaWNpZW50IGZvciB0aGVtIHRv
IGJlIHBhcnQgb2YgdGhlIFNPIG9yZGVyPyBPciBhcmUgdGhleSBleGNsdWRlZCBmcm9tIHRoZSBT
TyBhbmQgd2UgZW5kIHVwIHdpdGggYSBkYXRhLXJhY2U/DQo+Pj4+Pj4gDQo+Pj4+Pj4gT3IgY291
bGQgaXQgYmUgdGhhdCB0aGUgaGFwcGVucy1iZWZvcmUgbW9kZWwgaXNuJ3QgYSBzdWl0YWJsZSBt
b2RlbCB0byBkZWFsIHdpdGggcmVsYXhlZCBhY2Nlc3MgbW9kZXM/DQo+Pj4+Pj4gDQo+Pj4+Pj4g
UmVnYXJkcywNCj4+Pj4+PiANCj4+Pj4+PiBQZXRlci4NCj4+Pj4+PiANCj4+Pj4+PiANCj4+Pj4+
PiANCj4+Pj4+PiANCj4+Pj4+PiBfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fXw0KPj4+Pj4+IENvbmN1cnJlbmN5LWludGVyZXN0IG1haWxpbmcgbGlzdA0KPj4+
Pj4+IENvbmN1cnJlbmN5LWludGVyZXN0QGNzLm9zd2Vnby5lZHUNCj4+Pj4+PiBodHRwOi8vY3Mu
b3N3ZWdvLmVkdS9tYWlsbWFuL2xpc3RpbmZvL2NvbmN1cnJlbmN5LWludGVyZXN0DQo+Pj4+IF9f
X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fDQo+Pj4+IENvbmN1
cnJlbmN5LWludGVyZXN0IG1haWxpbmcgbGlzdA0KPj4+PiBDb25jdXJyZW5jeS1pbnRlcmVzdEBj
cy5vc3dlZ28uZWR1DQo+Pj4+IGh0dHA6Ly9jcy5vc3dlZ28uZWR1L21haWxtYW4vbGlzdGluZm8v
Y29uY3VycmVuY3ktaW50ZXJlc3QNCg==
--Apple-Mail-EF255BA6-5B96-4731-B465-AAB21217A42B
Content-Type: text/html;
	charset=utf-8
Content-Transfer-Encoding: base64

PGh0bWw+PGhlYWQ+PG1ldGEgaHR0cC1lcXVpdj0iY29udGVudC10eXBlIiBjb250ZW50PSJ0ZXh0
L2h0bWw7IGNoYXJzZXQ9dXRmLTgiPjwvaGVhZD48Ym9keSBkaXI9ImF1dG8iPkhpIEFsZXgsPGRp
dj48YnI+PC9kaXY+PGRpdj5ZZXMgdGhvc2UgYXJlIGNvdW50ZXItZXhhbXBsZXMgdGhhdCBhcmUg
Zm9yYmlkZGVuIGJ5IHRoZSBydWxlcyBvZiBKQU0uIEluIGdlbmVyYWwsIHdlIGxvb2sgZm9yIGNl
cnRhaW4ga2luZHMgb2YgY3ljbGVzIGluIGFuIGV4ZWN1dGlvbiBncmFwaCB0byBkZXRlcm1pbmUg
dGhlIGNvbnNpc3RlbmN5IG9mIGl0ICh3aGV0aGVyIGl0IGlzIGFsbG93ZWQgb3IgZm9yYmlkZGVu
IGJ5IHRoZSBtZW1vcnkgbW9kZWwpPC9kaXY+PGRpdj48YnI+PC9kaXY+PGRpdj5UcmFjZSBvcmRl
ciBpcyBhIHRvdGFsIG9yZGVyIGFtb25nIGFsbCBldmVudHMgdGhhdCBpcyBjb21wYXRpYmxlIHdp
dGggc29tZSBiYXNpYyByZWxhdGlvbnMgaW4gdGhlIGV4ZWN1dGlvbiwgc28gdGhhdCBpbmNsdWRl
cyBwbGFpbiBhY2Nlc3Nlcy4gSG93ZXZlciwgaXQgaXMgbm90IHVzZWQgYXMgYSBnbG9iYWwgb3Jk
ZXIgdG8gZGV0ZXJtaW5lIHRoZSBjb25zaXN0ZW5jeSBvZiBhbiBleGVjdXRpb24uIEl0IGlzIG1h
aW5seSBqdXN0IGEgbWVjaGFuaXNtIHVzZWQgdG8gY29tcHV0ZSBhIHRvdGFsIG9yZGVyIGFtb25n
IGZ1bGwgZmVuY2VzIGFuZCBhIHRvdGFsIG9yZGVyIGZvciBSTVdzLjxicj48YnI+PGRpdiBkaXI9
Imx0ciI+QmVzdCBSZWdhcmRzLDxicj48ZGl2PlNodXlhbmc8L2Rpdj48L2Rpdj48ZGl2IGRpcj0i
bHRyIj48YnI+PGJsb2NrcXVvdGUgdHlwZT0iY2l0ZSI+T24gQXVnIDEzLCAyMDIxLCBhdCAxOjAx
IEFNLCBBbGV4IE90ZW5rbyAmbHQ7b2xla3NhbmRyLm90ZW5rb0BnbWFpbC5jb20mZ3Q7IHdyb3Rl
Ojxicj48YnI+PC9ibG9ja3F1b3RlPjwvZGl2PjxibG9ja3F1b3RlIHR5cGU9ImNpdGUiPjxkaXYg
ZGlyPSJsdHIiPu+7vzxkaXYgZGlyPSJhdXRvIj5PaywgcmUtcmVhZGluZyBpdCB0b2RheSBpdCBp
cyBjbGVhciB0aG9zZSB3ZXJlIGNvdW50ZXJleGFtcGxlcy48ZGl2IGRpcj0iYXV0byI+PGJyPjwv
ZGl2PjxkaXYgZGlyPSJhdXRvIj5CdXQgd2hhdCBpcyB0cmFjZSBvcmRlcj8gVGhlIGRlZmluaXRp
b24gc2F5cyBhIHRvdGFsIG9yZGVyIG9mIGFsbCBtZW1vcnkgYWNjZXNzZXMuIERvZXMgdGhpcyBp
bmNsdWRlIHBsYWluIGFjY2Vzc2VzPyBPciBpcyBpdCBhbGwgYWNjZXNzZXMgY29uc2lkZXJlZCB0
aHVzIGZhciAtIG9wYXF1ZSwgcmEsIHZvbGF0aWxlPzxicj48ZGl2IGRpcj0iYXV0byI+PGJyPjwv
ZGl2PjxkaXYgZGlyPSJhdXRvIj5BbGV4PC9kaXY+PC9kaXY+PC9kaXY+PGJyPjxkaXYgY2xhc3M9
ImdtYWlsX3F1b3RlIj48ZGl2IGRpcj0ibHRyIiBjbGFzcz0iZ21haWxfYXR0ciI+T24gRnJpLCAx
MyBBdWcgMjAyMSwgMDg6MDIgQWxleCBPdGVua28sICZsdDs8YSBocmVmPSJtYWlsdG86b2xla3Nh
bmRyLm90ZW5rb0BnbWFpbC5jb20iPm9sZWtzYW5kci5vdGVua29AZ21haWwuY29tPC9hPiZndDsg
d3JvdGU6PGJyPjwvZGl2PjxibG9ja3F1b3RlIGNsYXNzPSJnbWFpbF9xdW90ZSIgc3R5bGU9Im1h
cmdpbjowIDAgMCAuOGV4O2JvcmRlci1sZWZ0OjFweCAjY2NjIHNvbGlkO3BhZGRpbmctbGVmdDox
ZXgiPjxkaXYgZGlyPSJhdXRvIj5IaSBTaHV5YW5nLCZuYnNwOzxkaXYgZGlyPSJhdXRvIj48YnI+
PC9kaXY+PGRpdiBkaXI9ImF1dG8iPklzIGl0IG9rIHRvIGFzayBmb3IgY2xhcmlmaWNhdGlvbnMg
aGVyZT88L2Rpdj48ZGl2IGRpcj0iYXV0byI+PGJyPjwvZGl2PjxkaXYgZGlyPSJhdXRvIj5JIGFt
IGNvbmZ1c2VkIGJ5IGNvXzAgYW5kIGNvIGdvaW5nIGluIG9wcG9zaXRlIGRpcmVjdGlvbnMgaW4g
dGhlIGRpYWdyYW1zLCBidXQgdGhlIHRleHQgY2xhaW1zIGNvXzAgYXJlIHRyZWF0ZWQganVzdCBs
aWtlIG90aGVyIGNvLiBEb2Vzbid0IHRoYXQgaW50cm9kdWNlIGN5Y2xlcz8uLjwvZGl2PjxkaXYg
ZGlyPSJhdXRvIj48YnI+PC9kaXY+PGRpdiBkaXI9ImF1dG8iPkFsZXg8L2Rpdj48L2Rpdj48YnI+
PGRpdiBjbGFzcz0iZ21haWxfcXVvdGUiPjxkaXYgZGlyPSJsdHIiIGNsYXNzPSJnbWFpbF9hdHRy
Ij5PbiBUaHUsIDEyIEF1ZyAyMDIxLCAwOTo0MyBTaHV5YW5nIExpdSwgJmx0OzxhIGhyZWY9Im1h
aWx0bzpzbGl1NDRAY3MudWNsYS5lZHUiIHRhcmdldD0iX2JsYW5rIiByZWw9Im5vcmVmZXJyZXIi
PnNsaXU0NEBjcy51Y2xhLmVkdTwvYT4mZ3Q7IHdyb3RlOjxicj48L2Rpdj48YmxvY2txdW90ZSBj
bGFzcz0iZ21haWxfcXVvdGUiIHN0eWxlPSJtYXJnaW46MCAwIDAgLjhleDtib3JkZXItbGVmdDox
cHggI2NjYyBzb2xpZDtwYWRkaW5nLWxlZnQ6MWV4Ij48ZGl2IGRpcj0iYXV0byI+PGRpdiBkaXI9
Imx0ciI+T3VyIGdyb3VwIGhhZCBhIHBhcGVyIGluIDIwMTkgZm9ybWFsaXppbmcgdGhlIGFjY2Vz
cyBtb2RlcyBpbiBKYXZhOiZuYnNwOzxhIGhyZWY9Imh0dHBzOi8vZGwuYWNtLm9yZy9kb2kvMTAu
MTE0NS8zMzYwNTY4IiByZWw9Im5vcmVmZXJyZXIgbm9yZWZlcnJlciIgdGFyZ2V0PSJfYmxhbmsi
Pmh0dHBzOi8vZGwuYWNtLm9yZy9kb2kvMTAuMTE0NS8zMzYwNTY4PC9hPjxkaXY+KE5vdGUgdGhh
dCB0aGVyZSB3YXMgYSBzbWFsbCBwcm9ibGVtIG9uIHRoZSBzZW1hbnRpY3Mgb2Ygdm9sYXRpbGUu
IEluIHBhcnRpY3VsYXIsIG9uZSBzaG91bGQgdXNlIGVpdGhlciBsZWFkaW5nIG9yIHRyYWlsaW5n
IGZlbmNlIGluc2VydGlvbiBzY2hlbWUgY29uc2lzdGVudGx5IGZvciB2b2xhdGlsZSByZWFkcyBh
bmQgd3JpdGVzLCBpbnN0ZWFkIG9mIG1peGluZyB0aGVtLiBXZSBoYXZlIGZpeGVkIGl0IGJ1dCBz
dGlsbCBpbiB0aGUgcHJvY2VzcyBvZiBwdWJsaXNoaW5nIGl0KSZuYnNwOzwvZGl2PjxkaXY+PGJy
PjwvZGl2PjxkaXY+SW4gb3VyIG1vZGVsLCB3ZSBkaWQgbm90IHVzZSB0aGUgaGFwcGVucy1iZWZv
cmUgYXBwcm9hY2ggYW55bW9yZS4gSW5zdGVhZCB3ZSBmb3JtYWxpemVkIGl0IGluIHRlcm1zIG9m
IHZpc2liaWxpdHkgb3JkZXIuIChEZXRhaWxzIGNhbiBiZSBmb3VuZCBpbiB0aGUgcGFwZXIpLjwv
ZGl2PjxkaXY+PGJyPjwvZGl2PjxkaXY+SW4gZ2VuZXJhbCwgb3BhcXVlIG1vZGUgYWNjZXNzZXMg
ZG8gbm90IHByZXNlcnZlIHByb2dyYW0gb3JkZXJzIGZvciBhY2Nlc3NlcyB0byBkaWZmZXJlbnQg
bG9jYXRpb25zLiBUaGV5IGRvLCBob3dldmVyLCBmb2xsb3dzIHRoZSBjb2hlcmVuY2UgcnVsZXMu
IFRoZSByZWxlYXNlLWFjcXVpcmUgbW9kZSBhY2Nlc3NlcyBwcmVzZXJ2ZXMgcHJvZ3JhbSBvcmRl
cnMgYnV0IG5vdCBuZWNlc3NhcmlseSBnbG9iYWwgb3JkZXJzLiBUaGlzIGhhcyB0byBkbyB3aXRo
IHRoZSBub24tTUNBIG5hdHVyZSBvZiB0aGUgUG93ZXIgYXJjaGl0ZWN0dXJlIHRoYXQgaXQgY29t
cGlsZXMgdG8uIFlvdSBtaWdodCBmaW5kIGl0IHN0cmFuZ2UgdGhhdCB0aGVyZSBpcyBubyBzdyBv
cmRlciBmb3IgcmVsZWFzZS1hY3F1aXJlIG1vZGUgaW4gb3VyIG1vZGVsLiBUaGlzIGlzIGJlY2F1
c2Ugd2Ugc2ltcGxpZmllZCB0aGUgY3VtdWxhdGl2ZSBlZmZlY3Qgb2YgbHdzeW5jIGFuZCBod3N5
bmMgdXNpbmcgcmYgd2hpbGUgbm90IGNvbnNpZGVyaW5nIGZyICh3ZSBoYXZlIHByb3ZlZCB0aGUg
Y29tcGlsYXRpb24gaXMgY29ycmVjdCBpbiBvdXIgb24tZ29pbmcgcGFwZXIpIGFuZCB4ODYgYW5k
IEFSTXY4IGFyZSBNQ0EuIEZpbmFsbHksIHRoZXJlIGlzIGEgdG90YWwgb3JkZXIgYW1vbmcgdm9s
YXRpbGUgYWNjZXNzZXMgd2hlbiB0aGV5IGNhcnJ5IG91dCDigJxwdXNo4oCdIG9yZGVycyBlbXVs
YXRpbmcgdGhlIGVmZmVjdCBvZiBmdWxsIGZlbmNlcy4mbmJzcDs8L2Rpdj48ZGl2Pjxicj48L2Rp
dj48ZGl2PlRoZSBmb3JtYWwgZGVmaW5pdGlvbiBvZiBkYXRhIHJhY2UgaXMgZGVmaW5lZCBpbiB0
ZXJtcyBvZiBzdyBvcmRlciB0aG91Z2g6IGEgcGFpciBvZiBhY2Nlc3NlcyBpcyBzYWlkIHRvIGZv
cm0gYSByYWNlIGlmIHRoZXkgYXJlIDEpIGNvbmZsaWN0aW5nLCBhbmQgMikgbm90IG9yZGVyZWQg
YnkgaGFwcGVucy1iZWZvcmUuIFdlIHVzZSB0aGUgY29udmVudGlvbmFsIGRlZmluaXRpb24gZm9y
IGhhcHBlbnMgYmVmb3JlLCB3aGljaCBpcyAocG8gfCBzdykrICh0aGUgdHJhbnNpdGl2ZSBjbG9z
dXJlIG9mIHRoZSB1bmlvbiBvZiBwcm9ncmFtIG9yZGVyIGFuZCBzeW5jaHJvbml6ZXMtd2l0aCks
IHdoZXJlIHN3IGlzIGRlZmluZWQgYXMgdGhlIHJlYWRzLWZyb20gb3JkZXIgZnJvbSBhIHJlbGVh
c2Ugd3JpdGUgdG8gYW4gYWNxdWlyZSByZWFkLiZuYnNwOzwvZGl2PjxkaXY+PGJyPjwvZGl2Pjxk
aXY+T25lIGxhc3QgdGhpbmcsIGluIG91ciBmb3JtYWwgbW9kZWwsIG9wYXF1ZSByZWFkcyBwcmVz
ZXJ2ZXMgdGhlIGxvY2FsIHByb2dyYW0gb3JkZXIuIEJ1dCB0aGlzIGlzIHB1cmVseSBhIHdvcmst
YXJvdW5kIHRvIHByZXZlbnQgb3V0LW9mLXRoaW4tYWlyIHJlc3VsdHMuIEFzIGEgY29uc2VxdWVu
Y2UsIHRoaXMgcmVxdWlyZXMgdGhlIGNvbXBpbGVyIHRvIHlpZWxkIGEg4oCcZmFrZeKAnSBkZXBl
bmRlbmN5IGFmdGVyIGVhY2ggcmVhZCBpbnN0cnVjdGlvbiwgd2hpY2ggaXMgbm90IHRydWUgaW4g
cHJhY3RpY2UuJm5ic3A7PC9kaXY+PGRpdj48YnI+PC9kaXY+PGRpdj5Ib3BlIHRoaXMgaGVscHMh
PC9kaXY+PGRpdj48YnI+PGRpdiBkaXI9Imx0ciI+QmVzdCBSZWdhcmRzLDxicj48ZGl2PlNodXlh
bmc8L2Rpdj48L2Rpdj48L2Rpdj48L2Rpdj48ZGl2IGRpcj0ibHRyIj48YnI+PGJsb2NrcXVvdGUg
dHlwZT0iY2l0ZSI+T24gQXVnIDEyLCAyMDIxLCBhdCAxOjE4IEFNLCBQZXRlciBWZWVudGplciB2
aWEgQ29uY3VycmVuY3ktaW50ZXJlc3QgJmx0OzxhIGhyZWY9Im1haWx0bzpjb25jdXJyZW5jeS1p
bnRlcmVzdEBjcy5vc3dlZ28uZWR1IiByZWw9Im5vcmVmZXJyZXIgbm9yZWZlcnJlciIgdGFyZ2V0
PSJfYmxhbmsiPmNvbmN1cnJlbmN5LWludGVyZXN0QGNzLm9zd2Vnby5lZHU8L2E+Jmd0OyB3cm90
ZTo8YnI+PGJyPjwvYmxvY2txdW90ZT48L2Rpdj48YmxvY2txdW90ZSB0eXBlPSJjaXRlIj48ZGl2
IGRpcj0ibHRyIj7vu788ZGl2IGRpcj0ibHRyIj48ZGl2PkhpIEFsZXgsPC9kaXY+PGRpdj48YnI+
PC9kaXY+PGRpdj5UaGFua3MgZm9yIHlvdXIgYW5zd2VyLiBUaGF0IHNvdW5kcyBsaWtlIGEgdmVy
eSBzZW5zaWJsZSBhcHByb2FjaC4gPGJyPjxicj48L2Rpdj48ZGl2PkkgbmVlZCB0byB0aGluayBh
Ym91dCB0aGlzLjxicj48YnI+PC9kaXY+PGRpdj5SZWdhcmRzLDxicj48YnI+PC9kaXY+PGRpdj5Q
ZXRlci48YnI+PC9kaXY+PC9kaXY+PGJyPjxkaXYgY2xhc3M9ImdtYWlsX3F1b3RlIj48ZGl2IGRp
cj0ibHRyIiBjbGFzcz0iZ21haWxfYXR0ciI+T24gVGh1LCBBdWcgMTIsIDIwMjEgYXQgMTE6MTQg
QU0gQWxleCBPdGVua28gJmx0OzxhIGhyZWY9Im1haWx0bzpvbGVrc2FuZHIub3RlbmtvQGdtYWls
LmNvbSIgcmVsPSJub3JlZmVycmVyIG5vcmVmZXJyZXIiIHRhcmdldD0iX2JsYW5rIj5vbGVrc2Fu
ZHIub3RlbmtvQGdtYWlsLmNvbTwvYT4mZ3Q7IHdyb3RlOjxicj48L2Rpdj48YmxvY2txdW90ZSBj
bGFzcz0iZ21haWxfcXVvdGUiIHN0eWxlPSJtYXJnaW46MHB4IDBweCAwcHggMC44ZXg7Ym9yZGVy
LWxlZnQ6MXB4IHNvbGlkIHJnYigyMDQsMjA0LDIwNCk7cGFkZGluZy1sZWZ0OjFleCI+PGRpdiBk
aXI9ImF1dG8iPkkgdHJlYXQgb3BhcXVlIHJlYWQvd3JpdGUgYXMgcGFydCBvZiBTTywgYnV0IHdo
aWNoIGRvIG5vdCBpbnRyb2R1Y2UgU1cgZWRnZXMgLSBubyB0cmFuc2l0aXZlIGNsb3N1cmUgb2Yg
cHJvZ3JhbSBvcmRlcnMuIFRoZXkgb2JzZXJ2ZSBlYWNoIG90aGVyLCBiZWNhdXNlIFNPIHNwZWNp
ZmllcyB3aG8gaXMgYmVmb3JlIHdoby48ZGl2IGRpcj0iYXV0byI+PGJyPjwvZGl2PjxkaXYgZGly
PSJhdXRvIj5UaGVuIGFjcXVpcmUvIHJlbGVhc2UgaW50cm9kdWNlIGNvcnJlc3BvbmRpbmcgcGFy
dHMgb2YgdHJhbnNpdGl2ZSBjbG9zdXJlLiBJbiB0aGUgZW5kIHZvbGF0aWxlIGxvYWQvc3RvcmUg
YXJlIGp1c3QgdGhhdC48YnI+PGRpdiBkaXI9ImF1dG8iPjxicj48L2Rpdj48ZGl2IGRpcj0iYXV0
byI+QWxleDwvZGl2PjwvZGl2PjwvZGl2Pjxicj48ZGl2IGNsYXNzPSJnbWFpbF9xdW90ZSI+PGRp
diBkaXI9Imx0ciIgY2xhc3M9ImdtYWlsX2F0dHIiPk9uIFRodSwgMTIgQXVnIDIwMjEsIDA4OjUy
IFBldGVyIFZlZW50amVyIHZpYSBDb25jdXJyZW5jeS1pbnRlcmVzdCwgJmx0OzxhIGhyZWY9Im1h
aWx0bzpjb25jdXJyZW5jeS1pbnRlcmVzdEBjcy5vc3dlZ28uZWR1IiByZWw9Im5vcmVmZXJyZXIg
bm9yZWZlcnJlciIgdGFyZ2V0PSJfYmxhbmsiPmNvbmN1cnJlbmN5LWludGVyZXN0QGNzLm9zd2Vn
by5lZHU8L2E+Jmd0OyB3cm90ZTo8YnI+PC9kaXY+PGJsb2NrcXVvdGUgY2xhc3M9ImdtYWlsX3F1
b3RlIiBzdHlsZT0ibWFyZ2luOjBweCAwcHggMHB4IDAuOGV4O2JvcmRlci1sZWZ0OjFweCBzb2xp
ZCByZ2IoMjA0LDIwNCwyMDQpO3BhZGRpbmctbGVmdDoxZXgiPjxkaXYgZGlyPSJsdHIiPjxkaXY+
PGRpdj48ZGl2PjxkaXY+PGRpdj48ZGl2PjxkaXY+PGRpdj48ZGl2PjxkaXY+VGhlIGhhcHBlbnMt
YmVmb3JlIChIQikgb3JkZXIgaXMgZGVmaW5lZCB1c2luZzo8YnI+PGJyPjwvZGl2PlN5bmNocm9u
aXphdGlvbiBvcmRlciAoU08pOiB0b3RhbCBvcmRlciBvdmVyIGFsbCBzeW5jaHJvbml6YXRpb24g
YWN0aW9ucy48YnI+PGJyPjwvZGl2PlN5bmNocm9uaXplcyB3aXRoIG9yZGVyIChTVyk6IGEgc3Vi
IG9yZGVyIG9mIHRoZSBTTyB0aGF0IG9ubHkgb3JkZXJzIGUuZy4gYSB2b2xhdGlsZSB3cml0ZSBv
ZiBYIHdpdGggYWxsIHN1YnNlcXVlbnQgdm9sYXRpbGUgcmVhZHMgb2YgWC48YnI+PGJyPjwvZGl2
PlByb2dyYW0gT3JkZXIgKFBPKTogYSBwYXJ0aWFsIG9yZGVyIHRoYXQmbmJzcDsgb3JkZXJzIGFs
bCBtZW1vcnkgYWN0aW9ucyBpc3N1ZWQgYnkgYSBzaW5nbGUgQ1BVLjxicj48YnI+PC9kaXY+QW5k
IHRoZSBIQiByZWxhdGlvbiBpcyBkZWZpbmVkIGFzIHRoZSB0cmFuc2l0aXZlIGNsb3N1cmUgb2Yg
dGhlIHVuaW9uIG9mIHRoZSBTVyBhbmQgUE8uPGJyPjxicj48L2Rpdj5NeSBxdWVzdGlvbiBpcyBo
b3cgZG8gcmVsYXhlZCBhY2Nlc3MgbW9kZXMgbGlrZSBvcGFxdWUgYW5kIGFjcXVpcmUvcmVsZWFz
ZSBmaXQgaW50byB0aGUgSEI/PGJyPjxicj48L2Rpdj5MZXQncyBzdGFydCB3aXRoIG9wYXF1ZTsg
aXMgYW4gb3BhcXVlIHdyaXRlL3JlYWQgcGFydCBvZiB0aGUgU08/IElmIHNvLCB0aGVuIGl0IHdp
bGwgYmUgcGFydCBvZiB0aGUgU1cgYW5kIEhCLiBBbmQgYmVjYXVzZSBvZiB0aGlzLCBpdCB3aWxs
IG9yZGVyIGxvYWRzL3N0b3JlcyB0byBkaWZmZXJlbnQgYWRkcmVzc2VzIHdoaWNoIGlzIG5vdCBk
ZXNpcmFibGUuIFNvIEkgZ3Vlc3MgdGhlIGxvZ2ljYWwgc29sdXRpb24gd291bGQgYmUgdGhhdCBh
biBvcGFxdWUgcmVhZC93cml0ZSBpcyBub3QgcGFydCBvZiB0aGUgU08gYW5kIGhlbmNlIHdlIGRv
bid0IGdldCB0aGlzIHByb2JsZW0uJm5ic3A7IEhvd2V2ZXIgbm93IHdlIGhhdmUgdGhlIHByb2Js
ZW0gdGhhdCBhbiBvcGFxdWUgcmVhZC93cml0ZSBpcyBub3Qgb3JkZXJlZCBieSB0aGUgSEIgYW5k
IHdlIGhhdmUgYSBkYXRhIHJhY2UgKHJlYWQgd2lsbCBzdGlsbCBiZSBoYi1jb25zaXN0ZW50KS48
YnI+PC9kaXY+PGJyPjwvZGl2PkknbSBydW5uaW5nIGludG8gYSBzaW1pbGFyIHByb2JsZW0gd2l0
aCB0aGUgYWNxdWlyZS9yZWxlYXNlLiBUcmFkaXRpb25hbGx5IHRoZXkgYXJlIGNhbGxlZCBzeW5j
aHJvbml6YXRpb24gYWN0aW9ucyBzaW5jZSBhIHJlbGVhc2Utc3RvcmUgd2lsbCBwcmV2ZW50IGFu
eSBvbGRlciBsb2FkL3N0b3JlIHRvIGJlIHJlb3JkZXJlZCB3aXRoIHRoZSByZWxlYXNlLXN0b3Jl
IGFuZCBhY3F1aXJlLWxvYWQgd2lsbCBwcmV2ZW50IGFueSBsYXRlciBsb2FkL3N0b3JlIHRvIGJl
IHJlb3JkZXJlZCB3aXRoIHRoZSBhY3F1aXJlLWxvYWQuIFNvIHRoZXkgcHJvdmlkZSBzb21lIGxl
dmVsIG9mJm5ic3A7ICdzeW5jaHJvbml6YXRpb24nOyBidXQgaXMgdGhpcyBzdWZmaWNpZW50IGZv
ciB0aGVtIHRvIGJlIHBhcnQgb2YgdGhlIFNPIG9yZGVyPyBPciBhcmUgdGhleSBleGNsdWRlZCBm
cm9tIHRoZSBTTyBhbmQgd2UgZW5kIHVwIHdpdGggYSBkYXRhLXJhY2U/PC9kaXY+PGRpdj48YnI+
PC9kaXY+PGRpdj5PciBjb3VsZCBpdCBiZSB0aGF0IHRoZSBoYXBwZW5zLWJlZm9yZSBtb2RlbCBp
c24ndCBhIHN1aXRhYmxlIG1vZGVsIHRvIGRlYWwgd2l0aCByZWxheGVkIGFjY2VzcyBtb2Rlcz88
YnI+PC9kaXY+PGRpdj48YnI+PC9kaXY+UmVnYXJkcyw8YnI+PGJyPjwvZGl2PlBldGVyLjxicj48
ZGl2PjxkaXY+PGJyPjxicj48ZGl2PjxkaXY+PGRpdj48YnI+PGJyPjwvZGl2PjwvZGl2PjwvZGl2
PjwvZGl2PjwvZGl2PjwvZGl2Pg0KX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX188YnI+DQpDb25jdXJyZW5jeS1pbnRlcmVzdCBtYWlsaW5nIGxpc3Q8YnI+DQo8
YSBocmVmPSJtYWlsdG86Q29uY3VycmVuY3ktaW50ZXJlc3RAY3Mub3N3ZWdvLmVkdSIgcmVsPSJu
b3JlZmVycmVyIG5vcmVmZXJyZXIgbm9yZWZlcnJlciIgdGFyZ2V0PSJfYmxhbmsiPkNvbmN1cnJl
bmN5LWludGVyZXN0QGNzLm9zd2Vnby5lZHU8L2E+PGJyPg0KPGEgaHJlZj0iaHR0cDovL2NzLm9z
d2Vnby5lZHUvbWFpbG1hbi9saXN0aW5mby9jb25jdXJyZW5jeS1pbnRlcmVzdCIgcmVsPSJub3Jl
ZmVycmVyIG5vcmVmZXJyZXIgbm9yZWZlcnJlciBub3JlZmVycmVyIiB0YXJnZXQ9Il9ibGFuayI+
aHR0cDovL2NzLm9zd2Vnby5lZHUvbWFpbG1hbi9saXN0aW5mby9jb25jdXJyZW5jeS1pbnRlcmVz
dDwvYT48YnI+DQo8L2Jsb2NrcXVvdGU+PC9kaXY+DQo8L2Jsb2NrcXVvdGU+PC9kaXY+DQo8c3Bh
bj5fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXzwvc3Bhbj48
YnI+PHNwYW4+Q29uY3VycmVuY3ktaW50ZXJlc3QgbWFpbGluZyBsaXN0PC9zcGFuPjxicj48c3Bh
bj48YSBocmVmPSJtYWlsdG86Q29uY3VycmVuY3ktaW50ZXJlc3RAY3Mub3N3ZWdvLmVkdSIgcmVs
PSJub3JlZmVycmVyIG5vcmVmZXJyZXIiIHRhcmdldD0iX2JsYW5rIj5Db25jdXJyZW5jeS1pbnRl
cmVzdEBjcy5vc3dlZ28uZWR1PC9hPjwvc3Bhbj48YnI+PHNwYW4+PGEgaHJlZj0iaHR0cDovL2Nz
Lm9zd2Vnby5lZHUvbWFpbG1hbi9saXN0aW5mby9jb25jdXJyZW5jeS1pbnRlcmVzdCIgcmVsPSJu
b3JlZmVycmVyIG5vcmVmZXJyZXIiIHRhcmdldD0iX2JsYW5rIj5odHRwOi8vY3Mub3N3ZWdvLmVk
dS9tYWlsbWFuL2xpc3RpbmZvL2NvbmN1cnJlbmN5LWludGVyZXN0PC9hPjwvc3Bhbj48YnI+PC9k
aXY+PC9ibG9ja3F1b3RlPjwvZGl2PjwvYmxvY2txdW90ZT48L2Rpdj4NCjwvYmxvY2txdW90ZT48
L2Rpdj4NCjwvZGl2PjwvYmxvY2txdW90ZT48L2Rpdj48L2JvZHk+PC9odG1sPg==
--Apple-Mail-EF255BA6-5B96-4731-B465-AAB21217A42B--

--===============3774096186853898356==
Content-Type: text/plain; charset="us-ascii"
MIME-Version: 1.0
Content-Transfer-Encoding: 7bit
Content-Disposition: inline

_______________________________________________
Concurrency-interest mailing list
[email protected]
http://cs.oswego.edu/mailman/listinfo/concurrency-interest

--===============3774096186853898356==--