Re: [TYPES] AI-generated conference submissions

Jonathan Aldrich <[email protected]> Tue, 17 Mar 2026 12:25:29 -0400
Newsgroups gmane.comp.science.types
Message-ID <CANwk4UYgszdFmw06dm_ErrT7Ecz9uMBSHWao2odEVF4XuvmnXA@mail.gmail.com>
WyBUaGUgVHlwZXMgRm9ydW0sIGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp
c3RpbmZvL3R5cGVzLWxpc3QgXQoKQUkgZGV0ZWN0aW9uIHRvb2xzIGFyZSBkZWZpbml0ZWx5IGlt
cGVyZmVjdDsgdGhleSBjYW4gb2Z0ZW4gYmUgaGVscGZ1bCBidXQKYXMgbWFueSB3aG8gaGF2ZSB1
c2VkIHRoZW0gZm9yIGRldGVjdGluZyBBSSBpbiBncmFkaW5nIHdpbGwga25vdywgdGhleSBjYW4K
aGF2ZSBib3RoIGZhbHNlIG5lZ2F0aXZlcyBhbmQgZmFsc2UgcG9zaXRpdmVzLiAgSXJvbmljYWxs
eSB0aGV5IGFyZSBtb3JlCmxpa2VseSB0byBwcm9kdWNlIGZhbHNlIHBvc2l0aXZlIHdhcm5pbmdz
IGZvciB0ZXh0IHdyaXR0ZW4gYnkgbm9uLW5hdGl2ZQpFbmdsaXNoIHNwZWFrZXJzIChub3QgdXNp
bmcgQUkpLgoKQUNNIGFscmVhZHkgYWxsb3dzIEFJIGZvciBncmFtbWFyIGZpeGVzLCB3aXRob3V0
IGRpc2Nsb3N1cmUuICBEaXNjbG9zdXJlCndvdWxkIGJlIHJlcXVpcmVkIGZvciBBSSBoZWxwaW5n
IHRvIHdyaXRlIG5hcnJhdGl2ZXMsIGJ1dCB0aGVyZSBpcyBubwpzdGlnbWEgYXR0YWNoZWQgYXMg
bG9uZyBhcyB0aGUgZmluYWwgdGV4dCBpcyBvZiBoaWdoIHF1YWxpdHkuCgpJbiByZXNwb25zZSB0
byBLbGF1cydzIHBvaW50LCBJIHNob3VsZCBzYXkgdGhhdCB0aGlzIHdhcyBhY3R1YWxseSBkaXNj
dXNzZWQKdG9kYXkgYXQgYSBQdWJsaWNhdGlvbnMgQm9hcmQgbWVldGluZy0tc2luY2UgbXkgcHJp
b3IgcmVwbGllcyBpbiB0aGlzCnRocmVhZCEgIEl0IHNlZW1zIHRoYXQgd2hpbGUgcGVyaGFwcyBz
dGlsbCB1bnVzdWFsIGluIFBMLCBBSSB1c2UgaXMKYmVjb21pbmcgdWJpcXVpdG91cyAoYW5kIGlz
IGxhcmdlbHkgdW5kaXNjbG9zZWQpIGluIHRoZSBicm9hZGVyIGNvbnRleHQgb2YKQUNNIHB1Ymxp
Y2F0aW9ucy4gIFRoZXJlIGlzIGRlYmF0ZSBhYm91dCB3aGV0aGVyIHRoZXJlIGlzIGFueSBwb2lu
dCBpbgpjb250aW51aW5nIHRvIG1hbmRhdGUgZGlzY2xvc3VyZS4gIEluIHBhcnRpY3VsYXIsIHRo
ZSBQdWJsaWNhdGlvbnMgRXRoaWNzCmFuZCBQbGFnaWFyaXNtIGNvbW1pdHRlZSBzcGVuZHMgYSBo
aWdoIGFuZCBpbmNyZWFzaW5nIGFtb3VudCBvZiB0aW1lCmludmVzdGlnYXRpbmcgZXRoaWNhbCBp
c3N1ZXM7IEkgZ2V0IHRoZSBzZW5zZSB0aGV5IHdvdWxkIGxpa2UgdG8gZm9jdXMKdGhlaXIgbGlt
aXRlZCB0aW1lIG9uIGNhc2VzIGludm9sdmluZyBlLmcuIHJlc2VhcmNoIGludGVncml0eSAocGVy
aGFwcyBkdWUKdG8gQUkgdXNlKSByYXRoZXIgdGhhbiBsYWNrIG9mIGRpc2Nsb3N1cmUgd2hpY2gg
aXMgb3RoZXJ3aXNlIGhhcm1sZXNzLgoKSWYgdGhlcmUgYXJlIGFkZGl0aW9uYWwgY29tbWVudHMg
b3Igc3VnZ2VzdGlvbnMgb24gdGhpcywgSSdkIGxpa2UgdG8gaGVhcgp0aGVtLCBhbmQgd2lsbCBw
YXNzIHRoZW0gb24gdG8gdGhlIFB1YmxpY2F0aW9ucyBCb2FyZC4gIEFzIEFsY2lkZXMKbWVudGlv
bnMsIGV2ZW4gaWYgd2Ugc3RvcCByZXF1aXJpbmcgZGlzY2xvc3VyZSBvZiBBSSB1c2UsIHdlIHdv
dWxkCmRlZmluaXRlbHkgY29udGludWUgdG8gaG9sZCBhdXRob3JzIGZ1bGx5IHJlc3BvbnNpYmxl
IGZvciB0aGUgaW50ZWdyaXR5IG9mCnRoZWlyIHB1YmxpY2F0aW9uczsgInRoaXMgd2FzIGhhbGx1
Y2luYXRlZCBieSBBSSIgd2lsbCBuZXZlciBiZSBhbgphY2NlcHRhYmxlIGV4Y3VzZS4KCkpvbmF0
aGFuCgoKT24gVHVlLCBNYXIgMTcsIDIwMjYgYXQgMTE6MzPigK9BTSBBbml0aGEgR29sbGFtdWRp
IDwKYW5pdGhhLmdvbGxhbXVkaUBnbWFpbC5jb20+IHdyb3RlOgoKPiBJIHdvdWxkIGxpa2UgdG8g
Y2FsbCBvdXQgYSBzcGVjaWZpYyBwb2ludCwgYWxzbyBlY2hvZWQgYnkgS2xhdXMuIEFJIHRvb2xz
Cj4gY2FuIHNwZWNpZmljYWxseSBoZWxwIG5vbi1uYXRpdmUgRW5nbGlzaCBzcGVha2VycyB3cml0
ZSBiZXR0ZXIgbmFycmF0aXZlcy4KPiBJdCB0YWtlcyBtdWx0aXBsZSAocmUtKSB0cmllcyB0byBw
cmVzZW50L2ZpbmVzc2UgYSB0ZWNobmljYWxseSBjb3JyZWN0Cj4gaWRlYS0tLWJvdGggd2l0aCB0
aGUgZ3JhbW1hciBhbmQgbmFycmF0aXZlLiBJIGFtIHdvbmRlcmluZyBpZiB0aGUgcGxhbm5lZAo+
IEFJIGRldGVjdGlvbiB0b29scyBhcmUgYWltZWQgdG8gZmxhZyBzdWNoIGluc3RhbmNlcyBhcyB3
ZWxsPyBJIHVuZGVyc3RhbmQKPiBpdCBpcyBhIGdyZXkgYXJlYSwgYnV0IEkgYW0gYWxzbyBhZnJh
aWQgdGhhdCBpdCBjb3VsZCBlbmQgdXAgYmVpbmcgYQo+IGNvdW50ZXItcHJvZHVjdGl2ZSBwb2xp
Y3kuCj4KPiAtQW5pdGhhCj4KPiBPbiBUdWUsIDE3IE1hciAyMDI2IGF0IDExOjIyLCBKb25hdGhh
biBBbGRyaWNoIDwKPiBqb25hdGhhbi5hbGRyaWNoQGNzLmNtdS5lZHU+IHdyb3RlOgo+Cj4+IFsg
VGhlIFR5cGVzIEZvcnVtLAo+PiBodHRwOi8vbGlzdHMuc2Vhcy51cGVubi5lZHUvbWFpbG1hbi9s
aXN0aW5mby90eXBlcy1saXN0ICBdCj4+Cj4+IFBlbmFsdGllcyBmb3IgQUNNIHBvbGljeSB2aW9s
YXRpb25zIGFyZSBjb3ZlcmVkIGhlcmU6Cj4+Cj4+Cj4+IGh0dHBzOi8vdXJsZGVmZW5zZS5jb20v
djMvX19odHRwczovL3d3dy5hY20ub3JnL3B1YmxpY2F0aW9ucy9wb2xpY2llcy9wZW5hbHRpZXMt
Zm9yLXB1YmxpY2F0aW9uLXZpb2xhdGlvbnNfXzshIUlCeldMVXMhU2phejhvd2hmRW85WEdJT2pk
SHZZbHQ0SzFpME5yY1UyT0p3aE9mRlctenZsTmFhdGVSYm50Y3JGU0xMRUJ1ZkYtQlRvZW1fTXh3
dy11em1YeVQ0WUdHZTJJdGNDR0s4eUdDR2VlNnJOdyQKPj4KPj4gUmVnYXJkaW5nIGFwcGxpY2F0
aW9uIHRvIGNhc2VzIG9mIEFJIHVzZSwgSSdkIGxpa2UgdG8gZWNobyBNYWUncyBjYWxsIGZvcgo+
PiBlbXBhdGh5IGFuZCBncmFjZSwgcGFydGljdWxhcmx5IGluIGNhc2VzIHRoYXQgbWlnaHQgaW52
b2x2ZSBzdHVkZW50cy4gQQo+PiBsb3QKPj4gb2YgdmlvbGF0aW9ucyBhcmUgbGlrZWx5IHVuaW50
ZW50aW9uYWwgaW4gdGhpcyBjb250ZXh0LiBBQ00gZGVmaW5pdGVseQo+PiB0cmllcyB0byB0YWtl
IHRoZXNlIGZhY3RvcnMgaW50byBjb25zaWRlcmF0aW9uIGluIGFkZHJlc3NpbmcgZXRoaWNzIGFu
ZAo+PiBwbGFnaWFyaXNtIGNhc2VzLiAgQSBoYXJtbGVzcyB1c2Ugb2YgQUkgYnkgYSBzdHVkZW50
IHdobyBuZWdsZWN0cyB0bwo+PiBhY2tub3dsZWRnZSBBSSB1c2UsIHBlcmhhcHMgYmVjYXVzZSB0
aGV5IHdlcmUgdW5hd2FyZSBvZiB0aGUgcG9saWN5LCBtaWdodAo+PiByZWNlaXZlIG9ubHkgYSB3
YXJuaW5nICgiTGV2ZWwgSSIpIGFuZCBpZiBhbHJlYWR5IHB1Ymxpc2hlZCwgYSBjb3JyaWdlbmR1
bQo+PiB0byB0aGUgcGFwZXIgYWNrbm93bGVkZ2luZyB0aGUgQUkgdXNlLgo+Pgo+PiBJZiB0aGUg
QUkgdXNlIGNvbXByb21pc2VzIHRoZSBpbnRlZ3JpdHkgb2YgdGhlIHBhcGVyIHRoZSBwYXBlciB3
b3VsZCBvZgo+PiBjb3Vyc2UgYmUgcmVqZWN0ZWQgb3IsIGlmIGFscmVhZHkgcHVibGlzaGVkLCBy
ZXRyYWN0ZWQgKCJMZXZlbCBJSSIpLiAgV2hlbgo+PiBjYXVnaHQgZHVyaW5nIHJldmlld2luZywg
dGhlc2Uga2luZHMgb2YgdmlvbGF0aW9ucyBjYW4gYmUgaGFuZGxlZCBieQo+PiBjb25mZXJlbmNl
IGNoYWlycyAoZS5nLiB3aXRoIHRoZSBhcHByb2FjaCBNYWUgc3VnZ2VzdHMpLCB3aXRoIG5vdGlm
aWNhdGlvbgo+PiB0byBBQ00ncyBFdGhpY3MgYW5kIFBsYWdpYXJpc20gY29tbWl0dGVlLiAgSSBy
ZW1lbWJlciBob3cgYmlnIG9mIGEgZGVhbAo+PiBldmVuIGEgc2luZ2xlIHBhcGVyIHJlamVjdGlv
biB3YXMgdG8gbWUgYXMgYSBzdHVkZW50OyBJIGFtIHN1cmUgdGhhdCB0aGlzCj4+IGxldmVsIG9m
IGFjdGlvbiBpcyBlbm91Z2ggdG8gbW90aXZhdGUgY2FyZSBhbmQgY29tcGxpYW5jZSB3aXRoIGRp
c2Nsb3N1cmUKPj4gcmVxdWlyZW1lbnRzIGZvciB0aGUgdmFzdCBtYWpvcml0eSBvZiBvdXIgY29t
bXVuaXR5Lgo+Pgo+PiBUaGUgcGVuYWx0aWVzIGRvIGVzY2FsYXRlIGFjY29yZGluZyB0byB0aGUg
Y29udGV4dC4gIENhcmVsZXNzIHVzZSBieQo+PiBzb21lb25lIHdobyBzaG91bGQga25vdyBiZXR0
ZXIgKHR5cGljYWxseSBtb3JlIHNlbmlvciByZXNlYXJjaGVycykgbWlnaHQKPj4gYmUKPj4gYSBM
ZXZlbCBJSUkgdmlvbGF0aW9uLCB3aXRoIGEgMS15ZWFyIHB1YmxpY2F0aW9uL3BhcnRpY2lwYXRp
b24gYmFuOyBpZiBpdAo+PiB3YXMgaW50ZW50aW9uYWwgb3IgcmVwZWF0ZWQgaXQgd291bGQgYmUg
YSAyIHllYXIgYmFuIChMZXZlbCBJViksIGFuZCBpZiBpdAo+PiBpcyBzZXZlcmUsIGludGVudGlv
bmFsLCBhbmQgcmVwZWF0ZWQgaXQgd291bGQgYmUgTGV2ZWwgViAoNSB5ZWFyIGJhbikuICBJbgo+
PiBwcmFjdGljZSwgYmFucyBvZiA1IHllYXJzLCBvciBtb3JlIChmb3Igc3RhY2tlZCBMZXZlbCBW
IHBlbmFsdGllcykgYXJlCj4+IHR5cGljYWxseSBmb3IgdGhpbmdzIGxpa2UgcmV2aWV3aW5nIHJp
bmdzLCBzZXZlcmUgcmVzZWFyY2ggbWlzY29uZHVjdCwKPj4gc2V2ZXJlIGhhcmFzc21lbnQgb3Ig
YWJ1c2UgaW4gQUNNLXJlbGV2YW50IGNvbnRleHRzLS1pbiB3aGljaCBjYXNlIGl0IGlzCj4+IG9m
Cj4+IGNvdXJzZSB2ZXJ5IHdlbGwganVzdGlmaWVkLiAgV2l0aG91dCByZXZlYWxpbmcgZGV0YWls
cyBvZiBjb25maWRlbnRpYWwKPj4gY2FzZXMsIHNjYW5kYWxzIHRoYXQgbWFrZSB0aGUgbmV3cyBh
cmUgbGlrZWx5IHRvIGJlIGF0IHRoaXMgbGV2ZWwgb2YKPj4gc2V2ZXJpdHkgKHRvIGJlIGNsZWFy
LCAibWFrZXMgdGhlIG5ld3MiIGlzIG5vdCBhbW9uZyBvdXIgY3JpdGVyaWEtLXRoZXJlJ3MKPj4g
Y29ycmVsYXRpb24gaGVyZSwgbm90IGNhdXNhdGlvbikuICBLZWVwIGluIG1pbmQgdGhhdCBhIDUg
eWVhciBiYW4gaXMKPj4gYWxyZWFkeSBjYXJlZXItZW5kaW5nIG9yIGF0IGxlYXN0IGNhcmVlci1h
bHRlcmluZyBmb3Igc29tZW9uZSB3aG9zZSB3b3JrCj4+IGNlbnRlcnMgb24gcHVibGlzaGluZyBp
biBBQ00gdmVudWVzLgo+Pgo+PiBUaGUgQUNNIHNwZW5kcyBhIGxvdCBvZiB2b2x1bnRlZXIgdGlt
ZSBhbmQgbW9uZXkgKHNvbWUgb2YgdGhlc2UgaW52b2x2ZQo+PiBpbi1kZXB0aCBpbnZlc3RpZ2F0
aW9ucyBhbmQgbGF3eWVycykgb24gc3VjaCBpc3N1ZXMsIGFuZCB3aGVuIHRoZXkgY29tZSB0bwo+
PiB0aGUgcHVibGljYXRpb25zIGJvYXJkLCB0aGUgY29udmVyc2F0aW9ucyBpbnZvbHZlIGNhcmVm
dWwgYW5kIHN1YnN0YW50aXZlCj4+IGRlbGliZXJhdGlvbiwgd2l0aCB0aGUgdHlwaWNhbCByZXN1
bHQgYSBzdHJvbmcgY29uc2Vuc3VzIG9uIHRoZSBhY3Rpb24KPj4gdGFrZW4uIEhhdmluZyBiZWVu
IGEgcGFydCBvZiB0aGUgcHJvY2VzcywgSSBjYW4gc2F5IHdoaWxlIGl0IGlzIGltcGVyZmVjdCwK
Pj4gY29zdGx5LCBhbmQgc29tZXRpbWVzIHNsb3csIGl0IGlzIGdlbmVyYWxseSBmYWlyIGFuZCBp
dHMgb3V0Y29tZXMgYWNoaWV2ZQo+PiBhCj4+IGxhcmdlIG1lYXN1cmUgb2YganVzdGljZSBhbmQg
aGVscCB0byBwcm90ZWN0IG91ciBjb21tdW5pdHkuCj4+Cj4+IEJlc3QsCj4+Cj4+IEpvbmF0aGFu
Cj4+Cj4+IE9uIFR1ZSwgTWFyIDE3LCAyMDI2IGF0IDM6MzDigK9BTSBEcm9zc29wb3Vsb3UsIFNv
cGhpYSA8Cj4+IHMuZHJvc3NvcG91bG91QGltcGVyaWFsLmFjLnVrPiB3cm90ZToKPj4KPj4gPiBX
aGF0IGhhcHBlbnMgdG8gYXV0aG9ycyB3aGVuIHN1Y2ggYW4gQUkgZ2VuZXJhdGVkIHBhcGVyIGlz
IGVuY291bnRlcmVkPwo+PiBJCj4+ID4gd291bGQgaGF2ZSB0aG91Z2h0IHRoYXQgaWYgQUNNIGhh
ZCBhIHN0cmljdCBwb2xpY3ksIGVnIG5vIHBhcGVycwo+PiBwdWJsaXNoZWQKPj4gPiBmb3IgdGhl
IG5leHQgNSB5ZWFycywgdGhlbiB0aGUgcHJvYmxlbSB3b3VsZCBiZSBzaWduaWZpY2FudGx5IHJl
ZHVjZWQKPj4gPgo+PiA+ICAgICAgIFNvcGhpYQo+PiA+IOKAlOKAlOKAlOKAouKAouKAouKAlOKA
lOKAlAo+PiA+IFNlbnQgZnJvbSBtb2JpbGUgcGhvbmUsIGhlbmNlIHN1Y2NpbmN0Cj4+ID4KPj4g
PiA+IE9uIDE3IE1hciAyMDI2LCBhdCAwMzo1NCwgSm9uYXRoYW4gQWxkcmljaCA8Cj4+IGpvbmF0
aGFuLmFsZHJpY2hAY3MuY211LmVkdT4KPj4gPiB3cm90ZToKPj4gPiA+Cj4+ID4gPiDvu79DQVVU
SU9OOiBUaGlzIG1lc3NhZ2UgY2FtZSBmcm9tIG91dHNpZGUgSW1wZXJpYWwuIERvIG5vdCBjbGlj
ayBsaW5rcwo+PiBvcgo+PiA+IG9wZW4gYXR0YWNobWVudHMgdW5sZXNzIHlvdSByZWNvZ25pc2Ug
dGhlIHNlbmRlciBhbmQgd2VyZSBleHBlY3RpbmcgdGhpcwo+PiA+IGVtYWlsLgo+PiA+ID4KPj4g
PiA+Cj4+ID4gPiBbIFRoZSBUeXBlcyBGb3J1bSwKPj4gPiBodHRwOi8vbGlzdHMuc2Vhcy51cGVu
bi5lZHUvbWFpbG1hbi9saXN0aW5mby90eXBlcy1saXN0ICAgXQo+PiA+ID4KPj4gPiA+IFVnaCwg
SSBoYXZlIGJlZW4gZm9ydHVuYXRlIGVub3VnaCBub3QgdG8gZW5jb3VudGVyIHRoYXQgaW4gbXkK
Pj4gcmV2aWV3aW5nLgo+PiA+ID4gQnV0IEkgaGVhciBpdCBpcyB2ZXJ5IGNvbW1vbiBpbiBvdGhl
ciBzdWJmaWVsZHMgc28gaXQgd2FzIHByb2JhYmx5Cj4+IGp1c3QgYQo+PiA+ID4gbWF0dGVyIG9m
IHRpbWUgYmVmb3JlIGl0IGdvdCB0byBQTC4KPj4gPiA+Cj4+ID4gPiBJZiB0aGlzIGlzIGFuIEFD
TSBjb25mZXJlbmNlLCBvdXIgcG9saWNpZXMgYWxyZWFkeSByZXF1aXJlIGRpc2Nsb3NpbmcKPj4g
dGhlCj4+ID4gPiB1c2Ugb2YgQUkgZm9yIGFueXRoaW5nIGJleW9uZCBncmFtbWFyLWNoZWNraW5n
LXN0eWxlIGFwcGxpY2F0aW9uczoKPj4gPiA+Cj4+ID4gPgo+PiA+Cj4+IGh0dHBzOi8vdXJsZGVm
ZW5zZS5jb20vdjMvX19odHRwczovL3d3dy5hY20ub3JnL3B1YmxpY2F0aW9ucy9wb2xpY2llcy9u
ZXctYWNtLXBvbGljeS1vbi1hdXRob3JzaGlwX187ISFJQnpXTFVzIVJDNEZjQTAtSUhjNTVBeGRR
TXVXTkhJZnNEZE5xQWxidmgybTdUcFNrN3dDYVRabDdfaVFzTVpmcXUtb012NzY4a3BfN3Z3SU5j
RVBNdHVnUUdNUlZEOGpjVnVlTWp3ZXZrRVl1NVpMbnckCj4+ID4gPgo+PiA+ID4gSWYgdGhlcmUg
YXJlIGFueSBub24tQUNNIFBMIGNvbmZlcmVuY2VzIHRoYXQgZG9uJ3QgaGF2ZSB0aGlzIHBvbGlj
eSwgSQo+PiA+ID4gd291bGQgZW5jb3VyYWdlIHRoZW0gdG8gYWRvcHQgaXQuCj4+ID4gPgo+PiA+
ID4gQUNNIGlzIGV2YWx1YXRpbmcgdG9vbHMgdGhhdCBjYW4gKGhldXJpc3RpY2FsbHkpIGRldGVj
dCBBSSB1c2UsIGFzCj4+IHdlbGwKPj4gPiBhcwo+PiA+ID4gdG9vbHMgdGhhdCBjYW4gaWRlbnRp
ZnkgaGFsbHVjaW5hdGVkIHJlZmVyZW5jZXMuICBXZSBzaG91bGQgc3RhcnQgdG8KPj4gc2VlCj4+
ID4gPiBkZXBsb3ltZW50IG9mIHRoZXNlIHdpdGhpbiB0aGUgbmV4dCB5ZWFyLS1pZiBhbnlvbmUg
b24gdGhpcyBsaXN0IGlzIGFuCj4+ID4gQUNNCj4+ID4gPiBQQyBjaGFpciBhbmQgd2FudHMgdG8g
ZG8gYW4gZWFybHkgdHJpYWwsIGxldCBtZSBrbm93IGFuZCBJIGNhbiBjb25uZWN0Cj4+ID4geW91
Cj4+ID4gPiB3aXRoIHBlb3BsZSB3aG8gbWF5IGJlIGFibGUgdG8gYXJyYW5nZSB0aGF0LiAgSXQn
cyBvZiBjb3Vyc2UKPj4gaW1wb3J0YW50IHRvCj4+ID4gPiBoYXZlIGEgaHVtYW4gdmVyaWZ5IGFu
eSB0b29sIHJlcG9ydHMgYmFzZWQgb24gaGV1cmlzdGljcyBhcyB0aGV5IG1heQo+PiBiZQo+PiA+
ID4gaW5jb3JyZWN0LCBidXQgdGhlIHBvaW50IGlzIHRoYXQgdGhleSBjYW4gc2F2ZSB0aW1lIGlu
IGlkZW50aWZ5aW5nCj4+ID4gcHJvYmxlbXMuCj4+ID4gPgo+PiA+ID4gUmVnYXJkaW5nIHJldmll
d2luZyB3b3JrbG9hZCwgaXQncyB2ZXJ5IHVuZm9ydHVuYXRlLiAgVGhlIHRvb2xzCj4+IG1lbnRp
b25lZAo+PiA+ID4gYWJvdmUgd2lsbCBldmVudHVhbGx5IGhlbHAgc29tZS4gIEluIHRoZSBtZWFu
dGltZSwgaXQncyBteSB2aWV3IHRoYXQKPj4gb25jZQo+PiA+ID4geW91IGRldGVybWluZSB0aGF0
IGEgcGFwZXIgaXMgc28gZmxhd2VkIGl0IGNhbm5vdCBiZSBhY2NlcHRlZCwKPj4gZXNwZWNpYWxs
eQo+PiA+ID4gaWYgdGhhdCBmbGF3IGludm9sdmVzIG1pc2NvbmR1Y3Qgc3VjaCBhcyB1bmRpc2Ns
b3NlZCBBSSB1c2Ugb3IKPj4gb3RoZXJ3aXNlCj4+ID4gPiBtYWtlcyB0aGUgcGFwZXIgdmVyeSBk
aWZmaWN1bHQgdG8gcmVhZCwgaXQncyByZWFzb25hYmxlIGZvciB0aGUKPj4gcmV2aWV3ZXIKPj4g
PiB0bwo+PiA+ID4gc3RvcCByZWFkaW5nIGFuZCByZXR1cm4gYSByZXZpZXcgYmFzZWQgb24gdGhl
IHBvcnRpb24gdGhleSByZWFkLiAgT2YKPj4gPiA+IGNvdXJzZSwgSSB3b3VsZCBtZW50aW9uIHRo
ZSBzaXR1YXRpb24gdG8gdGhlIFBDIGNoYWlyIHRvIG1ha2Ugc3VyZQo+PiB0aGV5Cj4+ID4gYXJl
Cj4+ID4gPiBPSyB3aXRoIHRoaXM7IG1vc3QgcHJvYmFibHkgYXJlLgo+PiA+ID4KPj4gPiA+IEJl
c3QsCj4+ID4gPgo+PiA+ID4gSm9uYXRoYW4KPj4gPiA+Cj4+ID4gPgo+PiA+ID4+IE9uIE1vbiwg
TWFyIDE2LCAyMDI2IGF0IDk6NTDigK9QTSBTdGVwaGFuaWUgQmFsemVyIDwKPj4gPiBzdGVwaGFu
aWUuYmFsemVyQGdtYWlsLmNvbT4KPj4gPiA+PiB3cm90ZToKPj4gPiA+Pgo+PiA+ID4+IFsgVGhl
IFR5cGVzIEZvcnVtLAo+PiA+IGh0dHA6Ly9saXN0cy5zZWFzLnVwZW5uLmVkdS9tYWlsbWFuL2xp
c3RpbmZvL3R5cGVzLWxpc3QgCj4+ID4gPj4gXQo+PiA+ID4+Cj4+ID4gPj4gRGVhciBhbGwsCj4+
ID4gPj4KPj4gPiA+PiBJIGhhdmUgbm93IGJlZW4gbnVtZXJvdXMgdGltZXMgb24gdGhlIHJlY2Vp
dmluZyBlbmQgb24gYSB3aGF0IGl0Cj4+IGFwcGVhcnMKPj4gPiA+PiB0byBtZSAoYWxtb3N0KSBl
bnRpcmVseSBBSS1nZW5lcmF0ZWQgY29uZmVyZW5jZSBzdWJtaXNzaW9ucyB0aGF0IEkKPj4gd2Fz
Cj4+ID4gPj4gYXNzaWduZWQgdG8gcmV2aWV3LiAgT2YgY291cnNlIEkgaGF2ZSBubyBwcm9vZiwg
YnV0IHRvIG1lIGl0IHdhcwo+PiBwcmV0dHkKPj4gPiA+PiBvYnZpb3VzLiAgVGhlIHN1Ym1pc3Np
b25zIGluIHF1ZXN0aW9uIGNvbnNpc3Qgb2YgYW4gYW1hbGdhbWF0aW9uIG9mCj4+ID4gPj4gbWVh
bmluZ2Z1bCB3b3JkcyAoc29tZXRpbWVzIG5vdCBlbnRpcmVseSBmcm9tIHRoZSBjb250ZXh0IHRo
ZSBwYXBlcgo+PiA+ID4+IG91Z2h0IHRvIGJlIGFib3V0KSwgYXJlIGdlbmVyYWxseSB3ZWxsIHdy
aXR0ZW4sIGFsdGhvdWdoIG1lYW5pbmdsZXNzLAo+PiA+ID4+IGFuZCBldmVuIGNvbWUgYmFja2Vk
IHVwIHdpdGggc29tZSBydWxlcyB3aXRoIGhvcml6b250YWwgbGluZXMgYW5kCj4+IHByb29mCj4+
ID4gPj4gc2tldGNoZXMgKHNvbWV0aW1lcyBmcm9tIHZhcmlvdXMgY29udGV4dHMpLiAgVGhhdCBj
YXRjaCwgaG93ZXZlciwgaXMKPj4gPiA+PiB0aGF0IHRoZSB3aG9sZSBjb21wb3NpdGlvbiBkb2Vz
bid0IG1ha2Ugc2Vuc2UuCj4+ID4gPj4KPj4gPiA+PiBXaGF0IGFyZSB3ZSBnb2luZyB0byBkbyBh
Ym91dCB0aGlzIGFzIGEgY29tbXVuaXR5Pwo+PiA+ID4+Cj4+ID4gPj4gSSBoYXZlIG51bWVyb3Vz
IGNvbmNlcm5zIGhlcmU6IE15IGltbWVkaWF0ZSBjb25jZXJuIGlzIHRoYXQgSSBkbyBub3QKPj4g
PiA+PiBsaWtlIHRvIHNwZW5kIG15IHRpbWUgb24gc3VjaCBzdWJtaXNzaW9ucy4gIEV2ZW4gdGhv
dWdoIGl0J3MgcXVpdGUKPj4gPiA+PiBvYnZpb3VzIGltbWVkaWF0ZWx5IHRoYXQgdGhlIHBhcGVy
IGlzIG1lYW5pbmdsZXNzLCBpdCBzdGlsbCB0YWtlcwo+PiBzb21lCj4+ID4gPj4gdGltZSB0byBt
YWtlIHN1cmUgYW5kIGp1c3RpZnkgdGhlIHZlcmRpY3QuICBBbm90aGVyIGNvbmNlcm4gSSBoYXZl
IGlzCj4+ID4gPj4gdGhlIHJpc2sgdGhhdCwgdW5kZXIgdGltZSBwcmVzc3VyZSwgbm8gZHVlIGRp
bGlnZW5jZSBpcyBkb25lLCBhbmQgd2UKPj4gbWF5Cj4+ID4gPj4gZW5kIHVwIGFjY2VwdGluZyBz
dWNoIGEgcGFwZXIuCj4+ID4gPj4KPj4gPiA+PiBBcyBhIGZpcnN0IHN0ZXAgd2UgbWF5IHJlcXVp
cmUgYXV0aG9ycyB0byBkZWNsYXJlIHdoZXRoZXIgQUkgd2FzCj4+IHVzZWQgaW4KPj4gPiA+PiBw
cmVwYXJpbmcgdGhlaXIgc3VibWlzc2lvbiBhbmQgd2hhdCBmb3IgYW5kIHdlIGRlbGltaXQgd2hh
dCB1c2VzIGFyZQo+PiA+ID4+IHBlcm1pdHRlZC4KPj4gPiA+Pgo+PiA+ID4+IExvb2tpbmcgZm9y
d2FyZCB0byB5b3VyIHRob3VnaHRzLAo+PiA+ID4+Cj4+ID4gPj4gU3RlcGhhbmllCj4+ID4gPj4K
Pj4gPiA+Pgo+PiA+Cj4+Cj4K