SPLASH 2023 - Second Combined Call for Contributions
Alcides Fonseca <me-MQvYMha/[email protected]> Tue, 11 Jul 2023 01:26:48 +0100
| Newsgroups | gmane.comp.lang.agda,gmane.science.mathematics.logic.coq.club,gmane.comp.science.types.announce,gmane.comp.lang.erlang.general |
|---|---|
| Message-ID | <CADieD1DO3cBPFc5vjoydFkvabHg4Ym4zD-bOhF9u0Wsux+uG8w@mail.gmail.com> |
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PQoKCiAgICAgICAgICAgICAgICAgU2Vjb25kIENvbWJpbmVkIENhbGwgRm9y IENvbnRyaWJ1dGlvbnMKCgogICBBQ00gQ29uZmVyZW5jZSBvbiBTeXN0ZW1zLCBQcm9ncmFtbWlu ZywgTGFuZ3VhZ2VzLCBhbmQgQXBwbGljYXRpb25zOgoKICAgICAgICAgICAgICAgICAgIFNvZnR3 YXJlIGZvciBIdW1hbml0eSAoU1BMQVNIJzIzKQoKCiAgICAgICAgICAgICAgICBPY3RvYmVyIDIy LTI3LCAyMDIzLCBDYXNjYWlzLCBQb3J0dWdhbAoKCiAgICAgICAgICAgICAgICAgICAgaHR0cHM6 Ly8yMDIzLnNwbGFzaGNvbi5vcmcKCgo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CgoKU1BMQVNIIC0gVGhlIEFDTSBT SUdQTEFOIGNvbmZlcmVuY2Ugb24gU3lzdGVtcywgUHJvZ3JhbW1pbmcsCkxhbmd1YWdlcywgYW5k IEFwcGxpY2F0aW9uczogU29mdHdhcmUgZm9yIEh1bWFuaXR5IGVtYnJhY2VzIGFsbAphc3BlY3Rz IG9mIHNvZnR3YXJlIGNvbnN0cnVjdGlvbiBhbmQgZGVsaXZlcnksIHRvIG1ha2UgaXQgdGhlIHBy ZW1pZXIKY29uZmVyZW5jZSBvbiB0aGUgYXBwbGljYXRpb25zIG9mIHByb2dyYW1taW5nIGxhbmd1 YWdlcyAtIGF0IHRoZQppbnRlcnNlY3Rpb24gb2YgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2VzIGFuZCBz b2Z0d2FyZSBlbmdpbmVlcmluZy4KCgpGb2xsb3cgdGhlIHJlZ2lzdHJhdGlvbiBzcGFjZSBvbiB0 aGUgU1BMQVNIIHdlYnNpdGUgdG8gYXR0ZW5kIHRoaXMKZmFudGFzdGljIGxpbmUtdXAgb2YgZXZl bnRzIC0gd2UgYWltIHRvIG9wZW4gZm9yIHJlZ2lzdHJhdGlvbiBvbiBKdWx5CjIwLgoKCj09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT0KCgpPVVRMSU5FIE9GIFRIRSBTRUNPTkQgQ09NQklORUQgQ0FMTCBGT1IgQ09OVFJJ QlVUSU9OUzoKCgpTUExBU0ggdXBjb21pbmcgZGVhZGxpbmVzOgoKCiAqIFN0dWRlbnQgUmVzZWFy Y2ggQ29tcGV0aXRpb24gKGRlYWRsaW5lOiAxNCBKdWwpCgogKiBEb2N0b3JhbCBTeW1wb3NpdW0g KGRlYWRsaW5lOiAyMSBKdWwg4oCUIEV4dGVuZGVkISkKCiAqIFByb2dyYW1taW5nIExhbmd1YWdl cyBNZW50b3JpbmcgV29ya3Nob3AgKFBMTVcpIChkZWFkbGluZTogMjQgSnVsKQoKClNQTEFTSCBX b3Jrc2hvcHMgKHN1Ym1pc3Npb24gZGVhZGxpbmU6IDEyIEp1bCk6CgogKiBDT05GTEFORwoKICog RlRTQ1MKCiAqIEhBVFJBCgogKiBJV0FDTwoKICogTElWRQoKICogUEFJTlQKCiAqIFBMRgoKICog UkVCRUxTCgogKiBTVDMwCgoqIFZNSUwKCgoKCj09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0KCgpTUExBU0ggLSBUaGUg QUNNIFNJR1BMQU4gY29uZmVyZW5jZSBvbiBTeXN0ZW1zLCBQcm9ncmFtbWluZywKTGFuZ3VhZ2Vz LCBhbmQgQXBwbGljYXRpb25zOiBTb2Z0d2FyZSBmb3IgSHVtYW5pdHkgZW1icmFjZXMgYWxsCmFz cGVjdHMgb2Ygc29mdHdhcmUgY29uc3RydWN0aW9uIGFuZCBkZWxpdmVyeSwgdG8gbWFrZSBpdCB0 aGUgcHJlbWllcgpjb25mZXJlbmNlIG9uIHRoZSBhcHBsaWNhdGlvbnMgb2YgcHJvZ3JhbW1pbmcg bGFuZ3VhZ2VzIC0gYXQgdGhlCmludGVyc2VjdGlvbiBvZiBwcm9ncmFtbWluZyBsYW5ndWFnZXMg YW5kIHNvZnR3YXJlIGVuZ2luZWVyaW5nLgoKClNQTEFTSCAyMDIzIGFpbXMgdG8gc2lnbmlmeSB0 aGUgcmVvcGVuaW5nIG9mIHRoZSB3b3JsZCBhbmQgYmVpbmcgYWJsZQp0byBtZWV0IHlvdXIgaW50 ZXJuYXRpb25hbCBjb2xsZWFndWVzIGluIHBlcnNvbi4KCgoKCgoKCioqKiogU1BMQVNILUUgKioq KgoKClNQTEFTSC1FIGlzIGEgc3ltcG9zaXVtLCBzdGFydGVkIGluIDIwMTMsIGZvciBzb2Z0d2Fy ZSBhbmQgbGFuZ3VhZ2VzCihTRS9QTCkgcmVzZWFyY2hlcnMgd2l0aCBhY3Rpdml0aWVzIGFuZCBp bnRlcmVzdHMgYXJvdW5kIGNvbXB1dGluZwplZHVjYXRpb24uIFNvbWUgYnVpbGQgcGVkYWdvZ2lj YWxseS1vcmllbnRlZCBsYW5ndWFnZXMgb3IgdG9vbHM7IHNvbWUKdGhpbmsgYWJvdXQgcGVkYWdv Z2ljIGNoYWxsZW5nZXMgYXJvdW5kIFNFL1BMIGNvdXJzZXM7IHNvbWUgYnJpbmcKY29tcHV0aW5n IHRvIG5vbi1DUyBjb21tdW5pdGllczsgc29tZSBwdXJzdWUgaHVtYW4gc3R1ZGllcyBhbmQKZWR1 Y2F0aW9uYWwgcmVzZWFyY2guCgoKQXQgU1BMQVNILUUsIHdlIHNoYXJlIG91ciBlZHVjYXRpb25h bCBpZGVhcyBhbmQgY2hhbGxlbmdlcyBjZW50ZXJlZCBpbgpzb2Z0d2FyZS9sYW5ndWFnZXMsIGFz IHdlbGwgYXMgb3VyIGJlc3QgaWRlYXMgZm9yIGFkdmFuY2luZyBzdWNoIHdvcmsuClNQTEFTSC1F IHN0cml2ZXMgdG8gYnJpbmcgdG9nZXRoZXIgcmVzZWFyY2hlcnMgYW5kIHRob3NlIHdpdGgKZWR1 Y2F0aW9uYWwgaW50ZXJlc3RzIHRoYXQgYXJpc2UgZnJvbSBzb2Z0d2FyZSBpZGVhcyBvciBjb25j ZXJucy4KCgoKQXJjaGl2YWwgU3VibWlzc2lvbiBEZWFkbGluZTogICAgICAgMjcgSnVsIDIwMjMK CgoKKiogU3R1ZGVudCBSZXNlYXJjaCBDb21wZXRpdGlvbiAoU1JDKSAqKgoKClRoZSBBQ00gU3R1 ZGVudCBSZXNlYXJjaCBDb21wZXRpdGlvbiAoU1JDKSBvZmZlcnMgYSB1bmlxdWUgb3Bwb3J0dW5p dHkKZm9yIHVuZGVyZ3JhZHVhdGUgYW5kIGdyYWR1YXRlIHN0dWRlbnRzIHRvIHByZXNlbnQgdGhl aXIgcmVzZWFyY2ggdG8gYQpwYW5lbCBvZiBqdWRnZXMgYW5kIGNvbmZlcmVuY2UgYXR0ZW5kZWVz IGF0IFNQTEFTSC4gVGhlIFNSQyBwcm92aWRlcwp2aXNpYmlsaXR5IGFuZCBleHBvc2VzIHVwLWFu ZC1jb21pbmcgcmVzZWFyY2hlcnMgdG8gY29tcHV0ZXIgc2NpZW5jZQpyZXNlYXJjaCBhbmQgdGhl IHJlc2VhcmNoIGNvbW11bml0eS4gVGhpcyBjb21wZXRpdGlvbiBhbHNvIGdpdmVzCnN0dWRlbnRz IGFuIG9wcG9ydHVuaXR5IHRvIGRpc2N1c3MgdGhlaXIgcmVzZWFyY2ggd2l0aCBleHBlcnRzIGlu CnRoZWlyIGZpZWxkLCBnZXQgZmVlZGJhY2ssIGFuZCBzaGFycGVuIHRoZWlyIGNvbW11bmljYXRp b24gYW5kCm5ldHdvcmtpbmcgc2tpbGxzLgoKCkFic3RyYWN0IFN1Ym1pc3Npb24gRGVhZGxpbmU6 ICAgICAgIDIxIEp1bCAyMDIzCgoKCioqIFByb2dyYW1taW5nIExhbmd1YWdlcyBNZW50b3Jpbmcg V29ya3Nob3AgKFBMTVcpICoqCgoKVGhlIFNQTEFTSCBQcm9ncmFtbWluZyBMYW5ndWFnZXMgTWVu dG9yaW5nIFdvcmtzaG9wIGVuY291cmFnZXMKZ3JhZHVhdGUgc3R1ZGVudHMgKFBoRCBhbmQgTVNj KSBhbmQgc2VuaW9yIHVuZGVyZ3JhZHVhdGUgc3R1ZGVudHMgdG8KcHVyc3VlIHJlc2VhcmNoIGlu IHByb2dyYW1taW5nIGxhbmd1YWdlcy4gVGhpcyB3b3Jrc2hvcCB3aWxsIHByb3ZpZGUKbWVudG9y aW5nIHNlc3Npb25zIG9uIGhvdyB0byBwcmVwYXJlIGZvciBhbmQgdGhyaXZlIGluIGdyYWR1YXRl IHNjaG9vbAphbmQgaW4gYSByZXNlYXJjaCBjYXJlZXIsIGZvY3VzaW5nIGJvdGggb24gY3V0dGlu Zy1lZGdlIHJlc2VhcmNoCnRvcGljcyBhbmQgcHJhY3RpY2FsIGFkdmljZS4gVGhlIHdvcmtzaG9w IGJyaW5ncyB0b2dldGhlciBsZWFkaW5nCnJlc2VhcmNoZXJzIGFuZCBqdW5pb3Igc3R1ZGVudHMg aW4gYW4gaW5jbHVzaXZlIGVudmlyb25tZW50IGluIG9yZGVyCnRvIGhlbHAgd2VsY29tZSBuZXdj b21lcnMgdG8gb3VyIGZpZWxkIG9mIHByb2dyYW1taW5nIGxhbmd1YWdlcwpyZXNlYXJjaC4gVGhl IHdvcmtzaG9wIHdpbGwgc2hvdyBzdHVkZW50cyB0aGUgbWFueSBwYXRocyB0aGF0IHRoZXkKbWln aHQgdGFrZSB0byBlbnRlciBhbmQgY29udHJpYnV0ZSB0byBvdXIgcmVzZWFyY2ggY29tbXVuaXR5 LgoKCkFwcGxpY2F0aW9uIFN1Ym1pc3Npb24gRGVhZGxpbmU6ICAgICAgIDI0IEp1bCAyMDIzCgoK CioqIFdvcmtzaG9wcyAqKgoKCioqKiogQ09ORkxBTkcgKioqKgoKCkNPTkZMQU5HIGlzIGEgd29y a3Nob3Agb24gdGhlIGRlc2lnbiwgdGhlIHRoZW9yeSwgdGhlIHByYWN0aWNlIGFuZCB0aGUKZnV0 dXJlIGV2b2x1dGlvbiBvZiBjb25maWd1cmF0aW9uIGxhbmd1YWdlcy4gSXQgYWltcyB0byBnYXRo ZXIgdGhlCmVtZXJnaW5nIGNvbW11bml0eSBpbiB0aGlzIGFyZWEgaW4gb3JkZXIgdG8gZW5nYWdl IGluIGZydWl0ZnVsCmludGVyYWN0aW9ucywgdG8gc2hhcmUgaWRlYXMsIHJlc3VsdHMsIG9waW5p b25zLCBhbmQgZXhwZXJpZW5jZXMgb24KbGFuZ3VhZ2VzIGZvciBjb25maWd1cmF0aW9uLiBDb3Jy ZWN0IGNvbmZpZ3VyYXRpb24gaXMgYW4gYWN0dWFsCmluZHVzdHJpYWwgcHJvYmxlbSwgYW5kIHdv dWxkIGdyZWF0bHkgYmVuZWZpdCBmcm9tIGV4aXN0aW5nIGFuZApvbmdvaW5nIGFjYWRlbWljIHJl c2VhcmNoLiBEdWFsbHksIHRoaXMgaXMgYSBzcGFjZSB3aXRoIG5ldyBjaGFsbGVuZ2VzCnRvIG92 ZXJjb21lIGFuZCBuZXcgZGlyZWN0aW9ucyB0byBleHBsb3JlLCB3aGljaCBpcyBhIGdyZWF0Cm9w cG9ydHVuaXR5IHRvIGNvbmZyb250IG5ldyBpZGVhcyB3aXRoIGxhcmdlLXNjYWxlIHByb2R1Y3Rp b24uCgoKKioqKiBGVFNDUyAqKioqCgoKVGhlIGFpbSBvZiB0aGlzIHdvcmtzaG9wIGlzIHRvIGJy aW5nIHRvZ2V0aGVyIHJlc2VhcmNoZXJzIGFuZAplbmdpbmVlcnMgd2hvIGFyZSBpbnRlcmVzdGVk IGluIHRoZSBhcHBsaWNhdGlvbiBvZiBmb3JtYWwgYW5kCnNlbWktZm9ybWFsIG1ldGhvZHMgdG8g aW1wcm92ZSB0aGUgcXVhbGl0eSBvZiBzYWZldHktY3JpdGljYWwgY29tcHV0ZXIKc3lzdGVtcy4g RlRTQ1Mgc3RyaXZlcyB0byBwcm9tb3RlIHJlc2VhcmNoIGFuZCBkZXZlbG9wbWVudCBvZiBmb3Jt YWwKbWV0aG9kcyBhbmQgdG9vbHMgZm9yIGluZHVzdHJpYWwgYXBwbGljYXRpb25zLCBhbmQgaXMg cGFydGljdWxhcmx5CmludGVyZXN0ZWQgaW4gaW5kdXN0cmlhbCBhcHBsaWNhdGlvbnMgb2YgZm9y bWFsIG1ldGhvZHMuCgoKU3BlY2lmaWMgdG9waWNzIGluY2x1ZGUsIGJ1dCBhcmUgbm90IGxpbWl0 ZWQgdG86IGNhc2Ugc3R1ZGllcyBhbmQKZXhwZXJpZW5jZSByZXBvcnRzIG9uIHRoZSB1c2Ugb2Yg Zm9ybWFsIG1ldGhvZHMgZm9yIGFuYWx5emluZwpzYWZldHktY3JpdGljYWwgc3lzdGVtcywgaW5j bHVkaW5nIGF2aW9uaWNzLCBhdXRvbW90aXZlLCBtZWRpY2FsLApyYWlsd2F5LCBhbmQgb3RoZXIg a2luZHMgb2Ygc2FmZXR5LWNyaXRpY2FsIGFuZCBRb1MtY3JpdGljYWwgc3lzdGVtczsKbWV0aG9k cywgdGVjaG5pcXVlcyBhbmQgdG9vbHMgdG8gc3VwcG9ydCBhdXRvbWF0ZWQgYW5hbHlzaXMsCmNl cnRpZmljYXRpb24sIGRlYnVnZ2luZywgZXRjLiwgb2Ygc2FmZXR5L1FvUy1jcml0aWNhbCBzeXN0 ZW1zOwphbmFseXNpcyBtZXRob2RzIHRoYXQgYWRkcmVzcyB0aGUgbGltaXRhdGlvbnMgb2YgZm9y bWFsIG1ldGhvZHMgaW4KaW5kdXN0cnkgKHVzYWJpbGl0eSwgc2NhbGFiaWxpdHksIGV0Yy4pOyBm b3JtYWwgYW5hbHlzaXMgc3VwcG9ydCBmb3IKbW9kZWxpbmcgbGFuZ3VhZ2VzIHVzZWQgaW4gaW5k dXN0cnksIHN1Y2ggYXMgQUFETCwgUHRvbGVteSwgU3lzTUwsClNDQURFLCBNb2RlbGljYSwgZXRj LjsgY29kZSBnZW5lcmF0aW9uIGZyb20gdmFsaWRhdGVkIG1vZGVscy4KCgpUaGUgd29ya3Nob3Ag d2lsbCBwcm92aWRlIGEgcGxhdGZvcm0gZm9yIGRpc2N1c3Npb25zIGFuZCB0aGUgZXhjaGFuZ2UK b2YgaW5ub3ZhdGl2ZSBpZGVhcywgc28gc3VibWlzc2lvbnMgb24gd29yayBpbiBwcm9ncmVzcyBh cmUKZW5jb3VyYWdlZC4KCgoqKioqIEhBVFJBICoqKioKCgpQcm9ncmFtbWluZyBsYW5ndWFnZSBk ZXNpZ25lcnMgc2VlayB0byBwcm92aWRlIHN0cm9uZyB0b29scyB0byBoZWxwCmRldmVsb3BlcnMg cmVhc29uIGFib3V0IHRoZWlyIHByb2dyYW1zLiBGb3IgZXhhbXBsZSwgdGhlIGZvcm1hbAptZXRo b2RzIGNvbW11bml0eSBzZWVrcyB0byBlbmFibGUgZGV2ZWxvcGVycyB0byBwcm92ZSBjb3JyZWN0 bmVzcwpwcm9wZXJ0aWVzIG9mIHRoZWlyIGNvZGUsIGFuZCB0eXBlIHN5c3RlbSBkZXNpZ25lcnMg c2VlayB0byBleGNsdWRlCmNsYXNzZXMgb2YgdW5kZXNpcmFibGUgYmVoYXZpb3IgZnJvbSBwcm9n cmFtcy4gVGhlIHNlY3VyaXR5IGNvbW11bml0eQpjcmVhdGVzIHRvb2xzIHRvIGhlbHAgZGV2ZWxv cGVycyBhY2hpZXZlIHRoZWlyIHNlY3VyaXR5IGdvYWxzLiBJbgpvcmRlciB0byBtYWtlIHRoZXNl IGFwcHJvYWNoZXMgYXMgZWZmZWN0aXZlIGFzIHBvc3NpYmxlIGZvcgpkZXZlbG9wZXJzLCByZWNl bnQgd29yayBoYXMgaW50ZWdyYXRlZCBhcHByb2FjaGVzIGZyb20gaHVtYW4tY29tcHV0ZXIKaW50 ZXJhY3Rpb24gcmVzZWFyY2ggaW50byBwcm9ncmFtbWluZyBsYW5ndWFnZSBkZXNpZ24uIFRoaXMg d29ya3Nob3AKYnJpbmdzIHRvZ2V0aGVyIHByb2dyYW1taW5nIGxhbmd1YWdlcywgc29mdHdhcmUg ZW5naW5lZXJpbmcsIHNlY3VyaXR5LAphbmQgaHVtYW4tY29tcHV0ZXIgaW50ZXJhY3Rpb24gcmVz ZWFyY2hlcnMgdG8gaW52ZXN0aWdhdGUgbWV0aG9kcyBmb3IKbWFraW5nIGxhbmd1YWdlcyB0aGF0 IHByb3ZpZGUgc3Ryb25nZXIgc2FmZXR5IHByb3BlcnRpZXMgbW9yZQplZmZlY3RpdmUgZm9yIHBy b2dyYW1tZXJzIGFuZCBzb2Z0d2FyZSBlbmdpbmVlcnMuCgoKV2UgaGF2ZSB0d28gZ29hbHM6ICgx KSB0byBwcm92aWRlIGEgdmVudWUgZm9yIGRpc2N1c3Npb24gYW5kIGZlZWRiYWNrCm9uIGVhcmx5 LXN0YWdlIGFwcHJvYWNoZXMgdGhhdCBtaWdodCBlbmFibGUgcGVvcGxlIHRvIGJlIG1vcmUKZWZm ZWN0aXZlIGF0IGFjaGlldmluZyBzdHJvbmdlciBzYWZldHkgcHJvcGVydGllcyBpbiB0aGVpciBw cm9ncmFtczsKKDIpIHRvIGZhY2lsaXRhdGUgZGlzY3Vzc2lvbiBhYm91dCByZWxldmFudCB0b3Bp Y3Mgb2YgcGFydGljaXBhbnQKaW50ZXJlc3QuCgoKCioqKiogSVdBQ08gKioqKgoKCgpNYW55IHRl Y2huaXF1ZXMgaGF2ZSBiZWVuIGludHJvZHVjZWQgdG8gZGVzY3JpYmUgYW5kIHJlYXNvbiBhYm91 dApzdGF0ZWZ1bCBwcm9ncmFtcywgYW5kIHRvIHJlc3RyaWN0LCBhbmFseXplLCBhbmQgcHJldmVu dCBhbGlhc2VzLgpUaGVzZSBpbmNsdWRlIHZhcmlvdXMgZm9ybXMgb2Ygb3duZXJzaGlwIHR5cGVz LCBjYXBhYmlsaXRpZXMsCnNlcGFyYXRpb24gbG9naWMsIGxpbmVhciBsb2dpYywgdW5pcXVlbmVz cywgc2hhcmluZyBjb250cm9sLCBlc2NhcGUKYW5hbHlzaXMsIGFyZ3VtZW50IGluZGVwZW5kZW5j ZSwgcmVhZC1vbmx5IHJlZmVyZW5jZXMsIGxpbmVhcgpyZWZlcmVuY2VzLCBlZmZlY3Qgc3lzdGVt cywgYW5kIGFjY2VzcyBjb250cm9sIG1lY2hhbmlzbXMuIFRoZXNlIHRvb2xzCmhhdmUgZm91bmQg dGhlaXIgd2F5IGludG8gdHlwZSBzeXN0ZW1zLCBjb21waWxlcnMgYW5kIGludGVycHJldGVycywK cnVudGltZSBzeXN0ZW1zIGFuZCBidWctZmluZGluZyB0b29scy4gVGhlaXIgaW1tZWRpYXRlIHBy YWN0aWNhbApyZWxldmFuY2UgaXMgc2VsZi1ldmlkZW50IGZyb20gdGhlIHBvcHVsYXJpdHkgb2Yg UnVzdCwgYSBwcm9ncmFtbWluZwpsYW5ndWFnZSBidWlsdCBhcm91bmQgcmVhc29uaW5nIGFib3V0 IGFsaWFzaW5nIGFuZCBvd25lcnNoaXAgdG8gZW5hYmxlCnN0YXRpYyBtZW1vcnkgbWFuYWdlbWVu dCBhbmQgZGF0YSByYWNlIGZyZWVkb20sIHZvdGVkIHRoZSAibW9zdApiZWxvdmVkIiBsYW5ndWFn ZSBpbiB0aGUgYW5udWFsIFN0YWNrIE92ZXJmbG93IERldmVsb3BlciBTdXJ2ZXkgc2V2ZW4KdGlt ZXMgaW4gYSByb3cuCgoKSVdBQ08nMjMgd2lsbCBmb2N1cyBvbiB0aGVzZSB0ZWNobmlxdWVzLCBv biBob3cgdGhleSBjYW4gYmUgdXNlZCB0bwpyZWFzb24gYWJvdXQgc3RhdGVmdWwgKHNlcXVlbnRp YWwgb3IgY29uY3VycmVudCkgcHJvZ3JhbXMsIGFuZCBob3cKdGhleSBoYXZlIGJlZW4gYXBwbGll ZCB0byBwcm9ncmFtbWluZyBsYW5ndWFnZXMuIEluIHBhcnRpY3VsYXIsIHdlCndpbGwgY29uc2lk ZXIgcGFwZXJzIG9uOiBtb2RlbHMsIHR5cGUgc3lzdGVtcyBhbmQgb3RoZXIgZm9ybWFsCnN5c3Rl bXMsIHByb2dyYW1taW5nIGxhbmd1YWdlIG1lY2hhbmlzbXMsIGFuYWx5c2lzIGFuZCBkZXNpZ24K dGVjaG5pcXVlcywgcGF0dGVybnMgYW5kIG5vdGF0aW9ucyBmb3IgZXhwcmVzc2luZyBvd25lcnNo aXAsIGFsaWFzaW5nLApjYXBhYmlsaXRpZXMsIHVuaXF1ZW5lc3MsIGFuZCByZWxhdGVkIHRvcGlj czsgZW1waXJpY2FsIHN0dWRpZXMgb2YKcHJvZ3JhbXMgb3IgZXhwZXJpZW5jZSByZXBvcnRzIGZy b20gcHJvZ3JhbW1pbmcgc3lzdGVtcyBkZXNpZ25lZCB3aXRoCnRoZXNlIHRlY2huaXF1ZXMgaW4g bWluZDsgcHJvZ3JhbW1pbmcgbG9naWNzIHRoYXQgZGVhbCB3aXRoIGFsaWFzaW5nCmFuZC9vciBz aGFyZWQgc3RhdGUsIG9yIHVzZSBvd25lcnNoaXAsIGNhcGFiaWxpdGllcyBvciByZXNvdXJjaW5n OwphcHBsaWNhdGlvbnMgb2YgY2FwYWJpbGl0aWVzLCBvd25lcnNoaXAgYW5kIG90aGVyIHNpbWls YXIgdHlwZSBzeXN0ZW1zCmluIGxvdy1sZXZlbCBzeXN0ZW1zIHN1Y2ggYXMgcHJvZ3JhbW1pbmcg bGFuZ3VhZ2VzIHJ1bnRpbWVzLCB2aXJ0dWFsCm1hY2hpbmVzLCBvciBjb21waWxlcnM7IGFuZCBv cHRpbWl6YXRpb24gdGVjaG5pcXVlcywgYW5hbHlzaXMKYWxnb3JpdGhtcywgbGlicmFyaWVzLCBh cHBsaWNhdGlvbnMsIGFuZCBub3ZlbCBhcHByb2FjaGVzIGV4cGxvaXRpbmcKb3duZXJzaGlwLCBh bGlhc2luZywgY2FwYWJpbGl0aWVzLCB1bmlxdWVuZXNzLCBhbmQgcmVsYXRlZCB0b3BpY3MuCgoK CioqKiogTElWRSAqKioqCgoKUHJvZ3JhbW1pbmcgaXMgY29nbml0aXZlbHkgZGVtYW5kaW5nLCBh bmQgdG9vIGRpZmZpY3VsdC4gTElWRSBpcyBhCndvcmtzaG9wIGV4cGxvcmluZyBuZXcgdXNlciBp bnRlcmZhY2VzIHRoYXQgaW1wcm92ZSB0aGUgaW1tZWRpYWN5LAp1c2FiaWxpdHksIGFuZCBsZWFy bmFiaWxpdHkgb2YgcHJvZ3JhbW1pbmcuIFdoZXJlYXMgUEwgcmVzZWFyY2gKdHJhZGl0aW9uYWxs eSBmb2N1c2VzIG9uIHByb2dyYW1zLCBMSVZFIGZvY3VzZXMgbW9yZSBvbiB0aGUgYWN0aXZpdHkK b2YgcHJvZ3JhbW1pbmcuCgoKT3VyIGdvYWwgaXMgdG8gcHJvdmlkZSBhIHN1cHBvcnRpdmUgdmVu dWUgd2hlcmUgZWFybHktc3RhZ2Ugd29yawpyZWNlaXZlcyBjb25zdHJ1Y3RpdmUgY3JpdGljaXNt LiBXaGV0aGVyIGdyYWR1YXRlIHN0dWRlbnRzIG9yIHRlbnVyZWQKZmFjdWx0eSwgcmVzZWFyY2hl cnMgbmVlZCBhIGZvcnVtIHRvIGRpc2N1c3MgbmV3IGlkZWFzIGFuZCBnZXQgaGVscGZ1bApmZWVk YmFjayBmcm9tIHRoZWlyIHBlZXJzLiBUb3dhcmRzIHRoYXQgZW5kLCB3ZSB3aWxsIGFsbG90IGFi b3V0IHRlbgptaW51dGVzIGZvciBkaXNjdXNzaW9uIGFmdGVyIGV2ZXJ5IHByZXNlbnRhdGlvbi4K CgoqKioqIFBBSU5UICoqKioKCgpQcm9ncmFtbWluZyBlbnZpcm9ubWVudHMgdGhhdCBpbnRlZ3Jh dGUgdG9vbHMsIG5vdGF0aW9ucywgYW5kCmFic3RyYWN0aW9ucyBpbnRvIGEgaG9saXN0aWMgdXNl ciBleHBlcmllbmNlIGNhbiBwcm92aWRlIHByb2dyYW1tZXJzCndpdGggYmV0dGVyIHN1cHBvcnQg Zm9yIHdoYXQgdGhleSB3YW50IHRvIGFjaGlldmUuIFRoZXNlIHByb2dyYW1taW5nCmVudmlyb25t ZW50cyBjYW4gY3JlYXRlIGFuIGVuZ2FnaW5nIHBsYWNlIHRvIGRvIG5ldyBmb3JtcyBvZgppbmZv cm1hdGlvbmFsIHdvcmsgLSByZXN1bHRpbmcgaW4gZW5qb3lhYmxlLCBjcmVhdGl2ZSwgYW5kIHBy b2R1Y3RpdmUKZXhwZXJpZW5jZXMgd2l0aCBwcm9ncmFtbWluZy4KCgpJbiB0aGUgd29ya3Nob3Ag b24gUHJvZ3JhbW1pbmcgQWJzdHJhY3Rpb25zIGFuZCBJbnRlcmFjdGl2ZSBOb3RhdGlvbnMsClRv b2xzLCBhbmQgRW52aXJvbm1lbnRzIChQQUlOVCksIHdlIHdhbnQgdG8gZGlzY3VzcyBwcm9ncmFt bWluZwplbnZpcm9ubWVudHMgdGhhdCBzdXBwb3J0IHVzZXJzIGluIHdvcmtpbmcgd2l0aCBhbmQg Y3JlYXRpbmcgbm90YXRpb25zCmFuZCBhYnN0cmFjdGlvbnMgdGhhdCBtYXR0ZXIgdG8gdGhlbS4g V2UgYXJlIGludGVyZXN0ZWQgaW4gdGhlCnJlbGF0aW9uc2hpcCBiZXR3ZWVuIHBlb3BsZSBjZW50 cmljIG5vdGF0aW9ucyBhbmQgZ2VuZXJhbC1wdXJwb3NlCnByb2dyYW1taW5nIGxhbmd1YWdlcyBh bmQgZW52aXJvbm1lbnRzLiBIb3cgZG8gd2UgcmVmbGVjdCB0aGUgdmFyaW91cwpleHBlcmllbmNl cywgbmVlZHMsIGFuZCBwcmlvcml0aWVzIG9mIHRoZSBtYW55IHBlb3BsZSBpbnZvbHZlZCBpbgpw cm9ncmFtbWluZyDigJQgd2hldGhlciB0aGV5IGNhbGwgaXQgdGhhdCBvciBub3Q/CgoKKioqKiBQ TEYgKioqKgoKCkFwcGxpY2F0aW9ucyBzdXBwb3J0aW5nIG11bHRpLWRldmljZSBhcmUgdWJpcXVp dG91cy4gV2hpbGUgbW9zdCBvZiB0aGUKZGlzdHJpYnV0ZWQgYXBwbGljYXRpb25zIHRoYXQgd2Ug c2VlIG5vd2FkYXlzIGFyZSBjbG91ZC1iYXNlZCwKYXZvaWRpbmcgdGhlIGNsb3VkIGNhbiBsZWFk IHRvIHByaXZhY3kgYW5kIHBlcmZvcm1hbmNlIGJlbmVmaXRzIGZvcgp1c2VycyBhbmQgb3BlcmF0 aW9uYWwgYW5kIGNvc3QgYmVuZWZpdHMgZm9yIGNvbXBhbmllcyBhbmQgZGV2ZWxvcGVycy4KRm9s bG93aW5nIHRoaXMgaWRlYSwgTG9jYWwtRmlyc3QgU29mdHdhcmUgcnVucyBhbmQgc3RvcmVzIGl0 cyBkYXRhCmxvY2FsbHkgd2hpbGUgc3RpbGwgYWxsb3dpbmcgY29sbGFib3JhdGlvbiwgdGh1cyBy ZXRhaW5pbmcgdGhlCmJlbmVmaXRzIG9mIGV4aXN0aW5nIGNvbGxhYm9yYXRpdmUgYXBwbGljYXRp b25zIHdpdGhvdXQgZGVwZW5kaW5nIG9uCnRoZSBjbG91ZC4gTWFueSBzcGVjaWZpYyBzb2x1dGlv bnMgYWxyZWFkeSBleGlzdDogb3BlcmF0aW9uYWwKdHJhbnNmb3JtYXRpb24sIGNsaWVudC1zaWRl IGRhdGFiYXNlcyB3aXRoIGV2ZW50dWFsbHkgY29uc2lzdGVudApyZXBsaWNhdGlvbiBiYXNlZCBv biBDUkRUcywgYW5kIGV2ZW4gc3luY2hyb25pemF0aW9uIGFzIGEgc2VydmljZQpwcm92aWRlZCBi eSBjb21tZXJjaWFsIG9mZmVyaW5ncywgYW5kIGEgdmFzdCBzZWxlY3Rpb24gb2YgVUkgZGVzaWdu CmxpYnJhcmllcy4KCgpIb3dldmVyLCB0aGVzZSBzb2x1dGlvbnMgYXJlIG5vdCBpbnRlZ3JhdGVk IHdpdGggdGhlIHByb2dyYW1taW5nCmxhbmd1YWdlcyB0aGF0IGFwcGxpY2F0aW9ucyBhcmUgZGV2 ZWxvcGVkIGluLiBMYW5ndWFnZSBiYXNlZCBzb2x1dGlvbnMKcmVsYXRlZCB0byBkaXN0cmlidXRp b24gc3VjaCBhcyB0eXBlIHN5c3RlbXMgZGVzY3JpYmluZyBwcm90b2NvbHMsCnJlbGlhYmxlIGFj dG9yIHJ1bnRpbWVzLCBkYXRhIHByb2Nlc3NpbmcsIG1hY2hpbmUgbGVhcm5pbmcsIGV0Yy4sIGFy ZQpkZXNpZ25lZCBhbmQgb3B0aW1pemVkIGZvciB0aGUgY2xvdWQgbm90IGZvciBhIGxvb3NlbHkg Y29ubmVjdGVkIHNldApvZiBjb29wZXJhdGluZyBkZXZpY2VzLiBUaGlzIHdvcmtzaG9wIGFpbXMg YXQgYnJpbmdpbmcgdGhlIGlzc3VlIHRvCnRoZSBhdHRlbnRpb24gb2YgdGhlIFBMIGNvbW11bml0 eSwgYW5kIGFjY2VsZXJhdGluZyB0aGUgZGV2ZWxvcG1lbnQgb2YKc3VpdGFibGUgc29sdXRpb25z IGZvciB0aGlzIGFyZWEuCgoKCioqKiogUkVCRUxTICoqKioKCgpSZWFjdGl2ZSBwcm9ncmFtbWlu ZyBhbmQgZXZlbnQtYmFzZWQgcHJvZ3JhbW1pbmcgYXJlIHR3byBjbG9zZWx5CnJlbGF0ZWQgcHJv Z3JhbW1pbmcgc3R5bGVzIHRoYXQgYXJlIGJlY29taW5nIGV2ZXIgbW9yZSBpbXBvcnRhbnQgd2l0 aAp0aGUgYWR2ZW50IG9mIGFkdmFuY2VkIEhQQyB0ZWNobm9sb2d5IGFuZCB0aGUgZXZlciBpbmNy ZWFzaW5nCnJlcXVpcmVtZW50IGZvciBvdXIgYXBwbGljYXRpb25zIHRvIHJ1biBvbiB0aGUgd2Vi IG9yIG9uIGNvbGxhYm9yYXRpbmcKbW9iaWxlIGRldmljZXMuIEEgbnVtYmVyIG9mIHB1YmxpY2F0 aW9ucyBvbiBtaWRkbGV3YXJlIGFuZCBsYW5ndWFnZQpkZXNpZ24g4oCUIHNvLWNhbGxlZCByZWFj dGl2ZSBhbmQgZXZlbnQtYmFzZWQgbGFuZ3VhZ2VzIGFuZCBzeXN0ZW1zCihSRUJMUykg4oCUIGhh dmUgYWxyZWFkeSBzZWVuIHRoZSBsaWdodCwgYnV0IHRoZSBmaWVsZCBzdGlsbCByYWlzZXMKc2V2 ZXJhbCBxdWVzdGlvbnMuIEZvciBleGFtcGxlLCB0aGUgaW50ZXJhY3Rpb24gd2l0aCBtYWluc3Ry ZWFtCmxhbmd1YWdlIGNvbmNlcHRzIGlzIHBvb3JseSB1bmRlcnN0b29kLCBpbXBsZW1lbnRhdGlv biB0ZWNobm9sb2d5IGlzCmluIGl0cyBpbmZhbmN5IGFuZCBtb2R1bGFyaXR5IG1lY2hhbmlzbXMg YXJlIGFsbW9zdCB0b3RhbGx5IGxhY2tpbmcuCk1vcmVvdmVyLCBsYXJnZSBhcHBsaWNhdGlvbnMg YXJlIHN0aWxsIHRvIGJlIGRldmVsb3BlZCBhbmQgcGF0dGVybnMKYW5kIHRvb2xzIGZvciBkZXZl bG9waW5nIHJlYWN0aXZlIGFwcGxpY2F0aW9ucyBpcyBhbiBhcmVhIHRoYXQgaXMKdmFzdGx5IHVu ZXhwbG9yZWQuCgoKVGhpcyB3b3Jrc2hvcCB3aWxsIGdhdGhlciByZXNlYXJjaGVycyBpbiByZWFj dGl2ZSBhbmQgZXZlbnQtYmFzZWQKbGFuZ3VhZ2VzIGFuZCBzeXN0ZW1zLiBUaGUgZ29hbCBvZiB0 aGUgd29ya3Nob3AgaXMgdG8gZXhjaGFuZ2UgbmV3CnRlY2huaWNhbCByZXNlYXJjaCByZXN1bHRz IGFuZCB0byBkZWZpbmUgYmV0dGVyIHRoZSBmaWVsZCBieSBjb21pbmcgdXAKd2l0aCB0YXhvbm9t aWVzIGFuZCBvdmVydmlld3Mgb2YgdGhlIGV4aXN0aW5nIHdvcmsuCgoKCgoqKioqIFNUMzAgKioq KgoKClNlc3Npb24gdHlwZXMgYXJlIGEgdHlwZS10aGVvcmV0aWMgYXBwcm9hY2ggdG8gc3BlY2lm eWluZwpjb21tdW5pY2F0aW9uIHByb3RvY29scyBzbyB0aGF0IHRoZXkgY2FuIGJlIHZlcmlmaWVk IGJ5IHR5cGUtY2hlY2tpbmcuClRoaXMgeWVhciBtYXJrcyAzMCB5ZWFycyBzaW5jZSB0aGUgZmly c3QgcGFwZXIgb24gc2Vzc2lvbiB0eXBlcywgYnkKS29oZWkgSG9uZGEgYXQgQ09OQ1VSIDE5OTMu IFNpbmNlIHRoZW4gdGhlIHRvcGljIGhhcyBhdHRyYWN0ZWQKaW5jcmVhc2luZyBpbnRlcmVzdCwg YW5kIGEgc3Vic3RhbnRpYWwgY29tbXVuaXR5IGFuZCBsaXRlcmF0dXJlIGhhdmUKZGV2ZWxvcGVk LiBHb29nbGUgU2Nob2xhciBsaXN0cyBhbG1vc3QgNDAwIGFydGljbGVzIHdpdGggInNlc3Npb24K dHlwZXMiIGluIHRoZSB0aXRsZSwgYW5kIG1vc3QgcHJvZ3JhbW1pbmcgbGFuZ3VhZ2UgY29uZmVy ZW5jZXMgbm93CmluY2x1ZGUgc2V2ZXJhbCBwYXBlcnMgb24gc2Vzc2lvbiB0eXBlcyBlYWNoIHll YXIuIEluIHRlcm1zIG9mIHRoZQp0ZWNobmljYWwgZm9jdXMsIHRoZXJlIGhhdmUgYmVlbiBjb250 aW51aW5nIHRoZW9yZXRpY2FsIGRldmVsb3BtZW50cwoobm90YWJseSB0aGUgZ2VuZXJhbGlzYXRp b24gZnJvbSB0d28tcGFydHkgdG8gbXVsdGktcGFydHkgc2Vzc2lvbgp0eXBlcyBieSBIb25kYSwg WW9zaGlkYSBhbmQgQ2FyYm9uZSBpbiAyMDA4LCBhbmQgdGhlIGRldmVsb3BtZW50IG9mIGEKQ3Vy cnktSG93YXJkIGNvcnJlc3BvbmRlbmNlIHdpdGggbGluZWFyIGxvZ2ljIGJ5IENhaXJlcyBhbmQg UGZlbm5pbmcKaW4gMjAxMCkgYW5kIGEgdmFyaWV0eSBvZiBpbXBsZW1lbnRhdGlvbnMgb2Ygc2Vz c2lvbiB0eXBlcyBhcwpwcm9ncmFtbWluZyBsYW5ndWFnZSBleHRlbnNpb25zIG9yIGxpYnJhcmll cywgY292ZXJpbmcgKGFtb25nIG90aGVycykKSGFza2VsbCwgT0NhbWwsIEphdmEsIFNjYWxhLCBS dXN0LCBQeXRob24sIEMjLCBHby4KCgpTVDMwIGlzIGEgd29ya3Nob3AgdG8gY2VsZWJyYXRlIHRo ZSAzMHRoIGFubml2ZXJzYXJ5IG9mIHNlc3Npb24gdHlwZXMKYnkgYnJpbmdpbmcgdG9nZXRoZXIg dGhlIGNvbW11bml0eSBmb3IgYSBkYXkgb2YgdGFsa3MgYW5kIHRlY2huaWNhbApkaXNjdXNzaW9u LgoKCioqKiogVk1JTCAqKioqCgpUaGUgY29uY2VwdCBvZiBWaXJ0dWFsIE1hY2hpbmVzIGlzIHBl cnZhc2l2ZSBpbiB0aGUgZGVzaWduIGFuZAppbXBsZW1lbnRhdGlvbiBvZiBwcm9ncmFtbWluZyBz eXN0ZW1zLiBWaXJ0dWFsIE1hY2hpbmVzIGFuZCB0aGUKbGFuZ3VhZ2VzIHRoZXkgaW1wbGVtZW50 IGFyZSBjcnVjaWFsIGluIHRoZSBzcGVjaWZpY2F0aW9uLAppbXBsZW1lbnRhdGlvbiBhbmQvb3Ig dXNlci1mYWNpbmcgZGVwbG95bWVudCBvZiBtb3N0IHByb2dyYW1taW5nCnRlY2hub2xvZ2llcy4K VGhlIFZNSUwgd29ya3Nob3AgaXMgYSBmb3J1bSBmb3IgcmVzZWFyY2hlcnMgYW5kIGN1dHRpbmct ZWRnZQpwcmFjdGl0aW9uZXJzIGluIGxhbmd1YWdlIHZpcnR1YWwgbWFjaGluZXMsIHRoZSBpbnRl cm1lZGlhdGUgbGFuZ3VhZ2VzCnRoZXkgdXNlLCBhbmQgcmVsYXRlZCBpc3N1ZXMuIFRoZSB3b3Jr c2hvcCBpcyBpbnRlbmRlZCB0byBiZSB3ZWxjb21pbmcKdG8gYSB3aWRlIHJhbmdlIG9mIHRvcGlj cyBhbmQgcGVyc3BlY3RpdmVzLCBjb3ZlcmluZyBhbGwgYXJlYXMKcmVsZXZhbnQgdG8gdGhlIHdv cmtzaG9w4oCZcyB0aGVtZS4KCgoKPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQoKCkJlIHBhcnQgb2YgdGhlc2UgZmFu dGFzdGljIGV2ZW50cyEKCgo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CgoKT3JnYW5pemluZyBDb21taXR0ZWUKCgpH ZW5lcmFsIENoYWlyOiBWYXNjbyBULiBWYXNjb25jZWxvcyAoVW5pdmVyc2l0eSBvZiBMaXNib24p CgpPT1BTTEEgUmV2aWV3IENvbW1pdHRlZSBDaGFpcjogTWlyYSBNZXppbmkgKFRVIERhcm1zdGFk dCkKCk9PUFNMQSBQdWJsaWNhdGlvbnMgQ28tQ2hhaXI6IFJhZ25hciBNb2drIChUVSBEYXJtc3Rh ZHQpCgpPT1BTTEEgQXJ0aWZhY3QgRXZhbHVhdGlvbiBDby1DaGFpcjogQmVuamFtaW4gR3JlZW5t YW4gKEJyb3duIFVuaXZlcnNpdHkpCgpPT1BTTEEgQXJ0aWZhY3QgRXZhbHVhdGlvbiBDby1DaGFp cjogR3VpbGxhdW1lIEJhdWRhcnQgKElOUklBKQoKRExTIEdlbmVyYWwgQ2hhaXI6IFN0ZWZhbiBN YXJyIChVbml2ZXJzaXR5IG9mIEtlbnQpCgpHUENFIEdlbmVyYWwgQ2hhaXI6IEJlcm5oYXJkIFJ1 bXBlIChSV1RIIEFhY2hlbiBVbml2ZXJzaXR5KQoKR1BDRSBQQyBDaGFpcjogQW1pciBTaGFpa2ho YSAoVW5pdmVyc2l0eSBvZiBFZGluYnVyZ2gpCgpMT1BTVFIgUEMgQ2hhaXI6IFJvYmVydCBHbMO8 Y2sgKFVuaXZlcnNpdHkgb2YgQ29wZW5oYWdlbiwgRGVubWFyaykKCkxPUFNUUiBQQyBDaGFpcjog QmlzaG9rc2FuIEthZmxlIChJTURFQSkKCk1QTFIgR2VuZXJhbCBDaGFpcjogUm9kcmlnbyBCcnVu byAoVW5pdmVyc2l0eSBvZiBMaXNib24pCgpNUExSIFBDIENoYWlyOiBFbGxpb3QgTW9zcyAoVW5p dmVyc2l0eSBvZiBNYXNzYWNodXNldHRzIEFtaGVyc3QpCgpQUERQIFBDIENoYWlyOiBTYW50aWFn byBFc2NvYmFyIChVbml2ZXJzaXRhdCBQb2xpdMOoY25pY2EgZGUgVmFsw6huY2lhICkKClNBUyBD by1DaGFpcjogTWFudWVsIEhlcm1lbmVnaWxkbyAoVGVjaG5pY2FsIFVuaXZlcnNpdHkgb2YgTWFk cmlkICYgSU1ERUEpCgpTQVMgQ28tQ2hhaXI6IEpvc8OpIE1vcmFsZXMgKElNREVBKQoKU0FTIEFy dGlmYWN0IEV2YWx1YXRpb24gQ2hhaXI6IE1hcmMgQ2hldmFsaWVyIChTbnlrKQoKU0xFIENoYWly OiBKb8OjbyBTYXJhaXZhIChVbml2ZXJzaXR5IG9mIE1pbmhvKQoKU0xFIFBDIENvLUNoYWlyOiBU aG9tYXMgRGVndWV1bGUgKENOUlMsIExhQlJJKQoKU0xFIFBDIENvLUNoYWlyOiBFbGl6YWJldGgg U2NvdHQgKFJveWFsIEhvbGxvd2F5IFVuaXZlcnNpdHkgb2YgTG9uZG9uKQoKT253YXJkISBQYXBl cnMgQ2hhaXI6IFRpanMgdmFuIGRlciBTdG9ybSAoQ1dJICYgVW5pdmVyc2l0eSBvZiBHcm9uaW5n ZW4pCgpPbndhcmQhIEVzc2F5cyBDaGFpcjogUm9iZXJ0IEhpcnNjaGZlbGQgKFVuaXZlcnNpdHkg b2YgUG90c2RhbTsgSGFzc28KUGxhdHRuZXIgSW5zdGl0dXRlKQoKU1BMQVNILUUgQ28tQ2hhaXI6 IE1vbGx5IEZlbGRtYW4gKE9iZXJsaW4gQ29sbGVnZSkKClBvc3RlcnMgQ28tQ2hhaXI6IFh1amll IFNpIChVbml2ZXJzaXR5IG9mIFRvcm9udG8pCgpXb3Jrc2hvcHMgQ28tQ2hhaXI6IE1laGRpIEJh Z2hlcnphZGVoIChPYWtsYW5kIFVuaXZlcnNpdHkpCgpXb3Jrc2hvcHMgQ28tQ2hhaXI6IEFtaW4g QWxpcG91ciAoVW5pdmVyc2l0eSBvZiBIb3VzdG9uKQoKSHlicmlkaXNhdGlvbiBDby1DaGFpcjog WW91eW91IENvbmcgKFRva3lvIEluc3RpdHV0ZSBvZiBUZWNobm9sb2d5KQoKSHlicmlkaXNhdGlv biBDby1DaGFpcjogSm9uYXRoYW4gSW1tYW51ZWwgQnJhY2h0aMOkdXNlciAoVW5pdmVyc2l0eSBv ZiBUw7xiaW5nZW4pCgpWaWRlbyBDby1DaGFpcjogR3VpbGhlcm1lIEVzcGFkYSAoVW5pdmVyc2l0 eSBvZiBMaXNib24pCgpWaWRlbyBDby1DaGFpcjogQXBvb3J2IEluZ2xlIChVbml2ZXJzaXR5IG9m IElvd2EpCgpQdWJsaWNpdHkgQ2hhaXIsIFdlYiBDby1DaGFpcjogQW5kcmVlYSBDb3N0ZWEgKE5h dGlvbmFsIFVuaXZlcnNpdHkgT2YgU2luZ2Fwb3JlKQoKUHVibGljaXR5IENoYWlyLCBXZWIgQ28t Q2hhaXI6IEFsY2lkZXMgRm9uc2VjYSAoVW5pdmVyc2l0eSBvZiBMaXNib24pCgpQTE1XIENvLUNo YWlyOiBNb2xseSBGZWxkbWFuIChPYmVybGluIENvbGxlZ2UpCgpQTE1XIENvLUNoYWlyOiBZb3V5 b3UgQ29uZyAoVG9reW8gSW5zdGl0dXRlIG9mIFRlY2hub2xvZ3kpCgpQTE1XIENvLUNoYWlyOiBK b8OjbyBGZXJyZWlyYSAoVW5pdmVyc2l0eSBvZiBMaXNib24pCgpTcG9uc29yaW5nIENvLUNoYWly OiBCb3ItWXVoIEV2YW4gQ2hhbmcgKFVuaXZlcnNpdHkgb2YgQ29sb3JhZG8KQm91bGRlciAmIEFt YXpvbikKClNwb25zb3JpbmcgQ28tQ2hhaXI6IE5pY29sYXMgV3UgKEltcGVyaWFsIENvbGxlZ2Ug TG9uZG9uKQoKU3R1ZGVudCBSZXNlYXJjaCBDb21wZXRpdGlvbiBDby1DaGFpcjogWHVqaWUgU2kg KE1jR2lsbCBVbml2ZXJzaXR5LCBDYW5hZGEpCgpMb2NhbCBPcmdhbml6ZXIgQ2hhaXI6IEFuZHJl aWEgTW9yZGlkbyAoVW5pdmVyc2l0eSBvZiBMaXNib24pCgpTSUdQTEFOIENvbmZlcmVuY2UgTWFu YWdlcjogTmVyaW5nYSBZb3VuZwpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fXwpBZ2RhIG1haWxpbmcgbGlzdApBZ2RhQGxpc3RzLmNoYWxtZXJzLnNlCmh0dHBz Oi8vbGlzdHMuY2hhbG1lcnMuc2UvbWFpbG1hbi9saXN0aW5mby9hZ2RhCg==