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

Derek Dreyer <[email protected]> Tue, 23 Sep 2025 18:44:45 +0200
Newsgroups gmane.comp.science.types
Message-ID <CAEX2k5H-r848ppZhK1Nd9_zRQb0wh+JP_bEQbGj730F5m9VqBA@mail.gmail.com>
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp
c3RpbmZvL3R5cGVzLWxpc3QgXQoKQUZBSUssIGFsbCB0aGUgbWFqb3IgU0lHUExBTiBjb25mZXJl
bmNlcyBhbHJlYWR5IHByb3ZpZGUgYSByZW1vdGUgb3B0aW9uCmZvciB2aXJ0dWFsIHBhcnRpY2lw
YXRpb24uICBJdCBpcyBwb3NzaWJsZSB0aGF0IHRoZXJlIGhhdmUgYmVlbiBleGNlcHRpb25zLApi
dXQgdGhhdCBpcyB0aGUgcG9zdC1Db3ZpZC9QQUNNUEwgbm9ybS4KCkknbSBub3Qgc3VyZSB3aGF0
IHlvdSdyZSBwcm9wb3NpbmcgcmU6IGdlb2dyYXBoaWNhbGx5IGRpc3RyaWJ1dGluZyBwYXBlcgpw
cmVzZW50YXRpb25zIC0tIHdoYXQgaXMgInZpcmUiPyAtLSBidXQgaXQgc291bmRzIGNvbXBsaWNh
dGVkLgoKRGVyZWsKCk9uIFR1ZSwgU2VwIDIzLCAyMDI1IGF0IDY6MTnigK9QTSBQZXRlciBTZXdl
bGwgPFBldGVyLlNld2VsbEBjbC5jYW0uYWMudWs+Cndyb3RlOgoKPiBTdHJhaWdodGZvcndhcmRs
eSBhY3Rpb25hYmxlLCBhbmQgSSB0aGluayBhIG5vLWJyYWluZXI6IHdlIGNhbiBlbnN1cmUgdGhh
dAo+IHJlbW90ZSBwYXJ0aWNpcGF0aW9uIGlzIChpbXBlcmZlY3QgdGhvdWdoIGl0IGlzKSB1bmlm
b3JtbHkgYXZhaWxhYmxlLgo+Cj4gTm90IGNvbXBsZXRlbHkgc3RyYWlnaHRmb3J3YXJkIGxvZ2lz
dGljYWxseSwgYnV0IEkgaW1hZ2luZSBkb2FibGU6IHdlCj4gY291bGQgYWxsb3cgYXV0aG9ycyB0
byBmcmVlbHkgdmlyZSBwYXBlciBwcmVzZW50YXRpb25zIGFtb25nIHRoZSBTSUdQTEFOCj4gY29u
ZmVyZW5jZXMsIGFuZCBlbnN1cmUgdGhhdCB0aG9zZSBhcmUgZ2VvZ3JhcGhpY2FsbHkgZGlzdHJp
YnV0ZWQuICBUaGVyZSdkCj4gYmUgc29tZSBoaXQgdG8gdGhlIHRoZSBjaGFyYWN0ZXIgYW5kIGNy
aXRpY2FsLW1hc3Mtb2YtcmVsYXRlZC1wZW9wbGUsIGJ1dAo+IHRoYXQgbWlnaHQgd2VsbCBiZSB3
b3J0aHdoaWxlLgo+Cj4gUGV0ZXIKPgo+Cj4gT24gVHVlLCAyMyBTZXB0IDIwMjUgYXQgMTc6MTAs
IERlcmVrIERyZXllciA8ZHJleWVyQG1waS1zd3Mub3JnPiB3cm90ZToKPgo+PiBbIFRoZSBUeXBl
cyBGb3J1bSwKPj4gaHR0cDovL2xpc3RzLnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8v
dHlwZXMtbGlzdCAgXQo+Pgo+PiBUaGFua3MgZm9yIHRoZSBsaXZlbHkgZGlzY3Vzc2lvbiBhYm91
dCB0aGlzIGlzc3VlLiAgSG93ZXZlciwgSSdtIGFmcmFpZCBJCj4+IG11c3QgZGlzYWdyZWUgd2l0
aCB0aGUgb3BpbmlvbnMgcG9zdGVkIHNvIGZhciB0aGF0IGFkdm9jYXRlZCBmb3IKPj4gKHRlbXBv
cmFyaWx5KSBhYmFuZG9uaW5nIGNvbmZlcmVuY2VzIGluIHRoZSBVUy4KPj4KPj4gT2YgY291cnNl
LCBtYW55IHBlb3BsZSBpbiBvdXIgY29tbXVuaXR5IGFyZSB1bmRlcnN0YW5kYWJseSB1cHNldCBi
ZWNhdXNlCj4+IG9mCj4+IHRoZSBhY3Rpb25zIG9mIHRoZSBUcnVtcCBhZG1pbmlzdHJhdGlvbiBh
bmQgaXRzIGVmZmVjdCBvbiBpbW1pZ3JhdGlvbiBhbmQKPj4gcmVzZWFyY2guICBJLCB0b28sIGFt
IHZlcnkgdXBzZXQgYWJvdXQgaXQgKHRvIHB1dCBpdCBtaWxkbHkpLgo+Pgo+PiBCdXQgaXQgc2Vl
bXMgdG8gbWUgdGhlcmUgYXJlIG11bHRpcGxlIGRpZmZlcmVudCBpc3N1ZXMgYmVpbmcgY29uZmxh
dGVkIGluCj4+IEdhYnJpZWwncyBvcmlnaW5hbCBwb3N0LCBhbmQgdGhlIHByb3Bvc2VkIGN1cmUg
aXMgd29yc2UgdGhhbiB0aGUgZGlzZWFzZS4KPj4gSW4gcGFydGljdWxhciwgaGUgd3JvdGU6ICJJ
dCBpcyBwcmV0dHkgY2xlYXIgdGhhdCB0aGUgVVMgYXJlIG5vdCBhIHNhZmUKPj4gcGxhY2UgZm9y
IHVuaXZlcnNpdGllcyByaWdodCBub3csIGFuZCBhbHNvIHVucGFsYXRhYmxlLXRvLXVuc2FmZSBm
b3IKPj4gcGVvcGxlCj4+IChlc3BlY2lhbGx5IGZvcmVpZ25lcnMpIHdvcmtpbmcgaW4gdW5pdmVy
c2l0aWVzLiIKPj4KPj4gQ29uY2VybmluZyB0aGUgcG9pbnQgdGhhdCB0aGUgVVMgaXMgbm90IGEg
c2FmZSBwbGFjZSBmb3IgdW5pdmVyc2l0aWVzOiBJCj4+IGFtCj4+IG5vdCBleGFjdGx5IHN1cmUg
d2hhdCBoZSBtZWFudCwgYnV0IEkgYXNzdW1lIGhlIG1lYW50IHRoYXQgdW5pdmVyc2l0aWVzCj4+
IGFyZQo+PiBzdWZmZXJpbmcgdW5kZXIgdGhlIG1ham9yIGZ1bmRpbmcgY3V0cyBhbmQgZ2VuZXJh
bGx5IHRocmVhdGVuaW5nIGJlaGF2aW9yCj4+IG9mIHRoZSBUcnVtcCBhZG1pbmlzdHJhdGlvbi4g
IFRoaXMgaXMgY2VydGFpbmx5IHRydWUuICBIb3dldmVyLCBpdCBpcyBub3QKPj4gY2xlYXIgdG8g
bWUgaG93IGhvbGRpbmcgYW4gYWNhZGVtaWMgY29uZmVyZW5jZSBvdXRzaWRlIHRoZSBVUyBmb3Ig
YSBjb3VwbGUKPj4geWVhcnMgd2lsbCBzd2F5IFRydW1wIHRvIGRvIHNvbWV0aGluZyBkaWZmZXJl
bnQuICBGdXJ0aGVybW9yZSwgd2hlbgo+PiBjb25zaWRlcmluZyBvdGhlciBjb25mZXJlbmNlIGxv
Y2F0aW9ucywgSSBkbyBub3QgcmVjYWxsIGl0IGV2ZXIgaGF2aW5nCj4+IGJlZW4KPj4gYSBwcmlv
cml0eSB0byBzZWxlY3QgbG9jYXRpb25zIGJhc2VkIG9uIHdoZXRoZXIgdGhlIGxvY2FsIGdvdmVy
bm1lbnQgd2FzCj4+IHBhcnRpY3VsYXJseSBzdXBwb3J0aXZlIG9mIHNjaWVuY2UuICBFdmVuIGlu
IGl0cyBkaW1pbmlzaGVkIHN0YXRlLCB0aGUgVVMKPj4gZ292ZXJubWVudCB3aWxsIHN0aWxsIGJl
IGEgbWFqb3IgY29udHJpYnV0b3IgdG8gZ2xvYmFsIHJlc2VhcmNoIGZ1bmRpbmcuCj4+Cj4+IENv
bmNlcm5pbmcgdGhlIHBvaW50IHRoYXQgdGhlIFVTIGlzICJ1bnBhbGF0YWJsZS10by11bnNhZmUg
Zm9yIHBlb3BsZQo+PiAoZXNwZWNpYWxseSBmb3JlaWduZXJzKSB3b3JraW5nIGluIHVuaXZlcnNp
dGllcyIsIEkgYWdhaW4gYW0gbm90Cj4+IGNvbXBsZXRlbHkKPj4gc3VyZSB3aGF0IHRoaXMgaXMg
cmVmZXJyaW5nIHRvLiAgSWYgdGhpcyBpcyByZWZlcnJpbmcgdG8gbm9uLVVTIGNpdGl6ZW5zCj4+
IHdvcmtpbmcgaW4gdW5pdmVyc2l0aWVzIGluIHRoZSBVUywgd2hvIG1pZ2h0IGhhdmUgdGhlaXIg
dmlzYXMgcmV2b2tlZCBvbgo+PiB3aGF0ZXZlciBwcm9jbGFtYXRpb24gVHJ1bXAgdGhpbmtzIHVw
IHRvbW9ycm93LCB5ZXMsIHRoaXMgaXMgcmVhbGx5IGJhZC4KPj4gQnV0IGFzIGhhcyBhbHJlYWR5
IGJlZW4gbm90ZWQgYnkgSnVsaWEgYW5kIG90aGVycywgaXQgaXMgKm11Y2gqIGVhc2llciBmb3IK
Pj4gdGhvc2UgcGVvcGxlIHRvIGF0dGVuZCBjb25mZXJlbmNlcyBpbiB0aGUgVVMgdGhhbiBlbHNl
d2hlcmUuICBJZiBvbiB0aGUKPj4gb3RoZXIgaGFuZCB0aGlzIGlzIHJlZmVycmluZyB0byBwZW9w
bGUgdHJhdmVsbGluZyB0byB0aGUgVVMgZm9yIHRoZQo+PiBjb25mZXJlbmNlLCBJIGhlYXJkIGEg
ZmV3IGhvcnJvciBzdG9yaWVzIGVhcmxpZXIgdGhpcyB5ZWFyLCBidXQgSSBoYXZlIG5vdAo+PiBz
ZWVuIGV2aWRlbmNlIHRoYXQgdGhlcmUgaXMgd2lkZXNwcmVhZCBoYXJhc3NtZW50IG9mIGFjYWRl
bWljcyBlbnRlcmluZwo+PiB0aGUKPj4gVVMgZm9yIGEgY29uZmVyZW5jZS4gIFNvIEkgdGhpbmsg
dGhlIGNoYW5jZSBvZiBlbmNvdW50ZXJpbmcgYSBwcm9ibGVtIGlzCj4+IHZlcnkgbG93LiAgQnV0
IEkgYWdyZWUgdGhhdCB0aGlzIGlzIGEgdmFsaWQgY2F1c2UgZm9yIGNvbmNlcm4sIGFuZCBJIGNh
bgo+PiB1bmRlcnN0YW5kIGlmIHBlb3BsZSBhcmUgaGVzaXRhbnQgdG8gdHJhdmVsIHRvIHRoZSBV
UyBiZWNhdXNlIG9mIGl0Lgo+Pgo+PiBPdGhlcnMgb24gdGhlIHRocmVhZCBoYXZlIHN1Z2dlc3Rl
ZCBpbXByb3Zpbmcgb3VyIHZpcnR1YWwgY29uZmVyZW5jZQo+PiBwYXJ0aWNpcGF0aW9uIG9wdGlv
bnMgc28gdGhhdCBVUyByZXNlYXJjaGVycyBjYW4gcGFydGljaXBhdGUgZXZlbiBpZiB0aGUKPj4g
ZXZlbnQgaXMgaGVsZCBlbHNld2hlcmUuICBJIGFtIGFsbCBmb3IgaW1wcm92aW5nIHZpcnR1YWwg
Y29uZmVyZW5jZQo+PiBwYXJ0aWNpcGF0aW9uLCBidXQgd2UgaGFkIHNldmVyYWwgeWVhcnMgb2Yg
ZXhwZXJpbWVudGF0aW9uIHdpdGggdGhhdAo+PiBkdXJpbmcKPj4gdGhlIHBhbmRlbWljLCBhbmQg
aW4gdGhlIGVuZCB0aGUgdmVyZGljdCBzZWVtZWQgdG8gYmUgdGhhdCBpdCBkaWRuJ3QKPj4gcmVh
bGx5Cj4+IHdvcmsuICBBdCBsZWFzdCBpdCBpcyBub3QgYSByZXBsYWNlbWVudCBmb3IgaW4tcGVy
c29uIHBhcnRpY2lwYXRpb24uICBCdXQKPj4gSQo+PiB0aGluayBpZiBwZW9wbGUgYXJlIG1vdGl2
YXRlZCBlbm91Z2gsIGFuZCBlbm91Z2ggcGVvcGxlIGRvIG5vdCB3YW50IHRvCj4+IHRyYXZlbCB0
byB0aGUgVVMgZm9yIGNvbmZlcmVuY2VzLCB0aGVuIGl0IHdvdWxkIGJlIGEgZ3JlYXQgaWRlYSB0
bwo+PiBleHBlcmltZW50IHdpdGggc2F0ZWxsaXRlIG1lZXRpbmdzLCBhbHNvIGZvciBjbGltYXRl
IHJlYXNvbnMuCj4+Cj4+IEluIHN1bW1hcnksIGdpdmVuIHRoYXQgYSB2ZXJ5IHNpZ25pZmljYW50
IHBvcnRpb24gb2Ygb3VyIGNvbW11bml0eQo+PiBpbmNsdWRlcwo+PiBwZW9wbGUgd29ya2luZyBh
dCBVUyB1bml2ZXJzaXRpZXMsIEkgdGhpbmsgdGhhdCB3ZSBzaG91bGQgbm90IGFiYW5kb24KPj4g
Y29uZmVyZW5jZXMgaW4gdGhlIFVTIGVudGlyZWx5LiAgV2UgY291bGQsIGhvd2V2ZXIsIGNvbnNp
ZGVyIHJlZHVjaW5nIHRoZQo+PiBmcmVxdWVuY3kgd2l0aCB3aGljaCBjb25mZXJlbmNlcyBhcmUg
bG9jYXRlZCBpbiB0aGUgVVMgKGUuZy4gdG8gbm8gbW9yZQo+PiB0aGFuIDEvMiBvciBzb21lIHNt
YWxsZXIgZnJhY3Rpb24gb2YgdGhlIHRpbWUpLCBhcyB3ZWxsIGFzIGV4cGxvcmluZwo+PiBjb21w
bGVtZW50YXJ5IG9wdGlvbnMgbGlrZSBzYXRlbGxpdGUgbWVldGluZ3MuCj4+Cj4+IEJlc3Qgd2lz
aGVzLAo+PiBEZXJlawo+Pgo+PiBQLlMuIEluIHJlc3BvbnNlIHRvIEFydGVtJ3MgcXVlc3Rpb24s
IEkgd291bGQgbm90IGNvbnNpZGVyIHRoZSBkaXNjdXNzaW9uCj4+IG9uIHRoaXMgbGlzdCB0byBu
ZWNlc3NhcmlseSBiZSByZXByZXNlbnRhdGl2ZSBvZiB0aGUgInN0YW5jZSIgb2YgdGhlIFBMCj4+
IGNvbW11bml0eSBvbiB0aGlzIGlzc3VlLiAgSXQgbWF5IGJlIHdvcnRoIGdhdWdpbmcgdGhlIHN0
YW5jZSBvZiB0aGUKPj4gcmVzZWFyY2ggY29tbXVuaXR5LCBidXQgdGhhdCBtYXkgYmUgYmVzdCBk
b25lIHdpdGggcG9zdC1jb25mZXJlbmNlIHN1cnZleXMKPj4gYXQgc29tZSB1cGNvbWluZyBTSUdQ
TEFOIGNvbmZlcmVuY2VzLgo+Pgo+PiBPbiBUdWUsIFNlcCAyMywgMjAyNSBhdCA1OjE34oCvUE0g
QXJ0ZW0gU2hpbmthcm92IDx0ZW1hQHBtLm1lPiB3cm90ZToKPj4KPj4gPiBbIFRoZSBUeXBlcyBG
b3J1bSwKPj4gaHR0cDovL2xpc3RzLnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlw
ZXMtbGlzdCAKPj4gPiBdCj4+ID4KPj4gPiBIaQo+PiA+Cj4+ID4gSXQgYXBwZWFycyB0aGF0IHRo
ZSBhcmd1bWVudCByZWdhcmRpbmcgYmVpbmcgInRyYXBwZWQgaW4iIGlzIGRpdmVydGluZwo+PiB0
aGUKPj4gPiBkaXNjdXNzaW9uIGZyb20gdGhlIGludGVudCBvZiB0aGUgb3JpZ2luYWwgcG9zdDog
dGhlIHRveGljIGF0dGl0dWRlIG9mCj4+IHRoZQo+PiA+IFVTIHRvd2FyZHMgcmVzZWFyY2ggYW5k
IHJlc2VhcmNoZXJzLCB3aGljaCByZXF1aXJlcyBhY3Rpb24gZnJvbSB0aGUKPj4gPiByZXNlYXJj
aCBjb21tdW5pdHkuIEJhbiBvbiBjb25mZXJlbmNlcyBpbiB0aGUgVVMgY291bGQgc2VydmUgYXMg
YQo+PiA+IG1lYW5pbmdmdWwgc3RhdGVtZW50IG9yIGdlc3R1cmUgdGhhdCB3ZSBvdWdodCB0byBj
b25zaWRlci4KPj4gPgo+PiA+IFRoZSBpc3N1ZSBvZiBiZWluZyAidHJhcHBlZCBpbiIgaXMgaW5k
ZWVkIG9uZSBvZiB0aGUgZHJhd2JhY2tzCj4+IGhpZ2hsaWdodGVkCj4+ID4gaW4gdGhlIG9yaWdp
bmFsIHBvc3QuIEhvd2V2ZXIsIHRoaXMgc2l0dWF0aW9uIGlzIG5vdCB1bmlxdWUgdG8gdGhlIFVT
Owo+PiA+IHNpbWlsYXIgY2hhbGxlbmdlcyBhcmlzZSBpbiBvdGhlciBjb3VudHJpZXMgYXMgd2Vs
bC4gRm9yIGluc3RhbmNlLAo+PiA+IGluZGl2aWR1YWxzIG9uIHZpc2FzIGluIHRoZSBVSyBtYXkg
ZmluZCB0aGVtc2VsdmVzIHVuYWJsZSB0byB0cmF2ZWwgdG8KPj4gPiBFdXJvcGUsIHRoZSBVUywg
YW5kIGJleW9uZC4gQXMgbm90ZWQgaW4gcHJldmlvdXMgZGlzY3Vzc2lvbnMsIHdlIGNhbgo+PiA+
IGFkZHJlc3MgdGhpcyBpc3N1ZSBieSBlbnN1cmluZyBhZGVxdWF0ZSBvbmxpbmUgcGFydGljaXBh
dGlvbiBhbmQKPj4gZXhwbG9yaW5nCj4+ID4gdGhlIHBvc3NpYmlsaXR5IG9mIHNhdGVsbGl0ZSBl
dmVudHMuIE5ldmVydGhlbGVzcywgdGhlIGNydWNpYWwgcXVlc3Rpb24KPj4gPiByZW1haW5zOiBp
cyB0aGUgcmVzZWFyY2ggY29tbXVuaXR5IHByZXBhcmVkIHRvIGV4cHJlc3MgaXRzIHN0YW5jZSBv
bgo+PiB0aGlzCj4+ID4gbWF0dGVyLCBhbmQgd2hhdCBpcyB0aGUgbW9zdCBlZmZlY3RpdmUgd2F5
IHRvIGRvIHNvPwo+PiA+Cj4+ID4KPj4gPgo+PiA+IENoZWVycywKPj4gPiBBcnRlbQo+PiA+Cj4+
ID4KPj4gPgo+PiA+IE9uIFR1ZXNkYXksIFNlcHRlbWJlciAyM3JkLCAyMDI1IGF0IDE6MzYgUE0s
IE5pa2kgVmF6b3UgPAo+PiA+IG5pa2l2YXpvdUBnbWFpbC5jb20+IHdyb3RlOgo+PiA+Cj4+ID4g
Pgo+PiA+ID4KPj4gPiA+IFsgVGhlIFR5cGVzIEZvcnVtLAo+PiA+IGh0dHA6Ly9saXN0cy5zZWFz
LnVwZW5uLmVkdS9tYWlsbWFuL2xpc3RpbmZvL3R5cGVzLWxpc3QgICAgXQo+PiA+ID4KPj4gPiA+
IEhleSwKPj4gPiA+Cj4+ID4gPiBJIGFsc28gYWdyZWUgdGhhdCBtb3ZpbmcgaXMgZ2V0dGluZyBt
b3JlIGNvbXBsaWNhdGVkIChib3RoIGZvciB0aGUKPj4gPiA+IGdlb3BvbGl0aWNhbCBldmVudHMg
YW5kIHRoZSBlbnZpcm9ubWVudC4uLikKPj4gPiA+IFNvLCBtYXliZSBhIGdvb2QgYWx0ZXJuYXRp
dmUgd291bGQgYmUsIGluIHBhcmFsbGVsIHRvIHRoZSBtYWluIGV2ZW50LAo+PiB0bwo+PiA+ID4g
aGF2ZSBzYXRlbGxpdGUgZXZlbnRzLiBGb3IgZXhhbXBsZSwgd2hlbiBhIGNvbmZlcmVuY2UgaGFw
cGVucyBpbiBVU0EsCj4+IHRvCj4+ID4gPiBoYXZlIHBhcnRpY2lwYW50cyBnYXRoZXIgaW4gYW5v
dGhlciBjb3VudHJ5IHRvIGF0dGVuZC9wYXJ0aWNpcGF0ZS4KPj4gPiA+Cj4+ID4gPiBCZXN0LAo+
PiA+ID4gTmlraQo+PiA+ID4KPj4gPiA+IE9uIE1vbiwgU2VwIDIyLCAyMDI1IGF0IDU6MzXigK9Q
TSBKdWxpYSBCZWx5YWtvdmEganVsYmluYkBnbWFpbC5jb20KPj4gd3JvdGU6Cj4+ID4gPgo+PiA+
ID4gPiBbIFRoZSBUeXBlcyBGb3J1bSwKPj4gPiBodHRwOi8vbGlzdHMuc2Vhcy51cGVubi5lZHUv
bWFpbG1hbi9saXN0aW5mby90eXBlcy1saXN0IAo+PiA+ID4gPiBdCj4+ID4gPiA+Cj4+ID4gPiA+
IEkgZG9uJ3QgZGlzYWdyZWUgdGhhdCB0aGUgVVMgaXMgbm90IGEgd2VsY29tZSBkZXN0aW5hdGlv
biBmb3IgbWFueQo+PiA+IHBlb3BsZQo+PiA+ID4gPiByaWdodCBub3cuCj4+ID4gPiA+Cj4+ID4g
PiA+IEkgZGlkIHdhbnQgdG8gcG9pbnQgb3V0IHRoZSBleGlzdGVuY2Ugb2YgdGhlIHRyYXBwZWQt
aW4tdGhlLVVTCj4+ID4gPiA+IGludGVybmF0aW9uYWwgY29tbXVuaXR5IGJlY2F1c2UgaW4gbXkg
ZXhwZXJpZW5jZSwgYSBsb3Qgb2YgcGVvcGxlLAo+PiA+ID4gPiB1bmRlcnN0YW5kYWJseSwgYXJl
IG5vdCBhd2FyZSBvZiB0aGlzIHBoZW5vbWVub24uCj4+ID4gPiA+Cj4+ID4gPiA+IEluIGdlbmVy
YWwsIHRoZXJlIGFyZSBtYW55IHJlYXNvbnMgd2h5IGFuIGluZGl2aWR1YWwgY2Fubm90IHRyYXZl
bAo+PiB0byBhCj4+ID4gPiA+IHBhcnRpY3VsYXIgbG9jYXRpb24sIGJlIGl0IHRoZSBVUyBvciBh
bm90aGVyIGNvdW50cnkuCj4+ID4gPiA+Cj4+ID4gPiA+IFRvIGJlIGNvbnN0cnVjdGl2ZSwgSSB3
b3VsZCBsaWtlIHRvIGFtcGxpZnkgYW4gYWx0ZXJuYXRpdmUKPj4gc3VnZ2VzdGlvbgo+PiA+ID4g
PiBkaXNjdXNzZWQgaW4gWnVsaXAsIHdoaWNoIGlzIHRvIGhhdmUgYW4gZXhwbGljaXQgcG9saWN5
IGZvcgo+PiBwcmVzZW50aW5nCj4+ID4gdGhlCj4+ID4gPiA+IHBhcGVyIGF0IGEgZGlmZmVyZW50
IGNvbmZlcmVuY2UgdGhhdCBpcyBoZWxkIGluIGEgbW9yZSBzdWl0YWJsZQo+PiA+IGxvY2F0aW9u
Cj4+ID4gPiA+IGZvciB0aGUgYXV0aG9yLiBTaW1pbGFyIHRvIHdoYXQgU0lHUExBTi10cmFjayBo
YXMgYmVlbiBkb2luZyBhdAo+PiBTUExBU0guCj4+ID4gPiA+Cj4+ID4gPiA+IE9mIGNvdXJzZSwg
aXQgd291bGQgcmVxdWlyZSBtb3JlIGNvb3JkaW5hdGlvbiBhY3Jvc3MgdGhlIGNvbmZlcmVuY2Vz
Cj4+ID4gYW5kIGFuCj4+ID4gPiA+IGFkZGl0aW9uYWwgbG9naXN0aWNzIGJ1cmRlbiBvbiBvcmdh
bml6ZXJzLgo+PiA+ID4gPgo+PiA+ID4gPiAtLQo+PiA+ID4gPiBLaW5kIHJlZ2FyZHMsIEp1bGlh
Cj4+ID4gPiA+Cj4+ID4gPiA+Cj4+ID4KPj4gaHR0cHM6Ly91cmxkZWZlbnNlLmNvbS92My9fX2h0
dHBzOi8vanVsYmluYi5naXRodWIuaW8vX187ISFJQnpXTFVzIVdBWDd4eUJzZFpUM29NRkswbG01
ZEZtYWs1bnZXc3pIX1R0LXRsXzhNeVJ1Z2FFWXpoM1NtLVdtaW5UTVRSZVYzTExObFBVT0pJakJr
LTNGRE1XdERzUE1mZHMkCj4+ID4gPiA+Cj4+ID4gPiA+IE9uIE1vbiwgU2VwIDIyLCAyMDI1LCAx
MjoyN+KAr0FNIFNhbmppdmEgUHJhc2FkCj4+IHNhbmppdmFAY3NlLmlpdGQuYWMuaW4KPj4gPiA+
ID4gd3JvdGU6Cj4+ID4gPiA+Cj4+ID4gPiA+ID4gU28gaWE9cyBteSBzb24gKGZvciBJTlMgcmVh
c29ucykgLS0gY291bGQgbm90IGF0dGVuZCBFQ09PUCBvciBDQVYKPj4gPiB0aGlzCj4+ID4gPiA+
ID4geWVhciB3aGVyZSBoZSBoYWQgYmVzdCBwYXBlcnMuCj4+ID4gPiA+ID4KPj4gPiA+ID4gPiBC
dXQgY29tcHV0ZXIgc2NpZW5jZSBpcyBub3QgYSBVUyBtb25vcG9seSAobm90IGV2ZW4gaW4gQUNN
IG5vdywKPj4gPiB0aG91Z2gKPj4gPiA+ID4gPiByZWdpc3RlcmVkIGluIHRoZSBVUykuCj4+ID4g
PiA+ID4gSXQgY29zdHMgSW5kaWFucyBhbmQgQ2hpbmVzZSBhbmQgc29tZSBvdGhlcnMgVVNEMjUw
IG92ZXIgdGhlIHZpc2EKPj4gPiBjb3N0cwo+PiA+ID4gPiA+IGp1c3QgdG8gZW50ZXIgdGhlIFVT
Lgo+PiA+ID4gPiA+IEFtIG5vdCBzYXlpbmcgdGhhdCBnZXR0aW5nIGludG8gRXVyb3BlIG9yIElu
ZGlhIGlzIGVhc2llciwgYnV0IFVTCj4+IGlzCj4+ID4gbm90Cj4+ID4gPiA+ID4gYSB3ZWxjb21l
IGRlc3RpbmF0aW9uIGZvciBtYW55IHJpZ2h0IG5vdy4KPj4gPiA+ID4gPgo+PiA+ID4gPiA+IE9u
IDIyLzA5LzI1IDA0OjE4LCBKdWxpYSBCZWx5YWtvdmEgd3JvdGU6Cj4+ID4gPiA+ID4KPj4gPiA+
ID4gPiA+IFsgVGhlIFR5cGVzIEZvcnVtLAo+PiA+ID4gPiA+ID4gaHR0cDovL2xpc3RzLnNlYXMu
dXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtbGlzdCAgICBdCj4+ID4gPiA+ID4gPgo+
PiA+ID4gPiA+ID4gSSB1bmRlcnN0YW5kIHRoaXMgcG9zaXRpb24gYnV0IGp1c3Qgd2FudCB0byBy
ZW1pbmQgdGhhdCB0aGVyZQo+PiBhcmUKPj4gPiBtYW55Cj4+ID4gPiA+ID4gPiBpbnRlcm5hdGlv
bmFsIHN0dWRlbnRzIGFuZCBwcm9mZXNzaW9uYWxzIGluIHRoZSBjb21tdW5pdHkgd2hvCj4+IGFy
ZQo+PiA+IHN0dWNrCj4+ID4gPiA+ID4gPiBpbnNpZGUgdGhlIFVTIGFuZCBjYW5ub3QgY3Jvc3Mg
dGhlIGJvcmRlciwgZXZlbiB0byBnbyBDYW5hZGEuCj4+ID4gPiA+ID4gPgo+PiA+ID4gPiA+ID4g
SSwgZm9yIG9uZSwgaGF2ZSBiZWVuIHN0dWNrIGluIHRoZSBVUyBzaW5jZSAyMDIwLgo+PiA+ID4g
PiA+Cj4+ID4gPiA+ID4gLS0KPj4gPiA+ID4gPiBTYW5qaXZhIFByYXNhZAo+PiA+ID4gPiA+IFBy
b2Zlc3NvciwgRGVwYXJ0bWVudCBvZiBDb21wdXRlciBTY2llbmNlIGFuZCBFbmdpbmVlcmluZwo+
PiA+ID4gPiA+IEluZGlhbiBJbnN0aXR1dGUgb2YgVGVjaG5vbG9neSBEZWxoaSAoSUlUIERlbGhp
KQo+PiA+ID4KPj4gPiA+Cj4+ID4gPgo+PiA+ID4gLS0KPj4gPiA+IE5pa2kgVmF6b3UKPj4gPgo+
Pgo+Cg==