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=