Re: [TYPES] Could we temporarily stop having conferences in the US?
Derek Dreyer <[email protected]> Tue, 23 Sep 2025 18:44:45 +0200
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <CAEX2k5H-r848ppZhK1Nd9_zRQb0wh+JP_bEQbGj730F5m9VqBA@mail.gmail.com> |
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp c3RpbmZvL3R5cGVzLWxpc3QgXQoKQUZBSUssIGFsbCB0aGUgbWFqb3IgU0lHUExBTiBjb25mZXJl bmNlcyBhbHJlYWR5IHByb3ZpZGUgYSByZW1vdGUgb3B0aW9uCmZvciB2aXJ0dWFsIHBhcnRpY2lw YXRpb24uICBJdCBpcyBwb3NzaWJsZSB0aGF0IHRoZXJlIGhhdmUgYmVlbiBleGNlcHRpb25zLApi dXQgdGhhdCBpcyB0aGUgcG9zdC1Db3ZpZC9QQUNNUEwgbm9ybS4KCkknbSBub3Qgc3VyZSB3aGF0 IHlvdSdyZSBwcm9wb3NpbmcgcmU6IGdlb2dyYXBoaWNhbGx5IGRpc3RyaWJ1dGluZyBwYXBlcgpw cmVzZW50YXRpb25zIC0tIHdoYXQgaXMgInZpcmUiPyAtLSBidXQgaXQgc291bmRzIGNvbXBsaWNh dGVkLgoKRGVyZWsKCk9uIFR1ZSwgU2VwIDIzLCAyMDI1IGF0IDY6MTnigK9QTSBQZXRlciBTZXdl bGwgPFBldGVyLlNld2VsbEBjbC5jYW0uYWMudWs+Cndyb3RlOgoKPiBTdHJhaWdodGZvcndhcmRs eSBhY3Rpb25hYmxlLCBhbmQgSSB0aGluayBhIG5vLWJyYWluZXI6IHdlIGNhbiBlbnN1cmUgdGhh dAo+IHJlbW90ZSBwYXJ0aWNpcGF0aW9uIGlzIChpbXBlcmZlY3QgdGhvdWdoIGl0IGlzKSB1bmlm b3JtbHkgYXZhaWxhYmxlLgo+Cj4gTm90IGNvbXBsZXRlbHkgc3RyYWlnaHRmb3J3YXJkIGxvZ2lz dGljYWxseSwgYnV0IEkgaW1hZ2luZSBkb2FibGU6IHdlCj4gY291bGQgYWxsb3cgYXV0aG9ycyB0 byBmcmVlbHkgdmlyZSBwYXBlciBwcmVzZW50YXRpb25zIGFtb25nIHRoZSBTSUdQTEFOCj4gY29u ZmVyZW5jZXMsIGFuZCBlbnN1cmUgdGhhdCB0aG9zZSBhcmUgZ2VvZ3JhcGhpY2FsbHkgZGlzdHJp YnV0ZWQuICBUaGVyZSdkCj4gYmUgc29tZSBoaXQgdG8gdGhlIHRoZSBjaGFyYWN0ZXIgYW5kIGNy aXRpY2FsLW1hc3Mtb2YtcmVsYXRlZC1wZW9wbGUsIGJ1dAo+IHRoYXQgbWlnaHQgd2VsbCBiZSB3 b3J0aHdoaWxlLgo+Cj4gUGV0ZXIKPgo+Cj4gT24gVHVlLCAyMyBTZXB0IDIwMjUgYXQgMTc6MTAs IERlcmVrIERyZXllciA8ZHJleWVyQG1waS1zd3Mub3JnPiB3cm90ZToKPgo+PiBbIFRoZSBUeXBl cyBGb3J1bSwKPj4gaHR0cDovL2xpc3RzLnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8v dHlwZXMtbGlzdCAgXQo+Pgo+PiBUaGFua3MgZm9yIHRoZSBsaXZlbHkgZGlzY3Vzc2lvbiBhYm91 dCB0aGlzIGlzc3VlLiAgSG93ZXZlciwgSSdtIGFmcmFpZCBJCj4+IG11c3QgZGlzYWdyZWUgd2l0 aCB0aGUgb3BpbmlvbnMgcG9zdGVkIHNvIGZhciB0aGF0IGFkdm9jYXRlZCBmb3IKPj4gKHRlbXBv cmFyaWx5KSBhYmFuZG9uaW5nIGNvbmZlcmVuY2VzIGluIHRoZSBVUy4KPj4KPj4gT2YgY291cnNl LCBtYW55IHBlb3BsZSBpbiBvdXIgY29tbXVuaXR5IGFyZSB1bmRlcnN0YW5kYWJseSB1cHNldCBi ZWNhdXNlCj4+IG9mCj4+IHRoZSBhY3Rpb25zIG9mIHRoZSBUcnVtcCBhZG1pbmlzdHJhdGlvbiBh bmQgaXRzIGVmZmVjdCBvbiBpbW1pZ3JhdGlvbiBhbmQKPj4gcmVzZWFyY2guICBJLCB0b28sIGFt IHZlcnkgdXBzZXQgYWJvdXQgaXQgKHRvIHB1dCBpdCBtaWxkbHkpLgo+Pgo+PiBCdXQgaXQgc2Vl bXMgdG8gbWUgdGhlcmUgYXJlIG11bHRpcGxlIGRpZmZlcmVudCBpc3N1ZXMgYmVpbmcgY29uZmxh dGVkIGluCj4+IEdhYnJpZWwncyBvcmlnaW5hbCBwb3N0LCBhbmQgdGhlIHByb3Bvc2VkIGN1cmUg aXMgd29yc2UgdGhhbiB0aGUgZGlzZWFzZS4KPj4gSW4gcGFydGljdWxhciwgaGUgd3JvdGU6ICJJ dCBpcyBwcmV0dHkgY2xlYXIgdGhhdCB0aGUgVVMgYXJlIG5vdCBhIHNhZmUKPj4gcGxhY2UgZm9y IHVuaXZlcnNpdGllcyByaWdodCBub3csIGFuZCBhbHNvIHVucGFsYXRhYmxlLXRvLXVuc2FmZSBm b3IKPj4gcGVvcGxlCj4+IChlc3BlY2lhbGx5IGZvcmVpZ25lcnMpIHdvcmtpbmcgaW4gdW5pdmVy c2l0aWVzLiIKPj4KPj4gQ29uY2VybmluZyB0aGUgcG9pbnQgdGhhdCB0aGUgVVMgaXMgbm90IGEg c2FmZSBwbGFjZSBmb3IgdW5pdmVyc2l0aWVzOiBJCj4+IGFtCj4+IG5vdCBleGFjdGx5IHN1cmUg d2hhdCBoZSBtZWFudCwgYnV0IEkgYXNzdW1lIGhlIG1lYW50IHRoYXQgdW5pdmVyc2l0aWVzCj4+ IGFyZQo+PiBzdWZmZXJpbmcgdW5kZXIgdGhlIG1ham9yIGZ1bmRpbmcgY3V0cyBhbmQgZ2VuZXJh bGx5IHRocmVhdGVuaW5nIGJlaGF2aW9yCj4+IG9mIHRoZSBUcnVtcCBhZG1pbmlzdHJhdGlvbi4g IFRoaXMgaXMgY2VydGFpbmx5IHRydWUuICBIb3dldmVyLCBpdCBpcyBub3QKPj4gY2xlYXIgdG8g bWUgaG93IGhvbGRpbmcgYW4gYWNhZGVtaWMgY29uZmVyZW5jZSBvdXRzaWRlIHRoZSBVUyBmb3Ig YSBjb3VwbGUKPj4geWVhcnMgd2lsbCBzd2F5IFRydW1wIHRvIGRvIHNvbWV0aGluZyBkaWZmZXJl bnQuICBGdXJ0aGVybW9yZSwgd2hlbgo+PiBjb25zaWRlcmluZyBvdGhlciBjb25mZXJlbmNlIGxv Y2F0aW9ucywgSSBkbyBub3QgcmVjYWxsIGl0IGV2ZXIgaGF2aW5nCj4+IGJlZW4KPj4gYSBwcmlv cml0eSB0byBzZWxlY3QgbG9jYXRpb25zIGJhc2VkIG9uIHdoZXRoZXIgdGhlIGxvY2FsIGdvdmVy bm1lbnQgd2FzCj4+IHBhcnRpY3VsYXJseSBzdXBwb3J0aXZlIG9mIHNjaWVuY2UuICBFdmVuIGlu IGl0cyBkaW1pbmlzaGVkIHN0YXRlLCB0aGUgVVMKPj4gZ292ZXJubWVudCB3aWxsIHN0aWxsIGJl IGEgbWFqb3IgY29udHJpYnV0b3IgdG8gZ2xvYmFsIHJlc2VhcmNoIGZ1bmRpbmcuCj4+Cj4+IENv bmNlcm5pbmcgdGhlIHBvaW50IHRoYXQgdGhlIFVTIGlzICJ1bnBhbGF0YWJsZS10by11bnNhZmUg Zm9yIHBlb3BsZQo+PiAoZXNwZWNpYWxseSBmb3JlaWduZXJzKSB3b3JraW5nIGluIHVuaXZlcnNp dGllcyIsIEkgYWdhaW4gYW0gbm90Cj4+IGNvbXBsZXRlbHkKPj4gc3VyZSB3aGF0IHRoaXMgaXMg cmVmZXJyaW5nIHRvLiAgSWYgdGhpcyBpcyByZWZlcnJpbmcgdG8gbm9uLVVTIGNpdGl6ZW5zCj4+ IHdvcmtpbmcgaW4gdW5pdmVyc2l0aWVzIGluIHRoZSBVUywgd2hvIG1pZ2h0IGhhdmUgdGhlaXIg dmlzYXMgcmV2b2tlZCBvbgo+PiB3aGF0ZXZlciBwcm9jbGFtYXRpb24gVHJ1bXAgdGhpbmtzIHVw IHRvbW9ycm93LCB5ZXMsIHRoaXMgaXMgcmVhbGx5IGJhZC4KPj4gQnV0IGFzIGhhcyBhbHJlYWR5 IGJlZW4gbm90ZWQgYnkgSnVsaWEgYW5kIG90aGVycywgaXQgaXMgKm11Y2gqIGVhc2llciBmb3IK Pj4gdGhvc2UgcGVvcGxlIHRvIGF0dGVuZCBjb25mZXJlbmNlcyBpbiB0aGUgVVMgdGhhbiBlbHNl d2hlcmUuICBJZiBvbiB0aGUKPj4gb3RoZXIgaGFuZCB0aGlzIGlzIHJlZmVycmluZyB0byBwZW9w bGUgdHJhdmVsbGluZyB0byB0aGUgVVMgZm9yIHRoZQo+PiBjb25mZXJlbmNlLCBJIGhlYXJkIGEg ZmV3IGhvcnJvciBzdG9yaWVzIGVhcmxpZXIgdGhpcyB5ZWFyLCBidXQgSSBoYXZlIG5vdAo+PiBz ZWVuIGV2aWRlbmNlIHRoYXQgdGhlcmUgaXMgd2lkZXNwcmVhZCBoYXJhc3NtZW50IG9mIGFjYWRl bWljcyBlbnRlcmluZwo+PiB0aGUKPj4gVVMgZm9yIGEgY29uZmVyZW5jZS4gIFNvIEkgdGhpbmsg dGhlIGNoYW5jZSBvZiBlbmNvdW50ZXJpbmcgYSBwcm9ibGVtIGlzCj4+IHZlcnkgbG93LiAgQnV0 IEkgYWdyZWUgdGhhdCB0aGlzIGlzIGEgdmFsaWQgY2F1c2UgZm9yIGNvbmNlcm4sIGFuZCBJIGNh bgo+PiB1bmRlcnN0YW5kIGlmIHBlb3BsZSBhcmUgaGVzaXRhbnQgdG8gdHJhdmVsIHRvIHRoZSBV UyBiZWNhdXNlIG9mIGl0Lgo+Pgo+PiBPdGhlcnMgb24gdGhlIHRocmVhZCBoYXZlIHN1Z2dlc3Rl ZCBpbXByb3Zpbmcgb3VyIHZpcnR1YWwgY29uZmVyZW5jZQo+PiBwYXJ0aWNpcGF0aW9uIG9wdGlv bnMgc28gdGhhdCBVUyByZXNlYXJjaGVycyBjYW4gcGFydGljaXBhdGUgZXZlbiBpZiB0aGUKPj4g ZXZlbnQgaXMgaGVsZCBlbHNld2hlcmUuICBJIGFtIGFsbCBmb3IgaW1wcm92aW5nIHZpcnR1YWwg Y29uZmVyZW5jZQo+PiBwYXJ0aWNpcGF0aW9uLCBidXQgd2UgaGFkIHNldmVyYWwgeWVhcnMgb2Yg ZXhwZXJpbWVudGF0aW9uIHdpdGggdGhhdAo+PiBkdXJpbmcKPj4gdGhlIHBhbmRlbWljLCBhbmQg aW4gdGhlIGVuZCB0aGUgdmVyZGljdCBzZWVtZWQgdG8gYmUgdGhhdCBpdCBkaWRuJ3QKPj4gcmVh bGx5Cj4+IHdvcmsuICBBdCBsZWFzdCBpdCBpcyBub3QgYSByZXBsYWNlbWVudCBmb3IgaW4tcGVy c29uIHBhcnRpY2lwYXRpb24uICBCdXQKPj4gSQo+PiB0aGluayBpZiBwZW9wbGUgYXJlIG1vdGl2 YXRlZCBlbm91Z2gsIGFuZCBlbm91Z2ggcGVvcGxlIGRvIG5vdCB3YW50IHRvCj4+IHRyYXZlbCB0 byB0aGUgVVMgZm9yIGNvbmZlcmVuY2VzLCB0aGVuIGl0IHdvdWxkIGJlIGEgZ3JlYXQgaWRlYSB0 bwo+PiBleHBlcmltZW50IHdpdGggc2F0ZWxsaXRlIG1lZXRpbmdzLCBhbHNvIGZvciBjbGltYXRl IHJlYXNvbnMuCj4+Cj4+IEluIHN1bW1hcnksIGdpdmVuIHRoYXQgYSB2ZXJ5IHNpZ25pZmljYW50 IHBvcnRpb24gb2Ygb3VyIGNvbW11bml0eQo+PiBpbmNsdWRlcwo+PiBwZW9wbGUgd29ya2luZyBh dCBVUyB1bml2ZXJzaXRpZXMsIEkgdGhpbmsgdGhhdCB3ZSBzaG91bGQgbm90IGFiYW5kb24KPj4g Y29uZmVyZW5jZXMgaW4gdGhlIFVTIGVudGlyZWx5LiAgV2UgY291bGQsIGhvd2V2ZXIsIGNvbnNp ZGVyIHJlZHVjaW5nIHRoZQo+PiBmcmVxdWVuY3kgd2l0aCB3aGljaCBjb25mZXJlbmNlcyBhcmUg bG9jYXRlZCBpbiB0aGUgVVMgKGUuZy4gdG8gbm8gbW9yZQo+PiB0aGFuIDEvMiBvciBzb21lIHNt YWxsZXIgZnJhY3Rpb24gb2YgdGhlIHRpbWUpLCBhcyB3ZWxsIGFzIGV4cGxvcmluZwo+PiBjb21w bGVtZW50YXJ5IG9wdGlvbnMgbGlrZSBzYXRlbGxpdGUgbWVldGluZ3MuCj4+Cj4+IEJlc3Qgd2lz aGVzLAo+PiBEZXJlawo+Pgo+PiBQLlMuIEluIHJlc3BvbnNlIHRvIEFydGVtJ3MgcXVlc3Rpb24s IEkgd291bGQgbm90IGNvbnNpZGVyIHRoZSBkaXNjdXNzaW9uCj4+IG9uIHRoaXMgbGlzdCB0byBu ZWNlc3NhcmlseSBiZSByZXByZXNlbnRhdGl2ZSBvZiB0aGUgInN0YW5jZSIgb2YgdGhlIFBMCj4+ IGNvbW11bml0eSBvbiB0aGlzIGlzc3VlLiAgSXQgbWF5IGJlIHdvcnRoIGdhdWdpbmcgdGhlIHN0 YW5jZSBvZiB0aGUKPj4gcmVzZWFyY2ggY29tbXVuaXR5LCBidXQgdGhhdCBtYXkgYmUgYmVzdCBk b25lIHdpdGggcG9zdC1jb25mZXJlbmNlIHN1cnZleXMKPj4gYXQgc29tZSB1cGNvbWluZyBTSUdQ TEFOIGNvbmZlcmVuY2VzLgo+Pgo+PiBPbiBUdWUsIFNlcCAyMywgMjAyNSBhdCA1OjE34oCvUE0g QXJ0ZW0gU2hpbmthcm92IDx0ZW1hQHBtLm1lPiB3cm90ZToKPj4KPj4gPiBbIFRoZSBUeXBlcyBG b3J1bSwKPj4gaHR0cDovL2xpc3RzLnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlw ZXMtbGlzdCAKPj4gPiBdCj4+ID4KPj4gPiBIaQo+PiA+Cj4+ID4gSXQgYXBwZWFycyB0aGF0IHRo ZSBhcmd1bWVudCByZWdhcmRpbmcgYmVpbmcgInRyYXBwZWQgaW4iIGlzIGRpdmVydGluZwo+PiB0 aGUKPj4gPiBkaXNjdXNzaW9uIGZyb20gdGhlIGludGVudCBvZiB0aGUgb3JpZ2luYWwgcG9zdDog dGhlIHRveGljIGF0dGl0dWRlIG9mCj4+IHRoZQo+PiA+IFVTIHRvd2FyZHMgcmVzZWFyY2ggYW5k IHJlc2VhcmNoZXJzLCB3aGljaCByZXF1aXJlcyBhY3Rpb24gZnJvbSB0aGUKPj4gPiByZXNlYXJj aCBjb21tdW5pdHkuIEJhbiBvbiBjb25mZXJlbmNlcyBpbiB0aGUgVVMgY291bGQgc2VydmUgYXMg YQo+PiA+IG1lYW5pbmdmdWwgc3RhdGVtZW50IG9yIGdlc3R1cmUgdGhhdCB3ZSBvdWdodCB0byBj b25zaWRlci4KPj4gPgo+PiA+IFRoZSBpc3N1ZSBvZiBiZWluZyAidHJhcHBlZCBpbiIgaXMgaW5k ZWVkIG9uZSBvZiB0aGUgZHJhd2JhY2tzCj4+IGhpZ2hsaWdodGVkCj4+ID4gaW4gdGhlIG9yaWdp bmFsIHBvc3QuIEhvd2V2ZXIsIHRoaXMgc2l0dWF0aW9uIGlzIG5vdCB1bmlxdWUgdG8gdGhlIFVT Owo+PiA+IHNpbWlsYXIgY2hhbGxlbmdlcyBhcmlzZSBpbiBvdGhlciBjb3VudHJpZXMgYXMgd2Vs bC4gRm9yIGluc3RhbmNlLAo+PiA+IGluZGl2aWR1YWxzIG9uIHZpc2FzIGluIHRoZSBVSyBtYXkg ZmluZCB0aGVtc2VsdmVzIHVuYWJsZSB0byB0cmF2ZWwgdG8KPj4gPiBFdXJvcGUsIHRoZSBVUywg YW5kIGJleW9uZC4gQXMgbm90ZWQgaW4gcHJldmlvdXMgZGlzY3Vzc2lvbnMsIHdlIGNhbgo+PiA+ IGFkZHJlc3MgdGhpcyBpc3N1ZSBieSBlbnN1cmluZyBhZGVxdWF0ZSBvbmxpbmUgcGFydGljaXBh dGlvbiBhbmQKPj4gZXhwbG9yaW5nCj4+ID4gdGhlIHBvc3NpYmlsaXR5IG9mIHNhdGVsbGl0ZSBl dmVudHMuIE5ldmVydGhlbGVzcywgdGhlIGNydWNpYWwgcXVlc3Rpb24KPj4gPiByZW1haW5zOiBp cyB0aGUgcmVzZWFyY2ggY29tbXVuaXR5IHByZXBhcmVkIHRvIGV4cHJlc3MgaXRzIHN0YW5jZSBv bgo+PiB0aGlzCj4+ID4gbWF0dGVyLCBhbmQgd2hhdCBpcyB0aGUgbW9zdCBlZmZlY3RpdmUgd2F5 IHRvIGRvIHNvPwo+PiA+Cj4+ID4KPj4gPgo+PiA+IENoZWVycywKPj4gPiBBcnRlbQo+PiA+Cj4+ ID4KPj4gPgo+PiA+IE9uIFR1ZXNkYXksIFNlcHRlbWJlciAyM3JkLCAyMDI1IGF0IDE6MzYgUE0s IE5pa2kgVmF6b3UgPAo+PiA+IG5pa2l2YXpvdUBnbWFpbC5jb20+IHdyb3RlOgo+PiA+Cj4+ID4g Pgo+PiA+ID4KPj4gPiA+IFsgVGhlIFR5cGVzIEZvcnVtLAo+PiA+IGh0dHA6Ly9saXN0cy5zZWFz LnVwZW5uLmVkdS9tYWlsbWFuL2xpc3RpbmZvL3R5cGVzLWxpc3QgICAgXQo+PiA+ID4KPj4gPiA+ IEhleSwKPj4gPiA+Cj4+ID4gPiBJIGFsc28gYWdyZWUgdGhhdCBtb3ZpbmcgaXMgZ2V0dGluZyBt b3JlIGNvbXBsaWNhdGVkIChib3RoIGZvciB0aGUKPj4gPiA+IGdlb3BvbGl0aWNhbCBldmVudHMg YW5kIHRoZSBlbnZpcm9ubWVudC4uLikKPj4gPiA+IFNvLCBtYXliZSBhIGdvb2QgYWx0ZXJuYXRp dmUgd291bGQgYmUsIGluIHBhcmFsbGVsIHRvIHRoZSBtYWluIGV2ZW50LAo+PiB0bwo+PiA+ID4g aGF2ZSBzYXRlbGxpdGUgZXZlbnRzLiBGb3IgZXhhbXBsZSwgd2hlbiBhIGNvbmZlcmVuY2UgaGFw cGVucyBpbiBVU0EsCj4+IHRvCj4+ID4gPiBoYXZlIHBhcnRpY2lwYW50cyBnYXRoZXIgaW4gYW5v dGhlciBjb3VudHJ5IHRvIGF0dGVuZC9wYXJ0aWNpcGF0ZS4KPj4gPiA+Cj4+ID4gPiBCZXN0LAo+ PiA+ID4gTmlraQo+PiA+ID4KPj4gPiA+IE9uIE1vbiwgU2VwIDIyLCAyMDI1IGF0IDU6MzXigK9Q TSBKdWxpYSBCZWx5YWtvdmEganVsYmluYkBnbWFpbC5jb20KPj4gd3JvdGU6Cj4+ID4gPgo+PiA+ ID4gPiBbIFRoZSBUeXBlcyBGb3J1bSwKPj4gPiBodHRwOi8vbGlzdHMuc2Vhcy51cGVubi5lZHUv bWFpbG1hbi9saXN0aW5mby90eXBlcy1saXN0IAo+PiA+ID4gPiBdCj4+ID4gPiA+Cj4+ID4gPiA+ IEkgZG9uJ3QgZGlzYWdyZWUgdGhhdCB0aGUgVVMgaXMgbm90IGEgd2VsY29tZSBkZXN0aW5hdGlv biBmb3IgbWFueQo+PiA+IHBlb3BsZQo+PiA+ID4gPiByaWdodCBub3cuCj4+ID4gPiA+Cj4+ID4g PiA+IEkgZGlkIHdhbnQgdG8gcG9pbnQgb3V0IHRoZSBleGlzdGVuY2Ugb2YgdGhlIHRyYXBwZWQt aW4tdGhlLVVTCj4+ID4gPiA+IGludGVybmF0aW9uYWwgY29tbXVuaXR5IGJlY2F1c2UgaW4gbXkg ZXhwZXJpZW5jZSwgYSBsb3Qgb2YgcGVvcGxlLAo+PiA+ID4gPiB1bmRlcnN0YW5kYWJseSwgYXJl IG5vdCBhd2FyZSBvZiB0aGlzIHBoZW5vbWVub24uCj4+ID4gPiA+Cj4+ID4gPiA+IEluIGdlbmVy YWwsIHRoZXJlIGFyZSBtYW55IHJlYXNvbnMgd2h5IGFuIGluZGl2aWR1YWwgY2Fubm90IHRyYXZl bAo+PiB0byBhCj4+ID4gPiA+IHBhcnRpY3VsYXIgbG9jYXRpb24sIGJlIGl0IHRoZSBVUyBvciBh bm90aGVyIGNvdW50cnkuCj4+ID4gPiA+Cj4+ID4gPiA+IFRvIGJlIGNvbnN0cnVjdGl2ZSwgSSB3 b3VsZCBsaWtlIHRvIGFtcGxpZnkgYW4gYWx0ZXJuYXRpdmUKPj4gc3VnZ2VzdGlvbgo+PiA+ID4g PiBkaXNjdXNzZWQgaW4gWnVsaXAsIHdoaWNoIGlzIHRvIGhhdmUgYW4gZXhwbGljaXQgcG9saWN5 IGZvcgo+PiBwcmVzZW50aW5nCj4+ID4gdGhlCj4+ID4gPiA+IHBhcGVyIGF0IGEgZGlmZmVyZW50 IGNvbmZlcmVuY2UgdGhhdCBpcyBoZWxkIGluIGEgbW9yZSBzdWl0YWJsZQo+PiA+IGxvY2F0aW9u Cj4+ID4gPiA+IGZvciB0aGUgYXV0aG9yLiBTaW1pbGFyIHRvIHdoYXQgU0lHUExBTi10cmFjayBo YXMgYmVlbiBkb2luZyBhdAo+PiBTUExBU0guCj4+ID4gPiA+Cj4+ID4gPiA+IE9mIGNvdXJzZSwg aXQgd291bGQgcmVxdWlyZSBtb3JlIGNvb3JkaW5hdGlvbiBhY3Jvc3MgdGhlIGNvbmZlcmVuY2Vz Cj4+ID4gYW5kIGFuCj4+ID4gPiA+IGFkZGl0aW9uYWwgbG9naXN0aWNzIGJ1cmRlbiBvbiBvcmdh bml6ZXJzLgo+PiA+ID4gPgo+PiA+ID4gPiAtLQo+PiA+ID4gPiBLaW5kIHJlZ2FyZHMsIEp1bGlh Cj4+ID4gPiA+Cj4+ID4gPiA+Cj4+ID4KPj4gaHR0cHM6Ly91cmxkZWZlbnNlLmNvbS92My9fX2h0 dHBzOi8vanVsYmluYi5naXRodWIuaW8vX187ISFJQnpXTFVzIVdBWDd4eUJzZFpUM29NRkswbG01 ZEZtYWs1bnZXc3pIX1R0LXRsXzhNeVJ1Z2FFWXpoM1NtLVdtaW5UTVRSZVYzTExObFBVT0pJakJr LTNGRE1XdERzUE1mZHMkCj4+ID4gPiA+Cj4+ID4gPiA+IE9uIE1vbiwgU2VwIDIyLCAyMDI1LCAx MjoyN+KAr0FNIFNhbmppdmEgUHJhc2FkCj4+IHNhbmppdmFAY3NlLmlpdGQuYWMuaW4KPj4gPiA+ ID4gd3JvdGU6Cj4+ID4gPiA+Cj4+ID4gPiA+ID4gU28gaWE9cyBteSBzb24gKGZvciBJTlMgcmVh c29ucykgLS0gY291bGQgbm90IGF0dGVuZCBFQ09PUCBvciBDQVYKPj4gPiB0aGlzCj4+ID4gPiA+ ID4geWVhciB3aGVyZSBoZSBoYWQgYmVzdCBwYXBlcnMuCj4+ID4gPiA+ID4KPj4gPiA+ID4gPiBC dXQgY29tcHV0ZXIgc2NpZW5jZSBpcyBub3QgYSBVUyBtb25vcG9seSAobm90IGV2ZW4gaW4gQUNN IG5vdywKPj4gPiB0aG91Z2gKPj4gPiA+ID4gPiByZWdpc3RlcmVkIGluIHRoZSBVUykuCj4+ID4g PiA+ID4gSXQgY29zdHMgSW5kaWFucyBhbmQgQ2hpbmVzZSBhbmQgc29tZSBvdGhlcnMgVVNEMjUw IG92ZXIgdGhlIHZpc2EKPj4gPiBjb3N0cwo+PiA+ID4gPiA+IGp1c3QgdG8gZW50ZXIgdGhlIFVT Lgo+PiA+ID4gPiA+IEFtIG5vdCBzYXlpbmcgdGhhdCBnZXR0aW5nIGludG8gRXVyb3BlIG9yIElu ZGlhIGlzIGVhc2llciwgYnV0IFVTCj4+IGlzCj4+ID4gbm90Cj4+ID4gPiA+ID4gYSB3ZWxjb21l IGRlc3RpbmF0aW9uIGZvciBtYW55IHJpZ2h0IG5vdy4KPj4gPiA+ID4gPgo+PiA+ID4gPiA+IE9u IDIyLzA5LzI1IDA0OjE4LCBKdWxpYSBCZWx5YWtvdmEgd3JvdGU6Cj4+ID4gPiA+ID4KPj4gPiA+ ID4gPiA+IFsgVGhlIFR5cGVzIEZvcnVtLAo+PiA+ID4gPiA+ID4gaHR0cDovL2xpc3RzLnNlYXMu dXBlbm4uZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtbGlzdCAgICBdCj4+ID4gPiA+ID4gPgo+ PiA+ID4gPiA+ID4gSSB1bmRlcnN0YW5kIHRoaXMgcG9zaXRpb24gYnV0IGp1c3Qgd2FudCB0byBy ZW1pbmQgdGhhdCB0aGVyZQo+PiBhcmUKPj4gPiBtYW55Cj4+ID4gPiA+ID4gPiBpbnRlcm5hdGlv bmFsIHN0dWRlbnRzIGFuZCBwcm9mZXNzaW9uYWxzIGluIHRoZSBjb21tdW5pdHkgd2hvCj4+IGFy ZQo+PiA+IHN0dWNrCj4+ID4gPiA+ID4gPiBpbnNpZGUgdGhlIFVTIGFuZCBjYW5ub3QgY3Jvc3Mg dGhlIGJvcmRlciwgZXZlbiB0byBnbyBDYW5hZGEuCj4+ID4gPiA+ID4gPgo+PiA+ID4gPiA+ID4g SSwgZm9yIG9uZSwgaGF2ZSBiZWVuIHN0dWNrIGluIHRoZSBVUyBzaW5jZSAyMDIwLgo+PiA+ID4g PiA+Cj4+ID4gPiA+ID4gLS0KPj4gPiA+ID4gPiBTYW5qaXZhIFByYXNhZAo+PiA+ID4gPiA+IFBy b2Zlc3NvciwgRGVwYXJ0bWVudCBvZiBDb21wdXRlciBTY2llbmNlIGFuZCBFbmdpbmVlcmluZwo+ PiA+ID4gPiA+IEluZGlhbiBJbnN0aXR1dGUgb2YgVGVjaG5vbG9neSBEZWxoaSAoSUlUIERlbGhp KQo+PiA+ID4KPj4gPiA+Cj4+ID4gPgo+PiA+ID4gLS0KPj4gPiA+IE5pa2kgVmF6b3UKPj4gPgo+ Pgo+Cg==