Re: [TYPES] AI-generated conference submissions
Ralf Jung <[email protected]> Wed, 18 Mar 2026 17:27:14 +0100
| Newsgroups | gmane.comp.science.types |
|---|---|
| Message-ID | <[email protected]> |
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp c3RpbmZvL3R5cGVzLWxpc3QgXQoKSGkgYWxsLAoKPj4gSSB3b3VsZCBsaWtlIHRvIGVjaG8gdGhl IHBvaW50IHRoYXQgS2xhdXMgbWFkZTogSG93IGRvZXMga25vd2luZyB0aGF0IExMTXMKPj4gd2Vy ZSB1c2VkIHRvIHByb2R1Y2UgYSBwYXBlciBjaGFuZ2UgdGhlIHdheSB5b3UgcmV2aWV3IGl0PwpU aGUga2luZCBvZiBtaXN0YWtlcyBMTE1zIG1ha2UsIGFuZCB0aGUga2luZCBvZiBtaXN0YWtlcyBo dW1hbnMgbWFrZSwgYXJlIHF1aXRlIApkaWZmZXJlbnQuIFNvIHRvIHRoZSBleHRlbnQgdGhhdCB3 ZSB0cnkgdG8gaWRlbnRpZnkgdGVjaG5pY2FsIGZsYXdzIGluIHBhcGVycyAKZHVyaW5nIHRoZSBy ZXZpZXcgcHJvY2Vzcywga25vd2luZyB0aGF0IGl0IHdhcyBBSS1nZW5lcmF0ZWQgY2FuIGJlIHZl cnkgaGVscGZ1bCAKdG8gZm9jdXMgdGhlIHZhbGlkYXRpb24gZWZmb3J0IG9uIHRoZSBwYXJ0cyBv ZiB0aGUgZm9ybWFsaXNtIHRoYXQgYXJlIG1vc3QgCmxpa2VseSB0byBiZSB3cm9uZy4gSW4gYW4g aWRlYWwgd29ybGQgb2YgY291cnNlIHdlJ2QgZnVsbHkgcmlnb3JvdXNseSBjaGVjayAKZXZlcnl0 aGluZyBmcm9tIHNjcmF0Y2gsIGJ1dCBvYnZpb3VzbHkgdGhhdCBpcyBub3QgcHJhY3RpY2FsLCBz byBpdCBpcyAKd29ydGh3aGlsZSB0byBmb2N1cyB0aGlzIGVmZm9ydCB3aGVyZSBpdCBpcyBtb3N0 IGxpa2VseSB0byBiZSBmcnVpdGZ1bC4KCkl0IHdvdWxkIGhlbHAgZXZlbiBtb3JlLCBvZiBjb3Vy c2UsIGlmIHN1Y2ggc3VibWlzc2lvbnMgY29tZSB3aXRoIG1lY2hhbml6ZWQgCnByb29mcywgYXMg dGhvc2UgbWFrZSBpdCBhIGxvdCBoYXJkZXIgdG8gcHJvZHVjZSBzb21ldGhpbmcgdGhhdCBpcyAK cGxhdXNpYmxlLWxvb2tpbmcgYnV0IGVudGlyZWx5IHdyb25nOyBhIGZhaWx1cmUgbW9kZSB0aGF0 IGlzIGFsc28gcG9zc2libGUgCndpdGhvdXQgTExNcyBidXQgdGhhdCBoYXMgbm93IGJlZW4gZnVs bHkgYXV0b21hdGVkIGFuZCBicm91Z2h0IHRvIGEgd2hvbGUgCmRpZmZlcmVudCBzY2FsZS4gKEFu ZCB0aGF0IGlzIHdoYXQgdGhlc2UgQUlzIHdlIGFyZSB0YWxraW5nIGFib3V0IGFyZSBwcmltYXJp bHkgCnRyYWluZWQgdG8gZ2VuZXJhdGUsIGFmdGVyIGFsbCAtLSBzb21ldGhpbmcgdGhhdCBpcyBw bGF1c2libGUuIENvcnJlY3RuZXNzIGlzIApzZWNvbmRhcnkuKQoKS2luZCByZWdhcmRzLApSYWxm CgpPbiAxNy4wMy4yNiAxODoxNSwgQWxjaWRlcyBGb25zZWNhIHdyb3RlOgo+IFsgVGhlIFR5cGVz IEZvcnVtLCBodHRwOi8vbGlzdHMuc2Vhcy51cGVubi5lZHUvbWFpbG1hbi9saXN0aW5mby90eXBl cy1saXN0ICBdCj4gCgo+IAo+IEFzc3VtZSBJIHN1Ym1pdHRlZCBhIHBhcGVyIHdpdGggdGhlIGZv bGxvd2luZyBhY2tub3dsZWRnZW1lbnQ6IOKAnExMTXMgd2VyZQo+IHVzZWQgdG8gZ2VuZXJhdGUg dGhlIGNvZGUgZm9yIHRoZSBleHBlcmltZW50cywgYW5hbHl6ZSB0aGVtIGFuZCBwcm9kdWNlIHRo ZQo+IG1hbnVzY3JpcHQu4oCdCj4gV2lsbCBJIGdldCBkZXNrIHJlamVjdGVkPwo+IFdpbGwgSSBn ZXQgYSBkaWZmZXJlbnQgcmV2aWV3PyBXaWxsIHlvdSB0cnVzdCB0aGUgY2xhaW1zIGxlc3MgYmVj YXVzZSBJCj4gdXNlZCBMTE1zPyBJbiBzb21lIGNhc2VzLCAgTExNcyBhY3R1YWxseSBpbXByb3Zl IHRoZSBjb3JyZWN0bmVzcyBieQo+IGFsbG93aW5nIGF1dGhvcnMgdG8gaGF2ZSBtYWNoaW5lLWNo ZWNrZWQgcHJvb2ZzIGluIHJlYXNvbmFibGUgdGltZSAodG8KPiBKb27igJlzIHBvaW50KS4gU28g bWF5YmUgeW91IHNob3VsZCB0cnVzdCBMTE0tZ2VuZXJhdGVkIHBhcGVycyBtb3JlIHRoYW4gcHVy ZQo+IG1hbnVzY3JpcHRzLgo+IAo+IFBlcnNvbmFsbHksIEkgYWdyZWUgd2l0aCBLbGF1czogaXQg c2hvdWxkIG1ha2Ugbm8gZGlmZmVyZW5jZSwgYW5kIHdlCj4gc2hvdWxkbuKAmXQgcmVxdWlyZSBh bnkgYWNrbm93bGVkZ2VtZW50Lgo+IAo+IAo+IAo+IFRoZSByZWxldmFudCBpbXBhY3QgaXMgYWxy ZWFkeSBjb3ZlcmVkIGJ5IGFub3RoZXIgcG9pbnQgaW4gQUNN4oCZcyBwb2xpY3k6ICoiSW4KPiBh ZGRpdGlvbiwgYWxsIHBlcnNvbnMgbGlzdGVkIGFzIGFuIGF1dGhvciBvbiBhbiBBQ00gc3VibWlz c2lvbiBjZXJ0aWZ5Cj4gdGhhdDogW+KApl0gVGhleSBhZ3JlZSB0byBiZSBoZWxkIHJlc3BvbnNp YmxlIGFuZCBhY2NvdW50YWJsZSBmb3IgYW55IGlzc3Vlcwo+IHJlbGF0aW5nIHRvIHRoZSBjb3Jy ZWN0bmVzcyBvciBpbnRlZ3JpdHkgb2YgdGhlIFdvcmsgYW5kIGNvbXBsaWFuY2Ugd2l0aAo+IGFs bCByZWxhdGVkIEFDTSBQdWJsaWNhdGlvbnMgUG9saWNpZXMgd2l0aCB0aGUgdW5kZXJzdGFuZGlu ZyB0aGF0LAo+IGRlcGVuZGluZyBvbiB0aGUgY2lyY3Vtc3RhbmNlcywgbm90IGFsbCBhdXRob3Jz IHdpbGwgbmVjZXNzYXJpbHkgYmUgaGVsZAo+IGVxdWFsbHkgYWNjb3VudGFibGUu4oCdKgo+IAo+ IFRoaXMgaXMgbXVjaCBtb3JlIGltcG9ydGFudCBJTUhPLiBQZXJzb25hbGx5LCBJIHdvdWxkIG11 Y2ggcmF0aGVyIHJlcXVpcmUKPiB0aGF0IHlvdSBzcGVjaWZ5IHdoaWNoIGF1dGhvciBpcyByZXNw b25zaWJsZSBmb3Igd2hhdCAoYXMgbWFueSBwdWJsaWNhdGlvbnMKPiBpbiBsaWZlIHNjaWVuY2Vz IGRvKSB0aGFuIHdoYXQgdG9vbHMgb3Igd2hldGhlciBnZW5BSSB3YXMgdXNlZCB0byBjcmVhdGUK PiBpdC4gU28geW91IGhhdmUgYW4gaWRlYSwgaGVyZSBpcyB0aGF0IHNlY3Rpb24gZnJvbSBhIGNv dXBsZSBvZiBwYXBlcnM6Cj4gCj4gQXV0aG9yc+KAmSBDb250cmlidXRpb25zCj4gCj4gQ29uY2Vw dHVhbGl6YXRpb246IFAuQi4sUi5TLixNLkMuLUYuLEEuRi5GdW5kaW5nIGFjcXVpc2l0aW9uOiBQ LkIuLAo+IAo+IE0uQy4tRiwgQS5GLiBEYXRhIGN1cmF0aW9uOiBQLkIuIEludmVzdGlnYXRpb246 IFAuQi4gTWV0aG9kb2xvZ3k6IFAuQi4KPiAKPiBSZXNvdXJjZXM6UC5CLixNLkMuLUYuU29mdHdh cmU6UC5CLixBLkYuU3VwZXJ2aXNpb246Ui5TLixNLkMuLUYuLAo+IAo+IEEuRi5WaXN1YWxpemF0 aW9uOlAuQi5Xcml0aW5n4oCUb3JpZ2luYWwgZHJhZnQ6UC5CLldyaXRpbmfigJRyZXZpZXcKPiAK PiAmIGVkaXRpbmc6IFAuQi4sUi5TLixNLkMuLUYuLEEuRi4KPiAKPiAKPiAKPiBBdXRob3IgY29u dHJpYnV0aW9ucwo+IAo+IE1DLUYsIEFGLCBhbmQgUEIgY29uY2VwdHVhbGl6ZWQgYW5kIGRlc2ln bmVkIHRoZSBzdHVkeQo+IAo+IGFuZCB3cm90ZSB0aGUgbWFudXNjcmlwdC4gUEIgYW5kIE1SIGNv bGxlY3RlZCBhbmQgYXNzZW1ibGVkCj4gCj4gdGhlIGRhdGFzZXRzLiBQQiwgTVIsIEFGLCBhbmQg TUMtRiBhbmFseXplZCB0aGUgZGF0YSBhbmQKPiAKPiBpbnRlcnByZXRlZCB0aGUgcmVzdWx0cy4g QWxsIGF1dGhvcnMgY29udHJpYnV0ZWQgdG8gdGhlIGFydGljbGUgYW5kCj4gCj4gYXBwcm92ZWQg dGhlIHN1Ym1pdHRlZCB2ZXJzaW9uLgo+IAo+IAo+IAo+IEVhY2ggYXV0aG9yIG1pZ2h0IHVzZSBM TE1zIGluIGRpZmZlcmVudCB3YXlzLCBidXQgdGhleSBhcmUgYWNjb3VudGFibGUgZm9yCj4gd2hh dCB0aGV5IGRpZC4gQW5kIHRoYXQgaXMgdGhlIGJhc2lzIGZvciB0cnVzdCAoYW5kIHBlbmFsdGll cywgaWYgeW91IHdhbnQpLgo+IAo+IAo+IFRoZSBtYWluIGlzc3VlIHdpdGggZ2VuQUkgaXMgdGhl IGVjb25vbWljczogeW91IGNhbiBwcm9kdWNlIGEgcGFwZXIgbXVjaAo+IGZhc3RlciB0aGFuIGJl Zm9yZS4gVGhlcmUgYXJlIG1vcmUgaW5jZW50aXZlcyBpbiBvdXIgd29ybGQgdG8gcHJvZHVjZSBu ZXcKPiBwYXBlcnMgdGhhbiB0byByZXZpZXcgYW5kIHJlcHJvZHVjZSBwYXBlcnMuIEhhcyBhbnlv bmUgaGF2ZSBldmVyIHJlY2VpdmVkCj4gYW4gTlNGL0VSQy9vdGhlciBncmFudCBmb3IgcmVwcm9k dWNpbmcgZXhpc3Rpbmcgd29yaz8KPiAKPiBJZiB0aGUgZWNvbm9taWNzIGRvIG5vdCBjaGFuZ2Us IHRoZXJlIGlzIG5vIEFDTSBwb2xpY3kgdGhhdCB3aWxsIHNhdmUgdGhpcy4KPiBUaGUgcmVjaXBy b2NhbCByZXZpZXdpbmcgb2YgSUNMUiBhbmQgb3RoZXIgTUwgY29uZmVyZW5jZXMgKGFuZCBPT1BT TEEhKQo+IGFkZHJlc3NlcyB0aGUgcHJvYmxlbSBoZWFkLW9uOiB0aGV5IGFyZSBhYmxlIHRvIGNo YW5nZSB0aGUgZWNvbm9taWNzIG9mCj4gd3JpdGluZyB2cyByZXZpZXdpbmcgKGF0IHRoZSBjb3N0 IG9mIGEgcG9zc2libGUgZGVjcmVhc2UgaW4gUEMgcXVhbGl0eSkuCj4gCj4gCj4gSSBhZ3JlZSB0 aGluZ3MgYXJlIGNoYW5naW5nLCBub3QgbmVjZXNzYXJpbHkgZm9yIHRoZSBiZXN0LCBidXQgd2Ug c2hvdWxkCj4gdGFja2xlIHRoZSByb290IG9mIHRoZSBwcm9ibGVtIHRoYXQgaXMgdGhlIGluY2Vu dGl2ZXMgZm9yIHB1Ymxpc2hpbmcgdnMKPiByZXZpZXdpbmcuCj4gCj4gCj4g4oCUIEFsY2lkZXMK PiAKPiBPbiBUdWUsIE1hciAxNywgMjAyNiBhdCAzOjM24oCvUE0gQW5pdGhhIEdvbGxhbXVkaSA8 YW5pdGhhLmdvbGxhbXVkaUBnbWFpbC5jb20+Cj4gd3JvdGU6Cj4gCj4+IFsgVGhlIFR5cGVzIEZv cnVtLCBodHRwOi8vbGlzdHMuc2Vhcy51cGVubi5lZHUvbWFpbG1hbi9saXN0aW5mby90eXBlcy1s aXN0IAo+PiBdCj4+Cj4+IEkgd291bGQgbGlrZSB0byBjYWxsIG91dCBhIHNwZWNpZmljIHBvaW50 LCBhbHNvIGVjaG9lZCBieSBLbGF1cy4gQUkgdG9vbHMKPj4gY2FuIHNwZWNpZmljYWxseSBoZWxw IG5vbi1uYXRpdmUgRW5nbGlzaCBzcGVha2VycyB3cml0ZSBiZXR0ZXIgbmFycmF0aXZlcy4KPj4g SXQgdGFrZXMgbXVsdGlwbGUgKHJlLSkgdHJpZXMgdG8gcHJlc2VudC9maW5lc3NlIGEgdGVjaG5p Y2FsbHkgY29ycmVjdAo+PiBpZGVhLS0tYm90aCB3aXRoIHRoZSBncmFtbWFyIGFuZCBuYXJyYXRp dmUuIEkgYW0gd29uZGVyaW5nIGlmIHRoZSBwbGFubmVkCj4+IEFJIGRldGVjdGlvbiB0b29scyBh cmUgYWltZWQgdG8gZmxhZyBzdWNoIGluc3RhbmNlcyBhcyB3ZWxsPyBJIHVuZGVyc3RhbmQKPj4g aXQgaXMgYSBncmV5IGFyZWEsIGJ1dCBJIGFtIGFsc28gYWZyYWlkIHRoYXQgaXQgY291bGQgZW5k IHVwIGJlaW5nIGEKPj4gY291bnRlci1wcm9kdWN0aXZlIHBvbGljeS4KPj4KPj4gLUFuaXRoYQo+ Pgo+PiBPbiBUdWUsIDE3IE1hciAyMDI2IGF0IDExOjIyLCBKb25hdGhhbiBBbGRyaWNoIDwKPj4g am9uYXRoYW4uYWxkcmljaEBjcy5jbXUuZWR1Pgo+PiB3cm90ZToKPj4KPj4+IFsgVGhlIFR5cGVz IEZvcnVtLAo+PiBodHRwOi8vbGlzdHMuc2Vhcy51cGVubi5lZHUvbWFpbG1hbi9saXN0aW5mby90 eXBlcy1saXN0IAo+Pj4gXQo+Pj4KPj4+IFBlbmFsdGllcyBmb3IgQUNNIHBvbGljeSB2aW9sYXRp b25zIGFyZSBjb3ZlcmVkIGhlcmU6Cj4+Pgo+Pj4KPj4+Cj4+IGh0dHBzOi8vdXJsZGVmZW5zZS5j b20vdjMvX19odHRwczovL3d3dy5hY20ub3JnL3B1YmxpY2F0aW9ucy9wb2xpY2llcy9wZW5hbHRp ZXMtZm9yLXB1YmxpY2F0aW9uLXZpb2xhdGlvbnNfXzshIUlCeldMVXMhU2phejhvd2hmRW85WEdJ T2pkSHZZbHQ0SzFpME5yY1UyT0p3aE9mRlctenZsTmFhdGVSYm50Y3JGU0xMRUJ1ZkYtQlRvZW1f TXh3dy11em1YeVQ0WUdHZTJJdGNDR0s4eUdDR2VlNnJOdyQKPj4+Cj4+PiBSZWdhcmRpbmcgYXBw bGljYXRpb24gdG8gY2FzZXMgb2YgQUkgdXNlLCBJJ2QgbGlrZSB0byBlY2hvIE1hZSdzIGNhbGwg Zm9yCj4+PiBlbXBhdGh5IGFuZCBncmFjZSwgcGFydGljdWxhcmx5IGluIGNhc2VzIHRoYXQgbWln aHQgaW52b2x2ZSBzdHVkZW50cy4gQQo+PiBsb3QKPj4+IG9mIHZpb2xhdGlvbnMgYXJlIGxpa2Vs eSB1bmludGVudGlvbmFsIGluIHRoaXMgY29udGV4dC4gQUNNIGRlZmluaXRlbHkKPj4+IHRyaWVz IHRvIHRha2UgdGhlc2UgZmFjdG9ycyBpbnRvIGNvbnNpZGVyYXRpb24gaW4gYWRkcmVzc2luZyBl dGhpY3MgYW5kCj4+PiBwbGFnaWFyaXNtIGNhc2VzLiAgQSBoYXJtbGVzcyB1c2Ugb2YgQUkgYnkg YSBzdHVkZW50IHdobyBuZWdsZWN0cyB0bwo+Pj4gYWNrbm93bGVkZ2UgQUkgdXNlLCBwZXJoYXBz IGJlY2F1c2UgdGhleSB3ZXJlIHVuYXdhcmUgb2YgdGhlIHBvbGljeSwKPj4gbWlnaHQKPj4+IHJl Y2VpdmUgb25seSBhIHdhcm5pbmcgKCJMZXZlbCBJIikgYW5kIGlmIGFscmVhZHkgcHVibGlzaGVk LCBhCj4+IGNvcnJpZ2VuZHVtCj4+PiB0byB0aGUgcGFwZXIgYWNrbm93bGVkZ2luZyB0aGUgQUkg dXNlLgo+Pj4KPj4+IElmIHRoZSBBSSB1c2UgY29tcHJvbWlzZXMgdGhlIGludGVncml0eSBvZiB0 aGUgcGFwZXIgdGhlIHBhcGVyIHdvdWxkIG9mCj4+PiBjb3Vyc2UgYmUgcmVqZWN0ZWQgb3IsIGlm IGFscmVhZHkgcHVibGlzaGVkLCByZXRyYWN0ZWQgKCJMZXZlbCBJSSIpLgo+PiBXaGVuCj4+PiBj YXVnaHQgZHVyaW5nIHJldmlld2luZywgdGhlc2Uga2luZHMgb2YgdmlvbGF0aW9ucyBjYW4gYmUg aGFuZGxlZCBieQo+Pj4gY29uZmVyZW5jZSBjaGFpcnMgKGUuZy4gd2l0aCB0aGUgYXBwcm9hY2gg TWFlIHN1Z2dlc3RzKSwgd2l0aAo+PiBub3RpZmljYXRpb24KPj4+IHRvIEFDTSdzIEV0aGljcyBh bmQgUGxhZ2lhcmlzbSBjb21taXR0ZWUuICBJIHJlbWVtYmVyIGhvdyBiaWcgb2YgYSBkZWFsCj4+ PiBldmVuIGEgc2luZ2xlIHBhcGVyIHJlamVjdGlvbiB3YXMgdG8gbWUgYXMgYSBzdHVkZW50OyBJ IGFtIHN1cmUgdGhhdCB0aGlzCj4+PiBsZXZlbCBvZiBhY3Rpb24gaXMgZW5vdWdoIHRvIG1vdGl2 YXRlIGNhcmUgYW5kIGNvbXBsaWFuY2Ugd2l0aCBkaXNjbG9zdXJlCj4+PiByZXF1aXJlbWVudHMg Zm9yIHRoZSB2YXN0IG1ham9yaXR5IG9mIG91ciBjb21tdW5pdHkuCj4+Pgo+Pj4gVGhlIHBlbmFs dGllcyBkbyBlc2NhbGF0ZSBhY2NvcmRpbmcgdG8gdGhlIGNvbnRleHQuICBDYXJlbGVzcyB1c2Ug YnkKPj4+IHNvbWVvbmUgd2hvIHNob3VsZCBrbm93IGJldHRlciAodHlwaWNhbGx5IG1vcmUgc2Vu aW9yIHJlc2VhcmNoZXJzKSBtaWdodAo+PiBiZQo+Pj4gYSBMZXZlbCBJSUkgdmlvbGF0aW9uLCB3 aXRoIGEgMS15ZWFyIHB1YmxpY2F0aW9uL3BhcnRpY2lwYXRpb24gYmFuOyBpZiBpdAo+Pj4gd2Fz IGludGVudGlvbmFsIG9yIHJlcGVhdGVkIGl0IHdvdWxkIGJlIGEgMiB5ZWFyIGJhbiAoTGV2ZWwg SVYpLCBhbmQgaWYKPj4gaXQKPj4+IGlzIHNldmVyZSwgaW50ZW50aW9uYWwsIGFuZCByZXBlYXRl ZCBpdCB3b3VsZCBiZSBMZXZlbCBWICg1IHllYXIgYmFuKS4KPj4gSW4KPj4+IHByYWN0aWNlLCBi YW5zIG9mIDUgeWVhcnMsIG9yIG1vcmUgKGZvciBzdGFja2VkIExldmVsIFYgcGVuYWx0aWVzKSBh cmUKPj4+IHR5cGljYWxseSBmb3IgdGhpbmdzIGxpa2UgcmV2aWV3aW5nIHJpbmdzLCBzZXZlcmUg cmVzZWFyY2ggbWlzY29uZHVjdCwKPj4+IHNldmVyZSBoYXJhc3NtZW50IG9yIGFidXNlIGluIEFD TS1yZWxldmFudCBjb250ZXh0cy0taW4gd2hpY2ggY2FzZSBpdCBpcwo+PiBvZgo+Pj4gY291cnNl IHZlcnkgd2VsbCBqdXN0aWZpZWQuICBXaXRob3V0IHJldmVhbGluZyBkZXRhaWxzIG9mIGNvbmZp ZGVudGlhbAo+Pj4gY2FzZXMsIHNjYW5kYWxzIHRoYXQgbWFrZSB0aGUgbmV3cyBhcmUgbGlrZWx5 IHRvIGJlIGF0IHRoaXMgbGV2ZWwgb2YKPj4+IHNldmVyaXR5ICh0byBiZSBjbGVhciwgIm1ha2Vz IHRoZSBuZXdzIiBpcyBub3QgYW1vbmcgb3VyCj4+IGNyaXRlcmlhLS10aGVyZSdzCj4+PiBjb3Jy ZWxhdGlvbiBoZXJlLCBub3QgY2F1c2F0aW9uKS4gIEtlZXAgaW4gbWluZCB0aGF0IGEgNSB5ZWFy IGJhbiBpcwo+Pj4gYWxyZWFkeSBjYXJlZXItZW5kaW5nIG9yIGF0IGxlYXN0IGNhcmVlci1hbHRl cmluZyBmb3Igc29tZW9uZSB3aG9zZSB3b3JrCj4+PiBjZW50ZXJzIG9uIHB1Ymxpc2hpbmcgaW4g QUNNIHZlbnVlcy4KPj4+Cj4+PiBUaGUgQUNNIHNwZW5kcyBhIGxvdCBvZiB2b2x1bnRlZXIgdGlt ZSBhbmQgbW9uZXkgKHNvbWUgb2YgdGhlc2UgaW52b2x2ZQo+Pj4gaW4tZGVwdGggaW52ZXN0aWdh dGlvbnMgYW5kIGxhd3llcnMpIG9uIHN1Y2ggaXNzdWVzLCBhbmQgd2hlbiB0aGV5IGNvbWUKPj4g dG8KPj4+IHRoZSBwdWJsaWNhdGlvbnMgYm9hcmQsIHRoZSBjb252ZXJzYXRpb25zIGludm9sdmUg Y2FyZWZ1bCBhbmQgc3Vic3RhbnRpdmUKPj4+IGRlbGliZXJhdGlvbiwgd2l0aCB0aGUgdHlwaWNh bCByZXN1bHQgYSBzdHJvbmcgY29uc2Vuc3VzIG9uIHRoZSBhY3Rpb24KPj4+IHRha2VuLiBIYXZp bmcgYmVlbiBhIHBhcnQgb2YgdGhlIHByb2Nlc3MsIEkgY2FuIHNheSB3aGlsZSBpdCBpcwo+PiBp bXBlcmZlY3QsCj4+PiBjb3N0bHksIGFuZCBzb21ldGltZXMgc2xvdywgaXQgaXMgZ2VuZXJhbGx5 IGZhaXIgYW5kIGl0cyBvdXRjb21lcwo+PiBhY2hpZXZlIGEKPj4+IGxhcmdlIG1lYXN1cmUgb2Yg anVzdGljZSBhbmQgaGVscCB0byBwcm90ZWN0IG91ciBjb21tdW5pdHkuCj4+Pgo+Pj4gQmVzdCwK Pj4+Cj4+PiBKb25hdGhhbgo+Pj4KPj4+IE9uIFR1ZSwgTWFyIDE3LCAyMDI2IGF0IDM6MzDigK9B TSBEcm9zc29wb3Vsb3UsIFNvcGhpYSA8Cj4+PiBzLmRyb3Nzb3BvdWxvdUBpbXBlcmlhbC5hYy51 az4gd3JvdGU6Cj4+Pgo+Pj4+IFdoYXQgaGFwcGVucyB0byBhdXRob3JzIHdoZW4gc3VjaCBhbiBB SSBnZW5lcmF0ZWQgcGFwZXIgaXMKPj4gZW5jb3VudGVyZWQ/IEkKPj4+PiB3b3VsZCBoYXZlIHRo b3VnaHQgdGhhdCBpZiBBQ00gaGFkIGEgc3RyaWN0IHBvbGljeSwgZWcgbm8gcGFwZXJzCj4+PiBw dWJsaXNoZWQKPj4+PiBmb3IgdGhlIG5leHQgNSB5ZWFycywgdGhlbiB0aGUgcHJvYmxlbSB3b3Vs ZCBiZSBzaWduaWZpY2FudGx5IHJlZHVjZWQKPj4+Pgo+Pj4+ICAgICAgICBTb3BoaWEKPj4+PiDi gJTigJTigJTigKLigKLigKLigJTigJTigJQKPj4+PiBTZW50IGZyb20gbW9iaWxlIHBob25lLCBo ZW5jZSBzdWNjaW5jdAo+Pj4+Cj4+Pj4+IE9uIDE3IE1hciAyMDI2LCBhdCAwMzo1NCwgSm9uYXRo YW4gQWxkcmljaCA8Cj4+PiBqb25hdGhhbi5hbGRyaWNoQGNzLmNtdS5lZHU+Cj4+Pj4gd3JvdGU6 Cj4+Pj4+Cj4+Pj4+IO+7v0NBVVRJT046IFRoaXMgbWVzc2FnZSBjYW1lIGZyb20gb3V0c2lkZSBJ bXBlcmlhbC4gRG8gbm90IGNsaWNrIGxpbmtzCj4+PiBvcgo+Pj4+IG9wZW4gYXR0YWNobWVudHMg dW5sZXNzIHlvdSByZWNvZ25pc2UgdGhlIHNlbmRlciBhbmQgd2VyZSBleHBlY3RpbmcKPj4gdGhp cwo+Pj4+IGVtYWlsLgo+Pj4+Pgo+Pj4+Pgo+Pj4+PiBbIFRoZSBUeXBlcyBGb3J1bSwKPj4+PiBo dHRwOi8vbGlzdHMuc2Vhcy51cGVubi5lZHUvbWFpbG1hbi9saXN0aW5mby90eXBlcy1saXN0ICAg ICBdCj4+Pj4+Cj4+Pj4+IFVnaCwgSSBoYXZlIGJlZW4gZm9ydHVuYXRlIGVub3VnaCBub3QgdG8g ZW5jb3VudGVyIHRoYXQgaW4gbXkKPj4+IHJldmlld2luZy4KPj4+Pj4gQnV0IEkgaGVhciBpdCBp cyB2ZXJ5IGNvbW1vbiBpbiBvdGhlciBzdWJmaWVsZHMgc28gaXQgd2FzIHByb2JhYmx5Cj4+PiBq dXN0IGEKPj4+Pj4gbWF0dGVyIG9mIHRpbWUgYmVmb3JlIGl0IGdvdCB0byBQTC4KPj4+Pj4KPj4+ Pj4gSWYgdGhpcyBpcyBhbiBBQ00gY29uZmVyZW5jZSwgb3VyIHBvbGljaWVzIGFscmVhZHkgcmVx dWlyZSBkaXNjbG9zaW5nCj4+PiB0aGUKPj4+Pj4gdXNlIG9mIEFJIGZvciBhbnl0aGluZyBiZXlv bmQgZ3JhbW1hci1jaGVja2luZy1zdHlsZSBhcHBsaWNhdGlvbnM6Cj4+Pj4+Cj4+Pj4+Cj4+Pj4K Pj4+Cj4+IGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRwczovL3d3dy5hY20ub3JnL3B1 YmxpY2F0aW9ucy9wb2xpY2llcy9uZXctYWNtLXBvbGljeS1vbi1hdXRob3JzaGlwX187ISFJQnpX TFVzIVJDNEZjQTAtSUhjNTVBeGRRTXVXTkhJZnNEZE5xQWxidmgybTdUcFNrN3dDYVRabDdfaVFz TVpmcXUtb012NzY4a3BfN3Z3SU5jRVBNdHVnUUdNUlZEOGpjVnVlTWp3ZXZrRVl1NVpMbnckCj4+ Pj4+Cj4+Pj4+IElmIHRoZXJlIGFyZSBhbnkgbm9uLUFDTSBQTCBjb25mZXJlbmNlcyB0aGF0IGRv bid0IGhhdmUgdGhpcyBwb2xpY3ksCj4+IEkKPj4+Pj4gd291bGQgZW5jb3VyYWdlIHRoZW0gdG8g YWRvcHQgaXQuCj4+Pj4+Cj4+Pj4+IEFDTSBpcyBldmFsdWF0aW5nIHRvb2xzIHRoYXQgY2FuICho ZXVyaXN0aWNhbGx5KSBkZXRlY3QgQUkgdXNlLCBhcwo+PiB3ZWxsCj4+Pj4gYXMKPj4+Pj4gdG9v bHMgdGhhdCBjYW4gaWRlbnRpZnkgaGFsbHVjaW5hdGVkIHJlZmVyZW5jZXMuICBXZSBzaG91bGQg c3RhcnQgdG8KPj4+IHNlZQo+Pj4+PiBkZXBsb3ltZW50IG9mIHRoZXNlIHdpdGhpbiB0aGUgbmV4 dCB5ZWFyLS1pZiBhbnlvbmUgb24gdGhpcyBsaXN0IGlzCj4+IGFuCj4+Pj4gQUNNCj4+Pj4+IFBD IGNoYWlyIGFuZCB3YW50cyB0byBkbyBhbiBlYXJseSB0cmlhbCwgbGV0IG1lIGtub3cgYW5kIEkg Y2FuCj4+IGNvbm5lY3QKPj4+PiB5b3UKPj4+Pj4gd2l0aCBwZW9wbGUgd2hvIG1heSBiZSBhYmxl IHRvIGFycmFuZ2UgdGhhdC4gIEl0J3Mgb2YgY291cnNlCj4+IGltcG9ydGFudAo+Pj4gdG8KPj4+ Pj4gaGF2ZSBhIGh1bWFuIHZlcmlmeSBhbnkgdG9vbCByZXBvcnRzIGJhc2VkIG9uIGhldXJpc3Rp Y3MgYXMgdGhleSBtYXkKPj4gYmUKPj4+Pj4gaW5jb3JyZWN0LCBidXQgdGhlIHBvaW50IGlzIHRo YXQgdGhleSBjYW4gc2F2ZSB0aW1lIGluIGlkZW50aWZ5aW5nCj4+Pj4gcHJvYmxlbXMuCj4+Pj4+ Cj4+Pj4+IFJlZ2FyZGluZyByZXZpZXdpbmcgd29ya2xvYWQsIGl0J3MgdmVyeSB1bmZvcnR1bmF0 ZS4gIFRoZSB0b29scwo+Pj4gbWVudGlvbmVkCj4+Pj4+IGFib3ZlIHdpbGwgZXZlbnR1YWxseSBo ZWxwIHNvbWUuICBJbiB0aGUgbWVhbnRpbWUsIGl0J3MgbXkgdmlldyB0aGF0Cj4+PiBvbmNlCj4+ Pj4+IHlvdSBkZXRlcm1pbmUgdGhhdCBhIHBhcGVyIGlzIHNvIGZsYXdlZCBpdCBjYW5ub3QgYmUg YWNjZXB0ZWQsCj4+PiBlc3BlY2lhbGx5Cj4+Pj4+IGlmIHRoYXQgZmxhdyBpbnZvbHZlcyBtaXNj b25kdWN0IHN1Y2ggYXMgdW5kaXNjbG9zZWQgQUkgdXNlIG9yCj4+PiBvdGhlcndpc2UKPj4+Pj4g bWFrZXMgdGhlIHBhcGVyIHZlcnkgZGlmZmljdWx0IHRvIHJlYWQsIGl0J3MgcmVhc29uYWJsZSBm b3IgdGhlCj4+PiByZXZpZXdlcgo+Pj4+IHRvCj4+Pj4+IHN0b3AgcmVhZGluZyBhbmQgcmV0dXJu IGEgcmV2aWV3IGJhc2VkIG9uIHRoZSBwb3J0aW9uIHRoZXkgcmVhZC4gIE9mCj4+Pj4+IGNvdXJz ZSwgSSB3b3VsZCBtZW50aW9uIHRoZSBzaXR1YXRpb24gdG8gdGhlIFBDIGNoYWlyIHRvIG1ha2Ug c3VyZQo+PiB0aGV5Cj4+Pj4gYXJlCj4+Pj4+IE9LIHdpdGggdGhpczsgbW9zdCBwcm9iYWJseSBh cmUuCj4+Pj4+Cj4+Pj4+IEJlc3QsCj4+Pj4+Cj4+Pj4+IEpvbmF0aGFuCj4+Pj4+Cj4+Pj4+Cj4+ Pj4+PiBPbiBNb24sIE1hciAxNiwgMjAyNiBhdCA5OjUw4oCvUE0gU3RlcGhhbmllIEJhbHplciA8 Cj4+Pj4gc3RlcGhhbmllLmJhbHplckBnbWFpbC5jb20+Cj4+Pj4+PiB3cm90ZToKPj4+Pj4+Cj4+ Pj4+PiBbIFRoZSBUeXBlcyBGb3J1bSwKPj4+PiBodHRwOi8vbGlzdHMuc2Vhcy51cGVubi5lZHUv bWFpbG1hbi9saXN0aW5mby90eXBlcy1saXN0IAo+Pj4+Pj4gXQo+Pj4+Pj4KPj4+Pj4+IERlYXIg YWxsLAo+Pj4+Pj4KPj4+Pj4+IEkgaGF2ZSBub3cgYmVlbiBudW1lcm91cyB0aW1lcyBvbiB0aGUg cmVjZWl2aW5nIGVuZCBvbiBhIHdoYXQgaXQKPj4+IGFwcGVhcnMKPj4+Pj4+IHRvIG1lIChhbG1v c3QpIGVudGlyZWx5IEFJLWdlbmVyYXRlZCBjb25mZXJlbmNlIHN1Ym1pc3Npb25zIHRoYXQgSQo+ PiB3YXMKPj4+Pj4+IGFzc2lnbmVkIHRvIHJldmlldy4gIE9mIGNvdXJzZSBJIGhhdmUgbm8gcHJv b2YsIGJ1dCB0byBtZSBpdCB3YXMKPj4+IHByZXR0eQo+Pj4+Pj4gb2J2aW91cy4gIFRoZSBzdWJt aXNzaW9ucyBpbiBxdWVzdGlvbiBjb25zaXN0IG9mIGFuIGFtYWxnYW1hdGlvbiBvZgo+Pj4+Pj4g bWVhbmluZ2Z1bCB3b3JkcyAoc29tZXRpbWVzIG5vdCBlbnRpcmVseSBmcm9tIHRoZSBjb250ZXh0 IHRoZSBwYXBlcgo+Pj4+Pj4gb3VnaHQgdG8gYmUgYWJvdXQpLCBhcmUgZ2VuZXJhbGx5IHdlbGwg d3JpdHRlbiwgYWx0aG91Z2gKPj4gbWVhbmluZ2xlc3MsCj4+Pj4+PiBhbmQgZXZlbiBjb21lIGJh Y2tlZCB1cCB3aXRoIHNvbWUgcnVsZXMgd2l0aCBob3Jpem9udGFsIGxpbmVzIGFuZAo+Pj4gcHJv b2YKPj4+Pj4+IHNrZXRjaGVzIChzb21ldGltZXMgZnJvbSB2YXJpb3VzIGNvbnRleHRzKS4gIFRo YXQgY2F0Y2gsIGhvd2V2ZXIsIGlzCj4+Pj4+PiB0aGF0IHRoZSB3aG9sZSBjb21wb3NpdGlvbiBk b2Vzbid0IG1ha2Ugc2Vuc2UuCj4+Pj4+Pgo+Pj4+Pj4gV2hhdCBhcmUgd2UgZ29pbmcgdG8gZG8g YWJvdXQgdGhpcyBhcyBhIGNvbW11bml0eT8KPj4+Pj4+Cj4+Pj4+PiBJIGhhdmUgbnVtZXJvdXMg Y29uY2VybnMgaGVyZTogTXkgaW1tZWRpYXRlIGNvbmNlcm4gaXMgdGhhdCBJIGRvIG5vdAo+Pj4+ Pj4gbGlrZSB0byBzcGVuZCBteSB0aW1lIG9uIHN1Y2ggc3VibWlzc2lvbnMuICBFdmVuIHRob3Vn aCBpdCdzIHF1aXRlCj4+Pj4+PiBvYnZpb3VzIGltbWVkaWF0ZWx5IHRoYXQgdGhlIHBhcGVyIGlz IG1lYW5pbmdsZXNzLCBpdCBzdGlsbCB0YWtlcwo+PiBzb21lCj4+Pj4+PiB0aW1lIHRvIG1ha2Ug c3VyZSBhbmQganVzdGlmeSB0aGUgdmVyZGljdC4gIEFub3RoZXIgY29uY2VybiBJIGhhdmUKPj4g aXMKPj4+Pj4+IHRoZSByaXNrIHRoYXQsIHVuZGVyIHRpbWUgcHJlc3N1cmUsIG5vIGR1ZSBkaWxp Z2VuY2UgaXMgZG9uZSwgYW5kIHdlCj4+PiBtYXkKPj4+Pj4+IGVuZCB1cCBhY2NlcHRpbmcgc3Vj aCBhIHBhcGVyLgo+Pj4+Pj4KPj4+Pj4+IEFzIGEgZmlyc3Qgc3RlcCB3ZSBtYXkgcmVxdWlyZSBh dXRob3JzIHRvIGRlY2xhcmUgd2hldGhlciBBSSB3YXMKPj4gdXNlZAo+Pj4gaW4KPj4+Pj4+IHBy ZXBhcmluZyB0aGVpciBzdWJtaXNzaW9uIGFuZCB3aGF0IGZvciBhbmQgd2UgZGVsaW1pdCB3aGF0 IHVzZXMgYXJlCj4+Pj4+PiBwZXJtaXR0ZWQuCj4+Pj4+Pgo+Pj4+Pj4gTG9va2luZyBmb3J3YXJk IHRvIHlvdXIgdGhvdWdodHMsCj4+Pj4+Pgo+Pj4+Pj4gU3RlcGhhbmllCj4+Pj4+Pgo+Pj4+Pj4K Pj4+Pgo+Pj4KPj4KCi0tIApXZWJzaXRlOiBodHRwczovL3VybGRlZmVuc2UuY29tL3YzL19faHR0 cHM6Ly9yZXNlYXJjaC5yYWxmai5kZV9fOyEhSUJ6V0xVcyFYWmdnVHZsdnZ4LW1sUVNtN0FWREcy V1VnS3VGTXRrQmFGUHdyNy1LcnZYbzI4dVE4NXRqSUJCejhhNEx4Tm1JSjY5VG9wNVVzVnM1bGpF Mm5TbVlCNjRORGFMMXA0dyQgCgo=