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

Derek Dreyer <[email protected]> Tue, 23 Sep 2025 20:27:04 +0200
Newsgroups gmane.comp.science.types
Message-ID <CAEX2k5FsaHgW-T21pLY7ujqwSoqkMsCZ9yCecGjRGjG-W3WxoQ@mail.gmail.com>
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp
c3RpbmZvL3R5cGVzLWxpc3QgXQoKSGksIFhhdmllci4KCkkgYXBwcmVjaWF0ZSBmdWxseSBob3cg
dGVycmlibGUgdGhlIHNpdHVhdGlvbiBpcywgYW5kIGluIHBhcnRpY3VsYXIgSSBhbQphd2FyZSBv
ZiB0aGUgZXhhbXBsZXMgeW91IGdhdmUsIGFuZCBzbyBJIHJlc3BlY3QgaW5kaXZpZHVhbHMnIHJl
YXNvbnMgZm9yCm5vdCB0cmF2ZWxsaW5nIHRvIHRoZSBVUy4gIEhvd2V2ZXIsIHRoZSBleGFtcGxl
cyB5b3UgZ2F2ZSB3ZXJlIC0tIGlmIEkgYW0Kbm90IG1pc3Rha2VuIC0tIHJlbGF0ZWQgdG8gcGVv
cGxlIHdobyB3ZXJlICp3b3JraW5nKiBpbiB0aGUgVVMuICBJdCB3b3VsZApiZSBoZWxwZnVsIHRv
IGtub3cgb2YgY29uY3JldGUgZXhhbXBsZXMgb2YgYWNhZGVtaWNzIHdobyB3ZXJlIGhhcmFzc2Vk
LAptaXN0cmVhdGVkLCBvciBkZXRhaW5lZCBieSBnb3Zlcm5tZW50IG9mZmljaWFscyB3aGVuIHRy
YXZlbGxpbmcgdG8KY29uZmVyZW5jZXMgaW4gdGhlIFVTLiAgTXkgaW1wcmVzc2lvbiBpcyB0aGF0
IHRoZXJlIGFyZSBleHRyZW1lbHkgZmV3IHN1Y2gKY2FzZXMgLS0gYnV0IEkgZG9uJ3Qga25vdy4K
CkFzIEkgc2FpZCwgSSB0aGluayB3ZSBhcyBhIGNvbW11bml0eSBoYXZlIHRvIGNvbnNpZGVyIHRo
ZSBuZWVkcyBvZiBhbGwgUEwKcmVzZWFyY2hlcnMsIGluY2x1ZGluZyBtYW55IG5vbi1VUy1jaXRp
emVuIHJlc2VhcmNoZXJzIHdvcmtpbmcgaW4gdGhlIFVTCmZvciB3aG9tIGl0IHdvdWxkIGJlIGEg
c2lnbmlmaWNhbnQgaGFyZHNoaXAgaWYgYWxsIGNvbmZlcmVuY2VzIHRvb2sgcGxhY2UKb3V0c2lk
ZSB0aGUgVVMuCgpJbiBhbnkgY2FzZSwgSSB0aGluayB0aGF0IGlmIHBlb3BsZSByZWFsbHkgY2Fy
ZSBhYm91dCB0aGlzIGlzc3VlLCB0aGUgVHlwZXMKZm9ydW0gaXMgbm90IHRoZSBpZGVhbCBtZWNo
YW5pc20gdG8gZWZmZWN0IGNoYW5nZS4gIEl0IHdvdWxkIGJlIG1vcmUgdXNlZnVsCnRvIGJyaW5n
IHRoZSBpc3N1ZSB0byB0aGUgYXR0ZW50aW9uIG9mIHRoZSBTSUdQTEFOIEVDIGFuZC9vciBpbmRp
dmlkdWFsCmNvbmZlcmVuY2UgU0NzIGFuZCBzdGFydCBhIGRpc2N1c3Npb24gdGhlcmUuICBJJ20g
aGFwcHkgdG8gcmFpc2UgdGhlIGlzc3VlCmZvciBkaXNjdXNzaW9uIG9uIHRoZSBQT1BMIFNDIHNp
bmNlIEknbSBhIG1lbWJlciBvZiB0aGF0LCBhbmQgaWYgeW91IChvcgpzb21lb25lIGVsc2UpIHdh
bnRzIHRvIG1ha2UgYSBmb3JtYWwgcHJvcG9zYWwgZm9yIG1lIHRvIGZvcndhcmQgdG8gdGhlIFND
LApJJ20gaGFwcHkgdG8gZG8gdGhhdC4gIEJ1dCB1bHRpbWF0ZWx5LCBJIHRoaW5rIHRoYXQgYmVm
b3JlIGFueSBkcmFzdGljCmNoYW5nZXMgYXJlIG1hZGUsIHdlIHdpbGwgbmVlZCBpbnB1dCBmcm9t
IHRoZSB3aG9sZSBjb21tdW5pdHksIG5vdCBqdXN0CnRob3NlIHdobyBhcmUgdm9jYWwgYWJvdXQg
aXQgaW4gb25lIGVtYWlsIHRocmVhZC4KClRoYW5rcywKRGVyZWsKCgpPbiBUdWUsIFNlcCAyMywg
MjAyNSBhdCA3OjA54oCvUE0gWGF2aWVyIExlcm95IDwKeGF2aWVyLmxlcm95QGNvbGxlZ2UtZGUt
ZnJhbmNlLmZyPiB3cm90ZToKCj4gRGVhciBEZXJlaywKPgo+IE9uIFR1ZSwgU2VwIDIzLCAyMDI1
IGF0IDY6MTPigK9QTSBEZXJlayBEcmV5ZXIgPGRyZXllckBtcGktc3dzLm9yZz4gd3JvdGU6Cj4K
Pj4gWyBUaGUgVHlwZXMgRm9ydW0sCj4+IGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWls
bWFuL2xpc3RpbmZvL3R5cGVzLWxpc3QgIF0KPj4KPj4gVGhhbmtzIGZvciB0aGUgbGl2ZWx5IGRp
c2N1c3Npb24gYWJvdXQgdGhpcyBpc3N1ZS4gIEhvd2V2ZXIsIEknbSBhZnJhaWQgSQo+PiBtdXN0
IGRpc2FncmVlIHdpdGggdGhlIG9waW5pb25zIHBvc3RlZCBzbyBmYXIgdGhhdCBhZHZvY2F0ZWQg
Zm9yCj4+ICh0ZW1wb3JhcmlseSkgYWJhbmRvbmluZyBjb25mZXJlbmNlcyBpbiB0aGUgVVMuCj4+
Cj4+IE9mIGNvdXJzZSwgbWFueSBwZW9wbGUgaW4gb3VyIGNvbW11bml0eSBhcmUgdW5kZXJzdGFu
ZGFibHkgdXBzZXQgYmVjYXVzZQo+PiBvZgo+PiB0aGUgYWN0aW9ucyBvZiB0aGUgVHJ1bXAgYWRt
aW5pc3RyYXRpb24gYW5kIGl0cyBlZmZlY3Qgb24gaW1taWdyYXRpb24gYW5kCj4+IHJlc2VhcmNo
LiAgSSwgdG9vLCBhbSB2ZXJ5IHVwc2V0IGFib3V0IGl0ICh0byBwdXQgaXQgbWlsZGx5KS4KPj4K
Pj4gQnV0IGl0IHNlZW1zIHRvIG1lIHRoZXJlIGFyZSBtdWx0aXBsZSBkaWZmZXJlbnQgaXNzdWVz
IGJlaW5nIGNvbmZsYXRlZCBpbgo+PiBHYWJyaWVsJ3Mgb3JpZ2luYWwgcG9zdCwgYW5kIHRoZSBw
cm9wb3NlZCBjdXJlIGlzIHdvcnNlIHRoYW4gdGhlIGRpc2Vhc2UuCj4+IEluIHBhcnRpY3VsYXIs
IGhlIHdyb3RlOiAiSXQgaXMgcHJldHR5IGNsZWFyIHRoYXQgdGhlIFVTIGFyZSBub3QgYSBzYWZl
Cj4+IHBsYWNlIGZvciB1bml2ZXJzaXRpZXMgcmlnaHQgbm93LCBhbmQgYWxzbyB1bnBhbGF0YWJs
ZS10by11bnNhZmUgZm9yCj4+IHBlb3BsZQo+PiAoZXNwZWNpYWxseSBmb3JlaWduZXJzKSB3b3Jr
aW5nIGluIHVuaXZlcnNpdGllcy4iCj4+Cj4+IENvbmNlcm5pbmcgdGhlIHBvaW50IHRoYXQgdGhl
IFVTIGlzIG5vdCBhIHNhZmUgcGxhY2UgZm9yIHVuaXZlcnNpdGllczogSQo+PiBhbQo+PiBub3Qg
ZXhhY3RseSBzdXJlIHdoYXQgaGUgbWVhbnQsIGJ1dCBJIGFzc3VtZSBoZSBtZWFudCB0aGF0IHVu
aXZlcnNpdGllcwo+PiBhcmUKPj4gc3VmZmVyaW5nIHVuZGVyIHRoZSBtYWpvciBmdW5kaW5nIGN1
dHMgYW5kIGdlbmVyYWxseSB0aHJlYXRlbmluZyBiZWhhdmlvcgo+PiBvZiB0aGUgVHJ1bXAgYWRt
aW5pc3RyYXRpb24uICBUaGlzIGlzIGNlcnRhaW5seSB0cnVlLiAgSG93ZXZlciwgaXQgaXMgbm90
Cj4+IGNsZWFyIHRvIG1lIGhvdyBob2xkaW5nIGFuIGFjYWRlbWljIGNvbmZlcmVuY2Ugb3V0c2lk
ZSB0aGUgVVMgZm9yIGEgY291cGxlCj4+IHllYXJzIHdpbGwgc3dheSBUcnVtcCB0byBkbyBzb21l
dGhpbmcgZGlmZmVyZW50LiAgRnVydGhlcm1vcmUsIHdoZW4KPj4gY29uc2lkZXJpbmcgb3RoZXIg
Y29uZmVyZW5jZSBsb2NhdGlvbnMsIEkgZG8gbm90IHJlY2FsbCBpdCBldmVyIGhhdmluZwo+PiBi
ZWVuCj4+IGEgcHJpb3JpdHkgdG8gc2VsZWN0IGxvY2F0aW9ucyBiYXNlZCBvbiB3aGV0aGVyIHRo
ZSBsb2NhbCBnb3Zlcm5tZW50IHdhcwo+PiBwYXJ0aWN1bGFybHkgc3VwcG9ydGl2ZSBvZiBzY2ll
bmNlLiAgRXZlbiBpbiBpdHMgZGltaW5pc2hlZCBzdGF0ZSwgdGhlIFVTCj4+IGdvdmVybm1lbnQg
d2lsbCBzdGlsbCBiZSBhIG1ham9yIGNvbnRyaWJ1dG9yIHRvIGdsb2JhbCByZXNlYXJjaCBmdW5k
aW5nLgo+Pgo+PiBDb25jZXJuaW5nIHRoZSBwb2ludCB0aGF0IHRoZSBVUyBpcyAidW5wYWxhdGFi
bGUtdG8tdW5zYWZlIGZvciBwZW9wbGUKPj4gKGVzcGVjaWFsbHkgZm9yZWlnbmVycykgd29ya2lu
ZyBpbiB1bml2ZXJzaXRpZXMiLCBJIGFnYWluIGFtIG5vdAo+PiBjb21wbGV0ZWx5Cj4+IHN1cmUg
d2hhdCB0aGlzIGlzIHJlZmVycmluZyB0by4KPgo+Cj4gTGV0IG1lIHRyeSB0byBtYWtlIGl0IGNs
ZWFyIHRvIHlvdS4gIEF0IHRoaXMgcG9pbnQgaW4gdGltZSwgSSBkbyBub3QgZmVlbAo+IHNhZmUg
dHJhdmVsaW5nIHRvIHRoZSBVUy4gIFRoaXMgZGVzcGl0ZSB0aGUgZmFjdCB0aGF0IEkgbGl2ZWQg
MiB5ZWFycyB0aGVyZQo+IChhcyBhbiBpbnRlcm4gdGhlbiBhcyBhIHBvc3Rkb2MpLCBoZWxkIHZh
cmlvdXMgVVMgdmlzYXMsIHRyYXZlbGVkIHRoZXJlIGEKPiBncmVhdCBtYW55IHRpbWVzLCBuZXZl
ciBoYWQgYW55IHByb2JsZW0gd2l0aCBpbW1pZ3JhdGlvbiwgYW5kIG5ldmVyIGZlbHQKPiB0aHJl
YXRlbmVkIG9yIHVud2VsY29tZSBpbiB0aGUgVVMgYmVmb3JlLiAgTm93LCBJIHNlZSBmb3JlaWdu
IHN0dWRlbnRzCj4gYmVpbmcgYXJiaXRyYXJpbHkgZGVwb3J0ZWQKPiA8aHR0cHM6Ly91cmxkZWZl
bnNlLmNvbS92My9fX2h0dHBzOi8vZW4ud2lraXBlZGlhLm9yZy93aWtpL0FjdGl2aXN0X2RlcG9y
dGF0aW9uc19pbl90aGVfc2Vjb25kX1RydW1wX3ByZXNpZGVuY3lfXzshIUlCeldMVXMhVHppQnk3
Zm1zd09QRTIwYXlTTzBqdTB0dWhVSU1WSW9wT3RJN3FtNTdTaG1jbXVjTWRWbGdUb0Q1LUk3NTF0
bUZRUGZvd2cyTWhkVm9MR0M4aDdLYkVfOVJ2U3QkID4gb3IKPiBpbGxlZ2FsbHkgc3RyaXBwZWQg
b2ZmIHRoZWlyIGxlZ2FsIHN0YXR1cwo+IDxodHRwczovL3VybGRlZmVuc2UuY29tL3YzL19faHR0
cHM6Ly93d3cucGJzLm9yZy9uZXdzaG91ci9uYXRpb24vaW50ZXJuYXRpb25hbC1zdHVkZW50cy1z
dHJpcHBlZC1vZi1sZWdhbC1zdGF0dXMtaW4tdGhlLXUtcy1hcmUtcGlsaW5nLXVwLXdpbnMtaW4t
Y291cnRfXzshIUlCeldMVXMhVHppQnk3Zm1zd09QRTIwYXlTTzBqdTB0dWhVSU1WSW9wT3RJN3Ft
NTdTaG1jbXVjTWRWbGdUb0Q1LUk3NTF0bUZRUGZvd2cyTWhkVm9MR0M4aDdLYkNKakVxT18kID4s
Cj4gU291dGggS29yZWFuIGxlZ2FsIHdvcmtlcnMgYmVpbmcgYXJyZXN0ZWQsIGhlbGQgb25lIHdl
ZWsgaW4gZGV0ZW50aW9uCj4gY2FtcCBhbmQgZGVwb3J0ZWQgPGh0dHBzOi8vdXJsZGVmZW5zZS5j
b20vdjMvX19odHRwczovL3d3dy5iYmMuY29tL25ld3MvYXJ0aWNsZXMvY3o5ajU4NWcyM2dvX187
ISFJQnpXTFVzIVR6aUJ5N2Ztc3dPUEUyMGF5U08wanUwdHVoVUlNVklvcE90STdxbTU3U2htY211
Y01kVmxnVG9ENS1JNzUxdG1GUVBmb3dnMk1oZFZvTEdDOGg3S2JJa0pRY21EJCA+LCBldGMuCj4K
PiBDYW4geW91IHVuZGVyc3RhbmQgdGhhdCBtZW1iZXJzIG9mIG91ciByZXNlYXJjaCBjb21tdW5p
dHkgd2hvIGFyZSBsZXNzCj4gcHJpdmlsZWdlZCB0aGFuIEkgYW0gKGkuZS4gZG9uJ3QgaGF2ZSBF
dXJvcGVhbiBVbmlvbiBjaXRpemVuc2hpcCwgZmFpcgo+IHNraW4sIHVudGhyZWF0ZW5pbmcgbWlk
ZGxlLWFnZWQgbWFuIGxvb2tzLCBhbmQgYSBzb2xpZCBwZXJtYW5lbnQgYWNhZGVtaWMKPiBwb3Np
dGlvbiBpbiBFdXJvcGUpIGFyZSBldmVuIG1vcmUgc2NhcmVkIHRoYW4gSSBhbT8KPgo+IE9mIGNv
dXJzZSB3ZSB3aWxsIG5vdCBnbyB0byB0aGUgVVMgdG8gYXR0ZW5kIGEgY29uZmVyZW5jZS4gIFBs
ZWFzZSBhY2NlcHQKPiB0aGlzIGZhY3QgYW5kIHdvcmsgd2l0aCB1cyB0byBmaW5kIGFsdGVybmF0
aXZlcyB0byBrZWVwIG91ciBjb25mZXJlbmNlcwo+IGFsaXZlLgo+Cj4gLSBYYXZpZXIgTGVyb3kK
Pgo+Cj4KPgo+Cj4KPgo+Cj4+IElmIHRoaXMgaXMgcmVmZXJyaW5nIHRvIG5vbi1VUyBjaXRpemVu
cwo+PiB3b3JraW5nIGluIHVuaXZlcnNpdGllcyBpbiB0aGUgVVMsIHdobyBtaWdodCBoYXZlIHRo
ZWlyIHZpc2FzIHJldm9rZWQgb24KPj4gd2hhdGV2ZXIgcHJvY2xhbWF0aW9uIFRydW1wIHRoaW5r
cyB1cCB0b21vcnJvdywgeWVzLCB0aGlzIGlzIHJlYWxseSBiYWQuCj4+IEJ1dCBhcyBoYXMgYWxy
ZWFkeSBiZWVuIG5vdGVkIGJ5IEp1bGlhIGFuZCBvdGhlcnMsIGl0IGlzICptdWNoKiBlYXNpZXIg
Zm9yCj4+IHRob3NlIHBlb3BsZSB0byBhdHRlbmQgY29uZmVyZW5jZXMgaW4gdGhlIFVTIHRoYW4g
ZWxzZXdoZXJlLiAgSWYgb24gdGhlCj4+IG90aGVyIGhhbmQgdGhpcyBpcyByZWZlcnJpbmcgdG8g
cGVvcGxlIHRyYXZlbGxpbmcgdG8gdGhlIFVTIGZvciB0aGUKPj4gY29uZmVyZW5jZSwgSSBoZWFy
ZCBhIGZldyBob3Jyb3Igc3RvcmllcyBlYXJsaWVyIHRoaXMgeWVhciwgYnV0IEkgaGF2ZSBub3QK
Pj4gc2VlbiBldmlkZW5jZSB0aGF0IHRoZXJlIGlzIHdpZGVzcHJlYWQgaGFyYXNzbWVudCBvZiBh
Y2FkZW1pY3MgZW50ZXJpbmcKPj4gdGhlCj4+IFVTIGZvciBhIGNvbmZlcmVuY2UuICBTbyBJIHRo
aW5rIHRoZSBjaGFuY2Ugb2YgZW5jb3VudGVyaW5nIGEgcHJvYmxlbSBpcwo+PiB2ZXJ5IGxvdy4g
IEJ1dCBJIGFncmVlIHRoYXQgdGhpcyBpcyBhIHZhbGlkIGNhdXNlIGZvciBjb25jZXJuLCBhbmQg
SSBjYW4KPj4gdW5kZXJzdGFuZCBpZiBwZW9wbGUgYXJlIGhlc2l0YW50IHRvIHRyYXZlbCB0byB0
aGUgVVMgYmVjYXVzZSBvZiBpdC4KPj4KPj4gT3RoZXJzIG9uIHRoZSB0aHJlYWQgaGF2ZSBzdWdn
ZXN0ZWQgaW1wcm92aW5nIG91ciB2aXJ0dWFsIGNvbmZlcmVuY2UKPj4gcGFydGljaXBhdGlvbiBv
cHRpb25zIHNvIHRoYXQgVVMgcmVzZWFyY2hlcnMgY2FuIHBhcnRpY2lwYXRlIGV2ZW4gaWYgdGhl
Cj4+IGV2ZW50IGlzIGhlbGQgZWxzZXdoZXJlLiAgSSBhbSBhbGwgZm9yIGltcHJvdmluZyB2aXJ0
dWFsIGNvbmZlcmVuY2UKPj4gcGFydGljaXBhdGlvbiwgYnV0IHdlIGhhZCBzZXZlcmFsIHllYXJz
IG9mIGV4cGVyaW1lbnRhdGlvbiB3aXRoIHRoYXQKPj4gZHVyaW5nCj4+IHRoZSBwYW5kZW1pYywg
YW5kIGluIHRoZSBlbmQgdGhlIHZlcmRpY3Qgc2VlbWVkIHRvIGJlIHRoYXQgaXQgZGlkbid0Cj4+
IHJlYWxseQo+PiB3b3JrLiAgQXQgbGVhc3QgaXQgaXMgbm90IGEgcmVwbGFjZW1lbnQgZm9yIGlu
LXBlcnNvbiBwYXJ0aWNpcGF0aW9uLiAgQnV0Cj4+IEkKPj4gdGhpbmsgaWYgcGVvcGxlIGFyZSBt
b3RpdmF0ZWQgZW5vdWdoLCBhbmQgZW5vdWdoIHBlb3BsZSBkbyBub3Qgd2FudCB0bwo+PiB0cmF2
ZWwgdG8gdGhlIFVTIGZvciBjb25mZXJlbmNlcywgdGhlbiBpdCB3b3VsZCBiZSBhIGdyZWF0IGlk
ZWEgdG8KPj4gZXhwZXJpbWVudCB3aXRoIHNhdGVsbGl0ZSBtZWV0aW5ncywgYWxzbyBmb3IgY2xp
bWF0ZSByZWFzb25zLgo+Pgo+PiBJbiBzdW1tYXJ5LCBnaXZlbiB0aGF0IGEgdmVyeSBzaWduaWZp
Y2FudCBwb3J0aW9uIG9mIG91ciBjb21tdW5pdHkKPj4gaW5jbHVkZXMKPj4gcGVvcGxlIHdvcmtp
bmcgYXQgVVMgdW5pdmVyc2l0aWVzLCBJIHRoaW5rIHRoYXQgd2Ugc2hvdWxkIG5vdCBhYmFuZG9u
Cj4+IGNvbmZlcmVuY2VzIGluIHRoZSBVUyBlbnRpcmVseS4gIFdlIGNvdWxkLCBob3dldmVyLCBj
b25zaWRlciByZWR1Y2luZyB0aGUKPj4gZnJlcXVlbmN5IHdpdGggd2hpY2ggY29uZmVyZW5jZXMg
YXJlIGxvY2F0ZWQgaW4gdGhlIFVTIChlLmcuIHRvIG5vIG1vcmUKPj4gdGhhbiAxLzIgb3Igc29t
ZSBzbWFsbGVyIGZyYWN0aW9uIG9mIHRoZSB0aW1lKSwgYXMgd2VsbCBhcyBleHBsb3JpbmcKPj4g
Y29tcGxlbWVudGFyeSBvcHRpb25zIGxpa2Ugc2F0ZWxsaXRlIG1lZXRpbmdzLgo+Pgo+PiBCZXN0
IHdpc2hlcywKPj4gRGVyZWsKPj4KPj4gUC5TLiBJbiByZXNwb25zZSB0byBBcnRlbSdzIHF1ZXN0
aW9uLCBJIHdvdWxkIG5vdCBjb25zaWRlciB0aGUgZGlzY3Vzc2lvbgo+PiBvbiB0aGlzIGxpc3Qg
dG8gbmVjZXNzYXJpbHkgYmUgcmVwcmVzZW50YXRpdmUgb2YgdGhlICJzdGFuY2UiIG9mIHRoZSBQ
TAo+PiBjb21tdW5pdHkgb24gdGhpcyBpc3N1ZS4gIEl0IG1heSBiZSB3b3J0aCBnYXVnaW5nIHRo
ZSBzdGFuY2Ugb2YgdGhlCj4+IHJlc2VhcmNoIGNvbW11bml0eSwgYnV0IHRoYXQgbWF5IGJlIGJl
c3QgZG9uZSB3aXRoIHBvc3QtY29uZmVyZW5jZSBzdXJ2ZXlzCj4+IGF0IHNvbWUgdXBjb21pbmcg
U0lHUExBTiBjb25mZXJlbmNlcy4KPj4KPj4gT24gVHVlLCBTZXAgMjMsIDIwMjUgYXQgNToxN+KA
r1BNIEFydGVtIFNoaW5rYXJvdiA8dGVtYUBwbS5tZT4gd3JvdGU6Cj4+Cj4+ID4gWyBUaGUgVHlw
ZXMgRm9ydW0sCj4+IGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xpc3RpbmZv
L3R5cGVzLWxpc3QgCj4+ID4gXQo+PiA+Cj4+ID4gSGkKPj4gPgo+PiA+IEl0IGFwcGVhcnMgdGhh
dCB0aGUgYXJndW1lbnQgcmVnYXJkaW5nIGJlaW5nICJ0cmFwcGVkIGluIiBpcyBkaXZlcnRpbmcK
Pj4gdGhlCj4+ID4gZGlzY3Vzc2lvbiBmcm9tIHRoZSBpbnRlbnQgb2YgdGhlIG9yaWdpbmFsIHBv
c3Q6IHRoZSB0b3hpYyBhdHRpdHVkZSBvZgo+PiB0aGUKPj4gPiBVUyB0b3dhcmRzIHJlc2VhcmNo
IGFuZCByZXNlYXJjaGVycywgd2hpY2ggcmVxdWlyZXMgYWN0aW9uIGZyb20gdGhlCj4+ID4gcmVz
ZWFyY2ggY29tbXVuaXR5LiBCYW4gb24gY29uZmVyZW5jZXMgaW4gdGhlIFVTIGNvdWxkIHNlcnZl
IGFzIGEKPj4gPiBtZWFuaW5nZnVsIHN0YXRlbWVudCBvciBnZXN0dXJlIHRoYXQgd2Ugb3VnaHQg
dG8gY29uc2lkZXIuCj4+ID4KPj4gPiBUaGUgaXNzdWUgb2YgYmVpbmcgInRyYXBwZWQgaW4iIGlz
IGluZGVlZCBvbmUgb2YgdGhlIGRyYXdiYWNrcwo+PiBoaWdobGlnaHRlZAo+PiA+IGluIHRoZSBv
cmlnaW5hbCBwb3N0LiBIb3dldmVyLCB0aGlzIHNpdHVhdGlvbiBpcyBub3QgdW5pcXVlIHRvIHRo
ZSBVUzsKPj4gPiBzaW1pbGFyIGNoYWxsZW5nZXMgYXJpc2UgaW4gb3RoZXIgY291bnRyaWVzIGFz
IHdlbGwuIEZvciBpbnN0YW5jZSwKPj4gPiBpbmRpdmlkdWFscyBvbiB2aXNhcyBpbiB0aGUgVUsg
bWF5IGZpbmQgdGhlbXNlbHZlcyB1bmFibGUgdG8gdHJhdmVsIHRvCj4+ID4gRXVyb3BlLCB0aGUg
VVMsIGFuZCBiZXlvbmQuIEFzIG5vdGVkIGluIHByZXZpb3VzIGRpc2N1c3Npb25zLCB3ZSBjYW4K
Pj4gPiBhZGRyZXNzIHRoaXMgaXNzdWUgYnkgZW5zdXJpbmcgYWRlcXVhdGUgb25saW5lIHBhcnRp
Y2lwYXRpb24gYW5kCj4+IGV4cGxvcmluZwo+PiA+IHRoZSBwb3NzaWJpbGl0eSBvZiBzYXRlbGxp
dGUgZXZlbnRzLiBOZXZlcnRoZWxlc3MsIHRoZSBjcnVjaWFsIHF1ZXN0aW9uCj4+ID4gcmVtYWlu
czogaXMgdGhlIHJlc2VhcmNoIGNvbW11bml0eSBwcmVwYXJlZCB0byBleHByZXNzIGl0cyBzdGFu
Y2Ugb24KPj4gdGhpcwo+PiA+IG1hdHRlciwgYW5kIHdoYXQgaXMgdGhlIG1vc3QgZWZmZWN0aXZl
IHdheSB0byBkbyBzbz8KPj4gPgo+PiA+Cj4+ID4KPj4gPiBDaGVlcnMsCj4+ID4gQXJ0ZW0KPj4g
Pgo+PiA+Cj4+ID4KPj4gPiBPbiBUdWVzZGF5LCBTZXB0ZW1iZXIgMjNyZCwgMjAyNSBhdCAxOjM2
IFBNLCBOaWtpIFZhem91IDwKPj4gPiBuaWtpdmF6b3VAZ21haWwuY29tPiB3cm90ZToKPj4gPgo+
PiA+ID4KPj4gPiA+Cj4+ID4gPiBbIFRoZSBUeXBlcyBGb3J1bSwKPj4gPiBodHRwOi8vbGlzdHMu
c2Vhcy51cGVubi5lZHUvbWFpbG1hbi9saXN0aW5mby90eXBlcy1saXN0ICAgIF0KPj4gPiA+Cj4+
ID4gPiBIZXksCj4+ID4gPgo+PiA+ID4gSSBhbHNvIGFncmVlIHRoYXQgbW92aW5nIGlzIGdldHRp
bmcgbW9yZSBjb21wbGljYXRlZCAoYm90aCBmb3IgdGhlCj4+ID4gPiBnZW9wb2xpdGljYWwgZXZl
bnRzIGFuZCB0aGUgZW52aXJvbm1lbnQuLi4pCj4+ID4gPiBTbywgbWF5YmUgYSBnb29kIGFsdGVy
bmF0aXZlIHdvdWxkIGJlLCBpbiBwYXJhbGxlbCB0byB0aGUgbWFpbiBldmVudCwKPj4gdG8KPj4g
PiA+IGhhdmUgc2F0ZWxsaXRlIGV2ZW50cy4gRm9yIGV4YW1wbGUsIHdoZW4gYSBjb25mZXJlbmNl
IGhhcHBlbnMgaW4gVVNBLAo+PiB0bwo+PiA+ID4gaGF2ZSBwYXJ0aWNpcGFudHMgZ2F0aGVyIGlu
IGFub3RoZXIgY291bnRyeSB0byBhdHRlbmQvcGFydGljaXBhdGUuCj4+ID4gPgo+PiA+ID4gQmVz
dCwKPj4gPiA+IE5pa2kKPj4gPiA+Cj4+ID4gPiBPbiBNb24sIFNlcCAyMiwgMjAyNSBhdCA1OjM1
4oCvUE0gSnVsaWEgQmVseWFrb3ZhIGp1bGJpbmJAZ21haWwuY29tCj4+IHdyb3RlOgo+PiA+ID4K
Pj4gPiA+ID4gWyBUaGUgVHlwZXMgRm9ydW0sCj4+ID4gaHR0cDovL2xpc3RzLnNlYXMudXBlbm4u
ZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtbGlzdCAKPj4gPiA+ID4gXQo+PiA+ID4gPgo+PiA+
ID4gPiBJIGRvbid0IGRpc2FncmVlIHRoYXQgdGhlIFVTIGlzIG5vdCBhIHdlbGNvbWUgZGVzdGlu
YXRpb24gZm9yIG1hbnkKPj4gPiBwZW9wbGUKPj4gPiA+ID4gcmlnaHQgbm93Lgo+PiA+ID4gPgo+
PiA+ID4gPiBJIGRpZCB3YW50IHRvIHBvaW50IG91dCB0aGUgZXhpc3RlbmNlIG9mIHRoZSB0cmFw
cGVkLWluLXRoZS1VUwo+PiA+ID4gPiBpbnRlcm5hdGlvbmFsIGNvbW11bml0eSBiZWNhdXNlIGlu
IG15IGV4cGVyaWVuY2UsIGEgbG90IG9mIHBlb3BsZSwKPj4gPiA+ID4gdW5kZXJzdGFuZGFibHks
IGFyZSBub3QgYXdhcmUgb2YgdGhpcyBwaGVub21lbm9uLgo+PiA+ID4gPgo+PiA+ID4gPiBJbiBn
ZW5lcmFsLCB0aGVyZSBhcmUgbWFueSByZWFzb25zIHdoeSBhbiBpbmRpdmlkdWFsIGNhbm5vdCB0
cmF2ZWwKPj4gdG8gYQo+PiA+ID4gPiBwYXJ0aWN1bGFyIGxvY2F0aW9uLCBiZSBpdCB0aGUgVVMg
b3IgYW5vdGhlciBjb3VudHJ5Lgo+PiA+ID4gPgo+PiA+ID4gPiBUbyBiZSBjb25zdHJ1Y3RpdmUs
IEkgd291bGQgbGlrZSB0byBhbXBsaWZ5IGFuIGFsdGVybmF0aXZlCj4+IHN1Z2dlc3Rpb24KPj4g
PiA+ID4gZGlzY3Vzc2VkIGluIFp1bGlwLCB3aGljaCBpcyB0byBoYXZlIGFuIGV4cGxpY2l0IHBv
bGljeSBmb3IKPj4gcHJlc2VudGluZwo+PiA+IHRoZQo+PiA+ID4gPiBwYXBlciBhdCBhIGRpZmZl
cmVudCBjb25mZXJlbmNlIHRoYXQgaXMgaGVsZCBpbiBhIG1vcmUgc3VpdGFibGUKPj4gPiBsb2Nh
dGlvbgo+PiA+ID4gPiBmb3IgdGhlIGF1dGhvci4gU2ltaWxhciB0byB3aGF0IFNJR1BMQU4tdHJh
Y2sgaGFzIGJlZW4gZG9pbmcgYXQKPj4gU1BMQVNILgo+PiA+ID4gPgo+PiA+ID4gPiBPZiBjb3Vy
c2UsIGl0IHdvdWxkIHJlcXVpcmUgbW9yZSBjb29yZGluYXRpb24gYWNyb3NzIHRoZSBjb25mZXJl
bmNlcwo+PiA+IGFuZCBhbgo+PiA+ID4gPiBhZGRpdGlvbmFsIGxvZ2lzdGljcyBidXJkZW4gb24g
b3JnYW5pemVycy4KPj4gPiA+ID4KPj4gPiA+ID4gLS0KPj4gPiA+ID4gS2luZCByZWdhcmRzLCBK
dWxpYQo+PiA+ID4gPgo+PiA+ID4gPgo+PiA+Cj4+IGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMv
X19odHRwczovL2p1bGJpbmIuZ2l0aHViLmlvL19fOyEhSUJ6V0xVcyFXQVg3eHlCc2RaVDNvTUZL
MGxtNWRGbWFrNW52V3N6SF9UdC10bF84TXlSdWdhRVl6aDNTbS1XbWluVE1UUmVWM0xMTmxQVU9K
SWpCay0zRkRNV3REc1BNZmRzJAo+PiA+ID4gPgo+PiA+ID4gPiBPbiBNb24sIFNlcCAyMiwgMjAy
NSwgMTI6MjfigK9BTSBTYW5qaXZhIFByYXNhZAo+PiBzYW5qaXZhQGNzZS5paXRkLmFjLmluCj4+
ID4gPiA+IHdyb3RlOgo+PiA+ID4gPgo+PiA+ID4gPiA+IFNvIGlhPXMgbXkgc29uIChmb3IgSU5T
IHJlYXNvbnMpIC0tIGNvdWxkIG5vdCBhdHRlbmQgRUNPT1Agb3IgQ0FWCj4+ID4gdGhpcwo+PiA+
ID4gPiA+IHllYXIgd2hlcmUgaGUgaGFkIGJlc3QgcGFwZXJzLgo+PiA+ID4gPiA+Cj4+ID4gPiA+
ID4gQnV0IGNvbXB1dGVyIHNjaWVuY2UgaXMgbm90IGEgVVMgbW9ub3BvbHkgKG5vdCBldmVuIGlu
IEFDTSBub3csCj4+ID4gdGhvdWdoCj4+ID4gPiA+ID4gcmVnaXN0ZXJlZCBpbiB0aGUgVVMpLgo+
PiA+ID4gPiA+IEl0IGNvc3RzIEluZGlhbnMgYW5kIENoaW5lc2UgYW5kIHNvbWUgb3RoZXJzIFVT
RDI1MCBvdmVyIHRoZSB2aXNhCj4+ID4gY29zdHMKPj4gPiA+ID4gPiBqdXN0IHRvIGVudGVyIHRo
ZSBVUy4KPj4gPiA+ID4gPiBBbSBub3Qgc2F5aW5nIHRoYXQgZ2V0dGluZyBpbnRvIEV1cm9wZSBv
ciBJbmRpYSBpcyBlYXNpZXIsIGJ1dCBVUwo+PiBpcwo+PiA+IG5vdAo+PiA+ID4gPiA+IGEgd2Vs
Y29tZSBkZXN0aW5hdGlvbiBmb3IgbWFueSByaWdodCBub3cuCj4+ID4gPiA+ID4KPj4gPiA+ID4g
PiBPbiAyMi8wOS8yNSAwNDoxOCwgSnVsaWEgQmVseWFrb3ZhIHdyb3RlOgo+PiA+ID4gPiA+Cj4+
ID4gPiA+ID4gPiBbIFRoZSBUeXBlcyBGb3J1bSwKPj4gPiA+ID4gPiA+IGh0dHA6Ly9saXN0cy5z
ZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xpc3RpbmZvL3R5cGVzLWxpc3QgICAgXQo+PiA+ID4gPiA+
ID4KPj4gPiA+ID4gPiA+IEkgdW5kZXJzdGFuZCB0aGlzIHBvc2l0aW9uIGJ1dCBqdXN0IHdhbnQg
dG8gcmVtaW5kIHRoYXQgdGhlcmUKPj4gYXJlCj4+ID4gbWFueQo+PiA+ID4gPiA+ID4gaW50ZXJu
YXRpb25hbCBzdHVkZW50cyBhbmQgcHJvZmVzc2lvbmFscyBpbiB0aGUgY29tbXVuaXR5IHdobwo+
PiBhcmUKPj4gPiBzdHVjawo+PiA+ID4gPiA+ID4gaW5zaWRlIHRoZSBVUyBhbmQgY2Fubm90IGNy
b3NzIHRoZSBib3JkZXIsIGV2ZW4gdG8gZ28gQ2FuYWRhLgo+PiA+ID4gPiA+ID4KPj4gPiA+ID4g
PiA+IEksIGZvciBvbmUsIGhhdmUgYmVlbiBzdHVjayBpbiB0aGUgVVMgc2luY2UgMjAyMC4KPj4g
PiA+ID4gPgo+PiA+ID4gPiA+IC0tCj4+ID4gPiA+ID4gU2Fuaml2YSBQcmFzYWQKPj4gPiA+ID4g
PiBQcm9mZXNzb3IsIERlcGFydG1lbnQgb2YgQ29tcHV0ZXIgU2NpZW5jZSBhbmQgRW5naW5lZXJp
bmcKPj4gPiA+ID4gPiBJbmRpYW4gSW5zdGl0dXRlIG9mIFRlY2hub2xvZ3kgRGVsaGkgKElJVCBE
ZWxoaSkKPj4gPiA+Cj4+ID4gPgo+PiA+ID4KPj4gPiA+IC0tCj4+ID4gPiBOaWtpIFZhem91Cj4+
ID4KPj4KPgo=