2nd call for papers: Trends in Functional Programming, 11-13 june 2018, Chalmers Campus Johanneberg, Gothenburg

Peter Achten <[email protected]> Mon, 16 Apr 2018 15:08:18 +0200
Newsgroups gmane.comp.lang.ml.mlton.user
Message-ID <[email protected]>
IMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLQogwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCAyIE4gRMKgwqAgQyBBIEwg
TMKgwqAgRiBPIFLCoMKgIFAgQSBQIEUgUiBTCiDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
IC0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0KCiDCoMKgwqDCoMKgwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgwqDCoCA9PT09PT09PSBURlAgMjAxOCA9PT09PT09PT09PQoKIMKg
wqDCoMKgwqDCoMKgwqDCoCAxOXRoIFN5bXBvc2l1bSBvbiBUcmVuZHMgaW4gRnVuY3Rpb25hbCBQ
cm9ncmFtbWluZwogwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoCAxMS0xMyBKdW5lLCAyMDE4CiDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgIENoYWxtZXJzIENhbXB1cyBKb2hhbm5lYmVyZywgR290aGVuYnVyZwogwqDCoMKg
wqDCoMKgwqDCoMKgwqAgaHR0cDovL3d3dy5jc2UuY2hhbG1lcnMuc2Uvfm15cmVlbi90ZnAyMDE4
L2luZGV4Lmh0bWwKClRoZSBzeW1wb3NpdW0gb24gVHJlbmRzIGluIEZ1bmN0aW9uYWwgUHJvZ3Jh
bW1pbmcgKFRGUCkgaXMgYW4KaW50ZXJuYXRpb25hbCBmb3J1bSBmb3IgcmVzZWFyY2hlcnMgd2l0
aCBpbnRlcmVzdHMgaW4gYWxsIGFzcGVjdHMgb2YKZnVuY3Rpb25hbCBwcm9ncmFtbWluZywgdGFr
aW5nIGEgYnJvYWQgdmlldyBvZiBjdXJyZW50IGFuZCBmdXR1cmUKdHJlbmRzIGluIHRoZSBhcmVh
LiBJdCBhc3BpcmVzIHRvIGJlIGEgbGl2ZWx5IGVudmlyb25tZW50IGZvcgpwcmVzZW50aW5nIHRo
ZSBsYXRlc3QgcmVzZWFyY2ggcmVzdWx0cywgYW5kIG90aGVyIGNvbnRyaWJ1dGlvbnMgKHNlZQpi
ZWxvdyBhdCBzY29wZSkuCgpQbGVhc2UgYmUgYXdhcmUgdGhhdCBURlAgdXNlcyB0d28gZGlzdGlu
Y3Qgcm91bmRzIG9mIHN1Ym1pc3Npb25zIChzZWUKYmVsb3cgYXQgc3VibWlzc2lvbiBkZXRhaWxz
KS4KClRGUCAyMDE4IHdpbGwgYmUgdGhlIG1haW4gZXZlbnQgb2YgYSBwYWlyIG9mIGZ1bmN0aW9u
YWwgcHJvZ3JhbW1pbmcKZXZlbnRzLiBURlAgMjAxOCB3aWxsIGJlIGFjY29tcGFuaWVkIGJ5IHRo
ZSBJbnRlcm5hdGlvbmFsIFdvcmtzaG9wIG9uClRyZW5kcyBpbiBGdW5jdGlvbmFsIFByb2dyYW1t
aW5nIGluIEVkdWNhdGlvbiAoVEZQSUUpLCB3aGljaCB3aWxsIHRha2UKcGxhY2Ugb24gSnVuZSAx
NC4KCgo9PSBTQ09QRSA9PQoKVGhlIHN5bXBvc2l1bSByZWNvZ25pemVzIHRoYXQgbmV3IHRyZW5k
cyBtYXkgYXJpc2UgdGhyb3VnaCB2YXJpb3VzIHJvdXRlcy4KQXMgcGFydCBvZiB0aGUgU3ltcG9z
aXVtJ3MgZm9jdXMgb24gdHJlbmRzIHdlIHRoZXJlZm9yZSBpZGVudGlmeSB0aGUKZm9sbG93aW5n
IGZpdmUgYXJ0aWNsZSBjYXRlZ29yaWVzLiBIaWdoLXF1YWxpdHkgYXJ0aWNsZXMgYXJlIHNvbGlj
aXRlZCBpbgphbnkgb2YgdGhlc2UgY2F0ZWdvcmllczoKClJlc2VhcmNoIEFydGljbGVzOgogwqDC
oMKgIExlYWRpbmctZWRnZSwgcHJldmlvdXNseSB1bnB1Ymxpc2hlZCByZXNlYXJjaCB3b3JrClBv
c2l0aW9uIEFydGljbGVzOgogwqDCoMKgIE9uIHdoYXQgbmV3IHRyZW5kcyBzaG91bGQgb3Igc2hv
dWxkIG5vdCBiZQpQcm9qZWN0IEFydGljbGVzOgogwqDCoMKgIERlc2NyaXB0aW9ucyBvZiByZWNl
bnRseSBzdGFydGVkIG5ldyBwcm9qZWN0cwpFdmFsdWF0aW9uIEFydGljbGVzOgogwqDCoMKgIFdo
YXQgbGVzc29ucyBjYW4gYmUgZHJhd24gZnJvbSBhIGZpbmlzaGVkIHByb2plY3QKT3ZlcnZpZXcg
QXJ0aWNsZXM6CiDCoMKgwqAgU3VtbWFyaXppbmcgd29yayB3aXRoIHJlc3BlY3QgdG8gYSB0cmVu
ZHkgc3ViamVjdC4KCkFydGljbGVzIG11c3QgYmUgb3JpZ2luYWwgYW5kIG5vdCBzaW11bHRhbmVv
dXNseSBzdWJtaXR0ZWQgZm9yIApwdWJsaWNhdGlvbiB0bwphbnkgb3RoZXIgZm9ydW0uIFRoZXkg
bWF5IGNvbnNpZGVyIGFueSBhc3BlY3Qgb2YgZnVuY3Rpb25hbCBwcm9ncmFtbWluZzoKdGhlb3Jl
dGljYWwsIGltcGxlbWVudGF0aW9uLW9yaWVudGVkLCBvciBleHBlcmllbmNlLW9yaWVudGVkLiAK
QXBwbGljYXRpb25zIG9mCmZ1bmN0aW9uYWwgcHJvZ3JhbW1pbmcgdGVjaG5pcXVlcyB0byBvdGhl
ciBsYW5ndWFnZXMgYXJlIGFsc28gd2l0aGluIHRoZSAKc2NvcGUKb2YgdGhlIHN5bXBvc2l1bS4K
ClRvcGljcyBzdWl0YWJsZSBmb3IgdGhlIHN5bXBvc2l1bSBpbmNsdWRlLCBidXQgYXJlIG5vdCBs
aW1pdGVkIHRvOgoKIMKgwqDCoCBGdW5jdGlvbmFsIHByb2dyYW1taW5nIGFuZCBtdWx0aWNvcmUv
bWFueWNvcmUgY29tcHV0aW5nCiDCoMKgwqAgRnVuY3Rpb25hbCBwcm9ncmFtbWluZyBpbiB0aGUg
Y2xvdWQKIMKgwqDCoCBIaWdoIHBlcmZvcm1hbmNlIGZ1bmN0aW9uYWwgY29tcHV0aW5nCiDCoMKg
wqAgRXh0cmEtZnVuY3Rpb25hbCAoYmVoYXZpb3VyYWwpIHByb3BlcnRpZXMgb2YgZnVuY3Rpb25h
bCBwcm9ncmFtcwogwqDCoMKgIERlcGVuZGVudGx5IHR5cGVkIGZ1bmN0aW9uYWwgcHJvZ3JhbW1p
bmcKIMKgwqDCoCBWYWxpZGF0aW9uIGFuZCB2ZXJpZmljYXRpb24gb2YgZnVuY3Rpb25hbCBwcm9n
cmFtcwogwqDCoMKgIERlYnVnZ2luZyBhbmQgcHJvZmlsaW5nIGZvciBmdW5jdGlvbmFsIGxhbmd1
YWdlcwogwqDCoMKgIEZ1bmN0aW9uYWwgcHJvZ3JhbW1pbmcgaW4gZGlmZmVyZW50IGFwcGxpY2F0
aW9uIGFyZWFzOgogwqDCoMKgIHNlY3VyaXR5LCBtb2JpbGl0eSwgdGVsZWNvbW11bmljYXRpb25z
IGFwcGxpY2F0aW9ucywgZW1iZWRkZWQKIMKgwqDCoCBzeXN0ZW1zLCBnbG9iYWwgY29tcHV0aW5n
LCBncmlkcywgZXRjLgogwqDCoMKgIEludGVyb3BlcmFiaWxpdHkgd2l0aCBpbXBlcmF0aXZlIHBy
b2dyYW1taW5nIGxhbmd1YWdlcwogwqDCoMKgIE5vdmVsIG1lbW9yeSBtYW5hZ2VtZW50IHRlY2hu
aXF1ZXMKIMKgwqDCoCBQcm9ncmFtIGFuYWx5c2lzIGFuZCB0cmFuc2Zvcm1hdGlvbiB0ZWNobmlx
dWVzCiDCoMKgwqAgRW1waXJpY2FsIHBlcmZvcm1hbmNlIHN0dWRpZXMKIMKgwqDCoCBBYnN0cmFj
dC92aXJ0dWFsIG1hY2hpbmVzIGFuZCBjb21waWxlcnMgZm9yIGZ1bmN0aW9uYWwgbGFuZ3VhZ2Vz
CiDCoMKgwqAgKEVtYmVkZGVkKSBkb21haW4gc3BlY2lmaWMgbGFuZ3VhZ2VzCiDCoMKgwqAgTmV3
IGltcGxlbWVudGF0aW9uIHN0cmF0ZWdpZXMKIMKgwqDCoCBBbnkgbmV3IGVtZXJnaW5nIHRyZW5k
IGluIHRoZSBmdW5jdGlvbmFsIHByb2dyYW1taW5nIGFyZWEKCklmIHlvdSBhcmUgaW4gZG91YnQg
b24gd2hldGhlciB5b3VyIGFydGljbGUgaXMgd2l0aGluIHRoZSBzY29wZSBvZiBURlAsIApwbGVh
c2UKY29udGFjdCB0aGUgVEZQIDIwMTggcHJvZ3JhbSBjaGFpcnMsIE1pY2hhxYIgUGHFgmthIGFu
ZCBNYWdudXMgTXlyZWVuLgoKCj09IEJlc3QgUGFwZXIgQXdhcmRzID09CgpUbyByZXdhcmQgZXhj
ZWxsZW50IGNvbnRyaWJ1dGlvbnMsIFRGUCBhd2FyZHMgYSBwcml6ZSBmb3IgdGhlIGJlc3QgcGFw
ZXIKYWNjZXB0ZWQgZm9yIHRoZSBmb3JtYWwgcHJvY2VlZGluZ3MuCgpURlAgdHJhZGl0aW9uYWxs
eSBwYXlzIHNwZWNpYWwgYXR0ZW50aW9uIHRvIHJlc2VhcmNoIHN0dWRlbnRzLCAKYWNrbm93bGVk
Z2luZwp0aGF0IHN0dWRlbnRzIGFyZSBhbG1vc3QgYnkgZGVmaW5pdGlvbiBwYXJ0IG9mIG5ldyBz
dWJqZWN0IHRyZW5kcy4gQSAKc3R1ZGVudApwYXBlciBpcyBvbmUgZm9yIHdoaWNoIHRoZSBhdXRo
b3JzIHN0YXRlIHRoYXQgdGhlIHBhcGVyIGlzIG1haW5seSB0aGUgCndvcmsgb2YKc3R1ZGVudHMs
IHRoZSBzdHVkZW50cyBhcmUgbGlzdGVkIGFzIGZpcnN0IGF1dGhvcnMsIGFuZCBhIHN0dWRlbnQg
d291bGQgCnByZXNlbnQKdGhlIHBhcGVyLiBBIHByaXplIGZvciB0aGUgYmVzdCBzdHVkZW50IHBh
cGVyIGlzIGF3YXJkZWQgZWFjaCB5ZWFyLgoKSW4gYm90aCBjYXNlcywgaXQgaXMgdGhlIFBDIG9m
IFRGUCB0aGF0IGF3YXJkcyB0aGUgcHJpemUuIEluIGNhc2UgdGhlIGJlc3QKcGFwZXIgaGFwcGVu
cyB0byBiZSBhIHN0dWRlbnQgcGFwZXIsIHRoYXQgcGFwZXIgd2lsbCB0aGVuIHJlY2VpdmUgYm90
aCAKcHJpemVzLgoKCj09IFBhcGVyIFN1Ym1pc3Npb25zID09CgpXZSB1c2UgRWFzeUNoYWlyIGZv
ciB0aGUgcmVmZXJlZWluZyBwcm9jZXNzLiBUaGUgbGluayB0byB0aGUgc3VibWlzc2lvbiAKcGFn
ZSBpczoKCmh0dHBzOi8vZWFzeWNoYWlyLm9yZy9jb25mZXJlbmNlcy8/Y29uZj10ZnAyMDE4CgpB
dXRob3JzIG9mIHBhcGVycyBoYXZlIHRoZSBjaG9pY2Ugb2YgaGF2aW5nIHRoZWlyIGNvbnRyaWJ1
dGlvbnMgZm9ybWFsbHkgCnJldmlld2VkCmVpdGhlciBiZWZvcmUgb3IgYWZ0ZXIgdGhlIFN5bXBv
c2l1bS4KCgo9PSBQcmUtc3ltcG9zaXVtIGZvcm1hbCByZXZpZXcgPT0KClBhcGVycyB0byBiZSBm
b3JtYWxseSByZXZpZXdlZCBiZWZvcmUgdGhlIHN5bXBvc2l1bSBzaG91bGQgYmUgc3VibWl0dGVk
IApiZWZvcmUKYW4gZWFybHkgZGVhZGxpbmUgYW5kIHJlY2VpdmUgdGhlaXIgcmV2aWV3cyBhbmQg
bm90aWZpY2F0aW9uIG9mIAphY2NlcHRhbmNlIGZvcgpib3RoIHByZXNlbnRhdGlvbiBhbmQgcHVi
bGljYXRpb24gYmVmb3JlIHRoZSBzeW1wb3NpdW0uIEEgcGFwZXIgdGhhdCBoYXMgCmJlZW4KcmVq
ZWN0ZWQgaW4gdGhpcyBwcm9jZXNzIG1heSBzdGlsbCBiZSBhY2NlcHRlZCBmb3IgcHJlc2VudGF0
aW9uIGF0IHRoZSAKc3ltcG9zaXVtLApidXQgd2lsbCBub3QgYmUgY29uc2lkZXJlZCBmb3IgdGhl
IHBvc3Qtc3ltcG9zaXVtIGZvcm1hbCByZXZpZXcuCgoKPT0gUG9zdC1zeW1wb3NpdW0gZm9ybWFs
IHJldmlldyA9PQoKRHJhZnQgcGFwZXJzIHdpbGwgcmVjZWl2ZSBtaW5pbWFsIHJldmlld3MgYW5k
IG5vdGlmaWNhdGlvbiBvZiBhY2NlcHRhbmNlIApmb3IKcHJlc2VudGF0aW9uIGF0IHRoZSBzeW1w
b3NpdW0uIEF1dGhvcnMgb2YgZHJhZnQgcGFwZXJzIHdpbGwgYmUgaW52aXRlZCAKdG8gc3VibWl0
CnJldmlzZWQgcGFwZXJzIGJhc2VkIG9uIHRoZSBmZWVkYmFjayByZWNlaXZlIGF0IHRoZSBzeW1w
b3NpdW0uIEEgCnBvc3Qtc3ltcG9zaXVtCnJlZmVyZWVpbmcgcHJvY2VzcyB3aWxsIHRoZW4gc2Vs
ZWN0IGEgc3Vic2V0IG9mIHRoZXNlIGFydGljbGVzIGZvciAKZm9ybWFsIHB1YmxpY2F0aW9uLgoK
Cj09IFBhcGVyIGNhdGVnb3JpZXMgPT0KCkRyYWZ0IHBhcGVycyBhbmQgcGFwZXJzIHN1Ym1pdHRl
ZCBmb3IgZm9ybWFsIHJldmlldyBhcmUgc3VibWl0dGVkIGFzIApleHRlbmRlZAphYnN0cmFjdHMg
KDQgdG8gMTAgcGFnZXMgaW4gbGVuZ3RoKSBvciBmdWxsIHBhcGVycyAoMjAgcGFnZXMpLiBUaGUg
CnN1Ym1pc3Npb24gbXVzdApjbGVhcmx5IGluZGljYXRlIHdoaWNoIGNhdGVnb3J5IGl0IGJlbG9u
Z3MgdG86IHJlc2VhcmNoLCBwb3NpdGlvbiwgcHJvamVjdCwKZXZhbHVhdGlvbiwgb3Igb3ZlcnZp
ZXcgcGFwZXIuIEl0IHNob3VsZCBhbHNvIGluZGljYXRlIHdoaWNoIGF1dGhvcnMgYXJlIApyZXNl
YXJjaApzdHVkZW50cywgYW5kIHdoZXRoZXIgdGhlIG1haW4gYXV0aG9yKHMpIGFyZSBzdHVkZW50
cy4gQSBkcmFmdCBwYXBlciBmb3IgCndoaWNoIGFsbAphdXRob3JzIGFyZSBzdHVkZW50cyB3aWxs
IHJlY2VpdmUgYWRkaXRpb25hbCBmZWVkYmFjayBieSBvbmUgb2YgdGhlIFBDIAptZW1iZXJzCnNo
b3J0bHkgYWZ0ZXIgdGhlIHN5bXBvc2l1bSBoYXMgdGFrZW4gcGxhY2UuCgoKPT0gRm9ybWF0ID09
CgpQYXBlcnMgbXVzdCBiZSB3cml0dGVuIGluIEVuZ2xpc2gsIGFuZCB3cml0dGVuIHVzaW5nIHRo
ZSBMTkNTIHN0eWxlLiBGb3IgCm1vcmUKaW5mb3JtYXRpb24gYWJvdXQgZm9ybWF0dGluZyBwbGVh
c2UgY29uc3VsdCB0aGUgU3ByaW5nZXIgTE5DUyB3ZWIgc2l0ZS4KCgo9PSBJbXBvcnRhbnQgRGF0
ZXMgPT0KClN1Ym1pc3Npb24gKHByZS1zeW1wb3NpdW0gcmV2aWV3KTrCoMKgwqDCoMKgwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgwqAgTWFyY2ggMjYsIDIwMTjCoCAtLSAKcGFzc2VkIC0tClN1Ym1p
c3Npb24gKGRyYWZ0LCBwb3N0LXN5bXBvc2l1bSByZXZpZXcpOsKgwqDCoMKgwqDCoMKgwqDCoMKg
IEFwcmlsIDI2LCAyMDE4wqAgLS3CoCAKb3BlbsKgIC0tCk5vdGlmaWNhdGlvbiAocHJlLSBhbmQg
cG9zdC1zeW1wb3NpdW0gcmV2aWV3KTrCoMKgwqDCoMKgwqAgTWF5wqDCoMKgIDMsIDIwMTgKUmVn
aXN0cmF0aW9uOsKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBKdW5lwqDCoCAzLCAyMDE4ClRGUCBTeW1w
b3NpdW06wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBKdW5lIDExLTEzLCAyMDE4ClRGUElFIFdvcmtzaG9w
OsKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
wqDCoMKgwqDCoMKgwqDCoMKgIEp1bmXCoMKgIDE0LCAyMDE4ClN0dWRlbnQgcGFwZXJzIGZlZWRi
YWNrOsKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDC
oMKgIEp1bmXCoMKgIDIxLCAyMDE4ClN1Ym1pc3Npb24gKHBvc3Qtc3ltcG9zaXVtIHJldmlldyk6
wqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBBdWd1c3QgMTQsIDIwMTgKTm90aWZp
Y2F0aW9uIChwb3N0LXN5bXBvc2l1bSByZXZpZXcpOsKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKg
wqDCoCBTZXB0ZW1iZXIgMjAsIDIwMTgKQ2FtZXJhLXJlYWR5IHBhcGVyIChwcmUtIGFuZCBwb3N0
LXN5bXBvc2l1bSByZXZpZXcpOiBOb3ZlbWJlciAzMCwgMjAxOAoKCj09IFByb2dyYW0gQ29tbWl0
dGVlID09CgpQcm9ncmFtIENvLWNoYWlycwpNaWNoYcWCIFBhxYJrYSzCoMKgwqAgQ2hhbG1lcnMg
VW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5IChTRSkKTWFnbnVzIE15cmVlbizCoMKgwqAgQ2hhbG1l
cnMgVW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5IChTRSkKClByb2dyYW0gQ29tbWl0dGVlClNvaWNo
aXJvIEhpZGFrYSzCoMKgwqDCoMKgwqDCoCBIb3NlaSBVbml2ZXJzaXR5IChKUCkKTWVuZyBXYW5n
LMKgwqDCoMKgwqDCoMKgwqDCoMKgwqDCoMKgIFVuaXZlcnNpdHkgb2YgQnJpc3RvbCAoVUspClNh
bSBUb2Jpbi1Ib2Noc3RhZHQswqDCoMKgIEluZGlhbmEgVW5pdmVyc2l0eSBCbG9vbWluZ3RvbiAo
VVMpClRpYXJrIFJvbXBmLMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAgUHVyZHVlIFVuaXZlcnNpdHkg
KFVTKQpQYXRyaWNpYSBKb2hhbm4swqDCoMKgwqDCoMKgwqAgQXBwYWxhY2hpYW4gU3RhdGUgVW5p
dmVyc2l0eSAoVVMpCk5laWwgU2N1bHRob3JwZSzCoMKgwqDCoMKgwqDCoCBOb3R0aW5naGFtIFRy
ZW50IFVuaXZlcnNpdHkgKFVLKQpBbmRyZXMgTMO2aCzCoMKgwqDCoMKgwqDCoMKgwqDCoMKgwqAg
V2VsbC1UeXBlZCBMTFAgKFVLKQpUYXJtbyBVdXN0YWx1LMKgwqDCoMKgwqDCoMKgwqDCoCBUYWxs
aW5uIFVuaXZlcnNpdHkgb2YgVGVjaG5vbG9neSAoRUUpCkNvc21pbiBFLiBPYW5jZWEswqDCoMKg
wqDCoMKgIFVuaXZlcnNpdHkgb2YgQ29wZW5oYWdlbiAoREspCk1hdXJvIEphc2tlbGlvZmYswqDC
oMKgwqDCoMKgIFVuaXZlcnNpZGFkIE5hY2lvbmFsIGRlIFJvc2FyaW8gKEFSKQpQZXRlciBBY2h0
ZW4swqDCoMKgwqDCoMKgwqDCoMKgwqAgUmFkYm91ZCBVbml2ZXJzaXR5IChOTCkKRGltaXRyaW9z
IFZ5dGluaW90aXMswqDCoCBNaWNyb3NvZnQgUmVzZWFyY2ggKFVLKQpBbGJlcnRvIFBhcmRvLMKg
wqDCoMKgwqDCoMKgwqDCoCBVbml2ZXJzaWRhZCBkZSBsYSBSZXDDumJsaWNhIChVWSkKTmF0YWxp
YSBDaGVjaGluYSzCoMKgwqDCoMKgwqAgVW5pdmVyc2l0eSBvZiBHbGFzZ293IChVSykKUGV0ZXIg
U2VzdG9mdCzCoMKgwqDCoMKgwqDCoMKgwqAgSVQgVW5pdmVyc2l0eSBvZiBDb3BlbmhhZ2VuIChE
SykKU2NvdHQgT3dlbnMswqDCoMKgwqDCoMKgwqDCoMKgwqDCoCBVbml2ZXJzaXR5IG9mIEtlbnQg
KFVLKQoKLS0gCllvdSByZWNlaXZlZCB0aGlzIG1lc3NhZ2UgYmVjYXVzZSB5b3UgYXJlIHN1YnNj
cmliZWQgdG8gdGhlIEdvb2dsZSBHcm91cHMgIk1MdG9uLXVzZXIiIGdyb3VwLgpUbyB1bnN1YnNj
cmliZSBmcm9tIHRoaXMgZ3JvdXAgYW5kIHN0b3AgcmVjZWl2aW5nIGVtYWlscyBmcm9tIGl0LCBz
ZW5kIGFuIGVtYWlsIHRvIG1sdG9uLXVzZXIrdW5zdWJzY3JpYmVAbWx0b24ub3JnLgoKCi0tLS0t
LS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0t
LS0tLS0tLS0tLS0tLS0tLQpDaGVjayBvdXQgdGhlIHZpYnJhbnQgdGVjaCBjb21tdW5pdHkgb24g
b25lIG9mIHRoZSB3b3JsZCdzIG1vc3QKZW5nYWdpbmcgdGVjaCBzaXRlcywgU2xhc2hkb3Qub3Jn
ISBodHRwOi8vc2RtLmxpbmsvc2xhc2hkb3QKX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f
X19fX19fX19fX19fX19fX18KTUx0b24tdXNlciBtYWlsaW5nIGxpc3QKTUx0b24tdXNlckBsaXN0
cy5zb3VyY2Vmb3JnZS5uZXQ7IG1sdG9uLXVzZXJAbWx0b24ub3JnCmh0dHBzOi8vbGlzdHMuc291
cmNlZm9yZ2UubmV0L2xpc3RzL2xpc3RpbmZvL21sdG9uLXVzZXIK