RR 2016 Final call for papers - abstract submission: 23 May
Magdalena Ortiz <[email protected]> Fri, 20 May 2016 19:23:04 +0200
| Newsgroups | gmane.comp.mathematics.openmath.announce,gmane.comp.ai.loom,gmane.comp.lang.lambda-prolog,gmane.comp.mathematics.mizar,gmane.science.mathematics.petri-nets |
|---|---|
| Message-ID | <[email protected]> |
PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09CgpSUiAyMDE2IEZJTkFMIENBTEwgRk9SIFBBUEVSUwoKMTB0aCBJbnRlcm5hdGlv bmFsIENvbmZlcmVuY2Ugb24gV2ViIFJlYXNvbmluZyBhbmQgUnVsZSBTeXN0ZW1zCgpBYmVyZGVl biwgU2NvdGxhbmQsIFVLLCBTZXB0ZW1iZXIgOS0xMSwgMjAxNgoKaHR0cDovL3d3dy5hYmRuLmFj LnVrL2V2ZW50cy9yci0yMDE2LwoKPT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09CgpUaGUgSW50ZXJuYXRpb25hbCBDb25mZXJl bmNlIG9uIFdlYiBSZWFzb25pbmcgYW5kIFJ1bGUgU3lzdGVtcyAoUlIpIGlzIGEgbWFqb3IgZm9y dW0gZm9yIGRpc2N1c3Npb24gYW5kIGRpc3NlbWluYXRpb24gb2YgbmV3IHJlc3VsdHMgY29uY2Vy bmluZyBydWxlLWJhc2VkIHN5c3RlbXMsIGFuZCB0aGVpciBhcHBsaWNhdGlvbnMgaW4gcmVhc29u aW5nIGFib3V0IHdlYiBkYXRhLiAgCgpUaGUgMTB0aCBlZGl0aW9uLCBSUiAyMDE2LCB3aWxsIHRh a2UgcGxhY2UgaW4gQWJlcmRlZW4sIFNjb3RsYW5kLCBVSywgb24gU2VwdGVtYmVyIDl0aC0xMXRo IDIwMTYsIGFuZCB3aWxsIGJlIGNvLWxvY2F0ZWQgd2l0aCB0aGUgMTJ0aCBSZWFzb25pbmcgV2Vi IFN1bW1lciBTY2hvb2wgKFJXMjAxNikuICBQbGVhc2Ugc2VlIGh0dHA6Ly93d3cuYWJkbi5hYy51 ay9ldmVudHMvcnItMjAxNi8gZm9yIG1vcmUgaW5mb3JtYXRpb24uIAoKPT0gVE9QSUNTID09IAoK UlIgd2VsY29tZXMgb3JpZ2luYWwgcmVzZWFyY2ggZnJvbSBhbGwgYXJlYXMgb2YgV2ViIFJlYXNv bmluZyBhbmQgUnVsZSBTeXN0ZW1zLiAKClRvcGljcyBvZiBwYXJ0aWN1bGFyIGludGVyZXN0IGlu Y2x1ZGU6CgoqIFJ1bGUtYmFzZWQgbGFuZ3VhZ2VzIGZvciBpbnRlbGxpZ2VudCBpbmZvcm1hdGlv biBhY2Nlc3MgYW5kIGZvciB0aGUgc2VtYW50aWMgd2ViCiogT250b2xvZ3ktYmFzZWQgZGF0YSBh Y2Nlc3MKKiBEYXRhIG1hbmFnZW1lbnQsIGFuZCBkYXRhIGludGVyb3BlcmFiaWxpdHkgZm9yIHdl YiBkYXRhCiogRGlzdHJpYnV0ZWQgYWdlbnQtYmFzZWQgc3lzdGVtcyBmb3IgdGhlIHdlYgoqIFNj YWxhYmlsaXR5IGFuZCBleHByZXNzaXZlIHBvd2VyIG9mIGxvZ2ljcyBmb3IgdGhlIHNlbWFudGlj IHdlYgoqIFJlYXNvbmluZyB3aXRoIGluY29tcGxldGUsIGluY29uc2lzdGVudCBhbmQgdW5jZXJ0 YWluIGRhdGEKKiBOb24tbW9ub3RvbmljLCBjb21tb24tc2Vuc2UsIGFuZCBjbG9zZWQtd29ybGQg cmVhc29uaW5nIGZvciB3ZWIgZGF0YQoqIENvbnN0cmFpbnQgcHJvZ3JhbW1pbmcsIGluZHVjdGl2 ZSBsb2dpYyBwcm9ncmFtbWluZyBmb3Igd2ViIGRhdGEKKiBTdHJlYW1pbmcgZGF0YSBhbmQgY29t cGxleCBldmVudCBwcm9jZXNzaW5nCiogUnVsZS1iYXNlZCBhcHByb2FjaGVzIHRvIG1hY2hpbmUg bGVhcm5pbmcsIGtub3dsZWRnZSBleHRyYWN0aW9uIGFuZCBpbmZvcm1hdGlvbiByZXRyaWV2YWwK KiBSdWxlLWJhc2VkIGFwcHJvYWNoZXMgdG8gbmF0dXJhbCBsYW5ndWFnZSBwcm9jZXNzaW5nCiog U3lzdGVtIGRlc2NyaXB0aW9ucywgYXBwbGljYXRpb25zIGFuZCBleHBlcmllbmNlcwoKCj09IFNV Qk1JU1NJT05TID09IAoKV2UgYWNjZXB0IHRoZSBmb2xsb3dpbmcgc3VibWlzc2lvbiBmb3JtYXRz IGZvciBwYXBlcnM6CgoqIEZ1bGwgcGFwZXJzICh1cCB0byAxNSBwYWdlcyBpbiBMTkNTIHN0eWxl KQoqIFRlY2huaWNhbCBDb21tdW5pY2F0aW9ucyAodXAgdG8gNiBwYWdlcyBpbiBMTkNTIHN0eWxl KSAKClN1Ym1pdHRlZCBmdWxsIHBhcGVycyBzaG91bGQgcHJlc2VudCBvcmlnaW5hbCBhbmQgc2ln bmlmaWNhbnQgcmVzZWFyY2ggcmVzdWx0cy4gVGhleSBtdXN0IG5vdCBzdWJzdGFudGlhbGx5IG92 ZXJsYXAgd2l0aCBwYXBlcnMgdGhhdCBoYXZlIGJlZW4gcHVibGlzaGVkIG9yIHRoYXQgYXJlIHNp bXVsdGFuZW91c2x5IHN1Ym1pdHRlZCB0byBhIGpvdXJuYWwgb3IgYSBjb25mZXJlbmNlL3dvcmtz aG9wIHdpdGggZm9ybWFsIHByb2NlZWRpbmdzLiBEb3VibGUgc3VibWlzc2lvbiB0byBhIHdvcmtz aG9wIHdpdGggaW5mb3JtYWwgcHJvY2VlZGluZ3MgaXMgYWxsb3dlZC4KClRlY2huaWNhbCBjb21t dW5pY2F0aW9ucyBhcmUgaW50ZW5kZWQgZm9yIHByb21pc2luZyBidXQgcG9zc2libHkgcHJlbGlt aW5hcnkgd29yaywgcG9zaXRpb24gcGFwZXJzLCBzeXN0ZW0gZGVzY3JpcHRpb25zLCBhbmQgYXBw bGljYXRpb25zIGRlc2NyaXB0aW9ucyAod2hpY2ggbWF5IGJlIGFjY29tcGFuaWVkIGJ5IGEgZGVt bykuCgpTdWJtaXNzaW9uczogdmlhIEVhc3lDaGFpciAoaHR0cHM6Ly9lYXN5Y2hhaXIub3JnL2Nv bmZlcmVuY2VzLz9jb25mPXJyMjAxNikKCgo9PSBQVUJMSUNBVElPTiA9PSAKClRoZSBjb25mZXJl bmNlIHByb2NlZWRpbmdzIHdpbGwgYmUgcHVibGlzaGVkIGJ5IFNwcmluZ2VyIGluIHRoZSBMZWN0 dXJlIE5vdGVzIGluIENvbXB1dGVyIFNjaWVuY2Ugc2VyaWVzIChMTkNTKS4gQWxsIHN1Ym1pc3Np b25zIG11c3QgYmUgcHJlcGFyZWQgaW4gU3ByaW5nZXIncyBMYVRlWCBzdHlsZSBsbG5jcyAoaHR0 cDovL3d3dy5zcHJpbmdlci5jb20vY29tcC9sbmNzL0F1dGhvcnMuaHRtbCkuCgo9PSBJTVBPUlRB TlQgREFURVMgPT0gCgpUaXRsZSBhbmQgQWJzdHJhY3Qgc3VibWlzc2lvbjogTWF5IDIzLCAyMDE2 IChleHRlbmRlZCkKRnVsbCBwYXBlcnMgc3VibWlzc2lvbjogTWF5IDI3LCAyMDE2IChleHRlbmRl ZCkKTm90aWZpY2F0aW9uIG9mIGFjY2VwdGFuY2U6IEp1bmUgMjIsIDIwMTYgCkNhbWVyYS1yZWFk eSBzdWJtaXNzaW9uOiBKdWx5IDMsIDIwMTYKQ29uZmVyZW5jZTogU2VwdGVtYmVyIDktMTEsIDIw MTYKCkZvciBlYWNoIG9mIHRoZXNlIGRlYWRsaW5lcywgYSBjdXQtb2ZmIHBvaW50IG9mIDIzOjU5 IEFPRSAoYW55d2hlcmUgb24gZWFydGgpIGFwcGxpZXMuCgoKPT0gQkVTVCBQQVBFUiBBTkQgU1RV REVOVCBQQVBFUiBBV0FSRFMgPT0gCgpBd2FyZHMgZm9yIEJlc3QgUGFwZXIgYW5kIEJlc3QgU3R1 ZGVudCBQYXBlciB3aWxsIGJlIHByZXNlbnRlZCB0byB0aGUgY29ycmVzcG9uZGluZyBhdXRob3Io cykgYXQgdGhlIGNvbmZlcmVuY2UuIFRvIHF1YWxpZnkgZm9yIHRoZSBCZXN0IFN0dWRlbnQgUGFw ZXIgYXdhcmQsIHRoZSBtYWluIGF1dGhvcnMgbXVzdCBub3QgaG9sZCBhIFBoRCBhdCB0aGUgcGFw ZXIgc3VibWlzc2lvbiBkZWFkbGluZSwgYW5kIGluZGljYXRlIHRoZWlyIGVsaWdpYmlsaXR5IHVw b24gc3VibWlzc2lvbi4gVGhlIHByb2dyYW0gY29tbWl0dGVlIHJlc2VydmVzIHRoZSByaWdodCB0 byBub3QgZ2l2ZSBvdXQgdGhlIGF3YXJkcywgb3IgdG8gc3BsaXQgdGhlIGF3YXJkcyBhbW9uZyBt dWx0aXBsZSBzdWJtaXNzaW9ucy4KCj09IEdSQU5UUyBGT1IgU1RVREVOVFMgQVRURU5ESU5HIFJS L1JXIDIwMTYgPT0KClJSIHdpbGwgYmUgb2ZmZXJpbmcgc2Nob2xhcnNoaXBzIHRvIHBhcnRpY2lw YW50cyB0byBwYXJ0aWFsbHkgY292ZXIgcmVnaXN0cmF0aW9uIGFuZC9vciBhY2NvbW1vZGF0aW9u IGZlZXMuIEFuIGFkZGl0aW9uYWwgbnVtYmVyIG9mIGdyYW50cyBpcyByZXNlcnZlZCB0byBVUyBT dHVkZW50cyB0byBhdHRlbmQgUlIyMDE2IGFuZCB0aGUgY28tbG9jYXRlZCBSVzIwMTYgc3VtbWVy IHNjaG9vbC4gIERldGFpbHMgY2FuIGJlIGZvdW5kIG9uIHRoZSBjb25mZXJlbmNlIHdlYnNpdGUu IAoKPT0gRE9DVE9SQUwgQ09OU09SVElVTSA9PQoKQ29udGludWluZyBpdHMgc3VjY2Vzc2Z1bCB0 cmFkaXRpb24sIFJSIDIwMTYgd2lsbCBob3N0IGEgRG9jdG9yYWwgQ29uc29ydGl1bSAoREMpLgpU aGUgUlIgMjAxNiBEQyB3aWxsIHByb3ZpZGUgZG9jdG9yYWwgc3R1ZGVudHMgaW4gV2ViIFJlYXNv bmluZyBhbmQgcmVsYXRlZCBhcmVhcyB3aXRoIGEgdW5pcXVlIG9wcG9ydHVuaXR5IHRvIHByZXNl bnQgYW5kIGRpc2N1c3MgdGhlaXIgcmVzZWFyY2ggZGlyZWN0aW9ucywgYmUgaW52b2x2ZWQgaW50 byBzdGF0ZS1vZi10aGUtYXJ0IHJlc2VhcmNoIGRpc2N1c3Npb24sIGFuZCBzdXBwb3J0ZWQgaW4g ZXN0YWJsaXNoaW5nIGZydWl0ZnVsIHJlc2VhcmNoIGNvbGxhYm9yYXRpb25zLgpUaGUgREMgaXMg Y29tcG9zZWQgYnkgdHdvIG1haW4gZXZlbnRzOgotIGEgbWVudG9yaW5nIGx1bmNoLCB3aGVyZSBz dHVkZW50cyB3aWxsIGhhdmUgdGhlIG9wcG9ydHVuaXR5IHRvIGdldCBpbiB0b3VjaCB3aXRoIHBy b21pbmVudCByZXNlYXJjaGVycyBhbmQgcGlvbmVlcnMgaW4gdGhlIGZpZWxkIG9mIFdlYiBSZWFz b25pbmcgYW5kIFJ1bGVzLCBhbmQgb2YgcmVsYXRlZCBhcmVhczsgYW5kCi0gYSBwb3N0ZXIgc2Vz c2lvbiB3aGVyZSBzdHVkZW50cyB3aWxsIGhhdmUgdGhlIHBvc3NpYmlsaXR5IHRvIHByZXNlbnQg dGhlaXIgd29yaywgc2hhcmUgdGhlaXIgaWRlYXMsIGFuZCByZWNlaXZlIGNvbnN0cnVjdGl2ZSBm ZWVkYmFjayBvbiB0aGVpciByZXNlYXJjaCBhY3Rpdml0eS4KUGxlYXNlIHNlZSB0aGUgd2Vic2l0 ZSBmb3IgZGV0YWlsZWQgaW5mb3JtYXRpb24gb24gaG93IHRvIHBhcnRpY2lwYXRlIGluIHRoZSBE Qy4gCgo9PSBSRUFTT05JTkcgV0VCIFNVTU1FUiBTQ0hPT0wgPT0KClRoZSBSZWFzb25pbmcgV2Vi IChSVykgc3VtbWVyIHNjaG9vbCAgc2VyaWVzIChSVzIwMTYpIHNlcmllcyBmb2N1c2VzIG9uIHRo ZSBhZHZhbmNlZCBjYXBhYmlsaXRpZXMgcmVxdWlyZWQgYnkgU2VtYW50aWMgV2ViIGFuZCBMaW5r ZWQgRGF0YSBhcHBsaWNhdGlvbiBzY2VuYXJpb3MgY2FsbGluZyBmb3IgUmVhc29uaW5nLiBUaGlz IHBlcnNwZWN0aXZlLCBjZW50ZXJlZCBvbiB0aGUgcmVhc29uaW5nIHRlY2huaXF1ZXMgY29tcGxl bWVudGluZyBvdGhlciByZXNlYXJjaCBlZmZvcnRzIGluIHRoZXNlIGFyZWFzLCB3aWxsIGdpdmUg aW5zaWdodCBpbnRvIHRoZSBTZW1hbnRpYyBXZWIsIExpbmtlZCBEYXRhLCBPbnRvbG9naWVzLCBS dWxlcywgYW5kIExvZ2ljLgpUaGUgMTJ0aCBlZGl0aW9uIG9mIHRoZSBTY2hvb2wgd2lsbCB0YWtl IGJlIGNvbG9jYXRlZCB3aXRoIFJSIDIwMTYsIDUtMTEgU2VwdGVtYmVyIDIwMTYuIAoKPT0gSU5J VlRFRCBTUEVBS0VSUyA9PQoKQWJyYWhhbSBCZXJuc3RlaW4sIFVuaXZlcnNpdHkgb2YgWnVyaWNo LCBTd2l0emVybGFuZApNZWdoeW4gQmllbnZlbnUsIENOUlMgJiBVbml2ZXJzaXR5IG9mIE1vbnRw ZWxsaWVyLCBGcmFuY2UKTGVvbmlkIExpYmtpbiwgVW5pdmVyc2l0eSBvZiBFZGluYnVyZ2gsIFVL CklhbiBIb3Jyb2NrcywgVW5pdmVyc2l0eSBvZiBPeGZvcmQsIFVLCgo9PSBPUkdBTklTQVRJT04g PT0KCkdlbmVyYWwgQ2hhaXI6IAogVW1iZXJ0byBTdHJhY2NpYSAoSVNUSS1DTlIsIEl0YWx5KSAK UHJvZ3JhbSBDaGFpcnM6IAogTWFnZGFsZW5hIE9ydGl6IChUVSBXaWVuLCBBdXN0cmlhKSAKIFN0 ZWZhbiBTY2hsb2JhY2ggKFZyaWplIFVuaXZlcnNpdGVpdCBBbXN0ZXJkYW0sIFRoZSBOZXRoZXJs YW5kcykKTG9jYWwgQ2hhaXI6CiBKZWZmIFBhbiAoVGhlIFVuaXZlcnNpdHkgb2YgQWJlcmRlZW4s IFVLKQpEb2N0b3JhbCBDb25zb3J0aXVtIENoYWlyOgoJUmFmYWVsIFBlw7FhbG96YSAoRnJlZSBV bml2ZXJzaXR5IG9mIEJvemVuLUJvbHphbm8sIEl0YWx5KQpQdWJsaWNpdHkgQ2hhaXI6CglBZGls YSAgS3Jpc25hZGhpIChXcmlnaHQgU3RhdGUgVW5pdmVyc2l0eSwgVVNBICYgVW5pdmVyc2l0YXMg SW5kb25lc2lhLCBJbmRvbmVzaWEpClNwb25zb3JzaGlwIENoYWlyCglHaW9yZ29zIFN0YW1vdSAo TlRVQSwgR3JlZWNlKQoKCj09IFBST0dSQU0gQ09NTUlUVEVFID09CgpEYXJrbyBBbmljaWMgKFNp ZW1lbnMgQUcsIEdlcm1hbnkpCk1lZ2h5biBCaWVudmVudSAoQ05SUywgVW5pdmVyc2l0eSBvZiBN b250cGVsbGllciwgSU5SSUEsIEZyYW5jZSkKRmVybmFuZG8gQm9iaWxsbyAoVW5pdmVyc2l0eSBv ZiBaYXJhZ296YSwgU3BhaW4pCkVsZW5hIEJvdG9ldmEgKEZyZWUgVW5pdmVyc2l0eSBvZiBCb3pl bi1Cb2x6YW5vLCBJdGFseSkKUGllcnJlIEJvdXJoaXMgKENOUlMgTElGTC9JTlJJQSBMaWxsZSwg RnJhbmNlKQpMb3JpcyBCb3p6YXRvIChGb25kYXppb25lIEJydW5vIEtlc3NsZXIsIEl0YWx5KQpN aW5oIERhby1UcmFuIChWaWVubmEgVW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5LCBBdXN0cmlhKQpT ZXJnaW8gRmxlc2NhIChERUlTIC0gVW5pdmVyc2l0eSBvZiBDYWxhYnJpYSwgSXRhbHkpClBhdWwg Rm9kb3IgKFN0b255IEJyb29rIFVuaXZlcnNpdHksIFVTQSkKQW5kcmUgRnJlaXRhcyAoVW5pdmVy c2l0eSBvZiBQYXNzYXUsIEdlcm1hbnkpClbDrWN0b3IgR3V0acOpcnJleiBCYXN1bHRvIChVbml2 ZXJzaXR5IG9mIEJyZW1lbiwgR2VybWFueSkKQW5kcsOpIEhlcm5pY2ggKFVuaXZlcnNpdHkgb2Yg TGl2ZXJwb29sLCBVSykKQWlkYW4gSG9nYW4gKERDQywgVW5pdmVyc2lkYWQgZGUgQ2hpbGUsIENo aWxlKQpZYXptaW4gSWJhbmV6IChWaWVubmEgVW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5LCBBdXN0 cmlhKQpNYXJrIEthbWluc2tpIChVbml2ZXJzaXR5IG9mIE94Zm9yZCwgVUspCkJlbm55IEtpbWVs ZmVsZCAoVGVjaG5pb24gLSBJc3JhZWwgSW5zdGl0dXRlIG9mIFRlY2hub2xvZ3ksIElzcmFlbCkK Um9tYW4gS29udGNoYWtvdiAoQmlya2JlY2ssIFVuaXZlcnNpdHkgb2YgTG9uZG9uLCBVSykKTWFy a3VzIEtyw7Z0enNjaCAoVGVjaG5pc2NoZSBVbml2ZXJzaXTDpHQgRHJlc2RlbiwgR2VybWFueSkK R2VvcmcgTGF1c2VuIChVbml2ZXJzaXR5IG9mIEZyZWlidXJnLCBHZXJtYW55KQpKb29oeXVuZyBM ZWUgKEFyaXpvbmEgU3RhdGUgVW5pdmVyc2l0eSwgVVNBKQpEb21lbmljbyBMZW1ibyAoU2FwaWVu emEgVW5pdmVyc2l0eSBvZiBSb21lLCBJdGFseSkKVGhvbWFzIE1leWVyIChDZW50cmUgZm9yIEFy dGlmaWNpYWwgSW50ZWxsaWdlbmNlIFJlc2VhcmNoLCBVS1pOIGFuZCBDU0lSIE1lcmFrYSwgU291 dGggQWZyaWNhKQpNYXJpZS1MYXVyZSBNdWduaWVyIChVbml2ZXJzaXR5IG9mIE1vbnRwZWxsaWVy IChMSVJNTSAvIElOUklBKSwgRnJhbmNlKQpNYXR0aGlhcyBOaWNrbGVzIChOYXRpb25hbCBVbml2 ZXJzaXR5IG9mIElyZWxhbmQsIEdhbHdheSwgREVSSSwgSXJlbGFuZCkKQW5kcmVhcyBQaWVyaXMg KFZpZW5uYSBVbml2ZXJzaXR5IG9mIFRlY2hub2xvZ3ksIEF1c3RyaWEpCkF4ZWwgUG9sbGVyZXMg KFZpZW5uYSBVbml2ZXJzaXR5IG9mIEVjb25vbWljcyBhbmQgQnVzaW5lc3MgLSBXVSBXaWVuLCBB dXN0cmlhKQpKdWFuIEwuIFJldXR0ZXIgKFBvbnRpZmljaWEgVW5pdmVyc2lkYWQgQ2F0w7NsaWNh LCBDaGlsZSkKRnJhbmNlc2NvIFJpY2NhIChVbml2ZXJzaXR5IG9mIENhbGFicmlhLCBJdGFseSkK U2ViYXN0aWFuIFJ1ZG9scGggKFRlY2huaXNjaGUgVW5pdmVyc2l0w6R0IERyZXNkZW4sIEdlcm1h bnkpClZsYWRpc2xhdiBSeXpoaWtvdiAoRnJlZSBVbml2ZXJzaXR5IG9mIEJvemVuLUJvbHphbm8s IEl0YWx5KQpKdWFuIEYuIFNlcXVlZGEgKENhcHNlbnRhIExhYnMsIFVTQSkKRXZnZW55IFNoZXJr aG9ub3YgKFVuaXZlcnNpdHkgb2YgQW1zdGVyZGFtLCBUaGUgTmV0aGVybGFuZHMpCk1hbnRhcyBT aW1rdXMgKFZpZW5uYSBVbml2ZXJzaXR5IG9mIFRlY2hub2xvZ3ksIEF1c3RyaWEpCkRhcmlhIFN0 ZXBhbm92YSAoTWF4IFBsYW5jayBJbnN0aXR1dGUgZm9yIEluZm9ybWF0aWNzLCBTYWFyYnLDvGNr ZW4sIEdlcm1hbnkgKQpEb21hZ29qIFZyZ29jIChQVUMsIENoaWxlKQpHdW9odWkgWGlhbyAoRnJl ZSBVbml2ZXJzaXR5IG9mIEJvemVuLUJvbHphbm8sIEl0YWx5KQpfX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fXwpPbS1hbm5vdW5jZSBtYWlsaW5nIGxpc3QKT20t YW5ub3VuY2VAb3Blbm1hdGgub3JnCmh0dHA6Ly9vcGVubWF0aC5vcmcvbWFpbG1hbi9saXN0aW5m by9vbS1hbm5vdW5jZQo=