Re: [TYPES] Could we temporarily stop having conferences in the US?
Derek Dreyer <[email protected]> Tue, 23 Sep 2025 20:27:04 +0200
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <CAEX2k5FsaHgW-T21pLY7ujqwSoqkMsCZ9yCecGjRGjG-W3WxoQ@mail.gmail.com> |
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp c3RpbmZvL3R5cGVzLWxpc3QgXQoKSGksIFhhdmllci4KCkkgYXBwcmVjaWF0ZSBmdWxseSBob3cg dGVycmlibGUgdGhlIHNpdHVhdGlvbiBpcywgYW5kIGluIHBhcnRpY3VsYXIgSSBhbQphd2FyZSBv ZiB0aGUgZXhhbXBsZXMgeW91IGdhdmUsIGFuZCBzbyBJIHJlc3BlY3QgaW5kaXZpZHVhbHMnIHJl YXNvbnMgZm9yCm5vdCB0cmF2ZWxsaW5nIHRvIHRoZSBVUy4gIEhvd2V2ZXIsIHRoZSBleGFtcGxl cyB5b3UgZ2F2ZSB3ZXJlIC0tIGlmIEkgYW0Kbm90IG1pc3Rha2VuIC0tIHJlbGF0ZWQgdG8gcGVv cGxlIHdobyB3ZXJlICp3b3JraW5nKiBpbiB0aGUgVVMuICBJdCB3b3VsZApiZSBoZWxwZnVsIHRv IGtub3cgb2YgY29uY3JldGUgZXhhbXBsZXMgb2YgYWNhZGVtaWNzIHdobyB3ZXJlIGhhcmFzc2Vk LAptaXN0cmVhdGVkLCBvciBkZXRhaW5lZCBieSBnb3Zlcm5tZW50IG9mZmljaWFscyB3aGVuIHRy YXZlbGxpbmcgdG8KY29uZmVyZW5jZXMgaW4gdGhlIFVTLiAgTXkgaW1wcmVzc2lvbiBpcyB0aGF0 IHRoZXJlIGFyZSBleHRyZW1lbHkgZmV3IHN1Y2gKY2FzZXMgLS0gYnV0IEkgZG9uJ3Qga25vdy4K CkFzIEkgc2FpZCwgSSB0aGluayB3ZSBhcyBhIGNvbW11bml0eSBoYXZlIHRvIGNvbnNpZGVyIHRo ZSBuZWVkcyBvZiBhbGwgUEwKcmVzZWFyY2hlcnMsIGluY2x1ZGluZyBtYW55IG5vbi1VUy1jaXRp emVuIHJlc2VhcmNoZXJzIHdvcmtpbmcgaW4gdGhlIFVTCmZvciB3aG9tIGl0IHdvdWxkIGJlIGEg c2lnbmlmaWNhbnQgaGFyZHNoaXAgaWYgYWxsIGNvbmZlcmVuY2VzIHRvb2sgcGxhY2UKb3V0c2lk ZSB0aGUgVVMuCgpJbiBhbnkgY2FzZSwgSSB0aGluayB0aGF0IGlmIHBlb3BsZSByZWFsbHkgY2Fy ZSBhYm91dCB0aGlzIGlzc3VlLCB0aGUgVHlwZXMKZm9ydW0gaXMgbm90IHRoZSBpZGVhbCBtZWNo YW5pc20gdG8gZWZmZWN0IGNoYW5nZS4gIEl0IHdvdWxkIGJlIG1vcmUgdXNlZnVsCnRvIGJyaW5n IHRoZSBpc3N1ZSB0byB0aGUgYXR0ZW50aW9uIG9mIHRoZSBTSUdQTEFOIEVDIGFuZC9vciBpbmRp dmlkdWFsCmNvbmZlcmVuY2UgU0NzIGFuZCBzdGFydCBhIGRpc2N1c3Npb24gdGhlcmUuICBJJ20g aGFwcHkgdG8gcmFpc2UgdGhlIGlzc3VlCmZvciBkaXNjdXNzaW9uIG9uIHRoZSBQT1BMIFNDIHNp bmNlIEknbSBhIG1lbWJlciBvZiB0aGF0LCBhbmQgaWYgeW91IChvcgpzb21lb25lIGVsc2UpIHdh bnRzIHRvIG1ha2UgYSBmb3JtYWwgcHJvcG9zYWwgZm9yIG1lIHRvIGZvcndhcmQgdG8gdGhlIFND LApJJ20gaGFwcHkgdG8gZG8gdGhhdC4gIEJ1dCB1bHRpbWF0ZWx5LCBJIHRoaW5rIHRoYXQgYmVm b3JlIGFueSBkcmFzdGljCmNoYW5nZXMgYXJlIG1hZGUsIHdlIHdpbGwgbmVlZCBpbnB1dCBmcm9t IHRoZSB3aG9sZSBjb21tdW5pdHksIG5vdCBqdXN0CnRob3NlIHdobyBhcmUgdm9jYWwgYWJvdXQg aXQgaW4gb25lIGVtYWlsIHRocmVhZC4KClRoYW5rcywKRGVyZWsKCgpPbiBUdWUsIFNlcCAyMywg MjAyNSBhdCA3OjA54oCvUE0gWGF2aWVyIExlcm95IDwKeGF2aWVyLmxlcm95QGNvbGxlZ2UtZGUt ZnJhbmNlLmZyPiB3cm90ZToKCj4gRGVhciBEZXJlaywKPgo+IE9uIFR1ZSwgU2VwIDIzLCAyMDI1 IGF0IDY6MTPigK9QTSBEZXJlayBEcmV5ZXIgPGRyZXllckBtcGktc3dzLm9yZz4gd3JvdGU6Cj4K Pj4gWyBUaGUgVHlwZXMgRm9ydW0sCj4+IGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWls bWFuL2xpc3RpbmZvL3R5cGVzLWxpc3QgIF0KPj4KPj4gVGhhbmtzIGZvciB0aGUgbGl2ZWx5IGRp c2N1c3Npb24gYWJvdXQgdGhpcyBpc3N1ZS4gIEhvd2V2ZXIsIEknbSBhZnJhaWQgSQo+PiBtdXN0 IGRpc2FncmVlIHdpdGggdGhlIG9waW5pb25zIHBvc3RlZCBzbyBmYXIgdGhhdCBhZHZvY2F0ZWQg Zm9yCj4+ICh0ZW1wb3JhcmlseSkgYWJhbmRvbmluZyBjb25mZXJlbmNlcyBpbiB0aGUgVVMuCj4+ Cj4+IE9mIGNvdXJzZSwgbWFueSBwZW9wbGUgaW4gb3VyIGNvbW11bml0eSBhcmUgdW5kZXJzdGFu ZGFibHkgdXBzZXQgYmVjYXVzZQo+PiBvZgo+PiB0aGUgYWN0aW9ucyBvZiB0aGUgVHJ1bXAgYWRt aW5pc3RyYXRpb24gYW5kIGl0cyBlZmZlY3Qgb24gaW1taWdyYXRpb24gYW5kCj4+IHJlc2VhcmNo LiAgSSwgdG9vLCBhbSB2ZXJ5IHVwc2V0IGFib3V0IGl0ICh0byBwdXQgaXQgbWlsZGx5KS4KPj4K Pj4gQnV0IGl0IHNlZW1zIHRvIG1lIHRoZXJlIGFyZSBtdWx0aXBsZSBkaWZmZXJlbnQgaXNzdWVz IGJlaW5nIGNvbmZsYXRlZCBpbgo+PiBHYWJyaWVsJ3Mgb3JpZ2luYWwgcG9zdCwgYW5kIHRoZSBw cm9wb3NlZCBjdXJlIGlzIHdvcnNlIHRoYW4gdGhlIGRpc2Vhc2UuCj4+IEluIHBhcnRpY3VsYXIs IGhlIHdyb3RlOiAiSXQgaXMgcHJldHR5IGNsZWFyIHRoYXQgdGhlIFVTIGFyZSBub3QgYSBzYWZl Cj4+IHBsYWNlIGZvciB1bml2ZXJzaXRpZXMgcmlnaHQgbm93LCBhbmQgYWxzbyB1bnBhbGF0YWJs ZS10by11bnNhZmUgZm9yCj4+IHBlb3BsZQo+PiAoZXNwZWNpYWxseSBmb3JlaWduZXJzKSB3b3Jr aW5nIGluIHVuaXZlcnNpdGllcy4iCj4+Cj4+IENvbmNlcm5pbmcgdGhlIHBvaW50IHRoYXQgdGhl IFVTIGlzIG5vdCBhIHNhZmUgcGxhY2UgZm9yIHVuaXZlcnNpdGllczogSQo+PiBhbQo+PiBub3Qg ZXhhY3RseSBzdXJlIHdoYXQgaGUgbWVhbnQsIGJ1dCBJIGFzc3VtZSBoZSBtZWFudCB0aGF0IHVu aXZlcnNpdGllcwo+PiBhcmUKPj4gc3VmZmVyaW5nIHVuZGVyIHRoZSBtYWpvciBmdW5kaW5nIGN1 dHMgYW5kIGdlbmVyYWxseSB0aHJlYXRlbmluZyBiZWhhdmlvcgo+PiBvZiB0aGUgVHJ1bXAgYWRt aW5pc3RyYXRpb24uICBUaGlzIGlzIGNlcnRhaW5seSB0cnVlLiAgSG93ZXZlciwgaXQgaXMgbm90 Cj4+IGNsZWFyIHRvIG1lIGhvdyBob2xkaW5nIGFuIGFjYWRlbWljIGNvbmZlcmVuY2Ugb3V0c2lk ZSB0aGUgVVMgZm9yIGEgY291cGxlCj4+IHllYXJzIHdpbGwgc3dheSBUcnVtcCB0byBkbyBzb21l dGhpbmcgZGlmZmVyZW50LiAgRnVydGhlcm1vcmUsIHdoZW4KPj4gY29uc2lkZXJpbmcgb3RoZXIg Y29uZmVyZW5jZSBsb2NhdGlvbnMsIEkgZG8gbm90IHJlY2FsbCBpdCBldmVyIGhhdmluZwo+PiBi ZWVuCj4+IGEgcHJpb3JpdHkgdG8gc2VsZWN0IGxvY2F0aW9ucyBiYXNlZCBvbiB3aGV0aGVyIHRo ZSBsb2NhbCBnb3Zlcm5tZW50IHdhcwo+PiBwYXJ0aWN1bGFybHkgc3VwcG9ydGl2ZSBvZiBzY2ll bmNlLiAgRXZlbiBpbiBpdHMgZGltaW5pc2hlZCBzdGF0ZSwgdGhlIFVTCj4+IGdvdmVybm1lbnQg d2lsbCBzdGlsbCBiZSBhIG1ham9yIGNvbnRyaWJ1dG9yIHRvIGdsb2JhbCByZXNlYXJjaCBmdW5k aW5nLgo+Pgo+PiBDb25jZXJuaW5nIHRoZSBwb2ludCB0aGF0IHRoZSBVUyBpcyAidW5wYWxhdGFi bGUtdG8tdW5zYWZlIGZvciBwZW9wbGUKPj4gKGVzcGVjaWFsbHkgZm9yZWlnbmVycykgd29ya2lu ZyBpbiB1bml2ZXJzaXRpZXMiLCBJIGFnYWluIGFtIG5vdAo+PiBjb21wbGV0ZWx5Cj4+IHN1cmUg d2hhdCB0aGlzIGlzIHJlZmVycmluZyB0by4KPgo+Cj4gTGV0IG1lIHRyeSB0byBtYWtlIGl0IGNs ZWFyIHRvIHlvdS4gIEF0IHRoaXMgcG9pbnQgaW4gdGltZSwgSSBkbyBub3QgZmVlbAo+IHNhZmUg dHJhdmVsaW5nIHRvIHRoZSBVUy4gIFRoaXMgZGVzcGl0ZSB0aGUgZmFjdCB0aGF0IEkgbGl2ZWQg MiB5ZWFycyB0aGVyZQo+IChhcyBhbiBpbnRlcm4gdGhlbiBhcyBhIHBvc3Rkb2MpLCBoZWxkIHZh cmlvdXMgVVMgdmlzYXMsIHRyYXZlbGVkIHRoZXJlIGEKPiBncmVhdCBtYW55IHRpbWVzLCBuZXZl ciBoYWQgYW55IHByb2JsZW0gd2l0aCBpbW1pZ3JhdGlvbiwgYW5kIG5ldmVyIGZlbHQKPiB0aHJl YXRlbmVkIG9yIHVud2VsY29tZSBpbiB0aGUgVVMgYmVmb3JlLiAgTm93LCBJIHNlZSBmb3JlaWdu IHN0dWRlbnRzCj4gYmVpbmcgYXJiaXRyYXJpbHkgZGVwb3J0ZWQKPiA8aHR0cHM6Ly91cmxkZWZl bnNlLmNvbS92My9fX2h0dHBzOi8vZW4ud2lraXBlZGlhLm9yZy93aWtpL0FjdGl2aXN0X2RlcG9y dGF0aW9uc19pbl90aGVfc2Vjb25kX1RydW1wX3ByZXNpZGVuY3lfXzshIUlCeldMVXMhVHppQnk3 Zm1zd09QRTIwYXlTTzBqdTB0dWhVSU1WSW9wT3RJN3FtNTdTaG1jbXVjTWRWbGdUb0Q1LUk3NTF0 bUZRUGZvd2cyTWhkVm9MR0M4aDdLYkVfOVJ2U3QkID4gb3IKPiBpbGxlZ2FsbHkgc3RyaXBwZWQg b2ZmIHRoZWlyIGxlZ2FsIHN0YXR1cwo+IDxodHRwczovL3VybGRlZmVuc2UuY29tL3YzL19faHR0 cHM6Ly93d3cucGJzLm9yZy9uZXdzaG91ci9uYXRpb24vaW50ZXJuYXRpb25hbC1zdHVkZW50cy1z dHJpcHBlZC1vZi1sZWdhbC1zdGF0dXMtaW4tdGhlLXUtcy1hcmUtcGlsaW5nLXVwLXdpbnMtaW4t Y291cnRfXzshIUlCeldMVXMhVHppQnk3Zm1zd09QRTIwYXlTTzBqdTB0dWhVSU1WSW9wT3RJN3Ft NTdTaG1jbXVjTWRWbGdUb0Q1LUk3NTF0bUZRUGZvd2cyTWhkVm9MR0M4aDdLYkNKakVxT18kID4s Cj4gU291dGggS29yZWFuIGxlZ2FsIHdvcmtlcnMgYmVpbmcgYXJyZXN0ZWQsIGhlbGQgb25lIHdl ZWsgaW4gZGV0ZW50aW9uCj4gY2FtcCBhbmQgZGVwb3J0ZWQgPGh0dHBzOi8vdXJsZGVmZW5zZS5j b20vdjMvX19odHRwczovL3d3dy5iYmMuY29tL25ld3MvYXJ0aWNsZXMvY3o5ajU4NWcyM2dvX187 ISFJQnpXTFVzIVR6aUJ5N2Ztc3dPUEUyMGF5U08wanUwdHVoVUlNVklvcE90STdxbTU3U2htY211 Y01kVmxnVG9ENS1JNzUxdG1GUVBmb3dnMk1oZFZvTEdDOGg3S2JJa0pRY21EJCA+LCBldGMuCj4K PiBDYW4geW91IHVuZGVyc3RhbmQgdGhhdCBtZW1iZXJzIG9mIG91ciByZXNlYXJjaCBjb21tdW5p dHkgd2hvIGFyZSBsZXNzCj4gcHJpdmlsZWdlZCB0aGFuIEkgYW0gKGkuZS4gZG9uJ3QgaGF2ZSBF dXJvcGVhbiBVbmlvbiBjaXRpemVuc2hpcCwgZmFpcgo+IHNraW4sIHVudGhyZWF0ZW5pbmcgbWlk ZGxlLWFnZWQgbWFuIGxvb2tzLCBhbmQgYSBzb2xpZCBwZXJtYW5lbnQgYWNhZGVtaWMKPiBwb3Np dGlvbiBpbiBFdXJvcGUpIGFyZSBldmVuIG1vcmUgc2NhcmVkIHRoYW4gSSBhbT8KPgo+IE9mIGNv dXJzZSB3ZSB3aWxsIG5vdCBnbyB0byB0aGUgVVMgdG8gYXR0ZW5kIGEgY29uZmVyZW5jZS4gIFBs ZWFzZSBhY2NlcHQKPiB0aGlzIGZhY3QgYW5kIHdvcmsgd2l0aCB1cyB0byBmaW5kIGFsdGVybmF0 aXZlcyB0byBrZWVwIG91ciBjb25mZXJlbmNlcwo+IGFsaXZlLgo+Cj4gLSBYYXZpZXIgTGVyb3kK Pgo+Cj4KPgo+Cj4KPgo+Cj4+IElmIHRoaXMgaXMgcmVmZXJyaW5nIHRvIG5vbi1VUyBjaXRpemVu cwo+PiB3b3JraW5nIGluIHVuaXZlcnNpdGllcyBpbiB0aGUgVVMsIHdobyBtaWdodCBoYXZlIHRo ZWlyIHZpc2FzIHJldm9rZWQgb24KPj4gd2hhdGV2ZXIgcHJvY2xhbWF0aW9uIFRydW1wIHRoaW5r cyB1cCB0b21vcnJvdywgeWVzLCB0aGlzIGlzIHJlYWxseSBiYWQuCj4+IEJ1dCBhcyBoYXMgYWxy ZWFkeSBiZWVuIG5vdGVkIGJ5IEp1bGlhIGFuZCBvdGhlcnMsIGl0IGlzICptdWNoKiBlYXNpZXIg Zm9yCj4+IHRob3NlIHBlb3BsZSB0byBhdHRlbmQgY29uZmVyZW5jZXMgaW4gdGhlIFVTIHRoYW4g ZWxzZXdoZXJlLiAgSWYgb24gdGhlCj4+IG90aGVyIGhhbmQgdGhpcyBpcyByZWZlcnJpbmcgdG8g cGVvcGxlIHRyYXZlbGxpbmcgdG8gdGhlIFVTIGZvciB0aGUKPj4gY29uZmVyZW5jZSwgSSBoZWFy ZCBhIGZldyBob3Jyb3Igc3RvcmllcyBlYXJsaWVyIHRoaXMgeWVhciwgYnV0IEkgaGF2ZSBub3QK Pj4gc2VlbiBldmlkZW5jZSB0aGF0IHRoZXJlIGlzIHdpZGVzcHJlYWQgaGFyYXNzbWVudCBvZiBh Y2FkZW1pY3MgZW50ZXJpbmcKPj4gdGhlCj4+IFVTIGZvciBhIGNvbmZlcmVuY2UuICBTbyBJIHRo aW5rIHRoZSBjaGFuY2Ugb2YgZW5jb3VudGVyaW5nIGEgcHJvYmxlbSBpcwo+PiB2ZXJ5IGxvdy4g IEJ1dCBJIGFncmVlIHRoYXQgdGhpcyBpcyBhIHZhbGlkIGNhdXNlIGZvciBjb25jZXJuLCBhbmQg SSBjYW4KPj4gdW5kZXJzdGFuZCBpZiBwZW9wbGUgYXJlIGhlc2l0YW50IHRvIHRyYXZlbCB0byB0 aGUgVVMgYmVjYXVzZSBvZiBpdC4KPj4KPj4gT3RoZXJzIG9uIHRoZSB0aHJlYWQgaGF2ZSBzdWdn ZXN0ZWQgaW1wcm92aW5nIG91ciB2aXJ0dWFsIGNvbmZlcmVuY2UKPj4gcGFydGljaXBhdGlvbiBv cHRpb25zIHNvIHRoYXQgVVMgcmVzZWFyY2hlcnMgY2FuIHBhcnRpY2lwYXRlIGV2ZW4gaWYgdGhl Cj4+IGV2ZW50IGlzIGhlbGQgZWxzZXdoZXJlLiAgSSBhbSBhbGwgZm9yIGltcHJvdmluZyB2aXJ0 dWFsIGNvbmZlcmVuY2UKPj4gcGFydGljaXBhdGlvbiwgYnV0IHdlIGhhZCBzZXZlcmFsIHllYXJz IG9mIGV4cGVyaW1lbnRhdGlvbiB3aXRoIHRoYXQKPj4gZHVyaW5nCj4+IHRoZSBwYW5kZW1pYywg YW5kIGluIHRoZSBlbmQgdGhlIHZlcmRpY3Qgc2VlbWVkIHRvIGJlIHRoYXQgaXQgZGlkbid0Cj4+ IHJlYWxseQo+PiB3b3JrLiAgQXQgbGVhc3QgaXQgaXMgbm90IGEgcmVwbGFjZW1lbnQgZm9yIGlu LXBlcnNvbiBwYXJ0aWNpcGF0aW9uLiAgQnV0Cj4+IEkKPj4gdGhpbmsgaWYgcGVvcGxlIGFyZSBt b3RpdmF0ZWQgZW5vdWdoLCBhbmQgZW5vdWdoIHBlb3BsZSBkbyBub3Qgd2FudCB0bwo+PiB0cmF2 ZWwgdG8gdGhlIFVTIGZvciBjb25mZXJlbmNlcywgdGhlbiBpdCB3b3VsZCBiZSBhIGdyZWF0IGlk ZWEgdG8KPj4gZXhwZXJpbWVudCB3aXRoIHNhdGVsbGl0ZSBtZWV0aW5ncywgYWxzbyBmb3IgY2xp bWF0ZSByZWFzb25zLgo+Pgo+PiBJbiBzdW1tYXJ5LCBnaXZlbiB0aGF0IGEgdmVyeSBzaWduaWZp Y2FudCBwb3J0aW9uIG9mIG91ciBjb21tdW5pdHkKPj4gaW5jbHVkZXMKPj4gcGVvcGxlIHdvcmtp bmcgYXQgVVMgdW5pdmVyc2l0aWVzLCBJIHRoaW5rIHRoYXQgd2Ugc2hvdWxkIG5vdCBhYmFuZG9u Cj4+IGNvbmZlcmVuY2VzIGluIHRoZSBVUyBlbnRpcmVseS4gIFdlIGNvdWxkLCBob3dldmVyLCBj b25zaWRlciByZWR1Y2luZyB0aGUKPj4gZnJlcXVlbmN5IHdpdGggd2hpY2ggY29uZmVyZW5jZXMg YXJlIGxvY2F0ZWQgaW4gdGhlIFVTIChlLmcuIHRvIG5vIG1vcmUKPj4gdGhhbiAxLzIgb3Igc29t ZSBzbWFsbGVyIGZyYWN0aW9uIG9mIHRoZSB0aW1lKSwgYXMgd2VsbCBhcyBleHBsb3JpbmcKPj4g Y29tcGxlbWVudGFyeSBvcHRpb25zIGxpa2Ugc2F0ZWxsaXRlIG1lZXRpbmdzLgo+Pgo+PiBCZXN0 IHdpc2hlcywKPj4gRGVyZWsKPj4KPj4gUC5TLiBJbiByZXNwb25zZSB0byBBcnRlbSdzIHF1ZXN0 aW9uLCBJIHdvdWxkIG5vdCBjb25zaWRlciB0aGUgZGlzY3Vzc2lvbgo+PiBvbiB0aGlzIGxpc3Qg dG8gbmVjZXNzYXJpbHkgYmUgcmVwcmVzZW50YXRpdmUgb2YgdGhlICJzdGFuY2UiIG9mIHRoZSBQ TAo+PiBjb21tdW5pdHkgb24gdGhpcyBpc3N1ZS4gIEl0IG1heSBiZSB3b3J0aCBnYXVnaW5nIHRo ZSBzdGFuY2Ugb2YgdGhlCj4+IHJlc2VhcmNoIGNvbW11bml0eSwgYnV0IHRoYXQgbWF5IGJlIGJl c3QgZG9uZSB3aXRoIHBvc3QtY29uZmVyZW5jZSBzdXJ2ZXlzCj4+IGF0IHNvbWUgdXBjb21pbmcg U0lHUExBTiBjb25mZXJlbmNlcy4KPj4KPj4gT24gVHVlLCBTZXAgMjMsIDIwMjUgYXQgNToxN+KA r1BNIEFydGVtIFNoaW5rYXJvdiA8dGVtYUBwbS5tZT4gd3JvdGU6Cj4+Cj4+ID4gWyBUaGUgVHlw ZXMgRm9ydW0sCj4+IGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xpc3RpbmZv L3R5cGVzLWxpc3QgCj4+ID4gXQo+PiA+Cj4+ID4gSGkKPj4gPgo+PiA+IEl0IGFwcGVhcnMgdGhh dCB0aGUgYXJndW1lbnQgcmVnYXJkaW5nIGJlaW5nICJ0cmFwcGVkIGluIiBpcyBkaXZlcnRpbmcK Pj4gdGhlCj4+ID4gZGlzY3Vzc2lvbiBmcm9tIHRoZSBpbnRlbnQgb2YgdGhlIG9yaWdpbmFsIHBv c3Q6IHRoZSB0b3hpYyBhdHRpdHVkZSBvZgo+PiB0aGUKPj4gPiBVUyB0b3dhcmRzIHJlc2VhcmNo IGFuZCByZXNlYXJjaGVycywgd2hpY2ggcmVxdWlyZXMgYWN0aW9uIGZyb20gdGhlCj4+ID4gcmVz ZWFyY2ggY29tbXVuaXR5LiBCYW4gb24gY29uZmVyZW5jZXMgaW4gdGhlIFVTIGNvdWxkIHNlcnZl IGFzIGEKPj4gPiBtZWFuaW5nZnVsIHN0YXRlbWVudCBvciBnZXN0dXJlIHRoYXQgd2Ugb3VnaHQg dG8gY29uc2lkZXIuCj4+ID4KPj4gPiBUaGUgaXNzdWUgb2YgYmVpbmcgInRyYXBwZWQgaW4iIGlz IGluZGVlZCBvbmUgb2YgdGhlIGRyYXdiYWNrcwo+PiBoaWdobGlnaHRlZAo+PiA+IGluIHRoZSBv cmlnaW5hbCBwb3N0LiBIb3dldmVyLCB0aGlzIHNpdHVhdGlvbiBpcyBub3QgdW5pcXVlIHRvIHRo ZSBVUzsKPj4gPiBzaW1pbGFyIGNoYWxsZW5nZXMgYXJpc2UgaW4gb3RoZXIgY291bnRyaWVzIGFz IHdlbGwuIEZvciBpbnN0YW5jZSwKPj4gPiBpbmRpdmlkdWFscyBvbiB2aXNhcyBpbiB0aGUgVUsg bWF5IGZpbmQgdGhlbXNlbHZlcyB1bmFibGUgdG8gdHJhdmVsIHRvCj4+ID4gRXVyb3BlLCB0aGUg VVMsIGFuZCBiZXlvbmQuIEFzIG5vdGVkIGluIHByZXZpb3VzIGRpc2N1c3Npb25zLCB3ZSBjYW4K Pj4gPiBhZGRyZXNzIHRoaXMgaXNzdWUgYnkgZW5zdXJpbmcgYWRlcXVhdGUgb25saW5lIHBhcnRp Y2lwYXRpb24gYW5kCj4+IGV4cGxvcmluZwo+PiA+IHRoZSBwb3NzaWJpbGl0eSBvZiBzYXRlbGxp dGUgZXZlbnRzLiBOZXZlcnRoZWxlc3MsIHRoZSBjcnVjaWFsIHF1ZXN0aW9uCj4+ID4gcmVtYWlu czogaXMgdGhlIHJlc2VhcmNoIGNvbW11bml0eSBwcmVwYXJlZCB0byBleHByZXNzIGl0cyBzdGFu Y2Ugb24KPj4gdGhpcwo+PiA+IG1hdHRlciwgYW5kIHdoYXQgaXMgdGhlIG1vc3QgZWZmZWN0aXZl IHdheSB0byBkbyBzbz8KPj4gPgo+PiA+Cj4+ID4KPj4gPiBDaGVlcnMsCj4+ID4gQXJ0ZW0KPj4g Pgo+PiA+Cj4+ID4KPj4gPiBPbiBUdWVzZGF5LCBTZXB0ZW1iZXIgMjNyZCwgMjAyNSBhdCAxOjM2 IFBNLCBOaWtpIFZhem91IDwKPj4gPiBuaWtpdmF6b3VAZ21haWwuY29tPiB3cm90ZToKPj4gPgo+ PiA+ID4KPj4gPiA+Cj4+ID4gPiBbIFRoZSBUeXBlcyBGb3J1bSwKPj4gPiBodHRwOi8vbGlzdHMu c2Vhcy51cGVubi5lZHUvbWFpbG1hbi9saXN0aW5mby90eXBlcy1saXN0ICAgIF0KPj4gPiA+Cj4+ ID4gPiBIZXksCj4+ID4gPgo+PiA+ID4gSSBhbHNvIGFncmVlIHRoYXQgbW92aW5nIGlzIGdldHRp bmcgbW9yZSBjb21wbGljYXRlZCAoYm90aCBmb3IgdGhlCj4+ID4gPiBnZW9wb2xpdGljYWwgZXZl bnRzIGFuZCB0aGUgZW52aXJvbm1lbnQuLi4pCj4+ID4gPiBTbywgbWF5YmUgYSBnb29kIGFsdGVy bmF0aXZlIHdvdWxkIGJlLCBpbiBwYXJhbGxlbCB0byB0aGUgbWFpbiBldmVudCwKPj4gdG8KPj4g PiA+IGhhdmUgc2F0ZWxsaXRlIGV2ZW50cy4gRm9yIGV4YW1wbGUsIHdoZW4gYSBjb25mZXJlbmNl IGhhcHBlbnMgaW4gVVNBLAo+PiB0bwo+PiA+ID4gaGF2ZSBwYXJ0aWNpcGFudHMgZ2F0aGVyIGlu IGFub3RoZXIgY291bnRyeSB0byBhdHRlbmQvcGFydGljaXBhdGUuCj4+ID4gPgo+PiA+ID4gQmVz dCwKPj4gPiA+IE5pa2kKPj4gPiA+Cj4+ID4gPiBPbiBNb24sIFNlcCAyMiwgMjAyNSBhdCA1OjM1 4oCvUE0gSnVsaWEgQmVseWFrb3ZhIGp1bGJpbmJAZ21haWwuY29tCj4+IHdyb3RlOgo+PiA+ID4K Pj4gPiA+ID4gWyBUaGUgVHlwZXMgRm9ydW0sCj4+ID4gaHR0cDovL2xpc3RzLnNlYXMudXBlbm4u ZWR1L21haWxtYW4vbGlzdGluZm8vdHlwZXMtbGlzdCAKPj4gPiA+ID4gXQo+PiA+ID4gPgo+PiA+ ID4gPiBJIGRvbid0IGRpc2FncmVlIHRoYXQgdGhlIFVTIGlzIG5vdCBhIHdlbGNvbWUgZGVzdGlu YXRpb24gZm9yIG1hbnkKPj4gPiBwZW9wbGUKPj4gPiA+ID4gcmlnaHQgbm93Lgo+PiA+ID4gPgo+ PiA+ID4gPiBJIGRpZCB3YW50IHRvIHBvaW50IG91dCB0aGUgZXhpc3RlbmNlIG9mIHRoZSB0cmFw cGVkLWluLXRoZS1VUwo+PiA+ID4gPiBpbnRlcm5hdGlvbmFsIGNvbW11bml0eSBiZWNhdXNlIGlu IG15IGV4cGVyaWVuY2UsIGEgbG90IG9mIHBlb3BsZSwKPj4gPiA+ID4gdW5kZXJzdGFuZGFibHks IGFyZSBub3QgYXdhcmUgb2YgdGhpcyBwaGVub21lbm9uLgo+PiA+ID4gPgo+PiA+ID4gPiBJbiBn ZW5lcmFsLCB0aGVyZSBhcmUgbWFueSByZWFzb25zIHdoeSBhbiBpbmRpdmlkdWFsIGNhbm5vdCB0 cmF2ZWwKPj4gdG8gYQo+PiA+ID4gPiBwYXJ0aWN1bGFyIGxvY2F0aW9uLCBiZSBpdCB0aGUgVVMg b3IgYW5vdGhlciBjb3VudHJ5Lgo+PiA+ID4gPgo+PiA+ID4gPiBUbyBiZSBjb25zdHJ1Y3RpdmUs IEkgd291bGQgbGlrZSB0byBhbXBsaWZ5IGFuIGFsdGVybmF0aXZlCj4+IHN1Z2dlc3Rpb24KPj4g PiA+ID4gZGlzY3Vzc2VkIGluIFp1bGlwLCB3aGljaCBpcyB0byBoYXZlIGFuIGV4cGxpY2l0IHBv bGljeSBmb3IKPj4gcHJlc2VudGluZwo+PiA+IHRoZQo+PiA+ID4gPiBwYXBlciBhdCBhIGRpZmZl cmVudCBjb25mZXJlbmNlIHRoYXQgaXMgaGVsZCBpbiBhIG1vcmUgc3VpdGFibGUKPj4gPiBsb2Nh dGlvbgo+PiA+ID4gPiBmb3IgdGhlIGF1dGhvci4gU2ltaWxhciB0byB3aGF0IFNJR1BMQU4tdHJh Y2sgaGFzIGJlZW4gZG9pbmcgYXQKPj4gU1BMQVNILgo+PiA+ID4gPgo+PiA+ID4gPiBPZiBjb3Vy c2UsIGl0IHdvdWxkIHJlcXVpcmUgbW9yZSBjb29yZGluYXRpb24gYWNyb3NzIHRoZSBjb25mZXJl bmNlcwo+PiA+IGFuZCBhbgo+PiA+ID4gPiBhZGRpdGlvbmFsIGxvZ2lzdGljcyBidXJkZW4gb24g b3JnYW5pemVycy4KPj4gPiA+ID4KPj4gPiA+ID4gLS0KPj4gPiA+ID4gS2luZCByZWdhcmRzLCBK dWxpYQo+PiA+ID4gPgo+PiA+ID4gPgo+PiA+Cj4+IGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMv X19odHRwczovL2p1bGJpbmIuZ2l0aHViLmlvL19fOyEhSUJ6V0xVcyFXQVg3eHlCc2RaVDNvTUZL MGxtNWRGbWFrNW52V3N6SF9UdC10bF84TXlSdWdhRVl6aDNTbS1XbWluVE1UUmVWM0xMTmxQVU9K SWpCay0zRkRNV3REc1BNZmRzJAo+PiA+ID4gPgo+PiA+ID4gPiBPbiBNb24sIFNlcCAyMiwgMjAy NSwgMTI6MjfigK9BTSBTYW5qaXZhIFByYXNhZAo+PiBzYW5qaXZhQGNzZS5paXRkLmFjLmluCj4+ ID4gPiA+IHdyb3RlOgo+PiA+ID4gPgo+PiA+ID4gPiA+IFNvIGlhPXMgbXkgc29uIChmb3IgSU5T IHJlYXNvbnMpIC0tIGNvdWxkIG5vdCBhdHRlbmQgRUNPT1Agb3IgQ0FWCj4+ID4gdGhpcwo+PiA+ ID4gPiA+IHllYXIgd2hlcmUgaGUgaGFkIGJlc3QgcGFwZXJzLgo+PiA+ID4gPiA+Cj4+ID4gPiA+ ID4gQnV0IGNvbXB1dGVyIHNjaWVuY2UgaXMgbm90IGEgVVMgbW9ub3BvbHkgKG5vdCBldmVuIGlu IEFDTSBub3csCj4+ID4gdGhvdWdoCj4+ID4gPiA+ID4gcmVnaXN0ZXJlZCBpbiB0aGUgVVMpLgo+ PiA+ID4gPiA+IEl0IGNvc3RzIEluZGlhbnMgYW5kIENoaW5lc2UgYW5kIHNvbWUgb3RoZXJzIFVT RDI1MCBvdmVyIHRoZSB2aXNhCj4+ID4gY29zdHMKPj4gPiA+ID4gPiBqdXN0IHRvIGVudGVyIHRo ZSBVUy4KPj4gPiA+ID4gPiBBbSBub3Qgc2F5aW5nIHRoYXQgZ2V0dGluZyBpbnRvIEV1cm9wZSBv ciBJbmRpYSBpcyBlYXNpZXIsIGJ1dCBVUwo+PiBpcwo+PiA+IG5vdAo+PiA+ID4gPiA+IGEgd2Vs Y29tZSBkZXN0aW5hdGlvbiBmb3IgbWFueSByaWdodCBub3cuCj4+ID4gPiA+ID4KPj4gPiA+ID4g PiBPbiAyMi8wOS8yNSAwNDoxOCwgSnVsaWEgQmVseWFrb3ZhIHdyb3RlOgo+PiA+ID4gPiA+Cj4+ ID4gPiA+ID4gPiBbIFRoZSBUeXBlcyBGb3J1bSwKPj4gPiA+ID4gPiA+IGh0dHA6Ly9saXN0cy5z ZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xpc3RpbmZvL3R5cGVzLWxpc3QgICAgXQo+PiA+ID4gPiA+ ID4KPj4gPiA+ID4gPiA+IEkgdW5kZXJzdGFuZCB0aGlzIHBvc2l0aW9uIGJ1dCBqdXN0IHdhbnQg dG8gcmVtaW5kIHRoYXQgdGhlcmUKPj4gYXJlCj4+ID4gbWFueQo+PiA+ID4gPiA+ID4gaW50ZXJu YXRpb25hbCBzdHVkZW50cyBhbmQgcHJvZmVzc2lvbmFscyBpbiB0aGUgY29tbXVuaXR5IHdobwo+ PiBhcmUKPj4gPiBzdHVjawo+PiA+ID4gPiA+ID4gaW5zaWRlIHRoZSBVUyBhbmQgY2Fubm90IGNy b3NzIHRoZSBib3JkZXIsIGV2ZW4gdG8gZ28gQ2FuYWRhLgo+PiA+ID4gPiA+ID4KPj4gPiA+ID4g PiA+IEksIGZvciBvbmUsIGhhdmUgYmVlbiBzdHVjayBpbiB0aGUgVVMgc2luY2UgMjAyMC4KPj4g PiA+ID4gPgo+PiA+ID4gPiA+IC0tCj4+ID4gPiA+ID4gU2Fuaml2YSBQcmFzYWQKPj4gPiA+ID4g PiBQcm9mZXNzb3IsIERlcGFydG1lbnQgb2YgQ29tcHV0ZXIgU2NpZW5jZSBhbmQgRW5naW5lZXJp bmcKPj4gPiA+ID4gPiBJbmRpYW4gSW5zdGl0dXRlIG9mIFRlY2hub2xvZ3kgRGVsaGkgKElJVCBE ZWxoaSkKPj4gPiA+Cj4+ID4gPgo+PiA+ID4KPj4gPiA+IC0tCj4+ID4gPiBOaWtpIFZhem91Cj4+ ID4KPj4KPgo=