Re: [TYPES] AI-generated conference submissions

Alcides Fonseca <me-MQvYMha/[email protected]> Tue, 17 Mar 2026 16:15:13 +0000
Newsgroups gmane.comp.science.types
Message-ID <[email protected]>
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp
c3RpbmZvL3R5cGVzLWxpc3QgXQoKSSB3b3VsZCBsaWtlIHRvIGVjaG8gdGhlIHBvaW50IHRoYXQg
S2xhdXMgbWFkZTogSG93IGRvZXMga25vd2luZyB0aGF0IExMTXMgd2VyZSB1c2VkIHRvIHByb2R1
Y2UgYSBwYXBlciBjaGFuZ2UgdGhlIHdheSB5b3UgcmV2aWV3IGl0PyAKCkFzc3VtZSBJIHN1Ym1p
dHRlZCBhIHBhcGVyIHdpdGggdGhlIGZvbGxvd2luZyBhY2tub3dsZWRnZW1lbnQ6IOKAnExMTXMg
d2VyZSB1c2VkIHRvIGdlbmVyYXRlIHRoZSBjb2RlIGZvciB0aGUgZXhwZXJpbWVudHMsIGFuYWx5
emUgdGhlbSBhbmQgcHJvZHVjZSB0aGUgbWFudXNjcmlwdC7igJ0gCldpbGwgSSBnZXQgZGVzayBy
ZWplY3RlZD8KV2lsbCBJIGdldCBhIGRpZmZlcmVudCByZXZpZXc/IFdpbGwgeW91IHRydXN0IHRo
ZSBjbGFpbXMgbGVzcyBiZWNhdXNlIEkgdXNlZCBMTE1zPyBJbiBzb21lIGNhc2VzLCAgTExNcyBh
Y3R1YWxseSBpbXByb3ZlIHRoZSBjb3JyZWN0bmVzcyBieSBhbGxvd2luZyBhdXRob3JzIHRvIGhh
dmUgbWFjaGluZS1jaGVja2VkIHByb29mcyBpbiByZWFzb25hYmxlIHRpbWUgKHRvIEpvbuKAmXMg
cG9pbnQpLiBTbyBtYXliZSB5b3Ugc2hvdWxkIHRydXN0IExMTS1nZW5lcmF0ZWQgcGFwZXJzIG1v
cmUgdGhhbiBwdXJlIG1hbnVzY3JpcHRzLgoKUGVyc29uYWxseSwgSSBhZ3JlZSB3aXRoIEtsYXVz
OiBpdCBzaG91bGQgbWFrZSBubyBkaWZmZXJlbmNlLCBhbmQgd2Ugc2hvdWxkbuKAmXQgcmVxdWly
ZSBhbnkgYWNrbm93bGVkZ2VtZW50LgoKCgpUaGUgcmVsZXZhbnQgaW1wYWN0IGlzIGFscmVhZHkg
Y292ZXJlZCBieSBhbm90aGVyIHBvaW50IGluIEFDTeKAmXMgcG9saWN5OiAiSW4gYWRkaXRpb24s
IGFsbCBwZXJzb25zIGxpc3RlZCBhcyBhbiBhdXRob3Igb24gYW4gQUNNIHN1Ym1pc3Npb24gY2Vy
dGlmeSB0aGF0OiBb4oCmXSBUaGV5IGFncmVlIHRvIGJlIGhlbGQgcmVzcG9uc2libGUgYW5kIGFj
Y291bnRhYmxlIGZvciBhbnkgaXNzdWVzIHJlbGF0aW5nIHRvIHRoZSBjb3JyZWN0bmVzcyBvciBp
bnRlZ3JpdHkgb2YgdGhlIFdvcmsgYW5kIGNvbXBsaWFuY2Ugd2l0aCBhbGwgcmVsYXRlZCBBQ00g
UHVibGljYXRpb25zIFBvbGljaWVzIHdpdGggdGhlIHVuZGVyc3RhbmRpbmcgdGhhdCwgZGVwZW5k
aW5nIG9uIHRoZSBjaXJjdW1zdGFuY2VzLCBub3QgYWxsIGF1dGhvcnMgd2lsbCBuZWNlc3Nhcmls
eSBiZSBoZWxkIGVxdWFsbHkgYWNjb3VudGFibGUu4oCdClRoaXMgaXMgbXVjaCBtb3JlIGltcG9y
dGFudCBJTUhPLiBQZXJzb25hbGx5LCBJIHdvdWxkIG11Y2ggcmF0aGVyIHJlcXVpcmUgdGhhdCB5
b3Ugc3BlY2lmeSB3aGljaCBhdXRob3IgaXMgcmVzcG9uc2libGUgZm9yIHdoYXQgKGFzIG1hbnkg
cHVibGljYXRpb25zIGluIGxpZmUgc2NpZW5jZXMgZG8pIHRoYW4gd2hhdCB0b29scyBvciB3aGV0
aGVyIGdlbkFJIHdhcyB1c2VkIHRvIGNyZWF0ZSBpdC4gU28geW91IGhhdmUgYW4gaWRlYSwgaGVy
ZSBpcyB0aGF0IHNlY3Rpb24gZnJvbSBhIGNvdXBsZSBvZiBwYXBlcnM6CgpBdXRob3Jz4oCZIENv
bnRyaWJ1dGlvbnMKQ29uY2VwdHVhbGl6YXRpb246IFAuQi4sUi5TLixNLkMuLUYuLEEuRi5GdW5k
aW5nIGFjcXVpc2l0aW9uOiBQLkIuLApNLkMuLUYsIEEuRi4gRGF0YSBjdXJhdGlvbjogUC5CLiBJ
bnZlc3RpZ2F0aW9uOiBQLkIuIE1ldGhvZG9sb2d5OiBQLkIuClJlc291cmNlczpQLkIuLE0uQy4t
Ri5Tb2Z0d2FyZTpQLkIuLEEuRi5TdXBlcnZpc2lvbjpSLlMuLE0uQy4tRi4sCkEuRi5WaXN1YWxp
emF0aW9uOlAuQi5Xcml0aW5n4oCUb3JpZ2luYWwgZHJhZnQ6UC5CLldyaXRpbmfigJRyZXZpZXcK
JiBlZGl0aW5nOiBQLkIuLFIuUy4sTS5DLi1GLixBLkYuCgoKQXV0aG9yIGNvbnRyaWJ1dGlvbnMK
TUMtRiwgQUYsIGFuZCBQQiBjb25jZXB0dWFsaXplZCBhbmQgZGVzaWduZWQgdGhlIHN0dWR5CmFu
ZCB3cm90ZSB0aGUgbWFudXNjcmlwdC4gUEIgYW5kIE1SIGNvbGxlY3RlZCBhbmQgYXNzZW1ibGVk
CnRoZSBkYXRhc2V0cy4gUEIsIE1SLCBBRiwgYW5kIE1DLUYgYW5hbHl6ZWQgdGhlIGRhdGEgYW5k
CmludGVycHJldGVkIHRoZSByZXN1bHRzLiBBbGwgYXV0aG9ycyBjb250cmlidXRlZCB0byB0aGUg
YXJ0aWNsZSBhbmQKYXBwcm92ZWQgdGhlIHN1Ym1pdHRlZCB2ZXJzaW9uLgoKCkVhY2ggYXV0aG9y
IG1pZ2h0IHVzZSBMTE1zIGluIGRpZmZlcmVudCB3YXlzLCBidXQgdGhleSBhcmUgYWNjb3VudGFi
bGUgZm9yIHdoYXQgdGhleSBkaWQuIEFuZCB0aGF0IGlzIHRoZSBiYXNpcyBmb3IgdHJ1c3QgKGFu
ZCBwZW5hbHRpZXMsIGlmIHlvdSB3YW50KS4KClRoZSBtYWluIGlzc3VlIHdpdGggZ2VuQUkgaXMg
dGhlIGVjb25vbWljczogeW91IGNhbiBwcm9kdWNlIGEgcGFwZXIgbXVjaCBmYXN0ZXIgdGhhbiBi
ZWZvcmUuIFRoZXJlIGFyZSBtb3JlIGluY2VudGl2ZXMgaW4gb3VyIHdvcmxkIHRvIHByb2R1Y2Ug
bmV3IHBhcGVycyB0aGFuIHRvIHJldmlldyBhbmQgcmVwcm9kdWNlIHBhcGVycy4gSGFzIGFueW9u
ZSBoYXZlIGV2ZXIgcmVjZWl2ZWQgYW4gTlNGL0VSQy9vdGhlciBncmFudCBmb3IgcmVwcm9kdWNp
bmcgZXhpc3Rpbmcgd29yaz8gCklmIHRoZSBlY29ub21pY3MgZG8gbm90IGNoYW5nZSwgdGhlcmUg
aXMgbm8gQUNNIHBvbGljeSB0aGF0IHdpbGwgc2F2ZSB0aGlzLiBUaGUgcmVjaXByb2NhbCByZXZp
ZXdpbmcgb2YgSUNMUiBhbmQgb3RoZXIgTUwgY29uZmVyZW5jZXMgKGFuZCBPT1BTTEEhKSBhZGRy
ZXNzZXMgdGhlIHByb2JsZW0gaGVhZC1vbjogdGhleSBhcmUgYWJsZSB0byBjaGFuZ2UgdGhlIGVj
b25vbWljcyBvZiB3cml0aW5nIHZzIHJldmlld2luZyAoYXQgdGhlIGNvc3Qgb2YgYSBwb3NzaWJs
ZSBkZWNyZWFzZSBpbiBQQyBxdWFsaXR5KS4KCkkgYWdyZWUgdGhpbmdzIGFyZSBjaGFuZ2luZywg
bm90IG5lY2Vzc2FyaWx5IGZvciB0aGUgYmVzdCwgYnV0IHdlIHNob3VsZCB0YWNrbGUgdGhlIHJv
b3Qgb2YgdGhlIHByb2JsZW0gdGhhdCBpcyB0aGUgaW5jZW50aXZlcyBmb3IgcHVibGlzaGluZyB2
cyByZXZpZXdpbmcuCgrigJQgQWxjaWRlcwoKCj4gT24gMTcgTWFyIDIwMjYsIGF0IDE1OjMzLCBB
bml0aGEgR29sbGFtdWRpIDxhbml0aGEuZ29sbGFtdWRpQGdtYWlsLmNvbT4gd3JvdGU6Cj4gCj4g
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp
c3RpbmZvL3R5cGVzLWxpc3QgIF0KPiAKPiBJIHdvdWxkIGxpa2UgdG8gY2FsbCBvdXQgYSBzcGVj
aWZpYyBwb2ludCwgYWxzbyBlY2hvZWQgYnkgS2xhdXMuIEFJIHRvb2xzCj4gY2FuIHNwZWNpZmlj
YWxseSBoZWxwIG5vbi1uYXRpdmUgRW5nbGlzaCBzcGVha2VycyB3cml0ZSBiZXR0ZXIgbmFycmF0
aXZlcy4KPiBJdCB0YWtlcyBtdWx0aXBsZSAocmUtKSB0cmllcyB0byBwcmVzZW50L2ZpbmVzc2Ug
YSB0ZWNobmljYWxseSBjb3JyZWN0Cj4gaWRlYS0tLWJvdGggd2l0aCB0aGUgZ3JhbW1hciBhbmQg
bmFycmF0aXZlLiBJIGFtIHdvbmRlcmluZyBpZiB0aGUgcGxhbm5lZAo+IEFJIGRldGVjdGlvbiB0
b29scyBhcmUgYWltZWQgdG8gZmxhZyBzdWNoIGluc3RhbmNlcyBhcyB3ZWxsPyBJIHVuZGVyc3Rh
bmQKPiBpdCBpcyBhIGdyZXkgYXJlYSwgYnV0IEkgYW0gYWxzbyBhZnJhaWQgdGhhdCBpdCBjb3Vs
ZCBlbmQgdXAgYmVpbmcgYQo+IGNvdW50ZXItcHJvZHVjdGl2ZSBwb2xpY3kuCj4gCj4gLUFuaXRo
YQo+IAo+IE9uIFR1ZSwgMTcgTWFyIDIwMjYgYXQgMTE6MjIsIEpvbmF0aGFuIEFsZHJpY2ggPGpv
bmF0aGFuLmFsZHJpY2hAY3MuY211LmVkdT4KPiB3cm90ZToKPiAKPj4gWyBUaGUgVHlwZXMgRm9y
dW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xpc3RpbmZvL3R5cGVzLWxp
c3QgIAo+PiBdCj4+IAo+PiBQZW5hbHRpZXMgZm9yIEFDTSBwb2xpY3kgdmlvbGF0aW9ucyBhcmUg
Y292ZXJlZCBoZXJlOgo+PiAKPj4gCj4+IGh0dHBzOi8vdXJsZGVmZW5zZS5jb20vdjMvX19odHRw
czovL3d3dy5hY20ub3JnL3B1YmxpY2F0aW9ucy9wb2xpY2llcy9wZW5hbHRpZXMtZm9yLXB1Ymxp
Y2F0aW9uLXZpb2xhdGlvbnNfXzshIUlCeldMVXMhU2phejhvd2hmRW85WEdJT2pkSHZZbHQ0SzFp
ME5yY1UyT0p3aE9mRlctenZsTmFhdGVSYm50Y3JGU0xMRUJ1ZkYtQlRvZW1fTXh3dy11em1YeVQ0
WUdHZTJJdGNDR0s4eUdDR2VlNnJOdyQKPj4gCj4+IFJlZ2FyZGluZyBhcHBsaWNhdGlvbiB0byBj
YXNlcyBvZiBBSSB1c2UsIEknZCBsaWtlIHRvIGVjaG8gTWFlJ3MgY2FsbCBmb3IKPj4gZW1wYXRo
eSBhbmQgZ3JhY2UsIHBhcnRpY3VsYXJseSBpbiBjYXNlcyB0aGF0IG1pZ2h0IGludm9sdmUgc3R1
ZGVudHMuIEEgbG90Cj4+IG9mIHZpb2xhdGlvbnMgYXJlIGxpa2VseSB1bmludGVudGlvbmFsIGlu
IHRoaXMgY29udGV4dC4gQUNNIGRlZmluaXRlbHkKPj4gdHJpZXMgdG8gdGFrZSB0aGVzZSBmYWN0
b3JzIGludG8gY29uc2lkZXJhdGlvbiBpbiBhZGRyZXNzaW5nIGV0aGljcyBhbmQKPj4gcGxhZ2lh
cmlzbSBjYXNlcy4gIEEgaGFybWxlc3MgdXNlIG9mIEFJIGJ5IGEgc3R1ZGVudCB3aG8gbmVnbGVj
dHMgdG8KPj4gYWNrbm93bGVkZ2UgQUkgdXNlLCBwZXJoYXBzIGJlY2F1c2UgdGhleSB3ZXJlIHVu
YXdhcmUgb2YgdGhlIHBvbGljeSwgbWlnaHQKPj4gcmVjZWl2ZSBvbmx5IGEgd2FybmluZyAoIkxl
dmVsIEkiKSBhbmQgaWYgYWxyZWFkeSBwdWJsaXNoZWQsIGEgY29ycmlnZW5kdW0KPj4gdG8gdGhl
IHBhcGVyIGFja25vd2xlZGdpbmcgdGhlIEFJIHVzZS4KPj4gCj4+IElmIHRoZSBBSSB1c2UgY29t
cHJvbWlzZXMgdGhlIGludGVncml0eSBvZiB0aGUgcGFwZXIgdGhlIHBhcGVyIHdvdWxkIG9mCj4+
IGNvdXJzZSBiZSByZWplY3RlZCBvciwgaWYgYWxyZWFkeSBwdWJsaXNoZWQsIHJldHJhY3RlZCAo
IkxldmVsIElJIikuICBXaGVuCj4+IGNhdWdodCBkdXJpbmcgcmV2aWV3aW5nLCB0aGVzZSBraW5k
cyBvZiB2aW9sYXRpb25zIGNhbiBiZSBoYW5kbGVkIGJ5Cj4+IGNvbmZlcmVuY2UgY2hhaXJzIChl
LmcuIHdpdGggdGhlIGFwcHJvYWNoIE1hZSBzdWdnZXN0cyksIHdpdGggbm90aWZpY2F0aW9uCj4+
IHRvIEFDTSdzIEV0aGljcyBhbmQgUGxhZ2lhcmlzbSBjb21taXR0ZWUuICBJIHJlbWVtYmVyIGhv
dyBiaWcgb2YgYSBkZWFsCj4+IGV2ZW4gYSBzaW5nbGUgcGFwZXIgcmVqZWN0aW9uIHdhcyB0byBt
ZSBhcyBhIHN0dWRlbnQ7IEkgYW0gc3VyZSB0aGF0IHRoaXMKPj4gbGV2ZWwgb2YgYWN0aW9uIGlz
IGVub3VnaCB0byBtb3RpdmF0ZSBjYXJlIGFuZCBjb21wbGlhbmNlIHdpdGggZGlzY2xvc3VyZQo+
PiByZXF1aXJlbWVudHMgZm9yIHRoZSB2YXN0IG1ham9yaXR5IG9mIG91ciBjb21tdW5pdHkuCj4+
IAo+PiBUaGUgcGVuYWx0aWVzIGRvIGVzY2FsYXRlIGFjY29yZGluZyB0byB0aGUgY29udGV4dC4g
IENhcmVsZXNzIHVzZSBieQo+PiBzb21lb25lIHdobyBzaG91bGQga25vdyBiZXR0ZXIgKHR5cGlj
YWxseSBtb3JlIHNlbmlvciByZXNlYXJjaGVycykgbWlnaHQgYmUKPj4gYSBMZXZlbCBJSUkgdmlv
bGF0aW9uLCB3aXRoIGEgMS15ZWFyIHB1YmxpY2F0aW9uL3BhcnRpY2lwYXRpb24gYmFuOyBpZiBp
dAo+PiB3YXMgaW50ZW50aW9uYWwgb3IgcmVwZWF0ZWQgaXQgd291bGQgYmUgYSAyIHllYXIgYmFu
IChMZXZlbCBJViksIGFuZCBpZiBpdAo+PiBpcyBzZXZlcmUsIGludGVudGlvbmFsLCBhbmQgcmVw
ZWF0ZWQgaXQgd291bGQgYmUgTGV2ZWwgViAoNSB5ZWFyIGJhbikuICBJbgo+PiBwcmFjdGljZSwg
YmFucyBvZiA1IHllYXJzLCBvciBtb3JlIChmb3Igc3RhY2tlZCBMZXZlbCBWIHBlbmFsdGllcykg
YXJlCj4+IHR5cGljYWxseSBmb3IgdGhpbmdzIGxpa2UgcmV2aWV3aW5nIHJpbmdzLCBzZXZlcmUg
cmVzZWFyY2ggbWlzY29uZHVjdCwKPj4gc2V2ZXJlIGhhcmFzc21lbnQgb3IgYWJ1c2UgaW4gQUNN
LXJlbGV2YW50IGNvbnRleHRzLS1pbiB3aGljaCBjYXNlIGl0IGlzIG9mCj4+IGNvdXJzZSB2ZXJ5
IHdlbGwganVzdGlmaWVkLiAgV2l0aG91dCByZXZlYWxpbmcgZGV0YWlscyBvZiBjb25maWRlbnRp
YWwKPj4gY2FzZXMsIHNjYW5kYWxzIHRoYXQgbWFrZSB0aGUgbmV3cyBhcmUgbGlrZWx5IHRvIGJl
IGF0IHRoaXMgbGV2ZWwgb2YKPj4gc2V2ZXJpdHkgKHRvIGJlIGNsZWFyLCAibWFrZXMgdGhlIG5l
d3MiIGlzIG5vdCBhbW9uZyBvdXIgY3JpdGVyaWEtLXRoZXJlJ3MKPj4gY29ycmVsYXRpb24gaGVy
ZSwgbm90IGNhdXNhdGlvbikuICBLZWVwIGluIG1pbmQgdGhhdCBhIDUgeWVhciBiYW4gaXMKPj4g
YWxyZWFkeSBjYXJlZXItZW5kaW5nIG9yIGF0IGxlYXN0IGNhcmVlci1hbHRlcmluZyBmb3Igc29t
ZW9uZSB3aG9zZSB3b3JrCj4+IGNlbnRlcnMgb24gcHVibGlzaGluZyBpbiBBQ00gdmVudWVzLgo+
PiAKPj4gVGhlIEFDTSBzcGVuZHMgYSBsb3Qgb2Ygdm9sdW50ZWVyIHRpbWUgYW5kIG1vbmV5IChz
b21lIG9mIHRoZXNlIGludm9sdmUKPj4gaW4tZGVwdGggaW52ZXN0aWdhdGlvbnMgYW5kIGxhd3ll
cnMpIG9uIHN1Y2ggaXNzdWVzLCBhbmQgd2hlbiB0aGV5IGNvbWUgdG8KPj4gdGhlIHB1YmxpY2F0
aW9ucyBib2FyZCwgdGhlIGNvbnZlcnNhdGlvbnMgaW52b2x2ZSBjYXJlZnVsIGFuZCBzdWJzdGFu
dGl2ZQo+PiBkZWxpYmVyYXRpb24sIHdpdGggdGhlIHR5cGljYWwgcmVzdWx0IGEgc3Ryb25nIGNv
bnNlbnN1cyBvbiB0aGUgYWN0aW9uCj4+IHRha2VuLiBIYXZpbmcgYmVlbiBhIHBhcnQgb2YgdGhl
IHByb2Nlc3MsIEkgY2FuIHNheSB3aGlsZSBpdCBpcyBpbXBlcmZlY3QsCj4+IGNvc3RseSwgYW5k
IHNvbWV0aW1lcyBzbG93LCBpdCBpcyBnZW5lcmFsbHkgZmFpciBhbmQgaXRzIG91dGNvbWVzIGFj
aGlldmUgYQo+PiBsYXJnZSBtZWFzdXJlIG9mIGp1c3RpY2UgYW5kIGhlbHAgdG8gcHJvdGVjdCBv
dXIgY29tbXVuaXR5Lgo+PiAKPj4gQmVzdCwKPj4gCj4+IEpvbmF0aGFuCj4+IAo+PiBPbiBUdWUs
IE1hciAxNywgMjAyNiBhdCAzOjMw4oCvQU0gRHJvc3NvcG91bG91LCBTb3BoaWEgPAo+PiBzLmRy
b3Nzb3BvdWxvdUBpbXBlcmlhbC5hYy51az4gd3JvdGU6Cj4+IAo+Pj4gV2hhdCBoYXBwZW5zIHRv
IGF1dGhvcnMgd2hlbiBzdWNoIGFuIEFJIGdlbmVyYXRlZCBwYXBlciBpcyBlbmNvdW50ZXJlZD8g
SQo+Pj4gd291bGQgaGF2ZSB0aG91Z2h0IHRoYXQgaWYgQUNNIGhhZCBhIHN0cmljdCBwb2xpY3ks
IGVnIG5vIHBhcGVycwo+PiBwdWJsaXNoZWQKPj4+IGZvciB0aGUgbmV4dCA1IHllYXJzLCB0aGVu
IHRoZSBwcm9ibGVtIHdvdWxkIGJlIHNpZ25pZmljYW50bHkgcmVkdWNlZAo+Pj4gCj4+PiAgICAg
IFNvcGhpYQo+Pj4g4oCU4oCU4oCU4oCi4oCi4oCi4oCU4oCU4oCUCj4+PiBTZW50IGZyb20gbW9i
aWxlIHBob25lLCBoZW5jZSBzdWNjaW5jdAo+Pj4gCj4+Pj4gT24gMTcgTWFyIDIwMjYsIGF0IDAz
OjU0LCBKb25hdGhhbiBBbGRyaWNoIDwKPj4gam9uYXRoYW4uYWxkcmljaEBjcy5jbXUuZWR1Pgo+
Pj4gd3JvdGU6Cj4+Pj4gCj4+Pj4g77u/Q0FVVElPTjogVGhpcyBtZXNzYWdlIGNhbWUgZnJvbSBv
dXRzaWRlIEltcGVyaWFsLiBEbyBub3QgY2xpY2sgbGlua3MKPj4gb3IKPj4+IG9wZW4gYXR0YWNo
bWVudHMgdW5sZXNzIHlvdSByZWNvZ25pc2UgdGhlIHNlbmRlciBhbmQgd2VyZSBleHBlY3Rpbmcg
dGhpcwo+Pj4gZW1haWwuCj4+Pj4gCj4+Pj4gCj4+Pj4gWyBUaGUgVHlwZXMgRm9ydW0sCj4+PiBo
dHRwOi8vbGlzdHMuc2Vhcy51cGVubi5lZHUvbWFpbG1hbi9saXN0aW5mby90eXBlcy1saXN0ICAg
IF0KPj4+PiAKPj4+PiBVZ2gsIEkgaGF2ZSBiZWVuIGZvcnR1bmF0ZSBlbm91Z2ggbm90IHRvIGVu
Y291bnRlciB0aGF0IGluIG15Cj4+IHJldmlld2luZy4KPj4+PiBCdXQgSSBoZWFyIGl0IGlzIHZl
cnkgY29tbW9uIGluIG90aGVyIHN1YmZpZWxkcyBzbyBpdCB3YXMgcHJvYmFibHkKPj4ganVzdCBh
Cj4+Pj4gbWF0dGVyIG9mIHRpbWUgYmVmb3JlIGl0IGdvdCB0byBQTC4KPj4+PiAKPj4+PiBJZiB0
aGlzIGlzIGFuIEFDTSBjb25mZXJlbmNlLCBvdXIgcG9saWNpZXMgYWxyZWFkeSByZXF1aXJlIGRp
c2Nsb3NpbmcKPj4gdGhlCj4+Pj4gdXNlIG9mIEFJIGZvciBhbnl0aGluZyBiZXlvbmQgZ3JhbW1h
ci1jaGVja2luZy1zdHlsZSBhcHBsaWNhdGlvbnM6Cj4+Pj4gCj4+Pj4gCj4+PiAKPj4gaHR0cHM6
Ly91cmxkZWZlbnNlLmNvbS92My9fX2h0dHBzOi8vd3d3LmFjbS5vcmcvcHVibGljYXRpb25zL3Bv
bGljaWVzL25ldy1hY20tcG9saWN5LW9uLWF1dGhvcnNoaXBfXzshIUlCeldMVXMhUkM0RmNBMC1J
SGM1NUF4ZFFNdVdOSElmc0RkTnFBbGJ2aDJtN1RwU2s3d0NhVFpsN19pUXNNWmZxdS1vTXY3Njhr
cF83dndJTmNFUE10dWdRR01SVkQ4amNWdWVNandldmtFWXU1WkxudyQKPj4+PiAKPj4+PiBJZiB0
aGVyZSBhcmUgYW55IG5vbi1BQ00gUEwgY29uZmVyZW5jZXMgdGhhdCBkb24ndCBoYXZlIHRoaXMg
cG9saWN5LCBJCj4+Pj4gd291bGQgZW5jb3VyYWdlIHRoZW0gdG8gYWRvcHQgaXQuCj4+Pj4gCj4+
Pj4gQUNNIGlzIGV2YWx1YXRpbmcgdG9vbHMgdGhhdCBjYW4gKGhldXJpc3RpY2FsbHkpIGRldGVj
dCBBSSB1c2UsIGFzIHdlbGwKPj4+IGFzCj4+Pj4gdG9vbHMgdGhhdCBjYW4gaWRlbnRpZnkgaGFs
bHVjaW5hdGVkIHJlZmVyZW5jZXMuICBXZSBzaG91bGQgc3RhcnQgdG8KPj4gc2VlCj4+Pj4gZGVw
bG95bWVudCBvZiB0aGVzZSB3aXRoaW4gdGhlIG5leHQgeWVhci0taWYgYW55b25lIG9uIHRoaXMg
bGlzdCBpcyBhbgo+Pj4gQUNNCj4+Pj4gUEMgY2hhaXIgYW5kIHdhbnRzIHRvIGRvIGFuIGVhcmx5
IHRyaWFsLCBsZXQgbWUga25vdyBhbmQgSSBjYW4gY29ubmVjdAo+Pj4geW91Cj4+Pj4gd2l0aCBw
ZW9wbGUgd2hvIG1heSBiZSBhYmxlIHRvIGFycmFuZ2UgdGhhdC4gIEl0J3Mgb2YgY291cnNlIGlt
cG9ydGFudAo+PiB0bwo+Pj4+IGhhdmUgYSBodW1hbiB2ZXJpZnkgYW55IHRvb2wgcmVwb3J0cyBi
YXNlZCBvbiBoZXVyaXN0aWNzIGFzIHRoZXkgbWF5IGJlCj4+Pj4gaW5jb3JyZWN0LCBidXQgdGhl
IHBvaW50IGlzIHRoYXQgdGhleSBjYW4gc2F2ZSB0aW1lIGluIGlkZW50aWZ5aW5nCj4+PiBwcm9i
bGVtcy4KPj4+PiAKPj4+PiBSZWdhcmRpbmcgcmV2aWV3aW5nIHdvcmtsb2FkLCBpdCdzIHZlcnkg
dW5mb3J0dW5hdGUuICBUaGUgdG9vbHMKPj4gbWVudGlvbmVkCj4+Pj4gYWJvdmUgd2lsbCBldmVu
dHVhbGx5IGhlbHAgc29tZS4gIEluIHRoZSBtZWFudGltZSwgaXQncyBteSB2aWV3IHRoYXQKPj4g
b25jZQo+Pj4+IHlvdSBkZXRlcm1pbmUgdGhhdCBhIHBhcGVyIGlzIHNvIGZsYXdlZCBpdCBjYW5u
b3QgYmUgYWNjZXB0ZWQsCj4+IGVzcGVjaWFsbHkKPj4+PiBpZiB0aGF0IGZsYXcgaW52b2x2ZXMg
bWlzY29uZHVjdCBzdWNoIGFzIHVuZGlzY2xvc2VkIEFJIHVzZSBvcgo+PiBvdGhlcndpc2UKPj4+
PiBtYWtlcyB0aGUgcGFwZXIgdmVyeSBkaWZmaWN1bHQgdG8gcmVhZCwgaXQncyByZWFzb25hYmxl
IGZvciB0aGUKPj4gcmV2aWV3ZXIKPj4+IHRvCj4+Pj4gc3RvcCByZWFkaW5nIGFuZCByZXR1cm4g
YSByZXZpZXcgYmFzZWQgb24gdGhlIHBvcnRpb24gdGhleSByZWFkLiAgT2YKPj4+PiBjb3Vyc2Us
IEkgd291bGQgbWVudGlvbiB0aGUgc2l0dWF0aW9uIHRvIHRoZSBQQyBjaGFpciB0byBtYWtlIHN1
cmUgdGhleQo+Pj4gYXJlCj4+Pj4gT0sgd2l0aCB0aGlzOyBtb3N0IHByb2JhYmx5IGFyZS4KPj4+
PiAKPj4+PiBCZXN0LAo+Pj4+IAo+Pj4+IEpvbmF0aGFuCj4+Pj4gCj4+Pj4gCj4+Pj4+IE9uIE1v
biwgTWFyIDE2LCAyMDI2IGF0IDk6NTDigK9QTSBTdGVwaGFuaWUgQmFsemVyIDwKPj4+IHN0ZXBo
YW5pZS5iYWx6ZXJAZ21haWwuY29tPgo+Pj4+PiB3cm90ZToKPj4+Pj4gCj4+Pj4+IFsgVGhlIFR5
cGVzIEZvcnVtLAo+Pj4gaHR0cDovL2xpc3RzLnNlYXMudXBlbm4uZWR1L21haWxtYW4vbGlzdGlu
Zm8vdHlwZXMtbGlzdCAKPj4+Pj4gXQo+Pj4+PiAKPj4+Pj4gRGVhciBhbGwsCj4+Pj4+IAo+Pj4+
PiBJIGhhdmUgbm93IGJlZW4gbnVtZXJvdXMgdGltZXMgb24gdGhlIHJlY2VpdmluZyBlbmQgb24g
YSB3aGF0IGl0Cj4+IGFwcGVhcnMKPj4+Pj4gdG8gbWUgKGFsbW9zdCkgZW50aXJlbHkgQUktZ2Vu
ZXJhdGVkIGNvbmZlcmVuY2Ugc3VibWlzc2lvbnMgdGhhdCBJIHdhcwo+Pj4+PiBhc3NpZ25lZCB0
byByZXZpZXcuICBPZiBjb3Vyc2UgSSBoYXZlIG5vIHByb29mLCBidXQgdG8gbWUgaXQgd2FzCj4+
IHByZXR0eQo+Pj4+PiBvYnZpb3VzLiAgVGhlIHN1Ym1pc3Npb25zIGluIHF1ZXN0aW9uIGNvbnNp
c3Qgb2YgYW4gYW1hbGdhbWF0aW9uIG9mCj4+Pj4+IG1lYW5pbmdmdWwgd29yZHMgKHNvbWV0aW1l
cyBub3QgZW50aXJlbHkgZnJvbSB0aGUgY29udGV4dCB0aGUgcGFwZXIKPj4+Pj4gb3VnaHQgdG8g
YmUgYWJvdXQpLCBhcmUgZ2VuZXJhbGx5IHdlbGwgd3JpdHRlbiwgYWx0aG91Z2ggbWVhbmluZ2xl
c3MsCj4+Pj4+IGFuZCBldmVuIGNvbWUgYmFja2VkIHVwIHdpdGggc29tZSBydWxlcyB3aXRoIGhv
cml6b250YWwgbGluZXMgYW5kCj4+IHByb29mCj4+Pj4+IHNrZXRjaGVzIChzb21ldGltZXMgZnJv
bSB2YXJpb3VzIGNvbnRleHRzKS4gIFRoYXQgY2F0Y2gsIGhvd2V2ZXIsIGlzCj4+Pj4+IHRoYXQg
dGhlIHdob2xlIGNvbXBvc2l0aW9uIGRvZXNuJ3QgbWFrZSBzZW5zZS4KPj4+Pj4gCj4+Pj4+IFdo
YXQgYXJlIHdlIGdvaW5nIHRvIGRvIGFib3V0IHRoaXMgYXMgYSBjb21tdW5pdHk/Cj4+Pj4+IAo+
Pj4+PiBJIGhhdmUgbnVtZXJvdXMgY29uY2VybnMgaGVyZTogTXkgaW1tZWRpYXRlIGNvbmNlcm4g
aXMgdGhhdCBJIGRvIG5vdAo+Pj4+PiBsaWtlIHRvIHNwZW5kIG15IHRpbWUgb24gc3VjaCBzdWJt
aXNzaW9ucy4gIEV2ZW4gdGhvdWdoIGl0J3MgcXVpdGUKPj4+Pj4gb2J2aW91cyBpbW1lZGlhdGVs
eSB0aGF0IHRoZSBwYXBlciBpcyBtZWFuaW5nbGVzcywgaXQgc3RpbGwgdGFrZXMgc29tZQo+Pj4+
PiB0aW1lIHRvIG1ha2Ugc3VyZSBhbmQganVzdGlmeSB0aGUgdmVyZGljdC4gIEFub3RoZXIgY29u
Y2VybiBJIGhhdmUgaXMKPj4+Pj4gdGhlIHJpc2sgdGhhdCwgdW5kZXIgdGltZSBwcmVzc3VyZSwg
bm8gZHVlIGRpbGlnZW5jZSBpcyBkb25lLCBhbmQgd2UKPj4gbWF5Cj4+Pj4+IGVuZCB1cCBhY2Nl
cHRpbmcgc3VjaCBhIHBhcGVyLgo+Pj4+PiAKPj4+Pj4gQXMgYSBmaXJzdCBzdGVwIHdlIG1heSBy
ZXF1aXJlIGF1dGhvcnMgdG8gZGVjbGFyZSB3aGV0aGVyIEFJIHdhcyB1c2VkCj4+IGluCj4+Pj4+
IHByZXBhcmluZyB0aGVpciBzdWJtaXNzaW9uIGFuZCB3aGF0IGZvciBhbmQgd2UgZGVsaW1pdCB3
aGF0IHVzZXMgYXJlCj4+Pj4+IHBlcm1pdHRlZC4KPj4+Pj4gCj4+Pj4+IExvb2tpbmcgZm9yd2Fy
ZCB0byB5b3VyIHRob3VnaHRzLAo+Pj4+PiAKPj4+Pj4gU3RlcGhhbmllCj4+Pj4+IAo+Pj4+PiAK
Pj4+IAo+PiAKCg==