[TFP 2016] extended deadline, april 25 2016, final call for papers
Peter Achten <[email protected]> Tue, 12 Apr 2016 09:36:16 +0200
| Newsgroups | gmane.comp.lang.lambda-prolog |
|---|---|
| Message-ID | <[email protected]> |
VEZQIDIwMTYgaGFzIGV4dGVuZGVkIGl0cyBkZWFkbGluZSBmb3IgZHJhZnQgcGFwZXJzIGJ5IHR3 byB3ZWVrcyAobm93CkFwcmlsIDI1KS4gIEFsdGhvdWdoIGFsbCBkcmFmdCBwYXBlcnMgYWNjZXB0 ZWQgdG8gVEZQIDIwMTYgd2lsbCBiZQppbnZpdGVkIHRvIHN1Ym1pdCB0byB0aGUgcG9zdC1zeW1w b3NpdW0gZm9ybWFsIHByb2NlZWRpbmdzLCBhdXRob3JzCmFyZSByZW1pbmRlZCB0aGF0IHRoZXkg YXJlIG5vdCBvYmxpZ2F0ZWQgdG8gZG8gc287IHdlIHdlbGNvbWUgd29ya3MgaW4KcHJvZ3Jlc3Mg dGhhdCBtYXkgbm90IGJlIGRlc3RpbmVkIGZvciB0aGUgVEZQIHByb2NlZWRpbmdzLgoKVGhhbmtz LApEYXZpZCBWYW4gSG9ybgoKICAgICAgICAgICAgICAgICAgICAgLS0tLS0tLS0tLS0tLS0tLS0t LS0tLS0tLS0tLS0KICAgICAgICAgICAgICAgICAgICAgQyBBIEwgTCAgIEYgTyBSICAgUCBBIFAg RSBSIFMKICAgICAgICAgICAgICAgICAgICAgLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0tLS0K CiAgICAgICAgICAgICAgICAgICAgID09PT09PT09IFRGUCAyMDE2ID09PT09PT09PT09CgogICAg ICAgICAgIDE3dGggU3ltcG9zaXVtIG9uIFRyZW5kcyBpbiBGdW5jdGlvbmFsIFByb2dyYW1taW5n CiAgICAgICAgICAgICAgICAgICAgICAgICAgICBKdW5lIDgtMTAsIDIwMTYKICAgICAgICAgICAg ICAgICAgVW5pdmVyc2l0eSBvZiBNYXJ5bGFuZCwgQ29sbGVnZSBQYXJrCiAgICAgICAgICAgICAg ICAgICAgICAgICAgTmVhciBXYXNoaW5ndG9uLCBEQwogICAgICAgICAgICAgICAgICAgICAgICAg IGh0dHA6Ly90ZnAyMDE2Lm9yZy8KCgpUaGUgc3ltcG9zaXVtIG9uIFRyZW5kcyBpbiBGdW5jdGlv bmFsIFByb2dyYW1taW5nIChURlApIGlzIGFuCmludGVybmF0aW9uYWwgZm9ydW0gZm9yIHJlc2Vh cmNoZXJzIHdpdGggaW50ZXJlc3RzIGluIGFsbCBhc3BlY3RzIG9mCmZ1bmN0aW9uYWwgcHJvZ3Jh bW1pbmcsIHRha2luZyBhIGJyb2FkIHZpZXcgb2YgY3VycmVudCBhbmQgZnV0dXJlCnRyZW5kcyBp biB0aGUgYXJlYS4gSXQgYXNwaXJlcyB0byBiZSBhIGxpdmVseSBlbnZpcm9ubWVudCBmb3IKcHJl c2VudGluZyB0aGUgbGF0ZXN0IHJlc2VhcmNoIHJlc3VsdHMsIGFuZCBvdGhlciBjb250cmlidXRp b25zIChzZWUKYmVsb3cpLiBBdXRob3JzIG9mIGRyYWZ0IHBhcGVycyB3aWxsIGJlIGludml0ZWQg dG8gc3VibWl0IHJldmlzZWQKcGFwZXJzIGJhc2VkIG9uIHRoZSBmZWVkYmFjayByZWNlaXZlIGF0 IHRoZSBzeW1wb3NpdW0uICBBCnBvc3Qtc3ltcG9zaXVtIHJlZmVyZWVpbmcgcHJvY2VzcyB3aWxs IHRoZW4gc2VsZWN0IGEgc3Vic2V0IG9mIHRoZXNlCmFydGljbGVzIGZvciBmb3JtYWwgcHVibGlj YXRpb24uCgpURlAgMjAxNiB3aWxsIGJlIHRoZSBtYWluIGV2ZW50IG9mIGEgcGFpciBvZiBmdW5j dGlvbmFsIHByb2dyYW1taW5nCmV2ZW50cy4gVEZQIDIwMTYgd2lsbCBiZSBhY2NvbXBhbmllZCBi eSB0aGUgSW50ZXJuYXRpb25hbCBXb3Jrc2hvcCBvbgpUcmVuZHMgaW4gRnVuY3Rpb25hbCBQcm9n cmFtbWluZyBpbiBFZHVjYXRpb24gKFRGUElFKSwgd2hpY2ggd2lsbCB0YWtlCnBsYWNlIG9uIEp1 bmUgN25kLgoKCj09IElOVklURUQgU1BFQUtFUlMgPT0KClRGUCAyMDE2IGlzIHBsZWFzZWQgdG8g YW5ub3VuY2Uga2V5bm90ZSB0YWxrcyBieSB0aGUgZm9sbG93aW5nIHR3bwppbnZpdGVkIHNwZWFr ZXJzOgoKKiBSb25hbGQgR2FyY2lhLCBVbml2ZXJzaXR5IG9mIEJyaXRpc2ggQ29sdW1iaWE6ICJT dGF0aWMgYW5kIER5bmFtaWMKICAgVHlwZSBDaGVja2luZzogQSBTeW5vcHNpcyIKCiogU3RldmUg WmRhbmNld2ljLCBVbml2ZXJzaXR5IG9mIFBlbm5zeWx2YW5pYTogIlR5cGUtIGFuZAogICBFeGFt cGxlLURyaXZlbiBQcm9ncmFtIFN5bnRoZXNpcyIKCgo9PSBISVNUT1JZID09CgpUaGUgVEZQIHN5 bXBvc2l1bSBpcyB0aGUgaGVpciBvZiB0aGUgc3VjY2Vzc2Z1bCBzZXJpZXMgb2YgU2NvdHRpc2gK RnVuY3Rpb25hbCBQcm9ncmFtbWluZyBXb3Jrc2hvcHMuIFByZXZpb3VzIFRGUCBzeW1wb3NpYSB3 ZXJlIGhlbGQgaW4KICAgICogRWRpbmJ1cmdoIChTY290bGFuZCkgaW4gMjAwMzsKICAgICogTXVu aWNoIChHZXJtYW55KSBpbiAyMDA0OwogICAgKiBUYWxsaW5uIChFc3RvbmlhKSBpbiAyMDA1Owog ICAgKiBOb3R0aW5naGFtIChVSykgaW4gMjAwNjsKICAgICogTmV3IFlvcmsgKFVTQSkgaW4gMjAw NzsKICAgICogTmlqbWVnZW4gKFRoZSBOZXRoZXJsYW5kcykgaW4gMjAwODsKICAgICogS29tYXJu byAoU2xvdmFraWEpIGluIDIwMDk7CiAgICAqIE9rbGFob21hIChVU0EpIGluIDIwMTA7CiAgICAq IE1hZHJpZCAoU3BhaW4pIGluIDIwMTE7CiAgICAqIFN0LiBBbmRyZXdzIChVSykgaW4gMjAxMjsK ICAgICogUHJvdm8gKFV0YWgsIFVTQSkgaW4gMjAxMzsKICAgICogU29lc3RlcmJlcmcgKFRoZSBO ZXRoZXJsYW5kcykgaW4gMjAxNDsKICAgICogYW5kIElucmlhIFNvcGhpYS1BbnRpcG9saXMgKEZy YW5jZSkgaW4gMjAxNS4KRm9yIGZ1cnRoZXIgZ2VuZXJhbCBpbmZvcm1hdGlvbiBhYm91dCBURlAg cGxlYXNlIHNlZSB0aGUgVEZQIGhvbWVwYWdlLgooaHR0cDovL3d3dy50aWZwLm9yZy8pLgoKCj09 IFNDT1BFID09CgpUaGUgc3ltcG9zaXVtIHJlY29nbml6ZXMgdGhhdCBuZXcgdHJlbmRzIG1heSBh cmlzZSB0aHJvdWdoIHZhcmlvdXMKcm91dGVzLiAgQXMgcGFydCBvZiB0aGUgU3ltcG9zaXVtJ3Mg Zm9jdXMgb24gdHJlbmRzIHdlIHRoZXJlZm9yZQppZGVudGlmeSB0aGUgZm9sbG93aW5nIGZpdmUg YXJ0aWNsZSBjYXRlZ29yaWVzLiBIaWdoLXF1YWxpdHkgYXJ0aWNsZXMKYXJlIHNvbGljaXRlZCBp biBhbnkgb2YgdGhlc2UgY2F0ZWdvcmllczoKClJlc2VhcmNoIEFydGljbGVzOiBsZWFkaW5nLWVk Z2UsIHByZXZpb3VzbHkgdW5wdWJsaXNoZWQgcmVzZWFyY2ggd29yawpQb3NpdGlvbiBBcnRpY2xl czogb24gd2hhdCBuZXcgdHJlbmRzIHNob3VsZCBvciBzaG91bGQgbm90IGJlClByb2plY3QgQXJ0 aWNsZXM6IGRlc2NyaXB0aW9ucyBvZiByZWNlbnRseSBzdGFydGVkIG5ldyBwcm9qZWN0cwpFdmFs dWF0aW9uIEFydGljbGVzOiB3aGF0IGxlc3NvbnMgY2FuIGJlIGRyYXduIGZyb20gYSBmaW5pc2hl ZCBwcm9qZWN0Ck92ZXJ2aWV3IEFydGljbGVzOiBzdW1tYXJpemluZyB3b3JrIHdpdGggcmVzcGVj dCB0byBhIHRyZW5keSBzdWJqZWN0CgpBcnRpY2xlcyBtdXN0IGJlIG9yaWdpbmFsIGFuZCBub3Qg c2ltdWx0YW5lb3VzbHkgc3VibWl0dGVkIGZvcgpwdWJsaWNhdGlvbiB0byBhbnkgb3RoZXIgZm9y dW0uIFRoZXkgbWF5IGNvbnNpZGVyIGFueSBhc3BlY3Qgb2YKZnVuY3Rpb25hbCBwcm9ncmFtbWlu ZzogdGhlb3JldGljYWwsIGltcGxlbWVudGF0aW9uLW9yaWVudGVkLCBvcgpleHBlcmllbmNlLW9y aWVudGVkLiAgQXBwbGljYXRpb25zIG9mIGZ1bmN0aW9uYWwgcHJvZ3JhbW1pbmcKdGVjaG5pcXVl cyB0byBvdGhlciBsYW5ndWFnZXMgYXJlIGFsc28gd2l0aGluIHRoZSBzY29wZSBvZiB0aGUKc3lt cG9zaXVtLgoKVG9waWNzIHN1aXRhYmxlIGZvciB0aGUgc3ltcG9zaXVtIGluY2x1ZGUsIGJ1dCBh cmUgbm90IGxpbWl0ZWQgdG86CgogICAgICBGdW5jdGlvbmFsIHByb2dyYW1taW5nIGFuZCBtdWx0 aWNvcmUvbWFueWNvcmUgY29tcHV0aW5nCiAgICAgIEZ1bmN0aW9uYWwgcHJvZ3JhbW1pbmcgaW4g dGhlIGNsb3VkCiAgICAgIEhpZ2ggcGVyZm9ybWFuY2UgZnVuY3Rpb25hbCBjb21wdXRpbmcKICAg ICAgRXh0cmEtZnVuY3Rpb25hbCAoYmVoYXZpb3VyYWwpIHByb3BlcnRpZXMgb2YgZnVuY3Rpb25h bCBwcm9ncmFtcwogICAgICBEZXBlbmRlbnRseSB0eXBlZCBmdW5jdGlvbmFsIHByb2dyYW1taW5n CiAgICAgIFZhbGlkYXRpb24gYW5kIHZlcmlmaWNhdGlvbiBvZiBmdW5jdGlvbmFsIHByb2dyYW1z CiAgICAgIERlYnVnZ2luZyBhbmQgcHJvZmlsaW5nIGZvciBmdW5jdGlvbmFsIGxhbmd1YWdlcwog ICAgICBGdW5jdGlvbmFsIHByb2dyYW1taW5nIGluIGRpZmZlcmVudCBhcHBsaWNhdGlvbiBhcmVh czoKICAgICAgICBzZWN1cml0eSwgbW9iaWxpdHksIHRlbGVjb21tdW5pY2F0aW9ucyBhcHBsaWNh dGlvbnMsIGVtYmVkZGVkCiAgICAgICAgc3lzdGVtcywgZ2xvYmFsIGNvbXB1dGluZywgZ3JpZHMs IGV0Yy4KICAgICAgSW50ZXJvcGVyYWJpbGl0eSB3aXRoIGltcGVyYXRpdmUgcHJvZ3JhbW1pbmcg bGFuZ3VhZ2VzCiAgICAgIE5vdmVsIG1lbW9yeSBtYW5hZ2VtZW50IHRlY2huaXF1ZXMKICAgICAg UHJvZ3JhbSBhbmFseXNpcyBhbmQgdHJhbnNmb3JtYXRpb24gdGVjaG5pcXVlcwogICAgICBFbXBp cmljYWwgcGVyZm9ybWFuY2Ugc3R1ZGllcwogICAgICBBYnN0cmFjdC92aXJ0dWFsIG1hY2hpbmVz IGFuZCBjb21waWxlcnMgZm9yIGZ1bmN0aW9uYWwgbGFuZ3VhZ2VzCiAgICAgIChFbWJlZGRlZCkg ZG9tYWluIHNwZWNpZmljIGxhbmd1YWdlcwogICAgICBOZXcgaW1wbGVtZW50YXRpb24gc3RyYXRl Z2llcwogICAgICBBbnkgbmV3IGVtZXJnaW5nIHRyZW5kIGluIHRoZSBmdW5jdGlvbmFsIHByb2dy YW1taW5nIGFyZWEKCklmIHlvdSBhcmUgaW4gZG91YnQgb24gd2hldGhlciB5b3VyIGFydGljbGUg aXMgd2l0aGluIHRoZSBzY29wZSBvZgpURlAsIHBsZWFzZSBjb250YWN0IHRoZSBURlAgMjAxNiBw cm9ncmFtIGNoYWlyLCBEYXZpZCBWYW4gSG9ybi4KCgo9PSBCRVNUIFBBUEVSIEFXQVJEUyA9PQoK VG8gcmV3YXJkIGV4Y2VsbGVudCBjb250cmlidXRpb25zLCBURlAgYXdhcmRzIGEgcHJpemUgZm9y IHRoZSBiZXN0IHBhcGVyCmFjY2VwdGVkIGZvciB0aGUgZm9ybWFsIHByb2NlZWRpbmdzLgoKVEZQ IHRyYWRpdGlvbmFsbHkgcGF5cyBzcGVjaWFsIGF0dGVudGlvbiB0byByZXNlYXJjaCBzdHVkZW50 cywKYWNrbm93bGVkZ2luZyB0aGF0IHN0dWRlbnRzIGFyZSBhbG1vc3QgYnkgZGVmaW5pdGlvbiBw YXJ0IG9mIG5ldwpzdWJqZWN0IHRyZW5kcy4gQSBzdHVkZW50IHBhcGVyIGlzIG9uZSBmb3Igd2hp Y2ggdGhlIGF1dGhvcnMgc3RhdGUKdGhhdCB0aGUgcGFwZXIgaXMgbWFpbmx5IHRoZSB3b3JrIG9m IHN0dWRlbnRzLCB0aGUgc3R1ZGVudHMgYXJlIGxpc3RlZAphcyBmaXJzdCBhdXRob3JzLCBhbmQg YSBzdHVkZW50IHdvdWxkIHByZXNlbnQgdGhlIHBhcGVyLiBBIHByaXplIGZvcgp0aGUgYmVzdCBz dHVkZW50IHBhcGVyIGlzIGF3YXJkZWQgZWFjaCB5ZWFyLgoKSW4gYm90aCBjYXNlcywgaXQgaXMg dGhlIFBDIG9mIFRGUCB0aGF0IGF3YXJkcyB0aGUgcHJpemUuIEluIGNhc2UgdGhlCmJlc3QgcGFw ZXIgaGFwcGVucyB0byBiZSBhIHN0dWRlbnQgcGFwZXIsIHRoYXQgcGFwZXIgd2lsbCB0aGVuIHJl Y2VpdmUKYm90aCBwcml6ZXMuCgoKPT0gU1BPTlNPUlMgPT0KClRGUCBpcyBmaW5hbmNpYWxseSBz dXBwb3J0ZWQgYnkgQ3liZXJQb2ludCwgR2Fsb2lzLCBUcmFpbCBvZiBCaXRzLCBhbmQKdGhlIFVu aXZlcnNpdHkgb2YgTWFyeWxhbmQgQ29tcHV0ZXIgU2NpZW5jZSBEZXBhcnRtZW50LgoKCj09IFBB UEVSIFNVQk1JU1NJT05TID09CgpBY2NlcHRhbmNlIG9mIGFydGljbGVzIGZvciBwcmVzZW50YXRp b24gYXQgdGhlIHN5bXBvc2l1bSBpcyBiYXNlZCBvbiBhCmxpZ2h0d2VpZ2h0IHBlZXIgcmV2aWV3 IHByb2Nlc3Mgb2YgZXh0ZW5kZWQgYWJzdHJhY3RzICg0IHRvIDEwIHBhZ2VzCmluIGxlbmd0aCkg b3IgZnVsbCBwYXBlcnMgKDIwIHBhZ2VzKS4gVGhlIHN1Ym1pc3Npb24gbXVzdCBjbGVhcmx5Cmlu ZGljYXRlIHdoaWNoIGNhdGVnb3J5IGl0IGJlbG9uZ3MgdG86IHJlc2VhcmNoLCBwb3NpdGlvbiwg cHJvamVjdCwKZXZhbHVhdGlvbiwgb3Igb3ZlcnZpZXcgcGFwZXIuIEl0IHNob3VsZCBhbHNvIGlu ZGljYXRlIHdoaWNoIGF1dGhvcnMKYXJlIHJlc2VhcmNoIHN0dWRlbnRzLCBhbmQgd2hldGhlciB0 aGUgbWFpbiBhdXRob3IocykgYXJlIHN0dWRlbnRzLiAgQQpkcmFmdCBwYXBlciBmb3Igd2hpY2gg QUxMIGF1dGhvcnMgYXJlIHN0dWRlbnRzIHdpbGwgcmVjZWl2ZSBhZGRpdGlvbmFsCmZlZWRiYWNr IGJ5IG9uZSBvZiB0aGUgUEMgbWVtYmVycyBzaG9ydGx5IGFmdGVyIHRoZSBzeW1wb3NpdW0gaGFz CnRha2VuIHBsYWNlLgoKV2UgdXNlIEVhc3lDaGFpciBmb3IgdGhlIHJlZmVyZWVpbmcgcHJvY2Vz cy4gUGFwZXJzIG11c3QgYmUgc3VibWl0dGVkIGF0OgoKICAgIGh0dHBzOi8vZWFzeWNoYWlyLm9y Zy9jb25mZXJlbmNlcy8/Y29uZj10ZnAyMDE2CgpQYXBlcnMgbXVzdCBiZSB3cml0dGVuIGluIEVu Z2xpc2gsIGFuZCB3cml0dGVuIHVzaW5nIHRoZSBMTkNTCnN0eWxlLiBGb3IgbW9yZSBpbmZvcm1h dGlvbiBhYm91dCBmb3JtYXR0aW5nIHBsZWFzZSBjb25zdWx0IHRoZQpTcHJpbmdlciBMTkNTIHdl YiBzaXRlOgoKaHR0cDovL3d3dy5zcHJpbmdlci5jb20vY29tcHV0ZXIvbG5jcz9TR1dJRD0wLTE2 NC02LTc5MzM0MS0wCgoKPT0gSU1QT1JUQU5UIERBVEVTID09CgpTdWJtaXNzaW9uIG9mIGRyYWZ0 IHBhcGVyczogICAgIEFwcmlsIDI1LCAyMDE2Ck5vdGlmaWNhdGlvbjogICAgICAgICAgICAgICAg ICAgTWF5IDIsIDIwMTYKUmVnaXN0cmF0aW9uOiAgICAgICAgICAgICAgICAgICBNYXkgMTMsIDIw MTYKVEZQIFN5bXBvc2l1bTogICAgICAgICAgICAgICAgICBKdW5lIDgtMTAsIDIwMTYKU3R1ZGVu dCBwYXBlcnMgZmVlZGJhY2s6ICAgICAgICBKdW5lIDE0LCAyMDE2ClN1Ym1pc3Npb24gZm9yIGZv cm1hbCByZXZpZXc6ICAgSnVseSAxNCwgMjAxNgpOb3RpZmljYXRpb24gb2YgYWNjZXB0YW5jZTog ICAgIFNlcHRlbWJlciAxNCwgMjAxNgpDYW1lcmEgcmVhZHkgcGFwZXI6ICAgICAgICAgICAgIE9j dG9iZXIgMTQsIDIwMTYKCgo9PSBQUk9HUkFNIENPTU1JVFRFRSA9PQoKQW1hbCBBaG1lZCAgICAg ICAgICAgICAgTm9ydGhlYXN0ZXJuIFVuaXZlcnNpdHkgKFVTKQpOYWRhIEFtaW4gICAgICAgICAg ICAgICDDiWNvbGUgUG9seXRlY2huaXF1ZSBGw6lkw6lyYWxlIGRlIExhdXNhbm5lIChDSCkKS2Vu aWNoaSBBc2FpICAgICAgICAgICAgT2NoYW5vbWl6dSBVbml2ZXJzaXR5IChKUCkKTWHFgmdvcnph dGEgQmllcm5hY2thICAgIFVuaXZlcnNpdHkgb2YgV3JvY2xhdyAoUEwpCkxhdXJhIENhc3RybyAg ICAgICAgICAgIFVuaXZlcnNpdHkgb2YgQSBDb3J1w7FhIChFUykKUmF2aSBDaHVnaCAgICAgICAg ICAgICAgVW5pdmVyc2l0eSBvZiBDaGljYWdvIChVUykKU2lsdmlhIEdoaWxlemFuICAgICAgICAg VW5pdmVyc2l0eSBvZiBOb3ZpIFNhZCAoU1IpCkNsZW1lbnMgR3JlbGNrICAgICAgICAgIFVuaXZl cnNpdHkgb2YgQW1zdGVyZGFtIChOTCkKSm9obiBIdWdoZXMgICAgICAgICAgICAgQ2hhbG1lcnMg VW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5IChTRSkKU3VyZXNoIEphZ2FubmF0aGFuICAgICAgUHVy ZHVlIFVuaXZlcnNpdHkgKFVTKQpQaWV0ZXIgS29vcG1hbiAgICAgICAgICBSYWRib3VkIFVuaXZl cnNpdHkgTmlqbWVnZW4gKE5MKQpHZW9mZnJleSBNYWlubGFuZCAgICAgICBEcmV4ZWwgVW5pdmVy c2l0eSAoVVMpCkNocmlzIE1hcnRlbnMgICAgICAgICAgIFVuaXZlcnNpdHkgb2YgQ2FsaWZvcm5p YSwgU2FudGEgQ3J1eiAoVVMpCkpheSBNY0NhcnRoeSAgICAgICAgICAgIFVuaXZlcnNpdHkgb2Yg TWFzc2FjaHVzZXR0cywgTG93ZWxsIChVUykKSGVhdGhlciBNaWxsZXIgICAgICAgICAgw4ljb2xl IFBvbHl0ZWNobmlxdWUgRsOpZMOpcmFsZSBkZSBMYXVzYW5uZSAoQ0gpCk1hbnVlbCBTZXJyYW5v ICAgICAgICAgIElOUklBLCBTb3BoaWEtQW50aXBvbGlzIChGUikKU2NvdHQgU21pdGggICAgICAg ICAgICAgSm9obnMgSG9wa2lucyBVbml2ZXJzaXR5IChVUykKw4lyaWMgVGFudGVyICAgICAgICAg ICAgIFVuaXZlcnNpdHkgb2YgQ2hpbGUgKENMKQpEYXZpZCBWYW4gSG9ybiAoQ2hhaXIpICBVbml2 ZXJzaXR5IG9mIE1hcnlsYW5kIChVUykKTmlraSBWYXpvdSAgICAgICAgICAgICAgVW5pdmVyc2l0 eSBvZiBDYWxpZm9ybmlhLCBTYW4gRGllZ28gKFVTKQpTdGVwaGFuaWUgV2VpcmljaCAgICAgICBV bml2ZXJzaXR5IG9mIFBlbm5zeWx2YW5pYSAoVVMpCgpfX19fX19fX19fX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fXwpMcHJvbG9nIG1haWxpbmcgbGlzdApMcHJvbG9nQGNzLnVt bi5lZHUKaHR0cHM6Ly93d3dzLmNzLnVtbi5lZHUvbW0tY3MvbGlzdGluZm8vbHByb2xvZw==