Re: [TYPES] Could we temporarily stop having conferences in the US?

Peter Sewell <[email protected]> Tue, 23 Sep 2025 18:39:02 +0100
Newsgroups gmane.comp.science.types
Message-ID <CAHWkzRRZWzOqKbZH2e4-+Cpu2=q3xfndj-=2fiYWBrFxRTGbvg@mail.gmail.com>
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp
c3RpbmZvL3R5cGVzLWxpc3QgXQoKT24gVHVlLCAyMyBTZXB0IDIwMjUgYXQgMTc6NDUsIERlcmVr
IERyZXllciA8ZHJleWVyQG1waS1zd3Mub3JnPiB3cm90ZToKCj4gQUZBSUssIGFsbCB0aGUgbWFq
b3IgU0lHUExBTiBjb25mZXJlbmNlcyBhbHJlYWR5IHByb3ZpZGUgYSByZW1vdGUgb3B0aW9uCj4g
Zm9yIHZpcnR1YWwgcGFydGljaXBhdGlvbi4gIEl0IGlzIHBvc3NpYmxlIHRoYXQgdGhlcmUgaGF2
ZSBiZWVuIGV4Y2VwdGlvbnMsCj4gYnV0IHRoYXQgaXMgdGhlIHBvc3QtQ292aWQvUEFDTVBMIG5v
cm0uCj4KCkkgZGlkIGhlYXIgb2YgYSByZWNlbnQgZXhjZXB0aW9uLiAgQWxzbyAob3V0c2lkZSBT
SUdQTEFOLCBvZiBjb3Vyc2UpLCBJIHNlZQpTT1NQIGhhcyBhIHBvbGljeSB0aGF0IHJlcXVpcmVz
IHNwZWNpYWwgcGVybWlzc2lvbiBmcm9tIHRoZSBQQyBjaGFpcnMgZm9yCnJlbW90ZSBwcmVzZW50
YXRpb24uCgoKCgo+IEknbSBub3Qgc3VyZSB3aGF0IHlvdSdyZSBwcm9wb3NpbmcgcmU6IGdlb2dy
YXBoaWNhbGx5IGRpc3RyaWJ1dGluZyBwYXBlcgo+IHByZXNlbnRhdGlvbnMgLS0gd2hhdCBpcyAi
dmlyZSI/IC0tIGJ1dCBpdCBzb3VuZHMgY29tcGxpY2F0ZWQuCj4KClRvIGxldCBhdXRob3JzIG9m
IGFjY2VwdGVkIHBhcGVycyBkZWZlciBwcmVzZW50YXRpb24gdG8gYSBmdXR1cmUKbW9yZS1hY2Nl
c3NpYmxlLXRvLXRoZW0gU0lHUExBTiBjb25mZXJlbmNlLCBtdWNoIGFzIHdlIGRvIGZvciBUT1BM
QVMuICBJZgp0aGF0IHR1cm5lZCBvdXQgZmFpcmx5IHVuY29tbW9uLCBpdCdkIGJlIHJlbGF0aXZl
bHkgZWFzeSB0byBhY2NvbW1vZGF0ZS4KQnV0IGV2ZW4gaWYgbm90LCBtYXliZSB3ZSBzaG91bGQu
CgooInZpcmUiOiB0byB0cmFuc2ZlciBmdW5kcyBiZXR3ZWVuIGJ1ZGdldHMsIGhlcmUgdXNlZCBs
b29zZWx5LiBCaXphcnJlbHksCnRoYXQgc2Vuc2UgaXMgbm90IGluIHRoZSBPRUQsIGV2ZW4gdGhv
dWdoIGl0J3MgY29tbW9uKQoKUGV0ZXIKCgoKPgo+IERlcmVrCj4KPiBPbiBUdWUsIFNlcCAyMywg
MjAyNSBhdCA2OjE54oCvUE0gUGV0ZXIgU2V3ZWxsIDxQZXRlci5TZXdlbGxAY2wuY2FtLmFjLnVr
Pgo+IHdyb3RlOgo+Cj4+IFN0cmFpZ2h0Zm9yd2FyZGx5IGFjdGlvbmFibGUsIGFuZCBJIHRoaW5r
IGEgbm8tYnJhaW5lcjogd2UgY2FuIGVuc3VyZQo+PiB0aGF0IHJlbW90ZSBwYXJ0aWNpcGF0aW9u
IGlzIChpbXBlcmZlY3QgdGhvdWdoIGl0IGlzKSB1bmlmb3JtbHkgYXZhaWxhYmxlLgo+Pgo+PiBO
b3QgY29tcGxldGVseSBzdHJhaWdodGZvcndhcmQgbG9naXN0aWNhbGx5LCBidXQgSSBpbWFnaW5l
IGRvYWJsZTogd2UKPj4gY291bGQgYWxsb3cgYXV0aG9ycyB0byBmcmVlbHkgdmlyZSBwYXBlciBw
cmVzZW50YXRpb25zIGFtb25nIHRoZSBTSUdQTEFOCj4+IGNvbmZlcmVuY2VzLCBhbmQgZW5zdXJl
IHRoYXQgdGhvc2UgYXJlIGdlb2dyYXBoaWNhbGx5IGRpc3RyaWJ1dGVkLiAgVGhlcmUnZAo+PiBi
ZSBzb21lIGhpdCB0byB0aGUgdGhlIGNoYXJhY3RlciBhbmQgY3JpdGljYWwtbWFzcy1vZi1yZWxh
dGVkLXBlb3BsZSwgYnV0Cj4+IHRoYXQgbWlnaHQgd2VsbCBiZSB3b3J0aHdoaWxlLgo+Pgo+PiBQ
ZXRlcgo+Pgo+Pgo+PiBPbiBUdWUsIDIzIFNlcHQgMjAyNSBhdCAxNzoxMCwgRGVyZWsgRHJleWVy
IDxkcmV5ZXJAbXBpLXN3cy5vcmc+IHdyb3RlOgo+Pgo+Pj4gWyBUaGUgVHlwZXMgRm9ydW0sCj4+
PiBodHRwOi8vbGlzdHMuc2Vhcy51cGVubi5lZHUvbWFpbG1hbi9saXN0aW5mby90eXBlcy1saXN0
ICBdCj4+Pgo+Pj4gVGhhbmtzIGZvciB0aGUgbGl2ZWx5IGRpc2N1c3Npb24gYWJvdXQgdGhpcyBp
c3N1ZS4gIEhvd2V2ZXIsIEknbSBhZnJhaWQgSQo+Pj4gbXVzdCBkaXNhZ3JlZSB3aXRoIHRoZSBv
cGluaW9ucyBwb3N0ZWQgc28gZmFyIHRoYXQgYWR2b2NhdGVkIGZvcgo+Pj4gKHRlbXBvcmFyaWx5
KSBhYmFuZG9uaW5nIGNvbmZlcmVuY2VzIGluIHRoZSBVUy4KPj4+Cj4+PiBPZiBjb3Vyc2UsIG1h
bnkgcGVvcGxlIGluIG91ciBjb21tdW5pdHkgYXJlIHVuZGVyc3RhbmRhYmx5IHVwc2V0IGJlY2F1
c2UKPj4+IG9mCj4+PiB0aGUgYWN0aW9ucyBvZiB0aGUgVHJ1bXAgYWRtaW5pc3RyYXRpb24gYW5k
IGl0cyBlZmZlY3Qgb24gaW1taWdyYXRpb24gYW5kCj4+PiByZXNlYXJjaC4gIEksIHRvbywgYW0g
dmVyeSB1cHNldCBhYm91dCBpdCAodG8gcHV0IGl0IG1pbGRseSkuCj4+Pgo+Pj4gQnV0IGl0IHNl
ZW1zIHRvIG1lIHRoZXJlIGFyZSBtdWx0aXBsZSBkaWZmZXJlbnQgaXNzdWVzIGJlaW5nIGNvbmZs
YXRlZCBpbgo+Pj4gR2FicmllbCdzIG9yaWdpbmFsIHBvc3QsIGFuZCB0aGUgcHJvcG9zZWQgY3Vy
ZSBpcyB3b3JzZSB0aGFuIHRoZSBkaXNlYXNlLgo+Pj4gSW4gcGFydGljdWxhciwgaGUgd3JvdGU6
ICJJdCBpcyBwcmV0dHkgY2xlYXIgdGhhdCB0aGUgVVMgYXJlIG5vdCBhIHNhZmUKPj4+IHBsYWNl
IGZvciB1bml2ZXJzaXRpZXMgcmlnaHQgbm93LCBhbmQgYWxzbyB1bnBhbGF0YWJsZS10by11bnNh
ZmUgZm9yCj4+PiBwZW9wbGUKPj4+IChlc3BlY2lhbGx5IGZvcmVpZ25lcnMpIHdvcmtpbmcgaW4g
dW5pdmVyc2l0aWVzLiIKPj4+Cj4+PiBDb25jZXJuaW5nIHRoZSBwb2ludCB0aGF0IHRoZSBVUyBp
cyBub3QgYSBzYWZlIHBsYWNlIGZvciB1bml2ZXJzaXRpZXM6IEkKPj4+IGFtCj4+PiBub3QgZXhh
Y3RseSBzdXJlIHdoYXQgaGUgbWVhbnQsIGJ1dCBJIGFzc3VtZSBoZSBtZWFudCB0aGF0IHVuaXZl
cnNpdGllcwo+Pj4gYXJlCj4+PiBzdWZmZXJpbmcgdW5kZXIgdGhlIG1ham9yIGZ1bmRpbmcgY3V0
cyBhbmQgZ2VuZXJhbGx5IHRocmVhdGVuaW5nIGJlaGF2aW9yCj4+PiBvZiB0aGUgVHJ1bXAgYWRt
aW5pc3RyYXRpb24uICBUaGlzIGlzIGNlcnRhaW5seSB0cnVlLiAgSG93ZXZlciwgaXQgaXMgbm90
Cj4+PiBjbGVhciB0byBtZSBob3cgaG9sZGluZyBhbiBhY2FkZW1pYyBjb25mZXJlbmNlIG91dHNp
ZGUgdGhlIFVTIGZvciBhCj4+PiBjb3VwbGUKPj4+IHllYXJzIHdpbGwgc3dheSBUcnVtcCB0byBk
byBzb21ldGhpbmcgZGlmZmVyZW50LiAgRnVydGhlcm1vcmUsIHdoZW4KPj4+IGNvbnNpZGVyaW5n
IG90aGVyIGNvbmZlcmVuY2UgbG9jYXRpb25zLCBJIGRvIG5vdCByZWNhbGwgaXQgZXZlciBoYXZp
bmcKPj4+IGJlZW4KPj4+IGEgcHJpb3JpdHkgdG8gc2VsZWN0IGxvY2F0aW9ucyBiYXNlZCBvbiB3
aGV0aGVyIHRoZSBsb2NhbCBnb3Zlcm5tZW50IHdhcwo+Pj4gcGFydGljdWxhcmx5IHN1cHBvcnRp
dmUgb2Ygc2NpZW5jZS4gIEV2ZW4gaW4gaXRzIGRpbWluaXNoZWQgc3RhdGUsIHRoZSBVUwo+Pj4g
Z292ZXJubWVudCB3aWxsIHN0aWxsIGJlIGEgbWFqb3IgY29udHJpYnV0b3IgdG8gZ2xvYmFsIHJl
c2VhcmNoIGZ1bmRpbmcuCj4+Pgo+Pj4gQ29uY2VybmluZyB0aGUgcG9pbnQgdGhhdCB0aGUgVVMg
aXMgInVucGFsYXRhYmxlLXRvLXVuc2FmZSBmb3IgcGVvcGxlCj4+PiAoZXNwZWNpYWxseSBmb3Jl
aWduZXJzKSB3b3JraW5nIGluIHVuaXZlcnNpdGllcyIsIEkgYWdhaW4gYW0gbm90Cj4+PiBjb21w
bGV0ZWx5Cj4+PiBzdXJlIHdoYXQgdGhpcyBpcyByZWZlcnJpbmcgdG8uICBJZiB0aGlzIGlzIHJl
ZmVycmluZyB0byBub24tVVMgY2l0aXplbnMKPj4+IHdvcmtpbmcgaW4gdW5pdmVyc2l0aWVzIGlu
IHRoZSBVUywgd2hvIG1pZ2h0IGhhdmUgdGhlaXIgdmlzYXMgcmV2b2tlZCBvbgo+Pj4gd2hhdGV2
ZXIgcHJvY2xhbWF0aW9uIFRydW1wIHRoaW5rcyB1cCB0b21vcnJvdywgeWVzLCB0aGlzIGlzIHJl
YWxseSBiYWQuCj4+PiBCdXQgYXMgaGFzIGFscmVhZHkgYmVlbiBub3RlZCBieSBKdWxpYSBhbmQg
b3RoZXJzLCBpdCBpcyAqbXVjaCogZWFzaWVyCj4+PiBmb3IKPj4+IHRob3NlIHBlb3BsZSB0byBh
dHRlbmQgY29uZmVyZW5jZXMgaW4gdGhlIFVTIHRoYW4gZWxzZXdoZXJlLiAgSWYgb24gdGhlCj4+
PiBvdGhlciBoYW5kIHRoaXMgaXMgcmVmZXJyaW5nIHRvIHBlb3BsZSB0cmF2ZWxsaW5nIHRvIHRo
ZSBVUyBmb3IgdGhlCj4+PiBjb25mZXJlbmNlLCBJIGhlYXJkIGEgZmV3IGhvcnJvciBzdG9yaWVz
IGVhcmxpZXIgdGhpcyB5ZWFyLCBidXQgSSBoYXZlCj4+PiBub3QKPj4+IHNlZW4gZXZpZGVuY2Ug
dGhhdCB0aGVyZSBpcyB3aWRlc3ByZWFkIGhhcmFzc21lbnQgb2YgYWNhZGVtaWNzIGVudGVyaW5n
Cj4+PiB0aGUKPj4+IFVTIGZvciBhIGNvbmZlcmVuY2UuICBTbyBJIHRoaW5rIHRoZSBjaGFuY2Ug
b2YgZW5jb3VudGVyaW5nIGEgcHJvYmxlbSBpcwo+Pj4gdmVyeSBsb3cuICBCdXQgSSBhZ3JlZSB0
aGF0IHRoaXMgaXMgYSB2YWxpZCBjYXVzZSBmb3IgY29uY2VybiwgYW5kIEkgY2FuCj4+PiB1bmRl
cnN0YW5kIGlmIHBlb3BsZSBhcmUgaGVzaXRhbnQgdG8gdHJhdmVsIHRvIHRoZSBVUyBiZWNhdXNl
IG9mIGl0Lgo+Pj4KPj4+IE90aGVycyBvbiB0aGUgdGhyZWFkIGhhdmUgc3VnZ2VzdGVkIGltcHJv
dmluZyBvdXIgdmlydHVhbCBjb25mZXJlbmNlCj4+PiBwYXJ0aWNpcGF0aW9uIG9wdGlvbnMgc28g
dGhhdCBVUyByZXNlYXJjaGVycyBjYW4gcGFydGljaXBhdGUgZXZlbiBpZiB0aGUKPj4+IGV2ZW50
IGlzIGhlbGQgZWxzZXdoZXJlLiAgSSBhbSBhbGwgZm9yIGltcHJvdmluZyB2aXJ0dWFsIGNvbmZl
cmVuY2UKPj4+IHBhcnRpY2lwYXRpb24sIGJ1dCB3ZSBoYWQgc2V2ZXJhbCB5ZWFycyBvZiBleHBl
cmltZW50YXRpb24gd2l0aCB0aGF0Cj4+PiBkdXJpbmcKPj4+IHRoZSBwYW5kZW1pYywgYW5kIGlu
IHRoZSBlbmQgdGhlIHZlcmRpY3Qgc2VlbWVkIHRvIGJlIHRoYXQgaXQgZGlkbid0Cj4+PiByZWFs
bHkKPj4+IHdvcmsuICBBdCBsZWFzdCBpdCBpcyBub3QgYSByZXBsYWNlbWVudCBmb3IgaW4tcGVy
c29uIHBhcnRpY2lwYXRpb24uCj4+PiBCdXQgSQo+Pj4gdGhpbmsgaWYgcGVvcGxlIGFyZSBtb3Rp
dmF0ZWQgZW5vdWdoLCBhbmQgZW5vdWdoIHBlb3BsZSBkbyBub3Qgd2FudCB0bwo+Pj4gdHJhdmVs
IHRvIHRoZSBVUyBmb3IgY29uZmVyZW5jZXMsIHRoZW4gaXQgd291bGQgYmUgYSBncmVhdCBpZGVh
IHRvCj4+PiBleHBlcmltZW50IHdpdGggc2F0ZWxsaXRlIG1lZXRpbmdzLCBhbHNvIGZvciBjbGlt
YXRlIHJlYXNvbnMuCj4+Pgo+Pj4gSW4gc3VtbWFyeSwgZ2l2ZW4gdGhhdCBhIHZlcnkgc2lnbmlm
aWNhbnQgcG9ydGlvbiBvZiBvdXIgY29tbXVuaXR5Cj4+PiBpbmNsdWRlcwo+Pj4gcGVvcGxlIHdv
cmtpbmcgYXQgVVMgdW5pdmVyc2l0aWVzLCBJIHRoaW5rIHRoYXQgd2Ugc2hvdWxkIG5vdCBhYmFu
ZG9uCj4+PiBjb25mZXJlbmNlcyBpbiB0aGUgVVMgZW50aXJlbHkuICBXZSBjb3VsZCwgaG93ZXZl
ciwgY29uc2lkZXIgcmVkdWNpbmcgdGhlCj4+PiBmcmVxdWVuY3kgd2l0aCB3aGljaCBjb25mZXJl
bmNlcyBhcmUgbG9jYXRlZCBpbiB0aGUgVVMgKGUuZy4gdG8gbm8gbW9yZQo+Pj4gdGhhbiAxLzIg
b3Igc29tZSBzbWFsbGVyIGZyYWN0aW9uIG9mIHRoZSB0aW1lKSwgYXMgd2VsbCBhcyBleHBsb3Jp
bmcKPj4+IGNvbXBsZW1lbnRhcnkgb3B0aW9ucyBsaWtlIHNhdGVsbGl0ZSBtZWV0aW5ncy4KPj4+
Cj4+PiBCZXN0IHdpc2hlcywKPj4+IERlcmVrCj4+Pgo+Pj4gUC5TLiBJbiByZXNwb25zZSB0byBB
cnRlbSdzIHF1ZXN0aW9uLCBJIHdvdWxkIG5vdCBjb25zaWRlciB0aGUgZGlzY3Vzc2lvbgo+Pj4g
b24gdGhpcyBsaXN0IHRvIG5lY2Vzc2FyaWx5IGJlIHJlcHJlc2VudGF0aXZlIG9mIHRoZSAic3Rh
bmNlIiBvZiB0aGUgUEwKPj4+IGNvbW11bml0eSBvbiB0aGlzIGlzc3VlLiAgSXQgbWF5IGJlIHdv
cnRoIGdhdWdpbmcgdGhlIHN0YW5jZSBvZiB0aGUKPj4+IHJlc2VhcmNoIGNvbW11bml0eSwgYnV0
IHRoYXQgbWF5IGJlIGJlc3QgZG9uZSB3aXRoIHBvc3QtY29uZmVyZW5jZQo+Pj4gc3VydmV5cwo+
Pj4gYXQgc29tZSB1cGNvbWluZyBTSUdQTEFOIGNvbmZlcmVuY2VzLgo+Pj4KPj4+IE9uIFR1ZSwg
U2VwIDIzLCAyMDI1IGF0IDU6MTfigK9QTSBBcnRlbSBTaGlua2Fyb3YgPHRlbWFAcG0ubWU+IHdy
b3RlOgo+Pj4KPj4+ID4gWyBUaGUgVHlwZXMgRm9ydW0sCj4+PiBodHRwOi8vbGlzdHMuc2Vhcy51
cGVubi5lZHUvbWFpbG1hbi9saXN0aW5mby90eXBlcy1saXN0IAo+Pj4gPiBdCj4+PiA+Cj4+PiA+
IEhpCj4+PiA+Cj4+PiA+IEl0IGFwcGVhcnMgdGhhdCB0aGUgYXJndW1lbnQgcmVnYXJkaW5nIGJl
aW5nICJ0cmFwcGVkIGluIiBpcyBkaXZlcnRpbmcKPj4+IHRoZQo+Pj4gPiBkaXNjdXNzaW9uIGZy
b20gdGhlIGludGVudCBvZiB0aGUgb3JpZ2luYWwgcG9zdDogdGhlIHRveGljIGF0dGl0dWRlIG9m
Cj4+PiB0aGUKPj4+ID4gVVMgdG93YXJkcyByZXNlYXJjaCBhbmQgcmVzZWFyY2hlcnMsIHdoaWNo
IHJlcXVpcmVzIGFjdGlvbiBmcm9tIHRoZQo+Pj4gPiByZXNlYXJjaCBjb21tdW5pdHkuIEJhbiBv
biBjb25mZXJlbmNlcyBpbiB0aGUgVVMgY291bGQgc2VydmUgYXMgYQo+Pj4gPiBtZWFuaW5nZnVs
IHN0YXRlbWVudCBvciBnZXN0dXJlIHRoYXQgd2Ugb3VnaHQgdG8gY29uc2lkZXIuCj4+PiA+Cj4+
PiA+IFRoZSBpc3N1ZSBvZiBiZWluZyAidHJhcHBlZCBpbiIgaXMgaW5kZWVkIG9uZSBvZiB0aGUg
ZHJhd2JhY2tzCj4+PiBoaWdobGlnaHRlZAo+Pj4gPiBpbiB0aGUgb3JpZ2luYWwgcG9zdC4gSG93
ZXZlciwgdGhpcyBzaXR1YXRpb24gaXMgbm90IHVuaXF1ZSB0byB0aGUgVVM7Cj4+PiA+IHNpbWls
YXIgY2hhbGxlbmdlcyBhcmlzZSBpbiBvdGhlciBjb3VudHJpZXMgYXMgd2VsbC4gRm9yIGluc3Rh
bmNlLAo+Pj4gPiBpbmRpdmlkdWFscyBvbiB2aXNhcyBpbiB0aGUgVUsgbWF5IGZpbmQgdGhlbXNl
bHZlcyB1bmFibGUgdG8gdHJhdmVsIHRvCj4+PiA+IEV1cm9wZSwgdGhlIFVTLCBhbmQgYmV5b25k
LiBBcyBub3RlZCBpbiBwcmV2aW91cyBkaXNjdXNzaW9ucywgd2UgY2FuCj4+PiA+IGFkZHJlc3Mg
dGhpcyBpc3N1ZSBieSBlbnN1cmluZyBhZGVxdWF0ZSBvbmxpbmUgcGFydGljaXBhdGlvbiBhbmQK
Pj4+IGV4cGxvcmluZwo+Pj4gPiB0aGUgcG9zc2liaWxpdHkgb2Ygc2F0ZWxsaXRlIGV2ZW50cy4g
TmV2ZXJ0aGVsZXNzLCB0aGUgY3J1Y2lhbCBxdWVzdGlvbgo+Pj4gPiByZW1haW5zOiBpcyB0aGUg
cmVzZWFyY2ggY29tbXVuaXR5IHByZXBhcmVkIHRvIGV4cHJlc3MgaXRzIHN0YW5jZSBvbgo+Pj4g
dGhpcwo+Pj4gPiBtYXR0ZXIsIGFuZCB3aGF0IGlzIHRoZSBtb3N0IGVmZmVjdGl2ZSB3YXkgdG8g
ZG8gc28/Cj4+PiA+Cj4+PiA+Cj4+PiA+Cj4+PiA+IENoZWVycywKPj4+ID4gQXJ0ZW0KPj4+ID4K
Pj4+ID4KPj4+ID4KPj4+ID4gT24gVHVlc2RheSwgU2VwdGVtYmVyIDIzcmQsIDIwMjUgYXQgMToz
NiBQTSwgTmlraSBWYXpvdSA8Cj4+PiA+IG5pa2l2YXpvdUBnbWFpbC5jb20+IHdyb3RlOgo+Pj4g
Pgo+Pj4gPiA+Cj4+PiA+ID4KPj4+ID4gPiBbIFRoZSBUeXBlcyBGb3J1bSwKPj4+ID4gaHR0cDov
L2xpc3RzLnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtbGlzdCAgICBdCj4+
PiA+ID4KPj4+ID4gPiBIZXksCj4+PiA+ID4KPj4+ID4gPiBJIGFsc28gYWdyZWUgdGhhdCBtb3Zp
bmcgaXMgZ2V0dGluZyBtb3JlIGNvbXBsaWNhdGVkIChib3RoIGZvciB0aGUKPj4+ID4gPiBnZW9w
b2xpdGljYWwgZXZlbnRzIGFuZCB0aGUgZW52aXJvbm1lbnQuLi4pCj4+PiA+ID4gU28sIG1heWJl
IGEgZ29vZCBhbHRlcm5hdGl2ZSB3b3VsZCBiZSwgaW4gcGFyYWxsZWwgdG8gdGhlIG1haW4KPj4+
IGV2ZW50LCB0bwo+Pj4gPiA+IGhhdmUgc2F0ZWxsaXRlIGV2ZW50cy4gRm9yIGV4YW1wbGUsIHdo
ZW4gYSBjb25mZXJlbmNlIGhhcHBlbnMgaW4KPj4+IFVTQSwgdG8KPj4+ID4gPiBoYXZlIHBhcnRp
Y2lwYW50cyBnYXRoZXIgaW4gYW5vdGhlciBjb3VudHJ5IHRvIGF0dGVuZC9wYXJ0aWNpcGF0ZS4K
Pj4+ID4gPgo+Pj4gPiA+IEJlc3QsCj4+PiA+ID4gTmlraQo+Pj4gPiA+Cj4+PiA+ID4gT24gTW9u
LCBTZXAgMjIsIDIwMjUgYXQgNTozNeKAr1BNIEp1bGlhIEJlbHlha292YSBqdWxiaW5iQGdtYWls
LmNvbQo+Pj4gd3JvdGU6Cj4+PiA+ID4KPj4+ID4gPiA+IFsgVGhlIFR5cGVzIEZvcnVtLAo+Pj4g
PiBodHRwOi8vbGlzdHMuc2Vhcy51cGVubi5lZHUvbWFpbG1hbi9saXN0aW5mby90eXBlcy1saXN0
IAo+Pj4gPiA+ID4gXQo+Pj4gPiA+ID4KPj4+ID4gPiA+IEkgZG9uJ3QgZGlzYWdyZWUgdGhhdCB0
aGUgVVMgaXMgbm90IGEgd2VsY29tZSBkZXN0aW5hdGlvbiBmb3IgbWFueQo+Pj4gPiBwZW9wbGUK
Pj4+ID4gPiA+IHJpZ2h0IG5vdy4KPj4+ID4gPiA+Cj4+PiA+ID4gPiBJIGRpZCB3YW50IHRvIHBv
aW50IG91dCB0aGUgZXhpc3RlbmNlIG9mIHRoZSB0cmFwcGVkLWluLXRoZS1VUwo+Pj4gPiA+ID4g
aW50ZXJuYXRpb25hbCBjb21tdW5pdHkgYmVjYXVzZSBpbiBteSBleHBlcmllbmNlLCBhIGxvdCBv
ZiBwZW9wbGUsCj4+PiA+ID4gPiB1bmRlcnN0YW5kYWJseSwgYXJlIG5vdCBhd2FyZSBvZiB0aGlz
IHBoZW5vbWVub24uCj4+PiA+ID4gPgo+Pj4gPiA+ID4gSW4gZ2VuZXJhbCwgdGhlcmUgYXJlIG1h
bnkgcmVhc29ucyB3aHkgYW4gaW5kaXZpZHVhbCBjYW5ub3QgdHJhdmVsCj4+PiB0byBhCj4+PiA+
ID4gPiBwYXJ0aWN1bGFyIGxvY2F0aW9uLCBiZSBpdCB0aGUgVVMgb3IgYW5vdGhlciBjb3VudHJ5
Lgo+Pj4gPiA+ID4KPj4+ID4gPiA+IFRvIGJlIGNvbnN0cnVjdGl2ZSwgSSB3b3VsZCBsaWtlIHRv
IGFtcGxpZnkgYW4gYWx0ZXJuYXRpdmUKPj4+IHN1Z2dlc3Rpb24KPj4+ID4gPiA+IGRpc2N1c3Nl
ZCBpbiBadWxpcCwgd2hpY2ggaXMgdG8gaGF2ZSBhbiBleHBsaWNpdCBwb2xpY3kgZm9yCj4+PiBw
cmVzZW50aW5nCj4+PiA+IHRoZQo+Pj4gPiA+ID4gcGFwZXIgYXQgYSBkaWZmZXJlbnQgY29uZmVy
ZW5jZSB0aGF0IGlzIGhlbGQgaW4gYSBtb3JlIHN1aXRhYmxlCj4+PiA+IGxvY2F0aW9uCj4+PiA+
ID4gPiBmb3IgdGhlIGF1dGhvci4gU2ltaWxhciB0byB3aGF0IFNJR1BMQU4tdHJhY2sgaGFzIGJl
ZW4gZG9pbmcgYXQKPj4+IFNQTEFTSC4KPj4+ID4gPiA+Cj4+PiA+ID4gPiBPZiBjb3Vyc2UsIGl0
IHdvdWxkIHJlcXVpcmUgbW9yZSBjb29yZGluYXRpb24gYWNyb3NzIHRoZQo+Pj4gY29uZmVyZW5j
ZXMKPj4+ID4gYW5kIGFuCj4+PiA+ID4gPiBhZGRpdGlvbmFsIGxvZ2lzdGljcyBidXJkZW4gb24g
b3JnYW5pemVycy4KPj4+ID4gPiA+Cj4+PiA+ID4gPiAtLQo+Pj4gPiA+ID4gS2luZCByZWdhcmRz
LCBKdWxpYQo+Pj4gPiA+ID4KPj4+ID4gPiA+Cj4+PiA+Cj4+PiBodHRwczovL3VybGRlZmVuc2Uu
Y29tL3YzL19faHR0cHM6Ly9qdWxiaW5iLmdpdGh1Yi5pby9fXzshIUlCeldMVXMhV0FYN3h5QnNk
WlQzb01GSzBsbTVkRm1hazVudldzekhfVHQtdGxfOE15UnVnYUVZemgzU20tV21pblRNVFJlVjNM
TE5sUFVPSklqQmstM0ZETVd0RHNQTWZkcyQKPj4+ID4gPiA+Cj4+PiA+ID4gPiBPbiBNb24sIFNl
cCAyMiwgMjAyNSwgMTI6MjfigK9BTSBTYW5qaXZhIFByYXNhZAo+Pj4gc2Fuaml2YUBjc2UuaWl0
ZC5hYy5pbgo+Pj4gPiA+ID4gd3JvdGU6Cj4+PiA+ID4gPgo+Pj4gPiA+ID4gPiBTbyBpYT1zIG15
IHNvbiAoZm9yIElOUyByZWFzb25zKSAtLSBjb3VsZCBub3QgYXR0ZW5kIEVDT09QIG9yIENBVgo+
Pj4gPiB0aGlzCj4+PiA+ID4gPiA+IHllYXIgd2hlcmUgaGUgaGFkIGJlc3QgcGFwZXJzLgo+Pj4g
PiA+ID4gPgo+Pj4gPiA+ID4gPiBCdXQgY29tcHV0ZXIgc2NpZW5jZSBpcyBub3QgYSBVUyBtb25v
cG9seSAobm90IGV2ZW4gaW4gQUNNIG5vdywKPj4+ID4gdGhvdWdoCj4+PiA+ID4gPiA+IHJlZ2lz
dGVyZWQgaW4gdGhlIFVTKS4KPj4+ID4gPiA+ID4gSXQgY29zdHMgSW5kaWFucyBhbmQgQ2hpbmVz
ZSBhbmQgc29tZSBvdGhlcnMgVVNEMjUwIG92ZXIgdGhlIHZpc2EKPj4+ID4gY29zdHMKPj4+ID4g
PiA+ID4ganVzdCB0byBlbnRlciB0aGUgVVMuCj4+PiA+ID4gPiA+IEFtIG5vdCBzYXlpbmcgdGhh
dCBnZXR0aW5nIGludG8gRXVyb3BlIG9yIEluZGlhIGlzIGVhc2llciwgYnV0Cj4+PiBVUyBpcwo+
Pj4gPiBub3QKPj4+ID4gPiA+ID4gYSB3ZWxjb21lIGRlc3RpbmF0aW9uIGZvciBtYW55IHJpZ2h0
IG5vdy4KPj4+ID4gPiA+ID4KPj4+ID4gPiA+ID4gT24gMjIvMDkvMjUgMDQ6MTgsIEp1bGlhIEJl
bHlha292YSB3cm90ZToKPj4+ID4gPiA+ID4KPj4+ID4gPiA+ID4gPiBbIFRoZSBUeXBlcyBGb3J1
bSwKPj4+ID4gPiA+ID4gPiBodHRwOi8vbGlzdHMuc2Vhcy51cGVubi5lZHUvbWFpbG1hbi9saXN0
aW5mby90eXBlcy1saXN0ICAgIF0KPj4+ID4gPiA+ID4gPgo+Pj4gPiA+ID4gPiA+IEkgdW5kZXJz
dGFuZCB0aGlzIHBvc2l0aW9uIGJ1dCBqdXN0IHdhbnQgdG8gcmVtaW5kIHRoYXQgdGhlcmUKPj4+
IGFyZQo+Pj4gPiBtYW55Cj4+PiA+ID4gPiA+ID4gaW50ZXJuYXRpb25hbCBzdHVkZW50cyBhbmQg
cHJvZmVzc2lvbmFscyBpbiB0aGUgY29tbXVuaXR5IHdobwo+Pj4gYXJlCj4+PiA+IHN0dWNrCj4+
PiA+ID4gPiA+ID4gaW5zaWRlIHRoZSBVUyBhbmQgY2Fubm90IGNyb3NzIHRoZSBib3JkZXIsIGV2
ZW4gdG8gZ28gQ2FuYWRhLgo+Pj4gPiA+ID4gPiA+Cj4+PiA+ID4gPiA+ID4gSSwgZm9yIG9uZSwg
aGF2ZSBiZWVuIHN0dWNrIGluIHRoZSBVUyBzaW5jZSAyMDIwLgo+Pj4gPiA+ID4gPgo+Pj4gPiA+
ID4gPiAtLQo+Pj4gPiA+ID4gPiBTYW5qaXZhIFByYXNhZAo+Pj4gPiA+ID4gPiBQcm9mZXNzb3Is
IERlcGFydG1lbnQgb2YgQ29tcHV0ZXIgU2NpZW5jZSBhbmQgRW5naW5lZXJpbmcKPj4+ID4gPiA+
ID4gSW5kaWFuIEluc3RpdHV0ZSBvZiBUZWNobm9sb2d5IERlbGhpIChJSVQgRGVsaGkpCj4+PiA+
ID4KPj4+ID4gPgo+Pj4gPiA+Cj4+PiA+ID4gLS0KPj4+ID4gPiBOaWtpIFZhem91Cj4+PiA+Cj4+
Pgo+Pgo=