3rd CfP - JELIA 2025 - 19th European Conference on Logics in AI
"giovanni.casini via clean-list" <[email protected]> Tue, 15 Apr 2025 16:53:49 +0200
| Newsgroups | gmane.comp.lang.clean |
|---|---|
| Organization | ISTI - CNR |
| Message-ID | <[email protected]> |
KioqIEFwb2xvZ2llcyBmb3IgY3Jvc3MtcG9zdGluZyAqKioKCj09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PQpKRUxJQSAyMDI1IC0gVEhJUkQgQ0FMTCBGT1IgUEFQRVJTCj09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQoxOXRoIEV1cm9wZWFuIENvbmZl cmVuY2Ugb24gTG9naWNzIGluIEFydGlmaWNpYWwgSW50ZWxsaWdlbmNlIChKRUxJQSAKMjAyNSkK U2VwdGVtYmVyIDEtNSwgMjAyNQpLdXRhaXNpLCBHZW9yZ2lhCmh0dHBzOi8vZXVyMDEuc2FmZWxp bmtzLnByb3RlY3Rpb24ub3V0bG9vay5jb20vP3VybD1odHRwcyUzQSUyRiUyRnZpYW0uc2NpZW5j ZS50c3UuZ2UlMkZqZWxpYTIwMjUlMkYmZGF0YT0wNSU3QzAyJTdDY2xlYW4tbGlzdCU0MHNjaWVu Y2UucnUubmwlN0M3Yzg4NDU1ODkwZjM0YjI2MmU4OTA4ZGQ3YzJkNTdmYyU3QzA4NDU3OGQ5NDAw ZDRhNWFhN2M3ZTc2Y2E0N2FmNDAwJTdDMSU3QzAlN0M2Mzg4MDMyNTY0MDMyMzM3NjQlN0NVbmtu b3duJTdDVFdGcGJHWnNiM2Q4ZXlKRmJYQjBlVTFoY0draU9uUnlkV1VzSWxZaU9pSXdMakF1TURB d01DSXNJbEFpT2lKWGFXNHpNaUlzSWtGT0lqb2lUV0ZwYkNJc0lsZFVJam95ZlElM0QlM0QlN0Mw JTdDJTdDJTdDJnNkYXRhPW54WXhuMkh6YTdhV2JaaE5LZnpFSnQyRWk2RFElMkJyV3FpcFlyYzdW R3E0SSUzRCZyZXNlcnZlZD0wCj09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PQoKCj09IElNUE9SVEFOVCBEQVRFUyA9PQoKQWJzdHJhY3Qgc3VibWlzc2lvbjogMiBNYXkgMjAy NQoKUGFwZXIgc3VibWlzc2lvbjogOSBNYXkgMjAyNQoKTm90aWZpY2F0aW9uIG9mIGFjY2VwdGFu Y2U6IDEgSnVseSAyMDI1CgpDYW1lcmEtcmVhZHkgZHVlOiAgMTAgSnVseSAyMDI1CgpUaGUgUHJv Z3JhbSBDb21taXR0ZWUgb2YgdGhlIDE5dGggRXVyb3BlYW4gQ29uZmVyZW5jZSBvbiBMb2dpY3Mg aW4gCkFydGlmaWNpYWwgSW50ZWxsaWdlbmNlIChKRUxJQSAyMDI1KSBpbnZpdGVzIHRoZSBzdWJt aXNzaW9uIG9mIHRlY2huaWNhbCAKcGFwZXJzIGZvciB0aGUgY29uZmVyZW5jZSB0aGF0IHdpbGwg YmUgaGVsZCBpbiBLdXRhaXNpLCBHZW9yZ2lhLCBmcm9tIAp0aGUgMXN0IHRvIHRoZSA1dGggb2Yg U2VwdGVtYmVyIDIwMjUuCgoKPT0gQUlNUyBBTkQgU0NPUEUgPT0KClRoZSBhaW0gb2YgSkVMSUEg MjAyNSBpcyB0byBicmluZyB0b2dldGhlciBhY3RpdmUgcmVzZWFyY2hlcnMgaW50ZXJlc3RlZCAK aW4gdGhlIHVzZSBvZiBsb2dpY3MgaW4gQXJ0aWZpY2lhbCBJbnRlbGxpZ2VuY2UsIGluIG9yZGVy IHRvIGRpc2N1c3MgCmN1cnJlbnQgcmVzZWFyY2gsIHJlc3VsdHMsIHByb2JsZW1zLCBhbmQgYXBw bGljYXRpb25zIG9mIGJvdGggCnRoZW9yZXRpY2FsIGFuZCBwcmFjdGljYWwgbmF0dXJlLiBKRUxJ QSBzdHJpdmVzIHRvIGZvc3RlciBsaW5rcyBhbmQgCmZhY2lsaXRhdGUgY3Jvc3MtZmVydGlsaXph dGlvbiBvZiBpZGVhcyBhbW9uZyByZXNlYXJjaGVycyBmcm9tIHZhcmlvdXMgCmRpc2NpcGxpbmVz LCBhbW9uZyByZXNlYXJjaGVycyBmcm9tIGFjYWRlbWlhIGFuZCBpbmR1c3RyeSwgYW5kIGJldHdl ZW4gCnRoZW9yZXRpY2lhbnMgYW5kIHByYWN0aXRpb25lcnMuCgpBdXRob3JzIGFyZSBpbnZpdGVk IHRvIHN1Ym1pdCBwYXBlcnMgcHJlc2VudGluZyBvcmlnaW5hbCBhbmQgdW5wdWJsaXNoZWQgCnJl c2VhcmNoIGluIGFsbCBhcmVhcyByZWxhdGVkIHRvIHRoZSB1c2Ugb2YgbG9naWNzIGluIEFydGlm aWNpYWwgCkludGVsbGlnZW5jZSwgaW5jbHVkaW5nLCBidXQgbm90IGxpbWl0ZWQgdG86CgoqIEFi ZHVjdGl2ZSBhbmQgaW5kdWN0aXZlIHJlYXNvbmluZwoqIEFwcGxpY2F0aW9ucyBvZiBsb2dpYy1i YXNlZCBBSSBzeXN0ZW1zCiogQXJndW1lbnRhdGlvbgoqIEF1dG9tYXRlZCByZWFzb25pbmcgaW5j bHVkaW5nIHNhdGlzZmlhYmlsaXR5IGNoZWNraW5nIGFuZCBpdHMgCmV4dGVuc2lvbnMKKiBDYXVz YWxpdHkgYW5kIGxvZ2ljcwoqIENvbXB1dGF0aW9uYWwgY29tcGxleGl0eSBhbmQgZXhwcmVzc2l2 ZW5lc3MKKiBEZW9udGljIGxvZ2ljIGFuZCBub3JtYXRpdmUgc3lzdGVtcwoqIERlc2NyaXB0aW9u IGxvZ2ljcyBhbmQgb3RoZXIgbG9naWNhbCBhcHByb2FjaGVzIHRvIG9udG9sb2dpZXMKKiBLbm93 bGVkZ2UgcmVwcmVzZW50YXRpb24sIHJlYXNvbmluZywgYW5kIGNvbXBpbGF0aW9uCiogTGVhcm5p bmcgYW5kIHJlYXNvbmluZwoqIExvZ2ljIHByb2dyYW1taW5nLCBhbnN3ZXIgc2V0IHByb2dyYW1t aW5nLCBjb25zdHJhaW50IGxvZ2ljIApwcm9ncmFtbWluZwoqIExvZ2ljcyBpbiBtYWNoaW5lIGxl YXJuaW5nCiogTG9naWNzIGZvciB1bmNlcnRhaW4gYW5kIHByb2JhYmlsaXN0aWMgcmVhc29uaW5n CiogTG9naWNzIGluIG11bHRpLWFnZW50IHN5c3RlbXMsIGdhbWVzLCBhbmQgc29jaWFsIGNob2lj ZQoqIE5ldXJhbCBuZXR3b3JrcyBhbmQgbG9naWMgcnVsZXMKKiBOb24tY2xhc3NpY2FsIGxvZ2lj cywgc3VjaCBhcyBtb2RhbCwgdGVtcG9yYWwsIGVwaXN0ZW1pYywgZHluYW1pYywgCnNwYXRpYWws IHBhcmFjb25zaXN0ZW50LCBhbmQgaHlicmlkIGxvZ2ljcwoqIE5vbm1vbm90b25pYyBsb2dpY3Ms IGRlZmF1bHQgbG9naWNzLCBjb25kaXRpb25hbCBsb2dpY3MKKiBQbGFubmluZyBhbmQgZGlhZ25v c2lzIGJhc2VkIG9uIGxvZ2ljCiogUHJlZmVyZW5jZXMgYW5kIG9wdGltaXphdGlvbgoqIFJlYXNv bmluZyBhYm91dCBhY3Rpb25zCiogVXBkYXRlcywgYmVsaWVmIHJldmlzaW9uIGFuZCBub25tb25v dG9uaWMgcmVhc29uaW5nCgpTdWJtaXNzaW9ucyBkZXNjcmliaW5nIGltcGxlbWVudGVkIHN5c3Rl bXMvYXBwbGljYXRpb25zIGFuZCB0aGVpciAKYXBwbGljYXRpb24gYXJlYShzKSBhcmUgYWxzbyB3 ZWxjb21lLgoKCj09IFNQRUNJQUwgVFJBQ0sgPT0KCkFsc28gdGhpcyB5ZWFyIHdlIHdpbGwgaW5j bHVkZSBhIFNwZWNpYWwgVHJhY2sgb24gTG9naWNzIGZvciBFeHBsYWluYWJsZSAKYW5kIFRydXN0 d29ydGh5IEFJLiBXZSB3ZWxjb21lIGNvbnRyaWJ1dGlvbnMgdGhhdCBleHBsb3JlIGxvZ2ljLWJh c2VkIAphcHByb2FjaGVzIHRvIG1ha2luZyBBSSBtb3JlIHRyYW5zcGFyZW50LCBzYWZlciwgb3Ig bW9yZSB0cnVzdHdvcnRoeS4gClRoZSB0cmFjayBhaW1zIHRvIGRyYXcgYXR0ZW50aW9uIHRvIHRo aXMgdGltZWx5IHRvcGljIGFuZCBjcmVhdGUgYSBzcGFjZSAKZm9yIGRpc2N1c3NpbmcgdGhlIHJv bGUgb2YgbG9naWMuIFRoZSBwYXBlcnMgYWNjZXB0ZWQgZm9yIHRoZSBzcGVjaWFsIAp0cmFjayB3 aWxsIGJlIHByZXNlbnRlZCBpbiBkZWRpY2F0ZWQgc2Vzc2lvbnMgYXQgdGhlIGNvbmZlcmVuY2Uu CgoKPT0gQVdBUkRTICA9PQoKSkVMSUEgMjAyNSBpcyBoYXBweSB0byBhbm5vdW5jZSB0aGF0IHRo ZXJlIHdpbGwgYmUgQmVzdCBQYXBlciBhbmQgQmVzdCAKU3R1ZGVudCBQYXBlciBQcml6ZXMgc3Bv bnNvcmVkIGJ5IFNwcmluZ2VyLCBlYWNoIGlzIGEgY2FzaCBwcml6ZSAKYW1vdW50aW5nIHRvIEVV UiA1MDAuIFRoZSBQcm9ncmFtIENvbW1pdHRlZSB3aWxsIHNlbGVjdCBmb3IgdGhpcyBob25vciAK dGhlIGNvbnRyaWJ1dGlvbiBvZiB0aGUgaGlnaGVzdCB0ZWNobmljYWwgZXhjZWxsZW5jZSBhbmQg c2NpZW50aWZpYyAKbWVyaXQuIEluIHRoZSBjYXNlIG9mIHRoZSBsYXR0ZXIgYXdhcmQsIHRoZSBw cmltYXJ5IGF1dGhvciBvZiB0aGUgcGFwZXIgCm11c3QgYmUgYSBzdHVkZW50IGF0IHRoZSB0aW1l IG9mIHN1Ym1pc3Npb24uCgpUaGUgYXV0aG9ycyBvZiBzZWxlY3RlZCBjb250cmlidXRpb25zIG9m IG91dHN0YW5kaW5nIHF1YWxpdHkgd2lsbCBiZSAKaW52aXRlZCB0byBzdWJtaXQgYW4gZXh0ZW5k ZWQgdmVyc2lvbiBvZiB0aGVpciB3b3JrIHRvIHRoZSBUUExQIGpvdXJuYWwgCmFuZCB3aWxsIGVu am95IGZhc3QtdHJhY2sgcmV2aWV3aW5nIGFuZCBwdWJsaWNhdGlvbi4KCgo9PSBTVUJNSVNTSU9O IERFVEFJTFMgPT0KClN1Ym1pc3Npb24gU2l0ZTogaHR0cHM6Ly9ldXIwMS5zYWZlbGlua3MucHJv dGVjdGlvbi5vdXRsb29rLmNvbS8/dXJsPWh0dHBzJTNBJTJGJTJGZWFzeWNoYWlyLm9yZyUyRmNv bmZlcmVuY2VzJTJGJTNGY29uZiUzRGplbGlhMjAyNSZkYXRhPTA1JTdDMDIlN0NjbGVhbi1saXN0 JTQwc2NpZW5jZS5ydS5ubCU3QzdjODg0NTU4OTBmMzRiMjYyZTg5MDhkZDdjMmQ1N2ZjJTdDMDg0 NTc4ZDk0MDBkNGE1YWE3YzdlNzZjYTQ3YWY0MDAlN0MxJTdDMCU3QzYzODgwMzI1NjQwMzI1ODg3 MyU3Q1Vua25vd24lN0NUV0ZwYkdac2IzZDhleUpGYlhCMGVVMWhjR2tpT25SeWRXVXNJbFlpT2lJ d0xqQXVNREF3TUNJc0lsQWlPaUpYYVc0ek1pSXNJa0ZPSWpvaVRXRnBiQ0lzSWxkVUlqb3lmUSUz RCUzRCU3QzAlN0MlN0MlN0Mmc2RhdGE9NWp3dUZGc24yM29lYnBnJTJGV0hqcFdiNzN4aENSbSUy QkFCSVIlMkZHcnNNV2l1byUzRCZyZXNlcnZlZD0wCgpKRUxJQSAyMDI1IHdlbGNvbWVzIHN1Ym1p c3Npb25zIG9mIGxvbmcgb3Igc2hvcnQgcGFwZXJzLiBBbGwgc3VibWlzc2lvbnMgCnNob3VsZCBj b250YWluIG9yaWdpbmFsIHJlc2VhcmNoLCBhbmQgc3VmZmljaWVudCBkZXRhaWwgdG8gYXNzZXNz IHRoZSAKbWVyaXRzIGFuZCByZWxldmFuY2Ugb2YgdGhlIGNvbnRyaWJ1dGlvbi4gU3VibWlzc2lv bnMgbXVzdCBub3QgaGF2ZSBiZWVuIApwcmV2aW91c2x5IHB1Ymxpc2hlZCBvciBiZSBzaW11bHRh bmVvdXNseSBzdWJtaXR0ZWQgZm9yIHB1YmxpY2F0aW9uIAplbHNld2hlcmU7IHNlZSBhbHNvIHRo ZSBub3RlIGJlbG93LgoKQWxsIHN1Ym1pc3Npb25zIHNob3VsZCBub3QgZXhjZWVkIDEzIHBhZ2Vz IGZvciBsb25nIHBhcGVycyBhbmQgNiBwYWdlcyAKZm9yIHNob3J0IHBhcGVycyAoZXhjbHVkaW5n IHJlZmVyZW5jZXMgYW5kIGFja25vd2xlZGdtZW50cywgaW5jbHVkaW5nIApldmVyeXRoaW5nIGVs c2UsIGZvciBleGFtcGxlIGZpZ3VyZXMpLCBhbmQgc2hvdWxkIGJlIHdyaXR0ZW4gaW4gRW5nbGlz aC4gClBhcGVycyBtdXN0IGJlIHNlbGYtY29udGFpbmVkOyBhcHBlbmRpY2VzIHdpdGggYWRkaXRp b25hbCBtYXRlcmlhbCAoc3VjaCAKYXMgcHJvb2ZzKSB3aWxsIG9ubHkgYmUgY29uc2lkZXJlZCBh dCB0aGUgcmV2aWV3ZXJzJyBkaXNjcmV0aW9uIGFuZCB3aWxsIApub3QgYmUgcHVibGlzaGVkLiBT dWJtaXNzaW9ucyBtdXN0IGJlIGZvcm1hdHRlZCBhY2NvcmRpbmcgdG8gdGhlIApzdGFuZGFyZCBT cHJpbmdlciBMTkNTIHN0eWxlIChzZWUgCmh0dHBzOi8vZXVyMDEuc2FmZWxpbmtzLnByb3RlY3Rp b24ub3V0bG9vay5jb20vP3VybD1odHRwcyUzQSUyRiUyRnd3dy5zcHJpbmdlci5jb20lMkZncCUy RmNvbXB1dGVyLXNjaWVuY2UlMkZsbmNzJTJGY29uZmVyZW5jZS1wcm9jZWVkaW5ncy1ndWlkZWxp bmVzJmRhdGE9MDUlN0MwMiU3Q2NsZWFuLWxpc3QlNDBzY2llbmNlLnJ1Lm5sJTdDN2M4ODQ1NTg5 MGYzNGIyNjJlODkwOGRkN2MyZDU3ZmMlN0MwODQ1NzhkOTQwMGQ0YTVhYTdjN2U3NmNhNDdhZjQw MCU3QzElN0MwJTdDNjM4ODAzMjU2NDAzMjc3NTU5JTdDVW5rbm93biU3Q1RXRnBiR1pzYjNkOGV5 SkZiWEIwZVUxaGNHa2lPblJ5ZFdVc0lsWWlPaUl3TGpBdU1EQXdNQ0lzSWxBaU9pSlhhVzR6TWlJ c0lrRk9Jam9pVFdGcGJDSXNJbGRVSWpveWZRJTNEJTNEJTdDMCU3QyU3QyU3QyZzZGF0YT16UzIz UWdycUFlMUZwODZCWnNqYzdIMEFLbmYySU1XT3c0WVhhalJDbjRNJTNEJnJlc2VydmVkPTApLCAK YW5kIGFyZSBub3QgYW5vbnltb3VzLiBUaGUgY29uZmVyZW5jZSBwcm9jZWVkaW5ncyBvZiBKRUxJ QSAyMDI1IHdpbGwgYmUgCnB1Ymxpc2hlZCBieSBTcHJpbmdlciBWZXJsYWcgaW4gdGhlIHNlcmll cyBMZWN0dXJlIE5vdGVzIGluIEFydGlmaWNpYWwgCkludGVsbGlnZW5jZSwgYSBzdWItc2VyaWVz IG9mIExlY3R1cmUgTm90ZXMgaW4gQ29tcHV0ZXIgU2NpZW5jZSAKKGltcG9ydGFudCBub3RlOiBT cHJpbmdlciB3aWxsIHJlcXVpcmUgYWxsIHRoZSBMYVRlWCBzb3VyY2UgZmlsZXMgb2YgYWxsIAph Y2NlcHRlZCBzdWJtaXNzaW9ucykuCgoKPT0gQ09ORkVSRU5DRSBDSEFJUlMgPT0KCioqIEdlbmVy YWwgQ2hhaXIKQmVzaWsgRHVuZHVhLCBUYmlsaXNpIFN0YXRlIFVuaXZlcnNpdHkgJiBLdXRhaXNp IEludGVybmF0aW9uYWwgClVuaXZlcnNpdHksIEdlb3JnaWEKCioqIFByb2dyYW0gQ2hhaXJzCkdp b3Zhbm5pIENhc2luaSwgQ05SIC0gSW5zdGl0dXRlIG9mIEluZm9ybWF0aW9uIFNjaWVuY2UgYW5k IApUZWNobm9sb2dpZXMsIEl0YWx5ClRlbXVyIEt1dHNpYSwgUklTQywgSm9oYW5uZXMgS2VwbGVy IFVuaXZlcnNpdHksIEF1c3RyaWEKCioqT3JnYW5pemF0aW9uIENoYWlyCk1pa2hlaWwgUnVraGFp YSwgSW5zdGl0dXRlIG9mIEFwcGxpZWQgTWF0aGVtYXRpY3MsIFRiaWxpc2kgU3RhdGUgClVuaXZl cnNpdHksIEdlb3JnaWEKCioqT3JnYW5pemF0aW9uIENvbW1pdHRlZQpNYXR0aGlhcyBCYWF6LCBW aWVubmEgVW5pdmVyc2l0eSBvZiBUZWNobm9sb2d5Ck1hcmlhbSBHYW1zYWtodXJkaWEsIFZpZW5u YSBVbml2ZXJzaXR5IG9mIFRlY2hub2xvZ3kKUmV2YXogR3JpZ29saWEsIFRiaWxpc2kgU3RhdGUg VW5pdmVyc2l0eQpMaWEgS3VydGFuaWR6ZSwgR2VvcmdpYW4gTmF0aW9uYWwgVW5pdmVyc2l0eSAt IFNFVQpMZXZhbiBVcmlkaWEsIEFuZHJlYSBSYXptYWR6ZSBNYXRoZW1hdGljYWwgSW5zdGl0dXRl LCBUYmlsaXNpIFN0YXRlIApVbml2ZXJzaXR5CgoKPT0gUE9MSUNZIE9OIE1VTFRJUExFIFNVQk1J U1NJT05TID09CgpKRUxJQSAyMDI1IHdpbGwgbm90IGFjY2VwdCBhbnkgcGFwZXIgdGhhdCwgYXQg dGhlIHRpbWUgb2Ygc3VibWlzc2lvbiwgaXMgCnVuZGVyIHJldmlldyBvciBoYXMgYWxyZWFkeSBi ZWVuIHB1Ymxpc2hlZCBvciBhY2NlcHRlZCBmb3IgcHVibGljYXRpb24gCmluIGEgam91cm5hbCBv ciBhbm90aGVyIGNvbmZlcmVuY2UuIEF1dGhvcnMgYXJlIGFsc28gcmVxdWlyZWQgbm90IHRvIApz dWJtaXQgdGhlaXIgcGFwZXJzIGVsc2V3aGVyZSBkdXJpbmcgSkVMSUEncyByZXZpZXcgcGVyaW9k LiBIb3dldmVyLCAKdGhlc2UgcmVzdHJpY3Rpb25zIGRvIG5vdCBhcHBseSB0byBwcmV2aW91cyB3 b3Jrc2hvcHMgd2l0aCBhIGxpbWl0ZWQgCmF1ZGllbmNlIGFuZCB3aXRob3V0IGFyY2hpdmFsIHBy b2NlZWRpbmdzLgoKQW55IGFkZGl0aW9uYWwgcXVlc3Rpb25zIGNhbiBiZSBkaXJlY3RlZCB0b3dh cmRzIHRoZSBKRUxJQSBDaGFpcnM6CgpGb3IgZ2VuZXJhbCBpbnF1aXJpZXM6IGplbGlhMjAyNUBl YXN5Y2hhaXIub3JnCkZvciBpbnF1aXJpZXMgdG8gdGhlIGxvY2FsIG9yZ2FuaXphdGlvbjogamVs aWEua3V0YWlzaS4yMDI1QGdtYWlsLmNvbQoKV2UgbG9vayBmb3J3YXJkIHRvIHJlY2VpdmluZyB5 b3VyIHN1Ym1pc3Npb25zIGFuZCBzZWVpbmcgeW91IGluIEt1dGFpc2kgCmluIFNlcHRlbWJlciAy MDI1IQoKPT0gQ09MT0NBVEVEIEVWRU5UUyA9PQoKVGhlIDE1dGggSW50ZXJuYXRpb25hbCBUYmls aXNpIFN5bXBvc2l1bSBvbiBMb2dpYywgTGFuZ3VhZ2UgYW5kIApDb21wdXRhdGlvbiAoVGJpTExD IDIwMjUpIHdpbGwgYmUgaGVsZCBpbiBLdXRhaXNpIGZyb20gU2VwdGVtYmVyIDggdG8gCjEyLCAy MDI1IChodHRwczovL2V1cjAxLnNhZmVsaW5rcy5wcm90ZWN0aW9uLm91dGxvb2suY29tLz91cmw9 aHR0cHMlM0ElMkYlMkZldmVudHMuaWxsYy51dmEubmwlMkZUYmlsaXNpJTJGVGJpbGlzaTIwMjUl MkYmZGF0YT0wNSU3QzAyJTdDY2xlYW4tbGlzdCU0MHNjaWVuY2UucnUubmwlN0M3Yzg4NDU1ODkw ZjM0YjI2MmU4OTA4ZGQ3YzJkNTdmYyU3QzA4NDU3OGQ5NDAwZDRhNWFhN2M3ZTc2Y2E0N2FmNDAw JTdDMSU3QzAlN0M2Mzg4MDMyNTY0MDMzMDAwMjMlN0NVbmtub3duJTdDVFdGcGJHWnNiM2Q4ZXlK RmJYQjBlVTFoY0draU9uUnlkV1VzSWxZaU9pSXdMakF1TURBd01DSXNJbEFpT2lKWGFXNHpNaUlz SWtGT0lqb2lUV0ZwYkNJc0lsZFVJam95ZlElM0QlM0QlN0MwJTdDJTdDJTdDJnNkYXRhPU9QTFp1 SU9vUCUyRlR3TXJIRkR5R1FMT1NKZktmbzVRUFpZZmlHeWtVZU9aZyUzRCZyZXNlcnZlZD0wKQpf X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpjbGVhbi1saXN0 IG1haWxpbmcgbGlzdApjbGVhbi1saXN0QHNjaWVuY2UucnUubmwKaHR0cHM6Ly9tYWlsbWFuLnNj aWVuY2UucnUubmwvbWFpbG1hbi9saXN0aW5mby9jbGVhbi1saXN0Cg==