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=