Re: [TYPES] Could we temporarily stop having conferences in the US?
Derek Dreyer <[email protected]> Tue, 23 Sep 2025 18:05:27 +0200
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <CAEX2k5Hfkt-Ykyox6dJy3DM_i5carGySX09kMs9KVt99Tu7_QA@mail.gmail.com> |
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp c3RpbmZvL3R5cGVzLWxpc3QgXQoKVGhhbmtzIGZvciB0aGUgbGl2ZWx5IGRpc2N1c3Npb24gYWJv dXQgdGhpcyBpc3N1ZS4gIEhvd2V2ZXIsIEknbSBhZnJhaWQgSQptdXN0IGRpc2FncmVlIHdpdGgg dGhlIG9waW5pb25zIHBvc3RlZCBzbyBmYXIgdGhhdCBhZHZvY2F0ZWQgZm9yCih0ZW1wb3Jhcmls eSkgYWJhbmRvbmluZyBjb25mZXJlbmNlcyBpbiB0aGUgVVMuCgpPZiBjb3Vyc2UsIG1hbnkgcGVv cGxlIGluIG91ciBjb21tdW5pdHkgYXJlIHVuZGVyc3RhbmRhYmx5IHVwc2V0IGJlY2F1c2Ugb2YK dGhlIGFjdGlvbnMgb2YgdGhlIFRydW1wIGFkbWluaXN0cmF0aW9uIGFuZCBpdHMgZWZmZWN0IG9u IGltbWlncmF0aW9uIGFuZApyZXNlYXJjaC4gIEksIHRvbywgYW0gdmVyeSB1cHNldCBhYm91dCBp dCAodG8gcHV0IGl0IG1pbGRseSkuCgpCdXQgaXQgc2VlbXMgdG8gbWUgdGhlcmUgYXJlIG11bHRp cGxlIGRpZmZlcmVudCBpc3N1ZXMgYmVpbmcgY29uZmxhdGVkIGluCkdhYnJpZWwncyBvcmlnaW5h bCBwb3N0LCBhbmQgdGhlIHByb3Bvc2VkIGN1cmUgaXMgd29yc2UgdGhhbiB0aGUgZGlzZWFzZS4K SW4gcGFydGljdWxhciwgaGUgd3JvdGU6ICJJdCBpcyBwcmV0dHkgY2xlYXIgdGhhdCB0aGUgVVMg YXJlIG5vdCBhIHNhZmUKcGxhY2UgZm9yIHVuaXZlcnNpdGllcyByaWdodCBub3csIGFuZCBhbHNv IHVucGFsYXRhYmxlLXRvLXVuc2FmZSBmb3IgcGVvcGxlCihlc3BlY2lhbGx5IGZvcmVpZ25lcnMp IHdvcmtpbmcgaW4gdW5pdmVyc2l0aWVzLiIKCkNvbmNlcm5pbmcgdGhlIHBvaW50IHRoYXQgdGhl IFVTIGlzIG5vdCBhIHNhZmUgcGxhY2UgZm9yIHVuaXZlcnNpdGllczogSSBhbQpub3QgZXhhY3Rs eSBzdXJlIHdoYXQgaGUgbWVhbnQsIGJ1dCBJIGFzc3VtZSBoZSBtZWFudCB0aGF0IHVuaXZlcnNp dGllcyBhcmUKc3VmZmVyaW5nIHVuZGVyIHRoZSBtYWpvciBmdW5kaW5nIGN1dHMgYW5kIGdlbmVy YWxseSB0aHJlYXRlbmluZyBiZWhhdmlvcgpvZiB0aGUgVHJ1bXAgYWRtaW5pc3RyYXRpb24uICBU aGlzIGlzIGNlcnRhaW5seSB0cnVlLiAgSG93ZXZlciwgaXQgaXMgbm90CmNsZWFyIHRvIG1lIGhv dyBob2xkaW5nIGFuIGFjYWRlbWljIGNvbmZlcmVuY2Ugb3V0c2lkZSB0aGUgVVMgZm9yIGEgY291 cGxlCnllYXJzIHdpbGwgc3dheSBUcnVtcCB0byBkbyBzb21ldGhpbmcgZGlmZmVyZW50LiAgRnVy dGhlcm1vcmUsIHdoZW4KY29uc2lkZXJpbmcgb3RoZXIgY29uZmVyZW5jZSBsb2NhdGlvbnMsIEkg ZG8gbm90IHJlY2FsbCBpdCBldmVyIGhhdmluZyBiZWVuCmEgcHJpb3JpdHkgdG8gc2VsZWN0IGxv Y2F0aW9ucyBiYXNlZCBvbiB3aGV0aGVyIHRoZSBsb2NhbCBnb3Zlcm5tZW50IHdhcwpwYXJ0aWN1 bGFybHkgc3VwcG9ydGl2ZSBvZiBzY2llbmNlLiAgRXZlbiBpbiBpdHMgZGltaW5pc2hlZCBzdGF0 ZSwgdGhlIFVTCmdvdmVybm1lbnQgd2lsbCBzdGlsbCBiZSBhIG1ham9yIGNvbnRyaWJ1dG9yIHRv IGdsb2JhbCByZXNlYXJjaCBmdW5kaW5nLgoKQ29uY2VybmluZyB0aGUgcG9pbnQgdGhhdCB0aGUg VVMgaXMgInVucGFsYXRhYmxlLXRvLXVuc2FmZSBmb3IgcGVvcGxlCihlc3BlY2lhbGx5IGZvcmVp Z25lcnMpIHdvcmtpbmcgaW4gdW5pdmVyc2l0aWVzIiwgSSBhZ2FpbiBhbSBub3QgY29tcGxldGVs eQpzdXJlIHdoYXQgdGhpcyBpcyByZWZlcnJpbmcgdG8uICBJZiB0aGlzIGlzIHJlZmVycmluZyB0 byBub24tVVMgY2l0aXplbnMKd29ya2luZyBpbiB1bml2ZXJzaXRpZXMgaW4gdGhlIFVTLCB3aG8g bWlnaHQgaGF2ZSB0aGVpciB2aXNhcyByZXZva2VkIG9uCndoYXRldmVyIHByb2NsYW1hdGlvbiBU cnVtcCB0aGlua3MgdXAgdG9tb3Jyb3csIHllcywgdGhpcyBpcyByZWFsbHkgYmFkLgpCdXQgYXMg aGFzIGFscmVhZHkgYmVlbiBub3RlZCBieSBKdWxpYSBhbmQgb3RoZXJzLCBpdCBpcyAqbXVjaCog ZWFzaWVyIGZvcgp0aG9zZSBwZW9wbGUgdG8gYXR0ZW5kIGNvbmZlcmVuY2VzIGluIHRoZSBVUyB0 aGFuIGVsc2V3aGVyZS4gIElmIG9uIHRoZQpvdGhlciBoYW5kIHRoaXMgaXMgcmVmZXJyaW5nIHRv IHBlb3BsZSB0cmF2ZWxsaW5nIHRvIHRoZSBVUyBmb3IgdGhlCmNvbmZlcmVuY2UsIEkgaGVhcmQg YSBmZXcgaG9ycm9yIHN0b3JpZXMgZWFybGllciB0aGlzIHllYXIsIGJ1dCBJIGhhdmUgbm90CnNl ZW4gZXZpZGVuY2UgdGhhdCB0aGVyZSBpcyB3aWRlc3ByZWFkIGhhcmFzc21lbnQgb2YgYWNhZGVt aWNzIGVudGVyaW5nIHRoZQpVUyBmb3IgYSBjb25mZXJlbmNlLiAgU28gSSB0aGluayB0aGUgY2hh bmNlIG9mIGVuY291bnRlcmluZyBhIHByb2JsZW0gaXMKdmVyeSBsb3cuICBCdXQgSSBhZ3JlZSB0 aGF0IHRoaXMgaXMgYSB2YWxpZCBjYXVzZSBmb3IgY29uY2VybiwgYW5kIEkgY2FuCnVuZGVyc3Rh bmQgaWYgcGVvcGxlIGFyZSBoZXNpdGFudCB0byB0cmF2ZWwgdG8gdGhlIFVTIGJlY2F1c2Ugb2Yg aXQuCgpPdGhlcnMgb24gdGhlIHRocmVhZCBoYXZlIHN1Z2dlc3RlZCBpbXByb3Zpbmcgb3VyIHZp cnR1YWwgY29uZmVyZW5jZQpwYXJ0aWNpcGF0aW9uIG9wdGlvbnMgc28gdGhhdCBVUyByZXNlYXJj aGVycyBjYW4gcGFydGljaXBhdGUgZXZlbiBpZiB0aGUKZXZlbnQgaXMgaGVsZCBlbHNld2hlcmUu ICBJIGFtIGFsbCBmb3IgaW1wcm92aW5nIHZpcnR1YWwgY29uZmVyZW5jZQpwYXJ0aWNpcGF0aW9u LCBidXQgd2UgaGFkIHNldmVyYWwgeWVhcnMgb2YgZXhwZXJpbWVudGF0aW9uIHdpdGggdGhhdCBk dXJpbmcKdGhlIHBhbmRlbWljLCBhbmQgaW4gdGhlIGVuZCB0aGUgdmVyZGljdCBzZWVtZWQgdG8g YmUgdGhhdCBpdCBkaWRuJ3QgcmVhbGx5CndvcmsuICBBdCBsZWFzdCBpdCBpcyBub3QgYSByZXBs YWNlbWVudCBmb3IgaW4tcGVyc29uIHBhcnRpY2lwYXRpb24uICBCdXQgSQp0aGluayBpZiBwZW9w bGUgYXJlIG1vdGl2YXRlZCBlbm91Z2gsIGFuZCBlbm91Z2ggcGVvcGxlIGRvIG5vdCB3YW50IHRv CnRyYXZlbCB0byB0aGUgVVMgZm9yIGNvbmZlcmVuY2VzLCB0aGVuIGl0IHdvdWxkIGJlIGEgZ3Jl YXQgaWRlYSB0bwpleHBlcmltZW50IHdpdGggc2F0ZWxsaXRlIG1lZXRpbmdzLCBhbHNvIGZvciBj bGltYXRlIHJlYXNvbnMuCgpJbiBzdW1tYXJ5LCBnaXZlbiB0aGF0IGEgdmVyeSBzaWduaWZpY2Fu dCBwb3J0aW9uIG9mIG91ciBjb21tdW5pdHkgaW5jbHVkZXMKcGVvcGxlIHdvcmtpbmcgYXQgVVMg dW5pdmVyc2l0aWVzLCBJIHRoaW5rIHRoYXQgd2Ugc2hvdWxkIG5vdCBhYmFuZG9uCmNvbmZlcmVu Y2VzIGluIHRoZSBVUyBlbnRpcmVseS4gIFdlIGNvdWxkLCBob3dldmVyLCBjb25zaWRlciByZWR1 Y2luZyB0aGUKZnJlcXVlbmN5IHdpdGggd2hpY2ggY29uZmVyZW5jZXMgYXJlIGxvY2F0ZWQgaW4g dGhlIFVTIChlLmcuIHRvIG5vIG1vcmUKdGhhbiAxLzIgb3Igc29tZSBzbWFsbGVyIGZyYWN0aW9u IG9mIHRoZSB0aW1lKSwgYXMgd2VsbCBhcyBleHBsb3JpbmcKY29tcGxlbWVudGFyeSBvcHRpb25z IGxpa2Ugc2F0ZWxsaXRlIG1lZXRpbmdzLgoKQmVzdCB3aXNoZXMsCkRlcmVrCgpQLlMuIEluIHJl c3BvbnNlIHRvIEFydGVtJ3MgcXVlc3Rpb24sIEkgd291bGQgbm90IGNvbnNpZGVyIHRoZSBkaXNj dXNzaW9uCm9uIHRoaXMgbGlzdCB0byBuZWNlc3NhcmlseSBiZSByZXByZXNlbnRhdGl2ZSBvZiB0 aGUgInN0YW5jZSIgb2YgdGhlIFBMCmNvbW11bml0eSBvbiB0aGlzIGlzc3VlLiAgSXQgbWF5IGJl IHdvcnRoIGdhdWdpbmcgdGhlIHN0YW5jZSBvZiB0aGUKcmVzZWFyY2ggY29tbXVuaXR5LCBidXQg dGhhdCBtYXkgYmUgYmVzdCBkb25lIHdpdGggcG9zdC1jb25mZXJlbmNlIHN1cnZleXMKYXQgc29t ZSB1cGNvbWluZyBTSUdQTEFOIGNvbmZlcmVuY2VzLgoKT24gVHVlLCBTZXAgMjMsIDIwMjUgYXQg NToxN+KAr1BNIEFydGVtIFNoaW5rYXJvdiA8dGVtYUBwbS5tZT4gd3JvdGU6Cgo+IFsgVGhlIFR5 cGVzIEZvcnVtLCBodHRwOi8vbGlzdHMuc2Vhcy51cGVubi5lZHUvbWFpbG1hbi9saXN0aW5mby90 eXBlcy1saXN0IAo+IF0KPgo+IEhpCj4KPiBJdCBhcHBlYXJzIHRoYXQgdGhlIGFyZ3VtZW50IHJl Z2FyZGluZyBiZWluZyAidHJhcHBlZCBpbiIgaXMgZGl2ZXJ0aW5nIHRoZQo+IGRpc2N1c3Npb24g ZnJvbSB0aGUgaW50ZW50IG9mIHRoZSBvcmlnaW5hbCBwb3N0OiB0aGUgdG94aWMgYXR0aXR1ZGUg b2YgdGhlCj4gVVMgdG93YXJkcyByZXNlYXJjaCBhbmQgcmVzZWFyY2hlcnMsIHdoaWNoIHJlcXVp cmVzIGFjdGlvbiBmcm9tIHRoZQo+IHJlc2VhcmNoIGNvbW11bml0eS4gQmFuIG9uIGNvbmZlcmVu Y2VzIGluIHRoZSBVUyBjb3VsZCBzZXJ2ZSBhcyBhCj4gbWVhbmluZ2Z1bCBzdGF0ZW1lbnQgb3Ig Z2VzdHVyZSB0aGF0IHdlIG91Z2h0IHRvIGNvbnNpZGVyLgo+Cj4gVGhlIGlzc3VlIG9mIGJlaW5n ICJ0cmFwcGVkIGluIiBpcyBpbmRlZWQgb25lIG9mIHRoZSBkcmF3YmFja3MgaGlnaGxpZ2h0ZWQK PiBpbiB0aGUgb3JpZ2luYWwgcG9zdC4gSG93ZXZlciwgdGhpcyBzaXR1YXRpb24gaXMgbm90IHVu aXF1ZSB0byB0aGUgVVM7Cj4gc2ltaWxhciBjaGFsbGVuZ2VzIGFyaXNlIGluIG90aGVyIGNvdW50 cmllcyBhcyB3ZWxsLiBGb3IgaW5zdGFuY2UsCj4gaW5kaXZpZHVhbHMgb24gdmlzYXMgaW4gdGhl IFVLIG1heSBmaW5kIHRoZW1zZWx2ZXMgdW5hYmxlIHRvIHRyYXZlbCB0bwo+IEV1cm9wZSwgdGhl IFVTLCBhbmQgYmV5b25kLiBBcyBub3RlZCBpbiBwcmV2aW91cyBkaXNjdXNzaW9ucywgd2UgY2Fu Cj4gYWRkcmVzcyB0aGlzIGlzc3VlIGJ5IGVuc3VyaW5nIGFkZXF1YXRlIG9ubGluZSBwYXJ0aWNp cGF0aW9uIGFuZCBleHBsb3JpbmcKPiB0aGUgcG9zc2liaWxpdHkgb2Ygc2F0ZWxsaXRlIGV2ZW50 cy4gTmV2ZXJ0aGVsZXNzLCB0aGUgY3J1Y2lhbCBxdWVzdGlvbgo+IHJlbWFpbnM6IGlzIHRoZSBy ZXNlYXJjaCBjb21tdW5pdHkgcHJlcGFyZWQgdG8gZXhwcmVzcyBpdHMgc3RhbmNlIG9uIHRoaXMK PiBtYXR0ZXIsIGFuZCB3aGF0IGlzIHRoZSBtb3N0IGVmZmVjdGl2ZSB3YXkgdG8gZG8gc28/Cj4K Pgo+Cj4gQ2hlZXJzLAo+IEFydGVtCj4KPgo+Cj4gT24gVHVlc2RheSwgU2VwdGVtYmVyIDIzcmQs IDIwMjUgYXQgMTozNiBQTSwgTmlraSBWYXpvdSA8Cj4gbmlraXZhem91QGdtYWlsLmNvbT4gd3Jv dGU6Cj4KPiA+Cj4gPgo+ID4gWyBUaGUgVHlwZXMgRm9ydW0sCj4gaHR0cDovL2xpc3RzLnNlYXMu dXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtbGlzdCAgIF0KPiA+Cj4gPiBIZXksCj4g Pgo+ID4gSSBhbHNvIGFncmVlIHRoYXQgbW92aW5nIGlzIGdldHRpbmcgbW9yZSBjb21wbGljYXRl ZCAoYm90aCBmb3IgdGhlCj4gPiBnZW9wb2xpdGljYWwgZXZlbnRzIGFuZCB0aGUgZW52aXJvbm1l bnQuLi4pCj4gPiBTbywgbWF5YmUgYSBnb29kIGFsdGVybmF0aXZlIHdvdWxkIGJlLCBpbiBwYXJh bGxlbCB0byB0aGUgbWFpbiBldmVudCwgdG8KPiA+IGhhdmUgc2F0ZWxsaXRlIGV2ZW50cy4gRm9y IGV4YW1wbGUsIHdoZW4gYSBjb25mZXJlbmNlIGhhcHBlbnMgaW4gVVNBLCB0bwo+ID4gaGF2ZSBw YXJ0aWNpcGFudHMgZ2F0aGVyIGluIGFub3RoZXIgY291bnRyeSB0byBhdHRlbmQvcGFydGljaXBh dGUuCj4gPgo+ID4gQmVzdCwKPiA+IE5pa2kKPiA+Cj4gPiBPbiBNb24sIFNlcCAyMiwgMjAyNSBh dCA1OjM14oCvUE0gSnVsaWEgQmVseWFrb3ZhIGp1bGJpbmJAZ21haWwuY29tIHdyb3RlOgo+ID4K PiA+ID4gWyBUaGUgVHlwZXMgRm9ydW0sCj4gaHR0cDovL2xpc3RzLnNlYXMudXBlbm4uZWR1L21h aWxtYW4vbGlzdGluZm8vdHlwZXMtbGlzdCAKPiA+ID4gXQo+ID4gPgo+ID4gPiBJIGRvbid0IGRp c2FncmVlIHRoYXQgdGhlIFVTIGlzIG5vdCBhIHdlbGNvbWUgZGVzdGluYXRpb24gZm9yIG1hbnkK PiBwZW9wbGUKPiA+ID4gcmlnaHQgbm93Lgo+ID4gPgo+ID4gPiBJIGRpZCB3YW50IHRvIHBvaW50 IG91dCB0aGUgZXhpc3RlbmNlIG9mIHRoZSB0cmFwcGVkLWluLXRoZS1VUwo+ID4gPiBpbnRlcm5h dGlvbmFsIGNvbW11bml0eSBiZWNhdXNlIGluIG15IGV4cGVyaWVuY2UsIGEgbG90IG9mIHBlb3Bs ZSwKPiA+ID4gdW5kZXJzdGFuZGFibHksIGFyZSBub3QgYXdhcmUgb2YgdGhpcyBwaGVub21lbm9u Lgo+ID4gPgo+ID4gPiBJbiBnZW5lcmFsLCB0aGVyZSBhcmUgbWFueSByZWFzb25zIHdoeSBhbiBp bmRpdmlkdWFsIGNhbm5vdCB0cmF2ZWwgdG8gYQo+ID4gPiBwYXJ0aWN1bGFyIGxvY2F0aW9uLCBi ZSBpdCB0aGUgVVMgb3IgYW5vdGhlciBjb3VudHJ5Lgo+ID4gPgo+ID4gPiBUbyBiZSBjb25zdHJ1 Y3RpdmUsIEkgd291bGQgbGlrZSB0byBhbXBsaWZ5IGFuIGFsdGVybmF0aXZlIHN1Z2dlc3Rpb24K PiA+ID4gZGlzY3Vzc2VkIGluIFp1bGlwLCB3aGljaCBpcyB0byBoYXZlIGFuIGV4cGxpY2l0IHBv bGljeSBmb3IgcHJlc2VudGluZwo+IHRoZQo+ID4gPiBwYXBlciBhdCBhIGRpZmZlcmVudCBjb25m ZXJlbmNlIHRoYXQgaXMgaGVsZCBpbiBhIG1vcmUgc3VpdGFibGUKPiBsb2NhdGlvbgo+ID4gPiBm b3IgdGhlIGF1dGhvci4gU2ltaWxhciB0byB3aGF0IFNJR1BMQU4tdHJhY2sgaGFzIGJlZW4gZG9p bmcgYXQgU1BMQVNILgo+ID4gPgo+ID4gPiBPZiBjb3Vyc2UsIGl0IHdvdWxkIHJlcXVpcmUgbW9y ZSBjb29yZGluYXRpb24gYWNyb3NzIHRoZSBjb25mZXJlbmNlcwo+IGFuZCBhbgo+ID4gPiBhZGRp dGlvbmFsIGxvZ2lzdGljcyBidXJkZW4gb24gb3JnYW5pemVycy4KPiA+ID4KPiA+ID4gLS0KPiA+ ID4gS2luZCByZWdhcmRzLCBKdWxpYQo+ID4gPgo+ID4gPgo+IGh0dHBzOi8vdXJsZGVmZW5zZS5j b20vdjMvX19odHRwczovL2p1bGJpbmIuZ2l0aHViLmlvL19fOyEhSUJ6V0xVcyFXQVg3eHlCc2Ra VDNvTUZLMGxtNWRGbWFrNW52V3N6SF9UdC10bF84TXlSdWdhRVl6aDNTbS1XbWluVE1UUmVWM0xM TmxQVU9KSWpCay0zRkRNV3REc1BNZmRzJAo+ID4gPgo+ID4gPiBPbiBNb24sIFNlcCAyMiwgMjAy NSwgMTI6MjfigK9BTSBTYW5qaXZhIFByYXNhZCBzYW5qaXZhQGNzZS5paXRkLmFjLmluCj4gPiA+ IHdyb3RlOgo+ID4gPgo+ID4gPiA+IFNvIGlhPXMgbXkgc29uIChmb3IgSU5TIHJlYXNvbnMpIC0t IGNvdWxkIG5vdCBhdHRlbmQgRUNPT1Agb3IgQ0FWCj4gdGhpcwo+ID4gPiA+IHllYXIgd2hlcmUg aGUgaGFkIGJlc3QgcGFwZXJzLgo+ID4gPiA+Cj4gPiA+ID4gQnV0IGNvbXB1dGVyIHNjaWVuY2Ug aXMgbm90IGEgVVMgbW9ub3BvbHkgKG5vdCBldmVuIGluIEFDTSBub3csCj4gdGhvdWdoCj4gPiA+ ID4gcmVnaXN0ZXJlZCBpbiB0aGUgVVMpLgo+ID4gPiA+IEl0IGNvc3RzIEluZGlhbnMgYW5kIENo aW5lc2UgYW5kIHNvbWUgb3RoZXJzIFVTRDI1MCBvdmVyIHRoZSB2aXNhCj4gY29zdHMKPiA+ID4g PiBqdXN0IHRvIGVudGVyIHRoZSBVUy4KPiA+ID4gPiBBbSBub3Qgc2F5aW5nIHRoYXQgZ2V0dGlu ZyBpbnRvIEV1cm9wZSBvciBJbmRpYSBpcyBlYXNpZXIsIGJ1dCBVUyBpcwo+IG5vdAo+ID4gPiA+ IGEgd2VsY29tZSBkZXN0aW5hdGlvbiBmb3IgbWFueSByaWdodCBub3cuCj4gPiA+ID4KPiA+ID4g PiBPbiAyMi8wOS8yNSAwNDoxOCwgSnVsaWEgQmVseWFrb3ZhIHdyb3RlOgo+ID4gPiA+Cj4gPiA+ ID4gPiBbIFRoZSBUeXBlcyBGb3J1bSwKPiA+ID4gPiA+IGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5u LmVkdS9tYWlsbWFuL2xpc3RpbmZvL3R5cGVzLWxpc3QgICBdCj4gPiA+ID4gPgo+ID4gPiA+ID4g SSB1bmRlcnN0YW5kIHRoaXMgcG9zaXRpb24gYnV0IGp1c3Qgd2FudCB0byByZW1pbmQgdGhhdCB0 aGVyZSBhcmUKPiBtYW55Cj4gPiA+ID4gPiBpbnRlcm5hdGlvbmFsIHN0dWRlbnRzIGFuZCBwcm9m ZXNzaW9uYWxzIGluIHRoZSBjb21tdW5pdHkgd2hvIGFyZQo+IHN0dWNrCj4gPiA+ID4gPiBpbnNp ZGUgdGhlIFVTIGFuZCBjYW5ub3QgY3Jvc3MgdGhlIGJvcmRlciwgZXZlbiB0byBnbyBDYW5hZGEu Cj4gPiA+ID4gPgo+ID4gPiA+ID4gSSwgZm9yIG9uZSwgaGF2ZSBiZWVuIHN0dWNrIGluIHRoZSBV UyBzaW5jZSAyMDIwLgo+ID4gPiA+Cj4gPiA+ID4gLS0KPiA+ID4gPiBTYW5qaXZhIFByYXNhZAo+ ID4gPiA+IFByb2Zlc3NvciwgRGVwYXJ0bWVudCBvZiBDb21wdXRlciBTY2llbmNlIGFuZCBFbmdp bmVlcmluZwo+ID4gPiA+IEluZGlhbiBJbnN0aXR1dGUgb2YgVGVjaG5vbG9neSBEZWxoaSAoSUlU IERlbGhpKQo+ID4KPiA+Cj4gPgo+ID4gLS0KPiA+IE5pa2kgVmF6b3UKPgo=