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

Peter Sewell <[email protected]> Tue, 23 Sep 2025 17:18:52 +0100
Newsgroups gmane.comp.science.types
Message-ID <CAHWkzRSi8iS=Vmy8RQEc4aY0WL4gVjupBGJqaJvdZn4qiRxJ4g@mail.gmail.com>
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp
c3RpbmZvL3R5cGVzLWxpc3QgXQoKU3RyYWlnaHRmb3J3YXJkbHkgYWN0aW9uYWJsZSwgYW5kIEkg
dGhpbmsgYSBuby1icmFpbmVyOiB3ZSBjYW4gZW5zdXJlIHRoYXQKcmVtb3RlIHBhcnRpY2lwYXRp
b24gaXMgKGltcGVyZmVjdCB0aG91Z2ggaXQgaXMpIHVuaWZvcm1seSBhdmFpbGFibGUuCgpOb3Qg
Y29tcGxldGVseSBzdHJhaWdodGZvcndhcmQgbG9naXN0aWNhbGx5LCBidXQgSSBpbWFnaW5lIGRv
YWJsZTogd2UgY291bGQKYWxsb3cgYXV0aG9ycyB0byBmcmVlbHkgdmlyZSBwYXBlciBwcmVzZW50
YXRpb25zIGFtb25nIHRoZSBTSUdQTEFOCmNvbmZlcmVuY2VzLCBhbmQgZW5zdXJlIHRoYXQgdGhv
c2UgYXJlIGdlb2dyYXBoaWNhbGx5IGRpc3RyaWJ1dGVkLiAgVGhlcmUnZApiZSBzb21lIGhpdCB0
byB0aGUgdGhlIGNoYXJhY3RlciBhbmQgY3JpdGljYWwtbWFzcy1vZi1yZWxhdGVkLXBlb3BsZSwg
YnV0CnRoYXQgbWlnaHQgd2VsbCBiZSB3b3J0aHdoaWxlLgoKUGV0ZXIKCgpPbiBUdWUsIDIzIFNl
cHQgMjAyNSBhdCAxNzoxMCwgRGVyZWsgRHJleWVyIDxkcmV5ZXJAbXBpLXN3cy5vcmc+IHdyb3Rl
OgoKPiBbIFRoZSBUeXBlcyBGb3J1bSwgaHR0cDovL2xpc3RzLnNlYXMudXBlbm4uZWR1L21haWxt
YW4vbGlzdGluZm8vdHlwZXMtbGlzdCAKPiBdCj4KPiBUaGFua3MgZm9yIHRoZSBsaXZlbHkgZGlz
Y3Vzc2lvbiBhYm91dCB0aGlzIGlzc3VlLiAgSG93ZXZlciwgSSdtIGFmcmFpZCBJCj4gbXVzdCBk
aXNhZ3JlZSB3aXRoIHRoZSBvcGluaW9ucyBwb3N0ZWQgc28gZmFyIHRoYXQgYWR2b2NhdGVkIGZv
cgo+ICh0ZW1wb3JhcmlseSkgYWJhbmRvbmluZyBjb25mZXJlbmNlcyBpbiB0aGUgVVMuCj4KPiBP
ZiBjb3Vyc2UsIG1hbnkgcGVvcGxlIGluIG91ciBjb21tdW5pdHkgYXJlIHVuZGVyc3RhbmRhYmx5
IHVwc2V0IGJlY2F1c2Ugb2YKPiB0aGUgYWN0aW9ucyBvZiB0aGUgVHJ1bXAgYWRtaW5pc3RyYXRp
b24gYW5kIGl0cyBlZmZlY3Qgb24gaW1taWdyYXRpb24gYW5kCj4gcmVzZWFyY2guICBJLCB0b28s
IGFtIHZlcnkgdXBzZXQgYWJvdXQgaXQgKHRvIHB1dCBpdCBtaWxkbHkpLgo+Cj4gQnV0IGl0IHNl
ZW1zIHRvIG1lIHRoZXJlIGFyZSBtdWx0aXBsZSBkaWZmZXJlbnQgaXNzdWVzIGJlaW5nIGNvbmZs
YXRlZCBpbgo+IEdhYnJpZWwncyBvcmlnaW5hbCBwb3N0LCBhbmQgdGhlIHByb3Bvc2VkIGN1cmUg
aXMgd29yc2UgdGhhbiB0aGUgZGlzZWFzZS4KPiBJbiBwYXJ0aWN1bGFyLCBoZSB3cm90ZTogIkl0
IGlzIHByZXR0eSBjbGVhciB0aGF0IHRoZSBVUyBhcmUgbm90IGEgc2FmZQo+IHBsYWNlIGZvciB1
bml2ZXJzaXRpZXMgcmlnaHQgbm93LCBhbmQgYWxzbyB1bnBhbGF0YWJsZS10by11bnNhZmUgZm9y
IHBlb3BsZQo+IChlc3BlY2lhbGx5IGZvcmVpZ25lcnMpIHdvcmtpbmcgaW4gdW5pdmVyc2l0aWVz
LiIKPgo+IENvbmNlcm5pbmcgdGhlIHBvaW50IHRoYXQgdGhlIFVTIGlzIG5vdCBhIHNhZmUgcGxh
Y2UgZm9yIHVuaXZlcnNpdGllczogSSBhbQo+IG5vdCBleGFjdGx5IHN1cmUgd2hhdCBoZSBtZWFu
dCwgYnV0IEkgYXNzdW1lIGhlIG1lYW50IHRoYXQgdW5pdmVyc2l0aWVzIGFyZQo+IHN1ZmZlcmlu
ZyB1bmRlciB0aGUgbWFqb3IgZnVuZGluZyBjdXRzIGFuZCBnZW5lcmFsbHkgdGhyZWF0ZW5pbmcg
YmVoYXZpb3IKPiBvZiB0aGUgVHJ1bXAgYWRtaW5pc3RyYXRpb24uICBUaGlzIGlzIGNlcnRhaW5s
eSB0cnVlLiAgSG93ZXZlciwgaXQgaXMgbm90Cj4gY2xlYXIgdG8gbWUgaG93IGhvbGRpbmcgYW4g
YWNhZGVtaWMgY29uZmVyZW5jZSBvdXRzaWRlIHRoZSBVUyBmb3IgYSBjb3VwbGUKPiB5ZWFycyB3
aWxsIHN3YXkgVHJ1bXAgdG8gZG8gc29tZXRoaW5nIGRpZmZlcmVudC4gIEZ1cnRoZXJtb3JlLCB3
aGVuCj4gY29uc2lkZXJpbmcgb3RoZXIgY29uZmVyZW5jZSBsb2NhdGlvbnMsIEkgZG8gbm90IHJl
Y2FsbCBpdCBldmVyIGhhdmluZyBiZWVuCj4gYSBwcmlvcml0eSB0byBzZWxlY3QgbG9jYXRpb25z
IGJhc2VkIG9uIHdoZXRoZXIgdGhlIGxvY2FsIGdvdmVybm1lbnQgd2FzCj4gcGFydGljdWxhcmx5
IHN1cHBvcnRpdmUgb2Ygc2NpZW5jZS4gIEV2ZW4gaW4gaXRzIGRpbWluaXNoZWQgc3RhdGUsIHRo
ZSBVUwo+IGdvdmVybm1lbnQgd2lsbCBzdGlsbCBiZSBhIG1ham9yIGNvbnRyaWJ1dG9yIHRvIGds
b2JhbCByZXNlYXJjaCBmdW5kaW5nLgo+Cj4gQ29uY2VybmluZyB0aGUgcG9pbnQgdGhhdCB0aGUg
VVMgaXMgInVucGFsYXRhYmxlLXRvLXVuc2FmZSBmb3IgcGVvcGxlCj4gKGVzcGVjaWFsbHkgZm9y
ZWlnbmVycykgd29ya2luZyBpbiB1bml2ZXJzaXRpZXMiLCBJIGFnYWluIGFtIG5vdCBjb21wbGV0
ZWx5Cj4gc3VyZSB3aGF0IHRoaXMgaXMgcmVmZXJyaW5nIHRvLiAgSWYgdGhpcyBpcyByZWZlcnJp
bmcgdG8gbm9uLVVTIGNpdGl6ZW5zCj4gd29ya2luZyBpbiB1bml2ZXJzaXRpZXMgaW4gdGhlIFVT
LCB3aG8gbWlnaHQgaGF2ZSB0aGVpciB2aXNhcyByZXZva2VkIG9uCj4gd2hhdGV2ZXIgcHJvY2xh
bWF0aW9uIFRydW1wIHRoaW5rcyB1cCB0b21vcnJvdywgeWVzLCB0aGlzIGlzIHJlYWxseSBiYWQu
Cj4gQnV0IGFzIGhhcyBhbHJlYWR5IGJlZW4gbm90ZWQgYnkgSnVsaWEgYW5kIG90aGVycywgaXQg
aXMgKm11Y2gqIGVhc2llciBmb3IKPiB0aG9zZSBwZW9wbGUgdG8gYXR0ZW5kIGNvbmZlcmVuY2Vz
IGluIHRoZSBVUyB0aGFuIGVsc2V3aGVyZS4gIElmIG9uIHRoZQo+IG90aGVyIGhhbmQgdGhpcyBp
cyByZWZlcnJpbmcgdG8gcGVvcGxlIHRyYXZlbGxpbmcgdG8gdGhlIFVTIGZvciB0aGUKPiBjb25m
ZXJlbmNlLCBJIGhlYXJkIGEgZmV3IGhvcnJvciBzdG9yaWVzIGVhcmxpZXIgdGhpcyB5ZWFyLCBi
dXQgSSBoYXZlIG5vdAo+IHNlZW4gZXZpZGVuY2UgdGhhdCB0aGVyZSBpcyB3aWRlc3ByZWFkIGhh
cmFzc21lbnQgb2YgYWNhZGVtaWNzIGVudGVyaW5nIHRoZQo+IFVTIGZvciBhIGNvbmZlcmVuY2Uu
ICBTbyBJIHRoaW5rIHRoZSBjaGFuY2Ugb2YgZW5jb3VudGVyaW5nIGEgcHJvYmxlbSBpcwo+IHZl
cnkgbG93LiAgQnV0IEkgYWdyZWUgdGhhdCB0aGlzIGlzIGEgdmFsaWQgY2F1c2UgZm9yIGNvbmNl
cm4sIGFuZCBJIGNhbgo+IHVuZGVyc3RhbmQgaWYgcGVvcGxlIGFyZSBoZXNpdGFudCB0byB0cmF2
ZWwgdG8gdGhlIFVTIGJlY2F1c2Ugb2YgaXQuCj4KPiBPdGhlcnMgb24gdGhlIHRocmVhZCBoYXZl
IHN1Z2dlc3RlZCBpbXByb3Zpbmcgb3VyIHZpcnR1YWwgY29uZmVyZW5jZQo+IHBhcnRpY2lwYXRp
b24gb3B0aW9ucyBzbyB0aGF0IFVTIHJlc2VhcmNoZXJzIGNhbiBwYXJ0aWNpcGF0ZSBldmVuIGlm
IHRoZQo+IGV2ZW50IGlzIGhlbGQgZWxzZXdoZXJlLiAgSSBhbSBhbGwgZm9yIGltcHJvdmluZyB2
aXJ0dWFsIGNvbmZlcmVuY2UKPiBwYXJ0aWNpcGF0aW9uLCBidXQgd2UgaGFkIHNldmVyYWwgeWVh
cnMgb2YgZXhwZXJpbWVudGF0aW9uIHdpdGggdGhhdCBkdXJpbmcKPiB0aGUgcGFuZGVtaWMsIGFu
ZCBpbiB0aGUgZW5kIHRoZSB2ZXJkaWN0IHNlZW1lZCB0byBiZSB0aGF0IGl0IGRpZG4ndCByZWFs
bHkKPiB3b3JrLiAgQXQgbGVhc3QgaXQgaXMgbm90IGEgcmVwbGFjZW1lbnQgZm9yIGluLXBlcnNv
biBwYXJ0aWNpcGF0aW9uLiAgQnV0IEkKPiB0aGluayBpZiBwZW9wbGUgYXJlIG1vdGl2YXRlZCBl
bm91Z2gsIGFuZCBlbm91Z2ggcGVvcGxlIGRvIG5vdCB3YW50IHRvCj4gdHJhdmVsIHRvIHRoZSBV
UyBmb3IgY29uZmVyZW5jZXMsIHRoZW4gaXQgd291bGQgYmUgYSBncmVhdCBpZGVhIHRvCj4gZXhw
ZXJpbWVudCB3aXRoIHNhdGVsbGl0ZSBtZWV0aW5ncywgYWxzbyBmb3IgY2xpbWF0ZSByZWFzb25z
Lgo+Cj4gSW4gc3VtbWFyeSwgZ2l2ZW4gdGhhdCBhIHZlcnkgc2lnbmlmaWNhbnQgcG9ydGlvbiBv
ZiBvdXIgY29tbXVuaXR5IGluY2x1ZGVzCj4gcGVvcGxlIHdvcmtpbmcgYXQgVVMgdW5pdmVyc2l0
aWVzLCBJIHRoaW5rIHRoYXQgd2Ugc2hvdWxkIG5vdCBhYmFuZG9uCj4gY29uZmVyZW5jZXMgaW4g
dGhlIFVTIGVudGlyZWx5LiAgV2UgY291bGQsIGhvd2V2ZXIsIGNvbnNpZGVyIHJlZHVjaW5nIHRo
ZQo+IGZyZXF1ZW5jeSB3aXRoIHdoaWNoIGNvbmZlcmVuY2VzIGFyZSBsb2NhdGVkIGluIHRoZSBV
UyAoZS5nLiB0byBubyBtb3JlCj4gdGhhbiAxLzIgb3Igc29tZSBzbWFsbGVyIGZyYWN0aW9uIG9m
IHRoZSB0aW1lKSwgYXMgd2VsbCBhcyBleHBsb3JpbmcKPiBjb21wbGVtZW50YXJ5IG9wdGlvbnMg
bGlrZSBzYXRlbGxpdGUgbWVldGluZ3MuCj4KPiBCZXN0IHdpc2hlcywKPiBEZXJlawo+Cj4gUC5T
LiBJbiByZXNwb25zZSB0byBBcnRlbSdzIHF1ZXN0aW9uLCBJIHdvdWxkIG5vdCBjb25zaWRlciB0
aGUgZGlzY3Vzc2lvbgo+IG9uIHRoaXMgbGlzdCB0byBuZWNlc3NhcmlseSBiZSByZXByZXNlbnRh
dGl2ZSBvZiB0aGUgInN0YW5jZSIgb2YgdGhlIFBMCj4gY29tbXVuaXR5IG9uIHRoaXMgaXNzdWUu
ICBJdCBtYXkgYmUgd29ydGggZ2F1Z2luZyB0aGUgc3RhbmNlIG9mIHRoZQo+IHJlc2VhcmNoIGNv
bW11bml0eSwgYnV0IHRoYXQgbWF5IGJlIGJlc3QgZG9uZSB3aXRoIHBvc3QtY29uZmVyZW5jZSBz
dXJ2ZXlzCj4gYXQgc29tZSB1cGNvbWluZyBTSUdQTEFOIGNvbmZlcmVuY2VzLgo+Cj4gT24gVHVl
LCBTZXAgMjMsIDIwMjUgYXQgNToxN+KAr1BNIEFydGVtIFNoaW5rYXJvdiA8dGVtYUBwbS5tZT4g
d3JvdGU6Cj4KPiA+IFsgVGhlIFR5cGVzIEZvcnVtLAo+IGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5u
LmVkdS9tYWlsbWFuL2xpc3RpbmZvL3R5cGVzLWxpc3QgCj4gPiBdCj4gPgo+ID4gSGkKPiA+Cj4g
PiBJdCBhcHBlYXJzIHRoYXQgdGhlIGFyZ3VtZW50IHJlZ2FyZGluZyBiZWluZyAidHJhcHBlZCBp
biIgaXMgZGl2ZXJ0aW5nCj4gdGhlCj4gPiBkaXNjdXNzaW9uIGZyb20gdGhlIGludGVudCBvZiB0
aGUgb3JpZ2luYWwgcG9zdDogdGhlIHRveGljIGF0dGl0dWRlIG9mCj4gdGhlCj4gPiBVUyB0b3dh
cmRzIHJlc2VhcmNoIGFuZCByZXNlYXJjaGVycywgd2hpY2ggcmVxdWlyZXMgYWN0aW9uIGZyb20g
dGhlCj4gPiByZXNlYXJjaCBjb21tdW5pdHkuIEJhbiBvbiBjb25mZXJlbmNlcyBpbiB0aGUgVVMg
Y291bGQgc2VydmUgYXMgYQo+ID4gbWVhbmluZ2Z1bCBzdGF0ZW1lbnQgb3IgZ2VzdHVyZSB0aGF0
IHdlIG91Z2h0IHRvIGNvbnNpZGVyLgo+ID4KPiA+IFRoZSBpc3N1ZSBvZiBiZWluZyAidHJhcHBl
ZCBpbiIgaXMgaW5kZWVkIG9uZSBvZiB0aGUgZHJhd2JhY2tzCj4gaGlnaGxpZ2h0ZWQKPiA+IGlu
IHRoZSBvcmlnaW5hbCBwb3N0LiBIb3dldmVyLCB0aGlzIHNpdHVhdGlvbiBpcyBub3QgdW5pcXVl
IHRvIHRoZSBVUzsKPiA+IHNpbWlsYXIgY2hhbGxlbmdlcyBhcmlzZSBpbiBvdGhlciBjb3VudHJp
ZXMgYXMgd2VsbC4gRm9yIGluc3RhbmNlLAo+ID4gaW5kaXZpZHVhbHMgb24gdmlzYXMgaW4gdGhl
IFVLIG1heSBmaW5kIHRoZW1zZWx2ZXMgdW5hYmxlIHRvIHRyYXZlbCB0bwo+ID4gRXVyb3BlLCB0
aGUgVVMsIGFuZCBiZXlvbmQuIEFzIG5vdGVkIGluIHByZXZpb3VzIGRpc2N1c3Npb25zLCB3ZSBj
YW4KPiA+IGFkZHJlc3MgdGhpcyBpc3N1ZSBieSBlbnN1cmluZyBhZGVxdWF0ZSBvbmxpbmUgcGFy
dGljaXBhdGlvbiBhbmQKPiBleHBsb3JpbmcKPiA+IHRoZSBwb3NzaWJpbGl0eSBvZiBzYXRlbGxp
dGUgZXZlbnRzLiBOZXZlcnRoZWxlc3MsIHRoZSBjcnVjaWFsIHF1ZXN0aW9uCj4gPiByZW1haW5z
OiBpcyB0aGUgcmVzZWFyY2ggY29tbXVuaXR5IHByZXBhcmVkIHRvIGV4cHJlc3MgaXRzIHN0YW5j
ZSBvbiB0aGlzCj4gPiBtYXR0ZXIsIGFuZCB3aGF0IGlzIHRoZSBtb3N0IGVmZmVjdGl2ZSB3YXkg
dG8gZG8gc28/Cj4gPgo+ID4KPiA+Cj4gPiBDaGVlcnMsCj4gPiBBcnRlbQo+ID4KPiA+Cj4gPgo+
ID4gT24gVHVlc2RheSwgU2VwdGVtYmVyIDIzcmQsIDIwMjUgYXQgMTozNiBQTSwgTmlraSBWYXpv
dSA8Cj4gPiBuaWtpdmF6b3VAZ21haWwuY29tPiB3cm90ZToKPiA+Cj4gPiA+Cj4gPiA+Cj4gPiA+
IFsgVGhlIFR5cGVzIEZvcnVtLAo+ID4gaHR0cDovL2xpc3RzLnNlYXMudXBlbm4uZWR1L21haWxt
YW4vbGlzdGluZm8vdHlwZXMtbGlzdCAgICBdCj4gPiA+Cj4gPiA+IEhleSwKPiA+ID4KPiA+ID4g
SSBhbHNvIGFncmVlIHRoYXQgbW92aW5nIGlzIGdldHRpbmcgbW9yZSBjb21wbGljYXRlZCAoYm90
aCBmb3IgdGhlCj4gPiA+IGdlb3BvbGl0aWNhbCBldmVudHMgYW5kIHRoZSBlbnZpcm9ubWVudC4u
LikKPiA+ID4gU28sIG1heWJlIGEgZ29vZCBhbHRlcm5hdGl2ZSB3b3VsZCBiZSwgaW4gcGFyYWxs
ZWwgdG8gdGhlIG1haW4gZXZlbnQsCj4gdG8KPiA+ID4gaGF2ZSBzYXRlbGxpdGUgZXZlbnRzLiBG
b3IgZXhhbXBsZSwgd2hlbiBhIGNvbmZlcmVuY2UgaGFwcGVucyBpbiBVU0EsCj4gdG8KPiA+ID4g
aGF2ZSBwYXJ0aWNpcGFudHMgZ2F0aGVyIGluIGFub3RoZXIgY291bnRyeSB0byBhdHRlbmQvcGFy
dGljaXBhdGUuCj4gPiA+Cj4gPiA+IEJlc3QsCj4gPiA+IE5pa2kKPiA+ID4KPiA+ID4gT24gTW9u
LCBTZXAgMjIsIDIwMjUgYXQgNTozNeKAr1BNIEp1bGlhIEJlbHlha292YSBqdWxiaW5iQGdtYWls
LmNvbQo+IHdyb3RlOgo+ID4gPgo+ID4gPiA+IFsgVGhlIFR5cGVzIEZvcnVtLAo+ID4gaHR0cDov
L2xpc3RzLnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtbGlzdCAKPiA+ID4g
PiBdCj4gPiA+ID4KPiA+ID4gPiBJIGRvbid0IGRpc2FncmVlIHRoYXQgdGhlIFVTIGlzIG5vdCBh
IHdlbGNvbWUgZGVzdGluYXRpb24gZm9yIG1hbnkKPiA+IHBlb3BsZQo+ID4gPiA+IHJpZ2h0IG5v
dy4KPiA+ID4gPgo+ID4gPiA+IEkgZGlkIHdhbnQgdG8gcG9pbnQgb3V0IHRoZSBleGlzdGVuY2Ug
b2YgdGhlIHRyYXBwZWQtaW4tdGhlLVVTCj4gPiA+ID4gaW50ZXJuYXRpb25hbCBjb21tdW5pdHkg
YmVjYXVzZSBpbiBteSBleHBlcmllbmNlLCBhIGxvdCBvZiBwZW9wbGUsCj4gPiA+ID4gdW5kZXJz
dGFuZGFibHksIGFyZSBub3QgYXdhcmUgb2YgdGhpcyBwaGVub21lbm9uLgo+ID4gPiA+Cj4gPiA+
ID4gSW4gZ2VuZXJhbCwgdGhlcmUgYXJlIG1hbnkgcmVhc29ucyB3aHkgYW4gaW5kaXZpZHVhbCBj
YW5ub3QgdHJhdmVsCj4gdG8gYQo+ID4gPiA+IHBhcnRpY3VsYXIgbG9jYXRpb24sIGJlIGl0IHRo
ZSBVUyBvciBhbm90aGVyIGNvdW50cnkuCj4gPiA+ID4KPiA+ID4gPiBUbyBiZSBjb25zdHJ1Y3Rp
dmUsIEkgd291bGQgbGlrZSB0byBhbXBsaWZ5IGFuIGFsdGVybmF0aXZlIHN1Z2dlc3Rpb24KPiA+
ID4gPiBkaXNjdXNzZWQgaW4gWnVsaXAsIHdoaWNoIGlzIHRvIGhhdmUgYW4gZXhwbGljaXQgcG9s
aWN5IGZvcgo+IHByZXNlbnRpbmcKPiA+IHRoZQo+ID4gPiA+IHBhcGVyIGF0IGEgZGlmZmVyZW50
IGNvbmZlcmVuY2UgdGhhdCBpcyBoZWxkIGluIGEgbW9yZSBzdWl0YWJsZQo+ID4gbG9jYXRpb24K
PiA+ID4gPiBmb3IgdGhlIGF1dGhvci4gU2ltaWxhciB0byB3aGF0IFNJR1BMQU4tdHJhY2sgaGFz
IGJlZW4gZG9pbmcgYXQKPiBTUExBU0guCj4gPiA+ID4KPiA+ID4gPiBPZiBjb3Vyc2UsIGl0IHdv
dWxkIHJlcXVpcmUgbW9yZSBjb29yZGluYXRpb24gYWNyb3NzIHRoZSBjb25mZXJlbmNlcwo+ID4g
YW5kIGFuCj4gPiA+ID4gYWRkaXRpb25hbCBsb2dpc3RpY3MgYnVyZGVuIG9uIG9yZ2FuaXplcnMu
Cj4gPiA+ID4KPiA+ID4gPiAtLQo+ID4gPiA+IEtpbmQgcmVnYXJkcywgSnVsaWEKPiA+ID4gPgo+
ID4gPiA+Cj4gPgo+IGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczovL2p1bGJpbmIu
Z2l0aHViLmlvL19fOyEhSUJ6V0xVcyFXQVg3eHlCc2RaVDNvTUZLMGxtNWRGbWFrNW52V3N6SF9U
dC10bF84TXlSdWdhRVl6aDNTbS1XbWluVE1UUmVWM0xMTmxQVU9KSWpCay0zRkRNV3REc1BNZmRz
JAo+ID4gPiA+Cj4gPiA+ID4gT24gTW9uLCBTZXAgMjIsIDIwMjUsIDEyOjI34oCvQU0gU2Fuaml2
YSBQcmFzYWQgc2Fuaml2YUBjc2UuaWl0ZC5hYy5pbgo+ID4gPiA+IHdyb3RlOgo+ID4gPiA+Cj4g
PiA+ID4gPiBTbyBpYT1zIG15IHNvbiAoZm9yIElOUyByZWFzb25zKSAtLSBjb3VsZCBub3QgYXR0
ZW5kIEVDT09QIG9yIENBVgo+ID4gdGhpcwo+ID4gPiA+ID4geWVhciB3aGVyZSBoZSBoYWQgYmVz
dCBwYXBlcnMuCj4gPiA+ID4gPgo+ID4gPiA+ID4gQnV0IGNvbXB1dGVyIHNjaWVuY2UgaXMgbm90
IGEgVVMgbW9ub3BvbHkgKG5vdCBldmVuIGluIEFDTSBub3csCj4gPiB0aG91Z2gKPiA+ID4gPiA+
IHJlZ2lzdGVyZWQgaW4gdGhlIFVTKS4KPiA+ID4gPiA+IEl0IGNvc3RzIEluZGlhbnMgYW5kIENo
aW5lc2UgYW5kIHNvbWUgb3RoZXJzIFVTRDI1MCBvdmVyIHRoZSB2aXNhCj4gPiBjb3N0cwo+ID4g
PiA+ID4ganVzdCB0byBlbnRlciB0aGUgVVMuCj4gPiA+ID4gPiBBbSBub3Qgc2F5aW5nIHRoYXQg
Z2V0dGluZyBpbnRvIEV1cm9wZSBvciBJbmRpYSBpcyBlYXNpZXIsIGJ1dCBVUwo+IGlzCj4gPiBu
b3QKPiA+ID4gPiA+IGEgd2VsY29tZSBkZXN0aW5hdGlvbiBmb3IgbWFueSByaWdodCBub3cuCj4g
PiA+ID4gPgo+ID4gPiA+ID4gT24gMjIvMDkvMjUgMDQ6MTgsIEp1bGlhIEJlbHlha292YSB3cm90
ZToKPiA+ID4gPiA+Cj4gPiA+ID4gPiA+IFsgVGhlIFR5cGVzIEZvcnVtLAo+ID4gPiA+ID4gPiBo
dHRwOi8vbGlzdHMuc2Vhcy51cGVubi5lZHUvbWFpbG1hbi9saXN0aW5mby90eXBlcy1saXN0ICAg
IF0KPiA+ID4gPiA+ID4KPiA+ID4gPiA+ID4gSSB1bmRlcnN0YW5kIHRoaXMgcG9zaXRpb24gYnV0
IGp1c3Qgd2FudCB0byByZW1pbmQgdGhhdCB0aGVyZSBhcmUKPiA+IG1hbnkKPiA+ID4gPiA+ID4g
aW50ZXJuYXRpb25hbCBzdHVkZW50cyBhbmQgcHJvZmVzc2lvbmFscyBpbiB0aGUgY29tbXVuaXR5
IHdobyBhcmUKPiA+IHN0dWNrCj4gPiA+ID4gPiA+IGluc2lkZSB0aGUgVVMgYW5kIGNhbm5vdCBj
cm9zcyB0aGUgYm9yZGVyLCBldmVuIHRvIGdvIENhbmFkYS4KPiA+ID4gPiA+ID4KPiA+ID4gPiA+
ID4gSSwgZm9yIG9uZSwgaGF2ZSBiZWVuIHN0dWNrIGluIHRoZSBVUyBzaW5jZSAyMDIwLgo+ID4g
PiA+ID4KPiA+ID4gPiA+IC0tCj4gPiA+ID4gPiBTYW5qaXZhIFByYXNhZAo+ID4gPiA+ID4gUHJv
ZmVzc29yLCBEZXBhcnRtZW50IG9mIENvbXB1dGVyIFNjaWVuY2UgYW5kIEVuZ2luZWVyaW5nCj4g
PiA+ID4gPiBJbmRpYW4gSW5zdGl0dXRlIG9mIFRlY2hub2xvZ3kgRGVsaGkgKElJVCBEZWxoaSkK
PiA+ID4KPiA+ID4KPiA+ID4KPiA+ID4gLS0KPiA+ID4gTmlraSBWYXpvdQo+ID4KPgo=