IFl 2025, Second call for papers

Mart Lubbers via clean-list <[email protected]> Tue, 3 Jun 2025 09:35:30 +0000
Newsgroups gmane.comp.lang.clean
Message-ID <CAGtcRvDdbZEJ2GhntpwTVekF2NzMRwpQ1izB5frWJB_sxcoLPw@mail.gmail.com>
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09CiAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgSUZMIDIwMjUKCjM3
dGggU3ltcG9zaXVtIG9uIEltcGxlbWVudGF0aW9uIGFuZCBBcHBsaWNhdGlvbiBvZiBGdW5jdGlv
bmFsIExhbmd1YWdlcwoKICAgICAgICAgICAgICAgICAgICAgICAgTW9udGV2aWRlbywgVXJ1Z3Vh
eQoKICAgICAgICAgICAgICAgICAgICAgICAgT2N0b2JlciAxLTMsIDIwMjUKCiAgICAgICAgICAg
ICAgICAgICAgICAgaHR0cHM6Ly9ldXIwMS5zYWZlbGlua3MucHJvdGVjdGlvbi5vdXRsb29rLmNv
bS8/dXJsPWh0dHBzJTNBJTJGJTJGd3d3LmZpbmcuZWR1LnV5JTJGaW5jbyUyRmNvbmdyZXNvcyUy
RmlmbDIwMjUmZGF0YT0wNSU3QzAyJTdDY2xlYW4tbGlzdCU0MHNjaWVuY2UucnUubmwlN0MxYjgy
N2E2MzZiNmU0ODEyNTMwMzA4ZGRhMjgxZmQzOCU3QzA4NDU3OGQ5NDAwZDRhNWFhN2M3ZTc2Y2E0
N2FmNDAwJTdDMSU3QzAlN0M2Mzg4NDU0MDI4MDMzNjYwMzMlN0NVbmtub3duJTdDVFdGcGJHWnNi
M2Q4ZXlKRmJYQjBlVTFoY0draU9uUnlkV1VzSWxZaU9pSXdMakF1TURBd01DSXNJbEFpT2lKWGFX
NHpNaUlzSWtGT0lqb2lUV0ZwYkNJc0lsZFVJam95ZlElM0QlM0QlN0M4MDAwMCU3QyU3QyU3QyZz
ZGF0YT0xVG9DYWNEcjJjRWhCMTlpRHhvZE1TNk5NVTZTZyUyRkhQSFZCZTFrbERtcTglM0QmcmVz
ZXJ2ZWQ9MAoKPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09
PT09PT09PT09PT09PT09PT09PT09CiMjIyBTY29wZQoKVGhlIGdvYWwgb2YgdGhlIElGTCBzeW1w
b3NpYSBpcyB0byBicmluZyB0b2dldGhlciByZXNlYXJjaGVycyBhY3RpdmVseQplbmdhZ2VkIGlu
IHRoZSBpbXBsZW1lbnRhdGlvbiBhbmQgYXBwbGljYXRpb24gb2YgZnVuY3Rpb25hbCBhbmQKZnVu
Y3Rpb24tYmFzZWQgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2VzLiBJRkwgMjAyNSB3aWxsIGJlIGEgdmVu
dWUgZm9yCnJlc2VhcmNoZXJzIHRvIHByZXNlbnQgYW5kIGRpc2N1c3MgbmV3IGlkZWFzIGFuZCBj
b25jZXB0cywgd29yayBpbgpwcm9ncmVzcywgYW5kIHB1YmxpY2F0aW9uLXJpcGUgcmVzdWx0cyBy
ZWxhdGVkIHRvIHRoZSBpbXBsZW1lbnRhdGlvbiBhbmQKYXBwbGljYXRpb24gb2YgZnVuY3Rpb25h
bCBsYW5ndWFnZXMgYW5kIGZ1bmN0aW9uLWJhc2VkIHByb2dyYW1taW5nLgoKIyMjIFRvcGljcyBv
ZiBpbnRlcmVzdAoKVG9waWNzIG9mIGludGVyZXN0IHRvIElGTCBpbmNsdWRlLCBidXQgYXJlIG5v
dCBsaW1pdGVkIHRvOgoKLSBsYW5ndWFnZSBjb25jZXB0cwotIHR5cGUgc3lzdGVtcywgdHlwZSBj
aGVja2luZywgdHlwZSBpbmZlcmVuY2luZwotIGNvbXBpbGF0aW9uIHRlY2huaXF1ZXMKLSBzdGFn
ZWQgY29tcGlsYXRpb24KLSBydW4tdGltZSBmdW5jdGlvbiBzcGVjaWFsaXNhdGlvbgotIHJ1bi10
aW1lIGNvZGUgZ2VuZXJhdGlvbgotIHBhcnRpYWwgZXZhbHVhdGlvbgotIChhYnN0cmFjdCkgaW50
ZXJwcmV0YXRpb24KLSBtZXRhLXByb2dyYW1taW5nCi0gZ2VuZXJpYyBwcm9ncmFtbWluZwotIGF1
dG9tYXRpYyBwcm9ncmFtIGdlbmVyYXRpb24KLSBhcnJheSBwcm9jZXNzaW5nCi0gY29uY3VycmVu
dC9wYXJhbGxlbCBwcm9ncmFtbWluZwotIGNvbmN1cnJlbnQvcGFyYWxsZWwgcHJvZ3JhbSBleGVj
dXRpb24KLSBlbWJlZGRlZCBzeXN0ZW1zCi0gd2ViIGFwcGxpY2F0aW9ucwotIChlbWJlZGRlZCkg
ZG9tYWluIHNwZWNpZmljIGxhbmd1YWdlcwotIHNlY3VyaXR5Ci0gbm92ZWwgbWVtb3J5IG1hbmFn
ZW1lbnQgdGVjaG5pcXVlcwotIHJ1bi10aW1lIHByb2ZpbGluZyBwZXJmb3JtYW5jZSBtZWFzdXJl
bWVudHMKLSBkZWJ1Z2dpbmcgYW5kIHRyYWNpbmcKLSB2aXJ0dWFsL2Fic3RyYWN0IG1hY2hpbmUg
YXJjaGl0ZWN0dXJlcwotIHZhbGlkYXRpb24sIHZlcmlmaWNhdGlvbiBvZiBmdW5jdGlvbmFsIHBy
b2dyYW1zCi0gdG9vbHMgYW5kIHByb2dyYW1taW5nIHRlY2huaXF1ZXMKCiMjIyBQZWVyLXJldmll
dyBwcm9jZXNzCgpEaWZmZXJlbnRseSBmcm9tIHByZXZpb3VzIGVkaXRpb25zIG9mIElGTCwgSUZM
IDIwMjUgc29saWNpdHMgdHdvIGtpbmRzCm9mIHN1Ym1pc3Npb25zOgoKKiBSZWd1bGFyIHBhcGVy
cyAoMTIgcGFnZXMgZXhjbHVkaW5nIHJlZmVyZW5jZXMpCiogRHJhZnQgcGFwZXJzIGZvciBwcmVz
ZW50YXRpb25zICgnd2VhaycgbGltaXQgYmV0d2VlbiA4IGFuZCAxNSBwYWdlcykKClJlZ3VsYXIg
cGFwZXJzIHdpbGwgdW5kZXJnbyBhIHJpZ29yb3VzIHJldmlldyBieSB0aGUgcHJvZ3JhbQpjb21t
aXR0ZWUsIGFuZCB3aWxsIGJlIGV2YWx1YXRlZCBhY2NvcmRpbmcgdG8gdGhlaXIgY29ycmVjdG5l
c3MsCm5vdmVsdHksIG9yaWdpbmFsaXR5LCByZWxldmFuY2UsIHNpZ25pZmljYW5jZSwgYW5kIGNs
YXJpdHkuIFJlZ3VsYXIKcGFwZXJzIGNhbiBiZTogYWNjZXB0ZWQgZm9yIHB1YmxpY2F0aW9uIGlu
IHRoZSBmb3JtYWwgcHJvY2VlZGluZ3MsCmFjY2VwdGVkIGZvciBwcmVzZW50YXRpb24gYXQgdGhl
IHN5bXBvc2l1bSBvciByZWplY3RlZC4KRHJhZnQgcGFwZXJzIHdpbGwgYmUgc2NyZWVuZWQgdG8g
bWFrZSBzdXJlIHRoYXQgdGhleSBhcmUgd2l0aGluIHRoZQpzY29wZSBvZiBJRkwsIGFuZCB3aWxs
IGJlIGFjY2VwdGVkIGZvciBwcmVzZW50YXRpb24gb3IgcmVqZWN0ZWQKYWNjb3JkaW5nbHkuCldl
IHJlcXVpcmUgdGhhdCBhdCBsZWFzdCBvbmUgb2YgdGhlIGF1dGhvcnMgcHJlc2VudCB0aGUgd29y
ayBhdCBJRkwgMjAyNS4KQXV0aG9ycyBvZiBhY2NlcHRlZCBwcmVzZW50YXRpb25zIHdpbGwgYmUg
Z2l2ZW4gdGhlIG9wcG9ydHVuaXR5IHRvCmluY29ycG9yYXRlIHRoZSBmZWVkYmFjayBmcm9tIGRp
c2N1c3Npb25zIGF0IHRoZSBzeW1wb3NpdW0gYW5kIHdpbGwgYmUKaW52aXRlZCB0byBzdWJtaXQg
YSByZXZpc2VkIGZ1bGwgYXJ0aWNsZSBmb3IgdGhlIGZvcm1hbApwb3N0LXByb2NlZWRpbmdzIGFm
dGVyIHRoZSBzeW1wb3NpdW0uIFRoZSBwcm9ncmFtIGNvbW1pdHRlZSB3aWxsCmV2YWx1YXRlIHRo
ZXNlIHN1Ym1pc3Npb25zIGFjY29yZGluZyB0byB0aGVpciBjb3JyZWN0bmVzcywgbm92ZWx0eSwK
b3JpZ2luYWxpdHksIHJlbGV2YW5jZSwgc2lnbmlmaWNhbmNlLCBhbmQgY2xhcml0eSwgYW5kIHdp
bGwgdGhlcmVieQpkZXRlcm1pbmUgd2hldGhlciB0aGUgcGFwZXIgaXMgYWNjZXB0ZWQgb3IgcmVq
ZWN0ZWQuCgojIyMgSW1wb3J0YW50IGRhdGVzCgpTdWJtaXNzaW9uIG9mIHJlZ3VsYXIgcGFwZXJz
OiAgICAgICAgICAgICAgICAgICAgICBKdW5lIDE2LCAyMDI1ClJlZ3VsYXIgcGFwZXJzIG5vdGlm
aWNhdGlvbjogICAgICAgICAgICAgICAgICAgICAgICAgIEF1Z3VzdCA0LCAyMDI1ClN1Ym1pc3Np
b24gb2YgZHJhZnQgcGFwZXJzOiAgICAgICAgICAgICAgICAgICAgICAgICAgQXVndXN0IDQsIDIw
MjUKRHJhZnQgcGFwZXJzIG5vdGlmaWNhdGlvbjogICAgICAgICAgICAgICAgICAgICAgICAgICAg
ICAgQXVndXN0IDExLCAyMDI1CkRlYWRsaW5lIGZvciBlYXJseSByZWdpc3RyYXRpb246ICAgICAg
ICAgICAgICAgICAgICAgIFNlcHRlbWJlciA1LCAyMDI1ClN1Ym1pc3Npb24gb2YgcHJlLXByb2Nl
ZWRpbmdzIHZlcnNpb246ICAgICAgIFNlcHRlbWJlciA4LCAyMDI1CklGTCBTeW1wb3NpdW06ICAg
ICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICAgICBPY3RvYmVyIDEtMywgMjAy
NQpTdWJtaXNzaW9uIG9mIHBhcGVycyBmb3IgcG9zdC1wcm9jZWVkaW5nczogRGVjZW1iZXIgMTUs
IDIwMjUKTm90aWZpY2F0aW9uIG9mIGFjY2VwdGFuY2U6ICAgICAgICAgICAgICAgICAgICAgICAg
ICAgIEZlYnJ1YXJ5IDI4LCAyMDI2CkNhbWVyYS1yZWFkeSB2ZXJzaW9uOiAgICAgICAgICAgICAg
ICAgICAgICAgICAgICAgICAgIE1hcmNoIDMwLCAyMDI2CgpEZWFkbGluZXMgYXJlIGVuZCBvZiBk
YXkgQW55d2hlcmUgb24gRWFydGggKFVUQy0xMikKKGh0dHBzOi8vZXVyMDEuc2FmZWxpbmtzLnBy
b3RlY3Rpb24ub3V0bG9vay5jb20vP3VybD1odHRwcyUzQSUyRiUyRnd3dy50aW1lYW5kZGF0ZS5j
b20lMkZ0aW1lJTJGem9uZXMlMkZhb2UmZGF0YT0wNSU3QzAyJTdDY2xlYW4tbGlzdCU0MHNjaWVu
Y2UucnUubmwlN0MxYjgyN2E2MzZiNmU0ODEyNTMwMzA4ZGRhMjgxZmQzOCU3QzA4NDU3OGQ5NDAw
ZDRhNWFhN2M3ZTc2Y2E0N2FmNDAwJTdDMSU3QzAlN0M2Mzg4NDU0MDI4MDMzOTgwMzQlN0NVbmtu
b3duJTdDVFdGcGJHWnNiM2Q4ZXlKRmJYQjBlVTFoY0draU9uUnlkV1VzSWxZaU9pSXdMakF1TURB
d01DSXNJbEFpT2lKWGFXNHpNaUlzSWtGT0lqb2lUV0ZwYkNJc0lsZFVJam95ZlElM0QlM0QlN0M4
MDAwMCU3QyU3QyU3QyZzZGF0YT0xcXBqcmRkQ0hwZUhINzc4a0FVJTJGZ25NcXlUeXdoMFBIam1w
ZCUyQmEyVHlmdyUzRCZyZXNlcnZlZD0wKS4KCiMjIyBTdWJtaXNzaW9uIGRldGFpbHMKCkFsbCBj
b250cmlidXRpb25zIG11c3QgYmUgd3JpdHRlbiBpbiBFbmdsaXNoLiBQYXBlcnMgbXVzdCB1c2Ug
dGhlIEFDTQp0d28gY29sdW1ucyBjb25mZXJlbmNlIGZvcm1hdCwgd2hpY2ggY2FuIGJlIGZvdW5k
IGF0OgoKICAgIGh0dHBzOi8vZXVyMDEuc2FmZWxpbmtzLnByb3RlY3Rpb24ub3V0bG9vay5jb20v
P3VybD1odHRwJTNBJTJGJTJGd3d3LmFjbS5vcmclMkZwdWJsaWNhdGlvbnMlMkZwcm9jZWVkaW5n
cy10ZW1wbGF0ZSZkYXRhPTA1JTdDMDIlN0NjbGVhbi1saXN0JTQwc2NpZW5jZS5ydS5ubCU3QzFi
ODI3YTYzNmI2ZTQ4MTI1MzAzMDhkZGEyODFmZDM4JTdDMDg0NTc4ZDk0MDBkNGE1YWE3YzdlNzZj
YTQ3YWY0MDAlN0MxJTdDMCU3QzYzODg0NTQwMjgwMzQxOTY4NCU3Q1Vua25vd24lN0NUV0ZwYkda
c2IzZDhleUpGYlhCMGVVMWhjR2tpT25SeWRXVXNJbFlpT2lJd0xqQXVNREF3TUNJc0lsQWlPaUpY
YVc0ek1pSXNJa0ZPSWpvaVRXRnBiQ0lzSWxkVUlqb3lmUSUzRCUzRCU3QzgwMDAwJTdDJTdDJTdD
JnNkYXRhPURvOHZYVjdKd1JJbm94WHVFZkRxOGlSQmpWNW0lMkJRWU56c0JSRlNleFJnRSUzRCZy
ZXNlcnZlZD0wCgpTdWJtaXQgeW91ciBwYXBlciBoZXJlOgoKICAgIGh0dHBzOi8vZXVyMDEuc2Fm
ZWxpbmtzLnByb3RlY3Rpb24ub3V0bG9vay5jb20vP3VybD1odHRwcyUzQSUyRiUyRmVhc3ljaGFp
ci5vcmclMkZjb25mZXJlbmNlcyUyRiUzRmNvbmYlM0RpZmwyMDI1JmRhdGE9MDUlN0MwMiU3Q2Ns
ZWFuLWxpc3QlNDBzY2llbmNlLnJ1Lm5sJTdDMWI4MjdhNjM2YjZlNDgxMjUzMDMwOGRkYTI4MWZk
MzglN0MwODQ1NzhkOTQwMGQ0YTVhYTdjN2U3NmNhNDdhZjQwMCU3QzElN0MwJTdDNjM4ODQ1NDAy
ODAzNDM4OTI5JTdDVW5rbm93biU3Q1RXRnBiR1pzYjNkOGV5SkZiWEIwZVUxaGNHa2lPblJ5ZFdV
c0lsWWlPaUl3TGpBdU1EQXdNQ0lzSWxBaU9pSlhhVzR6TWlJc0lrRk9Jam9pVFdGcGJDSXNJbGRV
SWpveWZRJTNEJTNEJTdDODAwMDAlN0MlN0MlN0Mmc2RhdGE9MzFYdzliSXdtSXglMkY5QTMzR0hi
cVhLS3pxSmtSaiUyRnlST0xUaHR4UkhUUmslM0QmcmVzZXJ2ZWQ9MAoKSW1wb3J0YW50IG5vdGUg
dG8gYXV0aG9ycyBhYm91dCB0aGUgbmV3IEFDTSBvcGVuIGFjY2VzcyBwdWJsaXNoaW5nIG1vZGVs
CkFDTSBoYXMgaW50cm9kdWNlZCBhIG5ldyBvcGVuIGFjY2VzcyBwdWJsaXNoaW5nIG1vZGVsIGZv
ciB0aGUgSW50ZXJuYXRpb25hbAoKQ29uZmVyZW5jZSBQcm9jZWVkaW5ncyBTZXJpZXMgKElDUFMp
LiBBdXRob3JzIGJhc2VkIGF0IGluc3RpdHV0aW9ucyB0aGF0IGFyZQpub3QgeWV0IHBhcnQgb2Yg
dGhlIEFDTSBPcGVuIHByb2dyYW0gYW5kIGRvIG5vdCBxdWFsaWZ5IGZvciBhIHdhaXZlciB3aWxs
IGJlCnJlcXVpcmVkIHRvIHBheSBhbiBhcnRpY2xlIHByb2Nlc3NpbmcgY2hhcmdlIChBUEMpIHRv
IHB1Ymxpc2ggdGhlaXIgSUNQUwphcnRpY2xlIGluIHRoZSBBQ00gRGlnaXRhbCBMaWJyYXJ5LiBU
byBkZXRlcm1pbmUgd2hldGhlciBvciBub3QgYW4gQVBDIHdpbGwgYmUKYXBwbGljYWJsZSB0byB5
b3VyIGFydGljbGUsIHBsZWFzZSBmb2xsb3cgdGhlIGRldGFpbGVkIGd1aWRhbmNlIGhlcmU6Cmh0
dHBzOi8vZXVyMDEuc2FmZWxpbmtzLnByb3RlY3Rpb24ub3V0bG9vay5jb20vP3VybD1odHRwcyUz
QSUyRiUyRnd3dy5hY20ub3JnJTJGcHVibGljYXRpb25zJTJGaWNwcyUyRmF1dGhvci1ndWlkYW5j
ZSZkYXRhPTA1JTdDMDIlN0NjbGVhbi1saXN0JTQwc2NpZW5jZS5ydS5ubCU3QzFiODI3YTYzNmI2
ZTQ4MTI1MzAzMDhkZGEyODFmZDM4JTdDMDg0NTc4ZDk0MDBkNGE1YWE3YzdlNzZjYTQ3YWY0MDAl
N0MxJTdDMCU3QzYzODg0NTQwMjgwMzQ1NTYwMiU3Q1Vua25vd24lN0NUV0ZwYkdac2IzZDhleUpG
YlhCMGVVMWhjR2tpT25SeWRXVXNJbFlpT2lJd0xqQXVNREF3TUNJc0lsQWlPaUpYYVc0ek1pSXNJ
a0ZPSWpvaVRXRnBiQ0lzSWxkVUlqb3lmUSUzRCUzRCU3QzgwMDAwJTdDJTdDJTdDJnNkYXRhPTkw
aUVKWDlJSW1lR3RGTTZ6Zzd4aDRES2pqdE1GTEslMkZYNTJYQjY5ME5COCUzRCZyZXNlcnZlZD0w
LgoKRnVydGhlciBpbmZvcm1hdGlvbiBtYXkgYmUgZm91bmQgb24gdGhlIEFDTSB3ZWJzaXRlLCBh
cyBmb2xsb3dzOgoKLSBGdWxsIGRldGFpbHMgb2YgdGhlIG5ldyBJQ1BTIHB1Ymxpc2hpbmcgbW9k
ZWw6CiAgaHR0cHM6Ly9ldXIwMS5zYWZlbGlua3MucHJvdGVjdGlvbi5vdXRsb29rLmNvbS8/dXJs
PWh0dHBzJTNBJTJGJTJGd3d3LmFjbS5vcmclMkZwdWJsaWNhdGlvbnMlMkZpY3BzJTJGZmFxJmRh
dGE9MDUlN0MwMiU3Q2NsZWFuLWxpc3QlNDBzY2llbmNlLnJ1Lm5sJTdDMWI4MjdhNjM2YjZlNDgx
MjUzMDMwOGRkYTI4MWZkMzglN0MwODQ1NzhkOTQwMGQ0YTVhYTdjN2U3NmNhNDdhZjQwMCU3QzEl
N0MwJTdDNjM4ODQ1NDAyODAzNDc0MjA2JTdDVW5rbm93biU3Q1RXRnBiR1pzYjNkOGV5SkZiWEIw
ZVUxaGNHa2lPblJ5ZFdVc0lsWWlPaUl3TGpBdU1EQXdNQ0lzSWxBaU9pSlhhVzR6TWlJc0lrRk9J
am9pVFdGcGJDSXNJbGRVSWpveWZRJTNEJTNEJTdDODAwMDAlN0MlN0MlN0Mmc2RhdGE9THIxJTJC
NG5EZyUyQnNic1dqcEFSZ2tXQndIeHJ1bnBNSUUzclFVTjdJankwcDAlM0QmcmVzZXJ2ZWQ9MAoK
LSBGdWxsIGRldGFpbHMgb2YgdGhlIEFDTSBPcGVuIHByb2dyYW06CiAgaHR0cHM6Ly9ldXIwMS5z
YWZlbGlua3MucHJvdGVjdGlvbi5vdXRsb29rLmNvbS8/dXJsPWh0dHBzJTNBJTJGJTJGd3d3LmFj
bS5vcmclMkZwdWJsaWNhdGlvbnMlMkZvcGVuYWNjZXNzJmRhdGE9MDUlN0MwMiU3Q2NsZWFuLWxp
c3QlNDBzY2llbmNlLnJ1Lm5sJTdDMWI4MjdhNjM2YjZlNDgxMjUzMDMwOGRkYTI4MWZkMzglN0Mw
ODQ1NzhkOTQwMGQ0YTVhYTdjN2U3NmNhNDdhZjQwMCU3QzElN0MwJTdDNjM4ODQ1NDAyODAzNDkw
NTc4JTdDVW5rbm93biU3Q1RXRnBiR1pzYjNkOGV5SkZiWEIwZVUxaGNHa2lPblJ5ZFdVc0lsWWlP
aUl3TGpBdU1EQXdNQ0lzSWxBaU9pSlhhVzR6TWlJc0lrRk9Jam9pVFdGcGJDSXNJbGRVSWpveWZR
JTNEJTNEJTdDODAwMDAlN0MlN0MlN0Mmc2RhdGE9ME5yUzlmJTJCWWFoR2VEYnRMM3lPdnZqZ2FP
OCUyRjlUaUZBTlBPM01NWVIxdEklM0QmcmVzZXJ2ZWQ9MAoKLSBQbGVhc2UgZGlyZWN0IGFsbCBx
dWVzdGlvbnMgYWJvdXQgdGhlIG5ldyBtb2RlbCB0byBpY3BzLWluZm9AYWNtLm9yZy4KCiMjIyBQ
ZXRlciBMYW5kaW4gUHJpemUKClRoZSBQZXRlciBMYW5kaW4gUHJpemUgaXMgYXdhcmRlZCB0byB0
aGUgYmVzdCBwYXBlciBwcmVzZW50ZWQgYXQgdGhlCnN5bXBvc2l1bSBldmVyeSB5ZWFyLiBUaGUg
aG9ub3VyZWQgYXJ0aWNsZSBpcyBzZWxlY3RlZCBieSB0aGUgcHJvZ3JhbQpjb21taXR0ZWUgYmFz
ZWQgb24gdGhlIHN1Ym1pc3Npb25zIHJlY2VpdmVkIGZvciB0aGUgZm9ybWFsIHJldmlldwpwcm9j
ZXNzLiBUaGUgcHJpemUgY2FycmllcyBhIGNhc2ggYXdhcmQgZXF1aXZhbGVudCB0byAxNTAgRXVy
b3MuCgojIyMgT3JnYW5pc2F0aW9uCgpQQyBDaGFpcnM6CkFsYmVydG8gUGFyZG8sIFVuaXZlcnNp
ZGFkIGRlIGxhIFJlcMO6YmxpY2EsIE1vbnRldmlkZW8sIFVydWd1YXkKTWFyY29zIFZpZXJhLCBV
bml2ZXJzaWRhZCBkZSBsYSBSZXDDumJsaWNhLCBNb250ZXZpZGVvLCBVcnVndWF5CgpQdWJsaWNp
dHkgQ2hhaXI6Ck1hcnQgTHViYmVycywgUmFkYm91ZCBVbml2ZXJzaXR5LCBUaGUgTmV0aGVybGFu
ZHMKCkxvY2FsIENoYWlyczoKQWxiZXJ0byBQYXJkbywgVW5pdmVyc2lkYWQgZGUgbGEgUmVww7pi
bGljYSwgTW9udGV2aWRlbywgVXJ1Z3VheQoKTWFyY29zIFZpZXJhLCBVbml2ZXJzaWRhZCBkZSBs
YSBSZXDDumJsaWNhLCBNb250ZXZpZGVvLCBVcnVndWF5CiMjIyBQcm9ncmFtIGNvbW1pdHRlZToK
TWF0dGVvIENpbWluaSwgVW5pdmVyc2l0eSBvZiBNYXNzYWNodXNldHRzIExvd2VsbApGYWN1bmRv
IERvbcOtbmd1ZXosIFR3ZWFnCkpvw6NvIFBhdWxvIEZlcm5hbmRlcywgVW5pdmVyc2lkYWRlIGRv
IFBvcnRvCkplcmVteSBHaWJib25zLCBPeGZvcmQgVW5pdmVyc2l0eQpKdXJyaWFhbiBIYWdlLCBI
ZXJpb3QgV2F0dCBVbml2ZXJzaXR5Ckphc29uIEhlbWFubiwgU2V0b24gSGFsbCBVbml2ZXJzaXR5
Ck1hamEgSGFubmUgS2lya2VieSwgUm9za2lsZGUgVW5pdmVyc2l0eQpNYXJ0IEx1YmJlcnMsIFJh
ZGJvdWQgVW5pdmVyc2l0eQpCcnVubyBDLiBELiBTLiBPbGl2ZWlyYSwgVGhlIFVuaXZlcnNpdHkg
b2YgSG9uZyBLb25nClJpbnVzIFBsYXNtZWlqZXIsIFJhZGJvdWQgVW5pdmVyc2l0eQpBbmRyZSBS
YXViZXIgRHUgQm9pcywgVW5pdmVyc2lkYWRlIEZlZGVyYWwgZGUgUGVsb3RhcwpSb2RyaWdvIFJp
YmVpcm8sIFVuaXZlcnNpZGFkZSBGZWRlcmFsIGRlIE91cm8gUHJldG8KQWxlamFuZHJvIFJ1c3Nv
LCBDaGFsbWVycyBVbml2ZXJzaXR5IG9mIFRlY2hub2xvZ3kKSm/Do28gU2FyYWl2YSwgVW5pdmVy
c2l0eSBvZiBNaW5obwpXZW5oYW8gVGFuZywgVW5pdmVyc2l0eSBvZiBFZGluYnVyZ2gKWmhpeHVh
biBZYW5nLCBJbXBlcmlhbCBDb2xsZWdlIExvbmRvbgpCcmVudCBZb3JnZXksIEhlbmRyaXggQ29s
bGVnZQpCZXRhIFppbGlhbmksIE1hbmFzLlRlY2gKVmlrdMOzcmlhIFpzw7NrLCBFw7Z0dsO2cyBM
b3LDoW5kIFVuaXZlcnNpdHkKCiMjIyBWZW51ZQoKSUZMIDIwMjUgd2lsbCBiZSBoZWxkIHBoeXNp
Y2FsbHkgaW4gTW9udGV2aWRlbywgVXJ1Z3VheS4gU2VlIHRoZQp3ZWJzaXRlIGZvciBtb3JlIGlu
Zm9ybWF0aW9uLgoKICAgIGh0dHBzOi8vZXVyMDEuc2FmZWxpbmtzLnByb3RlY3Rpb24ub3V0bG9v
ay5jb20vP3VybD1odHRwcyUzQSUyRiUyRnd3dy5maW5nLmVkdS51eSUyRmluY28lMkZjb25ncmVz
b3MlMkZpZmwyMDI1JmRhdGE9MDUlN0MwMiU3Q2NsZWFuLWxpc3QlNDBzY2llbmNlLnJ1Lm5sJTdD
MWI4MjdhNjM2YjZlNDgxMjUzMDMwOGRkYTI4MWZkMzglN0MwODQ1NzhkOTQwMGQ0YTVhYTdjN2U3
NmNhNDdhZjQwMCU3QzElN0MwJTdDNjM4ODQ1NDAyODAzNTA5MDEwJTdDVW5rbm93biU3Q1RXRnBi
R1pzYjNkOGV5SkZiWEIwZVUxaGNHa2lPblJ5ZFdVc0lsWWlPaUl3TGpBdU1EQXdNQ0lzSWxBaU9p
SlhhVzR6TWlJc0lrRk9Jam9pVFdGcGJDSXNJbGRVSWpveWZRJTNEJTNEJTdDODAwMDAlN0MlN0Ml
N0Mmc2RhdGE9SSUyQllRMnQ5aUp6ayUyRjIyeGVibFJ5RGJDRzJodnVnU3g1OFFRNCUyRnBNRTNI
byUzRCZyZXNlcnZlZD0wCgojIyMgQWNrbm93bGVkZ21lbnRzCgpUaGlzIGNhbGwtZm9yLXBhcGVy
cyBpcyBhbiBhZGFwdGF0aW9uIGFuZCBldm9sdXRpb24gb2YgY29udGVudCBmcm9tCnByZXZpb3Vz
IGluc3RhbmNlcyBvZiBJRkwuIFdlIGFyZSBncmF0ZWZ1bCB0byBwcmlvciBvcmdhbmlzZXJzIGZv
ciB0aGVpcgp3b3JrLCB3aGljaCBpcyByZXVzZWQgaGVyZS4KCl9fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX19fX19fX19fX19fCmNsZWFuLWxpc3QgbWFpbGluZyBsaXN0CmNsZWFu
LWxpc3RAc2NpZW5jZS5ydS5ubApodHRwczovL21haWxtYW4uc2NpZW5jZS5ydS5ubC9tYWlsbWFu
L2xpc3RpbmZvL2NsZWFuLWxpc3QK