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=