Re: [TYPES] AI-generated conference submissions
Alcides Fonseca <me-MQvYMha/[email protected]> Tue, 17 Mar 2026 17:15:32 +0000
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <CAOD8zhW3MmObFvafPMFKoi4jNpdeG5ixsXkACjQQHmoO-uJC+g@mail.gmail.com> |
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp c3RpbmZvL3R5cGVzLWxpc3QgXQoKSSB3b3VsZCBsaWtlIHRvIGVjaG8gdGhlIHBvaW50IHRoYXQg S2xhdXMgbWFkZTogSG93IGRvZXMga25vd2luZyB0aGF0IExMTXMKd2VyZSB1c2VkIHRvIHByb2R1 Y2UgYSBwYXBlciBjaGFuZ2UgdGhlIHdheSB5b3UgcmV2aWV3IGl0PwoKQXNzdW1lIEkgc3VibWl0 dGVkIGEgcGFwZXIgd2l0aCB0aGUgZm9sbG93aW5nIGFja25vd2xlZGdlbWVudDog4oCcTExNcyB3 ZXJlCnVzZWQgdG8gZ2VuZXJhdGUgdGhlIGNvZGUgZm9yIHRoZSBleHBlcmltZW50cywgYW5hbHl6 ZSB0aGVtIGFuZCBwcm9kdWNlIHRoZQptYW51c2NyaXB0LuKAnQpXaWxsIEkgZ2V0IGRlc2sgcmVq ZWN0ZWQ/CldpbGwgSSBnZXQgYSBkaWZmZXJlbnQgcmV2aWV3PyBXaWxsIHlvdSB0cnVzdCB0aGUg Y2xhaW1zIGxlc3MgYmVjYXVzZSBJCnVzZWQgTExNcz8gSW4gc29tZSBjYXNlcywgIExMTXMgYWN0 dWFsbHkgaW1wcm92ZSB0aGUgY29ycmVjdG5lc3MgYnkKYWxsb3dpbmcgYXV0aG9ycyB0byBoYXZl IG1hY2hpbmUtY2hlY2tlZCBwcm9vZnMgaW4gcmVhc29uYWJsZSB0aW1lICh0bwpKb27igJlzIHBv aW50KS4gU28gbWF5YmUgeW91IHNob3VsZCB0cnVzdCBMTE0tZ2VuZXJhdGVkIHBhcGVycyBtb3Jl IHRoYW4gcHVyZQptYW51c2NyaXB0cy4KClBlcnNvbmFsbHksIEkgYWdyZWUgd2l0aCBLbGF1czog aXQgc2hvdWxkIG1ha2Ugbm8gZGlmZmVyZW5jZSwgYW5kIHdlCnNob3VsZG7igJl0IHJlcXVpcmUg YW55IGFja25vd2xlZGdlbWVudC4KCgoKVGhlIHJlbGV2YW50IGltcGFjdCBpcyBhbHJlYWR5IGNv dmVyZWQgYnkgYW5vdGhlciBwb2ludCBpbiBBQ03igJlzIHBvbGljeTogKiJJbgphZGRpdGlvbiwg YWxsIHBlcnNvbnMgbGlzdGVkIGFzIGFuIGF1dGhvciBvbiBhbiBBQ00gc3VibWlzc2lvbiBjZXJ0 aWZ5CnRoYXQ6IFvigKZdIFRoZXkgYWdyZWUgdG8gYmUgaGVsZCByZXNwb25zaWJsZSBhbmQgYWNj b3VudGFibGUgZm9yIGFueSBpc3N1ZXMKcmVsYXRpbmcgdG8gdGhlIGNvcnJlY3RuZXNzIG9yIGlu dGVncml0eSBvZiB0aGUgV29yayBhbmQgY29tcGxpYW5jZSB3aXRoCmFsbCByZWxhdGVkIEFDTSBQ dWJsaWNhdGlvbnMgUG9saWNpZXMgd2l0aCB0aGUgdW5kZXJzdGFuZGluZyB0aGF0LApkZXBlbmRp bmcgb24gdGhlIGNpcmN1bXN0YW5jZXMsIG5vdCBhbGwgYXV0aG9ycyB3aWxsIG5lY2Vzc2FyaWx5 IGJlIGhlbGQKZXF1YWxseSBhY2NvdW50YWJsZS7igJ0qCgpUaGlzIGlzIG11Y2ggbW9yZSBpbXBv cnRhbnQgSU1ITy4gUGVyc29uYWxseSwgSSB3b3VsZCBtdWNoIHJhdGhlciByZXF1aXJlCnRoYXQg eW91IHNwZWNpZnkgd2hpY2ggYXV0aG9yIGlzIHJlc3BvbnNpYmxlIGZvciB3aGF0IChhcyBtYW55 IHB1YmxpY2F0aW9ucwppbiBsaWZlIHNjaWVuY2VzIGRvKSB0aGFuIHdoYXQgdG9vbHMgb3Igd2hl dGhlciBnZW5BSSB3YXMgdXNlZCB0byBjcmVhdGUKaXQuIFNvIHlvdSBoYXZlIGFuIGlkZWEsIGhl cmUgaXMgdGhhdCBzZWN0aW9uIGZyb20gYSBjb3VwbGUgb2YgcGFwZXJzOgoKQXV0aG9yc+KAmSBD b250cmlidXRpb25zCgpDb25jZXB0dWFsaXphdGlvbjogUC5CLixSLlMuLE0uQy4tRi4sQS5GLkZ1 bmRpbmcgYWNxdWlzaXRpb246IFAuQi4sCgpNLkMuLUYsIEEuRi4gRGF0YSBjdXJhdGlvbjogUC5C LiBJbnZlc3RpZ2F0aW9uOiBQLkIuIE1ldGhvZG9sb2d5OiBQLkIuCgpSZXNvdXJjZXM6UC5CLixN LkMuLUYuU29mdHdhcmU6UC5CLixBLkYuU3VwZXJ2aXNpb246Ui5TLixNLkMuLUYuLAoKQS5GLlZp c3VhbGl6YXRpb246UC5CLldyaXRpbmfigJRvcmlnaW5hbCBkcmFmdDpQLkIuV3JpdGluZ+KAlHJl dmlldwoKJiBlZGl0aW5nOiBQLkIuLFIuUy4sTS5DLi1GLixBLkYuCgoKCkF1dGhvciBjb250cmli dXRpb25zCgpNQy1GLCBBRiwgYW5kIFBCIGNvbmNlcHR1YWxpemVkIGFuZCBkZXNpZ25lZCB0aGUg c3R1ZHkKCmFuZCB3cm90ZSB0aGUgbWFudXNjcmlwdC4gUEIgYW5kIE1SIGNvbGxlY3RlZCBhbmQg YXNzZW1ibGVkCgp0aGUgZGF0YXNldHMuIFBCLCBNUiwgQUYsIGFuZCBNQy1GIGFuYWx5emVkIHRo ZSBkYXRhIGFuZAoKaW50ZXJwcmV0ZWQgdGhlIHJlc3VsdHMuIEFsbCBhdXRob3JzIGNvbnRyaWJ1 dGVkIHRvIHRoZSBhcnRpY2xlIGFuZAoKYXBwcm92ZWQgdGhlIHN1Ym1pdHRlZCB2ZXJzaW9uLgoK CgpFYWNoIGF1dGhvciBtaWdodCB1c2UgTExNcyBpbiBkaWZmZXJlbnQgd2F5cywgYnV0IHRoZXkg YXJlIGFjY291bnRhYmxlIGZvcgp3aGF0IHRoZXkgZGlkLiBBbmQgdGhhdCBpcyB0aGUgYmFzaXMg Zm9yIHRydXN0IChhbmQgcGVuYWx0aWVzLCBpZiB5b3Ugd2FudCkuCgoKVGhlIG1haW4gaXNzdWUg d2l0aCBnZW5BSSBpcyB0aGUgZWNvbm9taWNzOiB5b3UgY2FuIHByb2R1Y2UgYSBwYXBlciBtdWNo CmZhc3RlciB0aGFuIGJlZm9yZS4gVGhlcmUgYXJlIG1vcmUgaW5jZW50aXZlcyBpbiBvdXIgd29y bGQgdG8gcHJvZHVjZSBuZXcKcGFwZXJzIHRoYW4gdG8gcmV2aWV3IGFuZCByZXByb2R1Y2UgcGFw ZXJzLiBIYXMgYW55b25lIGhhdmUgZXZlciByZWNlaXZlZAphbiBOU0YvRVJDL290aGVyIGdyYW50 IGZvciByZXByb2R1Y2luZyBleGlzdGluZyB3b3JrPwoKSWYgdGhlIGVjb25vbWljcyBkbyBub3Qg Y2hhbmdlLCB0aGVyZSBpcyBubyBBQ00gcG9saWN5IHRoYXQgd2lsbCBzYXZlIHRoaXMuClRoZSBy ZWNpcHJvY2FsIHJldmlld2luZyBvZiBJQ0xSIGFuZCBvdGhlciBNTCBjb25mZXJlbmNlcyAoYW5k IE9PUFNMQSEpCmFkZHJlc3NlcyB0aGUgcHJvYmxlbSBoZWFkLW9uOiB0aGV5IGFyZSBhYmxlIHRv IGNoYW5nZSB0aGUgZWNvbm9taWNzIG9mCndyaXRpbmcgdnMgcmV2aWV3aW5nIChhdCB0aGUgY29z dCBvZiBhIHBvc3NpYmxlIGRlY3JlYXNlIGluIFBDIHF1YWxpdHkpLgoKCkkgYWdyZWUgdGhpbmdz IGFyZSBjaGFuZ2luZywgbm90IG5lY2Vzc2FyaWx5IGZvciB0aGUgYmVzdCwgYnV0IHdlIHNob3Vs ZAp0YWNrbGUgdGhlIHJvb3Qgb2YgdGhlIHByb2JsZW0gdGhhdCBpcyB0aGUgaW5jZW50aXZlcyBm b3IgcHVibGlzaGluZyB2cwpyZXZpZXdpbmcuCgoK4oCUIEFsY2lkZXMKCk9uIFR1ZSwgTWFyIDE3 LCAyMDI2IGF0IDM6MzbigK9QTSBBbml0aGEgR29sbGFtdWRpIDxhbml0aGEuZ29sbGFtdWRpQGdt YWlsLmNvbT4Kd3JvdGU6Cgo+IFsgVGhlIFR5cGVzIEZvcnVtLCBodHRwOi8vbGlzdHMuc2Vhcy51 cGVubi5lZHUvbWFpbG1hbi9saXN0aW5mby90eXBlcy1saXN0IAo+IF0KPgo+IEkgd291bGQgbGlr ZSB0byBjYWxsIG91dCBhIHNwZWNpZmljIHBvaW50LCBhbHNvIGVjaG9lZCBieSBLbGF1cy4gQUkg dG9vbHMKPiBjYW4gc3BlY2lmaWNhbGx5IGhlbHAgbm9uLW5hdGl2ZSBFbmdsaXNoIHNwZWFrZXJz IHdyaXRlIGJldHRlciBuYXJyYXRpdmVzLgo+IEl0IHRha2VzIG11bHRpcGxlIChyZS0pIHRyaWVz IHRvIHByZXNlbnQvZmluZXNzZSBhIHRlY2huaWNhbGx5IGNvcnJlY3QKPiBpZGVhLS0tYm90aCB3 aXRoIHRoZSBncmFtbWFyIGFuZCBuYXJyYXRpdmUuIEkgYW0gd29uZGVyaW5nIGlmIHRoZSBwbGFu bmVkCj4gQUkgZGV0ZWN0aW9uIHRvb2xzIGFyZSBhaW1lZCB0byBmbGFnIHN1Y2ggaW5zdGFuY2Vz IGFzIHdlbGw/IEkgdW5kZXJzdGFuZAo+IGl0IGlzIGEgZ3JleSBhcmVhLCBidXQgSSBhbSBhbHNv IGFmcmFpZCB0aGF0IGl0IGNvdWxkIGVuZCB1cCBiZWluZyBhCj4gY291bnRlci1wcm9kdWN0aXZl IHBvbGljeS4KPgo+IC1Bbml0aGEKPgo+IE9uIFR1ZSwgMTcgTWFyIDIwMjYgYXQgMTE6MjIsIEpv bmF0aGFuIEFsZHJpY2ggPAo+IGpvbmF0aGFuLmFsZHJpY2hAY3MuY211LmVkdT4KPiB3cm90ZToK Pgo+ID4gWyBUaGUgVHlwZXMgRm9ydW0sCj4gaHR0cDovL2xpc3RzLnNlYXMudXBlbm4uZWR1L21h aWxtYW4vbGlzdGluZm8vdHlwZXMtbGlzdCAKPiA+IF0KPiA+Cj4gPiBQZW5hbHRpZXMgZm9yIEFD TSBwb2xpY3kgdmlvbGF0aW9ucyBhcmUgY292ZXJlZCBoZXJlOgo+ID4KPiA+Cj4gPgo+IGh0dHBz Oi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczovL3d3dy5hY20ub3JnL3B1YmxpY2F0aW9ucy9w b2xpY2llcy9wZW5hbHRpZXMtZm9yLXB1YmxpY2F0aW9uLXZpb2xhdGlvbnNfXzshIUlCeldMVXMh U2phejhvd2hmRW85WEdJT2pkSHZZbHQ0SzFpME5yY1UyT0p3aE9mRlctenZsTmFhdGVSYm50Y3JG U0xMRUJ1ZkYtQlRvZW1fTXh3dy11em1YeVQ0WUdHZTJJdGNDR0s4eUdDR2VlNnJOdyQKPiA+Cj4g PiBSZWdhcmRpbmcgYXBwbGljYXRpb24gdG8gY2FzZXMgb2YgQUkgdXNlLCBJJ2QgbGlrZSB0byBl Y2hvIE1hZSdzIGNhbGwgZm9yCj4gPiBlbXBhdGh5IGFuZCBncmFjZSwgcGFydGljdWxhcmx5IGlu IGNhc2VzIHRoYXQgbWlnaHQgaW52b2x2ZSBzdHVkZW50cy4gQQo+IGxvdAo+ID4gb2YgdmlvbGF0 aW9ucyBhcmUgbGlrZWx5IHVuaW50ZW50aW9uYWwgaW4gdGhpcyBjb250ZXh0LiBBQ00gZGVmaW5p dGVseQo+ID4gdHJpZXMgdG8gdGFrZSB0aGVzZSBmYWN0b3JzIGludG8gY29uc2lkZXJhdGlvbiBp biBhZGRyZXNzaW5nIGV0aGljcyBhbmQKPiA+IHBsYWdpYXJpc20gY2FzZXMuICBBIGhhcm1sZXNz IHVzZSBvZiBBSSBieSBhIHN0dWRlbnQgd2hvIG5lZ2xlY3RzIHRvCj4gPiBhY2tub3dsZWRnZSBB SSB1c2UsIHBlcmhhcHMgYmVjYXVzZSB0aGV5IHdlcmUgdW5hd2FyZSBvZiB0aGUgcG9saWN5LAo+ IG1pZ2h0Cj4gPiByZWNlaXZlIG9ubHkgYSB3YXJuaW5nICgiTGV2ZWwgSSIpIGFuZCBpZiBhbHJl YWR5IHB1Ymxpc2hlZCwgYQo+IGNvcnJpZ2VuZHVtCj4gPiB0byB0aGUgcGFwZXIgYWNrbm93bGVk Z2luZyB0aGUgQUkgdXNlLgo+ID4KPiA+IElmIHRoZSBBSSB1c2UgY29tcHJvbWlzZXMgdGhlIGlu dGVncml0eSBvZiB0aGUgcGFwZXIgdGhlIHBhcGVyIHdvdWxkIG9mCj4gPiBjb3Vyc2UgYmUgcmVq ZWN0ZWQgb3IsIGlmIGFscmVhZHkgcHVibGlzaGVkLCByZXRyYWN0ZWQgKCJMZXZlbCBJSSIpLgo+ IFdoZW4KPiA+IGNhdWdodCBkdXJpbmcgcmV2aWV3aW5nLCB0aGVzZSBraW5kcyBvZiB2aW9sYXRp b25zIGNhbiBiZSBoYW5kbGVkIGJ5Cj4gPiBjb25mZXJlbmNlIGNoYWlycyAoZS5nLiB3aXRoIHRo ZSBhcHByb2FjaCBNYWUgc3VnZ2VzdHMpLCB3aXRoCj4gbm90aWZpY2F0aW9uCj4gPiB0byBBQ00n cyBFdGhpY3MgYW5kIFBsYWdpYXJpc20gY29tbWl0dGVlLiAgSSByZW1lbWJlciBob3cgYmlnIG9m IGEgZGVhbAo+ID4gZXZlbiBhIHNpbmdsZSBwYXBlciByZWplY3Rpb24gd2FzIHRvIG1lIGFzIGEg c3R1ZGVudDsgSSBhbSBzdXJlIHRoYXQgdGhpcwo+ID4gbGV2ZWwgb2YgYWN0aW9uIGlzIGVub3Vn aCB0byBtb3RpdmF0ZSBjYXJlIGFuZCBjb21wbGlhbmNlIHdpdGggZGlzY2xvc3VyZQo+ID4gcmVx dWlyZW1lbnRzIGZvciB0aGUgdmFzdCBtYWpvcml0eSBvZiBvdXIgY29tbXVuaXR5Lgo+ID4KPiA+ IFRoZSBwZW5hbHRpZXMgZG8gZXNjYWxhdGUgYWNjb3JkaW5nIHRvIHRoZSBjb250ZXh0LiAgQ2Fy ZWxlc3MgdXNlIGJ5Cj4gPiBzb21lb25lIHdobyBzaG91bGQga25vdyBiZXR0ZXIgKHR5cGljYWxs eSBtb3JlIHNlbmlvciByZXNlYXJjaGVycykgbWlnaHQKPiBiZQo+ID4gYSBMZXZlbCBJSUkgdmlv bGF0aW9uLCB3aXRoIGEgMS15ZWFyIHB1YmxpY2F0aW9uL3BhcnRpY2lwYXRpb24gYmFuOyBpZiBp dAo+ID4gd2FzIGludGVudGlvbmFsIG9yIHJlcGVhdGVkIGl0IHdvdWxkIGJlIGEgMiB5ZWFyIGJh biAoTGV2ZWwgSVYpLCBhbmQgaWYKPiBpdAo+ID4gaXMgc2V2ZXJlLCBpbnRlbnRpb25hbCwgYW5k IHJlcGVhdGVkIGl0IHdvdWxkIGJlIExldmVsIFYgKDUgeWVhciBiYW4pLgo+IEluCj4gPiBwcmFj dGljZSwgYmFucyBvZiA1IHllYXJzLCBvciBtb3JlIChmb3Igc3RhY2tlZCBMZXZlbCBWIHBlbmFs dGllcykgYXJlCj4gPiB0eXBpY2FsbHkgZm9yIHRoaW5ncyBsaWtlIHJldmlld2luZyByaW5ncywg c2V2ZXJlIHJlc2VhcmNoIG1pc2NvbmR1Y3QsCj4gPiBzZXZlcmUgaGFyYXNzbWVudCBvciBhYnVz ZSBpbiBBQ00tcmVsZXZhbnQgY29udGV4dHMtLWluIHdoaWNoIGNhc2UgaXQgaXMKPiBvZgo+ID4g Y291cnNlIHZlcnkgd2VsbCBqdXN0aWZpZWQuICBXaXRob3V0IHJldmVhbGluZyBkZXRhaWxzIG9m IGNvbmZpZGVudGlhbAo+ID4gY2FzZXMsIHNjYW5kYWxzIHRoYXQgbWFrZSB0aGUgbmV3cyBhcmUg bGlrZWx5IHRvIGJlIGF0IHRoaXMgbGV2ZWwgb2YKPiA+IHNldmVyaXR5ICh0byBiZSBjbGVhciwg Im1ha2VzIHRoZSBuZXdzIiBpcyBub3QgYW1vbmcgb3VyCj4gY3JpdGVyaWEtLXRoZXJlJ3MKPiA+ IGNvcnJlbGF0aW9uIGhlcmUsIG5vdCBjYXVzYXRpb24pLiAgS2VlcCBpbiBtaW5kIHRoYXQgYSA1 IHllYXIgYmFuIGlzCj4gPiBhbHJlYWR5IGNhcmVlci1lbmRpbmcgb3IgYXQgbGVhc3QgY2FyZWVy LWFsdGVyaW5nIGZvciBzb21lb25lIHdob3NlIHdvcmsKPiA+IGNlbnRlcnMgb24gcHVibGlzaGlu ZyBpbiBBQ00gdmVudWVzLgo+ID4KPiA+IFRoZSBBQ00gc3BlbmRzIGEgbG90IG9mIHZvbHVudGVl ciB0aW1lIGFuZCBtb25leSAoc29tZSBvZiB0aGVzZSBpbnZvbHZlCj4gPiBpbi1kZXB0aCBpbnZl c3RpZ2F0aW9ucyBhbmQgbGF3eWVycykgb24gc3VjaCBpc3N1ZXMsIGFuZCB3aGVuIHRoZXkgY29t ZQo+IHRvCj4gPiB0aGUgcHVibGljYXRpb25zIGJvYXJkLCB0aGUgY29udmVyc2F0aW9ucyBpbnZv bHZlIGNhcmVmdWwgYW5kIHN1YnN0YW50aXZlCj4gPiBkZWxpYmVyYXRpb24sIHdpdGggdGhlIHR5 cGljYWwgcmVzdWx0IGEgc3Ryb25nIGNvbnNlbnN1cyBvbiB0aGUgYWN0aW9uCj4gPiB0YWtlbi4g SGF2aW5nIGJlZW4gYSBwYXJ0IG9mIHRoZSBwcm9jZXNzLCBJIGNhbiBzYXkgd2hpbGUgaXQgaXMK PiBpbXBlcmZlY3QsCj4gPiBjb3N0bHksIGFuZCBzb21ldGltZXMgc2xvdywgaXQgaXMgZ2VuZXJh bGx5IGZhaXIgYW5kIGl0cyBvdXRjb21lcwo+IGFjaGlldmUgYQo+ID4gbGFyZ2UgbWVhc3VyZSBv ZiBqdXN0aWNlIGFuZCBoZWxwIHRvIHByb3RlY3Qgb3VyIGNvbW11bml0eS4KPiA+Cj4gPiBCZXN0 LAo+ID4KPiA+IEpvbmF0aGFuCj4gPgo+ID4gT24gVHVlLCBNYXIgMTcsIDIwMjYgYXQgMzozMOKA r0FNIERyb3Nzb3BvdWxvdSwgU29waGlhIDwKPiA+IHMuZHJvc3NvcG91bG91QGltcGVyaWFsLmFj LnVrPiB3cm90ZToKPiA+Cj4gPiA+IFdoYXQgaGFwcGVucyB0byBhdXRob3JzIHdoZW4gc3VjaCBh biBBSSBnZW5lcmF0ZWQgcGFwZXIgaXMKPiBlbmNvdW50ZXJlZD8gSQo+ID4gPiB3b3VsZCBoYXZl IHRob3VnaHQgdGhhdCBpZiBBQ00gaGFkIGEgc3RyaWN0IHBvbGljeSwgZWcgbm8gcGFwZXJzCj4g PiBwdWJsaXNoZWQKPiA+ID4gZm9yIHRoZSBuZXh0IDUgeWVhcnMsIHRoZW4gdGhlIHByb2JsZW0g d291bGQgYmUgc2lnbmlmaWNhbnRseSByZWR1Y2VkCj4gPiA+Cj4gPiA+ICAgICAgIFNvcGhpYQo+ ID4gPiDigJTigJTigJTigKLigKLigKLigJTigJTigJQKPiA+ID4gU2VudCBmcm9tIG1vYmlsZSBw aG9uZSwgaGVuY2Ugc3VjY2luY3QKPiA+ID4KPiA+ID4gPiBPbiAxNyBNYXIgMjAyNiwgYXQgMDM6 NTQsIEpvbmF0aGFuIEFsZHJpY2ggPAo+ID4gam9uYXRoYW4uYWxkcmljaEBjcy5jbXUuZWR1Pgo+ ID4gPiB3cm90ZToKPiA+ID4gPgo+ID4gPiA+IO+7v0NBVVRJT046IFRoaXMgbWVzc2FnZSBjYW1l IGZyb20gb3V0c2lkZSBJbXBlcmlhbC4gRG8gbm90IGNsaWNrIGxpbmtzCj4gPiBvcgo+ID4gPiBv cGVuIGF0dGFjaG1lbnRzIHVubGVzcyB5b3UgcmVjb2duaXNlIHRoZSBzZW5kZXIgYW5kIHdlcmUg ZXhwZWN0aW5nCj4gdGhpcwo+ID4gPiBlbWFpbC4KPiA+ID4gPgo+ID4gPiA+Cj4gPiA+ID4gWyBU aGUgVHlwZXMgRm9ydW0sCj4gPiA+IGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFu L2xpc3RpbmZvL3R5cGVzLWxpc3QgICAgXQo+ID4gPiA+Cj4gPiA+ID4gVWdoLCBJIGhhdmUgYmVl biBmb3J0dW5hdGUgZW5vdWdoIG5vdCB0byBlbmNvdW50ZXIgdGhhdCBpbiBteQo+ID4gcmV2aWV3 aW5nLgo+ID4gPiA+IEJ1dCBJIGhlYXIgaXQgaXMgdmVyeSBjb21tb24gaW4gb3RoZXIgc3ViZmll bGRzIHNvIGl0IHdhcyBwcm9iYWJseQo+ID4ganVzdCBhCj4gPiA+ID4gbWF0dGVyIG9mIHRpbWUg YmVmb3JlIGl0IGdvdCB0byBQTC4KPiA+ID4gPgo+ID4gPiA+IElmIHRoaXMgaXMgYW4gQUNNIGNv bmZlcmVuY2UsIG91ciBwb2xpY2llcyBhbHJlYWR5IHJlcXVpcmUgZGlzY2xvc2luZwo+ID4gdGhl Cj4gPiA+ID4gdXNlIG9mIEFJIGZvciBhbnl0aGluZyBiZXlvbmQgZ3JhbW1hci1jaGVja2luZy1z dHlsZSBhcHBsaWNhdGlvbnM6Cj4gPiA+ID4KPiA+ID4gPgo+ID4gPgo+ID4KPiBodHRwczovL3Vy bGRlZmVuc2UuY29tL3YzL19faHR0cHM6Ly93d3cuYWNtLm9yZy9wdWJsaWNhdGlvbnMvcG9saWNp ZXMvbmV3LWFjbS1wb2xpY3ktb24tYXV0aG9yc2hpcF9fOyEhSUJ6V0xVcyFSQzRGY0EwLUlIYzU1 QXhkUU11V05ISWZzRGROcUFsYnZoMm03VHBTazd3Q2FUWmw3X2lRc01aZnF1LW9Ndjc2OGtwXzd2 d0lOY0VQTXR1Z1FHTVJWRDhqY1Z1ZU1qd2V2a0VZdTVaTG53JAo+ID4gPiA+Cj4gPiA+ID4gSWYg dGhlcmUgYXJlIGFueSBub24tQUNNIFBMIGNvbmZlcmVuY2VzIHRoYXQgZG9uJ3QgaGF2ZSB0aGlz IHBvbGljeSwKPiBJCj4gPiA+ID4gd291bGQgZW5jb3VyYWdlIHRoZW0gdG8gYWRvcHQgaXQuCj4g PiA+ID4KPiA+ID4gPiBBQ00gaXMgZXZhbHVhdGluZyB0b29scyB0aGF0IGNhbiAoaGV1cmlzdGlj YWxseSkgZGV0ZWN0IEFJIHVzZSwgYXMKPiB3ZWxsCj4gPiA+IGFzCj4gPiA+ID4gdG9vbHMgdGhh dCBjYW4gaWRlbnRpZnkgaGFsbHVjaW5hdGVkIHJlZmVyZW5jZXMuICBXZSBzaG91bGQgc3RhcnQg dG8KPiA+IHNlZQo+ID4gPiA+IGRlcGxveW1lbnQgb2YgdGhlc2Ugd2l0aGluIHRoZSBuZXh0IHll YXItLWlmIGFueW9uZSBvbiB0aGlzIGxpc3QgaXMKPiBhbgo+ID4gPiBBQ00KPiA+ID4gPiBQQyBj aGFpciBhbmQgd2FudHMgdG8gZG8gYW4gZWFybHkgdHJpYWwsIGxldCBtZSBrbm93IGFuZCBJIGNh bgo+IGNvbm5lY3QKPiA+ID4geW91Cj4gPiA+ID4gd2l0aCBwZW9wbGUgd2hvIG1heSBiZSBhYmxl IHRvIGFycmFuZ2UgdGhhdC4gIEl0J3Mgb2YgY291cnNlCj4gaW1wb3J0YW50Cj4gPiB0bwo+ID4g PiA+IGhhdmUgYSBodW1hbiB2ZXJpZnkgYW55IHRvb2wgcmVwb3J0cyBiYXNlZCBvbiBoZXVyaXN0 aWNzIGFzIHRoZXkgbWF5Cj4gYmUKPiA+ID4gPiBpbmNvcnJlY3QsIGJ1dCB0aGUgcG9pbnQgaXMg dGhhdCB0aGV5IGNhbiBzYXZlIHRpbWUgaW4gaWRlbnRpZnlpbmcKPiA+ID4gcHJvYmxlbXMuCj4g PiA+ID4KPiA+ID4gPiBSZWdhcmRpbmcgcmV2aWV3aW5nIHdvcmtsb2FkLCBpdCdzIHZlcnkgdW5m b3J0dW5hdGUuICBUaGUgdG9vbHMKPiA+IG1lbnRpb25lZAo+ID4gPiA+IGFib3ZlIHdpbGwgZXZl bnR1YWxseSBoZWxwIHNvbWUuICBJbiB0aGUgbWVhbnRpbWUsIGl0J3MgbXkgdmlldyB0aGF0Cj4g PiBvbmNlCj4gPiA+ID4geW91IGRldGVybWluZSB0aGF0IGEgcGFwZXIgaXMgc28gZmxhd2VkIGl0 IGNhbm5vdCBiZSBhY2NlcHRlZCwKPiA+IGVzcGVjaWFsbHkKPiA+ID4gPiBpZiB0aGF0IGZsYXcg aW52b2x2ZXMgbWlzY29uZHVjdCBzdWNoIGFzIHVuZGlzY2xvc2VkIEFJIHVzZSBvcgo+ID4gb3Ro ZXJ3aXNlCj4gPiA+ID4gbWFrZXMgdGhlIHBhcGVyIHZlcnkgZGlmZmljdWx0IHRvIHJlYWQsIGl0 J3MgcmVhc29uYWJsZSBmb3IgdGhlCj4gPiByZXZpZXdlcgo+ID4gPiB0bwo+ID4gPiA+IHN0b3Ag cmVhZGluZyBhbmQgcmV0dXJuIGEgcmV2aWV3IGJhc2VkIG9uIHRoZSBwb3J0aW9uIHRoZXkgcmVh ZC4gIE9mCj4gPiA+ID4gY291cnNlLCBJIHdvdWxkIG1lbnRpb24gdGhlIHNpdHVhdGlvbiB0byB0 aGUgUEMgY2hhaXIgdG8gbWFrZSBzdXJlCj4gdGhleQo+ID4gPiBhcmUKPiA+ID4gPiBPSyB3aXRo IHRoaXM7IG1vc3QgcHJvYmFibHkgYXJlLgo+ID4gPiA+Cj4gPiA+ID4gQmVzdCwKPiA+ID4gPgo+ ID4gPiA+IEpvbmF0aGFuCj4gPiA+ID4KPiA+ID4gPgo+ID4gPiA+PiBPbiBNb24sIE1hciAxNiwg MjAyNiBhdCA5OjUw4oCvUE0gU3RlcGhhbmllIEJhbHplciA8Cj4gPiA+IHN0ZXBoYW5pZS5iYWx6 ZXJAZ21haWwuY29tPgo+ID4gPiA+PiB3cm90ZToKPiA+ID4gPj4KPiA+ID4gPj4gWyBUaGUgVHlw ZXMgRm9ydW0sCj4gPiA+IGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xpc3Rp bmZvL3R5cGVzLWxpc3QgCj4gPiA+ID4+IF0KPiA+ID4gPj4KPiA+ID4gPj4gRGVhciBhbGwsCj4g PiA+ID4+Cj4gPiA+ID4+IEkgaGF2ZSBub3cgYmVlbiBudW1lcm91cyB0aW1lcyBvbiB0aGUgcmVj ZWl2aW5nIGVuZCBvbiBhIHdoYXQgaXQKPiA+IGFwcGVhcnMKPiA+ID4gPj4gdG8gbWUgKGFsbW9z dCkgZW50aXJlbHkgQUktZ2VuZXJhdGVkIGNvbmZlcmVuY2Ugc3VibWlzc2lvbnMgdGhhdCBJCj4g d2FzCj4gPiA+ID4+IGFzc2lnbmVkIHRvIHJldmlldy4gIE9mIGNvdXJzZSBJIGhhdmUgbm8gcHJv b2YsIGJ1dCB0byBtZSBpdCB3YXMKPiA+IHByZXR0eQo+ID4gPiA+PiBvYnZpb3VzLiAgVGhlIHN1 Ym1pc3Npb25zIGluIHF1ZXN0aW9uIGNvbnNpc3Qgb2YgYW4gYW1hbGdhbWF0aW9uIG9mCj4gPiA+ ID4+IG1lYW5pbmdmdWwgd29yZHMgKHNvbWV0aW1lcyBub3QgZW50aXJlbHkgZnJvbSB0aGUgY29u dGV4dCB0aGUgcGFwZXIKPiA+ID4gPj4gb3VnaHQgdG8gYmUgYWJvdXQpLCBhcmUgZ2VuZXJhbGx5 IHdlbGwgd3JpdHRlbiwgYWx0aG91Z2gKPiBtZWFuaW5nbGVzcywKPiA+ID4gPj4gYW5kIGV2ZW4g Y29tZSBiYWNrZWQgdXAgd2l0aCBzb21lIHJ1bGVzIHdpdGggaG9yaXpvbnRhbCBsaW5lcyBhbmQK PiA+IHByb29mCj4gPiA+ID4+IHNrZXRjaGVzIChzb21ldGltZXMgZnJvbSB2YXJpb3VzIGNvbnRl eHRzKS4gIFRoYXQgY2F0Y2gsIGhvd2V2ZXIsIGlzCj4gPiA+ID4+IHRoYXQgdGhlIHdob2xlIGNv bXBvc2l0aW9uIGRvZXNuJ3QgbWFrZSBzZW5zZS4KPiA+ID4gPj4KPiA+ID4gPj4gV2hhdCBhcmUg d2UgZ29pbmcgdG8gZG8gYWJvdXQgdGhpcyBhcyBhIGNvbW11bml0eT8KPiA+ID4gPj4KPiA+ID4g Pj4gSSBoYXZlIG51bWVyb3VzIGNvbmNlcm5zIGhlcmU6IE15IGltbWVkaWF0ZSBjb25jZXJuIGlz IHRoYXQgSSBkbyBub3QKPiA+ID4gPj4gbGlrZSB0byBzcGVuZCBteSB0aW1lIG9uIHN1Y2ggc3Vi bWlzc2lvbnMuICBFdmVuIHRob3VnaCBpdCdzIHF1aXRlCj4gPiA+ID4+IG9idmlvdXMgaW1tZWRp YXRlbHkgdGhhdCB0aGUgcGFwZXIgaXMgbWVhbmluZ2xlc3MsIGl0IHN0aWxsIHRha2VzCj4gc29t ZQo+ID4gPiA+PiB0aW1lIHRvIG1ha2Ugc3VyZSBhbmQganVzdGlmeSB0aGUgdmVyZGljdC4gIEFu b3RoZXIgY29uY2VybiBJIGhhdmUKPiBpcwo+ID4gPiA+PiB0aGUgcmlzayB0aGF0LCB1bmRlciB0 aW1lIHByZXNzdXJlLCBubyBkdWUgZGlsaWdlbmNlIGlzIGRvbmUsIGFuZCB3ZQo+ID4gbWF5Cj4g PiA+ID4+IGVuZCB1cCBhY2NlcHRpbmcgc3VjaCBhIHBhcGVyLgo+ID4gPiA+Pgo+ID4gPiA+PiBB cyBhIGZpcnN0IHN0ZXAgd2UgbWF5IHJlcXVpcmUgYXV0aG9ycyB0byBkZWNsYXJlIHdoZXRoZXIg QUkgd2FzCj4gdXNlZAo+ID4gaW4KPiA+ID4gPj4gcHJlcGFyaW5nIHRoZWlyIHN1Ym1pc3Npb24g YW5kIHdoYXQgZm9yIGFuZCB3ZSBkZWxpbWl0IHdoYXQgdXNlcyBhcmUKPiA+ID4gPj4gcGVybWl0 dGVkLgo+ID4gPiA+Pgo+ID4gPiA+PiBMb29raW5nIGZvcndhcmQgdG8geW91ciB0aG91Z2h0cywK PiA+ID4gPj4KPiA+ID4gPj4gU3RlcGhhbmllCj4gPiA+ID4+Cj4gPiA+ID4+Cj4gPiA+Cj4gPgo+ Cg==